Neural Point Cloud Rendering via Multi Plane Projection. We present a new deep point cloud rendering pipeline through multi plane projections. The input to the network is the raw point cloud of a scene and the output are image or image sequences from a novel view or along a novel camera trajectory. Unlike previous approaches that directly project features from 3D points onto 2D image domain, we propose to project these features into a layered volume of camera frustum. In this way, the visibility of 3D points can be automatically learnt by the network, such that ghosting effects due to false visibility check as well as occlusions caused by noise interferences are both avoided successfully. Next, the 3D feature volume is fed into a 3D CNN to produce multiple layers of images w.r.t. the space division in the depth directions. The layered images are then blended based on learned weights to produce the final rendering results. Experiments show that our network produces more stable renderings compared to previous methods, especially near the object boundaries. Moreover, our pipeline is robust to noisy and relatively sparse point cloud for a variety of challenging scenes.


Barometers Can Hear, and Sense Finger Taps. Most modern smartphones are equipped with a barometer to sample air pressure. Accessing these samples is deemed harmless, hence does not require any permission. In this work, we show, however, that these samples can reveal sensitive information in smartphones with ingress protection. For the first time, it is shown that barometer samples, even at a low rate of 25 Hz, can leak information about the smartphone's speaker activity. Specifically, we use these samples to detect with high accuracy ( 95 ) whether the smartphone's speaker is silent or playing a sound such as a ringtone. In addition, we use the samples to detect the activity of an external speaker. Finally, we show that low rate barometer samples can be used to 1) detect touchscreen finger taps with 100 accuracy, and 2) gain information about the positions of finger taps.


An Optimal Solution for the Muffin Problem. The muffin problem asks us to divide m muffins into pieces and assign each of those pieces to one of s students so that the sizes of the pieces assigned to each student total m s , with the objective being to maximize the size of the smallest piece in the solution. Muffin problems are a special type of variant of extended bottleneck transportation problem in which the transportation time is simply the quantity transported between any source and sink and the objective is to maximize the minimum transportation time. Of particular interest are Three Matrix Division and Assignment Problems (3M DAP), for which all sources have the same supply and sinks are divided into two subsets having the same demand within each subset. Muffin problems are 3M DAP in which all sinks have the same demand. We present a recursive algorithm for solving any 3M DAP, and hence any muffin problem, and demonstrate that it always produces an optimal solution. The nature of the recursive algorithm allows us to identify interesting relationships between families of such problems.


About one inverse problem for the Sturm Liouville operator. We consider the spectral problems for the Sturm Liouville operator generated by the Dirichlet, Neumann, Dirichlet Neumann and Neumann Dirichlet conditions. The necessary and sufficient condition for the coincidence of the spectrum of the Dirichlet Neumann and Neumann Dirichlet problems is proved. Also the necessary and sufficient condition for the coincidence of the spectrum, except zero, of the Dirichlet and Neumann problems is proved. An application to periodic and anti periodic problems is given.


It is high time we let go of the Mersenne Twister. When the Mersenne Twister made his first appearance in 1997 it was a powerful example of how linear maps on mathbf F 2 could be used to generate pseudorandom numbers. In particular, the easiness with which generators with long periods could be defined gave the Mersenne Twister a large following, in spite of the fact that such long periods are not a measure of quality, and they require a large amount of memory. Even at the time of its publication, several defects of the Mersenne Twister were predictable, but they were somewhat obscured by other interesting properties. Today the Mersenne Twister is the default generator in C compilers, the Python language, the Maple mathematical computation system, and in many other environments. Nonetheless, knowledge accumulated in the last 20 years suggests that the Mersenne Twister has, in fact, severe defects, and should never be used as a general purpose pseudorandom number generator. Many of these results are folklore, or are scattered through very specialized literature. This paper surveys these results for the non specialist, providing new, simple, understandable examples, and it is intended as a guide for the final user, or for language implementors, so that they can take an informed decision about whether to use the Mersenne Twister or not.


Achievable multiplicity partitions in the inverse eigenvalue problem of a graph. Associated to a graph G is a set mathcal S (G) of all real valued symmetric matrices whose off diagonal entries are nonzero precisely when the corresponding vertices of the graph are adjacent, and the diagonal entries are free to be chosen. If G has n vertices, then the multiplicities of the eigenvalues of any matrix in mathcal S (G) partition n this is called a multiplicity partition. We study graphs for which a multiplicity partition with only two integers is possible. The graphs G for which there is a matrix in mathcal S (G) with partitions n 2,2 have been characterized. We find families of graphs G for which there is a matrix in mathcal S (G) with multiplicity partition n k,k for k geq 2 . We focus on generalizations of the complete multipartite graphs. We provide some methods to construct families of graphs with given multiplicity partitions starting from smaller such graphs. We also give constructions for graphs with matrix in mathcal S (G) with multiplicity partition n k,k to show the complexities of characterizing these graphs.


Blockchain based System Evaluation The Effectiveness of Blockchain on E Procurements. Electronic systems tend to simplify the tedious traditional scheme and basically focuses on the platform design and process organization. The integrity of the output of an automated system is not left behind but the possibility of internal manipulation is still high. This paper presents the current issues in company procurements and the solution in the form of blockchain technology. Several individuals and professionals were asked to evaluate a blockchain based procurement system in comparison to the current electronic (e procurement) system. A blockchain based system has the capability to hold transactional data with complete decentralization and eliminate the growing number of fraud cases in companies and organizations. This paper mainly focuses on the effectiveness of a blockchain based system in company procurements.


Energy Optimal Motion Planning for Agents Barycentric Motion and Collision Avoidance Constraints. As robotic swarm systems emerge, it is increasingly important to provide strong guarantees on energy consumption and safety to maximize system performance. One approach to achieve these guarantees is through constraint driven control, where agents seek to minimize energy consumption subject to a set of safety and task constraints. In this paper, we provide a sufficient and necessary condition for an energy minimizing agent with integrator dynamics to have a continuous control input at the transition between unconstrained and constrained trajectories. In addition, we present and analyze barycentric motion and collision avoidance constraints to be used in constraint driven control of swarms.


Policy Optimization for Linear Quadratic Zero Sum Mean Field Type Games. In this paper, zero sum mean field type games (ZSMFTG) with linear dynamics and quadratic utility are studied under infinite horizon discounted utility function. ZSMFTG are a class of games in which two decision makers whose utilities sum to zero, compete to influence a large population of agents. In particular, the case in which the transition and utility functions depend on the state, the action of the controllers, and the mean of the state and the actions, is investigated. The game is analyzed and explicit expressions for the Nash equilibrium strategies are derived. Moreover, two policy optimization methods that rely on policy gradient are proposed for both model based and sample based frameworks. In the first case, the gradients are computed exactly using the model whereas they are estimated using Monte Carlo simulations in the second case. Numerical experiments show the convergence of the two players' controls as well as the utility function when the two algorithms are used in different scenarios.


On Suffridge polynomials. We consider some known and some new properties of the family of polynomials introduced by Ted Suffridge in 1969. We begin by giving a brief overview of their extremal properties in classic and more recent work. We also give a compact form for Suffridge polynomials which matches a general pattern discovered by Brandt. Our approach allows us to find the coefficients which Brandt's result was not giving explicitly. This new presentation provides us the tools to obtain an estimate of the rate of approximation of the generalized Koebe functions by univalent polynomials. Furthermore, we consider the presentation of Suffridge polynomials in Robertson's form and find the suiting Robertson measure. This suggests a new way to approximate step functions by continuous monotonic ones. We then study the lack of robustness of the univalency of these polynomials and suggest a new family of polynomials for which we conjecture the univalency of a subclass. Namely, we prove the quite surprising fact that by extending the family by letting the discrete argument in the polynomial coefficients become continuous one does not increase the set of univalent polynomials. Only the initial polynomials remain univalent. In this new one parameter family generalizing the Suffridge polynomials, it is remarkable that the Suffridge polynomials are already extremal as they correspond to the choice of the parameter set to 1 moreover the complex Fej 'er polynomials correspond the choice of the parameter set to 0, and the choice of the parameter set to 1 corresponds the polynomials z (z N N) . Remarkably, computer simulations seem to clearly indicate that the image of the unit disc under these new polynomial mapping is a simply connected region bounded by a simple curve. This justifies the conjectural univalency of these polynomials for the whole range of the parameters.


Domain Liftability of Relational Marginal Polytopes. We study computational aspects of relational marginal polytopes which are statistical relational learning counterparts of marginal polytopes, well known from probabilistic graphical models. Here, given some first order logic formula, we can define its relational marginal statistic to be the fraction of groundings that make this formula true in a given possible world. For a list of first order logic formulas, the relational marginal polytope is the set of all points that correspond to the expected values of the relational marginal statistics that are realizable. In this paper, we study the following two problems (i) Do domain liftability results for the partition functions of Markov logic networks (MLNs) carry over to the problem of relational marginal polytope construction? (ii) Is the relational marginal polytope containment problem hard under some plausible complexity theoretic assumptions? Our positive results have consequences for lifted weight learning of MLNs. In particular, we show that weight learning of MLNs is domain liftable whenever the computation of the partition function of the respective MLNs is domain liftable (this result has not been rigorously proven before).


