Mobile phone data and COVID 19 Missing an opportunity?. This paper describes how mobile phone data can guide government and public health authorities in determining the best course of action to control the COVID 19 pandemic and in assessing the effectiveness of control measures such as physical distancing. It identifies key gaps and reasons why this kind of data is only scarcely used, although their value in similar epidemics has proven in a number of use cases. It presents ways to overcome these gaps and key recommendations for urgent action, most notably the establishment of mixed expert groups on national and regional level, and the inclusion and support of governments and public authorities early on. It is authored by a group of experienced data scientists, epidemiologists, demographers and representatives of mobile network operators who jointly put their work at the service of the global effort to combat the COVID 19 pandemic.


Modeling and Predicting Trust Dynamics in Human Robot Teaming A Bayesian Inference Approach. Trust in automation, or more recently trust in autonomy, has received extensive research attention in the past two decades. The majority of prior literature adopted a "snapshot" view of trust and typically evaluated trust through questionnaires administered at the end of an experiment. This "snapshot" view, however, does not acknowledge that trust is a time variant variable that can strengthen or decay over time. To fill the research gap, the present study aims to model trust dynamics when a human interacts with a robotic agent over time. The underlying premise of the study is that by interacting with a robotic agent and observing its performance over time, a rational human agent will update his her trust in the robotic agent accordingly. Based on this premise, we develop a personalized trust prediction model based on Beta distribution and learn its parameters using Bayesian inference. Our proposed model adheres to three major properties of trust dynamics reported in prior empirical studies. We tested the proposed method using an existing dataset involving 39 human participants interacting with four drones in a simulated surveillance mission. The proposed method obtained a Root Mean Square Error (RMSE) of 0.072, significantly outperforming existing prediction methods. Moreover, we identified three distinctive types of trust dynamics, the Bayesian decision maker, the oscillator, and the disbeliever, respectively. This prediction model can be used for the design of individualized and adaptive technologies.


Some recent work on biharmonic conformal maps. This note reviews some of the recent work on biharmonic conformal maps (see cite OC , Chapter 11, for a detailed survey). It will be focused on biharmonic conformal immersions and biharmonic conformal maps between manifolds of the same dimension and their links to isoparametric functions and Yamabe type equations, though biharmonic morphisms (maps that preserve solutions of bi Laplace equations), generalized harmonic morphisms (maps that pull back germs of harmonic functions to germs of biharmonic functions), and biharmonic conformal and Riemannian submersions will also be touched.


The weight distributions of linear sets in PG(1,q 5). In this paper, we study the weight distributions of mathbb F q linear sets in mathrm PG (1,q 5) . Our main theorem proves that a linear set S of rank 5 , which is not scattered has the following weight distribution for its points with weight larger than 1 (i) one point of weight 4 or 5 , (ii) one point of weight 3 and 0 , q , q 2 points of weight two, (iii) s points of weight 2 where s in q 2 sqrt q 1,q 2 sqrt q 1 cup 2q,2q 1,2q 2,3q,3q 1,q 2 1 . In particular, there are no 2 clubs in mathrm PG (1,q 5) .


Zsigmondy's Theorem for Chebyshev polynomials. For an integer a consider the sequence (T n (a) 1) n 1 infty defined by the Chebyshev polynomials T n . We list all pairs (n,a) for which the term T n (a) 1 has no primitive prime divisor.


Zeros of slice functions and polynomials over dual quaternions. This work studies the zeros of slice functions over the algebra of dual quaternions and it comprises applications to the problem of factorizing motion polynomials. The class of slice functions over an alternative algebra A was defined by Ghiloni and Perotti in 2011, extending the class of slice regular functions introduced by Gentili and Struppa in 2006. Both classes strictly include the polynomials over A . We focus on the case when A is the algebra of dual quaternions mathbb DH . The specific properties of this algebra allow a full characterization of the zero sets, which is not available over general alternative algebras. This characterization sheds some light on the study of motion polynomials over mathbb DH , introduced by Heged "us, Schicho, and Schr "ocker in 2013 for their relevance in mechanism science.


Regularity for higher order quasiconvex problems with linear growth from below. We announce new existence and varepsilon regularity results for minimisers of the relaxation of strongly quasiconvex integrals that on smooth maps u colon Omega subset mathbb R n to mathbb R N are defined by u mapsto int Omega F( nabla k u)dx. The results cover the case of integrands F with (1,q) growth in the full range of exponents 1 q frac n n 1 for which a measure representation of the relaxed functional is possible and the minimizers belong to the space BV k of maps whose k th order derivatives are measures.


Does the use of open, non anonymous peer review in scholarly publishing introduce bias? Evidence from the F1000 post publication open peer review publishing model. This study examines whether there is any evidence of bias in two areas of common critique of open, non anonymous peer review and used in the post publication, peer review system operated by the open access scholarly publishing platform F1000Research. First, is there evidence of bias where a reviewer based in a specific country assesses the work of an author also based in the same country? Second, are reviewers influenced by being able to see the comments and know the origins of previous reviewer? Methods Scrutinising the open peer review comments published on F1000Research, we assess the extent of two frequently cited potential influences on reviewers that may be the result of the transparency offered by a fully attributable, open peer review publishing model the national affiliations of authors and reviewers, and the ability of reviewers to view previously published reviewer reports before submitting their own. The effects of these potential influences were investigated for all first versions of articles published by 8 July 2019 to F1000Research. In 16 out of the 20 countries with the most articles, there was a tendency for reviewers based in the same country to give a more positive review. The difference was statistically significant in one. Only 3 countries had the reverse tendency. Second, there is no evidence of a conformity bias. When reviewers mentioned a previous review in their peer review report, they were not more likely to give the same overall judgement. Although reviewers who had longer to potentially read a previously published reviewer reports were slightly less likely to agree with previous reviewer judgements, this could be due to these articles being difficult to judge rather than deliberate non conformity.


Recording and manipulation of vagus nerve electrical activity in chronically instrumented unanesthetized near term fetal sheep. Background The chronically instrumented pregnant sheep has been used as a model of human fetal development and responses to pathophysiologic stimuli. This is due to the unique amenability of the unanesthetized fetal sheep to the surgical placement and maintenance of catheters and electrodes, allowing repetitive blood sampling, substance injection, recording of bioelectrical activity, application of electric stimulation and in vivo organ imaging. Recently, there has been growing interest in pleiotropic effects of vagus nerve stimulation (VNS) on various organ systems such as innate immunity, metabolism, and appetite control. There is no approach to study this in utero and corresponding physiological understanding is scarce. New Method Based on our previous presentation of a stable chronically instrumented unanesthetized fetal sheep model, here we describe the surgical instrumentation procedure allowing successful implantation of a cervical uni or bilateral VNS probe with or without vagotomy. Results In a cohort of 53 animals, we present the changes in blood gas, metabolic, and inflammatory markers during the postoperative period. We detail the design of a VNS probe which also allows recording from the nerve. We also present an example of vagus electroneurogram (VENG) recorded from the VNS probe and an analytical approach to the data. Comparison with Existing Methods This method represents the first implementation of VENG VNS in a large pregnant mammalian organism. Conclusions This study describes a new surgical procedure allowing to record and manipulate chronically the vagus nerve activity in an animal model of human pregnancy.


A continuum model for the growth of dendritic actin networks. Polymerization of dendritic actin networks underlies important mechanical processes in cell biology such as the protrusion of lamellipodia, propulsion of growth cones in dendrites of neurons, intracellular transport of organelles and pathogens, among others. The forces required for these mechanical functions have been deduced from mechano chemical models of actin polymerization most models are focused on single growing filaments, and only a few address polymerization of filament networks through simulations. Here we propose a continuum model of surface growth and filament nucleation to describe polymerization of dendritic actin networks. The model describes growth and elasticity in terms of macroscopic stresses, strains and filament density rather than focusing on individual filaments. The microscopic processes underlying polymerization are subsumed into kinetic laws characterizing the change of filament density and the propagation of growing surfaces. This continuum model can predict the evolution of actin networks in disparate experiments. A key conclusion of the analysis is that existing laws relating force to polymerization speed of single filaments cannot predict the response of growing networks. Therefore a new kinetic law, consistent with the dissipation inequality, is proposed to capture the evolution of dendritic actin networks under different loading conditions. This model may be extended to other settings involving a more complex interplay between mechanical stresses and polymerization kinetics, such as the growth of networks of microtubules, collagen filaments, intermediate filaments and carbon nanotubes.


Outsourcing Computation the Minimal Refereed Mechanism. We consider a setting where a verifier with limited computation power delegates a resource intensive computation task which requires a T times S computation tableau to two provers where the provers are rational in that each prover maximizes their own payoff taking into account losses incurred by the cost of computation. We design a mechanism called the Minimal Refereed Mechanism (MRM) such that if the verifier has O( log S log T) time and O( log S log T) space computation power, then both provers will provide a honest result without the verifier putting any effort to verify the results. The amount of computation required for the provers (and thus the cost) is a multiplicative log S factor more than the computation itself, making this schema efficient especially for low space computations.


Quantitative inconsistent feasibility for averaged mappings. Bauschke and Moursi have recently obtained results that implicitly contain the fact that the composition of finitely many averaged mappings on a Hilbert space that have approximate fixed points also has approximate fixed points and thus is asymptotically regular. Using techniques of proof mining, we analyze their arguments to obtain effective uniform rates of asymptotic regularity.


