Adversarial Machine Learning in Image Classification A Survey Towards the Defender's Perspective. Deep Learning algorithms have achieved the state of the art performance for Image Classification and have been used even in security critical applications, such as biometric recognition systems and self driving cars. However, recent works have shown those algorithms, which can even surpass the human capabilities, are vulnerable to adversarial examples. In Computer Vision, adversarial examples are images containing subtle perturbations generated by malicious optimization algorithms in order to fool classifiers. As an attempt to mitigate these vulnerabilities, numerous countermeasures have been constantly proposed in literature. Nevertheless, devising an efficient defense mechanism has proven to be a difficult task, since many approaches have already shown to be ineffective to adaptive attackers. Thus, this self containing paper aims to provide all readerships with a review of the latest research progress on Adversarial Machine Learning in Image Classification, however with a defender's perspective. Here, novel taxonomies for categorizing adversarial attacks and defenses are introduced and discussions about the existence of adversarial examples are provided. Further, in contrast to exisiting surveys, it is also given relevant guidance that should be taken into consideration by researchers when devising and evaluating defenses. Finally, based on the reviewed literature, it is discussed some promising paths for future research.


The noncommutative ell 1 ell 2 inequality for Hilbert C modules and the exact constant. Let mathcal A be a unital C algebra. Then the theory of Hilbert C modules tells that begin align sum i 1 n (a ia i ) frac 1 2 leq sqrt n left( sum i 1 n a ia i right) frac 1 2 , quad forall n in mathbb N , forall a 1, dots, a n in mathcal A . end align By modifications of arguments of Botelho Andrade, Casazza, Cheng, and Tran given in 2019, for certain tuple x (a 1, dots, a n) in mathcal A n , we give a method to compute a positive element c x in the C algebra mathcal A such that the equality begin align sum i 1 n (a ia i ) frac 1 2 c x sqrt n left( sum i 1 n a ia i right) frac 1 2 . end align holds. We give an application for the integral of G. G. Kasparov. We also derive the formula for the exact constant for the continuous ell 1 ell 2 inequality.


On some characterizations of convex polyhedra. This work provides two sufficient conditions in terms of sections or projections for a convex body to be a polytope. These conditions are necessary as well.


Propagation of L p beta norm, 1 p le infty , for the system of Boltzmann equations for monatomic gas mixtures. With the existence and uniqueness of a vector value solution for the full non linear homogeneous Boltzmann system of equations describing multi component monatomic gas mixtures for binary interactions proved 8 , we present in this manuscript several properties for such a solution. We start by proving the gain of integrability of the gain term of the multispecies collision operator, extending the work done previously for the single species case 3 . In addition, we study the integrability properties of the multispecies collision operator as a bilinear form, revisiting and expanding the work done for a single gas 2 . With these estimates, together with a control by below for the loss term of the collision operator as in 8 , we develop the propagation for the polynomially and exponentially beta weighted L p beta norms for the vector value solution. Finally, we extend such L p beta norms propagation property to p infty .


Big Ramsey degrees in universal inverse limit structures. We build a collection of topological Ramsey spaces of trees giving rise to universal inverse limit structures, extending Zheng's work for the profinite graph to the setting of Fra " i ss ' e classes of finite ordered binary relational structures with the Ramsey property. This work is based on the Halpern L " a uchli theorem, but different from the Milliken space of strong subtrees. Based on these topological Ramsey spaces and the work of Huber Geschke Kojman on inverse limits of finite ordered graphs, we prove that for each such Fra " i ss ' e class, its universal inverse limit structures has finite big Ramsey degrees under finite Baire measurable colourings. For finite ordered graphs, finite ordered k clique free graphs ( k geq 3 ), finite ordered oriented graphs, and finite ordered tournaments, we characterize the exact big Ramsey degrees.


Dynamics Learning with Cascaded Variational Inference for Multi Step Manipulation. The fundamental challenge of planning for multi step manipulation is to find effective and plausible action sequences that lead to the task goal. We present Cascaded Variational Inference (CAVIN) Planner, a model based method that hierarchically generates plans by sampling from latent spaces. To facilitate planning over long time horizons, our method learns latent representations that decouple the prediction of high level effects from the generation of low level motions through cascaded variational inference. This enables us to model dynamics at two different levels of temporal resolutions for hierarchical planning. We evaluate our approach in three multi step robotic manipulation tasks in cluttered tabletop environments given high dimensional observations. Empirical results demonstrate that the proposed method outperforms state of the art model based methods by strategically interacting with multiple objects.


General derivative Thomae formula for singular half periods. The paper develops the result of second Thomae theorem in hyperelliptic case. The main formula, called general Thomae formula, provides expressions for values at zero of the lowest non vanishing derivatives of theta functions with singular characteristics of arbitrary multiplicity in terms of branch points and period matrix. We call these values derivative theta constants. First and second Thomae formulas follow as particular cases. Some further results are derived. Matrices of second derivative theta constants (Hessian matrices of zero values of theta functions with characteristics of multiplicity two) have rank three in any genus. Similar result about the structure of order 3 tensor of third derivative theta constants is obtained, and a conjecture regarding higher multiplicities is made. As a byproduct a generalization of Bolza formulas are deduced.


MAC address anonymization for crowd counting. Research has shown that counting WiFi packets called probe requests (PRs) implicitly provides a proxy for the number of people in an area. In this paper, we discuss a crowd counting system involving WiFi sensors detecting PRs over the air, then extracting and anonymizing their media access control (MAC) addresses using a hash based approach. This paper discusses an anonymization procedure and shows time synchronization inaccuracies among sensors and hashing collision rates to be low enough to prevent anonymization from interfering with counting algorithms. In particular, we derive an approximation of the collision rate of uniformly distributed identifiers, with analytical error bounds.


Effect of axially varying sandpaper roughness on bubbly drag reduction in Taylor Couette turbulence. We experimentally investigate the influence of alternating rough and smooth walls on bubbly drag reduction (DR). We apply rough sandpaper bands of width s between 48.4 ,mm and 148.5 ,mm , and roughness height k 695 , mu m , around the smooth inner cylinder (IC) of the Twente Turbulent Taylor Couette facility. Between sandpaper bands, the IC is left uncovered over similar width s , resulting in alternating rough and smooth bands, a constant pattern in axial direction. We measure the DR in water that originates from introducing air bubbles to the fluid at (shear) Reynolds numbers textit Re s ranging from 0.5 times 10 6 to 1.8 times 10 6 . Results are compared to bubbly DR measurements with a completely smooth IC and an IC that is completely covered with sandpaper of the same roughness k . The outer cylinder is left smooth for all variations. Results are also compared to bubbly DR measurements where a smooth outer cylinder is rotating in opposite direction to the smooth IC. This counter rotation induces secondary flow structures that are very similar to those observed when the IC is composed of alternating rough and smooth bands. For the measurements with roughness, the bubbly DR is found to initially increase more strongly with textit Re s , before levelling off to reach a value that no longer depends on textit Re s . This is attributed to a more even axial distribution of the air bubbles, resulting from the increased turbulence intensity of the flow compared to flow over a completely smooth wall at the same textit Re s . The air bubbles are seen to accumulate at the rough wall sections in the flow. Here, locally, the drag is largest and so the drag reducing effect of the bubbles is felt strongest. Therefore, a larger maximum value of bubbly DR is found for the alternating rough and smooth walls compared to the completely rough wall.


On Inversely Proportional Hypermutations with Mutation Potential. Artificial Immune Systems (AIS) employing hypermutations with linear static mutation potential have recently been shown to be very effective at escaping local optima of combinatorial optimisation problems at the expense of being slower during the exploitation phase compared to standard evolutionary algorithms. In this paper we prove that considerable speed ups in the exploitation phase may be achieved with dynamic inversely proportional mutation potentials (IPM) and argue that the potential should decrease inversely to the distance to the optimum rather than to the difference in fitness. Afterwards we define a simple (1 1) Opt IA, that uses IPM hypermutations and ageing, for realistic applications where optimal solutions are unknown. The aim of the AIS is to approximate the ideal behaviour of the inversely proportional hypermutations better and better as the search space is explored. We prove that such desired behaviour, and related speed ups, occur for a well studied bimodal benchmark function called textsc TwoMax . Furthermore, we prove that the (1 1) Opt IA with IPM efficiently optimises a third bimodal function, textsc Cliff , by escaping its local optima while Opt IA with static potential cannot, thus requires exponential expected runtime in the distance between the cliff and the optimum.


Conjugacy class sizes in arithmetic progression. Let rm cs (G) denote the set of conjugacy class sizes of a group G , and let rm cs (G) rm cs (G) setminus 1 be the sizes of non central classes. We prove three results. We classify all finite groups G with rm cs (G) a, a d, dots ,a rd an arithmetic progression with r geqslant 2 . (We show that rm cs (G) 1,2,3 .) Our most substantial result classifies all G with rm cs (G) 2,4,6 . Finally, we classify all groups G whose largest two non central conjugacy class sizes are coprime. (Here it is not obvious but it is true that rm cs (G) has two elements, and so is an arithmetic progression.)


Online Geometric Discrepancy for Stochastic Arrivals with Applications to Envy Minimization. Consider a unit interval 0,1 in which n points arrive one by one independently and uniformly at random. On arrival of a point, the problem is to immediately and irrevocably color it in 1, 1 while ensuring that every interval a,b subseteq 0,1 is nearly balanced. We define emph discrepancy as the largest imbalance of any interval during the entire process. If all the arriving points were known upfront then we can color them alternately to achieve a discrepancy of 1 . What is the minimum possible expected discrepancy when we color the points online? We show that the discrepancy of the above problem is sub polynomial in n and that no algorithm can achieve a constant discrepancy. This is a substantial improvement over the trivial random coloring that only gets an widetilde O ( sqrt n) discrepancy. We then obtain similar results for a natural generalization of this problem to 2 dimensions where the points arrive uniformly at random in a unit square. This generalization allows us to improve recent results of Benade et al. cite BenadeKPP EC18 for the online envy minimization problem when the arrivals are stochastic.


