GaAs Based Near Field Thermophotonic Devices Approaching The Idealized Case With One Dimensional PN Junctions. Thermophotonics (TPX) is a technology close to thermophotovoltaics (TPV), where a heated light emitting diode (LED) is used as the active thermal emitter of the system. It allows to tune the heat flux, by means of electroluminescence, to a spectral range matching better the gap of a photovoltaic cell. The concept is extended to near field thermophotonics (NF TPX), where enhanced energy conversion is due to both electric control and wave tunneling. We perform a thorough numerical analysis of a GaAs based NF TPX device, by coupling a near field radiative heat transfer solver based on fluctuational electrodynamics with an algorithm based on a simplified version of the drift diffusion equations in 1D. This allows for the investigation of the emission and absorption profiles in the LED and the photovoltaic (PV) cell, and for the scrutiny of the impact of key parameters. We also demonstrate that the performance obtained with this algorithm can approach idealized cases for improved devices. For the considered simplified architecture and 300 K temperature difference, we find a power density output of 1 W.cm 2 , underlining the potential for waste heat harvesting close to ambient temperature.


USIS Unsupervised Semantic Image Synthesis. Semantic Image Synthesis (SIS) is a subclass of image to image translation where a photorealistic image is synthesized from a segmentation mask. SIS has mostly been addressed as a supervised problem. However, state of the art methods depend on a huge amount of labeled data and cannot be applied in an unpaired setting. On the other hand, generic unpaired image to image translation frameworks underperform in comparison, because they color code semantic layouts and feed them to traditional convolutional networks, which then learn correspondences in appearance instead of semantic content. In this initial work, we propose a new Unsupervised paradigm for Semantic Image Synthesis (USIS) as a first step towards closing the performance gap between paired and unpaired settings. Notably, the framework deploys a SPADE generator that learns to output images with visually separable semantic classes using a self supervised segmentation loss. Furthermore, in order to match the color and texture distribution of real images without losing high frequency information, we propose to use whole image wavelet based discrimination. We test our methodology on 3 challenging datasets and demonstrate its ability to generate multimodal photorealistic images with an improved quality in the unpaired setting.


Anisotropic dynamics of two photon ionization An attosecond movie of photoemission. Imaging in real time the complete dynamics of a process as fundamental as photoemission has long been out of reach due to the difficulty of combining attosecond temporal resolution with fine spectral and angular resolutions. Here, we achieve full decoding of the intricate angle dependent dynamics of a photoemission process in helium, spectrally and anisotropically structured by twophoton transitions through intermediate bound states. Using spectrally and angularly resolved attosecond electron interferometry, we characterize the complex valued transition probability amplitude towards the photoelectron quantum state. This allows reconstructing in space, time and energy the complete formation of the photoionized wavepacket.


On radiuses of convergence of q metallic numbers and related q rational numbers. The q rational numbers and the q irrational numbers are introduced by S. Morier Genoud and V. Ovsienko. In this paper, we focus on q real quadratic irrational numbers, especially q metallic numbers and q rational sequences which converge to q metallic numbers, and consider the radiuses of convergence of them when we assume that q is a complex number. We construct two sequences given by recurrence formula as a generalization of the q deformation of Fibonacci numbers and Pell numbers which are introduced by S. Morier Genoud and V. Ovsienko. We give an estimation of radiuses of convergence of them, and we solve on conjecture of the lower bound expected which is introduced by L. Leclere, S. Morier Genoud, V. Ovsienko, and A. Veselov for the metallic numbers and its convergence rational sequence. In addition, we obtain a relationship between the radius of convergence of the n,n,...,n,... q and n,n,...,n q in the case of n 3 and n 4.


A Note on Relative Consciousness. This paper describes a mathematical formulation for measuring how one system can estimate the consciousness of another. This consciousness estimate is always relative to the observer. The paper shows how this formulation leads to simple resolutions of some key problems of consciousness.


A Convergent Semi Proximal Alternating Direction Method of Multipliers for Recovering Internet Traffics from Link Measurements. It is challenging to recover the large scale internet traffic data purely from the link measurements. With the rapid growth of the problem scale, it will be extremely difficult to sustain the recovery accuracy and the computational cost. In this work, we propose a new Sparsity Low Rank Recovery (SLRR) model and its Schur Complement Based semi proximal Alternating Direction Method of Multipliers (SCB spADMM) solver. Our approach distinguishes itself mainly for the following two aspects. First, we fully exploit the spatial low rank property and the sparsity of traffic data, which are barely considered in the literature. Our model can be divided into a series of subproblems, which only relate to the traffics in a certain individual time interval. Thus, the model scale is significantly reduced. Second, we establish a globally convergent ADMM type algorithm inspired by Li et al., Math. Program., 155(2016) to solve the SLRR model. In each iteration, all the intermediate variables' optimums can be calculated analytically, which makes the algorithm fast and accurate. Besides, due to the separability of the SLRR model, it is possible to design a parallel algorithm to further reduce computational time. According to the numerical results on the classic datasets Abilene and GEANT, our method achieves the best accuracy with a low computational cost. Moreover, in our newly released large scale Huawei Origin Destination (HOD) network traffics, our method perfectly reaches the seconds level feedback, which meets the essential requirement for practical scenarios.


Self Supervised Detection of Contextual Synonyms in a Multi Class Setting Phenotype Annotation Use Case. Contextualised word embeddings is a powerful tool to detect contextual synonyms. However, most of the current state of the art (SOTA) deep learning concept extraction methods remain supervised and underexploit the potential of the context. In this paper, we propose a self supervised pre training approach which is able to detect contextual synonyms of concepts being training on the data created by shallow matching. We apply our methodology in the sparse multi class setting (over 15,000 concepts) to extract phenotype information from electronic health records. We further investigate data augmentation techniques to address the problem of the class sparsity. Our approach achieves a new SOTA for the unsupervised phenotype concept annotation on clinical text on F1 and Recall outperforming the previous SOTA with a gain of up to 4.5 and 4.0 absolute points, respectively. After fine tuning with as little as 20 of the labelled data, we also outperform BioBERT and ClinicalBERT. The extrinsic evaluation on three ICU benchmarks also shows the benefit of using the phenotypes annotated by our model as features.


Assessing Social Determinants Related Performance Bias of Machine Learning Models A case of Hyperchloremia Prediction in ICU Population. Machine learning in medicine leverages the wealth of healthcare data to extract knowledge, facilitate clinical decision making, and ultimately improve care delivery. However, ML models trained on datasets that lack demographic diversity could yield suboptimal performance when applied to the underrepresented populations (e.g. ethnic minorities, lower social economic status), thus perpetuating health disparity. In this study, we evaluated four classifiers built to predict Hyperchloremia a condition that often results from aggressive fluids administration in the ICU population and compared their performance in racial, gender, and insurance subgroups. We observed that adding social determinants features in addition to the lab based ones improved model performance on all patients. The subgroup testing yielded significantly different AUC scores in 40 out of the 44 model subgroup, suggesting disparities when applying ML models to social determinants subgroups. We urge future researchers to design models that proactively adjust for potential biases and include subgroup reporting in their studies.


A Set Automaton to Locate All Pattern Matches in a Term. Term pattern matching is the problem of finding all pattern matches in a subject term, given a set of patterns. Finding efficient algorithms for this problem is an important direction for research 19 . We present a new set automaton solution for the term pattern matching problem that is based on match set derivatives where each function symbol in the subject pattern is visited exactly once. The algorithm allows for various traversal patterns over the subject term and is particularly suited to search the subject term in parallel.


La evaluacion de la investigacion Espana suspende. The research assessments of countries or institutions should reveal their contribution to the advancement of science. Taking into consideration the correlation that exists between scientific impact and number of citations, research assessments can be based on citation counts. However, it is crucial to perform the counts in the heavy tail of citation distributions. Following this heavy tail approach, all measurements performed in Spanish universities show that their research is inefficient because the proportion of highly cited papers is much lower than in the most scientifically advanced countries. The same conclusion is reached when considering the number of researchers in the Ioannidis, Boyack, and Baas lists of highly cited researchers.


Heterogeneous Agent Trajectory Forecasting Incorporating Class Uncertainty. Reasoning about the future behavior of other agents is critical to safe robot navigation. The multiplicity of plausible futures is further amplified by the uncertainty inherent to agent state estimation from data, including positions, velocities, and semantic class. Forecasting methods, however, typically neglect class uncertainty, conditioning instead only on the agent's most likely class, even though perception models often return full class distributions. To exploit this information, we present HAICU, a method for heterogeneous agent trajectory forecasting that explicitly incorporates agents' class probabilities. We additionally present PUP, a new challenging real world autonomous driving dataset, to investigate the impact of Perceptual Uncertainty in Prediction. It contains challenging crowded scenes with unfiltered agent class probabilities that reflect the long tail of current state of the art perception systems. We demonstrate that incorporating class probabilities in trajectory forecasting significantly improves performance in the face of uncertainty, and enables new forecasting capabilities such as counterfactual predictions.


