On Certificate Management in Named Data Networking. Named Data Networking (NDN) secures network communications by requiring all data packets to be signed when produced. This requirement necessitates efficient and usable mechanisms to handle NDN certificate issuance and revocation, making these supporting mechanisms essential for NDN operations. In this paper, we first investigate and clarify core concepts related to NDN certificates and security design in general, and then present the model of NDN certificate management and its desired properties. We proceed with the design of a specific realization of NDN's certificate management, NDNCERT, evaluate it using a formal security analysis, and discuss the challenges in designing, implementing, and deploying the system, to share our experiences with other NDN security protocol development efforts.


Forbidden detour number on virtual knot. We show that the forbidden detour move, essentially introduced by Kanenobu and Nelson, is an unknotting operation for virtual knots. Then we define the forbidden detour number of a virtual knot to be the minimal number of forbidden detour moves necessary to transform a diagram of the virtual knot into the trivial knot diagram. Some upper and lower bounds on the forbidden detour number are given in terms of the minimal number of real crossings or the coefficients of the affine index polynomial of the virtual knot.


Gamma Related Ornstein Uhlenbeck Processes and their Simulation. We investigate the distributional properties of two generalized Ornstein Uhlenbeck (OU) processes whose stationary distributions are the gamma law and the bilateral gamma law, respectively. The said distributions turn out to be related to the self decomposable gamma and bilateral gamma laws, and their densities and characteristic functions are here given in closed form. Algorithms for the exact generation of such processes are accordingly derived with the advantage of being significantly faster than those available in the literature and therefore suitable for real time simulations.


Diffeomorphism type of symplectic fillings of unit cotangent bundles. We prove uniqueness, up to diffeomorphism, of symplectically aspherical fillings of certain unit cotangent bundles, including those of higher dimensional tori.


Finding entries of maximum absolute value in low rank tensors. We present an iterative method for the search of extreme entries in low rank tensors which is based on a power iteration combined with a binary search. In this work we use the HT format for low rank tensors but other low rank formats can be used verbatim. We present two different approaches to accelerate the basic power iteration an orthogonal projection of Rayleigh Ritz type, as well as an acceleration of the power iteration itself which can be achieved due to the diagonal structure of the underlying eigenvalue problem. Finally the maximizing index is determined by a binary search based on the proposed iterative method for the approximation of the maximum norm. The iterative method for the maximum norm estimation inherits the linear complexity of the involved tensor arithmetic in the HT format w.r.t. the tensor order, which is also verified by numerical tests.


A note on the density of the partial regularity result in the class of viscosity solutions. We establish the density of the partial regularity result in the class of continuous viscosity solutions. Given a fully nonlinear equation, we prove the existence of a sequence entitled to the partial regularity result, approximating its solutions. Distinct conditions on the operator driving the equation lead to density in different topologies. Our findings include applications to inhomogeneous problems, with variable coefficients models.


Optimal and sustainable management of a soilborne banana pest. In this paper we propose an eco friendly optimization of banana or plantain yield by the control of the pest burrowing nematode textit Radopholus similis . This control relies on fallow deployment, with greater respect for the environment than chemical methods. The optimization is based on a multi seasonal model in which fallow periods follow cropping seasons. The aim is to find the best way, in terms of profit, to allocate the durations of fallow periods between the cropping seasons, over a fixed time horizon spanning several seasons. The existence of an optimal allocation is proven and an adaptive random search algorithm is proposed to solve the optimization problem. For a relatively long time horizon, deploying one season less than the maximum possible number of cropping seasons allows to increase the fallow period durations and results in a better multi seasonal profit. For regular fallow durations, the profit is lower than the optimal solution, but the final soil infestation is also lower.


Investigation of Data Deletion Vulnerabilities in NAND Flash Memory Based Storage. Semiconductor NAND Flash based memory technology dominates the electronic Non Volatile storage media market. Though NAND Flash offers superior performance and reliability over conventional magnetic HDDs, yet it suffers from certain data security vulnerabilities. Such vulnerabilities can expose sensitive information stored on the media to security risks. It is thus necessary to study in detail the fundamental reasons behind data security vulnerabilities of NAND Flash for use in critical applications. In this paper, the problem of unreliable data deletion sanitization in commercial NAND Flash media is investigated along with the fundamental reasons leading to such vulnerabilities. Exhaustive software based data recovery experiments (multiple iterations) has been carried out on commercial NAND Flash storage media (8 GB and 16 GB) for different types of filesystems (NTFS and FAT) and OS specific delete Erase instructions. 100 data recovery is obtained for windows and linux based delete Erase commands. Inverse effect of performance enhancement techniques like wear levelling, bad block management etc. is also observed with the help of software based recovery experiments.


PCT TEE Trajectory based Private Contact Tracing System with Trusted Execution Environment. Existing Bluetooth based Private Contact Tracing (PCT) systems can privately detect whether people have come into direct contact with COVID 19 patients. However, we find that the existing systems lack functionality and flexibility, which may hurt the success of the contact tracing. Specifically, they cannot detect indirect contact (e.g., people may be exposed to coronavirus because of used the same elevator even without direct contact) they also cannot flexibly change the rules of "risky contact", such as how many hours of exposure or how close to a COVID 19 patient that is considered as risk exposure, which may be changed with the environmental situation. In this paper, we propose an efficient and secure contact tracing system that enables both direct contact and indirect contact. To address the above problems, we need to utilize users' trajectory data for private contact tracing, which we call trajectory based PCT. We formalize this problem as Spatiotemporal Private Set Intersection. By analyzing different approaches such as homomorphic encryption that could be extended to solve this problem, we identify that Trusted Execution Environment (TEE) is a proposing method to achieve our requirements. The major challenge is how to design algorithms for spatiotemporal private set intersection under limited secure memory of TEE. To this end, we design a TEE based system with flexible trajectory data encoding algorithms. Our experiments on real world data show that the proposed system can process thousands of queries on tens of million records of trajectory data in a few seconds.


Phase noise accumulation in recirculating frequency shifting loop based programmable optical frequency comb. The phenomenon of linewidth continuously broadening along with the recirculation number in recirculating frequency shifting loop is observed. In this paper, a novel method of measuring the phase noise accumulation induced by EDFA in recirculating frequency shifting loop is proposed and the experiment results support the viewpoint of the laser linewidth will be broadening by EDFA. An empirical formula has been extracted to estimate the linewidth deterioration of the RFS output. We demonstrate the relationship between the linewidth and the recirculation number of the RFS based optical frequency comb in both theoretically and experimentally. By employing the recirculation frequency shifting loop, the phase noise accumulation induced by EDFA could be measured obviously and the linewidth of each tone can be measured precisely.


Geometric properties near singular points of surfaces given by certain representation formulae. We investigate geometric properties of surfaces given by certain formulae. In particular, we calculate the singular curvature and the limiting normal curvature of such surfaces along the set of singular points consisting of singular points of the first kind. Moreover, we study fold singular points of smooth maps.


The Bramson delay in a Fisher KPP equation with log singular non linearity. We consider a class of reaction diffusion equations of Fisher KPP type in which the nonlinearity (reaction term) f is merely C 1 at u 0 due to a logarithmic competition term. We first derive the asymptotic behavior of (minimal speed) traveling wave solutions that is, we obtain precise estimates on the decay to zero of the traveling wave profile at infinity. We then use this to characterize the Bramson shift between the traveling wave solutions and solutions of the Cauchy problem with localized initial data. We find a phase transition depending on how singular f is near u 0 with quite different behavior for more singular f . This is in contrast to the smooth case, that is, when f in C 1, delta , where these behaviors are completely determined by f'(0) . In the singular case, several scales appear and require new techniques to understand.


Noncompactness of Fourier Convolution Operators on Banach Function Spaces. Let X( mathbb R ) be a separable Banach function space such that the Hardy Littlewood maximal operator M is bounded on X( mathbb R ) and on its associate space X'( mathbb R ) . Suppose a is a Fourier multiplier on the space X( mathbb R ) . We show that the Fourier convolution operator W 0(a) with symbol a is compact on the space X( mathbb R ) if and only if a 0 . This result implies that nontrivial Fourier convolution operators on Lebesgue spaces with Muckenhoupt weights are never compact.


Simple Unsupervised Multi Object Tracking. Multi object tracking has seen a lot of progress recently, albeit with substantial annotation costs for developing better and larger labeled datasets. In this work, we remove the need for annotated datasets by proposing an unsupervised re identification network, thus sidestepping the labeling costs entirely, required for training. Given unlabeled videos, our proposed method (SimpleReID) first generates tracking labels using SORT and trains a ReID network to predict the generated labels using crossentropy loss. We demonstrate that SimpleReID performs substantially better than simpler alternatives, and we recover the full performance of its supervised counterpart consistently across diverse tracking frameworks. The observations are unusual because unsupervised ReID is not expected to excel in crowded scenarios with occlusions, and drastic viewpoint changes. By incorporating our unsupervised SimpleReID with CenterTrack trained on augmented still images, we establish a new state of the art performance on popular datasets like MOT16 17 without using tracking supervision, beating current best (CenterTrack) by 0.2 0.3 MOTA and 4.4 4.8 IDF1 scores. We further provide evidence for limited scope for improvement in IDF1 scores beyond our unsupervised ReID in the studied settings. Our investigation suggests reconsideration towards more sophisticated, supervised, end to end trackers by showing promise in simpler unsupervised alternatives.


