GeoQA A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning. Automatic math problem solving has recently attracted increasing attention as a long standing AI benchmark. In this paper, we focus on solving geometric problems, which requires a comprehensive understanding of textual descriptions, visual diagrams, and theorem knowledge. However, the existing methods were highly dependent on handcraft rules and were merely evaluated on small scale datasets. Therefore, we propose a Geometric Question Answering dataset GeoQA, containing 4,998 geometric problems with corresponding annotated programs, which illustrate the solving process of the given problems. Compared with another publicly available dataset GeoS, GeoQA is 25 times larger, in which the program annotations can provide a practical testbed for future research on explicit and explainable numerical reasoning. Moreover, we introduce a Neural Geometric Solver (NGS) to address geometric problems by comprehensively parsing multimodal information and generating interpretable programs. We further add multiple self supervised auxiliary tasks on NGS to enhance cross modal semantic representation. Extensive experiments on GeoQA validate the effectiveness of our proposed NGS and auxiliary tasks. However, the results are still significantly lower than human performance, which leaves large room for future research. Our benchmark and code are released at https github.com chen judge GeoQA .


Discretizing L p norms and frame theory. Given an N dimensional subspace X of L p( 0,1 ) , we consider the problem of choosing M sampling points which may be used to discretely approximate the L p norm on the subspace. We are particularly interested in knowing when the number of sampling points M can be chosen on the order of the dimension N . For the case p 2 it is known that M may always be chosen on the order of N as long as the subspace X satisfies a natural L infty bound, and for the case p infty there are examples where M may not be chosen on the order of N . We show for all 1 leq p 2 that there exist classes of subspaces of L p( 0,1 ) which satisfy the L infty bound, but where the number of sampling points M cannot be chosen on the order of N . We show as well that the problem of discretizing the L p norm of subspaces is directly connected with frame theory. In particular, we prove that discretizing a continuous frame to obtain a discrete frame which does stable phase retrieval requires discretizing both the L 2 norm and the L 1 norm on the range of the analysis operator of the continuous frame.


OkwuGb 'e End to End Speech Recognition for Fon and Igbo. Language is inherent and compulsory for human communication. Whether expressed in a written or spoken way, it ensures understanding between people of the same and different regions. With the growing awareness and effort to include more low resourced languages in NLP research, African languages have recently been a major subject of research in machine translation, and other text based areas of NLP. However, there is still very little comparable research in speech recognition for African languages. Interestingly, some of the unique properties of African languages affecting NLP, like their diacritical and tonal complexities, have a major root in their speech, suggesting that careful speech interpretation could provide more intuition on how to deal with the linguistic complexities of African languages for text based NLP. OkwuGb 'e is a step towards building speech recognition systems for African low resourced languages. Using Fon and Igbo as our case study, we conduct a comprehensive linguistic analysis of each language and describe the creation of end to end, deep neural network based speech recognition models for both languages. We present a state of art ASR model for Fon, as well as benchmark ASR model results for Igbo. Our linguistic analyses (for Fon and Igbo) provide valuable insights and guidance into the creation of speech recognition models for other African low resourced languages, as well as guide future NLP research for Fon and Igbo. The Fon and Igbo models source code have been made publicly available.


Exploiting the Hidden Tasks of GANs Making Implicit Subproblems Explicit. We present an alternative perspective on the training of generative adversarial networks (GANs), showing that the training step for a GAN generator decomposes into two implicit subproblems. In the first, the discriminator provides new target data to the generator in the form of "inverse examples" produced by approximately inverting classifier labels. In the second, these examples are used as targets to update the generator via least squares regression, regardless of the main loss specified to train the network. We experimentally validate our main theoretical result and demonstrate significant improvements over standard GAN training made possible by making these subproblems explicit.


Design and Development of Robots End Effector Test Rig. A Test Rig for end effectors of a robot is designed such that it achieves a prismatic motion in x y z axes for grasping an object. It is a structure, designed with a compact combination of sensors and actuators. Sensors are used for detecting presence, position and disturbance of target work piece or any object and actuators with motor driving system meant for controlling and moving the mechanism of the system. Hence, it improves the ergonomics and accuracy of an operation with enhanced repeatability.


Delayed onset and directionality of x ray induced atomic displacements observed on subatomic length scales. Transient structural changes of Al 2 O 3 on subatomic length scales following irradiation with an intense x ray laser pulse (photon energy 8.70 keV pulse duration 6 fs fluence 8 times 10 2 J cm 2 ) have been investigated by using an x ray pump x ray probe technique. The measurement reveals that aluminum and oxygen atoms remain in their original positions by sim 20 fs after the intensity maximum of the pump pulse, followed by directional atomic displacements at the fixed unit cell parameters. By comparing the experimental results and theoretical simulations, we interpret that electron excitation and relaxation triggered by the pump pulse modifies the potential energy surface and drives the directional atomic displacements. Our results indicate that high resolution x ray structural analysis with the accuracy of 0.01 AA is feasible even with intense x ray pulses by making the pulse duration shorter than the timescale needed to complete electron excitation and relaxation processes, which usually take up to a few tens of femtoseconds.


Calogero Moser cells of dihedral groups at equal parameters. We prove that Calogero Moser cells coincide with Kazhdan Lusztig cells for dihedral groups, in the equal parameter case.


The paradox of the compositionality of natural language a neural machine translation case study. Obtaining human like performance in NLP is often argued to require compositional generalisation. Whether neural networks exhibit this ability is usually studied by training models on highly compositional synthetic data. However, compositionality in natural language is much more complex than the rigid, arithmetic like version such data adheres to, and artificial compositionality tests thus do not allow us to determine how neural models deal with more realistic forms of compositionality. In this work, we re instantiate three compositionality tests from the literature and reformulate them for neural machine translation (NMT). Our results highlight that i) unfavourably, models trained on more data are more compositional ii) models are sometimes less compositional than expected, but sometimes more, exemplifying that different levels of compositionality are required, and models are not always able to modulate between them correctly iii) some of the non compositional behaviours are mistakes, whereas others reflect the natural variation in data. Apart from an empirical study, our work is a call to action we should rethink the evaluation of compositionality in neural networks and develop benchmarks using real data to evaluate compositionality on natural language, where composing meaning is not as straightforward as doing the math.


Mind Mappings Enabling Efficient Algorithm Accelerator Mapping Space Search. Modern day computing increasingly relies on specialization to satiate growing performance and efficiency requirements. A core challenge in designing such specialized hardware architectures is how to perform mapping space search, i.e., search for an optimal mapping from algorithm to hardware. Prior work shows that choosing an inefficient mapping can lead to multiplicative factor efficiency overheads. Additionally, the search space is not only large but also non convex and non smooth, precluding advanced search techniques. As a result, previous works are forced to implement mapping space search using expert choices or sub optimal search heuristics. This work proposes Mind Mappings, a novel gradient based search method for algorithm accelerator mapping space search. The key idea is to derive a smooth, differentiable approximation to the otherwise non smooth, non convex search space. With a smooth, differentiable approximation, we can leverage efficient gradient based search algorithms to find high quality mappings. We extensively compare Mind Mappings to black box optimization schemes used in prior work. When tasked to find mappings for two important workloads (CNN and MTTKRP), the proposed search finds mappings that achieve an average 1.40 times , 1.76 times , and 1.29 times (when run for a fixed number of steps) and 3.16 times , 4.19 times , and 2.90 times (when run for a fixed amount of time) better energy delay product (EDP) relative to Simulated Annealing, Genetic Algorithms and Reinforcement Learning, respectively. Meanwhile, Mind Mappings returns mappings with only 5.32 times higher EDP than a possibly unachievable theoretical lower bound, indicating proximity to the global optima.


The Bohr inequality for the generalized C 'e saro averaging operators. The main aim of this paper is to prove a generalization of the classical Bohr theorem and as an application, we obtain a counterpart of Bohr theorem for the generalized Ces 'aro operator.


Modeling cardiac muscle fibers in ventricular and atrial electrophysiology simulations. Since myocardial fibers drive the electric signal propagation throughout the myocardium, accurately modeling their arrangement is essential for simulating heart electrophysiology (EP). Rule Based Methods (RBMs) represent a commonly used strategy to include cardiac fibers in computational models. A particular class of such methods is known as Laplace Dirichlet Rule Based Methods (LDRBMs) since they rely on the solution of Laplace problems. In this work we provide a unified framework, based on LDRBMs, for generating full heart muscle fibers. First, we review existing ventricular LDRBMs providing a communal mathematical description and introducing also some modeling improvements with respect to the existing literature. We then carry out a systematic comparison of LDRBMs based on meaningful biomarkers produced by numerical EP simulations. Next we propose, for the first time, a LDRBM to be used for generating atrial fibers. The new method, tested both on idealized and realistic atrial models, can be applied to any arbitrary geometries. Finally, we present numerical results obtained in a realistic whole heart where fibers are included for all the four chambers using the discussed LDRBMs.


Throttling Equilibria in Auction Markets. Throttling is a popular method of budget management for online ad auctions in which the platform modulates the participation probability of an advertiser in order to smoothly spend her budget across many auctions. In this work, we investigate the setting in which all of the advertisers simultaneously employ throttling to manage their budgets, and we do so for both first price and second price auctions. We analyze the structural and computational properties of the resulting equilibria. For first price auctions, we show that a unique equilibrium always exists, is well behaved and can be computed efficiently via tatonnement style decentralized dynamics. In contrast, for second price auctions, we prove that even though an equilibrium always exists, the problem of finding an equilibrium is PPAD complete, there can be multiple equilibria, and it is NP hard to find the revenue maximizing one. Finally, we compare the equilibrium outcomes of throttling to those of multiplicative pacing, which is the other most popular and well studied method of budget management.


