Secret Key Generation via Pulse Coupled Synchronization. A novel framework for sharing common randomness and generating secret keys in wireless networks is considered. In particular, a network of users equipped with pulse oscillators (POs) and coupling mechanisms in between is considered. Such mechanisms exist in synchronized biological and natural systems, and have been exploited to provide synchronization in distributed networks. We show that naturally existing initial random phase differences between the POs in the network can be utilized to provide almost identical common randomness to the users. This randomness is extracted from the synchronization time in the network. Bounds on the entropy of such randomness are derived for a two user system and a conjecture is made for a general n user system. Then, a three terminal scenario is considered including two legitimate users and a passive eavesdropper, referred to as Eve. Since in a practical setting Eve receives pulses with propagation delays, she can not identify the exact synchronization time. A simplified model is then considered for Eve's receiver and then a bound on the rate of secret key generation is derived. Also, it is shown, under certain conditions, that the proposed protocol is resilient to an active jammer equipped with a similar pulse generation mechanism.


On the decay problem for the Zakharov and Klein Gordon Zakharov systems in one dimension. We are interested in the long time asymptotic behavoir of solutions to the scalar Zakharov system i u t Delta u nu, n tt Delta n Delta u 2 and the Klein Gordon Zakharov system u tt Delta u u nu, n tt Delta n Delta u 2 in one dimension of space. For these two systems, we give two results proving decay of solutions for initial data in the energy space. The first result deals with decay over compact intervals asuming smallness and parity conditions ( u odd). The second result proves decay in far field regions along curves for solutions whose growth can be dominated by an increasing C 1 function. No smallness condition is needed to prove this last result for the Zakharov system. We argue relying on the use of suitable virial identities appropiate for the equations and follow the technics of Kowalczyk Martel Mu noz and Mu noz Ponce Saut.


Ion wake induced mode coupling in a horizontal chain in complex plasmas. Ion wake induced mode coupling is investigated experimentally for a horizontal dust chain formed in a complex plasma, verifying results from previous simulation. A double branch of faint spectral lines is detected in the mode spectra which verifies the predicted rule of mode coupling between the vertical z(j i pm 1) modes and the longitudinal mode x(i). Discreet instabilities are observed as the branches of x and z modes intersect each other. The mode spectra in the vicinity of the instabilities exhibit enhanced energy density at specific coupled x and z modes, serving as direct evidence that these instabilities are caused by resonance between the coupled modes. The instability induced melting threshold was found to obey the Lindemann criterion through analysis of the instantaneous relative interparticle distance fluctuation (IDF). The relation between mode spectra and dispersion relations was further studied by multiplying the mode spectra with a transition matrix connecting the bases of normal mode eigenvectors and Fourier series in k space. Typical dispersion relations corresponding to the longitudinal and out of plane transverse Dust Lattice Waves (DLWs) are obtained, which also exhibit characteristics unique to finite systems, including discrete bands and strong fluctuations in the energy density.


Deep Reinforcement Learning for Adaptive Network Slicing in 5G for Intelligent Vehicular Systems and Smart Cities. Intelligent vehicular systems and smart city applications are the fastest growing Internet of things (IoT) implementations at a compound annual growth rate of 30 . In view of the recent advances in IoT devices and the emerging new breed of IoT applications driven by artificial intelligence (AI), fog radio access network (F RAN) has been recently introduced for the fifth generation (5G) wireless communications to overcome the latency limitations of cloud RAN (C RAN). We consider the network slicing problem of allocating the limited resources at the network edge (fog nodes) to vehicular and smart city users with heterogeneous latency and computing demands in dynamic environments. We develop a network slicing model based on a cluster of fog nodes (FNs) coordinated with an edge controller (EC) to efficiently utilize the limited resources at the network edge. For each service request in a cluster, the EC decides which FN to execute the task, i.e., locally serve the request at the edge, or to reject the task and refer it to the cloud. We formulate the problem as infinite horizon Markov decision process (MDP) and propose a deep reinforcement learning (DRL) solution to adaptively learn the optimal slicing policy. The performance of the proposed DRL based slicing method is evaluated by comparing it with other slicing approaches in dynamic environments and for different scenarios of design objectives. Comprehensive simulation results corroborate that the proposed DRL based EC quickly learns the optimal policy through interaction with the environment, which enables adaptive and automated network slicing for efficient resource allocation in dynamic vehicular and smart city environments.


Down to the Last Detail Virtual Try on with Detail Carving. Virtual try on under arbitrary poses has attracted lots of research attention due to its huge potential applications. However, existing methods can hardly preserve the details in clothing texture and facial identity (face, hair) while fitting novel clothes and poses onto a person. In this paper, we propose a novel multi stage framework to synthesize person images, where rich details in salient regions can be well preserved. Specifically, a multi stage framework is proposed to decompose the generation into spatial alignment followed by a coarse to fine generation. To better preserve the details in salient areas such as clothing and facial areas, we propose a Tree Block (tree dilated fusion block) to harness multi scale features in the generator networks. With end to end training of multiple stages, the whole framework can be jointly optimized for results with significantly better visual fidelity and richer details. Extensive experiments on standard datasets demonstrate that our proposed framework achieves the state of the art performance, especially in preserving the visual details in clothing texture and facial identity. Our implementation will be publicly available soon.


Degenerations of spherical subalgebras and spherical roots. We obtain several structure results for a class of spherical subgroups of connected reductive complex algebraic groups that extends the class of strongly solvable spherical subgroups. Based on these results, we construct certain one parameter degenerations of the Lie algebras corresponding to such subgroups. As an application, we exhibit explicit algorithms for computing the set of spherical roots of such a spherical subgroup.


FCOS Fully Convolutional One Stage Object Detection. We propose a fully convolutional one stage object detector (FCOS) to solve object detection in a per pixel prediction fashion, analogue to semantic segmentation. Almost all state of the art object detectors such as RetinaNet, SSD, YOLOv3, and Faster R CNN rely on pre defined anchor boxes. In contrast, our proposed detector FCOS is anchor box free, as well as proposal free. By eliminating the predefined set of anchor boxes, FCOS completely avoids the complicated computation related to anchor boxes such as calculating overlapping during training. More importantly, we also avoid all hyper parameters related to anchor boxes, which are often very sensitive to the final detection performance. With the only post processing non maximum suppression (NMS), FCOS with ResNeXt 64x4d 101 achieves 44.7 in AP with single model and single scale testing, surpassing previous one stage detectors with the advantage of being much simpler. For the first time, we demonstrate a much simpler and flexible detection framework achieving improved detection accuracy. We hope that the proposed FCOS framework can serve as a simple and strong alternative for many other instance level tasks. Code is available at Code is available at https tinyurl.com FCOSv1


The fundamental group of quotients of products of some topological spaces by a finite group A generalization of a Theorem of Bauer Catanese Grunewald Pignatelli. We provide a description of the fundamental group of the quotient of a product of topological spaces X i , each admitting a universal cover, by a finite group G , provided that there is only a finite number of path connected components in X i g for every g in G . This generalizes previous work of Bauer Catanese Grunewald Pignatelli and Dedieu Perroni.


Emergent Language Generalization and Acquisition Speed are not tied to Compositionality. Studies of discrete languages emerging when neural agents communicate to solve a joint task often look for evidence of compositional structure. This stems for the expectation that such a structure would allow languages to be acquired faster by the agents and enable them to generalize better. We argue that these beneficial properties are only loosely connected to compositionality. In two experiments, we demonstrate that, depending on the task, non compositional languages might show equal, or better, generalization performance and acquisition speed than compositional ones. Further research in the area should be clearer about what benefits are expected from compositionality, and how the latter would lead to them.


Gegelati Lightweight Artificial Intelligence through Generic and Evolvable Tangled Program Graphs. Tangled Program Graph (TPG) is a reinforcement learning technique based on genetic programming concepts. On state of the art learning environments, TPGs have been shown to offer comparable competence with Deep Neural Networks (DNNs), for a fraction of their computational and storage cost. This lightness of TPGs, both for training and inference, makes them an interesting model to implement Artificial Intelligences (AIs) on embedded systems with limited computational and storage resources. In this paper, we introduce the Gegelati library for TPGs. Besides introducing the general concepts and features of the library, two main contributions are detailed in the paper 1 The parallelization of the deterministic training process of TPGs, for supporting heterogeneous Multiprocessor Systems on Chips (MPSoCs). 2 The support for customizable instruction sets and data types within the genetically evolved programs of the TPG model. The scalability of the parallel training process is demonstrated through experiments on architectures ranging from a high end 24 core processor to a low power heterogeneous MPSoC. The impact of customizable instructions on the outcome of a training process is demonstrated on a state of the art reinforcement learning environment. CCS Concepts bullet Computer systems organization rightarrow Embedded systems bullet Computing methodologies rightarrow Machine learning.


A vector valued almost sure invariance principle for time dependent non uniformly expanding dynamical systems. We prove a vector valued almost sure invariance principle for some classes of time dependent non uniformly distance expanding dynamical systems. The models we have in mind are certain sequential versions of the smooth non uniformly distance expanding maps considered in cite castro and cite Vara , as well as certain types of sequences of covering maps. Our results rely on the theory of complex projective metrics which was developed in cite Rug , together with the spectral methods of Gou "ezel cite GO . A big advantage in applying the theory of complex cones here is that it also yields additional probabilistic limit theorems for random dynamical systems, as described at the last section of this paper.


