Mapping the near field spin angular momenta in the structured surface plasmon polaritons field. Optical spin angular momenta in a confined electromagnetic field exhibit remarkable difference with their free space counterparts, in particular, the optical transverse spin that is locked with the energy propagating direction lays the foundation for many intriguing physical effects such as unidirectional transportation, quantum spin Hall effect, photonic Skyrmion, etc. In order to investigate the underlying physics behind the spin orbit interactions as well as to develop the optical spin based applications, it is crucial to uncover the spin texture in a confined field, yet it faces challenge due to their chiral and near field vectorial features. Here, we propose a scanning imaging technique which can map the near field distributions of the optical spin angular momenta with an achiral dielectric nanosphere. The spin angular momentum component normal to the interface can be uncovered experimentally by employing the proposed scanning imaging technique and the three dimensional spin vector can be reconstructed theoretically with the experimental results. The experiment is demonstrated on the example of surface plasmon polaritons excited by various vector vortex beams under a tight focusing configuration, where the spin orbit interaction emerges clearly. The proposed method, which can be utilized to reconstruct the photonic Skyrmion and other photonic topological structures, is straightforward and of high precision, and hence it is expected to be valuable for the study of near field spin optics and topological photonics.


Modular forms and ellipsoidal T designs. In recent work, Miezaki introduced the notion of a spherical T d esign in mathbb R 2 , where T is a potentially infinite set. As an example, he offered the mathbb Z 2 lattice points with fixed integer norm (a.k.a. shells). These shells are maximal spherical T designs, where T mathbb Z setminus 4 mathbb Z . We generalize the notion of a spherical T design to special ellipses, and extend Miezaki's work to the norm form shells for rings of integers of imaginary quadratic fields with class number 1.


Does it Swing? Microtiming Deviations and Swing Feeling in Jazz. Jazz music that swings has the fascinating power to elicit a pleasant sensation of flow in listeners and the desire to synchronize body movements with the music. Whether microtiming deviations (MTDs), i.e. small timing deviations below the bar or phrase level, enhance the feeling of swing is highly debated in the current literature. Studies on other groove related genres did not find evidence for a positive impact of MTDs. The present study addresses jazz music and swing in particular, as there is some evidence that microtiming patterns are genre specific. We recorded twelve piano jazz standards played by a professional pianist and manipulated the natural MTDs of the recordings in systematic ways by quantizing, expanding and inverting them. MTDs were defined with respect to a grid determined by the average swing ratio. The original and manipulated versions were presented in an online survey and evaluated by 160 listeners with various musical skill levels and backgrounds. Across pieces the quantized versions (without MTDs) were rated slightly higher and versions with expanded MTDs were rated lower with regard to swing than the original recordings. Unexpectedly, inversion had no impact on swing ratings except for two pieces. Our results suggest that naturally fluctuating MTDs are not an essential factor for the feeling of swing.


SAFE d Self Attestation For Networks of Heterogeneous Embedded Devices. The Internet of Things (IoT) is an emerging paradigm that allows to set large networks of small and independent devices. To ensure their integrity, practitioners employ so called Remote Attestation (RA) schemes. Classic RA schemes require a central and powerful entity, called Verifier, that has mainly two duties (i) it manages the entire process of attestation, and (ii) it contains all the proofs for validating the devices' integrity. However, having a central Verifier makes the network dependent upon an external entity and introduces a single point of failure for security. In this work, we propose SAFE d the first RA schema that allows a pair of IoT devices to validate their integrity without relying on an external Verifier. Our approach overcomes previous limitations by spreading the proofs among multiple IoT devices and using novel cryptographic mechanisms to ensure secure communications. Moreover, the entire IoT network can collaboratively isolate tampered devices and recover missing proofs in case of anomalies. We evaluate our schema through an implementation for Raspberry Pi platform and a network simulation. The results show that SAFE d can detect infected devices and recover up to 99.9 of proofs in case of faults or attacks. Moreover, we managed to protect up to 10K devices with a logarithmic overhead on the network and on the devices' memory.


Pseudo RGB D for Self Improving Monocular SLAM and Depth Prediction. Classical monocular Simultaneous Localization And Mapping (SLAM) and the recently emerging convolutional neural networks (CNNs) for monocular depth prediction represent two largely disjoint approaches towards building a 3D map of the surrounding environment. In this paper, we demonstrate that the coupling of these two by leveraging the strengths of each mitigates the other's shortcomings. Specifically, we propose a joint narrow and wide baseline based self improving framework, where on the one hand the CNN predicted depth is leveraged to perform pseudo RGB D feature based SLAM, leading to better accuracy and robustness than the monocular RGB SLAM baseline. On the other hand, the bundle adjusted 3D scene structures and camera poses from the more principled geometric SLAM are injected back into the depth network through novel wide baseline losses proposed for improving the depth prediction network, which then continues to contribute towards better pose and 3D structure estimation in the next iteration. We emphasize that our framework only requires unlabeled monocular videos in both training and inference stages, and yet is able to outperform state of the art self supervised monocular and stereo depth prediction networks (e.g, Monodepth2) and feature based monocular SLAM system (i.e, ORB SLAM). Extensive experiments on KITTI and TUM RGB D datasets verify the superiority of our self improving geometry CNN framework.


Formalizing Data Deletion in the Context of the Right to be Forgotten. The right of an individual to request the deletion of their personal data by an entity that might be storing it referred to as the right to be forgotten has been explicitly recognized, legislated, and exercised in several jurisdictions across the world, including the European Union, Argentina, and California. However, much of the discussion surrounding this right offers only an intuitive notion of what it means for it to be fulfilled of what it means for such personal data to be deleted. In this work, we provide a formal definitional framework for the right to be forgotten using tools and paradigms from cryptography. In particular, we provide a precise definition of what could be (or should be) expected from an entity that collects individuals' data when a request is made of it to delete some of this data. Our framework captures several, though not all, relevant aspects of typical systems involved in data processing. While it cannot be viewed as expressing the statements of current laws (especially since these are rather vague in this respect), our work offers technically precise definitions that represent possibilities for what the law could reasonably expect, and alternatives for what future versions of the law could explicitly require. Finally, with the goal of demonstrating the applicability of our framework and definitions, we consider various natural and simple scenarios where the right to be forgotten comes up. For each of these scenarios, we highlight the pitfalls that arise even in genuine attempts at implementing systems offering deletion guarantees, and also describe technological solutions that provably satisfy our definitions. These solutions bring together techniques built by various communities.


On the Target Pebbling Conjecture. Graph pebbling is a network optimization model for satisfying vertex demands with vertex supplies (called pebbles), with partial loss of pebbles in transit. The pebbling number of a demand in a graph is the smallest number for which every placement of that many supply pebbles satisfies the demand. The Target Conjecture (Herscovici Hester Hurlbert, 2009) posits that the largest pebbling number of a demand of fixed size t occurs when the demand is entirely stacked on one vertex. This truth of this conjecture could be useful for attacking many open problems in graph pebbling, including the famous conjecture of Graham (1989) involving graph products. It has been verified for complete graphs, cycles, cubes, and trees. In this paper we prove the conjecture for 2 paths and Kneser graphs over pairs.


Gender Diversity in Computer Science at a Large Research University. With the number of Computer Science (CS) jobs on the rise, there is a greater need for Computer Science graduates than ever. At the same time, most CS departments across the country are only seeing 25 to 30 percent of female students in their classes, meaning that we are failing to draw interest from a large portion of the population. In this work, we explore the gender gap in CS at a large public research university, using three data sets that span thousands of students across 5 and a half academic years. By combining these data sets, we can explore many issues such as retention as students progress through the CS major. For example, we find that a large percentage of women taking the Introductory CS1 course for majors do not intend to major in CS, which contributes to a large increase in the gender gap immediately after CS1. This finding implies that a large part of the retention task is attracting these women to further explore the major. We report findings in three areas of research in the context of the CS department at our university the CS environment, the computing background of our students, and the students' grades. These findings may also be applicable to computing programs at other large public research universities.


On a class of stochastic programs with exponentially many scenarios. We consider a class of stochastic programs whose uncertain data has an exponential number of possible outcomes, where scenarios are affinely parametrized by the vertices of a tractable binary polytope. Under these conditions, we propose a novel formulation that introduces a modest number of additional variables and a class of inequalities that can be efficiently separated. Moreover, when the underlying polytope is the unit hypercube, we present an extended formulation of polynomial size that can be solved directly with off the shelf optimization software. We assess the advantages and limitations of our formulation through a computational study.


Efficient Parallel Simulation of Blood Flows in Abdominal Aorta. It is known that the maximum diameter for the rupture risk assessment of the abdominal aortic aneurysm is a generally good method, but not sufficient. Alternative features obtained with computational modeling may provide additional useful criteria. Though computational approaches are noninvasive, they are often time consuming because of the high computational complexity. In this paper, we present a highly parallel algorithm for the numerical simulation of unsteady blood flows in the patient specific abdominal aorta. We model the blood flow with the unsteady incompressible Navier Stokes equations, and solve the discretized system with a highly scalable domain decomposition method. With this approach, the complete flow field can be obtained in less than an hour, instead of days with older methods. We show experimentally that the proposed method offers accurate solutions of the pressure, the velocity and the wall shear stress, and the parallel efficiency is higher than 70 on a parallel computer with more than 1,000 processor cores.


