Wave packets in the fractional nonlinear Schr "odinger equation with a honeycomb potential. In this article, we study wave dynamics in the fractional nonlinear Schr "odinger equation with a modulated honeycomb potential. This problem arises from recent research interests in the interplay between topological materials and nonlocal governing equations. Both are current focuses in scientific research fields. We first develop the Floquet Bloch spectral theory of the linear fractional Schr "odinger operator with a honeycomb potential. Especially, we prove the existence of conical degenerate points, i.e., Dirac points, at which two dispersion band functions intersect. We then investigate the dynamics of wave packets spectrally localized at a Dirac point and derive the leading effective envelope equation. It turns out the envelope can be described by a nonlinear Dirac equation with a varying mass. With rigorous error estimates, we demonstrate that the asymptotic solution based on the effective envelope equation approximates the true solution well in the weighted H s space.


Selfie Drone Stick A Natural Interface for Quadcopter Photography. A physical selfie stick extends the user's reach, enabling the acquisition of personal photos that include more of the background scene. Similarly, a quadcopter can capture photos from vantage points unattainable by the user but teleoperating a quadcopter to good viewpoints is a difficult task. This paper presents a natural interface for quadcopter photography, the SelfieDroneStick that allows the user to guide the quadcopter to the optimal vantage point based on the phone's sensors. Users specify the composition of their desired long range selfies using their smartphone, and the quadcopter autonomously flies to a sequence of vantage points from where the desired shots can be taken. The robot controller is trained from a combination of real world images and simulated flight data. This paper describes two key innovations required to deploy deep reinforcement learning models on a real robot 1) an abstract state representation for transferring learning from simulation to the hardware platform, and 2) reward shaping and staging paradigms for training the controller. Both of these improvements were found to be essential in learning a robot controller from simulation that transfers successfully to the real robot.


Observation of neutrals carrying ion acoustic wave momentum in partially ionized plasma. An experimental study of Ion Acoustic (IA) wave propagation is performed to investigate the effect of neutral density for argon plasma in an unmagnetized linear plasma device. The neutral density is varied by changing the neutral pressure, which in turn allows the change in ion neutral, and electron neutral collision mean free path. The collisions of plasma species with neutrals are found to modify the IA wave characteristics such as the wave amplitude, velocity, and propagation length. Unlike the earlier reported work where neutrals tend to heavily damp IA wave in the frequency regime omega nu in (where omega is ion acoustic mode frequency and nu in is ion neutral collision frequency), the experimental study of IA wave presented in this paper suggests that the collisions support the wave to propagate for longer distances as the neutral pressure increases. A simple analytical model is shown to qualitatively support the experimental findings.


Spatial Group wise Enhance Improving Semantic Feature Learning in Convolutional Networks. The Convolutional Neural Networks (CNNs) generate the feature representation of complex objects by collecting hierarchical and different parts of semantic sub features. These sub features can usually be distributed in grouped form in the feature vector of each layer, representing various semantic entities. However, the activation of these sub features is often spatially affected by similar patterns and noisy backgrounds, resulting in erroneous localization and identification. We propose a Spatial Group wise Enhance (SGE) module that can adjust the importance of each sub feature by generating an attention factor for each spatial location in each semantic group, so that every individual group can autonomously enhance its learnt expression and suppress possible noise. The attention factors are only guided by the similarities between the global and local feature descriptors inside each group, thus the design of SGE module is extremely lightweight with emph almost no extra parameters and calculations . Despite being trained with only category supervisions, the SGE component is extremely effective in highlighting multiple active areas with various high order semantics (such as the dog's eyes, nose, etc.). When integrated with popular CNN backbones, SGE can significantly boost the performance of image recognition tasks. Specifically, based on ResNet50 backbones, SGE achieves 1.2 Top 1 accuracy improvement on the ImageNet benchmark and 1.0 sim 2.0 AP gain on the COCO benchmark across a wide range of detectors (Faster Mask Cascade RCNN and RetinaNet). Codes and pretrained models are available at https github.com implus PytorchInsight.


Delving into Robust Object Detection from Unmanned Aerial Vehicles A Deep Nuisance Disentanglement Approach. Object detection from images captured by Unmanned Aerial Vehicles (UAVs) is becoming increasingly useful. Despite the great success of the generic object detection methods trained on ground to ground images, a huge performance drop is observed when they are directly applied to images captured by UAVs. The unsatisfactory performance is owing to many UAV specific nuisances, such as varying flying altitudes, adverse weather conditions, dynamically changing viewing angles, etc. Those nuisances constitute a large number of fine grained domains, across which the detection model has to stay robust. Fortunately, UAVs will record meta data that depict those varying attributes, which are either freely available along with the UAV images, or can be easily obtained. We propose to utilize those free meta data in conjunction with associated UAV images to learn domain robust features via an adversarial training framework dubbed Nuisance Disentangled Feature Transform (NDFT), for the specific challenging problem of object detection in UAV images, achieving a substantial gain in robustness to those nuisances. We demonstrate the effectiveness of our proposed algorithm, by showing state of the art performance (single model) on two existing UAV based object detection benchmarks. The code is available at https github.com TAMU VITA UAV NDFT.


K M constructions with general overrings and relationships with polynomial composites. In this paper I consider the construction of K M, where K is the domain, M is the maximal ideal of a some ring of polynomials with coefficients from the field L, where K is its subring. In addition to the usual domains, we also consider the Noetherian, Prufer and GCD domains. In particular, polynomial composites are a case of K M construction. In this paper we will find numerous construction conclusions related to polynomial composites.


Symmetry and Group in Attribute Object Compositions. Attributes and objects can compose diverse compositions. To model the compositional nature of these general concepts, it is a good choice to learn them through transformations, such as coupling and decoupling. However, complex transformations need to satisfy specific principles to guarantee the rationality. In this paper, we first propose a previously ignored principle of attribute object transformation Symmetry. For example, coupling peeled apple with attribute peeled should result in peeled apple, and decoupling peeled from apple should still output apple. Incorporating the symmetry principle, a transformation framework inspired by group theory is built, i.e. SymNet. SymNet consists of two modules, Coupling Network and Decoupling Network. With the group axioms and symmetry property as objectives, we adopt Deep Neural Networks to implement SymNet and train it in an end to end paradigm. Moreover, we propose a Relative Moving Distance (RMD) based recognition method to utilize the attribute change instead of the attribute pattern itself to classify attributes. Our symmetry learning can be utilized for the Compositional Zero Shot Learning task and outperforms the state of the art on widely used benchmarks. Code is available at https github.com DirtyHarryLYL SymNet.


Unsupervised Adaptation for Synthetic to Real Handwritten Word Recognition. Handwritten Text Recognition (HTR) is still a challenging problem because it must deal with two important difficulties the variability among writing styles, and the scarcity of labelled data. To alleviate such problems, synthetic data generation and data augmentation are typically used to train HTR systems. However, training with such data produces encouraging but still inaccurate transcriptions in real words. In this paper, we propose an unsupervised writer adaptation approach that is able to automatically adjust a generic handwritten word recognizer, fully trained with synthetic fonts, towards a new incoming writer. We have experimentally validated our proposal using five different datasets, covering several challenges (i) the document source modern and historic samples, which may involve paper degradation problems (ii) different handwriting styles single and multiple writer collections and (iii) language, which involves different character combinations. Across these challenging collections, we show that our system is able to maintain its performance, thus, it provides a practical and generic approach to deal with new document collections without requiring any expensive and tedious manual annotation step.


Bohr radius for certain classes of starlike and convex univalent functions. We say that a class mathcal F consisting of analytic functions f(z) sum n 0 infty a n z n in the unit disk mathbb D z in mathbb C z 1 satisfies a Bohr phenomenon if there exists r f in (0,1) such that sum n 1 infty a n z n leq d(f(0), partial f( mathbb D )) for every function f in mathcal F and z r leq r f , where d is the Euclidean distance. The largest radius r f is the Bohr radius for the class mathcal F . In this paper, we establish the Bohr phenomenon for the classes consisting of Ma Minda type starlike functions and Ma Minda type convex functions as well as for the class of starlike functions with respect to a boundary point.


Hybrid Cryptocurrency Pump and Dump Detection. Increasingly growing Cryptocurrency markets have become a hive for scammers to run pump and dump schemes which is considered as an anomalous activity in exchange markets. Anomaly detection in time series is challenging since existing methods are not sufficient to detect the anomalies in all contexts. In this paper, we propose a novel hybrid pump and dump detection method based on distance and density metrics. First, we propose a novel automatic thresh old setting method for distance based anomaly detection. Second, we propose a novel metric called density score for density based anomaly detection. Finally, we exploit the combination of density and distance metrics successfully as a hybrid approach. Our experiments show that, the proposed hybrid approach is reliable to detect the majority of alleged P D activities in top ranked exchange pairs by outperforming both density based and distance based methods.


Deep Phase Correlation for End to End Heterogeneous Sensor Measurements Matching. The crucial step for localization is to match the current observation to the map. When the two sensor modalities are significantly different, matching becomes challenging. In this paper, we present an end to end deep phase correlation network (DPCN) to match heterogeneous sensor measurements. In DPCN, the primary component is a differentiable correlation based estimator that back propagates the pose error to learnable feature extractors, which addresses the problem that there are no direct common features for supervision. Also, it eliminates the exhaustive evaluation in some previous methods, improving efficiency. With the interpretable modeling, the network is light weighted and promising for better generalization. We evaluate the system on both the simulation data and Aero Ground Dataset which consists of heterogeneous sensor images and aerial images acquired by satellites or aerial robots. The results show that our method is able to match the heterogeneous sensor measurements, outperforming the comparative traditional phase correlation and other learning based methods. Code is available at https github.com jessychen1016 DPCN .


Nonlinear graphene metasurfaces with advanced electromagnetic functionalities. The optical nonlinear effects can provide different advanced electromagnetic functionalities, such as wave mixing and phase conjugation, which can be applied in a variety of new applications. However, these effects usually suffer from extremely weak nature and require high input intensity values in order to be excited. Interestingly, the large third order nonlinearity of graphene, along with the strong field confinement stemming from its plasmonic behavior, can be utilized to enhance several relative weak nonlinear effects at infrared (IR) and terahertz (THz) frequencies. Towards this goal, various nonlinear graphene metasurfaces are presented in this work to effectively increase the efficiency of different optical nonlinear effects and, as a result, decrease the required input intensity needed to be excited. In particular, we will show that the efficiency of four wave mixing (FWM) can be improved by several orders of magnitude by using a nonlinear metasurface composed of patterned graphene ribbons, a dielectric interlayer, and a metallic reflector acting as substrate. We also demonstrate that the self phase modulation (SPM) nonlinear process can be enhanced by using an alternative graphene nonlinear metasurface, operating as coherent perfect absorber, leading to a pronounced shift in the resonant frequency of the coherent perfect absorption (CPA) effect of this structure as the input intensity of the impinging incident waves is increased. This property will provide a robust mechanism to dynamically tune and switch the CPA process. Furthermore, it will be presented that strong negative reflection and refraction can be achieved by a single graphene monolayer film due to the enhancement of another nonlinear process, known as phase conjugation. This nonlinear process is envisioned to be used in the construction of a perfect imaging device with subwavelength resolution.


Modifying Memories in Transformer Models. Large Transformer models have achieved impressive performance in many natural language tasks. In particular, Transformer based language models have been shown to have great capabilities in encoding factual knowledge in their vast amount of parameters. While the tasks of improving the memorization and generalization of Transformers have been widely studied, it is not well known how to make transformers forget specific old facts and memorize new ones. In this paper, we propose a new task of emph explicitly modifying specific factual knowledge in Transformer models while ensuring the model performance does not degrade on the unmodified facts . This task is useful in many scenarios, such as updating stale knowledge, protecting privacy, and eliminating unintended biases stored in the models. We benchmarked several approaches that provide natural baseline performances on this task. This leads to the discovery of key components of a Transformer model that are especially effective for knowledge modifications. The work also provides insights into the role that different training phases (such as pretraining and fine tuning) play towards memorization and knowledge modification.


Solving A Class of Mean Field LQG Problems. In this work, we study a class of mean field linear quadratic Gaussian (LQG) problems. Under suitable conditions, explicit solutions of the distribution dependent optimal control problems are obtained. Riccati systems are derived by directly solving the associated master equations. Some extensions on controls with partial observations are also considered.


Variational Prototype Replays for Continual Learning. Continual learning refers to the ability to acquire and transfer knowledge without catastrophically forgetting what was previously learned. In this work, we consider emph few shot continual learning in classification tasks, and we propose a novel method, Variational Prototype Replays, that efficiently consolidates and recalls previous knowledge to avoid catastrophic forgetting. In each classification task, our method learns a set of variational prototypes with their means and variances, where embedding of the samples from the same class can be represented in a prototypical distribution and class representative prototypes are separated apart. To alleviate catastrophic forgetting, our method replays one sample per class from previous tasks, and correspondingly matches newly predicted embeddings to their nearest class representative prototypes stored from previous tasks. Compared with recent continual learning approaches, our method can readily adapt to new tasks with more classes without requiring the addition of new units. Furthermore, our method is more memory efficient since only class representative prototypes with their means and variances, as well as only one sample per class from previous tasks need to be stored. Without tampering with the performance on initial tasks, our method learns novel concepts given a few training examples of each class in new tasks.


Canonical translation surfaces for computing Veech groups. For each stratum of the space of translation surfaces, we introduce an infinite translation surface containing in an appropriate manner a copy of every translation surface of the stratum. Given a translation surface (X, omega) in the stratum, a matrix is in its Veech group mathrm SL (X, omega) if and only if an associated affine automorphism of the infinite surface sends each of a finite set, the marked" em Voronoi staples , arising from orientation paired segments appropriately perpendicular to Voronoi 1 cells, to another pair of orientation paired marked" segments. We prove a result of independent interest. For each real a ge sqrt 2 there is an explicit hyperbolic ball such that for any Fuchsian group trivially stabilizing i , the Dirichlet domain centered at i of the group already agrees within the ball with the intersection of the hyperbolic half planes determined by the group elements whose Frobenius norm is at most a . When mathrm SL (X, omega) is a lattice we use this to give a condition guaranteeing that the full group mathrm SL (X, omega) has been computed. Together, these results give rise to a new algorithm for computing Veech groups.


Approximate Weighted CR Coded Matrix Multiplication. One of the most common, but at the same time expensive operations in linear algebra, is multiplying two matrices A and B . With the rapid development of machine learning and increases in data volume, performing fast matrix intensive multiplications has become a major hurdle. Two different approaches to overcoming this issue are, 1) to approximate the product and 2) to perform the multiplication distributively. A textit CR multiplication is an approximation where columns and rows of A and B are respectively sampled with replacement. In the distributed setting, multiple workers perform matrix multiplication subtasks in parallel. Some of the workers may be stragglers, meaning they do not complete their task in time. We present a novel textit approximate weighted CR coded matrix multiplication scheme, that achieves improved performance for distributed matrix multiplication.


