A Note on Deepfake Detection with Low Resources. Deepfakes are videos that include changes, quite often substituting face of a portrayed individual with a different face using neural networks. Even though the technology gained its popularity as a carrier of jokes and parodies it raises a serious threat to ones security via biometric impersonation or besmearing. In this paper we present two methods that allow detecting Deepfakes for a user without significant computational power. In particular, we enhance MesoNet by replacing the original activation functions allowing a nearly 1 improvement as well as increasing the consistency of the results. Moreover, we introduced and verified a new activation function Pish that at the cost of slight time overhead allows even higher consistency. Additionally, we present a preliminary results of Deepfake detection method based on Local Feature Descriptors (LFD), that allows setting up the system even faster and without resorting to GPU computation. Our method achieved Equal Error Rate of 0.28, with both accuracy and recall exceeding 0.7.


A Comprehensive Study of Bloated Dependencies in the Maven Ecosystem. Build automation tools and package managers have a profound influence on software development. They facilitate the reuse of third party libraries, support a clear separation between the application's code and its external dependencies, and automate several software development tasks. However, the wide adoption of these tools introduces new challenges related to dependency management. In this paper, we propose an original study of one such challenge the emergence of bloated dependencies. Bloated dependencies are libraries that the build tool packages with the application's compiled code but that are actually not necessary to build and run the application. This phenomenon artificially grows the size of the built binary and increases maintenance effort. We propose a tool, called DepClean, to analyze the presence of bloated dependencies in Maven artifacts. We analyze 9,639 Java artifacts hosted on Maven Central, which include a total of 723,444 dependency relationships. Our key result is that 75.1 of the analyzed dependency relationships are bloated. In other words, it is feasible to reduce the number of dependencies of Maven artifacts up to 1 4 of its current count. We also perform a qualitative study with 30 notable open source projects. Our results indicate that developers pay attention to their dependencies and are willing to remove bloated dependencies 18 21 answered pull requests were accepted and merged by developers, removing 131 dependencies in total.


Porous carbon nanowire array for highly sensitive, biocompatible, reproducible surface enhanced Raman spectroscopy. Surface enhanced Raman spectroscopy (SERS) is a powerful tool for vibrational spectroscopy as it provides several orders of magnitude higher sensitivity than inherently weak spontaneous Raman scattering by exciting localized surface plasmon resonance (LSPR) on metal substrates. However, SERS is not very reliable, especially for use in life sciences, since it sacrifices reproducibility and biocompatibility due to its strong dependence on "hot spots" and large photothermal heat generation. Here we report a metal free (i.e., LSPR free), topologically tailored nanostructure composed of porous carbon nanowires in an array as a SERS substrate that addresses the decades old problem. Specifically, it offers not only high signal enhancement due to its strong broadband charge transfer resonance, but also extraordinarily high reproducibility or substrate to substrate, spot to spot, sample to sample, and time to time consistency in SERS spectrum due to the absence of hot spots and high compatibility to biomolecules due to its fluorescence quenching and negligible denaturation capabilities. These excellent properties make SERS suitable for practical use in diverse biomedical applications.


Deciding whether a Lattice has an Orthonormal Basis is in co NP. We show that the problem of deciding whether a given Euclidean lattice L has an orthonormal basis is in NP and co NP. Since this is equivalent to saying that L is isomorphic to the standard integer lattice, this problem is a special form of the Lattice Isomorphism Problem, which is known to be in the complexity class SZK.


Properties of the LWR model with time delay. In this article, we investigate theoretical and numerical properties of the first order Lighthill Whitham Richards (LWR) traffic flow model with time delay. Since standard results from the literature are not directly applicable to the delayed model, we mainly focus on the numerical analysis of the proposed finite difference discretization. The simulation results also show that the delay model is able to capture Stop Go waves.


The classification of ERP G2 structures on Lie groups. A complete classification of left invariant closed G2 structures on Lie groups which are extremally Ricci pinched, up to equivalence and scaling, is obtained. There are five of them, they are defined on five different completely solvable Lie groups and the G2 structure is exact in all cases except one, given by the only example in which the Lie group is unimodular.


Backtesting the predictability of COVID 19. The advent of the COVID 19 pandemic has instigated unprecedented changes in many countries around the globe, putting a significant burden on the health sectors, affecting the macro economic conditions, and altering social interactions amongst the population. In response, the academic community has produced multiple forecasting models, approaches and algorithms to best predict the different indicators of COVID 19, such as the number of confirmed infected cases. Yet, researchers had little to no historical information about the pandemic at their disposal in order to inform their forecasting methods. Our work studies the predictive performance of models at various stages of the pandemic to better understand their fundamental uncertainty and the impact of data availability on such forecasts. We use historical data of COVID 19 infections from 253 regions from the period of 22nd January 2020 until 22nd June 2020 to predict, through a rolling window backtesting framework, the cumulative number of infected cases for the next 7 and 28 days. We implement three simple models to track the root mean squared logarithmic error in this 6 month span, a baseline model that always predicts the last known value of the cumulative confirmed cases, a power growth model and an epidemiological model called SEIRD. Prediction errors are substantially higher in early stages of the pandemic, resulting from limited data. Throughout the course of the pandemic, errors regress slowly, but steadily. The more confirmed cases a country exhibits at any point in time, the lower the error in forecasting future confirmed cases. We emphasize the significance of having a rigorous backtesting framework to accurately assess the predictive power of such models at any point in time during the outbreak which in turn can be used to assign the right level of certainty to these forecasts and facilitate better planning.


Topological signature for periodic motion recognition. In this paper, we present an algorithm that computes the topological signature for a given periodic motion sequence. Such signature consists of a vector obtained by persistent homology which captures the topological and geometric changes of the object that models the motion. Two topological signatures are compared simply by the angle between the corresponding vectors. With respect to gait recognition, we have tested our method using only the lowest fourth part of the body's silhouette. In this way, the impact of variations in the upper part of the body, which are very frequent in real scenarios, decreases considerably. We have also tested our method using other periodic motions such as running or jumping. Finally, we formally prove that our method is robust to small perturbations in the input data and does not depend on the number of periods contained in the periodic motion sequence.


Pairs of foliations and Mattei Moussu's theorem. We prove a reduction of singularities for pairs of foliations by blowing up, and then investigate the analytic classification of the reduced models. Those reduced pairs of regular foliations are well understood. The case of a regular and a singular foliation is dealt with Mattei Moussu's Theorem for which we provide a new proof, avoiding Gronwall's inequality. We end up announcing results recently obtained by the first author in the case of a pair of reduced foliations sharing the same separatrices.


Evaluating BBRv2 on the Dropbox Edge Network. Nowadays, loss based TCP congestion controls in general and CUBIC specifically became the de facto standard for the Internet. BBR congestion control challenges the loss based approach by modeling the network based on estimated bandwidth and round trip time. At Dropbox, we've been using BBRv1 since 2017 and are accustomed to its pros and cons. BBRv2 introduces a set of improvements to network modeling (explicit loss targets and inflight limits) and fairness (differential probing and headroom for new flows.) In this paper, we go over experimental data gathered on the Dropbox Edge Network. We compare BBRv2 to BBRv1 and CUBIC showing that BBRv2 is a definite improvement over both of them. We also show that BBRv2 experimental results match its theoretical design principles.


Machine Learning Prediction of Gamer's Private Networks. The Gamer's Private Network (GPN) is a client server technology created by WTFast for making the network performance of online games faster and more reliable. GPN s use middle mile servers and proprietary algorithms to better connect online video game players to their game's servers across a wide area network. Online games are a massive entertainment market and network latency is a key aspect of a player's competitive edge. This market means many different approaches to network architecture are implemented by different competing companies and that those architectures are constantly evolving. Ensuring the optimal connection between a client of WTFast and the online game they wish to play is thus an incredibly difficult problem to automate. Using machine learning, we analyzed historical network data from GPN connections to explore the feasibility of network latency prediction which is a key part of optimization. Our next step will be to collect live data (including client server load, packet and port information and specific game state information) from GPN Minecraft servers and bots. We will use this information in a Reinforcement Learning model along with predictions about latency to alter the clients' and servers' configurations for optimal network performance. These investigations and experiments will improve the quality of service and reliability of GPN systems.


Factorization of finite simple groups. We prove that all Mathieu groups, some linear, and unitary groups are factorizable.


Novelty Messages Filtering for Multi Agent Privacy preserving Planning. In multi agent planning, agents jointly compute a plan that achieves mutual goals, keeping certain information private to the individual agents. Agents' coordination is achieved through the transmission of messages. These messages can be a source of privacy leakage as they can permit a malicious agent to collect information about other agents' actions and search states. In this paper, we investigate the usage of novelty techniques in the context of (decentralised) multi agent privacy preserving planning, addressing the challenges related to the agents' privacy and performance. In particular, we show that the use of novelty based techniques can significantly reduce the number of messages transmitted among agents, better preserving their privacy and improving their performance. An experimental study analyses the effectiveness of our techniques and compares them with the state of the art. Finally, we evaluate the robustness of our approach, considering different delays in the transmission of messages as they would occur in overloaded networks, due for example to massive attacks or critical situations.


The inverse problem for a spectral asymmetry function of the Schr "odinger operator on a finite interval. For the Schr "odinger equation d 2 u dx 2 q(x)u lambda u on a finite x interval, there is defined an "asymmetry function" a( lambda q) , which is entire of order 1 2 and type 1 in lambda . Our main result identifies the classes of square integrable potentials q(x) that possess a common asymmetry function. For any given a( lambda) , there is one potential for each Dirichlet spectral sequence.


