On Longest Common Property Preserved Substring Queries. We revisit the problem of longest common property preserving substring queries introduced by Ayad et al. (SPIRE 2018, arXiv 2018). We consider a generalized and unified on line setting, where we are given a set X of k strings of total length n that can be pre processed so that, given a query string y and a positive integer k' leq k , we can determine the longest substring of y that satisfies some specific property and is common to at least k' strings in X . Ayad et al. considered the longest square free substring in an on line setting and the longest periodic and palindromic substring in an off line setting. In this paper, we give efficient solutions in the on line setting for finding the longest common square, periodic, palindromic, and Lyndon substrings. More precisely, we show that X can be pre processed in O(n) time resulting in a data structure of O(n) size that answers queries in O( y log sigma) time and O(1) working space, where sigma is the size of the alphabet, and the common substring must be a square, a periodic substring, a palindrome, or a Lyndon word.


Exosphere Bringing The Cloud Closer. Exosphere provides researcher friendly software for managing computing workloads on OpenStack cloud infrastructure. Exosphere is a user friendly alternative to Horizon, the default OpenStack graphical interface. Exosphere can be used with most research cloud infrastructure, requiring near zero custom integration work.


Understanding the Mechanics of SPIGOT Surrogate Gradients for Latent Structure Learning. Latent structure models are a powerful tool for modeling language data they can mitigate the error propagation and annotation bottleneck in pipeline systems, while simultaneously uncovering linguistic insights about the data. One challenge with end to end training of these models is the argmax operation, which has null gradient. In this paper, we focus on surrogate gradients, a popular strategy to deal with this problem. We explore latent structure learning through the angle of pulling back the downstream learning objective. In this paradigm, we discover a principled motivation for both the straight through estimator (STE) as well as the recently proposed SPIGOT a variant of STE for structured models. Our perspective leads to new algorithms in the same family. We empirically compare the known and the novel pulled back estimators against the popular alternatives, yielding new insight for practitioners and revealing intriguing failure cases.


Towards the Systematic Reporting of the Energy and Carbon Footprints of Machine Learning. Accurate reporting of energy and carbon usage is essential for understanding the potential climate impacts of machine learning research. We introduce a framework that makes this easier by providing a simple interface for tracking realtime energy consumption and carbon emissions, as well as generating standardized online appendices. Utilizing this framework, we create a leaderboard for energy efficient reinforcement learning algorithms to incentivize responsible research in this area as an example for other areas of machine learning. Finally, based on case studies using our framework, we propose strategies for mitigation of carbon emissions and reduction of energy consumption. By making accounting easier, we hope to further the sustainable development of machine learning experiments and spur more research into energy efficient algorithms.


Batch Face Alignment using a Low rank GAN. This paper studies the problem of aligning a set of face images of the same individual into a normalized image while removing the outliers like partial occlusion, extreme facial expression as well as significant illumination variation. Our model seeks an optimal image domain transformation such that the matrix of misaligned images can be decomposed as the sum of a sparse matrix of noise and a rank one matrix of aligned images. The image transformation is learned in an unsupervised manner, which means that ground truth aligned images are unnecessary for our model. Specifically, we make use of the remarkable non linear transforming ability of generative adversarial network(GAN) and guide it with low rank generation as well as sparse noise constraint to achieve the face alignment. We verify the efficacy of the proposed model with extensive experiments on real world face databases, demonstrating higher accuracy and efficiency than existing methods.


Measure equivalence classification of transvection free right angled Artin groups. We prove that if two transvection free right angled Artin groups are measure equivalent, then they have isomorphic extension graphs. As a consequence, two right angled Artin groups with finite outer automorphism groups are measure equivalent if and only if they are isomorphic. This matches the quasi isometry classification. However, in contrast with the quasi isometry question, we observe that no right angled Artin group is superrigid for measure equivalence in the strongest possible sense, for two reasons. First, a right angled Artin group G is always measure equivalent to any graph product of infinite countable amenable groups over the same defining graph. Second, when G is nonabelian, the automorphism group of the universal cover of the Salvetti complex of G always contains infinitely generated (non uniform) lattices.


Experience Quality Benchmarking of Datasets Used in Software Effort Estimation. Data is a cornerstone of empirical software engineering (ESE) research and practice. Data underpin numerous process and project management activities, including the estimation of development effort and the prediction of the likely location and severity of defects in code. Serious questions have been raised, however, over the quality of the data used in ESE. Data quality problems caused by noise, outliers, and incompleteness have been noted as being especially prevalent. Other quality issues, although also potentially important, have received less attention. In this study, we assess the quality of 13 datasets that have been used extensively in research on software effort estimation. The quality issues considered in this article draw on a taxonomy that we published previously based on a systematic mapping of data quality issues in ESE. Our contributions are as follows (1) an evaluation of the "fitness for purpose" of these commonly used datasets and (2) an assessment of the utility of the taxonomy in terms of dataset benchmarking. We also propose a template that could be used to both improve the ESE data collection submission process and to evaluate other such datasets, contributing to enhanced awareness of data quality issues in the ESE community and, in time, the availability and use of higher quality datasets.


Inexact Block Coordinate Descent Algorithms for Nonsmooth Nonconvex Optimization. In this paper, we propose an inexact block coordinate descent algorithm for large scale nonsmooth nonconvex optimization problems. At each iteration, a particular block variable is selected and updated by inexactly solving the original optimization problem with respect to that block variable. More precisely, a local approximation of the original optimization problem is solved. The proposed algorithm has several attractive features, namely, i) high flexibility, as the approximation function only needs to be strictly convex and it does not have to be a global upper bound of the original function ii) fast convergence, as the approximation function can be designed to exploit the problem structure at hand and the stepsize is calculated by the line search iii) low complexity, as the approximation subproblems are much easier to solve and the line search scheme is carried out over a properly constructed differentiable function iv) guaranteed convergence of a subsequence to a stationary point, even when the objective function does not have a Lipschitz continuous gradient. Interestingly, when the approximation subproblem is solved by a descent algorithm, convergence of a subsequence to a stationary point is still guaranteed even if the approximation subproblem is solved inexactly by terminating the descent algorithm after a finite number of iterations. These features make the proposed algorithm suitable for large scale problems where the dimension exceeds the memory and or the processing capability of the existing hardware. These features are also illustrated by several applications in signal processing and machine learning, for instance, network anomaly detection and phase retrieval.


Ionization potential depression and ionization balance in dense plasmas. Theoretical modelling of ionization potential depression and the related ionization equilibrium in dense plasmas, in particular in warm hot dense matter, represents a significant challenge due to ionic coupling and electronic degeneracy effects. We present a quantum statistical model based on dynamical structure factors for the ionization potential depression, where quantum exchange and dynamical correlation effects in plasma environments are consistently and systematically taken into account in terms of the concept of self energy. Under the condition of local thermodynamic equilibrium, the charge state distribution (or ionic fraction) characterized by the ionization balance is obtained by solving the coupled Saha equations. Calculations for the ionization potential depression of different chemical elements are performed with the electronic and ionic structure factors. The ionic structure factors are determined by solving the Ornstein Zernike equation in combination with the hypernetted chain equation. As a further application of our approach, we present results for the charge state distribution of aluminium plasmas at several temperatures and densities.


Novel Co variant Feature Point Matching Based on Gaussian Mixture Model. The feature frame is a key idea of feature matching problem between two images. However, most of the traditional matching methods only simply employ the spatial location information (the coordinates), which ignores the shape and orientation information of the local feature. Such additional information can be obtained along with coordinates using general co variant detectors such as DOG, Hessian, Harris Affine and MSER. In this paper, we develop a novel method considering all the feature center position coordinates, the local feature shape and orientation information based on Gaussian Mixture Model for co variant feature matching. We proposed three sub versions in our method for solving the matching problem in different conditions rigid, affine and non rigid, respectively, which all optimized by expectation maximization algorithm. Due to the effective utilization of the additional shape and orientation information, the proposed model can significantly improve the performance in terms of convergence speed and recall. Besides, it is more robust to the outliers.


Topological edge and corner states in a two dimensional photonic Su Schrieffer Heeger lattice. Implementation of topology on photonics has opened new functionalities of photonic systems such as topologically protected boundary modes. We present polarization dependent topological properties in 2D Su Schrieffer Heeger lattice by using a metallic nanoparticle array and considering the polarization degree of freedom. We demonstrate that when eigenmodes are polarized parallel to the plane of the 2D lattice, it supports isolated longitudinal edge modes and transverse modes that are hidden from the projected bulk states. Also, the in plane polarized modes support a second order topological phase under an open boundary condition by breaking the four fold rotational symmetry. This work will offer polarization based multifunctionality in compact photonic systems that have topological features.


Multi Stage Conversational Passage Retrieval An Approach to Fusing Term Importance Estimation and Neural Query Rewriting. Conversational search plays a vital role in conversational information seeking. As queries in information seeking dialogues are ambiguous for traditional ad hoc information retrieval (IR) systems due to the coreference and omission resolution problems inherent in natural language dialogue, resolving these ambiguities is crucial. In this paper, we tackle conversational passage retrieval (ConvPR), an important component of conversational search, by addressing query ambiguities with query reformulation integrated into a multi stage ad hoc IR system. Specifically, we propose two conversational query reformulation (CQR) methods (1) term importance estimation and (2) neural query rewriting. For the former, we expand conversational queries using important terms extracted from the conversational context with frequency based signals. For the latter, we reformulate conversational queries into natural, standalone, human understandable queries with a pretrained sequence tosequence model. Detailed analyses of the two CQR methods are provided quantitatively and qualitatively, explaining their advantages, disadvantages, and distinct behaviors. Moreover, to leverage the strengths of both CQR methods, we propose combining their output with reciprocal rank fusion, yielding state of the art retrieval effectiveness, 30 improvement in terms of NDCG 3 compared to the best submission of TREC CAsT 2019.