Lagrangian fillings for Legendrian links of affine type. We prove that there are at least as many exact embedded Lagrangian fillings as seeds for Legendrian links of affine type tilde mathsf D tilde mathsf E . We also provide as many Lagrangian fillings with certain symmetries as seeds of type tilde mathsf B n , tilde mathsf F 4 , tilde mathsf G 2 , and mathsf E 6 (2) . These families are the first known Legendrian links with infinitely many fillings that exhaust all seeds in the corresponding cluster structures. Furthermore, we show that Legendrian realization of Coxeter mutation of type tilde mathsf D corresponds to the Legendrian loop considered by Casals and Ng.


Matroid psi classes. Motivated by the intersection theory of moduli spaces of curves, we introduce psi classes in matroid Chow rings and prove a number of properties that naturally generalize properties of psi classes in Chow rings of Losev Manin spaces. We use these properties of matroid psi classes to give new proofs of (1) a Chow theoretic interpretation for the coefficients of the reduced characteristic polynomials of matroids, (2) explicit formulas for the volume polynomials of matroids, and (3) Poincare duality for matroid Chow rings.


Global well posedness for a Q tensor model of nematic liquid crystals. In this paper, we prove the global well posedness and the decay estimates for a mathbb Q tensor model of nematic liquid crystals in mathbb R N , N geq 3 . This system is coupled system by the Navier Stokes equations with a parabolic type equation describing the evolution of the director fields mathbb Q . The proof is based on the maximal L p L q regularity and the L p L q decay estimates to the linearized problem.


Adaptive Synchronisation of Pushdown Automata. We introduce the notion of adaptive synchronisation for pushdown automata, in which there is an external observer who has no knowledge about the current state of the pushdown automaton, but can observe the contents of the stack. The observer would then like to decide if it is possible to bring the automaton from any state into some predetermined state by giving inputs to it in an emph adaptive manner, i.e., the next input letter to be given can depend on how the contents of the stack changed after the current input letter. We show that for non deterministic pushdown automata, this problem is 2 EXPTIME complete and for deterministic pushdown automata, we show EXPTIME completeness. To prove the lower bounds, we first introduce (different variants of) subset synchronisation and show that these problems are polynomial time equivalent with the adaptive synchronisation problem. We then prove hardness results for the subset synchronisation problems. For proving the upper bounds, we consider the problem of deciding if a given alternating pushdown system has an accepting run with at most k leaves and we provide an n O(k 2) time algorithm for this problem.


Auto Encoding Molecular Conformations. In this work we introduce an Autoencoder for molecular conformations. Our proposed model converts the discrete spatial arrangements of atoms in a given molecular graph (conformation) into and from a continuous fixed sized latent representation. We demonstrate that in this latent representation, similar conformations cluster together while distinct conformations split apart. Moreover, by training a probabilistic model on a large dataset of molecular conformations, we demonstrate how our model can be used to generate diverse sets of energetically favorable conformations for a given molecule. Finally, we show that the continuous representation allows us to utilize optimization methods to find molecules that have conformations with favourable spatial properties.


Regularization for convolutional kernel tensors to avoid unstable gradient problem in convolutional neural networks. Convolutional neural networks are very popular nowadays. Training neural networks is not an easy task. Each convolution corresponds to a structured transformation matrix. In order to help avoid the exploding vanishing gradient problem, it is desirable that the singular values of each transformation matrix are not large small in the training process. We propose three new regularization terms for a convolutional kernel tensor to constrain the singular values of each transformation matrix. We show how to carry out the gradient type methods, which provides new insight about the training of convolutional neural networks.


Combined approach with second order optimality conditions for bilevel programming problems. In this paper, we propose a combined approach with second order optimality conditions of the lower level problem to study constraint qualifications and optimality conditions for bilevel programming problems. The new method is inspired by the combined approach developed by Ye and Zhu in 2010, where the authors combined the classical first order and the value function approaches to derive new necessary optimality conditions under weaker conditions. In our approach, we add the second order optimality condition to the combined program as a new constraint. We show that when all known approaches fail, adding the second order optimality condition as a constraint makes the corresponding partial calmness condition easier to hold. We also give some discussions on optimality conditions and advantages and disadvantages of the combined approaches with the first order and the second order information.


Absence of Space Charge Limited Current in Unconventional Field Emission. For field emission (FE), it is widely expected that its emitting current density J will become space charge limited current (SCLC) due the built up of charge in transit within a gap spacing D biased at sufficiently large voltage V . In this paper, we reveal a peculiar finding in which this expected two stage transition (from FE to SCLC) is no longer valid for FE not obeying the traditional Fowler Nordheim (FN) law. Such effect arises when the non FN based emitters fails to inject sufficient charge current at high voltage to sustain the SCLC. By employing a generalized FN scaling of ln left(J V k right) propto 1 V , we show the existence of a emph critical exponent k c equiv 3 2 where unusual behaviours occur for k k c (a) Only FE at small D (no transition to SCLC even at infinitely large V ), and (b) Three stage transition from FE first to SCLC then back to FE at large D . For any k k c , the conventional two stage transition from FE to SCLC will always occur for all D , which also includes the conventional FN law at k 2. Using various unconventional FE models with k neq 2 , we specifically demonstrate these peculiar transitions. Under a normalized model, our findings uncover the rich interplay between the source limited FE and bulk limited SCLC over a wide range of operating conditions.


GIPA General Information Propagation Algorithm for Graph Learning. Graph neural networks (GNNs) have been popularly used in analyzing graph structured data, showing promising results in various applications such as node classification, link prediction and network recommendation. In this paper, we present a new graph attention neural network, namely GIPA, for attributed graph data learning. GIPA consists of three key components attention, feature propagation and aggregation. Specifically, the attention component introduces a new multi layer perceptron based multi head to generate better non linear feature mapping and representation than conventional implementations such as dot product. The propagation component considers not only node features but also edge features, which differs from existing GNNs that merely consider node features. The aggregation component uses a residual connection to generate the final embedding. We evaluate the performance of GIPA using the Open Graph Benchmark proteins (ogbn proteins for short) dataset. The experimental results reveal that GIPA can beat the state of the art models in terms of prediction accuracy, e.g., GIPA achieves an average test ROC AUC of 0.8700 pm 0.0010 and outperforms all the previous methods listed in the ogbn proteins leaderboard.


On guarding polygons with holes. There is an old conjecture by Shermer cite sher that in a polygon with n vertices and h holes, lfloor dfrac n h 3 rfloor vertex guards are sufficient to guard the entire polygon. The conjecture is proved for h 1 by Shermer cite sher and Aggarwal cite aga seperately. In this paper, we prove a theorem similar to the Shermer's conjecture for a special case where the goal is to guard the vertices of the polygon (not the entire polygon) which is equivalent to finding a dominating set for the visibility graph of the polygon. Our proof also guarantees that the selected vertex guards also cover the entire outer boundary (outer perimeter of the polygon) as well.


Node wise Localization of Graph Neural Networks. Graph neural networks (GNNs) emerge as a powerful family of representation learning models on graphs. To derive node representations, they utilize a global model that recursively aggregates information from the neighboring nodes. However, different nodes reside at different parts of the graph in different local contexts, making their distributions vary across the graph. Ideally, how a node receives its neighborhood information should be a function of its local context, to diverge from the global GNN model shared by all nodes. To utilize node locality without overfitting, we propose a node wise localization of GNNs by accounting for both global and local aspects of the graph. Globally, all nodes on the graph depend on an underlying global GNN to encode the general patterns across the graph locally, each node is localized into a unique model as a function of the global model and its local context. Finally, we conduct extensive experiments on four benchmark graphs, and consistently obtain promising performance surpassing the state of the art GNNs.


Individually Rational Land and Neighbor Allocation Impossibility Results. We consider a setting in which agents are allocated land plots and they have additive preferences over which plot they get and who their neighbor is. Strategyproofness, Pareto optimality, and individual rationality are three fundamental properties in economic design. We present two impossibility results showing that the three properties are incompatible in this context.


MG DVD A Real time Framework for Malware Variant Detection Based on Dynamic Heterogeneous Graph Learning. Detecting the newly emerging malware variants in real time is crucial for mitigating cyber risks and proactively blocking intrusions. In this paper, we propose MG DVD, a novel detection framework based on dynamic heterogeneous graph learning, to detect malware variants in real time. Particularly, MG DVD first models the fine grained execution event streams of malware variants into dynamic heterogeneous graphs and investigates real world meta graphs between malware objects, which can effectively characterize more discriminative malicious evolutionary patterns between malware and their variants. Then, MG DVD presents two dynamic walk based heterogeneous graph learning methods to learn more comprehensive representations of malware variants, which significantly reduces the cost of the entire graph retraining. As a result, MG DVD is equipped with the ability to detect malware variants in real time, and it presents better interpretability by introducing meaningful meta graphs. Comprehensive experiments on large scale samples prove that our proposed MG DVD outperforms state of the art methods in detecting malware variants in terms of effectiveness and efficiency.