Exact Byzantine Consensus on Undirected Graphs under Local Broadcast Model. This paper considers the Byzantine consensus problem for nodes with binary inputs. The nodes are interconnected by a network represented as an undirected graph, and the system is assumed to be synchronous. Under the classical point to point communication model, it is well known 7 that the following two conditions are both necessary and sufficient to achieve Byzantine consensus among n nodes in the presence of up to f Byzantine faulty nodes n ge 3f 1 and vertex connectivity at least 2f 1 . In the classical point to point communication model, it is possible for a faulty node to equivocate, i.e., transmit conflicting information to different neighbors. Such equivocation is possible because messages sent by a node to one of its neighbors are not overheard by other neighbors. This paper considers the local broadcast model. In contrast to the point to point communication model, in the local broadcast model, messages sent by a node are received identically by all of its neighbors. Thus, under the local broadcast model, attempts by a node to send conflicting information can be detected by its neighbors. Under this model, we show that the following two conditions are both necessary and sufficient for Byzantine consensus vertex connectivity at least lfloor 3f 2 rfloor 1 and minimum node degree at least 2f . Observe that the local broadcast model results in a lower requirement for connectivity and the number of nodes n , as compared to the point to point communication model. We extend the above results to a hybrid model that allows some of the Byzantine faulty nodes to equivocate. The hybrid model bridges the gap between the point to point and local broadcast models, and helps to precisely characterize the trade off between equivocation and network requirements.


A Graph Neural Network Approach for Scalable and Dynamic IP Similarity in Enterprise Networks. Measuring similarity between IP addresses is an important task in the daily operations of any enterprise network. Applications that depend on an IP similarity measure include measuring correlation between security alerts, building baselines for behavioral modelling, debugging network failures and tracking persistent attacks. However, IPs do not have a natural similarity measure by definition. Deep Learning architectures are a promising solution here since they are able to learn numerical representations for IPs directly from data, allowing various distance measures to be applied on the calculated representations. Current works have utilized Natural Language Processing (NLP) techniques for learning IP embeddings. However, these approaches have no proper way to handle out of vocabulary (OOV) IPs not seen during training. In this paper, we propose a novel approach for IP embedding using an adapted graph neural network (GNN) architecture. This approach has the advantages of working on the raw data, scalability and, most importantly, induction, i.e. the ability to measure similarity between previously unseen IPs. Using data from an enterprise network, our approach is able to identify similarities between local DNS servers and root DNS servers even though some of these machines are never encountered during the training phase.


A Log Barrier Newton CG Method for Bound Constrained Optimization with Complexity Guarantees. We describe an algorithm based on a logarithmic barrier function, Newton's method, and linear conjugate gradients that obtains an approximate minimizer of a smooth function over the nonnegative orthant. We develop a bound on the complexity of the approach, stated in terms of the required accuracy and the cost of a single gradient evaluation of the objective function and or a matrix vector multiplication involving the Hessian of the objective. The approach can be implemented without explicit calculation or storage of the Hessian.


Realizability of Planar Point Embeddings from Angle Measurements. Localization of a set of nodes is an important and a thoroughly researched problem in robotics and sensor networks. This paper is concerned with the theory of localization from inner angle measurements. We focus on the challenging case where no anchor locations are known. Inspired by Euclidean distance matrices, we investigate when a set of inner angles corresponds to a realizable point set. In particular, we find linear and non linear constraints that are provably necessary, and we conjecture also sufficient for characterizing realizable angle sets. We confirm this in extensive numerical simulations, and we illustrate the use of these constraints for denoising angle measurements along with the reconstruction of a valid point set.