EVA An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation. Fully Homomorphic Encryption (FHE) offers powerful capabilities by enabling secure offloading of both storage and computation, and recent innovations in schemes and implementations have made it all the more attractive. At the same time, FHE is notoriously hard to use with a very constrained programming model, a very unusual performance profile, and many cryptographic constraints. Existing compilers for FHE either target simpler but less efficient FHE schemes or only support specific domains where they can rely on expert provided high level runtimes to hide complications. This paper presents a new FHE language called Encrypted Vector Arithmetic (EVA), which includes an optimizing compiler that generates correct and secure FHE programs, while hiding all the complexities of the target FHE scheme. Bolstered by our optimizing compiler, programmers can develop efficient general purpose FHE applications directly in EVA. For example, we have developed image processing applications using EVA, with a very few lines of code. EVA is designed to also work as an intermediate representation that can be a target for compiling higher level domain specific languages. To demonstrate this, we have re targeted CHET, an existing domain specific compiler for neural network inference, onto EVA. Due to the novel optimizations in EVA, its programs are on average 5.3x faster than those generated by CHET. We believe that EVA would enable a wider adoption of FHE by making it easier to develop FHE applications and domain specific FHE compilers.


Protocols for Checking Compromised Credentials. To prevent credential stuffing attacks, industry best practice now proactively checks if user credentials are present in known data breaches. Recently, some web services, such as HaveIBeenPwned (HIBP) and Google Password Checkup (GPC), have started providing APIs to check for breached passwords. We refer to such services as compromised credential checking (C3) services. We give the first formal description of C3 services, detailing different settings and operational requirements, and we give relevant threat models. One key security requirement is the secrecy of a user's passwords that are being checked. Current widely deployed C3 services have the user share a small prefix of a hash computed over the user's password. We provide a framework for empirically analyzing the leakage of such protocols, showing that in some contexts knowing the hash prefixes leads to a 12x increase in the efficacy of remote guessing attacks. We propose two new protocols that provide stronger protection for users' passwords, implement them, and show experimentally that they remain practical to deploy.


Challenges of AI in Wireless Networks for IoT. The Internet of Things (IoT), hailed as the enabler of the next industrial revolution, will require ubiquitous connectivity, context aware and dynamic service mobility, and extreme security through the wireless network infrastructure. Artificial Intelligence (AI), thus, will play a major role in the underlying network infrastructure. However, a number of challenges will surface while using the concepts, tools and algorithms of AI in wireless networks used by IoT. In this article, the main challenges in using AI in the wireless network infrastructure that facilitate end to end IoT communication are highlighted with potential generalized solution and future research directions.


Weil Petersson geodesics on the modular surface. We consider the Weil Petersson (WP) metric on the modular surface. We lift WP geodesics to the universal cover of the modular surface and analyse geometric properties of the lifts as paths in the hyperbolic metric on the universal cover. For any pair of distinct points in the thick part of the universal cover, we prove that the WP and hyperbolic geodesic segments that connect the pair, fellow travel in the thick part and all deviations between these segments arise during cusp excursions. Furthermore, we give a quantitative analysis of the deviation during an excursion. We leverage the fellow traveling to derive a correspondence between recurrent WP and hyperbolic geodesic rays from a base point. We show that the correspondence can be promoted to a homeomorphism on the circle of directions. By analysing cuspidal winding of a typical WP geodesic ray, we show that the homeomorphism pushes forward a Lebesgue measure on the circle to a singular measure. In terms of continued fraction coefficients, the singularity boils down to a comparison that we prove, namely, the average coefficient is bounded along a typical WP ray but unbounded along a typical hyperbolic ray.


The Projective Bundle Formula for Grothendieck Witt spectra. Grothendieck Witt spectra represent higher Grothendieck Witt groups and higher Hermitian K theory in particular. A description of the Grothendieck Witt spectrum of a finite dimensional projective bundle mathbb P ( mathcal E ) over a base scheme X is given in terms of the Grothendieck Witt spectra of the base, using the dg category of strictly perfect complexes, provided that X is a scheme over text Spec mathbb Z 1 2 and satisfies the resolution property, e.g. if X has an ample family of line bundles.