Phase Analysis for a family of Stochastic Reaction Diffusion Equations. We consider a reaction diffusion equation of the type partial t psi partial 2 x psi V( psi) lambda sigma( psi) dot W qquad text on (0 ,, infty) times mathbb T , subject to a "nice" initial value and periodic boundary, where mathbb T 1 ,,1 and dot W denotes space time white noise. The reaction term V mathbb R to mathbb R belongs to a large family of functions that includes Fisher KPP nonlinearities V(x) x(1 x) as well as Allen Cahn potentials V(x) x(1 x)(1 x) , the multiplicative nonlinearity sigma mathbb R to mathbb R is non random and Lipschitz continuous, and lambda 0 is a non random number that measures the strength of the effect of the noise dot W . The principal finding of this paper is that (i) When lambda is sufficiently large, the above equation has a unique invariant measure and (ii) When lambda is sufficiently small, the collection of all invariant measures is a non trivial line segment, in particular infinite. This proves an earlier prediction of Zimmerman et al. (2000). Our methods also say a great deal about the structure of these invariant measures.


VecQ Minimal Loss DNN Model Compression With Vectorized Weight Quantization. Quantization has been proven to be an effective method for reducing the computing and or storage cost of DNNs. However, the trade off between the quantization bitwidth and final accuracy is complex and non convex, which makes it difficult to be optimized directly. Minimizing direct quantization loss (DQL) of the coefficient data is an effective local optimization method, but previous works often neglect the accurate control of the DQL, resulting in a higher loss of the final DNN model accuracy. In this paper, we propose a novel metric called Vector Loss. Based on this new metric, we develop a new quantization solution called VecQ, which can guarantee minimal direct quantization loss and better model accuracy. In addition, in order to speed up the proposed quantization process during model training, we accelerate the quantization process with a parameterized probability estimation method and template based derivation calculation. We evaluate our proposed algorithm on MNIST, CIFAR, ImageNet, IMDB movie review and THUCNews text data sets with numerical DNN models. The results demonstrate that our proposed quantization solution is more accurate and effective than the state of the art approaches yet with more flexible bitwidth support. Moreover, the evaluation of our quantized models on Saliency Object Detection (SOD) tasks maintains comparable feature extraction quality with up to 16 times weight size reduction.


Tropical Abelian varieties, Weil classes and the Hodge Conjecture. We describe in some details an idea of M. Kontsevich how one can try to find a counterexample to the Hodge conjecture using tropical geometry.


CUNI System for the WMT19 Robustness Task. We present our submission to the WMT19 Robustness Task. Our baseline system is the Charles University (CUNI) Transformer system trained for the WMT18 shared task on News Translation. Quantitative results show that the CUNI Transformer system is already far more robust to noisy input than the LSTM based baseline provided by the task organizers. We further improved the performance of our model by fine tuning on the in domain noisy data without influencing the translation quality on the news domain.


A mismatch between self efficacy and performance Undergraduate women in engineering tend to have lower self efficacy despite earning higher grades than men. There is a significant underrepresentation of women in many Science, Technology, Engineering, and Mathematics (STEM) majors and careers. Prior research has shown that self efficacy can be a critical factor in student learning, and that there is a tendency for women to have lower self efficacy than men in STEM disciplines. This study investigates gender differences in the relationship between engineering students' self efficacy and course grades in foundational courses. By focusing on engineering students, we examined these gender differences simultaneously in four STEM disciplines (mathematics, engineering, physics, and chemistry) among the same population. Using survey data collected longitudinally at three time points and course grade data from five cohorts of engineering students at a large US based research university, effect sizes of gender differences are calculated using Cohen's d on two measures responses to survey items on discipline specific self efficacy and course grades in all first year foundational courses and second year mathematics courses. In engineering, physics, and mathematics courses, we find sizeable discrepancies between self efficacy and performance, with men appearing significantly more confident than women despite small or reverse direction differences in grades. In chemistry, women earn higher grades and have higher self efficacy. The patterns are consistent across courses within each discipline. All self efficacy gender differences close by the fourth year except physics self efficacy. The disconnect between self efficacy and course grades across subjects provides useful clues for targeted interventions to promote equitable learning environments. The most extreme disconnect occurs in physics and may help explain the severe underrepresentation of women in "physics heavy" engineering disciplines, highlighting the importance of such interventions.


On the connectivity of the disjointness graph of segments of point sets in general position in the plane. Let P be a set of n geq 3 points in general position in the plane. The edge disjointness graph D(P) of P is the graph whose vertices are all the closed straight line segments with endpoints in P , two of which are adjacent in D(P) if and only if they are disjoint. We show that the connectivity of D(P) is at least binom lfloor frac n 2 2 rfloor 2 binom lceil frac n 2 2 rceil 2 , and that this bound is tight for each n geq 3 .


On the images of certain G 2 valued automorphic Galois representations. In this paper we study the images of certain families rho pi, ell ell of G 2 valued Galois representations of mbox Gal ( overline F F) associated to L algebraic regular, self dual, cuspidal automorphic representations pi of mbox GL 7( mathbb A F) , where F is a totally real field. In particular, we prove that, under certain automorphic conditions, the images of the residual representations overline rho pi, ell are as large as possible for infinitely many primes ell . Moreover, we apply our result to some examples constructed by Chenevier, Renard and Ta "ibi.


Hibikino Musashi Home 2020 Team Description Paper. Our team, Hibikino Musashi Home (HMA), was founded in 2010. It is based in Japan in the Kitakyushu Science and Research Park. Since 2010, we have annually participated in the RoboCup Home Japan Open competition in the open platform league (OPL). We participated as an open platform league team in the 2017 Nagoya RoboCup competition and as a domestic standard platform league (DSPL) team in the 2017 Nagoya, 2018 Montreal, and 2019 Sydney RoboCup competitions. We also participated in the World Robot Challenge (WRC) 2018 in the service robotics category of the partner robot challenge (real space) and won first place. Currently, we have 20 members from eight different laboratories within the Kyushu Institute of Technology. In this paper, we introduce the activities that have been performed by our team and the technologies that we use.


Pedestrian re identification based on Tree branch network with local and global learning. Deep part based methods in recent literature have revealed the great potential of learning local part level representation for pedestrian image in the task of person re identification. However, global features that capture discriminative holistic information of human body are usually ignored or not well exploited. This motivates us to investigate joint learning global and local features from pedestrian images. Specifically, in this work, we propose a novel framework termed tree branch network (TBN) for person re identification. Given a pedestrain image, the feature maps generated by the backbone CNN, are partitioned recursively into several pieces, each of which is followed by a bottleneck structure that learns finer grained features for each level in the hierarchical tree like framework. In this way, representations are learned in a coarse to fine manner and finally assembled to produce more discriminative image descriptions. Experimental results demonstrate the effectiveness of the global and local feature learning method in the proposed TBN framework. We also show significant improvement in performance over state of the art methods on three public benchmarks Market 1501, CUHK 03 and DukeMTMC.


An Improved Approach of Intention Discovery with Machine Learning for POMDP based Dialogue Management. An Embodied Conversational Agent (ECA) is an intelligent agent that works as the front end of software applications to interact with users through verbal nonverbal expressions and to provide online assistance without the limits of time, location, and language. To help to improve the experience of human computer interaction, there is an increasing need to empower ECA with not only the realistic look of its human counterparts but also a higher level of intelligence. This thesis first highlights the main topics related to the construction of ECA, including different approaches of dialogue management, and then discusses existing techniques of trend analysis for its application in user classification. As a further refinement and enhancement to prior work on ECA, this thesis research proposes a cohesive framework to integrate emotion based facial animation with improved intention discovery. In addition, a machine learning technique is introduced to support sentiment analysis for the adjustment of policy design in POMDP based dialogue management. The proposed research work is going to improve the accuracy of intention discovery while reducing the length of dialogues.


Multiphase Flows Rich Physics, Challenging Theory, and Big Simulations. Understanding multiphase flows is vital to addressing some of our most pressing human needs clean air, clean water and the sustainable production of food and energy. This article focuses on a subset of multiphase flows called particle laden suspensions involving non deforming particles in a carrier fluid. The hydrodynamic interactions in these flows result in rich multiscale physics, such as clustering and pseudo turbulence, with important practical implications. Theoretical formulations to represent, explain and predict these phenomena encounter peculiar challenges that multiphase flows pose for classical statistical mechanics. A critical analysis of existing approaches leads to the identification of key desirable characteristics that a formulation must possess in order to be successful at representing these physical phenomena. The need to build accurate closure models for unclosed terms that arise in statistical theories has motivated the development of particle resolved direct numerical simulations (PR DNS) for model free simulation at the microscale. A critical perspective on outstanding questions and potential limitations of PR DNS for model development is provided. Selected highlights of recent progress using PR DNS to discover new multiphase flow physics and develop models are reviewed. Alternative theoretical formulations and extensions to current formulations are outlined as promising future research directions. The article concludes with a summary perspective on the importance of integrating theoretical, modeling, computational, and experimental efforts at different scales. This article is based on an invited talk given at the 2019 Annual Meeting of the American Physical Society's Division of Fluid Dynamics in Seattle, WA.


CMOS compatible, piezo optomechanically tunable photonics for visible wavelengths and cryogenic temperatures. We demonstrate a platform for phase and amplitude modulation in silicon nitride photonic integrated circuits via piezo optomechanical coupling using tightly mechanically coupled aluminum nitride actuators. The platform, fabricated in a CMOS foundry, enables scalable active photonic integrated circuits for visible wavelengths, and the piezoelectric actuation functions without performance degradation down to cryogenic temperatures. As an example of the potential of the platform, we demonstrate a compact ( 40 mu m diameter) silicon nitride ring resonator modulator operating at 780 nm with intrinsic quality factors in excess of 1.5 million, 10 dB change in extinction ratio with 2 V applied, a switching time less than 4 ns, and a switching energy of 0.5 pJ bit. We characterize the exemplary device at room temperature and 7 K. At 7 K, the device obtains a resistance of approximately 20 Teraohms, allowing it to operate with sub picowatt electrical power dissipation. We further demonstrate a Mach Zehnder modulator constructed in the same platform with piezoelectrically tunable phase shifting arms, with 750 ns switching time constant and 20 nW steady state power dissipation at room temperature.