A paradox of tournament seeding. We analyse a mathematical model of seeding for sports contests with round robin qualifying tournaments. The sufficient conditions for incentive compatibility are found to be quite restrictive if each team is considered with its own coefficient (usually a measure of its past performance), only one or all of them should qualify from every round robin tournament. Consequently, the standard draw system creates incentives for tanking as each team prefers to qualify with teams having a lower coefficient in order to face weaker opponents on average in the next stage. Major football competitions are shown to suffer from this weakness. Strategyproofness can be guaranteed by giving to each qualified team the highest coefficient of all teams that are ranked lower in its round robin tournament for seeding purposes. Our proposal is illustrated by the 2020 21 UEFA Champions League.


Incrementally Updated Spectral Embeddings. Several fundamental tasks in data science rely on computing an extremal eigenspace of size r ll n , where n is the underlying problem dimension. For example, spectral clustering and PCA both require the computation of the leading r dimensional subspace. Often, this process is repeated over time due to the possible temporal nature of the data e.g., graphs representing relations in a social network may change over time, and feature vectors may be added, removed or updated in a dataset. Therefore, it is important to efficiently carry out the computations involved to keep up with frequent changes in the underlying data and also to dynamically determine a reasonable size for the subspace of interest. We present a complete computational pipeline for efficiently updating spectral embeddings in a variety of contexts. Our basic approach is to "seed" iterative methods for eigenproblems with the most recent subspace estimate to significantly reduce the computations involved, in contrast with a na "ive approach which recomputes the subspace of interest from scratch at every step. In this setting, we provide various bounds on the number of iterations common eigensolvers need to perform in order to update the extremal eigenspace to a sufficient tolerance. We also incorporate a criterion for determining the size of the subspace based on successive eigenvalue ratios. We demonstrate the merits of our approach on the tasks of spectral clustering of temporally evolving graphs and PCA of an incrementally updated data matrix.


Reverse integral Hardy inequality on metric measure spaces. In this note, we obtain a reverse version of the integral Hardy inequality on metric measure spaces. Moreover, we give necessary and sufficient conditions for the weighted reverse Hardy inequality to be true. The main tool in our proof is a continuous version of the reverse Minkowski inequality. Also, we present some consequences of the obtained reverse Hardy inequality on the homogeneous groups, hyperbolic spaces and Cartan Hadamard manifolds.


Simulation Optimization of Automated Material Handling Systems in a Healthcare Facility. Automated material handling systems are used in healthcare facilities to optimize material flow, minimize workforce requirements, reduce the risk of contamination, and reduce injuries. This study proposes a framework that integrates data analysis with system simulation and optimization to address the following research questions (i) What are the implications of redesigning a hospital's material handling system? (ii) What are the implications of improving a hospital's material handling process? This paper develops a case study using data from the Greenville Memorial Hospital (GMH) in South Carolina, USA. The case study is focused on the delivery of surgical cases to operating rooms at GMH via Automated Guided Vehicles (AGVs). The data analysis provides distributions of travel times, AGV utilization, and AGV movement patterns in the current system. The results of data analysis are integrated in a simulation optimization model that incorporates the size of AGV fleet and the corresponding routes to improve system efficiency, increase AGV utilization, and reduce congestion. To address research question (i), a redesign of AGV pathways is evaluated to determine whether congestion is reduced. For research question (ii), the implementation of a Kanban system is proposed to improve AGV utilization by controlling the number of AGVs used daily, based on the volume of surgical cases. An extensive sensitivity analysis, simulation optimization experiments, and a pilot study are conducted and indicate that the proposed Kanban system leads to significant reductions in congestion and travel times and increased utilization of AGVs.


Planar Maximum Coverage Location Problem with Partial Coverage, Continuous Spatial Demand, and Adjustable Quality of Service. We consider a generalization of the classical planar maximum coverage location problem (PMCLP) in which partial coverage is allowed, facilities have adjustable quality of service (QoS) or service range, and demand zones and service zone of each facility are represented by two dimensional spatial objects such as rectangles, circles, polygons, etc. We denote this generalization by PMCLP PC QoS. A key challenge in this problem is to simultaneously decide position of the facilities on a continuous two dimensional plane and their QoS. We present a greedy algorithm and a pseudo greedy algorithm for it, and provide their approximation ratios. We also investigate theoretical properties and propose exact algorithms for solving (1) PMCLP PC QoS where demand and service zones are represented by axis parallel rectangles (denoted by PMCLP PCR QoS), which also has applications in camera surveillance and satellite imaging and (2) one dimensional PMCLP PC QoS which has applications in river cleanups. These results extend and strengthen the only known exact algorithm for PMCLP PCR QoS with fixed and same QoS by Bansal and Kianfar INFORMS Journal on Computing 29(1), 152 169, 2017 . We present results of our computational experiments conducted to evaluate the performance of our proposed exact and approximation algorithms.


Analogues of Katona's and Milner's Theorems for two families. Let n s 0 be integers, X an n element set and mathscr A , mathscr B subset 2 X two families. If A cup B le s for all A in mathscr A , B in mathscr B , then mathscr A and mathscr B are called cross s union. Assuming that neither mathscr A nor mathscr B is empty, we prove several best possible bounds. In particular, we show that mathscr A mathscr B le 1 sum limits 0 le i le s n choose i . Supposing n ge 2s and mathscr A , mathscr B are antichains, we show that mathscr A mathscr B le n choose 1 n choose s 1 unless mathscr A emptyset or mathscr B emptyset . An analogous result for three families is established as well.


Receptive Multi granularity Representation for Person Re Identification. A key for person re identification is achieving consistent local details for discriminative representation across variable environments. Current stripe based feature learning approaches have delivered impressive accuracy, but do not make a proper trade off between diversity, locality, and robustness, which easily suffers from part semantic inconsistency for the conflict between rigid partition and misalignment. This paper proposes a receptive multi granularity learning approach to facilitate stripe based feature learning. This approach performs local partition on the intermediate representations to operate receptive region ranges, rather than current approaches on input images or output features, thus can enhance the representation of locality while remaining proper local association. Toward this end, the local partitions are adaptively pooled by using significance balanced activations for uniform stripes. Random shifting augmentation is further introduced for a higher variance of person appearing regions within bounding boxes to ease misalignment. By two branch network architecture, different scales of discriminative identity representation can be learned. In this way, our model can provide a more comprehensive and efficient feature representation without larger model storage costs. Extensive experiments on intra dataset and cross dataset evaluations demonstrate the effectiveness of the proposed approach. Especially, our approach achieves a state of the art accuracy of 96.2 Rank 1 or 90.0 mAP on the challenging Market 1501 benchmark.


Scrambled Vandermonde Convolutions of Gaussian Polynomials. It is well known that Gaussian polynomials (i.e., q binomials) describe the distribution of the area statistic on monotone paths in a rectangular grid. We introduce two new statistics, corners and cindex attach ornaments'' to the grid and re evaluate these statistics, in order to argue that all scrambled versions of the cindex statistic are equidistributed with area . Our main result is a representation of the generating function for the bi statistic (cindex,corners) as a two variable Vandermonde convolution of the original Gaussian polynomial. The proof relies on explicit bijections between differently ornated paths.


HMTNet 3D Hand Pose Estimation from Single Depth Image Based on Hand Morphological Topology. Thanks to the rapid development of CNNs and depth sensors, great progress has been made in 3D hand pose estimation. Nevertheless, it is still far from being solved for its cluttered circumstance and severe self occlusion of hand. In this paper, we propose a method that takes advantage of human hand morphological topology (HMT) structure to improve the pose estimation performance. The main contributions of our work can be listed as below. Firstly, in order to extract more powerful features, we concatenate original and last layer of initial feature extraction module to preserve hand information better. Next, regression module inspired from hand morphological topology is proposed. In this submodule, we design a tree like network structure according to hand joints distribution to make use of high order dependency of hand joints. Lastly, we conducted sufficient ablation experiments to verify our proposed method on each dataset. Experimental results on three popular hand pose dataset show superior performance of our method compared with the state of the art methods. On ICVL and NYU dataset, our method outperforms great improvement over 2D state of the art methods. On MSRA dataset, our method achieves comparable accuracy with the state of the art methods. To summarize, our method is the most efficient method which can run at 220 7 fps on a single GPU compared with approximate accurate methods at present. The code will be available at.


ForMIC Foraging via Multiagent RL with Implicit Communication. Multi agent foraging (MAF) involves distributing a team of agents to search an environment and extract resources from it. Nature provides several examples of highly effective foragers, where individuals within the foraging collective use biological markers (e.g., pheromones) to communicate critical information to others via the environment. In this work, we propose ForMIC, a distributed reinforcement learning MAF approach that endows agents with implicit communication abilities via their shared environment. However, learning efficient policies with stigmergic interactions is highly nontrivial, since agents need to perform well to send each other useful signals, but also need to sense others' signals to perform well. In this work, we develop several key learning techniques for training policies with stigmergic interactions, where such a circular dependency is present. By relying on clever curriculum learning design, action filtering, and the introduction of non learning agents to increase the agent density at training time at low computational cost, we develop a minimal learning framework that leads to the stable training of efficient stigmergic policies. We present simulation results which demonstrate that our learned policy outperforms existing state of the art MAF algorithms in a set of experiments that vary team size, number and placement of resources, and key environmental dynamics not seen at training time.


3D Point Cloud Feature Explanations Using Gradient Based Methods. Explainability is an important factor to drive user trust in the use of neural networks for tasks with material impact. However, most of the work done in this area focuses on image analysis and does not take into account 3D data. We extend the saliency methods that have been shown to work on image data to deal with 3D data. We analyse the features in point clouds and voxel spaces and show that edges and corners in 3D data are deemed as important features while planar surfaces are deemed less important. The approach is model agnostic and can provide useful information about learnt features. Driven by the insight that 3D data is inherently sparse, we visualise the features learnt by a voxel based classification network and show that these features are also sparse and can be pruned relatively easily, leading to more efficient neural networks. Our results show that the Voxception ResNet model can be pruned down to 5 of its parameters with negligible loss in accuracy.