A Systemic IoT Fog Cloud Architecture for Big Data Analytics and Cyber Security Systems A Review of Fog Computing. Abstract With the rapid growth of the Internet of Things (IoT), current Cloud systems face various drawbacks such as lack of mobility support, location awareness, geo distribution, high latency, as well as cyber threats. Fog Edge computing has been proposed for addressing some of the drawbacks, as it enables computing resources at the network's edges and it locally offers big data analytics rather than transmitting them to the Cloud. The Fog is defined as a Cloud like system having similar functions, including software , platform and infrastructure as services. The deployment of Fog applications faces various security issues related to virtualisation, network monitoring, data protection and attack detection. This paper proposes a systemic IoT Fog Cloud architecture that clarifies the interactions between the three layers of IoT, Fog and Cloud for effectively implementing big data analytics and cyber security applications. It also reviews security challenges, solutions and future research directions in the architecture.


Adversarial learning for revenue maximizing auctions. We introduce a new numerical framework to learn optimal bidding strategies in repeated auctions when the seller uses past bids to optimize her mechanism. Crucially, we do not assume that the bidders know what optimization mechanism is used by the seller. We recover essentially all state of the art analytical results for the single item framework derived previously in the setup where the bidder knows the optimization mechanism used by the seller and extend our approach to multi item settings, in which no optimal shading strategies were previously known. Our approach yields substantial increases in bidder utility in all settings. Our approach also has a strong potential for practical usage since it provides a simple way to optimize bidding strategies on modern marketplaces where buyers face unknown data driven mechanisms.


Overlapping Domain Decomposition Methods for Ptychographic Imaging. In ptychography experiments, redundant scanning is usually required to guarantee the stable recovery, such that a huge amount of frames are generated, and thus it poses a great demand of parallel computing in order to solve this large scale inverse problem. In this paper, we propose the overlapping Domain Decomposition Methods(DDMs) to solve the nonconvex optimization problem in ptychographic imaging. They decouple the problem defined on the whole domain into subproblems only defined on the subdomains with synchronizing information in the overlapping regions of these subdomains,thus leading to highly parallel algorithms with good load balance. More specifically, for the nonblind recovery (with known probe in advance), by enforcing the continuity of the overlapping regions for the image (sample), the nonlinear optimization model is established based on a novel smooth truncated amplitude Gaussian metric (ST AGM). Such metric allows for fast calculation of the proximal mapping with closed form, and meanwhile provides the possibility for the convergence guarantee of the first order nonconvex optimization algorithm due to its Lipschitz smoothness. Then the Alternating Direction Method of Multipliers (ADMM) is utilized to generate an efficient Overlapping Domain Decomposition based Ptychography algorithm(OD2P) for the two subdomain domain decomposition (DD), where all subproblems can be computed with close form solutions.Due to the Lipschitz continuity for the gradient of the objective function with ST AGM, the convergence of the proposed OD2P is derived under mild conditions. Moreover, it is extended to more general case including multiple subdomain DD and blind recovery. Numerical experiments are further conducted to show the performance of proposed algorithms, demonstrating good convergence speed and robustness to the noise.


On the complexity of random polytopes. There are (at least) two reasons to study random polytopes. The first is to understand the combinatorics and geometry of random polytopes especially as compared to other classes of polytopes, and the second is to analyze average case complexity for algorithms which take polytopal data as input. However, establishing results in either of these directions often requires quite technical methods. Here we seek to give an elementary introduction to random polytopes avoiding these technicalities. In particular we explore the general paradigm that polytopes obtained from the convex hull of random points on a sphere have low complexity.


Finding nonlinear system equations and complex network structures from data a sparse optimization approach. In applications of nonlinear and complex dynamical systems, a common situation is that the system can be measured but its structure and the detailed rules of dynamical evolution are unknown. The inverse problem is to determine the system equations and structure based solely on measured time series. Recently, methods based on sparse optimization have been developed. For example, the principle of exploiting sparse optimization such as compressive sensing to find the equations of nonlinear dynamical systems from data was articulated in 2011 by the Nonlinear Dynamics Group at Arizona State University. This article presents a brief review of the recent progress in this area. The basic idea is to expand the equations governing the dynamical evolution of the system into a power series or a Fourier series of a finite number of terms and then to determine the vector of the expansion coefficients based solely on data through sparse optimization. Examples discussed here include discovering the equations of stationary or nonstationary chaotic systems to enable prediction of dynamical events such as critical transition and system collapse, inferring the full topology of complex networks of dynamical oscillators and social networks hosting evolutionary game dynamics, and identifying partial differential equations for spatiotemporal dynamical systems. Situations where sparse optimization is effective and those in which the method fails are discussed. Comparisons with the traditional method of delay coordinate embedding in nonlinear time series analysis are given and the recent development of model free, data driven prediction framework based on machine learning is briefly introduced.


Sound field radiated by a rod. We study the acoustical intensity field radiated by a thin cylindrical rod vibrating in its lowest compressional mode. Due to the cylindrical symmetry, the emitted field is measured in a radial plane of the rod which is sufficient to reconstruct the full three dimensional field. Starting from the one dimensional approximation of the excited compressional mode, we develop a simplified theoretical wave equation which allows for a semi analytical solution for the emitted wave field. The agreement between the experimental results and the semi analytical solution is eloquent.


On Valency Problems of Saxl Graphs. Let G be a permutation group on a set Omega and recall that a base for G is a subset of Omega such that its pointwise stabiliser is trivial. In a recent paper, Burness and Giudici introduced the Saxl graph of G , denoted Sigma(G) , with vertex set Omega and two vertices adjacent if they form a base. If G is transitive, then Sigma(G) is vertex transitive and it is natural to consider its valency (which we refer to as the valency of G ). In this paper we present a general method for computing the valency of any finite transitive group and we use it to calculate the exact valency of every primitive group with stabiliser a Frobenius group with cyclic kernel. As an application, we calculate the valency of every almost simple primitive group with an alternating socle and soluble stabiliser and we use this to extend results of Burness and Giudici on almost simple primitive groups with prime power or odd valency.


Approximation by piecewise regular maps. A real algebraic variety W of dimension m is said to be uniformly rational if each of its points has a Zariski open neighborhood which is biregularly isomorphic to a Zariski open subset of R m. Let l be any nonnegative integer. We prove that every map of class C l from a compact subset of a real algebraic variety into a uniformly rational real algebraic variety can be approximated in the C l topology by piecewise regular maps of class C k, where k is an arbitrary integer greater than or equal to l. Next we derive consequences regarding algebraization of topological vector bundles.


Pseudorandom hypergraph matchings. A celebrated theorem of Pippenger states that any almost regular hypergraph with small codegrees has an almost perfect matching. We show that one can find such an almost perfect matching which is pseudorandom', meaning that, for instance, the matching contains as many edges from a given set of edges as predicted by a heuristic argument.


IEO Intelligent Evolutionary Optimisation for Hyperparameter Tuning. Hyperparameter optimisation is a crucial process in searching the optimal machine learning model. The efficiency of finding the optimal hyperparameter settings has been a big concern in recent researches since the optimisation process could be time consuming, especially when the objective functions are highly expensive to evaluate. In this paper, we introduce an intelligent evolutionary optimisation algorithm which applies machine learning technique to the traditional evolutionary algorithm to accelerate the overall optimisation process of tuning machine learning models in classification problems. We demonstrate our Intelligent Evolutionary Optimisation (IEO)in a series of controlled experiments, comparing with traditional evolutionary optimisation in hyperparameter tuning. The empirical study shows that our approach accelerates the optimisation speed by 30.40 on average and up to 77.06 in the best scenarios.


What should 6G be?. The standardization of fifth generation (5G) communications has been completed, and the 5G network should be commercially launched in 2020. As a result, the visioning and planning of sixth generation (6G) communications has begun, with an aim to provide communication services for the future demands of the 2030s. Here we provide a vision for 6G that could serve a research guide in the post 5G era. We suggest that human centric mobile communications will still be the most important application of 6G and the 6G network should be human centric. Thus, high security, secrecy, and privacy should be key features of 6G and should be given particular attention by the wireless research community. To support this vision, we provide a systematic framework in which potential application scenarios of 6G are anticipated and subdivided. We subsequently define key potential features of 6G and discuss the required communication technologies. We also explore the issues beyond communication technologies that could hamper research and deployment of 6G.


SemEval 2015 Task 10 Sentiment Analysis in Twitter. In this paper, we describe the 2015 iteration of the SemEval shared task on Sentiment Analysis in Twitter. This was the most popular sentiment analysis shared task to date with more than 40 teams participating in each of the last three years. This year's shared task competition consisted of five sentiment prediction subtasks. Two were reruns from previous years (A) sentiment expressed by a phrase in the context of a tweet, and (B) overall sentiment of a tweet. We further included three new subtasks asking to predict (C) the sentiment towards a topic in a single tweet, (D) the overall sentiment towards a topic in a set of tweets, and (E) the degree of prior polarity of a phrase.


Strong metric dimension of generalized Jahangir graph. Let G be a simple and connected graph with vertex set V(G) . A vertex w in V(G) strongly resolves two vertices u,v in V(G) if v belongs to a shortest u w path or u belongs to a shortest v w path. A set W subseteq V(G) is a strong resolving set for G if every pair of vertices of G is strongly resolved by some vertex of W . A strong metric basis of G is a strong resolving set for G with minimum cardinality. The strong metric dimension of G , denoted by sdim(G) , is the cardinality of a strong metric basis of G . In this paper we compute the strong metric dimension of generalized Jahangir graph J(n,m) , where m geq 3 and n geq 2 .