An Efficient Algorithm for Finding Sets of Optimal Routes. In several important routing contexts it is required to identify a set of routes, each of which optimizes a different criterion. For instance, in the context of vehicle routing, one route would minimize the total distance traveled, while other routes would also consider the total travel time or the total incurred cost, or combinations thereof. In general, providing such a set of diverse routes is obtained by finding optimal routes with respect to different sets of weights on the network edges. This can be simply achieved by consecutively executing a standard shortest path algorithm. However, in the case of a large number of weight sets, this may require an excessively large number of executions of such an algorithm, thus incurring a prohibitively large running time. We indicate that, quite often, the different edge weights reflect different combinations of some "raw" performance metrics (e.g., delay, cost). In such cases, there is an inherent dependency among the different weights of the same edge. This may well result in some similarity among the shortest routes, each of which being optimal with respect to a specific set of weights. In this study, we aim to exploit such similarity in order to improve the performance of the solution scheme. Specifically, we contemplate edge weights that are obtained through different linear combinations of some ( raw'') edge performance metrics. We establish and validate a novel algorithm that efficiently computes a shortest path for each set of edge weights. We demonstrate that, under reasonable assumptions, the algorithm significantly outperforms the standard approach. Similarly to the standard approach, the algorithm iteratively searches for routes, one per set of edge weights however, instead of executing each iteration independently, it reduces the average running time by skillfully sharing information among the iterations.


Optimistic Regret Minimization for Extensive Form Games via Dilated Distance Generating Functions. We study the performance of optimistic regret minimization algorithms for both minimizing regret in, and computing Nash equilibria of, zero sum extensive form games. In order to apply these algorithms to extensive form games, a distance generating function is needed. We study the use of the dilated entropy and dilated Euclidean distance functions. For the dilated Euclidean distance function we prove the first explicit bounds on the strong convexity parameter for general treeplexes. Furthermore, we show that the use of dilated distance generating functions enable us to decompose the mirror descent algorithm, and its optimistic variant, into local mirror descent algorithms at each information set. This decomposition mirrors the structure of the counterfactual regret minimization framework, and enables important techniques in practice, such as distributed updates and pruning of cold parts of the game tree. Our algorithms provably converge at a rate of T 1 , which is superior to prior counterfactual regret minimization algorithms. We experimentally compare to the popular algorithm CFR , which has a theoretical convergence rate of T 0.5 in theory, but is known to often converge at a rate of T 1 , or better, in practice. We give an example matrix game where CFR experimentally converges at a relatively slow rate of T 0.74 , whereas our optimistic methods converge faster than T 1 . We go on to show that our fast rate also holds in the Kuhn poker game, which is an extensive form game. For games with deeper game trees however, we find that CFR is still faster. Finally we show that when the goal is minimizing regret, rather than computing a Nash equilibrium, our optimistic methods can outperform CFR , even in deep game trees.


Signs for Ethical AI A Route Towards Transparency. Artificial Intelligence (AI) has recently raised to the point where it has a direct impact on the daily life of billions of people. This is the result of its application to sectors like finance, health, digital entertainment, transportation, security and advertisement. Today, AI fuels some of the most significant economic and research institutions in the world, and the impact of AI in the near future seems difficult to predict or even bound. In contrast to all this power, society remains mostly ignorant of the capabilities, requirements and standard practices of AI today. Society is becoming aware of the dangers that come with that ignorance, and is rightfully asking for solutions. To address this need, improving on current practices of interaction between people and AI systems, we propose a transparency scheme to be implemented on any AI system open to the public. The scheme is based on two main pillars Data Privacy and AI Transparency. The first recognizes the relevance of data for AI and is supported by GDPR, the most important legislation on the topic. The second considers aspects of AI transparency yet to be regulated AI capacity, purpose and source. Lacking legislation to build upon, we design this pillar based on fundamental ethical principles. For each of the two pillars, we define a three level display. The first level is based on visual signs, inspired by traffic signs managing the interaction between people and cars, and designed for quick and universal interpretability. The second level uses a factsheet system, providing further detail while still abstracting the subject. The last level provides access to all available details. After detailing and exemplifying the proposed transparency scheme, we define a set of principles for creating transparent by design software, to be used during the integration of AI components on user oriented services.


Cache Subsidies for an Optimal Memory for Bandwidth Tradeoff in the Access Network. While the cost of the access network could be considerably reduced by the use of caching, this is not currently happening because content providers (CPs), who alone have the detailed demand data required for optimal content placement, have no natural incentive to use them to minimize access network operator (ANO) expenditure. We argue that ANOs should therefore provide such an incentive in the form of direct subsidies paid to the CPs in proportion to the realized savings. We apply coalition game theory to design the required subsidy framework and propose a distributed algorithm, based on Lagrangian decomposition, allowing ANOs and CPs to collectively realize the optimal memory for bandwidth tradeoff. The considered access network is a cache hierarchy with per CP central office caches, accessed by all ANOs, at the apex, and per ANO dedicated bandwidth and storage resources at the lower levels, including wireless base stations, that must be shared by multiple CPs.


A simple and effective hybrid genetic search for the job sequencing and tool switching problem. The job sequencing and tool switching problem (SSP) has been extensively studied in the field of operations research, due to its practical relevance and methodological interest. Given a machine that can load a limited amount of tools simultaneously and a number of jobs that require a subset of the available tools, the SSP seeks a job sequence that minimizes the number of tool switches in the machine. To solve this problem, we propose a simple and efficient hybrid genetic search based on a generic solution representation, a tailored decoding operator, efficient local searches and diversity management techniques. To guide the search, we introduce a secondary objective designed to break ties. These techniques allow to explore structurally different solutions and escape local optima. As shown in our computational experiments on classical benchmark instances, our algorithm significantly outperforms all previous approaches while remaining simple to apprehend and easy to implement. We finally report results on a new set of larger instances to stimulate future research and comparative analyses.


A Discontinuous Galerkin method for three dimensional elastic and poroelastic wave propagation forward and adjoint problems. We develop a numerical solver for three dimensional wave propagation in coupled poroelastic elastic media, based on a high order discontinuous Galerkin (DG) method, with the Biot poroelastic wave equation formulated as a first order conservative velocity strain hyperbolic system. To derive an upwind numerical flux, we find an exact solution to the Riemann problem, including the poroelastic elastic interface we also consider attenuation mechanisms both in Biot's low and high frequency regimes. Using either a low storage explicit or implicit explicit (IMEX) Runge Kutta scheme, according to the stiffness of the problem, we study the convergence properties of the proposed DG scheme and verify its numerical accuracy. In the Biot low frequency case, the wave can be highly dissipative for small permeabilities here, numerical errors associated with the dissipation terms appear to dominate those arising from discretisation of the main hyperbolic system. We then implement the adjoint method for this formulation of Biot's equation. In contrast with the usual second order formulation of the Biot equation, we are not dealing with a self adjoint system but, with an appropriate inner product, the adjoint may be identified with a non conservative velocity stress formulation of the Biot equation. We derive dual fluxes for the adjoint and present a simple but illuminating example of the application of the adjoint method.


Redistribution Mechanism on Networks. Redistribution mechanisms have been proposed for more efficient resource allocation but not for profit. We consider redistribution mechanism design in a setting where participants are connected and the resource owner is only connected to some of them. In this setting, to make the resource allocation more efficient, the resource owner has to inform the others who are not her neighbours, but her neighbours do not want more participants to compete with them. Hence, the goal is to design a redistribution mechanism such that participants are incentivized to invite more participants and the resource owner does not earn or lose much money from the allocation. We first show that existing redistribution mechanisms cannot be directly applied in the network setting and prove the impossibility to achieve efficiency without a deficit. Then we propose a novel network based redistribution mechanism such that all participants on the network are invited, the allocation is more efficient and the resource owner has no deficit.


Visualizable Detection of Nanoscale Perturbations. Using light to non destructively detect nanoscale perturbations is vital to many fields including material characterization, human disease diagnosis, and semiconductor electronics. In this work, we introduce the concepts of electromagnetic canyons and non resonance amplification and apply them on a conventional diffraction limited optical microscope to directly view individual perturbations (25 nm radius wavelength 31) in a nanoscale volume. Considering the extensive impact of microscopy on scientific discovery and technology development, our noninvasive imaging based method with deep subwavelength footprint will have far reaching consequences that will affect our everyday lives.


Bounding the k rainbow total domination number. Recently the notion of k rainbow total domination was introduced for a graph G , motivated by a desire to reduce the problem of computing the total domination number of the generalized prism G Box K k to an integer labeling problem on G . In this paper we further demonstrate usefulness of the labeling approach, presenting bounds on the rainbow total domination number in terms of the total domination number, the rainbow domination number and the rainbow total domination number, as well as the usual domination number, where the latter presents a generalization of a result by Goddard and Henning (2018). We establish Vizing like results for rainbow domination and rainbow total domination. By stating a Vizing like conjecture for rainbow total domination we present a different viewpoint on Vizing's original conjecture in the case of bipartite graphs.