Analyzing the Context of Bug Fixing Changes in the OpenStack Cloud Computing Platform. Many research areas in software engineering, such as mutation testing, automatic repair, fault localization, and fault injection, rely on empirical knowledge about recurring bug fixing code changes. Previous studies in this field focus on what has been changed due to bug fixes, such as in terms of code edit actions. However, such studies did not consider where the bug fix change was made (i.e., the context of the change), but knowing about the context can potentially narrow the search space for many software engineering techniques (e.g., by focusing mutation only on specific parts of the software). Furthermore, most previous work on bug fixing changes focused on C and Java projects, but there is little empirical evidence about Python software. Therefore, in this paper we perform a thorough empirical analysis of bug fixing changes in three OpenStack projects, focusing on both the what and the where of the changes. We observed that all the recurring change patterns are not oblivious with respect to the surrounding code, but tend to occur in specific code contexts.


H "older regularity of a Wiener integral in abstract space. In this article, we propose a way to consider processes indexed by a collection mathcal A of subsets of a general set mathcal T . A large class of vector spaces, manifolds and continuous mathbb R trees are particular cases. Lattice theoretic and topological assumptions are considered separately with a view to clarifying the exposition. We then define a Wiener type integral Y A int A f , text dX for all A in mathcal A for a deterministic function f mathcal T rightarrow mathbb R and a set indexed L 'evy process X . It is a particular case of Raput and Rosinski 40 , but our setting enables a quicker construction and yields more properties about the sample paths of Y. Finally, bounds for the H "older regularity of Y are given which indicate how the regularities of f and X contributes to that of Y . This follows the works of Jaffard 24 and Balan c c a and Herbin 6 .


Cdh descent, cdarc descent, and Milnor excision. We give necessary and sufficient conditions for a cdh sheaf to satisfy Milnor excision, following ideas of Bhatt and Mathew. Along the way, we show that the cdh infinity topos of a quasi compact quasi separated scheme of finite valuative dimension is hypercomplete, extending a theorem of Voevodsky to nonnoetherian schemes. As an application, we show that if E is a motivic spectrum over a field k which is n torsion for some n invertible in k, then the cohomology theory on k schemes defined by E satisfies Milnor excision.


Characterization on projective submanifolds of codimensions 2 and 3. In this article we give a necessary and sufficient condition to characterize projective submanifolds in mathbb P N with codimensions 2 and 3. The conditions involve the Chern classes of the manifold and a very ample line bundle on the manifold. This generalizes our earlier characterization for hypersurfaces. The higher codimensional cases are proposed as a general question.


Focusing light with a deep parabolic mirror. The smallest possible focus is achieved when the focused wave front is the time reversed copy of the light wave packet emitted from a point in space (S. Quabis et al., Opt. Commun. 179 (2000) 1 7). The best physical implementation of such a pointlike sub wavelength emitter is a single atom performing an electric dipole transition. In a former paper (N. Lindlein et al., Laser Phys. 17 (2007) 927 934) we showed how such a dipole like radiant intensity distribution can be produced with the help of a deep parabolic mirror and appropriate shaping of the intensity of the radially polarized incident plane wave. Such a dipole wave only mimics the far field of a linear dipole and not the near field components. Therefore, in this paper, the electric energy density in the focus of a parabolic mirror is calculated using the Debye integral method. Additionally, a comparison with "conventional nearly 4pi" illumination using two high numerical aperture objectives is performed. The influence of aberrations due to a misalignment of the incident plane wave is discussed.


Axial cosinoidal structured illumination using phase modulation. We propose a novel method for generating axial cosine structured light by using phase only spatial light modulator. We implemented axial cosine structured light using holographic technique. The computer generates double concentric annular slits with different radius, a prism phase is applied on the slits to tilts the beam that incidents on the slits away from the optical axis. Different annular beam produce Bessel beams with different axial wave vectors, axial cosine structured light can be obtained from the interference between two Bessel beams. The period and phase of axial cosine structured light can be adjusted by adjusting the radius and the initial phase difference of the double concentric annular beams. We theoretically and experimentally verify that the method can effectively generate axial cosine structured light.


Deep Reinforcement Learning and Permissioned Blockchain for Content Caching in Vehicular Edge Computing and Networks. Vehicular Edge Computing (VEC) is a promising paradigm to enable huge amount of data and multimedia content to be cached in proximity to vehicles. However, high mobility of vehicles and dynamic wireless channel condition make it challenge to design an optimal content caching policy. Further, with much sensitive personal information, vehicles may be not willing to caching their contents to an untrusted caching provider. Deep Reinforcement Learning (DRL) is an emerging technique to solve the problem with high dimensional and time varying features. Permission blockchain is able to establish a secure and decentralized peer to peer transaction environment. In this paper, we integrate DRL and permissioned blockchain into vehicular networks for intelligent and secure content caching. We first propose a blockchain empowered distributed content caching framework where vehicles perform content caching and base stations maintain the permissioned blockchain. Then, we exploit the advanced DRL approach to design an optimal content caching scheme with taking mobility into account. Finally, we propose a new block verifier selection method, Proof of Utility (PoU), to accelerate block verification process. Security analysis shows that our proposed blockchain empowered content caching can achieve security and privacy protection. Numerical results based on a real dataset from Uber indicate that the DRL inspired content caching scheme significantly outperforms two benchmark policies.


Dependency Decomposition and a Reject Option for Explainable Models. Deploying machine learning models in safety related do mains (e.g. autonomous driving, medical diagnosis) demands for approaches that are explainable, robust against adversarial attacks and aware of the model uncertainty. Recent deep learning models perform extremely well in various inference tasks, but the black box nature of these approaches leads to a weakness regarding the three requirements mentioned above. Recent advances offer methods to visualize features, describe attribution of the input (e.g.heatmaps), provide textual explanations or reduce dimensionality. However,are explanations for classification tasks dependent or are they independent of each other? For in stance, is the shape of an object dependent on the color? What is the effect of using the predicted class for generating explanations and vice versa? In the context of explainable deep learning models, we present the first analysis of dependencies regarding the probability distribution over the desired image classification outputs and the explaining variables (e.g. attributes, texts, heatmaps). Therefore, we perform an Explanation Dependency Decomposition (EDD). We analyze the implications of the different dependencies and propose two ways of generating the explanation. Finally, we use the explanation to verify (accept or reject) the prediction


Polarisable force fields What do they add in biomolecular simulations?. The quality of biomolecular simulations critically depends on the accuracy of the force field used to calculate the potential energy of the molecular configurations. Currently, most simulations employ non polarisable force fields, which describe electrostatic interactions as the sum of Coulombic interactions between fixed atomic charges. Polarization of these charge distributions is incorporated only in a mean field manner. In the past decade, extensive efforts have been devoted to developing simple, efficient, and yet generally applicable polarisable force fields for biomolecular simulations. In this review, we summarise the latest developments in accounting for key biomolecular interactions with polarisable force fields and applications to address challenging biological questions. In the end, we provide an outlook for future development in polarisable force fields.


Retention of rising droplets in density stratification. In this study, we present results from experiments on the retention of single oil droplets rising through a two layer density stratification. These experiments confirm the significant slowdown observed in past literature of settling and rising particles and droplets in stratification, and are the first experiments to study single liquid droplets as opposed to solid particles. By tracking the motion of the droplets as they rise through a stratified fluid, we identify two timescales which quantitatively describe this slowdown an entrainment timescale, and a retention timescale. The entrainment timescale is a measure of the time that a droplet spends below its upper layer terminal velocity and relates to the length of time over which the droplet's rise is affected by entrained dense fluid. The retention time is a measure of the time that the droplet is delayed from reaching an upper threshold far from the density transition. Both timescales are found to depend on the Froude and Reynolds numbers of the system, Fr U u (Nd) and Re rho u U u d nu . We find that both timescales are only significantly large for Fr lesssim1 , indicating that trapping dynamics in a relatively sharp stratification arise from a balance between drop inertia and buoyancy. Finally, we present a theoretical formulation for the drag enhancement Gamma , the ratio between the maximum stratification force and the corresponding drag force on the droplet, based on a simple force balance at the point of the velocity minimum. Using our experimental data, we find that our formulation compares well with recent theoretical and computational work by Zhang et al. J. Fluid Mech. 875, 622 656 (2019) on the drag enhancement on a solid sphere settling in a stratified fluid, and provides the first experimental data supporting their approach.


GDPR inspired IoT Ontology enabling Semantic Interoperability, Federation of Deployments and Privacy Preserving Applications. Testing and experimentation are crucial for promoting innovation and building systems that can evolve to meet high levels of service quality. IoT data that belong to users and from which their personal information can be inferred are frequently shared in the background of IoT systems with third parties for experimentation and building quality services. This data sharing raises privacy concerns especially since in most cases the data are gathered and shared without the user's knowledge or explicit consent or for different purposes than the one for which the data were initially gathered. With the introduction of GDPR, IoT systems and experimentation platforms that federate data from different deployments, testbeds and data providers must be privacy preserving. The wide adoption of IoT applications in scenarios ranging from smart cities to Industry 4.0 has raised concerns with respect to the privacy of users' data collected using IoT devices. Many experimental smart city applications are also using crowdsourcing data. Inspired by the GDPR requirements, we propose an IoT ontology built using available standards that enhances privacy, enables semantic interoperability between IoT deployments and supports the development of privacy preserving experimental IoT applications. On top, we propose recommendations on how to efficiently use the ontology within IoT testbed and federating platforms. Our ontology is validated for different quality assessment criteria using standard validation tools. We focus on "experimentation" without loss of generality, because it covers scenarios from both research and industry, that are directly linked with innovation.