Fuzzy C means based scenario bundling for stochastic service network design. Stochastic service network designs with uncertain demand represented by a set of scenarios can be modelled as a large scale two stage stochastic mixed integer program (SMIP). The progressive hedging algorithm (PHA) is a decomposition method for solving the resulting SMIP. The computational performance of the PHA can be greatly enhanced by decomposing according to scenario bundles instead of individual scenarios. At the heart of bundle based decomposition is the method for grouping the scenarios into bundles. In this paper, we present a fuzzy c means based scenario bundling method to address this problem. Rather than full membership of a bundle, which is typically the case in existing scenario bundling strategies such as k means, a scenario has partial membership in each of the bundles and can be assigned to more than one bundle in our method.


Scalable Local Timestepping on Octree Grids. Numerical solutions of hyperbolic partial differential equations(PDEs) are ubiquitous in science and engineering. Method of lines is a popular approach to discretize PDEs defined in spacetime, where space and time are discretized independently. When using explicit timesteppers on adaptive grids, the use of a global timestep size dictated by the finest grid spacing leads to inefficiencies in the coarser regions. Even though adaptive space discretizations are widely used in computational sciences, temporal adaptivity is less common due to its sophisticated nature. In this paper, we present highly scalable algorithms to enable local timestepping (LTS) for explicit timestepping schemes on fully adaptive octrees. We demonstrate the accuracy of our methods as well as the scalability of our framework across 16K cores in TACC's Frontera. We also present a speed up estimation model for LTS, which predicts the speedup compared to global timestepping (GTS) with an average of 0.1 relative error.


A Greedy and Distributable Approach to the Lexicographic Bottleneck Assignment Problem with Conditions on Exactness. Solving the Lexicographic Bottleneck Assignment Problem (LexBAP) typically relies on centralised computation with order quartic complexity. We consider the Sequential Bottleneck Assignment Problem (SeqBAP), which yields a greedy solution to the LexBAP and discuss the relationship between the SeqBAP, the LexBAP, and the Bottleneck Assignment Problem (BAP). In particular, we reexamine tools used to analyse the structure of the BAP, and apply them to derive an algorithm that solves the SeqBAP with cubic complexity. We show that the set of solutions of the LexBAP is a subset of the solutions of the SeqBAP and analyse the conditions for which the solutions sets are identical. Furthermore, we provide a method to verify the satisfaction of these conditions. In cases where the conditions are satisfied, the proposed algorithm for solving the SeqBAP solves the LexBAP with computation that has lower complexity and can be distributed over a network of computing agents. The applicability of the approach is demonstrated with a case study where mobile robots are assigned to goal locations.


Reactive Navigation in Partially Familiar Planar Environments Using Semantic Perceptual Feedback. This paper solves the planar navigation problem by recourse to an online reactive scheme that exploits recent advances in SLAM and visual object recognition to recast prior geometric knowledge in terms of an offline catalogue of familiar objects. The resulting vector field planner guarantees convergence to an arbitrarily specified goal, avoiding collisions along the way with fixed but arbitrarily placed instances from the catalogue as well as completely unknown fixed obstacles so long as they are strongly convex and well separated. We illustrate the generic robustness properties of such deterministic reactive planners as well as the relatively modest computational cost of this algorithm by supplementing an extensive numerical study with physical implementation on both a wheeled and legged platform in different settings.


The Index Conjecture for Symmetric Spaces. In 1980, Onishchik introduced the index of a Riemannian symmetric space as the minimal codimension of a (proper) totally geodesic submanifold. He calculated the index for symmetric spaces of rank less than or equal to 2, but for higher rank it was unclear how to tackle the problem. In earlier papers we developed several approaches to this problem, which allowed us to calculate the index for many symmetric spaces. Our systematic approach led to a conjecture for how to calculate the index. The purpose of this paper is to verify the conjecture.


Local simple connectedness of boundaries of hyperbolic groups. In this paper we prove a theorem describing the local topology of the boundary of a hyperbolic group in terms of its global topology the boundary is locally simply connected if and only if the complement of any point in the boundary is simply connected. This generalises a theorem of Bestvina and Mess.


On finite generation of fiber ring of invariant jet differentials. We prove that the fiber ring of the space of invariant jet differentials of a projective manifold is finitely generated on the regular locus. Berczi Kirwan has partially worked out the question in cite BK however, our method is different and complementary. The analytic automorphism group of regular k jets of holomorphic curves on a projective variety X is a non reductive subgroup of the general linear group GL k mathbb C . In this case, the Chevalley theorem on the invariant polynomials in the fiber rings fails in general. Thus, the analysis of Cartan subalgebras of the Lie algebra and its Weyl group requires different methods. We employ some techniques of algebraic Lie groups (not necessarily reductive) together with basic results obtained in cite BK to prove the finite generation of the stalk ring at a regular point. We prove that the fibre ring of the space of invariant jet differentials of a projective manifold is finitely generated on the regular locus. The question has been partially worked out by Berczi Kirwan in cite BK , however our method is different and complementary. The analytic automorphism group of regular k jets of holomorphic curves on a projective variety X is a non reductive subgroup of the general linear group GL k mathbb C . In this case the Chevalley theorem on the invariant polynomials in the fiber rings fails in general. Thus the analysis of Cartan subalgebras of the Lie algebra and its Weyl group requires extra methods. We employ some methods of algebraic Lie groups (not necessarily reductive) together with basic results obtained in cite BK to prove the finite generation of the stalk ring at a regular point.


Generalization of some results on list coloring and DP coloring. In this work, we introduce DPG coloring using the concepts of DP coloring and variable degeneracy to modify the proofs on the following papers (i) DP 3 coloring of planar graphs without 4 , 9 cycles and cycles of two lengths from 6, 7, 8 (R. Liu, S. Loeb, M. Rolek, Y. Yin, G. Yu, Graphs and Combinatorics 35(3) (2019) 695 705), (ii) Every planar graph without i cycles adjacent simultaneously to j cycles and k cycles is DP 4 colorable when i, j, k 3, 4, 5 (P. Sittitrai, K. Nakprasit, arXiv 1801.06760(2019) preprint), (iii) Every planar graph is 5 choosable (C. Thomassen, J. Combin. Theory Ser. B 62 (1994) 180 181). Using this modification, we obtain more results on list coloring, DP coloring, list forested coloring, and variable degeneracy.


Bit level Parallelization of 3DES Encryption on GPU. Triple DES (3DES) is a standard fundamental encryption algorithm, used in several electronic payment applications and web browsers. In this paper, we propose a parallel implementation of 3DES on GPU. Since 3DES encrypts data with 64 bit blocks, our approach considers each 64 bit block a kernel block and assign a separate thread to process each bit. Algorithm's permutation operations, XOR operations, and S box operations are done in parallel within these kernel blocks. The implementation benefits from the use of constant and shared memory types to optimize memory access. The results show an average 10.70x speed up against the baseline multi threaded CPU implementation. The implementation is publicly available at https github.com kaanfurkan35 3DES GPU


Enriched set valued P partitions and shifted stable Grothendieck polynomials. We introduce an enriched analogue of Lam and Pylyavskyy's theory of set valued P partitions. An an application, we construct a K theoretic version of Stembridge's Hopf algebra of peak quasisymmetric functions. We show that the symmetric part of this algebra is generated by Ikeda and Naruse's shifted stable Grothendieck polynomials. We give the first proof that the natural skew analogues of these power series are also symmetric. A central tool in our constructions is a " K theoretic" Hopf algebra of labeled posets, which may be of independent interest. Our results also lead to some new explicit formulas for the involution omega on the ring of symmetric functions.


Duality of Weighted Sum Formulas of Alternating Multiple T Values. Recently, a new kind of multiple zeta value level two T( bf k ) (which is called multiple T values) was introduced and studied by Kaneko and Tsumura. In this paper, we define a kind of alternating version of multiple T values, and study several duality formulas of weighted sum formulas about alternating multiple T values by using the methods of iterated integral representations and series representations. Some special values of alternating multiple T values can also be obtained.


Commutator length of powers in free products of groups. Given groups A and B , what is the minimal commutator length of the 2020th (for instance) power of an element g in A B not conjugate to elements of the free factors? The exhaustive answer to this question is still unknown, but we can give an almost answer this minimum is one of two numbers (simply depending on A and B ). Other similar problems are also considered.


Component by component digit by digit construction of good polynomial lattice rules in weighted Walsh spaces. We consider the efficient construction of polynomial lattice rules, which are special cases of so called quasi Monte Carlo (QMC) rules. These are of particular interest for the approximate computation of multivariate integrals where the dimension d may be in the hundreds or thousands. We study a construction method that assembles the generating vector, which is in this case a vector of polynomials over a finite field, of the polynomial lattice rule in a digit by digit (or, equivalently, coefficient by coefficient) fashion. As we will show, the integration error of the corresponding QMC rules achieves excellent convergence order, and, under suitable conditions, we can vanquish the curse of dimensionality by considering function spaces equipped with coordinate weights. The construction algorithm is based on a quality measure that is independent of the underlying smoothness of the function space and can be implemented in a fast manner (without the use of fast Fourier transformations). Furthermore, we illustrate our findings with extensive numerical results.


