Machine Learning Uncertainty as a Design Material A Post Phenomenological Inquiry. Design research is important for understanding and interrogating how emerging technologies shape human experience. However, design research with Machine Learning (ML) is relatively underdeveloped. Crucially, designers have not found a grasp on ML uncertainty as a design opportunity rather than an obstacle. The technical literature points to data and model uncertainties as two main properties of ML. Through post phenomenology, we position uncertainty as one defining material attribute of ML processes which mediate human experience. To understand ML uncertainty as a design material, we investigate four design research case studies involving ML. We derive three provocative concepts thingly uncertainty ML driven artefacts have uncertain, variable relations to their environments pattern leakage ML uncertainty can lead to patterns shaping the world they are meant to represent and futures creep ML technologies texture human relations to time with uncertainty. Finally, we outline design research trajectories and sketch a post phenomenological approach to human ML relations.


Biometrics Trust, but Verify. Over the past two decades, biometric recognition has exploded into a plethora of different applications around the globe. This proliferation can be attributed to the high levels of authentication accuracy and user convenience that biometric recognition systems afford end users. However, in spite of the success of biometric recognition systems, there are a number of outstanding problems and concerns pertaining to the various sub modules of biometric recognition systems that create an element of mistrust in their use both by the scientific community and also the public at large. Some of these problems include i) questions related to system recognition performance, ii) security (spoof attacks, adversarial attacks, template reconstruction attacks and demographic information leakage), iii) uncertainty over the bias and fairness of the systems to all users, iv) explainability of the seemingly black box decisions made by most recognition systems, and v) concerns over data centralization and user privacy. In this paper, we provide an overview of each of the aforementioned open ended challenges. We survey work that has been conducted to address each of these concerns and highlight the issues requiring further attention. Finally, we provide insights into how the biometric community can address core biometric recognition systems design issues to better instill trust, fairness, and security for all.


Sufficient spectral conditions for graphs being k edge Hamiltonian or k Hamiltonian. A graph G is k edge Hamiltonian if any collection of vertex disjoint paths with at most k edges altogether belong to a Hamiltonian cycle in G . A graph G is k Hamiltonian if for all S subseteq V(G) with S le k , the subgraph induced by V(G) setminus S has a Hamiltonian cycle. These two concepts are classical extensions for the usual Hamiltonian graphs. In this paper, we present some spectral sufficient conditions for a graph to be k edge Hamiltonian and k Hamiltonian in terms of the adjacency spectral radius as well as the signless Laplacian spectral radius. Our results extend the recent works proved by Li and Ning Linear Multilinear Algebra 64 (2016) , Nikiforov Czechoslovak Math. J. 66 (2016) and Li, Liu and Peng Linear Multilinear Algebra 66 (2018) . Moreover, we shall prove a stability result for graphs being k Hamiltonian, which can be viewed as a complement of two recent results of F " u redi, Kostochka and Luo Discrete Math. 340 (2017) and Discrete Math. 342 (2019) .


Ricci Flow on Torus Bundles. In this paper we compute the Ricci flow formulas for invariant metrics on prinicpal G bundles compatible with the connection. Our primary focus is on torus bundles which we use to study a notion of Bakry 'Emery Ricci flow as well as Ricci flow on circle bundles over K "ahler Einstein manifolds. The latter application gives us solutions to Ricci flows on Heisenberg groups and implicit solutions to Ricci flows on Berger 3 spheres and several other 3 dimensional manifolds.


Existence of disjoint frequently hypercyclic operators which fail to be disjoint weakly mixing. In this short note, we answer a question of Martin and Sanders Integr. Equ. Oper. Theory, 85 (2) (2016), 191 220 by showing the existence of disjoint frequently hypercyclic operators which fail to be disjoint weakly mixing and, therefore, fail to satisfy the Disjoint Hypercyclicity Criterion. We also show that given an operator T such that T oplus T is frequently hypercyclic, the set of operators S such that T, S are disjoint frequently hypercyclic but fail to satisfy the Disjoint Hypercyclicity Criterion is SOT dense in the algebra of bounded linear operators.


High Level FPGA Accelerator Design for Structured Mesh Based Explicit Numerical Solvers. This paper presents a workflow for synthesizing near optimal FPGA implementations for structured mesh based stencil applications for explicit solvers. It leverages key characteristics of the application class, its computation communication pattern, and the architectural capabilities of the FPGA to accelerate solvers from the high performance computing domain. Key new features of the workflow are (1) the unification of standard state of the art techniques with a number of high gain optimizations such as batching and spatial blocking tiling, motivated by increasing throughput for real world work loads and (2) the development and use of a predictive analytic model for exploring the design space, resource estimates and performance. Three representative applications are implemented using the design workflow on a Xilinx Alveo U280 FPGA, demonstrating near optimal performance and over 85 predictive model accuracy. These are compared with equivalent highly optimized implementations of the same applications on modern HPC grade GPUs (Nvidia V100) analyzing time to solution, bandwidth and energy consumption. Performance results indicate equivalent runtime performance of the FPGA implementations to the V100 GPU, with over 2x energy savings, for the largest non trivial application synthesized on the FPGA compared to the best performing GPU based solution. Our investigation shows the considerable challenges in gaining high performance on current generation FPGAs compared to traditional architectures. We discuss determinants for a given stencil code to be amenable to FPGA implementation, providing insights into the feasibility and profitability of a design and its resulting performance.


The shooting algorithm for partially control affine problems with application to an SIRS epidemiological model. In this article we propose a shooting algorithm for partially affine optimal control problems, this is, systems in which the controls appear both linearly and nonlinearly in the dynamics. Since the shooting system generally has more equations than unknowns, the algorithm relies on the Gauss Newton method. As a consequence, the convergence is locally quadratic provided that the derivative of the shooting function is injective and Lipschitz continuous at the optimal solution. We provide a proof of the convergence for the proposed algorithm using recently developed second order sufficient conditions for weak optimality of partially affine problems. We illustrate the applicability of the algorithm by solving an optimal treatment vaccination epidemiological problem.


On predicting research grants productivity. Understanding the reasons associated with successful proposals is of paramount importance to improve evaluation processes. In this context, we analyzed whether bibliometric features are able to predict the success of research grants. We extracted features aiming at characterizing the academic history of Brazilian researchers, including research topics, affiliations, number of publications and visibility. The extracted features were then used to predict grants productivity via machine learning in three major research areas, namely Medicine, Dentistry and Veterinary Medicine. We found that research subject and publication history play a role in predicting productivity. In addition, institution based features turned out to be relevant when combined with other features. While the best results outperformed text based attributes, the evaluated features were not highly discriminative. Our findings indicate that predicting grants success, at least with the considered set of bibliometric features, is not a trivial task.


A proof of Sanov's Theorem via discretizations. We present an alternative proof of Sanov's theorem for Polish spaces in the weak topology that follows via discretization arguments. We combine the simpler version of Sanov's Theorem for discrete finite spaces and well chosen finite discretizations of the Polish space. The main tool in our proof is an explicit control on the rate of convergence for the approximated measures.


Assurance Monitoring of Learning Enabled Cyber Physical Systems Using Inductive Conformal Prediction based on Distance Learning. Machine learning components such as deep neural networks are used extensively in Cyber Physical Systems (CPS). However, such components may introduce new types of hazards that can have disastrous consequences and need to be addressed for engineering trustworthy systems. Although deep neural networks offer advanced capabilities, they must be complemented by engineering methods and practices that allow effective integration in CPS. In this paper, we proposed an approach for assurance monitoring of learning enabled CPS based on the conformal prediction framework. In order to allow real time assurance monitoring, the approach employs distance learning to transform high dimensional inputs into lower size embedding representations. By leveraging conformal prediction, the approach provides well calibrated confidence and ensures a bounded small error rate while limiting the number of inputs for which an accurate prediction cannot be made. We demonstrate the approach using three data sets of mobile robot following a wall, speaker recognition, and traffic sign recognition. The experimental results demonstrate that the error rates are well calibrated while the number of alarms is very small. Further, the method is computationally efficient and allows real time assurance monitoring of CPS.


Investigation of the effectiveness of non inductive multi harmonic' electron cyclotron current drive through modeling multi pass absorptions in the EXL 50 spherical tokamak. The effectiveness of multiple electron cyclotron resonance (ECR) harmonics has been thoroughly investigated in context of high current drive efficiency, generally observed in fully non inductive operation of the low aspect ratio EXL 50 spherical tokamak (ST) powered by electron cyclotron (EC) waves. The Fokker Plank equation is numerically solved to obtain electron distribution function, under steady state of the relativistic nonlinear Coulomb collision and quasi linear diffusion operators, for calculating plasma current driven by the injected EC wave. For the extra ordinary EC wave, simulation results unfold a mechanism by which electrons moving around the cold second harmonic ECR layer strongly resonate with higher harmonics via the relativistic Doppler shifted resonance condition. This feature is in fact evident above a certain value of input EC wave power in simulation, indicating it to be a non linear phenomenon. Similar to the experimental observation, high efficiency in current drive (over 1 A W) has indeed been found in simulation for a typical low density ( sim 1 times10 18 m 3 ), low temperature ( lesssim 100 eV) plasma of EXL 50 by taking into account multi pass absorptions in our simulation model. However, such characteristic is not found in the ordinary EC wave study for both single pass and multi pass simulations, suggesting it as inefficient in driving current on our ST device.