GraphRQI Classifying Driver Behaviors Using Graph Spectrums. We present a novel algorithm (GraphRQI) to identify driver behaviors from road agent trajectories. Our approach assumes that the road agents exhibit a range of driving traits, such as aggressive or conservative driving. Moreover, these traits affect the trajectories of nearby road agents as well as the interactions between road agents. We represent these inter agent interactions using unweighted and undirected traffic graphs. Our algorithm classifies the driver behavior using a supervised learning algorithm by reducing the computation to the spectral analysis of the traffic graph. Moreover, we present a novel eigenvalue algorithm to compute the spectrum efficiently. We provide theoretical guarantees for the running time complexity of our eigenvalue algorithm and show that it is faster than previous methods by 2 times. We evaluate the classification accuracy of our approach on traffic videos and autonomous driving datasets corresponding to urban traffic. In practice, GraphRQI achieves an accuracy improvement of up to 25 over prior driver behavior classification algorithms. We also use our classification algorithm to predict the future trajectories of road agents.


Sets without k term progressions can have many shorter progressions. Let f s,k (n) be the maximum possible number of s term arithmetic progressions in a sequence a 1 a 2 ldots a n of n integers which contains no k term arithmetic progression. For all integers k s geq 3 , we prove that lim n to infty frac log f s,k (n) log n 2, which answers an old question of Erd H o s. In fact, we prove upper and lower bounds for f s,k (n) which show that its growth is closely related to the bounds in Szemer 'edi's theorem.


Energy Supply for Heating the Slow Solar Wind Observed by Parker Solar Probe between 0.17 and 0.7 au. Energy supply sources for the heating process in the slow solar wind remain unknown. The Parker Solar Probe (PSP) mission provides a good opportunity to study this issue. Recently, PSP observations have found that the slow solar wind experiences stronger heating inside 0.24 au. Here for the first time we measure in the slow solar wind the radial gradient of the low frequency breaks on the magnetic trace power spectra and evaluate the associated energy supply rate. We find that the energy supply rate is consistent with the observed perpendicular heating rate calculated based on the gradient of the magnetic moment. Based on this finding, one could explain why the slow solar wind is strongly heated inside 0.25 au but expands nearly adiabatically outside 0.25 au. This finding supports the concept that the energy added from the energy containing range is transferred by an energy cascade process to the dissipation range, and then dissipates to heat the slow solar wind. The related issues for further study are discussed.


A characterization of always solvable trees in Lights Out game using the activation numbers of vertices. Lights out is a game that can be played on any simple graph G . A configuration assigns one of the two states emph on or emph off to each vertex. For a given configuration, the aim of the game is to turn all vertices emph off by applying a push pattern on vertices, where each push switches the state of the vertex and its neighbors. If every configuration of vertices is solvable, then we say that the graph is always solvable. We introduce a concept which we call the activation numbers of vertices and we prove several characterization results of graphs by using this concept. We show that for every always solvable graph there exists a chain of always solvable subgraphs where each subgraph differs from the preceding one by a vertex. We also characterize always solvable trees by showing that all always solvable trees can be constructed from always solvable subtrees by some special types of connections. We call the dimension of the space of null patterns, which leave configurations unchanged, the nullity of the graph G . We show that the nullity of a tree can be characterized by the cardinality of its minimal partition into always solvable subtrees.


Non Stochastic Private Function Evaluation. We consider private function evaluation to provide query responses based on private data of multiple untrusted entities in such a way that each cannot learn something substantially new about the data of others. First, we introduce perfect non stochastic privacy in a two party scenario. Perfect privacy amounts to conditional unrelatedness of the query response and the private uncertain variable of other individuals conditioned on the uncertain variable of a given entity. We show that perfect privacy can be achieved for queries that are functions of the common uncertain variable, a generalization of the common random variable. We compute the closest approximation of the queries that do not take this form. To provide a trade off between privacy and utility, we relax the notion of perfect privacy. We define almost perfect privacy and show that this new definition equates to using conditional disassociation instead of conditional unrelatedness in the definition of perfect privacy. Then, we generalize the definitions to multi party function evaluation (more than two data entities). We prove that uniform quantization of query responses, where the quantization resolution is a function of privacy budget and sensitivity of the query (cf., differential privacy), achieves function evaluation privacy.


Local well posedness for a quasilinear Schr "odinger equation with degenerate dispersion. We consider a quasilinear Schr "odinger equation on mathbb R for which the dispersive effects degenerate when the solution vanishes. We first prove local well posedness for sufficiently smooth, spatially localized, degenerate initial data. As a corollary in the focusing case we obtain a short time stability result for the energy minimizing compact breather.


Cartan Whitney Presentation, Non smooth Analysis and Smoothability of Manifolds On a theorem of Kondo Tanaka. Using tools and results from geometric measure theory, we give a simple new proof of the main result (Theorem 1.3) in K. Kondo and M. Tanaka, Approximation of Lipschitz Maps via Immersions and Differentiable Exotic Sphere Theorems, textit Nonlinear Anal. textbf 155 (2017), 219 249, as well as the converse statement. It explores the connections between the theory of non smooth analysis it a la F. H. Clarke and the existence of special systems of Whitney flat 1 forms with Sobolev regularity on certain families of homology manifolds.


Affine Invariant Analysis of Frank Wolfe on Strongly Convex Sets. It is known that the Frank Wolfe (FW) algorithm, which is affine covariant, enjoys accelerated convergence rates when the constraint set is strongly convex. However, these results rely on norm dependent assumptions, usually incurring non affine invariant bounds, in contradiction with FW's affine covariant property. In this work, we introduce new structural assumptions on the problem (such as the directional smoothness) and derive an affine invariant, norm independent analysis of Frank Wolfe. Based on our analysis, we propose an affine invariant backtracking line search. Interestingly, we show that typical backtracking line searches using smoothness of the objective function surprisingly converge to an affine invariant step size, despite using affine dependent norms in the step size's computation. This indicates that we do not necessarily need to know the set's structure in advance to enjoy the affine invariant accelerated rate.


Exponential integrability and exit times of diffusions on sub Riemannian and metric measure spaces. In this article we derive moment estimates, exponential integrability, concentration inequalities and exit times estimates for canonical diffusions in two settings each beyond the scope of Riemannian geometry. Firstly, we consider sub Riemannian limits of Riemannian foliations. Secondly, we consider the non smooth setting of mathrm RCD (K,N) spaces. In each case the necessary ingredients are an It o formula and a comparison theorem for the Laplacian, for which we refer to the recent literature. As an application, we derive pointwise Carmona type estimates on eigenfunctions of Schr " o dinger operators.


Neural Fuzzy Extractors A Secure Way to Use Artificial Neural Networks for Biometric User Authentication. Powered by new advances in sensor development and artificial intelligence, the decreasing cost of computation, and the pervasiveness of handheld computation devices, biometric user authentication (and identification) is rapidly becoming ubiquitous. Modern approaches to biometric authentication, based on sophisticated machine learning techniques, cannot avoid storing either trained classifier details or explicit user biometric data, thus exposing users' credentials to falsification. In this paper, we introduce a secure way to handle user specific information involved with the use of vector space classifiers or artificial neural networks for biometric authentication. Our proposed architecture, called a Neural Fuzzy Extractor (NFE), allows the coupling of pre existing classifiers with fuzzy extractors, through a artificial neural network based buffer called an expander, with minimal or no performance degradation. The NFE thus offers all the performance advantages of modern deep learning based classifiers, and all the security of standard fuzzy extractors. We demonstrate the NFE retrofit to a classic artificial neural network for a simple scenario of fingerprint based user authentication.


Synthesis, Structural, and Electronic Properties of K 4 Pu VI O 2(CO 3) 3(cr) An Environmentally Relevant Plutonium Carbonate Complex. The chemical properties of actinide materials are often predefined and described based on the data available for isostructural species. This is the case for potassium plutonyl (PuVI) carbonate, K4PuVIO2(CO3)3(cr), a complex relevant for nuclear technology and the environment, of which the crystallographic and thermodynamic properties of which are still lacking. We report here the synthesis and characterization of PuVI achieved by single crystal X ray diffraction analysis and high energy resolution fluorescence detected X ray absorption near edge structure at the Pu M4 edge coupled with electronic structure calculations. The crystallographic properties of PuVI are compared with isostructural uranium (U) and neptunium (Np) compounds. Actinyl (AnVI) axial bond lengths, O AnVI O 2 , are correlated between solid, K4AnVIO2(CO3)3(cr), and aqueous, AnVIO2(CO3)3 4 (aq) species for the UVI NpVI PuVI series. The spectroscopic data are compared to KPuVO2CO3(cr) and PuIVO2(cr) to tackle the trend in the electronic structure of PuVI regarding the oxidation state changes and local structural modifications around the Pu atom


Inverse problems for real principal type operators. We consider inverse boundary value problems for general real principal type differential operators. The first results state that the Cauchy data set uniquely determines the scattering relation of the operator and bicharacteristic ray transforms of lower order coefficients. We also give two different boundary determination methods for general operators, and prove global uniqueness results for determining coefficients in nonlinear real principal type equations. The article presents a unified approach for treating inverse boundary problems for transport and wave equations, and highlights the role of propagation of singularities in the solution of related inverse problems.


On Weaving Generalized Frames and Generalized Riesz Bases. Weaving frames have potential applications in wireless sensor networks that require distributed processing of signal under different frames. In this paper, we study some new properties of weaving generalized frames (or g frames) and weaving generalized orthonormal bases (or g orthonormal bases). It is shown that a g frame and its dual g frame are woven. The inter relation of optimal g frame bounds and optimal universal g frame bounds is studied. Further, we present a characterization of weaving g frames. Illustrations are given to show the difference in properties of weaving generalized Riesz bases and weaving Riesz bases.