Full error analysis for the training of deep neural networks. Deep learning algorithms have been applied very successfully in recent years to a range of problems out of reach for classical solution paradigms. Nevertheless, there is no completely rigorous mathematical error and convergence analysis which explains the success of deep learning algorithms. The error of a deep learning algorithm can in many situations be decomposed into three parts, the approximation error, the generalization error, and the optimization error. In this work we estimate for a certain deep learning algorithm each of these three errors and combine these three error estimates to obtain an overall error analysis for the deep learning algorithm under consideration. In particular, we thereby establish convergence with a suitable convergence speed for the overall error of the deep learning algorithm under consideration. Our convergence speed analysis is far from optimal and the convergence speed that we establish is rather slow, increases exponentially in the dimensions, and, in particular, suffers from the curse of dimensionality. The main contribution of this work is, instead, to provide a full error analysis (i) which covers each of the three different sources of errors usually emerging in deep learning algorithms and (ii) which merges these three sources of errors into one overall error estimate for the considered deep learning algorithm.


Thermal Radiation in Rayleigh B ' e nard Convection Experiments. An important question in turbulent Rayleigh B ' e nard convection (RBC) is the effectiveness of convective heat transport, which is conveniently described via the scaling of the Nusselt number ( rm Nu ) with the Rayleigh ( rm Ra ) and Prandtl ( rm Pr ) numbers. In RBC experiments, the heat supplied to the bottom plate is also partly transferred by thermal radiation. This heat transport channel, acting in parallel with the convective and conductive heat transport channels, is usually considered insignificant and thus neglected. Here we present a detailed analysis of conventional far field as well as strongly enhanced near field radiative heat transport occurring in various RBC experiments, and show that the radiative heat transfer partly explains differences in rm Nu measured in different experiments. A careful inclusion of the radiative transport appreciably changes the rm Nu rm Nu ( rm Ra ) scaling inferred in turbulent RBC experiments near ambient temperature utilizing gaseous nitrogen and sulphur hexafluoride as working fluids. On the other hand, neither the conventional far field radiation nor the strongly enhanced near field radiative heat transport appreciably affects the heat transport law deduced in cryogenic helium RBC experiments.


FASTCloud A framework of assessment and selection for trustworthy cloud service based on QoS. By virtue of technology and benefit advantages, cloud computing has increasingly attracted a large number of potential cloud consumers (PCC) plan to migrate the traditional business to the cloud service. However, trust has become one of the most challenging issues that prevent the PCC from adopting cloud services, especially in trustworthy cloud service selection. Besides, due to the diversity and dynamic of quality of service (QoS) in the cloud environment, the existing trust assessment methods based on the single constant value of QoS attribute and the subjective weight assignment are not good enough to provide an effective solution for PCCs to identify and select a trustworthy cloud service among a wide range of functionally equivalent cloud service providers (CSPs). To address the challenge, a novel assessment and selection framework for trustworthy cloud service, FASTCloud, is proposed in this study. This framework facilitates PCCs to select a trustworthy cloud service based on their actual QoS requirements. In order to accurately and efficiently assess the trust level of cloud services, a QoS based trust assessment model is proposed. This model represents a trust level assessment method based on the interval multiple attributes with an objective weight assignment method based on the deviation maximization to adaptively determine the trust level of different cloud services provisioned by candidate CSPs. The advantage of the proposed trust level assessment method in time complexity is demonstrated by the performance analysis and comparison. The experimental result of a case study with an open source dataset shows that the trust model is efficient in cloud service trust assessment and the FASTCloud can effectively help PCCs select a trustworthy cloud service.


Peta Pascal Pressure Driven by Fast Isochoric Heating with Multi Picosecond Intense Laser Pulse. Fast isochoric laser heating is a scheme to heat a matter with relativistic intensity ( 10 18 W cm 2 ) laser pulse or X ray free electron laser pulse. The fast isochoric laser heating has been studied for creating efficiently ultra high energy density (UHED) state. We demonstrate an fast isochoric heating of an imploded dense plasma using a multi picosecond kJ class petawatt laser with an assistance of externally applied kilo tesla magnetic fields for guiding fast electrons to the dense plasma.The UHED state with 2.2 Peta Pascal is achieved experimentally with 4.6 kJ of total laser energy that is one order of magnitude lower than the energy used in the conventional implosion scheme. A two dimensional particle in cell simulation reveals that diffusive heating from a laser plasma interaction zone to the dense plasma plays an essential role to the efficient creation of the UHED state.


Recent Progress in Appearance based Action Recognition. Action recognition, which is formulated as a task to identify various human actions in a video, has attracted increasing interest from computer vision researchers due to its importance in various applications. Recently, appearance based methods have achieved promising progress towards accurate action recognition. In general, these methods mainly fulfill the task by applying various schemes to model spatial and temporal visual information effectively. To better understand the current progress of appearance based action recognition, we provide a comprehensive review of recent achievements in this area. In particular, we summarise and discuss several dozens of related research papers, which can be roughly divided into four categories according to different appearance modelling strategies. The obtained categories include 2D convolutional methods, 3D convolutional methods, motion representation based methods, and context representation based methods. We analyse and discuss representative methods from each category, comprehensively. Empirical results are also summarised to better illustrate cutting edge algorithms. We conclude by identifying important areas for future research gleaned from our categorisation.


RecSys DAN Discriminative Adversarial Networks for Cross Domain Recommender Systems. Data sparsity and data imbalance are practical and challenging issues in cross domain recommender systems. This paper addresses those problems by leveraging the concepts which derive from representation learning, adversarial learning and transfer learning (particularly, domain adaptation). Although various transfer learning methods have shown promising performance in this context, our proposed novel method RecSys DAN focuses on alleviating the cross domain and within domain data sparsity and data imbalance and learns transferable latent representations for users, items and their interactions. Different from existing approaches, the proposed method transfers the latent representations from a source domain to a target domain in an adversarial way. The mapping functions in the target domain are learned by playing a min max game with an adversarial loss, aiming to generate domain indistinguishable representations for a discriminator. Four neural architectural instances of ResSys DAN are proposed and explored. Empirical results on real world Amazon data show that, even without using labeled data (i.e., ratings) in the target domain, RecSys DAN achieves competitive performance as compared to the state of the art supervised methods. More importantly, RecSys DAN is highly flexible to both unimodal and multimodal scenarios, and thus it is more robust to the cold start recommendation which is difficult for previous methods.


A Memetic Algorithm Based on Breakout Local Search for the Generalized Travelling Salesman Problem. The Travelling Salesman Problem (TSP) is one of the most popular Combinatorial Optimization Problem. It is well solicited for the large variety of applications that it can solve, but also for its difficulty to find optimal solutions. One of the variants of the TSP is the Generalized TSP (GTSP), where the TSP is considered as a special case which makes the GTSP harder to solve. We propose in this paper a new memetic algorithm based on the well known Breakout Local Search (BLS) metaheuristic to provide good solutions for GTSP instances. Our approach is competitive compared to other recent memetic algorithms proposed for the GTSP and gives at the same time some improvements to BLS to reduce its runtime.


DeFINE Delayed Feedback based Immersive Navigation Environment for Studying Goal Directed Human Navigation. With the advent of consumer grade products for presenting an immersive virtual environment (VE), there is a growing interest in utilizing VEs for testing human navigation behavior. However, preparing a VE still requires a high level of technical expertise in computer graphics and virtual reality, posing a significant hurdle to embracing the emerging technology. To address this issue, this paper presents Delayed Feedback based Immersive Navigation Environment (DeFINE), a framework that allows for easy creation and administration of navigation tasks within customizable VEs via intuitive graphical user interfaces and simple settings files. Importantly, DeFINE has a built in capability to provide performance feedback to participants during an experiment, a feature that is critically missing in other similar frameworks. To show the usability of DeFINE from both experimentalists' and participants' perspectives, a demonstration was made in which participants navigated to a hidden goal location with feedback that differentially weighted speed and accuracy of their responses. In addition, the participants evaluated DeFINE in terms of its ease of use, required workload, and proneness to induce cybersickness. The demonstration exemplified typical experimental manipulations DeFINE accommodates and what types of data it can collect for characterizing participants' task performance. With its out of the box functionality and potential customizability due to open source licensing, DeFINE makes VEs more accessible to many researchers.


Enabling Fast Differentially Private SGD via Just in Time Compilation and Vectorization. A common pain point in differentially private machine learning is the significant runtime overhead incurred when executing Differentially Private Stochastic Gradient Descent (DPSGD), which may be as large as two orders of magnitude. We thoroughly demonstrate that by exploiting powerful language primitives, including vectorization, just in time compilation, and static graph optimization, one can dramatically reduce these overheads, in many cases nearly matching the best non private running times. These gains are realized in two frameworks JAX and TensorFlow. JAX provides rich support for these primitives as core features of the language through the XLA compiler. We also rebuild core parts of TensorFlow Privacy, integrating features from TensorFlow 2 as well as XLA compilation, granting significant memory and runtime improvements over the current release version. These approaches allow us to achieve up to 50x speedups in comparison to the best alternatives. Our code is available at https github.com TheSalon fast dpsgd.


Explicit formulae for geodesics in left invariant sub Finsler problems on Heisenberg groups via convex trigonometry. In the present paper, we obtain explicit formulae for geodesics in some left invariant sub Finsler problems on Heisenberg groups mathbb H 2n 1 . Our main assumption is the following the compact convex set of unit velocities at identity admits a generalization of spherical coordinates. This includes convex hulls and sums of coordinate 2 dimensional sets, all left invariant sub Riemannian structures on mathbb H 2n 1 , and unit balls in L p metric for 1 le p le infty . In the last case, extremals are obtained in terms of incomplete Euler integral of the first kind.


