Contrastive Fine grained Class Clustering via Generative Adversarial Networks. Unsupervised fine grained class clustering is a practical yet challenging task due to the difficulty of feature representations learning of subtle object details. We introduce C3 GAN, a method that leverages the categorical inference power of InfoGAN with contrastive learning. We aim to learn feature representations that encourage a dataset to form distinct cluster boundaries in the embedding space, while also maximizing the mutual information between the latent code and its image observation. Our approach is to train a discriminator, which is also used for inferring clusters, to optimize the contrastive loss, where image latent pairs that maximize the mutual information are considered as positive pairs and the rest as negative pairs. Specifically, we map the input of a generator, which was sampled from the categorical distribution, to the embedding space of the discriminator and let them act as a cluster centroid. In this way, C3 GAN succeeded in learning a clustering friendly embedding space where each cluster is distinctively separable. Experimental results show that C3 GAN achieved the state of the art clustering performance on four fine grained image datasets, while also alleviating the mode collapse phenomenon. Code is available at https github.com naver ai c3 gan.


Deep Learning Approximation of Diffeomorphisms via Linear Control Systems. In this paper we propose a Deep Learning architecture to approximate diffeomorphisms isotopic to the identity. We consider a control system of the form dot x sum i 1 lF i(x)u i , with linear dependence in the controls, and we use the corresponding flow to approximate the action of a diffeomorphism on a compact ensemble of points. Despite the simplicity of the control system, it has been recently shown that a Universal Approximation Property holds. The problem of minimizing the sum of the training error and of a regularizing term induces a gradient flow in the space of admissible controls. A possible training procedure for the discrete time neural network consists in projecting the gradient flow onto a finite dimensional subspace of the admissible controls. An alternative approach relies on an iterative method based on Pontryagin Maximum Principle for the numerical resolution of Optimal Control problems. Here the maximization of the Hamiltonian can be carried out with an extremely low computational effort, owing to the linear dependence of the system in the control variables.


Contrasting Centralized and Decentralized Critics in Multi Agent Reinforcement Learning. Centralized Training for Decentralized Execution, where agents are trained offline using centralized information but execute in a decentralized manner online, has gained popularity in the multi agent reinforcement learning community. In particular, actor critic methods with a centralized critic and decentralized actors are a common instance of this idea. However, the implications of using a centralized critic in this context are not fully discussed and understood even though it is the standard choice of many algorithms. We therefore formally analyze centralized and decentralized critic approaches, providing a deeper understanding of the implications of critic choice. Because our theory makes unrealistic assumptions, we also empirically compare the centralized and decentralized critic methods over a wide set of environments to validate our theories and to provide practical advice. We show that there exist misconceptions regarding centralized critics in the current literature and show that the centralized critic design is not strictly beneficial, but rather both centralized and decentralized critics have different pros and cons that should be taken into account by algorithm designers.


Adaptive Hyperparameter Tuning for Black box LiDAR Odometry. This study proposes an adaptive data driven hyperparameter tuning framework for black box 3D LiDAR odometry algorithms. The proposed framework comprises offline parameter error function modeling and online adaptive parameter selection. In the offline step, we run the odometry estimation algorithm for tuning with different parameters and environments and evaluate the accuracy of the estimated trajectories to build a surrogate function that predicts the trajectory estimation error for the given parameters and environments. Subsequently, we select the parameter set that is expected to result in good accuracy in the given environment based on trajectory error prediction with the surrogate function. The proposed framework does not require detailed information on the inner working of the algorithm to be tuned, and improves its accuracy by adaptively optimizing the parameter set. We first demonstrate the role of the proposed framework in improving the accuracy of odometry estimation across different environments with a simulation based toy example. Further, an evaluation on the public dataset KITTI shows that the proposed framework can improve the accuracy of several odometry estimation algorithms in practical situations.


An Obfuscating C Compiler for Encrypted Computing. This paper describes an obfuscating' C compiler for encrypted computing. The context consists of (i) a processor that works encrypted', taking in encrypted inputs and producing encrypted outputs while the data remains in encrypted form throughout processing, and (ii) machine codes that support arbitrary interpretations of the encrypted input and outputs from each instruction, as far as an adversary who does not know the encryption can tell. The compiler on each recompilation of the same source generates object code of the same form for which the runtime traces have the same form, but the data beneath the encryption may arbitrarily differ from nominal at each point in the trace, independently so far as the laws of computation allow.


AIive Interactive Visualization and Sonification of Neural Networks in Virtual Reality. Artificial Intelligence (AI), especially Neural Networks (NNs), has become increasingly popular. However, people usually treat AI as a tool, focusing on improving outcome, accuracy, and performance while paying less attention to the representation of AI itself. We present AIive, an interactive visualization of AI in Virtual Reality (VR) that brings AI "alive". AIive enables users to manipulate the parameters of NNs with virtual hands and provides auditory feedback for the real time values of loss, accuracy, and hyperparameters. Thus, AIive contributes an artistic and intuitive way to represent AI by integrating visualization, sonification, and direct manipulation in VR, potentially targeting a wide range of audiences.


Unraveling the Dynamic Importance of County level Features in Trajectory of COVID 19. The objective of this study was to investigate the importance of multiple county level features in the trajectory of COVID 19. We examined feature importance across 2,787 counties in the United States using a data driven machine learning model. We trained random forest models using 23 features representing six key influencing factors affecting pandemic spread social demographics of counties, population activities, mobility within the counties, movement across counties, disease attributes, and social network structure. Also, we categorized counties into multiple groups according to their population densities, and we divided the trajectory of COVID 19 into three stages the outbreak stage, the social distancing stage, and the reopening stage. The study aims to answer two research questions (1) The extent to which the importance of heterogeneous features evolves in different stages (2) The extent to which the importance of heterogeneous features varies across counties with different characteristics. We fitted a set of random forest models to determine weekly feature importance. The results showed that (1) Social demographic features, such as gross domestic product, population density, and minority status maintained high importance features throughout stages of COVID 19 across the 2787 studied counties (2) Within county mobility features had the highest importance in county clusters with higher population densities (3) The feature reflecting the social network structure (Facebook, social connectedness index), had higher importance in the models for counties with higher population densities. The results show that the data driven machine learning models could provide important insights to inform policymakers regarding feature importance for counties with various population densities and in different stages of a pandemic life cycle.


Flux correction for nonconservative convection diffusion equation. Our goal is to develop a flux limiter of the Flux Corrected Transport method for a nonconservative convection diffusion equation. For this, we consider a hybrid difference scheme that is a linear combination of a monotone scheme and a scheme of high order accuracy. The flux limiter is computed as an approximate solution of a corresponding optimization problem with a linear objective function. The constraints for this optimization problem are derived from inequalities that are valid for the monotone scheme and apply to the hybrid scheme. Our numerical results with the flux limiters, which are exact and approximate solutions to the optimization problem, are in good agreement.


Decentralized Cross Network Identity Management for Blockchain Interoperation. Interoperation for data sharing between permissioned blockchain networks relies on networks' abilities to independently authenticate requests and validate proofs accompanying the data these typically contain digital signatures. This requires counterparty networks to know the identities and certification chains of each other's members, establishing a common trust basis rooted in identity. But permissioned networks are ad hoc consortia of existing organizations, whose network affiliations may not be well known or well established even though their individual identities are. In this paper, we describe an architecture and set of protocols for distributed identity management across permissioned blockchain networks to establish a trust basis for data sharing. Networks wishing to interoperate can associate with one or more distributed identity registries that maintain credentials on shared ledgers managed by groups of reputed identity providers. A network's participants possess self sovereign decentralized identities (DIDs) on these registries and can obtain privacy preserving verifiable membership credentials. During interoperation, networks can securely and dynamically discover each others' latest membership lists and members' credentials. We implement a solution based on Hyperledger Indy and Aries, and demonstrate its viability and usefulness by linking a trade finance network with a trade logistics network, both built on Hyperledger Fabric. We also analyze the extensibility, security, and trustworthiness of our system.


ReSonAte A Runtime Risk Assessment Framework for Autonomous Systems. Autonomous CPSs are often required to handle uncertainties and self manage the system operation in response to problems and increasing risk in the operating paradigm. This risk may arise due to distribution shifts, environmental context, or failure of software or hardware components. Traditional techniques for risk assessment focus on design time techniques such as hazard analysis, risk reduction, and assurance cases among others. However, these static, design time techniques do not consider the dynamic contexts and failures the systems face at runtime. We hypothesize that this requires a dynamic assurance approach that computes the likelihood of unsafe conditions or system failures considering the safety requirements, assumptions made at design time, past failures in a given operating context, and the likelihood of system component failures. We introduce the ReSonAte dynamic risk estimation framework for autonomous systems. ReSonAte reasons over Bow Tie Diagrams (BTDs) which capture information about hazard propagation paths and control strategies. Our innovation is the extension of the BTD formalism with attributes for modeling the conditional relationships with the state of the system and environment. We also describe a technique for estimating these conditional relationships and equations for estimating risk based on the state of the system and environment. To help with this process, we provide a scenario modeling procedure that can use the prior distributions of the scenes and threat conditions to generate the data required for estimating the conditional relationships. To improve scalability and reduce the amount of data required, this process considers each control strategy in isolation and composes several single variate distributions into one complete multi variate distribution for the control strategy in question.