PCA based Category Encoder for Categorical to Numerical Variable Conversion. Increasing the cardinality of categorical variables might decrease the overall performance of ML algorithms. This paper presents a novel computational preprocessing method to convert categorical to numerical variables for machine learning (ML) algorithms. In this method, We select and convert three categorical features to numerical features. First, we choose the threshold parameter based on the distribution of categories in variables. Then, we use conditional probabilities to convert each categorical variable into two new numerical variables, resulting in six new numerical variables in total. After that, we feed these six numerical variables to the Principal Component Analysis (PCA) algorithm. Next, we select the whole or partial numbers of Principal Components (PCs). Finally, by applying binary classification with ten different classifiers, We measured the performance of the new encoder and compared it with the other 17 well known category encoders. The proposed technique achieved the highest performance related to accuracy and Area under the curve (AUC) on high cardinality categorical variables using the well known cybersecurity NSLKDD dataset. Also, we defined harmonic average metrics to find the best trade off between train and test performance and prevent underfitting and overfitting. Ultimately, the number of newly created numerical variables is minimal. Consequently, this data reduction improves computational processing time which might reduce processing data in 5G future telecommunication networks.


On the k measure of partitions and distinct partitions. The k measure of an integer partition was recently introduced by Andrews, Bhattacharjee and Dastidar. In this paper, we establish trivariate generating function identities counting both the length and the k measure for partitions and distinct partitions, respectively. The 2 measure case for partitions extends a result of Andrews, Bhattacharjee and Dastidar.


Isotropic Kempf Laksov flag bundles. We introduce analogs of the Kempf Laksov desingularizations of Schubert bundles in (non necessary Lagrangian) symplectic Grassmann bundles. In this setting, these are (possibly singular) irreducible flag bundles that are birational to Schubert bundles, and can be described as chains of zero loci of regular sections in projectivized bundles. The orthogonal analogs are also presented. We immediatly derive universal Gysin formulas for isotropic Schubert bundles from these very constructions.


The Augmented Lagrangian Method Can Approximately Solve Convex Optimization with Least Constraint Violation. There are many important practical optimization problems whose feasible regions are not known to be nonempty or not, and optimizers of the objective function with the least constraint violation prefer to be found. A natural way for dealing with these problems is to extend the nonlinear optimization problem as the one optimizing the objective function over the set of points with the least constraint violation. This leads to the study of the shifted problem. This paper focuses on the constrained convex optimization problem. The sufficient condition for the closedness of the set of feasible shifts is presented and the continuity properties of the optimal value function and the solution mapping for the shifted problem are studied. Properties of the conjugate dual of the shifted problem are discussed through the relations between the dual function and the optimal value function. The solvability of the dual of the optimization problem with the least constraint violation is investigated. It is shown that, if the least violated shift is in the domain of the subdifferential of the optimal value function, then this dual problem has an unbounded solution set. Under this condition, the optimality conditions for the problem with the least constraint violation are established in term of the augmented Lagrangian. It is shown that the augmented Lagrangian method has the properties that the sequence of shifts converges to the least violated shift and the sequence of multipliers is unbounded. Moreover, it is proved that the augmented Lagrangian method is able to find an approximate solution to the problem with the least constraint violation.


Renovation of EdgeCloudSim An Efficient Discrete Event Approach. Due to the growing popularity of the Internet of Things, edge computing concept has been widely studied to relieve the load on the original cloud and networks while improving the service quality for end users. To simulate such a complex environment involving edge and cloud computing, EdgeCloudSim has been widely adopted. However, it suffers from certain efficiency and scalability issues due to the ignorance of the deficiency in the originally adopted data structures and maintenance strategies. Specifically, it generates all events at beginning of the simulation and stores unnecessary historical information, both result in unnecessarily high complexity for search operations. In this work, by fixing the mismatches on the concept of discrete event simulation, we propose enhancement of EdgeCloudSim which improves not only the runtime efficiency of simulation, but also the flexibility and scalability. Through extensive experiments with statistical methods, we show that the enhancement does not affect the expressiveness of simulations while obtaining 2 orders of magnitude speedup, especially when the device count is large.


The Animal ID Problem Continual Curation. Hoping to stimulate new research in individual animal identification from images, we propose to formulate the problem as the human machine Continual Curation of images and animal identities. This is an open world recognition problem, where most new animals enter the system after its algorithms are initially trained and deployed. Continual Curation, as defined here, requires (1) an improvement in the effectiveness of current recognition methods, (2) a pairwise verification algorithm that allows the possibility of no decision, and (3) an algorithmic decision mechanism that seeks human input to guide the curation process. Error metrics must evaluate the ability of recognition algorithms to identify not only animals that have been seen just once or twice but also recognize new animals not in the database. An important measure of overall system performance is accuracy as a function of the amount of human input required.


A theoretical and empirical study of new adaptive algorithms with additional momentum steps and shifted updates for stochastic non convex optimization. In the following paper we introduce new adaptive algorithms endowed with momentum terms for stochastic non convex optimization problems. We investigate the almost sure convergence to stationary points, along with a finite time horizon analysis with respect to a chosen final iteration, and we also inspect the worst case iteration complexity. An estimate for the expectation of the squared Euclidean norm of the gradient is given and the theoretical analysis that we perform is assisted by various computational simulations for neural network training.


Janus Efficient and Accurate Dual radio Social Contact Detection. Determining when two individuals are within close distance is key to contain a pandemic, e.g., to alert individuals in real time and trace their social contacts. Common approaches rely on either Bluetooth Low Energy (BLE) or ultra wideband (UWB) radios, that nonetheless strike opposite tradeoffs for energy efficiency vs. accuracy of distance estimates. Janus reconciles these dimensions with a dual radio protocol enabling efficient and accurate social contact detection. Measurements show that Janus achieves weeks to months of autonomous operation, depending on the configuration. Several large scale campaigns in real world contexts confirm its reliability and practical usefulness in enabling insightful analysis of contact data.


Large Deviation Principle for McKean Vlasov Quasilinear Stochastic Evolution Equations. This paper is devoted to investigating the Freidlin Wentzell's large deviation principle for a class of McKean Vlasov quasilinear SPDEs perturbed by small multiplicative noise. We adopt the variational framework and the modified weak convergence criteria to prove the Laplace principle for McKean Vlasov type SPDEs, which is equivalent to the large deviation principle. Moreover, we do not assume any compactness condition of embedding in the Gelfand triple to handle both the cases of bounded and unbounded domains in applications. The main results can be applied to various McKean Vlasov type SPDEs such as distribution dependent stochastic porous media type equations and stochastic p Laplace type equations.


Modelling and Optimisation of Resource Usage in an IoT Enabled Smart Campus. University campuses are essentially a microcosm of a city. They comprise diverse facilities such as residences, sport centres, lecture theatres, parking spaces, and public transport stops. Universities are under constant pressure to improve efficiencies while offering a better experience to various stakeholders including students, staff, and visitors. Nonetheless, anecdotal evidence indicates that campus assets are not being utilised efficiently, often due to the lack of data collection and analysis, thereby limiting the ability to make informed decisions on the allocation and management of resources. Advances in the Internet of Things (IoT) technologies that can sense and communicate data from the physical world, coupled with data analytics and Artificial intelligence (AI) that can predict usage patterns, have opened up new opportunities for organisations to lower cost and improve user experience. This thesis explores this opportunity via theory and experimentation using UNSW Sydney as a living laboratory.


Isolation mechanisms for high speed packet processing pipelines. Data plane programmability is now mainstream. As we find more use cases, deployments need to be able to run multiple packet processing modules in a single device. These are likely to be developed by independent teams, either within the same organization or from multiple organizations. Therefore, we need isolation mechanisms to ensure that modules on the same device do not interfere with each other. This paper presents Menshen, an extension of the Reconfigurable Match Tables (RMT) pipeline that enforces isolation between different packet processing modules. Menshen is comprised of a set of lightweight hardware primitives and an extension to the open source P4 16 reference compiler that act in conjunction to meet this goal. We have prototyped Menshen on two FPGA platforms (NetFPGA and Corundum). We show that our design provides isolation, and allows new modules to be loaded without impacting the ones already running. Finally, we demonstrate that feasibility of implementing Menshen on ASICs by using the FreePDK45nm technology library and the Synopsys DC synthesis software, showing that our design meets timing at a 1GHz clock frequency and needs approximately 6 additional chip area. We have open sourced the code for Menshen's hardware and software at https isolation.quest .


Conceptually Diverse Base Model Selection for Meta Learners in Concept Drifting Data Streams. Meta learners and ensembles aim to combine a set of relevant yet diverse base models to improve predictive performance. However, determining an appropriate set of base models is challenging, especially in online environments where the underlying distribution of data can change over time. In this paper, we present a novel approach for estimating the conceptual similarity of base models, which is calculated using the Principal Angles (PAs) between their underlying subspaces. We propose two methods that use conceptual similarity as a metric to obtain a relevant yet diverse subset of base models (i) parameterised threshold culling and (ii) parameterless conceptual clustering. We evaluate these methods against thresholding using common ensemble pruning metrics, namely predictive performance and Mutual Information (MI), in the context of online Transfer Learning (TL), using both synthetic and real world data. Our results show that conceptual similarity thresholding has a reduced computational overhead, and yet yields comparable predictive performance to thresholding using predictive performance and MI. Furthermore, conceptual clustering achieves similar predictive performances without requiring parameterisation, and achieves this with lower computational overhead than thresholding using predictive performance and MI when the number of base models becomes large.