Faster Person Re Identification. Fast person re identification (ReID) aims to search person images quickly and accurately. The main idea of recent fast ReID methods is the hashing algorithm, which learns compact binary codes and performs fast Hamming distance and counting sort. However, a very long code is needed for high accuracy (e.g. 2048), which compromises search speed. In this work, we introduce a new solution for fast ReID by formulating a novel Coarse to Fine (CtF) hashing code search strategy, which complementarily uses short and long codes, achieving both faster speed and better accuracy. It uses shorter codes to coarsely rank broad matching similarities and longer codes to refine only a few top candidates for more accurate instance ReID. Specifically, we design an All in One (AiO) framework together with a Distance Threshold Optimization (DTO) algorithm. In AiO, we simultaneously learn and enhance multiple codes of different lengths in a single model. It learns multiple codes in a pyramid structure, and encourage shorter codes to mimic longer codes by self distillation. DTO solves a complex threshold search problem by a simple optimization process, and the balance between accuracy and speed is easily controlled by a single parameter. It formulates the optimization target as a F beta score that can be optimised by Gaussian cumulative distribution functions. Experimental results on 2 datasets show that our proposed method (CtF) is not only 8 more accurate but also 5x faster than contemporary hashing ReID methods. Compared with non hashing ReID methods, CtF is 50 times faster with comparable accuracy. Code is available at https github.com wangguanan light reid.


REPrune Filter Pruning via Representative Election. Even though norm based filter pruning methods are widely accepted, it is questionable whether the "smaller norm less important" criterion is optimal in determining filters to prune. Especially when we can keep only a small fraction of the original filters, it is more crucial to choose the filters that can best represent the whole filters regardless of norm values. Our novel pruning method entitled "REPrune" addresses this problem by selecting representative filters via clustering. By selecting one filter from a cluster of similar filters and avoiding selecting adjacent large filters, REPrune can achieve a better compression rate with similar accuracy. Our method also recovers the accuracy more rapidly and requires a smaller shift of filters during fine tuning. Empirically, REPrune reduces more than 49 FLOPs, with 0.53 accuracy gain on ResNet 110 for CIFAR 10. Also, REPrune reduces more than 41.8 FLOPs with 1.67 Top 1 validation loss on ResNet 18 for ImageNet.


LiFtEr Language to Encode Induction Heuristics for Isabelle HOL. Proof assistants, such as Isabelle HOL, offer tools to facilitate inductive theorem proving. Isabelle experts know how to use these tools effectively however, there is a little tool support for transferring this expert knowledge to a wider user audience. To address this problem, we present our domain specific language, LiFtEr. LiFtEr allows experienced Isabelle users to encode their induction heuristics in a style independent of any problem domain. LiFtEr's interpreter mechanically checks if a given application of induction tool matches the heuristics, thus automating the knowledge transfer loop.


On discrete time self similar processes with stationary increments. In this paper we study the self similar processes with stationary increments in a discrete time setting. Different from the continuous time case, it is shown that the scaling function of such a process may not take the form of a power function b(a) a H . More precisely, its scaling function can belong to one of three types, among which one type is degenerate, one type has a continuous time counterpart, while the other type is new and unique for the discrete time setting. We then focus on this last type of processes, construct two classes of examples, and prove a special spectral representation result for the processes of this type. We also derive basic properties of discrete time self similar processes with stationary increments of different types.


A Dimensionality Reduction Strategy to Compute Shortest Paths in Urban Water Networks. The efficient computation of shortest paths in complex networks is essential to face new challenges related to critical infrastructures such as a near real time monitoring and control and the management of big size systems. In particular, using information on the minimum paths in water distribution networks (WDNs) allows to track the diffusion of contaminants and to quantify the resilience and criticality of the system. This is, ultimately, approached by considering dynamically changing path weights that depend on the flow or on other information available at run time. These analyses tipically include all the WDN assets but reducing the high degree of physical details with a minimum lost of key information for their performance assessment. This paper proposes a strategy to compute minimum paths that is based on a dimensionality reduction process. Specifically, the network is partitioned into communities and suitably modified to obtain a reduced complexity representation (e.g., in terms of number of nodes and links). The paper shows how this novel, reduced representation is equivalent to the traditional network on computing the shortest paths. The proposed approach is validated considering two utility networks as case studies. The results show that the proposed method provides the exact solution for the shortest path with a computational time reduction consistently over 50 and up to 90 for some cases. Furthermore, the application of the proposal on WDNs partitioning shows both hydraulic and economic advantages thanks to their monitoring and controlling at near real time.


The Zakharov system in dimension d geqslant 4 . The sharp range of Sobolev spaces is determined in which the Cauchy problem for the classical Zakharov system is well posed, which includes existence of solutions, uniqueness, persistence of initial regularity, and real analytic dependence on the initial data. In addition, under a condition on the data for the Schr "odinger equation at the lowest admissible regularity, global well posedness and scattering is proved. The results cover energy critical and energy supercritical dimensions d geqslant 4 .


Bump Functions With Monotone Fourier Transforms Satisfying Decay Bounds. The existence of a smooth, nonnegative, compactly supported function with monotone (on the half line) Fourier transform satisfying two sided decay bounds is demonstrated.


Uniform approximation of 2 d Navier Stokes equation by stochastic interacting particle systems. We consider an interacting particle system modeled as a system of N stochastic differential equations driven by Brownian motions. We prove that the (mollified) empirical process converges, uniformly in time and space variables, to the solution of the two dimensional Navier Stokes equation written in vorticity form. The proofs follow a semigroup approach.


Strong data processing constant is achieved by binary inputs. For any channel P Y X the strong data processing constant is defined as the smallest number eta KL in 0,1 such that I(U Y) le eta KL I(U X) holds for any Markov chain U X Y . It is shown that the value of eta KL is given by that of the best binary input subchannel of P Y X . The same result holds for any f divergence, verifying a conjecture of Cohen, Kemperman and Zbaganu (1998).


Some dynamical properties of delayed weakly reversible mass action systems. This paper focuses on the dynamical properties of delayed complex balanced systems. We first study the relationship between the stoichiometric compatibility classes of delayed and non delayed systems. Using this relation we give another way to derive the existence of positive equilibrium in each stoichiometric compatibility class for delayed complex balanced systems. And if time delays are constant, the result can be generalized to weakly reversible networks. Also, by utilizing the Lyapunov Krasovskii functional, we can obtain a long time dynamical property about omega limit set of the complex balanced system with constant time delays. An example is also provided to support our results.


Making a Case for 3D Convolutions for Object Segmentation in Videos. The task of object segmentation in videos is usually accomplished by processing appearance and motion information separately using standard 2D convolutional networks, followed by a learned fusion of the two sources of information. On the other hand, 3D convolutional networks have been successfully applied for video classification tasks, but have not been leveraged as effectively to problems involving dense per pixel interpretation of videos compared to their 2D convolutional counterparts and lag behind the aforementioned networks in terms of performance. In this work, we show that 3D CNNs can be effectively applied to dense video prediction tasks such as salient object segmentation. We propose a simple yet effective encoder decoder network architecture consisting entirely of 3D convolutions that can be trained end to end using a standard cross entropy loss. To this end, we leverage an efficient 3D encoder, and propose a 3D decoder architecture, that comprises novel 3D Global Convolution layers and 3D Refinement modules. Our approach outperforms existing state of the arts by a large margin on the DAVIS'16 Unsupervised, FBMS and ViSal dataset benchmarks in addition to being faster, thus showing that our architecture can efficiently learn expressive spatio temporal features and produce high quality video segmentation masks. Our code and models will be made publicly available.


Data Representing Ground Truth Explanations to Evaluate XAI Methods. Explainable artificial intelligence (XAI) methods are currently evaluated with approaches mostly originated in interpretable machine learning (IML) research that focus on understanding models such as comparison against existing attribution approaches, sensitivity analyses, gold set of features, axioms, or through demonstration of images. There are problems with these methods such as that they do not indicate where current XAI approaches fail to guide investigations towards consistent progress of the field. They do not measure accuracy in support of accountable decisions, and it is practically impossible to determine whether one XAI method is better than the other or what the weaknesses of existing models are, leaving researchers without guidance on which research questions will advance the field. Other fields usually utilize ground truth data and create benchmarks. Data representing ground truth explanations is not typically used in XAI or IML. One reason is that explanations are subjective, in the sense that an explanation that satisfies one user may not satisfy another. To overcome these problems, we propose to represent explanations with canonical equations that can be used to evaluate the accuracy of XAI methods. The contributions of this paper include a methodology to create synthetic data representing ground truth explanations, three data sets, an evaluation of LIME using these data sets, and a preliminary analysis of the challenges and potential benefits in using these data to evaluate existing XAI approaches. Evaluation methods based on human centric studies are outside the scope of this paper.


A short proof of Thoma's theorem on type I groups. In the theory of unitary group representations, a group is called type I if all factor representations are of type I, and by a celebrated theorem of James Glimm Gli61b , the type I groups are precisely those groups for which the irreducible unitary representations are what descriptive set theorists now call "concretely classifiable". Elmar Thoma Tho64 proved the following surprising characterization of the countable discrete groups of type I They are precisely those that contain a finite index abelian subgroup. In this paper we give a new, simpler proof of Thoma's theorem, which relies only on relatively elementary methods. Gli61b James Glimm, Type I C ast algebras, Ann. of Math. (2) 73 (1961), 572 612. MR 0124756 Tho64 Elmar Thoma, "Uber unit "are Darstellungen abz "ahlbarer, diskreter Gruppen, Math. Ann. 153 (1964), 111 138. MR 0160118