Matrix anti concentration inequalities with applications. We provide a polynomial lower bound on the minimum singular value of an m times m random matrix M with jointly Gaussian entries, under a polynomial bound on the matrix norm and a global small ball probability bound inf x,y in S m 1 mathbb P left( left x M y right m O(1) right) ge frac 1 2 . With the additional assumption that M is self adjoint, the global small ball probability bound can be replaced by a weaker version. We establish two matrix anti concentration inequalities, which lower bound the minimum singular values of the sum of independent positive semidefinite self adjoint matrices and the linear combination of independent random matrices with independent Gaussian coefficients. Both are under a global small ball probability assumption. As a major application, we prove a better singular value bound for the Krylov space matrix, which leads to a faster and simpler algorithm for solving sparse linear systems. Our algorithm runs in tilde O left(n frac 3 omega 4 omega 1 right) O(n 2.2716 ) time where omega 2.37286 is the matrix multiplication exponent, improving on the previous fastest one in tilde O left(n frac 5 omega 4 omega 1 right) O(n 2.33165 ) time by Peng and Vempala.


Hybrid Event Shaping to Stabilize Periodic Hybrid Orbits. Many controllers for legged robotic systems leverage open or closed loop control at discrete hybrid events to enhance stability. These controllers appear in several well studied phenomena such as the Raibert stepping controller, paddle juggling and swing leg retraction. This work introduces hybrid event shaping (HES) a generalized method for analyzing and producing stable hybrid event controllers. HES utilizes the saltation matrix, which gives a closed form equation for the effect that hybrid events have on stability. We also introduce shape parameters, which are higher order terms that can be tuned completely independently from the system dynamics to promote stability. Optimization methods are used to produce values of these parameters that optimize a stability measure. Hybrid event shaping captures previously developed control methods while also producing new optimally stable trajectories without the need for continuous domain feedback.


When Blockchain Meets Smart Grids A Comprehensive Survey. Recent years have witnessed an increasing interest in the blockchain technology, and many blockchain based applications have been developed to take advantage of its decentralization, transparency, fault tolerance, and strong security. In the field of smart grids, a plethora of proposals have emerged to utilize blockchain for augmenting intelligent energy management, energy trading, security and privacy protection, microgrid management, and energy vehicles. Compared with traditional centralized approaches, blockchain based solutions are able to exploit the advantages of blockchain to realize better functionality in smart grids. However, the blockchain technology itself has its disadvantages in low processing throughput and weak privacy protection. Therefore, it is of paramount importance to study how to integrate blockchain with smart grids in a more effective way so that the advantages of blockchain can be maximized and its disadvantages can be avoided. This article surveys the state of the art solutions aiming to integrate the emergent blockchain technology with smart grids. The goal of this survey is to discuss the necessity of applying blockchain in different components of smart grids, identify the challenges encountered by current solutions, and highlight the frameworks and techniques used to integrate blockchain with smart grids. We also present thorough comparison studies among blockchain based solutions for smart grids from different perspectives, with the aim to provide insights on integrating blockchain with smart grids for different smart grid management tasks. Finally, we list the current projects and initiatives demonstrating the current effort from the practice side. Additionally, we draw attention to open problems that have not yet been tackled by existing solutions, and point out possible future research directions.


An operadic approach to substitution in Lie Butcher series. The paper follows an operadic approach to provide a bialgebraic description of substitution for Lie Butcher series. We first show how the well known bialgebraic description for substitution in Butcher's B series can be obtained from the pre Lie operad. We then apply the same construction to the post Lie operad to arrive at a bialgebra mathcal Q . By considering a module over the post Lie operad, we get a cointeraction between mathcal Q and the Hopf algebra mathcal H N that describes composition for Lie Butcher series. We use this coaction to describe substitution for Lie Butcher series.


Learning Functional Priors and Posteriors from Data and Physics. We develop a new Bayesian framework based on deep neural networks to be able to extrapolate in space time using historical data and to quantify uncertainties arising from both noisy and gappy data in physical problems. Specifically, the proposed approach has two stages (1) prior learning and (2) posterior estimation. At the first stage, we employ the physics informed Generative Adversarial Networks (PI GAN) to learn a functional prior either from a prescribed function distribution, e.g., Gaussian process, or from historical data and physics. At the second stage, we employ the Hamiltonian Monte Carlo (HMC) method to estimate the posterior in the latent space of PI GANs. In addition, we use two different approaches to encode the physics (1) automatic differentiation, used in the physics informed neural networks (PINNs) for scenarios with explicitly known partial differential equations (PDEs), and (2) operator regression using the deep operator network (DeepONet) for PDE agnostic scenarios. We then test the proposed method for (1) meta learning for one dimensional regression, and forward inverse PDE problems (combined with PINNs) (2) PDE agnostic physical problems (combined with DeepONet), e.g., fractional diffusion as well as saturated stochastic (100 dimensional) flows in heterogeneous porous media and (3) spatial temporal regression problems, i.e., inference of a marine riser displacement field. The results demonstrate that the proposed approach can provide accurate predictions as well as uncertainty quantification given very limited scattered and noisy data, since historical data could be available to provide informative priors. In summary, the proposed method is capable of learning flexible functional priors, and can be extended to big data problems using stochastic HMC or normalizing flows since the latent space is generally characterized as low dimensional.


Adversarial Environment Generation for Learning to Navigate the Web. Learning to autonomously navigate the web is a difficult sequential decision making task. The state and action spaces are large and combinatorial in nature, and websites are dynamic environments consisting of several pages. One of the bottlenecks of training web navigation agents is providing a learnable curriculum of training environments that can cover the large variety of real world websites. Therefore, we propose using Adversarial Environment Generation (AEG) to generate challenging web environments in which to train reinforcement learning (RL) agents. We provide a new benchmarking environment, gMiniWoB, which enables an RL adversary to use compositional primitives to learn to generate arbitrarily complex websites. To train the adversary, we propose a new technique for maximizing regret using the difference in the scores obtained by a pair of navigator agents. Our results show that our approach significantly outperforms prior methods for minimax regret AEG. The regret objective trains the adversary to design a curriculum of environments that are "just the right challenge" for the navigator agents our results show that over time, the adversary learns to generate increasingly complex web navigation tasks. The navigator agents trained with our technique learn to complete challenging, high dimensional web navigation tasks, such as form filling, booking a flight etc. We show that the navigator agent trained with our proposed Flexible b PAIRED technique significantly outperforms competitive automatic curriculum generation baselines including a state of the art RL web navigation approach on a set of challenging unseen test environments, and achieves more than 80 success rate on some tasks.


Supercyclicity and resolvent condition for weighted composition operators. For pairs of holomorphic maps (u, psi) on the complex plane, we study some dynamical properties of the weighted composition operator W (u, psi) on the Fock spaces. We prove that no weighted composition operator on the Fock spaces is supercyclic. Conditions under which the operators satisfy the Ritt's resolvent growth condition are also identified. In particular, we show that a non trivial composition operator on the Fock spaces satisfies such a growth condition if and only if it is compact.


Generating series of non oriented constellations and marginal sums in the Matching Jack conjecture. Using the description of hypermaps with matchings, Goulden and Jackson have given an expression of the generating series of rooted bipartite maps in terms of the zonal polynomials. We generalize this approach to the case of constellations on non oriented surfaces that have recently been introduced by Chapuy and Do l k e ga. A key step in the proof is an encoding of constellations with tuples of matchings. We consider a one parameter deformation of the generating series of constellations using Jack polynomials and we introduce the coefficients c lambda mu 0,..., mu k (b) obtained by the expansion of these functions in the power sum basis. These coefficients are indexed by k 2 integer partitions and the deformation parameter b , and can be considered as a generalization for k geq1 of the connection coefficients introduced by Goulden and Jackson. We prove that when we take some marginal sums, these coefficients enumerate b weighted k tuples of matchings. This can be seen as an "unrooted" version of a recent result of Chapuy and Do l k e ga for constellations. For k 1 , this gives a partial answer to Goulden and Jackson Matching Jack conjecture. Lassale has formulated a positivity conjecture for the coefficients theta ( alpha) mu( lambda) , defined as the coefficient of the Jack polynomial J lambda ( alpha) in the power sum basis. We use the second main result of this paper to give a proof of this conjecture in the case of partitions lambda with rectangular shape.


EffCNet An Efficient CondenseNet for Image Classification on NXP BlueBox. Intelligent edge devices with built in processors vary widely in terms of capability and physical form to perform advanced Computer Vision (CV) tasks such as image classification and object detection, for example. With constant advances in the field of autonomous cars and UAVs, embedded systems and mobile devices, there has been an ever growing demand for extremely efficient Artificial Neural Networks (ANN) for real time inference on these smart edge devices with constrained computational resources. With unreliable network connections in remote regions and an added complexity of data transmission, it is of an utmost importance to capture and process data locally instead of sending the data to cloud servers for remote processing. Edge devices on the other hand, offer limited processing power due to their inexpensive hardware, and limited cooling and computational resources. In this paper, we propose a novel deep convolutional neural network architecture called EffCNet which is an improved and an efficient version of CondenseNet Convolutional Neural Network (CNN) for edge devices utilizing self querying data augmentation and depthwise separable convolutional strategies to improve real time inference performance as well as reduce the final trained model size, trainable parameters, and Floating Point Operations (FLOPs) of EffCNet CNN. Furthermore, extensive supervised image classification analyses are conducted on two benchmarking datasets CIFAR 10 and CIFAR 100, to verify real time inference performance of our proposed CNN. Finally, we deploy these trained weights on NXP BlueBox which is an intelligent edge development platform designed for self driving vehicles and UAVs, and conclusions will be extrapolated accordingly.