Set Twister for Single hop Node Classification. Node classification is a central task in relational learning, with the current state of the art hinging on two key principles (i) predictions are permutation invariant to the ordering of a node's neighbors, and (ii) predictions are a function of the node's r hop neighborhood topology and attributes, r geq 2 . Both graph neural networks and collective inference methods (e.g., belief propagation) rely on information from up to r hops away. In this work, we study if the use of more powerful permutation invariant functions can sometimes avoid the need for classifiers to collect information beyond 1 hop. Towards this, we introduce a new architecture, the Set Twister, which generalizes DeepSets (Zaheer et al., 2017), a simple and widely used permutation invariant representation. Set Twister theoretically increases expressiveness of DeepSets, allowing it to capture higher order dependencies, while keeping its simplicity and low computational cost. Empirically, we see accuracy improvements of Set Twister over DeepSets as well as a variety of graph neural networks and collective inference schemes in several tasks, while showcasing its implementation simplicity and computational efficiency.


Explicit zero density for the Riemann zeta function. Let N( sigma,T) denote the number of nontrivial zeros of the Riemann zeta function with real part greater than sigma and imaginary part between 0 and T . We provide explicit upper bounds for N( sigma,T) commonly referred to as a zero density result. In 1937, Ingham showed the following asymptotic result N( sigma,T) mathcal O ( T frac83(1 sigma) ( log T) 5 ) . Ramar ' e recently proved an explicit version of this estimate. We discuss a generalization of the method used in these two results which yields an explicit bound of a similar shape while also improving the constants.


Common Objects in 3D Large Scale Learning and Evaluation of Real life 3D Category Reconstruction. Traditional approaches for learning 3D object categories have been predominantly trained and evaluated on synthetic datasets due to the unavailability of real 3D annotated category centric data. Our main goal is to facilitate advances in this field by collecting real world data in a magnitude similar to the existing synthetic counterparts. The principal contribution of this work is thus a large scale dataset, called Common Objects in 3D, with real multi view images of object categories annotated with camera poses and ground truth 3D point clouds. The dataset contains a total of 1.5 million frames from nearly 19,000 videos capturing objects from 50 MS COCO categories and, as such, it is significantly larger than alternatives both in terms of the number of categories and objects. We exploit this new dataset to conduct one of the first large scale "in the wild" evaluations of several new view synthesis and category centric 3D reconstruction methods. Finally, we contribute NerFormer a novel neural rendering method that leverages the powerful Transformer to reconstruct an object given a small number of its views. The CO3D dataset is available at https github.com facebookresearch co3d .


Evaluating Attacker Risk Behavior in an Internet of Things Ecosystem. In cybersecurity, attackers range from brash, unsophisticated script kiddies and cybercriminals to stealthy, patient advanced persistent threats. When modeling these attackers, we can observe that they demonstrate different risk seeking and risk averse behaviors. This work explores how an attacker's risk seeking or risk averse behavior affects their operations against detection optimizing defenders in an Internet of Things ecosystem. Using an evaluation framework which uses real, parametrizable malware, we develop a game that is played by a defender against attackers with a suite of malware that is parameterized to be more aggressive and more stealthy. These results are evaluated under a framework of exponential utility according to their willingness to accept risk. We find that against a defender who must choose a single strategy up front, risk seeking attackers gain more actual utility than risk averse attackers, particularly in cases where the defender is better equipped than the two attackers anticipate. Additionally, we empirically confirm that high risk, high reward scenarios are more beneficial to risk seeking attackers like cybercriminals, while low risk, low reward scenarios are more beneficial to risk averse attackers like advanced persistent threats.


But, how can the atom be so stable, Dr. Maxwell?. In the initial stages of its development, atomic theory had to bypass the laws of classical electromagnetism in an ad hoc manner in order to explain the stability of atoms. In quantum mechanics, however, the classical theory may find again some room even for a microscopic structure such as the atom. Provided, of course, that certain classical concepts are reexamined and suitably reinterpreted...


Improved and Efficient Text Adversarial Attacks using Target Information. There has been recently a growing interest in studying adversarial examples on natural language models in the black box setting. These methods attack natural language classifiers by perturbing certain important words until the classifier label is changed. In order to find these important words, these methods rank all words by importance by querying the target model word by word for each input sentence, resulting in high query inefficiency. A new interesting approach was introduced that addresses this problem through interpretable learning to learn the word ranking instead of previous expensive search. The main advantage of using this approach is that it achieves comparable attack rates to the state of the art methods, yet faster and with fewer queries, where fewer queries are desirable to avoid suspicion towards the attacking agent. Nonetheless, this approach sacrificed the useful information that could be leveraged from the target classifier for that sake of query efficiency. In this paper we study the effect of leveraging the target model outputs and data on both attack rates and average number of queries, and we show that both can be improved, with a limited overhead of additional queries.


On the nonlinear Dirichlet Neumann method and preconditioner for Newton's method. The Dirichlet Neumann (DN) method has been extensively studied for linear partial differential equations, while little attention has been devoted to the nonlinear case. In this paper, we analyze the DN method both as a nonlinear iterative method and as a preconditioner for Newton's method. We discuss the nilpotent property and prove that under special conditions, there exists a relaxation parameter such that the DN method converges quadratically. We further prove that the convergence of Newton's method preconditioned by the DN method is independent of the relaxation parameter. Our numerical experiments further illustrate the mesh independent convergence of the DN method and compare it with other standard nonlinear preconditioners.


Facial Masks and Soft Biometrics Leveraging Face Recognition CNNs for Age and Gender Prediction on Mobile Ocular Images. We address the use of selfie ocular images captured with smartphones to estimate age and gender. Partial face occlusion has become an issue due to the mandatory use of face masks. Also, the use of mobile devices has exploded, with the pandemic further accelerating the migration to digital services. However, state of the art solutions in related tasks such as identity or expression recognition employ large Convolutional Neural Networks, whose use in mobile devices is infeasible due to hardware limitations and size restrictions of downloadable applications. To counteract this, we adapt two existing lightweight CNNs proposed in the context of the ImageNet Challenge, and two additional architectures proposed for mobile face recognition. Since datasets for soft biometrics prediction using selfie images are limited, we counteract over fitting by using networks pre trained on ImageNet. Furthermore, some networks are further pre trained for face recognition, for which very large training databases are available. Since both tasks employ similar input data, we hypothesize that such strategy can be beneficial for soft biometrics estimation. A comprehensive study of the effects of different pre training over the employed architectures is carried out, showing that, in most cases, a better accuracy is obtained after the networks have been fine tuned for face recognition.


Fixed Point Theorems in M distance Spaces. We prove fixed point theorems in a space with a distance function that takes values in a partially ordered monoid. On the one hand, such an approach allows one to generalize some fixed point theorems in a broad class of spaces, including metric and uniform spaces. On the other hand, compared to the so called cone metric spaces and K metric spaces, we do not require that the distance function range has a linear structure. We also consider several applications of the obtained fixed point theorems. In particular, we consider the questions of the existence of solutions of the Fredholm integral equation in L spaces.


DefocusTracker A modular toolbox for defocusing based, single camera, 3D particle tracking. The need for single camera 3D particle tracking methods is growing, among others, due to the increasing focus in biomedical research often relying on single plane microscopy imaging. Defocusing based methods are ideal for a wide spread use as they rely on basic microscopy imaging rather than requiring additional non standard optics. However, a wide spread use has been limited by the lack of accessible and easy to use software. DefocusTracker is an open source toolbox based on the universal principles of General Defocusing Particle Tracking (GDPT) relying solely on a reference look up table and image recognition to connect a particle's image and its respective out of plane depth coordinate. The toolbox is built in a modular fashion, allowing for easy addition of new image recognition methods, while maintaining the same workflow and external user interface. DefocusTracker is implemented in MATLAB, while a parallel implementation in Python is in the preparation.


Multi Domain Active Learning A Comparative Study. Multi domain learning (MDL) refers to learning a set of models simultaneously, with each one specialized to perform a task in a certain domain. Generally, high labeling effort is required in MDL, as data needs to be labeled by human experts for every domain. To address the above issue, Active learning (AL) can be utilized to reduce the labeling effort by only using the most informative data. The resultant paradigm is termed multi domain active learning (MDAL). However, despite the practical significance of MDAL, there exists little research on it, not to mention any off the shelf solution. To fill this gap, we construct a simple pipeline of MDAL, and present a comprehensive comparative study of 30 different MDAL algorithms, which are established by combining 6 representative MDL models (equipped with various information sharing schemes) and 5 well used AL strategies. We evaluate the algorithms on 6 datasets, involving textual and visual classification tasks. In most cases, AL brings notable improvements to MDL, and surprisingly, the naive best vs second best (BvSB) uncertainty strategy could perform competitively to the state of the art AL strategies. Besides, among the MDL models, MAN and SDL joint achieve the top performance when applied to vector features and raw images, respectively. Furthermore, we qualitatively analyze the behaviors of these strategies and models, shedding light on their superior performance in the comparison. Overall, some guidelines are provided, which could help to choose MDL models and AL strategies for particular applications.


Theory of dichroic X ray tomography and laminography. Dichroic tomography is a 3D imaging technique in which the polarization of the incident beam is used to induce contrast due to the magnetization or orientation of a sample. The aim is to reconstruct not only the optical density but the dichroism of the sample. The theory of dichroic tomographic and laminographic imaging in the parallel beam case is discussed as well as the problem of reconstruction of the sample's optical properties. The set of projections resulting from a tomographic laminographic measurement is not sufficient to reconstruct the magnetic moment for magnetic circular dichroism unless additional constraints are applied or data are taken at two or more tilt angles. For linear dichroism, three polarizations or three tilt angles are required to provide enough information to reconstruct without constraints. Possible means of applying constraints are discussed. Furthermore, it is shown that for linear dichroism, the basic assumption that the absorption through a ray path is the integral of the absorption coefficient, defined on the volume of the sample, along the ray path, is not correct when dichroism or birefringence is strong. This assumption is fundamental to tomographic methods.