Evaluating Online Continual Learning with CALM. Online Continual Learning (OCL) studies learning over a continuous data stream without observing any single example more than once, a setting that is closer to the experience of humans and systems that must learn "on the wild". Yet, commonly available benchmarks are far from these real world conditions, because they explicitly signal different tasks, lack latent similarity structure or assume temporal independence between different examples. Here, we propose a new benchmark for OCL based on language modelling in which input alternates between different languages and domains without any explicit delimitation. Additionally, we propose new metrics to study catastrophic forgetting in this setting and evaluate multiple baseline models based on compositions of experts. Finally, we introduce a simple gating technique that learns the latent similarities between different inputs, improving the performance of a Products of Experts model.


An Economic Model for Quantum Key Recovery Attacks against Ideal Ciphers. It has been established that quantum algorithms can solve several key cryptographic problems more efficiently than classical computers. As progress continues in the field of quantum computing it is important to understand the risks they pose to deployed cryptographic systems. Here we focus on one of these risks quantum key recovery attacks against ideal ciphers. Specifically, we seek to model the risk posed by an economically motivated quantum attacker who will choose to run a quantum key recovery attack against an ideal cipher if the cost to recover the secret key is less than the value of the information at the time when the key recovery attack is complete. In our analysis we introduce the concept of a quantum cipher circuit year to measure the cost of a quantum attack. This concept can be used to model the inherent tradeoff between the total time to run a quantum key recovery attack and the total work required to run said attack. Our model incorporates the time value of the encrypted information to predict whether any time work tradeoff results in a key recovery attack with positive utility for the attacker. We make these predictions under various projections of advances in quantum computing. We use these predictions to make recommendations for the future use and deployment of symmetric key ciphers to secure information against these quantum key recovery attacks. We argue that, even with optimistic predictions for advances in quantum computing, 128 bit keys (as used in common cipher implementations like AES 128) provide adequate security against quantum attacks in almost all use cases.


On flag transitive imprimitive 2 designs. In 1987, Huw Davies proved that, for a flag transitive point imprimitive 2 (v,k, lambda) design, both the block size k and the number v of points are bounded by functions of lambda , but he did not make these bounds explicit. In this paper we derive explicit polynomial functions of lambda bounding k and v . For lambda leq 4 we obtain a list of numerically feasible' parameter sets v, k, lambda together with the number of parts and part size of an invariant point partition and the size of a nontrivial block part intersection. Moreover from these parameter sets we determine all examples with fewer than 100 points. There are exactly eleven such examples, and for one of these designs, a flag regular, point imprimitive 2 (36,8,4) design with automorphism group rm Sym (6) , there seems to be no construction previously available in the literature.


Lattice Boltzmann method for computational aeroacoustics on non uniform meshes a direct grid coupling approach. The present study proposes a highly accurate lattice Boltzmann direct coupling cell vertex algorithm, well suited for industrial purposes, making it highly valuable for aeroacoustic applications. It is indeed known that the convection of vortical structures across a grid refinement interface, where cell size is abruptly doubled, is likely to generate spurious noise that may corrupt the solution over the whole computational domain. This issue becomes critical in the case of aeroacoustic simulations, where accurate pressure estimations are of paramount importance. Consequently, any interfering noise that may pollute the acoustic predictions must be reduced. The proposed grid refinement algorithm differs from conventionally used ones, in which an overlapping mesh layer is considered. Instead, it provides a direct connection allowing a tighter link between fine and coarse grids, especially with the use of a coherent equilibrium function shared by both grids. Moreover, the direct coupling makes the algorithm more local and prevents the duplication of points, which might be detrimental for massive parallelization. This work follows our first study (Astoul textit et al. 2020 ) on the deleterious effect of non hydrodynamic modes crossing mesh transitions, which can be addressed using an appropriate collision model. The Hybrid Recursive Regularized model is then used for this study. The grid coupling algorithm is assessed and compared to a widely used cell vertex algorithm on an acoustic pulse test case, a convected vortex and a turbulent circular cylinder wake flow at high Reynolds number.


The existence and linear stability of periodic solution for a free boundary problem modeling tumor growth with a periodic supply of external nutrients. We study a free boundary problem modeling tumor growth with a T periodic supply Phi(t) of external nutrients. The model contains two parameters mu and widetilde sigma . We first show that (i) zero radially symmetric solution is globally stable if and only if widetilde sigma ge frac 1 T int 0 T Phi(t) d t (ii) If widetilde sigma frac 1 T int 0 T Phi(t) d t , then there exists a unique radially symmetric positive solution left( sigma (r, t), p (r, t), R (t) right) with period T and it is a global attractor of all positive radially symmetric solutions for all mu 0 . These results are a perfect answer to open problems in Bai and Xu Pac. J. Appl. Math. 2013(5), 217 223 . Then, considering non radially symmetric perturbations, we prove that there exists a constant mu ast 0 such that left( sigma (r, t), p (r, t), R (t) right) is linearly stable for mu mu ast and linearly unstable for mu mu ast .


Laser cooling in a chip scale platform. Chip scale atomic devices built around micro fabricated alkali vapor cells are at the forefront of compact metrology and atomic sensors. We demonstrate a micro fabricated vapor cell that is actively pumped to ultra high vacuum (UHV) to achieve laser cooling. A grating magneto optical trap (GMOT) is incorporated with the 4 mm thick Si glass vacuum cell to demonstrate the feasibility of a fully miniaturized laser cooling platform. A two step optical excitation process in rubidium is used to overcome surface scatter limitations to the GMOT imaging. The unambiguous miniaturization and form customizability made available with micro fabricated UHV cells provide a promising platform for future compact cold atom sensors.


EncryptGAN Image Steganography with Domain Transform. We propose an image steganographic algorithm called EncryptGAN, which disguises private image communication in an open communication channel. The insight is that content transform between two very different domains (e.g., face to flower) allows one to hide image messages in one domain (face) and communicate using its counterpart in another domain (flower). The key ingredient in our method, unlike related approaches, is a specially trained network to extract transformed images from both domains and use them as the public and private keys. We ensure the image communication remain secret except for the intended recipient even when the content transformation networks are exposed. To communicate, one directly pastes the message' image onto a larger public key image (face). Depending on the location and content of the message image, the disguise' image (flower) alters its appearance and shape while maintaining its overall objectiveness (flower). The recipient decodes the alternated image to uncover the original image message using its message image key. We implement the entire procedure as a constrained Cycle GAN, where the public and the private key generating network is used as an additional constraint to the cycle consistency. Comprehensive experimental results show our EncryptGAN outperforms the state of arts in terms of both encryption and security measures.


Classification of generalized K "ahler Ricci solitons on complex surfaces. Using toric geometry we give an explicit construction of the compact steady solitons for pluriclosed flow first constructed in arXiv 1802.00170. This construction also reveals that these solitons are generalized K "ahler in two distinct ways, with vanishing and nonvanishing Poisson structure. This gives the first examples of generalized K "ahler structures with nonvanishing Poisson structure on non standard Hopf surfaces, completing the existence question for such structures. Moreover this gives a complete answer to the existence question for generalized K "ahler Ricci solitons on compact complex surfaces. In the setting of generalized K "ahler geometry with vanishing Poisson structure, we show that these solitons are unique. We show that these solitons are global attractors for the generalized K "ahler Ricci flow among metrics with maximal symmetry.


Vanishing of all equivariant obstructions and the mapping degree. Suppose that n neq p k and n neq 2p k for all k and all primes p . We prove that for any Hausdorff compactum X with a free action of the symmetric group mathfrak S n there exists an mathfrak S n equivariant map X to mathbb R n whose image avoids the diagonal (x,x dots,x) in mathbb R n x in mathbb R . Previously, the special cases of this statement for certain X were usually proved using the equivartiant obstruction theory. Such calculations are difficult and may become infeasible past the first (primary) obstruction. We take a different approach which allows us to prove the vanishing of all obstructions simultaneously. The essential step in the proof is classifying the possible degrees of mathfrak S n equivariant maps from the boundary partial Delta n 1 of (n 1) simplex to itself. Existence of equivariant maps between spaces is important for many questions arising from discrete mathematics and geometry, such as Kneser's conjecture, the Square Peg conjecture, the Splitting Necklace problem, and the Topological Tverberg conjecture, etc. We demonstrate the utility of our result applying it to one such question, a specific instance of envy free division problem.


Anonymizing Sensor Data on the Edge A Representation Learning and Transformation Approach. The abundance of data collected by sensors in Internet of Things (IoT) devices, and the success of deep neural networks in uncovering hidden patterns in time series data have led to mounting privacy concerns. This is because private and sensitive information can be potentially learned from sensor data by applications that have access to this data. In this paper, we aim to examine the tradeoff between utility and privacy loss by learning low dimensional representations that are useful for data obfuscation. We propose deterministic and probabilistic transformations in the latent space of a variational autoencoder to synthesize time series data such that intrusive inferences are prevented while desired inferences can still be made with sufficient accuracy. In the deterministic case, we use a linear transformation to move the representation of input data in the latent space such that the reconstructed data is likely to have the same public attribute but a different private attribute than the original input data. In the probabilistic case, we apply the linear transformation to the latent representation of input data with some probability. We compare our technique with autoencoder based anonymization techniques and additionally show that it can anonymize data in real time on resource constrained edge devices.