Self dual intervals in the Bruhat order. Bj "orner Ekedahl prove that general intervals e,w in Bruhat order are "top heavy", with at least as many elements in the i th corank as the i th rank. Well known results of Carrell and of Lakshmibai Sandhya give the equality case e,w is rank symmetric if and only if the permutation w avoids the patterns 3412 and 4231 and these are exactly those w such that the Schubert variety X w is smooth. In this paper we study the finer structure of rank symmetric intervals e,w , beyond their rank functions. In particular, we show that these intervals are still "top heavy" if one counts cover relations between different ranks. The equality case in this setting occurs when e,w is self dual as a poset we characterize these w by pattern avoidance and in several other ways.


Blind Decision Making Reinforcement Learning with Delayed Observations. Reinforcement learning typically assumes that the state update from the previous actions happens instantaneously, and thus can be used for making future decisions. However, this may not always be true. When the state update is not available, the decision taken is partly in the blind since it cannot rely on the current state information. This paper proposes an approach, where the delay in the knowledge of the state can be used, and the decisions are made based on the available information which may not include the current state information. One approach could be to include the actions after the last known state as a part of the state information, however, that leads to an increased state space making the problem complex and slower in convergence. The proposed algorithm gives an alternate approach where the state space is not enlarged, as compared to the case when there is no delay in the state update. Evaluations on the basic RL environments further illustrate the improved performance of the proposed algorithm.


(h k) Dichotomy and Lyapunov Type Norms. The paper considers a general concept of nonuniform (h k) dichotomy for evolution operators in Banach spaces. Two characterizations of this concept in terms of some families of norms compatible with the dichotomy projectors are given.


An Analysis of Blockchain Adoption in Supply Chains Between 2010 and 2020. In this research, the evolution of Distributed Ledger Technology (DLT) in supply chains has been mapped from the inception of the technology until June 2020, utilising primarily public data sources. Two hundred seventy one blockchain projects operating in the supply chain have been analysed on parameters such as their inception dates, types of blockchain, stages reached, sectors applied to and type of organisation that founded the project. We confirm generally understood trends in the blockchain market with the creation of projects following the general hype and funding levels in the industry. We observe most activity in the Agriculture Grocery sector and the Freight Logistics sector. We see the shift of market interest from primarily private companies (startups) to public companies and consortia and the change in blockchain adoption from Ethereum to Hyperledger. Finally, we observe higher success and lower failure rates for Hyperledger based projects in comparison to Ethereum based projects.


A Unified Analytical Framework for Trustable Machine Learning and Automation Running with Blockchain. Traditional machine learning algorithms use data from databases that are mutable, and therefore the data cannot be fully trusted. Also, the machine learning process is difficult to automate. This paper proposes building a trustable machine learning system by using blockchain technology, which can store data in a permanent and immutable way. In addition, smart contracts are used to automate the machine learning process. This paper makes three contributions. First, it establishes a link between machine learning technology and blockchain technology. Previously, machine learning and blockchain have been considered two independent technologies without an obvious link. Second, it proposes a unified analytical framework for trustable machine learning by using blockchain technology. This unified framework solves both the trustability and automation issues in machine learning. Third, it enables a computer to translate core machine learning implementation from a single thread on a single machine to multiple threads on multiple machines running with blockchain by using a unified approach. The paper uses association rule mining as an example to demonstrate how trustable machine learning can be implemented with blockchain, and it shows how this approach can be used to analyze opioid prescriptions to help combat the opioid crisis.


Visual Appearance Based Person Retrieval in Unconstrained Environment Videos. Visual appearance based person retrieval is a challenging problem in surveillance. It uses attributes like height, cloth color, cloth type and gender to describe a human. Such attributes are known as soft biometrics. This paper proposes person retrieval from surveillance video using height, torso cloth type, torso cloth color and gender. The approach introduces an adaptive torso patch extraction and bounding box regression to improve the retrieval. The algorithm uses fine tuned Mask R CNN and DenseNet 169 for person detection and attribute classification respectively. The performance is analyzed on AVSS 2018 challenge II dataset and it achieves 11.35 improvement over state of the art based on average Intersection over Union measure.


A Corpus free State2Seq User Simulator for Task oriented Dialogue. Recent reinforcement learning algorithms for task oriented dialogue system absorbs a lot of interest. However, an unavoidable obstacle for training such algorithms is that annotated dialogue corpora are often unavailable. One of the popular approaches addressing this is to train a dialogue agent with a user simulator. Traditional user simulators are built upon a set of dialogue rules and therefore lack response diversity. This severely limits the simulated cases for agent training. Later data driven user models work better in diversity but suffer from data scarcity problem. To remedy this, we design a new corpus free framework that taking advantage of their benefits. The framework builds a user simulator by first generating diverse dialogue data from templates and then build a new State2Seq user simulator on the data. To enhance the performance, we propose the State2Seq user simulator model to efficiently leverage dialogue state and history. Experiment results on an open dataset show that our user simulator helps agents achieve an improvement of 6.36 on success rate. State2Seq model outperforms the seq2seq baseline for 1.9 F score.


On Reduced archimedean skew power series rings. In this paper, we prove that if R is an Archimedean reduced ring and satisfy ACC on annihilators, then R x is also an Archimedean reduced ring. More generally we prove that if R is a right Archimedean ring satisfying the emph ACC on annihilators and alpha is a rigid automorphism of R , then the skew power series ring R x alpha is right Archimedean reduced ring. We also provide some examples to justify the assumptions we made to obtain the required result.


A VCG based Fair Incentive Mechanism for Federated Learning. Federated learning (FL) has shown great potential for addressing the challenge of isolated data islands while preserving data privacy. It allows artificial intelligence (AI) models to be trained on locally stored data in a distributed manner. In order to build an ecosystem for FL to operate in a sustainable manner, it has to be economically attractive to data owners. This gives rise to the problem of FL incentive mechanism design, which aims to find the optimal organizational and payment structure for the federation in order to achieve a series of economic objectives. In this paper, we present a VCG based FL incentive mechanism, named FVCG, specifically designed for incentivizing data owners to contribute all their data and truthfully report their costs in FL settings. It maximizes the social surplus and minimizes unfairness of the federation. We provide an implementation of FVCG with neural networks and theoretic proofs on its performance bounds. Extensive numerical experiment results demonstrated the effectiveness and economic reasonableness of FVCG.


Re translation versus Streaming for Simultaneous Translation. There has been great progress in improving streaming machine translation, a simultaneous paradigm where the system appends to a growing hypothesis as more source content becomes available. We study a related problem in which revisions to the hypothesis beyond strictly appending words are permitted. This is suitable for applications such as live captioning an audio feed. In this setting, we compare custom streaming approaches to re translation, a straightforward strategy where each new source token triggers a distinct translation from scratch. We find re translation to be as good or better than state of the art streaming systems, even when operating under constraints that allow very few revisions. We attribute much of this success to a previously proposed data augmentation technique that adds prefix pairs to the training data, which alongside wait k inference forms a strong baseline for streaming translation. We also highlight re translation's ability to wrap arbitrarily powerful MT systems with an experiment showing large improvements from an upgrade to its base model.


A spectral decomposition of the attractor of piecewise contracting maps of the interval. We study the asymptotic dynamics of piecewise contracting maps defined on a compact interval. For maps that are not necessarily injective, but have a finite number of local extrema and discontinuity points, we prove the existence of a decomposition of the support of the asymptotic dynamics into a finite number of minimal components. Each component is either a periodic orbit or a minimal Cantor set and such that the omega limit set of (almost) every point in the interval is exactly one of these components. Moreover, we show that each component is the omega limit set, or the closure of the orbit, of a one sided limit of the map at a discontinuity point or at a local extremum.


Annotated skeleton Biased Motion Planning for Faster Relevant Region Discovery. Motion planning algorithms often leverage topological information about the environment to improve planner performance. However, these methods often focus only on the environment's connectivity while ignoring other properties such as obstacle clearance, terrain conditions, and resource accessibility. We present a method that augments a skeleton representing the workspace topology with such information to guide a sampling based motion planner to rapidly discover regions most relevant to the problem at hand. Our approach decouples guidance and planning, making it possible for basic planning algorithms to find desired paths earlier in the planning process. We demonstrate the efficacy of our approach in both robotics problems and applications in drug design. Our method is able to produce desirable paths quickly with no change to the underlying planner.


Generalized bathtub model of network trip flows. In this study, we present a unified framework for modeling network trip flows with general distributions of trip distances, including negative exponential, constant, and regularly sorting trip distances studied in the literature. In addition to tracking the number of active trips as in Vickrey's model, this model also tracks the evolution of the distribution of active trips' remaining distances. We derive four equivalent differential formulations from the network fundamental diagram and the conservation law of trips for the number of active trips with remaining distances not smaller than any value. Then we define and discuss the properties of stationary and gridlock states, derive the integral form of the bathtub model with the characteristic method, obtain equivalent formulations by replacing the time coordinate with the cumulative travel distance, and present two numerical methods to solve the bathtub model based on the differential and integral forms respectively. We further study equivalent formulations and solutions for two special types of distributions of trip distances time independent negative exponential or deterministic. In particular, we present six equivalent conditions for Vickrey's bathtub model to be applicable. Finally we demonstrate that the fundamental diagram and the bathtub model can be extended for multi commodity trip flows with trips served by mobility service vehicles.


