Transcendental versions in C n of the Nagata conjecture. The Nagata Conjecture is one of the most intriguing open problems in the area of curves in the plane. It is easily stated. Namely, it predicts that the smallest degree d of a plane curve passing through r ge 10 general points in the projective plane P 2 with multiplicities at least l at every point, satisfies the inequality d sqrt r times l. This conjecture has been proven by M. Nagata in 1959, if r is a perfect square greater than 9. Up to now, it remains open for every non square r ge 10, after more than a half century of attention by many researchers. In this paper, we formulate new transcendental versions of this conjecture coming from pluripotential theory and which are equivalent to a version in C n of the Nagata Conjecture.


On the characteristics of the turbulent wake behind a wall mounted square cylinder. The turbulent flow past a wall mounted square cylinder with an aspect ratio of four was investigated with the aid of Spalart Allmaras improved delayed detached eddy simulation (S A IDDES) and proper orthogonal decomposition (POD). The Reynolds number was equal to 12,000 (based on the free stream velocity and obstacle width). This study focused on analysing the vortical structure of the wake and vortex shedding process along the obstacle height. A quantitative comparison of the first and second order flow statistics with the available experimental and direct numerical simulation data was used to validate the numerical results. The numerical model coupled with the vortex method (VM) of generating the turbulent inflow conditions could successfully reproduce the flow field around and behind the obstacle with commendable accuracy. The flow structure and vortex shedding characteristics near the wake formation region have been discussed in detail using time averaged and instantaneous flow parameters obtained from the simulation. Dipole type mean streamwise vortex and half loop hairpin instantaneous vortices with energetic motions were identified. A coherent shedding structure was reported along the obstacle using two point correlations. Two types of vortex shedding intervals were identified, namely, low amplitude fluctuations (LAFs) and high amplitude fluctuations (HAFs). The POD analysis of the wake showed that for the elevations between 0.25 to 0.5 of the obstacle height, the first two POD modes represent the alternating shedding and the contribution to the kinetic energy is between 66.6 to 57.6 . A simple low order model based on the vortex shedding phase angle and the spectrum of the time coefficients obtained from POD was developed to predict the wake dynamics at the range of elevations where the alternating shedding is dominated.


Extended version Rethinking Deep Neural Network Ownership Verification Embedding Passports to Defeat Ambiguity Attacks. With substantial amount of time, resources and human (team) efforts invested to explore and develop successful deep neural networks (DNN), there emerges an urgent need to protect these inventions from being illegally copied, redistributed, or abused without respecting the intellectual properties of legitimate owners. Following recent progresses along this line, we investigate a number of watermark based DNN ownership verification methods in the face of ambiguity attacks, which aim to cast doubts on the ownership verification by forging counterfeit watermarks. It is shown that ambiguity attacks pose serious threats to existing DNN watermarking methods. As remedies to the above mentioned loophole, this paper proposes novel passport based DNN ownership verification schemes which are both robust to network modifications and resilient to ambiguity attacks. The gist of embedding digital passports is to design and train DNN models in a way such that, the DNN inference performance of an original task will be significantly deteriorated due to forged passports. In other words, genuine passports are not only verified by looking for the predefined signatures, but also reasserted by the unyielding DNN model inference performances. Extensive experimental results justify the effectiveness of the proposed passport based DNN ownership verification schemes. Code and models are available at https github.com kamwoh DeepIPR


Mobile Robot Path Planning in Dynamic Environments through Globally Guided Reinforcement Learning. Path planning for mobile robots in large dynamic environments is a challenging problem, as the robots are required to efficiently reach their given goals while simultaneously avoiding potential conflicts with other robots or dynamic objects. In the presence of dynamic obstacles, traditional solutions usually employ re planning strategies, which re call a planning algorithm to search for an alternative path whenever the robot encounters a conflict. However, such re planning strategies often cause unnecessary detours. To address this issue, we propose a learning based technique that exploits environmental spatio temporal information. Different from existing learning based methods, we introduce a globally guided reinforcement learning approach (G2RL), which incorporates a novel reward structure that generalizes to arbitrary environments. We apply G2RL to solve the multi robot path planning problem in a fully distributed reactive manner. We evaluate our method across different map types, obstacle densities, and the number of robots. Experimental results show that G2RL generalizes well, outperforming existing distributed methods, and performing very similarly to fully centralized state of the art benchmarks.


Risk assessment of airborne transmission of COVID 19 by asymptomatic individuals under different practical settings. The lack of quantitative risk assessment of airborne transmission of COVID 19 under practical settings leads to large uncertainties and inconsistencies in our preventive measures. Combining in situ measurements and numerical simulations, we quantify the exhaled particles from normal respiratory behaviors and their transport under elevator, small classroom and supermarket settings to evaluate the risk of inhaling potentially virus containing particles. Our results show that the design of ventilation is critical for reducing the risk of particle encounters. Inappropriate design can significantly limit the efficiency of particle removal, create local hot spots with orders of magnitude higher risks, and enhance particle deposition causing surface contamination. Additionally, our measurements reveal the presence of substantial fraction of crystalline particles from normal breathing and its strong correlation with breathing depth.


A Complete Realization of the orbits of generalized derivatives of Quasiregular Mappings. Quasiregular maps are differentiable almost everywhere maps which are analogous to holomorphic maps in the plane for higher real dimensions. Introduced by Gutlyanskii et al, the infinitesimal space is a generalization of the notion of derivatives for quasiregular maps. Evaluation of all elements in the infinitesimal space at a particular point is called the orbit space. We prove that any compact connected subset of R n setminus 0 can be realized as an orbit space of a quasiconformal map. To that end, we construct analogues of logarithmic spiral maps and interpolation between radial stretch maps in higher dimensions. For the construction of such maps, we need to implement a new tool called the Zorich transform, which is a direct analogue of the logarithmic transform. The Zorich transform could have further applications in quasiregular dynamics.


Transportation inequalities under uniform metric for a stochastic heat equation driven by time white and space colored noise. In this paper, we prove transportation inequalities on the space of continuous paths with respect to the uniform metric, for the law of solution to a stochastic heat equation defined on 0,T times 0,1 d . This equation is driven by the Gaussian noise, white in time and colored in space. The proof is based on a new moment inequality under the uniform metric for the stochastic convolution with respect to the time white and space colored noise, which is of independent interest.


The Rank of Trifocal Grassmann Tensors. Grassmann tensors arise from classical problems of scene reconstruction in computer vision. Trifocal Grassmann tensors, related to three projections from a projective space of dimension k onto view spaces of varying dimensions are studied in this work. A canonical form for the combined projection matrices is obtained. When the centers of projections satisfy a natural generality assumption, such canonical form gives a closed formula for the rank of the trifocal Grassmann tensors. The same approach is also applied to the case of two projections, confirming a previous result obtained with different methods in 6 . The rank of sequences of tensors converging to tensors associated with degenerate configurations of projection centers is also considered, giving concrete examples of a wide spectrum of phenomena that can happen.


An Average Curvature Accelerated Composite Gradient Method for Nonconvex Smooth Composite Optimization Problems. This paper presents an accelerated composite gradient (ACG) variant, referred to as the AC ACG method, for solving nonconvex smooth composite minimization problems. As opposed to well known ACG variants that are either based on a known Lipschitz gradient constant or a sequence of maximum observed curvatures, the current one is based on the average of all past observed curvatures. More specifically, AC ACG uses a positive multiple of the average of all observed curvatures until the previous iteration as a way to estimate the "function curvature" at the current point and then two resolvent evaluations to compute the next iterate. In contrast to other variable Lipschitz estimation variants, e.g., the ones based on the maximum curvature, AC ACG always accepts the aforementioned iterate regardless how poor the Lipschitz estimation turns out to be. Finally, computational results are presented to illustrate the efficiency of AC ACG on both randomly generated and real world problem instances.


CASIA SURF A Large scale Multi modal Benchmark for Face Anti spoofing. Face anti spoofing is essential to prevent face recognition systems from a security breach. Much of the progresses have been made by the availability of face anti spoofing benchmark datasets in recent years. However, existing face anti spoofing benchmarks have limited number of subjects ( le negmedspace170 ) and modalities ( leq negmedspace2 ), which hinder the further development of the academic community. To facilitate face anti spoofing research, we introduce a large scale multi modal dataset, namely CASIA SURF, which is the largest publicly available dataset for face anti spoofing in terms of both subjects and modalities. Specifically, it consists of 1,000 subjects with 21,000 videos and each sample has 3 modalities (i.e., RGB, Depth and IR). We also provide comprehensive evaluation metrics, diverse evaluation protocols, training validation testing subsets and a measurement tool, developing a new benchmark for face anti spoofing. Moreover, we present a novel multi modal multi scale fusion method as a strong baseline, which performs feature re weighting to select the more informative channel features while suppressing the less useful ones for each modality across different scales. Extensive experiments have been conducted on the proposed dataset to verify its significance and generalization capability. The dataset is available at https sites.google.com qq.com face anti spoofing welcome challengecvpr2019?authuser 0


A Magnetic Spectrometer for Electron Positron Pair Spectroscopy in Storage Rings. We report an analysis of electron optical properties of a toroidal magnetic sector spectrometer and examine parameters for its implementation in a relativistic heavy ion storage ring like HESR at the future FAIR facility. For studies of free free pair production in heavy ion atom collisions, this spectrometer exhibits very high efficiencies for coincident e e pair spectroscopy over a wide range of momenta of emitted lepton pairs. The high coincidence efficiency of the spectrometer is the key for stringent tests of theoretical predictions for the phase space correlation of lepton vector momenta in free free pair production.