Sketching Curvature for Efficient Out of Distribution Detection for Deep Neural Networks. In order to safely deploy Deep Neural Networks (DNNs) within the perception pipelines of real time decision making systems, there is a need for safeguards that can detect out of training distribution (OoD) inputs both efficiently and accurately. Building on recent work leveraging the local curvature of DNNs to reason about epistemic uncertainty, we propose Sketching Curvature of OoD Detection (SCOD), an architecture agnostic framework for equipping any trained DNN with a task relevant epistemic uncertainty estimate. Offline, given a trained model and its training data, SCOD employs tools from matrix sketching to tractably compute a low rank approximation of the Fisher information matrix, which characterizes which directions in the weight space are most influential on the predictions over the training data. Online, we estimate uncertainty by measuring how much perturbations orthogonal to these directions can alter predictions at a new test input. We apply SCOD to pre trained networks of varying architectures on several tasks, ranging from regression to classification. We demonstrate that SCOD achieves comparable or better OoD detection performance with lower computational burden relative to existing baselines.


Multimodal Approach for Metadata Extraction from German Scientific Publications. Nowadays, metadata information is often given by the authors themselves upon submission. However, a significant part of already existing research papers have missing or incomplete metadata information. German scientific papers come in a large variety of layouts which makes the extraction of metadata a non trivial task that requires a precise way to classify the metadata extracted from the documents. In this paper, we propose a multimodal deep learning approach for metadata extraction from scientific papers in the German language. We consider multiple types of input data by combining natural language processing and image vision processing. This model aims to increase the overall accuracy of metadata extraction compared to other state of the art approaches. It enables the utilization of both spatial and contextual features in order to achieve a more reliable extraction. Our model for this approach was trained on a dataset consisting of around 8800 documents and is able to obtain an overall F1 score of 0.923.


Online Bin Packing with Known T. In the online bin packing problem, a sequence of items is revealed one at a time, and each item must be packed into an available bin instantly upon its arrival. In this paper, we revisit the problem under a setting where the total number of items T is known in advance, also known as the closed online bin packing problem. Specifically, we study both the stochastic model and the random permutation model. We develop and analyze an adaptive algorithm that solves an offline bin packing problem at geometric time intervals and uses the offline optimal solution to guide online packing decisions. Under both models, we show that the algorithm achieves C sqrt T regret (in terms of the number of used bins) compared to the hindsight optimal solution, where C is a universal constant ( 13) that bears no dependence on the underlying distribution or the item sizes. The result shows the lower bound barrier of Omega( sqrt T log T ) in Shor (1986) can be broken with solely the knowledge of the horizon T, but without a need of knowing the underlying distribution. As to the algorithm analysis, we develop a new approach to analyzing the packing dynamic using the notion of exchangeable random variables. The approach creates a symmetrization between the offline solution and the online solution, and it is used to analyze both the algorithm performance and various benchmarks related to the bin packing problem. For the latter one, our analysis provides an alternative (probably simpler) treatment and tightens the analysis of the asymptotic benchmark of the stochastic bin packing problem in Rhee and Talagrand (1989a,b). As the analysis only relies on a symmetry between the offline and online problems, the algorithm and benchmark analyses can be naturally extended from the stochastic model to the random permutation model.


A graph theoretic condition for delay stability of reaction systems. Delay mass action systems provide a model of chemical kinetics when past states influence the current dynamics. In this work, we provide a graph theoretic condition for delay stability, i.e., linear stability independent of both rate constants and delay parameters. In particular, the result applies when the system has no delay, implying asymptotic stability for the ODE system. The graph theoretic condition is about cycles in the directed species reaction graph of the network, which encodes how different species in the system interact.


AI in Finance Challenges, Techniques and Opportunities. AI in finance broadly refers to the applications of AI techniques in financial businesses. This area has been lasting for decades with both classic and modern AI techniques applied to increasingly broader areas of finance, economy and society. In contrast to either discussing the problems, aspects and opportunities of finance that have benefited from specific AI techniques and in particular some new generation AI and data science (AIDS) areas or reviewing the progress of applying specific techniques to resolving certain financial problems, this review offers a comprehensive and dense roadmap of the overwhelming challenges, techniques and opportunities of AI research in finance over the past decades. The landscapes and challenges of financial businesses and data are firstly outlined, followed by a comprehensive categorization and a dense overview of the decades of AI research in finance. We then structure and illustrate the data driven analytics and learning of financial businesses and data. The comparison, criticism and discussion of classic vs. modern AI techniques for finance are followed. Lastly, open issues and opportunities address future AI empowered finance and finance motivated AI research.


What's in the Box? A Preliminary Analysis of Undesirable Content in the Common Crawl Corpus. Whereas much of the success of the current generation of neural language models has been driven by increasingly large training corpora, relatively little research has been dedicated to analyzing these massive sources of textual data. In this exploratory analysis, we delve deeper into the Common Crawl, a colossal web corpus that is extensively used for training language models. We find that it contains a significant amount of undesirable content, including hate speech and sexually explicit content, even after filtering procedures. We discuss the potential impacts of this content on language models and conclude with future research directions and a more mindful approach to corpus collection and analysis.


Gene targeting in disease networks. Profiling of whole transcriptomes has become a cornerstone of molecular biology and an invaluable tool for the characterization of clinical phenotypes and the identification of disease subtypes. Analyses of these data are becoming ever more sophisticated as we move beyond simple comparisons to consider networks of higher order interactions and associations. Gene regulatory networks model the regulatory relationships of transcription factors and genes and have allowed the identification of differentially regulated processes in disease systems. In this perspective we discuss gene targeting scores, which measure changes in inferred regulatory network interactions, and their use in identifying disease relevant processes. In addition, we present an example analysis or pancreatic ductal adenocarcinoma demonstrating the power of gene targeting scores to identify differential processes between complex phenotypes processes which would have been missed by only performing differential expression analysis. This example demonstrates that gene targeting scores are an invaluable addition to gene expression analysis in the characterization of diseases and other complex phenotypes.


Exact Post selection Inference For Tracking S P500. The problem that is solved in this paper is known as index tracking. The method of Lasso is used to reduce the dimensions of S P500 index which has many applications in both investment and portfolio management algorithms. The novelty of this paper is that post selection inference is used to have better modeling and inference for Lasso approach to index tracking. Both confidence intervals and curves indicate that the performance of Lasso type method for dimension reduction of S P500 is remarkably high. Keywords index tracking, lasso, post selection inference, S P500


Ontology Modeling for Decentralized Household Energy Systems. In a decentralized household energy system consisting of various devices such as washing machines, heat pumps, and solar panels, understanding the electric energy consumption and production data at the granularity of the device helps end users be closer to the system and further achieve the sustainability of energy use. However, many datasets in this area are isolated from other domains with records of only energy related data. This may raise a loss of information (e.g. weather) that is relevant to the energy use of each device. A noticeable disadvantage is that many of those datasets have to be used in computational modeling approaches such as machine learning models, which are vulnerable to the data feed, to advance the understanding of energy consumption and production. Although such computational methods have achieved a high benchmark merely through a local view of datasets, the reusability cannot be firmly guaranteed when the information omission is taken into account. This paper addresses the data isolation problem in the smart energy systems area by exploring Semantic Web techniques on top of a household energy system. We propose an ontology modeling solution for the management of decentralized data at the resolution of a device in the system. As a result, the scope of the data concerning each device can be easily extended to be wider across the web and more information that may be of interest such as weather can be retrieved from the Web if the data are structured by the ontology.


Uncertainty quantification of microstructure variability and mechanical behaviour of additively manufactured lattice structures. Process induced defects are the leading cause of discrepancies between as designed and as manufactured additive manufacturing (AM) product behavior. Especially for metal lattices, the variations in the printed geometry cannot be neglected. Therefore, the evaluation of the influence of microstructural variability on their mechanical behavior is crucial for the quality assessment of the produced structures. Commonly, the as manufactured geometry can be obtained by computed tomography (CT). However, to incorporate all process induced defects into the numerical analysis is often computationally demanding. Thus, commonly this task is limited to a predefined set of considered variations, such as strut size or strut diameter. In this work, a CT based binary random field is proposed to generate statistically equivalent geometries of periodic metal lattices. The proposed random field model in combination with the Finite Cell Method (FCM), an immersed boundary method, allows to efficiently evaluate the influence of the underlying microstructure on the variability of the mechanical behavior of AM products. Numerical analysis of two lattices manufactured at different scales shows an excellent agreement with experimental data. Furthermore, it provides a unique insight into the effects of the process on the occurring geometrical variations and final mechanical behavior.


Ein Brief von Eisensteins Eltern an Gauss. We give a transcription of a letter from Eisenstein's parents to Gauss, and an unpublished proof of the quadratic reciprocity law by Eisenstein using the tangent function.


Another Proof of e x y being irrational. Continued fractions are used to give an alternate proof of e x y is irrational.


A United Framework for both Formal, Natural and Social Science. With the expansion of scientific research, the number of scientific research is increasing. A new urgent problem is raised that how to keep these researches in a proper way. Therefore, knowledge mapping methods come into being, providing a lot of management and application functions. Therefore, knowledge mapping methods come into being, providing a lot of management and application functions. To answer this question, a three dimensional knowledge map is proposed in this paper, with time, space and number based on category and numericity. It is able to conclude most of scientific problems related to numericity interdisciplinary. Compared with the traditional way, this map is normative, and puts forward the general production criteria of labeling and digitization. It is also intuitive and readable, on which nature, society and formal science are expressed in the same view. The scientific methodologies are summarized, so that the methods with similar logic between different disciplines can be used for reference in development. Compared with the traditional way, this map is normative, and puts forward the general production criteria of labeling and digitization. It is also intuitive and readable, on which nature, society and formal science are expressed in the same view. The scientific methodologies are summarized, so that the methods with similar logic between different disciplines can be used for reference in development. Mathematics also show its importance on the map as formal Science, indicating that it is the key to the development of science. This is not only a preliminary model of a comprehensive scientific worldview, but also a preliminary framework for the connection and cooperation of various disciplines in the future.