Extremal problems for hypergraph blowups of trees. In this paper we present a novel approach in extremal set theory which may be viewed as an asymmetric version of Katona's permutation method. We use it to find more Tur 'an numbers of hypergraphs in the Erd H o s Ko Rado range. An (a,b) path P of length 2k 1 consists of 2k 1 sets of size r a b as follows. Take k pairwise disjoint a element sets A 0, A 2, dots, A 2k 2 and other k pairwise disjoint b element sets B 1, B 3, dots, B 2k 1 and order them linearly as A 0, B 1, A 2, B 3, A 4 dots . Define the (hyper)edges of P 2k 1 (a,b) as the sets of the form A i cup B i 1 and B j cup A j 1 . The members of P can be represented as r element intervals of the ak bk element underlying set. Our main result is about hypergraphs that are blowups of trees, and implies that for fixed k,a,b , as n to infty rm ex r(n,P 2k 1 (a,b)) (k 1) n choose r 1 o(n r 1 ). This generalizes the Erd H o s Gallai theorem for graphs which is the case of a b 1 . We also determine the asymptotics when a b is even the remaining cases are still open.


Polystability and the Hitchin Kobayashi correspondence. Using a quasi linear version of Hodge theory, holomorphic vector bundles in a neighbourhood of a given polystable bundle on a compact Kaehler manifold are shown to be (poly)stable if and only if their corresponding classes are (poly)stable in the sense of geometric invariant theory with respect to the linear action of the automorphism group of the bundle on its space of infinitesimal deformations.


The Blind Implosion Maker Automated Inertial Confinement Fusion experiment design. The design of inertial confinement fusion experiments, alongside improving the development of energy density physics theory and experimental methods, is one of the key challenges in the quest for nuclear fusion as a viable energy source. Recent challenges in achieving a high yield implosion at the National Ignition Facility (NIF) have led to new interest in considering a much wider design parameter space than normally studied. Here we report an algorithmic approach that can produce reasonable ICF designs with minimal assumptions. In particular we use the genetic algorithm metaheuristic, in which populations' of implosions are simulated, the design of capsule is described by a genome', natural selection removes poor designs, high quality designs are mated' with each other based on their yield, and designs undergo mutations' to introduce new ideas. We show that it takes 5x10 4 simulations for the algorithm to find an original NIF design. We also link this method to other parts of the design process and look towards a completely automated ICF experiment design process changing ICF from an experiment design problem to an algorithm design problem.


Real time Artificial Intelligence for Accelerator Control A Study at the Fermilab Booster. We describe a method for precisely regulating the gradient magnet power supply at the Fermilab Booster accelerator complex using a neural network trained via reinforcement learning. We demonstrate preliminary results by training a surrogate machine learning model on real accelerator data to emulate the Booster environment, and using this surrogate model in turn to train the neural network for its regulation task. We additionally show how the neural networks to be deployed for control purposes may be compiled to execute on field programmable gate arrays. This capability is important for operational stability in complicated environments such as an accelerator facility.


PF cpGAN Profile to Frontal Coupled GAN for Face Recognition in the Wild. In recent years, due to the emergence of deep learning, face recognition has achieved exceptional success. However, many of these deep face recognition models perform relatively poorly in handling profile faces compared to frontal faces. The major reason for this poor performance is that it is inherently difficult to learn large pose invariant deep representations that are useful for profile face recognition. In this paper, we hypothesize that the profile face domain possesses a gradual connection with the frontal face domain in the deep feature space. We look to exploit this connection by projecting the profile faces and frontal faces into a common latent space and perform verification or retrieval in the latent domain. We leverage a coupled generative adversarial network (cpGAN) structure to find the hidden relationship between the profile and frontal images in a latent common embedding subspace. Specifically, the cpGAN framework consists of two GAN based sub networks, one dedicated to the frontal domain and the other dedicated to the profile domain. Each sub network tends to find a projection that maximizes the pair wise correlation between two feature domains in a common embedding feature subspace. The efficacy of our approach compared with the state of the art is demonstrated using the CFP, CMU MultiPIE, IJB A, and IJB C datasets.


On the behavior of modules of m integrable derivations in the sense of Hasse Schmidt under base change. We study the behavior of modules of m integrable derivations of a commutative finitely generated algebra in the sense of Hasse Schmidt under base change. We focus on the case of separable ring extensions over a field of positive characteristic and on the case where the extension is a polynomial ring in an arbitrary number of variables.


Revisiting the duality of computation an algebraic analysis of classical realizability models. In an impressive series of papers, Krivine showed at the edge of the last decade how classical realizability provides a surprising technique to build models for classical theories. In particular, he proved that classical realizability subsumes Cohen's forcing, and even more, gives rise to unexpected models of set theories. Pursuing the algebraic analysis of these models that was first undertaken by Streicher, Miquel recently proposed to lay the algebraic foundation of classical realizability and forcing within new structures which he called implicative algebras. These structures are a generalization of Boolean algebras based on an internal law representing the implication. Notably, implicative algebras allow for the adequate interpretation of both programs (i.e. proofs) and their types (i.e. formulas) in the same structure. The very definition of implicative algebras takes position on a presentation of logic through universal quantification and the implication and, computationally, relies on the call by name lambda calculus. In this paper, we investigate the relevance of this choice, by introducing two similar structures. On the one hand, we define disjunctive algebras, which rely on internal laws for the negation and the disjunction and which we show to be particular cases of implicative algebras. On the other hand, we introduce conjunctive algebras, which rather put the focus on conjunctions and on the call by value evaluation strategy. We finally show how disjunctive and conjunctive algebras algebraically reflect the well known duality of computation between call by name and call by value.


Toric Hall algebras and infinite dimensional Lie algebras. We associate to a projective n dimensional toric variety X Delta a pair of co commutative (but generally non commutative) Hopf algebras H alpha X, H T X . These arise as Hall algebras of certain categories Coh alpha (X), emph Coh T(X) of coherent sheaves on X Delta viewed as a monoid scheme i.e. a scheme obtained by gluing together spectra of commutative monoids rather than rings. When X is smooth, the category emph Coh T(X) has an explicit combinatorial description as sheaves whose restriction to each mathbb A n corresponding to a maximal cone is determined by an n dimensional generalized skew shape. The (non additive) categories emph Coh alpha (X), emph Coh T(X) are treated via the formalism of proto exact proto abelian categories developed by Dyckerhoff Kapranov. The Hall algebras H alpha X, H T X are graded and connected, and so enveloping algebras H alpha X simeq U( mathfrak n alpha X) , H T X simeq U( mathfrak n T X) , where the Lie algebras mathfrak n alpha X, mathfrak n T X are spanned by the indecomposable coherent sheaves in their respective categories. We explicitly work out several examples, and in some cases are able to relate mathfrak n T X to known Lie algebras. In particular, when X mathbb P 1 , mathfrak n T X is isomorphic to a non standard Borel in mathfrak gl 2 t,t 1 . When X is the second infinitesimal neighborhood of the origin inside mathbb A 2 , mathfrak n T X is isomorphic to a subalgebra of mathfrak gl 2 t . We also consider the case X mathbb P 2 , where we give a basis for mathfrak n T X by describing all indecomposable sheaves in emph Coh T(X) .


A Hypergraph Based Approach for the 4 Constraint Satisfaction Problem Tractability. Constraint Satisfaction Problem (CSP) is a framework for modeling and solving a variety of real world problems. Once the problem is expressed as a finite set of constraints, the goal is to find the variables' values satisfying them. Even though the problem is in general NP complete, there are some approximation and practical techniques to tackle its intractability. One of the most widely used techniques is the Constraint Propagation. It consists in explicitly excluding values or combination of values for some variables whenever they make a given subset of constraints unsatisfied. In this paper, we deal with a CSP subclass which we call 4 CSP and whose constraint network infers relations of the form x sim alpha, x y sim beta , (x y) (z t) sim lambda , where x, y, z and t are real variables, alpha , beta and lambda are real constants and sim in leq , geq . The paper provides the first graph based proofs of the 4 CSP tractability and elaborates algorithms for 4 CSP resolution based on the positive linear dependence theory, the hypergraph closure and the constraint propagation technique. Time and space complexities of the resolution algorithms are proved to be polynomial.


On rational functions sharing the measure of maximal entropy. We show that describing rational functions f 1, f 2, dots,f n sharing the measure of maximal entropy reduces to describing solutions of the functional equation A circ X 1 A circ X 2 dots A circ X n in rational functions. We also provide some results about solutions of this equation.


SCNet A Neural Network for Automated Side Channel Attack. The side channel attack is an attack method based on the information gained about implementations of computer systems, rather than weaknesses in algorithms. Information about system characteristics such as power consumption, electromagnetic leaks and sound can be exploited by the side channel attack to compromise the system. Much research effort has been directed towards this field. However, such an attack still requires strong skills, thus can only be performed effectively by experts. Here, we propose SCNet, which automatically performs side channel attacks. And we also design this network combining with side channel domain knowledge and different deep learning model to improve the performance and better to explain the result. The results show that our model achieves good performance with fewer parameters. The proposed model is a useful tool for automatically testing the robustness of computer systems.