S4oC A Self optimizing, Self adapting Secure System on Chip Design Framework to Tackle Unknown Threats A Network Theoretic, Learning Approach. We propose a framework for the design and optimization of a secure self optimizing, self adapting system on chip (S4oC) architecture. The goal is to minimize the impact of attacks such as hardware Trojan and side channel, by making real time adjustments. S4oC learns to reconfigure itself, subject to various security measures and attacks, some of which possibly unknown at design time. Furthermore, the data types and patterns of the target applications, environmental conditions, and sources of variations are incorporated. S4oC is a manycore system, modeled as a four layer graph, representing the model of computation (MoCp), model of connection (MoCn), model of memory (MoM) and model of storage (MoS), with a large number of elements including heterogeneous reconfigurable processing elements in MoCp, and memory elements in the MoM layer. Security driven community detection, and neural networks are utilized for application task clustering, and distributed reinforcement learning (RL) for task mapping.


Recurrent Embedding Aggregation Network for Video Face Recognition. Recurrent networks have been successful in analyzing temporal data and have been widely used for video analysis. However, for video face recognition, where the base CNNs trained on large scale data already provide discriminative features, using Long Short Term Memory (LSTM), a popular recurrent network, for feature learning could lead to overfitting and degrade the performance instead. We propose a Recurrent Embedding Aggregation Network (REAN) for set to set face recognition. Compared with LSTM, REAN is robust against overfitting because it only learns how to aggregate the pre trained embeddings rather than learning representations from scratch. Compared with quality aware aggregation methods, REAN can take advantage of the context information to circumvent the noise introduced by redundant video frames. Empirical results on three public domain video face recognition datasets, IJB S, YTF, and PaSC show that the proposed REAN significantly outperforms naive CNN LSTM structure and quality aware aggregation methods.


Localisation des points de petite hauteur sur une courbe elliptique par un argument d' 'equidistribution. Classically, to find particular cases of a conjecture of R 'emond, we using a metric estimate, then a descent. In this paper, we give a new idea to deal with this kind of problem, where the metric estimate is replaced by an equidistribution argument.


Gabriel Zisman Cohomology and spectral sequences. Extending constructions by Gabriel and Zisman, we develop a functorial framework for the cohomology and homology of simplicial sets with very general coefficient systems given by functors on simplex categories into abelian categories. Furthermore we construct Leray type spectral sequences for any map of simplicial sets. We also show that these constructions generalise and unify the various existing versions of cohomology and homology of small categories and as a bonus provide new insight into their functoriality.


Online Versus Offline NMT Quality An In depth Analysis on English German and German English. We conduct in this work an evaluation study comparing offline and online neural machine translation architectures. Two sequence to sequence models convolutional Pervasive Attention (Elbayad et al. 2018) and attention based Transformer (Vaswani et al. 2017) are considered. We investigate, for both architectures, the impact of online decoding constraints on the translation quality through a carefully designed human evaluation on English German and German English language pairs, the latter being particularly sensitive to latency constraints. The evaluation results allow us to identify the strengths and shortcomings of each model when we shift to the online setup.


Energy Efficient Cross Layer Time Synchronization in Cognitive Radio Networks. Time synchronization is a vital concern for any Cognitive Radio Network (CRN) to perform dynamic spectrum management. Each Cognitive Radio (CR) node has to be environment aware and self adaptive and must have the ability to switch between multiple modulation schemes and frequencies. Achieving same notion of time within these CR nodes is essential to fulfill the requirements for simultaneous quiet periods for spectrum sensing. Current application layer time synchronization protocols require multiple timestamp exchanges to estimate skew between the clocks of CRN nodes. The proposed symbol timing recovery method already estimates the skew of hardware clock at the physical layer and use it for skew correction of application layer clock of each node. The heart of application layer clock is the hardware clock and hence application layer clock skew will be same as of physical layer and can be corrected from symbol timing recovery process. So one timestamp is enough to synchronize two CRN nodes. This conserves the energy utilized by application layer protocol and makes a CRN energy efficient and can achieve time synchronization in short span.


Bases for functions beyond the first Baire class. We provide a finite basis for the class of Borel functions that are not in the first Baire class, as well as the class of Borel functions that are not sigma continuous with closed witnesses.


A sparse equidistribution result for ( mathrm SL (2, mathbb R ) Gamma 0) n . Let G mathrm SL (2, mathbb R ) n , let Gamma Gamma 0 n , where Gamma 0 is a co compact lattice in mathrm SL (2, mathbb R ) , let F( mathbf x ) be a non singular quadratic form and let u(x 1,...,x n) denote the unipotent elements in G which generate the standard n dimensional horospherical subgroup, consisting of 2 times 2 upper triangular unipotent matrices in each co ordinate. We prove that in absence of any local obstructions for F , given any x 0 in G Gamma , the sparse subset u( mathbf x )x 0 in mathbb Z n, F( mathbf x ) 0 equidistributes in G Gamma as long as n geq 481 , independent of the spectral gap of Gamma 0 .


Asymptotics of Moore exponent sets. Let n be a positive integer and I a k subset of integers in 0,n 1 . Given a k tuple A ( alpha 0, cdots, alpha k 1 ) in mathbb F k q n , let M A,I denote the matrix ( alpha i q j ) with 0 leq i leq k 1 and j in I . When I 0,1, cdots, k 1 , M A,I is called a Moore matrix which was introduced by E. H. Moore in 1896. It is well known that the determinant of a Moore matrix equals 0 if and only if alpha 0, cdots, alpha k 1 are mathbb F q linearly dependent. We call I that satisfies this property a Moore exponent set. In fact, Moore exponent sets are equivalent to maximum rank distance (MRD) code with maximum left and right idealisers over finite fields. It is already known that I 0, cdots, k 1 is not the unique Moore exponent set, for instance, (generalized) Delsarte Gabidulin codes and the MRD codes recently discovered by Csajb 'ok, Marino, Polverino and the second author both give rise to new Moore exponent sets. By using algebraic geometry approach, we obtain an asymptotic classification result for q 5 , if I is not an arithmetic progression, then there exist an integer N depending on I such that I is not a Moore exponent set provided that n N .


Virasoro conjecture for the stable pairs descendent theory of simply connected 3 folds (with applications to the Hilbert scheme of points of a surface). This paper concerns the recent Virasoro conjecture for the theory of stable pairs on a 3 fold proposed by Oblomkov, Okounkov, Pandharipande and the author in arXiv 2008.12514. Here we extend the conjecture to 3 folds with non (p,p) cohomology and we prove it in two specializations. For the first specialization, we let S be a simply connected surface and consider the moduli space P n(S times mathbb P 1, n mathbb P 1 ) , which happens to be isomorphic to the Hilbert scheme S n of n points on S . The Virasoro constraints for stable pairs, in this case, can be formulated entirely in terms of descendents in the Hilbert scheme of points. The two main ingredients of the proof are the toric case and the existence of universal formulas for integrals of descendents on S n . The second specialization consists in taking the 3 fold X to be a cubic and the curve class beta to be the line class. In this case we compute the full theory of stable pairs using the geometry of the Fano variety of lines.


A Homology Theory of Graphs First Homology Group of Hamiltonian Graphs. An integral homology theory on the category of undirected reflexive graphs was constructed in 2 . A geometrical method to understand behaviors of 1 and 2 simplices under differential maps of the theory was developed in 3 and led us to an independent proof that the first homology group of any cycle graphs is mathbb Z , as it was proved before by a version of Hurewicz theorem harshly defined and shown in 1 and 2 . In this work, we use the old method in 3 to study behaviors of the first homology group of Hamiltonian graphs. We discovered that H 1(G) is torsion free, for any Hamiltonian graphs G .


A priori analysis on deep learning of subgrid scale parameterizations for Kraichnan turbulence. In the present study, we investigate different data driven parameterizations for large eddy simulation of two dimensional turbulence in the emph a priori settings. These models utilize resolved flow field variables on the coarser grid to estimate the subgrid scale stresses. We use data driven closure models based on localized learning that employs multilayer feedforward artificial neural network (ANN) with point to point mapping and neighboring stencil data mapping, and convolutional neural network (CNN) fed by data snapshots of the whole domain. The performance of these data driven closure models is measured through a probability density function and is compared with the dynamic Smagorinksy model (DSM). The quantitative performance is evaluated using the cross correlation coefficient between the true and predicted stresses. We analyze different frameworks in terms of the amount of training data, selection of input and output features, their characteristics in modeling with accuracy, and training and deployment computational time. We also demonstrate computational gain that can be achieved using the intelligent eddy viscosity model that learns eddy viscosity computed by the DSM instead of subgrid scale stresses. We detail the hyperparameters optimization of these models using the grid search algorithm.


Abelian Splittings and JSJ Decompositions of Bestvina Brady Groups. We give a characterization of Bestvina Brady groups split over abelian subgroups and describe a JSJ decomposition of Bestvina Brady groups.


Sparse Coresets for SVD on Infinite Streams. In streaming Singular Value Decomposition (SVD), d dimensional rows of a possibly infinite matrix arrive sequentially as points in mathbb R d . An epsilon coreset is a (much smaller) matrix whose sum of square distances of the rows to any hyperplane approximates that of the original matrix to a 1 pm epsilon factor. Our main result is that we can maintain a epsilon coreset while storing only O(d log 2 d epsilon 2) rows. Known lower bounds of Omega(d epsilon 2) rows show that this is nearly optimal. Moreover, each row of our coreset is a weighted subset of the input rows. This is highly desirable since it (1) preserves sparsity (2) is easily interpretable (3) avoids precision errors (4) applies to problems with constraints on the input. Previous streaming results for SVD that return a subset of the input required storing Omega(d log 3 n epsilon 2) rows where n is the number of rows seen so far. Our algorithm, with storage independent of n , is the first result that uses finite memory on infinite streams. We support our findings with experiments on the Wikipedia dataset benchmarked against state of the art algorithms.