Sub Riemannian limit of the differential form heat kernels of contact manifolds. We study the behavior of the heat kernel of the Hodge Laplacian on a contact manifold endowed with a family of Riemannian metrics that blow up the directions transverse to the contact distribution. We apply this to analyze the behavior of global spectral invariants such as the eta invariant and the determinant of the Laplacian. In particular we prove that contact versions of the relative eta invariant and the relative analytic torsion are equal to their Riemannian analogues and hence topological.


Limiting one point distribution of periodic TASEP. The relaxation time limit of the one point distribution of the spatially periodic totally asymmetric simple exclusion process is expected to be the universal one point distribution for the models in the KPZ universality class in a periodic domain. Unlike the infinite line case, the limiting one point distribution depends non trivially on the scaled time parameter. We study several properties of this distribution for the case of the periodic step and flat initial conditions. We show that the distribution changes from a Tracy Widom distribution in the small time limit to the Gaussian distribution in the large time limit, and also obtain right tail estimate for all time. Furthermore, we establish a connection to integrable differential equations such as the KP equation, coupled systems of mKdV and nonlinear heat equations, and the KdV equation.


Detecting malicious PDF using CNN. Malicious PDF files represent one of the biggest threats to computer security. To detect them, significant research has been done using handwritten signatures or machine learning based on manual feature extraction. Those approaches are both time consuming, require significant prior knowledge and the list of features has to be updated with each newly discovered vulnerability. In this work, we propose a novel algorithm that uses an ensemble of Convolutional Neural Network (CNN) on the byte level of the file, without any handcrafted features. We show, using a data set of 90000 files downloadable online, that our approach maintains a high detection rate (94 ) of PDF malware and even detects new malicious files, still undetected by most antiviruses. Using automatically generated features from our CNN network, and applying a clustering algorithm, we also obtain high similarity between the antiviruses' labels and the resulting clusters.


A numerical study of the jerky crack growth in elastoplastic materials with localized plasticity. We present a numerical implementation of a model of quasi static crack growth in linearly elastic perfectly plastic materials. We assume that the displacement is antiplane, and that the cracks and the plastic slips are localized on a prescribed path. We provide numerical evidence of the fact that the crack growth is intermittent, with jump characteristics that depend on the material properties.


S 1 invariant Laplacian flow. The Laplacian flow is a geometric flow introduced by Bryant as a way for finding torsion free G 2 structures. If the flow is S 1 invariant then it descends to a flow of SU(3) structures on a 6 manifold. In this article we derive expressions for these evolution equations. In our search for examples we discover the first inhomogeneous shrinking solitons, which are also gradient. We also show that any compact non torsion free soliton admits no infinitesimal symmetry.


Protecting the stack with PACed canaries. Stack canaries remain a widely deployed defense against memory corruption attacks. Despite their practical usefulness, canaries are vulnerable to memory disclosure and brute forcing attacks. We propose PCan, a new approach based on ARMv8.3 A pointer authentication (PA), that uses dynamically generated canaries to mitigate these weaknesses and show that it provides more fine grained protection with minimal performance overhead.


Optimal lower bounds for Donaldson's J functional. In this paper we provide an explicit formula for the optimal lower bound of Donaldson's J functional, in the sense of finding explicitly the optimal constant in the definition of coercivity, which always exists and takes negative values in general. This constant is positive precisely if the J equation admits a solution, and the explicit formula has a number of applications. First, this leads to new existence criteria for constant scalar curvature K "ahler (cscK) metrics in terms of Tian's alpha invariant. Moreover, we use the above formula to discuss Calabi dream manifolds and an analogous notion for the J equation, and show that for surfaces the optimal bound is an explicitly computable rational function which typically tends to minus infinity as the underlying class approaches the boundary of the K "ahler cone, even when the underlying K "ahler classes admit cscK metrics. As a final application we show that if the Lejmi Sz 'ekelyhidi conjecture holds, then the optimal bound coincides with its algebraic counterpart, the set of J semistable classes equals the closure of the set of uniformly J stable classes in the K "ahler cone, and there exists an optimal degeneration for uniform J stability.


Exploiting Belief Bases for Building Rich Epistemic Structures. We introduce a semantics for epistemic logic exploiting a belief base abstraction. Differently from existing Kripke style semantics for epistemic logic in which the notions of possible world and epistemic alternative are primitive, in the proposed semantics they are non primitive but are defined from the concept of belief base. We show that this semantics allows us to define the universal epistemic model in a simpler and more compact way than existing inductive constructions of it. We provide (i) a number of semantic equivalence results for both the basic epistemic language with "individual belief" operators and its extension by the notion of "only believing", and (ii) a lower bound complexity result for epistemic logic model checking relative to the universal epistemic model.


A Fully Stochastic Second Order Trust Region Method. A stochastic second order trust region method is proposed, which can be viewed as a second order extension of the trust region ish (TRish) algorithm proposed by Curtis et al. (INFORMS J. Optim. 1(3) 200 220, 2019). In each iteration, a search direction is computed by (approximately) solving a trust region subproblem defined by stochastic gradient and Hessian estimates. The algorithm has convergence guarantees for stochastic minimization in the fully stochastic regime, meaning that guarantees hold when each stochastic gradient is required merely to be an unbiased estimate of the true gradient with bounded variance and when the stochastic Hessian estimates are bounded uniformly in norm. The algorithm is also equipped with a worst case complexity guarantee in the nearly deterministic regime, i.e., when the stochastic gradient and Hessian estimates are very close in expectation to the true gradients and Hessians. The results of numerical experiments for training convolutional neural networks for image classification and training a recurrent neural network for time series forecasting are presented. These results show that the algorithm can outperform a stochastic gradient approach and the first order TRish algorithm in practice.


The second secant zeta function and its anti periodization evaluated at 1 sqrt n . The 2 periodic secant zeta function psi(r) and its 1 antiperiodization f(r) ( psi(r) psi(r 1)) 2 , arising from a fluid dynamics application, are investigated. In particular, their values at 1 sqrt n for positive integers n are determined, using a reformulation of an identity satisfied by psi as an Abel equation.


A Variational Finite Element Discretization of Compressible Flow. We present a finite element variational integrator for compressible flows. The numerical scheme is derived by discretizing, in a structure preserving way, the Lie group formulation of fluid dynamics on diffeomorphism groups and the associated variational principles. Given a triangulation on the fluid domain, the discrete group of diffeomorphisms is defined as a certain subgroup of the group of linear isomorphisms of a finite element space of functions. In this setting, discrete vector fields correspond to a certain subspace of the Lie algebra of this group. This subspace is shown to be isomorphic to a Raviart Thomas finite element space. The resulting finite element discretization corresponds to a weak form of the compressible fluid equation that doesn't seem to have been used in the finite element literature. It extends previous work done on incompressible flows and at the lowest order on compressible flows. We illustrate the conservation properties of the scheme with some numerical simulations.


Blow up and global existence for solutions to the porous medium equation with reaction and fast decaying density. We are concerned with nonnegative solutions to the Cauchy problem for the porous medium equation with a variable density rho(x) and a power like reaction term u p with p 1 . The density decays it fast at infinity, in the sense that rho(x) sim x q as x to infty with q ge 2. In the case when q 2 , if p is bigger than m , we show that, for large enough initial data, solutions blow up in finite time and for small initial datum, solutions globally exist. On the other hand, in the case when q 2 , we show that existence of global in time solutions always prevails. The case of it slowly decaying density at infinity, i.e. q in 0,2) , is examined in 41 .


Smoothing theorems for Radon transforms over hypersurfaces and related operators. We extend the theorems of G1 on L p to L p s Sobolev improvement for translation invariant Radon and fractional singular Radon transforms over hypersurfaces, proving L p to L q s boundedness results for such operators. Here q geq p but s can be positive, negative, or zero. For many such operators we will have a triangle Z subset (0,1) times (0,1) times mathbb R such that one has L p to L q s boundedness for ( 1 over p , 1 over q , s) beneath Z , and in the case of Radon transforms one does not have L p to L q s boundedness for ( 1 over p , 1 over q , s) above the plane containing Z , thereby providing a Sobolev space improvement result which is sharp up to endpoints for ( 1 over p , 1 over q ) below Z . This triangle Z intersects the plane (x 1,x 2,x 3) x 3 0 , and therefore we also have an L p to L q improvement result that is also sharp up to endpoints for certain ranges of p and q .


The turnpike with lack of observability. We obtain turnpike results for optimal control problems with lack of stabilizability in the state equation and or detectability in the state term in the cost functional. We show how, under weakened stabilizability detectability conditions, terminal conditions may affect turnpike phenomena. Numerical simulations have been performed to illustrate the theoretical results.


DeepFake Detection by Analyzing Convolutional Traces. The Deepfake phenomenon has become very popular nowadays thanks to the possibility to create incredibly realistic images using deep learning tools, based mainly on ad hoc Generative Adversarial Networks (GAN). In this work we focus on the analysis of Deepfakes of human faces with the objective of creating a new detection method able to detect a forensics trace hidden in images a sort of fingerprint left in the image generation process. The proposed technique, by means of an Expectation Maximization (EM) algorithm, extracts a set of local features specifically addressed to model the underlying convolutional generative process. Ad hoc validation has been employed through experimental tests with naive classifiers on five different architectures (GDWCT, STARGAN, ATTGAN, STYLEGAN, STYLEGAN2) against the CELEBA dataset as ground truth for non fakes. Results demonstrated the effectiveness of the technique in distinguishing the different architectures and the corresponding generation process.


The K "ahler Ricci flow around complete bounded curvature K "ahler metrics. We produce complete bounded curvature solutions to K "ahler Ricci flow with existence time estimates, assuming only that the initial data is a smooth K metric uniformly equivalent to another complete bounded curvature K metric. We obtain related flow results for non smooth as well as degenerate initial conditions. We also obtain a stability result for complex space forms under the flow.