Toroidal and slab ETG instability dominance in the linear spectrum of JET ILW pedestals. Local linear gyrokinetic simulations show that electron temperature gradient (ETG) instabilities are the fastest growing modes for k y rho i gtrsim 0.1 in the steep gradient region for a JET pedestal discharge (92174) where the electron temperature gradient is steeper than the ion temperature gradient. Here, k y is the wavenumber in the direction perpendicular to both the magnetic field and the radial direction, and rho i is the ion gyroradius. At k y rho i gtrsim 1 , the fastest growing mode is often a novel type of toroidal ETG instability. This toroidal ETG mode is driven at scales as large as k y rho i sim ( rho i rho e) L Te R 0 sim 1 and at a sufficiently large radial wavenumber that electron finite Larmor radius effects become important that is, K x rho e sim 1 , where K x is the effective radial wavenumber. Here, rho e is the electron gyroradius, R 0 is the major radius of the last closed flux surface, and 1 L Te is an inverse length proportional to the logarithmic gradient of the equilibrium electron temperature. The fastest growing toroidal ETG modes are often driven far away from the outboard midplane. In this equilibrium, ion temperature gradient instability is subdominant at all scales and kinetic ballooning modes are shown to be suppressed by mathbf E times mathbf B shear. ETG modes are very resilient to mathbf E times mathbf B shear. Heuristic quasilinear arguments suggest that the novel toroidal ETG instability is important for transport.


Free groups, covering spaces and Artin's theorem. In this expository note we provide a proof of Artin's theorem which states that the commutator subgroup of a free group on two generators is not finitely generated. The proof employs the infinite grid as in two other proofs in the literature mentioned in the note but takes a somewhat different approach which seems to be of didactic value.


Spectral Stability of the bar partial Neumann Laplacian the Kohn Nirenberg elliptic regularization. In this paper we study spectral stability of the bar partial Neumann Laplacian under the Kohn Nirenberg elliptic regularization. We obtain quantitative estimates for stability of the spectrum of the bar partial Neumann Laplacian when either the operator or the underlying domain is perturbed.


PhishOut Effective Phishing Detection Using Selected Features. Phishing emails are the first step for many of today's attacks. They come with a simple hyperlink, request for action or a full replica of an existing service or website. The goal is generally to trick the user to voluntarily give away his sensitive information such as login credentials. Many approaches and applications have been proposed and developed to catch and filter phishing emails. However, the problem still lacks a complete and comprehensive solution. In this paper, we apply knowledge discovery principles from data cleansing, integration, selection, aggregation, data mining to knowledge extraction. We study the feature effectiveness based on Information Gain and contribute two new features to the literature. We compare six machine learning approaches to detect phishing based on a small number of carefully chosen features. We calculate false positives, false negatives, mean absolute error, recall, precision and F measure and achieve very low false positive and negative rates. Na " i ve Bayes has the least true positives rate and overall Neural Networks holds the most promise for accurate phishing detection with accuracy of 99.4 .


Circles and Paths in 2 Colored Best Match Graphs. Recent investigations in computational biology focus on a family of 2 colored digraphs, called 2 colored best match graphs, which naturally arise from rooted phylogenetic trees. Actually the defining properties of such graphs are unexpectedly unusual in graph theory, and they were established only recently after the discovery of their links to evolutionary relatedness via phylogenetic trees. In this paper several results are obtained on 2 colored best match graphs which well fit in the mainstream of graph theory.


Optimal transport on completely integrable toric manifolds. We show that existence and uniqueness of solutions to transported Monge Ampere problem on complex compact toric manifold follows easily from the real theory of optimal transportation.


Scientific elite revisited Patterns of productivity, collaboration, authorship and impact. Throughout history, a relatively small number of individuals have made a profound and lasting impact on science and society. Despite long standing, multi disciplinary interests in understanding careers of elite scientists, there have been limited attempts for a quantitative, career level analysis. Here, we leverage a comprehensive dataset we assembled, allowing us to trace the entire career histories of nearly all Nobel laureates in physics, chemistry, and physiology or medicine over the past century. We find that, although Nobel laureates were energetic producers from the outset, producing works that garner unusually high impact, their careers before winning the prize follow relatively similar patterns as ordinary scientists, being characterized by hot streaks and increasing reliance on collaborations. We also uncovered notable variations along their careers, often associated with the Nobel prize, including shifting coauthorship structure in the prize winning work, and a significant but temporary dip in the impact of work they produce after winning the Nobel. Together, these results document quantitative patterns governing the careers of scientific elites, offering an empirical basis for a deeper understanding of the hallmarks of exceptional careers in science.


Mapping atmospheric waves and unveiling phase coherent structures in a global surface air temperature reanalysis dataset. In the analysis of empirical signals, detecting correlations that capture genuine interactions between the elements of a complex system is a challenging task with applications across disciplines. Here we analyze a global data set of surface air temperature (SAT) with daily resolution. Hilbert analysis is used to obtain phase, instantaneous frequency and amplitude information of SAT seasonal cycles in different geographical zones. The analysis of the phase dynamics reveals large regions with coherent seasonality. The analysis of the instantaneous frequencies uncovers clean wave patterns formed by alternating regions of negative and positive correlations. In contrast, the analysis of the amplitude dynamics uncovers wave patterns with additional large scale structures. These structures are interpreted as due to the fact that the amplitude dynamics is affected by processes that act in long and short time scales, while the dynamics of the instantaneous frequency is mainly governed by fast processes. Therefore, Hilbert analysis allows to disentangle climatic processes and to track planetary atmospheric waves. Our results are relevant for the analysis of complex oscillatory signals because they offer a general strategy for uncovering interactions that act at different time scales.


Spatially Adaptive Regularization in Image Segmentation. We modify the total variation regularized image segmentation model proposed by Chan, Esedoglu and Nikolova SIAM Journal on Applied Mathematics 66, 2006 by introducing local regularization that takes into account spatial image information. We propose some techniques for defining local regularization parameters, based on the cartoon texture decomposition of the given image, on the mean and median filters, and on a thresholding technique, with the aim of preventing excessive regularization in piecewise constant or smooth regions and preserving spatial features in nonsmooth regions. We solve the modified model by using split Bregman iterations. Numerical experiments show the effectiveness of our approach.


An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata. In the mid 80s, Lichtenstein, Pnueli, and Zuck proved a classical theorem stating that every formula of Past LTL (the extension of LTL with past operators) is equivalent to a formula of the form bigwedge i 1 n mathbf G mathbf F varphi i vee mathbf F mathbf G psi i , where varphi i and psi i contain only past operators. Some years later, Chang, Manna, and Pnueli built on this result to derive a similar normal form for LTL. Both normalisation procedures have a non elementary worst case blow up, and follow an involved path from formulas to counter free automata to star free regular expressions and back to formulas. We improve on both points. We present a direct and purely syntactic normalisation procedure for LTL yielding a normal form, comparable to the one by Chang, Manna, and Pnueli, that has only a single exponential blow up. As an application, we derive a simple algorithm to translate LTL into deterministic Rabin automata. The algorithm normalises the formula, translates it into a special very weak alternating automaton, and applies a simple determinisation procedure, valid only for these special automata.


Modularity and value distribution of quantum invariants of hyperbolic knots. We obtain an exact modularity relation for the q Pochhammer symbol. Using this formula, we show that Zagier's modularity conjecture for a knot K essentially reduces to the arithmeticity conjecture for K . In particular, we show that Zagier's conjecture holds for hyperbolic knots K neq 7 2 with at most seven crossings. For K 4 1 , we also prove a complementary reciprocity formula which allows us to prove a law of large numbers for the values of the colored Jones polynomials at roots of unity. We conjecture a similar formula holds for all knots and we show that this is the case if one assumes a suitable version of Zagier's conjecture.


Effective and Efficient Indexing in Cross Modal Hashing Based Datasets. To overcome the barrier of storage and computation, the hashing technique has been widely used for nearest neighbor search in multimedia retrieval applications recently. Particularly, cross modal retrieval that searches across different modalities becomes an active but challenging problem. Although dozens of cross modal hashing algorithms are proposed to yield compact binary codes, the exhaustive search is impractical for the real time purpose, and Hamming distance computation suffers inaccurate results. In this paper, we propose a novel search method that utilizes a probability based index scheme over binary hash codes in cross modal retrieval. The proposed hash code indexing scheme exploits a few binary bits of the hash code as the index code. We construct an inverted index table based on index codes and train a neural network to improve the indexing accuracy and efficiency. Experiments are performed on two benchmark datasets for retrieval across image and text modalities, where hash codes are generated by three cross modal hashing methods. Results show the proposed method effectively boost the performance on these hash methods.


Power Grid with 100 Renewable Energy for Small Island Developing States Nexus of Energy, Environment, and Economic Growth. We estimated system wise levelized cost of electricity (LCOE) for a power grid with a high level of renewable energy using our grid optimization model. The estimation results of the system wise LCOE are discussed in terms of the nexus of energy, environment, and economic growth for Small Island Developing States (SIDS) economies. While 100 renewable energy is technologically possible with the usage of electricity storage, the estimated LCOE is as high as 397 MWh which is substantially higher than electricity prices for residential consumers in the US and Japan. The susceptibility analyses imply that the estimated LCOE increase of 223 with a 100 renewable power grid corresponds to an as high as 11 decrease in economic growth. This decrease in economic growth would have a significant negative impact on SIDS economies. However, hydrogen production via the electrolysis of water using the excess energy supply from solar photovoltaics would reduce the LCOE, therefore higher economic growth would be attained with less CO2 emission.