A Neural Network Model of Lexical Competition during Infant Spoken Word Recognition. Visual world studies show that upon hearing a word in a target absent visual context containing related and unrelated items, toddlers and adults briefly direct their gaze towards phonologically related items, before shifting towards semantically and visually related ones. We present a neural network model that processes dynamic unfolding phonological representations and maps them to static internal semantic and visual representations. The model, trained on representations derived from real corpora, simulates this early phonological over semantic visual preference. Our results support the hypothesis that incremental unfolding of a spoken word is in itself sufficient to account for the transient preference for phonological competitors over both unrelated and semantically and visually related ones. Phonological representations mapped dynamically in a bottom up fashion to semantic visual representations capture the early phonological preference effects reported in a visual world task. The semantic visual preference observed later in such a trial does not require top down feedback from a semantic or visual system.


Minimum Scan Cover with Angular Transition Costs. We provide a comprehensive study of a natural geometric optimization problem motivated by questions in the context of satellite communication and astrophysics. In the problem Minimum Scan Cover with Angular Costs (MSC), we are given a graph G that is embedded in Euclidean space. The edges of G need to be scanned, i.e., probed from both of their vertices. In order to scan their edge, two vertices need to face each other changing the heading of a vertex takes some time proportional to the corresponding turn angle. Our goal is to minimize the time until all scans are completed, i.e., to compute a schedule of minimum makespan. We show that MSC is closely related to both graph coloring and the minimum (directed and undirected) cut cover problem in particular, we show that the minimum scan time for instances in 1D and 2D lies in Theta( log chi (G)) , while for 3D the minimum scan time is not upper bounded by chi (G) . We use this relationship to prove that the existence of a constant factor approximation implies P NP , even for one dimensional instances. In 2D, we show that it is NP hard to approximate a minimum scan cover within less than a factor of frac 3 2 , even for bipartite graphs conversely, we present a frac 9 2 approximation algorithm for this scenario. Generally, we give an O(c) approximation for k colored graphs with k leq chi(G) c . For general metric cost functions, we provide approximation algorithms whose performance guarantee depend on the arboricity of the graph.


Learning to Generate Cost to Go Functions for Efficient Motion Planning. Traditional motion planning is computationally burdensome for practical robots, involving extensive collision checking and considerable iterative propagation of cost values. We present a novel neural network architecture which can directly generate the cost to go (c2g) function for a given configuration space and a goal configuration. The output of the network is a continuous function whose gradient in configuration space can be directly used to generate trajectories in motion planning without the need for protracted iterations or extensive collision checking. This higher order function (i.e. a function generating another function) representation lies at the core of our motion planning architecture, c2g HOF, which can take a workspace as input, and generate the cost to go function over the configuration space map (C map). Simulation results for 2D and 3D environments show that c2g HOF can be orders of magnitude faster at execution time than methods which explore the configuration space during execution. We also present an implementation of c2g HOF which generates trajectories for robot manipulators directly from an overhead image of the workspace.


Latency Bounds of Packet Based Fronthaul for Cloud RAN with Functionality Split. The emerging Cloud RAN architecture within the fifth generation (5G) of wireless networks plays a vital role in enabling higher flexibility and granularity. On the other hand, Cloud RAN architecture introduces an additional link between the central, cloudified unit and the distributed radio unit, namely fronthaul (FH). Therefore, the foreseen reliability and latency for 5G services should also be provisioned over the FH link. In this paper, focusing on Ethernet as FH, we present a reliable packet based FH communication and demonstrate the upper and lower bounds of latency that can be offered. These bounds yield insights into the trade off between reliability and latency, and enable the architecture design through choice of splitting point, focusing on high layer split between PDCP and RLC and low layer split between MAC and PHY, under different FH bandwidth and traffic properties. Presented model is then analyzed both numerically and through simulation, with two classes of 5G services that are ultra reliable low latency (URLL) and enhanced mobile broadband (eMBB).


Furstenberg sets in finite fields Explaining and improving the Ellenberg Erman proof. A subset S subset mathbb F q n , where mathbb F q is a finite field, is called (k,m) Furstenberg if it has m common points with a k flat in each direction. That is, any k dimensional subspace of mathbb F q n can be translated so that it intersects S in at least m points. Using sophisticated scheme theoretic machinery, Ellenberg and Erman proved that (k,m) Furstenberg sets must have size at least C n,k m n k with a constant C n,k depending only n and k . In this work we follow the overall proof strategy of Ellenberg Erman, replacing the scheme theoretic language with more elementary machinery. In addition to presenting the proof in a self contained and accessible form, we are also able to improve the constant C n,k by modifying certain key parts of the argument.


An exponentially averaged Vasyunin formula. We prove a Vasyunin type formula for an autocorrelation function arising from a Nyman Beurling criterion generalized to a probabilistic framework. This formula can also be seen as a reciprocity formula for cotangent sums, related to the ones proven in BC13 , ABB17 .


Interval matrices with Monge property. We generalize Monge property of real matrices for interval matrices. We define two classes of interval matrices with Monge property in a strong and in a weak sense. We study fundamental properties of both classes. We show several different characterizations of the strong Monge property. For weak Monge property we give a polynomial characterization and several sufficient and necessary conditions. For both classes we study closure properties. We further propose a generalization of an algorithm by Deineko Filonenko which for a given matrix returns row and column permutations such that the permuted matrix is Monge if the permutations exist.


Semantic Clone Detection via Probabilistic Software Modeling. Semantic clone detection is the process of finding program elements with similar or equal runtime behavior. For example, detecting the semantic equality between the recursive and iterative implementation of the factorial computation. Semantic clone detection is the de facto technical boundary of clone detectors. This boundary was tested over the last years with interesting new approaches. This work contributes a semantic clone detection approach that detects clones with 0 syntactic similarity. We present Semantic Clone Detection via Probabilistic Software Modeling (SCD PSM) as a stable and precise solution to semantic clone detection. PSM builds a probabilistic model of a program that is capable of evaluating and generating runtime data. SCD PSM leverages this model and its model elements to finding behaviorally equal model elements. This behavioral equality is then generalized to semantic equality of the original program elements. It uses the likelihood between model elements as a distance metric. Then, it employs the likelihood ratio significance test to decide whether this distance is significant, given a pre specified and controllable false positive rate. The output of SCD PSM are pairs of program elements (i.e., methods), their distance, and a decision whether they are clones or not. SCD PSM yields excellent results with a Matthews Correlation Coefficient greater 0.9. These results are obtained on classical semantic clone detection problems such as detecting recursive and iterative versions of an algorithm, but also on complex problems used in coding competitions.


Scheduling to Minimize Age of Synchronization in Wireless Broadcast Networks with Random Updates. In this work, a wireless broadcast network with a base station (BS) sending random time sensitive information updates to multiple users with interference constraints is considered. The Age of Synchronization (AoS), namely the amount of time elapsed since the information stored at the network user becomes desynchronized, is adopted to measure data freshness from the perspective of network users. Compared with the more widely used metric the Age of Information (AoI), AoS accounts for the freshness of the randomly changing content. The AoS minimization scheduling problem is formulated into a discrete time Markov decision process and the optimal solution is approximated through structural finite state policy iteration. An index based heuristic scheduling policy based on restless multi arm bandit (RMAB) is provided to further reduce computational complexity. Simulation results show that the proposed index policy can achieve compatible performance with the MDP and close to the AoS lower bound. Moreover, theoretic analysis and simulations reveal the differences between AoS and AoI. AoI minimization scheduling policy cannot guarantee a good AoS performance.


Independence of permutation limits at infinitely many scales. We introduce a new natural notion of convergence for permutations at any specified scale, in terms of the density of patterns of restricted width. In this setting we prove that limits may be chosen independently at a countably infinite number of scales.


Tractable Combinations of Temporal CSPs. The constraint satisfaction problem (CSP) of a first order theory T is the computational problem of deciding whether a given conjunction of atomic formulas is satisfiable in some model of T. We study the computational complexity of CSP (T 1 cup T 2) where T 1 and T 2 are theories with disjoint finite relational signatures. We prove that if T 1 and T 2 are the theories of temporal structures, i.e., structures where all relations have a first order definition in (Q ) , then CSP (T 1 cup T 2) is in P or NP complete. To this end we prove a purely algebraic statement about the structure of the lattice of locally closed clones over the domain Q that contain Aut (Q ) .


Brilliant families of K3 surfaces Twistor spaces, Brauer groups, and Noether Lefschetz loci. We describe the Hodge theory of brilliant families of K3 surfaces. Their characteristic feature is a close link between the Hodge structures of any two fibres over points in the Noether Lefschetz locus. Twistor deformations, the analytic Tate Safarevic group, and one dimensional Shimura special cycles are covered by the theory. In this setting, the Brauer group is viewed as the Noether Lefschetz locus of the Brauer family or as the specialization of the Noether Lefschetz loci in a family of approaching twistor spaces. Passing from one algebraic twistor fibre to another, which by construction is a transcendental operation, is here viewed as first deforming along the more algebraic Brauer family and then along a family of algebraic K3 surfaces.


Homeomorphic subsurfaces and the omnipresent arcs. In this article, we are concerned with various aspects of arcs on surfaces. In the first part, we deal with topological aspects of arcs and their complements. We use this understanding, in the second part, to construct interesting actions of the mapping class group on a subgraph of the arc graph. This subgraph naturally emerges from a new characterisation of infinite type surfaces in terms of homeomorphic subsurfaces.