Orthogonal polynomial projection error in Dunkl Sobolev norms in the ball. We study approximation properties of weighted mathrm L 2 orthogonal projectors onto spaces of polynomials of bounded degree in the Euclidean unit ball, where the weight is of the reflection invariant form (1 lVert x rVert 2) alpha prod i 1 d lvert x i rvert gamma i , alpha, gamma 1, dots, gamma d 1 . Said properties are measured in Dunkl Sobolev type norms in which the same weighted mathrm L 2 norm is used to control all the involved differential difference Dunkl operators, such as those appearing in the Sturm Liouville characterization of similarly weighted mathrm L 2 orthogonal polynomials, as opposed to the partial derivatives of Sobolev type norms. The method of proof relies on spaces instead of bases of orthogonal polynomials, which greatly simplifies the exposition.


Characterization of Analytic Wavelet Transforms and a New Phaseless Reconstruction Algorithm. We obtain a characterization of all wavelets leading to analytic wavelet transforms (WT). The characterization is obtained as a by product of the theoretical foundations of a new method for wavelet phase reconstruction from magnitude only coefficients. The cornerstone of our analysis is an expression of the partial derivatives of the continuous WT, which results in phase magnitude relationships similar to the short time Fourier transform (STFT) setting and valid for the generalized family of Cauchy wavelets. We show that the existence of such relations is equivalent to analyticity of the WT up to a multiplicative weight and a scaling of the mother wavelet. The implementation of the new phaseless reconstruction method is considered in detail and compared to previous methods. It is shown that the proposed method provides significant performance gains and a great flexibility regarding accuracy versus complexity. Additionally, we discuss the relation between scalogram reassignment operators and the wavelet transform phase gradient and present an observation on the phase around zeros of the WT.


Constraining the vertical distribution of coastal dust aerosol using OCO 2 O2 A band measurements. Quantifying the vertical distribution of atmospheric aerosols is crucial for estimating their impact on the Earth energy budget and climate, improving forecast of air pollution in cities, and reducing biases in the retrieval of greenhouse gases (GHGs) from space. However, to date, passive remote sensing measurements have provided limited information about aerosol extinction profiles. In this study, we propose the use of a spectral sorting approach to constrain the aerosol vertical structure using spectra of reflected sunlight absorption within the molecular oxygen (O2) A band collected by the Orbiting Carbon Observatory 2 (OCO 2). The effectiveness of the approach is evaluated using spectra acquired over the western Sahara coast by comparing the aerosol profile retrievals with lidar measurements from the Cloud Aerosol Lidar and Infrared Pathfinder Satellite Observation (CALIPSO) Cloud Aerosol Lidar with Orthogonal Polarization (CALIOP). Using a radiative transfer model to simulate OCO 2 measurements, we found that high resolution O2 A band measurements have high sensitivity to aerosol optical depth (AOD) and aerosol layer height (ALH). Retrieved estimates of AOD and ALH based on a look up table technique show good agreement with CALIPSO measurements, with correlation coefficients of 0.65 and 0.53, respectively. The strength of the proposed spectral sorting technique lies in its ability to identify spectral channels with high sensitivity to AOD and ALH and extract the associated information from the observed radiance in a straightforward manner. The proposed approach has the potential to enable future passive remote sensing missions to map the aerosol vertical distribution on a global scale.


Flexibility of Ga containing Type II superlattice for long wavelength infrared detection. In this paper, the flexibility of long wavelength Type II InAs GaSb superlattice (Ga containing SL) is explored and investigated from the growth to the device performance. First, several samples with different SL period composition and thickness are grown by molecular beam epitaxy. Nearly strain compensated SLs on GaSb exhibiting an energy band gap between 105 to 169 meV at 77K are obtained. Second, from electronic band structure calculation, material parameters are extracted and compared for the different grown SLs. Finally, two p i n device structures with different SL periods are grown and their electrical performance compared. Our investigation shows that an alternative SL design could potentially be used to improve the device performance of diffusion limited devices for long wavelength infrared detection.


Refined Gate A Simple and Effective Gating Mechanism for Recurrent Units. Recurrent neural network (RNN) has been widely studied in sequence learning tasks, while the mainstream models (e.g., LSTM and GRU) rely on the gating mechanism (in control of how information flows between hidden states). However, the vanilla gates in RNN (e.g., the input gate in LSTM) suffer from the problem of gate undertraining, which can be caused by various factors, such as the saturating activation functions, the gate layouts (e.g., the gate number and gating functions), or even the suboptimal memory state etc.. Those may result in failures of learning gating switch roles and thus the weak performance. In this paper, we propose a new gating mechanism within general gated recurrent neural networks to handle this issue. Specifically, the proposed gates directly short connect the extracted input features to the outputs of vanilla gates, denoted as refined gates. The refining mechanism allows enhancing gradient back propagation as well as extending the gating activation scope, which can guide RNN to reach possibly deeper minima. We verify the proposed gating mechanism on three popular types of gated RNNs including LSTM, GRU and MGU. Extensive experiments on 3 synthetic tasks, 3 language modeling tasks and 5 scene text recognition benchmarks demonstrate the effectiveness of our method.


Absolute ethanol intake drives ethanol preference in Drosophila. Factors that mediate ethanol preference in Drosophila melanogaster are not well understood. A major confound has been the use of diverse methods to estimate ethanol consumption. We measured fly consumptive ethanol preference on base diets varying in nutrients, taste, and ethanol concentration. Both sexes showed ethanol preference that was abolished on high nutrient concentration diets. Additionally, manipulating total food intake without altering the nutritive value of the base diet or the ethanol concentration was sufficient to evoke or eliminate ethanol preference. Absolute ethanol intake and food volume consumed were stronger predictors of ethanol preference than caloric intake or the dietary caloric content. Our findings suggest that the effect of the base diet on ethanol preference is largely mediated by total consumption associated with the delivery medium, which ultimately determines the level of ethanol intake. We speculate that a physiologically relevant threshold for ethanol intake is essential for preferential ethanol consumption.


cs.CE cs.NA math.NA physics.comp-ph physics.data-an physics.flu-dyn

New stable method to solve heat conduction problems in extremely large systems. We present a new explicit and stable numerical algorithm to solve the homogeneous heat equation. We illustrate the performance of the new method in the cases of two 2D systems with highly inhomogeneous random parameters. Spatial discretization of these problems results in huge and stiff ordinary differential equation systems, which can be solved by our novel method faster than by explicit or the commonly used implicit methods.


Another look at Zagier's formula for multiple zeta values involving Hoffman elements. In this paper, we give an elementary account into Zagier's formula for multiple zeta values involving Hoffman elements. Our approach allows us to obtain direct proof in a special case via rational zeta series involving the coefficient zeta(2n) . This formula plays an important role in proving Hoffman's conjecture which asserts that every multiple zeta value of weight k can be expressed as a mathbb Q linear combinations of multiple zeta values of the same weight involving 2 's and 3 's. Also, using a similar hypergeometric argument via rational zeta series, we produce a new Zagier type formula for the multiple special Hurwitz zeta values.


Solution Bounds, Stability and Estimation of Trapping Stability Regions of Some Nonlinear Time Varying Systems. Estimation of solution norms and stability for time dependent nonlinear systems is ubiquitous in numerous engineering, natural science and control problems. Yet, practically valuable results are rare in this area. This paper develops a novel approach, which bounds the solution norms, derives the corresponding stability criteria, and estimates the trapping stability regions for some nonautonomous and nonlinear systems, which arise in various application domains. Our inferences rest on deriving a scalar differential inequality for the norms of solutions to the initial systems. Utility of the Lipschitz inequality linearizes the associated auxiliary differential equation and yields both the upper bounds for the norms of solutions and the relevant stability criteria. To refine these inferences, we introduce a nonlinear extension of the Lipschitz inequality, which improves the developed bounds and allows estimation of the stability basins and trapping regions for the corresponding systems. Finally, we confirm the theoretical results in representative simulations.


Intersection graph of maximal stars. A biclique of a graph G is an induced complete bipartite subgraph of G such that neither part is empty. A star is a biclique of G such that one part has exactly one vertex. The star graph of G is the intersection graph of the maximal stars of G . A graph H is star critical if its star graph is different from the star graph of any of its proper induced subgraphs. We begin by presenting a bound on the size of star critical pre images by a quadratic function on the number of vertices of the star graph, then proceed to describe a Krausz type characterization for this graph class we combine these results to show membership of the recognition problem in textsf NP . We also present some properties of star graphs. In particular, we show that they are biconnected, that every edge belongs to at least one triangle, characterize the structures the pre image must have in order to generate degree two vertices, and bound the diameter of the star graph with respect to the diameter of its pre image. Finally, we prove a monotonicity theorem, which we apply to list every star graph on at most eight vertices.


Logarithmic correction to resistance. We study the trace of the incipient infinite oriented branching random walk in mathbb Z d times mathbb Z when the dimension is d 6 . Under suitable moment assumptions, we show that the electrical resistance between the root and level n is O(n log xi n ) for a xi 0 that does not depend on details of the model.


Wreath Products of Distributive Forest Algebras. It is an open problem whether definability in Propositional Dynamic Logic (PDL) on forests is decidable. Based on an algebraic characterization by Boja 'nczyk, et. al.,(2012) in terms of forest algebras, Straubing (2013) described an approach to PDL based on a k fold iterated distributive law. A proof that all languages satisfying such a k fold iterated distributive law are in PDL would settle decidability of PDL. We solve this problem in the case k 2 All languages recognized by forest algebras satisfying a 2 fold iterated distributive law are in PDL. Furthermore, we show that this class is decidable. This provides a novel nontrivial decidable subclass of PDL, and demonstrates the viability of the proposed approach to deciding PDL in general.