Super resolution energy spectra from neutron direct geometry spectrometers. Neutron direct geometry time of flight chopper spectroscopy is instrumental in studying fundamental excitations of vibrational and or magnetic origin. We report here that techniques in super resolution optical imagery (which is in real space) can be adapted to enhance resolution and reduce noise for a neutron spectroscopy (an instrument for mapping excitations in reciprocal space). The procedure to reconstruct super resolution energy spectra of phonon density of states relies on a realization of multi frame registration, accurate determination of the energy dependent point spread function, asymmetric nature of instrument resolution broadening, and iterative reconstructions. Applying these methods to phonon density of states data for a graphite sample demonstrates contrast enhancement, noise reduction, and 5 fold improvement over nominal energy resolution. The data were collected at three different incident energies measured at the Wide Angular Range Chopper Spectrometer at the Spallation Neutron Source.


Efficient and Robust Reinforcement Learning with Uncertainty based Value Expansion. By integrating dynamics models into model free reinforcement learning (RL) methods, model based value expansion (MVE) algorithms have shown a significant advantage in sample efficiency as well as value estimation. However, these methods suffer from higher function approximation errors than model free methods in stochastic environments due to a lack of modeling the environmental randomness. As a result, their performance lags behind the best model free algorithms in some challenging scenarios. In this paper, we propose a novel Hybrid RL method that builds on MVE, namely the Risk Averse Value Expansion (RAVE). With imaginative rollouts generated by an ensemble of probabilistic dynamics models, we further introduce the aversion of risks by seeking the lower confidence bound of the estimation. Experiments on a range of challenging environments show that by modeling the uncertainty completely, RAVE substantially enhances the robustness of previous model based methods, and yields state of the art performance. With this technique, our solution gets the first place in NeurIPS 2019 Learn to Move.


On uniqueness of transfer rates in magnetohydrodynamic turbulence. In hydrodynamic and magnetohydrodynamic turbulence, expressions for the transfer rates rely on integrals over wavenumber triads ( textbf k,p,q ) satisfying textbf k p q 0 . As an example S E uu ( textbf k p,q ) denotes the kinetic energy transfer rate to the mode textbf k , from the two other modes in the triad, textbf p and textbf q . As noted by Kraichnan (1958), in S E uu ( textbf k p,q ) , what fraction of the energy transferred to the mode textbf k originated from textbf p and which from textbf q is unknown . Such an expression is thus incongruent with the customary description of turbulence in terms of two scale energy exchange. Notwithstanding this issue, Dar etal. (2001) further decomposed these transfers into separate contributions from textbf p to textbf k and textbf q to textbf k , thus introducing the concept of mode to mode transfers that they applied to MHD turbulence. Doing so, they had to set aside additional transfers circulating within each triad, but failed to calculate them. In the present paper we explain how to derive the complete expressions of the mode to mode transfers, including the circulating transfers. We do it for kinetic energy and kinetic helicity in hydrodynamic turbulence, for kinetic energy, magnetic energy and magnetic helicity in MHD turbulence. Separating the contribution of magnetic advection from magnetic stretching, the energy mode to mode transfer rates involving the magnetic field become uniquely defined, in striking contrast to the hydrodynamic case. The magnetic helicity mode to mode transfer rate is also found to be uniquely defined, contrary to kinetic helicity in hydrodynamics. We find that shell to shell transfer rates have the same properties as mode to mode transfer rates. Finally calculating the fluxes, we show how the circulating transfers cancel in accordance with conservation laws.


Propagation of curved folding The folded annulus with multiple creases exists. In this paper we consider developable surfaces which are isometric to planar domains and which are piecewise differentiable, exhibiting folds along curves. The paper revolves around the longstanding problem of existence of the so called folded annulus with multiple creases, which we partially settle by building upon a deeper understanding of how a curved fold propagates to additional prescribed foldlines. After recalling some crucial properties of developables, we describe the local behaviour of curved folding employing normal curvature and relative torsion as parameters and then compute the very general relation between such geometric descriptors at consecutive folds, obtaining novel formulae enjoying a nice degree of symmetry. We make use of these formulae to prove that any proper fold can be propagated to an arbitrary finite number of rescaled copies of the first foldline and to give reasons why problems involving infinitely many foldlines are harder to solve.


Designing Interaction for Multi agent Cooperative System in an Office Environment. Future intelligent system will involve very various types of artificial agents, such as mobile robots, smart home infrastructure or personal devices, which share data and collaborate with each other to execute certain tasks.Designing an efficient human machine interface, which can support users to express needs to the system, supervise the collaboration progress of different entities and evaluate the result, will be challengeable. This paper presents the design and implementation of the human machine interface of Intelligent Cyber Physical system (ICPS),which is a multi entity coordination system of robots and other smart devices in a working environment. ICPS gathers sensory data from entities and then receives users' command, then optimizes plans to utilize the capability of different entities to serve people. Using multi model interaction methods, e.g. graphical interfaces, speech interaction, gestures and facial expressions, ICPS is able to receive inputs from users through different entities, keep users aware of the progress and accomplish the task efficiently


Convergence of stochastic nonlinear systems and implications for Stochastic Model Predictive Control. The stability of stochastic Model Predictive Control (MPC) subject to additive disturbances is often demonstrated in the literature by constructing Lyapunov like inequalities that ensure closed loop performance bounds and boundedness of the state, but tight ultimate bounds for the state and non conservative performance bounds are typically not determined. In this work we use an input to state stability property to find conditions that imply convergence with probability 1 of a disturbed nonlinear system to a minimal robust positively invariant set. We discuss implications for the convergence of the state and control laws of stochastic MPC formulations, and we prove convergence results for several existing stochastic MPC formulations for linear and nonlinear systems.


Topologically Driven Methods for Construction Of Multi Edge Type (Multigraph with nodes puncturing) Quasi Cyclic Low density Parity check Codes for Wireless Channel, WDM Long Haul and Archival Holographic Memory. In this Phd thesis discusses modern methods for constructing MET QC LDPC codes with a given error correction ("waterfall, error floor") and complexity (parallelism level according circulant size plus scheduler orthogonality of checks) profiles 1. weight enumerators optimization, protograph construction using Density Evolution, MI (P Exit chart) and it approximation Gaussian Approximation, Reciprocal channel approximation and etc 2. Covariance evolution and it approximation 3. Lifting methods for QC codes construction PEG, Guest and Test, Hill Climbing with girth, EMD, ACE optimization 4. Upper and lower bounds on code distance estimation and its parallel implementation using CPU GPU 5. Brouwer Zimmerman and Number Geometry code distance estimation methods 6. Importance Sampling for error floor estimation 7. Length and rate adaption methods for QC codes based on cyclic group decomposition 8. Methods for interaction screening which allow to improve performance (decorrelate variables) under BP and it's approximation. We proposed several state of the art methods Simulated Annealing lifting for MET QC LDPC codes construction fast EMD and code distance estimation floor scale modular lifting for lenght adaption fast finite length covariance evolution rate penalty from threshold for code construction and it hardware friendly compression for fast decoder's LLRs unbiasing due SNR's estimation error. We found topology reason's of efficient of such methods using topology thickening (homotopy of continuous and discrete curvature) under matched metric space which allow to generalize this idea to a class of nonlinear codes for Signal Processing and Machine Learning. Using the proposed algorithms several generations of WDM Long Haul error correction codes were built. It was applied for "5G eMBB" 3GPP TS38.212 and other applications like Flash storage, Compressed sensing measurement matrix.


Towards Learning of Filter Level Heterogeneous Compression of Convolutional Neural Networks. Recently, deep learning has become a de facto standard in machine learning with convolutional neural networks (CNNs) demonstrating spectacular success on a wide variety of tasks. However, CNNs are typically very demanding computationally at inference time. One of the ways to alleviate this burden on certain hardware platforms is quantization relying on the use of low precision arithmetic representation for the weights and the activations. Another popular method is the pruning of the number of filters in each layer. While mainstream deep learning methods train the neural networks weights while keeping the network architecture fixed, the emerging neural architecture search (NAS) techniques make the latter also amenable to training. In this paper, we formulate optimal arithmetic bit length allocation and neural network pruning as a NAS problem, searching for the configurations satisfying a computational complexity budget while maximizing the accuracy. We use a differentiable search method based on the continuous relaxation of the search space proposed by Liu et al. (arXiv 1806.09055). We show, by grid search, that heterogeneous quantized networks suffer from a high variance which renders the benefit of the search questionable. For pruning, improvement over homogeneous cases is possible, but it is still challenging to find those configurations with the proposed method. The code is publicly available at https github.com yochaiz Slimmable and https github.com yochaiz darts UNIQ


Resilience of three dimensional sinusoidal networks in liver tissue. Can three dimensional, microvasculature networks still ensure blood supply if individual links fail? We address this question in the sinusoidal network, a plexus like microvasculature network, which transports nutrient rich blood to every hepatocyte in liver tissue, by building on recent advances in high resolution imaging and digital reconstruction of adult mice liver tissue. We find that the topology of the three dimensional sinusoidal network reflects its two design requirements of a space filling network that connects all hepatocytes, while using shortest transport routes sinusoidal networks are sub graphs of the Delaunay graph of their set of branching points, and also contain the corresponding minimum spanning tree, both to good approximation. To overcome the spatial limitations of experimental samples and generate arbitrarily sized networks, we developed a network generation algorithm that reproduces the statistical features of 0.3 mm sized samples of sinusoidal networks, using multi objective optimization for node degree and edge length distribution. Nematic order in these simulated networks implies anisotropic transport properties, characterized by an empirical linear relation between a nematic order parameter and the anisotropy of the permeability tensor. Under the assumption that all sinusoid tubes have a constant and equal flow resistance, we predict that the distribution of currents in the network is very inhomogeneous, with a small number of edges carrying a substantial part of the flow. We quantify network resilience in terms of a permeability at risk, i.e. permeability as function of the fraction of removed edges. We find that sinusoidal networks are resilient to random removal of edges, but vulnerable to the removal of high current edges. Our findings suggest the existence of a mechanism counteracting flow inhomogeneity to balance metabolic load on the liver.