NimbRo OP2X Affordable Adult sized 3D printed Open Source Humanoid Robot for Research. For several years, high development and production costs of humanoid robots restricted researchers interested in working in the field. To overcome this problem, several research groups have opted to work with simulated or smaller robots, whose acquisition costs are significantly lower. However, due to scale differences and imperfect simulation replicability, results may not be directly reproducible on real, adult sized robots. In this paper, we present the NimbRo OP2X, a capable and affordable adult sized humanoid platform aiming to significantly lower the entry barrier for humanoid robot research. With a height of 135 cm and weight of only 19 kg, the robot can interact in an unmodified, human environment without special safety equipment. Modularity in hardware and software allow this platform enough flexibility to operate in different scenarios and applications with minimal effort. The robot is equipped with an on board computer with GPU, which enables the implementation of state of the art approaches for object detection and human perception demanded by areas such as manipulation and human robot interaction. Finally, the capabilities of the NimbRo OP2X, especially in terms of locomotion stability and visual perception, are evaluated. This includes the performance at RoboCup 2018, where NimbRo OP2X won all possible awards in the AdultSize class.


Booster An Accelerator for Gradient Boosting Decision Trees. We propose Booster, a novel accelerator for gradient boosting trees based on the unique characteristics of gradient boosting models. We observe that the dominant steps of gradient boosting training (accounting for 90 98 of training time) involve simple, fine grained, independent operations on small footprint data structures (e.g., accumulate and compare values in the structures). Unfortunately, existing multicores and GPUs are unable to harness this parallelism because they do not support massively parallel data structure accesses that are irregular and data dependent. By employing a scalable sea of small SRAMs approach and an SRAM bandwidth preserving mapping of data record fields to the SRAMs, Booster achieves significantly more parallelism (e.g., 3200 way parallelism) than multicores and GPU. In addition, Booster employs a redundant data representation that significantly lowers the memory bandwidth demand. Our simulations reveal that Booster achieves 11.4x speedup and 6.4x speedup over an ideal 32 core multicore and an ideal GPU, respectively. Based on ASIC synthesis of FPGA validated RTL using 45 nm technology, we estimate a Booster chip to occupy 60 mm 2 of area and dissipate 23 W when operating at 1 GHz clock speed.


Gorenstein flat representations of left rooted quivers. We study Gorenstein flat objects in the category sf Rep (Q,R) of representations of a left rooted quiver Q with values in sf Mod (R) , the category of all left R modules, where R is an arbitrary associative ring. We show that a representation X in sf Rep (Q,R) is Gorenstein flat if and only if for each vertex i the canonical homomorphism varphi i X oplus a j to i X(j) to X(i) is injective, and the left R modules X(i) and rm Coker varphi i X are Gorenstein flat. As an application of this result, we show that there is a hereditary abelian model structure on sf Rep (Q,R) whose cofibrant objects are precisely the Gorenstein flat representations, fibrant objects are precisely the cotorsion representations, and trivial objects are precisely the representations with values in the right orthogonal category of all projectively coresolved Gorenstein flat left R modules.


Forensic analysis of the Windows telemetry for diagnostics. Telemetry is the automated sensing and collection of data from a remote device. It is often used to provide better services for users. Microsoft uses telemetry to periodically collect information about Windows systems and to help improve user experience and fix potential issues. Windows telemetry service functions by creating RBS files on the local system to reliably transfer and manage the telemetry data, and these files can provide useful information in a digital forensic investigation. Combined with the information derived from traditional Windows forensics, investigators can have greater confidence in the evidence derived from various artifacts. It is possible to acquire information that can be confirmed only for live systems, such as the computer hardware serial number, the connection records for external storage devices, and traces of executed processes. This information is included in the RBS files that are created for use in Windows telemetry. In this paper, we introduced how to acquire RBS files telemetry and analyzed the data structure of these RBS files, which are able to determine the types of information that Windows OS have been collected. We also discussed the reliability and the novelty by comparing the conventional artifacts with the RBS files, which could be useful in digital forensic investigation.


E Pro Euler Angle and Probabilistic Model for Face Detection and Recognition. It is human nature to give prime importance to facial appearances. Often, to look good is to feel good. Also, facial features are unique to every individual on this planet, which means it is a source of vital information. This work proposes a framework named E Pro for the detection and recognition of faces by taking facial images as inputs. E Pro has its potential application in various domains, namely attendance, surveillance, crowd monitoring, biometric based authentication etc. E Pro is developed here as a mobile application that aims to aid lecturers to mark attendance in a classroom by detecting and recognizing the faces of students from a picture clicked through the app. E Pro has been developed using Google Firebase Face Recognition APIs, which uses Euler Angles, and Probabilistic Model. E Pro has been tested on stock images and the experimental results are promising.


On abelian subcategories of triangulated categories. The stable module category of a selfinjective algebra is triangulated, but need not have any nontrivial t structures, and in particular, full abelian subcategories need not arise as hearts of a t structure. The purpose of this paper is to investigate full abelian subcategories of triangulated categories whose exact structures are related, and more precisely, to explore relations between invariants of finite dimensional selfinjective algebras and full abelian subcategories of their stable module categories.


Token Exchange Games. Human societies engage in a number of games which use tokens as a means to allocate, issue and access gated resources and property rights The notion of exchanging tokens that represent and carry value from the past into the future to facilitate economic exchange is a fundamental concept. As agents exchange tokens a network structure is created in which the tokens move from agent to agent. Agents form the vertices in the network and the exchange of tokens creates the link structure. The rules of exchange adopted collectively by agents shape the network structure and affect the distribution of tokens amongst agents. Many inventions including banking, payments networks and blockchain technology have been created for the purpose of keeping accurate records of these implicit networks. However, our formal understanding of tokenised systems as large scale, iterative, interacting structures is limited. The aim of this paper is to study the dynamics of token exchanges as a game, and introduce a mathematical framework for understanding ledgers as complex networks.


The State of NLP Literature A Diachronic Analysis of the ACL Anthology. The ACL Anthology (AA) is a digital repository of tens of thousands of articles on Natural Language Processing (NLP). This paper examines the literature as a whole to identify broad trends in productivity, focus, and impact. It presents the analyses in a sequence of questions and answers. The goal is to record the state of the AA literature who and how many of us are publishing? what are we publishing on? where and in what form are we publishing? and what is the impact of our publications? The answers are usually in the form of numbers, graphs, and inter connected visualizations. Special emphasis is laid on the demographics and inclusiveness of NLP publishing. Notably, we find that only about 30 of first authors are female, and that this percentage has not improved since the year 2000. We also show that, on average, female first authors are cited less than male first authors, even when controlling for experience. We hope that recording citation and participation gaps across demographic groups will encourage more inclusiveness and fairness in research.


Neuron Merging Compensating for Pruned Neurons. Network pruning is widely used to lighten and accelerate neural network models. Structured network pruning discards the whole neuron or filter, leading to accuracy loss. In this work, we propose a novel concept of neuron merging applicable to both fully connected layers and convolution layers, which compensates for the information loss due to the pruned neurons filters. Neuron merging starts with decomposing the original weights into two matrices tensors. One of them becomes the new weights for the current layer, and the other is what we name a scaling matrix, guiding the combination of neurons. If the activation function is ReLU, the scaling matrix can be absorbed into the next layer under certain conditions, compensating for the removed neurons. We also propose a data free and inexpensive method to decompose the weights by utilizing the cosine similarity between neurons. Compared to the pruned model with the same topology, our merged model better preserves the output feature map of the original model thus, it maintains the accuracy after pruning without fine tuning. We demonstrate the effectiveness of our approach over network pruning for various model architectures and datasets. As an example, for VGG 16 on CIFAR 10, we achieve an accuracy of 93.16 while reducing 64 of total parameters, without any fine tuning. The code can be found here https github.com friendshipkim neuron merging


Evaluating Graph Vulnerability and Robustness using TIGER. Network robustness plays a crucial role in our understanding of complex interconnected systems such as transportation, communication, and computer networks. While significant research has been conducted in the area of network robustness, no comprehensive open source toolbox currently exists to assist researchers and practitioners in this important topic. This lack of available tools hinders reproducibility and examination of existing work, development of new research, and dissemination of new ideas. We contribute TIGER, an open sourced Python toolbox to address these challenges. TIGER contains 22 graph robustness measures with both original and fast approximate versions 17 failure and attack strategies 15 heuristic and optimization based defense techniques and 4 simulation tools. By democratizing the tools required to study network robustness, our goal is to assist researchers and practitioners in analyzing their own networks and facilitate the development of new research in the field. TIGER has been integrated into the Nvidia Data Science Teaching Kit available to educators across the world and Georgia Tech's Data and Visual Analytics class with over 1,000 students. TIGER is open sourced at https github.com safreita1 TIGER