On the geometry and representation theory of isomeric matrices. The space of n times m complex matrices can be regarded as an algebraic variety on which the group bf GL n times bf GL m acts. There is a rich interaction between geometry and representation theory in this example. In an important paper, de Concini, Eisenbud, and Procesi classified the equivariant ideals in the coordinate ring. More recently, we proved a noetherian result for families of equivariant modules as n and m vary. In this paper, we establish analogs of these results for the space of (n n) times (m m) isomeric matrices with respect to the action of bf Q n times bf Q m , where bf Q n is the automorphism group of the isomeric structure (commonly known as the "queer supergroup"). Our work is motivated by connections to the Brauer category and the theory of twisted commutative algebras.


Matroid Partition Property and the Secretary Problem. A matroid mathcal M on a set E of elements has the alpha partition property, for some alpha 0 , if it is possible to (randomly) construct a partition matroid mathcal P on (a subset of) elements of mathcal M such that every independent set of mathcal P is independent in mathcal M and for any weight function w E to mathbb R geq 0 , the expected value of the optimum of the matroid secretary problem on mathcal P is at least an alpha fraction of the optimum on mathcal M . We show that the complete binary matroid, cal B d on mathbb F 2 d does not satisfy the alpha partition property for any constant alpha 0 (independent of d ). Furthermore, we refute a recent conjecture of B 'erczi, Schwarcz, and Yamaguchi by showing the same matroid is 2 d d colorable but cannot be reduced to an alpha 2 d d colorable partition matroid for any alpha that is sublinear in d .


SituationCO v1.2's Terms, Properties, Relationships and Axioms A Core Ontology for Particular and Generic Situations. The current preprint is an update to SituationCO v1.1 (Situation Core Ontology), which represents its new version 1.2. It specifies and defines all the terms, properties, relationships and axioms of SituationCO v1.2, being an ontology for particular and generic Situations placed at the core level in the context of a four layered ontological architecture called FCD OntoArch (Foundational, Core, and Domain Ontological Architecture for Sciences). This is a four layered ontological architecture, which considers Foundational, Core, Domain and Instance levels. In turn, the domain level is split down in two sub levels, namely Top domain and Low domain ontological levels. So in fact, we can consider it to be a five tier architecture. Ontologies at the same level can be related to each other, except for the foundational level where only ThingFO (Thing Foundational Ontology) is found. In addition, ontologies' terms and relationships at lower levels can be semantically enriched by ontologies' terms and relationships from the higher levels. Note that both ThingFO and ontologies at the core level such as SituationCO, ProcessCO, among others, are domain independent. SituationCO's terms and relationships are specialized primarily from ThingFO. It also completely reuses terms primarily from ProcessCO, ProjectCO and GoalCO ontologies. Stereotypes are the used mechanism for enriching SituationCO terms. Note that in the end of this document, we address the SituationCO vs. ThingFO non taxonomic relationship verification matrix.


Resonances and weighted zeta functions for obstacle scattering via smooth models. We consider a geodesic billiard system consisting of a complete Riemannian manifold and an obstacle submanifold with boundary at which the trajectories of the geodesic flow experience specular reflections. We show that if the geodesic billiard system is hyperbolic on its trapped set and the latter is compact and non grazing the techniques for open hyperbolic systems developed by Dyatlov and Guillarmou can be applied to a smooth model for the discontinuous flow defined by the non grazing billiard trajectories. This allows us to obtain a meromorphic resolvent for the generator of the billiard flow. As an application we prove a meromorphic continuation of weighted zeta functions together with explicit residue formulae. In particular, our results apply to scattering by convex obstacles in the Euclidean plane.


On the product of simple modules over KLR algebras. In this paper, we study the product of two simple modules over KLR algebras by extension varieties for Dynkin quivers. More explicitly, we establish a bridge between the induction functor on the category of modules of KLR algebras and extension varieties for Dynkin quivers. This extension variety is an analogue of the corresponding notion in Hall algebras. As a result, we give a description when the product of two simple modules of a KLR algebra is simple as well in terms of the homology of such extension varieties. These results allow us to analyze the Jordan H "o lder filtration of this product using the ordering of the Konstant partitions, which index the simple modules of a KLR algebra. In particular, we give some clues on the conjecture recently proposed by Lapid and Minguez. We also give an interpretation of semicuspidal simple modules of KLR algebras in terms of representations of Dynkin quivers.


Structure Property Performance Relationships of Dielectric Nanostructures for Mie Resonance Enhanced Dye Sensitization. Dye sensitized photocatalytic (DSP) approach is considered as one of the promising approaches for developing visible light and near infrared light responsive photocatalysts. DSP systems are still affected by significant drawbacks, such as low light absorption efficiency. Recently, it has been demonstrated that the plasmonic metal nanostructures can be used to enhance the light absorption efficiency and the overall dye sensitization rate of DSP systems through the plasmonic Mie resonance enhanced dye sensitization approach. In this contribution, we report an alternate and novel approach, dielectric Mie resonance enhanced dye sensitization. Specifically, we demonstrate that the dielectric Mie resonances in cuprous oxide (Cu2O) spherical and cubical nanostructures can be used to enhance the dye sensitization rate of methylene blue dye. The Cu2O nanostructures exhibiting dielectric Mie resonances exhibit up to an order of magnitude higher dye sensitization rate as compared to Cu2O nanostructures not exhibiting dielectric Mie resonances. Our model system developed from finite difference time domain simulation predicts a volcano type relationship between the dye sensitization rate and the size of Cu2O nanostructures. The predicted structure property performance relationship is experimentally verified and the optimal size ranges of Cu2O nanospheres and nanocubes are identified. Although we demonstrate the dielectric Mie resonance enhanced dye sensitization approach using Cu2O nanostructures, the proposed approach can be used to design a wide range of DSP systems, including CeO2, alpha Fe2O3, and TiO2 nanostructures based DSP systems.


Dynamics of unfolded protein aggregation. Unfolded protein aggregation in cellular system is a problem causing various types of diseases depending on which type unfolded proteins aggregate. This phenomenon of aggregation may take place during production, storage, shipment or delivery in the cellular medium. In the present work, we studied a simplified and extended version of unfolded protein aggregation model by Lumry and Eyring using stochastic approach. We solved analytically the Master equation of the model for the probability distribution P(x,t) of the unfolded protein population and the solution was found to be time dependent complex binomial distribution. In the large population limit P(x,t) sim Lambda(x,t) times Pois(x,t) . Further, the distribution became Normal distribution at large population and mean of the distribution limit P(x,t) sim Lambda(x,t) times N( langle qx rangle, langle qx rangle) . The fluctuations inherent in the dynamics measured by Fano factor can have sub Poisson, Poisson and super Poisson at different situations.


Online Fairness Aware Learning with Imbalanced Data Streams. Data driven learning algorithms are employed in many online applications, in which data become available over time, like network monitoring, stock price prediction, job applications, etc. The underlying data distribution might evolve over time calling for model adaptation as new instances arrive and old instances become obsolete. In such dynamic environments, the so called data streams, fairness aware learning cannot be considered as a one off requirement, but rather it should comprise a continual requirement over the stream. Recent fairness aware stream classifiers ignore the problem of class imbalance, which manifests in many real life applications, and mitigate discrimination mainly because they "reject" minority instances at large due to their inability to effectively learn all classes. In this work, we propose ours, an online fairness aware approach that maintains a valid and fair classifier over the stream. ours is an online boosting approach that changes the training distribution in an online fashion by monitoring stream's class imbalance and tweaks its decision boundary to mitigate discriminatory outcomes over the stream. Experiments on 8 real world and 1 synthetic datasets from different domains with varying class imbalance demonstrate the superiority of our method over state of the art fairness aware stream approaches with a range (relative) increase 11.2 14.2 in balanced accuracy, 22.6 31.8 in gmean, 42.5 49.6 in recall, 14.3 25.7 in kappa and 89.4 96.6 in statistical parity (fairness).


Towards Malicious address identification in Bitcoin. The temporal aspect of blockchain transactions enables us to study the address's behavior and detect if it is involved in any illicit activity. However, due to the concept of change addresses (used to thwart replay attacks), temporal aspects are not directly applicable in the Bitcoin blockchain. Several pre processing steps should be performed before such temporal aspects are utilized. We are motivated to study the Bitcoin transaction network and use the temporal features such as burst, attractiveness, and inter event time along with several graph based properties such as the degree of node and clustering coefficient to validate the applicability of already existing approaches known for other cryptocurrency blockchains on the Bitcoin blockchain. We generate the temporal and non temporal feature set and train the Machine Learning (ML) algorithm over different temporal granularities to validate the state of the art methods. We study the behavior of the addresses over different time granularities of the dataset. We identify that after applying change address clustering, in Bitcoin, existing temporal features can be extracted and ML approaches can be applied. A comparative analysis of results show that the behavior of addresses in Ethereum and Bitcoin is similar with respect to in degree, out degree and inter event time. Further, we identify 3 suspects that showed malicious behavior across different temporal granularities. These suspects are not marked as malicious in Bitcoin.