Sound Natural Content Rephrasing in Dialog Systems. We introduce a new task of rephrasing for a more natural virtual assistant. Currently, virtual assistants work in the paradigm of intent slot tagging and the slot values are directly passed as is to the execution engine. However, this setup fails in some scenarios such as messaging when the query given by the user needs to be changed before repeating it or sending it to another user. For example, for queries like 'ask my wife if she can pick up the kids' or 'remind me to take my pills', we need to rephrase the content to 'can you pick up the kids' and 'take your pills' In this paper, we study the problem of rephrasing with messaging as a use case and release a dataset of 3000 pairs of original query and rephrased query. We show that BART, a pre trained transformers based masked language model with auto regressive decoding, is a strong baseline for the task, and show improvements by adding a copy pointer and copy loss to it. We analyze different tradeoffs of BART based and LSTM based seq2seq models, and propose a distilled LSTM based seq2seq as the best practical model.


Large automorphism groups of ordinary curves of even genus in odd characteristic. Let mathcal X be a (projective, non singular, geometrically irreducible) curve of even genus g( mathcal X ) geq 2 defined over an algebraically closed field K of odd characteristic p . If the p rank gamma( mathcal X ) equals g( mathcal X ) , then mathcal X is emph ordinary . In this paper, we deal with emph large automorphism groups G of ordinary curves of even genus. We prove that G 821.37g( mathcal X ) 7 4 . The proof of our result is based on the classification of automorphism groups of curves of even genus in positive characteristic, see cite giulietti korchmaros 2017 . According to this classification, for the exceptional cases rm Aut ( mathcal X ) cong rm Alt 7 and rm Aut ( mathcal X ) cong rm M 11 we show that the classical Hurwitz bound rm Aut ( mathcal X ) 84(g( mathcal X ) 1) holds, unless p 3 , g( mathcal X ) 26 and rm Aut ( mathcal X ) cong rm M 11 an example for the latter case being given by the modular curve X(11) in characteristic 3 .


Strongly coupled Yukawa trilayer liquid Structure and dynamics. The equilibrium structure and the dispersion relations of collective excitations in trilayer Yukawa systems in the strongly coupled liquid regime are examined. The equilibrium correlations reveal a variety of structures in the liquid phase, reminiscent of the corresponding structures in the solid phase. At small layer separation substitutional disorder becomes the governing feature. Theoretical dispersion relations are obtained by applying the Quasi Localised Charge Approximation (QLCA) formalism, while numerical data are generated by micro canonical molecular dynamics (MD) simulations. The dispersions and polarizations of the collective excitations obtained through both of these methods are compared and discussed in detail. We find that the QLCA method is, in general, very satisfactory, but that there are phenomena not covered by the QLCA. In particular, by analyzing the dynamical longitudinal and transverse current fluctuation spectra we discover the existence of a novel structure, not related to the collective mode spectra. This also provides a new insight into the long standing problem of the gap frequency discrepancy, observed in strongly coupled layered systems in earlier studies.


Cepstral Analysis for Baseline Insensitive Absorption Spectroscopy Using Light Sources with Pronounced Intensity Variations. This manuscript presents a data processing technique which improves the accuracy and precision of absorption spectroscopy measurements by isolating the molecular absorbance signal from errors in the baseline light intensity (Io) using cepstral analysis. Recently, cepstral analysis has been used with traditional absorption spectrometers to create a modified form of the time domain molecular free induction decay (m FID) signal which can be analyzed independently from Io. However, independent analysis of the molecular signature is not possible when the baseline intensity and molecular response do not separate well in the time domain, which is typical when using injection current tuned lasers (e.g., quantum cascade lasers) and other light sources with pronounced intensity tuning. In contrast, the method presented here is applicable to all light sources since it determines gas properties by least squares fitting a simulated m FID signal to the measured m FID signal in the time domain. This method is insensitive to errors in the estimated Io which vary slowly with optical frequency and, therefore, decay rapidly in the time domain. The benefits provided by this method are demonstrated via scanned wavelength direct absorption measurements acquired with a distributed feedback (DFB) quantum cascade laser (QCL). The wavelength of a DFB QCL was scanned across CO's P(0,20) and P(1,14) absorption transitions at 1 kHz to measure the gas temperature and concentration of CO. Measurements were acquired in a gas cell and in an ethylene air flame at 1 atm. The measured spectra were processed using the new m FID based method and two traditional methods which rely on inferring the baseline error within the spectral fitting routine. The m FID based method demonstrated superior accuracy in all cases and a measurement precision that was 1.5 to 10 times smaller than that provided using traditional methods.


XNAP Making LSTM based Next Activity Predictions Explainable by Using LRP. Predictive business process monitoring (PBPM) is a class of techniques designed to predict behaviour, such as next activities, in running traces. PBPM techniques aim to improve process performance by providing predictions to process analysts, supporting them in their decision making. However, the PBPM techniques limited predictive quality was considered as the essential obstacle for establishing such techniques in practice. With the use of deep neural networks (DNNs), the techniques predictive quality could be improved for tasks like the next activity prediction. While DNNs achieve a promising predictive quality, they still lack comprehensibility due to their hierarchical approach of learning representations. Nevertheless, process analysts need to comprehend the cause of a prediction to identify intervention mechanisms that might affect the decision making to secure process performance. In this paper, we propose XNAP, the first explainable, DNN based PBPM technique for the next activity prediction. XNAP integrates a layer wise relevance propagation method from the field of explainable artificial intelligence to make predictions of a long short term memory DNN explainable by providing relevance values for activities. We show the benefit of our approach through two real life event logs.


An Efficient Integration of Disentangled Attended Expression and Identity FeaturesFor Facial Expression Transfer andSynthesis. In this paper, we present an Attention based Identity Preserving Generative Adversarial Network (AIP GAN) to overcome the identity leakage problem from a source image to a generated face image, an issue that is encountered in a cross subject facial expression transfer and synthesis process. Our key insight is that the identity preserving network should be able to disentangle and compose shape, appearance, and expression information for efficient facial expression transfer and synthesis. Specifically, the expression encoder of our AIP GAN disentangles the expression information from the input source image by predicting its facial landmarks using our supervised spatial and channel wise attention module. Similarly, the disentangled expression agnostic identity features are extracted from the input target image by inferring its combined intrinsic shape and appearance image employing our self supervised spatial and channel wise attention mod ule. To leverage the expression and identity information encoded by the intermediate layers of both of our encoders, we combine these features with the features learned by the intermediate layers of our decoder using a cross encoder bilinear pooling operation. Experimental results show the promising performance of our AIP GAN based technique.


On Leveraging the Visual Modality for Neural Machine Translation. Leveraging the visual modality effectively for Neural Machine Translation (NMT) remains an open problem in computational linguistics. Recently, Caglayan et al. posit that the observed gains are limited mainly due to the very simple, short, repetitive sentences of the Multi30k dataset (the only multimodal MT dataset available at the time), which renders the source text sufficient for context. In this work, we further investigate this hypothesis on a new large scale multimodal Machine Translation (MMT) dataset, How2, which has 1.57 times longer mean sentence length than Multi30k and no repetition. We propose and evaluate three novel fusion techniques, each of which is designed to ensure the utilization of visual context at different stages of the Sequence to Sequence transduction pipeline, even under full linguistic context. However, we still obtain only marginal gains under full linguistic context and posit that visual embeddings extracted from deep vision models (ResNet for Multi30k, ResNext for How2) do not lend themselves to increasing the discriminativeness between the vocabulary elements at token level prediction in NMT. We demonstrate this qualitatively by analyzing attention distribution and quantitatively through Principal Component Analysis, arriving at the conclusion that it is the quality of the visual embeddings rather than the length of sentences, which need to be improved in existing MMT datasets.


A single laser alternating frequency magneto optical trap. In this paper, we present a technique for magneto optical cooling and trapping of neutral atoms using a single laser. The alternating frequency magneto optical trap (AF MOT) uses an agile light source that sequentially switches between cooling and repumping transition frequencies by tuning the injection current of the laser diode. We report on the experimental demonstration of such a system for 87Rb and 85Rb based on a micro integrated extended cavity diode laser (ECDL) performing laser frequency jumps of up to 6.6 GHz with a tuning time in the microsecond regime and a repetition rate of up to 7.6 kHz. For that, a combination of a feed forward for coarse frequency control and a feedback for precise locking was used. We discuss the results of the AF MOT characterization in terms of atom numbers and cloud temperature for different operation parameters.


Moduli space of nonnegatively curved metrics on manifolds of dimension 4k 1 . In each dimension 4k 1 geq 9 , we exhibit infinite families of closed manifolds with fundamental group mathbb Z 2 for which the moduli space of metrics of nonnegative sectional curvature has infinitely many path components. Examples of closed manifolds with finite fundamental group with this property were known before only in dimension 5 and dimensions 4k 3 geq 7 .


Understanding Learners' Problem Solving Strategies in Concurrent and Parallel Programming A Game Based Approach. Concurrent and parallel programming (CPP) is an increasingly important subject in Computer Science Education. However, the conceptual shift from sequential programming is notoriously difficult to make. Currently, relatively little research exists on how people learn CPP core concepts. This paper presents our results of using Parallel, an educational game about CPP, focusing on the learners' self efficacy and how they learn CPP concepts. Based on a study of 44 undergraduate students, our research shows that (a) self efficacy increased significantly after playing the game (b) the problem solving strategies employed by students playing the game can be classified in three main types trial and error, single thread, and multi threaded strategies, and (c) that self efficacy is correlated with the percentage of time students spend in multithreaded problem solving.