The Quasi Curvature Dimension Condition with applications to sub Riemannian manifolds. We obtain the best known quantitative estimates for the L p Poincar 'e and log Sobolev inequalities on domains in various sub Riemannian manifolds, including ideal Carnot groups and in particular ideal generalized H type Carnot groups and the Heisenberg groups, corank 1 Carnot groups, the Grushin plane, and various H type foliations, Sasakian and 3 Sasakian manifolds. Moreover, this constitutes the first time that a quantitative estimate independent of the dimension is established on these spaces. For instance, the Li Yau Zhong Yang spectral gap estimate holds on all Heisenberg groups of arbitrary dimension up to a factor of 4 . We achieve this by introducing a quasi convex relaxation of the Lott Sturm Villani mathsf CD (K,N) condition we call the Quasi Curvature Dimension condition mathsf QCD (Q,K,N) . Our motivation stems from a recent interpolation inequality along Wasserstein geodesics in the ideal sub Riemannian setting due to Barilari and Rizzi. We show that on an ideal sub Riemannian manifold of dimension n , the Measure Contraction Property mathsf MCP (K,N) implies mathsf QCD (Q,K,N) with Q 2 N n geq 1 , thereby verifying the latter property on the aforementioned ideal spaces a result of Balogh Krist 'aly Sipos is used instead to handle non ideal corank 1 Carnot groups. By extending the localization paradigm to completely general interpolation inequalities, we reduce the study of various analytic and geometric inequalities on mathsf QCD spaces to the one dimensional case. Consequently, we deduce that while (strictly) sub Riemannian manifolds do not satisfy any type of mathsf CD condition, many of them satisfy numerous functional inequalities with emph exactly the same quantitative dependence (up to a factor of Q ) as their mathsf CD counterparts.


Sea level rise and continuous adaptation residual damage rises faster than the protection costs. Damage cost curves relating the typical damage of a natural hazard to its physical magnitude represent an indispensable ingredient necessary for climate change impact assessments. Combining such curves with the occurrence probability of the considered natural hazard, expected damage and related risk can be estimated. Here we study recently published city scale damage cost curves for coastal flooding and demonstrate which insights can be gained from the functions only. Therefore, we include protection cost curves relating the typical investment costs necessary to protect a city against a natural hazard of certain magnitude which are analogous to and consistent with the above mentioned damage cost curves. Specifically, we motivate log logistic functions, which exhibit a power law increase at the lower end, and fit them to the cost curves. As expected, cities with large maximum potential loss (typically large cities) are also more costly to protect. Moreover, we study the idealized case of continuous adaptation, i.e. increasing protection levels in the same pace as sea level rise, and compare the associated costs with residual damage from extreme events exceeding the protection. Based on the fitted exponents we find that in almost all cities the residual damage rises faster than the protection costs. Raising coastal protection can lead to lull oneself in a deceptive safety.


The 2 times2 Matrix Mortality Problem and Invertible Matrices. By modifying the proof of a paper by O. Bournez and M. Branicky, we establish that the Matrix Mortality Problem is decidable with any finite set of 2 times2 matrices which has at most one invertible matrix. The same modification also shows that the number of non invertible matrices is irrelevant.


Improved Secure Efficient Delegated Private Set Intersection. Private Set Intersection (PSI) is a vital cryptographic technique used for securely computing common data of different sets. In PSI protocols, often two parties hope to find their common set elements without needing to disclose their uncommon ones. In recent years, the cloud has been playing an influential role in PSI protocols which often need huge computational tasks. In 2017, Abadi et al. introduced a scheme named EO PSI which uses a cloud to pass on the main computations to it and does not include any public key operations. In EO PSI, parties need to set up secure channels beforehand otherwise, an attacker can easily eavesdrop on communications between honest parties and find private information. This paper presents an improved EO PSI scheme which has the edge on the previous scheme in terms of privacy and complexity. By providing possible attacks on the prior scheme, we show the necessity of using secure channels between parties. Also, our proposed protocol is secure against passive attacks without having to have any secure channels. We measure the protocol's overhead and show that computational complexity is considerably reduced and also is fairer compared to the previous scheme.


Real Time Execution of Large scale Language Models on Mobile. Pre trained large scale language models have increasingly demonstrated high accuracy on many natural language processing (NLP) tasks. However, the limited weight storage and computational speed on hardware platforms have impeded the popularity of pre trained models, especially in the era of edge computing. In this paper, we seek to find the best model structure of BERT for a given computation size to match specific devices. We propose the first compiler aware neural architecture optimization framework. Our framework can guarantee the identified model to meet both resource and real time specifications of mobile devices, thus achieving real time execution of large transformer based models like BERT variants. We evaluate our model on several NLP tasks, achieving competitive results on well known benchmarks with lower latency on mobile devices. Specifically, our model is 5.2x faster on CPU and 4.1x faster on GPU with 0.5 2 accuracy loss compared with BERT base. Our overall framework achieves up to 7.8x speedup compared with TensorFlow Lite with only minor accuracy loss.


Potential customer mining application of smart home products based on LightGBM PU learning and Spark ML algorithm practice. This paper studies the case of big data based intelligent product potential customer mining internal competition in China Telecom Shanghai Company. Huge amounts of data based on big data table, the use of machine Learning and data analysis technology, using the algorithm of LightGBM, PySpark machine Learning algorithms, Positive Unlabeled Learning algorithm, and predict whether customers buy whole house product, precision marketing into artificial intelligence for the customer, large data capacity, promote the development of intelligent products of the company.


EoN (Epidemics on Networks) a fast, flexible Python package for simulation, analytic approximation, and analysis of epidemics on networks. We provide a description of the Epidemics on Networks (EoN) python package designed for studying disease spread in static networks. The package consists of over 100 methods available for users to perform stochastic simulation of a range of different processes including SIS and SIR disease, and generic simple or comlex contagions.


Self supervised Dense 3D Reconstruction from Monocular Endoscopic Video. We present a self supervised learning based pipeline for dense 3D reconstruction from full length monocular endoscopic videos without a priori modeling of anatomy or shading. Our method only relies on unlabeled monocular endoscopic videos and conventional multi view stereo algorithms, and requires neither manual interaction nor patient CT in both training and application phases. In a cross patient study using CT scans as groundtruth, we show that our method is able to produce photo realistic dense 3D reconstructions with submillimeter mean residual errors from endoscopic videos from unseen patients and scopes.


A Note On Free Boundary Minimal Annulus. In this note we investigate free boundary minimal surfaces in the Euclidean 3 space, and by using holomorphic techniques developed by Fraser and Schoen we prove that the free boundary minimal annulus is the critical catenoid.


Learning robust visual representations using data augmentation invariance. Deep convolutional neural networks trained for image object categorization have shown remarkable similarities with representations found across the primate ventral visual stream. Yet, artificial and biological networks still exhibit important differences. Here we investigate one such property increasing invariance to identity preserving image transformations found along the ventral stream. Despite theoretical evidence that invariance should emerge naturally from the optimization process, we present empirical evidence that the activations of convolutional neural networks trained for object categorization are not robust to identity preserving image transformations commonly used in data augmentation. As a solution, we propose data augmentation invariance, an unsupervised learning objective which improves the robustness of the learned representations by promoting the similarity between the activations of augmented image samples. Our results show that this approach is a simple, yet effective and efficient (10 increase in training time) way of increasing the invariance of the models while obtaining similar categorization performance.


Microscopic and Macroscopic Traffic Flow Models including Random Accidents. We introduce microscopic and macroscopic stochastic traffic models including traffic accidents. The microscopic model is based on a Follow the Leader approach whereas the macroscopic model is described by a scalar conservation law with space dependent flux function. Accidents are introduced as interruptions of a deterministic evolution and are directly linked to the traffic situation. Based on a Lax Friedrichs discretization convergence of the microscopic model to the macroscopic model is shown. Numerical simulations are presented to compare the above models and show their convergence behaviour.


A Method of Detecting End To End Curves of Limited Curvature. In this paper we consider a method for detecting end to end curves of limited curvature like the k link polylines with bending angle between adjacent segments in a given range. The approximation accuracy is achieved by maximization of the quality function in the image matrix. The method is based on a dynamic programming scheme constructed over Fast Hough Transform calculation results for image bands. The proposed method asymptotic complexity is O(h cdot (w frac h k ) cdot log( frac h k )) , where h and w are the image size, and k is the approximating polyline links number, which is an analogue of the complexity of the fast Fourier transform or the fast Hough transform. We also show the results of the proposed method on synthetic and real data.


A note on degenerate Euler and Bernoulli polynomials of complex variable. In this paper, we study the degenerate version of the new type Euler polynomials, namely degenerate cosine Euler polynomials and sime Euler polynomials and also corresponding ones for Bernoulli polynomials, namely degenerate cosine Bernoulli polynomials and degenerate sine Bernoulli polynomials by considering the degenerate Euler polynomials of complex variable and the degenerate Bernoulli polynomials of complex variable.


Optimization Problems Involving Matrix Multiplication with Applications in Material Science and Biology. We consider optimization problems involving the multiplication of variable matrices to be selected from a given family, which might be a discrete set, a continuous set or a combination of both. Such nonlinear, and possibly discrete, optimization problems arise in applications from biology and material science among others, and are known to be NP Hard for a special case of interest. We analyze the underlying structure of such optimization problems for two particular applications and, depending on the matrix family, obtain compact size mixed integer linear or quadratically constrained quadratic programming reformulations that can be solved via commercial solvers. Finally, we present the results of our computational experiments, which demonstrate the success of our approach compared to heuristic and enumeration methods predominant in the literature.


Improving Borderline Adulthood Facial Age Estimation through Ensemble Learning. Achieving high performance for facial age estimation with subjects in the borderline between adulthood and non adulthood has always been a challenge. Several studies have used different approaches from the age of a baby to an elder adult and different datasets have been employed to measure the mean absolute error (MAE) ranging between 1.47 to 8 years. The weakness of the algorithms specifically in the borderline has been a motivation for this paper. In our approach, we have developed an ensemble technique that improves the accuracy of underage estimation in conjunction with our deep learning model (DS13K) that has been fine tuned on the Deep Expectation (DEX) model. We have achieved an accuracy of 68 for the age group 16 to 17 years old, which is 4 times better than the DEX accuracy for such age range. We also present an evaluation of existing cloud based and offline facial age prediction services, such as Amazon Rekognition, Microsoft Azure Cognitive Services, How Old.net and DEX.