Deep Tiny Network for Recognition Oriented Face Image Quality Assessment. Face recognition has made significant progress in recent years due to deep convolutional neural networks (CNN). In many face recognition (FR) scenarios, face images are acquired from a sequence with huge intra variations. These intra variations, which are mainly affected by the low quality face images, cause instability of recognition performance. Previous works have focused on ad hoc methods to select frames from a video or use face image quality assessment (FIQA) methods, which consider only a particular or combination of several distortions. In this work, we present an efficient non reference image quality assessment for FR that directly links image quality assessment (IQA) and FR. More specifically, we propose a new measurement to evaluate image quality without any reference. Based on the proposed quality measurement, we propose a deep Tiny Face Quality network (tinyFQnet) to learn a quality prediction function from data. We evaluate the proposed method for different powerful FR models on two classical video based (or template based) benchmark IJB B and YTF. Extensive experiments show that, although the tinyFQnet is much smaller than the others, the proposed method outperforms state of the art quality assessment methods in terms of effectiveness and efficiency.


Realizations of Unisingular Representations by Hyperelliptic Jacobians. A representation of a finite group G on a finite dimensional vector space V is called textbf unisingular if every g in G has 1 as an eigenvalue in its action on V . In this paper we show that certain unisingular representations can be realized as mod 2 representations of hyperelliptic Jacobians over Q . We additionally identify new unisingular representations of the symmetric and alternating groups.


Bilingual Alignment Pre Training for Zero Shot Cross Lingual Transfer. Multilingual pre trained models have achieved remarkable performance on cross lingual transfer learning. Some multilingual models such as mBERT, have been pre trained on unlabeled corpora, therefore the embeddings of different languages in the models may not be aligned very well. In this paper, we aim to improve the zero shot cross lingual transfer performance by proposing a pre training task named Word Exchange Aligning Model (WEAM), which uses the statistical alignment information as the prior knowledge to guide cross lingual word prediction. We evaluate our model on multilingual machine reading comprehension task MLQA and natural language interface task XNLI. The results show that WEAM can significantly improve the zero shot performance.


Practitioners Testimonials about Software Testing. As software systems are becoming more pervasive, they are also becoming more susceptible to failures, resulting in potentially lethal combinations. Software testing is critical to preventing software failures but is, arguably, the least understood part of the software life cycle and the toughest to perform correctly. Adequate research has been carried out in both the process and technology dimensions of testing, but not in the human dimensions. This paper attempts to fill in the gap by exploring the human dimension, i.e., trying to understand the motivation of software professionals to take up and sustain testing careers. Towards that end, a survey was conducted in four countries India, Canada, Cuba, and China to try to understand how professional software testers perceive and value work related factors that could influence their motivation to take up and sustain testing careers. With a sample of 220 software professionals, we observed that very few professionals are keen to take up testing careers. Some aspects of software testing, such as the learning opportunities, appear to be a common motivator across the four countries whereas the treatment meted out to testers as second class citizens and the complexity of the job appeared to be the most important de motivators. This comparative study offers useful insights that can help global software industry leaders to come up with an action plan to put the software testing profession under a new light. That could increase the number of software engineers choosing testing careers, which would facilitate quality testing.


Constrained Generalized Additive 2 Model with Consideration of High Order Interactions. In recent years, machine learning and AI have been introduced in many industrial fields. In fields such as finance, medicine, and autonomous driving, where the inference results of a model may have serious consequences, high interpretability as well as prediction accuracy is required. In this study, we propose CGA2M , which is based on the Generalized Additive 2 Model (GA2M) and differs from it in two major ways. The first is the introduction of monotonicity. Imposing monotonicity on some functions based on an analyst's knowledge is expected to improve not only interpretability but also generalization performance. The second is the introduction of a higher order term given that GA2M considers only second order interactions, we aim to balance interpretability and prediction accuracy by introducing a higher order term that can capture higher order interactions. In this way, we can improve prediction performance without compromising interpretability by applying learning innovation. Numerical experiments showed that the proposed model has high predictive performance and interpretability. Furthermore, we confirmed that generalization performance is improved by introducing monotonicity.


Discriminant of Tautological Bundles on Symmetric Products of Curves. We compute a formula for the discriminant of tautological bundles on symmetric powers of a complex smooth projective curve. It follows that the Bogomolov inequality does not give a new restriction to stability of these tautological bundles. It only rules out tautological bundles which are already known to have the structure sheaf as a destabilising subbundle.


Deepened Graph Auto Encoders Help Stabilize and Enhance Link Prediction. Graph neural networks have been used for a variety of learning tasks, such as link prediction, node classification, and node clustering. Among them, link prediction is a relatively under studied graph learning task, with current state of the art models based on one or two layer of shallow graph auto encoder (GAE) architectures. In this paper, we focus on addressing a limitation of current methods for link prediction, which can only use shallow GAEs and variational GAEs, and creating effective methods to deepen (variational) GAE architectures to achieve stable and competitive performance. Our proposed methods innovatively incorporate standard auto encoders (AEs) into the architectures of GAEs, where standard AEs are leveraged to learn essential, low dimensional representations via seamlessly integrating the adjacency information and node features, while GAEs further build multi scaled low dimensional representations via residual connections to learn a compact overall embedding for link prediction. Empirically, extensive experiments on various benchmarking datasets verify the effectiveness of our methods and demonstrate the competitive performance of our deepened graph models for link prediction. Theoretically, we prove that our deep extensions inclusively express multiple polynomial filters with different orders.


A semi continuous model for transmission of SARS CoV 2 and other respiratory viruses in enclosed spaces via multiple pathways to assess risk of infection and mitigation strategies. The Covid 19 pandemic has taken millions of lives, demonstrating the tragedy and disruption of respiratory diseases, and how difficult they can be to manage. However, there is still significant debate in the scientific community as to which transmission pathways are most significant and how settings and behaviour affect risk of infection, which all have implications for which mitigation strategies are most effective. This study presents a general model to estimate the rate of viral transfer between individuals, objects, and the air. The risk of infection to individuals in a setting is then computed considering the behaviour and interactions of individuals between themselves and the environment in the setting, survival times of the virus on different surface types and in the air, and mitigating interventions (ventilation, hand disinfection, surface cleaning, etc.). The model includes discrete events such as touch events, individuals entering leaving the setting, and cleaning events. We demonstrate the model capabilities on three case studies to quantify and understand the relative risk associated with the different transmission pathways and the effectiveness of mitigation strategies in different settings. The results show the importance of considering all transmission pathways and their interactions, with each scenario displaying different dominant pathways depending on the setting and behaviours of individuals therein. The flexible model, which is freely available, can be used to quickly simulate the spread of any respiratory virus via the modelled transmission pathways and the efficacy of potential mitigation strategies in any enclosed setting by making reasonable assumptions regarding the behaviour of its occupants. It is hoped that the model can be used to inform sensible decision making regarding viral infection mitigations that are targeted to specific settings and pathogens.


Playing Against Fair Adversaries in Stochastic Games with Total Rewards. We investigate zero sum turn based two player stochastic games in which the objective of one player is to maximize the amount of rewards obtained during a play, while the other aims at minimizing it. We focus on games in which the minimizer plays in a fair way. We believe that these kinds of games enjoy interesting applications in software verification, where the maximizer plays the role of a system intending to maximize the number of "milestones" achieved, and the minimizer represents the behavior of some uncooperative but yet fair environment. Normally, to study total reward properties, games are requested to be stopping (i.e., they reach a terminal state with probability 1). We relax the property to request that the game is stopping only under a fair minimizing player. We prove that these games are determined, i.e., each state of the game has a value defined. Furthermore, we show that both players have memoryless and deterministic optimal strategies, and the game value can be computed by approximating the greatest fixed point of a set of functional equations. We implemented our approach in a prototype tool, and evaluated it on an illustrating example and an Unmanned Aerial Vehicle case study.


PyGlove Symbolic Programming for Automated Machine Learning. Neural networks are sensitive to hyper parameter and architecture choices. Automated Machine Learning (AutoML) is a promising paradigm for automating these choices. Current ML software libraries, however, are quite limited in handling the dynamic interactions among the components of AutoML. For example, efficientNAS algorithms, such as ENAS and DARTS, typically require an implementation coupling between the search space and search algorithm, the two key components in AutoML. Furthermore, implementing a complex search flow, such as searching architectures within a loop of searching hardware configurations, is difficult. To summarize, changing the search space, search algorithm, or search flow in current ML libraries usually requires a significant change in the program logic. In this paper, we introduce a new way of programming AutoML based on symbolic programming. Under this paradigm, ML programs are mutable, thus can be manipulated easily by another program. As a result, AutoML can be reformulated as an automated process of symbolic manipulation. With this formulation, we decouple the triangle of the search algorithm, the search space and the child program. This decoupling makes it easy to change the search space and search algorithm (without and with weight sharing), as well as to add search capabilities to existing code and implement complex search flows. We then introduce PyGlove, a new Python library that implements this paradigm. Through case studies on ImageNet and NAS Bench 101, we show that with PyGlove users can easily convert a static program into a search space, quickly iterate on the search spaces and search algorithms, and craft complex search flows to achieve better results.