Towards a Safety Case for Hardware Fault Tolerance in Convolutional Neural Networks Using Activation Range Supervision. Convolutional neural networks (CNNs) have become an established part of numerous safety critical computer vision applications, including human robot interactions and automated driving. Real world implementations will need to guarantee their robustness against hardware soft errors corrupting the underlying platform memory. Based on the previously observed efficacy of activation clipping techniques, we build a prototypical safety case for classifier CNNs by demonstrating that range supervision represents a highly reliable fault detector and mitigator with respect to relevant bit flips, adopting an eight exponent floating point data representation. We further explore novel, non uniform range restriction methods that effectively suppress the probability of silent data corruptions and uncorrectable errors. As a safety relevant end to end use case, we showcase the benefit of our approach in a vehicle classification scenario, using ResNet 50 and the traffic camera data set MIOVision. The quantitative evidence provided in this work can be leveraged to inspire further and possibly more complex CNN safety arguments.


Extensions of local fields given by 3 term Eisenstein polynomials. Let K be a local field with residue characteristic p and let L K be a totally ramified extension of degree p k . In this paper we show that if L K has only two distinct indices of inseparability then there exists a uniformizer pi L for L whose minimum polynomial over K has at most three terms. This leads to an explicit classification of extensions with two indices of inseparability. Our classification extends work of Amano, who considered the case k 1 .


ChemiRise a data driven retrosynthesis engine. We have developed an end to end, retrosynthesis system, named ChemiRise, that can propose complete retrosynthesis routes for organic compounds rapidly and reliably. The system was trained on a processed patent database of over 3 million organic reactions. Experimental reactions were atom mapped, clustered, and extracted into reaction templates. We then trained a graph convolutional neural network based one step reaction proposer using template embeddings and developed a guiding algorithm on the directed acyclic graph (DAG) of chemical compounds to find the best candidate to explore. The atom mapping algorithm and the one step reaction proposer were benchmarked against previous studies and showed better results. The final product was demonstrated by retrosynthesis routes reviewed and rated by human experts, showing satisfying functionality and a potential productivity boost in real life use cases.


Cauchy's formula on nonempty closed sets and a new notion of Riemann Liouville fractional integral on time scales. We prove Cauchy's formula for repeated integration on time scales. The obtained relation gives rise to new notions of fractional integration and differentiation on arbitrary nonempty closed sets.


A paper's corresponding affiliation and first affiliation are consistent at the country level in Web of Science. The purpose of this study is to explore the relationship between the first affiliation and the corresponding affiliation at the different levels via the scientometric analysis We select over 18 million papers in the core collection database of Web of Science (WoS) published from 2000 to 2015, and measure the percentage of match between the first and the corresponding affiliation at the country and institution level. We find that a paper's the first affiliation and the corresponding affiliation are highly consistent at the country level, with over 98 of the match on average. However, the match at the institution level is much lower, which varies significantly with time and country. Hence, for studies at the country level, using the first and corresponding affiliations are almost the same. But we may need to take more cautions to select affiliation when the institution is the focus of the investigation. In the meanwhile, we find some evidence that the recorded corresponding information in the WoS database has undergone some changes since 2013, which sheds light on future studies on the comparison of different databases or the affiliation accuracy of WoS. Our finding relies on the records of WoS, which may not be entirely accurate. Given the scale of the analysis, our findings can serve as a useful reference for further studies when country allocation or institute allocation is needed. Existing studies on comparisons of straight counting methods usually cover a limited number of papers, a particular research field or a limited range of time. More importantly, using the number counted can not sufficiently tell if the corresponding and first affiliation are similar. This paper uses a metric similar to Jaccard similarity to measure the percentage of the match and performs a comprehensive analysis based on a large scale bibliometric database.


The Diffuse Auroral Eraser. The source of diffuse aurora has been widely studied and linked to electron cyclotron harmonic (ECH) and upper band chorus (UBC) waves. It is known that these waves scatter 100s of eV to 10s of keV electrons from the plasma sheet, but the relative contribution of each wave type is still an open question. In this paper, we report on an interesting and unusual auroral feature observed on March 15, 2002. We believe that these observations could help further our understanding of waves associated with diffuse aurora. This diffuse auroral feature is characterized by four phases (1) the initial phase exhibiting regular diffuse aurora, (2) the brightening phase, where an east west auroral stripe rapidly brightens, (3) the eraser phase, where the stripe dims to below its initial state, and (4) the recovery phase, where the diffuse aurora returns to its original brightness. Using a superposed epoch analysis of 22 events, we calculate the average recovery phase time to be 20 seconds, although this varies widely between events. We hypothesize that the process responsible for these auroral eraser events could be the result of chorus waves modulating diffuse aurora.


How Much Can CLIP Benefit Vision and Language Tasks?. Most existing Vision and Language (V L) models rely on pre trained visual encoders, using a relatively small set of manually annotated data (as compared to web crawled data), to perceive the visual world. However, it has been observed that large scale pretraining usually can result in better generalization performance, e.g., CLIP (Contrastive Language Image Pre training), trained on a massive amount of image caption pairs, has shown a strong zero shot capability on various vision tasks. To further study the advantage brought by CLIP, we propose to use CLIP as the visual encoder in various V L models in two typical scenarios 1) plugging CLIP into task specific fine tuning 2) combining CLIP with V L pre training and transferring to downstream tasks. We show that CLIP significantly outperforms widely used visual encoders trained with in domain annotated data, such as BottomUp TopDown. We achieve competitive or better results on diverse V L tasks, while establishing new state of the art results on Visual Question Answering, Visual Entailment, and V L Navigation tasks. We release our code at https github.com clip vil CLIP ViL.


Powers of 3 with few nonzero bits and a conjecture of Erd H o s. Using completely elementary methods, we find all powers of 3 that can be written as the sum of at most twenty two distinct powers of 2, as well as all powers of 2 that can be written as the sum of at most twenty five distinct powers of 3. The latter result is connected to a conjecture of Erd H o s, namely, that 1, 4, and 256 are the only powers of 2 that can be written as a sum of distinct powers of 3. We present this work partly as a reminder that for certain exponential Diophantine equations, elementary techniques based on congruences can yield results that would be difficult or impossible to obtain with more advanced techniques involving, for example, linear forms in logarithms. Our arguments depend only on properties of rings of the form mathbf Z M mathbf Z . Because of this, we have made the expositional choice to write this paper in terms that we hope will be accessible to any student of mathematics who has taken a first undergraduate course in abstract algebra.


Assessing the Learning Behavioral Intention of Commuters in Mobility Practices. Learning behavior mechanism is widely anticipated in managed settings through the formal syllabus. However, heading for learning stimulus whilst daily mobility practices through urban transit is the novel feature in learning sciences. Theory of planned behavior (TPB), technology acceptance model (TAM), and service quality of transit are conceptualized to assess the learning behavioral intention (LBI) of commuters in Greater Kuala Lumpur. An online survey was conducted to understand the LBI of 117 travelers who use the technology to engage in the informal learning process during daily commuting. The results explored that all the model variables i.e., perceived ease of use, perceived usefulness, service quality, and subjective norms are significant predictors of LBI. The perceived usefulness of learning during traveling and transit service quality has a vibrant impact on LBI. The research will support the informal learning mechanism from commuters point of view. The study is a novel contribution to transport and learning literature that will open the new prospect of research in urban mobility and its connotation with personal learning and development.


5th Place Solution for VSPW 2021 Challenge. In this article, we introduce the solution we used in the VSPW 2021 Challenge. Our experiments are based on two baseline models, Swin Transformer and MaskFormer. To further boost performance, we adopt stochastic weight averaging technique and design hierarchical ensemble strategy. Without using any external semantic segmentation dataset, our solution ranked the 5th place in the private leaderboard. Besides, we have some interesting attempts to tackle long tail recognition and overfitting issues, which achieves improvement on val subset. Maybe due to distribution difference, these attempts don't work on test subset. We will also introduce these attempts and hope to inspire other researchers.


Brain Tumor Detection and Classification based on Hybrid Ensemble Classifier. To improve patient survival and treatment outcomes, early diagnosis of brain tumors is an essential task. It is a difficult task to evaluate the magnetic resonance imaging (MRI) images manually. Thus, there is a need for digital methods for tumor diagnosis with better accuracy. However, it is still a very challenging task in assessing their shape, volume, boundaries, tumor detection, size, segmentation, and classification. In this proposed work, we propose a hybrid ensemble method using Random Forest (RF), K Nearest Neighbour, and Decision Tree (DT) (KNN RF DT) based on Majority Voting Method. It aims to calculate the area of the tumor region and classify brain tumors as benign and malignant. In the beginning, segmentation is done by using Otsu's Threshold method. Feature Extraction is done by using Stationary Wavelet Transform (SWT), Principle Component Analysis (PCA), and Gray Level Co occurrence Matrix (GLCM), which gives thirteen features for classification. The classification is done by hybrid ensemble classifier (KNN RF DT) based on the Majority Voting method. Overall it aimed at improving the performance by traditional classifiers instead of going to deep learning. Traditional classifiers have an advantage over deep learning algorithms because they require small datasets for training and have low computational time complexity, low cost to the users, and can be easily adopted by less skilled people. Overall, our proposed method is tested upon dataset of 2556 images, which are used in 85 15 for training and testing respectively and gives good accuracy of 97.305 .


Detailed Modelling of Ultraviolet Radiation (UV) from the Interaction of Multiple Lamps in Reactors, using Radiative Transfer Techniques. Trojan Technologies uses mercury based ultraviolet (UV) lamps in reactors to purify water. When there are multiple closely spaced lamps in a reactor, significant UV emitted by the various lamps can reach, and 'interact' with neighbouring lamps. Although many of the optical phenomena occurring in a UV reactor are well understood and accounted for in current models, the fate of UV photons from one lamp reaching the plasma of a neighbouring lamp after travelling through the intervening air, quartz, and water has not been investigated in detail. These photons can be transmitted through the plasma, absorbed and re emitted, or lost. The goal of this project was to develop a more accurate model, which accounts for these plasma interactions, to better predict the UV distribution throughout a reactor. We developed a Monte Carlo theoretical model of the photon plasma interactions predictions of this model agree well with work in the literature. We further validated our model by performing several optical experiments with UV lamps.