Weakly Supervised Object Detection with Segmentation Collaboration. Weakly supervised object detection aims at learning precise object detectors, given image category labels. In recent prevailing works, this problem is generally formulated as a multiple instance learning module guided by an image classification loss. The object bounding box is assumed to be the one contributing most to the classification among all proposals. However, the region contributing most is also likely to be a crucial part or the supporting context of an object. To obtain a more accurate detector, in this work we propose a novel end to end weakly supervised detection approach, where a newly introduced generative adversarial segmentation module interacts with the conventional detection module in a collaborative loop. The collaboration mechanism takes full advantages of the complementary interpretations of the weakly supervised localization task, namely detection and segmentation tasks, forming a more comprehensive solution. Consequently, our method obtains more precise object bounding boxes, rather than parts or irrelevant surroundings. Expectedly, the proposed method achieves an accuracy of 51.0 on the PASCAL VOC 2007 dataset, outperforming the state of the arts and demonstrating its superiority for weakly supervised object detection.


Compatible Strain Mixed Finite Element Methods for 3D Compressible and Incompressible Nonlinear Elasticity. A new family of mixed finite element methods compatible strain mixed finite element methods (CSFEMs) are introduced for three dimensional compressible and incompressible nonlinear elasticity. A Hu Washizu type functional is extremized in order to obtain a mixed formulation for nonlinear elasticity. The independent fields of the mixed formulations are the displacement, the displacement gradient, and the first Piola Kirchhoff stress. A pressure like field is also introduced in the case of incompressible elasticity. We define the displacement in H 1 , the displacement gradient in H(curl) , the stress in H(div) , and the pressure like field in L 2 . In this setting, for improving the stability of the proposed finite element methods without compromising their consistency, we consider some stabilizing terms in the Hu Washizu type functional that vanish at its critical points. Using a conforming interpolation, the solution and the test spaces are approximated with some piecewise polynomial subspaces of them. In three dimensions, this requires using the N 'ed 'elec edge elements for the displacement gradient and the N 'ed 'elec face elements for the stress. This approach results in mixed finite element methods that satisfy the Hadamard jump condition and the continuity of traction on all internal faces of the mesh. This, in particular, makes CSFEMs quite efficient for modeling heterogeneous solids. We assess the performance of CSFEMs by solving several numerical examples, and demonstrate their good performance for bending problems, for bodies with complex geometries, and in the near incompressible and the incompressible regimes. Using CSFEMs, one can capture very large strains and accurately approximate stresses and the pressure field. Moreover, in our numerical examples, we do not observe any numerical artifacts such as checkerboarding of pressure, hourglass instability, or locking.


Constant Along Primal Rays Conjugacies and Generalized Convexity for Functions of the Support. The support of a vector in R d is the set of indices with nonzero entries. Functions of the support have the property to be 0 homogeneous and, because of that, the Fenchel conjugacy fails to provide relevant analysis. In this paper, we define the coupling Capra between R d and itself by dividing the classic Fenchel scalar product coupling by a given (source) norm on R d. Our main result is that, when both the source norm and its dual norm are orthant strictly monotonic, any nondecreasing finite valued function of the support mapping is Capra convex, that is, is equal to its Capra biconjugate (generalized convexity). We also establish that any such function is the composition of a proper convex lower semi continuous function on R d with the normalization mapping on the unit sphere (hidden convexity), and that, when normalized, it admits a variational formulation, which involves a family of generalized local K support dual norms.


Unitarization of the Horocyclic Radon Transform on Homogeneous Trees. Following previous work in the continuous setup, we construct the unitarization of the horocyclic Radon transform on a homogeneous tree X and we show that it intertwines the quasi regular representations of the group of isometries of X on the tree itself and on the space of horocycles.


Interactive Verifiable Polynomial Evaluation. Cloud computing platforms have created the possibility for computationally limited users to delegate demanding tasks to strong but untrusted servers. Verifiable computing algorithms help build trust in such interactions by enabling the server to provide a proof of correctness of his results which the user can check very efficiently. In this paper, we present a doubly efficient interactive algorithm for verifiable polynomial evaluation. Unlike the mainstream literature on verifiable computing, the soundness of our algorithm is information theoretic and cannot be broken by a computationally unbounded server. By relying on basic properties of error correcting codes, our algorithm enforces a dishonest server to provide false results to problems which become progressively easier to verify. After roughly log d rounds, the user can verify the response of the server against a look up table that has been pre computed during an initialization phase. For a polynomial of degree d , we achieve a user complexity of O(d epsilon ) , a server complexity of O(d 1 epsilon ) , a round complexity of O( log d) and an initialization complexity of O(d 1 epsilon ) .


High energy harmonic maps and degeneration of minimal surfaces. Let S be a closed surface of genus g geq 2 and let rho be a maximal mathrm PSL (2, mathbb R ) times mathrm PSL (2, mathbb R ) surface group representation. By a result of Schoen, there is a unique rho equivariant minimal surface widetilde Sigma in mathbb H 2 times mathbb H 2 . We study the induced metrics on these minimal surfaces and prove the limits are precisely mixed structures. In the second half of the paper, we provide a geometric interpretation the minimal surfaces widetilde Sigma degenerate to the core of a product of two mathbb R trees. As a consequence, we obtain a compactification of the space of maximal representations of pi 1 (S) into mathrm PSL (2, mathbb R ) times mathrm PSL (2, mathbb R ) .


Video Object Segmentation with Adaptive Feature Bank and Uncertain Region Refinement. We propose a new matching based framework for semi supervised video object segmentation (VOS). Recently, state of the art VOS performance has been achieved by matching based algorithms, in which feature banks are created to store features for region matching and classification. However, how to effectively organize information in the continuously growing feature bank remains under explored, and this leads to inefficient design of the bank. We introduce an adaptive feature bank update scheme to dynamically absorb new features and discard obsolete features. We also design a new confidence loss and a fine grained segmentation module to enhance the segmentation accuracy in uncertain regions. On public benchmarks, our algorithm outperforms existing state of the arts.


Cryptanalysis of a code based full time signature. We present an attack against a code based signature scheme based on the Lyubashevsky protocol that was recently proposed by Song, Huang, Mu, Wu and Wang (SHMWW). The private key in the SHMWW scheme contains columns coming in part from an identity matrix and in part from a random matrix. The existence of two types of columns leads to a strong bias in the distribution of set bits in produced signatures. Our attack exploits such a bias to recover the private key from a bunch of collected signatures. We provide a theoretical analysis of the attack along with experimental evaluations, and we show that as few as 10 signatures are enough to be collected for successfully recovering the private key. As for previous attempts of adapting Lyubashevsky's protocol to the case of code based cryptography, the SHMWW scheme is thus proved unable to provide acceptable security. This confirms that devising secure code based signature schemes with efficiency comparable to that of other post quantum solutions (e.g., based on lattices) is still a challenging task.


On a moment problem of analytic functionals of polynomial hypergroups. Related to radial functions on free groups, we focus on certain polynomial hypergroups and work out spectral analysis with the help of the Stieltjes transform of their analytic functionals.


Fast magma ascent, revised estimates from the deglaciation of Iceland. Partial melting of asthenospheric mantle generates magma that supplies volcanic systems. The timescale of melt extraction from the mantle has been hotly debated. Microstructural measurements of permeability typically suggest relatively slow melt extraction (1 m yr) whereas geochemical (Uranium decay series) and geophysical observations suggest much faster melt extraction (100 m yr). The deglaciation of Iceland triggered additional mantle melting and magma flux at the surface. The rapid response has been used to argue for relatively rapid melt extraction. However, this episode must, at least to some extent, be unrepresentative, because the rates of magma eruption at the surface increased about thirty fold relative to the steady state. Our goal is to quantify this unrepresentativeness. We develop a one dimensional, time dependent and nonlinear (far from steady state), model forced by the most recent, and best mapped, Icelandic deglaciation. We find that 30 m yr is the best estimate of the steady state maximum melt velocity. This is a factor of about 3 smaller than previously claimed, but still relatively fast. We translate these estimates to other mid ocean ridges accounting for differences in passive and active upwelling and degree of melting. We find that fast melt extraction greater than about 10 m yr prevails globally.


On the accurate reproduction of strongly repulsive interatomic potentials. Knowledge of the repulsive behavior of potential energy curves V(R) at R to0 is necessary for understanding and modeling irradiation processes of practical interest. V(R) is in principle straightforward to obtain from electronic structure calculations however, commonly used numerical approaches for electronic structure calculations break down in the strongly repulsive region due to the closeness of the nuclei. In the present work, we show by comparison to fully numerical reference values that a recently developed procedure S. Lehtola, J. Chem. Phys. 151, 241102 (2019) can be employed to enable accurate linear combination of atomic orbitals calculations of V(R) even at small R by a study of the seven nuclear reactions He2 Be, HeNe Mg, Ne2 Ca, HeAr Ca, MgAr Zn, Ar2 Kr, and NeCa Zn.