Spiking CapsNet A Spiking Neural Network With A Biologically Plausible Routing Rule Between Capsules. Spiking neural network (SNN) has attracted much attention due to their powerful spatio temporal information representation ability. Capsule Neural Network (CapsNet) does well in assembling and coupling features at different levels. Here, we propose Spiking CapsNet by introducing the capsules into the modelling of spiking neural networks. In addition, we propose a more biologically plausible Spike Timing Dependent Plasticity routing mechanism. By fully considering the spatio temporal relationship between the low level spiking capsules and the high level spiking capsules, the coupling ability between them is further improved. We have verified experiments on the MNIST and FashionMNIST datasets. Compared with other excellent SNN models, our algorithm still achieves high performance. Our Spiking CapsNet fully combines the strengthens of SNN and CapsNet, and shows strong robustness to noise and affine transformation. By adding different Salt Pepper and Gaussian noise to the test dataset, the experimental results demonstrate that our Spiking CapsNet shows a more robust performance when there is more noise, while the artificial neural network can not correctly clarify. As well, our Spiking CapsNet shows strong generalization to affine transformation on the AffNIST dataset.


Homogeneous involutions on upper triangular matrices. Let K be a field of characteristic different from 2 and let G be a group. If the algebra UT n of n times n upper triangular matrices over K is endowed with a G grading Gamma UT n oplus g in G A g we give necessary and sufficient conditions on Gamma that guarantees the existence of a homogeneous antiautomorphism on A , i.e., an antiautomorphism varphi satisfying varphi(A g) A theta(g) for some permutation theta of the support of the grading. It turns out that UT n admits a homogeneous antiautomorphism if and only if the reflection involution of UT n is homogeneous. Moreover, we prove that if one homogeneous antiautomorphism of UT n is defined by the map theta then any other homogeneous antiautomorphism is defined by the same map theta .


PiFeNet Pillar Feature Network for Real Time 3D Pedestrian Detection from Point Cloud. We present PiFeNet, an efficient and accurate real time 3D detector for pedestrian detection from point clouds. We address two challenges that 3D object detection frameworks encounter when detecting pedestrians low expressiveness of pillar features and small occupation areas of pedestrians in point clouds. Firstly, we introduce a stackable Pillar Aware Attention (PAA) module for enhanced pillar features extraction while suppressing noises in the point clouds. By integrating multi point aware pooling, point wise, channel wise, and task aware attention into a simple module, the representation capabilities are boosted while requiring little additional computing resources. We also present Mini BiFPN, a small yet effective feature network that creates bidirectional information flow and multi level cross scale feature fusion to better integrate multi resolution features. Our approach is ranked 1st in KITTI pedestrian BEV and 3D leaderboards while running at 26 frames per second (FPS), and achieves state of the art performance on Nuscenes detection benchmark.


Towards Understanding Adversarial Robustness of Optical Flow Networks. Recent work demonstrated the lack of robustness of optical flow networks to physical, patch based adversarial attacks. The possibility to physically attack a basic component of automotive systems is a reason for serious concerns. In this paper, we analyze the cause of the problem and show that the lack of robustness is rooted in the classical aperture problem of optical flow estimation in combination with bad choices in the details of the network architecture. We show how these mistakes can be rectified in order to make optical flow networks robust to physical, patch based attacks. Additionally, we take a look at global white box attacks in the scope of optical flow. We find that targeted white box attacks can be crafted to bias flow estimation models towards any desired output, but this requires access to the input images and model weights. Our results indicate that optical flow networks are robust to universal attacks.


Remarks on the Bernstein inequality for higher order operators and related results. This note is devoted to several results about frequency localized functions and associated Bernstein inequalities for higher order operators. In particular, we construct some counterexamples for the frequency localized Bernstein inequalities for higher order Laplacians. We show also that the heat semi group associated to powers larger than one of the laplacian does not satisfy the strict maximum principle in general. Finally, in a suitable range we provide several positive results.


How Could Equality and Data Protection Law Shape AI Fairness for People with Disabilities?. This article examines the concept of 'AI fairness' for people with disabilities from the perspective of data protection and equality law. This examination demonstrates that there is a need for a distinctive approach to AI fairness that is fundamentally different to that used for other protected characteristics, due to the different ways in which discrimination and data protection law applies in respect of Disability. We articulate this new agenda for AI fairness for people with disabilities, explaining how combining data protection and equality law creates new opportunities for disabled people's organisations and assistive technology researchers alike to shape the use of AI, as well as to challenge potential harmful uses.


Photonic and electronic state interactions in BaTiO3 based Optical Microcavity. The photonic modes mediated absorption dynamics at femtosecond time scales along with the control of spontaneous emission tunability are investigated all dielectric optical microcavity having BaTiO3 (BTO) as defect layer. The cavity enhanced transient absorption reveals the dominant excited state absorption (ESA) of both photonic and electronic modes due to strong third order optical nonlinearity influence. Photoluminescence of BTO is found to be guided and tuned by the photonic cavity mode. Such active photonic structures can be envisaged as a potential candidate in nonlinear optics and photonic device applications.


An Intelligent Resource Reservation for Crowdsourced Live Video Streaming Applications in Geo Distributed Cloud Environment. Crowdsourced live video streaming (livecast) services such as Facebook Live, YouNow, Douyu and Twitch are gaining more momentum recently. Allocating the limited resources in a cost effective manner while maximizing the Quality of Service (QoS) through real time delivery and the provision of the appropriate representations for all viewers is a challenging problem. In our paper, we introduce a machine learning based predictive resource allocation framework for geo distributed cloud sites, considering the delay and quality constraints to guarantee the maximum QoS for viewers and the minimum cost for content providers. First, we present an offline optimization that decides the required transcoding resources in distributed regions near the viewers with a trade off between the QoS and the overall cost. Second, we use machine learning to build forecasting models that proactively predict the approximate transcoding resources to be reserved at each cloud site ahead of time. Finally, we develop a Greedy Nearest and Cheapest algorithm (GNCA) to perform the resource allocation of real time broadcasted videos on the rented resources. Extensive simulations have shown that GNCA outperforms the state of the art resource allocation approaches for crowdsourced live streaming by achieving more than 20 gain in terms of system cost while serving the viewers with relatively lower latency.


Equivalence between a time fractional and an integer order gradient flow The memory effect reflected in the energy. Time fractional partial differential equations are nonlocal in time and show an innate memory effect. In this work, we propose an augmented energy functional which includes the history of the solution. Further, we prove the equivalence of a time fractional gradient flow problem to an integer order one based on our new energy. This equivalence guarantees the dissipating character of the augmented energy. The state function of the integer order gradient flow acts on an extended domain similar to the Caffarelli Silvestre extension for the fractional Laplacian. Additionally, we apply a numerical scheme for solving time fractional gradient flows, which is based on kernel compressing methods. We illustrate the behavior of the original and augmented energy in the case of the Ginzburg Landau energy functional.


Multiple Idiopathic Cervical Root Resorption A Challenge for a Transdisciplinary Medical Dental Team. While tooth root resorption is a normal physiological process required for resorption and exfoliation of primary teeth, root resorption of adult teeth is largely pathological. This perspective focuses on multiple idiopathic cervical root resorption (MICRR), an aggressive form of external root resorption that occurs near the cemento enamel junction (CEJ). The cause of MICRR remains elusive, however, it is mediated primarily by osteoclasts odontoclasts. Accumulating case studies and experiments in animal models have provided insights into defining the etiologies and pathophysiological mechanisms for MICRR, which include systemic conditions and syndromes, inherited genetic variants affecting osteoclast odontoclast activity, altered periodontal structures, drug induced root resorption and rebound effects after cessation of anti resorptive treatment, chemotherapy, exposure to pets or viral infections, and other factors such as inflammatory conditions or trauma. To determine the causative factors, at minimum, a comprehensive health history should be collected for all patients by dental care providers, discussed with other health care providers and appropriate collaborations established. The examples highlighted in this perspective emphasize the need for transdisciplinary research collaborations coupled with integrated management strategies between medicine and dentistry in order to identify cause(s) early and improve clinical outcomes.


Feynman Kac formula under a finite entropy condition. Motivated by entropic optimal transport, we investigate an extended notion of solution to the parabolic equation ( partial t b cdot nabla Delta a 2 V)g 0 with a final boundary condition. It is well known that the viscosity solution g of this PDE is represented by the Feynman Kac formula when the drift b , the diffusion matrix a and the scalar potential V are regular enough and not growing too fast. In this article, b and V are not assumed to be regular and their growth is controlled by a finite entropy condition, allowing for instance V to belong to some Kato class. We show that the Feynman Kac formula represents a solution, in an extended sense, to the parabolic equation. This notion of solution is trajectorial and expressed with the semimartingale extension of the Markov generator b cdot nabla Delta a 2. Our probabilistic approach relies on stochastic derivatives, semimartingales, Girsanov's theorem and the Hamilton Jacobi Bellman equation satisfied by log g .


Second bounded cohomology of groups acting on 1 manifolds and applications to spectrum problems. We prove a general criterion for the vanishing of second bounded cohomology (with trivial real coefficients) for groups that admit an action satisfying certain mild hypotheses. This leads to new computations of the second bounded cohomology for a large class of groups of homeomorphisms of 1 manifolds, and a plethora of applications. First, we demonstrate that the finitely presented and nonamenable group G 0 constructed by the second author with Justin Moore satisfies that every subgroup has vanishing second bounded cohomology. This provides the first solution to the so called homological von Neumann Day Problem, as discussed by Calegari. Then we provide the first examples of finitely presented groups whose spectrum of stable commutator length contains algebraic irrationals, answering a question of Calegari. Next, we provide the first examples of finitely generated left orderable groups that are not locally indicable, and yet have vanishing second bounded cohomology. This proves that a homological analogue of the Witte Morris Theorem does not hold. Finally, we combine some of the aforementioned results to provide the first examples of manifolds whose simplicial volumes are algebraic and irrational. This is further evidence towards a conjecture of Heuer and L " o h.


