CATRO Channel Pruning via Class Aware Trace Ratio Optimization. Deep convolutional neural networks are shown to be overkill with high parametric and computational redundancy in many application scenarios, and an increasing number of works have explored model pruning to obtain lightweight and efficient networks. However, most existing pruning approaches are driven by empirical heuristics and rarely consider the joint impact of channels, leading to unguaranteed and suboptimal performance. In this paper, we propose a novel channel pruning method via class aware trace ratio optimization (CATRO) to reduce the computational burden and accelerate the model inference. Utilizing class information from a few samples, CATRO measures the joint impact of multiple channels by feature space discriminations and consolidates the layer wise impact of preserved channels. By formulating channel pruning as a submodular set function maximization problem, CATRO solves it efficiently via a two stage greedy iterative optimization procedure. More importantly, we present theoretical justifications on convergence and performance of CATRO. Experimental results demonstrate that CATRO achieves higher accuracy with similar computation cost or lower computation cost with similar accuracy than other state of the art channel pruning algorithms. In addition, because of its class aware property, CATRO is suitable to prune efficient networks adaptively for various classification subtasks, enhancing handy deployment and usage of deep networks in real world applications.


Mapped discontinuous Galerkin interpolations and sheared boundary conditions. Translations or, more generally, coordinate transformations of scalar fields arise in several applications, such as weather, accretion disk and magnetized plasma turbulence modeling. In local studies of accretion disks and magnetized plasmas these coordinate transformations consist of an analytical mapping and enter via sheared shift boundary conditions. This work introduces a discontinuous Galerkin algorithm to compute these coordinate transformations or boundary conditions based on projections and quadrature free integrals. The procedure is high order accurate, preserves certain moments exactly and works in multiple dimensions. Tests of the proposed approach with increasing complexity are presented, beginning with translations of one and two dimensional fields, followed by 3D and 5D simulations with sheared (twist shift) boundary conditions. The results show that the algorithm is (p 1) order accurate in the DG representation and (p 2) order accurate in the cell averages, with p being the order of the polynomial basis functions. Quantification of the algorithm's diffusion and, for shearing boundary conditions, discussion of aliasing errors are provided.


Real time multiview data fusion for object tracking with RGBD sensors. This paper presents a new approach to accurately track a moving vehicle with a multiview setup of red green blue depth (RGBD) cameras. We first propose a correction method to eliminate a shift, which occurs in depth sensors when they become worn. This issue could not be otherwise corrected with the ordinary calibration procedure. Next, we present a sensor wise filtering system to correct for an unknown vehicle motion. A data fusion algorithm is then used to optimally merge the sensor wise estimated trajectories. We implement most parts of our solution in the graphic processor. Hence, the whole system is able to operate at up to 25 frames per second with a configuration of five cameras. Test results show the accuracy we achieved and the robustness of our solution to overcome uncertainties in the measurements and the modelling.


Rubber tori in the boundary of expanded stable maps. We investigate torus actions on logarithmic expansions in the context of enumerative geometry. Our main result is an intrinsic and coordinate free description of the higher rank rubber torus appearing in the boundary of the space of expanded stable maps. The rubber torus is constructed canonically from the tropical moduli space, and its action on each stratum of the expanded target is encoded in a linear tropical position map. The presence of 2 morphisms in the universal target forces expanded stable maps differing by the rubber action to be identified. This provides the first step towards a recursive description of the boundary of the expanded moduli space, with future applications including localisation and rubber calculus.


Predictive coding, precision and natural gradients. There is an increasing convergence between biologically plausible computational models of inference and learning with local update rules and the global gradient based optimization of neural network models employed in machine learning. One particularly exciting connection is the correspondence between the locally informed optimization in predictive coding networks and the error backpropagation algorithm that is used to train state of the art deep artificial neural networks. Here we focus on the related, but still largely under explored connection between precision weighting in predictive coding networks and the Natural Gradient Descent algorithm for deep neural networks. Precision weighted predictive coding is an interesting candidate for scaling up uncertainty aware optimization particularly for models with large parameter spaces due to its distributed nature of the optimization process and the underlying local approximation of the Fisher information metric, the adaptive learning rate that is central to Natural Gradient Descent. Here, we show that hierarchical predictive coding networks with learnable precision indeed are able to solve various supervised and unsupervised learning tasks with performance comparable to global backpropagation with natural gradients and outperform their classical gradient descent counterpart on tasks where high amounts of noise are embedded in data or label inputs. When applied to unsupervised auto encoding of image inputs, the deterministic network produces hierarchically organized and disentangled embeddings, hinting at the close connections between predictive coding and hierarchical variational inference.


Operation wise Attention Network for Tampering Localization Fusion. In this work, we present a deep learning based approach for image tampering localization fusion. This approach is designed to combine the outcomes of multiple image forensics algorithms and provides a fused tampering localization map, which requires no expert knowledge and is easier to interpret by end users. Our fusion framework includes a set of five individual tampering localization methods for splicing localization on JPEG images. The proposed deep learning fusion model is an adapted architecture, initially proposed for the image restoration task, that performs multiple operations in parallel, weighted by an attention mechanism to enable the selection of proper operations depending on the input signals. This weighting process can be very beneficial for cases where the input signal is very diverse, as in our case where the output signals of multiple image forensics algorithms are combined. Evaluation in three publicly available forensics datasets demonstrates that the performance of the proposed approach is competitive, outperforming the individual forensics techniques as well as another recently proposed fusion framework in the majority of cases.


Reinforcement Learning for Admission Control in Wireless Virtual Network Embedding. Using Service Function Chaining (SFC) in wireless networks became popular in many domains like networking and multimedia. It relies on allocating network resources to incoming SFCs requests, via a Virtual Network Embedding (VNE) algorithm, so that it optimizes the performance of the SFC. When the load of incoming requests competing for the limited network resources increases, it becomes challenging to decide which requests should be admitted and which one should be rejected. In this work, we propose a deep Reinforcement learning (RL) solution that can learn the admission policy for different dependencies, such as the service lifetime and the priority of incoming requests. We compare the deep RL solution to a first come first serve baseline that admits a request whenever there are available resources. We show that deep RL outperforms the baseline and provides higher acceptance rate with low rejections even when there are enough resources.


Trustworthy AI From Principles to Practices. Fast developing artificial intelligence (AI) technology has enabled various applied systems deployed in the real world, impacting people's everyday lives. However, many current AI systems were found vulnerable to imperceptible attacks, biased against underrepresented groups, lacking in user privacy protection, etc., which not only degrades user experience but erodes the society's trust in all AI systems. In this review, we strive to provide AI practitioners a comprehensive guide towards building trustworthy AI systems. We first introduce the theoretical framework of important aspects of AI trustworthiness, including robustness, generalization, explainability, transparency, reproducibility, fairness, privacy preservation, alignment with human values, and accountability. We then survey leading approaches in these aspects in the industry. To unify the current fragmented approaches towards trustworthy AI, we propose a systematic approach that considers the entire lifecycle of AI systems, ranging from data acquisition to model development, to development and deployment, finally to continuous monitoring and governance. In this framework, we offer concrete action items to practitioners and societal stakeholders (e.g., researchers and regulators) to improve AI trustworthiness. Finally, we identify key opportunities and challenges in the future development of trustworthy AI systems, where we identify the need for paradigm shift towards comprehensive trustworthy AI systems.


Uncertainty for Identifying Open Set Errors in Visual Object Detection. Deployed into an open world, object detectors are prone to open set errors, false positive detections of object classes not present in the training dataset. We propose GMM Det, a real time method for extracting epistemic uncertainty from object detectors to identify and reject open set errors. GMM Det trains the detector to produce a structured logit space that is modelled with class specific Gaussian Mixture Models. At test time, open set errors are identified by their low log probability under all Gaussian Mixture Models. We test two common detector architectures, Faster R CNN and RetinaNet, across three varied datasets spanning robotics and computer vision. Our results show that GMM Det consistently outperforms existing uncertainty techniques for identifying and rejecting open set detections, especially at the low error rate operating point required for safety critical applications. GMM Det maintains object detection performance, and introduces only minimal computational overhead. We also introduce a methodology for converting existing object detection datasets into specific open set datasets to evaluate open set performance in object detection.


Property (T) in density type models of random groups. We study Property (T) in the Gamma(n,k,d) model of random groups as k tends to infinity this gives the Gromov density model, introduced in Gro93 . We provide bounds for Property (T) in the k angular model of random groups, i.e. the Gamma (n,k,d) model where k is fixed and n tends to infinity. We also prove that for d 1 slash 3 , a random group in the Gamma(n,k,d) model has Property (T) with probability tending to 1 as k tends to infinity, strengthening the results of . Z uk and Kotowski Kotowski, who consider only groups in the Gamma (n,3k,d) model.


A note on the Chern Conjecture in dimension four. Let M 4 be a closed immersed minimal hypersurface with constant squared length of the second fundamental form S and constant 3 mean curvature H 3 in mathbb S 5 . If H 3 2 leq frac 1 2 . and Gauss Kronecker curvature K M satisfies K M leq1 ( or K M leq frac S 2 144 ) , then M 4 is isoparametric.