Ultrashort pulse two photon coherent control of a macroscopic phenomena light induced current from channelrhodopsin 2 in live brain cells. Coherent control is extended to macroscopic processes under continuous pulsed laser irradiation. Here, this approach is used to analyze the experimentally measured two photon phase control of currents emanating from a living brain cells expressing channelrhodopsin 2, a light gated ion channel. In particular, a mechanism is proposed that encompasses more than 15 orders magnitude in time, from the ultrafast dynamics of retinal in channelrhodopsin 2 to the slow dynamics of the neuron current. Implications for other photochemical processes are discussed.


Coarse metric and uniform metric. We introduce the notion of coarse metric. Every coarse metric induces a coarse structure on the underlying set. Conversely, we observe that all coarse spaces come from a particular type of coarse metric in a unique way. In the case when the coarse structure mathcal E on a set X is defined by a coarse metric that takes values in a meet complete totally ordered set, we define the associated Hausdorff coarse metric on the set mathcal P 0(X) of non empty subsets of X and show that it induces the Hausdorff coarse structure on mathcal P 0(X) . On the other hand, we define the notion of pseudo uniform metric. Each pseudo uniform metric induces a uniform structure on the underlying space. In the reverse direction, we show that a uniform structure mathcal U on a set X is induced by a map d from X times X to a partially ordered set (with no requirement on d ) if and only if mathcal U admits a base mathcal B such that mathcal B cup bigcap mathcal U is closed under arbitrary intersections. In this case, mathcal U is actually defined by a pseudo uniform metric. We also show that a uniform structures mathcal U comes from a pseudo uniform metric that takes values in a totally ordered set if and only if mathcal U admits a totally ordered base. Finally, a valuation ring will produce an example of a coarse and pseudo uniform metric that take values in a totally ordered set.


Near optimal Approximate Discrete and Continuous Submodular Function Minimization. In this paper we provide improved running times and oracle complexities for approximately minimizing a submodular function. Our main result is a randomized algorithm, which given any submodular function defined on n elements with range 1, 1 , computes an epsilon additive approximate minimizer in tilde O (n epsilon 2) oracle evaluations with high probability. This improves over the tilde O (n 5 3 epsilon 2) oracle evaluation algorithm of Chakrabarty etal (STOC 2017) and the tilde O (n 3 2 epsilon 2) oracle evaluation algorithm of Hamoudi etal. Further, we leverage a generalization of this result to obtain efficient algorithms for minimizing a broad class of nonconvex functions. For any function f with domain 0, 1 n that satisfies frac partial 2f partial x i partial x j le 0 for all i neq j and is L Lipschitz with respect to the L infty norm we give an algorithm that computes an epsilon additive approximate minimizer with tilde O (n cdot mathrm poly (L epsilon)) function evaluation with high probability.


Confounding Ghost Channels and Causality A New Approach to Causal Information Flows. Information theory provides a fundamental framework for the quantification of information flows through channels, formally Markov kernels. However, quantities such as mutual information and conditional mutual information do not necessarily reflect the causal nature of such flows. We argue that this is often the result of conditioning based on sigma algebras that are not associated with the given channels. We propose a version of the (conditional) mutual information based on families of sigma algebras that are coupled with the underlying channel. This leads to filtrations which allow us to prove a corresponding causal chain rule as a basic requirement within the presented approach.


Infinite Families of Congruences Modulo 5 for Ramanujan's General Partition Function. For any non negative integer n and non zero integer r , let p r(n) denote Ramanujan's general partition function. By employing q identities, we prove some new Ramanujan type congruences modulo 5 for p r(n) for r (5 lambda 1), (5 lambda 3), (5 lambda 4), (25 lambda 1) , (25 lambda 2) , and any integer lambda .


Generalized Gaussian beams in terms of Jones vectors. Based on the operator formalism that arises from the underlying SU(2) group structure, a formula is derived that provides a description of the generalized Hermite Laguerre Gauss modes in terms of a Jones vector, traditionally used to describe polarization. This identity highlights the relation between these generalized Gaussian beams, the elliptical ray families, and the Majorana constellations used to represent structured Gaussian beams. Moreover, it provides a computational advantage over the standard formula in terms of Wigner d functions.


On the Complexity of Local Graph Transformations. We consider the problem of transforming a given graph G s into a desired graph G t by applying a minimum number primitives from a particular set of local graph transformation primitives. These primitives are local in the sense that each node can apply them based on local knowledge and by affecting only its 1 neighborhood. Although the specific set of primitives we consider makes it possible to transform any (weakly) connected graph into any other (weakly) connected graph consisting of the same nodes, they cannot disconnect the graph or introduce new nodes into the graph, making them ideal in the context of supervised overlay network transformations. We prove that computing a minimum sequence of primitive applications (even centralized) for arbitrary G s and G t is NP hard, which we conjecture to hold for any set of local graph transformation primitives satisfying the aforementioned properties. On the other hand, we show that this problem admits a polynomial time algorithm with a constant approximation ratio.


COVID 19 in Mexico A Network of Epidemics. Mexico, like the rest of the world, is currently facing the The COVID 19 pandemic. Given the size of its territory, the efforts to contain the disease have involved both national and regional measures. For this work, the curves of daily new cases of each municipality reported by the federal government were compared. We found that 114 municipalities form a large network of statistically dependent epidemic phenomena. Based on the network's modular structure, these 114 municipalities can be split into four distinct communities of coordinated epidemic phenomena. These clusters are not limited by geographical proximity. These findings can be helpful for public health officials for the evaluation of past strategies and the development of new directed interventions.


Stacked invasion waves in a competition diffusion model with three species. We investigate the spreading properties of a three species competition diffusion system, which is non cooperative. We apply the Hamilton Jacobi approach, due to Freidlin, Evans and Souganidis, to establish upper and lower estimates of spreading speed of the slowest species, in terms of the spreading speed of two faster species, and show that the estimates are sharp in some situations. The spreading speed will first be characterized as the free boundary point of the viscosity solution for certain variational inequality cast in the space of speeds. Its exact formulas will then be derived by solving the variational inequality explicitly. To the best of our knowledge, this is the first theoretical result on three species competition system in unbounded domains.


Wick Rotations in Deformation Quantization. We study formal and non formal deformation quantizations of a family of manifolds that can be obtained by phase space reduction from mathbb C 1 n with the Wick star product in arbitrary signature. Two special cases of such manifolds are the complex projective space mathbb CP n and the complex hyperbolic disc mathbb D n . We generalize several older results to this setting The construction of formal star products and their explicit description by bidifferential operators, the existence of a convergent subalgebra of "polynomial" functions, and its completion to an algebra of certain analytic functions that allow an easy characterization via their holomorphic extensions. Moreover, we find an isomorphism between the non formal deformation quantizations for different signatures, linking e.g. the star products on mathbb CP n and mathbb D n . More precisely, we describe an isomorphism between the (polynomial or analytic) function algebras that is compatible with Poisson brackets and the convergent star products. This isomorphism is essentially given by Wick rotation, i.e. holomorphic extension of analytic functions and restriction to a new domain. It is not compatible with the involution of pointwise complex conjugation.


Minimal homeomorphisms and topological K theory. The Lefschetz fixed point theorem provides a powerful obstruction to the existence of minimal homeomorphisms on well behaved spaces such as finite CW complexes. We show that these obstructions do not hold for more general spaces. More precisely, minimal homeomorphisms are constructed on space with prescribed K theory or cohomology. We also allow for some control of the map on K theory and cohomology induced from these minimal homeomorphisms. This allows for the construction of many minimal homeomorphisms that are not homotopic to the identity. Applications to C algebras will be discussed in another paper.


Post Thermal Quench Shattered Pellet Injection for small Runaway Electron seed depletion in ITER. The possibility of using Shattered Pellet Injection(s) after the Thermal Quench phase of an ITER disruption in order to deplete Runaway Electron (RE) seeds before they can substantially avalanche is studied. Analytical and numerical estimates of the required injection rate for shards to penetrate into the forming RE beam and stop REs are given. How much material could be assimilated before the Current Quench (CQ) becomes too short is also estimated. It appears that, if Hydrogen pellets were used, the required number of pellets to be injected during the CQ would be prohibitive, at least considering the present design of the ITER Disruption Mitigation System (DMS). For Neon or Argon, the required number of pellets, although large, might be within reach of the ITER DMS, but the assimilated fraction would have to be very small. Other materials may be better suited but would require a modification of the ITER DMS.


Necessary and sufficient conditions for zero subsets of holomorphic functions. Let D be a domain in the complex plane, M be an extended real function on D . If f is a non zero holomorphic function on D with an upper constraint f leq exp M on this domain D , then it is natural to expect that there must be some upper constraints on the distribution of zeros of this holomorphic function exclusively in terms of the function M and the geometry of the domain D . We have investigated this question in detail in our previous works in the case when M is a subharmonic function and the domain D is arbitrary or with a non polar boundary. The answer was given in terms of limiting the distribution of zeros of f from above via the Riesz measure of the subharmonic function M . In this article, the function M is the difference of subharmonic functions, or a delta subharmonic function, and the upper constraints are given in terms of the Riesz charge of this delta subharmonic function M . These results are also new to a certain extent for the subharmonic function M . The case when the domain D is the complex plane is considered separately. For the complex plane, it is possible to reach the criterion level.