Working Memory for Online Memory Binding Tasks A Hybrid Model. Working Memory is the brain module that holds and manipulates information online. In this work, we design a hybrid model in which a simple feed forward network is coupled to a balanced random network via a read write vector called the interface vector. Three cases and their results are discussed similar to the n back task called, first order memory binding task, generalized first order memory task, and second order memory binding task. The important result is that our dual component model of working memory shows good performance with learning restricted to the feed forward component only. Here we take advantage of the random network property without learning. Finally, a more complex memory binding task called, a cue based memory binding task, is introduced in which a cue is given as input representing a binding relation that prompts the network to choose the useful chunk of memory. To our knowledge, this is the first time that random networks as a flexible memory is shown to play an important role in online binding tasks. We may interpret our results as a candidate model of working memory in which the feed forward network learns to interact with the temporary storage random network as an attentional controlling executive system.


A Fast Graph Program for Computing Minimum Spanning Trees. When using graph transformation rules to implement graph algorithms, a challenge is to match the efficiency of programs in conventional languages. To help overcome that challenge, the graph programming language GP 2 features rooted rules which, under mild conditions, can match in constant time on bounded degree graphs. In this paper, we present an efficient GP 2 program for computing minimum spanning trees. We provide empirical performance results as evidence for the program's subquadratic complexity on bounded degree graphs. This is achieved using depth first search as well as rooted graph transformation. The program is based on Boruvka's algorithm for minimum spanning trees. Our performance results show that the program's time complexity is consistent with that of classical implementations of Boruvka's algorithm, namely O(m log n), where m is the number of edges and n the number of nodes.


Large deviation principle for occupation measures of two dimensional stochastic convective Brinkman Forchheimer equations. The present work is concerned about two dimensional stochastic convective Brinkman Forchheimer (2D SCBF) equations perturbed by a white noise (non degenerate) in smooth bounded domains in R 2 . We establish two important properties of the Markov semigroup associated with the solutions of 2D SCBF equations (for the absorption exponent r 1,2,3 ), that is, irreducibility and strong Feller property. These two properties implies the uniqueness of invariant measures and ergodicity also. Then, we discuss about the ergodic behavior of 2D SCBF equations by providing a Large Deviation Principle (LDP) for the occupation measure for large time (Donsker Varadhan), which describes the exact rate of exponential convergence.


Event structures for the reversible early internal Pi calculus. The pi calculus is a widely used process calculus, which models communications between processes and allows the passing of communication links. Various operational semantics of the pi calculus have been proposed, which can be classified according to whether transitions are unlabelled (so called reductions) or labelled. With labelled transitions, we can distinguish early and late semantics. The early version allows a process to receive names it already knows from the environment, while the late semantics and reduction semantics do not. All existing reversible versions of the pi calculus use reduction or late semantics, despite the early semantics of the (forward only) pi calculus being more widely used than the late. We define piIH, the first reversible early pi calculus, and give it a denotational semantics in terms of reversible bundle event structures. The new calculus is a reversible form of the internal pi calculus, which is a subset of the pi calculus where every link sent by an output is private, yielding greater symmetry between inputs and outputs.


On derivations and low dimensional (co)homology groups of pro sovable Lie algebras associated with mathbf n 1 and mathbf n 2 . In the paper we describe the derivations of two mathbb N graded infinity dimensional Lie algebras mathbf n 1 and mathbf n 1 what are positive parts of affine Kats Moody algebras A (1) 1 and A (2) 2 , respectively. Then we construct all pro solvable Lie algebras whose potential nilpotent ideals are mathbf n 1 and mathbf n 2 . For two specific representatives of these classes low dimensional (co)homology groups are computed.


Homotopy transfer and formality. In a recent paper, the second author and Joana Cirici proved a theorem that says that given appropriate hypotheses, n formality of a differential graded algebraic structure is equivalent to the existence of a chain level lift of a homology level degree twisting automorphism using a unit of multiplicative order at least n . Here we give another proof of this result of independent interest and under slightly different hypotheses. We use the homotopy transfer theorem and an explicit inductive procedure in order to kill the higher operations. As an application of our result, we prove formality with coefficients in the p adic integers of certain dg algebras coming from hyperplane and toric arrangements and configuration spaces.


Spectral GANs for High Resolution 3D Point cloud Generation. Point clouds are a popular choice for vision and graphics tasks due to their accurate shape description and direct acquisition from range scanners. This demands the ability to synthesize and reconstruct high quality point clouds. Current deep generative models for 3D data generally work on simplified representations (e.g., voxelized objects) and cannot deal with the inherent redundancy and irregularity in point clouds. A few recent efforts on 3D point cloud generation offer limited resolution and their complexity grows with the increase in output resolution. In this paper, we develop a principled approach to synthesize 3D point clouds using a spectral domain Generative Adversarial Network (GAN). Our spectral representation is highly structured and allows us to disentangle various frequency bands such that the learning task is simplified for a GAN model. As compared to spatial domain generative approaches, our formulation allows us to generate arbitrary number of points high resolution point clouds with minimal computational overhead. Furthermore, we propose a fully differentiable block to transform from the spectral to the spatial domain and back, thereby allowing us to integrate knowledge from well established spatial models. We demonstrate that Spectral GAN performs well for point cloud generation task. Additionally, it can learn a highly discriminative representation in an unsupervised fashion and can be used to accurately reconstruct 3D objects.


Characterising graphs with no subdivision of a wheel of bounded diameter. We prove that a graph has an r bounded subdivision of a wheel if and only if it does not have a graph decomposition of locality r and width at most two.


Plackett Luce model for learning to rank task. List wise based learning to rank methods are generally supposed to have better performance than point and pair wise based. However, in real world applications, state of the art systems are not from list wise based camp. In this paper, we propose a new non linear algorithm in the list wise based framework called ListMLE, which uses the Plackett Luce (PL) loss. Our experiments are conducted on the two largest publicly available real world datasets, Yahoo challenge 2010 and Microsoft 30K. This is the first time in the single model level for a list wise based system to match or overpass state of the art systems in real world datasets.


Supersaturation for subgraph counts. The classic extremal problem is that of computing the maximum number of edges in an F free graph. In the case where F K r 1 , the extremal number was determined by Tur 'an. Later results, known as supersaturation theorems, proved that in a graph containing more edges than the extremal number, there must also be many copies of K r 1 . Alon and Shikhelman introduced a broader class of problems asking for the maximum number of copies of a graph T in an F free graph. In this paper, we determine some of these generalized extremal numbers and prove supersaturation results for them.


Byzantine Eventual Consistency and the Fundamental Limits of Peer to Peer Databases. Sybil attacks, in which a large number of adversary controlled nodes join a network, are a concern for many peer to peer database systems, necessitating expensive countermeasures such as proof of work. However, there is a category of database applications that are, by design, immune to Sybil attacks because they can tolerate arbitrary numbers of Byzantine faulty nodes. In this paper, we characterize this category of applications using a consistency model we call Byzantine Eventual Consistency (BEC). We introduce an algorithm that guarantees BEC based on Byzantine causal broadcast, prove its correctness, and demonstrate near optimal performance in a prototype implementation.


SpatialNLI A Spatial Domain Natural Language Interface to Databases Using Spatial Comprehension. A natural language interface (NLI) to databases is an interface that translates a natural language question to a structured query that is executable by database management systems (DBMS). However, an NLI that is trained in the general domain is hard to apply in the spatial domain due to the idiosyncrasy and expressiveness of the spatial questions. Inspired by the machine comprehension model, we propose a spatial comprehension model that is able to recognize the meaning of spatial entities based on the semantics of the context. The spatial semantics learned from the spatial comprehension model is then injected to the natural language question to ease the burden of capturing the spatial specific semantics. With our spatial comprehension model and information injection, our NLI for the spatial domain, named SpatialNLI, is able to capture the semantic structure of the question and translate it to the corresponding syntax of an executable query accurately. We also experimentally ascertain that SpatialNLI outperforms state of the art methods.


A Generalized Web Component for Domain Independent Smart Assistants. This article introduces an open source web component, Instant Expert, which allows robust and efficient integration of a natural language question answering system to web based platforms in any domain. Web Components are a set of web technologies to allow the creation of reusable, customizable, and encapsulated HTML elements. The Instant Expert web component consists of the user input (i.e. text, voice, multi selection), question processing, and user interface modules. Two use cases are developed to demonstrate the component's features, benefits, and usage. The goal of this project is to pave the way for next generation information systems by mitigating the challenges of developing voice enabled and domain informed smart assistants for communicating knowledge in any domain.


Relevant features for Gender Classification in NIR Periocular Images. Most gender classifications methods from NIR images have used iris information. Recent work has explored the use of the whole periocular iris region which has surprisingly achieve better results. This suggests the most relevant information for gender classification is not located in the iris as expected. In this work, we analyze and demonstrate the location of the most relevant features that describe gender in periocular NIR images and evaluate its influence its classification. Experiments show that the periocular region contains more gender information than the iris region. We extracted several features (intensity, texture, and shape) and classified them according to its relevance using the XgBoost algorithm. Support Vector Machine and nine ensemble classifiers were used for testing gender accuracy when using the most relevant features. The best classification results were obtained when 4,000 features located on the periocular region were used (89.22 ). Additional experiments with the full periocular iris images versus the iris Occluded images were performed. The gender classification rates obtained were 84.35 and 85.75 respectively. We also contribute to the state of the art with a new database (UNAB Gender). From results, we suggest focussing only on the surrounding area of the iris. This allows us to realize a faster classification of gender from NIR periocular images.


Shimura Varieties, Kummer Varieties, and Rational Curves. For a very general product A of seven or more elliptic curves, every rational curve on the Kummer variety of A projects trivially onto the Kummer variety of at least one of its factors. As a consequence, a very general member of certain families of abelian varieties parametrized by connected Shimura varieties of unitary type has the property that its Kummer variety has no rational curves.