Multiscale DeepONet for Nonlinear Operators in Oscillatory Function Spaces for Building Seismic Wave Responses. In this paper, we propose a multiscale DeepONet to represent nonlinear operator between Banach spaces of highly oscillatory continuous functions. The multiscale deep neural network (DNN) utilizes a multiple scaling technique to convert high frequency function to lower frequency functions before using a DNN to learn a specific range of frequency of the function. The multi scale concept is integrated into the DeepONet which is based on a universal approximation theory of nonlinear operators. The resulting multi scale DeepONet is shown to be effective to represent building seismic response operator which maps oscillatory seismic excitation to the oscillatory building responses.


Lightweight Monocular Depth with a Novel Neural Architecture Search Method. This paper presents a novel neural architecture search method, called LiDNAS, for generating lightweight monocular depth estimation models. Unlike previous neural architecture search (NAS) approaches, where finding optimized networks are computationally highly demanding, the introduced novel Assisted Tabu Search leads to efficient architecture exploration. Moreover, we construct the search space on a pre defined backbone network to balance layer diversity and search space size. The LiDNAS method outperforms the state of the art NAS approach, proposed for disparity and depth estimation, in terms of search efficiency and output model performance. The LiDNAS optimized models achieve results superior to compact depth estimation state of the art on NYU Depth v2, KITTI, and ScanNet, while being 7 500 more compact in size, i.e the number of model parameters.


What Went Wrong? Explaining Overall Dialogue Quality through Utterance Level Impacts. Improving user experience of a dialogue system often requires intensive developer effort to read conversation logs, run statistical analyses, and intuit the relative importance of system shortcomings. This paper presents a novel approach to automated analysis of conversation logs that learns the relationship between user system interactions and overall dialogue quality. Unlike prior work on utterance level quality prediction, our approach learns the impact of each interaction from the overall user rating without utterance level annotation, allowing resultant model conclusions to be derived on the basis of empirical evidence and at low cost. Our model identifies interactions that have a strong correlation with the overall dialogue quality in a chatbot setting. Experiments show that the automated analysis from our model agrees with expert judgments, making this work the first to show that such weakly supervised learning of utterance level quality prediction is highly achievable.


Shuffle Transformer with Feature Alignment for Video Face Parsing. This is a short technical report introducing the solution of the Team TCParser for Short video Face Parsing Track of The 3rd Person in Context (PIC) Workshop and Challenge at CVPR 2021. In this paper, we introduce a strong backbone which is cross window based Shuffle Transformer for presenting accurate face parsing representation. To further obtain the finer segmentation results, especially on the edges, we introduce a Feature Alignment Aggregation (FAA) module. It can effectively relieve the feature misalignment issue caused by multi resolution feature aggregation. Benefiting from the stronger backbone and better feature aggregation, the proposed method achieves 86.9519 score in the Short video Face Parsing track of the 3rd Person in Context (PIC) Workshop and Challenge, ranked the first place.


Self similar blow up patterns for a reaction diffusion equation with weighted reaction in general dimension. We classify the finite time blow up profiles for the following reaction diffusion equation with unbounded weight partial tu Delta u m x sigma u p, posed in any space dimension x in mathbf R N , t geq0 and with exponents m 1 , p in(0,1) and sigma 2(1 p) (m 1) . We prove that blow up profiles in backward self similar form exist for the indicated range of parameters, showing thus that the unbounded weight has a strong influence on the dynamics of the equation, merging with the nonlinear reaction in order to produce finite time blow up. We also prove that all the blow up profiles are emph compactly supported and might present two different types of interface behavior and three different possible emph good behaviors near the origin, with direct influence on the blow up behavior of the solutions. We classify all these profiles with respect to these different local behaviors depending on the magnitude of sigma . This paper generalizes in dimension N 1 previous results by the authors in dimension N 1 and also includes some finer classification of the profiles for sigma large that is new even in dimension N 1 .


On Aharoni's rainbow generalization of the Caccetta H " a ggkvist conjecture. For a digraph G and v in V(G) , let delta (v) be the number of out neighbors of v in G . The Caccetta H " a ggkvist conjecture states that for all k ge 1 , if G is a digraph with n V(G) such that delta (v) ge k for all v in V(G) , then G contains a directed cycle of length at most lceil n k rceil . In 2 , Aharoni proposes a generalization of this conjecture, that a simple edge colored graph on n vertices with n color classes, each of size k , has a rainbow cycle of length at most lceil n k rceil . In this paper, we prove this conjecture if each color class has size Omega (k log k) .


Data Streaming and Traffic Gathering in Mesh based NoC for Deep Neural Network Acceleration. The increasing popularity of deep neural network (DNN) applications demands high computing power and efficient hardware accelerator architecture. DNN accelerators use a large number of processing elements (PEs) and on chip memory for storing weights and other parameters. As the communication backbone of a DNN accelerator, networks on chip (NoC) play an important role in supporting various dataflow patterns and enabling processing with communication parallelism in a DNN accelerator. However, the widely used mesh based NoC architectures inherently cannot support the efficient one to many and many to one traffic largely existing in DNN workloads. In this paper, we propose a modified mesh architecture with a one way two way streaming bus to speedup one to many (multicast) traffic, and the use of gather packets to support many to one (gather) traffic. The analysis of the runtime latency of a convolutional layer shows that the two way streaming architecture achieves better improvement than the one way streaming architecture for an Output Stationary (OS) dataflow architecture. The simulation results demonstrate that the gather packets can help to reduce the runtime latency up to 1.8 times and network power consumption up to 1.7 times, compared with the repetitive unicast method on modified mesh architectures supporting two way streaming.


BAR Blockwise Adaptive Recoding for Batched Network Coding. Multi hop networks become popular network topologies in various emerging Internet of things applications. Batched network coding (BNC) is a solution to reliable communications in such networks with packet loss. By grouping packets into small batches and restricting recoding to the packets belonging to the same batch, BNC has a much smaller computational and storage requirements at the intermediate nodes compared with a direct application of random linear network coding. In this paper, we propose a practical recoding scheme called blockwise adaptive recoding (BAR) which learns the latest channel knowledge from short observations so that BAR can adapt to the fluctuation of channel conditions. We focus on investigating practical concerns such as the design of efficient BAR algorithms. We also design and investigate feedback schemes for BAR under imperfect feedback systems. Our numerical evaluations show that BAR has significant throughput gain for small batch size compared with the existing baseline recoding scheme. More importantly, this gain is insensitive to inaccurate channel knowledge. This encouraging result suggests that BAR is suitable to be realized in practice as the exact channel model and its parameters could be unknown and subject to change from time to time.


A Simple Post Processing Technique for Improving Readability Assessment of Texts using Word Mover's Distance. Assessing the proper difficulty levels of reading materials or texts in general is the first step towards effective comprehension and learning. In this study, we improve the conventional methodology of automatic readability assessment by incorporating the Word Mover's Distance (WMD) of ranked texts as an additional post processing technique to further ground the difficulty level given by a model. Results of our experiments on three multilingual datasets in Filipino, German, and English show that the post processing technique outperforms previous vanilla and ranking based models using SVM.


A Survey of the Hadamard Maximal Determinant Problem. In a celebrated paper of 1893, Hadamard established the maximal determinant theorem, which establishes an upper bound on the determinant of a matrix with complex entries of norm at most 1 . His paper concludes with the suggestion that mathematicians study the maximum value of the determinant of an n times n matrix with entries in pm 1 . This is the Hadamard maximal determinant problem. This survey provides complete proofs of the major results obtained thus far. We focus equally on upper bounds for the determinant (achieved largely via the study of the Gram matrices), and constructive lower bounds (achieved largely via quadratic residues in finite fields and concepts from design theory). To provide an impression of the historical development of the subject, we have attempted to modernise many of the original proofs, while maintaining the underlying ideas. Thus some of the proofs have the flavour of determinant theory, and some appear in print in English for the first time. We survey constructions of matrices in order n equiv 3 mod 4 , giving asymptotic analysis which has not previously appeared in the literature. We prove that there exists an infinite family of matrices achieving at least 0.48 of the maximal determinant bound. Previously the best known constant for a result of this type was 0.34 .


Differentially Private Aggregation in the Shuffle Model Almost Central Accuracy in Almost a Single Message. The shuffle model of differential privacy has attracted attention in the literature due to it being a middle ground between the well studied central and local models. In this work, we study the problem of summing (aggregating) real numbers or integers, a basic primitive in numerous machine learning tasks, in the shuffle model. We give a protocol achieving error arbitrarily close to that of the (Discrete) Laplace mechanism in the central model, while each user only sends 1 o(1) short messages in expectation.


Attend to Who You Are Supervising Self Attention for Keypoint Detection and Instance Aware Association. This paper presents a new method to solve keypoint detection and instance association by using Transformer. For bottom up multi person pose estimation models, they need to detect keypoints and learn associative information between keypoints. We argue that these problems can be entirely solved by Transformer. Specifically, the self attention in Transformer measures dependencies between any pair of locations, which can provide association information for keypoints grouping. However, the naive attention patterns are still not subjectively controlled, so there is no guarantee that the keypoints will always attend to the instances to which they belong. To address it we propose a novel approach of supervising self attention for multi person keypoint detection and instance association. By using instance masks to supervise self attention to be instance aware, we can assign the detected keypoints to their corresponding instances based on the pairwise attention scores, without using pre defined offset vector fields or embedding like CNN based bottom up models. An additional benefit of our method is that the instance segmentation results of any number of people can be directly obtained from the supervised attention matrix, thereby simplifying the pixel assignment pipeline. The experiments on the COCO multi person keypoint detection challenge and person instance segmentation task demonstrate the effectiveness and simplicity of the proposed method and show a promising way to control self attention behavior for specific purposes.