On the Power and Limits of Dynamic Pricing in Combinatorial Markets. We study the power and limits of optimal dynamic pricing in combinatorial markets i.e., dynamic pricing that leads to optimal social welfare. Previous work by Cohen Addad et al. EC'16 demonstrated the existence of optimal dynamic prices for unit demand buyers, and showed a market with coverage valuations that admits no such prices. However, finding the frontier of markets (i.e., valuation functions) that admit optimal dynamic prices remains an open problem. In this work we establish positive and negative results that narrow the existing gap. On the positive side, we provide tools for handling markets beyond unit demand valuations. In particular, we characterize all optimal allocations in multi demand markets. This characterization allows us to partition the items into equivalence classes according to the role they play in achieving optimality. Using these tools, we provide a poly time optimal dynamic pricing algorithm for up to 3 multi demand buyers. On the negative side, we establish a maximal domain theorem, showing that for every non gross substitutes valuation, there exist unit demand valuations such that adding them yields a market that does not admit an optimal dynamic pricing. This result is the dynamic pricing equivalent of the seminal maximal domain theorem by Gul and Stacchetti JET'99 for Walrasian equilibrium. Yang JET'17 discovered an error in their original proof, and established a different, incomparable version of their maximal domain theorem. En route to our maximal domain theorem for optimal dynamic pricing, we provide the first complete proof of the original theorem by Gul and Stacchetti.


The continuous primitive integral in the plane. An integral is defined on the plane that includes the Henstock Kurzweil and Lebesgue integrals (with respect to Lebesgue measure). A space of primitives is taken as the set of continuous real valued functions F(x,y) defined on the extended real plane infty, infty 2 that vanish when x or y is infty . With usual pointwise operations this is a Banach space under the uniform norm. The integrable functions and distributions (generalised functions) are those that are the distributional derivative partial 2 ( partial x partial y) of this space of primitives. If f partial 2 ( partial x partial y) F then the integral over interval a,b times c,d subseteq infty, infty 2 is int a b int c d f F(a,c) F(b,d) F(a,d) F(b,c) and int infty infty int infty infty f F( infty, infty) . The definition then builds in the fundamental theorem of calculus. The Alexiewicz norm is lVert f rVert lVert F rVert infty where F is the unique primitive of f . The space of integrable distributions is then a separable Banach space isometrically isomorphic to the space of primitives. The space of integrable distributions is the completion of both L 1 and the space of Henstock Kurzweil integrable functions. The Banach lattice and Banach algebra structures of the continuous functions in lVert cdot rVert infty are also inherited by the integrable distributions. It is shown that the dual space are the functions of bounded Hardy Krause variation. Various tools that make these integrals useful in applications are proved integration by parts, H "older inequality, second mean value theorem, Fubini theorem, a convergence theorem, change of variables, convolution. The changes necessary to define the integral in mathbb R n are sketched out.


(Non)exotic completions of the group algebras of isotropy groups. Motivated by the problem of characterizing KMS states on the reduced C algebras of 'etale groupoids, we show that the reduced norm on these algebras induces a C norm on the group algebras of the isotropy groups. This C norm coincides with the reduced norm for the transformation groupoids, but, as follows from examples of Higson Lafforgue Skandalis, it can be exotic already for groupoids of germs associated with group actions. We show that the norm is still the reduced one for some classes of graded groupoids, in particular, for the groupoids associated with partial actions of groups and the semidirect products of exact groups and groupoids with amenable isotropy groups.


A hybrid discontinuous Galerkin method for transport equations on networks. We discuss the mathematical modeling and numerical discretization of transport problems on one dimensional networks. Suitable coupling conditions are derived that guarantee conservation of mass across network junctions and dissipation of a mathematical energy which allows to prove existence of unique solutions. We then consider the space discretization by a hybrid discontinuous Galerkin method which provides a suitable upwind mechanism to handle the transport problem and allows to incorporate the coupling conditions in a natural manner. In addition, the method inherits mass conservation and stability of the continuous problem. Order optimal convergence rates are established and illustrated by numerical tests.


Hypergraph Clustering Based on PageRank. A hypergraph is a useful combinatorial object to model ternary or higher order relations among entities. Clustering hypergraphs is a fundamental task in network analysis. In this study, we develop two clustering algorithms based on personalized PageRank on hypergraphs. The first one is local in the sense that its goal is to find a tightly connected vertex set with a bounded volume including a specified vertex. The second one is global in the sense that its goal is to find a tightly connected vertex set. For both algorithms, we discuss theoretical guarantees on the conductance of the output vertex set. Also, we experimentally demonstrate that our clustering algorithms outperform existing methods in terms of both the solution quality and running time. To the best of our knowledge, ours are the first practical algorithms for hypergraphs with theoretical guarantees on the conductance of the output set.


Multitask Learning for Blackmarket Tweet Detection. Online social media platforms have made the world more connected than ever before, thereby making it easier for everyone to spread their content across a wide variety of audiences. Twitter is one such popular platform where people publish tweets to spread their messages to everyone. Twitter allows users to Retweet other users' tweets in order to broadcast it to their network. The more retweets a particular tweet gets, the faster it spreads. This creates incentives for people to obtain artificial growth in the reach of their tweets by using certain blackmarket services to gain inorganic appraisals for their content. In this paper, we attempt to detect such tweets that have been posted on these blackmarket services in order to gain artificially boosted retweets. We use a multitask learning framework to leverage soft parameter sharing between a classification and a regression based task on separate inputs. This allows us to effectively detect tweets that have been posted to these blackmarket services, achieving an F1 score of 0.89 when classifying tweets as blackmarket or genuine.


SCNIFFER Low Cost, Automated, Efficient Electromagnetic Side Channel Sniffing. Electromagnetic (EM) side channel analysis (SCA) is a prominent tool to break mathematically secure cryptographic engines, especially on resource constrained IoT devices. Presently, to perform EM SCA on an embedded IoT device, the entire chip is manually scanned and the MTD (Minimum Traces to Disclosure) analysis is performed at each point on the chip to reveal the secret key of the encryption algorithm. However, an automated end to end framework for EM leakage localization, trace acquisition, and attack has been missing. This work proposes SCNIFFER a low cost, automated EM Side Channel leakage SNIFFing platform to perform efficient end to end Side Channel attacks. Using a leakage measure such as TVLA, or SNR, we propose a greedy gradient search heuristic that converges to one of the points of highest EM leakage on the chip (dimension N x N) within O(N) iterations, and then perform Correlational EM Analysis (CEMA) at that point. This reduces the CEMA attack time by N times compared to an exhaustive MTD analysis, and 20x compared to choosing an attack location at random. We demonstrate SCNIFFER using a low cost custom built 3 D scanner with an H field probe ( 500) compared to 50,000 commercial EM scanners, and a variety of microcontrollers as the devices under attack. The SCNIFFER framework is evaluated for several cryptographic algorithms (AES 128, DES, RSA) running on both an 8 bit Atmega microcontroller and a 32 bit ARM microcontroller to find a point of high leakage and then perform a CEMA at that point.


Engaged pedagogy An Innovative method to Teach Physics. Most science classes and in particular Physics are delivered through traditional teaching methods. More specifically, in the traditional stand and deliver lecture, the information was transmitted unilaterally from the teacher to the student and hence the students are only passive participants. Recent studies revealed that traditional lectures are inefficient and even more do not help students understand key concepts or develop critical thinking skills. Mazur described the traditional lecture as the illusion of teaching for teachers, and the illusion of learning for learners. However, one of the approaches that can support students to study Physics more efficiently as well as develop critical and quantitative thinking skills is Engaged pedagogy. Engaged pedagogy, as a novel interactive teaching method and as well as a vector of success in teaching and learning Physics, is discussed in this paper. Additionally, the impact of technology on the proposed teaching pathway is presented.


Ricci flow smoothing for locally collapsing manifolds. We show that for certain locally collapsing initial data with Ricci curvature bounded below, one could start the Ricci flow for a definite period of time. This provides a Ricci flow smoothing tool, with which we find topological conditions that detect the collapsing infranil fiber bundles over controlled Riemannian orbifolds among those locally collapsing regions with Ricci curvature bounded below. In the appendix, we also provide a local distance distortion estimate for certain Ricci flows with collapsing initial data.


A note on extended full waveform inversion. Full waveform inversion (FWI) aims at estimating subsurface medium properties from measured seismic data. It is usually cast as a non linear least squares problem that incorporates uncertainties in the measurements. In exploration seismology, extended formulations of FWI that allow for uncertaties in the physics have been proposed. Even when the physics is modelled accurately, these extensions have been shown to be beneficial because they reduce the non lineary of the resulting data fitting problem. In this note, I derive an alternative (but equivalent) formulation of extended full waveform inversion. This re formulation takes the form of a conventional FWI formulation that includes a medium dependent weight on the residuals. I discuss the implications of this re formulation and illustrate its properties with a simple numerical example.


Precipitation Nowcasting with Satellite Imagery. Precipitation nowcasting is a short range forecast of rain snow (up to 2 hours), often displayed on top of the geographical map by the weather service. Modern precipitation nowcasting algorithms rely on the extrapolation of observations by ground based radars via optical flow techniques or neural network models. Dependent on these radars, typical nowcasting is limited to the regions around their locations. We have developed a method for precipitation nowcasting based on geostationary satellite imagery and incorporated the resulting data into the Yandex.Weather precipitation map (including an alerting service with push notifications for products in the Yandex ecosystem), thus expanding its coverage and paving the way to a truly global nowcasting service.