Characterizing cospectral vertices via isospectral reduction. Two emerging topics in graph theory are the study of cospectral vertices of a graph, and the study of isospectral reductions of graphs. In this paper, we prove a fundamental relationship between these two areas, which is that two vertices of a graph are cospectral if and only if the isospectral reduction over these vertices has a nontrivial automorphism. It is well known that if two vertices of a graph are symmetric, i.e. if there exists a graph automorphism permuting these two vertices, then they are cospectral. This paper extends this result showing that any two cospectral vertices are symmetric in some reduced version of the graph. We also prove that two vertices are strongly cospectral if and only if they are cospectral and the isospectral reduction over these two vertices has simple eigenvalues. We further describe how these results can be used to construct new families of graphs with cospectral vertices.


A Survey of Published Attacks on Intel SGX. Intel Software Guard Extensions (SGX) provides a trusted execution environment (TEE) to run code and operate sensitive data. SGX provides runtime hardware protection where both code and data are protected even if other code components are malicious. However, recently many attacks targeting SGX have been identified and introduced that can thwart the hardware defence provided by SGX. In this paper we present a survey of all attacks specifically targeting Intel SGX that are known to the authors, to date. We categorized the attacks based on their implementation details into 7 different categories. We also look into the available defence mechanisms against identified attacks and categorize the available types of mitigations for each presented attack.


An interdisciplinary overview of developmental indices and behavioral measures of the minimal self. In this review paper we discuss the development of the minimal self in humans, the behavioural measures indicating the presence of different aspects of the minimal self, namely, body ownership and sense of agency, and also discuss robotics research investigating and developing these concepts in artificial agents. We investigate possible avenues for expanding the research in robotics to further explore the development of an artificial minimal self.


The automorphism group of the random poset does not admit a generic pair. We show that the conjugacy class of every pair of automoprhisms of the random poset is meager. This answers a question of Truss see also Kuske Truss.


Generalized Belief Function A new concept for uncertainty modelling and processing. In this paper, we generalize the belief function on complex plane from another point of view. We first propose a new concept of complex mass function based on the complex number, called complex basic belief assignment, which is a generalization of the traditional mass function in Dempster Shafer evidence theory. On the basis of the de nition of complex mass function, the belief function and plausibility function are generalized. In particular, when the complex mass function is degenerated from complex numbers to real numbers, the generalized belief and plausibility functions degenerate into the traditional belief and plausibility functions in DSE theory, respectively.


Existence of B k alpha, beta Structures on C k Manifolds. In this paper we introduce B alpha, beta k manifolds as generalizations of the notion of smooth manifolds with G structure or with k bounded geometry. These are C k manifolds whose transition functions varphi ji varphi j circ varphi i 1 are such that partial mu varphi ji in B alpha(r) cap C k beta(r) for every vert mu vert r , where B (B r ) r in Gamma is some sequence of presheaves of Fr 'echet spaces endowed with further structures, Gamma subset mathbb Z geq0 is some parameter set and alpha, beta are functions. We present embedding theorems for the presheaf category of those structural presheaves B . The existence problem of B alpha, beta k structures on C k manifolds is studied and it is proved that under certain conditions on B , alpha and beta , the forgetful functor from C k manifolds to B alpha, beta k manifolds has adjoints.


Malicious Experts versus the multiplicative weights algorithm in online prediction. We consider a prediction problem with two experts and a forecaster. We assume that one of the experts is honest and makes correct prediction with probability mu at each round. The other one is malicious, who knows true outcomes at each round and makes predictions in order to maximize the loss of the forecaster. Assuming the forecaster adopts the classical multiplicative weights algorithm, we find upper and lower bounds for the value function of the malicious expert. Our results imply that the multiplicative weights algorithm cannot resist the corruption of malicious experts. We also show that an adaptive multiplicative weights algorithm is asymptotically optimal for the forecaster, and hence more resistant to the corruption of malicious experts.


Linear Permutations and their Compositional Inverses over mathbb F q n . The use of permutation polynomials has appeared, along to their compositional inverses, as a good choice in the implementation of cryptographic systems. Hence, there has been a demand for constructions of these polynomials which coefficients belong to a finite field. As a particular case of permutation polynomial, involution is highly desired since its compositional inverse is itself. In this work, we present an effective way of how to construct several linear permutation polynomials over mathbb F q n as well as their compositional inverses using a decomposition of displaystyle frac mathbb F q x left langle x n 1 right rangle based on its primitive idempotents. As a consequence, an immediate construction of involutions is presented.


An Introduction to Mean Field Games using probabilistic methods. This thesis is going to give a gentle introduction to Mean Field Games. It aims to produce a coherent text beginning for simple notions of deterministic control theory progressively to current Mean Field Games theory. The framework gradually extended form single agent stochastic control problems to multi agent stochastic differential mean field games. The concept of Nash Equilibrium is introduced to define a solution of the mean field game. To achieve considerable simplifications the number of agents goes to infinity and formulate this problem on the basis of McKean Vlasov theory for interacting particle systems. Furthermore, the problem at infinity is being solved by a variation of the Stochastic Maximum Principle and Forward Backward Stochastic Differential Equations. To elaborate more the Aiyagari macroeconomic model in continuous time is presented using MFGs techniques


ACM bundles of rank 2 on quartic hypersurfaces in mathbb P 3 and Lazarsfeld Mukai bundles. Let X be a smooth quartic hypersurface in mathbb P 3 . By the Brill Noether theory of curves on K3 surfaces, if a rank 2 aCM bundle on X is globally generated, then it is the Lazarsfeld Mukai bundle E C,Z associated with a smooth curve C on X and a base point free pencil Z on C . In this paper, we will focus on the classification of such bundles on X to investigate aCM bundles of rank 2 on X . Concretely, we will give a necessary condition for a rank 2 vector bundle of type E C,Z to be indecomposable initialized and aCM, in the case where the class of C in Pic( X ) is contained in the sublattice of rank 2 generated by the hyperplane class of X and a non trivial initialized aCM line bundle on X .


Double phase field formulation for mixed mode fracture in rocks. Cracking of rocks and rock like materials exhibits a rich variety of patterns where tensile (mode I) and shear (mode II) fractures are often interwoven. These mixed mode fractures are usually cohesive (quasi brittle) and frictional. Although phase field modeling is increasingly used for rock fracture simulation, no phase field formulation is available for cohesive and frictional mixed mode fracture. To address this shortfall, here we develop a double phase field formulation that employs two different phase fields to describe cohesive tensile fracture and frictional shear fracture individually. The formulation rigorously combines the two phase fields through three approaches (i) crack direction based decomposition of the strain energy into the tensile, shear, and pure compression parts, (ii) contact dependent calculation of the potential energy, and (iii) energy based determination of the dominant fracturing mode in each contact condition. We validate the proposed model, both qualitatively and quantitatively, with experimental data on mixed mode fracture in rocks. The validation results demonstrate that the double phase field model a combination of two quasi brittle phase field models allows one to directly use material strengths measured from experiments, unlike brittle phase field models for mixed mode fracture in rocks. Another standout feature of the double phase field model is that it can simulate, and naturally distinguish between, tensile and shear fractures without complex algorithms.


On the functorial properties of the p analog of the Fourier Stieltjes algebras. In this paper, some known results will be generalized. Firstly, the idempotent theorem on the Fourier Stieltjes algebra will be promoted and linked to the p analog of such an algebra. Next, the p analog of the pi Fourier space introduced by Arsac will be given, and by taking advantage of the theory of ultra filters, the connection between the dual space of the algebra of p pseudofunctions and the p analog of the pi Fourier space, will be fully investigated. As the main result, one of the significant and applicable functorial properties of the p analog of the Fourier Stieltjes algebras will be achieved.


CoMoGCN Coherent Motion Aware Trajectory Prediction with Graph Representation. Forecasting human trajectories is critical for tasks such as robot crowd navigation and autonomous driving. Modeling social interactions is of great importance for accurate group wise motion prediction. However, most existing methods do not consider information about coherence within the crowd, but rather only pairwise interactions. In this work, we propose a novel framework, coherent motion aware graph convolutional network (CoMoGCN), for trajectory prediction in crowded scenes with group constraints. First, we cluster pedestrian trajectories into groups according to motion coherence. Then, we use graph convolutional networks to aggregate crowd information efficiently. The CoMoGCN also takes advantage of variational autoencoders to capture the multimodal nature of the human trajectories by modeling the distribution. Our method achieves state of the art performance on several different trajectory prediction benchmarks, and the best average performance among all benchmarks considered.


Anomalous Motion of Particle Levitated by Laguerre Gaussian beam. Laguerre Gaussian (LG) beam has orbital angular momentum (OAM). A particle trapped in an LG beam will rotate about the beam axis, due to the transfer of OAM. The rotation of the particle is usually in the same direction as that of the beam OAM. However, we discovere that when the LG beam is strongly focused, the rotation of the particle and the beam OAM might be in the opposite direction. This anomalous effect is caused by the negative torque on the particle exerted by the focused LG beam, which is similar to the optical pulling force in the linear case. We calculated the scattering force distribution of a micro particle trapped in an optical tweezers formed by the strongly focused LG beam, and showed that there exist stable trajectories of the particle that controlled by the negative torque. We proposed several necessary conditions for observing the counter intuitive trajectories. Our work reveals that the strongly trapped micro particle exhibits diversity of motion patterns.