Weak existence and uniqueness for affine stochastic Volterra equations with L1 kernels. We provide existence, uniqueness and stability results for affine stochastic Volterra equations with L 1 kernels and jumps. Such equations arise as scaling limits of branching processes in population genetics and self exciting Hawkes processes in mathematical finance. The strategy we adopt for the existence part is based on approximations using stochastic Volterra equations with L 2 kernels combined with a general stability result. Most importantly, we establish weak uniqueness using a duality argument on the Fourier Laplace transform via a deterministic Riccati Volterra integral equation. We illustrate the applicability of our results on Hawkes processes and a class of hyper rough Volterra Heston models with a Hurst index H in ( 1 2,1 2 .


Positroid varieties and cluster algebras. We show that the coordinate ring of an open positroid variety coincides with the cluster algebra associated to a Postnikov diagram. This confirms conjectures of Postnikov, Muller Speyer, and Leclerc, and generalizes results of Scott and Serhiyenko Sherman Bennett Williams.


Nanostructure modulated planar high spectral resolution spectro polarimeter. We present a planar spectro polarimeter based on Fabry P 'e rot cavities with embedded polarization sensitive high index nanostructures. A 7 mu m thick spectro polarimetric system for 3 spectral bands and 2 linear polarization states is experimentally demonstrated. Furthermore, an optimal design is theoretically proposed, estimating that a system with a bandwidth of 127 nm and a spectral resolution of 1 nm is able to reconstruct the first three Stokes parameters textcolor black with a signal to noise ratio of 13.14 dB with respect to the the shot noise limited SNR . The pixelated spectro polarimetric system can be directly integrated on a sensor, thus enabling applicability in a variety of miniaturized optical devices, including but not limited to satellites for Earth observation.


MCQA Multimodal Co attention Based Network for Question Answering. We present MCQA, a learning based algorithm for multimodal question answering. MCQA explicitly fuses and aligns the multimodal input (i.e. text, audio, and video), which forms the context for the query (question and answer). Our approach fuses and aligns the question and the answer within this context. Moreover, we use the notion of co attention to perform cross modal alignment and multimodal context query alignment. Our context query alignment module matches the relevant parts of the multimodal context and the query with each other and aligns them to improve the overall performance. We evaluate the performance of MCQA on Social IQ, a benchmark dataset for multimodal question answering. We compare the performance of our algorithm with prior methods and observe an accuracy improvement of 4 7 .


An Information Theoretical Approach to the Information Capacity and Cost Effectiveness Evaluation of Color Palettes. Colors are used as effective tools of representing and transferring information. Number of colors in a palette is the direct arbiter of the information conveying capacity. Yet it should be well elaborated, since increasing the entropy by adding colors comes with its cost on decoding. Despite the possible effects upon diverse applications, a methodology for cost effectiveness evaluation of palettes seems deficient. In this work, this need is being addressed from an information theoretical perspective, via the articulated metrics and formulae. Besides, the proposed metrics are computed for some developed and known palettes, and observed results are evaluated.


On two conjectures about the intersection distribution. Recently, S. Li and A. Pott cite LP proposed a new concept of intersection distribution concerning the interaction between the graph (x,f(x)) x in F q of f and the lines in the classical affine plane AG(2,q) . Later, G. Kyureghyan, et al. cite KLP proceeded to consider the next simplest case and derive the intersection distribution for all degree three polynomials over F q with q both odd and even. They also proposed several conjectures in cite KLP . In this paper, we completely solve two conjectures in cite KLP . Namely, we prove two classes of power functions having intersection distribution v 0 (f) frac q(q 1) 3 , v 1 (f) frac q(q 1) 2 , v 2 (f) 0, v 3 (f) frac q(q 1) 6 . We mainly make use of the multivariate method and QM equivalence on 2 to 1 mappings. The key point of our proof is to consider the number of the solutions of some low degree equations.


Energy dissipation for hereditary and energy conservation for non local fractional wave equations. Using the method of a priori energy estimates, energy dissipation is proved for the class of hereditary fractional wave equations, obtained through the system of equations consisting of equation of motion, strain, and fractional order constitutive models, that include the distributed order constitutive law in which the integration is performed from zero to one generalizing all linear constitutive models of fractional and integer orders, as well as for the thermodynamically consistent fractional Burgers models, where the orders of fractional differentiation are up to the second order. In the case of non local fractional wave equations, obtained using non local constitutive models of Hooke and Eringen type in addition to the equation of motion and strain, a priori energy estimates yield the energy conservation, with the reinterpreted notion of the potential energy.


Hive geometry shapes the recruitment rate of honeybee colonies. Honey bees make decisions regarding foraging and nest site selection in groups ranging from hundreds to thousands of individuals. To effectively make these decisions bees need to communicate within a spatially distributed group. However, the spatiotemporal dynamics of honey bee communication have been mostly overlooked in models of collective decisions, focusing primarily on mean field models of opinion dynamics. We analyze how the spatial properties of the nest or hive, and the movement of individuals with different belief states (uncommitted or committed) therein affect the rate of information transmission using spatially extended models of collective decision making within a hive. Honeybees waggle dance to recruit conspecifics with an intensity that is a threshold nonlinear function of the waggler concentration. Our models range from treating the hive as a chain of discrete patches to a continuous line (long narrow hive). The combination of population thresholded recruitment and compartmentalized populations generates tradeoffs between rapid information propagation with strong population dispersal and recruitment failures resulting from excessive population diffusion and also creates an effective colony level signal detection mechanism whereby recruitment to low quality objectives is blocked.


Effect of rectangular grooves and checkerboard patterns on the electron emission yield. The effect of rough structures on the electron emission under electron impact between 10 eV and 2 keV is investigated with a new version of the low energy electromagnetic model of GEANT4 (MicroElec). The inelastic scattering is modeled, thanks to the dielectric function theory and the Mott's model of partial waves to describe the elastic scattering. Secondary electron emission is modeled for grooved and checkerboard patterns of different dimensions for aluminum and silver. The analyses are performed according to two shape parameters h L and d L, h being the height, L the width of the structures, and d the spacing between two neighboring structures. The secondary electron emission is demonstrated to decrease when h L and d L ratios increase. When the height reaches 10 times the lateral dimensions, the electron emission yield is divided by two compared to that of a flat sample. The optimization of the two aspect ratios leads to a reduction of the electron emission yield of 80 for grooved patterns and of 98 for checkerboard patterns. This purely geometric effect is similar for aluminum and silver materials. A simple analytical model, capable of reproducing the effect on the electron emission yield of checkerboard and grooved patterns, is proposed. This model is found to be in good agreement with the Monte Carlo simulations and some experimental measurements performed in our irradiation facility.


Philosophy Guided Modelling and Implementation of Adaptation and Control in Complex Systems. Control was from its very beginning an important concept in cybernetics. Later on, with the works of W. Ross Ashby, for example, biological concepts such as adaptation were interpreted in the light of cybernetic systems theory. Adaptation is the process by which a system is capable of regulating or controlling itself in order to adapt to changes of its inner and outer environment maintaining a homeostatic state. In earlier works we have developed a system metamodel that on the one hand refers to cybernetic concepts such as structure, operation, and system, and on the other to the philosophy of individuation of Gilbert Simondon. The result is the so called allagmatic method that is capable of creating concrete models of systems such as artificial neural networks and cellular automata starting from abstract building blocks. In this paper, we add to our already existing method the cybernetic concepts of control and especially adaptation. In regard to the system metamodel, we rely again on philosophical theories, this time the philosophy of organism of Alfred N. Whitehead. We show how these new meta theoretical concepts are described formally and how they are implemented in program code. We also show what role they play in simple experiments. We conclude that philosophical abstract concepts help to better understand the process of creating computer models and their control and adaptation. In the outlook we discuss how the allagmatic method needs to be extended in order to cover the field of complex systems and Norbert Wiener's ideas on control.


Search for Smart Evaders with Sweeping Agents. Suppose that in a given planar circular region, there are some smart mobile evaders and we would like to find them using sweeping agents. We assume that the sweeping agents are in a line formation whose total length is 2r. We propose procedures for designing a sweeping process that ensures the successful completion of the task, thereby deriving conditions on the sweeping velocity of the linear formation and its path. Successful completion of the task means that evaders with a given limit on their velocity cannot escape the sweeping agents. A simpler task for the sweeping formation is the confinement of the evaders to their initial domain. The feasibility of completing these tasks depends on geometric and dynamic constraints that impose a lower bound on the velocity that the sweeper line formation must have. This critical velocity is derived to ensure the satisfaction of the confinement task. Increasing the velocity above the lower bound enables the agents to complete the search task as well. We present results on the total search time as a function of the sweeping velocity of the formation given the initial conditions on the size of the search region and the maximal velocity of the evaders.


Friedrichs type inequalities in arbitrary domains. First and second order inequalities of Friedrichs type for Sobolev functions in arbitrary domains are offered. The relevant inequalities involve optimal norms and constants that are independent of the geometry of the domain. Parallel inequalities for symmetric gradient Sobolev spaces of vector valued functions are also presented. The results are derived via general criteria established in our earlier contributions 4 and 5 .


Spatio temporal predictive modeling framework for infectious disease spread. A novel predictive modeling framework for the spread of infectious diseases using high dimensional partial differential equations is developed and implemented. A scalar function representing the infected population is defined on a high dimensional space and its evolution over all directions is described by a population balance equation (PBE). New infections are introduced among the susceptible population from non quarantined infected population based on their interaction, adherence to distancing norms, hygiene levels and any other societal interventions. Moreover, recovery, death, immunity and all aforementioned parameters are modeled on the high dimensional space. To epitomize the capabilities and features of the above framework, prognostic estimates of Covid 19 spread using a six dimensional (time, 2D space, infection severity, duration of infection, and population age) PBE is presented. Further, scenario analysis for different policy interventions and population behavior is presented, throwing more insights into the spatio temporal spread of infections across disease age, intensity and age of population. These insights could be used for science informed policy planning.


L infty norm error estimates for HDG methods applied to the Poisson equation with an application to the Dirichlet boundary control problem. We prove quasi optimal L infty norm error estimates (up to logarithmic factors) for the solution of Poisson's problem by the standard Hybridizable Discontinuous Galerkin (HDG) method. Although such estimates are available for conforming and mixed finite element methods, this is the first proof for HDG. The method of proof is motivated by known L infty norm estimates for mixed finite elements. We show two applications the first is to prove optimal convergence rates for boundary flux estimates, and the second is to prove that numerically observed convergence rates for the solution of a Dirichlet boundary control problem are to be expected theoretically. Numerical examples show that the predicted rates are seen in practice.


Skewing Quanto with Simplicity. We present a simple and highly efficient analytical method for solving the Quanto Skew problem in Equities under a framework that accommodates both Equity and FX volatility skew consistently. Ease of implementation and extremely fast performance of this new approach should benefit a wide spectrum of market participants.


Boundary Layer Flow over a Moving Flat Plate in Jeffrey Fluid with Newtonian Heating. In this paper, a numerical analysis of boundary layer flow and heat transfer in Jeffrey fluid over a moving flat plate with Newtonian Heating have been presented. The governing partial differential equations were reduced to a transformed ordinary differential equation with the help of similarity transformation. Numerical solutions were obtained for these transformed ordinary differential equation by using the Runge Kutta Fehlberg method. The effect on the boundary layer flow and heat transfer behaviours of various parameters such as Deborah number lambda 2, relaxation time and retardation time ratio lambda , Newtonian heating parameter gamma , Prandtl number Pr and moving plate velocity parameter epsilon has been investigated. It is important to mention that the results obtained and reported here are impactful to the researchers working in this field and can be used in the future as a guideline and analysis context. Keywords Jeffrey Fluid, Newtonian Heating, Boundary Layer Flow, Moving plate


Can WiFi Estimate Person Pose?. WiFi human sensing has achieved great progress in indoor localization, activity classification, etc. Retracing the development of these work, we have a natural question can WiFi devices work like cameras for vision applications? In this paper We try to answer this question by exploring the ability of WiFi on estimating single person pose. We use a 3 antenna WiFi sender and a 3 antenna receiver to generate WiFi data. Meanwhile, we use a synchronized camera to capture person videos for corresponding keypoint annotations. We further propose a fully convolutional network (FCN), termed WiSPPN, to estimate single person pose from the collected data and annotations. Evaluation on over 80k images (16 sites and 8 persons) replies aforesaid question with a positive answer. Codes have been made publicly available at https github.com geekfeiw WiSPPN.


On a criterion for Catalan's Conjecture. We give a new proof of a theorem by P. Mihailescu which states that the equation x p y q 1 is unsolvable with x, y integral and p, q odd primes, unless the congruences p q equiv p pmod q 2 and q p equiv q pmod p 2 hold.


Entropy dissipation for degenerate stochastic differential equations via sub Riemannian density manifold. We study the dynamical behavior of degenerate stochastic differential equations (SDEs). We select an auxiliary Fisher information functional as the Lyapunov functional. We conduct the Lyapunov exponential convergence analysis of degenerate SDEs in terms of generalized Fisher information and L 1 distances. We derive the convergence rate by the induced generalized Gamma z calculus. Examples of explicit rates are provided, including one dimensional degenerate SDEs, gradient drift diffusions in the Heisenberg group, displacement group, and Martinet sub Riemannian structure. The Lyapunov analysis is constructed from a second order calculus of Kullback Leibler divergence in density space with a sub Riemannian optimal transport type metric.


Equi Energy sampling does not converge rapidly on the mean field Potts model with three colors close to the critical temperature. Equi Energy Sampling (EES, for short) is a method to speed up the convergence of the Metropolis chain, when the latter is slow. We show that there are still models like the mean field Potts model, where EES does not converge rapidly in certain temperature regimes. Indeed we will show that EES is slowly mixing on the mean field Potts model, in a regime below the critical temperature. Though we will concentrate on the Potts model with three colors, our arguments remain valid for any number of colors q ge 3 , if we adapt the temperature regime. For the situation of the mean field Potts model this answers a question posed in cite HuaKou .


Even the Easiest(?) Graph Coloring Problem is not Easy in Streaming!. We study a graph coloring problem that is otherwise easy but becomes quite non trivial in the one pass streaming model. In contrast to previous graph coloring problems in streaming that try to find an assignment of colors to vertices, our main work is on estimating the number of conflicting or monochromatic edges given a coloring function that is streaming along with the graph we call the problem sc Conflict Est . The coloring function on a vertex can be read or accessed only when the vertex is revealed in the stream. If we need the color on a vertex that has streamed past, then that color, along with its vertex, has to be stored explicitly. We provide algorithms for a graph that is streaming in different variants of the one pass vertex arrival streaming model, viz. the sc Vertex Arrival ( sc VA ), Vertex Arrival With Degree Oracle ( sc VAdeg ), sc Vertex Arrival in Random Order ( sc VArand ) models, with special focus on the random order model. We also provide matching lower bounds for most of the cases. The mainstay of our work is in showing that the properties of a random order stream can be exploited to design streaming algorithms for estimating the number of conflicting edges. We have also obtained a lower bound, though not matching the upper bound, for the random order model. Among all the three models vis a vis this problem, we can show a clear separation of power in favor of the sc VArand model.


A compact fine grained calorimeter for luminosity measurement at a linear collider. Based on a paper published in 2019 by the FCAL Collaboration, this talk is giving an update of the Collaboration's effort to design prototype of highly compact calorimeter to instrument the very forward region of a detector at future e e colliders. A luminometer prototype, based on sub millimeter thick detector planes, is tested with an electron beam of energy 1 5 GeV. The effective Moliere radius of the prototype comprising eight detector planes was measured to be (8.1 0.1 (stat.) 0.3 (syst.))mm, and the result is well reproduced by the Monte Carlo simulation.


First order continuous and discontinuous Galerkin moment models for a linear kinetic equation realizability preserving splitting scheme and numerical analysis. We derive a second order realizability preserving scheme for moment models for linear kinetic equations. We apply this scheme to the first order continuous and discontinuous models in slab and three dimensional geometry derived in a previous paper as well as the classical full moment M N models. We provide extensive numerical analysis as well as our code to show that the new class of models can compete or even outperform the full moment models in reasonable test cases.


A logarithmic improvement in the two point Weyl law for manifolds without conjugate points. In this paper, we study the two point Weyl Law for the Laplace Beltrami operator on a smooth, compact Riemannian manifold M with no conjugate points. That is, we find the asymptotic behavior of the Schwartz kernel, E lambda(x,y) , of the projection operator from L 2(M) onto the direct sum of eigenspaces with eigenvalue smaller than lambda 2 as lambda to infty . In the regime where x,y are restricted to a compact neighborhood of the diagonal in M times M , we obtain a uniform logarithmic improvement in the remainder of the asymptotic expansion for E lambda and its derivatives of all orders, which generalizes a result of B 'erard, who treated the on diagonal case E lambda(x,x) . When x,y avoid a compact neighborhood of the diagonal, we obtain this same improvement in an upper bound for E lambda . Our results imply that the rescaled covariance kernel of a monochromatic random wave locally converges in the C infty topology to a universal scaling limit at an inverse logarithmic rate.


Twistor spaces on foliated manifolds. The theory of twistors on foliated manifolds is developed and the twistor space of the normal bundle is constructed. It is demonstrated that the classical constructions of the twistor theory lead to foliated objects and permit to formulate and prove foliated versions of some well known results on holomorphic mappings. Since any orbifold can be understood as the leaf space of a suitable defined Riemannian foliation we obtain orbifold versions of the classical results as a simple consequence of the results on foliated mappings.


Coxeter quotients of the automorphism group of a Coxeter group. We show that for a large class mathcal W of Coxeter groups the following holds Given a group W Gamma in mathcal W , the automorphism group rm Aut (W Gamma) virtually surjects onto some infinite Coxeter group. In particular, the group rm Aut (W Gamma) is virtually indicable and therefore does not satisfy Kazhdan's property (T). Moreover, if W Gamma is not virtually abelian, then the group rm Aut (W Gamma) is large.


Characterization and a 2D Visualization of B 0 VPG Cocomparability Graphs. B 0 VPG graphs are intersection graphs of vertical and horizontal line segments on a plane. Cohen, Golumbic, Trotter, and Wang Order, 2016 pose the question of characterizing B 0 VPG permutation graphs. We respond here by characterizing B 0 VPG cocomparability graphs. This characterization also leads to a polynomial time recognition and B 0 VPG drawing algorithm for the class. Our B 0 VPG drawing algorithm starts by fixing any one of the many posets P whose cocomparability graph is the input graph G . The drawing we obtain not only visualizes G in that one can distinguish comparable pairs from incomparable ones, but one can also identify which among a comparable pair is larger in P from this visualization.


Modularising Verification Of Durable Opacity. Non volatile memory (NVM), also known as persistent memory, is an emerging paradigm for memory that preserves its contents even after power loss. NVM is widely expected to become ubiquitous, and hardware architectures are already providing support for NVM programming. This has stimulated interest in the design of novel concepts ensuring correctness of concurrent programming abstractions in the face of persistency and in the development of associated verification approaches. Software transactional memory (STM) is a key programming abstraction that supports concurrent access to shared state. In a fashion similar to linearizability as the correctness condition for concurrent data structures, there is an established notion of correctness for STMs known as opacity. We have recently proposed durable opacity as the natural extension of opacity to a setting with non volatile memory. Together with this novel correctness condition, we designed a verification technique based on refinement. In this paper, we extend this work in two directions. First, we develop a durably opaque version of NOrec (no ownership records), an existing STM algorithm proven to be opaque. Second, we modularise our existing verification approach by separating the proof of durability of memory accesses from the proof of opacity. For NOrec, this allows us to re use an existing opacity proof and complement it with a proof of the durability of accesses to shared state.


Pruning and Quantizing Neural Belief Propagation Decoders. We consider near maximum likelihood (ML) decoding of short linear block codes. In particular, we propose a novel decoding approach based on neural belief propagation (NBP) decoding recently introduced by Nachmani et al. in which we allow a different parity check matrix in each iteration of the algorithm. The key idea is to consider NBP decoding over an overcomplete parity check matrix and use the weights of NBP as a measure of the importance of the check nodes (CNs) to decoding. The unimportant CNs are then pruned. In contrast to NBP, which performs decoding on a given fixed parity check matrix, the proposed pruning based neural belief propagation (PB NBP) typically results in a different parity check matrix in each iteration. For a given complexity in terms of CN evaluations, we show that PB NBP yields significant performance improvements with respect to NBP. We apply the proposed decoder to the decoding of a Reed Muller code, a short low density parity check (LDPC) code, and a polar code. PB NBP outperforms NBP decoding over an overcomplete parity check matrix by 0.27 0.31 dB while reducing the number of required CN evaluations by up to 97 . For the LDPC code, PB NBP outperforms conventional belief propagation with the same number of CN evaluations by 0.52 dB. We further extend the pruning concept to offset min sum decoding and introduce a pruning based neural offset min sum (PB NOMS) decoder, for which we jointly optimize the offsets and the quantization of the messages and offsets. We demonstrate performance 0.5 dB from ML decoding with 5 bit quantization for the Reed Muller code.


OVSNet Towards One Pass Real Time Video Object Segmentation. Video object segmentation aims at accurately segmenting the target object regions across consecutive frames. It is technically challenging for coping with complicated factors (e.g., shape deformations, occlusion and out of the lens). Recent approaches have largely solved them by using backforth re identification and bi directional mask propagation. However, their methods are extremely slow and only support offline inference, which in principle cannot be applied in real time. Motivated by this observation, we propose a efficient detection based paradigm for video object segmentation. We propose an unified One Pass Video Segmentation framework (OVS Net) for modeling spatial temporal representation in a unified pipeline, which seamlessly integrates object detection, object segmentation, and object re identification. The proposed framework lends itself to one pass inference that effectively and efficiently performs video object segmentation. Moreover, we propose a maskguided attention module for modeling the multi scale object boundary and multi level feature fusion. Experiments on the challenging DAVIS 2017 demonstrate the effectiveness of the proposed framework with comparable performance to the state of the art, and the great efficiency about 11.5 FPS towards pioneering real time work to our knowledge, more than 5 times faster than other state of the art methods.


Persistency of Linear Programming Relaxations for the Stable Set Problem. The Nemhauser Trotter theorem states that the standard linear programming (LP) formulation for the stable set problem has a remarkable property, also known as (weak) persistency for every optimal LP solution that assigns integer values to some variables, there exists an optimal integer solution in which these variables retain the same values. While the standard LP is defined by only non negativity and edge constraints, a variety of other LP formulations have been studied and one may wonder whether any of them has this property as well. We show that any other formulation that satisfies mild conditions cannot have the persistency property on all graphs, unless it is always equal to the stable set polytope.


The Multi Source Preemptive M PH 1 1 Queue with Packet Errors Exact Distribution of the Age of Information and Its Peak. Age of Information (AoI) and Peak AoI (PAoI) and their analytical models have recently drawn substantial amount of attention in information theory and wireless communications disciplines, in the context of qualitative assessment of information freshness in status update systems. We take a queueing theoretic approach and study a probabilistically preemptive bufferless M PH 1 1 queueing system with arrivals stemming from N separate information sources, with the aim of modeling a generic status update system. In this model, a new information packet arrival from source m is allowed to preempt a packet from source n in service, with a probability depending on n and m . To make the model even more general than the existing ones, for each of the information sources, we assume a distinct PH type service time distribution and a distinct packet error probability. Subsequently, we obtain the exact distributions of the AoI and PAoI for each of the information sources using matrix analytical algorithms and in particular the theory of Markov fluid queues and sample path arguments. This is in contrast with existing methods that rely on Stochastic Hybrid Systems (SHS) which obtain only the average values and in less general settings. Numerical examples are provided to validate the proposed approach as well as to give engineering insight on the impact of preemption probabilities on certain AoI and PAoI performance figures.


A convolution quadrature method for Maxwell's equations in dispersive media. We study the systematic numerical approximation of Maxwell's equations in dispersive media. Two discretization strategies are considered, one based on a traditional leapfrog time integration method and the other based on convolution quadrature. The two schemes are proven to be equivalent and to preserve the underlying energy dissipation structure of the problem. The second approach, however, is independent of the number of internal states and allows to handle rather general dispersive materials. Using ideas of fast and oblivious convolution quadrature, the method can be implemented efficiently.


Formal composition of hybrid systems. We develop a compositional framework for formal synthesis of hybrid systems using the language of category theory. More specifically, we provide mutually compatible tools for hierarchical, sequential, and independent parallel composition. In our framework, hierarchies of hybrid systems correspond to template anchor pairs, which we model as spans of subdividing and embedding semiconjugacies. Hierarchical composition of template anchor pairs corresponds to the composition of spans via pullback. To model sequential composition, we introduce "directed hybrid systems," each of which flows from an initial subsystem to a final subsystem in a Conley theoretic sense. Sequential composition of directed systems is given by a pushout of graph embeddings, rewriting the continuous dynamics of the overlapping subsystem to prioritize the second directed system. Independent parallel composition corresponds to a categorical product with respect to semiconjugacy. To formalize the compatibility of these three types of composition, we construct a vertically cartesian double category of hybrid systems where the vertical morphisms are semiconjugacies, and the horizontal morphisms are directed hybrid systems.


A Multiplicative Version of the Lindley Recursion. This paper presents an analysis of the stochastic recursion W i 1 V iW i Y i that can be interpreted as an autoregressive process of order 1, reflected at 0. We start our exposition by a discussion of the model's stability condition. Writing Y i B i A i , for independent sequences of non negative i.i.d. random variables A i i in N 0 and B i i in N 0 , and assuming V i i in N 0 is an i.i.d. sequence as well (independent of A i i in N 0 and B i i in N 0 ), we then consider three special cases (i) V i attains negative values only and B i has a rational LST, (ii) V i equals a positive value a with certain probability p in (0,1) and is negative otherwise, and both A i and B i have a rational LST, (iii) V i is uniformly distributed on 0,1 , and A i is exponentially distributed. In all three cases we derive transient and stationary results, where the transient results are in terms of the transform at a geometrically distributed epoch.


Efficient Attention Mechanism for Visual Dialog that can Handle All the Interactions between Multiple Inputs. It has been a primary concern in recent studies of vision and language tasks to design an effective attention mechanism dealing with interactions between the two modalities. The Transformer has recently been extended and applied to several bi modal tasks, yielding promising results. For visual dialog, it becomes necessary to consider interactions between three or more inputs, i.e., an image, a question, and a dialog history, or even its individual dialog components. In this paper, we present a neural architecture named Light weight Transformer for Many Inputs (LTMI) that can efficiently deal with all the interactions between multiple such inputs in visual dialog. It has a block structure similar to the Transformer and employs the same design of attention computation, whereas it has only a small number of parameters, yet has sufficient representational power for the purpose. Assuming a standard setting of visual dialog, a layer built upon the proposed attention block has less than one tenth of parameters as compared with its counterpart, a natural Transformer extension. The experimental results on the VisDial datasets validate the effectiveness of the proposed approach, showing improvements of the best NDCG score on the VisDial v1.0 dataset from 57.59 to 60.92 with a single model, from 64.47 to 66.53 with ensemble models, and even to 74.88 with additional finetuning. Our implementation code is available at https github.com davidnvq visdial.


A model reference adaptive system approach for nonlinear online parameter identification. Dynamical systems, for instance in model predictive control, often contain unknown parameters, which must be determined during system operation. Online or on the fly parameter identification methods are therefore necessary. The challenge of online methods is that one must continuously estimate parameters as experimental data becomes available. The existing techniques in the context of time dependent partial differential equations exclude the case where the system depends nonlinearly on the parameters.Based on a model reference adaptive system approach, we present an online parameter identification method for nonlinear infinite dimensional evolutionary system.


Psychophysical Evaluation of Deep Re Identification Models. Pedestrian re identification (ReID) is the task of continuously recognising the sameindividual across time and camera views. Researchers of pedestrian ReID and theirGPUs spend enormous energy producing novel algorithms, challenging datasets,and readily accessible tools to successfully improve results on standard metrics.Yet practitioners in biometrics, surveillance, and autonomous driving have not re alized benefits that reflect these metrics. Different detections, slight occlusions,changes in perspective, and other banal perturbations render the best neural net works virtually useless. This work makes two contributions. First, we introducethe ReID community to a budding area of computer vision research in model eval uation. By adapting established principles of psychophysical evaluation from psy chology, we can quantify the performance degradation and begin research thatwill improve the utility of pedestrian ReID models not just their performance ontest sets. Second, we introduce NuscenesReID, a challenging new ReID datasetdesigned to reflect the real world autonomous vehicle conditions in which ReIDalgorithms are used. We show that, despite performing well on existing ReIDdatasets, most models are not robust to synthetic augmentations or to the morerealistic NuscenesReID data.


Do not Omit Local Minimizer a Complete Solution for Pose Estimation from 3D Correspondences. Estimating pose from given 3D correspondences, including point to point, point to line and point to plane correspondences, is a fundamental task in computer vision with many applications. We present a complete solution for this task, including a solution for the minimal problem and the least squares problem of this task. Previous works mainly focused on finding the global minimizer to address the least squares problem. However, existing works that show the ability to achieve global minimizer are still unsuitable for real time applications. Furthermore, as one of contributions of this paper, we prove that there exist ambiguous configurations for any number of lines and planes. These configurations have several solutions in theory, which makes the correct solution may come from a local minimizer. Our algorithm is efficient and able to reveal local minimizers. We employ the Cayley Gibbs Rodriguez (CGR) parameterization of the rotation to derive a general rational cost for the three cases of 3D correspondences. The main contribution of this paper is to solve the resulting equation system of the minimal problem and the first order optimality conditions of the least squares problem, both of which are of complicated rational forms. The central idea of our algorithm is to introduce intermediate unknowns to simplify the problem. Extensive experimental results show that our algorithm significantly outperforms previous algorithms when the number of correspondences is small. Besides, when the global minimizer is the solution, our algorithm achieves the same accuracy as previous algorithms that have guaranteed global optimality, but our algorithm is applicable to real time applications.


Atomic Cross Chain Swaps with Improved Space and Local Time Complexity. An effective atomic cross chain swap protocol is introduced by Herlihy Herlihy, 2018 as a distributed coordination protocol in order to exchange assets across multiple blockchains among multiple parties. An atomic cross chain swap protocol guarantees (1) if all parties conform to the protocol, then all assets are exchanged among parties, (2) even if some parties or coalitions of parties deviate from the protocol, no party conforming to the protocol suffers a loss, and (3) no coalition has an incentive to deviate from the protocol. Herlihy Herlihy, 2018 invented this protocol by using hashed timelock contracts. A cross chain swap is modeled as a directed graph D (V,A). Vertex set V denotes a set of parties and arc set A denotes a set of proposed asset transfers. Herlihy's protocol uses the graph topology and signature information to set appropriate hashed timelock contracts. The space complexity of the protocol (i.e., the total number of bits written in the blockchains in a swap) is O( A 2). The local time complexity of the protocol (i.e., the maximum execution time of a contract in a swap to transfer the corresponding asset) is O( V L ), where L is a feedback vertex set computed by the protocol. We propose a new atomic cross chain swap protocol which uses only signature information and improves the space complexity to O( A V ) and the local time complexity to O( V ).


FECBench A Holistic Interference aware Approach for Application Performance Modeling. Services hosted in multi tenant cloud platforms often encounter performance interference due to contention for non partitionable resources, which in turn causes unpredictable behavior and degradation in application performance. To grapple with these problems and to define effective resource management solutions for their services, providers often must expend significant efforts and incur prohibitive costs in developing performance models of their services under a variety of interference scenarios on different hardware. This is a hard problem due to the wide range of possible co located services and their workloads, and the growing heterogeneity in the runtime platforms including the use of fog and edge based resources, not to mention the accidental complexity in performing application profiling under a variety of scenarios. To address these challenges, we present FECBench, a framework to guide providers in building performance interference prediction models for their services without incurring undue costs and efforts. The contributions of the paper are as follows. First, we developed a technique to build resource stressors that can stress multiple system resources all at once in a controlled manner to gain insights about the interference on an application's performance. Second, to overcome the need for exhaustive application profiling, FECBench intelligently uses the design of experiments (DoE) approach to enable users to build surrogate performance models of their services. Third, FECBench maintains an extensible knowledge base of application combinations that create resource stresses across the multi dimensional resource design space. Empirical results using real world scenarios to validate the efficacy of FECBench show that the predicted application performance has a median error of only 7.6 across all test cases, with 5.4 in the best case and 13.5 in the worst case.


A Multi task Learning Approach for Named Entity Recognition using Local Detection. Named entity recognition (NER) systems that perform well require task related and manually annotated datasets. However, they are expensive to develop, and are thus limited in size. As there already exists a large number of NER datasets that share a certain degree of relationship but differ in content, it is important to explore the question of whether such datasets can be combined as a simple method for improving NER performance. To investigate this, we developed a novel locally detecting multitask model using FFNNs. The model relies on encoding variable length sequences of words into theoretically lossless and unique fixed size representations. We applied this method to several well known NER tasks and compared the results of our model to baseline models as well as other published results. As a result, we observed competitive performance in nearly all of the tasks.


Vanishing off subgroups and supercharacter theory products. In this paper, we study the vanishing off subgroups of supercharacters, and use these to determine several new characterizations of supercharacter theory products. In particular, we give a character theoretic characterization that allows us to conclude that one may determine if a supercharacter theory is a Delta product or ast product from the values of its corresponding supercharacters.


Continuous time fully distributed generalized Nash equilibrium seeking for multi integrator agents. We consider strongly monotone games with convex separable coupling constraints, played by dynamical agents, in a partial decision information scenario. We start by designing continuous time fully distributed feedback controllers, based on consensus and primal dual gradient dynamics, to seek a generalized Nash equilibrium in networks of single integrator agents. Our first solution adopts a fixed gain, whose choice requires the knowledge of some global parameters of the game. To relax this requirement, we conceive a controller that can be tuned in a completely decentralized fashion, thanks to the use of uncoordinated integral adaptive weights. We further introduce algorithms specifically devised for generalized aggregative games. Finally, we adapt all our control schemes to deal with heterogeneous multi integrator agents and, in turn, with nonlinear feedback linearizable dynamical systems. For all the proposed dynamics, we show convergence to a variational equilibrium, by leveraging monotonicity properties and stability theory for projected dynamical systems.


No regret Learning in Price Competitions under Consumer Reference Effects. We study long run market stability for repeated price competitions between two firms, where consumer demand depends on firms' posted prices and consumers' price expectations called reference prices. Consumers' reference prices vary over time according to a memory based dynamic, which is a weighted average of all historical prices. We focus on the setting where firms are not aware of demand functions and how reference prices are formed but have access to an oracle that provides a measure of consumers' responsiveness to the current posted prices. We show that if the firms run no regret algorithms, in particular, online mirror descent(OMD), with decreasing step sizes, the market stabilizes in the sense that firms' prices and reference prices converge to a stable Nash Equilibrium (SNE). Interestingly, we also show that there exist constant step sizesunder which the market stabilizes. We further characterize the rate of convergence to the SNE for both decreasing and constant OMD step sizes.


Vectorization and Minimization of Memory Footprint for Linear High Order Discontinuous Galerkin Schemes. We present a sequence of optimizations to the performance critical compute kernels of the high order discontinuous Galerkin solver of the hyperbolic PDE engine ExaHyPE successively tackling bottlenecks due to SIMD operations, cache hierarchies and restrictions in the software design. Starting from a generic scalar implementation of the numerical scheme, our first optimized variant applies state of the art optimization techniques by vectorizing loops, improving the data layout and using Loop over GEMM to perform tensor contractions via highly optimized matrix multiplication functions provided by the LIBXSMM library. We show that memory stalls due to a memory footprint exceeding our L2 cache size hindered the vectorization gains. We therefore introduce a new kernel that applies a sum factorization approach to reduce the kernel's memory footprint and improve its cache locality. With the L2 cache bottleneck removed, we were able to exploit additional vectorization opportunities, by introducing a hybrid Array of Structure of Array data layout that solves the data layout conflict between matrix multiplications kernels and the point wise functions to implement PDE specific terms. With this last kernel, evaluated in a benchmark simulation at high polynomial order, only 2 of the floating point operations are still performed using scalar instructions and 22.5 of the available performance is achieved.


Kinetics Informed Neural Networks. Chemical kinetics and reaction engineering consists of the phenomenological framework for the disentanglement of reaction mechanisms, optimization of reaction performance and the rational design of chemical processes. Here, we utilize feed forward artificial neural networks as basis functions to solve ordinary differential equations (ODEs) constrained by differential algebraic equations (DAEs) that describe microkinetic models (MKMs). We present an algebraic framework for the mathematical description and classification of reaction networks, types of elementary reaction, and chemical species. Under this framework, we demonstrate that the simultaneous training of neural nets and kinetic model parameters in a regularized multi objective optimization setting leads to the solution of the inverse problem through the estimation of kinetic parameters from synthetic experimental data. We analyze a set of scenarios to establish the extent to which kinetic parameters can be retrieved from transient kinetic data, and assess the robustness of the methodology with respect to statistical noise. This approach to inverse kinetic ODEs can assist in the elucidation of reaction mechanisms based on transient data.


Scaling limits and stochastic homogenization for some nonlinear parabolic equations. The aim of this paper is twofold. The first is to study the asymptotics of a parabolically scaled, continuous and space time stationary in time version of the well known Funaki Spohn model in Statistical Physics. After a change of unknowns requiring the existence of a space time stationary eternal solution of a stochastically perturbed heat equation, the problem transforms to the qualitative homogenization of a uniformly elliptic, space time stationary, divergence form, nonlinear partial differential equation, the study of which is the second aim of the paper. An important step is the construction of correctors with the appropriate behavior at infinity.


Fourier nonuniqueness sets for the hyperbola and the Perron Frobenius operators. Let Gamma be a smooth curve or finite disjoint union of smooth curves in the plane and Lambda be any subset of the plane. Let mathcal X( Gamma) be the space of all finite complex valued Borel measures in the plane which are supported on Gamma and are absolutely continuous with respect to the arc length measure on Gamma. Let mathcal AC ( Gamma, Lambda) mu in mathcal X ( Gamma) hat mu Lambda 0 , then we prove the following results begin enumerate (a) item For a rational perturbation of Lambda beta namely, Lambda beta theta left(( mathbb Z theta ) times 0 right) cup left( 0 times beta mathbb Z right), where theta 1 p , text for some p in mathbb N, and beta is a positive real, mathcal AC left( Gamma, Lambda beta theta right) is infinite dimensional whenever beta p. smallskip item For a rational perturbation of Lambda gamma namely, Lambda gamma theta left((2 mathbb Z 2 theta ) times 0 right) cup left( 0 times2 gamma mathbb Z right), where theta 1 q, text for some q in mathbb N, and gamma is a positive real, mathcal AC left( Gamma , Lambda gamma theta right) is infinite dimensional whenever gamma q. end enumerate


Bergman Toeplitz operators between weighted L p spaces on weakly pseudoconvex domains. In this paper we study the Bergman Toeplitz operator T psi induced by psi(w) K Omega alpha (w,w)d Omega beta (w) with alpha, beta geq 0 acting from a weighted L p space L a p( Omega) to another one L a q( Omega) on a large class of pseudoconvex domains of finite type. In the case 1 p leq q infty , the following results are established Necessary and sufficient conditions for boundedness, which generalize the recent results obtained by Khanh, Liu and Thuc. Upper and lower estimates for essential norm, in particular, a criterion for compactness. A characterization of Schatten class membership of this operator on Hilbert space L 2( Omega) .


Improved List Decodability of Reed Solomon Codes via Tree Packings. This paper shows that there exist Reed Solomon (RS) codes, over large finite fields, that are combinatorially list decodable well beyond the Johnson radius, in fact almost achieving list decoding capacity. In particular, we show that for any epsilon in (0,1 there exist RS codes with rate Omega( frac epsilon log(1 epsilon) 1 ) that are list decodable from radius of 1 epsilon . We generalize this result to obtain a similar result on list recoverability of RS codes. Along the way we use our techniques to give a new proof of a result of Blackburn on optimal linear perfect hash matrices, and strengthen it to obtain a construction of strongly perfect hash matrices. To derive the results in this paper we show a surprising connection of the above problems to graph theory, and in particular to the tree packing theorem of Nash Williams and Tutte. En route to our results on RS codes, we prove a generalization of the tree packing theorem to hypergraphs (and we conjecture that an even stronger generalization holds). We hope that this generalization to hypergraphs will be of independent interest.


A compact single channel interferometer to study vortex beam propagation. We propose and demonstrate a single channel interferometer that can be used to study how vortex beams propagate. The interferometer consists of a multifunctional diffractive optical element (MDOE) synthesized by the spatial random multiplexing of a Fresnel zone plate and a spiral Fresnel zone plate with different focal lengths. The MDOE generates two co propagating beams, such that only the beam carrying orbital angular momentum is modulated by an annular stack of thin scatterers located at the focal plane of the Fresnel zone plate, while the other beam passes through the centre of the annulus without any modulation. The interference pattern is recorded at the focal plane of the spiral Fresnel zone plate. The scattering of vortex beams through stacks consisting of different number of thin scatterers was studied using the proposed optical setup. Conflicting results have been reported earlier on whether higher or lower charge beams suffer more deterioration. The proposed interferometer provides a relatively simple and compact means of experimentally studying propagation of vortex beams through scattering medium.


A compact high order Alternating Direction Implicit method for three dimensional acoustic wave equation with variable coefficient. Efficient and accurate numerical simulation of seismic wave propagation is important in various Geophysical applications such as seismic full waveform inversion (FWI) problem. However, due to the large size of the physical domain and requirement on low numerical dispersion, many existing numerical methods are inefficient for numerical modelling of seismic wave propagation in a heterogeneous media. Despite the great efforts that have been devoted during the past decades, it still remains a challenging task in the development of efficient and accurate finite difference method for the multi dimensional acoustic wave equation with variable velocity. In this paper, we proposed a Pad ' e approximation based finite difference scheme for solving the acoustic wave equation in three dimensional heterogeneous media. The new method is obtained by combining the Pad ' e approximation and a novel algebraic manipulation. The efficiency of the new algorithm is further improved through the Alternative Directional Implicit (ADI) method. The stability of the new algorithm has been theoretically proved by the energy method. The new method is conditionally stable with a better Courant Friedrichs Lewy condition (CFL) condition, which has been verified numerically. Extensive numerical examples have been solved, which demonstrated that the new method is accurate, efficient and stable.


On the snappability and singularity distance of frameworks with bars and triangular plates. In a recent article the author presented a method to measure the snapping capability shortly called snappability of bar joint frameworks based on the total elastic strain energy by computing the deformation of all bars using Hooke's law and the definition of Cauchy Engineering strain. Within the paper at hand, we extend this approach to isostatic frameworks composed of bars and triangular plates by using the physical concept of Green Lagrange strain. An intrinsic pseudometric based on the resulting total elastic strain energy density cannot only be used for evaluating the snappability but also for measuring the distance to the closest singular configuration. The presented methods are demonstrated on the basis of the 3 legged planar parallel manipulator.


Learning to Learn Relation for Important People Detection in Still Images. Humans can easily recognize the importance of people in social event images, and they always focus on the most important individuals. However, learning to learn the relation between people in an image, and inferring the most important person based on this relation, remains undeveloped. In this work, we propose a deep imPOrtance relatIon NeTwork (POINT) that combines both relation modeling and feature learning. In particular, we infer two types of interaction modules the person person interaction module that learns the interaction between people and the event person interaction module that learns to describe how a person is involved in the event occurring in an image. We then estimate the importance relations among people from both interactions and encode the relation feature from the importance relations. In this way, POINT automatically learns several types of relation features in parallel, and we aggregate these relation features and the person's feature to form the importance feature for important people classification. Extensive experimental results show that our method is effective for important people detection and verify the efficacy of learning to learn relations for important people detection.


A Note On Two Fiber Bundles and The Manifestations Of "Shtuka". In this note we intend to look at the moduli stacks for global G shtukas from a new perspective. We discuss a unifying interpretation of several moduli spaces (stacks) including moduli of global G shtukas and (a variant of the) moduli of Higgs bundles. We view these spaces (stacks) as different fibers of a family over a scheme (stack) locally of finite type. We discuss (a relative version of) the local model theory for this family. We also consider the Hecke stacks over the moduli stack of G shtukas and discuss the corresponding (motivic) Hecke operations.


Zero Duality Gap in View of Abstract Convexity. Using tools provided by the theory of abstract convexity, we extend conditions for zero duality gap to the context of nonconvex and nonsmooth optimization. Mimicking the classical setting, an abstract convex function is the upper envelope of a family of abstract affine functions (being conventional vertical translations of the abstract linear functions). We establish new conditions for zero duality gap under no topological assumptions on the space of abstract linear functions. In particular, we prove that the zero duality gap property can be fully characterized in terms of an inclusion involving (abstract) varepsilon subdifferentials. This result is new even for the classical convex setting. Endowing the space of abstract linear functions with the topology of pointwise convergence, we extend several fundamental facts of functional convex analysis. This includes (i) the classical Banach Alaoglu Bourbaki theorem (ii) the subdifferential sum rule, and (iii) a constraint qualification for zero duality gap which extends a fact established by Borwein, Burachik and Yao (2014) for the conventional convex case. As an application, we show with a specific example how our results can be exploited to show zero duality for a family of nonconvex, non differentiable problems.


Libra R CNN Towards Balanced Learning for Object Detection. Compared with model architectures, the training process, which is also crucial to the success of detectors, has received relatively less attention in object detection. In this work, we carefully revisit the standard training practice of detectors, and find that the detection performance is often limited by the imbalance during the training process, which generally consists in three levels sample level, feature level, and objective level. To mitigate the adverse effects caused thereby, we propose Libra R CNN, a simple but effective framework towards balanced learning for object detection. It integrates three novel components IoU balanced sampling, balanced feature pyramid, and balanced L1 loss, respectively for reducing the imbalance at sample, feature, and objective level. Benefitted from the overall balanced design, Libra R CNN significantly improves the detection performance. Without bells and whistles, it achieves 2.5 points and 2.0 points higher Average Precision (AP) than FPN Faster R CNN and RetinaNet respectively on MSCOCO.


Asymptotic stability of small ground states for NLS under random perturbations. We consider the cubic Schr "odinger equation on the euclidean space perturbed by a short range potential V . The presence of a negative simple eigenvalue for Delta V gives rise to a curve of small and localized nonlinear ground states that yield some time periodic solutions known to be asymptotically stable in the energy space. We study the persistence of these coherent states under rough perturbations. We shall construct a large measure set of small scaling supercritical solutions below the energy space that display some asymptotic stability behavior. The main difficulty is the need to handle the interactions of localized and dispersive terms in the modulation equations. To do so, we use a critical weighted strategy to combine probabilistic nonlinear estimates in critical spaces based on U p, V q (controlling higher order terms) with some local energy decay estimates (controlling lower order terms). We also revisit in the perturbed setting the analysis of B 'enyi, Oh and Pocovnicu on the probabilistic global well posedness and scattering for small supercritical initial data. We use a distorted Fourier transform and semiclassical functional calculus to generalize probabilistic and bilinear Strichartz estimates.


Applications to A1 enumerative geometry of the A1 degree. These are lecture notes from the conference Arithmetic Topology at the Pacific Institute of Mathematical Sciences on applications of Morel's A1 degree to questions in enumerative geometry. Additionally, we give a new dynamic interpretation of the A1 Milnor number inspired by the first named author's enrichment of dynamic intersection numbers.


EEV A Large Scale Dataset for Studying Evoked Expressions from Video. Videos can evoke a range of affective responses in viewers. The ability to predict evoked affect from a video, before viewers watch the video, can help in content creation and video recommendation. We introduce the Evoked Expressions from Videos (EEV) dataset, a large scale dataset for studying viewer responses to videos. Each video is annotated at 6 Hz with 15 continuous evoked expression labels, corresponding to the facial expression of viewers who reacted to the video. We use an expression recognition model within our data collection framework to achieve scalability. In total, there are 36.7 million annotations of viewer facial reactions to 23,574 videos (1,700 hours). We use a publicly available video corpus to obtain a diverse set of video content. We establish baseline performance on the EEV dataset using an existing multimodal recurrent model. Transfer learning experiments show an improvement in performance on the LIRIS ACCEDE video dataset when pre trained on EEV. We hope that the size and diversity of the EEV dataset will encourage further explorations in video understanding and affective computing. A subset of EEV is released at https github.com google research datasets eev.


Test modules, weakly regular homomorphisms and complete intersection dimension. We prove that if a local ring admits a (pd )test module of finite complete intersection dimension, then it is a complete intersection ring. This answers, positively, a question proposed by Celikbas, Dao and Takahashi. To this aim, we first investigate another question raised by Celikbas and Sather Wagstaff concerning ascent properties of (pd )test complexes under weakly regular homomorphisms.


Finally, how many efficiencies supercomputers have? And, what do they measure?. Using an extremely large number of processing elements in computing systems leads to unexpected phenomena, such as different efficiencies of the same system for different tasks, that cannot be explained in the frame of classical computing paradigm. The simple non technical (but considering the temporal behavior of the components) model, introduced here, enables us to set up a frame and formalism, needed to explain those unexpected experiences around supercomputing. Introducing temporal behavior into computer science also explains why only the extreme scale computing enabled us to reveal the experienced limitations. The paper shows, that degradation of efficiency of parallelized sequential systems is a natural consequence of the classical computing paradigm, instead of being an engineering imperfectness. The workload, that supercomputers run, is much responsible for wasting energy, as well as limiting the size and type of tasks. Case studies provide insight, how different contributions compete for dominating the resulting payload performance of a computing system, and how enhancing the interconnection technology made computing communication to dominate in defining the efficiency of supercomputers. Our model also enables to derive predictions about supercomputer performance limitations for the near future, as well as it provides hints for enhancing supercomputer components. Phenomena experienced in large scale computing show interesting parallels with phenomena experienced in science, more than a century ago, and through their studying a modern science was developed.


Is this pofma? Analysing public opinion and misinformation in a COVID 19 Telegram group chat. We analyse a Singapore based COVID 19 Telegram group with more than 10,000 participants. First, we study the group's opinion over time, focusing on four dimensions participation, sentiment, topics, and psychological features. We find that engagement peaked when the Ministry of Health raised the disease alert level, but this engagement was not sustained. Second, we search for government identified misinformation in the group. We find that government identified misinformation is rare, and that messages discussing these pieces of misinformation express skepticism.


Neural Computing for Online Arabic Handwriting Character Recognition using Hard Stroke Features Mining. Online Arabic cursive character recognition is still a big challenge due to the existing complexities including Arabic cursive script styles, writing speed, writer mood and so forth. Due to these unavoidable constraints, the accuracy of online Arabic character's recognition is still low and retain space for improvement. In this research, an enhanced method of detecting the desired critical points from vertical and horizontal direction length of handwriting stroke features of online Arabic script recognition is proposed. Each extracted stroke feature divides every isolated character into some meaningful pattern known as tokens. A minimum feature set is extracted from these tokens for classification of characters using a multilayer perceptron with a back propagation learning algorithm and modified sigmoid function based activation function. In this work, two milestones are achieved firstly, attain a fixed number of tokens, secondly, minimize the number of the most repetitive tokens. For experiments, handwritten Arabic characters are selected from the OHASD benchmark dataset to test and evaluate the proposed method. The proposed method achieves an average accuracy of 98.6 comparable in state of art character recognition techniques.


How surfactants influence the drop size in sprays. Spraying is a widely used method to produce a liquid sheet that break up into droplets of a certain size distribution. When spraying simple liquids, it is known which experimental parameters determine the droplet size distribution. For many applications however, surfactants are added, producing a hitherto unknown effect on the droplet size distribution. Using two generic types of spraying nozzles, we sprayed solutions of different types of aqueous surfactants and measured the droplet size distribution of the sprays. We find that the breakup of surfactant solutions is similar to that of pure water but results in droplets that are on average smaller. The resulting droplet size distribution can be well described using the predictions for simple liquids provided that we replace the parameter of the equilibrium surface tension with the dynamic surface tension of the surfactant solution at a surface age of 20 ms, which is the characteristic time for destabilization and breakup of a liquid sheet. By rescaling them with the mean droplet size, the droplet size distributions of water and sprays with different concentrations of surfactants all collapse onto a single curve and can be well described using the compound Gamma function found previously for pure liquids.


Domain2Vec Domain Embedding for Unsupervised Domain Adaptation. Conventional unsupervised domain adaptation (UDA) studies the knowledge transfer between a limited number of domains. This neglects the more practical scenario where data are distributed in numerous different domains in the real world. The domain similarity between those domains is critical for domain adaptation performance. To describe and learn relations between different domains, we propose a novel Domain2Vec model to provide vectorial representations of visual domains based on joint learning of feature disentanglement and Gram matrix. To evaluate the effectiveness of our Domain2Vec model, we create two large scale cross domain benchmarks. The first one is TinyDA, which contains 54 domains and about one million MNIST style images. The second benchmark is DomainBank, which is collected from 56 existing vision datasets. We demonstrate that our embedding is capable of predicting domain similarities that match our intuition about visual relations between different domains. Extensive experiments are conducted to demonstrate the power of our new datasets in benchmarking state of the art multi source domain adaptation methods, as well as the advantage of our proposed model.


Criteria and Approaches for Virtualization on Modern FPGAs. Modern field programmable gate arrays (FPGAs) can produce high performance in a wide range of applications, and their computational capacity is becoming abundant in personal computers. Regardless of this fact, FPGA virtualization is an emerging research field. Nowadays, challenges of the research area come from not only technical difficulties but also from the ambiguous standards of virtualization. In this paper, we introduce novel criteria of FPGA virtualization and discuss several approaches to accomplish those criteria. In addition, we present and describe in detail the specific FPGA virtualization architecture that we developed on Intel Arria 10 FPGA. We evaluate our solution with a combination of applications and microbenchmarks. The result shows that our virtualization solution can provide a full abstraction of FPGA device in both user and developer perspective while maintaining a reasonable performance compared to native FPGA.


On the Information Privacy Model the Group and Composition Privacy. How to query a dataset in the way of preserving the privacy of individuals whose data is included in the dataset is an important problem. The information privacy model, a variant of Shannon's information theoretic model to the encryption systems, protects the privacy of an individual by controlling the amount of information of the individual's data obtained by each adversary from the query's output. This model also assumes that each adversary's uncertainty to the queried dataset is not so small in order to improve the data utility. In this paper, we prove some results to the group privacy and the composition privacy properties of this model, where the group privacy ensures a group of individuals' privacy is preserved, and where the composition privacy ensures multiple queries also preserve the privacy of an individual. Explicitly, we reduce the proof of the two properties to the estimation of the difference of two channel capacities. Our proofs are greatly benefited from some information theoretic tools and approaches.


Service Network Design Problem with Capacity Demand Balancing. This paper addresses developing cost effective strategies to respond to excessive demand in the service network design problem in a multi period setting. The common assumption states that the capacity of freight carriers' assets is capable of handling all of the forecasted demand however, we assume that there are certain periods such as holiday season in which excessive demand is observed. The demand strictly exceeds the carrier's capacity even though, the average demand can be still fulfilled throughout the year. In this sense, we let the carrier has three options to respond to the demand Dispersing the demand with a penalty, leasing additional asset(s) temporarily, and outsourcing some capacity. We propose a modeling and solution approach that jointly incorporates asset management and sizing, outsourcing (3PLs), and earliness tardiness penalties. The objective is to minimize the overall operational costs by optimally selecting and scheduling the home fleet with respect to 'demand shifting' choices, selecting services from third parties, and routing the commodities on the designed network. We propose an arc based formulation as well as valid inequalities and present a comprehensive computational study on the randomly generated instances. The formulations with valid inequalities (VIs) outperform the regular formulation in obtaining tighter lower bounds. One set of VIs can improve the CPU time elapsed by 25 on medium instances that can be solved optimally within the time limit. Furthermore, we develop a custom multi phase dedicate merge and mix algorithm (DMaM) to solve CSSND problem with an emphasis of obtaining solutions as high quality as possible practically in a short time in the real world. DMaM has a promising potential to obtain solutions especially for very large instances whereas the commercial solver cannot initialize the B B algorithm due to excessive memory usage.


Markovian Random Iterations of Maps. In this paper, we study Markovian random iterations of maps on standard measurable spaces. We establish a one to one correspondence between stationary measures and a certain class of invariant measures of a Markovian random iteration, extending a similar classical result of independent and identically distributed random iterations. As an application, we prove a local synchronization property for Markovian random iterations of homeomorphisms of the circle S 1 .


Deaf, Hard of Hearing, and Hearing Perspectives on using Automatic Speech Recognition in Conversation. Many personal devices have transitioned from visual controlled interfaces to speech controlled interfaces to reduce costs and interactive friction, supported by the rapid growth in capabilities of speech controlled interfaces, e.g., Amazon Echo or Apple's Siri. A consequence is that people who are deaf or hard of hearing (DHH) may be unable to use these speech controlled devices. We show that deaf speech has a high error rate compared to hearing speech, in commercial speech controlled interfaces. Deaf speech had approximately a 78 word error rate (WER) compared to a hearing speech 18 WER. Our findings show that current speech controlled interfaces are not usable by DHH people. Based on our findings, significant advances in speech recognition software or alternative approaches will be needed for deaf use of speech controlled interfaces. We show that current speech controlled interfaces are not usable by DHH people.


Hybrid subconfiguration average and level to level distorted wave treatment of electron impact single ionisation of W 15 and W 16 . Recently, we have demonstrated (Jin et al. 2020, J. Phys. B At. Mol. Opt. Phys. 53, 075201) that a hybrid subconfiguration average and level to level distorted wave treatment of electron impact single ionisation (EISI) of W 14 ions represents an accurate and manageable approach for the calculation of EISI cross sections of a complex ion. Here we demonstrate the more general validity of this approach by comparing hybrid cross sections for EISI of W 15 and W 16 with the recent experimental results of Schury et al. 2020, J. Phys. B At. Mol. Opt. Phys. 53, 015201). Our calculations also account for the resonant excitation double autoionisation (REDA) process which is important in the electron energy range 370 600 eV and for the possible presence of initially metastable ions in the experiment.


On compact 4th order finite difference schemes for the wave equation. We consider compact finite difference schemes of the 4th approximation order for an initial boundary value problem (IBVP) for the n dimensional non homogeneous wave equation, n geq 1 . Their construction is accomplished by both the classical Numerov approach and alternative technique based on averaging of the equation, together with further necessary improvements of the arising scheme for n geq 2 . The alternative technique is applicable to other types of PDEs including parabolic and time dependent Schr " o dinger ones. The schemes are implicit and three point in each spatial direction and time and include a scheme with a splitting operator for n geq 2 . For n 1 and the mesh on characteristics, the 4th order scheme becomes explicit and close to an exact four point scheme. We present a conditional stability theorem covering the cases of stability in strong and weak energy norms with respect to both initial functions and free term in the equation. Its corollary ensures the 4th order error bound in the case of smooth solutions to the IBVP. The main schemes are generalized for non uniform rectangular meshes. We also give results of numerical experiments showing the sensitive dependence of the error orders in three norms on the weak smoothness order of the initial functions and free term and essential advantages over the 2nd approximation order schemes in the non smooth case as well.


An inexact augmented Lagrangian method for nonsmooth optimization on Riemannian manifold. We consider a nonsmooth optimization problem on Riemannian manifold, whose objective function is the sum of a differentiable component and a nonsmooth convex function. We propose a manifold inexact augmented Lagrangian method (MIALM) for the considered problem. The problem is reformulated to a separable form. By utilizing the Moreau envelope, we get a smoothing subproblem at each iteration of the proposed method. Theoretically, under suitable assumptions, the convergence to critical point of the proposed method is established. In particular, under the condition of that the approximate global minimizer of the iteration subproblem could be obtained, we prove the convergence to global minimizer of the origin problem. Numerical experiments show that, the MIALM is a competitive method compared to some existing methods.


Integrating Machine Learning with Physics Based Modeling. Machine learning is poised as a very powerful tool that can drastically improve our ability to carry out scientific research. However, many issues need to be addressed before this becomes a reality. This article focuses on one particular issue of broad interest How can we integrate machine learning with physics based modeling to develop new interpretable and truly reliable physical models? After introducing the general guidelines, we discuss the two most important issues for developing machine learning based physical models Imposing physical constraints and obtaining optimal datasets. We also provide a simple and intuitive explanation for the fundamental reasons behind the success of modern machine learning, as well as an introduction to the concurrent machine learning framework needed for integrating machine learning with physics based modeling. Molecular dynamics and moment closure of kinetic equations are used as examples to illustrate the main issues discussed. We end with a general discussion on where this integration will lead us to, and where the new frontier will be after machine learning is successfully integrated into scientific modeling.