Effect of multielectron polarization in strong field ionization of the oriented CO molecule. We discuss the mechanism by which the inclusion of multielectron polarization improves the solution of the time dependent Schr " o dinger equation (TDSE) for the oriented CO molecule in a strong external laser pulse within the single active electron (SAE) approximation. A challenging problem of using the SAE approximation is that the active electron, instead of undergoing ionization, may be driven by the external field to lower lying orbitals. For the oriented CO molecule, dipole coupling to the lower lying bound states of the potential depends on the orientation angle, thereby affecting the orientation dependent ionization dynamics. By including multielectron polarization, the external field is turned off within the molecular radius, thereby minimizing dipole coupling of the highest occupied molecular orbital to the lower lying states of the potential. We discuss how turning off the external field within an appropriate molecular radius without accounting for the induced dipole term in the effective potential beyond this radial cut off distance, constitutes an effective and accurate approach to describe strong field ionization of CO and to minimize dipole coupling to lower lying bound states.


Not so presto? Outcomes of sluggish prestin in outer hair cells. Prestin (SLC26A5), a protein essential for the sensitivity of the mammalian ear, was so named from emph presto . The assumption was that this membrane protein supports fast movement of outer hair cells (OHCs) that matches the mammalian hearing range, up to 20 kHz in general and beyond, depending on the species. emph In vitro data from isolated OHCs appeared to be consistent with such frequencies. However, some recent reports cast doubts on this assumption, suggesting that the intrinsic transition rates of this protein are much lower, about 3 kHz for guinea pigs, not covering the auditory frequency range of the animal. Recent emph in vivo data also show that the amplitude of OHC motion rolls off well below the best frequency of the location. The present report examines whether or not these resent observations are compatible with the physiological function of OHCs by using simple piezoelectric models.


Egocentric Human Segmentation for Mixed Reality. The objective of this work is to segment human body parts from egocentric video using semantic segmentation networks. Our contribution is two fold i) we create a semi synthetic dataset composed of more than 15, 000 realistic images and associated pixel wise labels of egocentric human body parts, such as arms or legs including different demographic factors ii) building upon the ThunderNet architecture, we implement a deep learning semantic segmentation algorithm that is able to perform beyond real time requirements (16 ms for 720 x 720 images). It is believed that this method will enhance sense of presence of Virtual Environments and will constitute a more realistic solution to the standard virtual avatars.


TCIM Triangle Counting Acceleration With Processing In MRAM Architecture. Triangle counting (TC) is a fundamental problem in graph analysis and has found numerous applications, which motivates many TC acceleration solutions in the traditional computing platforms like GPU and FPGA. However, these approaches suffer from the bandwidth bottleneck because TC calculation involves a large amount of data transfers. In this paper, we propose to overcome this challenge by designing a TC accelerator utilizing the emerging processing in MRAM (PIM) architecture. The true innovation behind our approach is a novel method to perform TC with bitwise logic operations (such as texttt AND ), instead of the traditional approaches such as matrix computations. This enables the efficient in memory implementations of TC computation, which we demonstrate in this paper with computational Spin Transfer Torque Magnetic RAM (STT MRAM) arrays. Furthermore, we develop customized graph slicing and mapping techniques to speed up the computation and reduce the energy consumption. We use a device to architecture co simulation framework to validate our proposed TC accelerator. The results show that our data mapping strategy could reduce 99.99 of the computation and 72 of the memory texttt WRITE operations. Compared with the existing GPU or FPGA accelerators, our in memory accelerator achieves speedups of 9 times and 23.4 times , respectively, and a 20.6 times energy efficiency improvement over the FPGA accelerator.


Sheaves via augmentations of Legendrian surfaces. Given an augmentation for a Legendrian surface in a 1 jet space, Lambda subset J 1(M) , we explicitly construct an object, mathcal F in Sh Lambda , of the (derived) category from arXiv 1402.0490 of constructible sheaves on M times R with singular support determined by Lambda . In the construction, we introduce a simplicial Legendrian DGA (differential graded algebra) for Legendrian submanifolds in 1 jet spaces that, based on arXiv 1608.02984 and arXiv 1608.03011, is equivalent to the Legendrian contact homology DGA in the case of Legendrian surfaces. In addition, we extend the approach of arXiv 1402.0490 for 1 dimensional Legendrian knots to obtain a combinatorial model for sheaves in Sh Lambda in the 2 dimensional case.


Online Exploration and Coverage Planning in Unknown Obstacle Cluttered Environments. Online coverage planning can be useful in applications like field monitoring and search and rescue. Without prior information of the environment, achieving resolution complete coverage considering the non holonomic mobility constraints in commonly used vehicles (e.g., wheeled robots) remains a challenge. In this paper, we propose a hierarchical, hex decomposition based coverage planning algorithm for unknown, obstacle cluttered environments. The proposed approach ensures resolution complete coverage, can be tuned to achieve fast exploration, and plans smooth paths for Dubins vehicles to follow at constant velocity in real time. Gazebo simulations and hardware experiments with a non holonomic wheeled robot show that our approach can successfully tradeoff between coverage and exploration speed and can outperform existing online coverage algorithms in terms of total covered area or exploration speed according to how it is tuned.


EmotionNet Nano An Efficient Deep Convolutional Neural Network Design for Real time Facial Expression Recognition. While recent advances in deep learning have led to significant improvements in facial expression classification (FEC), a major challenge that remains a bottleneck for the widespread deployment of such systems is their high architectural and computational complexities. This is especially challenging given the operational requirements of various FEC applications, such as safety, marketing, learning, and assistive living, where real time requirements on low cost embedded devices is desired. Motivated by this need for a compact, low latency, yet accurate system capable of performing FEC in real time on low cost embedded devices, this study proposes EmotionNet Nano, an efficient deep convolutional neural network created through a human machine collaborative design strategy, where human experience is combined with machine meticulousness and speed in order to craft a deep neural network design catered towards real time embedded usage. Two different variants of EmotionNet Nano are presented, each with a different trade off between architectural and computational complexity and accuracy. Experimental results using the CK facial expression benchmark dataset demonstrate that the proposed EmotionNet Nano networks demonstrated accuracies comparable to state of the art in FEC networks, while requiring significantly fewer parameters (e.g., 23 times fewer at a higher accuracy). Furthermore, we demonstrate that the proposed EmotionNet Nano networks achieved real time inference speeds (e.g. 25 FPS and 70 FPS at 15W and 30W, respectively) and high energy efficiency (e.g. 1.7 images sec watt at 15W) on an ARM embedded processor, thus further illustrating the efficacy of EmotionNet Nano for deployment on embedded devices.


Constrained Orthogonal Segment Stabbing. Let S and D each be a set of orthogonal line segments in the plane. A line segment s in S emph stabs a line segment s' in D if s cap s' neq emptyset . It is known that the problem of stabbing the line segments in D with the minimum number of line segments of S is NP hard. However, no better than O( log S cup D ) approximation is known for the problem. In this paper, we introduce a constrained version of this problem in which every horizontal line segment of S cup D intersects a common vertical line. We study several versions of the problem, depending on which line segments are used for stabbing and which line segments must be stabbed. We obtain several NP hardness and constant approximation results for these versions. Our finding implies, the problem remains NP hard even under the extra assumption on input, but small constant approximation algorithms can be designed.


Numerical Method for a Class of Algebraic Riccati Equations. We study an iteration approach to solve the coupled algebraic Riccati equations when they appear in general two player closed loop type Nash differential games over an infinite time horizon. Also, we propose an effective algorithm for finding positive definite solutions. In particular, we present various numerical examples connected with matrix Riccati equations according to different dimensions.


SAR NAS Skeleton based Action Recognition via Neural Architecture Searching. This paper presents a study of automatic design of neural network architectures for skeleton based action recognition. Specifically, we encode a skeleton based action instance into a tensor and carefully define a set of operations to build two types of network cells normal cells and reduction cells. The recently developed DARTS (Differentiable Architecture Search) is adopted to search for an effective network architecture that is built upon the two types of cells. All operations are 2D based in order to reduce the overall computation and search space. Experiments on the challenging NTU RGB D and Kinectics datasets have verified that most of the networks developed to date for skeleton based action recognition are likely not compact and efficient. The proposed method provides an approach to search for such a compact network that is able to achieve comparative or even better performance than the state of the art methods.


Revisiting Locality in Binary Integer Representations. Mutation and recombination operators play a key role in determining the speed and quality of Genetic and Evolutionary Algorithms (GEAs). Prior work has analyzed the effects of these operators on genotypic variation, often using locality metrics that measure the sensitivity and stability of genotype phenotype representations to these operators. In this paper, we focus on an important subset of representations, namely nonredundant bitstring to integer representations, and analyze them through the lens of Rothlauf's widely used locality metrics. We first define locality metrics equivalent to Rothlauf's that are tailored to our domain the textit point locality for single bit mutation and textit general locality for recombination. With these definitions, we derive tight bounds and a closed form expected value for point locality. For general locality we show that it is asymptotically equivalent across all representations and operators. We also recreate three established GEA experiments to understand the predictive power of point locality on GEA performance, focusing on two popular and often juxtaposed representations standard binary and binary reflected Gray. We show that standard binary has provably no worse locality than any Gray encoding, including binary reflected Gray. We discuss this result in the context of previous studies that found binary reflected Gray to outperform standard binary, and we argue that locality cannot be the explanation for strong performance. Finally, we provide empirical evidence that weak point locality representations can be beneficial to performance in the exploration phase of the GEA, while strong point locality representations are more beneficial in the exploitation phase.