Differential information theory. This paper presents a new foundational approach to information theory based on the concept of the information efficiency of a recursive function, which is defined as the difference between the information in the input and the output. The theory allows us to study planar representations of various infinite domains. Dilation theory studies the information effects of recursive operations in terms of topological deformations of the plane. I show that the well known class of finite sets of natural numbers behaves erratically under such transformations. It is subject to phase transitions that in some cases have a fractal nature. The class is semi countable there is no intrinsic information theory for this class and there are no efficient methods for systematic search. There is a relation between the information efficiency of the function and the time needed to compute it a deterministic computational process can destroy information in linear time, but it can only generate information at logarithmic speed. Checking functions for problems in NP are information discarding. Consequently, when we try to solve a decision problem based on an efficiently computable checking function, we need exponential time to reconstruct the information destroyed by such a function. NP complete problems are hard because they are defined on semi countable domains. There is a smaller class of problems, based on countable domains, that has a more transparent structure. One such problem, Subset Bitwise XOR, which could also be described as Multiple Mutual Key Encryption, is shown to be in NP but not in P. At the end of the paper I sketch a systematic taxonomy for problems in NP.


Counting parity palindrome compositions. Andrews and Simay showed that parity palindrome compositions have a surprisingly simple formula. We give a recursive proof.


Safe and Practical GPU Acceleration in TrustZone. We present a holistic design for GPU accelerated computation in TrustZone TEE. Without pulling the complex GPU software stack into the TEE, we follow a simple approach record the CPU GPU interactions ahead of time, and replay the interactions in the TEE at run time. This paper addresses the approach's key missing piece the recording environment, which needs both strong security and access to diverse mobile GPUs. To this end, we present a novel architecture called CODY, in which a mobile device (which possesses the GPU hardware) and a trustworthy cloud service (which runs the GPU software) exercise the GPU hardware software in a collaborative, distributed fashion. To overcome numerous network round trips and long delays, CODY contributes optimizations specific to mobile GPUs register access deferral, speculation, and metastate only synchronization. With these optimizations, recording a compute workload takes only tens of seconds, which is up to 95 less than a naive approach replay incurs 25 lower delays compared to insecure, native execution.


On the sampling Lov 'asz Local Lemma for atomic constraint satisfaction problems. We study the problem of sampling an approximately uniformly random satisfying assignment for atomic constraint satisfaction problems i.e. where each constraint is violated by only one assignment to its variables. Let p denote the maximum probability of violation of any constraint and let Delta denote the maximum degree of the line graph of the constraints. Our main result is a nearly linear (in the number of variables) time algorithm for this problem, which is valid in a Lov 'asz local lemma type regime that is considerably less restrictive compared to previous works. In particular, we provide sampling algorithms for the uniform distribution on (1) q colorings of k uniform hypergraphs with Delta lesssim q (k 4) 3 o q (1) . The exponent 1 3 improves the previously best known 1 7 in the case q, Delta O(1) Jain, Pham, Vuong arXiv, 2020 and 1 9 in the general case Feng, He, Yin STOC 2021 . (2) Satisfying assignments of Boolean k CNF formulas with Delta lesssim 2 k 5.741 . The constant 5.741 in the exponent improves the previously best known 7 in the case k O(1) Jain, Pham, Vuong arXiv, 2020 and 13 in the general case Feng, He, Yin STOC 2021 . (3) Satisfying assignments of general atomic constraint satisfaction problems with p cdot Delta 7.043 lesssim 1. The constant 7.043 improves upon the previously best known constant of 350 Feng, He, Yin STOC 2021 . At the heart of our analysis is a novel information percolation type argument for showing the rapid mixing of the Glauber dynamics for a carefully constructed projection of the uniform distribution on satisfying assignments. Notably, there is no natural partial order on the space, and we believe that the techniques developed for the analysis may be of independent interest.


Model completions for universal classes of algebras necessary and sufficient conditions. Necessary and sufficient conditions are presented for the (first order) theory of a universal class of algebraic structures (algebras) to admit a model completion, extending a characterization provided by Wheeler. For varieties of algebras that have equationally definable principal congruences and the compact intersection property, these conditions yield a more elegant characterization obtained (in a slightly more restricted setting) by Ghilardi and Zawadowski. Moreover, it is shown that under certain further assumptions on congruence lattices, the existence of a model completion implies that the variety has equationally definable principal congruences. This result is then used to provide necessary and sufficient conditions for the existence of a model completion for theories of Hamiltonian varieties of pointed residuated lattices, a broad family of varieties that includes lattice ordered abelian groups and MV algebras. Notably, if the theory of a Hamiltonian variety of pointed residuated lattices admits a model completion, it must have equationally definable principal congruences. In particular, the theories of lattice ordered abelian groups and MV algebras do not have a model completion, as first proved by Glass and Pierce, and Lacava, respectively. Finally, it is shown that certain varieties of pointed residuated lattices generated by their linearly ordered members, including lattice ordered abelian groups and MV algebras, can be extended with a binary operation in order to obtain theories that do have a model completion.


ordpy A Python package for data analysis with permutation entropy and ordinal network methods. Since Bandt and Pompe's seminal work, permutation entropy has been used in several applications and is now an essential tool for time series analysis. Beyond becoming a popular and successful technique, permutation entropy inspired a framework for mapping time series into symbolic sequences that triggered the development of many other tools, including an approach for creating networks from time series known as ordinal networks. Despite the increasing popularity, the computational development of these methods is fragmented, and there were still no efforts focusing on creating a unified software package. Here we present ordpy, a simple and open source Python module that implements permutation entropy and several of the principal methods related to Bandt and Pompe's framework to analyze time series and two dimensional data. In particular, ordpy implements permutation entropy, Tsallis and R 'enyi permutation entropies, complexity entropy plane, complexity entropy curves, missing ordinal patterns, ordinal networks, and missing ordinal transitions for one dimensional (time series) and two dimensional (images) data as well as their multiscale generalizations. We review some theoretical aspects of these tools and illustrate the use of ordpy by replicating several literature results.


GNNSampler Bridging the Gap between Sampling Algorithms of GNN and Hardware. Sampling is a critical operation in the training of Graph Neural Network (GNN) that helps reduce the cost. Previous works have explored improving sampling algorithms through mathematical and statistical methods. However, there is a gap between sampling algorithms and hardware. Without consideration of hardware, algorithm designers merely optimize sampling at the algorithm level, missing the great potential of promoting the efficiency of existing sampling algorithms by leveraging hardware features. In this paper, we first propose a unified programming model for mainstream sampling algorithms, termed GNNSampler, covering the key processes for sampling algorithms in various categories. Second, we explore the data locality among nodes and their neighbors (i.e., the hardware feature) in real world datasets for alleviating the irregular memory access in sampling. Third, we implement locality aware optimizations in GNNSampler for diverse sampling algorithms to optimize the general sampling process in the training of GNN. Finally, we emphatically conduct experiments on large graph datasets to analyze the relevance between the training time, model accuracy, and hardware level metrics, which helps achieve a good trade off between time and accuracy in GNN training. Extensive experimental results show that our method is universal to mainstream sampling algorithms and reduces the training time of GNN (range from 4.83 with layer wise sampling to 44.92 with subgraph based sampling) with comparable accuracy.


Efficient yield optimization with limited gradient information. In this work an efficient strategy for yield optimization with uncertain and deterministic optimization variables is presented. The gradient based adaptive Newton Monte Carlo method is modified, such that it can handle variables with (uncertain parameters) and without (deterministic parameters) analytical gradient information. This mixed strategy is numerically compared to derivative free approaches.


The Deformation L infty algebra of a Dirac Jacobi structure. We develop the deformations theory of a Dirac Jacobi structure within a fixed Courant Jacobi algebroid. Using the description of split Courant Jacobi algebroids as degree 2 contact mathbb N Q manifolds and Voronov's higher derived brackets, each Dirac Jacobi structure is associated with a cubic L infty algebra for any choice of a complementary almost Dirac Jacobi structure. This L infty algebra governs the deformations of the Dirac Jacobi structure there is a one to one correspondence between the MC elements of this L infty algebra and the small deformations of the Dirac Jacobi structure. Further, by Cattaneo and Sch "atz's equivalence of higher derived brackets, this L infty algebra does not depend (up to L infty isomorphisms) on the choice of the complementary almost Dirac Jacobi structure. These same ideas apply to get a new proof of the independence of the L infty algebra of Dirac structure from the choice of a complementary almost Dirac structure (a result proved using other techniques by Gualtieri, Matviichuk and Scott).


Elicitation of Adaptive Requirements Using Creativity Triggers A Controlled Experiment. Adaptive systems react to changes in their environment by changing their behavior. Identifying these needed adaptations is very difficult, but central to requirements elicitation for adaptive systems. As the necessary or potential adaptations are typically not obvious to the stakeholders, the problem is how to effectively elicit adaptation relevant information. One approach is to use creativity techniques to support the systematic identification and elicitation of adaptation requirements. In particular, here, we analyze a set of creativity triggers defined for systematic exploration of potential adaptation requirements. We compare these triggers with brainstorming as a baseline in a controlled experiment with 85 master students. The results indicate that the proposed triggers are suitable for the efficient elicitation of adaptive requirements and that the 15 trigger questions produce significantly more requirements fragments than solo brainstorming.