Conservative invariant finite difference schemes for the modified shallow water equations in Lagrangian coordinates. The one dimensional modified shallow water equations in Lagrangian coordinates are considered. It is shown the relationship between symmetries and conservation laws in Lagrangian coordinates, in mass Lagrangian variables, and Eulerian coordinates. For equations in Lagrangian coordinates an invariant finite difference scheme is constructed for all cases for which conservation laws exist in the differential model. Such schemes possess the difference analogues of the conservation laws of mass, momentum, energy, the law of center of mass motion for horizontal, inclined and parabolic bottom topographies. Invariant conservative difference scheme is tested numerically in comparison with naive approximation invariant scheme.


A new family of holomorphic homogeneous regular domains and some questions on the squeezing function. We revisit the phenomenon where, for certain domains D , if the squeezing function s D extends continuously to a point p in partial D with value 1 , then partial D is strongly pseudoconvex around p . In mathbb C 2 , we present weaker conditions under which the latter conclusion is obtained. In another direction, we show that there are bounded domains D Subset mathbb C n , n geq 2 , that admit large partial D open subsets mathscr O subset partial D such that s D to 0 approaching any point in mathscr O . This is impossible for planar domains. We pose a few questions related to these phenomena. But the core result of this paper identifies a new family of holomorphic homogeneous regular domains. We show via a family of examples how abundant domains satisfying the conditions of this result are.


Quality Gatekeepers Investigating the Effects ofCode Review Bots on Pull Request Activities. Software bots have been facilitating several development activities in Open Source Software (OSS) projects, including code review. However, these bots may bring unexpected impacts to group dynamics, as frequently occurs with new technology adoption. Understanding and anticipating such effects is important for planning and management. To analyze these effects, we investigate how several activity indicators change after the adoption of a code review bot. We employed a regression discontinuity design on 1,194 software projects from GitHub. We also interviewed 12 practitioners, including open source maintainers and contributors. Our results indicate that the adoption of code review bots increases the number of monthly merged pull requests, decreases monthly non merged pull requests, and decreases communication among developers. From the developers' perspective, these effects are explained by the transparency and confidence the bot comments introduce, in addition to the changes in the discussion focused on pull requests. Practitioners and maintainers may leverage our results to understand, or even predict, bot effects on their projects.


On the Pettis Johnstone theorem for localic groups. We explain how Johnstone's 1989 proof of the closed subgroup theorem for localic groups can be viewed as a point free version of Pettis's theorem for Baire topological groups. We then use it to derive localic versions of the open mapping theorem and automatic continuity of Borel homomorphisms, as well as the non existence of binary coproducts of complete Boolean algebras.


MDEmic in a use case for microscopy metadata harmonization Facilitating FAIR principles in practical application with metadata annotation tools. While the FAIR principles are well accepted in the scientific community, the implementation of appropriate metadata editing and transfer to ensure FAIR research data in practice is significantly lagging behind. On the one hand, it strongly depends on the availability of tools that efficiently support this step in research data management. On the other hand, it depends on the available standards regarding the interpretability of metadata. Here, we introduce a tool, MDEmic, for editing metadata of microscopic imaging data in an easy and comfortable way that provides high flexibility in terms of adjustment of metadata sets. This functionality was in great demand by many researchers applying microscopic techniques. MDEmic has already become a part of the standard installation package of the image database OMERO as OMERO.mde. This database helps to organize and visualize microscopic image data and keep track of their further processing and linkage to other data sets. For this reason, many imaging core facilities provide OMERO to their users. We present a use case scenario for the tailored application of OMERO.mde to imaging data of an institutional OMERO based Membrane Dye Database, which requires specific experimental metadata. Similar to public image data repositories like the Image Data Resource, IDR, this database facilitates image data storage including rich metadata which enables data mining and re use, one of the major goals of the FAIR principles.


Invariant densities for random continued fractions. We continue the study of random continued fraction expansions, generated by random application of the Gauss and the R 'enyi backward continued fraction maps. We show that this random dynamical system admits a unique absolutely continuous invariant measure with smooth density.


Sparsity structures for Koopman operators. We present a decomposition of the Koopman operator based on the sparse structure of the underlying dynamical system, allowing one to consider the system as a family of subsystems interconnected by a graph. Using the intrinsic properties of the Koopman operator, we show that eigenfunctions for the subsystems induce eigenfunctions for the whole system. The use of principal eigenfunctions allows to reverse this result. Similarly for the adjoint operator, the Perron Frobenius operator, invariant measures for the dynamical system induce invariant measures of the subsystems, while constructing invariant measures from invariant measures of the subsystems is less straightforward. We address this question and show that under necessary compatibility assumptions such an invariant measure exists. Based on these results we demonstrate that the a priori knowledge of a decomposition of a dynamical system allows for a reduction of the computational cost for data driven approaches on the example of the dynamic mode decomposition.


Asymptotics for Bergman projections with smooth weights a direct approach. We adapt the direct approach to the semiclassical Bergman kernel asymptotics, developed recently by A. Deleporte, J. Sj "ostrand, and the first named author for real analytic exponential weights, to the smooth case. Similar to that work, our approach avoids the use of the Kuranishi trick and it allows us to construct the amplitude of the asymptotic Bergman projection by means of an asymptotic inversion of an explicit Fourier integral operator.


StylePeople A Generative Model of Fullbody Human Avatars. We propose a new type of full body human avatars, which combines parametric mesh based body model with a neural texture. We show that with the help of neural textures, such avatars can successfully model clothing and hair, which usually poses a problem for mesh based approaches. We also show how these avatars can be created from multiple frames of a video using backpropagation. We then propose a generative model for such avatars that can be trained from datasets of images and videos of people. The generative model allows us to sample random avatars as well as to create dressed avatars of people from one or few images. The code for the project is available at saic violet.github.io style people.


Visual Distant Supervision for Scene Graph Generation. Scene graph generation aims to identify objects and their relations in images, providing structured image representations that can facilitate numerous applications in computer vision. However, scene graph models usually require supervised learning on large quantities of labeled data with intensive human annotation. In this work, we propose visual distant supervision, a novel paradigm of visual relation learning, which can train scene graph models without any human labeled data. The intuition is that by aligning commonsense knowledge bases and images, we can automatically create large scale labeled data to provide distant supervision for visual relation learning. To alleviate the noise in distantly labeled data, we further propose a framework that iteratively estimates the probabilistic relation labels and eliminates the noisy ones. Comprehensive experimental results show that our distantly supervised model outperforms strong weakly supervised and semi supervised baselines. By further incorporating human labeled data in a semi supervised fashion, our model outperforms state of the art fully supervised models by a large margin (e.g., 8.3 micro and 7.8 macro recall 50 improvements for predicate classification in Visual Genome evaluation). We make the data and code for this paper publicly available at https github.com thunlp VisualDS.


Requirements Aided Automatic Test Case Generation for Industrial Cyber physical Systems. Industrial cyber physical systems require complex distributed software to orchestrate many heterogeneous mechatronic components and control multiple physical processes. Industrial automation software is typically developed in a model driven fashion where abstractions of physical processes called plant models are co developed and iteratively refined along with the control code. Testing such multi dimensional systems is extremely difficult because often models might not be accurate, do not correspond accurately with subsequent refinements, and the software must eventually be tested on the real plant, especially in safety critical systems like nuclear plants. This paper proposes a framework wherein high level functional requirements are used to automatically generate test cases for designs at all abstraction levels in the model driven engineering process. Requirements are initially specified in natural language and then analyzed and specified using a formalized ontology. The requirements ontology is then refined along with controller and plant models during design and development stages such that test cases can be generated automatically at any stage. A representative industrial water process system case study illustrates the strengths of the proposed formalism. The requirements meta model proposed by the CESAR European project is used for requirements engineering while IEC 61131 3 and model driven concepts are used in the design and development phases. A tool resulting from the proposed framework called REBATE (Requirements Based Automatic Testing Engine) is used to generate and execute test cases for increasingly concrete controller and plant models.


High accuracy analysis of adaptive multiresolution based lattice Boltzmann schemes via the equivalent equations. Multiresolution provides a fundamental tool based on the wavelet theory to build adaptive numerical schemes for Partial Differential Equations and time adaptive meshes, allowing for error control. We have introduced this strategy before to construct adaptive lattice Boltzmann methods with this interesting feature.Furthermore, these schemes allow for an effective memory compression of the solution when spatially localized phenomena such as shocks or fronts are involved, to rely on the original scheme without any manipulation at the finest level of grid and to reach a high level of accuracy on the solution.Nevertheless, the peculiar way of modeling the desired physical phenomena in the lattice Boltzmann schemes calls, besides the possibility of controlling the error introduced by the mesh adaptation, for a deeper and more precise understanding of how mesh adaptation alters the physics approximated by the numerical strategy. In this contribution, this issue is studied by performing the equivalent equations analysis of the adaptive method after writing the scheme under an adapted formalism. It provides an essential tool to master the perturbations introduced by the adaptive numerical strategy, which can thus be devised to preserve the desired features of the reference scheme at a high order of accuracy. The theoretical considerations are corroborated by numerical experiments in both the 1D and 2D context, showing the relevance of the analysis. In particular, we show that our numerical method outperforms traditional approaches, whether or not the solution of the reference scheme converges to the solution of the target equation.Furthermore, we discuss the influence of various collision strategies for non linear problems, showing that they have only a marginal impact on the quality of the solution, thus further assessing the proposed strategy.