sGUARD Towards Fixing Vulnerable Smart Contracts Automatically. Smart contracts are distributed, self enforcing programs executing on top of blockchain networks. They have the potential to revolutionize many industries such as financial institutes and supply chains. However, smart contracts are subject to code based vulnerabilities, which casts a shadow on its applications. As smart contracts are unpatchable (due to the immutability of blockchain), it is essential that smart contracts are guaranteed to be free of vulnerabilities. Unfortunately, smart contract languages such as Solidity are Turing complete, which implies that verifying them statically is infeasible. Thus, alternative approaches must be developed to provide the guarantee. In this work, we develop an approach which automatically transforms smart contracts so that they are provably free of 4 common kinds of vulnerabilities. The key idea is to apply runtime verification in an efficient and provably correct manner. Experiment results with 5000 smart contracts show that our approach incurs minor run time overhead in terms of time (i.e., 14.79 ) and gas (i.e., 0.79 ).


A sharp gradient estimate and W 2,q regularity for the prescribed mean curvature equation in the Lorentz Minkowski space. We consider the prescribed mean curvature equation for entire spacelike hypersurfaces in the Lorentz Minkowski space, namely begin equation operatorname div left( displaystyle frac nabla u sqrt 1 nabla u 2 right) rho quad hbox in mathbb R N, end equation where N geq 3 . We first prove a new gradient estimate for classical solutions with smooth data rho . As a consequence we obtain that the unique weak solution of the equation satisfying a homogeneous boundary condition at infinity is locally of class W 2,q and strictly spacelike in mathbb R N , provided that rho in L q( mathbb R N) cap L m( mathbb R N) with q N and m in 1, frac 2N N 2 .


The apparent structure of dense Sidon sets. The correspondence between perfect difference sets and transitive projective planes is well known. We observe that all known dense (i.e., close to square root size) Sidon subsets of abelian groups come from projective planes through a similar construction. We classify the Sidon sets arising in this manner from desarguesian planes and find essentially no new examples, but there are many further examples arising from nondesarguesian planes. We conjecture that all dense Sidon sets arise in this manner. We also give a brief bestiary of somewhat smaller Sidon sets with a variety of algebraic origins, and for some of them provide an overarching pattern.


Game theory on the blockchain a model for games with smart contracts. We propose a model for games in which the players have shared access to a blockchain that allows them to deploy smart contracts to act on their behalf. This changes fundamental game theoretic assumptions about rationality since a contract can commit a player to act irrationally in specific subgames, making credible otherwise non credible threats. This is further complicated by considering the interaction between multiple contracts which can reason about each other. This changes the nature of the game in a nontrivial way as choosing which contract to play can itself be considered a move in the game. Our model generalizes known notions of equilibria, with a single contract being equivalent to a Stackelberg equilibrium, and two contracts being equivalent to a reverse Stackelberg equilibrium. We prove a number of bounds on the complexity of computing SPE in such games with smart contracts. We show that computing an SPE is textsf PSPACE hard in the general case. Specifically, in games with k contracts, we show that computing an SPE is Sigma k textsf P hard for games of imperfect information. We show that computing an SPE remains textsf PSPACE hard in games of perfect information if we allow for an unbounded number of contracts. We give an algorithm for computing an SPE in two contract games of perfect information that runs in time O(m ell) where m is the size of the game tree and ell is the number of terminal nodes. Finally, we conjecture the problem to be textsf NP complete for three contracts.


Symplectic right keys Type C Willis' direct way. It is known that the right key of a Kashiwara Nakashima tableau can be computed using the Lecouvey Sheats symplectic jeu de taquin. Motivated by Willis' direct way of computing type A right keys, we also give a way of computing symplectic right keys without the use of jeu de taquin.


A spectroscopic model for the low lying electronic states of NO. The rovibronic structure of A 2 Sigma , B 2 Pi and C 2 Pi states of nitric oxide (NO)is studied with the aim of producing comprehensive line lists for its near ultraviolet spectrum. Empirical energy levels for the three electronic states are determined using the a combination of the empirical MARVEL procedure and ab initio calculations, and the available experimental data are critically evaluated. Abinito methods which deal simultaneously with the Rydberg like A 2 Sigma and C 2 Pi , and the valence B 2 Pi state are tested. Methods of modeling the sharp avoided crossing between the B 2 Pi and C 2 Pi states are tested. A rovibronic Hamiltonian matrix is constructed using variational nuclear motion program DUO whose eigenvalues are fitted to the MARVEL energy levels. The matrix also includes coupling terms obtained from the refinement of the ab initio potential energy and spin orbit coupling curves. Calculated and observed energy levels agree well with each other, validating the applicability of our method and providing a useful model for this open shell system.


Switching from a continuous to discontinuous phase transition under the quenched disorder. In this paper, we show that the replacement of an annealed disorder by a quenched one can lead to a change from a continuous to a discontinuous (first order) phase transition. This is the opposite of what is usually observed. So far, numerous studies have indicated that the quenched disorder can round or destroy the existence of a discontinuous phase transition. To show the possibility of the opposite behavior, we study a generalized multistate q voter model with two types of disorder, annealed and quenched, in the form of random competing interactions. We analyze this model on a complete graph analytically as well as by Monte Carlo simulation and show that in such a model the quenched disorder induces discontinuous phase transitions.


Symmetric graphs of prime valency with a transitive simple group. A graph Ga (V,E) is called a Cayley graph of some group T if the automorphism group Aut( Ga) contains a subgroup T which acts on regularly on V . If the subgroup T is normal in Aut( Ga) then Ga is called a normal Cayley graph of T . Let r be an odd prime. Fang et al. cite FMW proved that, with a finite number of exceptions for finite simple group T , every connected symmetric Cayley graph of T of valency r is normal. In this paper, employing maximal factorizations of finite almost simple groups, we work out a possible list of those exceptions for T .


A locally calculable P 3 pressure in a decoupled method for incompressible Stokes equations. This paper will suggest a new finite element method to find a P 4 velocity and a P 3 pressure solving incompressible Stokes equations at low cost. The method solves first the decoupled equation for a P 4 velocity. Then, using the calculated velocity, a locally calculable P 3 pressure will be defined component wisely. The resulting P 3 pressure is analyzed to have the optimal order of convergence. Since the pressure is calculated by local computation only, the chief time cost of the new method is on solving the decoupled equation for the P 4 velocity. Besides, the method overcomes the problem of singular vertices or corners.


Physical ZKP for Makaro Using a Standard Deck of Cards. Makaro is a logic puzzle with an objective to fill numbers into a rectangular grid to satisfy certain conditions. In 2018, Bultel et al. developed a physical zero knowledge proof (ZKP) protocol for Makaro using a deck of cards, which allows a prover to physically convince a verifier that he she knows a solution of the puzzle without revealing it. However, their protocol requires several identical copies of some cards, making it impractical as a deck of playing cards found in everyday life typically consists of all different cards. In this paper, we propose a new ZKP protocol for Makaro that can be implemented using a standard deck (a deck consisting of all different cards). Our protocol also uses asymptotically less cards than the protocol of Bultel et al. Most importantly, we develop a general method to encode a number with a sequence of all different cards. This allows us to securely compute several numerical functions using a standard deck, such as verifying that two given numbers are different and verifying that a number is the largest one among the given numbers.


Adaptive non intrusive reconstruction of solutions to high dimensional parametric PDEs. Numerical methods for random parametric PDEs can greatly benefit from adaptive refinement schemes, in particular when functional approximations are computed as in stochastic Galerkin and stochastic collocations methods. This work is concerned with a non intrusive generalization of the adaptive Galerkin FEM with residual based error estimation. It combines the non intrusive character of a randomized least squares method with the a posteriori error analysis of stochastic Galerkin methods. The proposed approach uses the Variational Monte Carlo method to obtain a quasi optimal low rank approximation of the Galerkin projection in a highly efficient hierarchical tensor format. We derive an adaptive refinement algorithm which is steered by a reliable error estimator. Opposite to stochastic Galerkin methods, the approach is easily applicable to a wide range of problems, enabling a fully automated adjustment of all discretization parameters. Benchmark examples with affine and (unbounded) lognormal coefficient fields illustrate the performance of the non intrusive adaptive algorithm, showing best in class performance.


Volume growth for infinite graphs and translation surfaces. In this note we give asymptotic estimates for the volume growth associated to suitable infinite graphs. Our main application is to give an asymptotic estimate for volume growth associated to translation surfaces.


Sequence Level Contrastive Learning for Text Summarization. Contrastive learning models have achieved great success in unsupervised visual representation learning, which maximize the similarities between feature representations of different views of the same image, while minimize the similarities between feature representations of views of different images. In text summarization, the output summary is a shorter form of the input document and they have similar meanings. In this paper, we propose a contrastive learning model for supervised abstractive text summarization, where we view a document, its gold summary and its model generated summaries as different views of the same mean representation and maximize the similarities between them during training. We improve over a strong sequence to sequence text generation model (i.e., BART) on three different summarization datasets. Human evaluation also shows that our model achieves better faithfulness ratings compared to its counterpart without contrastive objectives.