Noncommutative CW spectra as enriched presheaves on matrix algebras. Motivated by the philosophy that C algebras reflect noncommutative topology, we investigate the stable homotopy theory of the (opposite) category of C algebras. We focus on C algebras which are non commutative CW complexes in the sense of ELP . We construct the stable infty category of noncommutative CW spectra, which we denote by mathtt NSp . Let mathcal M be the full spectral subcategory of mathtt NSp spanned by "noncommutative suspension spectra" of matrix algebras. Our main result is that mathtt NSp is equivalent to the infty category of spectral presheaves on mathcal M . To prove this we first prove a general result which states that any compactly generated stable infty category is naturally equivalent to the infty category of spectral presheaves on a full spectral subcategory spanned by a set of compact generators. This is an infty categorical version of a result by Schwede and Shipley ScSh1 . In proving this we use the language of enriched infty categories as developed by Hinich Hin2,Hin3 . We end by presenting a "strict" model for mathcal M . That is, we define a category mathcal M s strictly enriched in a certain monoidal model category of spectra mathtt Sp M . We give a direct proof that the category of mathtt Sp M enriched presheaves mathcal M s op to mathtt Sp M with the projective model structure models mathtt NSp and conclude that mathcal M s is a strict model for mathcal M .


BSD implies a non trivial bound on 5 torsion in class groups of imaginary quadratic fields. We prove new conditional bounds on the the p torsion of class groups of quadratic fields for p 3,5 . Our methods first recast the problem in the language of Selmer groups of Galois modules, which allows us to relate these groups to Selmer groups of elliptic curves. We then obtain a global estimate using the refined BSD conjecture, in a similar way to how one normally uses the Brauer Siegel bound. Our methods are potentially very general, but rely on the existence of motives with very special mathbb F p cohomology. In particular, the restriction to p 3,5 stems from needing an elliptic curve over mathbb Q with trivial p torsion.


Data reduction for a calorimetrically measured 163 mathrm Ho spectrum of the ECHo 1k experiment. The electron capture in 163 mathrm Ho experiment (ECHo) is designed to directly measure the effective electron neutrino mass by analysing the endpoint region of the 163 mathrm Ho electron capture spectrum. We present a data reduction scheme for the analysis of high statistics data acquired with the first phase of the ECHo experiment, ECHo 1k, to reliably infer the energy of 163 mathrm Ho events and discard triggered noise or pile up events. On a first level, the raw data is filtered purely based on the trigger time information of the acquired signals. On a second level, the time profile of each triggered event is analysed to identify the signals corresponding to a single energy deposition in the detector. We demonstrate that events not belonging to this category are discarded with an efficiency above 99.8 , with a minimal loss of 163 mathrm Ho events of about 0.7 . While the filter using the trigger time information is completely energy independent, a slight energy dependence of the filter based on the time profile is precisely characterised. This data reduction protocol will be important to minimise systematic errors in the analysis of the 163 mathrm Ho spectrum for the determination of the effective electron neutrino mass.


Analysis of the robustness of NMF algorithms. We examine three non negative matrix factorization techniques L2 norm, L1 norm, and L2,1 norm. Our aim is to establish the performance of these different approaches, and their robustness in real world applications such as feature selection while managing computational complexity, sensitivity to noise and more. We thoroughly examine each approach from a theoretical perspective, and examine the performance of each using a series of experiments drawing on both the ORL and YaleB datasets. We examine the Relative Reconstruction Errors (RRE), Average Accuracy and Normalized Mutual Information (NMI) as criteria under a range of simulated noise scenarios.


An asymptotic formula for the number of n dimensional representations of mathrm SU (3) . We prove an asymptotic formula for the number of n dimensional representations of the group mathrm SU (3) . Main tools for the proof are Wright's Circle Method and the Saddle Point Method.


DNN Based Beam Selection in mmW Heterogeneous Networks. We consider a heterogeneous cellular network wherein multiple small cell millimeter wave (mmW) base stations (BSs) coexist with legacy sub 6GHz macro BSs. In the mmW band, small cells use multiple narrow beams to ensure sufficient coverage and User Equipments (UEs) have to select the best small cell and the best beam in order to access the network. This process usually based on exhaustive search may introduce unacceptable latency. In order to address this issue, we rely on the sub 6GHz macro BS support and propose a deep neural network (DNN) architecture that utilizes basic components from the Channel State Information (CSI) of sub 6GHz network as input features. The output of the DNN is the mmW BS and beam selection that can provide the best communication performance. In the set of features, we avoid using the UE location, which may not be readily available for every device. We formulate a mmW BS selection and beam selection problem as a classification and regression problem respectively and propose a joint solution using a branched neural network. The numerical comparison with the conventional exhaustive search results shows that the proposed design demonstrate better performance than exhaustive search in terms of latency with at least 85 accuracy.


Two new infinite classes of APN functions. In this paper, we present two new infinite classes of APN functions over gf 2 2m and gf 2 3m , respectively. The first one is with bivariate form and obtained by adding special terms, sum(a ix 2 i y 2 i ,b ix 2 i y 2 i ) , to a known class of APN functions by G " o lo v g lu over gf 2 m 2 . The second one is of the form L(z) 2 m 1 vz 2 m 1 over gf 2 3m , which is a generalization of one family of APN functions by Bracken et al. Cryptogr. Commun. 3 (1) 43 53, 2011 . The calculation of the CCZ invariants Gamma ranks of our APN classes over gf 2 8 or gf 2 9 indicates that they are CCZ inequivalent to all known infinite families of APN functions. Moreover, by using the code isomorphism, we see that our first APN family covers an APN function over gf 2 8 obtained through the switching method by Edel and Pott in Adv. Math. Commun. 3 (1) 59 81, 2009 .


Fine scale distribution of roots of quadratic congruences. We establish limit laws for the distribution in small intervals of the roots of the quadratic congruence mu 2 equiv D bmod m , with D 0 square free and D not equiv 1 bmod 4 . This is achieved by translating the problem to convergence of certain geodesic random line processes in the hyperbolic plane. This geometric interpretation allows us in particular to derive an explicit expression for the pair correlation density of the roots.


CaSiNo A Corpus of Campsite Negotiation Dialogues for Automatic Negotiation Systems. Automated systems that negotiate with humans have broad applications in pedagogy and conversational AI. To advance the development of practical negotiation systems, we present CaSiNo a novel corpus of over a thousand negotiation dialogues in English. Participants take the role of campsite neighbors and negotiate for food, water, and firewood packages for their upcoming trip. Our design results in diverse and linguistically rich negotiations while maintaining a tractable, closed domain environment. Inspired by the literature in human human negotiations, we annotate persuasion strategies and perform correlation analysis to understand how the dialogue behaviors are associated with the negotiation performance. We further propose and evaluate a multi task framework to recognize these strategies in a given utterance. We find that multi task learning substantially improves the performance for all strategy labels, especially for the ones that are the most skewed. We release the dataset, annotations, and the code to propel future work in human machine negotiations https github.com kushalchawla CaSiNo


Publication and collaboration anomalies in academic papers originating from a paper mill evidence from a Russia based paper mill. This study attempts to detect papers originating from the Russia based paper mill International publisher LLC. A total of 1009 offers published during 2019 2021 on the 123mi.ru website were analysed. The study allowed us to identify at least 434 papers that are potentially linked to the paper mill including one preprint, a duplication paper and 15 republications of papers erroneously published in hijacked journals. Evidence of suspicious provenance from the paper mill is provided matches in title, number of coauthorship slots, year of publication, country of the journal, country of a coauthorship slot and similarities of abstracts. These problematic papers are coauthored by scholars associated with at least 39 countries and submitted both to predatory and reputable journals. This study also demonstrates collaboration anomalies and the phenomenon of suspicious collaboration in questionable papers and examines the predictors of the Russia based paper mill. The value of coauthorship slots offered by International Publisher LLC in 2019 2021 is estimated at 6.5 million. Since the study analysed a particular paper mill, it is likely that the number of papers with forged authorship is much higher.


A flexible and low cost open source IPMC mezzanine for ATCA boards based on OpenIPMC. This work presents the development of an Intelligent Platform Management Controller mezzanine in a Mini DIMM form factor for use in electronic boards compliant to the PICMG Advanced Telecommunication Computing Architecture (ATCA) standard. The module is based on an STMicroelectronics STM32H745 microcontroller running the OpenIPMC open source software. The mezzanine has been successfully tested on a variety of ATCA boards being proposed for the upgrade of the experiments at the HL LHC, with its design and firmware being distributed under open source hardware license.


Application of Neural Network Algorithm in Propylene Distillation. Artificial neural network modeling does not need to consider the mechanism. It can map the implicit relationship between input and output and predict the performance of the system well. At the same time, it has the advantages of self learning ability and high fault tolerance. The gas liquid two phases in the rectification tower conduct interphase heat and mass transfer through countercurrent contact. The functional relationship between the product concentration at the top and bottom of the tower and the process parameters is extremely complex. The functional relationship can be accurately controlled by artificial neural network algorithms. The key components of the propylene distillation tower are the propane concentration at the top of the tower and the propylene concentration at the bottom of the tower. Accurate measurement of them plays a key role in increasing propylene yield in ethylene production enterprises. This article mainly introduces the neural network model and its application in the propylene distillation tower.


Prioritized Experience based Reinforcement Learning with Human Guidance Methdology and Application to Autonomous Driving. Reinforcement learning requires skillful definition and remarkable computational efforts to solve optimization and control problems, which could impair its prospect. Introducing human guidance into reinforcement learning is a promising way to improve learning performance. In this paper, a comprehensive human guidance based reinforcement learning framework is established. A novel prioritized experience replay mechanism that adapts to human guidance in the reinforcement learning process is proposed to boost the efficiency and performance of the reinforcement learning algorithm. To relieve the heavy workload on human participants, a behavior model is established based on an incremental online learning method to mimic human actions. We design two challenging autonomous driving tasks for evaluating the proposed algorithm. Experiments are conducted to access the training and testing performance and learning mechanism of the proposed algorithm. Comparative results against the state of the arts suggest the advantages of our algorithm in terms of learning efficiency, performance, and robustness.