Policy Practice Contradiction Case of Cloud Computing Adoption in the Malawi Health Sector. This paper examines the dynamics of policy implementation and how policy contradicts reality on the ground when it comes to practice. The paper finds that despite having well laid out policy the actual practice is contrary. Taking data storage policy within the Ministry of Health in Malawi as a case study, the paper highlights that the contextual realities of where Ministry of Health (MoH) data is stored depends on a number of Technology Organizational Environmental (TOE) factors. In the wake of cloud computing some of these factors act as causative factors for data to be stored in the cloud contradicting the data storage policy.


Some remarks on the weak maximizing property. A pair of Banach spaces (E, F) is said to have the weak maximizing property (WMP, for short) if for every bounded linear operator T from E into F , the existence of a non weakly null maximizing sequence for T implies that T attains its norm. This property was recently introduced in an article by R. Aron, D. Garc 'ia, D. Pelegrino and E. Teixeira, raising several open questions. The aim of the present paper is to contribute to the better knowledge of the WMP and its limitations. Namely, we provide sufficient conditions for a pair of Banach spaces to fail the WMP and study the behaviour of this property with respect to quotients, subspaces, and direct sums, which open the gate to present several consequences. For instance, we deal with pairs of the form (L p 0,1 , L q 0,1 ) , proving that these pairs fail the WMP whenever p 2 or q 2 . We also show that, under certain conditions on E , the assumption that (E, F) has the WMP for every Banach space F implies that E must be finite dimensional. On the other hand, we show that (E, F) has the WMP for every reflexive space E if and only if F has the Schur property. We also give a complete characterization for the pairs ( ell s oplus p ell p, ell s oplus q ell q) to have the WMP by calculating the moduli of asymptotic uniform convexity of ell s oplus p ell p and of asymptotic uniform smoothness of ell s oplus q ell q when 1 p leq s leq q infty . We conclude the paper by discussing some variants of the WMP and presenting a list of open problems on the topic of the paper.


Algebraic structures in the family of non Lebesgue measurable sets. In the additive topological group ( mathbb R , ) of real numbers, we construct families of sets for which elements are not measurable in the Lebesgue sense. The constructed families of sets have algebraic structures of being semigroups (i.e. closed under finite unions of sets), and they are invariant under the action of the group Phi( mathbb R ) of all translations of mathbb R onto itself. Those semigroups are constructed by using Vitali selectors and Bernstein sets on mathbb R taken simultaneously differently to what exists in the literature.


Long term balanced allocation via thinning. We study the long term behavior of the two thinning variant of the classical balls and bins model. In this model, an overseer is provided with uniform random allocation of m balls into n bins in an on line fashion. For each ball, the overseer could reject its allocation and place the ball into a new bin drawn independently at random. The purpose of the overseer is to reduce the maximum load of the bins, which is defined as the difference between the maximum number of balls in a single bin and m n , i.e., the average number of balls among all bins. We provide tight estimates for three quantities the lowest maximum load that could be achieved at time m , the lowest maximum load that could be achieved uniformly over the entire time interval m 1, 2, cdots, m , and the lowest emph typical maximum load that could be achieved over the interval m , where the typicality means that the maximum load holds for 1 o(1) portion of the times in m . We show that when m and n are sufficiently large, a typical maximum load of ( log n) 1 2 o(1) can be achieved with high probability, asymptotically the same as the optimal maximum load that could be achieved at time m . However, for any strategy, the maximal load among all times in the interval m is Omega big( frac log n log log n big) with high probability. A strategy achieving this bound is provided. An explanation for this gap is provided by our optimal strategies as follows. To control the typical load, we restrain the maximum load for some time, during which we accumulate more and more bins with relatively high load. After a while, we have to employ for a short time a different strategy to reduce the number of relatively heavily loaded bins, at the expanse of temporarily inducing high load in a few bins.


Sub and Super solution Approach to Accuracy Analysis of Portfolio Optimization Asymptotics in Multiscale Stochastic Factor Market. The problem of portfolio optimization when stochastic factors drive returns and volatilities has been studied in previous works by the authors. In particular, they proposed asymptotic approximations for value functions and optimal strategies in the regime where these factors are running on both slow and fast timescales. However, the rigorous justification of the accuracy of these approximations has been limited to power utilities and a single factor. In this paper, we provide an accurate analysis for cases with general utility functions and two timescale factors by constructing sub and super solutions to the fully nonlinear problem so that their difference is at the desired level of accuracy. This approach will be valuable in various related stochastic control problems.


Bee Cluster 3D A system to monitor the temperature in a hive over time. A new system, Bee Cluster 3D, allowing the study of the time evolution of the 3D temperature distribution in a bee hive is presented. This system can be used to evaluate the cluster size and the location of the queen during winter. In summer, the device can be used to quantify the size of the brood nest and the breeding activity of the queen. The system does not disturb the activity of the colony and can be used on any hive. This electronic system was developed to be non intrusive, miniaturized, and energy autonomous.


VulSPG Vulnerability detection based on slice property graph representation learning. Vulnerability detection is an important issue in software security. Although various data driven vulnerability detection methods have been proposed, the task remains challenging since the diversity and complexity of real world vulnerable code in syntax and semantics make it difficult to extract vulnerable features with regular deep learning models, especially in analyzing a large program. Moreover, the fact that real world vulnerable codes contain a lot of redundant information unrelated to vulnerabilities will further aggravate the above problem. To mitigate such challenges, we define a novel code representation named Slice Property Graph (SPG), and then propose VulSPG, a new vulnerability detection approach using the improved R GCN model with triple attention mechanism to identify potential vulnerabilities in SPG. Our approach has at least two advantages over other methods. First, our proposed SPG can reflect the rich semantics and explicit structural information that may be relevance to vulnerabilities, while eliminating as much irrelevant information as possible to reduce the complexity of graph. Second, VulSPG incorporates triple attention mechanism in R GCNs to achieve more effective learning of vulnerability patterns from SPG. We have extensively evaluated VulSPG on two large scale datasets with programs from SARD and real world projects. Experimental results prove the effectiveness and efficiency of VulSPG.


Hartree Fock Critical Nuclear Charge in Two Electron Atoms. Electron correlation effects play a key role in stabilising two electron atoms near the critical nuclear charge, representing the smallest charge required to bind two electrons. However, deciphering the importance of these effects relies on fully understanding the uncorrelated Hartree Fock description. Here, we investigate the properties of the ground state wave function in the small nuclear charge limit using various symmetry restricted Hartree Fock formalisms. We identify the nuclear charge where spin symmetry breaking occurs to give an unrestricted wave function that predicts the ionisation of an electron. We also discover another critical nuclear charge where the closed shell electron density detaches from the nucleus, and identify the importance of fractional spin errors and static correlation in this limit.


PE former Pose Estimation Transformer. Vision transformer architectures have been demonstrated to work very effectively for image classification tasks. Efforts to solve more challenging vision tasks with transformers rely on convolutional backbones for feature extraction. In this paper we investigate the use of a pure transformer architecture (i.e., one with no CNN backbone) for the problem of 2D body pose estimation. We evaluate two ViT architectures on the COCO dataset. We demonstrate that using an encoder decoder transformer architecture yields state of the art results on this estimation problem.


Torsional rigidity for tangential polygons. An inequality on torsional rigidity is established. For tangential polygons this inequality is stronger than an inequality of Polya and Szego for convex domains. (A survey of related work, not in the journal submission, is presented in the arXiv version.)


Bridge numbers and meridional ranks of knotted surfaces and welded knots. The Meridional Rank Conjecture is an important open problem in the theory of knots and links in S 3 , and asks whether the bridge number of a knot is equal to the minimal number of meridians needed to generate the fundamental group of its complement. In this paper, we investigate the extent to which this is a good conjecture for other knotted objects, namely knotted surfaces in S 4 and virtual and welded knots. We develop criteria using tailored quotients of knot groups and the Wirtinger number to establish the equality of bridge number and meridional rank for several large families of examples. On the other hand, we show that the meridional rank of a connected sum of knotted spheres can achieve any value between the theoretical limits so that either bridge number also collapses, or meridional rank is not equal to bridge number. We conclude with some applications of the Wirtinger number of virtual knots to the classical MRC and to the hyperbolic volume of knots in S 3 .


On the role of feedback in visual processing a predictive coding perspective. Brain inspired machine learning is gaining increasing consideration, particularly in computer vision. Several studies investigated the inclusion of top down feedback connections in convolutional networks however, it remains unclear how and when these connections are functionally helpful. Here we address this question in the context of object recognition under noisy conditions. We consider deep convolutional networks (CNNs) as models of feed forward visual processing and implement Predictive Coding (PC) dynamics through feedback connections (predictive feedback) trained for reconstruction or classification of clean images. To directly assess the computational role of predictive feedback in various experimental situations, we optimize and interpret the hyper parameters controlling the network's recurrent dynamics. That is, we let the optimization process determine whether top down connections and predictive coding dynamics are functionally beneficial. Across different model depths and architectures (3 layer CNN, ResNet18, and EfficientNetB0) and against various types of noise (CIFAR100 C), we find that the network increasingly relies on top down predictions as the noise level increases in deeper networks, this effect is most prominent at lower layers. In addition, the accuracy of the network implementing PC dynamics significantly increases over time steps, compared to its equivalent forward network. All in all, our results provide novel insights relevant to Neuroscience by confirming the computational role of feedback connections in sensory systems, and to Machine Learning by revealing how these can improve the robustness of current vision models.