On the Eisenstein functoriality in cohomology for maximal parabolic subgroups. In his paper, 'On torsion in the cohomology of locally symmetric varieties', Peter Scholze has introduced a new, purely topological method to construct the cohomology classes on arithmetic quotients of symmetric spaces of rational reductive groups originating from the cohomology of the similar quotients of Levi subgroups of maximal parabolic subgroups. We extend this construction beyond the cases he considers, and, in the complex case, to the cohomology of local systems.


Effective Approximation for a Nonlocal Stochastic Schr " o dinger Equation with Oscillating Potential. We study the effective approximation for a nonlocal stochastic Schrodinger equation with a rapidly oscillating, periodically time dependent potential. We use the natural diffusive scaling of heterogeneous system and study the limit behaviour as the scaling parameter tends to 0. This is motivated by data assimilations with non Gaussian uncertainties. The nonlocal operator in this stochastic partial differential equation is the generator of a non Gaussian Levy type process (i.e., a class of anomalous diffusion processes), with non integrable jump kernel. With help of a two scale convergence technique, we establish effective approximation for this nonlocal stochastic partial differential equation. More precisely, we show that a nonlocal stochastic Schrodinger equation has a nonlocal effective equation. We show that it approximates the orginal stochastic Schr " o dinger equation weakly in a Sobolev type space and strongly in L 2 space. In particular, this effective approximattion holds when the nonlocal operator is the fractional Laplacian.


The saturation number of powers of graded ideals. Let S K x 1, ldots,x n be the polynomial ring in n variables over a field K with maximal ideal frak m (x 1,...,x n) , and let I be a graded ideal of S . In this paper, we define the saturation number sat(I) of I to be the smallest non negative integer k such that I mm k 1 I mm k . We show that f(k) is linearly bounded, and that f(k) is a quasi linear function for k gg 0 , if I is a monomial ideal. Furthermore, we show that sat(I k) k if I is a principal Borel ideal and prove that sat(I d,n k) max l (kd l) (k l) leq n , where I d,n is the squarefree Veronese ideal generated in degree d . end abstract


PDH Probabilistic deep hashing based on MAP estimation of Hamming distance. With the growth of image on the web, research on hashing which enables high speed image retrieval has been actively studied. In recent years, various hashing methods based on deep neural networks have been proposed and achieved higher precision than the other hashing methods. In these methods, multiple losses for hash codes and the parameters of neural networks are defined. They generate hash codes that minimize the weighted sum of the losses. Therefore, an expert has to tune the weights for the losses heuristically, and the probabilistic optimality of the loss function cannot be explained. In order to generate explainable hash codes without weight tuning, we theoretically derive a single loss function with no hyperparameters for the hash code from the probability distribution of the images. By generating hash codes that minimize this loss function, highly accurate image retrieval with probabilistic optimality is performed. We evaluate the performance of hashing using MNIST, CIFAR 10, SVHN and show that the proposed method outperforms the state of the art hashing methods.


Social Relation Recognition in Egocentric Photostreams. This paper proposes an approach to automatically categorize the social interactions of a user wearing a photo camera 2fpm, by relying solely on what the camera is seeing. The problem is challenging due to the overwhelming complexity of social life and the extreme intra class variability of social interactions captured under unconstrained conditions. We adopt the formalization proposed in Bugental's social theory, that groups human relations into five social domains with related categories. Our method is a new deep learning architecture that exploits the hierarchical structure of the label space and relies on a set of social attributes estimated at frame level to provide a semantic representation of social interactions. Experimental results on the new EgoSocialRelation dataset demonstrate the effectiveness of our proposal.


UV mission planning under uncertainty in vehicles' availability. Heterogeneous unmanned vehicles (UVs) are used in various defense and civil applications. Some of the civil applications of UVs for gathering data and monitoring include civil infrastructure management, agriculture, public safety, law enforcement, disaster relief, and transportation. This paper presents a two stage stochastic model for a fuel constrained UV mission planning problem with multiple refueling stations under uncertainty in availability of UVs. Given a set of points of interests (POI), a set of refueling stations for UVs, and a base station where the UVs are stationed and their availability is random, the objective is to determine route for each UV starting and terminating at the base station such that overall incentives collected by visiting POIs is maximized. We present an outer approximation based decomposition algorithm to solve large instances, and perform extensive computational experiments using random instances. Additionally, a data driven simulation study is performed using robot operating system (ROS) framework to corroborate the use of the stochastic programming approach.


Event Prediction in the Big Data Era A Systematic Survey. Events are occurrences in specific locations, time, and semantics that nontrivially impact either our society or the nature, such as civil unrest, system failures, and epidemics. It is highly desirable to be able to anticipate the occurrence of such events in advance in order to reduce the potential social upheaval and damage caused. Event prediction, which has traditionally been prohibitively challenging, is now becoming a viable option in the big data era and is thus experiencing rapid growth. There is a large amount of existing work that focuses on addressing the challenges involved, including heterogeneous multi faceted outputs, complex dependencies, and streaming data feeds. Most existing event prediction methods were initially designed to deal with specific application domains, though the techniques and evaluation procedures utilized are usually generalizable across different domains. However, it is imperative yet difficult to cross reference the techniques across different domains, given the absence of a comprehensive literature survey for event prediction. This paper aims to provide a systematic and comprehensive survey of the technologies, applications, and evaluations of event prediction in the big data era. First, systematic categorization and summary of existing techniques are presented, which facilitate domain experts' searches for suitable techniques and help model developers consolidate their research at the frontiers. Then, comprehensive categorization and summary of major application domains are provided. Evaluation metrics and procedures are summarized and standardized to unify the understanding of model performance among stakeholders, model developers, and domain experts in various application domains. Finally, open problems and future directions for this promising and important domain are elucidated and discussed.


On a conjecture about univalent polynomials. In this paper we prove a recent conjecture formulated by Dmitrishin, Smorodin and Stokolos about that certain polynomials are univalent in the unit disk. As a consequence we get an upper estimate for the Koebe radius of univalent polynomials.


MPNet Masked and Permuted Pre training for Language Understanding. BERT adopts masked language modeling (MLM) for pre training and is one of the most successful pre training models. Since BERT neglects dependency among predicted tokens, XLNet introduces permuted language modeling (PLM) for pre training to address this problem. However, XLNet does not leverage the full position information of a sentence and thus suffers from position discrepancy between pre training and fine tuning. In this paper, we propose MPNet, a novel pre training method that inherits the advantages of BERT and XLNet and avoids their limitations. MPNet leverages the dependency among predicted tokens through permuted language modeling (vs. MLM in BERT), and takes auxiliary position information as input to make the model see a full sentence and thus reducing the position discrepancy (vs. PLM in XLNet). We pre train MPNet on a large scale dataset (over 160GB text corpora) and fine tune on a variety of down streaming tasks (GLUE, SQuAD, etc). Experimental results show that MPNet outperforms MLM and PLM by a large margin, and achieves better results on these tasks compared with previous state of the art pre trained methods (e.g., BERT, XLNet, RoBERTa) under the same model setting. The code and the pre trained models are available at https github.com microsoft MPNet.


Category Level 3D Non Rigid Registration from Single View RGB Images. In this paper, we propose a novel approach to solve the 3D non rigid registration problem from RGB images using Convolutional Neural Networks (CNNs). Our objective is to find a deformation field (typically used for transferring knowledge between instances, e.g., grasping skills) that warps a given 3D canonical model into a novel instance observed by a single view RGB image. This is done by training a CNN that infers a deformation field for the visible parts of the canonical model and by employing a learned shape (latent) space for inferring the deformations of the occluded parts. As result of the registration, the observed model is reconstructed. Because our method does not need depth information, it can register objects that are typically hard to perceive with RGB D sensors, e.g. with transparent or shiny surfaces. Even without depth data, our approach outperforms the Coherent Point Drift (CPD) registration method for the evaluated object categories.


Discriminatory Expressions to Produce Interpretable Models in Short Documents. Social Networking Sites (SNS) are one of the most important ways of communication. In particular, microblogging sites are being used as analysis avenues due to their peculiarities (promptness, short texts...). There are countless researches that use SNS in novel manners, but machine learning has focused mainly in classification performance rather than interpretability and or other goodness metrics. Thus, state of the art models are black boxes that should not be used to solve problems that may have a social impact. When the problem requires transparency, it is necessary to build interpretable pipelines. Although the classifier may be interpretable, resulting models are too complex to be considered comprehensible, making it impossible for humans to understand the actual decisions. This paper presents a feature selection mechanism that is able to improve comprehensibility by using less but more meaningful features while achieving good performance in microblogging contexts where interpretability is mandatory. Moreover, we present a ranking method to evaluate features in terms of statistical relevance and bias. We conducted exhaustive tests with five different datasets in order to evaluate classification performance, generalisation capacity and complexity of the model. Results show that our proposal is better and the most stable one in terms of accuracy, generalisation and comprehensibility.


Efficient Computation of Expectations under Spanning Tree Distributions. We give a general framework for inference in spanning tree models. We propose unified algorithms for the important cases of first order expectations and second order expectations in edge factored, non projective spanning tree models. Our algorithms exploit a fundamental connection between gradients and expectations, which allows us to derive efficient algorithms. These algorithms are easy to implement with or without automatic differentiation software. We motivate the development of our framework with several emph cautionary tales of previous research, which has developed numerous inefficient algorithms for computing expectations and their gradients. We demonstrate how our framework efficiently computes several quantities with known algorithms, including the expected attachment score, entropy, and generalized expectation criteria. As a bonus, we give algorithms for quantities that are missing in the literature, including the KL divergence. In all cases, our approach matches the efficiency of existing algorithms and, in several cases, reduces the runtime complexity by a factor of the sentence length. We validate the implementation of our framework through runtime experiments. We find our algorithms are up to 15 and 9 times faster than previous algorithms for computing the Shannon entropy and the gradient of the generalized expectation objective, respectively.