Hamiltonian Operator Disentanglement of Content and Motion in Image Sequences. We introduce a deep generative model for image sequences that reliably factorise the latent space into content and motion variables. To model the diverse dynamics, we split the motion space into subspaces and introduce a unique Hamiltonian operator for each subspace. The Hamiltonian formulation provides reversible dynamics that constrain the evolution of the motion path along the low dimensional manifold and conserves learnt invariant properties. The explicit split of the motion space decomposes the Hamiltonian into symmetry groups and gives long term separability of the dynamics. This split also means we can learn content representations that are easy to interpret and control. We demonstrate the utility of our model by swapping the motion of two videos, generating long term sequences of various actions from a given image, unconditional sequence generation and image rotations.


The Curse of Correlations for Robust Fingerprinting of Relational Databases. Database fingerprinting have been widely adopted to prevent unauthorized sharing of data and identify the source of data leakages. Although existing schemes are robust against common attacks, like random bit flipping and subset attack, their robustness degrades significantly if attackers utilize the inherent correlations among database entries. In this paper, we first demonstrate the vulnerability of existing database fingerprinting schemes by identifying different correlation attacks column wise correlation attack, row wise correlation attack, and the integration of them. To provide robust fingerprinting against the identified correlation attacks, we then develop mitigation techniques, which can work as post processing steps for any off the shelf database fingerprinting schemes. The proposed mitigation techniques also preserve the utility of the fingerprinted database considering different utility metrics. We empirically investigate the impact of the identified correlation attacks and the performance of mitigation techniques using real world relational databases. Our results show (i) high success rates of the identified correlation attacks against existing fingerprinting schemes (e.g., the integrated correlation attack can distort 64.8 fingerprint bits by just modifying 14.2 entries in a fingerprinted database), and (ii) high robustness of the proposed mitigation techniques (e.g., with the mitigation techniques, the integrated correlation attack can only distort 3 fingerprint bits).


Variable Besov type spaces. In this paper we introduce Besov type spaces with variable smoothness and integrability. We show that these spaces are characterized by the varphi transforms in appropriate sequence spaces and we obtain atomic decompositions for these spaces. Moreover the Sobolev embeddings for these function spaces are obtained.


Reproducibility as a Mechanism for Teaching Fairness, Accountability, Confidentiality, and Transparency in Artificial Intelligence. In this work, we explain the setup for a technical, graduate level course on Fairness, Accountability, Confidentiality, and Transparency in Artificial Intelligence (FACT AI) at the University of Amsterdam, which teaches FACT AI concepts through the lens of reproducibility. The focal point of the course is a group project based on reproducing existing FACT AI algorithms from top AI conferences and writing a corresponding report. In the first iteration of the course, we created an open source repository with the code implementations from the group projects. In the second iteration, we encouraged students to submit their group projects to the Machine Learning Reproducibility Challenge, resulting in 9 reports from our course being accepted for publication in the ReScience journal. We reflect on our experience teaching the course over two years, where one year coincided with a global pandemic, and propose guidelines for teaching FACT AI through reproducibility in graduate level AI study programs. We hope this can be a useful resource for instructors who want to set up similar courses in the future.


Towards Multi Sense Cross Lingual Alignment of Contextual Embeddings. Cross lingual word embeddings (CLWE) have been proven useful in many cross lingual tasks. However, most existing approaches to learn CLWE including the ones with contextual embeddings are sense agnostic. In this work, we propose a novel framework to align contextual embeddings at the sense level by leveraging cross lingual signal from bilingual dictionaries only. We operationalize our framework by first proposing a novel sense aware cross entropy loss to model word senses explicitly. The monolingual ELMo and BERT models pretrained with our sense aware cross entropy loss demonstrate significant performance improvement for word sense disambiguation tasks. We then propose a sense alignment objective on top of the sense aware cross entropy loss for cross lingual model pretraining, and pretrain cross lingual models for several language pairs (English to German Spanish Japanese Chinese). Compared with the best baseline results, our cross lingual models achieve 0.52 , 2.09 and 1.29 average performance improvements on zero shot cross lingual NER, sentiment classification and XNLI tasks, respectively.


Choiceless Polynomial Time, Symmetric Circuits and Cai F "urer Immerman Graphs. Choiceless Polynomial Time (CPT) is currently the only candidate logic for capturing PTIME (that is, it is contained in PTIME and has not been separated from it). A prominent example of a decision problem in PTIME that is not known to be CPT definable is the isomorphism problem on unordered Cai F "urer Immerman graphs (the CFI query). We study the expressive power of CPT with respect to this problem and develop a partial characterisation of solvable instances in terms of properties of symmetric XOR circuits over the CFI graphs The CFI query is CPT definable on a given class of graphs only if For each graph G , there exists an XOR circuit C , whose input gates are labelled with edges of G , such that C is sufficiently symmetric with respect to the automorphisms of G and satisfies certain other circuit properties. We also give a sufficient condition for CFI being solvable in CPT and develop a new CPT algorithm for the CFI query. It takes as input structures which contain, along with the CFI graph, an XOR circuit with suitable properties. The strongest known CPT algorithm for this problem can solve instances equipped with a preorder with colour classes of logarithmic size. Our result implicitly extends this to preorders with colour classes of polylogarithmic size (plus some unordered additional structure). Finally, our work provides new insights regarding a much more general problem The existence of a solution to an unordered linear equation system A cdot x b over a finite field is CPT definable if the matrix A has at most logarithmic rank (with respect to the size of the structure that encodes the equation system). This is another example that separates CPT from fixed point logic with counting.


Understanding and Preparing Data of Industrial Processes for Machine Learning Applications. Industrial applications of machine learning face unique challenges due to the nature of raw industry data. Preprocessing and preparing raw industrial data for machine learning applications is a demanding task that often takes more time and work than the actual modeling process itself and poses additional challenges. This paper addresses one of those challenges, specifically, the challenge of missing values due to sensor unavailability at different production units of nonlinear production lines. In cases where only a small proportion of the data is missing, those missing values can often be imputed. In cases of large proportions of missing data, imputing is often not feasible, and removing observations containing missing values is often the only option. This paper presents a technique, that allows to utilize all of the available data without the need of removing large amounts of observations where data is only partially available. We do not only discuss the principal idea of the presented method, but also show different possible implementations that can be applied depending on the data at hand. Finally, we demonstrate the application of the presented method with data from a steel production plant.


Additive functions in short intervals, gaps and a conjecture of Erd H o s. With the aim of treating the local behaviour of additive functions, we develop analogues of the Matom " a ki Radziwill theorem that allow us to approximate the average of a general additive function over a typical short interval in terms of its long average. As part of this treatment, we use a variant of the Matom " a ki Radziwill theorem for divisor bounded multiplicative functions recently proven by the author. We consider two sets of applications of these methods. Our first application shows that for an additive function g mathbb N rightarrow mathbb C any non trivial savings in the size of the average gap g(n) g(n 1) implies that g must have a small first moment, i.e., the discrepancy of g(n) from its mean is small on average. We also obtain a variant of such a result for the second moment of the gaps. This complements results of Elliott and of Hildebrand. As a second application, we make partial progress on an old question of Erd H o s relating to characterizing log n as the only "almost everywhere" increasing additive function (up to constant factors). We show that if an additive function is almost everywhere non decreasing then it is almost everywhere well approximated by a constant times a logarithm. We also show that if g is a completely additive function such that the density of the set of exceptions frac 1 X n leq X g(n) g(n 1) decays like O(( log X) 2 epsilon ) and such that g is not extremely large too often on the primes (in a precise sense), then g is identically equal to a constant times a logarithm.


High frequency estimates on boundary integral operators for the Helmholtz exterior Neumann problem. We study a commonly used second kind boundary integral equation for solving the Helmholtz exterior Neumann problem at high frequency, where, writing Gamma for the boundary of the obstacle, the relevant integral operators map L 2( Gamma) to itself. We prove new frequency explicit bounds on the norms of both the integral operator and its inverse. The bounds on the norm are valid for piecewise smooth Gamma and are sharp, and the bounds on the norm of the inverse are valid for smooth Gamma and are observed to be sharp at least when Gamma is curved. Together, these results give bounds on the condition number of the operator on L 2( Gamma) this is the first time L 2( Gamma) condition number bounds have been proved for this operator for obstacles other than balls.


On positional representation of integer vectors. We show that any m times m matrix M with integer entries and det M Delta neq 0 can be equipped by a finite digit set mathcal D subset mathbb Z m such that any integer m dimensional vector belongs to the set rm Fin mathcal D (M) Bigl sum k in I M k d k emptyset neq I text finite subset of mathbb Z text and d k in mathcal D text for each k in I Bigr subset bigcup limits k in mathbb N frac 1 Delta k mathbb Z m ,. We also characterize the matrices M for which the sets rm Fin mathcal D (M) and bigcup limits k in mathbb N frac 1 Delta k mathbb Z m coincide.


Combining Rational maps and Kleinian groups via orbit equivalence. We develop a new orbit equivalence framework for holomorphically mating the dynamics of complex polynomials with that of Kleinian surface groups. We show that the only torsion free Fuchsian groups that can be thus mated are punctured sphere groups. We describe a new class of maps that are topologically orbit equivalent to Fuchsian punctured sphere groups. We call these higher Bowen Series maps. The existence of this class ensures that the Teichm "uller space of matings is disconnected. Further, they also show that, unlike in higher dimensions, topological orbit equivalence rigidity fails for Fuchsian groups acting on the circle. We also classify the collection of Kleinian Bers' boundary groups that are mateable in our framework.