Multiscale modelling of microscale heterogeneous systems analysis supports systematic and efficient macroscale modelling and simulation. These are lecture notes for five sessions in the AMSI Winter School on 'Computational Modelling of Heterogeneous Media' held at QUT in July 2019 https ws.amsi.org.au . Aim Discuss a mix of new mathematical approaches for multiscale modelling, heterogeneous material in particular, along with corresponding novel computational techniques and issues. I include discussion of a developing toolbox that empowers you to implement effective multiscale equation free' computation https github.com uoa1184615 EquationFreeGit.git .


Multi dimensional sequential testing and detection. We study extensions to higher dimensions of the classical Bayesian sequential testing and detection problems for Brownian motion. In the main result we show that, for a large class of problem formulations, the cost function is unilaterally concave. This concavity result is then used to deduce structural properties for the continuation and stopping regions in specific examples.


Leveraging Blockchain for Immutable Logging and Querying Across Multiple Sites. Blockchain has emerged as a decentralized and distributed framework that enables tamper resilience and, thus, practical immutability for stored data. This immutability property is important in scenarios where auditability is desired, such as in maintaining access logs for sensitive healthcare and biomedical data.However, the underlying data structure of blockchain, by default, does not provide capabilities to efficiently query the stored data. In this investigation, we show that it is possible to efficiently run complex audit queries over the access log data stored on blockchains by using additional key value stores. This paper specifically reports on the approach we designed for the blockchain track of iDASH Privacy Security Workshop 2018 competition.Particularly, we implemented our solution and compared its loading and query response performance with SQLite, a commonly used relational database, using the data provided by the iDASH 2018 organizers. Depending on the query type and the data size, the run time difference between blockchain based query response and SQLite based query response ranged from 0.2 seconds to 6 seconds. A deeper inspection revealed that range queries were the bottleneck of our solution which, nevertheless, scales up linearly. Concretely, this investigation demonstrates that blockchain based systems can provide reasonable query response times to complex queries even if they only use simple key value stores to manage their data. Consequently, we show that blockchains may be useful for maintaining data with auditability and immutability requirements across multiple sites.


Flip conjugacy and asymptotic continuous orbit equivalence of Smale spaces. We study asymptotic continuous orbit equivalence of Smale spaces. We prove that two irreducible Smale spaces are flip conjugate if and only if there exists a periodic point preserving homeomorphism giving an asymptotic continuous orbit equivalence between them. We introduce a notion of asymptotic topological conjugacy and asymptotic flip conjugacy in Smale spaces and characterize them in terms of the associated Ruelle algebras with dual actioons. We finally characterize the flip conjugacy classes of irreducible two sided topological Markov shifts in terms of the associated Ruelle algebras with its C subalgebras.


Reducing bias in dual flip angle T1 mapping in human brain at 7T. Purpose To address the systematic bias in whole brain dual flip angle (DFA) T1 mapping at 7T by optimizing the flip angle pair and carefully selecting RF pulse shape and duration. Theory and Methods Spoiled gradient echoes can be used to estimate whole brain maps of T1. This can be accomplished by using only two acquisitions with different flip angles, i.e., a DFA based approach. Although DFA based T1 mapping is seemingly straightforward to implement, it is sensitive to bias caused by incomplete spoiling and incidental magnetization transfer (MT) effects. Further bias is introduced by the increased B0 and B1 inhomogeneities at 7T. Experiments were performed to determine the optimal flip angle pair and appropriate RF pulse shape and duration. Obtained T1 estimates were validated using inversion recovery prepared EPI and compared to literature values. A multi echo readout was used to increase SNR, enabling quantification of R2 and susceptibility, X. Results Incomplete spoiling was observed above a local flip angle of approximately 20 degrees. An asymmetric gauss filtered sinc pulse with a constant duration of 700 us showed a sufficiently flat frequency response profile to avoid incomplete excitation in areas with high B0 offsets. A pulse duration of 700 us minimized effects from incidental MT. Conclusion When performing DFA based T1 mapping one should (i) limit the higher flip angle to avoid incomplete spoiling, (ii) use a RF pulse shape insensitive to B0 inhomogeneities and (iii) apply a constant RF pulse duration, balanced to minimize incidental MT.


Explainable Software Bot Contributions Case Study of Automated Bug Fixes. In a software project, esp. in open source, a contribution is a valuable piece of work made to the project writing code, reporting bugs, translating, improving documentation, creating graphics, etc. We are now at the beginning of an exciting era where software bots will make contributions that are of similar nature than those by humans. Dry contributions, with no explanation, are often ignored or rejected, because the contribution is not understandable per se, because they are not put into a larger context, because they are not grounded on idioms shared by the core community of developers. We have been operating a program repair bot called Repairnator for 2 years and noticed the problem of "dry patches" a patch that does not say which bug it fixes, or that does not explain the effects of the patch on the system. We envision program repair systems that produce an "explainable bug fix" an integrated package of at least 1) a patch, 2) its explanation in natural or controlled language, and 3) a highlight of the behavioral difference with examples. In this paper, we generalize and suggest that software bot contributions must explainable, that they must be put into the context of the global software development conversation.


QoS Driven Job Scheduling Multi Tier Dependency Considerations. For a cloud service provider, delivering optimal system performance while fulfilling Quality of Service (QoS) obligations is critical for maintaining a viably profitable business. This goal is often hard to attain given the irregular nature of cloud computing jobs. These jobs expect high QoS on an on demand fashion, that is on random arrival. To optimize the response to such client demands, cloud service providers organize the cloud computing environment as a multi tier architecture. Each tier executes its designated tasks and passes the job to the next tier in a fashion similar, but not identical, to the traditional job shop environments. An optimization process must take place to schedule the appropriate tasks of the job on the resources of the tier, so as to meet the QoS expectations of the job. Existing approaches employ scheduling strategies that consider the performance optimization at the individual resource level and produce optimal single tier driven schedules. Due to the sequential nature of the multi tier environment, the impact of such schedules on the performance of other resources and tiers tend to be ignored, resulting in a less than optimal performance when measured at the multi tier level. In this paper, we propose a multi tier oriented job scheduling and allocation technique. The scheduling and allocation process is formulated as a problem of assigning jobs to the resource queues of the cloud computing environment, where each resource of the environment employs a queue to hold the jobs assigned to it. The scheduling problem is NP hard, as such a biologically inspired genetic algorithm is proposed. The computing resources across all tiers of the environment are virtualized in one resource by means of a single queue virtualization. A chromosome that mimics the sequencing and allocation of the tasks in the proposed virtual queue is proposed.


Probabilistic Future Prediction for Video Scene Understanding. We present a novel deep learning architecture for probabilistic future prediction from video. We predict the future semantics, geometry and motion of complex real world urban scenes and use this representation to control an autonomous vehicle. This work is the first to jointly predict ego motion, static scene, and the motion of dynamic agents in a probabilistic manner, which allows sampling consistent, highly probable futures from a compact latent space. Our model learns a representation from RGB video with a spatio temporal convolutional module. The learned representation can be explicitly decoded to future semantic segmentation, depth, and optical flow, in addition to being an input to a learnt driving policy. To model the stochasticity of the future, we introduce a conditional variational approach which minimises the divergence between the present distribution (what could happen given what we have seen) and the future distribution (what we observe actually happens). During inference, diverse futures are generated by sampling from the present distribution.


Iterative Configuration Interaction with Selection. Even when starting with a very poor initial guess, the iterative configuration interaction (iCI) approach can converge from above to full CI very quickly by constructing and diagonalizing a small Hamiltonian matrix at each macro micro iteration. However, iCI scales exponentially with respect to the numbers of electrons and orbitals. The problem can be mitigated by observing that a vast number of configurations have little weights in the wave function and do not contribute to the correlation energy. The real questions are then (a) how to identify important configurations in the early stage of the calculation and (b) how to account for the residual contributions of those unimportant configurations. It is generally true that if a high quality yet compact variational space can be determined for describing the static correlation, a low order treatment of the residual dynamic correlation would be sufficient. While this is common to all selected CI schemes, the iCI with selection' scheme presented here has the following distinctive features (1) Full spin symmetry is maintained. (2) Although the selection is performed on individual CSFs, it is orbital configurations (oCFG) that are used as the organizing units. (3) Given a coefficient pruning threshold, the selection of important oCFGs CSFs is performed iteratively until convergence. (4) At each iteration for the growth of wave function, the first order interacting space is decomposed into disjoint subspaces to reduce memory requirement and facilitate parallelization. (5) Upper bounds for the interactions between oCFG pairs are used to screen each first order interacting subspace before the first order coefficients of individual CSFs are evaluated. (6) Upon termination of the selection, dynamic correlation is estimated by using the ENPT2 theory. The efficacy of the iCIPT2 scheme is demonstrated numerically by taking several examples.


EXAMS A Multi Subject High School Examinations Dataset for Cross Lingual and Multilingual Question Answering. We propose EXAMS a new benchmark dataset for cross lingual and multilingual question answering for high school examinations. We collected more than 24,000 high quality high school exam questions in 16 languages, covering 8 language families and 24 school subjects from Natural Sciences and Social Sciences, among others. EXAMS offers a fine grained evaluation framework across multiple languages and subjects, which allows precise analysis and comparison of various models. We perform various experiments with existing top performing multilingual pre trained models and we show that EXAMS offers multiple challenges that require multilingual knowledge and reasoning in multiple domains. We hope that EXAMS will enable researchers to explore challenging reasoning and knowledge transfer methods and pre trained models for school question answering in various languages which was not possible before. The data, code, pre trained models, and evaluation are available at https github.com mhardalov exams qa.