SOLO A Corpus of Tweets for Examining the State of Being Alone. The state of being alone can have a substantial impact on our lives, though experiences with time alone diverge significantly among individuals. Psychologists distinguish between the concept of solitude, a positive state of voluntary aloneness, and the concept of loneliness, a negative state of dissatisfaction with the quality of one's social interactions. Here, for the first time, we conduct a large scale computational analysis to explore how the terms associated with the state of being alone are used in online language. We present SOLO (State of Being Alone), a corpus of over 4 million tweets collected with query terms 'solitude', 'lonely', and 'loneliness'. We use SOLO to analyze the language and emotions associated with the state of being alone. We show that the term 'solitude' tends to co occur with more positive, high dominance words (e.g., enjoy, bliss) while the terms 'lonely' and 'loneliness' frequently co occur with negative, low dominance words (e.g., scared, depressed), which confirms the conceptual distinctions made in psychology. We also show that women are more likely to report on negative feelings of being lonely as compared to men, and there are more teenagers among the tweeters that use the word 'lonely' than among the tweeters that use the word 'solitude'.


Quadri algebras, preLie algebras, and the Catalan family of Lie idempotents. We compute the expansion of the Catalan family of Lie idempotents introduced in Menous et al., Adv. Applied Math. 51 (2013), 177 22 on the PBW basis of the Lie module. It is found that the coefficient of a tree depends only on its number of left and right internal edges. In particular, the Catalan idempotents belong to a preLie algebra based on naked binary trees, of which we identify several Lie and preLie subalgebras.


Idoneal genera and K3 surfaces covering an Enriques surface. Idoneal genera are a generalization of Euler's idoneal numbers. We enumerate all idoneal genera by means of the Smith Minkowski Siegel mass formula. As an application, we classify transcendental lattices of K3 surfaces covering an Enriques surface.


On Wyner's Common Information in the Gaussian Case. Wyner's Common Information and a natural relaxation are studied in the special case of Gaussian random variables. The relaxation replaces conditional independence by a bound on the conditional mutual information. The main contribution is the proof that Gaussian auxiliaries are optimal, leading to a closed form formula. As a corollary, the proof technique also establishes the optimality of Gaussian auxiliaries for the Gaussian Gray Wyner network, a long standing open problem.


On counting cuspidal automorphic representations for mathrm GSp (4) . We find the number s k(p, Omega) of cuspidal automorphic representations of mathrm GSp (4, mathbb A mathbb Q ) with trivial central character such that the archimedean component is a holomorphic discrete series representation of weight k ge 3 , and the non archimedean component at p is an Iwahori spherical representation of type Omega and unramified otherwise. Using the automorphic Plancherel density theorem, we show how a limit version of our formula for s k(p, Omega) generalizes to the vector valued case and a finite number of ramified places.


Combining Program Analysis and Statistical Language Model for Code Statement Completion. Automatic code completion helps improve developers' productivity in their programming tasks. A program contains instructions expressed via code statements, which are considered as the basic units of program execution. In this paper, we introduce AutoSC, which combines program analysis and the principle of software naturalness to fill in a partially completed statement. AutoSC benefits from the strengths of both directions, in which the completed code statement is both frequent and valid. AutoSC is first trained on a large code corpus to derive the templates of candidate statements. Then, it uses program analysis to validate and concretize the templates into syntactically and type valid candidate statements. Finally, these candidates are ranked by using a language model trained on the lexical form of the source code in the code corpus. Our empirical evaluation on the large datasets of real world projects shows that AutoSC achieves 38.9 41.3 top 1 accuracy and 48.2 50.1 top 5 accuracy in statement completion. It also outperforms a state of the art approach from 9X 69X in top 1 accuracy.


On existence of primitive normal elements of rational form over finite fields of even characteristic. Let q be an even prime power and m geq2 an integer. By mathbb F q , we denote the finite field of order q and by mathbb F q m its extension degree m . In this paper we investigate the existence of a primitive normal pair ( alpha, , f( alpha)) , with f(x) dfrac ax 2 bx c dx e in mathbb F q m (x) , where the rank of the matrix F begin pmatrix a , b , c 0 , d , e end pmatrix in M 2 times 3 ( Fm) is 2. Namely, we establish sufficient conditions to show that nearly all fields of even characteristic possess such elements, except for begin pmatrix 1 , 1 , 0 0 , 1 , 0 end pmatrix if q 2 and m is odd, and then we provide an explicit list of possible and genuine exceptional pairs (q,m) .


Floating under a levitating liquid. When placed upside down a liquid surface is known to destabilize above a certain size. However, vertical shaking can have a dynamical stabilizing effect. These oscillations can also make air bubbles sink in the liquid when created below a given depth. Here, we use these effects to levitate large volumes of liquid above an air layer. The loaded air layer acts as a spring mass oscillator which resonantly amplifies the shaking amplitude of the bath. We achieve stabilization of half a liter of liquid with up to 20 cm width. We further show that the dynamic stabilization creates a symmetric Archimedes' principle on the lower interface as if gravity was inverted. Hence, immersed bodies can float upside down under the levitated liquid.


Beyond Scaling Calculable Error Bounds of the Power of Two Choices Mean Field Model in Heavy Traffic. This paper provides a recipe for deriving calculable approximation errors of mean field models in heavy traffic with the focus on the well known load balancing algorithm power of two choices (Po2). The recipe combines Stein's method for linearized mean field models and State Space Concentration (SSC) based on geometric tail bounds. In particular, we divide the state space into two regions, a neighborhood near the mean field equilibrium and the complement of that. We first use a tail bound to show that the steady state probability being outside the neighborhood is small. Then, we use a linearized mean field model and Stein's method to characterize the generator difference, which provides the dominant term of the approximation error. From the dominant term, we are able to obtain an asymptotically tight bound and a nonasymptotic upper bound, both are calculable bounds, not order wise scaling results like most results in the literature. Finally, we compared the theoretical bounds with numerical evaluations to show the effectiveness of our results. We note that the simulation results show that both bounds are valid even for small size systems such as a system with only ten servers.


Longtime asymptotics of the two dimensional parabolic Anderson model with white noise potential. We consider the parabolic Anderson model (PAM) partial t u frac12 Delta u xi u in mathbb R 2 with a Gaussian (space) white noise potential xi . We prove that the almost sure large time asymptotic behaviour of the total mass at time t , written U(t) , is given by log U(t) sim chi t log t for t to infty , with the deterministic constant chi identified in terms of a variational formula. In earlier work of one of the authors this constant was used to describe the asymptotic behaviour boldsymbol lambda 1(Q t) sim chi log t of the principal eigenvalue boldsymbol lambda 1(Q t) of the Anderson operator with Dirichlet boundary conditions on the box Q t frac t 2 , frac t 2 2 .


Unified Gas kinetic Wave Particle Methods III Multiscale Photon Transport. In this paper, we extend the unified gas kinetic wave particle (UGKWP) method to the multiscale photon transport. In this method, the photon free streaming and scattering processes are treated in an un splitting way. The duality descriptions, namely the simulation particle and distribution function, are utilized to describe the photon. By accurately recovering the governing equations of the unified gas kinetic scheme (UGKS), the UGKWP preserves the multiscale dynamics of photon transport from optically thin to optically thick regime. In the optically thin regime, the UGKWP becomes a Monte Carlo type particle tracking method, while in the optically thick regime, the UGKWP becomes a diffusion equation solver. The local photon dynamics of the UGKWP, as well as the proportion of wave described and particle described photons are automatically adapted according to the numerical resolution and transport regime. Compared to the S n type UGKS, the UGKWP requires less memory cost and does not suffer ray effect. Compared to the implicit Monte Carlo (IMC) method, the statistical noise of UGKWP is greatly reduced and computational efficiency is significantly improved in the optically thick regime. Several numerical examples covering all transport regimes from the optically thin to optically thick are computed to validate the accuracy and efficiency of the UGKWP method. In comparison to the S n type UGKS and IMC method, the UGKWP method may have several order of magnitude reduction in computational cost and memory requirement in solving some multsicale transport problems.


Dynamic meta atoms. Interaction of electromagnetic radiation with time variant objects is a fundamental problem whose study involves foundational principles of classical electrodynamics. Such study is a necessary preliminary step for delineating the novel research field of linear time varying metamaterials and metasurfaces. A closer look to the literature, however, reveals that this crucial step has not been addressed and important simplifying assumptions have been made. Before proceeding to studies of linear time varying metamaterials and metasurfaces with their effective parameters, we need to rigorously describe the electric and magnetic responses of a temporally modulated meta atom. Here, we introduce a theoretical model which describes a time variant meta atom and its interaction with incident electromagnetic waves in time domain. The developed general approach is specialized for a dipole emitter scatterer loaded with a time varying reactive element. We confirm the validity of the theoretical model with full wave simulations. Our study is of major significance also in the area of nanophotonics and nano optics because the optical properties of all dielectric and plasmonic nanoparticles can be varied in time in order to achieve intriguing scattering phenomena.