Numerical solution of a nonlinear functional integro differential equation. In this paper, we consider a boundary value problem (BVP) for a fourth order nonlinear functional integro differential equation. We establish the existence and uniqueness of solution and construct a numerical method for solving it. We prove that the method is of second order accuracy and obtain an estimate for the total error. Some examples demonstrate the validity of the obtained theoretical results and the efficiency of the numerical method.


Beyond the Longest Letter duplicated Subsequence Problem. Given a sequence S of length n , a letter duplicated subsequence is a subsequence of S in the form of x 1 d 1 x 2 d 2 cdots x k d k with x i in Sigma , x j neq x j 1 and d i geq 2 for all i in k and j in k 1 . A linear time algorithm for computing the longest letter duplicated subsequence (LLDS) of S can be easily obtained. In this paper, we focus on two variants of this problem. We first consider the constrained version when Sigma is unbounded, each letter appears in S at least 6 times and all the letters in Sigma must appear in the solution. We show that the problem is NP hard (a further twist indicates that the problem does not admit any polynomial time approximation). The reduction is from possibly the simplest version of SAT that is NP complete, ( leq 2,1, leq 3) SAT, where each variable appears at most twice positively and exact once negatively, and each clause contains at most three literals and some clauses must contain exactly two literals. (We hope that this technique will serve as a general tool to help us proving the NP hardness for some more tricky sequence problems involving only one sequence much harder than with at least two input sequences, which we apply successfully at the end of the paper on some extra variations of the LLDS problem.) We then show that when each letter appears in S at most 3 times, then the problem admits a factor 1.5 O( frac 1 n ) approximation. Finally, we consider the weighted version, where the weight of a block x i d i (d i geq 2) could be any positive function which might not grow with d i . We give a non trivial O(n 2) time dynamic programming algorithm for this version, i.e., computing an LD subsequence of S whose weight is maximized.


Gait Identification under Surveillance Environment based on Human Skeleton. As an emerging biological identification technology, vision based gait identification is an important research content in biometrics. Most existing gait identification methods extract features from gait videos and identify a probe sample by a query in the gallery. However, video data contains redundant information and can be easily influenced by bagging (BG) and clothing (CL). Since human body skeletons convey essential information about human gaits, a skeleton based gait identification network is proposed in our project. First, extract skeleton sequences from the video and map them into a gait graph. Then a feature extraction network based on Spatio Temporal Graph Convolutional Network (ST GCN) is constructed to learn gait representations. Finally, the probe sample is identified by matching with the most similar piece in the gallery. We tested our method on the CASIA B dataset. The result shows that our approach is highly adaptive and gets the advanced result in BG, CL conditions, and average.


Unboundedness phenomenon in a reduced model of urban crime. For the reduced crime model begin equation left begin aligned varepsilon u t Delta u chi nabla cdot left( tfrac u v nabla v right), v t Delta v v u v end aligned right. end equation considered in Omega B R(0) subset mathbb R n , R 0 , n geq 3 with chi 0 and initial data u 0 , v 0 with sufficiently large initial mass m int Omega u 0 , for each T 0 we construct initial data v 0 exhibiting the following unboundedness phenomenon The associated local solutions to the reduced crime model grow arbitrarily large in any L p( Omega) norm with p frac n 2 before the time T as varepsilon becomes small. We do this by first constructing classical solutions to the scalar problem w t Delta w m frac w alpha int Omega w chi quad text with quad alpha chi 1 from the solutions to the reduced crime model by taking the limit varepsilon searrow 0 under the assumption that the unboundedness phenomenon explicitly does not occur on some interval (0,T) . We then construct initial data for this scalar problem leading to blow up before time T . Combined, this proves our central result by contradiction. We note that the specific value alpha chi 1 poses more challenges for finding initial data leading to finite time blow up compared to other possible choices of alpha , as only for alpha chi 1 the scalar problem becomes scaling invariant, robbing us of one degree of freedom.


Variation of the canonical height in a family of polarized dynamical systems. Call and Silverman introduced the canonical height associated to a polarized dynamical system, that is, an endomorphism of a projective variety and an ample line bundle which pulls back to a tensor power of itself. They also presented an asymptotic for the variation of this height in a family over a one dimensional base in terms of the height on the generic fibre and the height of the parameter. Here we improve this asymptotic, saving a power in the error term. As a corollary, we give an explicit bound on the height of parameters at which the dynamical system specialized to a finite orbit, in the case of endomorphisms of projective space over the projective line.


Interventional Assays for the Latent Space of Autoencoders. The encoders and decoders of autoencoders effectively project the input onto learned manifolds in the latent space and data space respectively. We propose a framework, called latent responses, for probing the learned data manifold using interventions in the latent space. Using this framework, we investigate "holes" in the representation to quantitatively ascertain to what extent the latent space of a trained VAE is consistent with the chosen prior. Furthermore, we use the identified structure to improve interpolation between latent vectors. We evaluate how our analyses improve the quality of the generated samples using the VAE on a variety of benchmark datasets.


Analysis of contact Cauchy Riemann maps III energy, bubbling and Fredholm theory. In OW2,OW3 , the authors studied the nonlinear elliptic system overline partial pi w 0, , d(w lambda circ j) 0 without involving symplectization for each given contact triad (Q, lambda, J) , and established the a priori W k,2 elliptic estimates and proved the asymptotic (subsequence) convergence of the map w dot Sigma to Q for any solution, called a contact instanton, on dot Sigma under the hypothesis w lambda C 0 infty and d pi w in L 2 cap L 4 . The asymptotic limit of a contact instanton is a spiraling' instanton along a rotating' Reeb orbit near each puncture on a punctured Riemann surface dot Sigma . Each limiting Reeb orbit carries a charge' arising from the integral of w lambda circ j . In this article, we further develop analysis of contact instantons, especially the W 1,p estimate for p 2 (or the C 1 estimate), which is essential for the study of compactfication of the moduli space and the relevant Fredholm theory for contact instantons. In particular, we define a Hofer type off shell energy E lambda(j,w) for any pair (j,w) with a smooth map w satisfying d(w lambda circ j) 0 , and develop the bubbling off analysis and prove an epsilon regularity result. We also develop the relevant Fredholm theory and carry out index calculations (for the case of vanishing charge).


Optimal bounds for bit sizes of stationary distributions in finite Markov chains. An irreducible stochastic matrix with rational entries has a stationary distribution given by a vector of rational numbers. We give an upper bound on the lowest common denominator of the entries of this vector. Bounds of this kind are used to study the complexity of algorithms for solving stochastic mean payoff games. They are usually derived using the Hadamard inequality, but this leads to suboptimal results. We replace the Hadamard inequality with the Markov chain tree formula in order to obtain optimal bounds. We also adapt our approach to obtain bounds on the absorption probabilities of finite Markov chains and on the gains and bias vectors of Markov chains with rewards.


On the Douglas Rachford algorithm for solving possibly inconsistent optimization problems. More than 40 years ago, Lions and Mercier introduced in a seminal paper the Douglas Rachford algorithm. Today, this method is well recognized as a classical and highly successful splitting method to find minimizers of the sum of two (not necessarily smooth) convex functions. While the underlying theory has matured, one case remains a mystery the behaviour of the shadow sequence when the given functions have disjoint domains. Building on previous work, we establish for the first time weak and value convergence of the shadow sequence generated by the Douglas Rachford algorithm in a setting of unprecedented generality. The weak limit point is shown to solve the associated normal problem which is a minimal perturbation of the original optimization problem. We also present new results on the geometry of the minimal displacement vector.


Extrinsic spin angular momentum carried by plasmonic vortex in terahertz cylindrical corrugated waveguide. An electromagnetic surface wave carrying orbital angular momentum (AM) is called plasmonic vortex that also carries spin AM originating from evanescent field. In this study, spin and orbital AM of plasmonic vortex in a terahertz cylindrical corrugated waveguide (CCW) are analyzed. We report the extrinsic spin AM of the plasmonic vortex for the first time. The extrinsic spin AM is produced by the rotation of the polarization of the plasmonic vortex whose rotation axis is positioned at the vicinity of the CCW wall. The extrinsic spin AM depends on the intrinsic orbital AM and radius of CCW. The plasmonic vortex with sufficiently large orbital AM carries large spin AM per photon. This large extrinsic spin AM expands degree of freedom of the spin AM and would be applied to various terahertz technologies.


Breaking Shortcut Exploring Fully Convolutional Cycle Consistency for Video Correspondence Learning. Previous cycle consistency correspondence learning methods usually leverage image patches for training. In this paper, we present a fully convolutional method, which is simpler and more coherent to the inference process. While directly applying fully convolutional training results in model collapse, we study the underline reason behind this collapse phenomenon, indicating that the absolute positions of pixels provide a shortcut to easily accomplish cycle consistence, which hinders the learning of meaningful visual representations. To break this absolute position shortcut, we propose to apply different crops for forward and backward frames, and adopt feature warping to establish correspondence between two crops of a same frame. The former technique enforces the corresponding pixels at forward and back tracks to have different absolute positions, and the latter effectively blocks the shortcuts going between forward and back tracks. In three label propagation benchmarks for pose tracking, face landmark tracking and video object segmentation, our method largely improves the results of vanilla fully convolutional cycle consistency method, achieving very competitive performance compared with the self supervised state of the art approaches. Our trained model and code are available at url https github.com Steve Tod STFC3 .