A non monotone smoothing Newton algorithm for solving the system of generalized absolute value equations. The system of generalized absolute value equations (GAVE) has attracted more and more attention in the optimization community. In this paper, by introducing a smoothing function, we develop a smoothing Newton algorithm with non monotone line search to solve the GAVE. We show that the non monotone algorithm is globally and locally quadratically convergent under a weaker assumption than those given in most existing algorithms for solving the GAVE. Numerical results are given to demonstrate the viability and efficiency of the approach.


A spline based spatial impulse response simulator. The spatial impulse response (SIR) method is a well known approach to calculate transient acoustic fields of arbitrary shape transducers. It involves the evaluation of a time dependent surface integral. Although analytic expressions of the SIR exist for some geometries, numerical methods based on the discretization of transducer surfaces have become the standard. The proposed method consists of representing the transducer as a non uniform rational B spline (NURBS) surface, and decomposing it into smooth B 'ezier patches onto which quadrature rules can be deployed. The evaluation of the SIR can then be expressed in B spline bases, resulting in a sum of shifted and weighted basis functions. Field signals are eventually obtained by a convolution of the basis coefficients, derived from the excitation waveform, and the basis SIR. The use of NURBS enables exact representations of common transducer elements. High order Gaussian quadrature rules enable high accuracy with few quadrature points. High order B spline bases are ideally suited to exploit efficiently the bandlimited property of excitation waveforms. Numerical experiments demonstrate that the proposed approach enables sampling the SIR at low sampling rates, as required by the excitation waveform, without introducing additional errors on simulated field signals.


Soft Sensing Model Visualization Fine tuning Neural Network from What Model Learned. The growing availability of the data collected from smart manufacturing is changing the paradigms of production monitoring and control. The increasing complexity and content of the wafer manufacturing process in addition to the time varying unexpected disturbances and uncertainties, make it infeasible to do the control process with model based approaches. As a result, data driven soft sensing modeling has become more prevalent in wafer process diagnostics. Recently, deep learning has been utilized in soft sensing system with promising performance on highly nonlinear and dynamic time series data. Despite its successes in soft sensing systems, however, the underlying logic of the deep learning framework is hard to understand. In this paper, we propose a deep learning based model for defective wafer detection using a highly imbalanced dataset. To understand how the proposed model works, the deep visualization approach is applied. Additionally, the model is then fine tuned guided by the deep visualization. Extensive experiments are performed to validate the effectiveness of the proposed system. The results provide an interpretation of how the model works and an instructive fine tuning method based on the interpretation.


Teach me to play, gamer! Imitative learning in computer games via linguistic description of complex phenomena and decision tree. In this article, we present a new machine learning model by imitation based on the linguistic description of complex phenomena. The idea consists of, first, capturing the behaviour of human players by creating a computational perception network based on the execution traces of the games and, second, representing it using fuzzy logic (linguistic variables and if then rules). From this knowledge, a set of data (dataset) is automatically created to generate a learning model based on decision trees. This model will be used later to automatically control the movements of a bot. The result is an artificial agent that mimics the human player. We have implemented, tested and evaluated this technology. The results obtained are interesting and promising, showing that this method can be a good alternative to design and implement the behaviour of intelligent agents in video game development.


The twistor geometry of parabolic structures in rank two. Let X be a quasi projective curve, compactified to (Y,D) with X Y D . We construct a Deligne Hitchin twistor space out of moduli spaces of framed lambda connections of rank 2 over Y with logarithmic singularities and quasi parabolic structure along D . To do this, one should divide by a Hecke gauge groupoid. Tame harmonic bundles on X give preferred sections, and the relative tangent bundle along a preferred section has a mixed twistor structure with weights 0,1,2 . The weight 2 piece corresponds to the deformations of the KMS structure including parabolic weights and the residues of the lambda connection.


Capturing links in spatial complete graphs. We say that a set of pairs of disjoint cycles Lambda(G) of a graph G is linked if for any spatial embedding f of G there exists an element lambda of Lambda(G) such that the 2 component link f( lambda) is nonsplittable, and also say minimally linked if none of its proper subsets are linked. In this paper, (1) we show that the set of all pairs of disjoint cycles of G is minimally linked if and only if G is essentially same as a graph in the Petersen family, and (2) for any two integers p,q ge 3 , we exhibit a minimally linked set of Hamiltonian (p,q) pairs of cycles of the complete graph K p q with at most eighteen elements.


Llama A Heterogeneous Serverless Framework for Auto Tuning Video Analytics Pipelines. The proliferation of camera enabled devices and large video repositories has led to a diverse set of video analytics applications. These applications rely on video pipelines, represented as DAGs of operations, to transform videos, process extracted metadata, and answer questions like, "Is this intersection congested?" The latency and resource efficiency of pipelines can be optimized using configurable knobs for each operation (e.g., sampling rate, batch size, or type of hardware used). However, determining efficient configurations is challenging because (a) the configuration search space is exponentially large, and (b) the optimal configuration depends on users' desired latency and cost targets, (c) input video contents may exercise different paths in the DAG and produce a variable amount intermediate results. Existing video analytics and processing systems leave it to the users to manually configure operations and select hardware resources. We present Llama a heterogeneous and serverless framework for auto tuning video pipelines. Given an end to end latency target, Llama optimizes for cost efficiency by (a) calculating a latency target for each operation invocation, and (b) dynamically running a cost based optimizer to assign configurations across heterogeneous hardware that best meet the calculated per invocation latency target. This makes the problem of auto tuning large video pipelines tractable and allows us to handle input dependent behavior, conditional branches in the DAG, and execution variability. We describe the algorithms in Llama and evaluate it on a cloud platform using serverless CPU and GPU resources. We show that compared to state of the art cluster and serverless video analytics and processing systems, Llama achieves 7.8x lower latency and 16x cost reduction on average.


Physics informed neural networks for imaging and parameter retrieval of photonic nanostructures from near field data. In this paper, we develop a deep learning approach for the accurate solution of challenging problems of near field microscopy that leverages the powerful framework of physics informed neural networks (PINNs) for the inversion of the complex optical parameters of nanostructured environments. Specifically, we show that PINNs can be flexibly designed based on the full vector Maxwell's equations to inversely retrieve the spatial distributions of the complex electric permittivity and magnetic permeability of unknown scattering objects in the resonance regime from near field data. Moreover, we demonstrate that PINNs achieve excellent convergence to the true material parameters under both plane wave and point source (localized) excitations, enabling parameter retrieval in scanning near field optical microscopy (SNOM). Our method is computationally efficient compared to traditional data driven deep learning approaches as it requires only a single dataset for training. Furthermore, we develop and successfully demonstrate adaptive PINNs with trainable loss weights that largely improve the accuracy of the inverse reconstruction for high index materials compared to standard PINNs. Finally, we demonstrate the full potential of our approach by retrieving the space dependent permittivity of a three dimensional (3D) unknown object from near field data. The presented framework paves the way to the development of a computationally driven, accurate, and non invasive platform for the simultaneous retrieval of the electric and magnetic parameters of resonant nanostructures from measured optical images, with applications to biomedical imaging, optical remote sensing, and characterization of metamaterial devices.


On Filtrations of A(V). The filtrations on Zhu's algebra A(V) and bimodules A(M) are studied. As an application, we prove that A(V) is noetherian when V is strongly finitely generated. By using the associated graded module mathrm gr A(M) , we find some connections between different tensor products of A(V) bimodules A(N) and A(M) .


Sub realtime simulation of a neuronal network of natural density. Full scale simulations of neuronal network models of the brain are challenging due to the high density of connections between neurons. This contribution reports run times shorter than the simulated span of biological time for a full scale model of the local cortical microcircuit with explicit representation of synapses on a recent conventional compute node. Realtime performance is relevant for robotics and closed loop applications while sub realtime is desirable for the study of learning and development in the brain, processes extending over hours and days of biological time.


Well posedness of Navier Stokes equations established by the decaying speed of single norm. The decaying speed of a single norm more truly reflects the intrinsic harmonic analysis structure of the solution of the classical incompressible Navier Stokes equations. No previous work has been able to establish the well posedness under the decaying speed of a single norm with respect to time, and the previous solution space is contained in the intersection of two spaces defined by different norms. In this paper, for some separable initial space X , we find some new solution space which is not the subspace of L infty (X) . We use parametric Meyer wavelets to establish the well posedness via the decaying speed of a single norm only, without integral norm to t .


On the Finiteness of Perfect Powers in Elliptic Divisibility Sequences. We prove that there are finitely many perfect powers in elliptic divisibility sequences generated by a non integral point on elliptic curves of the from y 2 x(x 2 b) , where b is any positive integer. We achieve this by using the modularity of elliptic curves over real quadratic number fields.


Alpine Permafrost Modeling On the influence of topography driven lateral fluxes. Alpine permafrost environments are highly vulnerable and sensitive to changes in regional and global climate trends. Thawing and degradation of permafrost has numerous adverse environmental, economic, and societal impacts. Mathematical modeling and numerical simulations provide powerful tools for predicting the degree of degradation and evolution of subsurface permafrost as a result of global warming. A particularly significant characteristic of alpine environments is the high variability in their topography and geomorphology which drives large lateral thermal and fluid fluxes. Additionally, harsh winds, extreme weather conditions, and various degrees of saturation have to be considered. The combination of large lateral fluxes and unsaturated ground makes alpine systems markedly different from Arctic permafrost environments and general geotechnical ground freezing applications, and therefore, alpine permafrost demands its own specialized modeling approaches. In this research work, we present a multi physics permafrost model tailored to alpine regions. In particular, we resolve the ice water phase transitions, unsaturated conditions, and capillary actions, and account for the impact of the evolving pore volume on fluid matrix interactions. Moreover, the approach is multi dimensional, and therefore, inherently resolves fluxes along topographic gradients. Through numerical cases studies based on the elevation profiles of the two prominent peaks of the Zugspitze (DE) and the Matterhorn (CH), we show the strong influence of topography driven thermal and fluid fluxes on active layer dynamics and the distribution of permafrost.