Addicts without Substance? Social Media Addiction when Facebook Shuts Down. In March 2018, a series of anti social and racial riots in Sri Lanka led to a government controlled ban of all social media use in the country for 14 days. This nation wide ban included the use of all social media such as Facebook, Twitter and communication apps like WhatsApp, Viber and WeChat. Until the day of the sanctions, a population of 23 million in Sri Lanka had never experienced government sanctions, restrictions or interventions on social media use. This sudden ban provided a unique window of opportunity to investigate social media non use and use and how it might lead to psychological distress. Using a longitudinal study design of two surveys, analyzing data of 476 and 205 respectively, this study makes insightful preliminary observations of social media non use and use continuum.


LIO SAM Tightly coupled Lidar Inertial Odometry via Smoothing and Mapping. We propose a framework for tightly coupled lidar inertial odometry via smoothing and mapping, LIO SAM, that achieves highly accurate, real time mobile robot trajectory estimation and map building. LIO SAM formulates lidar inertial odometry atop a factor graph, allowing a multitude of relative and absolute measurements, including loop closures, to be incorporated from different sources as factors into the system. The estimated motion from inertial measurement unit (IMU) pre integration de skews point clouds and produces an initial guess for lidar odometry optimization. The obtained lidar odometry solution is used to estimate the bias of the IMU. To ensure high performance in real time, we marginalize old lidar scans for pose optimization, rather than matching lidar scans to a global map. Scan matching at a local scale instead of a global scale significantly improves the real time performance of the system, as does the selective introduction of keyframes, and an efficient sliding window approach that registers a new keyframe to a fixed size set of prior sub keyframes.'' The proposed method is extensively evaluated on datasets gathered from three platforms over various scales and environments.


Conditions for the difference set of a central Cantor set to be a Cantorval. Let C( lambda ) subset lbrack 0,1 denote the central Cantor set generated by a sequence lambda left( lambda n right) in left( 0, frac 1 2 right) mathbb N . By the known trichotomy, the difference set C( lambda ) C( lambda ) of C( lambda ) is one of three possible sets a finite union of closed intervals, a Cantor set, and a Cantorval. Our main result describes effective conditions for ( lambda n ) which guarantee that C( lambda ) C( lambda ) is a Cantorval. We show that these conditions can be expressed in several equivalent forms. Under additional assumptions, the measure of the Cantorval C( lambda ) C( lambda ) is established. We give an application of the proved theorems for the achievement sets of some fast convergent series.


FusionMapping Learning Depth Prediction with Monocular Images and 2D Laser Scans. Acquiring accurate three dimensional depth information conventionally requires expensive multibeam LiDAR devices. Recently, researchers have developed a less expensive option by predicting depth information from two dimensional color imagery. However, there still exists a substantial gap in accuracy between depth information estimated from two dimensional images and real LiDAR point cloud. In this paper, we introduce a fusion based depth prediction method, called FusionMapping. This is the first method that fuses colored imagery and two dimensional laser scan to estimate depth in formation. More specifically, we propose an autoencoder based depth prediction network and a novel point cloud refinement network for depth estimation. We analyze the performance of our FusionMapping approach on the KITTI LiDAR odometry dataset and an indoor mobile robot system. The results show that our introduced approach estimates depth with better accuracy when compared to existing methods.


Oblique Injection of incompressible ideal fluid from a slot into a free stream. This paper deals with a two phase fluid free boundary problem in a slot film cooling. We give two well posedness results on the existence and uniqueness of the incompressible inviscid two phase fluid with a jump relation on free interface. The problem formulates the oblique injection of an incompressible ideal fluid from a slot into a free stream. From the mathematical point of view, this work is motivated by the pioneer work 13 by A. Friedman, in which some well posedness results are obtained in some special case. Furthermore, A. Friedman proposed an open problem in 14 on the existence and uniqueness of the injection flow problem for more general case. The main results in this paper solve the open problem and establish the well posedness results on the physical problem.


Combinatorial t designs from quadratic functions. Combinatorial t designs have been an interesting topic in combinatorics for decades. It was recently reported that the image sets of a fixed size of certain special polynomials may constitute a t design. Till now only a small amount of work on constructing t designs from special polynomials has been done, and it is in general hard to determine their parameters. In this paper, we investigate this idea further by using quadratic functions over finite fields, thereby obtain infinite families of 2 designs, and explicitly determine their parameters. The obtained designs cover some earlier 2 designs as special cases. Furthermore, we confirmed Conjecture 3 in Ding and Tang (arXiv 1903.07375, 2019).


NLP Driven Ensemble Based Automatic Subtitle Generation and Semantic Video Summarization Technique. This paper proposes an automatic subtitle generation and semantic video summarization technique. The importance of automatic video summarization is vast in the present era of big data. Video summarization helps in efficient storage and also quick surfing of large collection of videos without losing the important ones. The summarization of the videos is done with the help of subtitles which is obtained using several text summarization algorithms. The proposed technique generates the subtitle for videos with without subtitles using speech recognition and then applies NLP based Text summarization algorithms on the subtitles. The performance of subtitle generation and video summarization is boosted through Ensemble method with two approaches such as Intersection method and Weight based learning method Experimental results reported show the satisfactory performance of the proposed method


Visual Compositional Learning for Human Object Interaction Detection. Human Object interaction (HOI) detection aims to localize and infer relationships between human and objects in an image. It is challenging because an enormous number of possible combinations of objects and verbs types forms a long tail distribution. We devise a deep Visual Compositional Learning (VCL) framework, which is a simple yet efficient framework to effectively address this problem. VCL first decomposes an HOI representation into object and verb specific features, and then composes new interaction samples in the feature space via stitching the decomposed features. The integration of decomposition and composition enables VCL to share object and verb features among different HOI samples and images, and to generate new interaction samples and new types of HOI, and thus largely alleviates the long tail distribution problem and benefits low shot or zero shot HOI detection. Extensive experiments demonstrate that the proposed VCL can effectively improve the generalization of HOI detection on HICO DET and V COCO and outperforms the recent state of the art methods on HICO DET. Code is available at https github.com zhihou7 VCL.