Oriented coloring of graphs with low maximum degree. Duffy et al. C. Duffy, G. MacGillivray, and 'E. Sopena, Oriented colourings of graphs with maximum degree three and four, Discrete Mathematics, 342(4), p. 959 974, 2019 recently considered the oriented chromatic number of connected oriented graphs with maximum degree 3 and 4 , proving it is at most 9 and 69 , respectively. In this paper, we improve these results by showing that the oriented chromatic number of non necessarily connected oriented graphs with maximum degree 3 (resp. 4 ) is at most 9 (resp. 26 ). The bound of 26 actually follows from a general result which determines properties of a target graph to be universal for graphs of bounded maximum degree. This generalization also allows us to get the upper bound of 90 (resp. 306 , 1322 ) for the oriented chromatic number of graphs with maximum degree 5 (resp. 6 , 7 ).


On the Spectral Efficiency for Massive MIMO Systems With Imperfect Spacial Covariance Information. This paper studies the impact of imperfect channel covariance information on the uplink (UL) and downlink (DL) spectral efficiencies (SEs) of a time division duplexed (TDD) massive multiple input multiple output (MIMO) system. We derive closed form expressions for the UL and DL average SEs by considering linear minimum mean squared (LMMSE) type and element wise LMMSE type channel estimation that represent LMMSE and element wise LMMSE with estimated covariance matrices, respectively. The closed form expressions of these average SEs are functions of the number of observations used for estimating the spatial covariance matrices of individual and contaminated channels of a target user, and thus enable us to select these key parameters to achieve the desired SE. We present a theoretical analysis of SE behavior for different values of these parameters, followed by simulations, which also demonstrate and validate this behavior. Specifically, we present the SEs computed using estimated covariance matrices and show the accurate agreement between the theoretical and simulated SEs as functions of the number of observations for estimating the covariance matrices of individual and contaminated channels of a user. We also compare these SEs across channel estimation techniques using analytical and simulation studies.


Strong Solutions of Mean Field SDEs with irregular expectation functional in the drift. We analyze multi dimensional mean field stochastic differential equations where the drift depends on the law in form of a Lebesgue integral with respect to the pushforward measure of the solution. We show existence and uniqueness of Malliavin differentiable strong solutions for irregular drift coefficients, which in particular include the case where the drift depends on the cumulative distribution function of the solution. Moreover, we examine the solution as a function in its initial condition and introduce sufficient conditions on the drift to guarantee differentiability. Under these assumptions we then show that the Bismut Elworthy Li formula proposed in Bauer et al. (2018) holds in a strong sense, i.e. we give a probabilistic representation of the strong derivative with respect to the initial condition of expectation functionals of strong solutions to our type of mean field equations in one dimension.


Investigating and Exploiting Image Resolution for Transfer Learning based Skin Lesion Classification. Skin cancer is among the most common cancer types. Dermoscopic image analysis improves the diagnostic accuracy for detection of malignant melanoma and other pigmented skin lesions when compared to unaided visual inspection. Hence, computer based methods to support medical experts in the diagnostic procedure are of great interest. Fine tuning pre trained convolutional neural networks (CNNs) has been shown to work well for skin lesion classification. Pre trained CNNs are usually trained with natural images of a fixed image size which is typically significantly smaller than captured skin lesion images and consequently dermoscopic images are downsampled for fine tuning. However, useful medical information may be lost during this transformation. In this paper, we explore the effect of input image size on skin lesion classification performance of fine tuned CNNs. For this, we resize dermoscopic images to different resolutions, ranging from 64x64 to 768x768 pixels and investigate the resulting classification performance of three well established CNNs, namely DenseNet 121, ResNet 18, and ResNet 50. Our results show that using very small images (of size 64x64 pixels) degrades the classification performance, while images of size 128x128 pixels and above support good performance with larger image sizes leading to slightly improved classification. We further propose a novel fusion approach based on a three level ensemble strategy that exploits multiple fine tuned networks trained with dermoscopic images at various sizes. When applied on the ISIC 2017 skin lesion classification challenge, our fusion approach yields an area under the receiver operating characteristic curve of 89.2 and 96.6 for melanoma classification and seborrheic keratosis classification, respectively, outperforming state of the art algorithms.


Recurrent Deconvolutional Generative Adversarial Networks with Application to Text Guided Video Generation. This paper proposes a novel model for video generation and especially makes the attempt to deal with the problem of video generation from text descriptions, i.e., synthesizing realistic videos conditioned on given texts. Existing video generation methods cannot be easily adapted to handle this task well, due to the frame discontinuity issue and their text free generation schemes. To address these problems, we propose a recurrent deconvolutional generative adversarial network (RD GAN), which includes a recurrent deconvolutional network (RDN) as the generator and a 3D convolutional neural network (3D CNN) as the discriminator. The RDN is a deconvolutional version of conventional recurrent neural network, which can well model the long range temporal dependency of generated video frames and make good use of conditional information. The proposed model can be jointly trained by pushing the RDN to generate realistic videos so that the 3D CNN cannot distinguish them from real ones. We apply the proposed RD GAN to a series of tasks including conventional video generation, conditional video generation, video prediction and video classification, and demonstrate its effectiveness by achieving well performance.


Synthesizing Optical and SAR Imagery From Land Cover Maps and Auxiliary Raster Data. We synthesize both optical RGB and synthetic aperture radar (SAR) remote sensing images from land cover maps and auxiliary raster data using generative adversarial networks (GANs). In remote sensing, many types of data, such as digital elevation models (DEMs) or precipitation maps, are often not reflected in land cover maps but still influence image content or structure. Including such data in the synthesis process increases the quality of the generated images and exerts more control on their characteristics. Spatially adaptive normalization layers fuse both inputs and are applied to a full blown generator architecture consisting of encoder and decoder to take full advantage of the information content in the auxiliary raster data. Our method successfully synthesizes medium (10 m) and high (1 m) resolution images when trained with the corresponding data set. We show the advantage of data fusion of land cover maps and auxiliary information using mean intersection over unions (mIoUs), pixel accuracy, and Fr 'echet inception distances (FIDs) using pretrained U Net segmentation models. Handpicked images exemplify how fusing information avoids ambiguities in the synthesized images. By slightly editing the input, our method can be used to synthesize realistic changes, i.e., raising the water levels. The source code is available at https github.com gbaier rs img synth and we published the newly created high resolution dataset at https ieee dataport.org open access geonrw.


The Arakelov Zhang pairing and Julia sets. The Arakelov Zhang pairing langle psi, phi rangle is a measure of the "dynamical distance" between two rational maps psi and phi defined over a number field K . It is defined in terms of local integrals on Berkovich space at each completion of K . We obtain a simple expression for the important case of the pairing with a power map, written in terms of integrals over Julia sets. Under certain disjointness conditions on Julia sets, our expression simplifies to a single canonical height term in general, this term is a lower bound. As applications of our method, we give bounds on the difference between the canonical height h phi and the standard Weil height h , and we prove a rigidity statement about polynomials that satisfy a strong form of good reduction.


Personalized Query Auto Completion Through a Lightweight Representation of the User Context. Query Auto Completion (QAC) is a widely used feature in many domains, including web and eCommerce search, suggesting full queries based on a prefix typed by the user. QAC has been extensively studied in the literature in the recent years, and it has been consistently shown that adding personalization features can significantly improve the performance of QAC. In this work we propose a novel method for personalized QAC that uses lightweight embeddings learnt through fastText. We construct an embedding for the user context queries, which are the last few queries issued by the user. We also use the same model to get the embedding for the candidate queries to be ranked. We introduce ranking features that compute the distance between the candidate queries and the context queries in the embedding space. These features are then combined with other commonly used QAC ranking features to learn a ranking model. We apply our method to a large eCommerce search engine (eBay) and show that the ranker with our proposed feature significantly outperforms the baselines on all of the offline metrics measured, which includes Mean Reciprocal Rank (MRR), Success Rate (SR), Mean Average Precision (MAP), and Normalized Discounted Cumulative Gain (NDCG). Our baselines include the Most Popular Completion (MPC) model as well as a ranking model without our proposed features. The ranking model with the proposed features results in a 20 30 improvement over the MPC model on all metrics. We obtain up to a 5 improvement over the baseline ranking model for all the sessions, which goes up to about 10 when we restrict to sessions that contain the user context. Moreover, our proposed features also significantly outperform text based personalization features studied in the literature before, and adding text based features on top of our proposed embedding based features results only in minor improvements.


Great Chiral Fluorescence from Optical Duality Silver Nanostructures Enabled by 3D Laser Printing. Featured by prominent flexibility and fidelity in producing sophisticated stereoscopic structures transdimensionally, three dimensional (3D) laser printing technique has vastly extended the toolkit for delivering diverse functional devices. Yet chiral nanoemitters heavily resorting to artificial structures that manifest efficient emission and tightly confined light mater interactions simultaneously remains alluring but dauntingly challenging for this technique at this moment. In this work, we assert the chiral photoluminescence is implemented from silver nanostructures of optical duality in one go via a twofold three dimensional laser printing scheme. Such laser printing protocol allows the highly desired duality by simultaneously producing uniformly distributed fluorescent silver nanoclusters and aggregated plasmonic silver nanoparticles to tightly confine chiral interactions at the nanoscale. A helical emitter of 550 nm helix diameter as fabricated has seen a record high luminescence anisotropic factor with the absolute value up to 0.58, which is two orders of magnitude greater than fluorescent chiral silver clusters. This method holds great promise for future versatile applications in chiroptical nanodevices.


Task Oriented Dialog Systems that Consider Multiple Appropriate Responses under the Same Context. Conversations have an intrinsic one to many property, which means that multiple responses can be appropriate for the same dialog context. In task oriented dialogs, this property leads to different valid dialog policies towards task completion. However, none of the existing task oriented dialog generation approaches takes this property into account. We propose a Multi Action Data Augmentation (MADA) framework to utilize the one to many property to generate diverse appropriate dialog responses. Specifically, we first use dialog states to summarize the dialog history, and then discover all possible mappings from every dialog state to its different valid system actions. During dialog system training, we enable the current dialog state to map to all valid system actions discovered in the previous process to create additional state action pairs. By incorporating these additional pairs, the dialog policy learns a balanced action distribution, which further guides the dialog model to generate diverse responses. Experimental results show that the proposed framework consistently improves dialog policy diversity, and results in improved response diversity and appropriateness. Our model obtains state of the art results on MultiWOZ.