Elevating the future of mobility UAV enabled Intelligent Transportation Systems. Intelligent Transportation Systems (ITS) improve traffic efficiency, traffic management, driver's comfort, and safety. They consist of a broad range of components, including vehicles, sensors, Base Stations, Road Side Units, and road infrastructure (i.e., traffic signals). ITS of the near future will need to support multi modal transportation schemes (including ground and aerial vehicles, so called Urban Air Mobility). ITS will have to be integrated with Unmanned Aerial Systems Traffic Management (UTM) and rely on 3 Dimensional (3D) connectivity provided by Integrated Aerial Terrestrial 6G networks to achieve this support. In other words, various types of Unmanned Aerial Vehicles (UAVs) will become integral parts of future ITS due to their mobility, autonomous operation, and communication processing capabilities. This article presents our view on the future integration of ITS and UTM systems, enabling wireless technologies and open research questions. We also present how UAVs can be used to enhance the performance of the currently available ITS.


Effect of He Self organized pattern plasma activated media with different conductivity on cancer cells. The self organized pattern (SOP) phenomenon is prevalent in plasma, while knowledge about SOP discharge affecting reactive species generated plasma activated media (PAM) for cancer therapy is poorly documented. The aim of this study focused on the effect of SOP discharge modes on reactive oxygen and nitrogen species (ROS, RNS) in He SOP plasma activated media with different conductivity (saline solution and deionized (DI) water), and employed them to breast cancer MDA MB 231 and pancreatic BxPC 3 cancer cells. Optical emission spectrum and Fluorimetric analysis were used to identify and quantify ROS and RNS generated in He SOP plasma activated saline solution and DI water. Furthermore, He SOP plasma discharge modes are capable of efficiently controlling the ROS and RNS concentration in the plasma activated saline solution and DI water, which contribute to the cytotoxic effect. On the other hand, stainless steel and copper were used as a lower electrode to compare their effect on cell viability. Taken together, our findings provide insight into potential mechanisms involved in cell death after treatment with He SOP plasma activated media.


Attention based Clinical Note Summarization. In recent years, the trend of deploying digital systems in numerous industries has hiked. The health sector has observed an extensive adoption of digital systems and services that generate significant medical records. Electronic health records contain valuable information for prospective and retrospective analysis that is often not entirely exploited because of the complicated dense information storage. The crude purpose of condensing health records is to select the information that holds most characteristics of the original documents based on a reported disease. These summaries may boost diagnosis and save a doctor's time during a saturated workload situation like the COVID 19 pandemic. In this paper, we are applying a multi head attention based mechanism to perform extractive summarization of meaningful phrases on clinical notes. Our method finds major sentences for a summary by correlating tokens, segments, and positional embeddings of sentences in a clinical note. The model outputs attention scores that are statistically transformed to extract critical phrases for visualization on the heat mapping tool and for human use.


Approximately counting independent sets in bipartite graphs via graph containers. By implementing algorithmic versions of Sapozhenko's graph container methods, we give new algorithms for approximating the number of independent sets in bipartite graphs. Our first algorithm applies to d regular, bipartite graphs satisfying a weak expansion condition when d is constant, and the graph is a bipartite Omega( log 2 d d) expander, we obtain an FPTAS for the number of independent sets. Previously such a result for d 5 was known only for graphs satisfying the much stronger expansion conditions of random bipartite graphs. The algorithm also applies to weighted independent sets for a d regular, bipartite alpha expander, with alpha 0 fixed, we give an FPTAS for the hard core model partition function at fugacity lambda Omega( log d d 1 4 ) . Finally we present an algorithm that applies to all d regular, bipartite graphs, runs in time exp left( O left( n cdot frac log 3 d d right) right) , and outputs a (1 o(1)) approximation to the number of independent sets.


Managing Home Routers with NETCONF over TLS and NETCONF Call Home. The Network Configuration (NETCONF) protocol and the associated YANG data modeling language are the foundations of contemporary network management frameworks evolving within the Internet Engineering Task Force (IETF). netopeer (a NETCONF server) and ncclient (a NETCONF client) are popular open source projects that support the latest NETCONF v1.1 protocol using the mandatory Secure Shell (SSH) transport. We recently implemented and integrated NETCONF over Transport Layer Security (TLS) transport and NETCONF Call Home (CH) mechanisms using reverse TLS and SSH in both projects. The CH mechanism allows a managed device behind a Network Address Translation (NAT) running a NETCONF server (netopeer) to successfully establish a NETCONF session with a Network Management System (NMS) running a NETCONF client (ncclient). In this article, we describe how these standards allow home routers and NAT boxes (in particular) to be managed using these latest additions to the NETCONF protocol.


A Crossover That Matches Diverse Parents Together in Evolutionary Algorithms. Crossover and mutation are the two main operators that lead to new solutions in evolutionary approaches. In this article, a new method of performing the crossover phase is presented. The problem of choice is evolutionary decision tree construction. The method aims at finding such individuals that together complement each other. Hence we say that they are diversely specialized. We propose the way of calculating the so called complementary fitness. In several empirical experiments, we evaluate the efficacy of the method proposed in four variants and compare it to a fitness rank based approach. One variant emerges clearly as the best approach, whereas the remaining ones are below the baseline.


A System for General In Hand Object Re Orientation. In hand object reorientation has been a challenging problem in robotics due to high dimensional actuation space and the frequent change in contact state between the fingers and the objects. We present a simple model free framework that can learn to reorient objects with both the hand facing upwards and downwards. We demonstrate the capability of reorienting over 2000 geometrically different objects in both cases. The learned policies show strong zero shot transfer performance on new objects. We provide evidence that these policies are amenable to real world operation by distilling them to use observations easily available in the real world. The videos of the learned policies are available at https taochenshh.github.io projects in hand reorientation.


Mini Batch Consistent Slot Set Encoder for Scalable Set Encoding. Most existing set encoding algorithms operate under the implicit assumption that all the set elements are accessible, and that there are ample computational and memory resources to load the set into memory during training and inference. However, both assumptions fail when the set is excessively large such that it is impossible to load all set elements into memory, or when data arrives in a stream. To tackle such practical challenges in large scale set encoding, the general set function constraints of permutation invariance and equivariance are not sufficient. We introduce a new property termed Mini Batch Consistency (MBC) that is required for large scale mini batch set encoding. Additionally, we present a scalable and efficient attention based set encoding mechanism that is amenable to mini batch processing of sets, and capable of updating set representations as data arrives. The proposed method adheres to the required symmetries of invariance and equivariance as well as maintaining MBC for any partition of the input set. We perform extensive experiments and show that our method is computationally efficient and results in rich set encoding representations for set structured data.


Measurement of the distribution of 207 Bi depositions on calibration sources for SuperNEMO. The SuperNEMO experiment will search for neutrinoless double beta decay ( 0 nu beta beta ), and study the Standard Model double beta decay process ( 2 nu beta beta ). The SuperNEMO technology can measure the energy of each of the electrons produced in a double beta ( beta beta ) decay, and can reconstruct the topology of their individual tracks. The study of the double beta decay spectrum requires very accurate energy calibration to be carried out periodically. The SuperNEMO Demonstrator Module will be calibrated using 42 calibration sources, each consisting of a droplet of 207 Bi within a frame assembly. The quality of these sources, which depends upon the entire 207 Bi droplet being contained within the frame, is key for correctly calibrating SuperNEMO's energy response. In this paper, we present a novel method for precisely measuring the exact geometry of the deposition of 207 Bi droplets within the frames, using Timepix pixel detectors. We studied 49 different sources and selected 42 high quality sources with the most central source positioning.


Covert, Low Delay, Coded Message Passing in Mobile (IoT) Networks. We introduce a gossip like protocol for covert message passing between Alice and Bob as they move in an area watched over by a warden Willie. The area hosts a multitude of Internet of (Battlefield) Things (Io b eta T) objects. Alice and Bob perform random walks on a random regular graph. The Io b eta T objects reside on the vertices of this graph, and some can serve as relays between Alice and Bob. The protocol starts with Alice splitting her message into small chunks, which she can covertly deposit to the relays she encounters. The protocol ends with Bob collecting the chunks. Alice may encode her data before the dissemination. Willie can either perform random walks as Alice and Bob do or conduct uniform surveillance of the area. In either case, he can only observe one relay at a time. We evaluate the system performance by the covertness probability and the message passing delay. In our protocol, Alice splits her message to increase the covertness probability and adds (coded) redundancy to reduce the transmission delay. The performance metrics depend on the graph, communications delay, and code parameters. We show that, in most scenarios, it is impossible to find the design parameters that simultaneously maximize the covertness probability and minimize the message delay.