Compact tunable YIG based RF resonators. We report on the design, fabrication, and characterization of compact tunable yttrium iron garnet (YIG) based RF resonators based on mu m sized spin wave cavities. Inductive antennas with both ladder and meander configurations were used as transducers between spin waves and RF signals. The excitation of ferromagnetic resonance and standing spin waves in the YIG cavities led to sharp resonances with quality factors up to 350. The observed spectra were in excellent agreement with a model based on the spin wave dispersion relations in YIG, showing a high magnetic field tunability of about 29 MHz mT.


Bounds of Dirichlet eigenvalues for Hardy Leray operator. The purpose of this paper is to study the eigenvalues lambda mu,i i for the Dirichlet Hardy Leray operator, i.e. Delta u mu x 2 u lambda u rm in , Omega, quad quad u 0 rm on partial Omega, where Delta frac mu x 2 is the Hardy Leray operator with mu geq frac (N 2) 2 4 and Omega is a smooth bounded domain with 0 in Omega . We provide lower bounds of lambda mu,i i together with the Li Yau's one for mu frac (N 2) 2 4 and Karachalio's one for mu in frac (N 2) 2 4 ,0) . Secondly, we obtain Cheng Yang's type upper bounds for lambda mu,k . Finally, we get the Weyl's limit of eigenvalues which is independent of the potential's parameter mu . This interesting phenomena indicates that the inverse square potential does not play an essential role for the asymptotic behavior of the spectral of the problem considered.


Weak limit of homeomorphisms in W 1,n 1 and (INV) condition. Let Omega, Omega' subset mathbb R 3 be Lipschitz domains, let f m Omega to Omega' be a sequence of homeomorphisms with prescribed Dirichlet boundary condition and sup m int Omega ( Df m 2 1 J 2 f m ) infty . Let f be a weak limit of f m in W 1,2 . We show that f is invertible a.e., more precisely it satisfies the (INV) condition of Conti and De Lellis and thus it has all the nice properties of mappings in this class. Generalization to higher dimensions and an example showing sharpness of the condition 1 J 2 f in L 1 are also given. Using this example we also show that unlike the planar case the class of weak limits and the class of strong limits of W 1,2 Sobolev homeomorphisms in mathbb R 3 are not the same.


MaTIC a Mathematical Theory of Inferential Communication. The arrival of Immersive Virtual and Augmented Reality hardware to the consumer market suggests seamless multi modal communication between human participants and autonomous interactive characters is an achievable goal in the near future. This possibility is further reinforced by the rapid improvements in the automated analysis of speech, facial expressions and body language, as well as improvements in character animation and speech synthesis techniques. However, we do not have a formal theory that allows us to compare, on one side, interactive social scenarios among human users and autonomous virtual characters and, on the other side, pragmatic inference mechanisms as they occur in non mediated communication. Grices' and Sperbers' model of inferential communication does explain the nature of everyday communication through cognitive mechanisms that support spontaneous inferences performed in pragmatic communication. However, such a theory is not based on a mathematical framework with a precision comparable to classical information theory. To address this gap, in this article we introduce a Mathematical Theory of Inferential Communication (MaTIC). MaTIC formalises some assumptions of inferential communication, it explores its theoretical consequences and outlines the practical steps needed to use it in different application scenarios.


Deep Reinforcement Learning for Resource Allocation in Business Processes. Assigning resources in business processes execution is a repetitive task that can be effectively automated. However, different automation methods may give varying results that may not be optimal. Proper resource allocation is crucial as it may lead to significant cost reductions or increased effectiveness that results in increased revenues. In this work, we first propose a novel representation that allows modeling of a multi process environment with different process based rewards. These processes can share resources that differ in their eligibility. Then, we use double deep reinforcement learning to look for optimal resource allocation policy. We compare those results with two popular strategies that are widely used in the industry. Learning optimal policy through reinforcement learning requires frequent interactions with the environment, so we also designed and developed a simulation engine that can mimic real world processes. The results obtained are promising. Deep reinforcement learning based resource allocation achieved significantly better results compared to two commonly used techniques.


Slow decay and turnpike for infinite horizon hyperbolic LQ problems. This paper is devoted to analysing the explicit slow decay rate and turnpike in the infinite horizon linear quadratic optimal control problems for hyperbolic systems. Assume that some weak observability or controllability are satisfied, by which, the lower and upper bounds of the corresponding algebraic Riccati operator are estimated, respectively. Then based on these two bounds, the explicit slow decay rate of the closed loop system with Riccati based optimal feedback control is obtained. The averaged turnpike property for this problem is also further discussed. We then apply these results to the LQ optimal control problems constraint to networks of one dimensional wave equations and also some multi dimensional ones with local controls which lack of GCC(Geometric Control Condition).


Virtualizing Mixed Criticality Systems A Survey on Industrial Trends and Issues. Virtualization is gaining attraction in the industry as it promises a flexible way to integrate, manage, and re use heterogeneous software components with mixed criticality levels, on a shared hardware platform, while obtaining isolation guarantees. This work surveys the state of the practice of real time virtualization technologies by discussing common issues in the industry. In particular, we analyze how different virtualization approaches and solutions can impact isolation guarantees and testing certification activities, and how they deal with dependability challenges. The aim is to highlight current industry trends and support industrial practitioners to choose the most suitable solution according to their application domains.


BMO and Hankel operators on Bergman space of the Siegel upper half space. On the setting of the Siegel upper half space we study the spaces of bounded and vanishing mean oscillations which are defined in terms of the Berezin transform, and we use them to characterize bounded and compact Hankel operators on Bergman space.


Non commutative Rank and Semi stability of Quiver Representations. Fortin and Reutenauer defined the non commutative rank for a matrix with entries that are linear functions. The non commutative rank is related to stability in invariant theory, non commutative arithmetic circuits, and Edmonds' problem. We will generalize the non commutative rank to the representation theory of quivers and define non commutative Hom and Ext spaces. We will relate these new notions to King's criterion for sigma stability of quiver representations, and the general Hom and Ext spaces studied by Schofield. We discuss polynomial time algorithms that compute the non commutative Homs and Exts and find an optimal witness for the sigma semi stability of a quiver representation.


Splittings and robustness for the Heine Borel theorem. The Heine Borel theorem for uncountable coverings has recently emerged as an interesting and central principle in higher order Reverse Mathematics and computability theory, formulated as follows HBU is the Heine Borel theorem for uncountable coverings given as cup x in 0,1 (x Psi(x), x Psi(x)) for arbitrary Psi 0,1 rightarrow mathbb R , i.e. the original formulation going back to Cousin (1895) and Lindel "of (1903). In this paper, we show that HBU is equivalent to its restriction to functions continuous almost everywhere, an elegant robustness result. We also obtain a nice splitting HBU leftrightarrow WHBU HBC 0 WKL 0 where WHBU is a strengthening of Vitali's covering theorem and where HBC 0 is the Heine Borel theorem for countable collections (and textbf not sequences ) of basic open intervals, as formulated by Borel himself in 1898.


Reconstructive Spectrometer using Photonic Crystal Cavity. Optical spectrometers have propelled scientific and technological advancements in a wide range of fields. While sophisticated systems with excellent performance metrics are serving well in controlled laboratory environments, many applications require systems that are portable, economical, and robust to optical misalignment. Here, we propose and demonstrate a spectrometer that uses a planar one dimensional photonic crystal cavity as a dispersive element and a reconstructive computational algorithm to extract spectral information from spatial patterns. The simple fabrication and planar architecture of the photonic crystal cavity render our spectrometry platform economical and robust to optical misalignment. The reconstructive algorithm allows miniaturization and portability. The intensity transmitted by the photonic crystal cavity has a wavelength dependent spatial profile. We generate the spatial transmittance function of the system using finite difference time domain method and also estimate the dispersion relation. The transmittance function serves as a transfer function in our reconstructive algorithm. We show accurate estimation of various kinds of input spectra. We also show that the spectral resolution of the system depends on the cavity linewidth that can be improved by increasing the number of periodic layers in distributed Bragg mirrors. Finally, we experimentally estimate the center wavelength and linewidth of the spectrum of an unknown light emitting diode. The estimated values are in good agreement with the values measured using a commercial spectrometer.


Choquet Sugeno like operator based on relation and conditional aggregation operators. We introduce a textit Choquet Sugeno like operator generalizing many operators for bounded functions and monotone measures from the literature, e.g., Sugeno like operator, Lov ' a sz and Owen measure extensions, rF decomposition integral with respect to a partition decomposition system, and others. The new operator is based on the concepts of dependence relation and conditional aggregation operators, but it does not depend on t level sets. We also provide conditions for which the Choquet Sugeno like operator coincides with some Choquet like integrals defined on finite spaces and appeared recently in the literature, e.g. reverse Choquet integral, d Choquet integral, rF based discrete Choquet like integral, some version of C rF 1 rF 2 integral, mathrm C mathrm C integrals (or Choquet like Copula based integral) and discrete inclusion exclusion integral. Some basic properties of the Choquet Sugeno like operator are studied.