Patch Size Evolution During Pulsating Aurora. We report both decreasing and increasing trends in the patch sizes during pulsating aurora events. About 150 pulsating auroral events over the Fennoscandian Lapland have been successfully analyzed for their average patch size, total patch area, and number of patches as a function of event time, typically 1 2 hr. An automatic routine has been developed to detect patches in the all sky camera images. In addition to events with decreasing and increasing average patch size evolution over the course of the pulsating aurora, events with no size trends and events with intermittently increasing and decreasing patch size trends were also found. In this study, we have analyzed a subset of events for which the average and total patch size systematically increase or decrease. The events with increasing patch size trend do not experience a decrease in the peak emission height, which was previously associated with the behavior of pulsating aurora precipitation. Furthermore, the events with increasing patch sizes have shorter lifetimes and twice as many substorm injected energetic electrons at geosynchronous orbit as the events with decreasing patch sizes. Half of the events with increasing patch sizes occur during substorm expansion phases, while a majority (64 ) of the ones with decreasing patch sizes take place during the recovery phase. These findings suggest that the visual appearance of pulsating aurora may be used as an indication of the pulsating aurora energy deposition to the atmosphere.


Warrior1 A Performance Sanitizer for C . This paper presents Warrior1, a tool that detects performance anti patterns in C libraries. Many programs are slowed down by many small inefficiencies. Large scale C applications are large, complex, and developed by large groups of engineers over a long period of time, which makes the task of identifying inefficiencies difficult. Warrior1 was designed to detect the numerous small performance issues that are the result of inefficient use of C libraries. The tool detects performance anti patterns such as map double lookup, vector reallocation, short lived objects, and lambda object capture by value. Warrior1 is implemented as an instrumented C standard library and an off line diagnostics tool. The tool is very effective in detecting issues. We demonstrate that the tool is able to find a wide range of performance anti patterns in a number of popular performance sensitive open source projects.


Power Law Tails in a Fitness Driven Model for Biological Evolution. We study a discrete time stochastic process that can also be interpreted as a model for a viral evolution. A distinguishing feature of our process is power law tails due to dynamics that resembles preferential attachment models. In the model we study, a population is partitioned into sites, with each site labeled by a uniquely assigned real number in the interval 0,1 known as fitness. The population size is a discrete time transient birth and death process with probability p of birth and 1 p of death. The fitness is assigned at birth according to the following rule the new member of the population either "mutates" with probability r , creating a new site uniformly distributed on 0,1 or "inherits" with probability 1 r , joining an existing site with probability proportional to the site's size. At each death event, a member from the site with the lowest fitness is killed. The number of sites eventually tends to infinity if and only if pr 1 p . Under this assumption, we show that as time tends to infinity, the joint empirical measure of site size and fitness (proportion of population in sites of size and fitness in given ranges) converges a.s. to the product of a modified Yule distribution and the uniform distribution on (1 p) (pr),1 . Our approach is based on the method developed in cite similar but different . The model and the results were independently obtained by Roy and Tanemura in RT .


Low Power IoT Communication Security On the Performance of DTLS and TLS 1.3. Similarly to elsewhere on the Internet, practical security in the Internet of Things (IoT) is achieved by combining an array of mechanisms, at work at all layers of the protocol stack, in system software, and in hardware. Standard protocols such as Datagram Transport Layer Security (DTLS 1.2) and Transport Layer Security (TLS 1.2) are often recommended to secure communications to from IoT devices. Recently, the TLS 1.3 standard was released and DTLS 1.3 is in the final stages of standardization. In this paper, we give an overview of version 1.3 of these protocols, and we provide the first experimental comparative performance analysis of different implementations and various configurations of these protocols, on real IoT devices based on low power microcontrollers. We show how different implementations lead to different compromises. We measure and compare bytes over the air, memory footprint, and energy consumption. We show that, when DTLS TLS 1.3 requires more resources than DTLS TLS 1.2, this additional overhead is quite reasonable. We also observe that, in some configurations, DTLS TLS 1.3 actually decreases overhead and resource consumption. All in all, our study indicates that there is still room to optimize the existing implementations of these protocols.


The birational Lalanne Kreweras involution. The Lalanne Kreweras involution is an involution on the set of Dyck paths which combinatorially exhibits the symmetry of the number of valleys and major index statistics. We define piecewise linear and birational extensions of the Lalanne Kreweras involution. Actually, we show that the Lalanne Kreweras involution is a special case of a more general operator, called rowvacuation, which acts on the antichains of any graded poset. Rowvacuation, like the closely related and more studied rowmotion operator, is a composition of toggles. We obtain the piecewise linear and birational lifts of the Lalanne Kreweras involution by using the piecewise linear and birational toggles of Einstein and Propp. We show that the symmetry properties of the Lalanne Kreweras involution extend to these piecewise linear and birational lifts.


BlockSim An Extensible Simulation Tool for Blockchain Systems. Both in the design and deployment of blockchain solutions many performance impacting configuration choices need to be made. We introduce BlockSim, a framework and software tool to build and simulate discrete event dynamic systems models for blockchain systems. BlockSim is designed to support the analysis of a large variety of blockchains and blockchain deployments as well as a wide set of analysis questions. At the core of BlockSim is a Base Model, which contains the main model constructs common across various blockchain systems organized in three abstraction layers (network, consensus and incentives layer). The Base Model is usable for a wide variety of blockchain systems and can be extended easily to include system or deployment particulars. The BlockSim software tool provides a simulator that implements the Base Model in Python. This paper describes the Base Model, the simulator implementation, and the application of BlockSim to Bitcoin, Ethereum and other consensus algorithms. We validate BlockSim simulation results by comparison with performance results from actual systems and from other studies in the literature. We close the paper by a BlockSim simulation study of the impact of uncle blocks rewards on mining decentralization, for a variety of blockchain configurations.


Non homogeneous initial boundary value problems for the biharmonic Schr "odinger equation on an interval. In this paper we consider the initial boundary value problem (IBVP) for the nonlinear biharmonic Schr "odinger equation posed on a bounded interval (0,L) with non homogeneous Navier or Dirichlet boundary conditions, respectively. For Navier boundary IBVP, we set up its local well posedness if the initial data lies in H s(0, L) with s geq 0 and s neq n 1 2, n in mathbb N , and the boundary data are selected from the appropriate spaces with optimal regularities, i.e., the j th order data are chosen in H loc (s 3 j) 4 ( mathbb R ) , for j 0,2 . For Dirichlet boundary IBVP the corresponding local well posedness is obtained when s 10 7 and s neq n 1 2, n in mathbb N , and the boundary data are selected from the appropriate spaces with optimal regularities, i.e., the j th order data are chosen in H loc (s 3 j) 4 ( mathbb R ) , for j 0,1 .


Analytical and number theoretical properties of the two dimensional sigma function. This survey is devoted to the classical and modern problems related to the entire function sigma( bf u lambda) , defined by a family of nonsingular algebraic curves of genus 2 , where bf u (u 1,u 3) and lambda ( lambda 4, lambda 6, lambda 8, lambda 10 ) . It is an analogue of the Weierstrass sigma function sigma(u g 2,g 3) of a family of elliptic curves. Logarithmic derivatives of order 2 and higher of the function sigma( bf u lambda) generate fields of hyperelliptic functions of bf u (u 1,u 3) on the Jacobians of curves with a fixed parameter vector lambda . We consider three Hurwitz series sigma( bf u lambda) sum m,n ge 0 a m,n ( lambda) frac u 1 mu 3 n m!n! , sigma( bf u lambda) sum k ge 0 xi k(u 1 lambda) frac u 3 k k! and sigma( bf u lambda) sum k ge 0 mu k(u 3 lambda) frac u 1 k k! . The survey is devoted to the number theoretic properties of the functions a m,n ( lambda) , xi k(u 1 lambda) and mu k(u 3 lambda) . It includes the latest results, which proofs use the fundamental fact that the function sigma ( bf u lambda) is determined by the system of four heat equations in a nonholonomic frame of six dimensional space.


Discontinuous Galerkin for the wave equation a simplified a priori error analysis. Standard discontinuous Galerkin methods, based on piecewise polynomials of degree qq geq 0 , are considered for temporal semi discretization for second order hyperbolic equations. The main goal of this paper is to present a simple and straight forward a priori error analysis of optimal order with minimal regularity requirement on the solution. Uniform norm in time error estimates are also proved for the constant and linear cases. To this end, energy identities and stability estimates of the discrete problem are proved for a slightly more general problem. These are used to prove optimal order a priori error estimates with minimal regularity requirement on the solution. The combination with the classic continuous Galerkin finite element discretization in space variable is used, to formulate a full discrete scheme. The a priori error analysis is presented. Numerical experiments are performed to verify the theoretical rate of convergence.


Using Data Mining for Infrastructure and Safety Violations Discovery in Cities. In city planning and maintenance, the abilty to quickly identify infrastructure violations such as missing or misplaced fire hydrants can be crucial for maintaining a safe city it can even save lives. In this work, we aim to provide an analysis of such violations, and to demonstrate the potential of data driven approaches for quickly locating and addressing them. We conduct an analytical study based upon data from the city of Beer Sheva's public records of fire hydrants, bomb shelters, and other public facilities. The result of our analysis are presented along with an interactive exploration tool, which allows for easy exploration and identification of different facilities around the city that viloate regulations.