A necessary and sufficient condition for the Darboux Treibich Verdier potential with its spectrum contained in mathbb R . In this paper, we study the spectrum of the complex Hill operator L frac d 2 dx 2 q(x tau) in L 2( mathbb R , mathbb C ) with the Darboux Treibich Verdier potential q(x tau) sum k 0 3 n k (n k 1) wp left( x z 0 tfrac omega k 2 tau right), where n k in mathbb Z geq 0 with max n k geq 1 and z 0 in mathbb C is chosen such that q(x tau) has no singularities on mathbb R . For any fixed tau in i mathbb R 0 , we give a necessary and sufficient condition on (n 0,n 1,n 2,n 3) to guarantee that the spectrum sigma(L) is sigma(L) ( infty, E 2g cup E 2g 1 , E 2g 2 cup cdots cup E 1 , E 0 , quad E j in mathbb R , and hence generalizes Ince's remarkable result in 1940 for the Lam ' e potential to the Darboux Treibich Verdier potential. We also determine the number of (anti)periodic eigenvalues in each bounded interval (E 2j 1 , E 2j 2 ) , which generalizes the recent result in cite HHV where the Lam ' e case n 1 n 2 n 3 0 was studied.


Evaluation of the Dreicer runaway generation rate in the presence of high Z impurities using a neural network. Integrated modelling of electron runaway requires computationally expensive kinetic models that are self consistently coupled to the evolution of the background plasma parameters. The computational expense can be reduced by using parameterized runaway generation rates rather than solving the full kinetic problem. However, currently available generation rates neglect several important effects in particular, they are not valid in the presence of partially ionized impurities. In this work, we construct a multilayer neural network for the Dreicer runaway generation rate which is trained on data obtained from kinetic simulations performed for a wide range of plasma parameters and impurities. The neural network accurately reproduces the Dreicer runaway generation rate obtained by the kinetic solver. By implementing it in a fluid runaway electron modelling tool, we show that the improved generation rates lead to significant differences in the self consistent runaway dynamics as compared to the results using the previously available formulas for the runaway generation rate.


A Transport Model for Multi Frequency Acousto Optic Tomography. In a medium where the dielectric permittivity is perturbed in the presence of an acoustic wave, optical scattering generates frequency shifted light. In this paper we consider the inverse problem of recovering the optical properties of this medium from measurements of the frequency shifted light, using a radiative transport equation (RTE) model for light propagation. Given some assumptions on the regularity and isotropicity of the coefficients of the RTE, we show that the absorption coefficient can be reconstructed from the boundary measurements of a single well chosen illumination, and that the scattering coefficients can be reconstructed from boundary measurements of a one parameter family of illuminations.


Experimental characterization of Raman amplifier optimization through inverse system design. Optical communication systems are always evolving to support the need for ever increasing transmission rates. This demand is supported by the growth in complexity of communication systems which are moving towards ultra wideband transmission and space division multiplexing. Both directions will challenge the design, modeling, and optimization of devices, subsystems, and full systems. Amplification is a key functionality to support this growth and in this context, we recently demonstrated a versatile machine learning framework for designing and modeling Raman amplifiers with arbitrary gains. In this paper, we perform a thorough experimental characterization of such machine learning framework. The applicability of the proposed approach, as well as its ability to accurately provide flat and tilted gain profiles, are tested on several practical fiber types, showing errors below 0.5 dB. Moreover, as channel power optimization is heavily employed to further enhance the transmission rate, the tolerance of the framework to variations in the input signal spectral profile is investigated. Results show that the inverse design can provide highly accurate gain profile adjustments for different input signal power profiles even not considering this information during the training phase.


Scattering free routing of surface plasmon polariton waves with optical null medium. Recently, guiding electromagnetic surface waves without sacrificing scattering losses through paths that have arbitrary shape bumps has gained a lot of interest due to its wealth of advantages in modern photonics and plasmonics devices. In this study, based on transformation optics (TO) methodology, a feasible approach to control the flow of surface plasmon plariton (SPPs) at metal dielectric interfaces with arbitrary curvature is proposed. The obtained material becomes homogeneous and independent of the bump's geometry. That is, one constant material is required to route SPP waves without scattering the energy into the far field region, which overcome the bottlenecks encountered in the previous works. Several numerical simulations are carried out to illustrate the capability of the propounded cloak to control the SPP flows at metal dielectric interfaces. The unique designing approach introduced here may open a new horizon to nano optics and downscaling of photonic circuits.


Leveraging Declarative Knowledge in Text and First Order Logic for Fine Grained Propaganda Detection. We study the detection of propagandistic text fragments in news articles. Instead of merely learning from input output datapoints in training data, we introduce an approach to inject declarative knowledge of fine grained propaganda techniques. Specifically, we leverage the declarative knowledge expressed in both first order logic and natural language. The former refers to the logical consistency between coarse and fine grained predictions, which is used to regularize the training process with propositional Boolean expressions. The latter refers to the literal definition of each propaganda technique, which is utilized to get class representations for regularizing the model parameters. We conduct experiments on Propaganda Techniques Corpus, a large manually annotated dataset for fine grained propaganda detection. Experiments show that our method achieves superior performance, demonstrating that leveraging declarative knowledge can help the model to make more accurate predictions.


Neural Proof Nets. Linear logic and the linear lambda calculus have a long standing tradition in the study of natural language form and meaning. Among the proof calculi of linear logic, proof nets are of particular interest, offering an attractive geometric representation of derivations that is unburdened by the bureaucratic complications of conventional prooftheoretic formats. Building on recent advances in set theoretic learning, we propose a neural variant of proof nets based on Sinkhorn networks, which allows us to translate parsing as the problem of extracting syntactic primitives and permuting them into alignment. Our methodology induces a batch efficient, end to end differentiable architecture that actualizes a formally grounded yet highly efficient neuro symbolic parser. We test our approach on AE Thel, a dataset of type logical derivations for written Dutch, where it manages to correctly transcribe raw text sentences into proofs and terms of the linear lambda calculus with an accuracy of as high as 70 .


Uniqueness for an obstacle problem arising from logistic type equations with fractional Laplacian. We prove a uniqueness theorem for the obstacle problem for linear equations involving the fractional Laplacian with zero Dirichlet exterior condition. The problem under consideration arises as the limit of some logistic type equations. Our result extends (and slightly strengthens) the known corresponding results for the classical Laplace operator with zero boundary condition. Our proof, as compared with the known proof for the classical Laplace operator, is entirely new, and is based on the probabilistic potential theory. Its advantage is that it may be applied to a wide class of integro differential operators.


Continual adaptation for efficient machine communication. To communicate with new partners in new contexts, humans rapidly form new linguistic conventions. Recent neural language models are able to comprehend and produce the existing conventions present in their training data, but are not able to flexibly and interactively adapt those conventions on the fly as humans do. We introduce an interactive repeated reference task as a benchmark for models of adaptation in communication and propose a regularized continual learning framework that allows an artificial agent initialized with a generic language model to more accurately and efficiently communicate with a partner over time. We evaluate this framework through simulations on COCO and in real time reference game experiments with human partners.


Merge and Label A novel neural network architecture for nested NER. Named entity recognition (NER) is one of the best studied tasks in natural language processing. However, most approaches are not capable of handling nested structures which are common in many applications. In this paper we introduce a novel neural network architecture that first merges tokens and or entities into entities forming nested structures, and then labels each of them independently. Unlike previous work, our merge and label approach predicts real valued instead of discrete segmentation structures, which allow it to combine word and nested entity embeddings while maintaining differentiability. which smoothly groups entities into single vectors across multiple levels. We evaluate our approach using the ACE 2005 Corpus, where it achieves state of the art F1 of 74.6, further improved with contextual embeddings (BERT) to 82.4, an overall improvement of close to 8 F1 points over previous approaches trained on the same data. Additionally we compare it against BiLSTM CRFs, the dominant approach for flat NER structures, demonstrating that its ability to predict nested structures does not impact performance in simpler cases.


Associative3D Volumetric Reconstruction from Sparse Views. This paper studies the problem of 3D volumetric reconstruction from two views of a scene with an unknown camera. While seemingly easy for humans, this problem poses many challenges for computers since it requires simultaneously reconstructing objects in the two views while also figuring out their relationship. We propose a new approach that estimates reconstructions, distributions over the camera object and camera camera transformations, as well as an inter view object affinity matrix. This information is then jointly reasoned over to produce the most likely explanation of the scene. We train and test our approach on a dataset of indoor scenes, and rigorously evaluate the merits of our joint reasoning approach. Our experiments show that it is able to recover reasonable scenes from sparse views, while the problem is still challenging. Project site https jasonqsy.github.io Associative3D


Specht module branching rules for wreath products of symmetric groups. We review a class of modules for the wreath product S(m) wr S(n) of two symmetric groups which are analogous to the Specht modules of the symmetric group, and prove a pair of branching rules for this family of modules. These branching rules describe the behaviour of these wreath product Specht modules under restriction to the wreath products S(m 1) wr S(n) and S(m) wr S(n 1). In particular, we see that these restrictions of wreath product Specht modules have Specht module filtrations, and we obtain combinatorial interpretations of the multiplicities in these filtrations.


Assessment of protein assembly prediction in CASP13. We present the assembly category assessment in the 13th edition of the CASP community wide experiment. For the second time, protein assemblies constitute an independent assessment category. Compared to the last edition we see a clear uptake in participation, more oligomeric targets released, and consistent, albeit modest, improvement of the predictions quality. Looking at the tertiary structure predictions we observe that ignoring the oligomeric state of the targets hinders modelling success. We also note that some contact prediction groups successfully predicted homomeric interfacial contacts, though it appears that these predictions were not used for assembly modelling. Homology modelling with sizeable human intervention appears to form the basis of the assembly prediction techniques in this round of CASP. Future developments should see more integrated approaches to modelling where multiple subunits are a natural part of the modelling process, which would benefit the structure prediction field as a whole.


Bidirectional Type Class Instances (Extended Version). GADTs were introduced in Haskell's eco system more than a decade ago, but their interaction with several mainstream features such as type classes and functional dependencies has a lot of room for improvement. More specifically, for some GADTs it can be surprisingly difficult to provide an instance for even the simplest of type classes. In this paper we identify the source of this shortcoming and address it by introducing a conservative extension to Haskell's type classes Bidirectional Type Class Instances. In essence, under our interpretation class instances correspond to logical bi implications, in contrast to their traditional unidirectional interpretation. We present a fully fledged design of bidirectional instances, covering the specification of typing and elaboration into System FC, as well as an algorithm for type inference and elaboration. We provide a proof of concept implementation of our algorithm, and revisit the meta theory of type classes in the presence of our extension.


Queueing Analysis of GPU Based Inference Servers with Dynamic Batching A Closed Form Characterization. GPU accelerated computing is a key technology to realize high speed inference servers using deep neural networks (DNNs). An important characteristic of GPU based inference is that the computational efficiency, in terms of the processing speed and energy consumption, drastically increases by processing multiple jobs together in a batch. In this paper, we formulate GPU based inference servers as a batch service queueing model with batch size dependent processing times. We first show that the energy efficiency of the server monotonically increases with the arrival rate of inference jobs, which suggests that it is energy efficient to operate the inference server under a utilization level as high as possible within a latency requirement of inference jobs. We then derive a closed form upper bound for the mean latency, which provides a simple characterization of the latency performance. Through simulation and numerical experiments, we show that the exact value of the mean latency is well approximated by this upper bound. We further compare this upper bound with the latency curve measured in real implementation of GPU based inference servers and we show that the real performance curve is well explained by the derived simple formula.


Learn to Segment Retinal Lesions and Beyond. Towards automated retinal screening, this paper makes an endeavor to simultaneously achieve pixel level retinal lesion segmentation and image level disease classification. Such a multi task approach is crucial for accurate and clinically interpretable disease diagnosis. Prior art is insufficient due to three challenges, i.e., lesions lacking objective boundaries, clinical importance of lesions irrelevant to their size, and the lack of one to one correspondence between lesion and disease classes. This paper attacks the three challenges in the context of diabetic retinopathy (DR) grading. We propose Lesion Net, a new variant of fully convolutional networks, with its expansive path re designed to tackle the first challenge. A dual Dice loss that leverages both semantic segmentation and image classification losses is introduced to resolve the second challenge. Lastly, we build a multi task network that employs Lesion Net as a side attention branch for both DR grading and result interpretation. A set of 12K fundus images is manually segmented by 45 ophthalmologists for 8 DR related lesions, resulting in 290K manual segments in total. Extensive experiments on this large scale dataset show that our proposed approach surpasses the prior art for multiple tasks including lesion segmentation, lesion classification and DR grading


Straggler resistant distributed matrix computation via coding theory. The current BigData era routinely requires the processing of large scale data on massive distributed computing clusters. Such large scale clusters often suffer from the problem of "stragglers", which are defined as slow or failed nodes. The overall speed of a computational job on these clusters is typically dominated by stragglers in the absence of a sophisticated assignment of tasks to the worker nodes. In recent years, approaches based on coding theory (referred to as "coded computation") have been effectively used for straggler mitigation. Coded computation offers significant benefits for specific classes of problems such as distributed matrix computations (which play a crucial role in several parts of the machine learning pipeline). The essential idea is to create redundant tasks so that the desired result can be recovered as long as a certain number of worker nodes complete their tasks. In this survey article, we overview recent developments in the field of coding for straggler resilient distributed matrix computations.


Geometric properties of LMI regions. LMI (Linear Matrix Inequalities) regions is an important class of convex subsets of mathbb C arising in control theory. An LMI region mathfrak D is defined by its matrix valued characteristic function f mathfrak D (z) mathbf L z mathbf M bar z mathbf M T as follows mathfrak D z in mathbb C f mathfrak D (z) prec 0 . In this paper, we study LMI regions from the point of view of convex geometry, describing their boundaries, recession cones, lineality spaces and other characteristic in terms of the properties of matrices mathbf M and mathbf L . Conversely, we study the link between the properties of matrices mathbf M and mathbf L , e.g. normality, positive and negative definiteness, and the corresponding properties of an LMI region mathfrak D . We provide the conditions, when an LMI region coincides with the intersection of elementary regions such as halfplanes, stripes, conic sectors and sides of hyperbolas. We also analyze the following problem, connected to pole placement for a given LMI region mathfrak D , defined by f mathfrak D , how to find a closed disk D(x 0, r) centered at the real axis, such that D(x 0, r) subseteq mathfrak D ?


Two stream Spatiotemporal Feature for Video QA Task. Understanding the content of videos is one of the core techniques for developing various helpful applications in the real world, such as recognizing various human actions for surveillance systems or customer behavior analysis in an autonomous shop. However, understanding the content or story of the video still remains a challenging problem due to its sheer amount of data and temporal structure. In this paper, we propose a multi channel neural network structure that adopts a two stream network structure, which has been shown high performance in human action recognition field, and use it as a spatiotemporal video feature extractor for solving video question and answering task. We also adopt a squeeze and excitation structure to two stream network structure for achieving a channel wise attended spatiotemporal feature. For jointly modeling the spatiotemporal features from video and the textual features from the question, we design a context matching module with a level adjusting layer to remove the gap of information between visual and textual features by applying attention mechanism on joint modeling. Finally, we adopt a scoring mechanism and smoothed ranking loss objective function for selecting the correct answer from answer candidates. We evaluate our model with TVQA dataset, and our approach shows the improved result in textual only setting, but the result with visual feature shows the limitation and possibility of our approach.


On graphs having one size of maximal open packings. A set P of vertices in a graph G is an open packing if no two distinct vertices in P have a common neighbor. Among all maximal open packings in G , the smallest cardinality is denoted rho rm o L(G) and the largest cardinality is rho rm o (G) . There exist graphs for which these two invariants are arbitrarily far apart. In this paper we begin the investigation of the class of graphs that have one size of maximal open packings. By presenting a method of constructing such graphs we show that every graph is the induced subgraph of a graph in this class. The main result of the paper is a structural characterization of those G that do not have a cycle of order less than 15 and for which rho rm o L(G) rho rm o (G) .


H "older continuity for the solutions of the p(x) Laplace equation with general right hand side. We show that bounded solutions of the quasilinear elliptic equation Delta p(x) u g div( textbf F ) are locally H " o lder continuous provided that the functions g and textbf F are in suitable Lebesgue spaces.


Weighted and multivariate Johnson Schechtman inequalities with application to interpolation theory. We prove a weighted version of a classical inequality of Johnson and Schechtman from which we derive a decomposition theorem for p th moments ( 0 p leq 1 ) of nonnegative generalized U statistics with constant not dependent on p . In particular, for 1 leq p leq 2 , the norm in the subspace U p leq m left( Omega infty right) of L p left( Omega infty right) spanned by functions dependent on at most m variables is equivalent to the norm in a suitable interpolation sum of L p left(L 2 right) spaces. As a consequence, we obtain some interpolation properties of U 1 m left( Omega infty, ell p right) that are known to imply cotype 2 of L 1 U leq m 1 left( Omega infty right) .


Repairing Reed Solomon Codes via Subspace Polynomials. We propose new repair schemes for Reed Solomon codes that use subspace polynomials and hence generalize previous works in the literature that employ trace polynomials. The Reed Solomon codes are over mathbb F q ell and have redundancy r n k geq q m , 1 leq m leq ell , where n and k are the code length and dimension, respectively. In particular, for one erasure, we show that our schemes can achieve optimal repair bandwidths whenever n q ell and r q m, for all 1 leq m leq ell . For two erasures, our schemes use the same bandwidth per erasure as the single erasure schemes, for ell m is a power of q , and for ell q a , m q b 1 1 ( a geq b geq 1 ), and for m geq ell 2 when ell is even and q is a power of two.


Towards a Multi Chain Future of Proof of Space. Proof of Space provides an intriguing alternative for consensus protocol of permissionless blockchains due to its recyclable nature and the potential to support multiple chains simultaneously. However, a direct shared proof of the same storage, which was adopted in the existing multi chain schemes based on Proof of Space, could give rise to newborn attack on new chain launching. To fix this gap, we propose an innovative framework of single chain Proof of Space and further present a novel multi chain scheme which can resist newborn attack effectively by elaborately combining shared proof and chain specific proof of storage. Moreover, we analyze the security of the multi chain scheme and prove that it is incentive compatible. This means that participants in such multi chain system can achieve their greatest utility with our proposed strategy of storage resource partition.


Lifted Multiplicity Codes. Lifted Reed Solomon codes and multiplicity codes are two classes of evaluation codes that allow for the design of high rate codes that can recover every codeword or information symbol from many disjoint sets. Recently, the underlying approaches have been combined to construct lifted bi variate multiplicity codes, that can further improve on the rate. We continue the study of these codes by providing lower bounds on the rate and distance for lifted multiplicity codes obtained from polynomials in an arbitrary number of variables. Specifically, we investigate a subcode of a lifted multiplicity code formed by the linear span of m variate monomials whose restriction to an arbitrary line in mathbb F q m is equivalent to a low degree uni variate polynomial. We find the tight asymptotic behavior of the fraction of such monomials when the number of variables m is fixed and the alphabet size q 2 ell is large. For some parameter regimes, lifted multiplicity codes are then shown to have a better trade off between redundancy and the number of disjoint recovering sets for every codeword or information symbol than previously known constructions. Additionally, we present a local self correction algorithm for lifted multiplicity codes.


Overhead Control with Reliable Transmission of Popular Packets in Ad Hoc Social Networks. Reliable social connectivity and transmission of data for popular nodes is vital in multihop Ad hoc Social Networks (ASNETs). In this networking paradigm, transmission unreliability could be caused by multiple social applications running on a single node. This leads to contentions among nodes and connection paths. In addition, congestions can be the result of multiple senders transmitting data to a single receiver and every sender waiting for a positive acknowledgment to move on. Therefore, traditional Transmission Control Protocol (TCP) performs poorly in ASNETs, due to the fact that the available bandwidth is shared among nodes using round trip time and the acknowledgment is provided individually to every data packet. To solve these issues, we propose a technique, called Overhead Control with Reliable Transmission of Popular Packets in Ad Hoc Social Networks (RTPS), which improves transmission reliability by assigning bandwidth to users based on their popularity levels extra bandwidth is assigned to the nodes with higher popularity and their acknowledgments are sent with higher priority. In addition, RTPS further reduces contentions and packet losses by delaying acknowledgment packet transmissions. Our detailed investigations demonstrate the excellent performance of RTPS in terms of throughput latency and overhead with different hop distances and different numbers of concurrent TCP flows.


Fabricated Pictures Detection with Graph Matching. Fabricating experimental pictures in research work is a serious academic misconduct, which should better be detected in the reviewing process. However, due to large number of submissions, the detection whether a picture is fabricated or reused is laborious for reviewers, and sometimes is indistinct with human eyes. A tool for detecting similarity between images may help to alleviate this problem. Some methods based on local feature points matching work for most of the time, while these methods may result in mess of matchings due to ignorance of global relationship between features. We present a framework to detect similar, or perhaps fabricated, pictures with the graph matching techniques. A new iterative method is proposed, and experiments show that such a graph matching technique is better than the methods based only on local features for some cases.


On the asymptotics of Hecke operators for reductive groups. In this paper, we study the asymptotic behavior of the traces of Hecke operators for spherical discrete automorphic representations of fixed level on general split reductive groups over mathbb Q . Under a condition on the analytic behavior of intertwining operators, which is known for the classical groups and the exceptional group G 2 , we obtain the expected asymptotics in terms of the spherical Plancherel measure and an explicit estimate for the remainder.


Threat modeling framework for mobile communication systems. Due to the complex nature of mobile communication systems, most of the security efforts in its domain are isolated and scattered across underlying technologies. This has resulted in an obscure view of the overall security. In this work, we attempt to fix this problem by proposing a domain specific threat modeling framework. By gleaning from a diverse and large body of security literature, we systematically organize the attacks on mobile communications into various tactics and techniques. Our framework is designed to model adversarial behavior in terms of its attack phases and to be used as a common taxonomy matrix. We also provide concrete examples of using the framework for modeling the attacks individually and comparing them with similar ones.