Deep Reinforcement Learning for Conservation Decisions. Can machine learning help us make better decisions about a changing planet? In this paper, we illustrate and discuss the potential of a promising corner of machine learning known as reinforcement learning (RL) to help tackle the most challenging conservation decision problems. RL is uniquely well suited to conservation and global change challenges for three reasons (1) RL explicitly focuses on designing an agent who interacts with an environment which is dynamic and uncertain, (2) RL approaches do not require massive amounts of data, (3) RL approaches would utilize rather than replace existing models, simulations, and the knowledge they contain. We provide a conceptual and technical introduction to RL and its relevance to ecological and conservation challenges, including examples of a problem in setting fisheries quotas and in managing ecological tipping points. Four appendices with annotated code provide a tangible introduction to researchers looking to adopt, evaluate, or extend these approaches.


Replacing Rewards with Examples Example Based Policy Search via Recursive Classification. Reinforcement learning (RL) algorithms assume that users specify tasks by manually writing down a reward function. However, this process can be laborious and demands considerable technical expertise. Can we devise RL algorithms that instead enable users to specify tasks simply by providing examples of successful outcomes? In this paper, we derive a control algorithm that maximizes the future probability of these successful outcome examples. Prior work has approached similar problems with a two stage process, first learning a reward function and then optimizing this reward function using another RL algorithm. In contrast, our method directly learns a value function from transitions and successful outcomes, without learning this intermediate reward function. Our method therefore requires fewer hyperparameters to tune and lines of code to debug. We show that our method satisfies a new data driven Bellman equation, where examples take the place of the typical reward function term. Experiments show that our approach outperforms prior methods that learn explicit reward functions.


FedParking A Federated Learning based Parking Space Estimation with Parked Vehicle assisted Edge Computing. As a distributed learning approach, federated learning trains a shared learning model over distributed datasets while preserving the training data privacy. We extend the application of federated learning to parking management and introduce FedParking in which Parking Lot Operators (PLOs) collaborate to train a long short term memory model for parking space estimation without exchanging the raw data. Furthermore, we investigate the management of Parked Vehicle assisted Edge Computing (PVEC) by FedParking. In PVEC, different PLOs recruit PVs as edge computing nodes for offloading services through an incentive mechanism, which is designed according to the computation demand and parking capacity constraints derived from FedParking. We formulate the interactions among the PLOs and vehicles as a multi lead multi follower Stackelberg game. Considering the dynamic arrivals of the vehicles and time varying parking capacity constraints, we present a multi agent deep reinforcement learning approach to gradually reach the Stackelberg equilibrium in a distributed yet privacy preserving manner. Finally, numerical results are provided to demonstrate the effectiveness and efficiency of our scheme.


Simplicity, bounded normal generation, and automatic continuity of groups of unitaries. We show that the commutator subgroup of the group of unitaries connected to the identity in a simple unital C algebra is simple modulo its center. We then go on to investigate the role of regularity properties in the structure of the special unitary group of a C algebra. Under mild assumptions, we show that this group has the invariant automatic continuity property and a unique polish group topology. Strengthening our assumptions in the case of simple C algebras, we show that the special unitary group modulo its center has bounded normal generation. These results apply to all simple purely infinite C algebras and too all simple nuclear C algebras in the "classifiable class". We show with counterexamples how our conclusions may in general fail if no regularity conditions are imposed on the C algebra.


Polynomial Integrality Gap of Flow LP for Directed Steiner Tree. In the Directed Steiner Tree (DST) problem, we are given a directed graph G (V,E) on n vertices with edge costs c in mathbb R geq 0 E , a root vertex r , and a set K of k terminals. The goal is to find a minimum cost subgraph of G that contains a path from r to every terminal t in K . DST has been a notorious problem for decades as there is a large gap between the best known polynomial time approximation ratio of O(k epsilon) for any constant epsilon 0 , and the best quasi polynomial time approximation ratio of O left( frac log 2 k log log k right) . Towards understanding this gap, we study the integrality gap of the standard flow LP relaxation for the problem. We show that the LP has an integrality gap polynomial in n . Previously, the integrality gap LP is only known to be Omega left( frac log 2n log log n right) Halperin et al., SODA'03 SIAM J. Comput. and Omega( sqrt k ) Zosin Khuller, SODA'02 in some instance with sqrt k O left( frac log n log log n right) . Our result gives the first known lower bound on the integrality gap of this standard LP that is polynomial in n , the number of vertices. Consequently, we rule out the possibility of developing a poly logarithmic approximation algorithm for the problem based on the flow LP relaxation.


Tradeoff between Diversity and Multiplexing Gains in Block Fading Optical Wireless Channels. The diversity multiplexing tradeoff (DMT) provides a fundamental performance metric for different multiple input multiple output (MIMO) schemes in wireless communications. In this paper, we explore the block fading optical wireless communication (OWC) channels and characterize the DMT in the presence of both optical peak and average power constraints. Three different fading distributions are considered, which reflect different channel conditions. In each channel condition, we obtain the optimal DMT when the block length is sufficiently large, and we also derive the lower and upper bounds of the DMT curve when the block length is small. These results are dramatically different from the existing DMT results in radio frequency (RF) channels. These differences may be due to the fact that the optical input signal is real and bounded, while its RF counterpart is usually complex and unbounded.


Time Dependent Density Functional Theory Applied to Average Atom Opacity. We focus on studying the opacity of iron, chromium, and nickel plasmas at conditions relevant to experiments carried out at Sandia National Laboratories J. E. Bailey et al., Nature 517, 56 (2015) . We calculate the photo absorption cross sections and subsequent opacity for plasmas using linear response time dependent density functional theory (TD DFT). Our results indicate that the physics of channel mixing accounted for in linear response TD DFT leads to an increase in the opacity in the bound free quasi continuum, where the Sandia experiments indicate that models under predict iron opacity. However, the increase seen in our calculations is only in the range of 5 10 . Further, we do not see any change in this trend for chromium and nickel. This behavior indicates that channel mixing effects do not explain the trends in opacity observed in the Sandia experiments.


Spatial Variation in the Responses of the Surface External and Induced Magnetic Field to the Solar Wind. We analyze the spatial variation in the response of the surface geomagnetic field (or the equivalent ionospheric current) to variations in the solar wind. Specifically, we regress a reanalysis of surface external and induced magnetic field (SEIMF) variations onto measurements of the solar wind. The regression is performed in monthly sets, independently for 559 regularly spaced locations covering the entire northern polar region above 50 magnetic latitude. At each location, we find the lag applied to the solar wind data that maximizes the correlation with the SEIMF. The resulting spatial maps of these independent lags and regression coefficients provide a model of the localized SEIMF response to variations in the solar wind, which we call guillemotleft Spatial Information from Distributed Exogenous Regression. guillemotright We find that the lag and regression coefficients vary systematically with ionospheric region, season, and solar wind driver. In the polar cap region the SEIMF is best described by the (B y ) component of the interplanetary magnetic field (50 75 of total variance explained) at a lag the SEIMF is best described by the solar wind that varies with season and magnetic local time (MLT), from sim 15 20 min for dayside and afternoon MLT (except in Oct Dec) to typically 30 40 min for nightside and morning MLT and even longer (60 65 min) around midnight MLT.