Sorrel an IDE Plugin for Managing Licenses and Detecting License Incompatibilities. Software development is a complex process that includes many different tasks besides just writing code. One of the aspects of software engineering is selecting and managing licenses for the given project. In this paper, we present Sorrel a plugin for managing licenses and detecting potential incompatibilities for IntelliJ IDEA, a popular Java IDE. The plugin scans the project in search of information about the project license and the licenses of its libraries. If the project does not yet have a license, the plugin provides the developer with recommendations for choosing the most suitable open license, and if there is a license, it informs the programmer about potential licensing violations. The tool makes it easier for developers to choose a proper license for a project and avoid most of the licensing errors all inside the familiar IDE editor. The plugin and its source code are available online on GitHub https github.com JetBrains Research sorrel. A demonstration video can be found at https youtu.be doUeAwPjcPE.


Immune Moral Models? Pro Social Rule Breaking as a Moral Enhancement Approach for Ethical AI. The world is heading towards a state in which Artificial Intelligence (AI) based agents make most decisions on behalf of humans. From healthcare decision making to social media censoring, these agents face problems and make decisions that have ethical and societal implications. Hence, ethical behaviour is a critical characteristic of a human centric AI. A common observation in human centric industries, like the service industry and healthcare, is that their professionals tend to break rules, if necessary, for pro social reasons. To make AI agents more human centric, we argue that there is a need for a mechanism that helps AI agents to identify when and how to break rules set by their designers. In this paper, we examine the when, i.e., conditions under which humans break rules for pro social reasons. In the presented study, we introduce a 'vaccination strategy dilemma' where one needs to decide whether they would distribute Covid 19 vaccines only to members of a high risk group (follow the rule) or, in selected cases, administer the vaccine to a few social influencers (break the rule), which might yield an overall greater benefit to society. Results of the empirical study suggest a relationship between stakeholder utilities and pro social rule breaking (PSRB), which either deontological or utilitarian ethics cannot completely explain. Finally, the paper discusses the design characteristics of an ethical agent capable of PSRB and the future research directions on PSRB in the AI realm.


Special directions on the finite affine plane. In this paper we study the number of special directions of sets of cardinality divisible by p on a finite plane of characteristic p , where p is a prime. We show that there is no such a set with exactly two special directions. We characterise sets with exactly 3 special directions which answers a question of Ghidelli in negative. Further we introduce methods to construct sets of minimal cardinality that has exactly 4 special directions for small values of p .


Constrained reachability problems for a planar manipulator. We address an optimal reachability problem for a planar manipulator in a constrained environment. After introducing the optmization problem in full generality, we practically embed the geometry of the workspace in the problem, by considering some classes of obstacles. To this end, we present an analytical approximation of the distance function from the ellipse. We then apply our method to particular models of hyper redundant and soft manipulators, by also presenting some numerical experiments.


Adaptive Belief Discretization for POMDP Planning. Partially Observable Markov Decision Processes (POMDP) is a widely used model to represent the interaction of an environment and an agent, under state uncertainty. Since the agent does not observe the environment state, its uncertainty is typically represented through a probabilistic belief. While the set of possible beliefs is infinite, making exact planning intractable, the belief space's complexity (and hence planning complexity) is characterized by its covering number. Many POMDP solvers uniformly discretize the belief space and give the planning error in terms of the (typically unknown) covering number. We instead propose an adaptive belief discretization scheme, and give its associated planning error. We furthermore characterize the covering number with respect to the POMDP parameters. This allows us to specify the exact memory requirements on the planner, needed to bound the value function error. We then propose a novel, computationally efficient solver using this scheme. We demonstrate that our algorithm is highly competitive with the state of the art in a variety of scenarios.


Distance aware Quantization. We address the problem of network quantization, that is, reducing bit widths of weights and or activations to lighten network architectures. Quantization methods use a rounding function to map full precision values to the nearest quantized ones, but this operation is not differentiable. There are mainly two approaches to training quantized networks with gradient based optimizers. First, a straight through estimator (STE) replaces the zero derivative of the rounding with that of an identity function, which causes a gradient mismatch problem. Second, soft quantizers approximate the rounding with continuous functions at training time, and exploit the rounding for quantization at test time. This alleviates the gradient mismatch, but causes a quantizer gap problem. We alleviate both problems in a unified framework. To this end, we introduce a novel quantizer, dubbed a distance aware quantizer (DAQ), that mainly consists of a distance aware soft rounding (DASR) and a temperature controller. To alleviate the gradient mismatch problem, DASR approximates the discrete rounding with the kernel soft argmax, which is based on our insight that the quantization can be formulated as a distance based assignment problem between full precision values and quantized ones. The controller adjusts the temperature parameter in DASR adaptively according to the input, addressing the quantizer gap problem. Experimental results on standard benchmarks show that DAQ outperforms the state of the art significantly for various bit widths without bells and whistles.


The maximum size of a nonhamiltonian graph with given order and connectivity. Motivated by work of Erd H o s, Ota determined the maximum size g(n,k) of a k connected nonhamiltonian graph of order n in 1995. But for some pairs n,k, the maximum size is not attained by a graph of connectivity k. For example, g(15,3) 77 is attained by a unique graph of connectivity 7, not 3. In this paper we obtain more precise information by determining the maximum size of a nonhamiltonian graph of order n and connectivity k, and determining the extremal graphs. Consequently we solve the corresponding problem for nontraceable graphs.


Thin knots and the Cabling Conjecture. The Cabling Conjecture of Gonz 'alez Acu na and Short holds that only cable knots admit Dehn surgery to a manifold containing an essential sphere. We approach this conjecture for thin knots using Heegaard Floer homology, primarily via immersed curves techniques inspired by Hanselman's work on the Cosmetic Surgery Conjecture. We show that almost all thin knots satisfy the Cabling Conjecture, with possible exception coming from a (conjecturally non existent) collection of thin, hyperbolic, L space knots. This result serves as a reproof that the Cabling Conjecture is satisfied by alternating knots, and also a new proof that thin, slice knots satisfy the Cabling Conjecture.


Real Time Action Recognition from Video Footage. Crime rate is increasing proportionally with the increasing rate of the population. The most prominent approach was to introduce Closed Circuit Television (CCTV) camera based surveillance to tackle the issue. Video surveillance cameras have added a new dimension to detect crime. Several research works on autonomous security camera surveillance are currently ongoing, where the fundamental goal is to discover violent activity from video feeds. From the technical viewpoint, this is a challenging problem because analyzing a set of frames, i.e., videos in temporal dimension to detect violence might need careful machine learning model training to reduce false results. This research focuses on this problem by integrating state of the art Deep Learning methods to ensure a robust pipeline for autonomous surveillance for detecting violent activities, e.g., kicking, punching, and slapping. Initially, we designed a dataset of this specific interest, which contains 600 videos (200 for each action). Later, we have utilized existing pre trained model architectures to extract features, and later used deep learning network for classification. Also, We have classified our models' accuracy, and confusion matrix on different pre trained architectures like VGG16, InceptionV3, ResNet50, Xception and MobileNet V2 among which VGG16 and MobileNet V2 performed better.


Safe Planner A Single Outcome Replanner for Computing Strong Cyclic Policies in Fully Observable Non Deterministic Domains. Replanners are efficient methods for solving non deterministic planning problems. Despite showing good scalability, existing replanners often fail to solve problems involving a large number of misleading plans, i.e., weak plans that do not lead to strong solutions, however, due to their minimal lengths, are likely to be found at every replanning iteration. The poor performance of replanners in such problems is due to their all outcome determinization. That is, when compiling from non deterministic to classical, they include all compiled classical operators in a single deterministic domain which leads replanners to continually generate misleading plans. We introduce an offline replanner, called Safe Planner (SP), that relies on a single outcome determinization to compile a non deterministic domain to a set of classical domains, and ordering heuristics for ranking the obtained classical domains. The proposed single outcome determinization and the heuristics allow for alternating between different classical domains. We show experimentally that this approach can allow SP to avoid generating misleading plans but to generate weak plans that directly lead to strong solutions. The experiments show that SP outperforms state of the art non deterministic solvers by solving a broader range of problems. We also validate the practical utility of SP in real world non deterministic robotic tasks.


Retrieval Augmented Transformer XL for Close Domain Dialog Generation. Transformer based models have demonstrated excellent capabilities of capturing patterns and structures in natural language generation and achieved state of the art results in many tasks. In this paper we present a transformer based model for multi turn dialog response generation. Our solution is based on a hybrid approach which augments a transformer based generative model with a novel retrieval mechanism, which leverages the memorized information in the training data via k Nearest Neighbor search. Our system is evaluated on two datasets made by customer assistant dialogs the Taskmaster 1, released by Google and holding high quality, goal oriented conversational data and a proprietary dataset collected from a real customer service call center. Both achieve better BLEU scores over strong baselines.


The Hessigheim 3D (H3D) Benchmark on Semantic Segmentation of High Resolution 3D Point Clouds and Textured Meshes from UAV LiDAR and Multi View Stereo. Automated semantic segmentation and object detection are of great importance in geospatial data analysis. However, supervised machine learning systems such as convolutional neural networks require large corpora of annotated training data. Especially in the geospatial domain, such datasets are quite scarce. Within this paper, we aim to alleviate this issue by introducing a new annotated 3D dataset that is unique in three ways i) The dataset consists of both an Unmanned Aerial Vehicle (UAV) laser scanning point cloud and a 3D textured mesh. ii) The point cloud features a mean point density of about 800 pts sqm and the oblique imagery used for 3D mesh texturing realizes a ground sampling distance of about 2 3 cm. This enables the identification of fine grained structures and represents the state of the art in UAV based mapping. iii) Both data modalities will be published for a total of three epochs allowing applications such as change detection. The dataset depicts the village of Hessigheim (Germany), henceforth referred to as H3D. It is designed to promote research in the field of 3D data analysis on one hand and to evaluate and rank existing and emerging approaches for semantic segmentation of both data modalities on the other hand. Ultimately, we hope that H3D will become a widely used benchmark dataset in company with the well established ISPRS Vaihingen 3D Semantic Labeling Challenge benchmark (V3D). The dataset can be downloaded from https ifpwww.ifp.uni stuttgart.de benchmark hessigheim default.aspx.