An integral Suzuki type fixed point theorem with application. In this paper, we present an integral Suzuki type fixed point theorem for multivalued mappings defined on a complete metric space in terms of the ' C iri ' c integral contractions. As an application, we will prove an existence and uniqueness theorem for a functional equation arising in dynamic programming of continuous multistage decision processes.


Beyond English Only Reading Comprehension Experiments in Zero Shot Multilingual Transfer for Bulgarian. Recently, reading comprehension models achieved near human performance on large scale datasets such as SQuAD, CoQA, MS Macro, RACE, etc. This is largely due to the release of pre trained contextualized representations such as BERT and ELMo, which can be fine tuned for the target task. Despite those advances and the creation of more challenging datasets, most of the work is still done for English. Here, we study the effectiveness of multilingual BERT fine tuned on large scale English datasets for reading comprehension (e.g., for RACE), and we apply it to Bulgarian multiple choice reading comprehension. We propose a new dataset containing 2,221 questions from matriculation exams for twelfth grade in various subjects history, biology, geography and philosophy , and 412 additional questions from online quizzes in history. While the quiz authors gave no relevant context, we incorporate knowledge from Wikipedia, retrieving documents matching the combination of question each answer option. Moreover, we experiment with different indexing and pre training strategies. The evaluation results show accuracy of 42.23 , which is well above the baseline of 24.89 .


Real Time Anomaly Detection in Data Centers for Log based Predictive Maintenance using an Evolving Fuzzy Rule Based Approach. Detection of anomalous behaviors in data centers is crucial to predictive maintenance and data safety. With data centers, we mean any computer network that allows users to transmit and exchange data and information. In particular, we focus on the Tier 1 data center of the Italian Institute for Nuclear Physics (INFN), which supports the high energy physics experiments at the Large Hadron Collider (LHC) in Geneva. The center provides resources and services needed for data processing, storage, analysis, and distribution. Log records in the data center is a stochastic and non stationary phenomenon in nature. We propose a real time approach to monitor and classify log records based on sliding time windows, and a time varying evolving fuzzy rule based classification model. The most frequent log pattern according to a control chart is taken as the normal system status. We extract attributes from time windows to gradually develop and update an evolving Gaussian Fuzzy Classifier (eGFC) on the fly. The real time anomaly monitoring system has to provide encouraging results in terms of accuracy, compactness, and real time operation.


Characterisation of homogeneous fractional Sobolev spaces. Our aim is to characterize the homogeneous fractional Sobolev Slobodecki u i spaces mathcal D s,p ( mathbb R n) and their embeddings, for s in (0,1 and p ge 1 . They are defined as the completion of the set of smooth and compactly supported test functions with respect to the Gagliardo Slobodecki u i seminorms. For s ,p n or s p n 1 we show that mathcal D s,p ( mathbb R n) is isomorphic to a suitable function space, whereas for s ,p ge n it is isomorphic to a space of equivalence classes of functions, differing by an additive constant. As one of our main tools, we present a Morrey Campanato inequality where the Gagliardo Slobodecki u i seminorm controls from above a suitable Campanato seminorm.


Limit theorems of stochastic differential equations with jumps. In this paper, we study the convergence for solutions to a sequence of (possibly degenerate) stochastic differential equations with jumps, when the coefficients converge in some appropriate sense. Our main tools are the superposition principles. We also give sufficient conditions for the existence and uniqueness of weak solutions to the corresponding non local Fokker Planck equations.


Geometrical Characterization of Glass Nanopipettes with Sub 10 nm Pore Diameter by Transmission Electron Microscopy. Glass nanopipettes are widely used for various applications in nanosciences. In most of the applications, it is important to characterize their geometrical parameters, such as the aperture size and the inner cone angle at the tip region. For nanopipettes with sub 10 nm aperture and thin wall thickness, transmission electron microscopy (TEM) must be most instrumental in their precise geometrical measurement. However, this measurement has remained a challenge because heat generated by electron beam irradiation would largely deform sub 10 nm nanopipettes. Here we provide methods for preparing TEM specimens that do not cause deformation of such tiny nanopipettes.


Tracing locally Pareto optimal points by numerical integration. We suggest a novel approach for the efficient and reliable approximation of the Pareto front of sufficiently smooth unconstrained bi criteria optimization problems. Optimality conditions formulated for weighted sum scalarizations of the problem yield a description of (parts of) the Pareto front as a parametric curve, parameterized by the scalarization parameter (i.e., the weight in the weighted sum scalarization). Its sensitivity w.r.t. parameter variations can be described by an ordinary differential equation (ODE). Starting from an arbitrary initial Pareto optimal solution, the Pareto front can then be traced by numerical integration. We provide an error analysis based on Lipschitz properties and suggest an explicit Runge Kutta method for the numerical solution of the ODE. The method is validated on bi criteria convex quadratic programming problems for which the exact solution is explicitly known, and numerically tested on complex bi criteria shape optimization problems involving finite element discretizations of the state equation.


Diurnal Self Aggregation. Convective self aggregation is a modelling paradigm for thunderstorm organisation over a constant temperature tropical sea surface. This setup can give rise to cloud clusters over timescales of weeks. In reality, sea surface temperatures do oscillate diurnally, affecting the atmospheric state. Over land, surface temperatures vary more strongly, and rain rate is significantly influenced. Here, we carry out a substantial suite of cloud resolving numerical experiments, and find that even weak surface temperature oscillations enable qualitatively different dynamics to emerge the spatial distribution of rainfall is only homogeneous during the first day. Already on the second day, the rain field is firmly structured. In later days, the clustering becomes stronger and alternates from day to day. We show that these features are robust to changes in resolution, domain size, and surface temperature, but can be removed by a reduction of the amplitude of oscillation, suggesting a transition to a clustered state. Maximal clustering occurs at a scale of mathbf l max approx 180 km , a scale we relate to the emergence of mesoscale convective systems. At mathbf l max rainfall is strongly enhanced and far exceeds the rainfall expected at random. We explain the transition to clustering using simple conceptual modelling. Our results may help clarify how continental extremes build up and how cloud clustering over the tropical ocean could emerge much faster than through conventional self aggregation alone.


Towards a Physically Motivated Planetary Accounting Framework. In this work we present a physically motivated planetary Accounting Framework for the Earth System. We show that the impact of the human activity in terms of the Planetary Boundary variables can be accounted for in our Landau Ginzburg phase transition physical formulation. We then use the interaction between climate change and ocean acidification mechanisms to exemplify the relation of the concentration and flux of substances of the Planetary Boundaries variables, as proposed by the accounting framework of Kate and Newman, with the underlying thermodynamical transformation, quantifiable by the Landau Ginzburg inspired model. In this work we present a physically motivated planetary Accounting Framework for the Earth System. We show that the impact of the human activity in terms of the Planetary Boundary variables can be accounted for in our Landau Ginzburg phase transition physical formulation. We then use the interaction between climate change and ocean acidification mechanisms to exemplify the relation of the concentration and flux of substances of the Planetary Boundaries variables, as proposed by the accounting framework of Kate and Newman, with the underlying thermodynamical transformation, quantifiable by the Landau Ginzburg inspired model.


Temporal Interpolation of Geostationary Satellite Imagery with Task Specific Optical Flow. Applications of satellite data in areas such as weather tracking and modeling, ecosystem monitoring, wildfire detection, and land cover change are heavily dependent on the trade offs to spatial, spectral and temporal resolutions of observations. In weather tracking, high frequency temporal observations are critical and used to improve forecasts, study severe events, and extract atmospheric motion, among others. However, while the current generation of geostationary satellites have hemispheric coverage at 10 15 minute intervals, higher temporal frequency observations are ideal for studying mesoscale severe weather events. In this work, we apply a task specific optical flow approach to temporal up sampling using deep convolutional neural networks. We apply this technique to 16 bands of GOES R Advanced Baseline Imager mesoscale dataset to temporally enhance full disk hemispheric snapshots of different spatial resolutions from 15 minutes to 1 minute. Experiments show the effectiveness of task specific optical flow and multi scale blocks for interpolating high frequency severe weather events relative to bilinear and global optical flow baselines. Lastly, we demonstrate strong performance in capturing variability during a convective precipitation events.


Approximation Algorithms for Coordinating Ad Campaigns on Social Networks. We study a natural model of coordinated social ad campaigns over a social network, based on models of Datta et al. and Aslay et al. Multiple advertisers are willing to pay the host up to a known budget per user exposure, whether the exposure is sponsored or orgain (i.e. shared by a friend). Campaigns are seeded with sponsored ads to some users, but no user must be exposed to too many sponsored ads. Thus, while ad campaigns proceed independently over the network, they need to be carefully coordinated with respect to their seed sets. We study the objective of maximizing host's total ad revenue. Our main result is to show that under a broad class of influence models, the problem can be reduced to maximizing a submodular function subject to two matroid constraints it can therefore be approximated within a factor essentially 1 2 in polynomial time. When there is no bound on the individual seed set sizes of advertisers, the constraints correspond only to a single matroid, and the guarantee can be improved to 1 1 e in that case, a factor 1 2 is achieved by a practical greedy algorithm. The 1 1 e approximation algorithm for matroid constrained problem is far from practical however, we show that specifically under the Independent Cascade model, LP rounding and Reverse Reachability techniques can be combined to obtain a 1 1 e approximation algorithm. Our theoretical results are complemented by experiments evaluating the extent to which the coordination of multiple ad campaigns inhibits the revenue obtained from each individual campaign, as a function of the similarity of the influence networks and strength of ties in the networks. Our experiments suggest that as networks for different advertisers become less similar, the harmful effect of competition decreases. With respect to tie strengths, we show that the most harm is done in an intermediate range.


Library of efficient algorithms for phylogenetic analysis. Evolutionary relationships between species are usually inferred through phylogenetic analysis, which provides phylogenetic trees computed from allelic profiles built by sequencing specific regions of the sequences and abstracting them to categorical indexes. With growing exchanges of people and merchandise, epidemics have become increasingly important, and combining information of country specific datasets can now reveal unknown spreading patterns. The phylogenetic analysis workflow is mainly composed of four consecutive steps, the distance calculation, distance correction, inference algorithm, and local optimization steps. There are many phylogenetic tools out there, however most implement only some of these steps and serve only one single purpose, such as one type of algorithm. Another problem with these is that they are often hard to use and integrate, since each of them has its own API. This project resulted a library that implements the four steps of the workflow, and is highly performant, extensible, reusable, and portable, while providing common APIs and documentation. It also differs from other tools in the sense that, it is able to stop and resume the workflow whenever the user desires, and it was built to be continuously extended and not just serve a single purpose. The time benchmarks conducted on this library show that its implementations of the algorithms conform to their theoretical time complexity. Meanwhile, the memory benchmarks showcase that the implementations of the NJ algorithms follow a linear memory complexity, while the implementations of the MST and GCP algorithms follow a quadratic memory complexity.


Automated Proof of Bell LaPadula Security Properties. Almost fifty years ago, D.E. Bell and L. LaPadula published the first formal model of a secure system, known today as the Bell LaPadula (BLP) model. BLP is described as a state machine by means of first order logic and set theory. The authors also formalize two state invariants known as security condition and property. Bell and LaPadula prove that all the state transitions preserve these invariants. In this paper we present a fully automated proof of the security condition and the property for all the model operations. The model and the proofs are coded in the log tool. As far as we know this is the first time such proofs are automated. Besides, we show that the log model is also an executable prototype. Therefore we are providing an automatically verified executable prototype of BLP.


On the space of ultradistributions vanishing at infinity. We study the structural and linear topological properties of the space dot mathcal B prime ast omega of ultradistributions vanishing at infinity (with respect to a weight function omega ). Particularly, we show the first structure theorem for dot mathcal B prime ast omega under weaker hypotheses than were known so far. As an application, we determine the structure of the S asymptotic behavior of ultradistributions.


Cascades of toric log del Pezzo surfaces of Picard number one. We classify toric log del Pezzo surfaces of Picard number one by introducing the notion, cascades. As an application, we show that if such a surface is K "ahler Einstein, then it should admit a special cascade, and it satisfies the equality of the orbifold Bogomolov Miyaoka Yau inequality, i.e., K 2 3e orb .


Guiding the guiders Foundations of a market driven theory of disclosure. A foundational approach is developed for a mathematical theory of managerial disclosure in relation to asset pricing this involves both the earnings guidance disclosed by firm management and market trackers' pricing the firm's exposure to quotable risks.


Families of Congruences for Fractional Partition Functions Modulo Powers of Primes. Recently, Chan and Wang (Fractional powers of the generating function for the partition function. Acta Arith. 187(1), 59 80 (2019)) studied the fractional powers of the generating function for the partition function and found several congruences satisfied by the corresponding coefficients. In this paper, we find some new families of congruences modulo powers of primes. We also find analogous results for the coefficients of the fractional powers of the generating function for the 2 color partition function.


Fluid drag reduction by magnetic confinement. The frictional forces of a viscous liquid flow are a major energy loss issue and severely limit microfluidics practical use. Reducing this drag by more than a few tens of percent remain illusive. Here, we show how cylindrical liquid in liquid flow leads to drag reduction of 60 99 for sub mm and mm sized channels, irrespective of whether the viscosity of the transported liquid is larger or smaller than that of the encapsulating one. In contrast to lubrication or sheath flow, we do not require the continuous flow of the encapsulating lubricant, here made up of a ferrofluid held in place by magnetic forces. In a laminar flow model with appropriate boundary conditions, we introduce a modified Reynolds number with a scaling that depends on geometrical factors and viscosity ratio of the two liquids. It explains our whole range of data and reveal the key design parameters for optimizing the drag reduction values. Our results therefore open the route to microfluidics designs with pressure gradients possibly reduced by orders of magnitudes.


C CoCoA A Continuous Cooperative Constraint Approximation Algorithm to Solve Functional DCOPs. Distributed Constraint Optimization Problems (DCOPs) have been widely used to coordinate interactions (i.e. constraints) in cooperative multi agent systems. The traditional DCOP model assumes that variables owned by the agents can take only discrete values and constraints' cost functions are defined for every possible value assignment of a set of variables. While this formulation is often reasonable, there are many applications where the variables are continuous decision variables and constraints are in functional form. To overcome this limitation, Functional DCOP (F DCOP) model is proposed that is able to model problems with continuous variables. The existing F DCOPs algorithms experience huge computation and communication overhead. This paper applies continuous non linear optimization methods on Cooperative Constraint Approximation (CoCoA) algorithm. We empirically show that our algorithm is able to provide high quality solutions at the expense of smaller communication cost and execution time compared to the existing F DCOP algorithms.


Adversarial Attacks against Deep Saliency Models. Currently, a plethora of saliency models based on deep neural networks have led great breakthroughs in many complex high level vision tasks (e.g. scene description, object detection). The robustness of these models, however, has not yet been studied. In this paper, we propose a sparse feature space adversarial attack method against deep saliency models for the first time. The proposed attack only requires a part of the model information, and is able to generate a sparser and more insidious adversarial perturbation, compared to traditional image space attacks. These adversarial perturbations are so subtle that a human observer cannot notice their presences, but the model outputs will be revolutionized. This phenomenon raises security threats to deep saliency models in practical applications. We also explore some intriguing properties of the feature space attack, e.g. 1) the hidden layers with bigger receptive fields generate sparser perturbations, 2) the deeper hidden layers achieve higher attack success rates, and 3) different loss functions and different attacked layers will result in diverse perturbations. Experiments indicate that the proposed method is able to successfully attack different model architectures across various image scenes.