Imaging Metasurfaces based on Graphene Loaded Slot Antennas. Spectral imagers, the classic example being the color camera, are ubiquitous in everyday life. However, most such imagers rely on filter arrays that absorb light outside each spectral channel, yielding 1 N efficiency for an N channel imager. This is especially undesirable in thermal infrared (IR) wavelengths, where sensor detectivities are low, as well as in highly compact systems with small entrance pupils. Diffractive optics or interferometers can enable efficient spectral imagers, but such systems are too bulky for certain applications. We propose an efficient and compact thermal infrared spectral imager comprising a metasurface composed of sub wavelength spaced, differently tuned slot antennas coupled to photosensitive elements. Here, we demonstrate this idea using graphene, which features a photoresponse up to thermal IR wavelengths. The combined antenna resonances yield broadband absorption in the graphene exceeding the 1 N efficiency limit. We establish a circuit model for the antennas' optical properties and demonstrate consistency with full wave simulations. We also theoretically demonstrate broadband 36 free space to graphene coupling efficiency for a six spectral channel metasurface. This research paves the way towards compact CMOS integrable thermal IR spectral imagers.


Sub millimetre flexible fibre probe for background and fluorescence free Raman spectroscopy. Using the shifted excitation Raman difference spectroscopy technique and an optical fibre featuring a negative curvature excitation core and a coaxial ring of high numerical aperture collection cores, we have developed a portable, background and fluorescence free, endoscopic Raman probe. The probe consists of a single fibre with a diameter of less than 0.25 mm packaged in a sub millimetre tubing, making it compatible with standard bronchoscopes. The Raman excitation light in the fibre is guided in air and therefore interacts little with silica, enabling an almost background free transmission of the excitation light. In addition, we used the shifted excitation Raman difference spectroscopy technique and a tunable 785 nm laser to separate the fluorescence and the Raman spectrum from highly fluorescent samples, demonstrating the suitability of the probe for biomedical applications. Using this probe we also acquired fluorescence free human lung tissue data.


Selfish Behavior in the Tezos Proof of Stake Protocol. Proof of Stake consensus protocols give rise to complex modeling challenges. We analyze the recently updated Tezos Proof of Stake protocol and demonstrate that, under certain conditions, rational participants are incentivized to behave dishonestly. In doing so, we provide a theoretical analysis of the feasibility and profitability of a block stealing attack that we call selfish endorsing, a concrete instance of an attack previously only theoretically considered. We propose and analyze a simple change to the Tezos protocol which significantly reduces the (already small) profitability of this dishonest behavior, and introduce a new delay and reward scheme that is provably secure against length 1 and length 2 selfish endorsing attacks. Our framework provides a template for analyzing other Proof of Stake implementations for selfish behavior.


Functorial resolution except for toroidal locus. Toroidal compactification. Let X be any variety in characteristic zero. Let V subset X be an open subset that has toroidal singularities. We show the existence of a canonical desingularization of X except for V. It is a morphism f Y to X , which does not modify the subset V and transforms X into a toroidal embedding Y , with singularities extending those on V . Moreover, the exceptional divisor has simple normal crossings on Y . The theorem naturally generalizes the Hironaka canonical desingularization. It does not modify the nonsingular locus V and transforms X into a nonsingular variety Y . The proof uses, in particular, the canonical desingularization of logarithmic varieties recently proved by Abramovich Temkin Wlodarczyk. It also relies on the established here canonical functorial desingularization of locally toric varieties with an unmodified open toroidal subset. As an application, we show the existence of a toroidal equisingular compactification of toroidal varieties. All the results here can be linked to a simple functorial combinatorial desingularization algorithm developed in this paper.


LinTO Assistant vocal open source respectueux des donn 'ees personnelles pour les r 'eunions d'entreprise. This paper presents the first results of the PIA "Grands D 'efis du Num 'erique" research project LinTO. The goal of this project is to develop a conversational assistant to help the company's employees, particularly during meetings. LinTO is an interactive device equipped with microphones, a screen and a 360 circ camera, which allows to control the room, query company's information system, helps facilitate the meeting and provides an environment to aid minute writing. Distributed according to an open model that respects private data LinTO is the first open source enterprise's assistant designed to comply with the GDPR requirements.


A Laterally Vibrating Lithium Niobate MEMS Resonator Array Operating at 500 deg C in Air. This paper is the first report of the high temperature characteristics of a laterally vibrating piezoelectric lithium niobate (LiNbO 3 ) MEMS resonator array up to 500 deg C in air. After a high temperature burn in treatment, device quality factor (Q) is enhanced to 508 and the resonance shifts to a lower frequency and remains stable up to 500 deg C. During subsequent in situ high temperature testing, the resonant frequencies of two coupled shear horizontal (SH0) modes in the array are 87.36 MHz and 87.21 MHz at 25 deg C and 84.56 MHz and 84.39 MHz at 500 deg C, correspondingly, representing a 3 shift in frequency over the temperature range. Upon cooling to room temperature, the resonant frequency returns to 87.36 MHz, demonstrating recoverability of device performance. The first and second order temperature coefficient of frequency (TCF) are found to be 95.27 ppm deg C and 57.5 ppb deg C 2 for resonant mode A, and 95.43 ppm deg C and 55.8 ppb deg C 2 for resonant mode B, respectively. The temperature dependent quality factor (Q) and electromechanical coupling coefficient ( k t 2 ) are extracted and reported. Device Q decreases to 334 after high temperature exposure, while k t 2 increases to 12.40 . This work supports the use of piezoelectric LiNbO 3 as a material platform for harsh environment radio frequency (RF) resonant sensors (e.g. temperature and infrared).


Solving Fokker Planck equation using deep learning. The probability density function of stochastic differential equations is governed by the Fokker Planck (FP) equation. A novel machine learning method is developed to solve the general FP equations based on deep neural networks. The proposed algorithm does not require any interpolation and coordinate transformation, which is different from the traditional numercial methods. The main novelty of this paper is that penalty factors are introduced to overcome the local optimization for the deep learning approach, and the corresponding setting rules are given. Meanwhile, we consider a normalization condition as a supervision condition to effectively avoid that the trial solution is zero. Several numerical examples are presented to illustrate performances of the proposed algorithm, including one and two dimensional systems. All the results suggest that the deep learning is quite feasible and effective to calculate the FP equation. Further, influences of the number of hidden layers, the penalty factors, and the optimization algorithm are discussed in detail. These results indicate that the performances of the machine learning technique can be improved through constructing the neural networks appropriately.


Zoomless Maps External Labeling Methods for the Interactive Exploration of Dense Point Sets at a Fixed Map Scale. Visualizing spatial data on small screen devices such as smartphones and smartwatches poses new challenges in computational cartography. The current interfaces for map exploration require their users to zoom in and out frequently. Indeed, zooming and panning are tools suitable for choosing the map extent corresponding to an area of interest. They are not as suitable, however, for resolving the graphical clutter caused by a high feature density since zooming in to a large map scale leads to a loss of context. Therefore we present new external labeling methods that allow navigating through dense sets of points of interest while keeping the current map extent fixed. We provide a unified model, in which labels are placed at the boundary of the map and visually associated with the corresponding features via connecting lines, which are called leaders. Since the screen space is limited, labeling all features at the same time is impractical. Therefore, at any time, we label a subset of the features. We offer interaction techniques to change the current selection of features systematically and, thus, give the user access to all features. We distinguish three methods, which allow the user either to slide the labels along the bottom side of the map or to browse the labels based on pages or stacks. We present a generic algorithmic framework that provides us with the possibility of expressing the different variants of interaction techniques as optimization problems in a unified way. We propose both exact algorithms and fast and simple heuristics that solve the optimization problems taking into account different criteria such as the ranking of the labels, the total leader length and the distance between leaders. We experimentally evaluate these algorithms and discuss the three variants with respect to their strengths and weaknesses proving the flexibility of the presented algorithmic framework.


Random walk model from the point of view of algorithmic trading. Despite the fact that an intraday market price distribution is not normal, the random walk model of price behaviour is as important for the understanding of basic principles of the market as the pendulum model is a starting point of many fundamental theories in physics. This model is a good zero order approximation for liquid fast moving markets where the queue position is less important than the price action. In this paper we present an exact solution for the cost of the static passive slice execution. It is shown, that if a price has a random walk behaviour, there is no optimal limit level for an order execution all levels have the same execution cost as an immediate aggressive execution at the beginning of the slice. Additionally the estimations for the risk of a limit order as well as the probability of a limit order execution as functions of the slice time and standard deviation of the price are derived.


Partitions of non complete Baire metric spaces. We investigate the properties of ideals associated with Kuratowski partitions of non complete Baire metric spaces. We show that such an ideal can be precipitous.


New approximations, and policy implications, from a delayed dynamic model of a fast pandemic. We study an SEIQR (Susceptible Exposed Infectious Quarantined Recovered) model for an infectious disease, with time delays for latency and an asymptomatic phase. For fast pandemics where nobody has prior immunity and everyone has immunity after recovery, the SEIQR model decouples into two nonlinear delay differential equations (DDEs) with five parameters. One parameter is set to unity by scaling time. The subcase of perfect quarantining and zero self recovery before quarantine, with two free parameters, is examined first. The method of multiple scales yields a hyperbolic tangent solution and a long wave approximation yields a first order ordinary differential equation (ODE). With imperfect quarantining and nonzero self recovery, the long wave approximation is a second order ODE. These three approximations each capture the full outbreak, from infinitesimal initiation to final saturation. Low dimensional dynamics in the DDEs is demonstrated using a six state non delayed reduced order model obtained by Galerkin projection. Numerical solutions from the reduced order model match the DDE over a range of parameter choices and initial conditions. Finally, stability analysis and numerics show how correctly executed time varying social distancing, within the present model, can cut the number of affected people by almost half. Alternatively, faster detection followed by near certain quarantining can potentially be even more effective.


