3DFaceGAN Adversarial Nets for 3D Face Representation, Generation, and Translation. Over the past few years, Generative Adversarial Networks (GANs) have garnered increased interest among researchers in Computer Vision, with applications including, but not limited to, image generation, translation, imputation, and super resolution. Nevertheless, no GAN based method has been proposed in the literature that can successfully represent, generate or translate 3D facial shapes (meshes). This can be primarily attributed to two facts, namely that (a) publicly available 3D face databases are scarce as well as limited in terms of sample size and variability (e.g., few subjects, little diversity in race and gender), and (b) mesh convolutions for deep networks present several challenges that are not entirely tackled in the literature, leading to operator approximations and model instability, often failing to preserve high frequency components of the distribution. As a result, linear methods such as Principal Component Analysis (PCA) have been mainly utilized towards 3D shape analysis, despite being unable to capture non linearities and high frequency details of the 3D face such as eyelid and lip variations. In this work, we present 3DFaceGAN, the first GAN tailored towards modeling the distribution of 3D facial surfaces, while retaining the high frequency details of 3D face shapes. We conduct an extensive series of both qualitative and quantitative experiments, where the merits of 3DFaceGAN are clearly demonstrated against other, state of the art methods in tasks such as 3D shape representation, generation, and translation.


Highly accurate decoupled doubling algorithm for large scale M matrix algebraic Riccati equations. We consider the numerical solution of large scale M matrix algebraic Riccati equations with low rank structures. We derive a new doubling iteration, decoupling the four original iteration formulae in the alternating directional doubling algorithm. We prove that the kernels in the decoupled algorithm are small M matrices. Illumined by the highly accurate algorithm proposed by Xue and Li in 2017, we construct the triplet representations for the small M matrix kernels in a highly accurate doubling algorithm. Illustrative numerical examples will be presented on the efficiency of our algorithm.


A Comprehensive Overview on 5G and Beyond Networks with UAVs From Communications to Sensing and Intelligence. Due to the advancements in cellular technologies and the dense deployment of cellular infrastructure, integrating unmanned aerial vehicles (UAVs) into the fifth generation (5G) and beyond cellular networks is a promising solution to achieve safe UAV operation as well as enabling diversified applications with mission specific payload data delivery. In particular, 5G networks need to support three typical usage scenarios, namely, enhanced mobile broadband (eMBB), ultra reliable low latency communications (URLLC), and massive machine type communications (mMTC). On the one hand, UAVs can be leveraged as cost effective aerial platforms to provide ground users with enhanced communication services by exploiting their high cruising altitude and controllable maneuverability in three dimensional (3D) space. On the other hand, providing such communication services simultaneously for both UAV and ground users poses new challenges due to the need for ubiquitous 3D signal coverage as well as the strong air ground network interference. Besides the requirement of high performance wireless communications, the ability to support effective and efficient sensing as well as network intelligence is also essential for 5G and beyond 3D heterogeneous wireless networks with coexisting aerial and ground users. In this paper, we provide a comprehensive overview of the latest research efforts on integrating UAVs into cellular networks, with an emphasis on how to exploit advanced techniques (e.g., intelligent reflecting surface, short packet transmission, energy harvesting, joint communication and radar sensing, and edge intelligence) to meet the diversified service requirements of next generation wireless systems. Moreover, we highlight important directions for further investigation in future work.


PIRM2018 Challenge on Spectral Image Super Resolution Dataset and Study. This paper introduces a newly collected and novel dataset (StereoMSI) for example based single and colour guided spectral image super resolution. The dataset was first released and promoted during the PIRM2018 spectral image super resolution challenge. To the best of our knowledge, the dataset is the first of its kind, comprising 350 registered colour spectral image pairs. The dataset has been used for the two tracks of the challenge and, for each of these, we have provided a split into training, validation and testing. This arrangement is a result of the challenge structure and phases, with the first track focusing on example based spectral image super resolution and the second one aiming at exploiting the registered stereo colour imagery to improve the resolution of the spectral images. Each of the tracks and splits has been selected to be consistent across a number of image quality metrics. The dataset is quite general in nature and can be used for a wide variety of applications in addition to the development of spectral image super resolution methods.


Learning metrics for persistence based summaries and applications for graph classification. Recently a new feature representation and data analysis methodology based on a topological tool called persistent homology (and its corresponding persistence diagram summary) has started to attract momentum. A series of methods have been developed to map a persistence diagram to a vector representation so as to facilitate the downstream use of machine learning tools, and in these approaches, the importance (weight) of different persistence features are often preset. However often in practice, the choice of the weight function should depend on the nature of the specific type of data one considers, and it is thus highly desirable to learn a best weight function (and thus metric for persistence diagrams) from labelled data. We study this problem and develop a new weighted kernel, called WKPI, for persistence summaries, as well as an optimization framework to learn a good metric for persistence summaries. Both our kernel and optimization problem have nice properties. We further apply the learned kernel to the challenging task of graph classification, and show that our WKPI based classification framework obtains similar or (sometimes significantly) better results than the best results from a range of previous graph classification frameworks on a collection of benchmark datasets.


Computing L Polynomials of Picard curves from Cartier Manin matrices. We study the sequence of zeta functions Z(C p,T) of a generic Picard curve C y 3 f(x) defined over mathbb Q at primes p of good reduction for C . We define a degree 9 polynomial psi f in mathbb Q x such that the splitting field of psi f(x 3 2) is the 2 torsion field of the Jacobian of C . We prove that, for all but a density zero subset of primes, the zeta function Z(C p,T) is uniquely determined by the Cartier Manin matrix A p of C modulo p and the splitting behavior modulo p of f and psi f we also show that for primes equiv 1 pmod 3 the matrix A p suffices and that for primes equiv 2 pmod 3 the genericity assumption on C is unnecessary. An element of the proof, which may be of independent interest, is the determination of the density of the set of primes of ordinary reduction for a generic Picard curve. By combining this with recent work of Sutherland, we obtain a practical deterministic algorithm that computes Z(C p,T) for almost all primes p le N using N log(N) 3 o(1) bit operations. This is the first practical result of this type for curves of genus greater than 2.


Document Ranking with a Pretrained Sequence to Sequence Model. This work proposes a novel adaptation of a pretrained sequence to sequence model to the task of document ranking. Our approach is fundamentally different from a commonly adopted classification based formulation of ranking, based on encoder only pretrained transformer architectures such as BERT. We show how a sequence to sequence model can be trained to generate relevance labels as "target words", and how the underlying logits of these target words can be interpreted as relevance probabilities for ranking. On the popular MS MARCO passage ranking task, experimental results show that our approach is at least on par with previous classification based models and can surpass them with larger, more recent models. On the test collection from the TREC 2004 Robust Track, we demonstrate a zero shot transfer based approach that outperforms previous state of the art models requiring in dataset cross validation. Furthermore, we find that our approach significantly outperforms an encoder only model in a data poor regime (i.e., with few training examples). We investigate this observation further by varying target words to probe the model's use of latent knowledge.


Evaluating Gender Bias in Speech Translation. The scientific community is increasingly aware of the necessity to embrace pluralism and consistently represent major and minor social groups. Currently, there are no standard evaluation techniques for different types of biases. Accordingly, there is an urgent need to provide evaluation sets and protocols to measure existing biases in our automatic systems. Evaluating the biases should be an essential step towards mitigating them in the systems. This paper introduces WinoST, a new freely available challenge set for evaluating gender bias in speech translation. WinoST is the speech version of WinoMT which is a MT challenge set and both follow an evaluation protocol to measure gender accuracy. Using a state of the art end to end speech translation system, we report the gender bias evaluation on four language pairs and we show that gender accuracy in speech translation is more than 23 lower than in MT.


Multi Dimensional Explanation of Target Variables from Documents. Automated predictions require explanations to be interpretable by humans. Past work used attention and rationale mechanisms to find words that predict the target variable of a document. Often though, they result in a tradeoff between noisy explanations or a drop in accuracy. Furthermore, rationale methods cannot capture the multi faceted nature of justifications for multiple targets, because of the non probabilistic nature of the mask. In this paper, we propose the Multi Target Masker (MTM) to address these shortcomings. The novelty lies in the soft multi dimensional mask that models a relevance probability distribution over the set of target variables to handle ambiguities. Additionally, two regularizers guide MTM to induce long, meaningful explanations. We evaluate MTM on two datasets and show, using standard metrics and human annotations, that the resulting masks are more accurate and coherent than those generated by the state of the art methods. Moreover, MTM is the first to also achieve the highest F1 scores for all the target variables simultaneously.


The Exceptional Selfcondensability of Powers of Five. We show any power of five may be expressed arithmetically with the digits of its decimal representation. We also show powers of five (in decimal) contain any amount of zeros in a row.


Hidden Positivity and a New Approach to Numerical Computation of Hausdorff Dimension Higher Order Methods. In 14 , the authors developed a new approach to the computation of the Hausdorff dimension of the invariant set of an iterated function system or IFS. In this paper, we extend this approach to incorporate high order approximation methods. We again rely on the fact that we can associate to the IFS a parametrized family of positive, linear, Perron Frobenius operators L s , an idea known in varying degrees of generality for many years. Although L s is not compact in the setting we consider, it possesses a strictly positive C m eigenfunction v s with eigenvalue R(L s) for arbitrary m and all other points z in the spectrum of L s satisfy z le b for some constant b R(L s) . Under appropriate assumptions on the IFS, the Hausdorff dimension of the invariant set of the IFS is the value s s for which R(L s) 1 . This eigenvalue problem is then approximated by a collocation method at the extended Chebyshev points of each subinterval using continuous piecewise polynomials of arbitrary degree r . Using an extension of the Perron theory of positive matrices to matrices that map a cone K to its interior and explicit a priori bounds on the derivatives of the strictly positive eigenfunction v s , we give rigorous upper and lower bounds for the Hausdorff dimension s , and these bounds converge rapidly to s as the mesh size decreases and or the polynomial degree increases.