Deep Magnification Flexible Upsampling over 3D Point Clouds. This paper addresses the problem of generating dense point clouds from given sparse point clouds to model the underlying geometric structures of objects scenes. To tackle this challenging issue, we propose a novel end to end learning based framework. Specifically, by taking advantage of the linear approximation theorem, we first formulate the problem explicitly, which boils down to determining the interpolation weights and high order approximation errors. Then, we design a lightweight neural network to adaptively learn unified and sorted interpolation weights as well as the high order refinements, by analyzing the local geometry of the input point cloud. The proposed method can be interpreted by the explicit formulation, and thus is more memory efficient than existing ones. In sharp contrast to the existing methods that work only for a pre defined and fixed upsampling factor, the proposed framework only requires a single neural network with one time training to handle various upsampling factors within a typical range, which is highly desired in real world applications. In addition, we propose a simple yet effective training strategy to drive such a flexible ability. In addition, our method can handle non uniformly distributed and noisy data well. Extensive experiments on both synthetic and real world data demonstrate the superiority of the proposed method over state of the art methods both quantitatively and qualitatively.


Stick Slip model for actin driven cell protrusions, cell polarisation and crawling. Cell crawling requires the generation of intracellular forces by the cytoskeleton and their transmission to an extracellular substrate through specific adhesion molecules. Crawling cells show many features of excitable systems, such as spontaneous symmetry breaking and crawling in the absence of external cues, and periodic and propagating waves of activity. Mechanical instabilities in the active cytoskeleton network and feedback loops in the biochemical network of activators and repressors of cytoskeleton dynamics have been invoked to explain these dynamical features. Here, we show that the interplay between the dynamics of cell substrate adhesion and linear cellular mechanics is sufficient to reproduce many non linear dynamical patterns observed in spreading and crawling cells. Using an analytical formalism of the molecular clutch model of cell adhesion, regulated by local mechanical forces, we show that cellular traction forces exhibit a stick slip dynamics resulting in periodic waves of protrusion retraction and propagating waves along the cell edge. This can explain spontaneous symmetry breaking and polarisation of spreading cells, leading to steady crawling or bipedal motion, and bistability, where persistent cell motion requires a sufficiently strong transient external stimulus. The model also highlight the role of membrane tension in providing the long range mechanical communication across the cell required for symmetry breaking.


Direct construction of optimized stellarator shapes. III. Omnigenity near the magnetic axis. The condition of omnigenity is investigated, and applied to the near axis expansion of Garren and Boozer (1991a). Due in part to the particular analyticity requirements of the near axis expansion, we find that, excluding quasi symmetric solutions, only one type of omnigenity, namely quasi isodynamicity, can be satisfied at first order in the distance from the magnetic axis. Our construction provides a parameterization of the space of such solutions, and the cylindrical reformulation and numerical method of Landreman and Sengupta (2018) Landreman et al. (2019), enables their efficient numerical construction.