Occluded Prohibited Items Detection an X ray Security Inspection Benchmark and De occlusion Attention Module. Security inspection often deals with a piece of baggage or suitcase where objects are heavily overlapped with each other, resulting in an unsatisfactory performance for prohibited items detection in X ray images. In the literature, there have been rare studies and datasets touching this important topic. In this work, we contribute the first high quality object detection dataset for security inspection, named Occluded Prohibited Items X ray (OPIXray) image benchmark. OPIXray focused on the widely occurred prohibited item "cutter", annotated manually by professional inspectors from the international airport. The test set is further divided into three occlusion levels to better understand the performance of detectors. Furthermore, to deal with the occlusion in X ray images detection, we propose the De occlusion Attention Module (DOAM), a plug and play module that can be easily inserted into and thus promote most popular detectors. Despite the heavy occlusion in X ray imaging, shape appearance of objects can be preserved well, and meanwhile different materials visually appear with different colors and textures. Motivated by these observations, our DOAM simultaneously leverages the different appearance information of the prohibited item to generate the attention map, which helps refine feature maps for the general detectors. We comprehensively evaluate our module on the OPIXray dataset, and demonstrate that our module can consistently improve the performance of the state of the art detection methods such as SSD, FCOS, etc, and significantly outperforms several widely used attention mechanisms. In particular, the advantages of DOAM are more significant in the scenarios with higher levels of occlusion, which demonstrates its potential application in real world inspections. The OPIXray benchmark and our model are released at https github.com OPIXray author OPIXray.


Multi Margin based Decorrelation Learning for Heterogeneous Face Recognition. Heterogeneous face recognition (HFR) refers to matching face images acquired from different domains with wide applications in security scenarios. This paper presents a deep neural network approach namely Multi Margin based Decorrelation Learning (MMDL) to extract decorrelation representations in a hyperspherical space for cross domain face images. The proposed framework can be divided into two components heterogeneous representation network and decorrelation representation learning. First, we employ a large scale of accessible visual face images to train heterogeneous representation network. The decorrelation layer projects the output of the first component into decorrelation latent subspace and obtains decorrelation representation. In addition, we design a multi margin loss (MML), which consists of quadruplet margin loss (QML) and heterogeneous angular margin loss (HAML), to constrain the proposed framework. Experimental results on two challenging heterogeneous face databases show that our approach achieves superior performance on both verification and recognition tasks, comparing with state of the art methods.


Magnitude Homology, Diagonality, Medianness, K "unneth and Mayer Vietoris. Magnitude homology of graphs is introduced by Hepworth and Willerton in arXiv 1505.04125 . Magnitude homology of arbitrary metric spaces by Leinster and Shulman in arXiv 1711.00802v2 . We verify that the K "unneth and Mayer Vietoris formulas proved in arXiv 1505.04125 for graphs extend naturally to the metric setting. The same is done for the notion of diagonality, also originating from arXiv 1505.04125 . Stability of this notion under products, retracts, filtrations is verified, and as an application, it is shown that median spaces are diagonal in particular, any Menger convex median space has vanishing magnitude homology. Finally, we argue for a definition of magnitude homology in the context of "betweenness spaces" and develop some of its properties.


CAKES Channel wise Automatic KErnel Shrinking for Efficient 3D Networks. 3D Convolution Neural Networks (CNNs) have been widely applied to 3D scene understanding, such as video analysis and volumetric image recognition. However, 3D networks can easily lead to over parameterization which incurs expensive computation cost. In this paper, we propose Channel wise Automatic KErnel Shrinking (CAKES), to enable efficient 3D learning by shrinking standard 3D convolutions into a set of economic operations e.g., 1D, 2D convolutions. Unlike previous methods, CAKES performs channel wise kernel shrinkage, which enjoys the following benefits 1) enabling operations deployed in every layer to be heterogeneous, so that they can extract diverse and complementary information to benefit the learning process and 2) allowing for an efficient and flexible replacement design, which can be generalized to both spatial temporal and volumetric data. Further, we propose a new search space based on CAKES, so that the replacement configuration can be determined automatically for simplifying 3D networks. CAKES shows superior performance to other methods with similar model size, and it also achieves comparable performance to state of the art with much fewer parameters and computational costs on tasks including 3D medical imaging segmentation and video action recognition. Codes and models are available at https github.com yucornetto CAKES


Hot Streaks on Social Media. Measuring the impact and success of human performance is common in various disciplines, including art, science, and sports. Quantifying impact also plays a key role on social media, where impact is usually defined as the reach of a user's content as captured by metrics such as the number of views, likes, retweets, or shares. In this paper, we study entire careers of Twitter users to understand properties of impact. We show that user impact tends to have certain characteristics First, impact is clustered in time, such that the most impactful tweets of a user appear close to each other. Second, users commonly have 'hot streaks' of impact, i.e., extended periods of high impact tweets. Third, impact tends to gradually build up before, and fall off after, a user's most impactful tweet. We attempt to explain these characteristics using various properties measured on social media, including the user's network, content, activity, and experience, and find that changes in impact are associated with significant changes in these properties. Our findings open interesting avenues for future research on virality and influence on social media.


Interpretable Entity Representations through Large Scale Typing. In standard methodology for natural language processing, entities in text are typically embedded in dense vector spaces with pre trained models. The embeddings produced this way are effective when fed into downstream models, but they require end task fine tuning and are fundamentally difficult to interpret. In this paper, we present an approach to creating entity representations that are human readable and achieve high performance on entity related tasks out of the box. Our representations are vectors whose values correspond to posterior probabilities over fine grained entity types, indicating the confidence of a typing model's decision that the entity belongs to the corresponding type. We obtain these representations using a fine grained entity typing model, trained either on supervised ultra fine entity typing data (Choi et al. 2018) or distantly supervised examples from Wikipedia. On entity probing tasks involving recognizing entity identity, our embeddings used in parameter free downstream models achieve competitive performance with ELMo and BERT based embeddings in trained models. We also show that it is possible to reduce the size of our type set in a learning based way for particular domains. Finally, we show that these embeddings can be post hoc modified through a small number of rules to incorporate domain knowledge and improve performance.


Dynamics of laterally coupled pairs of spin VCSELs. A newly developed normal mode model of laser dynamics in a generalised array of waveguides is applied to extend the spin flip model (SFM) to pairs of evanescently coupled spin VCSELS. The effect of high birefringence is explored, revealing new dynamics and regions of bistability. It is shown that optical switching of the polarisation states of the lasers may be controlled through the optical pump and that, under certain conditions, the polarisation of one laser may be switched by controlling the intensity and polarisation in the other.


Groundstates and infinitely many high energy solutions to a class of nonlinear Schr "odinger Poisson systems. We study a nonlinear Schr " o dinger Poisson system which reduces to the nonlinear and nonlocal equation Delta u u lambda 2 left( frac 1 omega x N 2 star rho u 2 right) rho(x) u u q 1 u quad x in mathbb R N, where omega (N 2) mathbb S N 1 , lambda 0, q in(2,2 ast 1), rho mathbb R N to mathbb R is nonnegative and locally bounded, N 3,4,5 and 2 2N (N 2) is the critical Sobolev exponent. We prove existence and multiplicity of solutions working on a suitable finite energy space and under two separate assumptions which are compatible with instances where loss of compactness phenomena may occur.


An Empirical Analysis of the Python Package Index (PyPI). In this research, we provide a comprehensive empirical summary of the Python Package Repository, PyPI, including both package metadata and source code covering 178,592 packages, 1,745,744 releases, 76,997 contributors, and 156,816,750 import statements. We provide counts and trends for packages, releases, dependencies, category classifications, licenses, and package imports, as well as authors, maintainers, and organizations. As one of the largest and oldest software repositories as of publication, PyPI provides insight not just into the Python ecosystem today, but also trends in software development and licensing more broadly over time. Within PyPI, we find that the growth of the repository has been robust under all measures, with a compound annual growth rate of 47 for active packages, 39 for new authors, and 61 for new import statements over the last 15 years. As with many similar social systems, we find a number of highly right skewed distributions, including the distribution of releases per package, packages and releases per author, imports per package, and size per package and release. However, we also find that most packages are contributed by single individuals, not multiple individuals or organizations. The data, methods, and calculations herein provide an anchor for public discourse on PyPI and serve as a foundation for future research on the Python software ecosystem.


Full Lattice Convergence on Riesz Spaces. The full lattice convergence on a locally solid Riesz space is an abstraction of the topological, order, and relatively uniform convergences. We investigate four modifications of a full convergence mathbb c on a Riesz space. The first one produces a sequential convergence mathbb sc . The second makes an absolute mathbb c convergence and generalizes the absolute weak convergence. The third modification makes an unbounded mathbb c convergence and generalizes various unbounded convergences recently studied in the literature. The last one is applicable whenever mathbb c is a full convergence on a commutative l algebra and produces the multiplicative modification mathbb mc of mathbb c . We study general properties of full lattice convergence with emphasis on universally complete Riesz spaces and on Archimedean f algebras. The technique and results in this paper unify and extend those which were developed and obtained in recent literature on unbounded convergences.


A perspective on how to conduct responsible anti human trafficking research in operations and analytics. Human trafficking, the commercial exploitation of individuals, is a gross violation of human rights and harms societies, economies, health and development. The related disciplines of Operations Management (OM), Analytics, and Operations Research (OR) are uniquely positioned to support trafficking prevention and intervention efforts by efficiently evaluating a plethora of decision alternatives, and providing quantitative, actionable insights. As operations and analytical efforts in the counter trafficking field emerge, it is imperative to grasp subtle yet distinctive nuances associated with human trafficking. This note is intended to inform those practitioners working in the field by highlighting key features of human trafficking activity. We grouped nine themes around three broad categories (1) representation of human trafficking, (2) consideration of survivors and communities, and (3) analytics related. These insights are derived from our collective experience in working in this area and substantiated by domain expertise.