Compact K "ahler manifolds with no projective specialization. We show the existence of a compact K "ahler manifold which does not fit in a proper flat family over an irreducible base with one projective (possibly singular) fiber. We also give a topological version of this statement. This strengthens our earlier counterexamples to the Kodaira algebraic approximation problem.


APIScanner Towards Automated Detection of Deprecated APIs in Python Libraries. Python libraries are widely used for machine learning and scientific computing tasks today. APIs in Python libraries are deprecated due to feature enhancements and bug fixes in the same way as in other languages. These deprecated APIs are discouraged from being used in further software development. Manually detecting and replacing deprecated APIs is a tedious and time consuming task due to the large number of API calls used in the projects. Moreover, the lack of proper documentation for these deprecated APIs makes the task challenging. To address this challenge, we propose an algorithm and a tool APIScanner that automatically detects deprecated APIs in Python libraries. This algorithm parses the source code of the libraries using abstract syntax tree (ASTs) and identifies the deprecated APIs via decorator, hard coded warning or comments. APIScanner is a Visual Studio Code Extension that highlights and warns the developer on the use of deprecated API elements while writing the source code. The tool can help developers to avoid using deprecated API elements without the execution of code. We tested our algorithm and tool on six popular Python libraries, which detected 838 of 871 deprecated API elements. Demo of APIScanner https youtu.be 1hy ugf iek. Documentation, tool, and source code can be found here https rishitha957.github.io APIScanner.


Size Ramsey numbers of powers of hypergraph trees and long subdivisions. The s colour size Ramsey number of a hypergraph H is the minimum number of edges in a hypergraph G whose every s edge colouring contains a monochromatic copy of H . We show that the s colour size Ramsey number of the t power of the r uniform tight path on n vertices is linear in n , for every fixed r, s, t , thus answering a question of Dudek, La Fleur, Mubayi, and R "odl (2017). In fact, we prove a stronger result that allows us to deduce that powers of bounded degree hypergraph trees and powers of long subdivisions' of bounded degree hypergraphs have size Ramsey numbers that are linear in the number of vertices. This extends and strongly generalises recent results about the linearity of size Ramsey numbers of powers of bounded degree trees and of long subdivisions of bounded degree graphs.


Image Segmentation with Homotopy Warping. Besides per pixel accuracy, topological correctness is also crucial for the segmentation of images with fine scale structures, e.g., satellite images and biomedical images. In this paper, by leveraging the theory of digital topology, we identify locations in an image that are critical for topology. By focusing on these critical locations, we propose a new homotopy warping loss to train deep image segmentation networks for better topological accuracy. To efficiently identity these topologically critical locations, we propose a new algorithm exploiting the distance transform. The proposed algorithm, as well as the loss function, naturally generalize to different topological structures in both 2D and 3D settings. The proposed loss function helps deep nets achieve better performance in terms of topology aware metrics, outperforming state of the art topology preserving segmentation methods.


Three Dimensional Investigation of the Metric Properties of Parabolic Double Projection Involving Catadioptric Camera. This paper presents an analytical study for the metric properties of the paraboloidal double projection, i.e. central and orthogonal projections used in the catadioptric camera system. Metric properties have not sufficiently studied in previous treatments of such system. These properties incorporate the determination of the true lengths of projected lines and areas bounded by projected lines. The advantageous main gain of determining metric elements of the paraboloidal double projection is studying distortion analysis and camera calibration, which is considered an essential tool in testing camera accuracy. Also, this may be considered as a significant utility in studying comparison analysis between different cameras projection systems.


Completely Positive Factorization by Riemannian Smoothing Method. Copositive optimization is a special case of convex conic programming, and it optimizes a linear function over the cone of all completely positive matrices under linear constraints. Copositive optimization provides powerful relaxations of NP hard quadratic problems or combinatorial problems, but there are still many open problems regarding copositive or completely positive matrices. In this paper, we focus on one of such open problems finding a completely positive (CP) factorization for a given completely positive matrix. We treat it as a nonsmooth Riemannian optimization, i.e., a minimization of a nonsmooth function over the Riemannian manifolds. To solve this problem, we present a general smoothing framework for nonsmooth Riemannian optimization and guarantee convergence to a stationary point of the original problem. An advantage is that we can implement it quickly with minimal effort by directly using the existing standard smooth Riemannian solvers, such as Manopt. Numerical experiments show the efficiency of our method especially for large scale CP factorizations.


Scaling Vision Transformers. Attention based neural networks such as the Vision Transformer (ViT) have recently attained state of the art results on many computer vision benchmarks. Scale is a primary ingredient in attaining excellent results, therefore, understanding a model's scaling properties is a key to designing future generations effectively. While the laws for scaling Transformer language models have been studied, it is unknown how Vision Transformers scale. To address this, we scale ViT models and data, both up and down, and characterize the relationships between error rate, data, and compute. Along the way, we refine the architecture and training of ViT, reducing memory consumption and increasing accuracy the resulting models. As a result, we successfully train a ViT model with two billion parameters, which attains a new state of the art on ImageNet of 90.45 top 1 accuracy. The model also performs well on few shot learning, for example, attaining 84.86 top 1 accuracy on ImageNet with only 10 examples per class.


Towards Zero shot Cross lingual Image Retrieval and Tagging. There has been a recent spike in interest in multi modal Language and Vision problems. On the language side, most of these models primarily focus on English since most multi modal datasets are monolingual. We try to bridge this gap with a zero shot approach for learning multi modal representations using cross lingual pre training on the text side. We present a simple yet practical approach for building a cross lingual image retrieval model which trains on a monolingual training dataset but can be used in a zero shot cross lingual fashion during inference. We also introduce a new objective function which tightens the text embedding clusters by pushing dissimilar texts away from each other. For evaluation, we introduce a new 1K multi lingual MSCOCO2014 caption test dataset (XTD10) in 7 languages that we collected using a crowdsourcing platform. We use this as the test set for zero shot model performance across languages. We also demonstrate how a cross lingual model can be used for downstream tasks like multi lingual image tagging in a zero shot manner. XTD10 dataset is made publicly available here https github.com adobe research Cross lingual Test Dataset XTD10.


HiPaR Hierarchical Pattern aided Regression. We introduce HiPaR, a novel pattern aided regression method for tabular data containing both categorical and numerical attributes. HiPaR mines hybrid rules of the form p Rightarrow y f(X) where p is the characterization of a data region and f(X) is a linear regression model on a variable of interest y . HiPaR relies on pattern mining techniques to identify regions of the data where the target variable can be accurately explained via local linear models. The novelty of the method lies in the combination of an enumerative approach to explore the space of regions and efficient heuristics that guide the search. Such a strategy provides more flexibility when selecting a small set of jointly accurate and human readable hybrid rules that explain the entire dataset. As our experiments shows, HiPaR mines fewer rules than existing pattern based regression methods while still attaining state of the art prediction performance.


Optimisation of the event based TOF filtered back projection for online imaging in total body J PET. We perform a parametric study of the newly developed time of flight (TOF) image reconstruction algorithm, proposed for the real time imaging in total body Jagiellonian PET (J PET) scanners. The asymmetric 3D filtering kernel is applied at each most likely position of electron positron annihilation, estimated from the emissions of back to back gamma photons. The optimisation of its parameters is studied using Monte Carlo simulations of a 1 mm spherical source, NEMA IEC and XCAT phantoms inside the ideal J PET scanner. The combination of high pass filters which included the TOF filtered back projection (FBP), resulted in spatial resolution, 1.5 times higher in the axial direction than for the conventional 3D FBP. For realistic 10 minute scans of NEMA IEC and XCAT, which require a trade off between the noise and spatial resolution, the need for Gaussian TOF kernel components, coupled with median post filtering, is demonstrated. The best sets of 3D filter parameters were obtained by the Nelder Mead minimisation of the mean squared error between the resulting and reference images. The approach allows training the reconstruction algorithm for custom scans, using the IEC phantom, when the temporal resolution is below 50 ps. The image quality parameters, estimated for the best outcomes, were systematically better than for the non TOF FBP.


Entropy of real rational surface automorphisms Actions on the Fundamental Groups. This article discusses a method to compute the induced action on the fundamental group of a real rational surface and provides the induced actions for basic quadratic real automorphisms. Using an invariant set in the fundamental group, we introduce a method to estimate a lower bound of the action's growth rate on the fundamental group. The growth rate of this induced action gives a lower bound for the entropy of real surface automorphism.


Application of Transfer Learning to Sign Language Recognition using an Inflated 3D Deep Convolutional Neural Network. Sign language is the primary language for people with a hearing loss. Sign language recognition (SLR) is the automatic recognition of sign language, which represents a challenging problem for computers, though some progress has been made recently using deep learning. Huge amounts of data are generally required to train deep learning models. However, corresponding datasets are missing for the majority of sign languages. Transfer learning is a technique to utilize a related task with an abundance of data available to help solve a target task lacking sufficient data. Transfer learning has been applied highly successfully in computer vision and natural language processing. However, much less research has been conducted in the field of SLR. This paper investigates how effectively transfer learning can be applied to isolated SLR using an inflated 3D convolutional neural network as the deep learning architecture. Transfer learning is implemented by pre training a network on the American Sign Language dataset MS ASL and subsequently fine tuning it separately on three different sizes of the German Sign Language dataset SIGNUM. The results of the experiments give clear empirical evidence that transfer learning can be effectively applied to isolated SLR. The accuracy performances of the networks applying transfer learning increased substantially by up to 21 as compared to the baseline models that were not pre trained on the MS ASL dataset.