SeF A Secure Fountain Architecture for Slashing Storage Costs in Blockchains. Full nodes, which synchronize the entire blockchain history and independently validate all the blocks, form the backbone of any blockchain network by playing a vital role in ensuring security properties. On the other hand, a user running a full node needs to pay a heavy price in terms of storage costs. E.g., the Bitcoin blockchain size has grown over 215GB, in spite of its low throughput. The ledger size for a high throughput blockchain Ripple has already reached 9TB, and it is growing at an astonishing rate of 12GB per day! In this paper, we propose an architecture based on 'fountain codes', a class of erasure codes, that enables any full node to 'encode' validated blocks into a small number of 'coded blocks', thereby reducing its storage costs by orders of magnitude. In particular, our proposed "Secure Fountain (SeF)" architecture can achieve a near optimal trade off between the storage savings per node and the 'bootstrap cost' in terms of the number of (honest) storage constrained nodes a new node needs to contact to recover the blockchain. A key technical innovation in SeF codes is to make fountain codes secure against adversarial nodes that can provide maliciously formed coded blocks. Our idea is to use the header chain as a 'side information' to check whether a coded block is maliciously formed while it is getting decoded. Further, the 'rateless property' of fountain codes helps in achieving high decentralization and scalability. Our experiments demonstrate that SeF codes tuned to achieve 1000x storage savings enable full nodes to encode the 191GB Bitcoin blockchain into 195MB on average. A new node can recover the blockchain from an arbitrary set of storage constrained nodes as long as the set contains 1100 honest nodes on average. Note that for a 1000x storage savings, the fundamental bound on the number of honest nodes to contact is 1000 we need about 10 more in practice.


Busca de melhor caminho entre m 'ultiplas origens e m 'ultiplos destinos em redes complexas que representam cidades. Was investigated in this paper the use of a search strategy in the problem of finding the best path among multiple origins and multiple destinations. In this kind of problem, it must be decided within a lot of combinations which is the best origin and the best destination, and also the best path between these two regions. One remarkable difficulty to answer this sort of problem is to perform the search in a reduced time. This monography is a extension of previous research in which the problem described here was studied only in a bus network in the city of Fortaleza. This extension consisted of an exploration of the search strategy in graphs that represent public ways in cities like Fortaleza, Mumbai and Tokyo. Using this strategy with a heuristic algorithm, Haversine distance, was noticed that is possible to reduce substantially the time of the search, but introducing an error because of the loss of the admissible characteristic of the heuristic function applied.


Flags and orbits of connected reductive groups over local rings. We prove that generic higher Deligne Lusztig representations over truncated formal power series are non nilpotent, when the parameters are non trivial on the biggest reduction kernel of the centre we also establish a relation between the orbits of higher Deligne Lusztig representations of mathrm SL n and of mathrm GL n . Then we introduce a combinatorial analogue of Deligne Lusztig construction for general and special linear groups over local rings this construction generalises the higher Deligne Lusztig representations and affords all the nilpotent orbit representations, and for mathrm GL n it also affords all the regular orbit representations as well as the invariant characters of the Lie algebra.


How to define co occurrence in different domains of study?. This position paper presents a comparative study of co occurrences. Some similarities and differences in the definition exist depending on the research domain (e.g. linguistics, NLP, computer science). This paper discusses these points, and deals with the methodological aspects in order to identify co occurrences in a multidisciplinary paradigm.


Evolutionary graph theory derived from eco evolutionary dynamics. A biologically motivated individual based framework for evolution in network structured populations is developed that can accommodate eco evolutionary dynamics. This framework is used to construct a network birth and death model. The evolutionary graph theory model, which considers evolutionary dynamics only, is derived as a special case, highlighting additional assumptions that diverge from real biological processes. This is achieved by introducing a negative ecological feedback loop that suppresses ecological dynamics by forcing births and deaths to be coupled. We also investigate how fitness, a measure of reproductive success used in evolutionary graph theory, is related to the life history of individuals in terms of their birth and death rates. In simple networks, these ecologically motivated dynamics are used to provide new insight into the spread of adaptive mutations, both with and without clonal interference. For example, the star network, which is known to be an amplifier of selection in evolutionary graph theory, can inhibit the spread of adaptive mutations when individuals can die naturally.


Intelligent Architectures for Intelligent Machines. Computing is bottlenecked by data. Large amounts of application data overwhelm storage capability, communication capability, and computation capability of the modern machines we design today. As a result, many key applications' performance, efficiency and scalability are bottlenecked by data movement. In this keynote talk, we describe three major shortcomings of modern architectures in terms of 1) dealing with data, 2) taking advantage of the vast amounts of data, and 3) exploiting different semantic properties of application data. We argue that an intelligent architecture should be designed to handle data well. We show that handling data well requires designing architectures based on three key principles 1) data centric, 2) data driven, 3) data aware. We give several examples for how to exploit each of these principles to design a much more efficient and high performance computing system. We especially discuss recent research that aims to fundamentally reduce memory latency and energy, and practically enable computation close to data, with at least two promising novel directions 1) performing massively parallel bulk operations in memory by exploiting the analog operational properties of memory, with low cost changes, 2) exploiting the logic layer in 3D stacked memory technology in various ways to accelerate important data intensive applications. We discuss how to enable adoption of such fundamentally more intelligent architectures, which we believe are key to efficiency, performance, and sustainability. We conclude with some guiding principles for future computing architecture and system designs.


On the Security of A Remote Cloud Storage Integrity Checking Protocol. Data security and privacy is an important but challenging problem in cloud computing. One of the security concerns from cloud users is how to efficiently verify the integrity of their data stored on the cloud server. Third Party Auditing (TPA) is a new technique proposed in recent years to achieve this goal. In a recent paper (IEEE Transactions on Computers 62(2) 362 375 (2013)), Wang et al. proposed a highly efficient and scalable TPA protocol and also a Zero Knowledge Public Auditing protocol which can prevent offline guessing attacks. However, in this paper, we point out several security weaknesses in Wang et al's protocols first, we show that an attacker can arbitrarily modify the cloud data without being detected by the auditor in the integrity checking process, and the attacker can achieve this goal even without knowing the content of the cloud data or any verification metadata maintained by the cloud server secondly, we show that the Zero Knowledge Public Auditing protocol cannot achieve its design goal, that is to prevent offline guessing attacks.


Roto Translation Equivariant Convolutional Networks Application to Histopathology Image Analysis. Rotation invariance is a desired property of machine learning models for medical image analysis and in particular for computational pathology applications. We propose a framework to encode the geometric structure of the special Euclidean motion group SE(2) in convolutional networks to yield translation and rotation equivariance via the introduction of SE(2) group convolution layers. This structure enables models to learn feature representations with a discretized orientation dimension that guarantees that their outputs are invariant under a discrete set of rotations. Conventional approaches for rotation invariance rely mostly on data augmentation, but this does not guarantee the robustness of the output when the input is rotated. At that, trained conventional CNNs may require test time rotation augmentation to reach their full capability. This study is focused on histopathology image analysis applications for which it is desirable that the arbitrary global orientation information of the imaged tissues is not captured by the machine learning models. The proposed framework is evaluated on three different histopathology image analysis tasks (mitosis detection, nuclei segmentation and tumor classification). We present a comparative analysis for each problem and show that consistent increase of performances can be achieved when using the proposed framework.


q Algebraic Equations, their power series solutions, and the asymptotic behavior of their coefficients. We give a systematic study of q algebraic equations. The questions of existence, uniqueness and regularity of the solutions are solved in the space of grid based Hahn series. The regularity is understood in terms of asymptotic behavior of coefficients, and is the main focus of this work. The results and algorithms are illustrated by many examples.


CNN based Cost Volume Analysis as Confidence Measure for Dense Matching. Due to its capability to identify erroneous disparity assignments in dense stereo matching, confidence estimation is beneficial for a wide range of applications, e.g. autonomous driving, which needs a high degree of confidence as mandatory prerequisite. Especially, the introduction of deep learning based methods resulted in an increasing popularity of this field in recent years, caused by a significantly improved accuracy. Despite this remarkable development, most of these methods rely on features learned from disparity maps only, not taking into account the corresponding 3 dimensional cost volumes. However, it was already demonstrated that with conventional methods based on hand crafted features this additional information can be used to further increase the accuracy. In order to combine the advantages of deep learning and cost volume based features, in this paper, we propose a novel Convolutional Neural Network (CNN) architecture to directly learn features for confidence estimation from volumetric 3D data. An extensive evaluation on three datasets using three common dense stereo matching techniques demonstrates the generality and state of the art accuracy of the proposed method.


A Certainty Equivalence Result in Team Optimal Control of Mean Field Coupled Markov Chains. This paper studies a large number of homogeneous Markov decision processes where the transition probabilities and costs are coupled in the empirical distribution of states (also called mean field). The state of each process is not known to others, which means that the information structure is fully decentralized. The objective is to minimize the average cost, defined as the empirical mean of individual costs, for which a sub optimal solution is proposed. This solution does not depend on the number of processes, yet it converges to the optimal solution of the so called mean field sharing as the number of processes tends to infinity. Under some mild conditions, it is shown that the convergence rate of the proposed decentralized solution is proportional to the square root of the inverse of the number of processes. Finding this sub optimal solution involves a non smooth non convex optimization problem over an uncountable set, in general. To overcome this drawback, a combinatorial optimization problem is introduced that achieves the same rate of convergence.