CAR Cityscapes Attributes Recognition A Multi category Attributes Dataset for Autonomous Vehicles. Self driving vehicles are the future of transportation. With current advancements in this field, the world is getting closer to safe roads with almost zero probability of having accidents and eliminating human errors. However, there is still plenty of research and development necessary to reach a level of robustness. One important aspect is to understand a scene fully including all details. As some characteristics (attributes) of objects in a scene (drivers' behavior for instance) could be imperative for correct decision making. However, current algorithms suffer from low quality datasets with such rich attributes. Therefore, in this paper, we present a new dataset for attributes recognition Cityscapes Attributes Recognition (CAR). The new dataset extends the well known dataset Cityscapes by adding an additional yet important annotation layer of attributes of objects in each image. Currently, we have annotated more than 32k instances of various categories (Vehicles, Pedestrians, etc.). The dataset has a structured and tailored taxonomy where each category has its own set of possible attributes. The tailored taxonomy focuses on attributes that is of most beneficent for developing better self driving algorithms that depend on accurate computer vision and scene comprehension. We have also created an API for the dataset to ease the usage of CAR. The API can be accessed through https github.com kareem metwaly CAR API.


Solving Multi Arm Bandit Using a Few Bits of Communication. The multi armed bandit (MAB) problem is an active learning framework that aims to select the best among a set of actions by sequentially observing rewards. Recently, it has become popular for a number of applications over wireless networks, where communication constraints can form a bottleneck. Existing works usually fail to address this issue and can become infeasible in certain applications. In this paper we address the communication problem by optimizing the communication of rewards collected by distributed agents. By providing nearly matching upper and lower bounds, we tightly characterize the number of bits needed per reward for the learner to accurately learn without suffering additional regret. In particular, we establish a generic reward quantization algorithm, QuBan, that can be applied on top of any (no regret) MAB algorithm to form a new communication efficient counterpart, that requires only a few (as low as 3) bits to be sent per iteration while preserving the same regret bound. Our lower bound is established via constructing hard instances from a subgaussian distribution. Our theory is further corroborated by numerically experiments.


Open Player Modeling Empowering Players through Data Transparency. Data is becoming an important central point for making design decisions for most software. Game development is not an exception. As data driven methods and systems start to populate these environments, a good question is can we make models developed from this data transparent to users? In this paper, we synthesize existing work from the Intelligent User Interface and Learning Science research communities, where they started to investigate the potential of making such data and models available to users. We then present a new area exploring this question, which we call Open Player Modeling, as an emerging research area. We define the design space of Open Player Models and present exciting open problems that the games research community can explore. We conclude the paper with a case study and discuss the potential value of this approach.


Factor of iid balanced orientation of non amenable graphs. We show that if a non amenable, quasi transitive, unimodular graph G has all degrees even then it has a factor of iid balanced orientation, meaning each vertex has equal in and outdegree. This result involves extending earlier spectral theoretic results on Bernoulli shifts to the Bernoulli graphings of quasi transitive, unimodular graphs. As a consequence, we also obtain that when G is regular (of either odd or even degree) and bipartite, it has a factor of iid perfect matching. This generalizes a result of Lyons and Nazarov beyond transitive graphs.


Convergence Rate To Equilibrium For Collisionless Transport Equations With Diffuse Boundary Operators A New Tauberian Approach. This paper provides a new tauberian approach to the study of quantitative time asymptotics of collisionless transport semigroups with general diffuse boundary operators. We obtain an (almost) optimal algebraic rate of convergence to equilibrium under very general assumptions on the initial datum and the boundary operator. The rate is prescribed by the maximal gain of integrability that the boundary operator is able to induce. The proof relies on a representation of the collisionless transport semigroups by a (kind of) Dyson Phillips series and on a fine analysis of the trace on the imaginary axis of Laplace transform of remainders (of large order) of this series. Our construction is systematic and is based on various preliminary results of independent interest.


On the local well posedness of the 1D Green Naghdi system over a nonflat bottom. In this paper we consider the 1D Green Naghdi system over a nonflat bottom. This system describes the evolution of water waves over an uneven bottom in the shallow water regime in terms of the water depth h and the horizontal velocity u . Using a Lagrangian formulation of this system on a Sobolev type diffeomorphism group we prove local well posedness for (h,u) in the Sobolev space (1 H s( mathbb R)) times H s 1 ( mathbb R), s 1 2 . This improves the local well posedness range.


Spatial Attention Improves Iterative 6D Object Pose Estimation. The task of estimating the 6D pose of an object from RGB images can be broken down into two main steps an initial pose estimation step, followed by a refinement procedure to correctly register the object and its observation. In this paper, we propose a new method for 6D pose estimation refinement from RGB images. To achieve high accuracy of the final estimate, the observation and a rendered model need to be aligned. Our main insight is that after the initial pose estimate, it is important to pay attention to distinct spatial features of the object in order to improve the estimation accuracy during alignment. Furthermore, parts of the object that are occluded in the image should be given less weight during the alignment process. Most state of the art refinement approaches do not allow for this fine grained reasoning and can not fully leverage the structure of the problem. In contrast, we propose a novel neural network architecture built around a spatial attention mechanism that identifies and leverages information about spatial details during pose refinement. We experimentally show that this approach learns to attend to salient spatial features and learns to ignore occluded parts of the object, leading to better pose estimation across datasets. We conduct experiments on standard benchmark datasets for 6D pose estimation (LineMOD and Occlusion LineMOD) and outperform previous state of the art methods.


Finite State Graphon Games with Applications to Epidemics. We consider a game for a continuum of non identical players evolving on a finite state space. Their heterogeneous interactions are represented by a graphon, which can be viewed as the limit of a dense random graph. The player's transition rates between the states depend on their own control and the interaction strengths with the other players. We develop a rigorous mathematical framework for this game and analyze Nash equilibria. We provide a sufficient condition for a Nash equilibrium and prove existence of solutions to a continuum of fully coupled forward backward ordinary differential equations characterizing equilibria. Moreover, we propose a numerical approach based on machine learning tools and show experimental results on different applications to compartmental models in epidemiology.


Remarks on j eigenfunctions of operators. The paper is largely concerned with the possibility of obtaining a series representation for a compact linear map T acting between Banach spaces. It is known that, using the notions of j eigenfunctions and j eigenvalues, such a representation is possible under certain conditions on T . Particular cases discussed include those in which T can be factorised through a Hilbert space, or has certain s numbers that are fast decaying. The notion of p compactness proves to be useful in this context we give examples of maps that possess this property.


Virtual twin groups and permutations. Twin groups and virtual twin groups are planar analogues of braid groups and virtual braid groups, respectively. These groups play the role of braid groups in the Alexander Markov correspondence for the theory of stable isotopy classes of immersed circles on surfaces. In this paper, we show that there exists an irreducible right angled Coxeter group KT n inside the virtual twin group VT n on n ge 2 strands and that KT n contains the twin group T n . As a consequence, it follows that the twin group T n embeds inside the virtual twin group VT n , which is an analogue of a similar result for braid groups. The group KT n is further used to obtain a complete description of homomorphisms between virtual twin groups and symmetric groups. As an application, we obtain the precise structure of the automorphism group of VT n .


Market Crash Prediction Model for Markets in A Rational Bubble. Renowned method of log periodic power law(LPPL) is one of the few ways that a financial market crash could be predicted. Alongside with LPPL, this paper propose a novel method of stock market crash using white box model derived from simple assumptions about the state of rational bubble. By applying this model to Dow Jones Index and Bitcoin market price data, it is shown that the model successfully predicts some major crashes of both markets, implying the high sensitivity and generalization abilities of the model.


Stable specific torsion length and periodic mapping classes. We show that for any periodic mapping class, there is some power which maps a nonseparating, simple closed curve to a distinct, disjoint nonseparating curve. As an application of this result, we introduce the notion of stable specific torsion length of a group element and show that the stable specific torsion length of a Dehn twist is bounded above by six.


Positive Hermitian Curvature Flow on special linear groups and perfect solitons. We study invariant solutions to the Positive Hermitian Curvature Flow, introduced by Ustinovskiy, on complex Lie groups. We show in particular that the canonical scale static metrics on the special linear groups, arising from the Killing form, are dynamically unstable. This disproves a conjecture of Ustinovskiy. We also construct certain perfect Lie groups that admit at least two distinct invariant solitons for the flow, only one of which is algebraic. This is the second known example of a geometric flow with non algebraic, homogeneous solitons. The first being the G2 Laplacian flow.


The Brjuno functions of the by excess, odd, even and odd odd continued fractions and their regularity properties. The Brjuno function was introduced by Yoccoz to study the linearizability of holomorphic germs and other one dimensional small divisor problems. The Brjuno functions associated with various continued fractions including the by excess continued fraction were subsequently investigated, and it was conjectured that the difference between the classical Brjuno function and the even part of the Brjuno function associated with the by excess continued fraction extends to a H "older continuous function of the whole real line. In this paper, we prove this conjecture and we extend its validity to the more general case of Brjuno functions with positive exponents. Moreover, we study the Brjuno functions associated to the odd and even continued fractions introduced by Schweiger. We show that they belong to all L p spaces, p ge1 , and we prove that they differ from the classical Brjuno function by a H "older continuous function. The odd odd continued fraction, introduced in the study of the best approximations of the form odd odd, appears in the analysis of the Brjuno function associated with the even continued fraction.


Exploring the Asynchronous of the Frequency Spectra of GAN generated Facial Images. The rapid progression of Generative Adversarial Networks (GANs) has raised a concern of their misuse for malicious purposes, especially in creating fake face images. Although many proposed methods succeed in detecting GAN based synthetic images, they are still limited by the need for large quantities of the training fake image dataset and challenges for the detector's generalizability to unknown facial images. In this paper, we propose a new approach that explores the asynchronous frequency spectra of color channels, which is simple but effective for training both unsupervised and supervised learning models to distinguish GAN based synthetic images. We further investigate the transferability of a training model that learns from our suggested features in one source domain and validates on another target domains with prior knowledge of the features' distribution. Our experimental results show that the discrepancy of spectra in the frequency domain is a practical artifact to effectively detect various types of GAN based generated images.


The curvature of convex sum of metrics and applications. In this paper we explore the curvature of convex sums of Riemannian metrics g(t) (1 t)g 0 tg 1 , and study whether such a deformation can increase the curvature of an immersed totally geodesic flat tori. We obtain necessary and sufficient conditions for g(t) to have average positive r order variation ( r geq 2) along the torus and apply them for paths joining g 0 to known classical deformations.


High Throughput Virtual Screening of Small Molecule Inhibitors for SARS CoV 2 Protein Targets with Deep Fusion Models. Structure based Deep Fusion models were recently shown to outperform several physics and machine learning based protein ligand binding affinity prediction methods. As part of a multi institutional COVID 19 pandemic response, over 500 million small molecules were computationally screened against four protein structures from the novel coronavirus (SARS CoV 2), which causes COVID 19. Three enhancements to Deep Fusion were made in order to evaluate more than 5 billion docked poses on SARS CoV 2 protein targets. First, the Deep Fusion concept was refined by formulating the architecture as one, coherently backpropagated model (Coherent Fusion) to improve binding affinity prediction accuracy. Secondly, the model was trained using a distributed, genetic hyper parameter optimization. Finally, a scalable, high throughput screening capability was developed to maximize the number of ligands evaluated and expedite the path to experimental evaluation. In this work, we present both the methods developed for machine learning based high throughput screening and results from using our computational pipeline to find SARS CoV 2 inhibitors.


Parameter Robust Preconditioning for Oseen Iteration Applied to Stationary and Instationary Navier Stokes Control. We derive novel, fast, and parameter robust preconditioned iterative methods for steady and time dependent Navier Stokes control problems. Our approach may be applied to time dependent problems which are discretized using backward Euler or Crank Nicolson, and is also a valuable candidate for Stokes control problems discretized using Crank Nicolson. The key ingredients of the solver are a saddle point type approximation for the linear systems, an inner iteration for the (1,1) block accelerated by a preconditioner for convection diffusion control, and an approximation to the Schur complement based on a potent commutator argument applied to an appropriate block matrix. A range of numerical experiments validate the effectiveness of our new approach.


Unifying Heterogeneous Electronic Health Records Systems via Text Based Code Embedding. Substantial increase in the use of Electronic Health Records (EHRs) has opened new frontiers for predictive healthcare. However, while EHR systems are nearly ubiquitous, they lack a unified code system for representing medical concepts. Heterogeneous formats of EHR present a substantial barrier for the training and deployment of state of the art deep learning models at scale. To overcome this problem, we introduce Description based Embedding, DescEmb, a code agnostic description based representation learning framework for predictive modeling on EHR. DescEmb takes advantage of the flexibility of neural language understanding models while maintaining a neutral approach that can be combined with prior frameworks for task specific representation learning or predictive modeling. We tested our model's capacity on various experiments including prediction tasks, transfer learning and pooled learning. DescEmb shows higher performance in overall experiments compared to code based approach, opening the door to a text based approach in predictive healthcare research that is not constrained by EHR structure nor special domain knowledge.


On the motion of gravity capillary waves with odd viscosity. We develop three asymptotic models of surface waves in a non newtonian fluid with odd viscosity. This viscosity is also known as Hall viscosity and appears in a number of applications such as quantum Hall fluids or chiral active fluids. Besides the odd viscosity effects, these models capture both gravity and capillary forces up to quadratic interactions and take the form of nonlinear and nonlocal wave equations. Two of these models describe bidirectional waves while the third PDE studies the case of unidirectional propagation. We also prove the well posedness of these asymptotic models in spaces of analytic functions and in Sobolev spaces. Finally, we present a number of numerical simulations for the unidirectional model.


A Detector oblivious Multi arm Network for Keypoint Matching. This paper presents a matching network to establish point correspondence between images. We propose a Multi Arm Network (MAN) to learn region overlap and depth, which can greatly improve the keypoint matching robustness while bringing little computational cost during the inference stage. Another design that makes this framework different from many existing learning based pipelines that require re training when a different keypoint detector is adopted, our network can directly work with different keypoint detectors without such a time consuming re training process. Comprehensive experiments conducted on outdoor and indoor datasets demonstrated that our proposed MAN outperforms state of the art methods. Code will be made publicly available.


Fine Manipulation and Dynamic Interaction in Haptic Teleoperation. The teleoperation of robots enables remote intervention in distant and dangerous tasks without putting the operator in harm's way. However, remote operation faces fundamental challenges due to limits in communication delays. The proposed work improves the performances of teleoperation architecture based on Fractal Impedance Controller (FIC) by integrating into the haptic teleoperation pipeline a postural optimisation that also accounts for the replica robots' physical limitations. This update improves dynamic interactions by trading off tracking accuracy to maintain the system within its power limits. Thus, allowing fine manipulation without renouncing the robustness of the FIC controller. Additionally, the proposed method allows an online trade off between tracking the autonomous trajectory and executing the teleoperated command, allowing their safe superimposition. The validated experimental results show that the proposed method is robust to increased communication delays. Moreover, we demonstrated that the remote teleoperated robot remains stable and safe to interact with, even when the communication with the master side is abruptly interrupted. with, even when the communication with the master side is abruptly interrupted.


Probabilistic Framework For Loss Distribution Of Smart Contract Risk. Smart contract risk can be defined as a financial risk of loss due to cyber attacks on or contagious failures of smart contracts. Its quantification is of paramount importance to technology platform providers as well as companies and individuals when considering the deployment of this new technology. That is why, as our primary contribution, we propose a structural framework of aggregate loss distribution for smart contract risk under the assumption of a tree stars graph topology representing the network of interactions among smart contracts and their users. Up to our knowledge, there exist no theoretical frameworks or models of an aggregate loss distribution for smart contracts in this setting. To achieve our goal, we contextualize the problem in the probabilistic graph theoretical framework using bond percolation models. We assume that the smart contract network topology is represented by a random tree graph of finite size, and that each smart contract is the center of a random star graph whose leaves represent the users of the smart contract. We allow for heterogeneous loss topology superimposed on this smart contract and user topology and provide analytical results and instructive numerical examples.


Comparing different subgradient methods for solving convex optimization problems with functional constraints. We provide a dual subgradient method and a primal dual subgradient method for standard convex optimization problems with complexity mathcal O ( varepsilon 2 ) and mathcal O ( varepsilon 2r ) , for all r 1 , respectively. They are based on recent Metel Takeda's work in arXiv 2009.12769, 2020, pp. 1 12 and Boyd's method in Lecture notes of EE364b, Stanford University, Spring 2013 14, pp. 1 39 . The efficiency of our methods is numerically illustrated in a comparison to the others.


A survey on datasets for fairness aware machine learning. As decision making increasingly relies on Machine Learning (ML) and (big) data, the issue of fairness in data driven Artificial Intelligence (AI) systems is receiving increasing attention from both research and industry. A large variety of fairness aware machine learning solutions have been proposed which involve fairness related interventions in the data, learning algorithms and or model outputs. However, a vital part of proposing new approaches is evaluating them empirically on benchmark datasets that represent realistic and diverse settings. Therefore, in this paper, we overview real world datasets used for fairness aware machine learning. We focus on tabular data as the most common data representation for fairness aware machine learning. We start our analysis by identifying relationships between the different attributes, particularly w.r.t. protected attributes and class attribute, using a Bayesian network. For a deeper understanding of bias in the datasets, we investigate the interesting relationships using exploratory analysis.


Emotions as abstract evaluation criteria in biological and artificial intelligences. Biological as well as advanced artificial intelligences (AIs) need to decide which goals to pursue. We review nature's solution to the time allocation problem, which is based on a continuously readjusted categorical weighting mechanism we experience introspectively as emotions. One observes phylogenetically that the available number of emotional states increases hand in hand with the cognitive capabilities of animals and that raising levels of intelligence entail ever larger sets of behavioral options. Our ability to experience a multitude of potentially conflicting feelings is in this view not a leftover of a more primitive heritage, but a generic mechanism for attributing values to behavioral options that can not be specified at birth. In this view, emotions are essential for understanding the mind. For concreteness, we propose and discuss a framework which mimics emotions on a functional level. Based on time allocation via emotional stationarity (TAES), emotions are implemented as abstract criteria, such as satisfaction, challenge and boredom, which serve to evaluate activities that have been carried out. The resulting timeline of experienced emotions is compared with the character' of the agent, which is defined in terms of a preferred distribution of emotional states. The long term goal of the agent, to align experience with character, is achieved by optimizing the frequency for selecting individual tasks. Upon optimization, the statistics of emotion experience becomes stationary.


Teaching Models new APIs Domain Agnostic Simulators for Task Oriented Dialogue. We demonstrate that large language models are able to simulate Task Oriented Dialogues in novel domains, provided only with an API implementation and a list of goals. We show these simulations can formulate online, automatic metrics that correlate well with human evaluations. Furthermore, by checking for whether the User's goals are met, we can use simulation to repeatedly generate training data and improve the quality of simulations themselves. With no human intervention or domain specific training data, our simulations bootstrap end to end models which achieve a 37 error reduction in previously unseen domains. By including as few as 32 domain specific conversations, bootstrapped models can match the performance of a fully supervised model with 10 times more data. To our knowledge, this is the first time simulations have been shown to be effective at bootstrapping models without explicitly requiring any domain specific training data, rule engineering, or humans in the loop.


Long Time Decay and Asymptotics for the Complex mKdV Equation. We study the asymptotics of the complex modified Korteweg de Vries equation begin equation partial t u partial x 3 u pm u 2 partial x u end equation In the real valued case, it is known that solutions with small, localized initial data exhibit modified scattering for x geq t 1 3 , and behave self similarly for x leq t 1 3 . We prove that the same asymptotics hold for complex mKdV. The major difficulty in the complex case is that the nonlinearity cannot be expressed as a derivative, which prevents us from using the scaling vector field to get control in weighted L 2 spaces. Instead, we must argue carefully about how wave packets at different frequencies interact in physical space while exploiting cancellations to prevent a loss of derivatives. A key ingredient in our argument is the decomposition u S w , where S is a self similar solution with the same mean as u and w is a remainder that has better decay.


Two Public Key Cryptosystems Based on Expanded Gabidulin Codes. This paper presents two public key cryptosystems based on the so called expanded Gabidulin codes, which are constructed by expanding Gabidulin codes over the base field. Exploiting the fast decoder of Gabidulin codes, we propose an efficient algorithm to decode these new codes when the noise vector satisfies a certain condition. Additionally, these new codes have an excellent error correcting capability because of the optimality of their parent Gabidulin codes. With different masking techniques, we give two encryption schemes by using expanded Gabidulin codes in the McEliece setting. Being constructed over the base field, these two proposals can prevent the existing structural attacks using the Frobenius map. Based on the distinguisher for Gabidulin codes, we propose a distinguisher for expanded Gabidulin codes by introducing the concept of the so called twisted Frobenius power. It turns out that the public code in our proposals seems indistinguishable from random codes under this distinguisher. Furthermore, our proposals have an obvious advantage in public key representation without using the cyclic or quasi cyclic structure compared to some other code based cryptosystems. To achieve the security of 256 bits, for instance, a public key size of 37583 bytes is enough for our first proposal, while around 1044992 bytes are needed for Classic McEliece selected as a candidate of the third round of the NIST PQC project.