A note on spherical discrepancy. A non algorithmic, generalized version of a recent result, asserting that a natural relaxation of the Koml 'os conjecture from boolean discrepancy to spherical discrepancy is true, is proved by a very short argument using convex geometry.


Exponential stability of c0 semigroup via Lyapunov inequality in Banach space. We give a relation between the exponential stability of C 0 semigroup textbf T left lbrace T(t) right rbrace t geq 0 and the solutions of Lyapunov inequality ( left langle QAx,x right langle left langle Qx,Ax right langle leq x 2 , ) in B (X,X ) , with X is a Banach space. The solutions of this inequality characterizes, the boundedness of the resolvent R( lambda,A) inside and outside of the left half plane Re lambda geq 0 , and also the left invertibility of the C 0 semigroup T.


Groupoid Characterization of Locally Convex Partial Algebras. Given a locally convex space ( mathcal A , tau) with a Hausdorff locally convex topology tau such that the following maps are continuous u mapsto u for all u in mathcal A , x mapsto x cdot y and x mapsto z cdot x for every left and right multipliers of mathcal A . In this paper we re characterized the locally convex partial algebra ( mathcal A , Gamma, cdot, , tau) arising from these continuous maps in terms of convolution algebra of a Lie groupoid Gamma rightrightarrows mathcal A . This is advantageous because the pathologies of the underlying spaces owing to their quantum mechanical nature are easily resolved in groupoid terms.


The fundamental theorem of affine geometry in regular L 0 modules. Let ( Omega, mathcal F ,P) be a probability space and L 0( mathcal F ) the algebra of equivalence classes of real valued random variables defined on ( Omega, mathcal F ,P) . A left module M over the algebra L 0( mathcal F ) (briefly, an L 0( mathcal F ) module) is said to be regular if x y for any given two elements x and y in M such that there exists a countable partition A n,n in mathbb N of Omega to mathcal F such that tilde I A n cdot x tilde I A n cdot y for each n in mathbb N , where I A n is the characteristic function of A n and tilde I A n its equivalence class. The purpose of this paper is to establish the fundamental theorem of affine geometry in regular L 0( mathcal F ) modules let V and V prime be two regular L 0( mathcal F ) modules such that V contains a free L 0( mathcal F ) submodule of rank 2 , if T V to V prime is stable and invertible and maps each L 0 line segment to an L 0 line segment, then T must be L 0 affine.


Extending Multi Text Sentence Fusion Resources via Pyramid Annotations. NLP models that compare or consolidate information across multiple documents often struggle when challenged with recognizing substantial information redundancies across the texts. For example, in multi document summarization it is crucial to identify salient information across texts and then generate a non redundant summary, while facing repeated and usually differently phrased salient content. To facilitate researching such challenges, the sentence level task of textit sentence fusion was proposed, yet previous datasets for this task were very limited in their size and scope. In this paper, we revisit and substantially extend previous dataset creation efforts. With careful modifications, relabeling and employing complementing data sources, we were able to triple the size of a notable earlier dataset. Moreover, we show that our extended version uses more representative texts for multi document tasks and provides a larger and more diverse training set, which substantially improves model training.


On a conjecture of J. Shallit about Ap 'ery like numbers. Put a(n) sum limits k 0 n binom n k binom n k k , and b(n) v 3 (a(n)) , for all integers n geqslant 0 , where v 3 is the 3 adic valuation. In this work, we shall confirm a formula about b(n) , conjectured by J. Shallit in 2000. As application, we show that the sequence (b(n)) n geqslant 0 is 3 regular.


A Reinforcement Learning Approach for the Continuous Electricity Market of Germany Trading from the Perspective of a Wind Park Operator. With the rising extension of renewable energies, the intraday electricity markets have recorded a growing popularity amongst traders as well as electric utilities to cope with the induced volatility of the energy supply. Through their short trading horizon and continuous nature, the intraday markets offer the ability to adjust trading decisions from the day ahead market or reduce trading risk in a short term notice. Producers of renewable energies utilize the intraday market to lower their forecast risk, by modifying their provided capacities based on current forecasts. However, the market dynamics are complex due to the fact that the power grids have to remain stable and electricity is only partly storable. Consequently, robust and intelligent trading strategies are required that are capable to operate in the intraday market. In this work, we propose a novel autonomous trading approach based on Deep Reinforcement Learning (DRL) algorithms as a possible solution. For this purpose, we model the intraday trade as a Markov Decision Problem (MDP) and employ the Proximal Policy Optimization (PPO) algorithm as our DRL approach. A simulation framework is introduced that enables the trading of the continuous intraday price in a resolution of one minute steps. We test our framework in a case study from the perspective of a wind park operator. We include next to general trade information both price and wind forecasts. On a test scenario of German intraday trading results from 2018, we are able to outperform multiple baselines with at least 45.24 improvement, showing the advantage of the DRL algorithm. However, we also discuss limitations and enhancements of the DRL agent, in order to increase the performance in future works.


Individual vs. Joint Perception a Pragmatic Model of Pointing as Communicative Smithian Helping. The simple gesture of pointing can greatly augment ones ability to comprehend states of the world based on observations. It triggers additional inferences relevant to ones task at hand. We model an agents update to its belief of the world based on individual observations using a partially observable Markov decision process (POMDP), a mainstream artificial intelligence (AI) model of how to act rationally according to beliefs formed through observation. On top of that, we model pointing as a communicative act between agents who have a mutual understanding that the pointed observation must be relevant and interpretable. Our model measures relevance by defining a Smithian Value of Information (SVI) as the utility improvement of the POMDP agent before and after receiving the pointing. We model that agents calculate SVI by using the cognitive theory of Smithian helping as a principle of coordinating separate beliefs for action prediction and action evaluation. We then import SVI into rational speech act (RSA) as the utility function of an utterance. These lead us to a pragmatic model of pointing allowing for contextually flexible interpretations. We demonstrate the power of our Smithian pointing model by extending the Wumpus world, a classic AI task where a hunter hunts a monster with only partial observability of the world. We add another agent as a guide who can only help by marking an observation already perceived by the hunter with a pointing or not, without providing new observations or offering any instrumental help. Our results show that this severely limited and overloaded communication nevertheless significantly improves the hunters performance. The advantage of pointing is indeed due to a computation of relevance based on Smithian helping, as it disappears completely when the task is too difficult or too easy for the guide to help.


Supervised Training of Dense Object Nets using Optimal Descriptors for Industrial Robotic Applications. Dense Object Nets (DONs) by Florence, Manuelli and Tedrake (2018) introduced dense object descriptors as a novel visual object representation for the robotics community. It is suitable for many applications including object grasping, policy learning, etc. DONs map an RGB image depicting an object into a descriptor space image, which implicitly encodes key features of an object invariant to the relative camera pose. Impressively, the self supervised training of DONs can be applied to arbitrary objects and can be evaluated and deployed within hours. However, the training approach relies on accurate depth images and faces challenges with small, reflective objects, typical for industrial settings, when using consumer grade depth cameras. In this paper we show that given a 3D model of an object, we can generate its descriptor space image, which allows for supervised training of DONs. We rely on Laplacian Eigenmaps (LE) to embed the 3D model of an object into an optimally generated space. While our approach uses more domain knowledge, it can be efficiently applied even for smaller and reflective objects, as it does not rely on depth information. We compare the training methods on generating 6D grasps for industrial objects and show that our novel supervised training approach improves the pick and place performance in industry relevant tasks.


Equivariant Homological Mirror Symmetry for mathbb C and mathbb C P 1 . In this paper we define an equivariant Floer A infty algebra for mathbb C and mathbb C P 1 by using Cartan model. We then prove an equivariant homological mirror symmetry, i.e. an equivalence between an A infty category of equivariant Lagrangian branes and the category of matrix factorizations of Givental's equivariant Landau Ginzburg potential function.


The Willmore energy and the magnitude of Euclidean domains. We study the geometric significance of Leinster's notion of magnitude for a compact metric space. For a smooth, compact domain in an odd dimensional Euclidean space, we show that the asymptotic expansion of the magnitude function at infinity determines the Willmore energy of the boundary. This disproves the Leinster Willerton conjecture for a compact convex body in all odd dimensions.


Global Well Posedness of 2D Second Grade Fluid Equations in Exterior Domain. In this article, we consider 2D second grade fluid equations in exterior domain with Dirichlet boundary conditions. For initial data boldsymbol u 0 in boldsymbol H 3( Omega) , the system is shown to be global well posed. Furthermore, for arbitrary T 0 and s geq 3 , we prove that the solution belongs to L infty( 0, T boldsymbol H s( Omega)) provided that boldsymbol u 0 is in boldsymbol H s( Omega) .


Does Melania Trump have a body double from the perspective of automatic face recognition?. In this paper, we explore whether automatic face recognition can help in verifying widespread misinformation on social media, particularly conspiracy theories that are based on the existence of body doubles. The conspiracy theory addressed in this paper is the case of the Melania Trump body double. We employed four different state of the art descriptors for face recognition to verify the integrity of the claim of the studied conspiracy theory. In addition, we assessed the impact of different image quality metrics on the variation of face recognition results. Two sets of image quality metrics were considered acquisition related metrics and subject related metrics.