Supervised and Unsupervised Learning of Parameterized Color Enhancement. We treat the problem of color enhancement as an image translation task, which we tackle using both supervised and unsupervised learning. Unlike traditional image to image generators, our translation is performed using a global parameterized color transformation instead of learning to directly map image information. In the supervised case, every training image is paired with a desired target image and a convolutional neural network (CNN) learns from the expert retouched images the parameters of the transformation. In the unpaired case, we employ two way generative adversarial networks (GANs) to learn these parameters and apply a circularity constraint. We achieve state of the art results compared to both supervised (paired data) and unsupervised (unpaired data) image enhancement methods on the MIT Adobe FiveK benchmark. Moreover, we show the generalization capability of our method, by applying it on photos from the early 20th century and to dark video frames.


A Benchmark Arabic Dataset for Commonsense Explanation. Language comprehension and commonsense knowledge validation by machines are challenging tasks that are still under researched and evaluated for Arabic text. In this paper, we present a benchmark Arabic dataset for commonsense explanation. The dataset consists of Arabic sentences that does not make sense along with three choices to select among them the one that explains why the sentence is false. Furthermore, this paper presents baseline results to assist and encourage the future evaluation of research in this field. The dataset is distributed under the Creative Commons CC BY SA 4.0 license and can be found on GitHub


A hybrid integrated diode laser in the visible spectral range. Generating visible light with wide tunability and high coherence based on photonic integrated circuits is of high interest for applications in biophotonics, precision metrology and quantum technology. Here we present the first demonstration of a hybrid integrated diode laser in the visible spectral range. Using an AlGaInP optical amplifier coupled to a low loss Si3N4 feedback circuit based on microring resonators, we obtain a spectral coverage of 10.8 nm around 684.4 nm wavelength with up to 4.8 mW output power. The measured intrinsic linewidth is 2.3 pm 0.2 kHz.


A mathematical model for the coronavirus COVID 19 outbreak. A mathematical model is proposed for quantitative description of the outbreak of novel coronavirus COVID 19 in China. Although the model is relatively simple, the comparison with the public data shows that an exact solution solution of the model (with the correctly specified parameters) leads to the results, which are in good agreement with the measured data. Prediction of the total number of the COVID 19 cases is discussed and an example is presented using the measured data in Austria.


Triangularized Orthogonalization free Method for Solving Extreme Eigenvalue Problems. A novel orthogonalization free method together with two specific algorithms are proposed to solve extreme eigenvalue problems. On top of gradient based algorithms, the proposed algorithms modify the multi column gradient such that earlier columns are decoupled from later ones. Global convergence to eigenvectors instead of eigenspace is guaranteed almost surely. Locally, algorithms converge linearly with convergence rate depending on eigengaps. Momentum acceleration, exact linesearch, and column locking are incorporated to further accelerate both algorithms and reduce their computational costs. We demonstrate the efficiency of both algorithms on several random matrices with different spectrum distribution and matrices from computational chemistry.


Collision free motion planning on a wedge of circles. We exhibit an algorithm with continuous instructions for two robots moving without collisions on a track shaped as a wedge of three circles. We show that the topological complexity of the configuration space associated with this problem is 3. The topological complexity is a homotopy invariant that can be thought of as the minimum number of continuous instructions required to describe the movement of the robots between any initial configuration to any final one without collisions. The algorithm presented is optimal in the sense that it requires exactly 3 continuous instructions.


The Rectangular Peg Problem. For every smooth Jordan curve gamma and rectangle R in the Euclidean plane, we show that there exists a rectangle similar to R whose vertices lie on gamma . The proof relies on Shevchishin's theorem that the Klein bottle does not admit a smooth Lagrangian embedding in mathbb C 2 .


Primes in arithmetic progressions to large moduli II Well factorable estimates. We establish new mean value theorems for primes of size x in arithmetic progressions to moduli as large as x 3 5 epsilon when summed with suitably well factorable weights. This extends well known work of Bombieri, Friedlander and Iwaniec, who handled moduli of size at most x 4 7 epsilon . This has consequences for the level of distribution for sieve weights coming from the linear sieve.


Invariance property on group representations of the Cayley tree and its applications. In the present paper, we give a certain condition on subgroups of the group representation of the Cayley tree such that an invariance property holds. Except for the given condition, we show that the invariance property does not hold.


In store epidemic behavior scale development and validation. Epidemics of infectious diseases have accompanied humans for a long time and, depending on the scale, cause various undesirable social and economic consequences. During the ongoing COVID 19 pandemic, governments of many countries impose restrictions to inhibit spreading of infection. Isolation and limiting interpersonal contacts are particularly recommended actions. Adhering to the rule of isolation may involve restrictions in freedom during daily activities, such as shopping. The aim of the study was to develop a scale of in store pandemic behavior. The whole process involved 3 stages qualitative inquiry, scale purification and scale validation, which were based on 3 studies 1 qualitative (20 in depth interviews) 2 two quantitative (373 and 584 respondents, respectively), and allowed to identify 8 factors. Following, a theoretical model was created to investigate the impact of in store infection threat on identified variables. All identified factors significantly correlated with the in store infection threat which reiterates the importance of providing information revealing the true scale of the pandemic and not leaving space for individuals to create subjective probability judgments. The developed scale can help counteract disinformation and assess consumer behavior compliance and understanding of the official recommendations imposed by governments, enabling more efficient educational efforts.


A unified, stable and accurate meshfree framework for peridynamic correspondence modeling. Part I core methods. The overarching goal of this work is to develop an accurate, robust, and stable methodology for finite deformation modeling using strong form peridynamics (PD) and the correspondence modeling framework. We adopt recently developed methods that make use of higher order corrections to improve the computation of integrals in the correspondence formulation. A unified approach is presented that incorporates the reproducing kernel (RK) and generalized moving least square (GMLS) approximations in PD to obtain higher order gradients. We show, however, that the improved quadrature rule does not suffice to handle correspondence modeling instability issues. In Part I of this paper, a bond associative, higher order core formulation is developed that naturally provides stability. Numerical examples are provided to study the convergence of RK PD, GMLS PD, and their bond associated versions to a local counterpart, as the degree of non locality approaches zero. It is shown that the bond associative approach improves the robustness of RK PD and GMLS PD formulations, which is essential for practical applications. The higher order, bond associated model can obtain second order convergence for smooth problems and first order convergence for problems involving field discontinuities, such as curvilinear free surfaces. In Part II of this paper we use our unified PD framework to (a) study wave propagation phenomena, which have proven problematic for the state based correspondence PD framework (b) propose a new methodology to enforce natural boundary conditions in correspondence PD formulations, which should be particularly appealing to coupled problems. Our results indicate that bond associative formulations accompanied by higher order gradient correction provide the key ingredients to obtain the necessary accuracy, stability, and robustness characteristics needed for engineering scale simulations.


Bipartite partition connected factors with small degrees. In this paper, we show that every 2m partition connected graph G has a bipartite m partition connected factor H such that for each vertex v , d H(v) le lceil frac 3 4 d G(v) rceil . A graph H is said to be m partition connected, if it contains m edge disjoint spanning trees. As an application, we conclude that tough enough graphs with appropriate number of vertices have a bipartite m partition connected factor with maximum degree at most 3m 1 . Finally, we prove that tough enough graphs of order at least 3k admit a bipartite connected factor whose degrees lie in the set k,2k,3k,4k .


Semantic Entity Enrichment by Leveraging Multilingual Descriptions for Link Prediction. Most Knowledge Graphs (KGs) contain textual descriptions of entities in various natural languages. These descriptions of entities provide valuable information that may not be explicitly represented in the structured part of the KG. Based on this fact, some link prediction methods which make use of the information presented in the textual descriptions of entities have been proposed to learn representations of (monolingual) KGs. However, these methods use entity descriptions in only one language and ignore the fact that descriptions given in different languages may provide complementary information and thereby also additional semantics. In this position paper, the problem of effectively leveraging multilingual entity descriptions for the purpose of link prediction in KGs will be discussed along with potential solutions to the problem.


A Socio Informatic Approach to Automated Account Classification on Social Media. Automated accounts on social media have become increasingly problematic. We propose a key feature in combination with existing methods to improve machine learning algorithms for bot detection. We successfully improve classification performance through including the proposed feature.


A cellular automata approach to local patterns for texture recognition. Texture recognition is one of the most important tasks in computer vision and, despite the recent success of learning based approaches, there is still need for model based solutions. This is especially the case when the amount of data available for training is not sufficiently large, a common situation in several applied areas, or when computational resources are limited. In this context, here we propose a method for texture descriptors that combines the representation power of complex objects by cellular automata with the known effectiveness of local descriptors in texture analysis. The method formulates a new transition function for the automaton inspired on local binary descriptors. It counterbalances the new state of each cell with the previous state, in this way introducing an idea of "controlled deterministic chaos". The descriptors are obtained from the distribution of cell states. The proposed descriptors are applied to the classification of texture images both on benchmark data sets and a real world problem, i.e., that of identifying plant species based on the texture of their leaf surfaces. Our proposal outperforms other classical and state of the art approaches, especially in the real world problem, thus revealing its potential to be applied in numerous practical tasks involving texture recognition at some stage.


Compact Quasi Newton preconditioners for SPD linear systems. In this paper preconditioners for the Conjugate Gradient method are studied to solve the Newton system with symmetric positive definite Jacobian. In particular, we define a sequence of preconditioners built by means of SR1 and BFGS low rank updates. We develop conditions under which the SR1 update maintains the preconditioner SPD. Spectral analysis of the SR1 preconditioned Jacobians shows an improved eigenvalue distribution as the Newton iteration proceeds. A compact matrix formulation of the preconditioner update is developed which reduces the cost of its application and is more suitable for parallel implementation. Some notes on the implementation of the corresponding Inexact Newton method are given and numerical results on a number of model problems illustrate the efficiency of the proposed preconditioners.