A Review of Robot Learning for Manipulation Challenges, Representations, and Algorithms. A key challenge in intelligent robotics is creating robots that are capable of directly interacting with the world around them to achieve their goals. The last decade has seen substantial growth in research on the problem of robot manipulation, which aims to exploit the increasing availability of affordable robot arms and grippers to create robots capable of directly interacting with the world to achieve their goals. Learning will be central to such autonomous systems, as the real world contains too much variation for a robot to expect to have an accurate model of its environment, the objects in it, or the skills required to manipulate them, in advance. We aim to survey a representative subset of that research which uses machine learning for manipulation. We describe a formalization of the robot manipulation learning problem that synthesizes existing research into a single coherent framework and highlight the many remaining research opportunities and challenges.


A chemo mechano thermodynamical contact theory for adhesion, friction and (de)bonding reactions. This work presents a self contained continuum formulation for coupled chemical, mechanical and thermal contact interactions. The formulation is very general and hence admits arbitrary geometry, deformation and material behavior. All model equations are derived rigorously from the balance laws of mass, momentum, energy and entropy in the framework of irreversible thermodynamics, thus exposing all the coupling present in the field equations and constitutive relations. In the process, the conjugated kinematic and kinetic variables for mechanical, thermal and chemical contact are identified, and the analogies between mechanical, thermal and chemical contact are highlighted. Particular focus is placed on the thermodynamics of chemical bonding distinguishing between exothermic and endothermic contact reactions. Distinction is also made between long range, non touching surface interactions and short range, touching contact. For all constitutive relations examples are proposed and discussed comprehensively with particular focus on their coupling. Finally, three analytical test cases are presented that illustrate the thermo chemo mechanical contact coupling and are useful for verifying computational models. While the main novelty is the extension of existing contact formulations to chemical contact, the presented formulation also sheds new light on thermo mechanical contact, since it is consistently derived from basic principles using only few assumptions.


Improved Res2Net model for Person re identification. Person re identification has become a very popular research topic in the computer vision community owing to its numerous applications and growing importance in visual surveillance. Person re identification remains challenging due to occlusion, illumination and significant intra class variations across different cameras. In this paper, we propose a multi task network base on an improved Res2Net model that simultaneously computes the identification loss and verification loss of two pedestrian images. Given a pair of pedestrian images, the system predicts the identities of the two input images and whether they belong to the same identity. In order to obtain deeper feature information of pedestrians, we propose to use the latest Res2Net model for feature extraction of each input image. Experiments on several large scale person re identification benchmark datasets demonstrate the accuracy of our approach. For example, rank 1 accuracies are 83.18 ( 1.38) and 93.14 ( 0.84) for the DukeMTMC and Market 1501 datasets, respectively. The proposed method shows encouraging improvements compared with state of the art methods.


Metapopulation network models for understanding, predicting and managing the coronavirus disease COVID 19. Mathematical models of SARS CoV 2 spread are used for guiding the design of mitigation steps aimed at containing and decelerating the contagion, and at identifying impending breaches of health care system surge capacity. The challenges of having only lacunary information about daily new infections are compounded by the geographic heterogeneity of the population. To address this problem, we propose to account for the differences between rural and urban settings using network based, distributed models where the spread of the pandemic is described in distinct local cohorts with nested SEIR models. The setting of the model parameters takes into account the fact that SARS CoV 2 transmission occurs mostly via human to human contact, and that the frequency of contact among individuals differs between urban and rural areas, and may change over time. Moreover, the probability that the virus spreads into an uninfected community is associated with influx of individuals from other communities where the infection is present. To account for these important aspects, each node of the network is characterized by the frequency of contact between its members and by its level of connectivity with other nodes. Census and cell phone data can be used to set up the adjacency matrix of the network, which can, in turn, be modified to account for different levels of mitigation measures. In order to make the network SEIR model that we propose easy to customize, it is formulated in terms of easily interpretable parameters that can be estimated from available community level data. The models parameters are estimated with Bayesian techniques using COVID 19 data for the states of Ohio and Michigan. The network model also gives rise to a geographically distributed computational model that explains the geographic dynamics of the contagion, e.g., in larger cities surrounded by suburban and rural areas.


WatchDog Real time Vehicle Tracking on Geo distributed Edge Nodes. Vehicle tracking, a core application to smart city video analytics, is becoming more widely deployed than ever before thanks to the increasing number of traffic cameras and recent advances of computer vision and machine learning. Due to the constraints of bandwidth, latency, and privacy concerns, tracking tasks are more preferable to run on edge devices sitting close to the cameras. However, edge devices are provisioned with a fixed amount of compute budget, making them incompetent to adapt to time varying tracking workloads caused by traffic dynamics. In coping with this challenge, we propose WatchDog, a real time vehicle tracking system fully utilizes edge nodes across the road network. WatchDog leverages computer vision tasks with different resource accuracy trade offs, and decompose and schedule tracking tasks judiciously across edge devices based on the current workload to maximize the number of tasks while ensuring a provable response time bound at each edge device. Extensive evaluations have been conducted using real world city wide vehicle trajectory datasets, showing a 100 tracking coverage with real time guarantee.


The index of nilpotent Lie poset algebras. We establish combinatorial formulas for the index of a class of matrix Lie algebras whose matrix forms are encoded by strict partial orderings.


Contact Tracing An Overview of Technologies and Cyber Risks. The 2020 COVID 19 pandemic has led to a global lockdown with severe health and economical consequences. As a result, authorities around the globe have expressed their needs for better tools to monitor the spread of the virus and to support human labor. Researchers and technology companies such as Google and Apple have offered to develop such tools in the form of contact tracing applications. The goal of these applications is to continuously track people's proximity and to make the smartphone users aware if they have ever been in contact with positively diagnosed people, so that they could self quarantine and possibly have an infection test. A fundamental challenge with these smartphone based contact tracing technologies is to ensure the security and privacy of their users. Moving from manual to smartphone based contact tracing creates new cyber risks that could suddenly affect the entire population. Major risks include for example the abuse of the people's private data by companies and or authorities, or the spreading of wrong alerts by malicious users in order to force individuals to go into quarantine. In April 2020, the Pan European Privacy Preserving Proximity Tracing (PEPP PT) was announced with the goal to develop and evaluate secure solutions for European countries. However, after a while, several team members left this consortium and created DP 3T which has led to an international debate among the experts. At this time, it is confusing for the non expert to follow this debate this report aims to shed light on the various proposed technologies by providing an objective assessment of the cybersecurity and privacy risks. We first review the state of the art in digital contact tracing technologies and then explore the risk utility trade offs of the techniques proposed for COVID 19. We focus specifically on the technologies that are already adopted by certain countries.


Fair Division Without Disparate Impact. We consider the problem of dividing items between individuals in a way that is fair both in the sense of distributional fairness and in the sense of not having disparate impact across protected classes. An important existing mechanism for distributionally fair division is competitive equilibrium from equal incomes (CEEI). Unfortunately, CEEI will not, in general, respect disparate impact constraints. We consider two types of disparate impact measures requiring that allocations be similar across protected classes and requiring that average utility levels be similar across protected classes. We modify the standard CEEI algorithm in two ways equitable equilibrium from equal incomes, which removes disparate impact in allocations, and competitive equilibrium from equitable incomes which removes disparate impact in attained utility levels. We show analytically that removing disparate impact in outcomes breaks several of CEEI's desirable properties such as envy, regret, Pareto optimality, and incentive compatibility. By contrast, we can remove disparate impact in attained utility levels without affecting these properties. Finally, we experimentally evaluate the tradeoffs between efficiency, equity, and disparate impact in a recommender system based market.


Thinging the Use Case Model. Use cases as textual visual modeling techniques have become a key construct and the foundation of the most popular de facto standard technique for performing software requirements analysis and specification. This paper describes use cases in terms of a recently proposed model, the thinging machine (TM) model. Such a link to TM strengthens the notion of use cases and clarifies related concepts. For example, the concept of events is utilized in an unconstrained way in use cases, and TM may contribute in this direction. Several selected use cases are remodeled using TM. This study provides many insights. For example, one result shows that use cases are an activation apparatus of mega triggering (high level events) wherein a group of submachines (processes) are actuated.


Minimal Solvers for Rectifying from Radially Distorted Scales and Change of Scales. This paper introduces the first minimal solvers that jointly estimate lens distortion and affine rectification from the image of rigidly transformed coplanar features. The solvers work on scenes without straight lines and, in general, relax strong assumptions about scene content made by the state of the art. The proposed solvers use the affine invariant that coplanar repeats have the same scale in rectified space. The solvers are separated into two groups that differ by how the equal scale invariant of rectified space is used to place constraints on the lens undistortion and rectification parameters. We demonstrate a principled approach for generating stable minimal solvers by the Gr "obner basis method, which is accomplished by sampling feasible monomial bases to maximize numerical stability. Synthetic and real image experiments confirm that the proposed solvers demonstrate superior robustness to noise compared to the state of the art. Accurate rectifications on imagery taken with narrow to fisheye field of view lenses demonstrate the wide applicability of the proposed method. The method is fully automatic.