On joins of a clique and a co clique as star complements in regular graphs. In this paper we consider r regular graphs G that admit the vertex set partition such that one of the induced subgraphs is the join of an s vertex clique and a t vertex co clique and represents a star complement for an eigenvalue mu of G . The cases in which one of the parameters s, t is less than 2 or mu r are already resolved. It is conjectured in J. Wang, X. Yuan, L. Liu, Regular graphs with a prescribed complete multipartite graph as a star complement, Linear Algebra Appl. 579 (2019) 302 319 that if s, t geq 2 and mu neq r , then mu 2, t 2 and G overline (s 1)K 2 . For mu t we verify this conjecture to be true. We further study the case in which mu neq t and confirm the conjecture provided t 2 4 mu 2t 4 mu 3 0 . For the remaining possibility we determine the structure of a putative counterexample and relate its existence to the existence of a particular 2 class block design. It occurs that the smallest counterexample would have 1265 vertices.


Veronese representation of projective Hjelmslev planes over some quadratic alternative algebras. We geometrically characterise the Veronese representations of ring projective planes over algebras which are analogues of the dual numbers, giving rise to projective Hjelmslev planes of level 2 coordinatised over quadratic alternative algebras. These planes are related to affine buildings of relative type widetilde A 2 and respective absolute type widetilde mathsf A 2 , widetilde mathsf A 5 and widetilde mathsf E 6 .


Squaring within the Colless index yields a better balance index. The Colless index for bifurcating phylogenetic trees, introduced by Colless (1982), is defined as the sum, over all internal nodes v of the tree, of the absolute value of the difference of the sizes of the clades defined by the children of v . It is one of the most popular phylogenetic balance indices, because, in addition to measuring the balance of a tree in a very simple and intuitive way, it turns out to be one of the most powerful and discriminating phylogenetic shape indices. But it has some drawbacks. On the one hand, although its minimum value is reached at the so called maximally balanced trees, it is almost always reached also at trees that are not maximally balanced. On the other hand, its definition as a sum of absolute values of differences makes it difficult to study analytically its distribution under probabilistic models of bifurcating phylogenetic trees. In this paper we show that if we replace in its definition the absolute values of the differences of clade sizes by the squares of these differences, all these drawbacks are overcome and the resulting index is still more powerful and discriminating than the original Colless index.


Orthogonality of the Dickson polynomials of the (k 1) th kind. We study the Dickson polynomials of the (k 1) th kind over the field of complex numbers. We show that they are a family of co recursive orthogonal polynomials with respect to a quasi definite moment functional L k . We find an integral representation for L k and compute explicit expressions for all of its moments.


Extreme defect sensitivity from large synthetic dimensionality. The geometric dimensionality of a physical system significantly impacts its fundamental characteristics. While experiments are fundamentally limited to the maximum of three spatial dimensions, there is a growing interest in harnessing additional synthetic dimensions. In our work, we introduce a new paradigm for the experimental realization of excitation dynamics associated with many dimensional systems. Crucially, it relies solely on static one dimensional equivalent structures with judiciously tailored parameters to faithfully reproduce the same optical spectrum and density of states of the high dimensional system to be represented. In order to showcase the capabilities of our approach, we fabricate 1D photonic lattices that exhibit the characteristic non monotonic excitation decays associated with quantum walks in up to 7D square lattices. Furthermore, we find that a new type of bound state at the edge of the continuum emerges in higher than three dimensions and gives rise to a sharp localisation transition at defect sites. In a series of experiments, we implement the mapped equivalent lattices of up to 5D systems and observe an extreme increase of sensitivity with respect to the detuning of the respective anchor sites. Our findings demonstrate the feasibility and applicative potential of harnessing high dimensional effects in planar photonics for ultra sensitive switching or sensing. Notably, our general approach is by no means limited to optics, and can readily be adapted to a variety of other physical contexts, including cold atoms and superconducting qubits with exclusively nearest neighbour interactions, promising to drive significant advances in different fields including quantum simulations and information processing.


Surface Dyakonov Cherenkov Radiation. Recent advances in engineered material technologies (e.g., photonic crystals, metamaterials, plasmonics, etc) provide valuable tools to control Cherenkov radiation. In all these approaches, however, the designed materials interact only with the particle velocity to affect Cherenkov radiation, while the influence of the particle trajectory is generally negligible. Here, we report on surface Dyakonov Cherenkov radiation, i.e. the emission of directional Dyakonov surface waves from a swift charged particle moving atop a birefringent crystal. This new type of Cherenkov radiation is highly susceptible to both the particle velocity and trajectory, e.g. we observe a sharp radiation enhancement when the particle trajectory falls in the vicinity of a particular direction. Moreover, close to the Cherenkov threshold, such a radiation enhancement can be orders of magnitude higher than that obtained in traditional Cherenkov detectors. These distinct properties allow us to determine simultaneously the magnitude and direction of particle velocities on a compact platform. The surface Dyakonov Cherenkov radiation studied in this work not only adds a new degree of freedom for particle identification, but also provides an all dielectric route to construct compact Cherenkov detectors with enhanced sensitivity.


Silicon Pixel R D for the CLIC Tracking Detector. The physics aims at the proposed high energy e e collider CLIC pose challenging demands on the performance of the detector system. Precise hit time tagging, an excellent spatial resolutions, and a low mass are required for the vertex and tracking detectors. To meet these requirements, an all silicon vertex and tracking detector system is foreseen, for which a broad R D programme on a variety of novel silicon detector technologies is being pursued. For the ultra low mass vertex detector, different hybrid technologies with innovative sensor concepts and interconnection techniques are explored. For the large scale tracking detector, the focus of the R D lies on monolithic HV MAPS and HR CMOS technologies. This contribution gives an overview of the ongoing activities with a focus on monolithic technologies for the CLIC tracking detector. Recent results from laboratory and test beam measurement campaigns of the ATLASpix Simple and the CLICTD sensor prototypes are presented.


Virasoro constraints for stable pairs on toric 3 folds. Using new explicit formulas for the stationary GW PT descendent correspondence for nonsingular projective toric 3 folds, we show that the correspondence intertwines the Virasoro constraints in Gromov Witten theory for stable maps with the Virasoro constraints for stable pairs. Since the Virasoro constraints in Gromov Witten theory are known to hold in the toric case, we establish the stationary Virasoro constraints for the theory of stable pairs on toric 3 folds. As a consequence, new Virasoro constraints for tautological integrals over Hilbert schemes of points on surfaces are also obtained.


Quantum codes from a new construction of self orthogonal algebraic geometry codes. We present new quantum codes with good parameters which are constructed from self orthogonal algebraic geometry codes. Our method permits a wide class of curves to be used in the formation of these codes, which greatly extends the class of a previous paper due to Munuera, Ten 'orio and Torres. These results demonstrate that there is a lot more scope for constructing self orthogonal AG codes than was previously known.


Nuclear Quantum Effects in Scattering of H and D from Graphene. We present a detailed study of the nuclear quantum effects in H D sticking to graphene, comparing classical, quantum and mixed quantum classical simulations to results of scattering experiments. Agreement with experimentally derived sticking probabilities is improved when nuclear quantum effects are included using ring polymer molecular dynamics. Specifically, the quantum motion of the carbon atoms enhances sticking, showing that an accurate description of graphene phonons is important to capturing the adsorption dynamics. We also find an inverse H D isotope effect arising from Newtonian mechanics.


physics.bio-ph physics.comp-ph physics.flu-dyn q-bio.TO

Wall shear stress distribution in a compliant airway tree. The airflow in the bronchi applies a shear stress on the bronchial mucus, which can move the mucus. The air mucus interaction plays an important role in cough and in chest physiotherapy (CP). The conditions under which it induces a displacement of the mucus are still unclear. Yet, the air mucus interaction justifies common technics of CP used to help the draining of the mucus in prevalent diseases. Hence, the determination of the distribution of the shear stress in the lung is crucial for understanding the effects of these therapies and, potentially, improve their efficiency. We develop a mathematical model to study the distribution of the wall shear stress (WSS) induced by an air flow exiting an airway tree. This model accounts for the main physical processes that determines the WSS, more particularly the compliance of the airways, the air inertia and the tree structure. We show that the WSS distribution in the tree depends on the dynamics of the airways deformation and on the air inertia. The WSS distribution in the tree exhibits a maximum whose amplitude and location depend on the amount of air flow and on the "tissue" pressure surrounding the airways. To characterize the behavior of the WSS at the tree bifurcations, we derive new analytical criteria related to the airway size reduction in the bifurcations. Our results suggest that a tuning of the airflow and of the tissue pressure during a CP maneuver might allow to control, at least partially, the air mucus interaction in the lung.


Nonlinear static isogeometric analysis of arbitrarily curved Kirchhoff Love shells. The geometrically rigorous nonlinear analysis of elastic shells is considered in the context of finite, but small, strain theory. The research is focused on the introduction of the full shell metric and examination of its influence on the nonlinear structural response. The exact relation between the reference and equidistant strains is employed and the complete analytic elastic constitutive relation between energetically conjugated forces and strains is derived via the reciprocal shift tensor. Utilizing these strict relations, the geometric stiffness matrix is derived explicitly by the variation of the unknown metric. Moreover, a compact form of this matrix is presented. Despite the linear displacement distribution due to the Kirchhoff Love hypothesis, a nonlinear strain distribution arises along the shell thickness. This fact is sometimes disregarded for the nonlinear analysis of thin shells based on the initial geometry, thereby ignoring the strong curviness of a shell at some subsequent configuration. We show that the curviness of a shell at each configuration determines the appropriate shell formulation. For shells that become strongly curved at some configurations during deformation, the nonlinear distribution of strain throughout the thickness must be considered in order to obtain accurate results. We investigate four computational models one based on the full analytical constitutive relation, and three simplified ones. Robustness, efficiency and accuracy of the presented formulation are examined via selected numerical experiments. Our main finding is that the employment of the full metric is often required when the complete response of the shells is sought, even for the initially thin shells. Finally, the simplified model that provided the best balance between efficiency and accuracy is suggested for the nonlinear analysis of strongly curved shells.