On the behavior of the free boundary for a one phase Bernoulli problem with mixed boundary conditions. This paper is concerned with the study of the behavior of the free boundary for a class of solutions to a one phase Bernoulli free boundary problem with mixed periodic Dirichlet boundary conditions. It is shown that if the free boundary of a symmetric local minimizer approaches the point where the two different conditions meet, then it must do so at an angle of pi 2


Atmospheric bistability and abrupt transitions to superrotation wave jet resonance and Hadley cell feedbacks. Strong eastward jets at the equator have been observed in many planetary atmospheres and simulated in numerical models of varying complexity. However, the nature of the transition from a conventional state of the general circulation, with easterlies or weak westerlies in the tropics, to such a superrotating state remains unclear. Is it abrupt or continuous? This question may have far reaching consequences, as it may provide a mechanism for abrupt climate change in a planetary atmosphere, both through the loss of stability of the conventional circulation and through potential noise induced transitions in the bistability range. We study two feedbacks which may lead to bistability between a conventional and a superrotating state the Hadley cell feedback and a wave jet resonance feedback. We delineate the regime of applicability of these two mechanisms in a simple model of zonal acceleration budget at the equator. Then, we show using numerical simulations of the axisymmetric primitive equations that the wave jet resonance feedback indeed leads to robust bistability, while the bistability governed by the Hadley cell feedback, although observed in our numerical simulations, is much more fragile in a multilevel model.


A mountain pass theorem for asymptotically conical self expanders. We develop a min max theory for asymptotically conical self expanders of mean curvature flow. In particular, we show that given two distinct strictly stable self expanders that are asymptotic to the same cone and bound a domain, there exists a new asymptotically conical self expander trapped between the two.


On Rigidity of S Arithmetic Kac Moody Groups. In this article we investigate rigidity properties of S arithmetic Kac Moody groups in characteristic 0 .


Robot Trajectory Planning With QoS Constrained IRS assisted Millimeter Wave Communications. This paper considers the joint optimization of trajectory and beamforming of a wirelessly connected robot using intelligent reflective surface (IRS) assisted millimeter wave (mm wave) communications. The goal is to minimize the motion energy consumption subject to time and communication quality of service (QoS) constraints. This is a fundamental problem for industry 4.0, where robots may have to maximize their battery autonomy and communication efficiency. In such scenarios, IRSs and mm waves can dramatically increase the spectrum efficiency of wireless communications providing high data rates and reliability for new industrial applications. We present a solution to the optimization problem that exploits mm wave channel characteristics to decouple beamforming and trajectory optimizations. Then, the latter is solved by a successive convex optimization (SCO) algorithm. The algorithm takes into account the obstacles' positions and a radio map and provides solutions that avoid collisions and satisfy the QoS constraint. Moreover, we prove that the algorithm converges to a solution satisfying the Karush Kuhn Tucker (KKT) conditions.


Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty. Over the past decade, deep learning (DL) has been successfully applied to many industrial domain specific tasks. However, the current state of the art DL software still suffers from quality issues, which raises great concern especially in the context of safety and security critical scenarios. Adversarial examples (AEs) represent a typical and important type of defects needed to be urgently addressed, on which a DL software makes incorrect decisions. Such defects occur through either intentional attack or physical world noise perceived by input sensors, potentially hindering further industry deployment. The intrinsic uncertainty nature of deep learning decisions can be a fundamental reason for its incorrect behavior. Although some testing, adversarial attack and defense techniques have been recently proposed, it still lacks a systematic study to uncover the relationship between AEs and DL uncertainty. In this paper, we conduct a large scale study towards bridging this gap. We first investigate the capability of multiple uncertainty metrics in differentiating benign examples (BEs) and AEs, which enables to characterize the uncertainty patterns of input data. Then, we identify and categorize the uncertainty patterns of BEs and AEs, and find that while BEs and AEs generated by existing methods do follow common uncertainty patterns, some other uncertainty patterns are largely missed. Based on this, we propose an automated testing technique to generate multiple types of uncommon AEs and BEs that are largely missed by existing techniques. Our further evaluation reveals that the uncommon data generated by our method is hard to be defended by the existing defense techniques with the average defense success rate reduced by 35 . Our results call for attention and necessity to generate more diverse data for evaluating quality assurance solutions of DL software.


Specializing Word Embeddings (for Parsing) by Information Bottleneck. Pre trained word embeddings like ELMo and BERT contain rich syntactic and semantic information, resulting in state of the art performance on various tasks. We propose a very fast variational information bottleneck (VIB) method to nonlinearly compress these embeddings, keeping only the information that helps a discriminative parser. We compress each word embedding to either a discrete tag or a continuous vector. In the discrete version, our automatically compressed tags form an alternative tag set we show experimentally that our tags capture most of the information in traditional POS tag annotations, but our tag sequences can be parsed more accurately at the same level of tag granularity. In the continuous version, we show experimentally that moderately compressing the word embeddings by our method yields a more accurate parser in 8 of 9 languages, unlike simple dimensionality reduction.


Multi modal on chip nanoscopy and quantitative phase image reveals the morphology of liver sinusoidal enodthelial cells. Visualization of three dimensional morphological changes in the subcellular structures of a biological specimen is one of the greatest challenges in life science. Despite conspicuous refinements in optical nanoscopy, determination of quantitative changes in subcellular structure, i.e., size and thickness, remains elusive. We present an integrated chip based optical nanoscopy set up that provides a lateral optical resolution of 61 nm combined with a highly sensitive quantitative phase microscopy (QPM) system with a spatial phase sensitivity of pm 20 mrad. We use the system to obtain the 3D morphology of liver sinusoidal endothelial cells (LSECs) combined with super resolved spatial information. LSECs have a unique morphology with nanopores that are present in the plasma membrane, called fenestration. The fenestrations are grouped in clusters called sieve plates, which are around 100 nm thick. Thus, imaging and quantification of fenestration and sieve plate thickness requires resolution and sensitivity of sub 100 nm along both lateral and axial directions. In the chip based nanoscope, the optical waveguides are used both for hosting and illuminating the sample. A strong evanescent field is generated on top of the waveguide surface for single molecule fluorescence excitation. The fluorescence signal is captured by an upright microscope, which is converted into a Linnik type interferometer to sequentially acquire both super resolved images and quantitative phase information of the sample. The multi modal microscope provided an estimate of the fenestration diameter of 124 pm 41 nm and revealed the average estimated thickness of the sieve plates in the range of 91.2 pm 43.5 nm for two different cells. The combination of these techniques offers visualization of both the lateral size (using nanoscopy) and the thickness map of sieve plates, i.e. discrete clusters fenestrations in QPM mode.


On the Dynamic Centralized Coded Caching Design. Coded caching scheme provides us an effective framework to realize additional coded multicasting gain by exploiting coding into multiple transmitted signals. The goal of coded caching design is to jointly optimize the placement and delivery scheme so as to minimize the amount of transmitted coded signals. However, few research efforts consider multiple round coded caching design problem, in which fixed and mobile users may coexist in one network different number of active users present in successive rounds. Obviously, such dynamic network configurations may lead to undesired frequent placement caching content updating at user sides, if we assume coded caching scheme for each round separately. Thus how to tailor the coded caching design, such that the frequent caching content updating in the placement phase can be avoided, and simultaneously retaining full caching gain in delivery phase in multiple rounds will become highly desirable. In this paper, by carefully examining the bipartite graph representation of the coded caching scheme, a dynamic centralized coded caching design is proposed on the basis of the concatenating based placement and the saturating matching based delivery scheme. Our analysis unveils that, the proposed dynamic coded caching scheme can realize the flexible coded multicast, and is order optimal.


Classification of Spam Emails through Hierarchical Clustering and Supervised Learning. Spammers take advantage of email popularity to send indiscriminately unsolicited emails. Although researchers and organizations continuously develop anti spam filters based on binary classification, spammers bypass them through new strategies, like word obfuscation or image based spam. For the first time in literature, we propose to classify spam email in categories to improve the handle of already detected spam emails, instead of just using a binary model. First, we applied a hierarchical clustering algorithm to create SPEMC 11 K (SPam EMail Classification), the first multi class dataset, which contains three types of spam emails Health and Technology, Personal Scams, and Sexual Content. Then, we used SPEMC 11 K to evaluate the combination of TF IDF and BOW encodings with Na "ive Bayes, Decision Trees and SVM classifiers. Finally, we recommend for the task of multi class spam classification the use of (i) TF IDF combined with SVM for the best micro F1 score performance, 95.39 , and (ii) TD IDF along with NB for the fastest spam classification, analyzing an email in 2.13 ms.


Proof of Search Combining Blockchain Consensus Formation with Solving Optimization Problems. To address the large amount of energy wasted by blockchains, we propose a decentralized consensus protocol for blockchains in which the computation can be used to search for good approximate solutions to any optimization problem. Our protocol allows the wasted energy to be used for finding approximate solutions to problems submitted by any nodes (called clients). Our protocol works in a similar way to proof of work, and it makes nodes evaluate a large number of solution candidates to add a new block to the chain. A client provides a search program that implements any search algorithm that finds a good solution by evaluating a large number of solution candidates. The node that finds the best approximate solution is rewarded by the client. Our analysis shows that the probability of a fork and the variance in the block time with our protocol are lower than those in proof of work.