Scipp Scientific data handling with labeled multi dimensional arrays for C and Python. Scipp is heavily inspired by the Python library xarray. It enriches raw NumPy like multi dimensional arrays of data by adding named dimensions and associated coordinates. Multiple arrays are combined into datasets. On top of this, scipp introduces (i) implicit handling of physical units, (ii) implicit propagation of uncertainties, (iii) support for histograms, i.e., bin edge coordinate axes, which exceed the data's dimension extent by one, and (iv) support for event data. In conjunction these features enable a more natural and more concise user experience. The combination of named dimensions, coordinates, and units helps to drastically reduce the risk for programming errors. The core of scipp is written in C to open opportunities for performance improvements that a Python based solution would not allow for. On top of the C core, scipp's Python components provide functionality for plotting and content representations, e.g., for use in Jupyter Notebooks. While none of scipp's concepts in isolation is novel per se, we are not aware of any project combining all of these aspects in a single coherent software package.


A Deep Learning based Detector for Brown Spot Disease in Passion Fruit Plant Leaves. Pests and diseases pose a key challenge to passion fruit farmers across Uganda and East Africa in general. They lead to loss of investment as yields reduce and losses increases. As the majority of the farmers, including passion fruit farmers, in the country are smallholder farmers from low income households, they do not have the sufficient information and means to combat these challenges. While, passion fruits have the potential to improve the well being of these farmers as they have a short maturity period and high market value , without the required knowledge about the health of their crops, farmers cannot intervene promptly to turn the situation around. For this work, we have partnered with the Uganda National Crop Research Institute (NaCRRI) to develop a dataset of expertly labelled passion fruit plant leaves and fruits, both diseased and healthy. We have made use of their extension service to collect images from 5 districts in Uganda, With the dataset in place, we are employing state of the art techniques in machine learning, and specifically deep learning, techniques at scale for object detection and classification to correctly determine the health status of passion fruit plants and provide an accurate diagnosis for positive detections.This work focuses on two major diseases woodiness (viral) and brown spot (fungal) diseases.


Bew Towards Answering Business Entity Related Web Questions. We present BewQA, a system specifically designed to answer a class of questions that we call Bew questions. Bew questions are related to businesses services such as restaurants, hotels, and movie theaters for example, "Until what time is happy hour?". These questions are challenging to answer because the answers are found in open domain Web, are present in short sentences without surrounding context, and are dynamic since the webpage information can be updated frequently. Under these conditions, existing QA systems perform poorly. We present a practical approach, called BewQA, that can answer Bew queries by mining a template of the business related webpages and using the template to guide the search. We show how we can extract the template automatically by leveraging aggregator websites that aggregate information about business entities in a domain (e.g., restaurants). We answer a given question by identifying the section from the extracted template that is most likely to contain the answer. By doing so we can extract the answers even when the answer span does not have sufficient context. Importantly, BewQA does not require any training. We crowdsource a new dataset of 1066 Bew questions and ground truth answers in the restaurant domain. Compared to state of the art QA models, BewQA has a 27 percent point improvement in F1 score. Compared to a commercial search engine, BewQA answered correctly 29 more Bew questions.


On the Betti Numbers of Finite Volume Hyperbolic Manifolds. We obtain strong upper bounds for the Betti numbers of compact complex hyperbolic manifolds. We use the unitary holonomy to improve the results given by the most direct application of the techniques of DS17 . We also provide effective upper bounds for Betti numbers of compact quaternionic and Cayley hyperbolic manifolds in most degrees. More importantly, we extend our techniques to complete finite volume real and complex hyperbolic manifolds. In this setting, we develop new monotonicity inequalities for strongly harmonic forms on hyperbolic cusps and employ a new peaking argument to estimate L 2 cohomology ranks. Finally, we provide bounds on the de Rham cohomology of such spaces, using a combination of our bounds on L 2 cohomology, bounds on the number of cusps in terms of the volume, and the topological interpretation of reduced L 2 cohomology on certain rank one locally symmetric spaces.


Gas injection and leakage in layered aquifers. Carbon dioxide (CO2) injection into saline aquifers is one method of mitigating anthropogenic climate change. To ensure secure storage of this CO2, it is important to understand the interaction of CO2 injection and migration with geological layering. For example, seismic monitoring at the Sleipner pilot project suggests that the injected CO2 is ponding against, and leaking across, a series of thin, intermediate seals. Here, we develop a gravity current model for weakly compressible, two phase fluid migration in a system of layered aquifers. Our model includes vertical leakage of both water and gas across seals, where the latter is subject to a capillary entry threshold. We demonstrate that the buildup of capillary pressure is very sensitive to the conductivity and connectivity of water films in the gas region. We identify two associated limiting cases, where gas obstructs water flow either completely or not at all. We then explore the parameters that govern gas leakage and the resulting fluid distributions demonstrating that this problem involves a complex interplay between pressure dissipation, capillary pressure buildup, and fluid migration. We show that decreasing the relative permeability of water in the gas region can initiate gas leakage or significantly increase the amount of gas leakage. Finally, we apply our model to rock properties expected for Sleipner and show that CO2 injection may build up sufficient capillary pressure to invade the seals suggesting that, contrary to conventional wisdom, CO2 may be able to leak across the intermediate seals at Sleipner in the absence of a focused conduit.


CacheOut Leaking Data on Intel CPUs via Cache Evictions. Recent transient execution attacks, such as RIDL, Fallout, and ZombieLoad, demonstrated that attackers can leak information while it transits through microarchitectural buffers. Named Microarchitectural Data Sampling (MDS) by Intel, these attacks are likened to "drinking from the firehose", as the attacker has little control over what data is observed and from what origin. Unable to prevent the buffers from leaking, Intel issued countermeasures via microcode updates that overwrite the buffers when the CPU changes security domains. In this work we present CacheOut, a new microarchitectural attack that is capable of bypassing Intel's buffer overwrite countermeasures. We observe that as data is being evicted from the CPU's L1 cache, it is often transferred back to the leaky CPU buffers where it can be recovered by the attacker. CacheOut improves over previous MDS attacks by allowing the attacker to choose which data to leak from the CPU's L1 cache, as well as which part of a cache line to leak. We demonstrate that CacheOut can leak information across multiple security boundaries, including those between processes, virtual machines, user and kernel space, and from SGX enclaves.


From Linear Logic to Cyclic Sharing. We present a translation from Multiplicative Exponential Linear Logic to a simply typed lambda calculus with cyclic sharing. This translation is derived from a simple observation on the Int construction on traced monoidal categories. It turns out that the translation is a mixture of the call by name CPS translation and the Geometry of Interaction based interpretation.


Bias Resistant Social News Aggregator Based on Blockchain. In today's world, social networks have become one of the primary sources for creation and propagation of news. Social news aggregators are one of the actors in this area in which users post news items and use positive or negative votes to indicate their preference toward a news item. News items will be ordered and displayed according to their aggregated votes. This approach suffers from several problems raging from being prone to the dominance of the majority to difficulty in discerning between correct and fake news, and lack of incentive for honest behaviors. In this paper, we propose a graph based news aggregator in which instead of voting on the news items, users submit their votes on the relations between pairs of news items. More precisely, if a user believes two news items support each other, he will submit a positive vote on the link between the two items, and if he believes that two news items undermine each other, he will submit a negative vote on the corresponding link. This approach has mainly two desirable features (1) mitigating the effect of personal preferences on voting, (2) connection of new items to endorsing and disputing evidence. This approach helps the newsreaders to understand different aspects of a news item better. We also introduce an incentive layer that uses blockchain as a distributed transparent manager to encourages users to behave honestly and abstain from adversary behaviors. The incentive layer takes into account that users can have different viewpoints toward news, enabling users from a wide range of viewpoints to contribute to the network and benefit from its rewards. In addition, we introduce a protocol that enables us to prove fraud in computations of the incentive layer model on the blockchain. Ultimately, we will analyze the fraud proof protocol and examine our incentive layer on a wide range of synthesized datasets.


Active Learning for Deep Detection Neural Networks. The cost of drawing object bounding boxes (i.e. labeling) for millions of images is prohibitively high. For instance, labeling pedestrians in a regular urban image could take 35 seconds on average. Active learning aims to reduce the cost of labeling by selecting only those images that are informative to improve the detection network accuracy. In this paper, we propose a method to perform active learning of object detectors based on convolutional neural networks. We propose a new image level scoring process to rank unlabeled images for their automatic selection, which clearly outperforms classical scores. The proposed method can be applied to videos and sets of still images. In the former case, temporal selection rules can complement our scoring process. As a relevant use case, we extensively study the performance of our method on the task of pedestrian detection. Overall, the experiments show that the proposed method performs better than random selection. Our codes are publicly available at www.gitlab.com haghdam deep active learning.


Predicting detection filters for small footprint open vocabulary keyword spotting. In this paper, we propose a fully neural approach to open vocabulary keyword spotting, that allows the users to include a customizable voice interface to their device and that does not require task specific data. We present a keyword detection neural network weighing less than 250KB, in which the topmost layer performing keyword detection is predicted by an auxiliary network, that may be run offline to generate a detector for any keyword. We show that the proposed model outperforms acoustic keyword spotting baselines by a large margin on two tasks of detecting keywords in utterances and three tasks of detecting isolated speech commands. We also propose a method to fine tune the model when specific training data is available for some keywords, which yields a performance similar to a standard speech command neural network while keeping the ability of the model to be applied to new keywords.


Pseudo Hermiticity, Martingale Processes and Non Arbitrage Pricing. Financial models based on the Wick product, and White Noise formalism have previously been suggested in order to incorporate integrals with respect to fractional Brownian motion. It has also been pointed out that this leads naturally to a quantum mechanical interpretation of the financial market. In this article we pursue this idea further, and in particular show how the framework of quantum probability can be used to construct Martingales, without relying on Brownian integrals. We go on to suggest benefits of doing so, and avenues for future work.