Three weight codes over rings and strongly walk regular graphs. We construct strongly walk regular graphs as coset graphs of the duals of codes with three non zero homogeneous weights over mathbb Z p m , for p a prime, and more generally over chain rings of depth m , and with a residue field of size q , a prime power. Infinite families of examples are built from Kerdock and generalized Teichm "uller codes. As a byproduct, we give an alternative proof that the Kerdock code is nonlinear.


L 2 and BIBO stability of systems with variable delays. This paper considers L 2 and BIBO stability and stabilization issues for systems with time varying delays which can be of retarded or neutral type. An important role is played by a nominal system with fixed delays which are close to the time varying ones. Under stability or stabilizability conditions of this nominal system, sufficient conditions are given in order to ensure similar properties for the system with time varying delays.


Prediction Confidence from Neighbors. The inability of Machine Learning (ML) models to successfully extrapolate correct predictions from out of distribution (OoD) samples is a major hindrance to the application of ML in critical applications. Until the generalization ability of ML methods is improved it is necessary to keep humans in the loop. The need for human supervision can only be reduced if it is possible to determining a level of confidence in predictions, which can be used to either ask for human assistance or to abstain from making predictions. We show that feature space distance is a meaningful measure that can provide confidence in predictions. The distance between unseen samples and nearby training samples proves to be correlated to the prediction error of unseen samples. Depending on the acceptable degree of error, predictions can either be trusted or rejected based on the distance to training samples. Additionally, a novelty threshold can be used to decide whether a sample is worth adding to the training set. This enables earlier and safer deployment of models in critical applications and is vital for deploying models under ever changing conditions.


Convolutional Neural Networks on Randomized Data. Convolutional Neural Networks (CNNs) are build specifically for computer vision tasks for which it is known that the input data is a hierarchical structure based on locally correlated elements. The question that naturally arises is what happens with the performance of CNNs if one of the basic properties of the data is removed, e.g. what happens if the image pixels are randomly permuted? Intuitively one expects that the convolutional network performs poorly in these circumstances in contrast to a multilayer perceptron (MLPs) whose classification accuracy should not be affected by the pixel randomization. This work shows that by randomizing image pixels the hierarchical structure of the data is destroyed and long range correlations are introduced which standard CNNs are not able to capture. We show that their classification accuracy is heavily dependent on the class similarities as well as the pixel randomization process. We also indicate that dilated convolutions are able to recover some of the pixel correlations and improve the performance.


Combinatorial and stochastic properties of ranked tree child networks. Tree child networks are a recently described class of directed acyclic graphs that have risen to prominence in phylogenetics (the study of evolutionary trees and networks). Although these networks have a number of attractive mathematical properties, many combinatorial questions concerning them remain intractable. In this paper, we show that endowing these networks with a biologically relevant ranking structure yields mathematically tractable objects, which we term ranked tree child networks (RTCNs). We explain how to derive exact and explicit combinatorial results concerning the enumeration and generation of these networks. We also explore probabilistic questions concerning the properties of RTCNs when they are sampled uniformly at random. These questions include the lengths of random walks between the root and leaves (both from the root to the leaves and from a leaf to the root) the distribution of the number of cherries in the network and sampling RTCNs conditional on displaying a given tree. We also formulate a conjecture regarding the scaling limit of the process that counts the number of lineages in the ancestry of a leaf. The main idea in this paper, namely using ranking as a way to achieve combinatorial tractability, may also extend to other classes of networks.


Internet of Things Architectures A Comparative Study. Over the past two decades, the Internet of Things (IoT) has become an underlying concept to a variety of solutions and technologies that it is now hardly possible to enumerate and describe all of them. The concept behind the Internet of Things is as powerful as it is complex, and for the components in the IoT solution tomesh together perfectly, they all have to be part of a well thought out structure. That is where understanding the IoT architecture becomes paramount. Because of the vast domain of IoT, there is no single consensus on IoT architecture. Different researchers and organizations proposed different architectures under a variety of classifications, mainly conceptual, standard and, industrial or commercial adoption. It is indispensable to make a systematic analysis of IoT architecture to be able to compare the industrial proposals and identify their similarities and their differences. In this work, we summarize information about seven IoT industrial architectures in order to propose an approach that makes possible a comparative analysis between different IoT architectures. This work presents two main contributions (i) an approach for analyzing and comparing IoTarchitectures using Layer Model (ii) a comparative study of seven industrial IoT architectures.


Cells in affine q Schur algebras. We develop algebraic and geometrical approaches toward canonical bases for affine q Schur algebras of arbitrary type introduced in this paper. A duality between an affine q Schur algebra and a corresponding affine Hecke algebra is established. We introduce an inner product on the affine q Schur algebra, with respect to which the canonical basis is shown to be positive and almost orthonormal. We then formulate the cells and asymptotic forms for affine q Schur algebras, and develop their basic properties analogous to the cells and asymptotic forms for affine Hecke algebras established by Lusztig. The results on cells and asymptotic algebras are also valid for q Schur algebras of arbitrary finite type.


ACC for local volumes and boundedness of singularities. The ACC conjecture for local volumes predicts that the set of local volumes of klt singularities x in (X, Delta) satisfies the ACC if the coefficients of Delta belong to a DCC set. In this paper, we prove the ACC conjecture for local volumes under the assumption that the ambient germ is analytically bounded. We introduce another related conjecture, which predicts the existence of delta plt blow ups of a klt singularity whose local volume has a positive lower bound. We show that the latter conjecture also holds when the ambient germ is analytically bounded. Moreover, we prove that both conjectures hold in dimension 2 as well as for 3 dimensional terminal singularities.


Forms of Plagiarism in Digital Mathematical Libraries. We report on an exploratory analysis of the forms of plagiarism observable in mathematical publications, which we identified by investigating editorial notes from zbMATH. While most cases we encountered were simple copies of earlier work, we also identified several forms of disguised plagiarism. We investigated 11 cases in detail and evaluate how current plagiarism detection systems perform in identifying these cases. Moreover, we describe the steps required to discover these and potentially undiscovered cases in the future.


A proof of the generalized Khavinson conjecture. We give a complete proof of the generalized Khavinson conjecture which states that, for bounded harmonic functions on the unit ball of mathbb R n , the sharp constants in the estimates for their radial derivatives and for their gradients coincide.


Secure and Efficient Trajectory Based Contact Tracing using Trusted Hardware. The COVID 19 pandemic has prompted technological measures to control the spread of the disease. Private contact tracing (PCT) is one of the promising techniques for the purpose. However, the recently proposed Bluetooth based PCT has several limitations in terms of functionality and flexibility. The existing systems are only able to detect direct contact (i.e., human human contact), but cannot detect indirect contact (i.e., human object, such as the disease transmission through surface). Moreover, the rule of risky contact cannot be flexibly changed with the environmental situation and the nature of the virus. In this paper, we propose a secure and efficient trajectory based PCT system using trusted hardware. We formalize trajectory based PCT as a generalization of the well studied Private Set Intersection (PSI), which is mostly based on cryptographic primitives and thus insufficient. We solve the problem by leveraging trusted hardware such as Intel SGX and designing a novel algorithm to achieve a secure, efficient and flexible PCT system. Our experiments on real world data show that the proposed system can achieve high performance and scalability. Specifically, our system (one single machine with Intel SGX) can process thousands of queries on 100 million records of trajectory data in a few seconds.


Decoupling Representation and Classifier for Noisy Label Learning. Since convolutional neural networks (ConvNets) can easily memorize noisy labels, which are ubiquitous in visual classification tasks, it has been a great challenge to train ConvNets against them robustly. Various solutions, e.g., sample selection, label correction, and robustifying loss functions, have been proposed for this challenge, and most of them stick to the end to end training of the representation (feature extractor) and classifier. In this paper, by a deep rethinking and careful re examining on learning behaviors of the representation and classifier, we discover that the representation is much more fragile in the presence of noisy labels than the classifier. Thus, we are motivated to design a new method, i.e., REED, to leverage above discoveries to learn from noisy labels robustly. The proposed method contains three stages, i.e., obtaining the representation by self supervised learning without any labels, transferring the noisy label learning problem into a semisupervised one by the classifier directly and reliably trained with noisy labels, and joint semi supervised retraining of both the representation and classifier. Extensive experiments are performed on both synthetic and real benchmark datasets. Results demonstrate that the proposed method can beat the state of the art ones by a large margin, especially under high noise level.


Measuring the Complexity of Packet Traces. This paper studies the structure of several real world traces (including Facebook, High Performance Computing, Machine Learning, and simulation generated traces) and presents a systematic approach to quantify and compare the structure of packet traces based on the entropy contained in the trace file. Insights into the structure of packet traces can lead to improved network algorithms that are optimized toward specific traffic patterns. We then present a methodology to quantify the temporal and non temporal components of entropy contained in a packet trace, called the trace complexity, using randomization and compression. We show that trace complexity provides unique insights into the characteristics of various applications and argue that there is a need for traffic generation models that preserve the intrinsic structure of empirically measured application traces. We then propose a traffic generator model that is able to produce a synthetic trace that matches the complexity level of its corresponding real world trace.