Bayesian inversion for electromyography using low rank tensor formats. The reconstruction of the structure of biological tissue using electromyographic data is a non invasive imaging method with diverse medical applications. Mathematically, this process is an inverse problem. Furthermore, electromyographic data are highly sensitive to changes in the electrical conductivity that describes the structure of the tissue. Modeling the inevitable measurement error as a stochastic quantity leads to a Bayesian approach. Solving the discretized Bayes inverse problem means drawing samples from the posterior distribution of parameters, e.g., the conductivity, given measurement data. Using, e.g., a Metropolis Hastings algorithm for this purpose involves solving the forward problem for different parameter combinations which requires a high computational effort. Low rank tensor formats can reduce this effort by providing a data sparse representation of all occurring linear systems of equations simultaneously and allow for their efficient solution. The application of Bayes' theorem proves the well posedness of the Bayes inverse problem. The derivation and proof of a low rank representation of the forward problem allow for the precomputation of all solutions of this problem under certain assumptions, resulting in an efficient and theory based sampling algorithm. Numerical experiments support the theoretical results, but also indicate that a high number of samples is needed to obtain reliable estimates for the parameters. The Metropolis Hastings sampling algorithm, using the precomputed forward solution in a tensor format, draws this high number of samples and therefore enables solving problems which are infeasible using classical methods.


A Multi Modal Method for Satire Detection using Textual and Visual Cues. Satire is a form of humorous critique, but it is sometimes misinterpreted by readers as legitimate news, which can lead to harmful consequences. We observe that the images used in satirical news articles often contain absurd or ridiculous content and that image manipulation is used to create fictional scenarios. While previous work have studied text based methods, in this work we propose a multi modal approach based on state of the art visiolinguistic model ViLBERT. To this end, we create a new dataset consisting of images and headlines of regular and satirical news for the task of satire detection. We fine tune ViLBERT on the dataset and train a convolutional neural network that uses an image forensics technique. Evaluation on the dataset shows that our proposed multi modal approach outperforms image only, text only, and simple fusion baselines.


Randomized Fast Subspace Descent Methods. Randomized Fast Subspace Descent (RFASD) Methods are developed and analyzed for smooth and non constraint convex optimization problems. The efficiency of the method relies on a space decomposition which is stable in A norm, and meanwhile, the condition number kappa A measured in A norm is small. At each iteration, the subspace is chosen randomly either uniformly or by a probability proportional to the local Lipschitz constants. Then in each chosen subspace, a preconditioned gradient descent method is applied. RFASD converges sublinearly for convex functions and linearly for strongly convex functions. Comparing with the randomized block coordinate descent methods, the convergence of RFASD is faster provided kappa A is small and the subspace decomposition is A stable. This improvement is supported by considering a multilevel space decomposition for Nesterov's worst' problem.


Continuous Phase Modulation With 1 Bit Quantization and Oversampling Using Iterative Detection and Decoding. A channel with continuous phase modulation and 1 bit ADC with oversampling is considered. Due to oversampling, higher order modulations yield a higher achievable rate and this work presents a method to approach this with sophisticated coding. A tailored bit mapping is proposed where two bits can be detected reliably at high SNR and only the third bit suffers from an error floor. With this, a convolutional code is only applied to the third bit. Our experiments with a turbo receiver show that the proposed method corresponds to a lower BER in comparison to the case of conventional channel coding.


Swap Stability in Schelling Games on Graphs. We study a recently introduced class of strategic games that is motivated by and generalizes Schelling's well known residential segregation model. These games are played on undirected graphs, with the set of agents partitioned into multiple types each agent either occupies a node of the graph and never moves away or aims to maximize the fraction of her neighbors who are of her own type. We consider a variant of this model that we call swap Schelling games, where the number of agents is equal to the number of nodes of the graph, and agents may em swap positions with other agents to increase their utility. We study the existence, computational complexity and quality of equilibrium assignments in these games, both from a social welfare perspective and from a diversity perspective.


The two sorted algebraic theory of states, and the universal states of MV algebras. We introduce a two sorted algebraic theory whose models are states of MV algebras and, to within a categorical equivalence that extends Mundici's well known one, states of Abelian lattice groups with (strong order) unit. We discuss free states, and their relation to the universal state of an MV algebra. We clarify the relationship of such universal states with the theory of affine representations of lattice groups. Main result The universal state of any locally finite MV algebra in particular, of any Boolean algebra has semisimple codomain.


CSD Discriminance with Conic Section for Improving Reverse k Nearest Neighbors Queries. The reverse k nearest neighbor (R k NN) query finds all points that have the query point as one of their k nearest neighbors ( k NN), where the k NN query finds the k closest points to its query point. Based on the characteristics of conic section, we propose a discriminance, named CSD (Conic Section Discriminance), to determine points whether belong to the R k NN set without issuing any queries with non constant computational complexity. By using CSD, we also implement an efficient R k NN algorithm CSD R k NN with a computational complexity at O(k 1.5 cdot log ,k) . The comparative experiments are conducted between CSD R k NN and other two state of the art RkNN algorithms, SLICE and VR R k NN. The experimental results indicate that the efficiency of CSD R k NN is significantly higher than its competitors.


Modified Riemann sums of Riemann Stieltjes integrable functions. In this paper, motivated by physical considerations, we introduce the notion of modified Riemann sums of Riemann Stieltjes integrable functions, show that they converge, and compute them explicitely under various assumptions.


Towards Sealed Resistive Plate Chambers. The mitigation of human induced climate change is of crucial importance for the sustainability of humankind. For this aim the RPC community has exerted considerable effort over the last decade to reduce the emission of greenhouse gases from our detectors. These included searching for new eco friendly gases, implementing recovery and or recirculation systems, improving gastightness and using new materials and approaches in detector conception and operation for the reduction of gas flow rates. Along this line of work, we present here an RPC architecture aimed at a dramatic reduction of gas use in chambers meant for low rate operation. Two chambers were tested for more than six months with zero gas flow showing no evidence of time related effects, allowing to consider that permanently sealed RPCs may be within reach, with obvious practical and environmental advantages.


Using a theory of mind to find best responses to memory one strategies. Memory one strategies are a set of Iterated Prisoner's Dilemma strategies that have been praised for their mathematical tractability and performance against single opponents. This manuscript investigates best response memory one strategies with a theory of mind for their opponents. The results add to the literature that has shown that extortionate play is not always optimal by showing that optimal play is often not extortionate. They also provide evidence that memory one strategies suffer from their limited memory in multi agent interactions and can be out performed by optimised strategies with longer memory. We have developed a theory that has allowed to explore the entire space of memory one strategies. The framework presented is suitable to study memory one strategies in the Prisoner's Dilemma, but also in evolutionary processes such as the Moran process, Furthermore, results on the stability of defection in populations of memory one strategies are also obtained.


Ramsey monoids. Recently, Solecki introduced the notion of Ramsey monoid to produce a common generalization to theorems such as Hindman's theorem, Carlson's theorem, and Gowers' FIN k theorem. He proved that an entire class of finite monoids is Ramsey. Here we improve this result, enlarging this class and finding a simple algebraic characterization of finite Ramsey monoids. We extend in a similar way a result of Solecki regarding a second class of monoids connected to the Furstenberg Katznelson Ramsey Theorem. The results obtained suggest a possible connection with Sch "utzenberger's theorem and finite automata theory.


Domain Adaptation of Learned Features for Visual Localization. We tackle the problem of visual localization under changing conditions, such as time of day, weather, and seasons. Recent learned local features based on deep neural networks have shown superior performance over classical hand crafted local features. However, in a real world scenario, there often exists a large domain gap between training and target images, which can significantly degrade the localization accuracy. While existing methods utilize a large amount of data to tackle the problem, we present a novel and practical approach, where only a few examples are needed to reduce the domain gap. In particular, we propose a few shot domain adaptation framework for learned local features that deals with varying conditions in visual localization. The experimental results demonstrate the superior performance over baselines, while using a scarce number of training examples from the target domain.


Unwinding the relative Tate diagonal. We show that a spectral sequence developed by Lipshitz and Treumann, for application to Heegaard Floer theory, converges to a localized form of topological Hochschild homology with coefficients. This allows us to show that the target of this spectral sequence can be identified with Hochschild homology when the topological Hochschild homology is torsion free as a module over mathrm THH ( mathbb F 2) , parallel to results of Mathew on degeneration of the Hodge to de Rham spectral sequence. To carry this out, we apply work of Nikolaus Scholze to develop a general Tate diagonal for Hochschild like diagrams of spectra that respect a decomposition into tensor products. This allows us to discuss the extent to which there can be a Tate diagonal for relative topological Hochschild homology.


RikiNet Reading Wikipedia Pages for Natural Question Answering. Reading long documents to answer open domain questions remains challenging in natural language understanding. In this paper, we introduce a new model, called RikiNet, which reads Wikipedia pages for natural question answering. RikiNet contains a dynamic paragraph dual attention reader and a multi level cascaded answer predictor. The reader dynamically represents the document and question by utilizing a set of complementary attention mechanisms. The representations are then fed into the predictor to obtain the span of the short answer, the paragraph of the long answer, and the answer type in a cascaded manner. On the Natural Questions (NQ) dataset, a single RikiNet achieves 74.3 F1 and 57.9 F1 on long answer and short answer tasks. To our best knowledge, it is the first single model that outperforms the single human performance. Furthermore, an ensemble RikiNet obtains 76.1 F1 and 61.3 F1 on long answer and short answer tasks, achieving the best performance on the official NQ leaderboard


Hilbert's 16th problem. II. Pfaffian equations and variational methods. Starting from a Pfaffian equation in dimension N and focusing on compact solutions for it, we place in perspective the variational method used in 29 to solve Hilbert's 16th problem. In addition to exploring how this viewpoint can help in detecting and finding approximations for limit cycles of planar systems, we recall some of the initial important facts of the full program developed in 29 to motivate that the same proposal could eventually be used in other situations. In particular, we make some initial interesting calculations in dimension N 3 that lead to some similar initial conclusions as with the case N 2 .