Refined Plane Segmentation for Cuboid Shaped Objects by Leveraging Edge Detection. Recent advances in the area of plane segmentation from single RGB images show strong accuracy improvements and now allow a reliable segmentation of indoor scenes into planes. Nonetheless, fine grained details of these segmentation masks are still lacking accuracy, thus restricting the usability of such techniques on a larger scale in numerous applications, such as inpainting for Augmented Reality use cases. We propose a post processing algorithm to align the segmented plane masks with edges detected in the image. This allows us to increase the accuracy of state of the art approaches, while limiting ourselves to cuboid shaped objects. Our approach is motivated by logistics, where this assumption is valid and refined planes can be used to perform robust object detection without the need for supervised learning. Results for two baselines and our approach are reported on our own dataset, which we made publicly available. The results show a consistent improvement over the state of the art. The influence of the prior segmentation and the edge detection is investigated and finally, areas for future research are proposed.


A Benchmark of Visual Storytelling in Social Media. Media editors in the newsroom are constantly pressed to provide a "like being there" coverage of live events. Social media provides a disorganised collection of images and videos that media professionals need to grasp before publishing their latest news updated. Automated news visual storyline editing with social media content can be very challenging, as it not only entails the task of finding the right content but also making sure that news content evolves coherently over time. To tackle these issues, this paper proposes a benchmark for assessing social media visual storylines. The SocialStories benchmark, comprised by total of 40 curated stories covering sports and cultural events, provides the experimental setup and introduces novel quantitative metrics to perform a rigorous evaluation of visual storytelling with social media data.