Thin Film Liquid Crystals with Oblique Anchoring and Boojums. We study a two dimensional variational problem which arises as a thin film limit of the Landau de Gennes energy of nematic liquid crystals. We impose an oblique angle condition for the nematic director on the boundary, via boundary penalization (weak anchoring.) We show that for strong anchoring strength (relative to the usual Ginzburg Landau length scale parameter,) defects will occur in the interior, as in the case of strong (Dirichlet) anchoring, but for weaker anchoring strength all defects will occur on the boundary. These defects will each carry a fractional winding number such boundary defects are known as "boojums". The boojums will occur in ordered pairs along the boundary for nematic director with angle oblique to the normal vector, they serve to reduce the winding of the phase in two steps, in order to avoid the formation of interior defects. We determine the number and location of the defects via a Renormalized Energy and numerical simulations.


Non massive immunization to contain spreading on complex networks. Optimal strategies for epidemic containment are focused on dismantling the contact network through effective immunization with minimal costs. However, network fragmentation is seldom accessible in practice and may present extreme side effects. In this work, we investigate the epidemic containment immunizing population fractions far below the percolation threshold. We report that moderate and weakly supervised immunizations can lead to finite epidemic thresholds of the susceptible infected susceptible model on scale free networks by changing the nature of the transition from a specific motif to a collectively driven process. Both pruning of efficient spreaders and increasing of their mutual separation are necessary for a collective activation. Fractions of immunized vertices needed to eradicate the epidemics which are much smaller than the percolation thresholds were observed for a broad spectrum of real networks considering targeted or acquaintance immunization strategies. Our work contributes for the construction of optimal containment, preserving network functionality through non massive and viable immunization strategies.


Impact of multiple modalities on emotion recognition investigation into 3d facial landmarks, action units, and physiological data. To fully understand the complexities of human emotion, the integration of multiple physical features from different modalities can be advantageous. Considering this, we present an analysis of 3D facial data, action units, and physiological data as it relates to their impact on emotion recognition. We analyze each modality independently, as well as the fusion of each for recognizing human emotion. This analysis includes which features are most important for specific emotions (e.g. happy). Our analysis indicates that both 3D facial landmarks and physiological data are encouraging for expression emotion recognition. On the other hand, while action units can positively impact emotion recognition when fused with other modalities, the results suggest it is difficult to detect emotion using them in a unimodal fashion.


Machine Learning aided Design of Thinned Antenna Arrays for Optimized Network Level Performance. With the advent of millimeter wave (mmWave) communications, the combination of a detailed 5G network simulator with an accurate antenna radiation model is required to analyze the realistic performance of complex cellular scenarios. However, due to the complexity of both electromagnetic and network models, the design and optimization of antenna arrays is generally infeasible due to the required computational resources and simulation time. In this paper, we propose a Machine Learning framework that enables a simulation based optimization of the antenna design. We show how learning methods are able to emulate a complex simulator with a modest dataset obtained from it, enabling a global numerical optimization over a vast multi dimensional parameter space in a reasonable amount of time. Overall, our results show that the proposed methodology can be successfully applied to the optimization of thinned antenna arrays.


Nonlinear eigenvalue problems for coupled Helmholtz equations modeling gradient index graphene waveguides. We discuss a quartic eigenvalue problem arising in the context of an optical waveguiding problem involving atomically thick 2D materials. The waveguide configuration we consider consists of a gradient index (spatially dependent) dielectric equipped with conducting interior interfaces. This leads to a quartic eigenvalue problem with mixed transverse electric and transverse magnetic modes, and strongly coupled electric and magnetic fields. We derive a weak formulation of the quartic eigenvalue problem and introduce a numerical solver based on a quadratification approach in which the quartic eigenvalue problem is transformed to a spectrally equivalent companion problem. We verify our numerical framework against analytical solutions for prototypical geometries. As a practical example, we demonstrate how an improved quality factor (defined by the ratio of the real and the imaginary part of the computed eigenvalues) can be obtained for a family of gradient index host materials with internal conducting interfaces. We outline how this result lays the groundwork for solving related shape optimization problems.


Comb rooted multi channel synthesis of ultra narrow optical frequencies of few Hz linewidth. We report a multi channel optical frequency synthesizer developed to generate extremely stable continuous wave lasers directly out of the optical comb of an Er doped fiber oscillator. Being stabilized to a high finesse cavity with a fractional frequency stability of 3.8 times10 15 at 0.1 s, the comb rooted synthesizer produces multiple optical frequencies of ultra narrow linewidth of 1.0 Hz at 1 s concurrently with an output power of tens of mW per each channel. Diode based stimulated emission by injection locking is a key mechanism that allows comb frequency modes to sprout up with sufficient power amplification but no loss of original comb frequency stability. Channel frequencies are individually selectable with a 0.1 GHz increment over the entire comb bandwidth spanning 4.25 THz around a 1550 nm center wavelength. A series of out of loop test results is discussed to demonstrate that the synthesizer is able to provide stable optical frequencies with the potential for advancing diverse ultra precision applications such as optical clocks comparison, atomic line spectroscopy, photonic microwaves generation, and coherent optical telecommunications.