The ultimate state of turbulent permeable channel flow. Direct numerical simulations have been performed for heat and momentum transfer in internally heated turbulent shear flow with constant bulk mean velocity and temperature, u b and theta b , between parallel, isothermal, no slip and permeable walls. The wall normal transpiration velocity on the walls y pm h is assumed to be proportional to the local pressure fluctuations, i.e. v pm beta p rho (Jim 'enez et al., J. Fluid Mech., vol. 442, 2001, pp.89 117). The temperature is supposed to be a passive scalar, and the Prandtl number is set to unity. Turbulent heat and momentum transfer in permeable channel flow for beta u b 0.5 has been found to exhibit distinct states depending on the Reynolds number Re b 2h u b nu . At Re b lesssim 10 4 , the classical Blasius law of the friction coefficient and its similarity to the Stanton number, St approx c f sim Re b 1 4 , are observed, whereas at Re b gtrsim 10 4 , the so called ultimate scaling, St sim Re b 0 and c f sim Re b 0 , is found. The ultimate state is attributed to the appearance of large scale intense spanwise rolls with the length scale of O(h) arising from the Kelvin Helmholtz type of shear layer instability over the permeable walls. The large scale rolls can induce large amplitude velocity fluctuations of O(u b) as in free shear layers, so that the Taylor dissipation law epsilon sim u b 3 h (or equivalently c f sim Re b 0 ) holds. In spite of strong turbulence promotion there is no flow separation, and thus large amplitude temperature fluctuations of O( theta b) can also be induced similarly. As a consequence, the ultimate heat transfer is achieved, i.e., a wall heat flux scales with u b theta b (or equivalently St sim Re b 0 ) independent of thermal diffusivity, although the heat transfer on the walls is dominated by thermal conduction.


Gumbel Attention for Multi modal Machine Translation. Multi modal machine translation (MMT) improves translation quality by introducing visual information. However, the existing MMT model ignores the problem that the image will bring information irrelevant to the text, causing much noise to the model and affecting the translation quality. In this paper, we propose a novel Gumbel Attention for multi modal machine translation, which selects the text related parts of the image features. Specifically, different from the previous attention based method, we first use a differentiable method to select the image information and automatically remove the useless parts of the image features. Through the score matrix of Gumbel Attention and image features, the image aware text representation is generated. And then, we independently encode the text representation and the image aware text representation with the multi modal encoder. Finally, the final output of the encoder is obtained through multi modal gated fusion. Experiments and case analysis proves that our method retains the image features related to the text, and the remaining parts help the MMT model generates better translations.


PoBRL Optimizing Multi Document Summarization by Blending Reinforcement Learning Policies. We propose a novel reinforcement learning based framework PoBRL for solving multi document summarization. PoBRL jointly optimizes over the following three objectives necessary for a high quality summary importance, relevance, and length. Our strategy decouples this multi objective optimization into different subproblems that can be solved individually by reinforcement learning. Utilizing PoBRL, we then blend each learned policies together to produce a summary that is a concise and complete representation of the original input. Our empirical analysis shows state of the art performance on several multi document datasets. Human evaluation also shows that our method produces high quality output.


Artificial and beneficial Exploiting artificial images for aerial vehicle detection. Object detection in aerial images is an important task in environmental, economic, and infrastructure related tasks. One of the most prominent applications is the detection of vehicles, for which deep learning approaches are increasingly used. A major challenge in such approaches is the limited amount of data that arises, for example, when more specialized and rarer vehicles such as agricultural machinery or construction vehicles are to be detected. This lack of data contrasts with the enormous data hunger of deep learning methods in general and object recognition in particular. In this article, we address this issue in the context of the detection of road vehicles in aerial images. To overcome the lack of annotated data, we propose a generative approach that generates top down images by overlaying artificial vehicles created from 2D CAD drawings on artificial or real backgrounds. Our experiments with a modified RetinaNet object detection network show that adding these images to small real world datasets significantly improves detection performance. In cases of very limited or even no real world images, we observe an improvement in average precision of up to 0.70 points. We address the remaining performance gap to real world datasets by analyzing the effect of the image composition of background and objects and give insights into the importance of background.


Conjectures on the Kodaira dimension. I propose a few increasingly stronger "superadditivity" conjectures regarding the behavior of Kodaira dimension under morphisms of smooth quasi projective complex varieties.


TrustSECO An Interview Survey into Software Trust. The software ecosystem is a trust rich part of the world. Collaboratively, software engineers trust major hubs in the ecosystem, such as package managers, repository services, and programming language ecosystems. This trust, however, is often broken by vulnerabilities, ransomware, and abuse from malignant actors. But what is trust? In this paper we explore, through twelve in depth interviews with software engineers, how they perceive trust in their daily work. From the interviews we conclude three things. First, software engineers make a distinction between an adoption factor and a trust factor when selecting a package. Secondly, while in literature mostly technical factors are considered as the main trust factors, the software engineers in this study conclude that organizational factors are more important. Finally, we find that different kinds of software engineers require different views on trust, and that it is impossible to create one unified perception of trust. Keywords software ecosystem trust, empirical software engineering, TrustSECO, external software adoption, cross sectional exploratory interview analysis, trust perception.


Semiorthogonal decomposition via categorical action. We show that the categorical action of the shifted q 0 affine algebra can be used to construct semiorthogonal decomposition on the weight categories. The key observation is that the Kapranov exceptional collection can be interpreted as convolutions of Fourier Mukai kernels by using the categorical action. This result also gives us information about the higher categorical structures (natural transformations) between certain functors in the categorical action.


Thinking Aloud Dynamic Context Generation Improves Zero Shot Reasoning Performance of GPT 2. Thinking aloud is an effective meta cognitive strategy human reasoners apply to solve difficult problems. We suggest to improve the reasoning ability of pre trained neural language models in a similar way, namely by expanding a task's context with problem elaborations that are dynamically generated by the language model itself. Our main result is that dynamic problem elaboration significantly improves the zero shot performance of GPT 2 in a deductive reasoning and natural language inference task While the model uses a syntactic heuristic for predicting an answer, it is capable (to some degree) of generating reasoned additional context which facilitates the successful application of its heuristic. We explore different ways of generating elaborations, including fewshot learning, and find that their relative performance varies with the specific problem characteristics (such as problem difficulty). Moreover, the effectiveness of an elaboration can be explained in terms of the degree to which the elaboration semantically coheres with the corresponding problem. In particular, elaborations that are most faithful to the original problem description may boost accuracy by up to 24 .


Secure Namespaced Kernel Audit for Containers. Despite the wide usage of container based cloud computing, container auditing for security analysis relies mostly on built in host audit systems, which often lack the ability to capture high fidelity container logs. State of the art reference monitor based audit techniques greatly improve the quality of audit logs, but their system wide architecture is too costly to be adapted for individual containers. Moreover, these techniques typically require extensive kernel modifications, making them difficult to deploy in practical settings. In this paper, we present saBPF (secure audit BPF), an extension of the eBPF framework capable of deploying secure system level audit mechanisms at the container granularity. We demonstrate the practicality of saBPF in Kubernetes by designing an audit framework, an intrusion detection system, and a lightweight access control mechanism. We evaluate saBPF and show that it is comparable in performance and security guarantees to audit systems from the literature that are implemented directly in the kernel.


Pose Refinement with Joint Optimization of Visual Points and Lines. High precision camera re localization technology in a pre established 3D environment map is the basis for many tasks, such as Augmented Reality, Robotics and Autonomous Driving. The point based visual re localization approaches are well developed in recent decades, but are insufficient in some feature less cases. In this paper, we propose a point line joint optimization method for pose refinement with the help of the innovatively designed line extracting CNN named VLSE, and the line matching and pose optimization approach. We adopt a novel line representation and customize a hybrid convolutional block based on the Stacked Hourglass network, to detect accurate and stable line features on images. Then we apply a coarse to fine strategy to obtain precise 2D 3D line correspondences based on the geometric constraint. A following point line joint cost function is constructed to optimize the camera pose with the initial coarse pose. Sufficient experiments are conducted on open datasets, i.e, line extractor on Wireframe and YorkUrban, localization performance on Aachen Day Night v1.1 and InLoc, to confirm the effectiveness of our point line joint pose optimization method.


Counting weighted maximal chains in the circular Bruhat order. The totally nonnegative Grassmannian mathrm Gr (k,n) geq0 is the subset of the real Grassmannian mathrm Gr (k,n) consisting of points with all nonnegative Pl "ucker coordinates. The circular Bruhat order is a poset isomorphic to the face poset of A. Postnikov's (2005) positroid cell decomposition of mathrm Gr (k,n) geq0 . We provide a closed formula for the sum of its weighted chains in the spirit of J. Stembridge (2002).


Approximation of mean curvature flow with generic singularities by smooth flows with surgery. We construct smooth mean curvature flows with surgery that approximate weak mean curvature flows with only spherical and neck pinch singularities. This is achieved by combining the recent work of Choi Haslhofer Hershkovits, and Choi Haslhofer Hershkovits White, establishing canonical neighbourhoods of such singularities, with suitable barriers to flows with surgery. A limiting argument is then used to control these approximating flows. We conclude by improving the entropy bound on the low entropy Schoenflies conjecture.


Billiard Ordered Games and Books. The aim of this work is to put together two novel concepts from the theory of integrable billiards billiard ordered games and confocal billiard books. Billiard books appeared recently in the work of Fomenko's school, in particular of V. Vedyushkina. These more complex billiard domains are obtained by gluing planar sets bounded by arcs of confocal conics along common edges. Such domains are used in this paper to construct the configuration space for billiard ordered games. We analyse dynamical and topological properties of the systems obtained in that way.


Near real time streaming analysis of big fusion data. While experiments on fusion plasmas produce high dimensional data time series with ever increasing magnitude and velocity, data analysis has been lagging behind this development. For example, many data analysis tasks are often performed in a manual, ad hoc manner some time after an experiment. In this article we introduce the DELTA framework that facilitates near real time streaming analysis of big and fast fusion data. By streaming measurement data from fusion experiments to a high performance compute center, DELTA allows to perform demanding data analysis tasks in between plasma pulses. This article describe the modular and expandable software architecture of DELTA and presents performance benchmarks of its individual components as well as of entire workflows. Our focus is on the streaming analysis of ECEi data measured at KSTAR on NERSCs supercomputers and we routinely achieve data transfer rates of about 500 Megabyte per second. We show that a demanding turbulence analysis workload can be distributed among multiple GPUs and executes in under 5 minutes. We further discuss how DELTA uses modern database systems and container orchestration services to provide web based real time data visualization. For the case of ECEi data we demonstrate how data visualizations can be augmented with outputs from machine learning models. By providing session leaders and physics operators results of higher order data analysis using live visualization they may monitor the evolution of a long pulse discharge in near real time and may make more informed decision on how to configure the machine for the next shot.


Existence of conformal symplectic foliations on closed manifolds. We consider the existence of symplectic and conformal symplectic codimension one foliations on closed manifolds of dimension at least 5. Our main theorem, based on a recent result by Bertelson Meigniez, states that in dimension at least 7 any almost contact structure is homotopic to a conformal symplectic foliation. In dimension 5 we construct explicit conformal symplectic foliations on every closed, simply connected, almost contact manifold, as well as honest symplectic foliations on a large subset of them. Lastly, via round connected sums, we obtain, on closed manifolds, examples of conformal symplectic foliations which admit a linear deformation to contact structures.


Cells are Actors Social Network Analysis with Classical ML for SOTA Histology Image Classification. Digitization of histology images and the advent of new computational methods, like deep learning, have helped the automatic grading of colorectal adenocarcinoma cancer (CRA). Present automated CRA grading methods, however, usually use tiny image patches and thus fail to integrate the entire tissue micro architecture for grading purposes. To tackle these challenges, we propose to use a statistical network analysis method to describe the complex structure of the tissue micro environment by modelling nuclei and their connections as a network. We show that by analyzing only the interactions between the cells in a network, we can extract highly discriminative statistical features for CRA grading. Unlike other deep learning or convolutional graph based approaches, our method is highly scalable (can be used for cell networks consist of millions of nodes), completely explainable, and computationally inexpensive. We create cell networks on a broad CRC histology image dataset, experiment with our method, and report state of the art performance for the prediction of three class CRA grading.


Mobile Data Service Adoption and Use from a Service Supply Perspective An Empirical Investigation. The paper presents the findings of an empirical study of the views of a selection of mobile data service (MDS) supply chain participants about anticipated MDS customer requirements and expectations, and about the MDS environment. Applying an inductive thematic analysis approach, the study data are first represented as a thematic map the thematic map is then used to formulate propositions that contribute an MDS supplier perspective to models investigating MDS customer adoption and use.


Selecting for Selection Learning To Balance Adaptive and Diversifying Pressures in Evolutionary Search. Inspired by natural evolution, evolutionary search algorithms have proven remarkably capable due to their dual abilities to radiantly explore through diverse populations and to converge to adaptive pressures. A large part of this behavior comes from the selection function of an evolutionary algorithm, which is a metric for deciding which individuals survive to the next generation. In deceptive or hard to search fitness landscapes, greedy selection often fails, thus it is critical that selection functions strike the correct balance between gradient exploiting adaptation and exploratory diversification. This paper introduces Sel4Sel, or Selecting for Selection, an algorithm that searches for high performing neural network based selection functions through a meta evolutionary loop. Results on three distinct bitstring domains indicate that Sel4Sel networks consistently match or exceed the performance of both fitness based selection and benchmarks explicitly designed to encourage diversity. Analysis of the strongest Sel4Sel networks reveals a general tendency to favor highly novel individuals early on, with a gradual shift towards fitness based selection as deceptive local optima are bypassed.


Deep Generative Model for Efficient 3D Airfoil Parameterization and Generation. In aerodynamic shape optimization, the convergence and computational cost are greatly affected by the representation capacity and compactness of the design space. Previous research has demonstrated that using a deep generative model to parameterize two dimensional (2D) airfoils achieves high representation capacity compactness, which significantly benefits shape optimization. In this paper, we propose a deep generative model, Free Form Deformation Generative Adversarial Networks (FFD GAN), that provides an efficient parameterization for three dimensional (3D) aerodynamic hydrodynamic shapes like aircraft wings, turbine blades, car bodies, and hulls. The learned model maps a compact set of design variables to 3D surface points representing the shape. We ensure the surface smoothness and continuity of generated geometries by incorporating an FFD layer into the generative model. We demonstrate FFD GAN's performance using a wing shape design example. The results show that FFD GAN can generate realistic designs and form a reasonable parameterization. We further demonstrate FFD GAN's high representation compactness and capacity by testing its design space coverage, the feasibility ratio of the design space, and its performance in design optimization. We demonstrate that over 94 feasibility ratio is achieved among wings randomly generated by the FFD GAN, while FFD and B spline only achieve less than 31 . We also show that the FFD GAN leads to an order of magnitude faster convergence in a wing shape optimization problem, compared to the FFD and the B spline parameterizations.


On Finding the K best Non projective Dependency Trees. The connection between the maximum spanning tree in a directed graph and the best dependency tree of a sentence has been exploited by the NLP community. However, for many dependency parsing schemes, an important detail of this approach is that the spanning tree must have exactly one edge emanating from the root. While work has been done to efficiently solve this problem for finding the one best dependency tree, no research has attempted to extend this solution to finding the K best dependency trees. This is arguably a more important extension as a larger proportion of decoded trees will not be subject to the root constraint of dependency trees. Indeed, we show that the rate of root constraint violations increases by an average of 13 times when decoding with K ! !50 as opposed to K ! !1 . In this paper, we provide a simplification of the K best spanning tree algorithm of Camerini et al. (1980). Our simplification allows us to obtain a constant time speed up over the original algorithm. Furthermore, we present a novel extension of the algorithm for decoding the K best dependency trees of a graph which are subject to a root constraint.


On the Expressive Power of Self Attention Matrices. Transformer networks are able to capture patterns in data coming from many domains (text, images, videos, proteins, etc.) with little or no change to architecture components. We perform a theoretical analysis of the core component responsible for signal propagation between elements, i.e. the self attention matrix. In practice, this matrix typically exhibits two properties (1) it is sparse, meaning that each token only attends to a small subset of other tokens and (2) it changes dynamically depending on the input to the module. With these considerations in mind, we ask the following question Can a fixed self attention module approximate arbitrary sparse patterns depending on the input? How small is the hidden size d required for such approximation? We make progress in answering this question and show that the self attention matrix can provably approximate sparse matrices, where sparsity is in terms of a bounded number of nonzero elements in each row and column. While the parameters of self attention are fixed, various sparse matrices can be approximated by only modifying the inputs. Our proof is based on the random projection technique and uses the seminal Johnson Lindenstrauss lemma. Our proof is constructive, enabling us to propose an algorithm for finding adaptive inputs and fixed self attention parameters in order to approximate a given matrix. In particular, we show that, in order to approximate any sparse matrix up to a given precision defined in terms of preserving matrix element ratios, d grows only logarithmically with the sequence length L (i.e. d O( log L) ).


Brand Attitude in Social Networks The Role of eWoM. The aim of this study is to analyze the impact of electronic word of mouth (eWoM) marketing on branding attitude in social networks. We treated eWOM activities on brand awareness, brand destruction, branding, brand image, and brand competition. The data was gathered through the followers of Wiesland shoe page on Instagram's social network. We conduct the statistical analysis by Spss software and apply SmartPls software to test the hypotheses. The results confirm that eWoM plays a significant and positive role in branding, brand image, and brand awareness whereas it does not have an influence on brand destruction. On the other hand, branding and brand destruction play a crucial role in gaining a competitive advantage. Therefore, the brand relationship is enhanced through eWOM activities.


NL Augmenter A Framework for Task Sensitive Natural Language Augmentation. Data augmentation is an important component in the robustness evaluation of models in natural language processing (NLP) and in enhancing the diversity of the data they are trained on. In this paper, we present NL Augmenter, a new participatory Python based natural language augmentation framework which supports the creation of both transformations (modifications to the data) and filters (data splits according to specific features). We describe the framework and an initial set of 117 transformations and 23 filters for a variety of natural language tasks. We demonstrate the efficacy of NL Augmenter by using several of its transformations to analyze the robustness of popular natural language models. The infrastructure, datacards and robustness analysis results are available publicly on the NL Augmenter repository ( url https github.com GEM benchmark NL Augmenter ).


A useful lemma for calculating the Hausdorff dimension of certain sets in Engel expansions. Let s n and t n be two sequences of positive real numbers. Under some mild conditions on s n and t n , we give the precise formula of the Hausdorff dimension of the set mathbb E ( s n , t n ) Big x in(0,1) s n d n (x) leq s n t n, forall n geq1 Big , where d n(x) denotes the digit of the Engel expansion of x . This result improves the Lemma 2.6 of Shang and Wu (2021JNT), and is very useful for calculating the Hausdorff dimension of certain sets in Engel expansions.


Extremal product one free sequences and G product one free sequences of a metacyclic group. Let G be a multiplicatively written finite group. We denote by mathsf E(G) the smallest integer t such that every sequence of t elements in G contains a product one subsequence of length G . In 1961, Erd H o s, Ginzburg and Ziv proved that mathsf E(G) leq 2 G 1 for every finite abelian group G and this result is known as the Erd H o s Ginzburg Ziv Theorem. In 2005, Zhuang and Gao conjectured that mathsf E(G) mathsf d(G) G for every finite group, where mathsf d(G) is the small Davenport constant. Very recently, we confirmed this conjecture for the case when G langle x, y x p y m 1, x 1 yx y r rangle where p is the smallest prime divisor of G and mbox gcd (p(r 1), m) 1 . In this paper, we study the associated inverse problems on mathsf d(G) and mathsf E(G) . Our main results characterize the structure of any product one free sequence with extremal length mathsf d(G) , and that of any G product one free sequence with extremal length mathsf E(G) 1 .


Optimizing Blockchain Based Smart Grid Auctions A Green Revolution. Traditional smart grid energy auctions cannot directly be integrated in blockchain due to its decentralized nature. Therefore, research works are being carried out to propose efficient decentralized auctions for energy trading. Since, blockchain is a novel paradigm which ensures trust, but it also comes up with a curse of high computation and communication complexity which eventually causes resource scarcity. Therefore, there is a need to develop and encourage development of greener and computational friendly auctions to carry out decentralized energy trading. In this paper, we first provide a thorough motivation of decentralized auctions over traditional auctions. Afterwards, we provide in depth design requirements that can be taken into consideration while developing such auctions. After that, we analyze technical works that have developed blockchain based energy auctions from green perspective. Finally, we summarize the article by providing challenges and possible future research directions of blockchain based energy auction from green viewpoint.


An exploration of asocial and social learning in the evolution of variable length structures. We wish to explore the contribution that asocial and social learning might play as a mechanism for self adaptation in the search for variable length structures by an evolutionary algorithm. An extremely challenging, yet simple to understand problem landscape is adopted where the probability of randomly finding a solution is approximately one in a trillion. A number of learning mechanisms operating on variable length structures are implemented and their performance analysed. The social learning setup, which combines forms of both social and asocial learning in combination with evolution is found to be most performant, while the setups exclusively adopting evolution are incapable of finding solutions.


On the Adversarial Robustness of Vision Transformers. Following the success in advancing natural language processing and understanding, transformers are expected to bring revolutionary changes to computer vision. This work provides the first and comprehensive study on the robustness of vision transformers (ViTs) against adversarial perturbations. Tested on various white box and transfer attack settings, we find that ViTs possess better adversarial robustness when compared with convolutional neural networks (CNNs). This observation also holds for certified robustness. We summarize the following main observations contributing to the improved robustness of ViTs 1) Features learned by ViTs contain less low level information and are more generalizable, which contributes to superior robustness against adversarial perturbations. 2) Introducing convolutional or tokens to token blocks for learning low level features in ViTs can improve classification accuracy but at the cost of adversarial robustness. 3) Increasing the proportion of transformers in the model structure (when the model consists of both transformer and CNN blocks) leads to better robustness. But for a pure transformer model, simply increasing the size or adding layers cannot guarantee a similar effect. 4) Pre training on larger datasets does not significantly improve adversarial robustness though it is critical for training ViTs. 5) Adversarial training is also applicable to ViT for training robust models. Furthermore, feature visualization and frequency analysis are conducted for explanation. The results show that ViTs are less sensitive to high frequency perturbations than CNNs and there is a high correlation between how well the model learns low level features and its robustness against different frequency based perturbations.