Decoding the Style and Bias of Song Lyrics. The central idea of this paper is to gain a deeper understanding of song lyrics computationally. We focus on two aspects style and biases of song lyrics. All prior works to understand these two aspects are limited to manual analysis of a small corpus of song lyrics. In contrast, we analyzed more than half a million songs spread over five decades. We characterize the lyrics style in terms of vocabulary, length, repetitiveness, speed, and readability. We have observed that the style of popular songs significantly differs from other songs. We have used distributed representation methods and WEAT test to measure various gender and racial biases in the song lyrics. We have observed that biases in song lyrics correlate with prior results on human subjects. This correlation indicates that song lyrics reflect the biases that exist in society. Increasing consumption of music and the effect of lyrics on human emotions makes this analysis important.


Synchronization in cilia carpets multiple metachronal waves are stable, but one wave dominates. Carpets of actively bending cilia represent arrays of biological oscillators that can exhibit self organized metachronal synchronization in the form of traveling waves of cilia phase. This metachronal coordination supposedly enhances fluid transport by cilia carpets. Using a multi scale model calibrated by an experimental cilia beat pattern, we predict multi stability of wave modes. Yet, a single mode, corresponding to a dexioplectic wave, has predominant basin of attraction. Similar to a "dynamic" Mermin Wagner theorem, relaxation times diverge with system size, which rules out global order in infinite systems. In finite systems, we characterize the synchronization transition as function of quenched frequency disorder, using generalized Kuramoto order parameters. Our framework termed Lagrangian Mechanics of Active Systems allows to predict the direction and stability of metachronal synchronization for given beat patterns.


An algorithm to evaluate the spectral expansion. Assume that X is a connected (q 1) regular undirected graph of finite order n . Let A denote the adjacency matrix of X . Let lambda 1 q 1 lambda 2 geq lambda 3 geq ldots geq lambda n denote the eigenvalues of A . The spectral expansion of X is defined by Delta(X) lambda 1 max 2 leq i leq n lambda i . By the Alon Boppana theorem, when n is sufficiently large, Delta(X) is quite high if mu(X) q frac 1 2 max 2 leq i leq n lambda i is close to 2 . In this paper, with the inputs A and a real number varepsilon 0 we design an algorithm to estimate if mu(X) leq 2 varepsilon in O(n omega log log 1 varepsilon n ) time, where omega 2.3729 is the exponent of matrix multiplication.


Flagged ( mathcal P , rho) partitions. We introduce the theory of ( mathcal P , rho) partitions, depending on a poset mathcal P and a map rho from mathcal P to positive integers. The generating function mathfrak F mathcal P , rho of ( mathcal P , rho) partitions is a polynomial that, when the images of rho tend to infinity, tends to Stanley's generating function F mathcal P of mathcal P partitions. Analogous to Stanley's fundamental theorem for mathcal P partitions, we show that the set of ( mathcal P , rho) partitions decomposes as a disjoint union of ( mathcal L , rho) partitions where mathcal L runs over the set of linear extensions of mathcal P . In this more general context, the set of all mathfrak F mathcal L , rho for linear orders mathcal L over determines a basis of polynomials. We thus introduce the notion of flagged ( mathcal P , rho) partitions, and we prove that the set of all mathfrak F mathcal L , rho for flagged ( mathcal L , rho) partitions for linear orders mathcal L is precisely the fundamental slide basis of the polynomial ring, introduced by the first author and Searles. Our main theorem shows that any generating function mathfrak F mathcal P , rho of flagged ( mathcal P , rho) partitions is a positive integer linear combination of slide polynomials. As applications, we give a new proof of positivity of the slide product and, motivating our nomenclature, we also prove flagged Schur functions are slide positive.


Two enriched poset polytopes. Stanley introduced and studied two lattice polytopes, the order polytope and chain polytope, associated to a finite poset. Recently Ohsugi and Tsuchiya introduce an enriched version of them, called the enriched order polytope and enriched chain polytope. In this paper, we give a piecewise linear bijection between these enriched poset polytopes, which is an enriched analogue of Stanley's transfer map and bijectively proves that they have the same Ehrhart polynomials. Also we construct explicitly unimodular triangulations of two enriched poset polytopes.


Solutions of x q k cdots x q x a in GF 2 n . Though it is well known that the roots of any affine polynomial over a finite field can be computed by a system of linear equations by using a normal base of the field, such solving approach appears to be difficult to apply when the field is fairly large. Thus, it may be of great interest to find an explicit representation of the solutions independently of the field base. This was previously done only for quadratic equations over a binary finite field. This paper gives an explicit representation of solutions for a much wider class of affine polynomials over a binary prime field.


High order conservative positivity preserving DG interpolation for deforming meshes and application to moving mesh DG simulation of radiative transfer. Solution interpolation between deforming meshes is an important component for several applications in scientific computing, including indirect arbitrary Lagrangian Eulerian and rezoning moving mesh methods in numerical solution of partial differential equations. In this paper, a high order, conservative, and positivity preserving interpolation scheme is developed based on the discontinuous Galerkin solution of a linear time dependent equation on deforming meshes. The scheme works for bounded but otherwise arbitrary mesh deformation from the old mesh to the new one. The cost and positivity preservation (with a linear scaling limiter) of the DG interpolation are investigated. Numerical examples are presented to demonstrate the properties of the interpolation scheme. The DG interpolation is applied to the rezoning moving mesh DG solution of the radiative transfer equation, an integro differential equation modeling the conservation of photons and involving time, space, and angular variables. Numerical results obtained for examples in one and two spatial dimensions with various settings show that the resulting rezoning moving mesh DG method maintains the same convergence order as the standard DG method, is more efficient than the method with a fixed uniform mesh, and is able to preserve the positivity of the radiative intensity.


Dehn surgery and non separating two spheres. When can surgery on a null homologous knot K in a rational homology sphere produce a non separating sphere? We use Heegaard Floer homology to give sufficient conditions for K to be unknotted. We also discuss some applications to homology cobordism, concordance, and Mazur manifolds.


Balanced Truncation Model Reduction for Lifted Nonlinear Systems. We present a balanced truncation model reduction approach for a class of nonlinear systems with time varying and uncertain inputs. First, our approach brings the nonlinear system into quadratic bilinear (QB) form via a process called lifting, which introduces transformations via auxiliary variables to achieve the specified model form. Second, we extend a recently developed QB balanced truncation method to be applicable to such lifted QB systems that share the common feature of having a system matrix with zero eigenvalues. We illustrate this framework and the multi stage lifting transformation on a tubular reactor model. In the numerical results we show that our proposed approach can obtain reduced order models that are more accurate than proper orthogonal decomposition reduced order models in situations where the latter are sensitive to the choice of training data.


Spectral characterization of quaternionic positive definite functions on the real line. This paper is concerned with the spectral characteristics of quaternionic positive definite functions on the real line. We generalize the Stone's theorem to the case of a right quaternionic linear one parameter unitary group via two different types of functional calculus. From the generalized Stone's theorems we obtain a correspondence between continuous quaternionic positive definite functions and spectral systems, i.e., unions of a spectral measure and a unitary anti self adjoint operator that commute with each other and then deduce that the Fourier transform of a continuous quaternionic positive definite function is an unusual type of quaternion valued measure which can be described equivalently in two different ways. One is related to spectral systems (induced by the first generalized Stone's theorem), the other is related to non negative finite Borel measures (induced by the second generalized Stone's theorem). An application to weakly stationary quaternionic random processes is also presented.


Metric Approximations of Spectral Triples on the Sierpi 'nski Gasket and other fractal curves. Noncommutative geometry provides a framework, via the construction of spectral triples, for the study of the geometry of certain classes of fractals. Many fractals are constructed as natural limits of certain sets with a simpler structure for instance, the Sierpi 'nski is the limit of finite graphs consisting of various affine images of an equilateral triangle. It is thus natural to ask whether the spectral triples, constructed on a class of fractals called piecewise C 1 fractal curves, are indeed limits, in an appropriate sense, of spectral triples on the approximating sets. We answer this question affirmatively in this paper, where we use the spectral propinquity on the class of metric spectral triples, in order to formalize the sought after convergence of spectral triples. Our results and methods are relevant to the study of analysis on fractals and have potential physical applications.


Linear stability of athermal regularized lattice Boltzmann methods. The present work is dedicated to a better understanding of the stability properties of regularized lattice Boltzmann (LB) schemes. To this extent, linear stability analyses of two dimensional models are proposed the standard Bhatnagar Gross Krook (BGK) collision model, the original pre collision regularization and the recursive regularized model, where off equilibrium distributions are partially computed thanks to a recursive formula. A systematic identification of the physical content carried by each LB mode is done by analyzing the eigenvectors of the linear systems. Stability results are then numerically confirmed by performing simulations of shear and acoustic waves. This work allows drawing fair conclusions on the stability properties of each model. In particular, recursive regularization turns out to be the most stable model for the D2Q9 lattice, especially in the zero viscosity limit. Two major properties shared by every regularized model are highlighted (1) a mode filtering property, and (2) an incorrect, and broadly anisotropic, dissipation rate of the modes carrying physical waves in under resolved conditions. The first property is the main source of increased stability, especially for the recursive regularization. It is a direct consequence of the reconstruction of off equilibrium populations before each collision process, decreasing the rank of the system of discrete equations. The second property seems to be related to numerical errors directly induced by the equilibration of high order moments. In such a case, this property is likely to occur with any collision model that follows such a stabilization methodology.