Have I been here before? Learning to Close the Loop with LiDAR Data in Graph Based SLAM. This work presents an extension of graph based SLAM methods to exploit the potential of 3D laser scans for loop detection. Every high dimensional point cloud is replaced by a compact global descriptor, whereby a trained detector decides whether a loop exists. Searching for loops is performed locally in a variable space to consider the odometry drift. Since closing a wrong loop has fatal consequences, an extensive verification is performed before acceptance. The proposed algorithm is implemented as an extension of the widely used state of the art library RTAB Map, and several experiments show the improvement During SLAM with a mobile service robot in changing indoor and outdoor campus environments, our approach improves RTAB Map regarding total number of closed loops. Especially in the presence of significant environmental changes, which typically lead to failure, localization becomes possible by our extension. Experiments with a car in traffic (KITTI benchmark) show the general applicability of our approach. These results are comparable to the state of the art LiDAR method LOAM. The developed ROS package is freely available.


To tune or not to tune? An Approach for Recommending Important Hyperparameters. Novel technologies in automated machine learning ease the complexity of algorithm selection and hyperparameter optimization. Hyperparameters are important for machine learning models as they significantly influence the performance of machine learning models. Many optimization techniques have achieved notable success in hyperparameter tuning and surpassed the performance of human experts. However, depending on such techniques as blackbox algorithms can leave machine learning practitioners without insight into the relative importance of different hyperparameters. In this paper, we consider building the relationship between the performance of the machine learning models and their hyperparameters to discover the trend and gain insights, with empirical results based on six classifiers and 200 datasets. Our results enable users to decide whether it is worth conducting a possibly time consuming tuning strategy, to focus on the most important hyperparameters, and to choose adequate hyperparameter spaces for tuning. The results of our experiments show that gradient boosting and Adaboost outperform other classifiers across 200 problems. However, they need tuning to boost their performance. Overall, the results obtained from this study provide a quantitative basis to focus efforts toward guided automated hyperparameter optimization and contribute toward the development of better automated machine learning frameworks.


Non Autoregressive Text Generation with Pre trained Language Models. Non autoregressive generation (NAG) has recently attracted great attention due to its fast inference speed. However, the generation quality of existing NAG models still lags behind their autoregressive counterparts. In this work, we show that BERT can be employed as the backbone of a NAG model to greatly improve performance. Additionally, we devise mechanisms to alleviate the two common problems of vanilla NAG models the inflexibility of prefixed output length and the conditional independence of individual token predictions. Lastly, to further increase the speed advantage of the proposed model, we propose a new decoding strategy, ratio first, for applications where the output lengths can be approximately estimated beforehand. For a comprehensive evaluation, we test the proposed model on three text generation tasks, including text summarization, sentence compression and machine translation. Experimental results show that our model significantly outperforms existing non autoregressive baselines and achieves competitive performance with many strong autoregressive models. In addition, we also conduct extensive analysis experiments to reveal the effect of each proposed component.


Parabolic Adjoint Action, Weierstrass Sections and Components of the Nilfibre in Type A . This work is a continuation of Y. Fittouhi and A. Joseph, Weierstrass Sections for Parabolic adjoint action in type A . Let G be an irreducible simple algebraic group and B a Borel subgroup of G . Let mathfrak n be the Lie algebra of the nilradical of B . Consider an irreducible subgroup P of G containing B . Let P' be the derived group of P . Let mathfrak m be the Lie algebra of the nilradical of P . A theorem of Richardson asserts that the algebra mathbb C mathfrak m P' of P semi invariants is multiplicity free. A linear subvariety e V such that the restriction map induces an isomorphism of mathbb C mathfrak m P' onto mathbb C e V is called a Weierstrass section for the action of P' on mathfrak m . Here in type A such a section is constructed, but in better form than that given in Sect. 4, loc cit. Yet the main difference is a complete change of emphasis from the construction of a Weierstrass section, to its application. Let mathscr N be the nilfibre relative to this action. From the construction of a Weierstrass section e V , it is shown that e in mathscr N . Then P.e is contained in a unique irreducible component mathscr C of mathscr N . The structure of e V is used to give a rather explicit description of mathscr C as a B saturation set, that is of the form overline B. mathfrak u , where mathfrak u is a subalgebra of mathfrak n . This algebra is not necessarily complemented by a subalgebra in mathfrak n and so overline B. mathfrak u is not necessarily an orbital variety closure (hence Lagrangian) but it can be. It is shown that mathscr C need not contain a dense P orbit and this by a purely theoretical analysis. This occurs for an appropriate parabolic in A 10 and is possibly the simplest example. In this particular case mathscr C is not an orbital variety closure.


On a partition with a lower expected mathcal L 2 discrepancy than classical jittered sampling. We prove that classical jittered sampling of the d dimensional unit cube does not yield the smallest expected mathcal L 2 discrepancy among all stratified samples with N m d points. Our counterexample can be given explicitly and consists of convex partitioning sets of equal volume.


Pointwise estimates for degenerate Kolmogorov equations with L p source term. The aim of this paper is to establish new pointwise regularity results for solutions to degenerate second order partial differential equations with a Kolmogorov type operator of the form mathscr L sum i,j 1 m partial 2 x i x j sum i,j 1 N b ij x j partial x i partial t, where (x,t) in mathbb R N 1 , 1 leq m le N and the matrix B (b ij ) i,j 1, ldots,N has real constant entries. In particular, we show that if the modulus of L p mean oscillation of mathscr L u at the origin is Dini, then the origin is a Lebesgue point of continuity in L p average for the second order derivatives partial 2 x i x j u , i,j 1, ldots,m , and the Lie derivative left( sum i,j 1 N b ij x j partial x i partial t right)u . Moreover, we are able to provide a Taylor type expansion up to second order with estimate of the rest in L p norm. The proof is based on decay estimates, which we achieve by contradiction, blow up and compactness results.


Procrustean Training for Imbalanced Deep Learning. Neural networks trained with class imbalanced data are known to perform poorly on minor classes of scarce training data. Several recent works attribute this to over fitting to minor classes. In this paper, we provide a novel explanation of this issue. We found that a neural network tends to first under fit the minor classes by classifying most of their data into the major classes in early training epochs. To correct these wrong predictions, the neural network then must focus on pushing features of minor class data across the decision boundaries between major and minor classes, leading to much larger gradients for features of minor classes. We argue that such an under fitting phase over emphasizes the competition between major and minor classes, hinders the neural network from learning the discriminative knowledge that can be generalized to test data, and eventually results in over fitting. To address this issue, we propose a novel learning strategy to equalize the training progress across classes. We mix features of the major class data with those of other data in a mini batch, intentionally weakening their features to prevent a neural network from fitting them first. We show that this strategy can largely balance the training accuracy and feature gradients across classes, effectively mitigating the under fitting then over fitting problem for minor class data. On several benchmark datasets, our approach achieves the state of the art accuracy, especially for the challenging step imbalanced cases.


Reference based Magnetic Resonance Image Reconstruction Using Texture Transformer. Deep Learning (DL) based methods for magnetic resonance (MR) image reconstruction have been shown to produce superior performance in recent years. However, these methods either only leverage under sampled data or require a paired fully sampled auxiliary modality to perform multi modal reconstruction. Consequently, existing approaches neglect to explore attention mechanisms that can transfer textures from reference fully sampled data to under sampled data within a single modality, which limits these approaches in challenging cases. In this paper, we propose a novel Texture Transformer Module (TTM) for accelerated MRI reconstruction, in which we formulate the under sampled data and reference data as queries and keys in a transformer. The TTM facilitates joint feature learning across under sampled and reference data, so the feature correspondences can be discovered by attention and accurate texture features can be leveraged during reconstruction. Notably, the proposed TTM can be stacked on prior MRI reconstruction approaches to further improve their performance. Extensive experiments show that TTM can significantly improve the performance of several popular DL based MRI reconstruction methods.


Linguistic Cues of Deception in a Multilingual April Fools' Day Context. In this work we consider the collection of deceptive April Fools' Day(AFD) news articles as a useful addition in existing datasets for deception detection tasks. Such collections have an established ground truth and are relatively easy to construct across languages. As a result, we introduce a corpus that includes diachronic AFD and normal articles from Greek newspapers and news websites. On top of that, we build a rich linguistic feature set, and analyze and compare its deception cues with the only AFD collection currently available, which is in English. Following a current research thread, we also discuss the individualism collectivism dimension in deception with respect to these two datasets. Lastly, we build classifiers by testing various monolingual and crosslingual settings. The results showcase that AFD datasets can be helpful in deception detection studies, and are in alignment with the observations of other deception detection works.