Variance Reduced Off Policy TDC Learning Non Asymptotic Convergence Analysis. Variance reduction techniques have been successfully applied to temporal difference (TD) learning and help to improve the sample complexity in policy evaluation. However, the existing work applied variance reduction to either the less popular one time scale TD algorithm or the two time scale GTD algorithm but with a finite number of i.i.d. samples, and both algorithms apply to only the on policy setting. In this work, we develop a variance reduction scheme for the two time scale TDC algorithm in the off policy setting and analyze its non asymptotic convergence rate over both i.i.d. and Markovian samples. In the i.i.d. setting, our algorithm achieves a sample complexity O( epsilon frac 3 5 log epsilon 1 ) that is lower than the state of the art result O( epsilon 1 log epsilon 1 ) . In the Markovian setting, our algorithm achieves the state of the art sample complexity O( epsilon 1 log epsilon 1 ) that is near optimal. Experiments demonstrate that the proposed variance reduced TDC achieves a smaller asymptotic convergence error than both the conventional TDC and the variance reduced TD.


Almost Reed Muller Codes Achieve Constant Rates for Random Errors. This paper considers ' delta almost Reed Muller codes', i.e., linear codes spanned by evaluations of all but a delta fraction of monomials of degree at most d . It is shown that for any delta 0 and any varepsilon 0 , there exists a family of delta almost Reed Muller codes of constant rate that correct 1 2 varepsilon fraction of random errors with high probability. For exact Reed Muller codes, the analogous result is not known and represents a weaker version of the longstanding conjecture that Reed Muller codes achieve capacity for random errors (Abbe Shpilka Wigderson STOC '15). Our approach is based on the recent polarization result for Reed Muller codes, combined with a combinatorial approach to establishing inequalities between the Reed Muller code entropies.


Breaking (Global) Barriers in Parallel Stochastic Optimization with Wait Avoiding Group Averaging. Deep learning at scale is dominated by communication time. Distributing samples across nodes usually yields the best performance, but poses scaling challenges due to global information dissemination and load imbalance across uneven sample lengths. State of the art decentralized optimizers mitigate the problem, but require more iterations to achieve the same accuracy as their globally communicating counterparts. We present Wait Avoiding Group Model Averaging (WAGMA) SGD, a wait avoiding stochastic optimizer that reduces global communication via subgroup weight exchange. The key insight is a combination of algorithmic changes to the averaging scheme and the use of a group allreduce operation. We prove the convergence of WAGMA SGD, and empirically show that it retains convergence rates similar to Allreduce SGD. For evaluation, we train ResNet 50 on ImageNet Transformer for machine translation and deep reinforcement learning for navigation at scale. Compared with state of the art decentralized SGD variants, WAGMA SGD significantly improves training throughput (e.g., 2.1x on 1,024 GPUs for reinforcement learning), and achieves the fastest time to solution (e.g., the highest score using the shortest training time for Transformer).


DeepKeyGen A Deep Learning based Stream Cipher Generator for Medical Image Encryption and Decryption. The need for medical image encryption is increasingly pronounced, for example to safeguard the privacy of the patients' medical imaging data. In this paper, a novel deep learning based key generation network (DeepKeyGen) is proposed as a stream cipher generator to generate the private key, which can then be used for encrypting and decrypting of medical images. In DeepKeyGen, the generative adversarial network (GAN) is adopted as the learning network to generate the private key. Furthermore, the transformation domain (that represents the "style" of the private key to be generated) is designed to guide the learning network to realize the private key generation process. The goal of DeepKeyGen is to learn the mapping relationship of how to transfer the initial image to the private key. We evaluate DeepKeyGen using three datasets, namely the Montgomery County chest X ray dataset, the Ultrasonic Brachial Plexus dataset, and the BraTS18 dataset. The evaluation findings and security analysis show that the proposed key generation network can achieve a high level security in generating the private key.


FLUID A Common Model for Semantic Structural Graph Summaries Based on Equivalence Relations. Summarization is a widespread method for handling very large graphs. The task of structural graph summarization is to compute a concise but meaningful synopsis of the key structural information of a graph. As summaries may be used for many different purposes, there is no single concept or model of graph summaries. We have studied existing structural graph summaries for large scale (semantic) graphs. Despite their different concepts and purposes, we found commonalities in the graph structures they capture. We use these commonalities to provide for the first time a formally defined common model, FLUID (FLexible graph sUmmarIes for Data graphs), that allows us to flexibly define structural graph summaries. FLUID allows graph summaries to be quickly defined, adapted, and compared for different purposes and datasets. To this end, FLUID provides features of structural summarization based on equivalence relations such as distinction of types and properties, direction of edges, bisimulation, and inference. We conduct a detailed complexity analysis of the features provided by FLUID. We show that graph summaries defined with FLUID can be computed in the worst case in time mathcal O (n 2) w.r.t. n , the number of edges in the data graph. An empirical analysis of large scale web graphs with billions of edges indicates a typical running time of Theta(n) . Based on the formal FLUID model, one can quickly define and modify various structural graph summaries from the literature and beyond.


Anticommutative Engel algebras of the first five levels. Anticommutative Engel algebras of the first five degeneration levels are classified. All algebras appearing in this classification are nilpotent Malcev algebras.


Chaotic motion in the breathing circle billiard. We consider the free motion of a point particle inside a circular billiard with periodically moving boundary, with the assumption that the collisions of the particle with the boundary are elastic so that the energy of the particle is not preserved. It is known that if the motion of the boundary is regular enough then the energy is bounded due to the existence of invariant curves. We show that it is nevertheless possible that the motion of the particle is chaotic, also under regularity assumptions for the moving boundary. More precisely, we show that there exists a class of functions describing the motion of the boundary for which the billiard map admits invariant probability measures with positive metric entropy. The proof relies on variational techniques based on Aubry Mather theory.


Horizontal strips and spaces of quadratic differentials. A (meromorphic) quadratic differential is a (meromorphic) section of the tensor square of the canonical bundle of a Riemann surface. They arose in the study of quasiconformal mappings in the works of Oswald Teichm "uller, and have played a mayor role in the study of the Riemann moduli, where they can be identified with cotangent vectors to the moduli space. In more recent years, inspired by several observations by Kontsevich, Soibelman and Seidel, in arXiv 1302.7030 Bridgeland and Smith identified certain spaces of meromorphic quadratic differentials with the space of stability conditions on a triangulated category related to the underlying topological surface. This work is an attempt to give a complete (and as self contained as possible) account of the theory needed to define some families of quadratic differentials (and a natural parametrization of such families). This families are the basic building blocks used by Bridgeland and Smith in their study of the spaces of quadratic differentials.


A Comprehensive Study on Pedestrians' Evacuation. Human beings face threats because of unexpected happenings, which can be avoided through an adequate crisis evacuation plan, which is vital to stop wound and demise as its negative results. Consequently, different typical evacuation pedestrians have been created. Moreover, through applied research, these models for various applications, reproductions, and conditions have been examined to present an operational model. Furthermore, new models have been developed to cooperate with system evacuation in residential places in case of unexpected events. This research has taken into account an inclusive and a 'systematic survey of pedestrian evacuation' to demonstrate models methods by focusing on the applications' features, techniques, implications, and after that gather them under various types, for example, classical models, hybridized models, and generic model. The current analysis assists scholars in this field of study to write their forthcoming papers about it, which can suggest a novel structure to recent typical intelligent reproduction with novel features.


Simon's OPUC Hausdorff Dimension Conjecture. We show that the Szeg H o matrices, associated with Verblunsky coefficients alpha n n in mathbb Z obeying sum n 0 infty n gamma alpha n 2 infty for some gamma in (0,1) , are bounded for values z in partial mathbb D outside a set of Hausdorff dimension no more than 1 gamma . In particular, the singular part of the associated probability measure on the unit circle is supported by a set of Hausdorff dimension no more than 1 gamma . This proves the OPUC Hausdorff dimension conjecture of Barry Simon from 2005.


A simple justification of effective models for conducting or fluid media with dilute spherical inclusions. We present a gentle approach to the justification of effective media approximations, for PDE's set outside the union of n gg 1 spheres with low volume fraction. To illustrate our approach, we consider three classical examples the derivation of the so called strange term, made popular by Cioranescu and Murat, the derivation of the Brinkman term in the Stokes equation, and a scalar analogue of the effective viscosity problem. Under some separation assumption on the spheres, valid for periodic and random distributions of the centers, we recover effective models as n goes to infinity by simple arguments.


A Note on Degenerate Multi poly Bernoulli numbers and polynomials. In this paper, we consider the degenerate multi poly Bernoulli numbers and polynomials which are defined by means of the multiple polylogarithms and degenerate versions of the multi poly Bernoulli numbers and polynomials. We investigate some properties for those numbers and polynomials. In addition, we give some identities and relations for the degenerate multi poly Bernoulli numbers and polynomials.


Fast Motion Understanding with Spatiotemporal Neural Networks and Dynamic Vision Sensors. This paper presents a Dynamic Vision Sensor (DVS) based system for reasoning about high speed motion. As a representative scenario, we consider the case of a robot at rest reacting to a small, fast approaching object at speeds higher than 15m s. Since conventional image sensors at typical frame rates observe such an object for only a few frames, estimating the underlying motion presents a considerable challenge for standard computer vision systems and algorithms. In this paper we present a method motivated by how animals such as insects solve this problem with their relatively simple vision systems. Our solution takes the event stream from a DVS and first encodes the temporal events with a set of causal exponential filters across multiple time scales. We couple these filters with a Convolutional Neural Network (CNN) to efficiently extract relevant spatiotemporal features. The combined network learns to output both the expected time to collision of the object, as well as the predicted collision point on a discretized polar grid. These critical estimates are computed with minimal delay by the network in order to react appropriately to the incoming object. We highlight the results of our system to a toy dart moving at 23.4m s with a 24.73 deg error in theta , 18.4mm average discretized radius prediction error, and 25.03 median time to collision prediction error.


Kruskal Katona's function and a variation of cross intersecting antichains. We prove some properties of the Kruskal Katona function, and apply to the following variation of cross intersecting antichains. Let n ge 4 be an even integer and mathscr A and mathscr B be two cross intersecting antichains of mathbb N n with at most k disjoint pairs, i.e. for all A i in mathscr A , B j in mathscr B , A i cap B j emptyset only if i j le k . We prove a best possible upper bound on mathscr A mathscr B . Furthermore, we show that the extremal families contain only frac n 2 and ( frac n 2 1) sets.


Robust Preconditioners for Multiple Saddle Point Problems and Applications to Optimal Control Problems. In this paper we consider multiple saddle point problems with block tridiagonal Hessian in a Hilbert space setting. Well posedness and the related issue of preconditioning are discussed. We give a characterization of all block structured norms which ensure well posedness of multiple saddle point problems as a helpful tool for constructing block diagonal preconditioners. We subsequently apply our findings to a general class of PDE constrained optimal control problems containing a regularization parameter alpha and derive alpha robust preconditioners for the corresponding optimality systems. Finally, we demonstrate the generality of our approach with two optimal control problems related to the heat and the wave equation, respectively. Preliminary numerical experiments support the feasibility of our method.


Enhanced dissipation for the 2D Couette flow in critical space. We consider the 2D incompressible Navier Stokes equations on mathbb T times mathbf R , with initial vorticity that is delta close in H log xL 2 y to 1 (the vorticity of the Couette flow (y,0) ). We prove that if delta ll nu 1 2 , where nu denotes the viscosity, then the solution of the Navier Stokes equation approaches some shear flow which is also close to Couette flow for time t gg nu 1 3 by a mixing enhanced dissipation effect and then converges back to Couette flow when t to infty . In particular, we show the nonlinear enhanced dissipation and the inviscid damping results in the almost critical space H log xL 2 y subset L 2 x,y .


Bridging the Performance Gap between FGSM and PGD Adversarial Training. Deep learning achieves state of the art performance in many tasks but exposes to the underlying vulnerability against adversarial examples. Across existing defense techniques, adversarial training with the projected gradient decent attack (adv.PGD) is considered as one of the most effective ways to achieve moderate adversarial robustness. However, adv.PGD requires too much training time since the projected gradient attack (PGD) takes multiple iterations to generate perturbations. On the other hand, adversarial training with the fast gradient sign method (adv.FGSM) takes much less training time since the fast gradient sign method (FGSM) takes one step to generate perturbations but fails to increase adversarial robustness. In this work, we extend adv.FGSM to make it achieve the adversarial robustness of adv.PGD. We demonstrate that the large curvature along FGSM perturbed direction leads to a large difference in performance of adversarial robustness between adv.FGSM and adv.PGD, and therefore propose combining adv.FGSM with a curvature regularization (adv.FGSMR) in order to bridge the performance gap between adv.FGSM and adv.PGD. The experiments show that adv.FGSMR has higher training efficiency than adv.PGD. In addition, it achieves comparable performance of adversarial robustness on MNIST dataset under white box attack, and it achieves better performance than adv.PGD under white box attack and effectively defends the transferable adversarial attack on CIFAR 10 dataset.


Saturated k Plane Drawings with Few Edges. A drawing of a graph is k plane if no edge is crossed more than k times. In this paper we study saturated k plane drawings with few edges. This are k plane drawings in which no edge can be added without violating k planarity. For every number of vertices n k 1 , we present a tight construction with frac n 1 k 1 edges for the case in which the edges can self intersect. If we restrict the drawings to be ell simple we show that the number of edges in saturated k plane drawings must be higher. We present constructions with few edges for different values of k and ell . Finally, we investigate saturated straight line k plane drawings.


Relative Leray numbers via spectral sequences. Let mathbb F be a fixed field and let X be a simplicial complex on the vertex set V . The Leray number L(X mathbb F ) is the minimal d such that for all i geq d and S subset V , the induced complex X S satisfies tilde H i(X S mathbb F ) 0 . Leray numbers play a role in formulating and proving topological Helly type theorems. For two complexes X,Y on the same vertex set V , define the relative Leray number L Y(X mathbb F ) as the minimal d such that tilde H i(X V setminus sigma mathbb F ) 0 for all i geq d and sigma in Y . In this paper we extend the topological colorful Helly theorem to the relative setting. Our main tool is a spectral sequence for the intersection of complexes indexed by a geometric lattice.


Efficient Cloud based Secret Shuffling via Homomorphic Encryption. When working with joint collections of confidential data from multiple sources, e.g., in cloud based multi party computation scenarios, the ownership relation between data providers and their inputs itself is confidential information. Protecting data providers' privacy desires a function for secretly shuffling the data collection. We present the first efficient secure multi party computation protocol for secret shuffling in scenarios with a central server. Based on a novel approach to random index distribution, our solution enables the randomization of the order of a sequence of encrypted data such that no observer can map between elements of the original sequence and the shuffled sequence with probability better than guessing. It allows for shuffling data encrypted under an additively homomorphic cryptosystem with constant round complexity and linear computational complexity. Being a general purpose protocol, it is of relevance for a variety of practical use cases.


Two new classes of n exangulated categories. Herschend Liu Nakaoka introduced the notion of n exangulated categories. It is not only a higher dimensional analogue of extriangulated categories defined by Nakaoka Palu, but also gives a simultaneous generalization of n exact categories and (n 2) angulated categories. Let mathcal C be an n exangulated category and mathcal X a full subcategory of mathcal C . If mathcal X satisfies mathcal X subseteq mathcal P cap mathcal I , then we give a necessary and sufficient condition for the ideal quotient mathcal C mathcal X to be an n exangulated category, where mathcal P (resp. mathcal I ) is the full subcategory of projective (resp. injective) objects in mathcal C . In addition, we define the notion of n proper class in mathcal C . If xi is an n proper class in mathcal C , then we prove that mathcal C admits a new n exangulated structure. These two ways give n exangulated categories which are neither n exact nor (n 2) angulated in general.


Person in WiFi Fine grained Person Perception using WiFi. Fine grained person perception such as body segmentation and pose estimation has been achieved with many 2D and 3D sensors such as RGB depth cameras, radars (e.g., RF Pose) and LiDARs. These sensors capture 2D pixels or 3D point clouds of person bodies with high spatial resolution, such that the existing Convolutional Neural Networks can be directly applied for perception. In this paper, we take one step forward to show that fine grained person perception is possible even with 1D sensors WiFi antennas. To our knowledge, this is the first work to perceive persons with pervasive WiFi devices, which is cheaper and power efficient than radars and LiDARs, invariant to illumination, and has little privacy concern comparing to cameras. We used two sets of off the shelf WiFi antennas to acquire signals, i.e., one transmitter set and one receiver set. Each set contains three antennas lined up as a regular household WiFi router. The WiFi signal generated by a transmitter antenna, penetrates through and reflects on human bodies, furniture and walls, and then superposes at a receiver antenna as a 1D signal sample (instead of 2D pixels or 3D point clouds). We developed a deep learning approach that uses annotations on 2D images, takes the received 1D WiFi signals as inputs, and performs body segmentation and pose estimation in an end to end manner. Experimental results on over 100000 frames under 16 indoor scenes demonstrate that Person in WiFi achieved person perception comparable to approaches using 2D images.


Directional TSDF Modeling Surface Orientation for Coherent Meshes. Real time 3D reconstruction from RGB D sensor data plays an important role in many robotic applications, such as object modeling and mapping. The popular method of fusing depth information into a truncated signed distance function (TSDF) and applying the marching cubes algorithm for mesh extraction has severe issues with thin structures not only does it lead to loss of accuracy, but it can generate completely wrong surfaces. To address this, we propose the directional TSDF a novel representation that stores opposite surfaces separate from each other. The marching cubes algorithm is modified accordingly to retrieve a coherent mesh representation. We further increase the accuracy by using surface gradient based ray casting for fusing new measurements. We show that our method outperforms state of the art TSDF reconstruction algorithms in mesh accuracy.


Smart Homes Security Challenges and Privacy Concerns. Development and growth of Internet of Things (IoT) technology has exponentially increased over the course of the last 10 years since its inception, and as a result has directly influenced the popularity and size of smart homes. In this article we present the main technologies and applications that constitute a smart home, we identify the main security and privacy challenges that smart home face and we provide good practices to mitigate those threats.


A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving. Safely interacting with humans is a significant challenge for autonomous driving. The performance of this interaction depends on machine learning based modules of an autopilot, such as perception, behavior prediction, and planning. These modules require training datasets with high quality labels and a diverse range of realistic dynamic behaviors. Consequently, training such modules to handle rare scenarios is difficult because they are, by definition, rarely represented in real world datasets. Hence, there is a practical need to augment datasets with synthetic data covering these rare scenarios. In this paper, we present a platform to model dynamic and interactive scenarios, generate the scenarios in simulation with different modalities of labeled sensor data, and collect this information for data augmentation. To our knowledge, this is the first integrated platform for these tasks specialized to the autonomous driving domain.


Existence and uniqueness of strong solutions for the system of interaction between a compressible Navier Stokes Fourier fluid and a damped plate equation. The article is devoted to the mathematical analysis of a fluid structure interaction system where the fluid is compressible and heat conducting and where the structure is deformable and located on a part of the boundary of the fluid domain. The fluid motion is modeled by the compressible Navier Stokes Fourier system and the structure displacement is described by a structurally damped plate equation. Our main results are the existence of strong solutions in an L p L q setting for small time or for small data. Through a change of variables and a fixed point argument, the proof of the main results is mainly based on the maximal regularity property of the corresponding linear systems. For small time existence, this property is obtained by decoupling the linear system into several standard linear systems whereas for global existence and for small data, the maximal regularity property is proved by showing that the corresponding linear coupled em fluid structure operator is mathcal R sectorial.


Opinion Dynamics of Online Social Network Users A Micro Level Analysis. In this paper, we present an empirical study of the opinion dynamics of a large scale sample of online social network users. We estimate opinions of users as continuous scalars based on their subscriptions to information sources and analyze how friendship connections affect the dynamics of these estimations. Distinguishing between positive (toward opinions of friends) and negative (away from opinions of friends) opinion shifts, we find that the existence and magnitude of opinion shifts are positively related (largely through a linear form or an inverted U shaped form) to the degree of divergence in opinions between user and their friends. Additionally, we moderate the balance between positive and negative shifts using opinion divergence if the opinions of the focal user and their friends are too similar or dissimilar, there is a relatively low chance of a positive shift.


Asymptotic Divergences and Strong Dichotomy. The Schnorr Stimm dichotomy theorem concerns finite state gamblers that bet on infinite sequences of symbols taken from a finite alphabet Sigma . In this paper we use the Kullback Leibler divergence to formulate the textit lower asymptotic divergence text div (S alpha) of a probability measure alpha on Sigma from a sequence S over Sigma and the textit upper asymptotic divergence text Div (S alpha) of alpha from S in such a way that a sequence S is alpha normal (meaning that every string w has asymptotic frequency alpha(w) in S ) if and only if text Div (S alpha) 0 . We also use the Kullback Leibler divergence to quantify the textit total risk text Risk G(w) that a finite state gambler G takes when betting along a prefix w of S . Our main theorem is a textit strong dichotomy theorem that uses the above notions to textit quantify the exponential rates of winning and losing on the two sides of the Schnorr Stimm dichotomy theorem (with the latter routinely extended from normality to alpha normality). Modulo asymptotic caveats in the paper, our strong dichotomy theorem says that the following two things hold for prefixes w of S . (1) The infinitely often exponential rate of winning is 2 text Div (S alpha) w . (2) The exponential rate of loss is 2 text Risk G(w) . We also use (1) to show that 1 text Div (S alpha) c , where c log(1 min a in Sigma alpha(a)) , is an upper bound on the finite state alpha dimension of S and prove the dual fact that 1 text div (S alpha) c is an upper bound on the finite state strong alpha dimension of S .


Extending drawings of complete graphs into arrangements of pseudocircles. Motivated by the successful application of geometry to proving the Harary Hill Conjecture for "pseudolinear" drawings of K n , we introduce "pseudospherical" drawings of graphs. A spherical drawing of a graph G is a drawing in the unit sphere mathbb S 2 in which the vertices of G are represented as points no three on a great circle and the edges of G are shortest arcs in mathbb S 2 connecting pairs of vertices. Such a drawing has three properties (1) every edge e is contained in a simple closed curve gamma e such that the only vertices in gamma e are the ends of e (2) if e ne f , then gamma e cap gamma f has precisely two crossings and (3) if e ne f , then e intersects gamma f at most once, either in a crossing or an end of e . We use Properties (1) (3) to define a pseudospherical drawing of G . Our main result is that, for the complete graph, Properties (1) (3) are equivalent to the same three properties but with "precisely two crossings" in (2) replaced by "at most two crossings". The proof requires a result in the geometric transversal theory of arrangements of pseudocircles. This is proved using the surprising result that the absence of special arcs ( coherent spirals) in an arrangement of simple closed curves characterizes the fact that any two curves in the arrangement have at most two crossings. Our studies provide the necessary ideas for exhibiting a drawing of K 10 that has no extension to an arrangement of pseudocircles and a drawing of K 9 that does extend to an arrangement of pseudocircles, but no such extension has all pairs of pseudocircles crossing twice.


Mapping class groups, skein algebras and combinatorial quantization. The algebras mathcal L g,n (H) have been introduced by Alekseev Grosse Schomerus and Buffenoir Roche in the middle of the 1990's, in the program of combinatorial quantization of the moduli space of flat connections over the surface Sigma g,n of genus g with n open disks removed. In this thesis we apply these algebras mathcal L g,n (H) to low dimensional topology (mapping class groups and skein algebras of surfaces), under the assumption that the gauge algebra H is a finite dimensional factorizable ribbon Hopf algebra which is not necessarily semisimple, the guiding example being the restricted quantum group bar U q( mathfrak sl 2) (where q is a 2p th root of unity). First, we construct from mathcal L g,n (H) a projective representation of the mapping class group of Sigma g,0 . We provide formulas for the representations of Dehn twists generating the mapping class group and we use these formulas to show that our representation is equivalent to the one constructed by Lyubashenko Majid and Lyubashenko via categorical methods. For the torus Sigma 1,0 with the gauge algebra bar U q( mathfrak sl 2) , we compute explicitly the representation of mathrm SL 2( mathbb Z ) and we determine its structure. Second, we introduce a diagrammatic description of mathcal L g,n (H) which enables us to define in a very natural way the Wilson loop map W . This map associates an element of mathcal L g,n (H) to any link in ( Sigma g,n ! setminus ! D) times 0,1 which is framed, oriented and colored by H modules. When the gauge algebra is H bar U q( mathfrak sl 2) , we use W and the representations of mathcal L g,n (H) to construct representations of the skein algebras mathcal S q( Sigma g,n ) for q a 2p th root of unity. For the torus Sigma 1,0 we explicitly study this representation.


A machine learning framework for LES closure terms. In the present work, we explore the capability of artificial neural networks (ANN) to predict the closure terms for large eddy simulations (LES) solely from coarse scale data. To this end, we derive a consistent framework for LES closure models, with special emphasis laid upon the incorporation of implicit discretization based filters and numerical approximation errors. We investigate implicit filter types, which are inspired by the solution representation of discontinuous Galerkin and finite volume schemes and mimic the behaviour of the discretization operator, and a global Fourier cutoff filter as a representative of a typical explicit LES filter. Within the perfect LES framework, we compute the exact closure terms for the different LES filter functions from direct numerical simulation results of decaying homogeneous isotropic turbulence. Multiple ANN with a multilayer perceptron (MLP) or a gated recurrent unit (GRU) architecture are trained to predict the computed closure terms solely from coarse scale input data. For the given application, the GRU architecture clearly outperforms the MLP networks in terms of accuracy, whilst reaching up to 99.9 cross correlation between the networks' predictions and the exact closure terms for all considered filter functions. The GRU networks are also shown to generalize well across different LES filters and resolutions. The present study can thus be seen as a starting point for the investigation of data based modeling approaches for LES, which not only include the physical closure terms, but account for the discretization effects in implicitly filtered LES as well.


Facial Feedback for Reinforcement Learning A Case Study and Offline Analysis Using the TAMER Framework. Interactive reinforcement learning provides a way for agents to learn to solve tasks from evaluative feedback provided by a human user. Previous research showed that humans give copious feedback early in training but very sparsely thereafter. In this article, we investigate the potential of agent learning from trainers' facial expressions via interpreting them as evaluative feedback. To do so, we implemented TAMER which is a popular interactive reinforcement learning method in a reinforcement learning benchmark problem Infinite Mario, and conducted the first large scale study of TAMER involving 561 participants. With designed CNN RNN model, our analysis shows that telling trainers to use facial expressions and competition can improve the accuracies for estimating positive and negative feedback using facial expressions. In addition, our results with a simulation experiment show that learning solely from predicted feedback based on facial expressions is possible and using strong effective prediction models or a regression method, facial responses would significantly improve the performance of agents. Furthermore, our experiment supports previous studies demonstrating the importance of bi directional feedback and competitive elements in the training interface.


Really Embedding Domain Specific Languages into C . Domain specific languages (DSLs) are both pervasive and powerful, but remain difficult to integrate into large projects. As a result, while DSLs can bring distinct advantages in performance, reliability, and maintainability, their use often involves trading off other good software engineering practices. In this paper, we describe an extension to the Clang C compiler to support syntax plugins, and we demonstrate how this mechanism allows making use of DSLs inside of a C code base without needing to separate the DSL source code from the surrounding C code.


A Survey on Wild Mathematics. We usually construct mathematical objects that are accessible, on which we can put our hands, but a huge part of the mathematical existing is actually wild. Here we explore part of the wild world its inhabitants are knots that are infinitely knotted, spheres that try to hug themselves, colorful earrings, labyrinths of labyrinths...


Exploring the Potentials of the Multi modal Equivalent Circuit Approach for Stacks of 2 D Aperture Arrays. Many frequency selective surface (FSS) structures are based on the use of a single periodic array of slot apertures in a conducting sheet embedded in a layered medium. However, it is well known that stacking several conducting sheets and breaking the alignment of the stack can bring multiple benefits to the structure. In this paper, the analysis and design of stacks of 2 D aperture arrays are carried out by exploiting as much as possible all the potentialities of a rigorous and systematic formulation based on the multi modal equivalent circuit approach (ECA). A key feature of the formulation is that linear transformations between the apertures of adjacent plates (rotation, translation, and scaling) can be dealt with from a purely analytical perspective. This fact is of potential interest for many practical applications, such as the design of polarization converters, absorbers, filters, and thin matching layers. When the apertures have an arbitrary geometry, it can be applied a hybrid approach that combines the ability of commercial simulators to handle arbitrary geometries with the fast computation times and physical insight of the ECA. In general, either the purely analytical or the hybrid approach can be applied in those many practical scenarios where the spatial profile of the electric field on the considered apertures hardly changes with frequency. As an additional feature of the approach, the dispersion properties (phase attenuation constants and Bloch impedance) of infinite periodic stacks can be derived and, in particular, analytical expressions for mirror and glide symmetric configurations are provided.


A report on personally identifiable sensor data from smartphone devices. An average smartphone is equipped with an abundance of sensors to provide a variety of vital functionalities and conveniences. The data from these sensors can be collected in order to find trends or discover interesting correlations in the data but can also be used by nefarious entities for the purpose of revealing the identity of the persons who generated this data.In this paper, we seek to identify what types of sensor data can be collected on a smartphone and which of those types can pose a threat to user privacy by looking into the hardware capabilities of modern smartphone devices and how smartphone data is used in the literature. We then summarize some implications that this information could have on the GDPR.


String to String Interpretations with Polynomial Size Output. String to string MSO interpretations are like Courcelle's MSO transductions, except that a single output position can be represented using a tuple of input positions instead of just a single input position. In particular, the output length is polynomial in the input length, as opposed to MSO transductions, which have output of linear length. We show that string to string MSO interpretations are exactly the polyregular functions. The latter class has various characterizations, one of which is that it consists of the string to string functions recognized by pebble transducers. Our main result implies the surprising fact that string to string MSO interpretations are closed under composition.


Liquid crystal display (LCD) of achromatic, mean modulated flicker in clinical assessment and experimental studies of visual systems. Achromatic, mean modulated flicker (wherein luminance increments and decrements of equal magnitude are applied, over time, to a test field) is commonly used in both clinical assessment of vision and experimental studies of visual systems. However, presenting flicker on computer controlled displays is problematic displays typically introduce luminance artifacts at high flicker frequency or contrast, potentially interfering with the validity of findings. Here, we present a battery of tests used to weigh the relative merits of two displays for presenting achromatic, mean modulated flicker. These tests revealed marked differences between a new high performance liquid crystal display (LCD EIZO ColorEdge CG247X) and a new consumer grade LCD (Dell U2415b), despite displays' vendor supplied specifications being almost identical. We measured displayed luminance using a spot meter and a linearized photodiode. We derived several measures, including spatial uniformity, the effect of viewing angle, response times, Fourier amplitude spectra, and cycle averaged luminance. We presented paired luminance pulses to quantify the displays' nonlinear dynamics. The CG247X showed relatively good spatial uniformity (e.g., at moderate luminance, standard deviation 2.8 versus U2415b's 5.3 ). Fourier transformation of nominally static test patches revealed spectra free of artifacts, with the exception of a frame response. The CG247X's rise and fall times depended on both the luminance from which, and to which, it responded, as is to be generally expected from LCDs. Despite this nonlinear behaviour, we were able to define a contrast and frequency range wherein the CG247X appeared largely artifact free the relationship between nominal luminance and displayed luminance was accurately modelled using a causal, linear time invariant system. This range included contrasts up to 80 , and flicker frequencies up to 30 Hz.


Propagation of terahertz waves in a dust acoustic wave. The propagation of terahertz waves in a dust acoustic wave is investigated numerically. By assuming a sinus profile of the dust number density in the dust acoustic waves, the transmission properties are calculated using finite difference time domain method. It shows that the dust acoustic wave can function similarly as a Bragg filter to block the terahertz waves of a certain wavelength. The bandwidth of the filter depends on the density profile of the dust acoustic wave.


Encoding word order in complex embeddings. Sequential word order is important when processing text. Currently, neural networks (NNs) address this by modeling word position using position embeddings. The problem is that position embeddings capture the position of individual words, but not the ordered relationship (e.g., adjacency or precedence) between individual word positions. We present a novel and principled solution for modeling both the global absolute positions of words and their order relationships. Our solution generalizes word embeddings, previously defined as independent vectors, to continuous word functions over a variable (position). The benefit of continuous functions over variable positions is that word representations shift smoothly with increasing positions. Hence, word representations in different positions can correlate with each other in a continuous function. The general solution of these functions is extended to complex valued domain due to richer representations. We extend CNN, RNN and Transformer NNs to complex valued versions to incorporate our complex embedding (we make all code available). Experiments on text classification, machine translation and language modeling show gains over both classical word embeddings and position enriched word embeddings. To our knowledge, this is the first work in NLP to link imaginary numbers in complex valued representations to concrete meanings (i.e., word order).


HoVer A Dataset for Many Hop Fact Extraction And Claim Verification. We introduce HoVer (HOppy VERification), a dataset for many hop evidence extraction and fact verification. It challenges models to extract facts from several Wikipedia articles that are relevant to a claim and classify whether the claim is Supported or Not Supported by the facts. In HoVer, the claims require evidence to be extracted from as many as four English Wikipedia articles and embody reasoning graphs of diverse shapes. Moreover, most of the 3 4 hop claims are written in multiple sentences, which adds to the complexity of understanding long range dependency relations such as coreference. We show that the performance of an existing state of the art semantic matching model degrades significantly on our dataset as the number of reasoning hops increases, hence demonstrating the necessity of many hop reasoning to achieve strong results. We hope that the introduction of this challenging dataset and the accompanying evaluation task will encourage research in many hop fact retrieval and information verification. We make the HoVer dataset publicly available at https hover nlp.github.io


Unstructured Space Time Finite Element Methods for Optimal Sparse Control of Parabolic Equations. We consider a space time finite element method on fully unstructured simplicial meshes for optimal sparse control of semilinear parabolic equations. The objective is a combination of a standard quadratic tracking type functional including a Tikhonov regularization term and of the L 1 norm of the control that accounts for its spatio temporal sparsity. We use a space time Petrov Galerkin finite element discretization for the first order necessary optimality system of the associated discrete optimal sparse control problem. The discretization is based on a variational formulation that employs piecewise linear finite elements simultaneously in space and time. Finally, the discrete nonlinear optimality system that consists of coupled forward backward state and adjoint state equations is solved by a semismooth Newton method.


The Steiner distance problem for large vertex subsets in the hypercube. We find the asymptotic behavior of the Steiner k diameter of the n cube if k is large. Our main contribution is the lower bound, which utilizes the probabilistic method.


Integrating Objects into Monocular SLAM Line Based Category Specific Models. We propose a novel Line based parameterization for category specific CAD models. The proposed parameterization associates 3D category specific CAD model and object under consideration using a dictionary based RANSAC method that uses object Viewpoints as prior and edges detected in the respective intensity image of the scene. The association problem is posed as a classical Geometry problem rather than being dataset driven, thus saving the time and labour that one invests in annotating dataset to train Keypoint Network for different category objects. Besides eliminating the need of dataset preparation, the approach also speeds up the entire process as this method processes the image only once for all objects, thus eliminating the need of invoking the network for every object in an image across all images. A 3D 2D edge association module followed by a resection algorithm for lines is used to recover object poses. The formulation optimizes for shape and pose of the object, thus aiding in recovering object 3D structure more accurately. Finally, a Factor Graph formulation is used to combine object poses with camera odometry to formulate a SLAM problem.


On a group analogue of the Heyde theorem. Heyde proved that a Gaussian distribution on a real line is characterized by the symmetry of the conditional distribution of one linear form given another. The present article is devoted to an analog of the Heyde theorem in the case when random variables take values in a locally compact Abelian group and the coefficients of the linear forms are integers.


On the mathrm EO orientability of vector bundles. We study the orientability of vector bundles with respect to a family of cohomology theories called mathrm EO theories. The mathrm EO theories are higher height analogues of real mathrm K theory mathrm KO . For each mathrm EO theory, we prove that the direct sum of i copies of any vector bundle is mathrm EO orientable for some specific integer i . Using a splitting principal, we reduce to the case of the canonical line bundle over mathbb CP infty . Our method involves understanding the action of an order p subgroup of the Morava stabilizer group on the Morava mathrm E theory of mathbb CP infty . Our calculations have another application We determine the homotopy type of the mathrm S 1 Tate spectrum associated to the trivial action of mathrm S 1 on all mathrm EO theories.


A Variational Approach to Weakly Supervised Document Level Multi Aspect Sentiment Classification. In this paper, we propose a variational approach to weakly supervised document level multi aspect sentiment classification. Instead of using user generated ratings or annotations provided by domain experts, we use target opinion word pairs as "supervision." These word pairs can be extracted by using dependency parsers and simple rules. Our objective is to predict an opinion word given a target word while our ultimate goal is to learn a sentiment polarity classifier to predict the sentiment polarity of each aspect given a document. By introducing a latent variable, i.e., the sentiment polarity, to the objective function, we can inject the sentiment polarity classifier to the objective via the variational lower bound. We can learn a sentiment polarity classifier by optimizing the lower bound. We show that our method can outperform weakly supervised baselines on TripAdvisor and BeerAdvocate datasets and can be comparable to the state of the art supervised method with hundreds of labels per aspect.


Effective electron temperature measurement using time resolved anti Stokes photoluminescence. Anti Stokes photoluminescence of metal nanoparticles, in which emitted photons have a higher energy than the incident photons, is an indicator of the temperature prevalent within a nanoparticle. Previous work has shown how to extract the temperature from a gold nanoparticle under continuous wave monochromatic illumination. We extend the technique to pulsed illumination and introduce pump probe anti Stokes spectroscopy. This new technique enables us not only to measure an effective electron temperature in a gold nanoparticle ( sim 10 3 K under our conditions), but also to measure ultrafast dynamics of a pulse excited electron population, through its effect on the photoluminescence, with sub picosecond time resolution. We measure the heating and cooling, all within picoseconds, of the electrons and find that, with our sub picosecond pulses, the highest apparent temperature is reached 0.6 ps before the maximum change in magnitude of the extinction signal


Central extensions and bounded cohomology. It was shown by Gersten that a central extension of a finitely generated group is quasi isometrically trivial provided that its Euler class is bounded. We say that a finitely generated group G satisfies Property QITB (quasi isometrically trivial implies bounded) if the Euler class of any quasi isometrically trivial central extension of G is bounded. We exhibit a finitely generated group G which does not satisfy Property QITB. This answers a question by Neumann and Reeves, and provides partial answers to related questions by Wienhard and Blank. We also prove that Property QITB holds for a large class of groups, including amenable groups, right angled Artin groups, relatively hyperbolic groups with amenable peripheral subgroups, and 3 manifold groups. Finally, we show that Property QITB holds for every finitely presented group if a conjecture by Gromov on bounded primitives of differential forms holds as well.


SUBPLEX Towards a Better Understanding of Black Box Model Explanations at the Subpopulation Level. Understanding the interpretation of machine learning (ML) models has been of paramount importance when making decisions with societal impacts such as transport control, financial activities, and medical diagnosis. While current model interpretation methodologies focus on using locally linear functions to approximate the models or creating self explanatory models that give explanations to each input instance, they do not focus on model interpretation at the subpopulation level, which is the understanding of model interpretations across different subset aggregations in a dataset. To address the challenges of providing explanations of an ML model across the whole dataset, we propose SUBPLEX, a visual analytics system to help users understand black box model explanations with subpopulation visual analysis. SUBPLEX is designed through an iterative design process with machine learning researchers to address three usage scenarios of real life machine learning tasks model debugging, feature selection, and bias detection. The system applies novel subpopulation analysis on ML model explanations and interactive visualization to explore the explanations on a dataset with different levels of granularity. Based on the system, we conduct user evaluation to assess how understanding the interpretation at a subpopulation level influences the sense making process of interpreting ML models from a user's perspective. Our results suggest that by providing model explanations for different groups of data, SUBPLEX encourages users to generate more ingenious ideas to enrich the interpretations. It also helps users to acquire a tight integration between programming workflow and visual analytics workflow. Last but not least, we summarize the considerations observed in applying visualization to machine learning interpretations.


Non linear extended MHD simulations of type I edge localised mode cycles in ASDEX Upgrade and their underlying triggering mechanism. A triggering mechanism responsible for the explosive onset of edge localised modes (ELMs) in fusion plasmas is identified by performing, for the first time, non linear magnetohydrodynamic simulations of repetitive type I ELMs. Briefly prior to the ELM crash, destabilising and stabilising terms are affected at different timescales by an increasingly ergodic magnetic field caused by non linear interactions between the axisymmetric background plasma and growing non axisymmetric perturbations. The separation of timescales prompts the explosive, i.e. faster than exponential, growth of an ELM crash which lasts sim 500 mu s. The duration and size of the simulated ELM crashes compare qualitatively well with type I ELMs in ASDEX Upgrade. As expected for type I ELMs, a direct proportionality between the heating power in the simulations and the ELM repetition frequency is obtained. The simulations presented here are a major step forward towards predictive modelling of ELMs and of the assessment of mitigation techniques in ITER and other future tokamaks.


Commonsense knowledge adversarial dataset that challenges ELECTRA. Commonsense knowledge is critical in human reading comprehension. While machine comprehension has made significant progress in recent years, the ability in handling commonsense knowledge remains limited. Synonyms are one of the most widely used commonsense knowledge. Constructing adversarial dataset is an important approach to find weak points of machine comprehension models and support the design of solutions. To investigate machine comprehension models' ability in handling the commonsense knowledge, we created a Question and Answer Dataset with common knowledge of Synonyms (QADS). QADS are questions generated based on SQuAD 2.0 by applying commonsense knowledge of synonyms. The synonyms are extracted from WordNet. Words often have multiple meanings and synonyms. We used an enhanced Lesk algorithm to perform word sense disambiguation to identify synonyms for the context. ELECTRA achieves the state of art result on the SQuAD 2.0 dataset in 2019. With scale, ELECTRA can achieve similar performance as BERT does. However, QADS shows that ELECTRA has little ability to handle commonsense knowledge of synonyms. In our experiment, ELECTRA small can achieve 70 accuracy on SQuAD 2.0, but only 20 on QADS. ELECTRA large did not perform much better. Its accuracy on SQuAD 2.0 is 88 but dropped significantly to 26 on QADS. In our earlier experiments, BERT, although also failed badly on QADS, was not as bad as ELECTRA. The result shows that even top performing NLP models have little ability to handle commonsense knowledge which is essential in reading comprehension.


Cycle SUM Cycle consistent Adversarial LSTM Networks for Unsupervised Video Summarization. In this paper, we present a novel unsupervised video summarization model that requires no manual annotation. The proposed model termed Cycle SUM adopts a new cycle consistent adversarial LSTM architecture that can effectively maximize the information preserving and compactness of the summary video. It consists of a frame selector and a cycle consistent learning based evaluator. The selector is a bi direction LSTM network that learns video representations that embed the long range relationships among video frames. The evaluator defines a learnable information preserving metric between original video and summary video and "supervises" the selector to identify the most informative frames to form the summary video. In particular, the evaluator is composed of two generative adversarial networks (GANs), in which the forward GAN is learned to reconstruct original video from summary video while the backward GAN learns to invert the processing. The consistency between the output of such cycle learning is adopted as the information preserving metric for video summarization. We demonstrate the close relation between mutual information maximization and such cycle learning procedure. Experiments on two video summarization benchmark datasets validate the state of the art performance and superiority of the Cycle SUM model over previous baselines.


Numerical Aspects of Computing Possible Equilibria for Resource Dependent Branching Processes with Immigration. This article studies the stability of solutions of equilibrium equations arising in so called resource dependent branching processes. We argue that these new models, building on the model already presented by Bruss (1984 a), refined and elaborated in Bruss and Duerinckx (2015) and now extended to allow immigration, are suitable to cope with specific properties of human populations. Our main interest is here to understand under which conditions immigration may lead to an equilibrium. At the same time, we would like to advertize resource dependent branching processes as possibly the best models to study such questions. The equilibrium equations for the new models we obtain are clear and informative for several important stability questions. The goal of the study of the specific examples we provide is to see where the impact of immigration is most visible, and in how far increased efforts of integration can cope with dangers of instability. Moreover we discuss the advantages and a weaker point of our model, and also include a brief look at continuous state, continuous time branching processes as an alternative.


The Coarse Geometric ell p Novikov Conjecture for Subspaces of Non positively Curved Manifolds. In this paper, we prove the coarse geometric ell p Novikov Conjecture for metric spaces with bounded geometry which admit a coarse embedding into a simply connected complete Riemannian manifold of nonpositive sectional curvature.


Verification and Synthesis of Symmetric Uni Rings for Leads To Properties. This paper investigates the verification and synthesis of parameterized protocols that satisfy leadsto properties R leadsto Q on symmetric unidirectional rings (a.k.a. uni rings) of deterministic and constant space processes under no fairness and interleaving semantics, where R and Q are global state predicates. First, we show that verifying R leadsto Q for parameterized protocols on symmetric uni rings is undecidable, even for deterministic and constant space processes, and conjunctive state predicates. Then, we show that surprisingly synthesizing symmetric uni ring protocols that satisfy R leadsto Q is actually decidable. We identify necessary and sufficient conditions for the decidability of synthesis based on which we devise a sound and complete polynomial time algorithm that takes the predicates R and Q , and automatically generates a parameterized protocol that satisfies R leadsto Q for unbounded (but finite) ring sizes. Moreover, we present some decidability results for cases where leadsto is required from multiple distinct R predicates to different Q predicates. To demonstrate the practicality of our synthesis method, we synthesize some parameterized protocols, including agreement and parity protocols.


GMRES on singular systems revisited. In Hayami K, Sugihara M. Numer Linear Algebra Appl. 2011 18 449 469 , the authors analyzed the convergence behaviour of the Generalized Minimal Residual (GMRES) method for the least squares problem min bf x in bf R n bf b A bf x 2 2 , where A in bf R n times n may be singular and bf b in bf R n , by decomposing the algorithm into the range cal R (A) and its orthogonal complement cal R (A) perp components. However, we found that the proof of the fact that GMRES gives a least squares solution if cal R (A) cal R (A scriptsize T ) was not complete. In this paper, we will give a complete proof.


Empowering the Earth system by technology Using thermodynamics of the Earth system to illustrate a possible sustainable future of the planet. With the use of the appropriate technology, such as photovoltaics and seawater desalination, humans have the ability to sustainably increase their production of food and energy while minimising detrimental impacts on the Earth system.


hauWE Hausa Words Embedding for Natural Language Processing. Words embedding (distributed word vector representations) have become an essential component of many natural language processing (NLP) tasks such as machine translation, sentiment analysis, word analogy, named entity recognition and word similarity. Despite this, the only work that provides word vectors for Hausa language is that of Bojanowski et al. 1 trained using fastText, consisting of only a few words vectors. This work presents words embedding models using Word2Vec's Continuous Bag of Words (CBoW) and Skip Gram (SG) models. The models, hauWE (Hausa Words Embedding), are bigger and better than the only previous model, making them more useful in NLP tasks. To compare the models, they were used to predict the 10 most similar words to 30 randomly selected Hausa words. hauWE CBoW's 88.7 and hauWE SG's 79.3 prediction accuracy greatly outperformed Bojanowski et al. 1 's 22.3 .


Probing bulk viscosity in relativistic flows. We derive an analytical connection between kinetic relaxation rate and bulk viscosity of a relativistic fluid in d spatial dimensions, all the way from the ultra relativistic down to the near non relativistic regime. Our derivation is based on both Chapman Enskog asymptotic expansion and Grad's method of moments. We validate our theoretical results against a benchmark flow, providing further evidence of the correctness of the Chapman Enskog approach we define the range of validity of this approach and provide evidence of mounting departures at increasing Knudsen number. Finally, we present numerical simulations of transport processes in quark gluon plasmas, with special focus on the effects of bulk viscosity which might prove amenable to future experimental verification.


Random K k removal algorithm. One interesting question is how a graph develops from some constrained random graph process, which is a fundamental mechanism in the formation and evolution of dynamic networks. The problem here is referred to the random K k removal algorithm. For a fixed integer k geqslant 3 , it starts with a complete graph on n rightarrow infty vertices and iteratively removes the edges of an uniformly chosen K k . This algorithm terminates once no K k s remain and at the same time it generates one linear k uniform hypergraph. For k 3 , it was shown that the size in the final graph is n 3 2 o(1) . Less results are on the cases when k geqslant 4 . In this paper, we prove that the exact expected trajectories of various key parameters in the algorithm to some iteration such that the final size in the algorithm is at most n 2 1 (k(k 1) 2) o(1) for k geqslant 4 . We also show the bound is a natural barrier.


Killing forms on 2 step nilmanifolds. We study left invariant Killing k forms on simply connected 2 step nilpotent Lie groups endowed with a left invariant Riemannian metric. For k 2,3 , we show that every left invariant Killing k form is a sum of Killing forms on the factors of the de Rham decomposition. Moreover, on each irreducible factor, non zero Killing 2 forms define (after some modification) a bi invariant orthogonal complex structure and non zero Killing 3 forms arise only if the Riemannian Lie group is naturally reductive when viewed as a homogeneous space under the action of its isometry group. In both cases, k 2 or k 3 , we show that the space of Killing k forms of an irreducible Riemannian 2 step nilpotent Lie group is at most one dimensional.


Polyhedral Friction Cone Estimator for Object Manipulation. A polyhedral friction cone is a set of reaction wrenches that an object can experience whilst in contact with its environment. This polyhedron is a powerful tool to control an object's motion and interaction with the environment. It can be derived analytically, upon knowledge of object and environment geometries, contact point locations and friction coefficients. We propose to estimate the polyhedral friction cone so that a priori knowledge of these quantities is no longer required. Additionally, we introduce a solution to transform the estimated friction cone to avoid re estimation while the object moves. We present an analysis of the estimated polyhedral friction cone and demonstrate its application for manipulating an object in simulation and with a real robot.


Program Verification via Predicate Constraint Satisfiability Modulo Theories. This paper presents a verification framework based on a new class of predicate Constraint Satisfaction Problems called pCSP where constraints are represented as clauses modulo first order theories over function variables and predicate variables that may represent well founded predicates. The verification framework generalizes an existing one based on Constrained Horn Clauses (CHCs) to arbitrary clauses, function variables, and well foundedness constraints. While it is known that the satisfiability of CHCs and the validity of queries for Constrained Logic Programs (CLP) are inter reducible, we show that, thanks to the added expressiveness, pCSP is expressive enough to express muCLP queries. muCLP itself is a new extension of CLP that we propose in this paper. It extends CLP with arbitrarily nested inductive and co inductive predicates and is equi expressive as first order fixpoint logic. We show that muCLP can naturally encode a wide variety of verification problems including but not limited to termination non termination verification and even full modal mu calculus model checking of programs written in various languages. To establish our verification framework, we present (1) a sound and complete reduction algorithm from muCLP to pCSP and (2) a constraint solving method for pCSP based on stratified CounterExample Guided Inductive Synthesis (CEGIS) of (co )inductive invariants, ranking functions, and Skolem functions witnessing existential quantifiers. Stratified CEGIS combines CEGIS with stratified families of templates to achieve relative completeness and faster and stable convergence of CEGIS by avoiding the overfitting problem. We have implemented the proposed framework and obtained promising results on diverse verification problems that are beyond the scope of the previous verification frameworks based on CHCs.


NETNet Neighbor Erasing and Transferring Network for Better Single Shot Object Detection. Due to the advantages of real time detection and improved performance, single shot detectors have gained great attention recently. To solve the complex scale variations, single shot detectors make scale aware predictions based on multiple pyramid layers. However, the features in the pyramid are not scale aware enough, which limits the detection performance. Two common problems in single shot detectors caused by object scale variations can be observed (1) small objects are easily missed (2) the salient part of a large object is sometimes detected as an object. With this observation, we propose a new Neighbor Erasing and Transferring (NET) mechanism to reconfigure the pyramid features and explore scale aware features. In NET, a Neighbor Erasing Module (NEM) is designed to erase the salient features of large objects and emphasize the features of small objects in shallow layers. A Neighbor Transferring Module (NTM) is introduced to transfer the erased features and highlight large objects in deep layers. With this mechanism, a single shot network called NETNet is constructed for scale aware object detection. In addition, we propose to aggregate nearest neighboring pyramid features to enhance our NET. NETNet achieves 38.5 AP at a speed of 27 FPS and 32.0 AP at a speed of 55 FPS on MS COCO dataset. As a result, NETNet achieves a better trade off for real time and accurate object detection.


On the Union Closed Fragment of Existential Second Order Logic and Logics with Team Semantics. We present syntactic characterisations for the union closed fragments of existential second order logic and of logics with team semantics. Since union closure is a semantical and undecidable property, the normal form we introduce enables the handling and provides a better understanding of this fragment. We also introduce inclusion exclusion games that turn out to be precisely the corresponding model checking games. These games are not only interesting in their own right, but they also are a key factor towards building a bridge between the semantic and syntactic fragments. On the level of logics with team semantics we additionally present restrictions of inclusion exclusion logic to capture the union closed fragment. Moreover, we define a team based atom that when adding it to first order logic also precisely captures the union closed fragment of existential second order logic which answers an open question by Galliani and Hella.


Phase Contrast Microscopy Cell PopulationSegmentation A Survey. Phase contrast microscopy (PCM) has been widely used in biomedicine research, which allows users to observe objectives without staining or killing them. One important related research is to employ PCM to monitor live cells. How to segment cell populations in obtained PCM images gains more and more attention as its a critical step for downstream applications, such as cell tracking, cell classification and others. Many papers have been published to deal with this problem from different perspectives. In this paper we aim to present a comprehensive review on the development of PCM cell population segmentation.


Observation of enhanced optical spin Hall effect in a vertical hyperbolic metamaterial. Hyperbolic metamaterials, horizontally stacked metal and dielectric multilayer, have recently been studied as a platform to observe optical spin Hall effect. However, the large optical spin Hall effect in the horizontal hyperbolic metamaterials accompanies extremely low transmission, which obstructs its practical applications. Reducing the sample thickness to augment the transmission causes diminishment of the shift. In this letter, we demonstrate that a vertical hyperbolic metamaterial can enhance the shift by several orders of magnitude in comparison to the shift of its horizontal counterpart. Under the same conditions of material combinations and total thickness, the shift enhancement, which is incident angle dependent, can be higher than 800 fold when the incident angle is 5 degree, and 5000 fold when the incident angle is 1 degree. As a proof of concept, we fabricate a large scale gold nano grating by nanoimprint lithography and measure the helicity dependent shift by Stokes polarimetry setup, which agrees well with the simulated result. The gigantic optical spin Hall effect in a vertical hyperbolic metamaterial will enable helicity dependent control of optical devices including filters, sensors, switches and beam splitters.


Necessary Conditions In Infinite Horizon Control Problem That Need No Asymptotic Assumptions. We consider an infinite horizon optimal control problem with asymptotic terminal constraint. We propose a modification of Halkin's general construction of necessary conditions in which the terminal transversality condition at infinity is obtained through the theorems on the stability of subdifferentials. For the weakly overtaking criterion, a necessary boundary condition on co state arcs is deduced, without any assumptions about the asymptotic behavior of the co state arc and cost functional. In the absence of an asymptotic terminal constraint (without any asymptotic assumptions), the Pontryagin Maximum Principle with this boundary condition allows us to raise some convex hull of the co state arcs, corresponding to a convex subdifferential of the payoff function (fixing the optimal control) at infinity. In the case of the smooth cost functional at infinity (and under the absence of an asymptotic terminal constraint), this condition raises the co state arc uniquely determined formula proposed by S.M. Aseev and A.V. Kryazhimskii. These results are illustrated by some examples, including one similar to the Ramsey Cass Koopmans model of an aggregate economy with an arbitrary rate of discount.


Ensuring Fairness under Prior Probability Shifts. In this paper, we study the problem of fair classification in the presence of prior probability shifts, where the training set distribution differs from the test set. This phenomenon can be observed in the yearly records of several real world datasets, such as recidivism records and medical expenditure surveys. If unaccounted for, such shifts can cause the predictions of a classifier to become unfair towards specific population subgroups. While the fairness notion called Proportional Equality (PE) accounts for such shifts, a procedure to ensure PE fairness was unknown. In this work, we propose a method, called CAPE, which provides a comprehensive solution to the aforementioned problem. CAPE makes novel use of prevalence estimation techniques, sampling and an ensemble of classifiers to ensure fair predictions under prior probability shifts. We introduce a metric, called prevalence difference (PD), which CAPE attempts to minimize in order to ensure PE fairness. We theoretically establish that this metric exhibits several desirable properties. We evaluate the efficacy of CAPE via a thorough empirical evaluation on synthetic datasets. We also compare the performance of CAPE with several popular fair classifiers on real world datasets like COMPAS (criminal risk assessment) and MEPS (medical expenditure panel survey). The results indicate that CAPE ensures PE fair predictions, while performing well on other performance metrics.


Efficient numerical computation of the basic reproduction number for structured populations. As widely known, the basic reproduction number plays a key role in weighing birth infection and death recovery processes in several models of population dynamics. In this general setting, its characterization as the spectral radius of next generation operators is rather elegant, but simultaneously poses serious obstacles to its practical determination. In this work we address the problem numerically by reducing the relevant operators to matrices through a pseudospectral collocation, eventually computing the sought quantity by solving finite dimensional eigenvalue problems. The approach is illustrated for two classes of models, respectively from ecology and epidemiology. Several numerical tests demonstrate experimentally important features of the method, like fast convergence and influence of the smoothness of the models' coefficients. Examples of robust analysis of instances of specific models are also presented to show potentialities and ease of application.


Altruism and anxiety Engagement with online community support initiatives (OCSIs) during Covid 19 lockdown in the UK and Ireland. Given concerns about mental health during periods of Covid 19 lockdown, it important to understand how engagement with online Covid 19 related material can affect mood. In the UK and Ireland, online community support initiatives (OCSIs) have emerged to help people manage their lives. Yet, little is known about how people engaged with these or whether they influenced subsequent mood. We conducted surveys to explore how people in the UK and Ireland engaged with OCSIs, and found that 70 did so to offer support (e.g. to provide company). Those who did so reported feeling significantly calmer afterwards, those who engaged for general concerns (e.g. in response to anti social behaviour) reported feeling significantly more anxious afterwards, but there was no difference in reported mood for those who engaged for other reasons (e.g. to share experiences or views). Thus, engaging with an OCSI for altruistic purposes might help to make people feel calmer.


Object Aware Multi Branch Relation Networks for Spatio Temporal Video Grounding. Spatio temporal video grounding aims to retrieve the spatio temporal tube of a queried object according to the given sentence. Currently, most existing grounding methods are restricted to well aligned segment sentence pairs. In this paper, we explore spatio temporal video grounding on unaligned data and multi form sentences. This challenging task requires to capture critical object relations to identify the queried target. However, existing approaches cannot distinguish notable objects and remain in ineffective relation modeling between unnecessary objects. Thus, we propose a novel object aware multi branch relation network for object aware relation discovery. Concretely, we first devise multiple branches to develop object aware region modeling, where each branch focuses on a crucial object mentioned in the sentence. We then propose multi branch relation reasoning to capture critical object relationships between the main branch and auxiliary branches. Moreover, we apply a diversity loss to make each branch only pay attention to its corresponding object and boost multi branch learning. The extensive experiments show the effectiveness of our proposed method.


Homogenization of Enhancing Thin Layers. This paper derives an explicit formula for the effective diffusion tensor by using the solutions to some effective cell problems after homogenizing Road effective boundary conditions (EBCs). The concept of Road EBCs was proposed recently by H. Li and X. Wang, and in this paper, we extend the effective conditions on closed curves to those on patterns, especially on the included nodes. We also prove that homogenization process commutes with the derivation of Road EBCs. By analyzing the effective diffusion tensor, we obtain several rules for maximizing its trace with given Road effective diffusivity scale and length scale in each cell and define a notion of balanced patterns. Moreover, we give an estimate of the trace of effective diffusion tensor of general patterns as Road effective diffusivity scale goes to infinity.


Smooth norms in dense subspaces of Banach spaces. In the first part of our paper, we show that ell infty has a dense linear subspace which admits an equivalent real analytic norm. As a corollary, every separable Banach space, as well as ell 1( mathfrak c ) , also has a dense linear subspace which admits an analytic renorming. By contrast, no dense subspace of c 0( omega 1) admits an analytic norm. In the second part, we prove (solving in particular an open problem of Guirao, Montesinos, and Zizler) that every Banach space with a long unconditional Schauder basis contains a dense subspace that admits a C infty smooth norm. Finally, we prove that there is a proper dense subspace of ell infty c ( omega 1) that admits no G ateaux smooth norm. (Here, ell infty c ( omega 1) denotes the Banach space of real valued, bounded, and countably supported functions on omega 1 .)


Attention as Activation. Activation functions and attention mechanisms are typically treated as having different purposes and have evolved differently. However, both concepts can be formulated as a non linear gating function. Inspired by their similarity, we propose a novel type of activation units called attentional activation (ATAC) units as a unification of activation functions and attention mechanisms. In particular, we propose a local channel attention module for the simultaneous non linear activation and element wise feature refinement, which locally aggregates point wise cross channel feature contexts. By replacing the well known rectified linear units by such ATAC units in convolutional networks, we can construct fully attentional networks that perform significantly better with a modest number of additional parameters. We conducted detailed ablation studies on the ATAC units using several host networks with varying network depths to empirically verify the effectiveness and efficiency of the units. Furthermore, we compared the performance of the ATAC units against existing activation functions as well as other attention mechanisms on the CIFAR 10, CIFAR 100, and ImageNet datasets. Our experimental results show that networks constructed with the proposed ATAC units generally yield performance gains over their competitors given a comparable number of parameters.


Logarithmic Heavy Traffic Error Bounds in Generalized Switch and Load Balancing Systems. Motivated by application in wireless networks, cloud computing, data centers etc, Stochastic Processing Networks have been studied in the literature under various asymptotic regimes. In the heavy traffic regime, the steady state mean queue length is proved to be O( frac 1 epsilon ) where epsilon is the heavy traffic parameter, that goes to zero in the limit. The focus of this paper is on obtaining queue length bounds on prelimit systems, thus establishing the rate of convergence to the heavy traffic. In particular, we study the generalized switch model operating under the MaxWeight algorithm, and we show that the mean queue length of the prelimit system is only O left( log left( frac 1 epsilon right) right) away from its heavy traffic limit. We do this even when the so called complete resource pooling (CRP) condition is not satisfied. When the CRP condition is satisfied, in addition, we show that the MaxWeight algorithm is within O left( log left( frac 1 epsilon right) right) of the optimal. Finally, we obtain similar results in load balancing systems operating under the join the shortest queue routing algorithm.


Moving plane method for varifolds and applications. In this paper, we introduce a version of the moving plane method that applies to potentially quite singular hypersurfaces, generalizing the classical moving plane method for smooth hypersurfaces. Loosely speaking, our version for varifolds shows that smoothness and symmetry at infinity (respectively at the boundary) can be promoted to smoothness and symmetry in the interior. The key feature, in contrast with the classical formulation of the moving plane principle, is that smoothness is a conclusion rather than an assumption. We implement our moving plane method in the setting of compact varifolds with smooth boundary and in the setting of complete varifolds. A key ingredient is a Hopf lemma for stationary and CMC varifolds. Our Hopf lemma provides a new tool to establish smoothness of varifolds, and works in arbitrary dimensions and without any stability assumptions. As applications of our new moving plane method, we prove varifold uniqueness results for the catenoid, spherical caps, and Delaunay surfaces that are inspired by classical uniqueness results by Schoen, Alexandrov, Meeks and Korevaar Kusner Solomon. We also prove a varifold version of Alexandrov's Theorem for compact CMC varifolds in hyperbolic space.


On the stability of a loosely coupled scheme based on a Robin interface condition for fluid structure interaction. We consider a loosely coupled algorithm for fluid structure interaction based on a Robin interface condition for the fluid problem (explicit Robin Neumann scheme). We study the dependence of the stability of this method on the interface parameter in the Robin condition. In particular, for a model problem we find sufficient conditions for instability and stability of the method. In the latter case, we found a stability condition relating the time discretization parameter, the interface parameter, and the added mass effect. Numerical experiments confirm the theoretical findings and highlight optimal choices of the interface parameter that guarantee an accurate solution with respect to an implicit one.


Induced and higher dimensional stable independence. We provide several crucial technical extensions of the theory of stable independence notions in accessible categories. In particular, we describe circumstances under which a stable independence notion can be transferred from a subcategory to a category as a whole, and examine a number of applications to categories of groups and modules, extending results of MAa . We prove, too, that under the hypotheses of LRV , a stable independence notion immediately yields higher dimensional independence as in SV .


Electron self injection threshold for the tandem pulse laser wakefield accelerator. A controllable injection scheme is key to producing high quality laser driven electron beams and X rays. Self injection is the most straightforward scheme leading to high current and peak energies, but is susceptible to variations in laser parameters and target characteristics. In this work improved control of electron self injection in the nonlinear cavity regime using two laser pulses propagating in tandem is investigated. In particular the advantages of the tandem pulse scheme in terms of injection threshold, electron energy and beam properties in a regime relevant to betatron radiation are demonstrated. Moreover it is shown that the laser power threshold for electron self injection can be reduced by up to a factor of two compared to the standard, single pulse wakefield scheme.


Countably generated flat modules are quite flat. We prove that if R is a commutative Noetherian ring, then every countably generated flat R module is quite flat, i.e., a direct summand of a transfinite extension of localizations of R in countable multiplicative subsets. We also show that if the spectrum of R is of cardinality less than kappa , where kappa is an uncountable regular cardinal, then every flat R module is a transfinite extension of flat modules with less than kappa generators. This provides an alternative proof of the fact that over a commutative Noetherian ring with countable spectrum, all flat modules are quite flat. More generally, we say that a commutative ring is CFQ if every countably presented flat R module is quite flat. We show that all von Neumann regular rings and all S almost perfect rings are CFQ. A zero dimensional local ring is CFQ if and only if it is perfect. A domain is CFQ if and only if all its proper quotient rings are CFQ. A valuation domain is CFQ if and only if it is strongly discrete.