Optimizing Transformers with Approximate Computing for Faster, Smaller and more Accurate NLP Models. Transformer models have garnered a lot of interest in recent years by delivering state of the art performance in a range of Natural Language Processing (NLP) tasks. However, these models can have over a hundred billion parameters, presenting very high computational and memory requirements. We address this challenge through Approximate Computing, specifically targeting the use of Transformers in NLP tasks. Transformers are typically pre trained and subsequently specialized for specific tasks through transfer learning. Based on the observation that pre trained Transformers are often over parameterized for several downstream NLP tasks, we propose a framework to create smaller, faster and in some cases more accurate models. The key cornerstones of the framework are a Significance Analysis (SA) method that identifies components in a pre trained Transformer that are less significant for a given task, and techniques to approximate the less significant components. Our approximations include pruning of blocks, attention heads and weight groups, quantization of less significant weights and a low complexity sign matching based attention mechanism. Our framework can be adapted to produce models that are faster, smaller and or more accurate, depending on the user's constraints. We apply our framework to seven Transformer models, including optimized models like DistilBERT and Q8BERT, and three downstream tasks. We demonstrate that our framework produces models that are up to 4x faster and up to 14x smaller (with less than 0.5 relative accuracy degradation), or up to 5.5 more accurate with simultaneous improvements of up to 9.83x in model size or 2.94x in speed.


Statistical Verification of Hyperproperties for Cyber Physical System. Many important properties of cyber physical systems (CPS) are defined upon the relationship between multiple executions simultaneously in continuous time. Examples include probabilistic fairness and sensitivity to modeling errors (i.e., parameters changes) for real valued signals. These requirements can only be specified by hyperproperties. In this work, we focus on verifying probabilistic hyperproperties for CPS. To cover a wide range of modeling formalisms, we first propose a general model of probabilistic uncertain systems (PUSs) that unify commonly studied CPS models such as continuous time Markov chains (CTMCs) and probabilistically parametrized Hybrid I O Automata. To formally specify hyperproperties, we propose a new temporal logic, hyper probabilistic signal temporal logic (HyperPSTL) that serves as a hyper and probabilistic version of the conventional signal temporal logic (STL). Considering complexity of real world systems that can be captured as PUSs, we adopt a statistical model checking (SMC) approach for their verification. We develop a new SMC technique based on the direct computation of the significance levels of statistical assertions for HyperPSTL specifications, which requires no a priori knowledge on the indifference margin. Then, we introduce SMC algorithms for HyperPSTL specifications on the joint probabilistic distribution of multiple paths, as well as specifications with nested probabilistic operators quantifying different paths, which cannot be handled by existing SMC algorithms. Finally, we show the effectiveness of our SMC algorithms on CPS benchmarks with varying levels of complexity, including the Toyota Powertrain Control System.


Contact Mode Guided Sampling Based Planning for Quasistatic Dexterous Manipulation in 2D. The discontinuities and multi modality introduced by contacts make manipulation planning challenging. Many previous works avoid this problem by pre designing a set of high level motion primitives like grasping and pushing. However, such motion primitives are often not adequate to describe dexterous manipulation motions. In this work, we propose a method for dexterous manipulation planning at a more primitive level. The key idea is to use contact modes to guide the search in a sampling based planning framework. Our method can automatically generate contact transitions and motion trajectories under the quasistatic assumption. In the experiments, this method sometimes generates motions that are often pre designed as motion primitives, as well as dexterous motions that are more task specific.


A fast simple algorithm for computing the potential of charges on a line. We present a fast method for evaluating expressions of the form u j sum i 1,i not j n frac alpha i x i x j , quad text for quad j 1, ldots,n, where alpha i are real numbers, and x i are points in a compact interval of mathbb R . This expression can be viewed as representing the electrostatic potential generated by charges on a line in mathbb R 3 . While fast algorithms for computing the electrostatic potential of general distributions of charges in mathbb R 3 exist, in a number of situations in computational physics it is useful to have a simple and extremely fast method for evaluating the potential of charges on a line we present such a method in this paper, and report numerical results for several examples.


A computing strategy and programs to resolve the Gerstenhaber Problem for commuting triples of matrices. We describe a MATLAB program that could produce a negative answer to the Gerstenhaber Problem by the construction of three commuting n times n matrices A,B,C over a field F such that the subalgebra F A,B,C they generate has dimension greater than n . This problem has remained open for nearly 60 years, following Gerstenhaber's surprising result (Annals Math.) that dim F A,B le n for any two commuting matrices A,B . The property fails for four or more commuting matrices. We also make the MATLAB files freely available.


Finding Action Tubes with a Sparse to Dense Framework. The task of spatial temporal action detection has attracted increasing attention among researchers. Existing dominant methods solve this problem by relying on short term information and dense serial wise detection on each individual frames or clips. Despite their effectiveness, these methods showed inadequate use of long term information and are prone to inefficiency. In this paper, we propose for the first time, an efficient framework that generates action tube proposals from video streams with a single forward pass in a sparse to dense manner. There are two key characteristics in this framework (1) Both long term and short term sampled information are explicitly utilized in our spatiotemporal network, (2) A new dynamic feature sampling module (DTS) is designed to effectively approximate the tube output while keeping the system tractable. We evaluate the efficacy of our model on the UCF101 24, JHMDB 21 and UCFSports benchmark datasets, achieving promising results that are competitive to state of the art methods. The proposed sparse to dense strategy rendered our framework about 7.6 times more efficient than the nearest competitor.


Non Attentive Tacotron Robust and Controllable Neural TTS Synthesis Including Unsupervised Duration Modeling. This paper presents Non Attentive Tacotron based on the Tacotron 2 text to speech model, replacing the attention mechanism with an explicit duration predictor. This improves robustness significantly as measured by unaligned duration ratio and word deletion rate, two metrics introduced in this paper for large scale robustness evaluation using a pre trained speech recognition model. With the use of Gaussian upsampling, Non Attentive Tacotron achieves a 5 scale mean opinion score for naturalness of 4.41, slightly outperforming Tacotron 2. The duration predictor enables both utterance wide and per phoneme control of duration at inference time. When accurate target durations are scarce or unavailable in the training data, we propose a method using a fine grained variational auto encoder to train the duration predictor in a semi supervised or unsupervised manner, with results almost as good as supervised training.


Classification of irrational Theta deformed CAR C algebras. Given a skew symmetric real n times n matrix Theta we consider the universal enveloping C algebra mathsf CAR Theta of the algebra generated by a 1, ldots, a n subject to the relations a i a i a i a i 1, a i a j e 2 pi i Theta i,j a j a i , a i a j e 2 pi i Theta i,j a j a i. We prove that mathsf CAR Theta has a C(K n) structure, where K n left 0, frac 1 2 right n is the hypercube and describe the fibers. We classify irreducible representations of mathsf CAR Theta in terms of irreducible representations of a higher dimensional noncommutative torus. We prove that for a given irrational skew symmetric Theta 1 there are only finitely many Theta 2 such that mathsf CAR Theta 1 simeq mathsf CAR Theta 2 . Namely, mathsf CAR Theta 1 simeq mathsf CAR Theta 2 implies ( Theta 1) ij pm ( Theta 2) sigma(i,j) mod mathbb Z for a bijection sigma of the set (i,j) i j, i, j 1, ldots, n . For n 2 we give a full classification mathsf CAR theta 1 simeq mathsf CAR theta 2 iff theta 1 pm theta 2 mod mathbb Z .


Tropical correspondence for smooth del Pezzo log Calabi Yau pairs. Consider a log Calabi Yau pair (X,D) consisting of a smooth del Pezzo surface X of degree geq 3 and a smooth anticanonical divisor D . We prove a correspondence between genus zero logarithmic Gromov Witten invariants of X intersecting D in a single point with maximal tangency and the consistent wall structure appearing in the dual intersection complex of (X,D) from the Gross Siebert reconstruction algorithm. More precisely, the logarithm of the product of functions attached to unbounded walls in the consistent wall structure gives a generating function for these invariants.


Relative Hofer Zehnder capacity and positive symplectic homology. We study the relationship between a homological capacity c mathrm SH (W) for Liouville domains W defined using positive symplectic homology and the existence of periodic orbits for Hamiltonian systems on W If the positive symplectic homology of W is non zero, then the capacity yields a finite upper bound to the pi 1 sensitive Hofer Zehnder capacity of W relative to its skeleton and a certain class of Hamiltonian diffeomorphisms of W has infinitely many non trivial contractible periodic points. En passant, we give an upper bound for the spectral capacity of W in terms of the homological capacity c mathrm SH (W) defined using the full symplectic homology. Applications of these statements to cotangent bundles are discussed and use a result by Abbondandolo and Mazzucchelli in the appendix, where the monotonicity of systoles of convex Riemannian two spheres in mathbb R 3 is proved.


Social Optima in Mean Field Linear Quadratic Gaussian Control with Volatility Uncertainty. This paper examines mean field linear quadratic Gaussian (LQG) social optimum control with volatility uncertain common noise. The diffusion terms in the dynamics of agents contain an unknown volatility process driven by a common noise. We apply a robust optimization approach in which all agents view volatility uncertainty as an adversarial player. Based on the principle of person by person optimality and a two step duality technique for stochastic variational analysis, we construct an auxiliary optimal control problem for a representative agent. Through solving this problem combined with a consistent mean field approximation, we design a set of decentralized strategies, which are further shown to be asymptotically social optimal by perturbation analysis.