Look, Read and Feel Benchmarking Ads Understanding with Multimodal Multitask Learning. Given the massive market of advertising and the sharply increasing online multimedia content (such as videos), it is now fashionable to promote advertisements (ads) together with the multimedia content. It is exhausted to find relevant ads to match the provided content manually, and hence, some automatic advertising techniques are developed. Since ads are usually hard to understand only according to its visual appearance due to the contained visual metaphor, some other modalities, such as the contained texts, should be exploited for understanding. To further improve user experience, it is necessary to understand both the topic and sentiment of the ads. This motivates us to develop a novel deep multimodal multitask framework to integrate multiple modalities to achieve effective topic and sentiment prediction simultaneously for ads understanding. In particular, our model first extracts multimodal information from ads and learn high level and comparable representations. The visual metaphor of the ad is decoded in an unsupervised manner. The obtained representations are then fed into the proposed hierarchical multimodal attention modules to learn task specific representations for final prediction. A multitask loss function is also designed to train both the topic and sentiment prediction models jointly in an end to end manner. We conduct extensive experiments on the latest and large advertisement dataset and achieve state of the art performance for both prediction tasks. The obtained results could be utilized as a benchmark for ads understanding.


The convergence rate from discrete to continuous optimal investment stopping problem. We study the optimal investment stopping problem in both continuous and discrete case, where the investor needs to choose the optimal trading strategy and optimal stopping time concurrently to maximize the expected utility of terminal wealth. Based on the work 9 with an additional stochastic payoff function, we characterize the value function for the continuous problem via the theory of quadratic reflected backward stochastic differential equation (BSDE for short) with unbounded terminal condition. In regard to discrete problem, we get the discretization form composed of piecewise quadratic BSDEs recursively under Markovian framework and the assumption of bounded obstacle, and provide some useful prior estimates about the solutions with the help of auxiliary forward backward SDE system and Malliavin calculus. Finally, we obtain the uniform convergence and relevant rate from discretely to continuously quadratic reflected BSDE, which arise from corresponding optimal investment stopping problem through above characterization.


Hydrated Excess Protons in Acetonitrile Water Mixtures Solvation Species and Ultrafast Proton Motions. The solvation structure of protons in aqueous media is highly relevant to electric properties and to proton transport in liquids and membranes. At ambient temperature, polar liquids display structural fluctuations on femto to picosecond time scales with a direct impact on proton solvation. We apply two dimensional infrared (2D IR) spectroscopy for following proton dynamics in acetonitrile water mixtures with the Zundel cation H 5 O 2 prepared in neat acetonitrile as a benchmark. The 2D IR spectra of the proton transfer mode of H 5 O 2 demonstrate stochastic large amplitude motions in the double minimum proton potential, driven by fluctuating electric fields. In all cases the excess proton is embedded in a water dimer, forming an H 5 O 2 complex as major solvation species. This observation is rationalized by quantum mechanics molecular mechanics molecular dynamics simulations including up to 4 water molecules embedded in acetonitrile. The Zundel motif interacts with its closest water neighbor in an H 7 O 3 unit without persistent proton localization.


Occlusion Guided Scene Flow Estimation on 3D Point Clouds. 3D scene flow estimation is a vital tool in perceiving our environment given depth or range sensors. Unlike optical flow, the data is usually sparse and in most cases partially occluded in between two temporal samplings. Here we propose a new scene flow architecture called OGSF Net which tightly couples the learning for both flow and occlusions between frames. Their coupled symbiosis results in a more accurate prediction of flow in space. Unlike a traditional multi action network, our unified approach is fused throughout the network, boosting performances for both occlusion detection and flow estimation. Our architecture is the first to gauge the occlusion in 3D scene flow estimation on point clouds. In key datasets such as Flyingthings3D and KITTI, we achieve the state of the art results.


P canonical forms and complete inverses. This paper describes a new kind of inverse for elements in associative ring, that is the complete inverse, as the unique solution of a certain set of equations. This inverse exists for an element a if and only if the Drazin inverse of a exists. We also show that by plugging in k for k in the mathcal P canonical form of a square matrix A , we get the mathcal P canonical form of the complete inverse of A .


Estimation of Trocar and Tool Interaction Forces on the da Vinci Research Kit with Two Step Deep Learning. Measurement of environment interaction forces during robotic minimally invasive surgery would enable haptic feedback to the surgeon, thereby solving one long standing limitation. Estimating this force from existing sensor data avoids the challenge of retrofitting systems with force sensors, but is difficult due to mechanical effects such as friction and compliance in the robot mechanism. We have previously shown that neural networks can be trained to estimate the internal robot joint torques, thereby enabling estimation of external forces. In this work, we extend the method to estimate external Cartesian forces and torques, and also present a two step approach to adapt to the specific surgical setup by compensating for forces due to the interactions between the instrument shaft and cannula seal and between the trocar and patient body. Experiments show that this approach provides estimates of external forces and torques within a mean root mean square error (RMSE) of 2 N and 0.08 Nm, respectively. Furthermore, the two step approach can add as little as 5 minutes to the surgery setup time, with about 4 minutes to collect intraoperative training data and 1 minute to train the second step network.


A note on the extremal noncentral sections of the cross polytope. We find minimal and maximal length of intersections of lines at a fixed distance to the origin with the cross polytope. We also find maximal volume noncentral sections of the cross polypote by hyperplanes which are at a fixed large distance to the origin and minimal volume sections by symmetric slabs of a large fixed width. This parallels recent results about noncentral sections of the cube due to Moody, Stone, Zach and Zvavitch.


Inference of Tampered Smart Meters with Validations from Feeder Level Power Injections. Tampering of metering infrastructure of an electrical distribution system can significantly cause customers' billing discrepancy. The large scale deployment of smart meters may potentially be tampered by malware by propagating their agents to other IP based meters. Such a possibility is to pivot through the physical perimeters of a smart meter. While this framework may help utilities to accurately energy consumption information on the regular basis, it is challenging to identify malicious meters when there is a large number of users that are exploited to vulnerability and kWh information being altered. This paper presents a reconfiguration switching scheme based on graph theory incorporating the concept of distributed generators to accelerate the anomaly localization process within an electrical distribution network. First, a data form transformation from a visualized grid topology to a graph with vertices and edges is presented. A conversion from the graph representation to machine recognized matrix representation is then performed. The connection of the grid topology is illustrated as an adjacency or incidence matrix for the following analysis. A switching procedure to change elements in the topological matrix is used to detect and localize the tampered node or cluster. The procedure has to meet the electrical and the temporary closed loop operational constraints. The customer level anomaly detection is then performed in accordance with probability derived from smart meter anomalies.


Optical needles with arbitrary homogeneous three dimensional polarization. We propose a new method to generate optical needles by focusing vector beams comprised of radially polarized component and azimuthally polarized vortex components. The radial part can generate longitudinal polarization, while the azimuthal parts can generate left and right handed polarization. Hence, an arbitrary 3D polarization can be obtained. To our knoeledge, it may be the first time that arbitrarily polarized optical needles whose transverse sizes are under 0.5 lambda have been achieved. And their polarized homogeneity is beyond 0.97.


Target Set in Threshold Models. Consider a graph G and an initial coloring, where each node is blue or red. In each round, all nodes simultaneously update their color based on a predefined rule. In a threshold model, a node becomes blue if a certain number or fraction of its neighbors are blue and red otherwise. What is the minimum number of nodes which must be blue initially so that the whole graph becomes blue eventually? We study this question for graphs which have expansion properties, parameterized by spectral gap, in particular the Erd H o s R ' e nyi random graph and random regular graphs.


Sequential Model Optimization for Software Process Control. Many methods have been proposed to estimate how much effort is required to build and maintain software. Much of that research assumes a classic'' waterfall based approach rather than contemporary projects (where the developing process may be more iterative than linear in nature). Also, much of that work tries to recommend a single method an approach that makes the dubious assumption that one method can handle the diversity of software project data. To address these drawbacks, we apply a configuration technique called ROME'' (Rapid Optimizing Methods for Estimation), which uses sequential model based optimization (SMO) to find what combination of effort estimation techniques works best for a particular data set. We test this method using data from 1161 classic waterfall projects and 120 contemporary projects (from Github). In terms of magnitude of relative error and standardized accuracy, we find that ROME achieves better performance than existing state of the art methods for both classic and contemporary problems. In addition, we conclude that we should not recommend one method for estimation. Rather, it is better to search through a wide range of different methods to find what works best for local data. To the best of our knowledge, this is the largest effort estimation experiment yet attempted and the only one to test its methods on classic and contemporary projects.


Action Selection for MDPs Anytime AO vs. UCT. In the presence of non admissible heuristics, A and other best first algorithms can be converted into anytime optimal algorithms over OR graphs, by simply continuing the search after the first solution is found. The same trick, however, does not work for best first algorithms over AND OR graphs, that must be able to expand leaf nodes of the explicit graph that are not necessarily part of the best partial solution. Anytime optimal variants of AO must thus address an exploration exploitation tradeoff they cannot just "exploit", they must keep exploring as well. In this work, we develop one such variant of AO and apply it to finite horizon MDPs. This Anytime AO algorithm eventually delivers an optimal policy while using non admissible random heuristics that can be sampled, as when the heuristic is the cost of a base policy that can be sampled with rollouts. We then test Anytime AO for action selection over large infinite horizon MDPs that cannot be solved with existing off line heuristic search and dynamic programming algorithms, and compare it with UCT.


Trisection diagrams and twists of 4 manifolds. A theorem of Katanaga, Saeki, Teragaito, and Yamada relates Gluck and Price twists of 4 manifolds. Using trisection diagrams, we give a purely diagrammatic proof of this theorem, and answer a question of Kim and Miller.