Transversal C k factors in subgraphs of the balanced blow up of C k . For a subgraph G of the blow up of a graph F , we let delta (G) be the smallest minimum degree over all of the bipartite subgraphs of G induced by pairs of parts that correspond to edges of F . In Triangle factors in a balanced blown up triangle. Discrete Mathematics, 2000 , Johansson proved that if G is a spanning subgraph of the blow up of C 3 with parts of size n and delta (G) ge frac 2 3 n sqrt n , then G contains n vertex disjoint triangles, and presented the following conjecture of H "aggkvist If G is a spanning subgraph of the blow up of C k with parts of size n and delta (G) ge (1 1 k)n 2 1 , then G contains n vertex disjoint copies of C k such that each C k intersects each of the k parts exactly once. The degree condition of this conjecture is tight when k 3 and cannot be strengthened by more than one when k ge 4 ., A similar conjecture was also made by Fischer in Variants of the Hajnal Szemer 'edi Theorem. Journal of Graph Theory, 1999 and the triangle case was proved for large n by Magyar and Martin in Tripartite version of the Corr 'adi Hajnal Theorem. Discrete Mathematics, 2002 . In this paper, we prove this Conjecture asymptotically. We also pose a conjecture which generalizes this result by allowing the minimum degree conditions on the nonempty bipartite subgraphs induced by pairs of parts to vary. Our second result supports this new conjecture by proving the triangle case. This result generalizes Johannson's result asymptotically.


Eccentric Regularization Minimizing Hyperspherical Energy without explicit projection. Several regularization methods have recently been introduced which force the latent activations of an autoencoder or deep neural network to conform to either a Gaussian or hyperspherical distribution, or to minimize the implicit rank of the distribution in latent space. In the present work, we introduce a novel regularizing loss function which simulates a pairwise repulsive force between items and an attractive force of each item toward the origin. We show that minimizing this loss function in isolation achieves a hyperspherical distribution. Moreover, when used as a regularizing term, the scaling factor can be adjusted to allow greater flexibility and tolerance of eccentricity, thus allowing the latent variables to be stratified according to their relative importance, while still promoting diversity. We apply this method of Eccentric Regularization to an autoencoder, and demonstrate its effectiveness in image generation, representation learning and downstream classification tasks.


MAFIA Machine Learning Acceleration on FPGAs for IoT Applications. Recent breakthroughs in ML have produced new classes of models that allow ML inference to run directly on milliwatt powered IoT devices. On one hand, existing ML to FPGA compilers are designed for deep neural networks on large FPGAs. On the other hand, general purpose HLS tools fail to exploit properties specific to ML inference, thereby resulting in suboptimal performance. We propose MAFIA, a tool to compile ML inference on small form factor FPGAs for IoT applications. MAFIA provides native support for linear algebra operations and can express a variety of ML algorithms, including state of the art models. We show that MAFIA generated programs outperform best performing variant of a commercial HLS compiler by 2.5x on average.


On computing with some convex relaxations for the maximum entropy sampling problem. Based on a factorization of an input covariance matrix, we define a mild generalization of an upper bound of Nikolov (2015) and Li and Xie (2020) for the NP Hard constrained maximum entropy sampling problem (CMESP). We demonstrate that this factorization bound is invariant under scaling and also independent of the particular factorization chosen. We give a variable fixing methodology that could be used in a branch and bound scheme based on the factorization bound for exact solution of CMESP. We report on successful experiments with a commercial nonlinear programming solver. We further demonstrate that the known "mixing" technique can be successfully used to combine the factorization bound with the factorization bound of the complementary CMESP, and also with the "linx bound" of Anstreicher (2020).


Robust Principal Component Analysis A Construction Error Minimization Perspective. In this paper we propose a novel optimization framework to systematically solve robust PCA problem with rigorous theoretical guarantee, based on which we investigate very computationally economic updating algorithms.


Estimating the non dimensional energy of vortex rings by modelling their roll up. The non dimensional energy of starting vortex rings typically converges to values around 0.33 when they are created by a cylinder piston or a bluff body translating at a constant speed. To explore the limits of the universality of this value and to analyse the variations that occur outside of those limits, we present an alternative approach to the slug flow model to predict the non dimensional energy of a vortex ring. Our approach is based on the self similar vortex sheet roll up described by Pullin. We derive the vorticity distribution for the vortex core resulting from a spiralling shear layer roll up and compute the associated non dimensional energy. To demonstrate the validity of our model, we consider different velocity profiles of the vortex generator that follow a power law with a variable exponent m. For a constant velocity (m 0), our model yields a non dimensional energy of E 0.33. For a constant acceleration (m 1), we find E 0.19. For a constant velocity, we obtain realistic vorticity distributions by radially diffusing the vorticity distribution of the Pullin spiral and predict a decrease of the non dimensional energy from 0.33 to 0.28, in accordance with experimental results. Our proposed model offers a practical alternative to the existing slug flow model to predict the minimum non dimensional energy of a vortex ring. The model is applicable to piston generated and wake vortex rings and requires only the kinematics of the vortex generator as input.


The Brownian Map. The "Brownian map" is a fundamental object in mathematics, in some sense a 2 dimensional analogue of Brownian motion. Here we briefly explain this object and a bit of its history.


On the pseudogroup of local transformations commuting with a transversely elliptic operator and the existence of transverse metric. The group of diffeomorphisms commuting with an elliptic operator on a manifold is a compact Lie group under Compact Open topology. In foliation theory, pseudogroup is introduced by Sacksteder. The pseudogroup of local transformations commuting with a basic differential operator possesses the equicontinuity and the quasi analyticity when conditions on operator are given. These properties serve to construct a transverse metric on the normal bundle under a good condition on operator. For this, the Average Method is applied as in the construction of basic connection on foliated bundles.


Static Inference Meets Deep Learning A Hybrid Type Inference Approach for Python. Type inference for dynamic programming languages such as Python is an important yet challenging task. Static type inference techniques can precisely infer variables with enough static constraints but are unable to handle variables with dynamic features. Deep learning (DL) based approaches are feature agnostic, but they cannot guarantee the correctness of the predicted types. Their performance significantly depends on the quality of the training data (i.e., DL models perform poorly on some common types that rarely appear in the training dataset). It is interesting to note that the static and DL based approaches offer complementary benefits. Unfortunately, to our knowledge, precise type inference based on both static inference and neural predictions has not been exploited and remains an open challenge. In particular, it is hard to integrate DL models into the framework of rule based static approaches. This paper fills the gap and proposes a hybrid type inference approach named HiTyper based on both static inference and deep learning. Specifically, our key insight is to record type dependencies among variables in each function and encode the dependency information in type dependency graphs (TDGs). Based on TDGs, we can easily integrate type inference rules in the nodes to conduct static inference and type rejection rules to inspect the correctness of neural predictions. HiTyper iteratively conducts static inference and DL based prediction until the TDG is fully inferred. Experiments on two benchmark datasets show that HiTyper outperforms state of the art DL models by exactly matching 10 more human annotations. HiTyper also achieves an increase of more than 30 on inferring rare types. Considering only the static part of HiTyper, it infers 2x 3x more types than existing static type inference tools.


Variations of Weyl's tube formula. In 1939 Weyl showed that the volume of spherical tubes around compact submanifolds M of Euclidean space depends solely on the induced Riemannian metric on M. Can this intrinsic nature of the tube volume be preserved for tubes with more general cross sections D than the round ball? Under sufficiently strong symmetry conditions on D the answer turns out to be yes.


MPASNET Motion Prior Aware Siamese Network for Unsupervised Deep Crowd Segmentation in Video Scenes. Crowd segmentation is a fundamental task serving as the basis of crowded scene analysis, and it is highly desirable to obtain refined pixel level segmentation maps. However, it remains a challenging problem, as existing approaches either require dense pixel level annotations to train deep learning models or merely produce rough segmentation maps from optical or particle flows with physical models. In this paper, we propose the Motion Prior Aware Siamese Network (MPASNET) for unsupervised crowd semantic segmentation. This model not only eliminates the need for annotation but also yields high quality segmentation maps. Specially, we first analyze the coherent motion patterns across the frames and then apply a circular region merging strategy on the collective particles to generate pseudo labels. Moreover, we equip MPASNET with siamese branches for augmentation invariant regularization and siamese feature aggregation. Experiments over benchmark datasets indicate that our model outperforms the state of the arts by more than 12 in terms of mIoU.


Geometry of bifurcation sets of generic unfoldings of corank two functions. We study the geometry of bifurcation sets of generic unfoldings of D 4 pm functions. Taking blow ups, we show each of the bifurcation sets of D 4 pm functions admit a parametrization as a surface in R 3 . Using this parametrization, we investigate the behavior of the Gaussian curvature and the principal curvatures. Furthermore, we investigate the number of ridge curves and subparabolic curves near their singular point.


On distance Laplacian energy in terms of graph invariants. For a simple connected graph G of order n having distance Laplacian eigenvalues rho L 1 geq rho L 2 geq cdots geq rho L n , the distance Laplacian energy DLE(G) is defined as DLE(G) sum i 1 n left rho L i frac 2 W(G) n right , where W(G) is the Wiener index of G . We obtain a relationship between the Laplacian energy and distance Laplacian energy for graphs with diameter 2. We obtain lower bounds for the distance Laplacian energy DLE(G) in terms of the order n , the Wiener index W(G) , independence number, vertex connectivity number and other given parameters. We characterize the extremal graphs attaining these bounds. We show that the complete bipartite graph has the minimum distance Laplacian energy among all connected bipartite graphs and complete split graph has the minimum distance Laplacian energy among all connected graphs with given independence number. Further, we obtain the distance Laplacian spectrum of the join of a graph with the union of two other graphs. We show that the graph K k bigtriangledown(K t cup K n k t ), 1 leq t leq lfloor frac n k 2 rfloor , has the minimum distance Laplacian energy among all connected graphs with vertex connectivity k . We conclude this paper with a discussion on trace norm of a matrix and the importance of our results in the theory of trace norm of the matrix D L(G) frac 2W(G) n I n .