Efficient, positive, and energy stable schemes for multi D Poisson Nernst Planck systems. In this paper, we design, analyze, and numerically validate positive and energy dissipating schemes for solving the time dependent multi dimensional system of Poisson Nernst Planck (PNP) equations, which has found much use in the modeling of biological membrane channels and semiconductor devices. The semi implicit time discretization based on a reformulation of the system gives a well posed elliptic system, which is shown to preserve solution positivity for arbitrary time steps. The first order (in time) fully discrete scheme is shown to preserve solution positivity and mass conservation unconditionally, and energy dissipation with only a mild O(1) time step restriction. The scheme is also shown to preserve the steady state. For the fully second order (in both time and space) scheme with large time steps, solution positivity is restored by a local scaling limiter, which is shown to maintain the spatial accuracy. These schemes are easy to implement. Several three dimensional numerical examples verify our theoretical findings and demonstrate the accuracy, efficiency, and robustness of the proposed schemes, as well as the fast approach to steady states.


Brain Network Construction and Classification Toolbox (BrainNetClass). Brain functional network has become an increasingly used approach in understanding brain functions and diseases. Many network construction methods have been developed, whereas the majority of the studies still used static pairwise Pearson's correlation based functional connectivity. The goal of this work is to introduce a toolbox namely "Brain Network Construction and Classification" (BrainNetClass) to the field to promote more advanced brain network construction methods. It comprises various brain network construction methods, including some state of the art methods that were recently developed to capture more complex interactions among brain regions along with connectome feature extraction, reduction, parameter optimization towards network based individualized classification. BrainNetClass is a MATLAB based, open source, cross platform toolbox with graphical user friendly interfaces for cognitive and clinical neuroscientists to perform rigorous computer aided diagnosis with interpretable result presentations even though they do not possess neuroimage computing and machine learning knowledge. We demonstrate the implementations of this toolbox on real resting state functional MRI datasets. BrainNetClass (v1.0) can be downloaded from https github.com zzstefan BrainNetClass.


The Jiang Su algebra is strongly self absorbing revisited. We give a shorter proof of the fact that the Jiang Su algebra is strongly self absorbing. This is achieved by introducing and studying so called unitarily suspended endomorphisms of generalized dimension drop algebras. Along the way we prove uniqueness and existence results for maps between dimension drop algebras and UHF algebras.


Diffractive imaging of dissociation and ground state dynamics in a complex molecule. We have investigated the structural dynamics in photoexcited 1,2 diiodotetrafluoroethane molecules (C2F4I2) in the gas phase experimentally using ultrafast electron diffraction and theoretically using FOMO CASCI excited state dynamics simulations. The molecules are excited by an ultra violet femtosecond laser pulse to a state characterized by a transition from the iodine 5p orbital to a mixed 5p hole and CF2 antibonding orbital, which results in the cleavage of one of the carbon iodine bonds. We have observed, with sub Angstrom resolution, the motion of the nuclear wavepacket of the dissociating iodine atom followed by coherent vibrations in the electronic ground state of the C2F4I radical. The radical reaches a stable classical (non bridged) structure in less than 200 fs.


Existence of n cycles and border collision bifurcations in piecewise linear continuous maps with applications to recurrent neural networks. Piecewise linear recurrent neural networks (PLRNNs) form the basis of many successful machine learning applications for time series prediction and dynamical systems identification, but rigorous mathematical analysis of their dynamics and properties is lagging behind. Here we contribute to this topic by investigating the existence of n cycles (n geq 3) and border collision bifurcations in a class of n dimensional piecewise linear continuous maps which have the general form of a PLRNN. This is particularly important as for one dimensional maps the existence of 3 cycles implies chaos. It is shown that these n cycles collide with the switching boundary in a border collision bifurcation, and parametric regions for the existence of both stable and unstable n cycles and border collision bifurcations will be derived theoretically. We then discuss how our results can be extended and applied to PLRNNs. Finally, numerical simulations demonstrate the implementation of our results and are found to be in good agreement with the theoretical derivations. Our findings thus provide a basis for understanding periodic behavior in PLRNNs, how it emerges in bifurcations, and how it may lead into chaos.


Prospect for application of mathematical models in combination cancer treatments. The long term efficacy of targeted therapeutics for cancer treatment can be significantly limited by the type of therapy and development of drug resistance, inter alia. Experimental studies indicate that the factors enhancing acquisition of drug resistance in cancer cells include cell heterogeneity, drug target alteration, drug inactivation, DNA damage repair, drug efflux, cell death inhibition, as well as microenvironmental adaptations to targeted therapy, among others. Combination cancer therapies (CCTs) are employed to overcome these molecular and pathophysiological bottlenecks and improve the overall survival of cancer patients. CCTs often utilize multiple combinatorial modes of action and thus potentially constitute a promising approach to overcome drug resistance. Considering the colossal cost, human effort, time and ethical issues involved in clinical drug trials and basic medical research, mathematical modeling and analysis can potentially contribute immensely to the discovery of better cancer treatment regimens. In this article, we review mathematical models on CCTs developed thus far for cancer management. Open questions are highlighted and plausible combinations are discussed based on the level of toxicity, drug resistance, survival benefits, preclinical trials and other side effects.


Poincar 'e and Sobolev type inequalities for complex m Hessian equations. By using quasi Banach techniques as key ingredient we prove Poincar 'e and Sobolev type inequalities for m subharmonic functions with finite (p,m) energy. A consequence of the Sobolev type inequality is a partial confirmation of B l ocki's integrability conjecture for m subharmonic functions.


On Semi Stochastic Model for Multi Stage Decision Making Under Uncertainty. We propose a (seemingly) new computationally tractable model for multi stage decision making under stochastic uncertainty.


Distinguishing Hermitian cusp forms of degree 2 by a certain subset of all Fourier coefficients. We prove that Hermitian cusp forms of weight k for the Hermitian modular group of degree 2 are determined by their Fourier coefficients indexed by matrices whose determinants are essentially square free. Moreover, we give a quantitative version of the above result. This is a consequence of the corresponding results for integral weight elliptic cusp forms, which are also treated in this paper.


Immersion in Rn by Complex irreducible Spinors. The first time that the connection between isometric immersion of surfaces and solutions of the Dirac equation appeared in the literature was in the seminal paper of Thomas Friedrich in 1998. In consequence of that, several authors contributed to this topic hereafter, by obtaining the spinorial representation of Spin manifolds with arbitrary dimension and also by presenting a generalization of the Weierstrass representation map, for example. All these results assume that the manifolds and bundles involved carry a Spin structure, however this hypothesis is somehow restrictive, as for instance, if we consider complex manifolds, it is more natural to consider SpinC structures. There exist an alternative to adapt this result to SpinC manifolds, where the idea is to use the left regular representation of a Clifford algebra in itself to build the spinor bundles, but unlike the original works of Friedrich and Morel, this representation is not irreducible. Thus, this paper aims to present the spinorial representation of SpinC manifolds into Euclidian space with arbitrary dimensions using spinors that came from an irreducible representation of a complex Clifford algebra.


Particle Swarm Optimization Stability Analysis using N Informers under Arbitrary Coefficient Distributions. This paper derives, under minimal modelling assumptions, a simple to use theorem for obtaining both order 1 and order 2 stability criteria for a common class of particle swarm optimization (PSO) variants. Specifically, PSO variants that can be rewritten as a finite sum of stochastically weighted difference vectors between a particle's position and swarm informers are covered by the theorem. Additionally, the use of the derived theorem allows a PSO practitioner to obtain stability criteria that contains no artificial restriction on the relationship between control coefficients. Almost all previous PSO stability results have provided stability criteria under the restriction that the social and cognitive control coefficients are equal such restrictions are not present when using the derived theorem. Using the derived theorem, as demonstration of its ease of use, stability criteria are derived without the imposed restriction on the relation between the control coefficients for three popular PSO variants.


Mixture Content Selection for Diverse Sequence Generation. Generating diverse sequences is important in many NLP applications such as question generation or summarization that exhibit semantically one to many relationships between source and the target sequences. We present a method to explicitly separate diversification from generation using a general plug and play module (called SELECTOR) that wraps around and guides an existing encoder decoder model. The diversification stage uses a mixture of experts to sample different binary masks on the source sequence for diverse content selection. The generation stage uses a standard encoder decoder model given each selected content from the source sequence. Due to the non differentiable nature of discrete sampling and the lack of ground truth labels for binary mask, we leverage a proxy for ground truth mask and adopt stochastic hard EM for training. In question generation (SQuAD) and abstractive summarization (CNN DM), our method demonstrates significant improvements in accuracy, diversity and training efficiency, including state of the art top 1 accuracy in both datasets, 6 gain in top 5 accuracy, and 3.7 times faster training over a state of the art model. Our code is publicly available at https github.com clovaai FocusSeq2Seq.