AsySQN Faster Vertical Federated Learning Algorithms with Better Computation Resource Utilization. Vertical federated learning (VFL) is an effective paradigm of training the emerging cross organizational (e.g., different corporations, companies and organizations) collaborative learning with privacy preserving. Stochastic gradient descent (SGD) methods are the popular choices for training VFL models because of the low per iteration computation. However, existing SGD based VFL algorithms are communication expensive due to a large number of communication rounds. Meanwhile, most existing VFL algorithms use synchronous computation which seriously hamper the computation resource utilization in real world applications. To address the challenges of communication and computation resource utilization, we propose an asynchronous stochastic quasi Newton (AsySQN) framework for VFL, under which three algorithms, i.e. AsySQN SGD, SVRG and SAGA, are proposed. The proposed AsySQN type algorithms making descent steps scaled by approximate (without calculating the inverse Hessian matrix explicitly) Hessian information convergence much faster than SGD based methods in practice and thus can dramatically reduce the number of communication rounds. Moreover, the adopted asynchronous computation can make better use of the computation resource. We theoretically prove the convergence rates of our proposed algorithms for strongly convex problems. Extensive numerical experiments on real word datasets demonstrate the lower communication costs and better computation resource utilization of our algorithms compared with state of the art VFL algorithms.


A Feature Table approach to decomposing monolithic applications into microservices. Microservice architecture refers to the use of numerous small scale and independently deployed services, instead of encapsulating all functions into one monolith. It has been a challenge in software engineering to decompose a monolithic system into smaller parts. In this paper, we propose the Feature Table approach, a structured approach to service decomposition based on the correlation between functional features and microservices (1) we defined the concept of em Feature Cards and 12 instances of such cards (2) we formulated em Decomposition Rules to decompose monolithic applications (3) we designed the em Feature Table Analysis Tool to provide semi automatic analysis for identification of microservices and (4) we formulated em Mapping Rules to help developers implement microservice candidates. We performed a case study on Cargo Tracking System to validate our microservice oriented decomposition approach. Cargo Tracking System is a typical case that has been decomposed by other related methods (dataflow driven approach, Service Cutter, and API Analysis). Through comparison with the related methods in terms of specific coupling and cohesion metrics, the results show that the proposed Feature Table approach can deliver more reasonable microservice candidates, which are feasible in implementation with semi automatic support.