T6D Direct Transformers for Multi Object 6D Pose Direct Regression. 6D pose estimation is the task of predicting the translation and orientation of objects in a given input image, which is a crucial prerequisite for many robotics and augmented reality applications. Lately, the Transformer Network architecture, equipped with a multi head self attention mechanism, is emerging to achieve state of the art results in many computer vision tasks. DETR, a Transformer based model, formulated object detection as a set prediction problem and achieved impressive results without standard components like region of interest pooling, non maximal suppression, and bounding box proposals. In this work, we propose T6D Direct, a real time single stage direct method with a transformer based architecture built on DETR to perform 6D multi object pose direct estimation. We evaluate the performance of our method on the YCB Video dataset. Our method achieves the fastest inference time, and the pose estimation accuracy is comparable to state of the art methods.


Real time Human Detection Model for Edge Devices. Building a small sized fast surveillance system model to fit on limited resource devices is a challenging, yet an important task. Convolutional Neural Networks (CNNs) have replaced traditional feature extraction and machine learning models in detection and classification tasks. Various complex large CNN models are proposed that achieve significant improvement in the accuracy. Lightweight CNN models have been recently introduced for real time tasks. This paper suggests a CNN based lightweight model that can fit on a limited edge device such as Raspberry Pi. Our proposed model provides better performance time, smaller size and comparable accuracy with existing method. The model performance is evaluated on multiple benchmark datasets. It is also compared with existing models in terms of size, average processing time, and F score. Other enhancements for future research are suggested.


A new approach to the thermodynamic analysis of gas power cycles. Engineering Thermodynamics has been the core course of many science and engineering majors around the world, including energy and power, mechanical engineering, civil engineering, aerospace, cryogenic refrigeration, food engineering, chemical engineering, and environmental engineering, among which gas power cycle is one of the important contents. However, many Engineering Thermodynamics textbooks focus only on evaluating the thermal efficiency of gas power cycle, while the important concept of specific cycle work is ignored. Based on the generalized temperature entropy diagram for the gas power cycles proposed by the authors, an ideal Otto cycle and an ideal Miller Diesel cycle are taking as examples for the thermodynamic analyses of gas power cycles. The optimum compression ratio (or the pressure ratio) for the maximum specific cycle work or the maximum mean effective pressure is analyzed and determined. The ideal Otto and the ideal Miller Diesel cycles, and also other gas power cycles for movable applications, are concluded that the operation under the maximum specific cycle work or the maximum mean effective pressure, instead of under the higher efficiency, is more economic and more reasonable. We concluded that the very important concept, i.e., the optimum compression (or pressure) ratio for the gas power cycles, should be emphasized in the Engineering Thermodynamics teaching process and in the latter revised or the newly edited textbooks, in order to better guide the engineering applications.


An Efficient Algorithm for Deep Stochastic Contextual Bandits. In stochastic contextual bandit (SCB) problems, an agent selects an action based on certain observed context to maximize the cumulative reward over iterations. Recently there have been a few studies using a deep neural network (DNN) to predict the expected reward for an action, and the DNN is trained by a stochastic gradient based method. However, convergence analysis has been greatly ignored to examine whether and where these methods converge. In this work, we formulate the SCB that uses a DNN reward function as a non convex stochastic optimization problem, and design a stage wise stochastic gradient descent algorithm to optimize the problem and determine the action policy. We prove that with high probability, the action sequence chosen by this algorithm converges to a greedy action policy respecting a local optimal reward function. Extensive experiments have been performed to demonstrate the effectiveness and efficiency of the proposed algorithm on multiple real world datasets.


Learning to solve complex tasks by growing knowledge culturally across generations. Knowledge built culturally across generations allows humans to learn far more than an individual could glean from their own experience in a lifetime. Cultural knowledge in turn rests on language language is the richest record of what previous generations believed, valued, and practiced, and how these evolved over time. The power and mechanisms of language as a means of cultural learning, however, are not well understood, and as a result, current AI systems do not leverage language as a means for cultural knowledge transmission. Here, we take a first step towards reverse engineering cultural learning through language. We developed a suite of complex tasks in the form of minimalist style video games, which we deployed in an iterated learning paradigm. Human participants were limited to only two attempts (two lives) to beat each game and were allowed to write a message to a future participant who read the message before playing. Knowledge accumulated gradually across generations, allowing later generations to advance further in the games and perform more efficient actions. Multigenerational learning followed a strikingly similar trajectory to individuals learning alone with an unlimited number of lives. Successive generations of learners were able to succeed by expressing distinct types of knowledge in natural language the dynamics of the environment, valuable goals, dangerous risks, and strategies for success. The video game paradigm we pioneer here is thus a rich test bed for developing AI systems capable of acquiring and transmitting cultural knowledge.


Label Free Model Evaluation with Semi Structured Dataset Representations. Label free model evaluation, or AutoEval, estimates model accuracy on unlabeled test sets, and is critical for understanding model behaviors in various unseen environments. In the absence of image labels, based on dataset representations, we estimate model performance for AutoEval with regression. On the one hand, image feature is a straightforward choice for such representations, but it hampers regression learning due to being unstructured ( ie no specific meanings for component at certain location) and of large scale. On the other hand, previous methods adopt simple structured representations (like average confidence or average feature), but insufficient to capture the data characteristics given their limited dimensions. In this work, we take the best of both worlds and propose a new semi structured dataset representation that is manageable for regression learning while containing rich information for AutoEval. Based on image features, we integrate distribution shapes, clusters, and representative samples for a semi structured dataset representation. Besides the structured overall description with distribution shapes, the unstructured description with clusters and representative samples include additional fine grained information facilitating the AutoEval task. On three existing datasets and 25 newly introduced ones, we experimentally show that the proposed representation achieves competitive results. Code and dataset are available at https github.com sxzrt Semi Structured Dataset Representations.


The Generalization of Faulhaber's Formula to Sums of Arbitrary Complex Powers. In this paper we present a generalization of Faulhaber's formula to sums of arbitrary complex powers m in mathbb C . These summation formulas for sums of the form sum k 1 lfloor x rfloor k m and sum k 1 n k m , where x in mathbb R and n in mathbb N , are based on a series acceleration involving Stirling numbers of the first kind. While it is well known that the corresponding expressions obtained from the Euler Maclaurin summation formula diverge, our summation formulas are all very rapidly convergent.


On the trace of the integers of a number field. Let Tr denote the trace mathbb Z module homomorphism defined on the ring mathcal O L of the integers of a number field L. We show that Tr( mathcal O L ) varsubsetneq mathbb Z if and only if there is a prime factor p of the degree of L such that if wp 1 e 1 ... wp s e s is the prime factorization of the ideal p mathcal O L in mathcal O L , then p divides all powers e 1 ,...,e s . Also, we prove that the equality Tr( mathcal O L ) mathbb Z holds when L is the compositum of certain number fields.


Efficient global resolvent analysis via the one way Navier Stokes equations. Part 1. Forced response. Resolvent analysis is a powerful tool for modeling and analyzing turbulent flows and in particular provides an approximation of coherent flow structures. Despite recent algorithmic advances, computing resolvent modes for flows with more than one inhomogeneous spatial coordinate remains computationally expensive. In this two part paper, we show how efficient and accurate approximations of resolvent modes can be obtained using a well posed spatial marching method for flows that contain a slowly varying direction. In this first part of the paper, we derive a well posed and convergent one way equation describing the downstream traveling waves supported by the linearized Navier Stokes equations. Integrating these equations, which requires significantly less CPU and memory resources than a direct solution of the linearized Navier Stokes equations, approximates the action of the resolvent operator on a forcing vector. This capability is leveraged in part 2 of the paper to compute approximate resolvent modes. The method is validated and demonstrated using the examples of a simple acoustics problem and a supersonic turbulent jet.


Thermal Waves and Heat Transfer Efficiency Enhancement in Harmonically Modulated Turbulent Thermal Convection. We study turbulent Rayleigh B 'enard convection over four decades of Rayleigh numbers 4E8 Ra 2E12, while harmonically modulating the temperatures of the plates of our cylindrical cell. We probe the flow by temperature sensors placed in the cell interior and embedded in the highly conducting copper plates and detect thermal waves propagating at modulation frequency in the bulk of the convective flow. We confirm the recent numerical prediction PRL 125, 154502 (2020) of the significant enhancement of Nusselt number and report its dependence on the frequency and amplitude of the temperature modulation of plates.


A dynamic network model of societal complexity and resilience inspired by Tainter's theory of collapse. In the past twenty years several events disrupted global economies and social well being and generally shook the confidence in the stability of western societies such as during the 2008 financial crisis and its economic aftermath. Here, we aim to identify and illustrate underlying drivers of such societal instability or even consequential collapse. For this purpose we propose a low dimensional and stylised model of two classes of networked agents (termed "labourers" and "administrators" hereafter) that is inspired by Joseph Tainter's theory of collapse of complex societies. We numerically model the dynamics of societal complexity, measured as the share of "administrators", which is assumed to affect the productivity of energy producing labourers". We show that collapse becomes increasingly likely if the model society's complexity continuously increases in response to external stresses that emulate Tainter's abstract notion of problems that societies need to solve. We additionally provide an analytical approximation of the system's dominant dynamics which matches well with the numerical experiments, thus, allowing for a precise estimate of tipping points beyond which societal collapse is triggered. The administration's ability for increasing productivity of labour shows to be the most influential parameter for longer survival times which is additionally fostered by a minimum level of social connectivity. Finally, we show that agents' stochastic transitions between labour force and administration, i.e. social mobility, can increase the survival time of the modeled society even further. Our work fosters the understanding of socio ecological collapse and illustrates its potentially direct link to an ever increasing complexity in response to external shocks or stress via a self reinforcing feedback.