An optimum energy consumption hybrid algorithm for xln strategic design in wsns. In this paper, X Layer protocol is originated which executes mobility error prediction (MEP) algorithm to calculate the remaining energy level of each node. This X Layer protocol structure employs the mobility aware protocol that senses the mobility concerned to each node with the utilization of Ad hoc On Demand Distance Vector (AODV), which shares the information or data specific to the distance among individual nodes. With the help of this theory, the neighbour list will be updated only to those nodes which are mobile resulting in less energy consumption when compared to all (static mobile) other nodes in the network. Apart from the MEP algorithm, clustering head (CH) election algorithm has also been specified to identify the relevant clusters whether they exists within the network region or not. Also clustering multi hop routing (CMHR) algorithm was implemented in which the node can identify the cluster to which it belongs depending upon the distance from each cluster surrounding the node. Finally comprising the AODV routing protocol with the Two Ray Ground method, we implement X Layer protocol structure by considering MAC protocol in accordance to IEEE 802.15.4 to obtain the best results in energy consumption and also by reducing the energy wastage with respect to each node. The effective results had been illustrated through Network Simulator II platform.


Does "www." Mean Better Transport Layer Security?. Experience shows that most researchers and developers tend to treat plain domains (those that are not prefixed with "www" sub domains, e.g. "example.com") as synonyms for their equivalent www domains (those that are prefixed with "www" sub domains, e.g. "www.example.com"). In this paper, we analyse datasets of nearly two million plain domains against their equivalent www domains to answer the following question Do plain domains and their equivalent www domains differ in TLS security configurations and certificates? If so, to what extent? Our results provide evidence of an interesting phenomenon plain domains and their equivalent www domains differ in TLS security configurations and certificates in a non trivial number of cases. Furthermore, www domains tend to have stronger security configurations than their equivalent plain domains. Interestingly, this phenomenon is more prevalent in the most visited domains than in randomly chosen domains. Further analysis of the top domains dataset shows that 53.35 of the plain domains that show one or more weakness indicators (e.g. expired certificate) that are not shown in their equivalent www domains perform HTTPS redirection from HTTPS plain domains to their equivalent HTTPS www domains. Additionally, 24.71 of these redirections contains plain text HTTP intermediate URLs. In these cases, users see the final www domains with strong TLS configurations and certificates, but in fact, the HTTPS request has passed through plain domains that have less secure TLS configurations and certificates. Clearly, such a set up introduces a weak link in the security of the overall interaction.


Beyond the VCG Mechanism Truthful Reverse Auctions for Relay Selection with High Data Rates, High Base Station Utility and Low Interference in D2D Networks. Device to Device communication allows a cellular user (relay node) to relay data between the base station (BS) and another cellular user (destination node). We address the problem of designing reverse auctions to assign a relay node to each destination node, when there are multiple potential relay nodes and multiple destination nodes, in the scenarios where the transmission powers of the relay nodes are 1) fixed, 2) selected to achieve the data rates desired by destination nodes, and 3) selected so as to approximately maximize the BS's utility. We show that auctions based on the widely used Vickrey Clarke Groves (VCG) mechanism have several limitations in scenarios 1) and 2) also, in scenario 3), the VCG mechanism is not applicable. Hence, we propose novel reverse auctions for relay selection in each of the above three scenarios. We prove that all the proposed reverse auctions can be truthfully implemented as well as satisfy the individual rationality property. Using numerical computations, we show that in scenarios 1) and 2), our proposed auctions significantly outperform the auctions based on the VCG mechanism in terms of the data rates achieved by destination nodes, utility of the BS and or the interference cost incurred to the BS.


A Computationally Intelligent Hierarchical Authentication and Key Establishment Framework for Internet of Things. Our high expectations from Internet of Things (IoT) and how it will positively influence our lifestyles depend on a secure and trusted implementation of it, especially in the sensitive sectors such as health or financial. IoT platforms and solutions must provide Confidentiality, Integrity and Availability (CIA) in a secure and transparent way. Due to the extremely large scales of IoT, traditional centralized solutions for security provisioning cannot be employed in their original form. This article discusses the authentication problem in IoT, which is fundamental to providing CIA. We propose a hierarchical security architecture for this problem and focus on computationally lightweight authentication protocols which can intelligently distribute the computational load across multiple levels and effectively push the load towards upper layers.


Efficient algorithms for solving the p Laplacian in polynomial time. The p Laplacian is a nonlinear partial differential equation, parametrized by p in 1, infty . We provide new numerical algorithms, based on the barrier method, for solving the p Laplacian numerically in O( sqrt n log n) Newton iterations for all p in 1, infty , where n is the number of grid points. We confirm our estimates with numerical experiments.


Improving Question Answering over Incomplete KBs with Knowledge Aware Reader. We propose a new end to end question answering model, which learns to aggregate answer evidence from an incomplete knowledge base (KB) and a set of retrieved text snippets. Under the assumptions that the structured KB is easier to query and the acquired knowledge can help the understanding of unstructured text, our model first accumulates knowledge of entities from a question related KB subgraph then reformulates the question in the latent space and reads the texts with the accumulated entity knowledge at hand. The evidence from KB and texts are finally aggregated to predict answers. On the widely used KBQA benchmark WebQSP, our model achieves consistent improvements across settings with different extents of KB incompleteness.


A Mean Field Game Approach to Equilibrium Pricing with Market Clearing Condition. In this work, we study an equilibrium based continuous asset pricing problem which seeks to form a price process endogenously by requiring it to balance the flow of sales and purchase orders in the exchange market, where a large number of agents are interacting through the market price. Adopting a mean field game (MFG) approach, we find a special form of forward backward stochastic differential equations of McKean Vlasov type with common noise whose solution provides a good approximate of the market price. We show the convergence of the net order flow to zero in the large N limit and get the order of convergence in N under some conditions. We also extend the model to a setup with multiple populations where the agents within each population share the same cost and coefficient functions but they can be different population by population.


Segmentation of Skeletal Muscle in Thigh Dixon MRI Based on Texture Analysis. Segmentation of skeletal muscles in Magnetic Resonance Images (MRI) is essential for the study of muscle physiology and diagnosis of muscular pathologies. However, manual segmentation of large MRI volumes is a time consuming task. The state of the art on algorithms for muscle segmentation in MRI is still not very extensive and is somewhat database dependent. In this paper, an automated segmentation method based on AdaBoost classification of local texture features is presented. The texture descriptor consists of the Histogram of Oriented Gradients (HOG), Wavelet based features, and a set of statistical measures computed from both the original and the Laplacian of Gaussian filtering of the grayscale MRI. The classifier performance suggests that texture analysis may be a helpful tool for designing a generalized and automated MRI muscle segmentation framework. Furthermore, an atlas based approach to individual muscle segmentation is also described in this paper. The atlas is obtained by overlaying the muscle segmentation ground truth, provided by a radiologist, after image alignment using an appropriate affine transformation. Then, it is used to define the muscle labels upon the AdaBoost binary segmentation. The developed atlas method provides reasonable results when an accurate muscle tissue segmentation was obtained.


An update on reconfiguring 10 colorings of planar graphs. The reconfiguration graph R k(G) for the k colorings of a graph G has as vertex set the set of all possible proper k colorings of G and two colorings are adjacent if they differ in the color of exactly one vertex. A result of Bousquet and Perarnau (2016) regarding graphs of bounded degeneracy implies that if G is a planar graph with n vertices, then R 12 (G) has diameter at most 6n . We improve on the number of colors, showing that R 10 (G) has diameter at most 8n for every planar graph G with n vertices.


Quantifying the Impact of Making and Breaking Interface Habits. The frequency with which people interact with technology means that users may develop interface habits, i.e. fast, automatic responses to stable interface cues. Design guidelines often assume that interface habits are beneficial. However, we lack quantitative evidence of how the development of habits actually affect user performance and an understanding of how changes in the interface design may affect habit development. Our work quantifies the effect of habit formation and disruption on user performance in interaction. Through a forced choice lab study task (n 19) and in the wild deployment (n 18) of a notificationdialog experiment on smartphones, we show that people become more accurate and faster at option selection as they develop an interface habit. Crucially this performance gain is entirely eliminated once the habit is disrupted. We discuss reasons for this performance shift and analyse some disadvantages of interface habits, outlining general design patterns on how to both support and disrupt them.Keywords Interface habits, user behaviour, breaking habit, interaction science, quantitative research.


Grothendieck's Classification of Line Bundles over the Riemann Sphere. In this paper we look at Grothendieck's work on classifying holomorphic bundles over the complex projective line. The paper is divided into 4 parts. The first and second part we build up the necessary background to talk about vector bundles, sheaves, cohomology, etc. The main result of the 3 rd chapter is the classification of holomorphic vector bundles over the complex projective line. In the 4 th chapter we introduce principal G bundles and some of the theory behind them and finish off by proving Grothendieck's theorem in full generality. The goal is a (mostly) self contained proof of Grothendieck's result accessible to someone who has taken differential geometry.


Predict and recompute conjugate gradient variants. The standard implementation of the conjugate gradient algorithm suffers from communication bottlenecks on parallel architectures, due primarily to the two global reductions required every iteration. In this paper, we study conjugate gradient variants which decrease the runtime per iteration by overlapping global synchronizations, and in the case of pipelined variants, matrix vector products. Through the use of a predict and recompute scheme, whereby recursively updated quantities are first used as a predictor for their true values and then recomputed exactly at a later point in the iteration, these variants are observed to have convergence behavior nearly as good as the standard conjugate gradient implementation on a variety of test problems. We provide a rounding error analysis which provides insight into this observation. It is also verified experimentally that the variants studied do indeed reduce the runtime per iteration in practice and that they scale similarly to previously studied communication hiding variants. Finally, because these variants achieve good convergence without the use of any additional input parameters, they have the potential to be used in place of the standard conjugate gradient implementation in a range of applications.