Schreier Sims Cuts meet Stable Set Preserving Problem Structure when Handling Symmetries. Symmetry handling inequalities (SHIs) are a popular tool to handle symmetries in integer programming. Despite their successful application in practice, only little is known about the interaction of SHIs with optimization problems. In this article, we focus on SST cuts, an attractive class of SHIs, and investigate their computational and polyhedral consequences for optimization problems. After showing that they do not increase the computational complexity of solving optimization problems, we focus on the stable set problem for which we derive presolving techniques based on SST cuts. Moreover, we derive strengthened versions of SST cuts and identify cases in which adding these inequalities to the stable set polytope maintains integrality. Preliminary computational experiments show that our techniques have a high potential to reduce both the size of stable set problems and the time to solve them.


An in silico study to geometrically optimize microfluidic trap array for trapping efficiency. Microfluidic Trap Arrays (MTAs) appear as very promising tools for several applications like cancer understanding and treatment or immune synapse research. The MTAs principle is the following samples are diluted inside a fluid going through a microfluidic chamber composed of an array of a large number of traps. While following the fluid flow, samples can encounter traps that isolate them or very small group of them from the others. However, it often appears that many traps stay empty, even after a long time which can drastically reduce the number of exploitable samples. In this paper we built a Computational Fluid Dynamic (CFD) Finite Element Model with a specific streamlines analysis to investigate how the MTA geometry affects its trapping efficiency and how it is possible to optimize the MTA geometry in order to maximize the trapping efficiency. Our results shows that optimization of MTA trapping efficiency is a complex and non intuitive process and is about finding a compromise between combinations of geometric parameters values that can not be achieved with a purely experimental approach. Streamlines analysis suggests that the important feature is to deviate the particle trajectories that can be done with a diagonal pressure gradient, the use of low hydrodynamic resistance in strategic zones and with the proximity and size of inlet and outlet channels. We showed that a MTA's trapping efficiency can be easily increased of more than 20 with a single parametric approach and more than 30 with a multi parametric approach. Finally, such an efficient MTA geometry can also be obtained introducing irregularities in the trap positions with randomized translated traps.


A Graph based Imputation Method for Sparse Medical Records. Electronic Medical Records (EHR) are extremely sparse. Only a small proportion of events (symptoms, diagnoses, and treatments) are observed in the lifetime of an individual. The high degree of missingness of EHR can be attributed to a large number of factors, including device failure, privacy concerns, or other unexpected reasons. Unfortunately, many traditional imputation methods are not well suited for highly sparse data and scale poorly to high dimensional datasets. In this paper, we propose a graph based imputation method that is both robust to sparsity and to unreliable unmeasured events. Our approach compares favourably to several standard and state of the art imputation methods in terms of performance and runtime. Moreover, results indicate that the model learns to embed different event types in a clinically meaningful way. Our work can facilitate the diagnosis of novel diseases based on the clinical history of past events, with the potential to increase our understanding of the landscape of comorbidities.


Deep Motion Prior for Weakly Supervised Temporal Action Localization. Weakly Supervised Temporal Action Localization (WSTAL) aims to localize actions in untrimmed videos with only video level labels. Currently, most state of the art WSTAL methods follow a Multi Instance Learning (MIL) pipeline producing snippet level predictions first and then aggregating to the video level prediction. However, we argue that existing methods have overlooked two important drawbacks 1) inadequate use of motion information and 2) the incompatibility of prevailing cross entropy training loss. In this paper, we analyze that the motion cues behind the optical flow features are complementary informative. Inspired by this, we propose to build a context dependent motion prior, termed as motionness. Specifically, a motion graph is introduced to model motionness based on the local motion carrier (e.g., optical flow). In addition, to highlight more informative video snippets, a motion guided loss is proposed to modulate the network training conditioned on motionness scores. Extensive ablation studies confirm that motionness efficaciously models action of interest, and the motion guided loss leads to more accurate results. Besides, our motion guided loss is a plug and play loss function and is applicable with existing WSTAL methods. Without loss of generality, based on the standard MIL pipeline, our method achieves new state of the art performance on three challenging benchmarks, including THUMOS'14, ActivityNet v1.2 and v1.3.