Note on a conjecture of Bateman and Diamond concerning the abstract PNT with Malliavin type remainder. Given beta in(0,1) , we show the existence of a Beurling generalized number system whose integer counting satisfies N(x) ax O bigl(x exp( c log beta x) bigr) for some a 0 and c 0 , and whose prime counting function satisfies pi(x) mathrm Li (x) Omega bigl(x exp( c'( log x) frac beta beta 1 ) bigr) for some c' 0 . This is done by generalizing a construction of Diamond, Montgomery, and Vorhauer. This Beurling system serves as additional motivation for a conjecture of Bateman and Diamond from 1969, concerning the PNT with Malliavin type remainder.


Build it Break it Fix it for Dialogue Safety Robustness from Adversarial Human Attack. The detection of offensive language in the context of a dialogue has become an increasingly important application of natural language processing. The detection of trolls in public forums (Gal 'an Garc 'ia et al., 2016), and the deployment of chatbots in the public domain (Wolf et al., 2017) are two examples that show the necessity of guarding against adversarially offensive behavior on the part of humans. In this work, we develop a training scheme for a model to become robust to such human attacks by an iterative build it, break it, fix it strategy with humans and models in the loop. In detailed experiments we show this approach is considerably more robust than previous systems. Further, we show that offensive language used within a conversation critically depends on the dialogue context, and cannot be viewed as a single sentence offensive detection task as in most previous work. Our newly collected tasks and methods will be made open source and publicly available.


Inscribed rectangles in a smooth Jordan curve attain at least one third of all aspect ratios. We prove that for every smooth Jordan curve gamma , if X is the set of all r in 0,1 so that there is an inscribed rectangle in gamma of aspect ratio tan(r cdot pi 4) , then the Lebesgue measure of X is at least 1 3 . To do this, we study disjoint M "obius strips bounding a (2n,n) torus link in the solid torus times an interval. We prove that any such set of M "obius strips can be equipped with a natural total ordering. We then combine this total ordering with some additive combinatorics to prove that 1 3 is a sharp lower bound on the probability that a M "obius strip bounding the (2,1) torus knot in the solid torus times an interval will intersect its rotation by a uniformly random angle.


Comparative Mathematical Study of Blood Flow Through Stenotic and Aneurysmatic Artery with the Presence and Absence of Blood clots. Numerical predictions of blood flow and hemodynamic properties through a stenotic and aneurysmal rigid artery are studied in the presence of blood clot at constricted area. Finite element method has been used to solve the steady partial differential equations of continuity, momentum, Oldroyd B and bioheat transport in two dimensional cartesian coordinates system.The present investigation carries the potential to compute blood velocity, pressure and drag coefficient with major significance at the throat of stenosis and aneurysm. The models are also employed to study of simulation, influence of blood clot and hemodynamical characteristics for all modifications. The back flow and recirculation zones are found at stenotic and aneurysmal region for the model. The quantitative analysis is completed by numerical calculation having physiological significance of hemodynamical factors of blood flow depends on the dimensionless parameters which show the validity of present model.


Task Motion Planning for Safe and Efficient Urban Driving. Autonomous vehicles need to plan at the task level to compute a sequence of symbolic actions, such as merging left and turning right, to fulfill people's service requests, where efficiency is the main concern. At the same time, the vehicles must compute continuous trajectories to perform actions at the motion level, where safety is the most important. Task motion planning in autonomous driving faces the problem of maximizing task level efficiency while ensuring motion level safety. To this end, we develop algorithm Task Motion Planning for Urban Driving (TMPUD) that, for the first time, enables the task and motion planners to communicate about the safety level of driving behaviors. TMPUD has been evaluated using a realistic urban driving simulation platform. Results suggest that TMPUD performs significantly better than competitive baselines from the literature in efficiency, while ensuring the safety of driving behaviors.


Generation of light beams with custom orbital angular momentum and tunable transverse intensity symmetries. We introduce a novel and simple modulation technique to tailor optical beams with a customized amount of orbital angular momentum (OAM). The technique is based on the modulation of the angular spectrum of a seed beam, which allows us to specify in an independent manner the value of OAM and the shape of the resulting beam transverse intensity. We experimentally demonstrate our method by arbitrarily shaping the radial and angular intensity distributions of Bessel and Laguerre Gauss beams, while their OAM value remains constant. Our experimental results agree with the numerical and theoretical predictions.


ULSD Unified Line Segment Detection across Pinhole, Fisheye, and Spherical Cameras. Line segment detection is essential for high level tasks in computer vision and robotics. Currently, most stateof the art (SOTA) methods are dedicated to detecting straight line segments in undistorted pinhole images, thus distortions on fisheye or spherical images may largely degenerate their performance. Targeting at the unified line segment detection (ULSD) for both distorted and undistorted images, we propose to represent line segments with the Bezier curve model. Then the line segment detection is tackled by the Bezier curve regression with an end to end network, which is model free and without any undistortion preprocessing. Experimental results on the pinhole, fisheye, and spherical image datasets validate the superiority of the proposed ULSD to the SOTA methods both in accuracy and efficiency (40.6fps for pinhole images). The source code is available at https github.com lh9171338 Unified LineSegment Detection.


Hidden chaos factors inducing random walks which reduce hospital operative efficiency. La Fuenfr 'ia Hospital (LFH) operative parameters such as hospitalised patients daily admissions and discharges were studies for the hospital as a whole, and per each Hospital's service unit (just called "service" here). Data were used to build operative parameter value series and their variation. Conventional statistical analyses and fractal dimension analyses were performed on the series. Statistical analyses indicated that the data did not follow a Gauss (i.e. "normal") distribution, thus nonparametric statistical analyses were chosen to describe data. The sequence of admitted daily admissions and patients staying on each service were found to be a kind of random series of a kind called random walks (Rw). Rw are sequences where what happens next ( y t Delta t ), depends on what happens now ( y t ) plus a random variable ( epsilon ), y t Delta t y t epsilon . Rw analysed with parametric or non parametric statistics may simulate cycles and drifts which resemble seasonal variations or fake trends. Globally, admitted patients Rws in LFFH, were found to be determined by the time elapsed between daily discharges and admissions. The factor determining LFH Rw were found to be the difference between daily admissions and discharges. The analysis suggests discharges are replaced by admissions with some random delay and that the random difference determinants LFH Rws. The daily difference between hospitalised patients follows the same statistical distribution as the daily difference between admissions and discharges. These suggest that if the daily difference between admissions and discharges is minimised, i.e., a patient is admitted without delay when another is discharged, the number of admitted panties would fluctuate less and the number of unoccupied beds would be reduced optimising the Hospital service.


A rank one convex, non polyconvex isotropic function on operatorname GL (2) with compact connected sublevel sets. According to a 2002 theorem by Cardaliaguet and Tahraoui, an isotropic, compact and connected subset of the group operatorname GL (2) of invertible 2 times2 , matrices is rank one convex if and only if it is polyconvex. In a 2005 Journal of Convex Analysis article by Alexander Mielke, it has been conjectured that the equivalence of rank one convexity and polyconvexity holds for isotropic functions on operatorname GL (2) as well, provided their sublevel sets satisfy the corresponding requirements. We negatively answer this conjecture by giving an explicit example of a function W operatorname GL to mathbb R which is not polyconvex, but rank one convex as well as isotropic with compact and connected sublevel sets.


Grounded Agreement Games Emphasizing Conversational Grounding in Visual Dialogue Settings. Where early work on dialogue in Computational Linguistics put much emphasis on dialogue structure and its relation to the mental states of the dialogue participants (e.g., Allen 1979, Grosz Sidner 1986), current work mostly reduces dialogue to the task of producing at any one time a next utterance e.g. in neural chatbot or Visual Dialogue settings. As a methodological decision, this is sound Even the longest journey is a sequence of steps. It becomes detrimental, however, when the tasks and datasets from which dialogue behaviour is to be learned are tailored too much to this framing of the problem. In this short note, we describe a family of settings which still allow to keep dialogues simple, but add a constraint that makes participants care about reaching mutual understanding. In such agreement games, there is a secondary, but explicit goal besides the task level goal, and that is to reach mutual understanding about whether the task level goal has been reached. As we argue, this naturally triggers meta semantic interaction and mutual engagement, and hence leads to richer data from which to induce models.


Some properties for morphism of representations. Let psi G to GL(V) and varphi G to GL (W) be representations of finite group G . A linear map T V to W is called a morphism from psi to varphi if it satisfys T psi g varphi g T for each g in G and let mathrm Hom G ( psi , varphi) denote the set of all morphisms. In this paper, we make full stufy of the subspace mathrm Hom G( psi, varphi) . As byproducts, we include the proof of the first orthogonality relation and Schur's orthogonality relation.


Ergodic Spectral Efficiency of Massive MIMO with Correlated Rician Channel and MRC Detection based on LS and MMSE Channel Estimation. In this paper, we study the spectral efficiency (SE) of a multi cell massive multiple input multiple output (MIMO) system with a spatially correlated Rician channel. The correlation between least squares (LS) estimator and its error complicates SE analysis, since signal and interference components become cross correlated, too. Minimum mean square error (MMSE) estimators do not suffer from this burden. In some previous works, a proper part of the signal is referred to interference, which makes them cross uncorrelated, and leads to an SE lower bound. In our modified approach, we extract and refer the cross correlated part of interference to the signal to attain this objective. Here, we use this approach for calculating the instantaneous SE of maximum ratio combining (MRC) detector under LS and MMSE estimation methods. We also derive closed form approximations of their ergodic SE. This approach is also applicable to other linear channel estimators or data detectors. Numerical results show that achievable SE surpasses that of the previous approach. They also show that our approximation is close enough to Monte Carlo simulation results, especially at the high number of the base station (BS) antennas.


A Functional Equation of Tail balance for Continuous Signals in the Condorcet Jury Theorem. Consider an odd sized jury, which determines a majority verdict between two equiprobable states of Nature. If each juror independently receives a binary signal identifying the correct state with identical probability p , then the probability of a correct verdict tends to one as the jury size tends to infinity (Condorcet, 1785). Recently, the first two authors developed a model where jurors sequentially receive signals from an interval according to a distribution, which depends on the state of Nature and on the juror's "ability", and vote sequentially. This paper shows that to mimic Condorcet's binary signal, such a distribution must satisfy a functional equation related to tail balance, that is, to the ratio alpha(t) of the probability that a mean zero random variable satisfies X t given that X t . In particular, we show that under natural symmetry assumptions the tail balances alpha(t) uniquely determine the distribution.


Faster Regret Matching. The regret matching algorithm proposed by Sergiu Hart is one of the most powerful iterative methods in finding correlated equilibrium. However, it is possibly not efficient enough, especially in large scale problems. We first rewrite the algorithm in a computationally practical way based on the idea of the regret matrix. Moreover, the rewriting makes the original algorithm more easy to understand. Then by some modification to the original algorithm, we introduce a novel variant, namely faster regret matching. The experiment result shows that the novel algorithm has a speed advantage comparing to the original one.


Helical structure of longitudinal vortices embedded in turbulent wall bounded flow. Embedded vortices in turbulent wall bounded flow over a flat plate, generated by a passive rectangular vane type vortex generator with variable angle beta to the incoming flow in a low Reynolds number flow ( Re 2600 based on the inlet grid mesh size L 0.039 m and free stream velocity U infty 1.0 m s 1 ) have been studied with respect to helical symmetry. The studies were carried out in a low speed closed circuit wind tunnel utilizing Stereoscopic Particle Image Velocimetry (SPIV). The vortices have been shown to possess helical symmetry, allowing the flow to be described in a simple fashion. Iso contour maps of axial vorticity revealed a dominant primary vortex and a weaker secondary one for 20 circ leq beta leq 40 circ . For angles outside of this range, the helical symmetry was impaired due to the emergence of additional flow effects. A model describing the flow has been utilized, showing strong concurrence with the measurements, even though the model is decoupled from external flow processes that could perturb the helical symmetry. The pitch, vortex core size, circulation and the advection velocity of the vortex all vary linearly with the device angle beta . This is important for flow control, since one thereby can determine the axial velocity induced by the helical vortex as well as the swirl redistributing the axial velocity component for a given device angle beta . This also simplifies theoretical studies, eg to understand and predict the stability of the vortex and to model the flow numerically.


Communicative Visualizations as a Learning Problem. Significant research has provided robust task and evaluation languages for the analysis of exploratory visualizations. Unfortunately, these taxonomies fail when applied to communicative visualizations. Instead, designers often resort to evaluating communicative visualizations from the cognitive efficiency perspective "can the recipient accurately decode my message insight?" However, designers are unlikely to be satisfied if the message went 'in one ear and out the other.' The consequence of this inconsistency is that it is difficult to design or select between competing options in a principled way. The problem we address is the fundamental mismatch between how designers want to describe their intent, and the language they have. We argue that visualization designers can address this limitation through a learning lens that the recipient is a student and the designer a teacher. By using learning objectives, designers can better define, assess, and compare communicative visualizations. We illustrate how the learning based approach provides a framework for understanding a wide array of communicative goals. To understand how the framework can be applied (and its limitations), we surveyed and interviewed members of the Data Visualization Society using their own visualizations as a probe. Through this study we identified the broad range of objectives in communicative visualizations and the prevalence of certain objective types.


Benjamini Schramm convergence and zeta functions. In this note we show the equivalence of Benjamini Schramm convergence and convergence of the zeta functions for compact hyperbolic surfaces.


Erdos Gallai Stability Theorem for Linear Forests. The Erd H o s Gallai Theorem states that every graph of average degree more than l 2 contains a path of order l for l ge 2 . In this paper, we obtain a stability version of the Erd H o s Gallai Theorem in terms of minimum degree. Let G be a connected graph of order n and F ( bigcup i 1 kP 2a i ) bigcup( bigcup i 1 lP 2b i 1 ) be k l disjoint paths of order 2a 1, ldots, 2a k , 2b 1 1, ldots, 2b l 1, respectively, where k ge 0 , 0 le l le 2 , and k l geq 2 . If the minimum degree delta(G) ge sum i 1 ka i sum i 1 lb i 1 , then F subseteq G except several classes of graphs for sufficiently large n , which extends and strengths the results of Ali and Staton for an even path and Yuan and Nikiforov for an odd path.


Learning with Partially Ordered Representations. This paper examines the characterization and learning of grammars defined with enriched representational models. Model theoretic approaches to formal language theory traditionally assume that each position in a string belongs to exactly one unary relation. We consider unconventional string models where positions can have multiple, shared properties, which are arguably useful in many applications. We show the structures given by these models are partially ordered, and present a learning algorithm that exploits this ordering relation to effectively prune the hypothesis space. We prove this learning algorithm, which takes positive examples as input, finds the most general grammar which covers the data.


NullAway Practical Type Based Null Safety for Java. NullPointerExceptions (NPEs) are a key source of crashes in modern Java programs. Previous work has shown how such errors can be prevented at compile time via code annotations and pluggable type checking. However, such systems have been difficult to deploy on large scale software projects, due to significant build time overhead and or a high annotation burden. This paper presents NullAway, a new type based null safety checker for Java that overcomes these issues. NullAway has been carefully engineered for low overhead, so it can run as part of every build. Further, NullAway reduces annotation burden through targeted unsound assumptions, aiming for no false negatives in practice on checked code. Our evaluation shows that NullAway has significantly lower build time overhead (1.15X) than comparable tools (2.8 5.1X). Further, on a corpus of production crash data for widely used Android apps built with NullAway, remaining NPEs were due to unchecked third party libraries (64 ), deliberate error suppressions (17 ), or reflection and other forms of post checking code modification (17 ), never due to NullAway's unsound assumptions for checked code.


Asymptotics for cliques in scale free random graphs. In this paper we establish asymptotics (as the size of the graph grows to infinity) for the expected number of cliques in the Chung Lu inhomogeneous random graph model in which vertices are assigned independent weights which have tail probabilities h 1 alpha l(h) , where alpha 2 and l is a slowly varying function. Each pair of vertices is connected by an edge with a probability proportional to the product of the weights of those vertices. We present a complete set of asymptotics for all clique sizes and for all non integer alpha 2 . We also explain why the case of an integer alpha is different, and present partial results for the asymptotics in that case.


A Fully Hyperbolic Neural Model for Hierarchical Multi Class Classification. Label inventories for fine grained entity typing have grown in size and complexity. Nonetheless, they exhibit a hierarchical structure. Hyperbolic spaces offer a mathematically appealing approach for learning hierarchical representations of symbolic data. However, it is not clear how to integrate hyperbolic components into downstream tasks. This is the first work that proposes a fully hyperbolic model for multi class multi label classification, which performs all operations in hyperbolic space. We evaluate the proposed model on two challenging datasets and compare to different baselines that operate under Euclidean assumptions. Our hyperbolic model infers the latent hierarchy from the class distribution, captures implicit hyponymic relations in the inventory, and shows performance on par with state of the art methods on fine grained classification with remarkable reduction of the parameter size. A thorough analysis sheds light on the impact of each component in the final prediction and showcases its ease of integration with Euclidean layers.


Identification of hydrodynamic instability by convolutional neural networks. The onset of hydrodynamic instabilities is of great importance in both industry and daily life, due to the dramatic mechanical and thermodynamic changes for different types of flow motions. In this paper, modern machine learning techniques, especially the convolutional neural networks (CNN), are applied to identify the transition between different flow motions raised by hydrodynamic instability, as well as critical non dimensionalized parameters for characterizing this transit. CNN not only correctly predicts the critical transition values for both Taylor Couette (TC) flow and Rayleigh B 'enard (RB) convection under various setups and conditions, but also shows an outstanding performance on robustness and noise tolerance. In addition, key spatial features used for classifying different flow patterns are revealed by the principal component analysis.


Self dual varieties and networks in the lattice of varieties of completely regular semigroups. The kernel relation K on the lattice mathcal L ( mathcal CR ) of varieties of completely regular semigroups has been a central component in many investigations into the structure of mathcal L ( mathcal CR ) . However, apart from the K class of the trivial variety, which is just the lattice of varieties of bands, the detailed structure of kernel classes has remained a mystery until recently. Kad'ourek RK2 has shown that for two large classes of subvarieties of mathcal CR their kernel classes are singletons. Elsewhere (see RK1 , RK2 , RK3 ) we have provided a detailed analysis of the kernel classes of varieties of abelian groups. Here we study more general kernel classes. We begin with a careful development of the concept of duality in the lattice of varieties of completely regular semigroups and then show that the kernel classes of many varieties, including many self dual varieties, of completely regular semigroups contain multiple copies of the lattice of varieties of bands as sublattices.


L ' e vy driven CARMA generalized processes and stochastic partial differential equations. We give a new definition of a L ' e vy driven CARMA random field, defining it as a generalized solution of a stochastic partial differential equation (SPDE). Furthermore, we give sufficient conditions for the existence of a mild solution of our SPDE. Our model finds a connection between all known definitions of CARMA random fields, and especially for dimension 1 we obtain the classical CARMA process.


Inner automorphisms of Lie algebras of symmetric polynomials. Let L n be the free Lie algebra, F n be the free metabelian Lie algebra, and L n,c be the free metabelian nilpotent of class c Lie algebra of rank n generated by x 1, ldots,x n over a field K of characteristic zero. We call a polynomial p(X n) symmetric in these Lie algebras if p(x 1, ldots,x n) p(x pi(1) , ldots,x pi(n) ) for each element pi of the symmetric group S n . The sets L n S n , F n S n , and L n,c S n of symmetric polynomials coincide with the algebras of invariants of the group S n in L n , F n , and L n,c , respectively. We determine the groups text Inn (F n S n ) and text Inn (L n,c S n ) of inner automorphisms of the algebras F n S n and L n,c S n , respectively. In particular, we obtain the descriptions of the groups text Aut (L 2 S 2 ) , text Aut (F 2 S 2 ) , and text Aut (L 2,c S 2 ) of all automorphisms of the algebras L 2 S 2 , F 2 S 2 , and L 2,c S 2 , respectively.


UFO 2 A Unified Framework towards Omni supervised Object Detection. Existing work on object detection often relies on a single form of annotation the model is trained using either accurate yet costly bounding boxes or cheaper but less expressive image level tags. However, real world annotations are often diverse in form, which challenges these existing works. In this paper, we present UFO 2 , a unified object detection framework that can handle different forms of supervision simultaneously. Specifically, UFO 2 incorporates strong supervision (e.g., boxes), various forms of partial supervision (e.g., class tags, points, and scribbles), and unlabeled data. Through rigorous evaluations, we demonstrate that each form of label can be utilized to either train a model from scratch or to further improve a pre trained model. We also use UFO 2 to investigate budget aware omni supervised learning, i.e., various annotation policies are studied under a fixed annotation budget we show that competitive performance needs no strong labels for all data. Finally, we demonstrate the generalization of UFO 2 , detecting more than 1,000 different objects without bounding box annotations.


An upgraded ultra high vacuum magnetron sputtering system for high versatility and software controlled deposition. Magnetron sputtering is a widely used physical vapor deposition technique. Reactive sputtering is used for the deposition of, e.g, oxides, nitrides and carbides. In fundamental research, versatility is essential when designing or upgrading a deposition chamber. Furthermore, automated deposition systems are the norm in industrial production, but relatively uncommon in laboratory scale systems used primarily for fundamental research. Combining automatization and computerized control with the required versatility for fundamental research constitutes a challenge in designing, developing, and upgrading laboratory deposition systems. The present article provides a detailed description of the design of a lab scale deposition chamber for magnetron sputtering used for the deposition of metallic, oxide, nitride and oxynitride films with automated controls, dc or pulsed bias, and combined with a coil to enhance the plasma density near the substrate. LabVIEW software (provided as Supplementary Information) has been developed for a high degree of computerized or automated control of hardware and processes control and logging of process details.


A Survey of Evolving Models for Weighted Complex Networks based on their Dynamics and Evolution. For decades, complex networks, such as social networks, biological networks, chemical networks, technological networks, have been used to study the evolution and dynamics of different kinds of complex systems. These complex systems can be better described using weighted links as binary connections do not portray the complete information of the system. All these weighted networks evolve in a different environment by following different underlying mechanics. Researchers have worked on unraveling the evolving phenomenon of weighted networks to understand their structure and dynamics. In this chapter, we discuss the evolution of weighted networks and evolving models to generate different types of synthetic weighted networks, including undirected, directed, signed, multilayered, community, and core periphery structured weighted networks. We further discuss various properties held by generated synthetic networks and their similarity with real world weighted networks.


Smith Treumann theory and the linkage principle. In this paper we apply Treumann's "Smith theory for sheaves" in the context of the Iwahori Whittaker model of the Satake category. We deduce two results in the representation theory of reductive algebraic groups over fields of positive characteristic (a) a geometric proof of the linkage principle (b) a character formula for tilting modules in terms of the p canonical basis, valid in all blocks and in all characteristics.


Context Aware Cross Attention for Non Autoregressive Translation. Non autoregressive translation (NAT) significantly accelerates the inference process by predicting the entire target sequence. However, due to the lack of target dependency modelling in the decoder, the conditional generation process heavily depends on the cross attention. In this paper, we reveal a localness perception problem in NAT cross attention, for which it is difficult to adequately capture source context. To alleviate this problem, we propose to enhance signals of neighbour source tokens into conventional cross attention. Experimental results on several representative datasets show that our approach can consistently improve translation quality over strong NAT baselines. Extensive analyses demonstrate that the enhanced cross attention achieves better exploitation of source contexts by leveraging both local and global information.


Matching Questions and Answers in Dialogues from Online Forums. Matching question answer relations between two turns in conversations is not only the first step in analyzing dialogue structures, but also valuable for training dialogue systems. This paper presents a QA matching model considering both distance information and dialogue history by two simultaneous attention mechanisms called mutual attention. Given scores computed by the trained model between each non question turn with its candidate questions, a greedy matching strategy is used for final predictions. Because existing dialogue datasets such as the Ubuntu dataset are not suitable for the QA matching task, we further create a dataset with 1,000 labeled dialogues and demonstrate that our proposed model outperforms the state of the art and other strong baselines, particularly for matching long distance QA pairs.


Combining Deep Transfer Learning with Signal image Encoding for Multi Modal Mental Wellbeing Classification. The quantification of emotional states is an important step to understanding wellbeing. Time series data from multiple modalities such as physiological and motion sensor data have proven to be integral for measuring and quantifying emotions. Monitoring emotional trajectories over long periods of time inherits some critical limitations in relation to the size of the training data. This shortcoming may hinder the development of reliable and accurate machine learning models. To address this problem, this paper proposes a framework to tackle the limitation in performing emotional state recognition on multiple multimodal datasets 1) encoding multivariate time series data into coloured images 2) leveraging pre trained object recognition models to apply a Transfer Learning (TL) approach using the images from step 1 3) utilising a 1D Convolutional Neural Network (CNN) to perform emotion classification from physiological data 4) concatenating the pre trained TL model with the 1D CNN. Furthermore, the possibility of performing TL to infer stress from physiological data is explored by initially training a 1D CNN using a large physical activity dataset and then applying the learned knowledge to the target dataset. We demonstrate that model performance when inferring real world wellbeing rated on a 5 point Likert scale can be enhanced using our framework, resulting in up to 98.5 accuracy, outperforming a conventional CNN by 4.5 . Subject independent models using the same approach resulted in an average of 72.3 accuracy (SD 0.038). The proposed CNN TL based methodology may overcome problems with small training datasets, thus improving on the performance of conventional deep learning methods.