Weak solutions to the time fractional g Navier Stokes equations and optimal control. In this paper we introduce the g Navier Stokes equations with time fractional derivative of order alpha in(0,1) in domains of mathbb R 2 . We then study the existence and uniqueness of weak solutions by means of Galerkin approximation. Finally, an optimal control problem is considered and solved.


Nonlinear rotational spectroscopy reveals many body interactions in water molecules. Because of their central importance in chemistry and biology, water molecules have been the subject of decades of intense spectroscopic investigations. Rotational spectroscopy of water vapor has yielded detailed information about the structure and dynamics of isolated water molecules as well as water dimers and clusters. Nonlinear rotational spectroscopy in the terahertz regime has been developed recently to investigate the rotational dynamics of linear and symmetric top molecules whose rotational energy levels are regularly spaced, but it has not previously been applied to water or other lower symmetry molecules with irregularly spaced levels. We report the use of recently developed two dimensional terahertz rotational spectroscopy to observe high order rotational coherences and correlations between rotational transitions that could not be observed previously. The results include two quantum (2Q) peaks at frequencies that are shifted slightly from the sums of distinct rotational transitions on two molecules, which directly reveal the presence of previously unseen metastable water complexes with lifetimes of 100 ps or longer. Several such peaks observed at distinct 2Q frequencies indicate that the complexes have multiple preferred bimolecular geometries. Our results demonstrate sensitivity of rotational correlations measured in 2D THz spectroscopy to molecular interactions and complexation in the gas phase.


Maximizing BCI Human Feedback using Active Learning. Recent advancements in textit Learning from Human Feedback present an effective way to train robot agents via inputs from non expert humans, without a need for a specially designed reward function. However, this approach needs a human to be present and attentive during robot learning to provide evaluative feedback. In addition, the amount of feedback needed grows with the level of task difficulty and the quality of human feedback might decrease over time because of fatigue. To overcome these limitations and enable learning more robot tasks with higher complexities, there is a need to maximize the quality of expensive feedback received and reduce the amount of human cognitive involvement required. In this work, we present an approach that uses active learning to smartly choose queries for the human supervisor based on the uncertainty of the robot and effectively reduces the amount of feedback needed to learn a given task. We also use a novel multiple buffer system to improve robustness to feedback noise and guard against catastrophic forgetting as the robot learning evolves. This makes it possible to learn tasks with more complexity using lesser amounts of human feedback compared to previous methods. We demonstrate the utility of our proposed method on a robot arm reaching task where the robot learns to reach a location in 3D without colliding with obstacles. Our approach is able to learn this task faster, with less human feedback and cognitive involvement, compared to previous methods that do not use active learning.


Unconditional local well posedness for periodic NLS. The nonlinear Schr "odinger equations with nonlinearities u 2k u on the d dimensional torus are considered for arbitrary positive integers k and d . The solution of the Cauchy problem is shown to be unique in the class C tH s x for a certain range of scale subcritical regularities s , which is almost optimal in the case d geq 4 or k geq 2 . The proof is based on various multilinear estimates and the infinite normal form reduction argument.


GISNet Graph Based Information Sharing Network For Vehicle Trajectory Prediction. The trajectory prediction is a critical and challenging problem in the design of an autonomous driving system. Many AI oriented companies, such as Google Waymo, Uber and DiDi, are investigating more accurate vehicle trajectory prediction algorithms. However, the prediction performance is governed by lots of entangled factors, such as the stochastic behaviors of surrounding vehicles, historical information of self trajectory, and relative positions of neighbors, etc. In this paper, we propose a novel graph based information sharing network (GISNet) that allows the information sharing between the target vehicle and its surrounding vehicles. Meanwhile, the model encodes the historical trajectory information of all the vehicles in the scene. Experiments are carried out on the public NGSIM US 101 and I 80 Dataset and the prediction performance is measured by the Root Mean Square Error (RMSE). The quantitative and qualitative experimental results show that our model significantly improves the trajectory prediction accuracy, by up to 50.00 , compared to existing models.


"To Target or Not to Target" Identification and Analysis of Abusive Text Using Ensemble of Classifiers. With rising concern around abusive and hateful behavior on social media platforms, we present an ensemble learning method to identify and analyze the linguistic properties of such content. Our stacked ensemble comprises of three machine learning models that capture different aspects of language and provide diverse and coherent insights about inappropriate language. The proposed approach provides comparable results to the existing state of the art on the Twitter Abusive Behavior dataset (Founta et al. 2018) without using any user or network related information solely relying on textual properties. We believe that the presented insights and discussion of shortcomings of current approaches will highlight potential directions for future research.


OpenUAV Cloud Testbed a Collaborative Design Studio for Field Robotics. Simulations play a crucial role in robotics research and education. This paper presents the OpenUAV testbed, an open source, easy to use, web based, and reproducible software system that enables students and researchers to run robotic simulations on the cloud. We have built upon our previous work and have addressed some of the educational and research challenges associated with the prior work. The critical contributions of the paper to the robotics and automation community are threefold First, OpenUAV saves students and researchers from tedious and complicated software setups by providing web browser based Linux desktop sessions with standard robotics software like Gazebo, ROS, and flight autonomy stack. Second, a method for saving an individual's research work with its dependencies for the work's future reproducibility. Third, the platform provides a mechanism to support photorealistic robotics simulations by combining Unity game engine based camera rendering and Gazebo physics. The paper addresses a research need for photorealistic simulations and describes a methodology for creating a photorealistic aquatic simulation. We also present the various academic and research use cases of this platform to improve robotics education and research, especially during times like the COVID 19 pandemic, when virtual collaboration is necessary.


APE at Scale and its Implications on MT Evaluation Biases. In this work, we train an Automatic Post Editing (APE) model and use it to reveal biases in standard Machine Translation (MT) evaluation procedures. The goal of our APE model is to correct typical errors introduced by the translation process, and convert the "translationese" output into natural text. Our APE model is trained entirely on monolingual data that has been round trip translated through English, to mimic errors that are similar to the ones introduced by NMT. We apply our model to the output of existing NMT systems, and demonstrate that, while the human judged quality improves in all cases, BLEU scores drop with forward translated test sets. We verify these results for the WMT18 English to German, WMT15 English to French, and WMT16 English to Romanian tasks. Furthermore, we selectively apply our APE model on the output of the top submissions of the most recent WMT evaluation campaigns. We see quality improvements on all tasks of up to 2.5 BLEU points.


Improved convergence analysis of Lasserre's measure based upper bounds for polynomial minimization on compact sets. We consider the problem of computing the minimum value f min,K of a polynomial f over a compact set K subseteq mathbb R n , which can be reformulated as finding a probability measure nu on K minimizing int K f d nu . Lasserre showed that it suffices to consider such measures of the form nu q mu , where q is a sum of squares polynomial and mu is a given Borel measure supported on K . By bounding the degree of q by 2r one gets a converging hierarchy of upper bounds f (r) for f min,K . When K is the hypercube 1, 1 n , equipped with the Chebyshev measure, the parameters f (r) are known to converge to f min,K at a rate in O(1 r 2) . We extend this error estimate to a wider class of convex bodies, while also allowing for a broader class of reference measures, including the Lebesgue measure. Our analysis applies to simplices, balls and convex bodies that locally look like a ball. In addition, we show an error estimate in O( log r r) when K satisfies a minor geometrical condition, and in O( log 2 r r 2) when K is a convex body, equipped with the Lebesgue measure. This improves upon the currently best known error estimates in O(1 sqrt r ) and O(1 r) for these two respective cases.


Electric charge estimation using a SensL SiPM. The silicon photo multipliers (SiPMs) are commonly used in the construction of radiation detectors such as those used in high energy experiments and its applications, where an excellent time resolution is required for triggering. In most of this cases, the trigger systems electric charge information is discarded due to limitations in data acquisition. In this work we propose a method using a simple radiation detector based on an organic plastic scintillator 2 times2 times0.3 cm 3 size, to estimate the electric charge obtained from the acquisition of the fast output signal of a SensL SiPM model C 60035 4P EVB. Our results suggest a linear relation between the reconstructed electric charge from the fast output of the SiPM used with respect to the one reconstructed with its standard signal output. Using our electric charge reconstruction method, we compared the sensitivity of two plastic scintillators, BC404 and BC422Q, under the presence of Sr90, Cs137, Co60, and Na22 radiation sources.


On the factorization of linear combinations of polynomials. In this paper we consider linear combinations of two trivariate homogeneous polynomials of second degree. We formulate and solve two problems i) Characterization of polynomials for which all linear combinations are factorizable. ii) How many linear factorizable combinations are required for all linear combinations to be factorizable. Next, the solutions of analog problems for bivariate polynomials of second degree are derived.


Light Programmable Micro Nanomotors with Optically Tunable In Phase Electric Polarization. To develop active nanomaterials that can instantly respond to external stimuli with designed mechanical motions is an important step towards the realization of nanomachines and nanorobots. Herein, we present our finding of a versatile working mechanism that allows instantaneous change of alignment direction and speed of semiconductor nanowires in an external electric field with simple visible light exposure. The light induced alignment switch can be cycled over hundreds of times and programmed to express words in Morse code. With theoretical analysis and numerical simulation, the working principle can be attributed to the optically tuned real part (in phase) electrical polarization of a semiconductor nanowire in an aqueous suspension. The manipulation principle is exploited to create a new type of microscale stepper motor that can readily switch between in phase and out phase modes, and agilely operate independent of neighboring motors with patterned light. This work could inspire the development of a new type of micro nanomachines with individual and reconfigurable maneuverability for many applications.