A compact and efficient three dimensional microfluidic mixer. Microfluidic mixing is a fundamental functionality in most lab on a chip (LOC) systems,whereas realization of efficient mixing is challenging in microfluidic channels due to the small Reynolds numbers. Here, we design and fabricate a compact three dimensional (3D) micromixer to enable efficient mixing at various flow rates. The performance of the fabricated micromixer was examined using blue and red inks. The extreme flexibility in fabricating microfluidic structures of arbitrary 3D geometries using femtosecond laser micromachining allows us to tackle the major disadvantageous effects for optimizing the mixing efficiency.


Manifold Criterion Guided Transfer Learning via Intermediate Domain Generation. In many practical transfer learning scenarios, the feature distribution is different across the source and target domains (i.e. non i.i.d.). Maximum mean discrepancy (MMD), as a domain discrepancy metric, has achieved promising performance in unsupervised domain adaptation (DA). We argue that MMD based DA methods ignore the data locality structure, which, to some extent, would cause the negative transfer effect. The locality plays an important role in minimizing the nonlinear local domain discrepancy underlying the marginal distributions. For better exploiting the domain locality, a novel local generative discrepancy metric (LGDM) based intermediate domain generation learning called Manifold Criterion guided Transfer Learning (MCTL) is proposed in this paper. The merits of the proposed MCTL are four fold 1) the concept of manifold criterion (MC) is first proposed as a measure validating the distribution matching across domains, and domain adaptation is achieved if the MC is satisfied 2) the proposed MC can well guide the generation of the intermediate domain sharing similar distribution with the target domain, by minimizing the local domain discrepancy 3) a global generative discrepancy metric (GGDM) is presented, such that both the global and local discrepancy can be effectively and positively reduced 4) a simplified version of MCTL called MCTL S is presented under a perfect domain generation assumption for more generic learning scenario. Experiments on a number of benchmark visual transfer tasks demonstrate the superiority of the proposed manifold criterion guided generative transfer method, by comparing with other state of the art methods. The source code is available in https github.com wangshanshanCQU MCTL.


SAT hard Cyclic Logic Obfuscation for Protecting the IP in the Manufacturing Supply Chain. State of the art attacks against cyclic logic obfuscation use satisfiability solvers that are equipped with a set of cycle avoidance clauses. These cycle avoidance clauses are generated in a pre processing step and define various key combinations that could open or close cycles without making the circuit oscillating or stateful. In this paper, we show that this pre processing step has to generate cycle avoidance conditions on all cycles in a netlist, otherwise, a missing cycle could trap the solver in an infinite loop or make it exit with an incorrect key. Then, we propose several techniques by which the number of cycles is exponentially increased as a function of the number of inserted feedbacks. We further illustrate that when the number of feedbacks is increased, the pre processing step of the attack faces an exponential increase in complexity and runtime, preventing the correct composition of cycle avoidance clauses in a reasonable time. On the other hand, if the pre processing is not concluded, the attack formulated by the satisfiability solver will either get stuck or exit with an incorrect key. Hence, when the cyclic obfuscation under the conditions proposed in this paper is implemented, it would impose an exponentially difficult problem for the satisfiability solver based attacks.


A Troubling Analysis of Reproducibility and Progress in Recommender Systems Research. The design of algorithms that generate personalized ranked item lists is a central topic of research in the field of recommender systems. In the past few years, in particular, approaches based on deep learning (neural) techniques have become dominant in the literature. For all of them, substantial progress over the state of the art is claimed. However, indications exist of certain problems in today's research practice, e.g., with respect to the choice and optimization of the baselines used for comparison, raising questions about the published claims. In order to obtain a better understanding of the actual progress, we have tried to reproduce recent results in the area of neural recommendation approaches based on collaborative filtering. The worrying outcome of the analysis of these recent works all were published at prestigious scientific conferences between 2015 and 2018 is that 11 out of the 12 reproducible neural approaches can be outperformed by conceptually simple methods, e.g., based on the nearest neighbor heuristics. None of the computationally complex neural methods was actually consistently better than already existing learning based techniques, e.g., using matrix factorization or linear models. In our analysis, we discuss common issues in today's research practice, which, despite the many papers that are published on the topic, have apparently led the field to a certain level of stagnation.


Low Complexity Trellis Coded Quantization in Versatile Video Coding. The forthcoming Versatile Video Coding (VVC) standard adopts the trellis coded quantization, which leverages the delicate trellis graph to map the quantization candidates within one block into the optimal path. Despite the high compression efficiency, the complex trellis search with soft decision quantization may hinder the applications due to high complexity and low throughput capacity. To reduce the complexity, in this paper, we propose a low complexity trellis coded quantization scheme in a scientifically sound way with theoretical modeling of the rate and distortion. As such, the trellis departure point can be adaptively adjusted, and unnecessarily visited branches are accordingly pruned, leading to the shrink of total trellis stages and simplification of transition branches. Extensive experimental results on the VVC test model show that the proposed scheme is effective in reducing the encoding complexity by 11 and 5 with all intra and random access configurations, respectively, at the cost of only 0.11 and 0.05 BD Rate increase. Meanwhile, on average 24 and 27 quantization time savings can be achieved under all intra and random access configurations. Due to the excellent performance, the VVC test model has adopted one implementation of the proposed scheme.


Fundamental Structure of Optimal Cache Placement for Coded Caching with Nonuniform Demands. This paper studies the caching system of multiple cache enabled users with random demands. Under nonuniform file popularity, we thoroughly characterize the optimal uncoded cache placement structure for the coded caching scheme (CCS). Formulating the cache placement as an optimization problem to minimize the average delivery rate, we identify the file group structure in the optimal solution. We show that, regardless of the file popularity distribution, there are emph at most three file groups in the optimal cache placement , where files within a group have the same cache placement . We further characterize the complete structure of the optimal cache placement and obtain the closed form solution in each of the three file group structures. A simple algorithm is developed to obtain the final optimal cache placement by comparing a set of candidate closed form solutions computed in parallel. We provide insight into the file groups formed by the optimal cache placement. The optimal placement solution also indicates that coding between file groups may be explored during delivery, in contrast to the existing suboptimal file grouping schemes. Using the file group structure in the optimal cache placement for the CCS, we propose a new information theoretic converse bound for coded caching that is tighter than the existing best one. Moreover, we characterize the file subpacketization in the CCS with the optimal cache placement solution and show that the maximum subpacketization level in the worst case scales as mathcal O (2 K sqrt K ) for K users.


Heterogeneous Vehicle Routing and Teaming with Gaussian Distributed Energy Uncertainty. For robot swarms operating on complex missions in an uncertain environment, it is important that the decision making algorithm considers both heterogeneity and uncertainty. This paper presents a stochastic programming framework for the vehicle routing problem with stochastic travel energy costs and heterogeneous vehicles and tasks. We represent the heterogeneity as linear constraints, estimate the uncertain energy cost through Gaussian process regression, formulate this stochasticity as chance constraints or stochastic recourse costs, and then solve the stochastic programs using branch and cut algorithms to minimize the expected energy cost. The performance and practicality are demonstrated through extensive computational experiments and a practical test case.


ArCOV19 Rumors Arabic COVID 19 Twitter Dataset for Misinformation Detection. In this paper we introduce ArCOV19 Rumors, an Arabic COVID 19 Twitter dataset for misinformation detection composed of tweets containing claims from 27th January till the end of April 2020. We collected 138 verified claims, mostly from popular fact checking websites, and identified 9.4K relevant tweets to those claims. Tweets were manually annotated by veracity to support research on misinformation detection, which is one of the major problems faced during a pandemic. ArCOV19 Rumors supports two levels of misinformation detection over Twitter verifying free text claims (called claim level verification) and verifying claims expressed in tweets (called tweet level verification). Our dataset covers, in addition to health, claims related to other topical categories that were influenced by COVID 19, namely, social, politics, sports, entertainment, and religious. Moreover, we present benchmarking results for tweet level verification on the dataset. We experimented with SOTA models of versatile approaches that either exploit content, user profiles features, temporal features and propagation structure of the conversational threads for tweet verification.


Longitudinal phase space synthesis with tailored 3D printable dielectric lined waveguides. Longitudinal phase space manipulation is a critical and necessary component for advanced acceleration concepts, radiation sources and improving performances of X ray free electron lasers. Here we present a simple and versatile method to semi arbitrarily shape the longitudinal phase space of a charged bunch by using wakefields generated in tailored dielectric lined waveguides. We apply the concept in simulation and provide examples for radiation generation and bunch compression. We finally discuss the manufacturing capabilities of a modern 3D printer and investigate how printing limitations, as well as the shape of the input LPS affect the performance of the device.


On Atomic Density of Numerical Semigroup Algebras. A numerical semigroup S is a cofinite, additively closed subset of the nonnegative integers that contains 0 . In this paper, we initiate the study of atomic density, an asymptotic measure of the proportion of irreducible elements in a given ring or semigroup, for semigroup algebras. It is known that the atomic density of the polynomial ring mathbb F q x is zero for any finite field mathbb F q we prove that the numerical semigroup algebra mathbb F q S also has atomic density zero for any numerical semigroup S . We also examine the particular algebra mathbb F 2 x 2,x 3 in more detail, providing a bound on the rate of convergence of the atomic density as well as a counting formula for irreducible polynomials using M " o bius inversion, comparable to the formula for irreducible polynomials over a finite field mathbb F q .