Ordered Functional Decision Diagrams A Functional Semantics For Binary Decision Diagrams. We introduce a novel framework, termed lambda DD, that revisits Binary Decision Diagrams from a purely functional point of view. The framework allows to classify the already existing variants, including the most recent ones like Chain DD and ESRBDD, as implementations of a special class of ordered models. We enumerate, in a principled way, all the models of this class and isolate its most expressive model. This new model, termed lambda DD O NUCX, is suitable for both dense and sparse Boolean functions, and is moreover invariant by negation. The canonicity of lambda DD O NUCX is formally verified using the Coq proof assistant. We furthermore give bounds on the size of the different diagrams the potential gain achieved by more expressive models can be at most linear in the number of variables n.


Specular and Diffuse reflection based Face Spoofing Detection for Mobile Devices. In light of the rising demand for biometric authentication systems, preventing face spoofing attacks is a critical issue for the safe deployment of face recognition systems. Here, we propose an efficient face presentation attack detection (PAD) algorithm that requires minimal hardware and only a small database, making it suitable for resource constrained devices such as mobile phones. Utilizing one monocular visible light camera, the proposed algorithm takes two facial photos, one taken with a flash, the other without a flash. The proposed SpecDiff descriptor is constructed by leveraging two types of reflection (i) specular reflections from the iris region that have a specific intensity distribution depending on liveness, and (ii) diffuse reflections from the entire face region that represents the 3D structure of a subject's face. Classifiers trained with SpecDiff descriptor outperforms other flash based PAD algorithms on both an in house database and on publicly available NUAA, Replay Attack, and SiW databases. Moreover, the proposed algorithm achieves statistically significantly better accuracy to that of an end to end, deep neural network classifier, while being approximately six times faster execution speed. The code is publicly available at https github.com Akinori F Ebihara SpecDiff spoofing detector.