Balanced MixUp for Highly Imbalanced Medical Image Classification. Highly imbalanced datasets are ubiquitous in medical image classification problems. In such problems, it is often the case that rare classes associated to less prevalent diseases are severely under represented in labeled databases, typically resulting in poor performance of machine learning algorithms due to overfitting in the learning process. In this paper, we propose a novel mechanism for sampling training data based on the popular MixUp regularization technique, which we refer to as Balanced MixUp. In short, Balanced MixUp simultaneously performs regular (i.e., instance based) and balanced (i.e., class based) sampling of the training data. The resulting two sets of samples are then mixed up to create a more balanced training distribution from which a neural network can effectively learn without incurring in heavily under fitting the minority classes. We experiment with a highly imbalanced dataset of retinal images (55K samples, 5 classes) and a long tail dataset of gastro intestinal video frames (10K images, 23 classes), using two CNNs of varying representation capabilities. Experimental results demonstrate that applying Balanced MixUp outperforms other conventional sampling schemes and loss functions specifically designed to deal with imbalanced data. Code is released at https github.com agaldran balanced mixup .


DeepDDS deep graph neural network with attention mechanism to predict synergistic drug combinations. Drug combination therapy has become a increasingly promising method in the treatment of cancer. However, the number of possible drug combinations is so huge that it is hard to screen synergistic drug combinations through wet lab experiments. Therefore, computational screening has become an important way to prioritize drug combinations. Graph neural network have recently shown remarkable performance in the prediction of compound protein interactions, but it has not been applied to the screening of drug combinations. In this paper, we proposed a deep learning model based on graph neural networks and attention mechanism to identify drug combinations that can effectively inhibit the viability of specific cancer cells. The feature embeddings of drug molecule structure and gene expression profiles were taken as input to multi layer feedforward neural network to identify the synergistic drug combinations. We compared DeepDDS with classical machine learning methods and other deep learning based methods on benchmark data set, and the leave one out experimental results showed that DeepDDS achieved better performance than competitive methods. Also, on an independent test set released by well known pharmaceutical enterprise AstraZeneca, DeepDDS was superior to competitive methods by more than 16 predictive precision. Furthermore, we explored the interpretability of the graph attention network, and found the correlation matrix of atomic features revealed important chemical substructures of drugs. We believed that DeepDDS is an effective tool that prioritized synergistic drug combinations for further wet lab experiment validation.


Edge powered Assisted Driving For Connected Cars. Assisted driving for connected cars is one of the main applications that 5G and beyond networks shall support. In this work, we propose an assisted driving system leveraging the synergy between connected vehicles and the edge of the network infrastructure, in order to envision global traffic policies that can effectively drive local decisions. Local decisions concern individual vehicles, e.g., which vehicle should perform a lane change manoeuvre and when global decisions, instead, involve whole traffic flows. Such decisions are made at different time scales by different entities, which are integrated within an edge based architecture and can share information. In particular, we leverage a queuing based model and formulate an optimization problem to make global decisions on traffic flows. To cope with the problem complexity, we then develop an iterative, linear time complexity algorithm called Bottleneck Hunting (BH). We show the performance of our solution using a realistic simulation framework, integrating a Python engine with ns 3 and SUMO, and considering two relevant services, namely, lane change assistance and navigation, in a real world scenario. Results demonstrate that our solution leads to a reduction of the vehicles' travel times by 66 in the case of lane change assistance and by 20 for navigation, compared to traditional, local coordination approaches.


OmniFair A Declarative System for Model Agnostic Group Fairness in Machine Learning. Machine learning (ML) is increasingly being used to make decisions in our society. ML models, however, can be unfair to certain demographic groups (e.g., African Americans or females) according to various fairness metrics. Existing techniques for producing fair ML models either are limited to the type of fairness constraints they can handle (e.g., preprocessing) or require nontrivial modifications to downstream ML training algorithms (e.g., in processing). We propose a declarative system OmniFair for supporting group fairness in ML. OmniFair features a declarative interface for users to specify desired group fairness constraints and supports all commonly used group fairness notions, including statistical parity, equalized odds, and predictive parity. OmniFair is also model agnostic in the sense that it does not require modifications to a chosen ML algorithm. OmniFair also supports enforcing multiple user declared fairness constraints simultaneously while most previous techniques cannot. The algorithms in OmniFair maximize model accuracy while meeting the specified fairness constraints, and their efficiency is optimized based on the theoretically provable monotonicity property regarding the trade off between accuracy and fairness that is unique to our system. We conduct experiments on commonly used datasets that exhibit bias against minority groups in the fairness literature. We show that OmniFair is more versatile than existing algorithmic fairness approaches in terms of both supported fairness constraints and downstream ML models. OmniFair reduces the accuracy loss by up to 94.8 compared with the second best method. OmniFair also achieves similar running time to preprocessing methods, and is up to 270 times faster than in processing methods.


Human Computer Interaction Glow Up Examining Operational Trust and Intention Towards Mars Autonomous Systems. Tactful coordination on earth between hundreds of operators from diverse disciplines and backgrounds is needed to ensure that Martian rovers have a high likelihood of achieving their science goals while enduring the harsh environment of the red planet. The operations team includes many individuals, each with independent and overlapping objectives, working to decide what to execute on the Mars surface during the next planning period. The team must work together to understand each other's objectives and constraints within a fixed time period, often requiring frequent revision. This study examines the challenges faced during Mars surface operations, from high level science objectives to formulating a valid, safe, and optimal activity plan that is ready to be radiated to the rover. Through this examination, we aim to illuminate how planning intent can be formulated and effectively communicated to future spacecrafts that will become more and more autonomous. Our findings reveal the intricate nature of human to human interactions that require a large array of soft skills and core competencies to communicate concurrently with science and engineering teams during plan formulation. Additionally, our findings exposed significant challenges in eliciting planning intent from operators, which will intensify in the future, as operators on the ground asynchronously co operate the rover with the on board autonomy. Building a marvellous robot and landing it onto the Mars surface are remarkable feats however, ensuring that scientists can get the best out of the mission is an ongoing challenge and will not cease to be a difficult task with increased autonomy.


Stochastic fluctuations in protein interaction networks are nearly Poissonian. Gene regulatory networks are comprised of biochemical reactions, which are inherently stochastic. Each reaction channel contributes to this stochasticity in different measure. In this paper we study the stochastic dynamics of protein interaction networks (PIN) that are made up of monomers and dimers. The network is defined by the dimers, which are formed by hybridizing two monomers. The size of a PIN was defined as the number of monomers that interacts with at least one other monomer (including itself). We generated 4200 random PIN of sizes between 2 and 8 (600 per size) and simulated via the Gillespie algorithm the stochastic evolution of copy numbers of all monomers and dimers until they reached a steady state. The simulations revealed that the Fano factors of both monomers and dimers in all networks and for all time points were close to one, either from below or above. Only 10 of Fano factors for monomers were above 1.3 and 10 of Fano factors for dimers were above 1.17, with 5.54 and 3.47 as the maximum value recorded for monomers and dimers, respectively. These findings suggests that PIN in real biological setting contribute to the overall stochastic noise that is close to Poisson. Our results also show a correlation between stochastic noise, network size and network connectivity for monomers, the Fano factors tend towards 1 from above, while the Fano factors for dimers tend towards 1 from below. For monomers, this tendency is amplified with increased network connectivity.


Joint inference and input optimization in equilibrium networks. Many tasks in deep learning involve optimizing over the emph inputs to a network to minimize or maximize some objective examples include optimization over latent spaces in a generative model to match a target image, or adversarially perturbing an input to worsen classifier performance. Performing such optimization, however, is traditionally quite costly, as it involves a complete forward and backward pass through the network for each gradient step. In a separate line of work, a recent thread of research has developed the deep equilibrium (DEQ) model, a class of models that foregoes traditional network depth and instead computes the output of a network by finding the fixed point of a single nonlinear layer. In this paper, we show that there is a natural synergy between these two settings. Although, naively using DEQs for these optimization problems is expensive (owing to the time needed to compute a fixed point for each gradient step), we can leverage the fact that gradient based optimization can emph itself be cast as a fixed point iteration to substantially improve the overall speed. That is, we emph simultaneously both solve for the DEQ fixed point emph and optimize over network inputs, all within a single augmented'' DEQ model that jointly encodes both the original network and the optimization process. Indeed, the procedure is fast enough that it allows us to efficiently emph train DEQ models for tasks traditionally relying on an inner'' optimization loop. We demonstrate this strategy on various tasks such as training generative models while optimizing over latent codes, training models for inverse problems like denoising and inpainting, adversarial training and gradient based meta learning.


A combinatorial approach to geometric rough paths and their controlled paths. We develop the structure theory for transformations of weakly geometric rough paths of bounded 1 p variation and their controlled paths. Our approach differs from existing approaches as it does not rely on smooth approximations. We derive an explicit combinatorial expression for the rough path lift of a controlled path, and use it to obtain fundamental identities such as the associativity of the rough integral, the adjunction between pushforwards and pullbacks, and a change of variables formula for rough differential equations (RDEs). As applications we define rough paths, rough integration and RDEs on manifolds, extending the results of CDL15 to the case of arbitrary p .