Dependable contact related parameter extraction in graphene metal junctions. The accurate extraction and the reliable, repeatable reduction of graphene metal contact resistance (R C ) are still open issues in graphene technology. Here, we demonstrate the importance of following clear protocols when extracting R C using the transfer length method (TLM). We use the example of back gated graphene TLM structures with nickel contacts, a complementary metal oxide semiconductor compatible metal. The accurate extraction of R C is significantly affected by generally observable Dirac voltage shifts with increasing channel lengths in ambient conditions. R C is generally a function of the carrier density in graphene. Hence, the position of the Fermi level and the gate voltage impact the extraction of R C . Measurements in high vacuum, on the other hand, result in dependable extraction of R C as a function of gate voltage owing to minimal spread in Dirac voltages. We further assess the accurate measurement and extraction of important parameters like contact end resistance, transfer length, sheet resistance of graphene under the metal contact and specific contact resistivity as a function of the back gate voltage. The presented methodology has also been applied to devices with gold and copper contacts, with similar conclusions.


C (n) Cardinals. For each natural number n , let C (n) be the closed and unbounded proper class of ordinals alpha such that V alpha is a Sigma n elementary substructure of V . We say that kappa is a emph C (n) cardinal if it is the critical point of an elementary embedding j V to M , M transitive, with j( kappa) in C (n) . By analyzing the notion of C (n) cardinal at various levels of the usual hierarchy of large cardinal principles we show that, starting at the level of superstrong cardinals and up to the level of rank into rank embeddings, C (n) cardinals form a much finer hierarchy. The naturalness of the notion of C (n) cardinal is exemplified by showing that the existence of C (n) extendible cardinals is equivalent to simple reflection principles for classes of structures, which generalize the notions of supercompact and extendible cardinals. Moreover, building on results of cite BCMR , we give new characterizations of Vope v n ka's Principle in terms of C (n) extendible cardinals.


Recurrence relations of Li coefficients. One of equivalents of the Riemann hypothesis is Li's criterion that all Li coefficients are positive. We study recurrence relations of Li coefficients in this note.


Minuscule embeddings. We study embeddings J rightarrow G of simple linear algebraic groups with the following property the simple components of the J module Lie( G ) Lie( J ) are all minuscule representations of J . One family of examples occurs when the group G has roots of two different lengths and J is the subgroup generated by the long roots. We classify all such embeddings when J SL 2 and J SL 3 , show how each embedding implies the existence of exceptional algebraic structures on the graded components of Lie( G ), and relate properties of those structures to the existence of various twisted forms of G with certain relative root systems.


Zalcman Conjecture for certain analytic and univalent functions. Let mathcal A denote the class of analytic functions in the unit disk mathbb D of the form f(z) z sum n 2 infty a n z n and mathcal S denote the class of functions f in mathcal A which are univalent ( it i.e. , one to one). In 1960s, L. Zalcman conjectured that a n 2 a 2n 1 le (n 1) 2 for n ge 2 , which implies the famous Bieberbach conjecture a n le n for n ge 2 . For f in mathcal S , Ma cite Ma 1999 proposed a generalized Zalcman conjecture a n a m a n m 1 le (n 1)(m 1) for n ge 2, m ge 2 . Let mathcal U be the class of functions f in mathcal A satisfying left f'(z) left( frac z f(z) right) 2 1 right 1 quad mbox for z in mathbb D . and mathcal F denote the class of functions f in mathcal A satisfying rm Re , (1 z) 2 f'(z) 0 in mathbb D . In the present paper, we prove the Zalcman conjecture and generalized Zalcman conjecture for the class mathcal U using extreme point theory. We also prove the Zalcman conjecture and generalized Zalcman conjecture for the class mathcal F for the initial coefficients.


Topological Bulk Lasing Modes Using an Imaginary Gauge Field. Topological edge modes, which are robust against disorders, have been used to enhance the spatial stability of lasers. Recently, it was revealed that topological lasers can be further stabilized using a novel topological phase in non Hermitian photonic topological insulators. Here we propose a procedure to realize topologically protected modes extended over a d dimensional bulk by introducing an imaginary gauge field. This generalizes the idea of zero energy extended modes in the one dimensional Su Schrieffer Heeger lattice into higher dimensional lattices allowing a d dimensional bulky mode that is topologically protected. Furthermore, we numerically demonstrate that the topological bulk lasing mode can achieve high temporal stability superior to topological edge mode lasers. In the exemplified topological extended mode in the kagome lattice, we show that large regions of stability exist in its parameter space.


Contact singularities in nonstandard slow fast dynamical systems. We develop the contact singularity theory for singularly perturbed (or slow fast') vector fields of the general form z' H(z, varepsilon) , z in mathbb R n and varepsilon ll 1 . Our main result is the derivation of computable, coordinate independent defining equations for contact singularities under an assumption that the leading order term of the vector field admits a suitable factorization. This factorization can in turn be computed explicitly in a wide variety of applications. We demonstrate these computable criteria by locating contact folds and, for the first time, contact cusps in some nonstandard models of biochemical oscillators.


C D Ratio in multi display environments. Research in user interaction with mixed reality environments using multiple displays has become increasingly relevant with the prevalence of mobile devices in everyday life and increased commoditization of large display area technologies using projectors or large displays. Previous work often combines touch based input with other approaches, such as gesture based input, to expand the possible interaction space or deal with limitations of other two dimensional input methods. In contrast to previous methods, we examine the possibilities when the control display (C D) ratio is significantly smaller than one and small input movements result in large output movements. To this end one specific multi display configuration is implemented in the form of a spatial augmented reality sandbox environment, and used to explore various interaction techniques based on a variety of mobile device touch based input and optical marker tracking based finger input. A small pilot study determines the most promising input candidate, which is compared to traditional touch input based techniques in a user study that tests it for practical relevance. Results and conclusions of the study are presented.


Using Text to Teach Image Retrieval. Image retrieval relies heavily on the quality of the data modeling and the distance measurement in the feature space. Building on the concept of image manifold, we first propose to represent the feature space of images, learned via neural networks, as a graph. Neighborhoods in the feature space are now defined by the geodesic distance between images, represented as graph vertices or manifold samples. When limited images are available, this manifold is sparsely sampled, making the geodesic computation and the corresponding retrieval harder. To address this, we augment the manifold samples with geometrically aligned text, thereby using a plethora of sentences to teach us about images. In addition to extensive results on standard datasets illustrating the power of text to help in image retrieval, a new public dataset based on CLEVR is introduced to quantify the semantic similarity between visual data and text data. The experimental results show that the joint embedding manifold is a robust representation, allowing it to be a better basis to perform image retrieval given only an image and a textual instruction on the desired modifications over the image


Parameter free determination of optimum time delay. We show that the same maximum entropy principle applied to recurrence microstates configures a new way to properly compute the time delay necessary to correctly sample a data set. The new method retrieves results obtained using traditional methods with the advantage of being independent of any free parameter. Since all parameters are automatically set, the method is suitable for use in artificial (computational) intelligence algorithms, recovering correct information embedded in time series, and rationalizing the process of data acquisition since only relevant data must be collected.


Fast Biconnectivity Restoration in Multi Robot Systems for Robust Communication Maintenance. Maintaining a robust communication network plays an important role in the success of a multi robot team jointly performing an optimization task. A key characteristic of a robust multi robot system is the ability to repair the communication topology itself in the case of robot failure. In this paper, we focus on the Fast Biconnectivity Restoration (FBR) problem, which aims to repair a connected network to make it biconnected as fast as possible, where a biconnected network is a communication topology that cannot be disconnected by removing one node. We develop a Quadratically Constrained Program (QCP) formulation of the FBR problem, which provides a way to optimally solve the problem. We also propose an approximation algorithm for the FBR problem based on graph theory. By conducting empirical studies, we demonstrate that our proposed approximation algorithm performs close to the optimal while significantly outperforming the existing solutions.


Color Filter Arrays for Quanta Image Sensors. Quanta image sensor (QIS) is envisioned to be the next generation image sensor after CCD and CMOS. In this paper, we discuss how to design color filter arrays for QIS and other small pixels. Designing color filter arrays for small pixels is challenging because maximizing the light efficiency while suppressing aliasing and crosstalk are conflicting tasks. We present an optimization based framework which unifies several mainstream color filter array design methodologies. Our method offers greater generality and flexibility. Compared to existing methods, the new framework can simultaneously handle luminance sensitivity, chrominance sensitivity, cross talk, anti aliasing, manufacturability and orthogonality. Extensive experimental comparisons demonstrate the effectiveness of the framework.


Binary Scoring Rules that Incentivize Precision. All proper scoring rules incentivize an expert to predict emph accurately (report their true estimate), but not all proper scoring rules equally incentivize emph precision . Rather than treating the expert's belief as exogenously given, we consider a model where a rational expert can endogenously refine their belief by repeatedly paying a fixed cost, and is incentivized to do so by a proper scoring rule. Specifically, our expert aims to predict the probability that a biased coin flipped tomorrow will land heads, and can flip the coin any number of times today at a cost of c per flip. Our first main result defines an emph incentivization index for proper scoring rules, and proves that this index measures the expected error of the expert's estimate (where the number of flips today is chosen adaptively to maximize the predictor's expected payoff). Our second main result finds the unique scoring rule which optimizes the incentivization index over all proper scoring rules. We also consider extensions to minimizing the ell th moment of error, and again provide an incentivization index and optimal proper scoring rule. In some cases, the resulting scoring rule is differentiable, but not infinitely differentiable. In these cases, we further prove that the optimum can be uniformly approximated by polynomial scoring rules. Finally, we compare common scoring rules via our measure, and include simulations confirming the relevance of our measure even in domains outside where it provably applies.