A note on a theorem of M. Christ. This note is a supplement to our paper Proof of spherical flocking based on quantitative rearrangement inequalities'. Recently, M. Christ has derived a deep result concerning stability of the Riesz rearrangement inequality. We are interested in the special case of this inequality where two of the sets are equal and the third set is a fixed ball. We show that in this special case, Christ's proof extends with only minor changes to the case where characteristic functions are replaced by functions taking values between zero and one.


Super resolution and ultrahigh throughput of focused ion beam machining. Recent studies have demonstrated lateral super resolution of focused ion beam machining by sacrificial masking films. However, the experimental limits of this process are unclear and lack a theoretical basis. We report the first comprehensive study of the super resolution effect, integrating several new concepts. First, we present chromia as an advantageous masking material, characterizing its nanometer roughness, uniform structure, and amorphous state. Second, we develop an efficient method of in line metrology of ion beam focus by scanning electron microscopy, characterizing resolution and enabling reproducibility. Third, we mill complex nanostructures through chromia and into silica, characterizing the response of the bilayer system to a focused beam of gallium cations. Fourth, we derive a theoretical model that predicts lateral super resolution across experimental studies and evaluates temporal efficiency. Our study elucidates the resolution throughput tradespace of focused ion beam machining, demonstrating surprising trends and dramatic improvements of volume throughput that enable a paradigm shift from prototyping to manufacturing.


Resource Guided Program Synthesis. This article presents resource guided synthesis, a technique for synthesizing recursive programs that satisfy both a functional specification and a symbolic resource bound. The technique is type directed and rests upon a novel type system that combines polymorphic refinement types with potential annotations of automatic amortized resource analysis. The type system enables efficient constraint based type checking and can express precise refinement based resource bounds. The proof of type soundness shows that synthesized programs are correct by construction. By tightly integrating program exploration and type checking, the synthesizer can leverage the user provided resource bound to guide the search, eagerly rejecting incomplete programs that consume too many resources. An implementation in the resource guided synthesizer ReSyn is used to evaluate the technique on a range of recursive data structure manipulations. The experiments show that ReSyn synthesizes programs that are asymptotically more efficient than those generated by a resource agnostic synthesizer. Moreover, synthesis with ReSyn is faster than a naive combination of synthesis and resource analysis. ReSyn is also able to generate implementations that have a constant resource consumption for fixed input sizes, which can be used to mitigate side channel attacks.


On the Mathematical Structure of Cascade Effects and Emergent Phenomena. We argue that the mathematical structure, enabling certain cascading and emergent phenomena to intuitively emerge, coincides with Galois connections. We introduce the notion of generative effects to formally capture such phenomena. We establish that these effects arise, via a notion of a veil, from either concealing mechanisms in a system or forgetting characteristics from it. The goal of the work is to initiate a mathematical base that enables us to further study such phenomena. In particular, generative effects can be further linked to a certain loss of exactness. Homological algebra, and related algebraic methods, may then be used to characterize the effects.


Effect of Inflow Turbulence on Premixed Combustion in a Cavity Flameholder. A discontinuous Galerkin finite element method code, JENRE, was used to perform highly resolved simulations of ramjet mode combustion in the University of Virginia Supersonic Combustion Facility cavity flameholder at a flight enthalpy of Mach 5. Prior experiments measured a freestream turbulence intensity at the inflow to the cavity ranging from 10 15 . A synthetic turbulence inflow generator was implemented for the simulations in this work to reproduce the turbulence at the inflow to the cavity. Velocity perturbations and turbulence intensity generated by the turbulent inflow boundary condition are shown to match those values measured in the facility using particle induced velocimetry. Simulations were performed both with and without inflow turbulence to study the effect of turbulence on flame stability and structure. In both cases, a cavity stabilized flame was achieved. The inflow turbulence promoted more robust combustion, causing the flame to propagate further from the cavity into the core flow, broadening the flame angle with respect to the axial flow direction. The flame angle captured in the simulation agrees with experimental results and theoretical prediction. The cavity's vortex shedding frequency was identified. Flame strain rate and pressure fluctuations in the cavity shear layer were also measured and found to vary periodically at a frequency equal to that of the vortex shedding. High flow strain rate in the cavity shear layer, driven by the vortex shedding process, is identified as a cause of flame stretching and low OH concentrations as the flame traverses the cavity ramp. The effect of spatial resolution on the simulations is discussed through a comparison of cases using second order and third order accurate discontinuous Galerkin finite elements.


On the convex hull and homothetic convex hull functions of a convex body. The aim of this note is to investigate the properties of the convex hull and the homothetic convex hull functions of a convex body K in Euclidean n space, defined as the volume of the union of K and one of its translates, and the volume of K and a translate of a homothetic copy of K , respectively, as functions of the translation vector. In particular, we prove that the convex hull function of the body K does not determine K . Furthermore, we prove the equivalence of the polar projection body problem raised by Petty, and a conjecture of G.Horv 'ath and L 'angi about translative constant volume property of convex bodies. We give a short proof of some theorems of Jer 'onimo Castro about the homothetic convex hull function, and prove a homothetic variant of the translative constant volume property conjecture for 3 dimensional convex polyhedra. We also apply our results to describe the properties of the illumination bodies of convex bodies.


A Note on Hilbert's "Geometric" Tenth Problem. This paper explores undecidability in theories of positive characteristic function fields in the "geometric" language of rings mathcal L F 0, 1, , cdot, F , with a unary predicate F for nonconstant elements. In particular we are motivated by a question of Fehm on the decidability of mbox Th exists ( mathbb F p(t) mathcal L F) equivalently, that of mbox Th exists ( mathbb F p(t) mathcal L r) without parameters. We indicate how to generalise existing machinery to prove the undecidability of mbox Th forall 1 exists (K mathcal L F) without parameters, where K is the function field of a curve over an algebraic extension of mathbb F p , not algebraically closed. We discuss the problem (and its geometric implications) further in this context too.


Measuring the average cell size and width of its distribution in cellular tissues using Fourier Transform. We present an in depth investigation of a fully automated Fourier based analysis to determine the cell size and the width of its distribution in 3D biological tissues. The results are thoroughly tested using generated images, and we offer valuable criteria for image acquisition settings to optimize accuracy. We demonstrate that the most important parameter is the number of cells in the field of view, and we show that accurate measurements can already be made on volume only containing 3x3x3 cells. The resolution in z is also not so important and a reduced number of in depth images, of order of one per cell, already provides a measure of the mean cell size with less than 5 error. The technique thus appears to be a very promising tool for very fast live local volume cell measurement in 3D tissues textit in vivo while strongly limiting photobleaching and phototoxicity issues.


Hyper Differential Sensitivity Analysis for Inverse Problems Constrained by Partial Differential Equations. High fidelity models used in many science and engineering applications couple multiple physical states and parameters. Inverse problems arise when a model parameter cannot be determined directly, but rather is estimated using (typically sparse and noisy) measurements of the states. The data is usually not sufficient to simultaneously inform all of the parameters. Consequently, the governing model typically contains parameters which are uncertain but must be specified for a complete model characterization necessary to invert for the parameters of interest. We refer to the combination of the additional model parameters (those which are not inverted for) and the measured data states as the "complementary parameters". We seek to quantify the relative importance of these complementary parameters to the solution of the inverse problem. To address this, we present a framework based on hyper differential sensitivity analysis (HDSA). HDSA computes the derivative of the solution of an inverse problem with respect to complementary parameters. We present a mathematical framework for HDSA in large scale PDE constrained inverse problems and show how HDSA can be interpreted to give insight about the inverse problem. We demonstrate the effectiveness of the method on an inverse problem by estimating a permeability field, using pressure and concentration measurements, in a porous medium flow application with uncertainty in the boundary conditions, source injection, and diffusion coefficient.


Large Scale Question Answering using Tourism Data. We introduce the novel task of answering entity seeking recommendation questions using a collection of reviews that describe candidate answer entities. We harvest a QA dataset that contains 47,124 paragraph sized real user questions from travelers seeking recommendations for hotels, attractions and restaurants. Each question can have thousands of candidate answers to choose from and each candidate is associated with a collection of unstructured reviews. This dataset is especially challenging because commonly used neural architectures for reasoning and QA are prohibitively expensive for a task of this scale. As a solution, we design a scalable cluster select rerank approach. It first clusters text for each entity to identify exemplar sentences describing an entity. It then uses a scalable neural information retrieval (IR) module to select a set of potential entities from the large candidate set. A reranker uses a deeper attention based architecture to pick the best answers from the selected entities. This strategy performs better than a pure IR or a pure attention based reasoning approach yielding nearly 25 relative improvement in Accuracy 3 over both approaches.


Terahertz Emisssion from Quantum Interference of Electron Trajectories. The semiclassical electron trajectory, the so called quantum orbits, is employed to explain the terahertz wave generation (TWG) in dual color strong field, and the feasibility of the theory is validated by the measurement. We find that TWG stems from quantum path interference of partial electron wavepacket released at the neighbouring cycles of the dual color electric field, manifesting the temporal Young's double slit interference of single electron. The trajectories released from neighbouring cycles, creating TWG, also account for intercycle interference fringes in the photoelectron momentum distribution, whereas no signature of TWG is found when taking trajectories only from a single cycle.