Parabolic weighted Sobolev Poincar 'e type inequalities. We derive weighted Sobolev Poincar 'e type inequalities in function spaces concerned with parabolic partial differential equations. We consider general weights depending on both space and time variables belonging to a Muckenhoupt class, so called the parabolic A p class, where only the parabolic cubes are involved in the definition.


Computing isogenies between jacobians of hyperelliptic curves of arbitrary genus via differential equations. Let p be an odd prime number and be an integer coprime to p . We survey an algorithm for computing explicit rational representations of ( ell,..., ell) isogenies between Jacobians of hyperelliptic curves of arbitrary genus over an extension K of the field of p adic numbers mathbb Q p . The algorithm has a quasi linear complexity in ell as well as in the genus of the curves.


VisMCA A Visual Analytics System for Misclassification Correction and Analysis. VAST Challenge 2020, Mini Challenge 2 Award Honorable Mention for Detailed Analysis of Patterns of Misclassification. This paper presents VisMCA, an interactive visual analytics system that supports deepening understanding in ML results, augmenting users' capabilities in correcting misclassification, and providing an analysis of underlying patterns, in response to the VAST Challenge 2020 Mini Challenge 2. VisMCA facilitates tracking provenance and provides a comprehensive view of object detection results, easing re labeling, and producing reliable, corrected data for future training. Our solution implements multiple analytical views on visual analysis to offer a deep insight for underlying pattern discovery.


Cockroaches adjust body and appendages to traverse cluttered large obstacles. To traverse complex natural terrain, animals often transition between locomotor modes. It is well known that locomotor transitions can be induced by switching in neural control circuits or be driven by a need to minimize metabolic energetic cost. Recent work discovered that locomotor transitions in complex 3 D terrain cluttered with large obstacles can also emerge from physical interaction with the environment controlled by the nervous system. To traverse cluttered, stiff grass like beams, the discoid cockroach often transitions from using a strenuous pitch mode to push across to using a less strenuous roll mode to maneuver through the gaps, during which a potential energy barrier must be overcome. Although previous robotic physical modeling demonstrated that kinetic energy fluctuation from body oscillation generated by leg propulsion can help overcome the barrier and facilitate this transition, the animal was observed to transition even when the barrier still exceeds kinetic energy fluctuation. Here, we further studied whether and how the cockroach makes active adjustments to facilitate this locomotor transition to traverse cluttered beams. We observed that the animal flexed its head and abdomen, reduced hind leg sprawl, and used both hind legs differentially during the pitch to roll transition, which were absent when running on a flat ground. Using a refined potential energy landscape with additional degrees of freedom modeling these adjustments, we found that head flexion did not substantially reduce the transition barrier, whereas the leg sprawl reduction did so dramatically. We discussed likely functions of the observed adjustments and suggested future directions.


IndoFashion Apparel Classification for Indian Ethnic Clothes. Cloth categorization is an important research problem that is used by e commerce websites for displaying correct products to the end users. Indian clothes have a large number of clothing categories both for men and women. The traditional Indian clothes like "Saree" and "Dhoti" are worn very differently from western clothes like t shirts and jeans. Moreover, the style and patterns of ethnic clothes have a very different distribution from western outfits. Thus the models trained on standard cloth datasets fail miserably on ethnic outfits. To address these challenges, we introduce the first large scale ethnic dataset of over 106k images with 15 different categories for fine grained classification of Indian ethnic clothes. We gathered a diverse dataset from a large number of Indian e commerce websites. We then evaluate several baselines for the cloth classification task on our dataset. In the end, we obtain 88.43 classification accuracy. We hope that our dataset would foster research in the development of several algorithms such as cloth classification, landmark detection, especially for ethnic clothes.


On the composition operators on Besov and Triebel Lizorkin spaces of power weights. Let G mathbb R rightarrow R be a continuous function. Under some assumptions on G , s, alpha ,p and q we prove that begin equation G(f) f in A p,q s ( mathbb R n , cdot alpha ) subset A p,q s ( mathbb R n , cdot alpha ) end equation implies G is a linear function. Here A p,q s ( mathbb R n , cdot alpha ) stands for either the Besov space B p,q s ( mathbb R n , cdot alpha ) or the Triebel Lizorkin space F p,q s ( mathbb R n , cdot alpha ) . These spaces unify and generalize many classical function spaces such as Sobolev spaces of power weights. One of the main difficulties to study this problem is that the norm of the A p,q s ( mathbb R n , cdot alpha ) spaces with alpha neq 0 is not translation invariant, so some new techniques must be developed.


Disclosure Risk from Homogeneity Attack in Differentially Private Frequency Distribution. Differential privacy (DP) provides a robust model to achieve privacy guarantees for released information. We examine the protection potency of sanitized multi dimensional frequency distributions via DP randomization mechanisms against homogeneity attack (HA). HA allows adversaries to obtain the exact values on sensitive attributes for their targets without having to identify them from the released data. We propose measures for disclosure risk from HA and derive closed form relationships between the privacy loss parameters in DP and the disclosure risk from HA. The availability of the closed form relationships assists understanding the abstract concepts of DP and privacy loss parameters by putting them in the context of a concrete privacy attack and offers a perspective for choosing privacy loss parameters when employing DP mechanisms in information sanitization and release in practice. We apply the closed form mathematical relationships in real life datasets to demonstrate the assessment of disclosure risk due to HA on differentially private sanitized frequency distributions at various privacy loss parameters.


Minimal ( tau )tilting infinite algebras. Motivated by a new conjecture on the behavior of bricks, we start a systematic study of minimal tau tilting infinite algebras. In particular, we treat minimal tau tilting infinite algebras as a modern counterpart of minimal representation infinite algebras and show some of the fundamental similarities and differences between these families. We then relate our studies to the classical tilting theory and observe that this modern approach can provide fresh impetus to the study of some old problems. We further show that in order to verify the conjecture it is sufficient to treat those minimal tau tilting infinite algebras where almost all bricks are faithful. Finally, we also prove that minimal extending bricks have open orbits, and consequently obtain a simple proof of the brick analogue of the First Brauer Thrall Conjecture, recently shown by Schroll and Treffinger using some different techniques.


Contextual Exploration Using a Linear Approximation Method Based on Satisficing. Deep reinforcement learning has enabled human level or even super human performance in various types of games. However, the amount of exploration required for learning is often quite large. Deep reinforcement learning also has super human performance in that no human being would be able to achieve such amounts of exploration. To address this problem, we focus on the textit satisficing policy, which is a qualitatively different approach from that of existing optimization algorithms. Thus, we propose Linear RS (LinRS), which is a type of satisficing algorithm and a linear extension of risk sensitive satisficing (RS), for application to a wider range of tasks. The generalization of RS provides an algorithm to reduce the volume of exploratory actions by adopting a different approach from existing optimization algorithms. LinRS utilizes linear regression and multiclass classification to linearly approximate both the action value and proportion of action selections required in the RS calculation. The results of our experiments indicate that LinRS reduced the number of explorations and run time compared to those of existing algorithms in contextual bandit problems. These results suggest that a further generalization of satisficing algorithms may be useful for complex environments, including those that are to be handled with deep reinforcement learning.


Linear stability of the Couette flow in the 3D isentropic compressible Navier Stokes equations. Consider the linear stability of the three dimensional isentropic compressible Navier Stokes equations on mathbb T times mathbb R times mathbb T . We prove the enhanced dissipation phenomenon for the linearized isentropic compressible Navier Stokes equations around the Couette flow (y, 0, 0) top . Moreover, the lift up phenomenon is also shown in this paper. Compared with the 3D incompressible Navier Stokes equations Ann. of Math.,185(2017), 541 608 , the lift up effect here is stronger due to the loss of the incompressible condition.


Resiliency of On Demand Multimodal Transit Systems During a Pandemic. During the COVID 19 pandemic, the collapse of the public transit ridership led to significant budget deficits due to dramatic decreases in fare revenues. Additionally, public transit agencies are facing challenges of reduced vehicle capacity due to social distancing requirements, additional costs of cleaning and protective equipment, and increased downtime for vehicle cleaning. Due to these constraints on resources and budgets, many transit agencies have adopted essential service plans with reduced service hours, number of routes, or frequencies. This paper studies the resiliency during a pandemic of On Demand Multimodal Transit Systems (ODMTS), a new generation of transit systems that combine a network of high frequency trains and buses with on demand shuttles to serve the first and last miles and act as feeders to the fixed network. It presents a case study for the city of Atlanta and evaluates ODMTS for multiple scenarios of depressed demand and social distancing representing various stages of the pandemic. The case study relies on an optimization pipeline that provides an end to end ODMTS solution by bringing together methods for demand estimation, network design, fleet sizing, and real time dispatching. These methods are adapted to work in a multimodal setting and to satisfy practical constraints. In particular, a limit is imposed on the number of passenger transfers, and a new network design model is introduced to avoid the computational burden stemming from this constraint. Real data from the Metropolitan Atlanta Rapid Transit Authority (MARTA) is used to conduct the case study, and the results are evaluated with a high fidelity simulation. The case study demonstrates how ODMTS provide a resilient solution in terms of cost, convenience, and accessibility for this wide range of scenarios.


Lipschitz Stability for the Hunter Saxton Equation. We study the Lipschitz stability in time for alpha dissipative solutions to the Hunter Saxton equation, where alpha in 0,1 is a constant. We define metrics in both Lagrangian and Eulerian coordinates, and establish Lipschitz stability for those metrics.