Hodge classes on abelian varieties. We prove, following Deligne and Andr 'e, that the Hodge classes on abelian varieties of CM type can be expressed in terms of divisor classes and split Weil classes, and we describe some consequences. In particular, we show that Grothendieck's standard conjecture of Lefschetz type implies the Hodge conjecture for abelian varieties (Abdulali, Andr 'e, ...).


The Bipartite Boolean Quadric Polytope with Multiple Choice Constraints. We consider the bipartite boolean quadric polytope (BQP) with multiple choice constraints and analyse its combinatorial properties. The well studied BQP is defined as the convex hull of all quadric incidence vectors over a bipartite graph. In this work, we study the case where there is a partition on one of the two bipartite node sets such that at most one node per subset of the partition can be chosen. This polytope arises, for instance, in pooling problems with fixed proportions of the inputs at each pool. We show that it inherits many characteristics from BQP, among them a wide range of facet classes and operations which are facet preserving. Moreover, we characterize various cases in which the polytope is completely described via the relaxation linearization inequalities. The special structure induced by the additional multiple choice constraints also allows for new facet preserving symmetries as well as lifting operations. Furthermore, it leads to several novel facet classes as well as extensions of these via lifting. We additionally give computationally tractable exact separation algorithms, most of which run in polynomial time. Finally, we demonstrate the strength of both the inherited and the new facet classes in computational experiments on random as well as real world problem instances. It turns out that in many cases we can close the optimality gap almost completely via cutting planes alone, and, consequently, solution times can be reduced significantly.


Longitudinal Beam Dynamics Recap. This paper gives a very brief summary of longitudinal beam dynamics for both linear and circular accelerators. After discussing synchronism conditions in linacs, it focuses on particle motion in synchrotrons. It summarizes the equations of motion, discusses phase space matching during beam transfer, and introduces the Hamiltonian of longitudinal motion.


Automatic differentiation for solid mechanics. Automatic differentiation (AD) is an ensemble of techniques that allow to evaluate accurate numerical derivatives of a mathematical function expressed in a computer programming language. In this paper we use AD for stating and solving solid mechanics problems. Given a finite element discretization of the domain, we evaluate the free energy of the solid as the integral of its strain energy density, and we make use of AD for directly obtaining the residual force vector and the tangent stiffness matrix of the problem, as the gradient and the Hessian of the free energy respectively. The result is a remarkable simplification in the statement and the solution of complex problems involving non trivial constraints systems and both geometrical and material non linearities. Together with the continuum mechanics theoretical basis, and with a description of the specific AD technique adopted, the paper illustrates the solution of a number of solid mechanics problems, with the aim of presenting a convenient numerical implementation approach, made easily available by recent programming languages, to the solid mechanics community.


Automated Discovery of Mathematical Definitions in Text with Deep Neural Networks. Automatic definition extraction from texts is an important task that has numerous applications in several natural language processing fields such as summarization, analysis of scientific texts, automatic taxonomy generation, ontology generation, concept identification, and question answering. For definitions that are contained within a single sentence, this problem can be viewed as a binary classification of sentences into definitions and non definitions. In this paper, we focus on automatic detection of one sentence definitions in mathematical texts, which are difficult to separate from surrounding text. We experiment with several data representations, which include sentence syntactic structure and word embeddings, and apply deep learning methods such as the Convolutional Neural Network (CNN) and the Long Short Term Memory network (LSTM), in order to identify mathematical definitions. Our experiments demonstrate the superiority of CNN and its combination with LSTM, when applied on the syntactically enriched input representation. We also present a new dataset for definition extraction from mathematical texts. We demonstrate that this dataset is beneficial for training supervised models aimed at extraction of mathematical definitions. Our experiments with different domains demonstrate that mathematical definitions require special treatment, and that using cross domain learning is inefficient for that task.


Adversarial Stress Testing of Lifetime Distributions. In this paper we put forward the viewpoint that the notion of stress testing financial institutions and engineered systems can also be made viable appropos the stress testing an individual's strength of conviction in a probability distribution. The difference is interpretation and perspective. To make our case we consider a game theoretic setup entailing two players, an adversarial C, and an amicable M.The underlying metrics entail a de Finetti style 2 sided bet with asymmetric payoffs as a way to give meaning to lifetime distributions, an adversarial stress testing function, and a maximization of the expected utility of betting scores via the Kullback Liebler discrimination.


Decomposing Jacobians via Galois covers. Let phi ,X rightarrow Y be a (possibly ramified) cover between two algebraic curves of positive genus. We develop tools that may identify the Prym variety of phi , up to isogeny, as the Jacobian of a quotient curve C in the Galois closure of the composition of phi with a well chosen map Y rightarrow mathbb P 1 . This method allows us to recover all previously obtained descriptions of a Prym variety in terms of a Jacobian that are known to us, besides yielding new applications. We also find algebraic equations for some of these new cases, including one where X has genus 3 , Y has genus 1 and phi is a degree 3 map totally ramified over 2 points.


Codimension 1 Simplices in Divisible Convex Domains. Properly embedded simplices in a convex divisible domain Omega subset mathbb R textrm P d behave somewhat like flats in Riemannian manifolds, so we call them flats. We show that the set of codimension 1 flats has image which is a finite collection of disjoint virtual (d 1) tori in the compact quotient manifold. If this collection of virtual tori is non empty, then the components of its complement are cusped convex projective manifolds with type d cusps.


Analytic solution for one dimensional inverse heat conduction problem of semi infinite bar. We present analytical formula along with its existence theorem for solution of inverse heat conduction problem of semi infinite bar, equivalent to a Volterra integral equation of first kind, as an infinite series of fractional derivatives. The mathematical method is based on some properties of function space M 0, T (proved here) with respect to fractional integration and derivatives.


CALC2.0 Combining Appearance, Semantic and Geometric Information for Robust and Efficient Visual Loop Closure. Traditional attempts for loop closure detection typically use hand crafted features, relying on geometric and visual information only, whereas more modern approaches tend to use semantic, appearance or geometric features extracted from deep convolutional neural networks (CNNs). While these approaches are successful in many applications, they do not utilize all of the information that a monocular image provides, and many of them, particularly the deep learning based methods, require user chosen thresholding to actually close loops which may impact generality in practical applications. In this work, we address these issues by extracting all three modes of information from a custom deep CNN trained specifically for the task of place recognition. Our network is built upon a combination of a semantic segmentator, Variational Autoencoder (VAE) and triplet embedding network. The network is trained to construct a global feature space to describe both the visual appearance and semantic layout of an image. Then local keypoints are extracted from maximally activated regions of low level convolutional feature maps, and keypoint descriptors are extracted from these feature maps in a novel way that incorporates ideas from successful hand crafted features. These keypoints are matched globally for loop closure candidates, and then used as a final geometric check to refute false positives. As a result, the proposed loop closure detection system requires no touchy thresholding, and is highly robust to false positives achieving better precision recall curves than the state of the art NetVLAD, and with real time speeds.


The Siegel Weil formula for unitary groups the second term range. We study the Siegel Weil formula in the second term range ( n 1 leq m leq n r ) for unitary groups of hermitian forms over a skew field D with involution of the second kind.


Towards Keypoint Guided Self Supervised Depth Estimation. This paper proposes to use keypoints as a self supervision clue for learning depth map estimation from a collection of input images. As ground truth depth from real images is difficult to obtain, there are many unsupervised and self supervised approaches to depth estimation that have been proposed. Most of these unsupervised approaches use depth map and ego motion estimations to reproject the pixels from the current image into the adjacent image from the image collection. Depth and ego motion estimations are evaluated based on pixel intensity differences between the correspondent original and reprojected pixels. Instead of reprojecting the individual pixels, we propose to first select image keypoints in both images and then reproject and compare the correspondent keypoints of the two images. The keypoints should describe the distinctive image features well. By learning a deep model with and without the keypoint extraction technique, we show that using the keypoints improve the depth estimation learning. We also propose some future directions for keypoint guided learning of structure from motion problems.


Asymmetric metric learning for knowledge transfer. Knowledge transfer from large teacher models to smaller student models has recently been studied for metric learning, focusing on fine grained classification. In this work, focusing on instance level image retrieval, we study an asymmetric testing task, where the database is represented by the teacher and queries by the student. Inspired by this task, we introduce asymmetric metric learning, a novel paradigm of using asymmetric representations at training. This acts as a simple combination of knowledge transfer with the original metric learning task. We systematically evaluate different teacher and student models, metric learning and knowledge transfer loss functions on the new asymmetric testing as well as the standard symmetric testing task, where database and queries are represented by the same model. We find that plain regression is surprisingly effective compared to more complex knowledge transfer mechanisms, working best in asymmetric testing. Interestingly, our asymmetric metric learning approach works best in symmetric testing, allowing the student to even outperform the teacher.


Adaptive Region Embedding for Text Classification. Deep learning models such as convolutional neural networks and recurrent networks are widely applied in text classification. In spite of their great success, most deep learning models neglect the importance of modeling context information, which is crucial to understanding texts. In this work, we propose the Adaptive Region Embedding to learn context representation to improve text classification. Specifically, a metanetwork is learned to generate a context matrix for each region, and each word interacts with its corresponding context matrix to produce the regional representation for further classification. Compared to previous models that are designed to capture context information, our model contains less parameters and is more flexible. We extensively evaluate our method on 8 benchmark datasets for text classification. The experimental results prove that our method achieves state of the art performances and effectively avoids word ambiguity.


A two fluid analysis of waves in a warm ion electron plasma. Following recent work, we discuss waves in a warm ideal two fluid plasma consisting of electrons and ions starting from a completely general, ideal two fluid dispersion relation. The plasma is characterised by five variables the electron and ion magnetisations, the squared electron and ion sound speeds, and a parameter describing the angle between the propagation vector and the magnetic field. The dispersion relation describes 6 pairs of waves which we label S, A, F, M, O, and X. Varying the angle, it is argued that parallel and perpendicular propagation (with respect to the magnetic field) exhibit unique behaviour. This behaviour is characterised by the crossing of wave modes which is prohibited at oblique angles. We identify up to 6 different parameter regimes where a varying number of exact mode crossings in the special parallel or perpendicular orientations can occur. We point out how any ion electron plasma has a critical magnetisation (or electron cyclotron frequency) at which the cutoff ordering changes, leading to different crossing behaviour. These are relevant for exotic plasma conditions found in pulsar and magnetar environments. Our discussion is fully consistent with ideal relativistic MHD and contains light waves. Additionally, exploiting the general nature of the dispersion relation, phase and group speed diagrams can be computed at arbitrary wavelengths for any parameter regime. Finally, we recover earlier approximate dispersion relations that focus on low frequency limits and make direct correspondences with some selected kinetic theory results.


Toward Automated Virtual Assembly for Prefabricated Construction Construction Sequencing through Simulated BIM. To adhere to the stringent time and budget requirements of construction projects, contractors are utilizing prefabricated construction methods to expedite the construction process. Prefabricated construction methods require an adequate schedule and understanding by the contractors and constructors to be successful. The specificity of prefabricated construction often leads to inefficient scheduling and costly rework time. The designer, contractor, and constructors must have a strong understanding of the assembly process to experience the full benefits of the method. At the root of understanding the assembly process is visualizing how the process is intended to be performed. Currently, a virtual construction model is used to explain and better visualize the construction process. However, creating a virtual construction model is currently time consuming and requires experienced personnel. The proposed simulation of the virtual assembly will increase the automation of virtual construction modeling by implementing the data available in a building information modeling (BIM) model. This paper presents various factors (i.e., formalization of construction sequence based on the level of development (LOD)) that needs to be addressed for the development of automated virtual assembly. Two case studies are presented to demonstrate these factors.


Arbitrarily large torsion in Khovanov cohomology. For any positive integer k and p in 3,5,7 we construct a link which has a direct summand mathbb Z p k mathbb Z in its Khovanov cohomology.


Deep Reinforced Attention Learning for Quality Aware Visual Recognition. In this paper, we build upon the weakly supervised generation mechanism of intermediate attention maps in any convolutional neural networks and disclose the effectiveness of attention modules more straightforwardly to fully exploit their potential. Given an existing neural network equipped with arbitrary attention modules, we introduce a meta critic network to evaluate the quality of attention maps in the main network. Due to the discreteness of our designed reward, the proposed learning method is arranged in a reinforcement learning setting, where the attention actors and recurrent critics are alternately optimized to provide instant critique and revision for the temporary attention representation, hence coined as Deep REinforced Attention Learning (DREAL). It could be applied universally to network architectures with different types of attention modules and promotes their expressive ability by maximizing the relative gain of the final recognition performance arising from each individual attention module, as demonstrated by extensive experiments on both category and instance recognition benchmarks.


Global Voices Crossing Borders in Automatic News Summarization. We construct Global Voices, a multilingual dataset for evaluating cross lingual summarization methods. We extract social network descriptions of Global Voices news articles to cheaply collect evaluation data for into English and from English summarization in 15 languages. Especially, for the into English summarization task, we crowd source a high quality evaluation dataset based on guidelines that emphasize accuracy, coverage, and understandability. To ensure the quality of this dataset, we collect human ratings to filter out bad summaries, and conduct a survey on humans, which shows that the remaining summaries are preferred over the social network summaries. We study the effect of translation quality in cross lingual summarization, comparing a translate then summarize approach with several baselines. Our results highlight the limitations of the ROUGE metric that are overlooked in monolingual summarization. Our dataset is available for download at https forms.gle gpkJDT6RJWHM1Ztz9 .


Community detection based on first passage probabilities. Community detection is of fundamental significance for understanding the topology characters and the spreading dynamics on complex networks. While random walk is widely used and is proven effective in many community detection algorithms, there still exists two major defects (i) the maximal length of random walk is too large to distinguish the clustering information if using the average step of all possible random walks (ii) the useful community information at all other step lengths are missed if using a pre assigned maximal length. In this paper, we propose a novel community detection method based on the first passage probabilities (FPPM), equipped with a new similarity measure that incorporates the complete structural information within the maximal step length. Here the diameter of the network is chosen as an appropriate boundary of random walks which is adaptive to different networks. Then we use the hierarchical clustering to group the vertices into communities and further select the best division through the corresponding modularity values. Finally, a post processing strategy is designed to integrate the unreasonable small communities, which significantly improves the accuracy of community division. Surprisingly, the numerical simulations show that FPPM performs best compared to several classic algorithms on both synthetic benchmarks and real world networks, which reveals the universality and effectiveness of our method.


NeuRoRA Neural Robust Rotation Averaging. Multiple rotation averaging is an essential task for structure from motion, mapping, and robot navigation. The task is to estimate the absolute orientations of several cameras given some of their noisy relative orientation measurements. The conventional methods for this task seek parameters of the absolute orientations that agree best with the observed noisy measurements according to a robust cost function. These robust cost functions are highly nonlinear and are designed based on certain assumptions about the noise and outlier distributions. In this work, we aim to build a neural network that learns the noise patterns from the data and predict regress the model parameters from the noisy relative orientations. The proposed network is a combination of two networks (1) a view graph cleaning network, which detects outlier edges in the view graph and rectifies noisy measurements and (2) a fine tuning network, which fine tunes an initialization of absolute orientations bootstrapped from the cleaned graph, in a single step. The proposed combined network is very fast, moreover, being trained on a large number of synthetic graphs, it is more accurate than the conventional iterative optimization methods. Although the idea of replacing robust optimization methods by a graph based network is demonstrated only for multiple rotation averaging, it could easily be extended to other graph based geometric problems, for example, pose graph optimization.


Patent Analytics Based on Feature Vector Space Model A Case of IoT. The number of approved patents worldwide increases rapidly each year, which requires new patent analytics to efficiently mine the valuable information attached to these patents. Vector space model (VSM) represents documents as high dimensional vectors, where each dimension corresponds to a unique term. While originally proposed for information retrieval systems, VSM has also seen wide applications in patent analytics, and used as a fundamental tool to map patent documents to structured data. However, VSM method suffers from several limitations when applied to patent analysis tasks, such as loss of sentence level semantics and curse of dimensionality problems. In order to address the above limitations, we propose a patent analytics based on feature vector space model (FVSM), where the FVSM is constructed by mapping patent documents to feature vectors extracted by convolutional neural networks (CNN). The applications of FVSM for three typical patent analysis tasks, i.e., patents similarity comparison, patent clustering, and patent map generation are discussed. A case study using patents related to Internet of Things (IoT) technology is illustrated to demonstrate the performance and effectiveness of FVSM. The proposed FVSM can be adopted by other patent analysis studies to replace VSM, based on which various big data learning tasks can be performed.


Poincar 'e duality for loop spaces. We prove a Poincar 'e duality theorem with products between Rabinowitz Floer homology and cohomology, for both closed and open strings. This lifts to a duality theorem between open closed TQFTs. Specializing to the case of cotangent bundles, we define extended loop homology and cohomology and explain from a unified perspective pairs of dual results which have been observed over the years in the context of the search for closed geodesics. These concern critical levels, relations to the based loop space, manifolds all of whose geodesics are closed, Bott index iteration, level potency, and homotopy invariance. We extend the loop cohomology product to include constant loops. We prove a relation conjectured by Sullivan between the loop product and the extended loop homology coproduct as a consequence of associativity for the product on extended loop homology.


On the local in time well posedness of an elliptic parabolic ferroelectric phase field model. We consider a state of the art ferroelectric phase field model arising from the engineering area in recent years, which is mathematically formulated as a coupled elliptic parabolic differential system. We utilize a fixed point theorem based on the maximal parabolic regularity theory to show the local in time well posedness of the ferroelectric problem. The well posedness result will firstly be proved under certain general assumptions. We then give precise geometric and regularity conditions which will guarantee the fulfillment of the assumptions.


The dual volume of quasi Fuchsian manifolds and the Weil Petersson distance. Making use of the dual Bonahon Schl "afli formula, we prove that the dual volume of the convex core of a quasi Fuchsian manifold M is bounded by an explicit constant, depending only on the topology of M , times the Weil Petersson distance between the hyperbolic structures on the upper and lower boundary components of the convex core of M .


Analytical design of flat top transmission filters composed of several resonant structures. Resonant properties of composite structures consisting of several identical resonant diffractive structures (e.g. multilayer thin film structures or guided mode resonance gratings) separated by phase shift layers are investigated theoretically. Using the scattering matrix formalism, we analytically demonstrate that, at properly chosen thicknesses of the phase shift layers, the composite structures comprising two or four resonant diffractive structures with a Lorentzian transmittance profile optically implement the Butterworth filters of the order two or three, respectively, and enable achieving flat top transmission spectra with steep slopes and low sidebands. In addition, we show that the composite structures consisting of three or four second order Butterworth filters can accurately approximate the fourth or fifth order Butterworth filters, respectively. The presented theoretical results are confirmed by rigorous numerical simulations of composite structures consisting of the so called W structures (simple three layer resonant structures comprising a high index core layer and two low index cladding layers in a high index dielectric environment). The simulation results confirm the formation of flat top transmittance peaks, the shape of which fully agrees with the derived theoretical description. Moreover, we demonstrate an exceptionally simple mechanism of controlling the transmittance peak width, which consists in changing the thicknesses of the cladding layers of the initial W structure and enables generating flat top transmission peaks with a significantly subnanometer size.


Assessing Developer Beliefs A Reply to "Perceptions, Expectations, and Challenges in Defect Prediction". It can be insightful to extend qualitative studies with a secondary quantitative analysis (where the former suggests insightful questions that the latter can answer). Documenting developer beliefs should be the start, not the end, of Software Engineering research. Once prevalent beliefs are found, they should be checked against real world data. For example, this paper finds several notable discrepancies between empirical evidence and the developer beliefs documented in Wan et al.'s recent TSE paper "Perceptions, expectations, and challenges in defect prediction". By reporting these discrepancies we can stop developers (a) wasting time on inconsequential matters or (b) ignoring important effects. For the future, we would encourage more "extension studies" of prior qualitative results with quantitative empirical evidence.


Milnor Witt Motives. We develop the theory of Milnor Witt motives and motivic cohomology. Compared to Voevodsky's theory of motives and his motivic cohomology, the first difference appears in our definition of Milnor Witt finite correspondences, where our cycles come equipped with quadratic forms. This yields a weaker notion of transfers and a derived category of motives that is closer to the stable homotopy theory of schemes. We prove a cancellation theorem when tensoring with the Tate object, we compare the diagonal part of our Milnor Witt motivic cohomology to Minor Witt K theory and we provide spectra representing various versions of motivic cohomology in the mathbb A 1 derived category or the stable homotopy category of schemes.


Trigonometric type properties and the parity of balancing, Lucas balancing, cobalancing and Lucas cobalancing numbers. Balancing numbers n are originally defined as the solution of the Diophantine equation 1 2 cdots (n 1) (n 1) cdots (n r) , where r is called the balancer corresponding to the balancing number n . By slightly modifying, n is the cobalancing number with the cobalancer r if 1 2 cdots n (n 1) cdots (n r) . Let B n denote the n th balancing number and b n denote the n th cobalancing number. Then 8B n 2 1 and 8b n 2 8b n 1 are perfect squares. The n th Lucas balancing number C n and the n th Lucas cobalancing number c n are the positive roots of 8B n 2 1 and 8b n 2 8b n 1 , respectively. In this paper, we establish some trigonometric type identities and some arithmetic properties concerning the parity of balancing, cobalancing, Lucas balancing and Lucas cobalancing numbers.


Facial Action Unit Detection on ICU Data for Pain Assessment. Current day pain assessment methods rely on patient self report or by an observer like the Intensive Care Unit (ICU) nurses. Patient self report is subjective to the individual and suffers due to poor recall. Pain assessment by manual observation is limited by the number of administrations per day and staff workload. Previous studies showed the feasibility of automatic pain assessment by detecting Facial Action Units (AUs). Pain is observed to be associated with certain facial action units (AUs). This method of pain assessment can overcome the pitfalls of present day pain assessment techniques. All the previous studies are limited to controlled environment data. In this study, we evaluated the performance of OpenFace an open source facial behavior analysis tool and AU R CNN on the real world ICU data. Presence of assisted breathing devices, variable lighting of ICUs, patient orientation with respect to camera significantly affected the performance of the models, although these showed the state of the art results in facial behavior analysis tasks. In this study, we show the need for automated pain assessment system which is trained on real world ICU data for clinically acceptable pain assessment system.


On two weight codes. We consider q ary (linear and nonlinear) block codes with exactly two distances d and d delta . Several combinatorial constructions of optimal such codes are given. In the linear (but not necessary projective) case, we prove that under certain conditions the existence of such linear 2 weight code with delta 1 implies the following equality of great common divisors (d,q) ( delta,q) . Upper bounds for the maximum cardinality of such codes are derived by linear programming and from few distance spherical codes. Tables of lower and upper bounds for small q 2,3,4 and q ,n 50 are presented.