Corona Decompositions for Parabolic Uniformly Rectifiable Sets. We prove that parabolic uniformly rectifiable sets admit (bilateral) corona decompositions with respect to regular Lip(1,1 2) graphs. Together with our previous work, this allows us to conclude that if Sigma subset mathbb R n 1 is parabolic Ahlfors David regular, then the following statements are equivalent. (1) Sigma is parabolic uniformly rectifiable. (2) Sigma admits a corona decomposition with respect to regular Lip(1,1 2) graphs. (3) Sigma admits a bilateral corona decomposition with respect to regular Lip(1,1 2) graphs. (4) Sigma is big pieces squared of regular Lip(1,1 2) graphs.


Two weight Norm Inequalities for Local Fractional Integrals on Gaussian Measure Spaces. In this paper, the authors establish the two weight boundedness of the local fractional maximal operators and local fractional integrals on Gaussian measure spaces associated with the local weights. More precisely, the authors first obtain the two weight weak type estimate for the local a fractional maximal operators of order alpha from L p (v) to L q, infty (u) with 1 leq p leq q infty under a condition of (u,v) in bigcup b' a A p,q, alpha b' , and then obtain the two weight weak type estimate for the local fractional integrals. In addition, the authors obtain the two weight strong type boundedness of the local fractional maximal operators under a condition of (u,v) in mathscr M p,q, alpha 6a 9 sqrt d a 2 and the two weight strong type boundedness of the local fractional integrals. These estimates are established by the radialization method and dyadic approach.


On the biharmonicity of vector fields and unit vector fields. Let (M,g) be a compact Riemannian manifold. Equipping its tangent bundle TM (resp. unit tangent bundle T 1M ) by a pseudo Riemannian g natural metric G (resp. tilde G ), we study the biharmonicty of vector fields (resp. unit vector fields) as maps (M,g) rightarrow (TM,G) (resp. (M,g) rightarrow (T 1M, tilde G ) ) as well as critical points of the bienergy functional restricted to the set mathfrak X (M) (resp. mathfrak X 1(M) ) of vector fields (resp. unit tangent bundles) on M . Contrary to the Sasaki metric on TM , where the two notions are equivalent to the harmonicity of the vector field and then to its parallelism, we prove that for large classes of g natural metrics on TM the two notions are not equivalent. Furthermore, we give examples of vector fields which are biharmonic as critical points of the bienergy functional restricted to mathfrak X (M) , but are not biharmonic maps. We provide equally examples of proper biharmonic vector fields (resp. unit vector fields), i.e. those which are biharmonic without being harmonic.


AnnIE An Annotation Platform for Constructing Complete Open Information Extraction Benchmark. Open Information Extraction (OIE) is the task of extracting facts from sentences in the form of relations and their corresponding arguments in schema free manner. Intrinsic performance of OIE systems is difficult to measure due to the incompleteness of existing OIE benchmarks the ground truth extractions do not group all acceptable surface realizations of the same fact that can be extracted from a sentence. To measure performance of OIE systems more realistically, it is necessary to manually annotate complete facts (i.e., clusters of all acceptable surface realizations of the same fact) from input sentences. We propose AnnIE an interactive annotation platform that facilitates such challenging annotation tasks and supports creation of complete fact oriented OIE evaluation benchmarks. AnnIE is modular and flexible in order to support different use case scenarios (i.e., benchmarks covering different types of facts). We use AnnIE to build two complete OIE benchmarks one with verb mediated facts and another with facts encompassing named entities. Finally, we evaluate several OIE systems on our complete benchmarks created with AnnIE. Our results suggest that existing incomplete benchmarks are overly lenient, and that OIE systems are not as robust as previously reported. We publicly release AnnIE under non restrictive license.


Nonnegative Matrix Factorization to understand Spatio Temporal Traffic Pattern Variations during COVID 19 A Case Study. Due to the rapid developments in Intelligent Transportation System (ITS) and increasing trend in the number of vehicles on road, abundant of road traffic data is generated and available. Understanding spatio temporal traffic patterns from this data is crucial and has been effectively helping in traffic plannings, road constructions, etc. However, understanding traffic patterns during COVID 19 pandemic is quite challenging and important as there is a huge difference in terms of people's and vehicle's travel behavioural patterns. In this paper, a case study is conducted to understand the variations in spatio temporal traffic patterns during COVID 19. We apply nonnegative matrix factorization (NMF) to elicit patterns. The NMF model outputs are analysed based on the spatio temporal pattern behaviours observed during the year 2019 and 2020, which is before pandemic and during pandemic situations respectively, in Great Britain. The outputs of the analysed spatio temporal traffic pattern variation behaviours will be useful in the fields of traffic management in Intelligent Transportation System and management in various stages of pandemic or unavoidable scenarios in relation to road traffic.


On random compact sets, equidecomposition, and domains of expansion in R 3. We study random compact subsets of R 3 which can be described as "random Menger sponges". We use those random sets to construct a pair of compact sets A and B in R 3 which are of the same positive measure, such that A can be covered by finitely many translates of B, B can be covered by finitely many translates of A, and yet A and B are not equidecomposable. Furthermore, we construct the first example of a compact subset of R 3 of positive measure which is not a domain of expansion. This answers a question of Adrian Ioana.


Neural Networks and Denotation. We introduce a framework for reasoning about what meaning is captured by the neurons in a trained neural network. We provide a strategy for discovering meaning by training a second model (referred to as an observer model) to classify the state of the model it observes (an object model) in relation to attributes of the underlying dataset. We implement and evaluate observer models in the context of a specific set of classification problems, employ heat maps for visualizing the relevance of components of an object model in the context of linear observer models, and use these visualizations to extract insights about the manner in which neural networks identify salient characteristics of their inputs. We identify important properties captured decisively in trained neural networks some of these properties are denoted by individual neurons. Finally, we observe that the label proportion of a property denoted by a neuron is dependent on the depth of a neuron within a network we analyze these dependencies, and provide an interpretation of them.


Somewhat smooth numbers in short intervals. We use exponent pairs to establish the existence of many x a smooth numbers in short intervals x x b,x , when a 1 2 . In particular, b 1 a a(1 a) 3 is admissible. Assuming the exponent pairs conjecture, one can take b (1 a) 2 epsilon . As an application, we show that x x 0.4872 ,x contains many practical numbers when x is large.


Finite permutation groups containing a regular dihedral subgroup. We present a characterization of finite permutation groups which contain a transitive dihedral subgroup.


FakeMix Augmentation Improves Transparent Object Detection. Detecting transparent objects in natural scenes is challenging due to the low contrast in texture, brightness and colors. Recent deep learning based works reveal that it is effective to leverage boundaries for transparent object detection (TOD). However, these methods usually encounter boundary related imbalance problem, leading to limited generation capability. Detailly, a kind of boundaries in the background, which share the same characteristics with boundaries of transparent objects but have much smaller amounts, usually hurt the performance. To conquer the boundary related imbalance problem, we propose a novel content dependent data augmentation method termed FakeMix. Considering collecting these trouble maker boundaries in the background is hard without corresponding annotations, we elaborately generate them by appending the boundaries of transparent objects from other samples into the current image during training, which adjusts the data space and improves the generalization of the models. Further, we present AdaptiveASPP, an enhanced version of ASPP, that can capture multi scale and cross modality features dynamically. Extensive experiments demonstrate that our methods clearly outperform the state of the art methods. We also show that our approach can also transfer well on related tasks, in which the model meets similar troubles, such as mirror detection, glass detection, and camouflaged object detection. Code will be made publicly available.


Parabolic subgroups of two dimensional Artin groups and systolic by function complexes. We extend previous results by Cumplido, Martin and Vaskou on parabolic subgroups of large type Artin groups to a broader family of two dimensional Artin groups. In particular we prove that an arbitrary intersection of parabolic subgroups of a nice two dimensional Artin group is itself a parabolic subgroup. Nice Artin groups are those whose defining graphs do not have two consecutive edges labeled by 2 . As a consequence of this result, we solve the conjugacy stability problem for this family by appying an algorithm introduced by Cumplido. All of this is accomplished by considering systolic by function complexes, which generalize Januszkiewicz and 'Swi k a tkowski's systolic complexes. Systolic by function complexes have a more flexible structure than systolic complexes since we allow the edges to have different lengths. At the same time their geometry is rigid enough to satisfy an analogue of the Cartan Hadamard theorem and other geometric properties similar to those of systolic complexes.


Convexity in a masure II. Masures are generalizations of Bruhat Tits buildings. They were introduced by Gaussent and Rousseau in order to study Kac Moody groups over valued fields. We prove that the intersection of two apartments of a masure is convex. Using this, we simplify the axiomatic definition of masures given by Rousseau.


Manifolds with bounded integral curvature and no positive eigenvalue lower bounds. We provide an explicit construction of a sequence of closed surfaces with uniform bounds on the diameter and on L p norms of the curvature, but without a positive lower bound on the first non zero eigenvalue of the Laplacian lambda 1 . This example shows that the assumption of smallness of the L p norm of the curvature is a necessary condition to derive Lichnerowicz and Zhong Yang type estimates under integral curvature conditions.


Stronger Bounds for Weak Epsilon Nets in Higher Dimensions. Given a finite point set P in mathbb R d , and epsilon 0 we say that N subseteq mathbb R d is a weak epsilon net if it pierces every convex set K with K cap P geq epsilon P . Let d geq 3 . We show that for any finite point set in mathbb R d , and any epsilon 0 , there exist a weak epsilon net of cardinality displaystyle O left( frac 1 epsilon d 1 2 gamma right) , where gamma 0 is an arbitrary small constant. This is the first improvement of the bound of displaystyle O left( frac 1 epsilon d right) that was obtained in 1994 by Chazelle, Edelsbrunner, Grigni, Guibas, Sharir, and Welzl for general point sets in dimension d geq 3 .