Photonic Frequency Conversion of OFDM Microwave Signals in a Wavelength Scale Optomechanical Cavity. Optomechanical (OM) cavities enable coupling of near infrared light and GHz frequency acoustic waves in wavelength scale volumes. When driven in the phonon lasing regime, an OM cavity can perform simultaneously as a nonlinear mixer and a local oscillator at integer multiples of the mechanical resonance frequency in the optical domain. In this work, we use this property to demonstrate all optical frequency down and up conversion of MHz bandwidth orthogonal frequency division multiplexed signals compliant with the IEEE 802.16e WiMAX wireless standard at microwave frequencies. To this end, we employ a silicon OM crystal cavity (OMCC), supporting a breathing like mechanical resonance at f m approx 3.9 GHz and having a foot print approx 10 mu m 2 , which yields frequency conversion efficiencies better than 17 dB in both down and up conversion processes at mW scale driving power. This work paves the way towards the application of OMCCs in low power all photonic processing of digitally modulated microwave signals in miniaturized silicon photonics chips.


A Canonical Fuzzy Logic. A presentation is provided of the basic notions and operations of a) the propositional calculus of a variant of fuzzy logic canonical fuzzy logic, CFL and in a more succinct and introductory way, of b) the theory of fuzzy sets according to that same logic. The propositional calculus of bivalent classical logic and classical set theory can be considered as particular cases of the corresponding theories of CFL if the numerical value of a specific parameter w is restricted to only two possibilities, 0 and 1.


Learning Disentangled Representations in the Imaging Domain. Disentangled representation learning has been proposed as an approach to learning general representations even in the absence of, or with limited, supervision. A good general representation can be fine tuned for new target tasks using modest amounts of data, or used directly in unseen domains achieving remarkable performance in the corresponding task. This alleviation of the data and annotation requirements offers tantalising prospects for applications in computer vision and healthcare. In this tutorial paper, we motivate the need for disentangled representations, revisit key concepts, and describe practical building blocks and criteria for learning such representations. We survey applications in medical imaging emphasising choices made in exemplar key works, and then discuss links to computer vision applications. We conclude by presenting limitations, challenges, and opportunities.


A Practical Guide to Multi Objective Reinforcement Learning and Planning. Real world decision making tasks are generally complex, requiring trade offs between multiple, often conflicting, objectives. Despite this, the majority of research in reinforcement learning and decision theoretic planning either assumes only a single objective, or that multiple objectives can be adequately handled via a simple linear combination. Such approaches may oversimplify the underlying problem and hence produce suboptimal results. This paper serves as a guide to the application of multi objective methods to difficult problems, and is aimed at researchers who are already familiar with single objective reinforcement learning and planning methods who wish to adopt a multi objective perspective on their research, as well as practitioners who encounter multi objective decision problems in practice. It identifies the factors that may influence the nature of the desired solution, and illustrates by example how these influence the design of multi objective decision making systems for complex problems.


Pano3D A Holistic Benchmark and a Solid Baseline for 360 o Depth Estimation. Pano3D is a new benchmark for depth estimation from spherical panoramas. It aims to assess performance across all depth estimation traits, the primary direct depth estimation performance targeting precision and accuracy, and also the secondary traits, boundary preservation, and smoothness. Moreover, Pano3D moves beyond typical intra dataset evaluation to inter dataset performance assessment. By disentangling the capacity to generalize to unseen data into different test splits, Pano3D represents a holistic benchmark for 360 o depth estimation. We use it as a basis for an extended analysis seeking to offer insights into classical choices for depth estimation. This results in a solid baseline for panoramic depth that follow up works can build upon to steer future progress.


Thinking Beyond Distributions in Testing Machine Learned Models. Testing practices within the machine learning (ML) community have centered around assessing a learned model's predictive performance measured against a test dataset, often drawn from the same distribution as the training dataset. While recent work on robustness and fairness testing within the ML community has pointed to the importance of testing against distributional shifts, these efforts also focus on estimating the likelihood of the model making an error against a reference dataset distribution. We argue that this view of testing actively discourages researchers and developers from looking into other sources of robustness failures, for instance corner cases which may have severe undesirable impacts. We draw parallels with decades of work within software engineering testing focused on assessing a software system against various stress conditions, including corner cases, as opposed to solely focusing on average case behaviour. Finally, we put forth a set of recommendations to broaden the view of machine learning testing to a rigorous practice.


Weakly Nonlocal Boundary Value Problems with Application to Geology. In many cases, groundwater flow in an unconfined aquifer can be simplified to a one dimensional Sturm Liouville model of the form begin equation x''(t) lambda x(t) h(t) varepsilon f(x(t)), hspace .1in t in(0, pi) end equation subject to non local boundary conditions begin equation x(0) h 1 varepsilon eta 1(x) text and x( pi) h 2 varepsilon eta 2(x). end equation In this paper, we study the existence of solutions to the above Sturm Liouville problem under the assumption that varepsilon is a small parameter. Our method will be analytical, utilizing the implicit function theorem and its generalizations.


The Kottwitz conjecture for unitary PEL type Rapoport Zink spaces. In this paper we study the cohomology of PEL type Rapoport Zink spaces associated to unramified unitary similitude groups over Q p in an odd number of variables. We extend the results of Kaletha Minguez Shin White to construct a local Langlands correspondence for these groups and prove an averaging formula relating the cohomology of Rapport Zink spaces to this correspondence. We use this formula to prove the Kottwitz conjecture for the groups we consider.


Distance in Latin Squares. A Latin square of order n is an n times n array which contains n distinct symbols exactly once in each row and column. We define the adjacent distance between two adjacent cells (containing integers) to be their difference modulo n , and inner distance of a Latin square to be the minimum of adjacent distances in the Latin square. By first establishing upper bounds and then constructing squares with said inner distance, we found the maximum inner distance of an n times n Latin square to be left lfloor frac n 1 2 right rfloor . We then studied special kinds of Latin squares such as pandiagonals (also known as Knut Vik designs), as well as Sudoku Latin squares. This research was conducted at the REU at Moravian College on Research Challenges of Computational and Experimental Mathematics, with support from the National Science Foundation.


The relative index theorem for general first order elliptic operators. The relative index theorem is proved for general first order elliptic operators that are complete and coercive at infinity over measured manifolds. This extends the original result by Gromov Lawson for generalised Dirac operators as well as the result of B "ar Ballmann for Dirac type operators. The theorem is seen through the point of view of boundary value problems, using the graphical decomposition of elliptically regular boundary conditions for general first order elliptic operators due to B "ar Bandara. Splitting, decomposition and the Phi relative index theorem are proved on route to the relative index theorem.


ASER Towards Large scale Commonsense Knowledge Acquisition via Higher order Selectional Preference over Eventualities. Commonsense knowledge acquisition and reasoning have long been a core artificial intelligence problem. However, in the past, there has been a lack of scalable methods to collect commonsense knowledge. In this paper, we propose to develop principles for collecting commonsense knowledge based on selectional preference. We generalize the definition of selectional preference from one hop linguistic syntactic relations to higher order relations over linguistic graphs. Unlike previous commonsense knowledge definition (e.g., ConceptNet), selectional preference (SP) knowledge only relies on statistical distribution over linguistic graphs, which can be efficiently and accurately acquired from the unlabeled corpus with modern tools. Following this principle, we develop a large scale eventuality (a linguistic term covering activity, state, and event) based knowledge graph ASER, where each eventuality is represented as a dependency graph, and the relation between them is a discourse relation defined in shallow discourse parsing. The higher order selectional preference over collected linguistic graphs reflects various kinds of commonsense knowledge. Moreover, motivated by the observation that humans understand events by abstracting the observed events to a higher level and can thus transfer their knowledge to new events, we propose a conceptualization module to significantly boost the coverage of ASER. In total, ASER contains 648 million edges between 438 million eventualities. After conceptualization with Probase, a selectional preference based concept instance relational knowledge base, our concept graph contains 15 million conceptualized eventualities and 224 million edges between them. Detailed analysis is provided to demonstrate its quality. All the collected data, APIs, and tools are available at https github.com HKUST KnowComp ASER.


Divide and Rule Effective Pre Training for Context Aware Multi Encoder Translation Models. Multi encoder models are a broad family of context aware neural machine translation systems that aim to improve translation quality by encoding document level contextual information alongside the current sentence. The context encoding is undertaken by contextual parameters, trained on document level data. In this work, we discuss the difficulty of training these parameters effectively, due to the sparsity of the words in need of context (i.e., the training signal), and their relevant context. We propose to pre train the contextual parameters over split sentence pairs, which makes an efficient use of the available data for two reasons. Firstly, it increases the contextual training signal by breaking intra sentential syntactic relations, and thus pushing the model to search the context for disambiguating clues more frequently. Secondly, it eases the retrieval of relevant context, since context segments become shorter. We propose four different splitting methods, and evaluate our approach with BLEU and contrastive test sets. Results show that it consistently improves learning of contextual parameters, both in low and high resource settings.


Parallel translations for a left invariant spray. In this paper, we study the left invariant spray geometry on a connected Lie group. Using the technique of invariant frames, we find the ordinary differential equations on the Lie algebra describing for a left invariant spray structure the linearly parallel translations along a geodesic and the nonlinearly parallel translations along a smooth curve. In these equations, the connection operator plays an important role. Using linearly parallel translations, we provide alternative interpretations or proofs for some homogeneous curvature formulae. Concerning the nonlinearly ones, we propose two questions in left invariant spray geometry. One question generalizes Landsberg Problem in Finsler geometry, and the other concerns the restricted holonomy group.


New binary self dual codes of lengths 56, 58, 64, 80 and 92 from a modification of the four circulant construction. In this work, we give a new technique for constructing self dual codes over commutative Frobenius rings using lambda circulant matrices. The new construction was derived as a modification of the well known four circulant construction of self dual codes. Applying this technique together with the building up construction, we construct singly even binary self dual codes of lengths 56, 58, 64, 80 and 92 that were not known in the literature before. Singly even self dual codes of length 80 with beta in 2,4,5,6,8 in their weight enumerators are constructed for the first time in the literature.


Spectral norm bounds for block Markov chain random matrices. This paper quantifies the asymptotic order of the largest singular value of a centered random matrix built from the path of a Block Markov Chain (BMC). In a BMC there are n labeled states, each state is associated to one of K clusters, and the probability of a jump depends only on the clusters of the origin and destination. Given a path X 0, X 1, ldots, X T n started from equilibrium, we construct a random matrix hat N that records the number of transitions between each pair of states. We prove that if omega(n) T n o(n 2) , then hat N mathbb E hat N Omega mathbb P ( sqrt T n n ) . We also prove that if T n Omega(n ln n ) , then hat N mathbb E hat N O mathbb P ( sqrt T n n ) as n to infty and if T n omega(n) , a sparser regime, then hat N Gamma mathbb E hat N O mathbb P ( sqrt T n n ) . Here, hat N Gamma is a regularization that zeroes out entries corresponding to jumps to and from most often visited states. Together this establishes that the order is Theta mathbb P ( sqrt T n n ) for BMCs.


Model Predictive Control of Blood Suction for Surgical Hemostasis using Differentiable Fluid Simulations. Recent developments in surgical robotics have led to new advancements in the automation of surgical sub tasks such as suturing, soft tissue manipulation, tissue tensioning and cutting. However, integration of dynamics to optimize these control policies for the variety of scenes encountered in surgery remains unsolved. Towards this effort, we investigate the integration of differentiable fluid dynamics to optimizing a suction tool's trajectory to clear the surgical field from blood as fast as possible. The fully differentiable fluid dynamics is integrated with a novel suction model for effective model predictive control of the tool. The differentiability of the fluid model is crucial because we utilize the gradients of the fluid states with respect to the suction tool position to optimize the trajectory. Through a series of experiments, we demonstrate how, by incorporating fluid models, the trajectories generated by our method can perform as good as or better than handcrafted human intuitive suction policies. We also show that our method is adaptable and can work in different cavity conditions while using a single handcrafted strategy fails.


Deep Neural Networks and Tabular Data A Survey. Heterogeneous tabular data are the most commonly used form of data and are essential for numerous critical and computationally demanding applications. On homogeneous data sets, deep neural networks have repeatedly shown excellent performance and have therefore been widely adopted. However, their application to modeling tabular data (inference or generation) remains highly challenging. This work provides an overview of state of the art deep learning methods for tabular data. We start by categorizing them into three groups data transformations, specialized architectures, and regularization models. We then provide a comprehensive overview of the main approaches in each group. A discussion of deep learning approaches for generating tabular data is complemented by strategies for explaining deep models on tabular data. Our primary contribution is to address the main research streams and existing methodologies in this area, while highlighting relevant challenges and open research questions. We also provide an empirical comparison of traditional machine learning methods with deep learning approaches on real tabular data sets of different sizes and with different learning objectives. Our results indicate that algorithms based on gradient boosted tree ensembles still outperform the deep learning models. To the best of our knowledge, this is the first in depth look at deep learning approaches for tabular data. This work can serve as a valuable starting point and guide for researchers and practitioners interested in deep learning with tabular data.


The Congruences of a Finite Lattice, A "Proof by Picture" Approach, third edition. The major topic of this book Congruence lattices of finite lattices. It covers about 80 years of research and 250 papers.


Deep Image Compositing. In image editing, the most common task is pasting objects from one image to the other and then eventually adjusting the manifestation of the foreground object with the background object. This task is called image compositing. But image compositing is a challenging problem that requires professional editing skills and a considerable amount of time. Not only these professionals are expensive to hire, but the tools (like Adobe Photoshop) used for doing such tasks are also expensive to purchase making the overall task of image compositing difficult for people without this skillset. In this work, we aim to cater to this problem by making composite images look realistic. To achieve this, we are using Generative Adversarial Networks (GANS). By training the network with a diverse range of filters applied to the images and special loss functions, the model is able to decode the color histogram of the foreground and background part of the image and also learns to blend the foreground object with the background. The hue and saturation values of the image play an important role as discussed in this paper. To the best of our knowledge, this is the first work that uses GANs for the task of image compositing. Currently, there is no benchmark dataset available for image compositing. So we created the dataset and will also make the dataset publicly available for benchmarking. Experimental results on this dataset show that our method outperforms all current state of the art methods.


Flexible Accuracy for Differential Privacy. Differential Privacy (DP) has become a gold standard in privacy preserving data analysis. While it provides one of the most rigorous notions of privacy, there are many settings where its applicability is limited. Our main contribution is in augmenting differential privacy with em Flexible Accuracy , which allows small distortions in the input (e.g., dropping outliers) before measuring accuracy of the output, allowing one to extend DP mechanisms to high sensitivity functions. We present mechanisms that can help in achieving this notion for functions that had no meaningful differentially private mechanisms previously. In particular, we illustrate an application to differentially private histograms, which in turn yields mechanisms for revealing the support of a dataset or the extremal values in the data. Analyses of our constructions exploit new versatile composition theorems that facilitate modular design. All the above extensions use our new definitional framework, which is in terms of "lossy Wasserstein distance" a 2 parameter error measure for distributions. This may be of independent interest.


Quantum immanants, double Young Capelli bitableaux and Schur shifted symmetric functions. In this paper are introduced two classes of elements in the enveloping algebra mathbf U (gl(n)) the emph double Young Capelli bitableaux fbox S T and the emph central emph Schur elements mathbf S lambda (n) , that act in a remarkable way on the highest weight vectors of irreducible Schur modules. Any element mathbf S lambda (n) is the sum of all double Young Capelli bitableaux fbox S S , S row (strictly) increasing Young tableaux of shape widetilde lambda . The Schur elements mathbf S lambda(n) are proved to be the preimages with respect to the Harish Chandra isomorphism of the emph shifted Schur polynomials s lambda n in Lambda (n) . Hence, the Schur elements are the same as the Okounkov textit quantum immanants , recently described by the present authors as linear combinations of emph Capelli immanants . This new presentation of Schur elements quantum immanants doesn't involve the irreducible characters of symmetric groups. The Capelli elements mathbf H k(n) are column Schur elements and the Nazarov Umeda elements mathbf I k(n) are row Schur elements. The duality in boldsymbol zeta (n) follows from a combinatorial description of the eigenvalues of the mathbf H k(n) on irreducible modules that is it dual (in the sense of shapes partitions) to the combinatorial description of the eigenvalues of the mathbf I k(n) . The passage n rightarrow infty for the algebras boldsymbol zeta (n) is obtained both as direct and inverse limit in the category of filtered algebras, via the emph Olshanski decomposition projection .


Structured Citation Trend Prediction Using Graph Neural Networks. Academic citation graphs represent citation relationships between publications across the full range of academic fields. Top cited papers typically reveal future trends in their corresponding domains which is of importance to both researchers and practitioners. Prior citation prediction methods often require initial citation trends to be established and do not take advantage of the recent advancements in graph neural networks (GNNs). We present GNN based architecture that predicts the top set of papers at the time of publication. For experiments, we curate a set of academic citation graphs for a variety of conferences and show that the proposed model outperforms other classic machine learning models in terms of the F1 score.


From braids to transverse slices in reductive groups. In 1965, Steinberg's study of conjugacy classes in connected reductive groups led him to construct an affine subspace parametrising regular conjugacy classes, which he noticed is also a cross section for the conjugation action by the unipotent radical of a Borel subgroup on another affine subspace. Recently, generalisations of this slice and its cross section property have been obtained by Sevostyanov in the context of quantum group analogues of W algebras and by He Lusztig in the context of Deligne Lusztig varieties. Such slices are often thought of as group analogues of Slodowy slices. In this paper we explain their relationship via common generalisations associated to Weyl group elements and provide a simple criterion for cross sections in terms of roots. In the most important class of examples this criterion is equivalent to a statement about the Deligne Garside factors of their powers in the braid monoid being maximal in some sense. Moreover, we show that these subvarieties transversely intersect conjugacy classes and determine for a large class of factorisable r matrices when the Semenov Tian Shansky bracket reduces to a Poisson structure on these slices.


Individualized Context Aware Tensor Factorization for Online Games Predictions. Individual behavior and decisions are substantially influenced by their contexts, such as location, environment, and time. Changes along these dimensions can be readily observed in Multiplayer Online Battle Arena games (MOBA), where players face different in game settings for each match and are subject to frequent game patches. Existing methods utilizing contextual information generalize the effect of a context over the entire population, but contextual information tailored to each individual can be more effective. To achieve this, we present the Neural Individualized Context aware Embeddings (NICE) model for predicting user performance and game outcomes. Our proposed method identifies individual behavioral differences in different contexts by learning latent representations of users and contexts through non negative tensor factorization. Using a dataset from the MOBA game League of Legends, we demonstrate that our model substantially improves the prediction of winning outcome, individual user performance, and user engagement.


Coming Down to Earth Satellite to Street View Synthesis for Geo Localization. The goal of cross view image based geo localization is to determine the location of a given street view image by matching it against a collection of geo tagged satellite images. This task is notoriously challenging due to the drastic viewpoint and appearance differences between the two domains. We show that we can address this discrepancy explicitly by learning to synthesize realistic street views from satellite inputs. Following this observation, we propose a novel multi task architecture in which image synthesis and retrieval are considered jointly. The rationale behind this is that we can bias our network to learn latent feature representations that are useful for retrieval if we utilize them to generate images across the two input domains. To the best of our knowledge, ours is the first approach that creates realistic street views from satellite images and localizes the corresponding query street view simultaneously in an end to end manner. In our experiments, we obtain state of the art performance on the CVUSA and CVACT benchmarks. Finally, we show compelling qualitative results for satellite to street view synthesis.


Transportation Distance between Probability Measures on the Infinite Regular Tree. In the infinite regular tree mathbb T q 1 with q in mathbb Z ge 2 , we consider families mu u n , indexed by vertices u and nonnegative integers ("discrete time steps") n , of probability measures such that mu u n(v) mu u' n(v') if the distances operatorname dist (u,v) and operatorname dist (u',v') are equal. Let d be a positive integer, and let X and Y be two vertices in the tree which are at distance d apart. We compute a formula for the transportation distance W 1 ! left( mu X n, mu Y n right) in terms of generating functions. In the special case where mu u n mathfrak m u n are measures from simple random walks after n time steps, we establish the linear asymptotic formula W 1 ! left( mathfrak m X n, mathfrak m Y n right) An B o(1) , as n to infty , and give the formulas for the coefficients A and B in closed forms. We also obtain linear asymptotic formulas in the cases of spheres and uniform balls as the radii tend to infinity. We show that these six coefficients (two from simple random walks, two from spheres, and two from uniform balls) are related by inequalities.


Quadratic rates of asymptotic regularity for the Tikhonov Mann iteration. In this paper, we compute quadratic rates of asymptotic regularity for the Tikhonov Mann iteration in W hyperbolic spaces. This iteration is an extension to a nonlinear setting of the modified Mann iteration defined recently by Bot, Csetnek and Meier in Hilbert spaces. Furthermore, we show that the Douglas Rachfors and forward backward algorithms with Tikhonov regularization terms are special cases, in Hilbert spaces, of our Tikhonov Mann iteration.


Machine Learning for Malware Evolution Detection. Malware evolves over time and antivirus must adapt to such evolution. Hence, it is critical to detect those points in time where malware has evolved so that appropriate countermeasures can be undertaken. In this research, we perform a variety of experiments on a significant number of malware families to determine when malware evolution is likely to have occurred. All of the evolution detection techniques that we consider are based on machine learning and can be fully automated in particular, no reverse engineering or other labor intensive manual analysis is required. Specifically, we consider analysis based on hidden Markov models (HMM) and the word embedding techniques HMM2Vec and Word2Vec.


Modeling of the refractive index profile of a femtosecondwritten waveguide in LiNbO3. Femtosecond laser pulse systems allows to modify in a precise and permanent way the optical properties of atransparent materials. This process enables the direct writing of guiding structures in materials, commonlyknown as waveguides, which are the base for optical circuit fabrication.It is our interest to study the main characteristics of the waveguides manufactured by the laser micro machining technique. Here, an analysis of the resulting refractive index profile has been carried out. Thischaracteristic is essential for the design and simulation of integrated optical circuits. In particular we havedeveloped our research on the study of light coupling in a pair of type II waveguides made in Lithium Niobate(LiNbO3).These experimental backgrounds provide us with elements to adjust and test the retrieved profile.Taking into account different distance between tracks and writing energies, it is well known that the couplinglength changes and the coupling ratio too. Then this study allows us to reconstruct the refractive index profileaccording to its manufacturing conditions. Modeling of the refractive index distribution profile is a key parameterto perform beam propagation mode simulations (BPM) to achieve more realistic results. So, by means of thismethod it is possible to obtain a general procedure to describe the characteristics of these kinds of waveguides.As a model test, integrated waveguides were built to corroborate their light coupling. In a first stage it is designedthrough BPM simulations then it is manufactured in an X cut LiNbO3crystal in order to check its operationaccording to the simulations carried out


IntraQ Learning Synthetic Images with Intra Class Heterogeneity for Zero Shot Network Quantization. Learning to synthesize data has emerged as a promising direction in zero shot quantization (ZSQ), which represents neural networks by low bit integer without accessing any of the real data. In this paper, we observe an interesting phenomenon of intra class heterogeneity in real data and show that existing methods fail to retain this property in their synthetic images, which causes a limited performance increase. To address this issue, we propose a novel zero shot quantization method referred to as IntraQ. First, we propose a local object reinforcement that locates the target objects at different scales and positions of the synthetic images. Second, we introduce a marginal distance constraint to form class related features distributed in a coarse area. Lastly, we devise a soft inception loss which injects a soft prior label to prevent the synthetic images from being overfitting to a fixed object. Our IntraQ is demonstrated to well retain the intra class heterogeneity in the synthetic images and also observed to perform state of the art. For example, compared to the advanced ZSQ, our IntraQ obtains 9.17 increase of the top 1 accuracy on ImageNet when all layers of MobileNetV1 are quantized to 4 bit. Code is at https github.com zysxmu IntraQ.


Stabilization and costabilization with respect to an action of a monoidal category. We study actions of monoidal categories on objects in a suitably enriched 2 category, and applications in stable homotopy theory. Given a monoidal category mathcal I and an mathcal I object mathcal A , the (co)stabilization of mathcal A is obtained by universally forcing the mathcal I action to be reversible so that every object of mathcal I acts on mathcal A by auto equivalences. We introduce a notion of mathcal I equivariance for morphisms between mathcal I objects and give constructions of stabilization and costabilization in terms of weak ends and coends in an enriched 2 category of mathcal I objects and mathcal I equivariant morphisms. We observe that the stabilization of a relative category with respect to an action coincides with the usual notion of stabilization in stable homotopy theory when the action is defined by loop space functors. We show that several examples that exist in the literature, including various categories of spectra, fit into our setting after fixing mathcal A and the mathcal I action on it. In particular, categories of sequential spectra, coordinate free spectra, genuine equivariant spectra, parameterized spectra indexed by vector bundles are obtained in terms of weak ends in the 2 category of relative categories. On the other hand, the costabilization of a relative category with respect to an action gives a stable relative category akin to a version Spanier Whitehead category. In particular, we establish a form of duality between constructions of stable homotopy categories by spectra and by Spanier Whitehead like categories.


Algorithms for solving variational inequalities and saddle point problems with some generalizations of Lipschitz property for operators. The article is devoted to the development of numerical methods for solving saddle point problems and variational inequalities with simplified requirements for the smoothness conditions of functionals. Recently there were proposed some notable methods for optimization problems with strongly monotone operators. Our focus here is on newly proposed techniques for solving strongly convex concave saddle point problems. One of the goals of the article is to improve the obtained estimates of the complexity of introduced algorithms by using accelerated methods for solving auxiliary problems. The second focus of the article is introducing an analogue of the boundedness condition for the operator in the case of arbitrary (not necessarily Euclidean) prox structure. We propose an analogue of the mirror descent method for solving variational inequalities with such operators, which is optimal in the considered class of problems.


Misinfo Reaction Frames Reasoning about Readers' Reactions to News Headlines. Even to a simple and short news headline, readers react in a multitude of ways cognitively (e.g. inferring the writer's intent), emotionally (e.g. feeling distrust), and behaviorally (e.g. sharing the news with their friends). Such reactions are instantaneous and yet complex, as they rely on factors that go beyond interpreting factual content of news. We propose Misinfo Reaction Frames (MRF), a pragmatic formalism for modeling how readers might react to a news headline. In contrast to categorical schema, our free text dimensions provide a more nuanced way of understanding intent beyond being benign or malicious. We also introduce a Misinfo Reaction Frames corpus, a crowdsourced dataset of reactions to over 25k news headlines focusing on global crises the Covid 19 pandemic, climate change, and cancer. Empirical results confirm that it is indeed possible for neural models to predict the prominent patterns of readers' reactions to previously unseen news headlines. Additionally, our user study shows that displaying machine generated MRF implications alongside news headlines to readers can increase their trust in real news while decreasing their trust in misinformation. Our work demonstrates the feasibility and importance of pragmatic inferences on news headlines to help enhance AI guided misinformation detection and mitigation.


Proper Holomorphic Embeddings of complements of large Cantor sets in Bbb C 2 . We present a construction of a proper holomorphic embedding f colon Bbb P 1 setminus C hookrightarrow Bbb C 2 , where C is a Cantor set obtained by removing smaller and smaller vertical and horizontal strips from a square of side 2, allowing to realize it to have Lebesgue measure arbitrarily close to 4.


Semi Blind Cascaded Channel Estimation for Reconfigurable Intelligent Surface Aided Massive MIMO. Reconfigurable intelligent surface (RIS) is envisioned to be a promising green technology to reduce the energy consumption and improve the coverage and spectral efficiency of massive multiple input multiple output (MIMO) wireless networks. In a RIS aided MIMO system, the acquisition of channel state information (CSI) is important for achieving passive beamforming gains of the RIS, but is also challenging due to the cascaded property of the transmitter RIS receiver channel and the lack of signal processing capability of the passive RIS elements. The state of the art approach for CSI acquisition in such a system is a pure training based strategy that depends on a long sequence of pilot symbols. In this paper, we investigate semi blind cascaded channel estimation for RIS aided massive MIMO systems, in which the receiver simultaneously estimates the channel coefficients and the partially unknown transmit signal with a small number of pilot sequences. Specifically, we formulate the semi blind cascaded channel estimation as a trilinear matrix factorization task. Under the Bayesian inference framework, we develop a computationally efficient iterative algorithm using the approximate message passing principle to resolve the trilinear inference problem. Meanwhile, we present an analytical framework to characterize the theoretical performance bound of the proposed approach in the large system limit via the replica method developed in statistical physics. Extensive simulation results demonstrate the effectiveness of the proposed semi blind cascaded channel estimation algorithm.


Transfer Learning Based Multi Objective Genetic Algorithm for Dynamic Community Detection. Dynamic community detection is the hotspot and basic problem of complex network and artificial intelligence research in recent years. It is necessary to maximize the accuracy of clustering as the network structure changes, but also to minimize the two consecutive clustering differences between the two results. There is a trade off relationship between these two objectives. In this paper, we propose a Feature Transfer Based Multi Objective Optimization Genetic Algorithm (TMOGA) based on transfer learning and traditional multi objective evolutionary algorithm framework. The main idea is to extract stable features from past community structures, retain valuable feature information, and integrate this feature information into current optimization processes to improve the evolutionary algorithms. Additionally, a new theoretical framework is proposed in this paper to analyze community detection problem based on information theory. Then, we exploit this framework to prove the rationality of TMOGA. Finally, the experimental results show that our algorithm can achieve better clustering effects compared with the state of the art dynamic network community detection algorithms in diverse test problems.


Multimodal trajectory forecasting based on discrete heat map. In Argoverse motion forecasting competition, the task is to predict the probabilistic future trajectory distribution for the interested targets in the traffic scene. We use vectorized lane map and 2 s targets' history trajectories as input. Then the model outputs 6 forecasted trajectories with probability for each target.


The benefits of prefetching for large scale cloud based neuroimaging analysis workflows. To support the growing demands of neuroscience applications, researchers are transitioning to cloud computing for its scalable, robust and elastic infrastructure. Nevertheless, large datasets residing in object stores may result in significant data transfer overheads during workflow execution. Prefetching, a method to mitigate the cost of reading in mixed workloads, masks data transfer costs within processing time of prior tasks. We present an implementation of "Rolling Prefetch", a Python library that implements a particular form of prefetching from AWS S3 object store, and we quantify its benefits. Rolling Prefetch extends S3Fs, a Python library exposing AWS S3 functionality via a file object, to add prefetch capabilities. In measured analysis performance of a 500 GB brain connectivity dataset stored on S3, we found that prefetching provides significant speed ups of up to 1.86x, even in applications consisting entirely of data loading. The observed speed up values are consistent with our theoretical analysis. Our results demonstrate the usefulness of prefetching for scientific data processing on cloud infrastructures and provide an implementation applicable to various application domains.


Students Programming Competitions as an Educational Tool and a Motivational Incentive to Students. In this short paper we report on student programming competition results by students from the Computer Science Department (COSC) of Okanagan College (OC) and discuss the achieved results from an educational point of view. We found that some freshmen and sophomore students in diploma and degree programs are very capable and eager to be involved in applied research projects as early as the second semester, and into local and international programming competitions as well. Our observation is based on the last 2 educational years, beginning 2015 when we introduced programming competitions to COSC students. Students reported that participation in competitions give them motivation to effectively learn in their programming courses, inspire them to learn deeper and more thoroughly, and help them achieve better results in their classes.


Hit and Lead Discovery with Explorative RL and Fragment based Molecule Generation. Recently, utilizing reinforcement learning (RL) to generate molecules with desired properties has been highlighted as a promising strategy for drug design. A molecular docking program a physical simulation that estimates protein small molecule binding affinity can be an ideal reward scoring function for RL, as it is a straightforward proxy of the therapeutic potential. Still, two imminent challenges exist for this task. First, the models often fail to generate chemically realistic and pharmacochemically acceptable molecules. Second, the docking score optimization is a difficult exploration problem that involves many local optima and less smooth surfaces with respect to molecular structure. To tackle these challenges, we propose a novel RL framework that generates pharmacochemically acceptable molecules with large docking scores. Our method Fragment based generative RL with Explorative Experience replay for Drug design (FREED) constrains the generated molecules to a realistic and qualified chemical space and effectively explores the space to find drugs by coupling our fragment based generation method and a novel error prioritized experience replay (PER). We also show that our model performs well on both de novo and scaffold based schemes. Our model produces molecules of higher quality compared to existing methods while achieving state of the art performance on two of three targets in terms of the docking scores of the generated molecules. We further show with ablation studies that our method, predictive error PER (FREED(PE)), significantly improves the model performance.


Reconfigurable Broadcast Networks and Asynchronous Shared Memory Systems are Equivalent (Long Version). We show the equivalence of two distributed computing models, namely reconfigurable broadcast networks (RBN) and asynchronous shared memory systems (ASMS), that were introduced independently. Both RBN and ASMS are systems in which a collection of anonymous, finite state processes run the same protocol. In RBN, the processes communicate by selective broadcast a process can broadcast a message which is received by all of its neighbors, and the set of neighbors of a process can change arbitrarily over time. In ASMS, the processes communicate by shared memory a process can either write to or read from a shared register. Our main result is that RBN and ASMS can simulate each other, i.e. they are equivalent with respect to parameterized reachability, where we are given two (possibly infinite) sets of configurations C and C' defined by upper and lower bounds on the number of processes in each state and we would like to decide if some configuration in C can reach some configuration in C'. Using this simulation equivalence, we transfer results of RBN to ASMS and vice versa. Finally, we show that RBN and ASMS can simulate a third distributed model called immediate observation (IO) nets. Moreover, for a slightly stronger notion of simulation (which is satisfied by all the simulations given in this paper), we show that IO nets cannot simulate RBN.


The uniform sparse FFT with application to PDEs with random coefficients. We develop the uniform sparse Fast Fourier Transform (usFFT), an efficient, non intrusive, adaptive algorithm for the solution of elliptic partial differential equations with random coefficients. The algorithm is an adaption of the sparse Fast Fourier Transform (sFFT), a dimension incremental algorithm, which tries to detect the most important frequencies in a given search domain and therefore adaptively generates a suitable Fourier basis corresponding to the approximately largest Fourier coefficients of the function. The usFFT does this w.r.t. the stochastic domain of the PDE simultaneously for multiple fixed spatial nodes, e.g., nodes of a finite element mesh. The key idea of joining the detected frequency sets in each dimension increment results in a Fourier approximation space, which fits uniformly for all these spatial nodes. This strategy allows for a faster and more efficient computation, than just using other algorithms, e.g., the sFFT for each spatial node separately. We test the usFFT for different examples using periodic, affine and lognormal random coefficients in the PDE problems.


Dynamic phase field fracture with a first order discontinuous Galerkin method for elastic waves. We present a new numerical approach for wave induced dynamic fracture. The method is based on a discontinuous Galerkin approximation of the first order hyperbolic system for elastic waves and a phase field approximation of brittle fracture driven by the maximum tension. The algorithm is staggered in time and combines an implicit midpoint rule for the wave propagation followed by an implicit Euler step for the phase field evolution. At fracture, the material is degraded, and the waves are reflected at the diffusive interfaces. Two and three dimensional examples demonstrate the advantages of the proposed method for the computation of crack growth and spalling initiated by reflected and superposed waves.


Self replicating 3 manifolds. In this paper we explore the topological properties of self replicating, 3 dimensional manifolds, which are modeled by idempotents in the (2 1) cobordism category. We give a classification theorem for all such idempotents. Additionally, we characterize biologically interesting ways in which self replicating 3 manifolds can embed in mathbb R 3 .


On the pathwidth of hyperbolic 3 manifolds. According to Mostow's celebrated rigidity theorem, the geometry of closed hyperbolic 3 manifolds is already determined by their topology. In particular, the volume of such manifolds is a topological invariant and, as such, has been investigated for half a century. Motivated by the algorithmic study of 3 manifolds, Maria and Purcell have recently shown that every closed hyperbolic 3 manifold M with volume vol(M) admits a triangulation with dual graph of treewidth at most C vol(M), for some universal constant C. Here we improve on this result by showing that the volume provides a linear upper bound even on the pathwidth of the dual graph of some triangulation, which can potentially be much larger than the treewidth. Our proof relies on a synthesis of tools from 3 manifold theory generalized Heegaard splittings, amalgamations, and the thick thin decomposition of hyperbolic 3 manifolds. We provide an illustrated exposition of this toolbox and also discuss the algorithmic consequences of the result.


Spectral analysis of continuous FEM for hyperbolic PDEs influence of approximation, stabilization, and time stepping. We study continuous finite element dicretizations for one dimensional hyperbolic partial differential equations. The main contribution of the paper is to provide a fully discrete spectral analysis, which is used to suggest optimal values of the CFL number and of the stabilization parameters involved in different types of stabilization operators. In particular, we analyze the streamline upwind Petrov Galerkin (SUPG) stabilization technique, the continuous interior penalty (CIP) stabilization method and the local projection stabilization (LPS). Three different choices for the continuous finite element space are compared Bernstein polynomials, Lagrangian polynomials on equispaced nodes, and Lagrangian polynomials on Gauss Lobatto cubature nodes. For the last choice, we only consider inexact quadrature based on the formulas corresponding to the degrees of freedom of the element, which allows to obtain a fully diagonal mass matrix. We also compare different time stepping strategies, namely Runge Kutta (RK), strong stability preserving RK (SSPRK) and deferred correction time integration methods. The latter allows to alleviate the computational cost as the mass matrix inversion is replaced by the high order correction iterations. To understand the effects of these choices, both time continuous and fully discrete Fourier analysis are performed. These allow to compare all the different combinations in terms of accuracy and stability, as well as to provide suggestions for optimal values discretization parameters involved. The results are thoroughly verified numerically both on linear and non linear problems, and error CPU time curves are provided. Our final conclusions suggest that cubature elements combined with SSPRK and CIP or LPS stabilization are the most promising combinations.


Boundary renormalisation of SPDEs. We consider the continuum parabolic Anderson model (PAM) and the dynamical Phi 4 equation on the 3 dimensional cube with boundary conditions. While the Dirichlet solution theories are relatively standard, the case of Neumann Robin boundary conditions gives rise to a divergent boundary renormalisation. Furthermore for Phi 4 3 a boundary triviality' result is obtained if one approximates the equation with Neumann boundary conditions and the usual bulk renormalisation, then the limiting process coincides with the one obtained using Dirichlet boundary conditions.


CausalCity Complex Simulations with Agency for Causal Discovery and Reasoning. The ability to perform causal and counterfactual reasoning are central properties of human intelligence. Decision making systems that can perform these types of reasoning have the potential to be more generalizable and interpretable. Simulations have helped advance the state of the art in this domain, by providing the ability to systematically vary parameters (e.g., confounders) and generate examples of the outcomes in the case of counterfactual scenarios. However, simulating complex temporal causal events in multi agent scenarios, such as those that exist in driving and vehicle navigation, is challenging. To help address this, we present a high fidelity simulation environment that is designed for developing algorithms for causal discovery and counterfactual reasoning in the safety critical context. A core component of our work is to introduce textit agency , such that it is simple to define and create complex scenarios using high level definitions. The vehicles then operate with agency to complete these objectives, meaning low level behaviors need only be controlled if necessary. We perform experiments with three state of the art methods to create baselines and highlight the affordances of this environment. Finally, we highlight challenges and opportunities for future work.


ACDC The Adverse Conditions Dataset with Correspondences for Semantic Driving Scene Understanding. Level 5 autonomy for self driving cars requires a robust visual perception system that can parse input images under any visual condition. However, existing semantic segmentation datasets are either dominated by images captured under normal conditions or are small in scale. To address this, we introduce ACDC, the Adverse Conditions Dataset with Correspondences for training and testing semantic segmentation methods on adverse visual conditions. ACDC consists of a large set of 4006 images which are equally distributed between four common adverse conditions fog, nighttime, rain, and snow. Each adverse condition image comes with a high quality fine pixel level semantic annotation, a corresponding image of the same scene taken under normal conditions, and a binary mask that distinguishes between intra image regions of clear and uncertain semantic content. Thus, ACDC supports both standard semantic segmentation and the newly introduced uncertainty aware semantic segmentation. A detailed empirical study demonstrates the challenges that the adverse domains of ACDC pose to state of the art supervised and unsupervised approaches and indicates the value of our dataset in steering future progress in the field. Our dataset and benchmark are publicly available.


Subcritical and supercritical bifurcations in axisymmetric viscoelastic pipe flows. Axisymmetric viscoelastic pipe flow of Oldroyd B fluids has been recently found to be linearly unstable by Garg et al. Phys. Rev. Lett., 121.024502 (2018). From a nonlinear point of view, this means that the flow can transition to turbulence supercritically, in contrast to the subcritical Newtonian pipe flows. Experimental evidences of subcritical and supercritical bifurcations of viscoelastic pipe flows have been reported, but these nonlinear phenomena have not been examined theoretically. In this work, we study the weakly nonlinear stability of this flow by performing a multiple scale expansion of the disturbance around linear critical conditions. The perturbed parameter is Reynolds number with the others being unperturbed. A third order Ginzburg Landau equation is derived with its coefficient indicating the bifurcation type of the flow. After exploring a large parameter space, we found that polymer concentration plays an important role at high polymer concentrations (or small solvent to solution viscosity ratio beta lessapprox0.785 ), the nonlinearity stabilises the flow, indicating that the flow will bifurcate supercritically, while at low polymer concentrations ( beta gtrapprox 0.785 ), the flow bifurcation is subcritical. The results agree qualitatively with experimental observations where critical beta approx0.855 . The pipe flow of UCM fluids can be linearly unstable and its bifurcation type is also supercritical. At a fixed value of beta , the Landau coefficient scales with the inverse of Weissenberg number ( Wi ) when Wi is sufficiently large. The present analysis provides a theoretical understanding of the recent studies on the supercritical and subcritical routes to the elasto inertial turbulence in viscoelastic pipe flows.


Graphs of low average degree without independent transversals. An independent transversal of a graph G with a vertex partition mathcal P is an independent set of G intersecting each block of mathcal P in a single vertex. Wanless and Wood proved that if each block of mathcal P has size at least t and the average degree of vertices in each block is at most t 4 , then an independent transversal of mathcal P exists. We present a construction showing that this result is optimal for any varepsilon 0 and sufficiently large t , there is a family of forests with vertex partitions whose block size is at least t , average degree of vertices in each block is at most ( frac14 varepsilon)t , and there is no independent transversal. This unexpectedly shows that methods related to entropy compression such as the Rosenfeld Wanles Wood scheme or the Local Cut Lemma are tight for this problem. Further constructions are given for variants of the problem, including the hypergraph version.


The bicategory of groupoid correspondences. We define a bicategory with 'etale, locally compact groupoids as objects and suitable correspondences, that is, spaces with two commuting actions as arrows the 2 arrows are injective, equivariant continuous maps. We prove that the usual recipe for composition makes this a bicategory, carefully treating also non Hausdorff groupoids and correspondences. We extend the groupoid C algebra construction to a homomorphism from this bicategory to that of C algebra correspondences. We describe the C algebras of self similar groups, higher rank graphs, and discrete Conduch 'e fibrations in our setup.


The rational cohomology groups of the classifying spaces of Kac Moody groups. In this paper, we compute the rational cohomology groups of the classifying space of a simply connected Kac Moody group of infinite type. The fundamental principle is "from finite to infinite". That is, for a Kac Moody group G(A) of infinite type, the input data for computation are the rational cohomology of classifying spaces of parabolic subgroups of G(A)(which are of finite type), and the homomorphisms induced by inclusions of these subgroups. In some special cases, we can further determine the cohomology rings. Our method also applies to study the mod p cohomology of the classifying spaces of Kac Moody groups.


Modeling the optical properties of Twisted Bilayer Photonic Crystals. We demonstrate a photonic analog of twisted bilayer graphene that has ultra flat photonic bands and exhibits extreme slow light behavior. Our twisted bilayer photonic device, which has an operating wavelength in C band of the telecom window, uses two crystalline silicon photonic crystal slabs separated by a methyl methacrylate tunneling layer. We numerically determine the magic angle using a finite element method and the corresponding photonic band structure, which exhibits a flat band over the entire Brillouin zone. This flat band causes the group velocity to approach zero and introduces light localization in a linear periodic photonic system. Using a plane wave continuum model we find that photonic modes in twisted bilayer photonic crystals are not as tightly bound as their electronic counterparts in twisted bilayer graphene. In addition, the photonic system has a larger band asymmetry. The band structure can easily be engineered by adjusting the device geometry, giving significant freedom in the design of devices. Our work provides a fundamental understanding of the photonic properties of twisted bilayer photonic crystals and opens the door to nanoscale based non linear enhancement and superradiance.


Exploring the Connection between Knowledge Distillation and Logits Matching. Knowledge distillation is a generalized logits matching technique for model compression. Their equivalence is previously established on the condition of textit infinity temperature and textit zero mean normalization . In this paper, we prove that with only textit infinity temperature , the effect of knowledge distillation equals to logits matching with an extra regularization. Furthermore, we reveal that an additional weaker condition textit equal mean initialization rather than the textit zero mean normalization already suffices to set up the equivalence. The key to our proof is we realize that in neural networks with the cross entropy loss and softmax activation, the mean of back propagated gradient on logits always keeps zero.


1 to 1 or 1 to n? Investigating the effect of function inlining on binary similarity analysis. Binary similarity analysis is critical to many code reuse related issues and "1 to 1" mechanism is widely applied, where one function in a binary file is matched against one function in a source file or binary file. However, we discover that function mapping is a more complex problem of "1 to n" or even "n to n" due to the existence of function inlining. In this paper, we investigate the effect of function inlining on binary similarity analysis. We first construct 4 inlining oriented datasets for four similarity analysis tasks, including code search, OSS reuse detection, vulnerability detection, and patch presence test. Then, we further study the extent of function inlining, the performance of existing works under function inlining, and the effectiveness of existing inlining simulation strategies. Results show that the proportion of function inlining can reach nearly 70 , while most existing works neglect it and use "1 to 1" mechanism. The mismatches cause a 30 loss in performance during code search and a 40 loss during vulnerability detection. Moreover, two existing inlining simulation strategies can only recover 60 of the inlined functions. We discover that inlining is usually cumulative when optimization increases. Conditional inlining and incremental inlining are suggested to design low cost and high coverage inlining simulation strategies.


Self Adaptive Microservice based Systems Landscape and Research Opportunities. Microservices have become popular in the past few years, attracting the interest of both academia and industry. Despite of its benefits, this new architectural style still poses important challenges, such as resilience, performance and evolution. Self adaptation techniques have been applied recently as an alternative to solve or mitigate those problems. However, due to the range of quality attributes that affect microservice architectures, many different self adaptation strategies can be used. Thus, to understand the state of the art of the use of self adaptation techniques and mechanisms in microservice based systems, this work conducted a systematic mapping, in which 21 primary studies were analyzed considering qualitative and quantitative research questions. The results show that most studies focus on the Monitor phase (28.57 ) of the adaptation control loop, address the self healing property (23.81 ), apply a reactive adaptation strategy (80.95 ) in the system infrastructure level (47.62 ) and use a centralized approach (38.10 ). From those, it was possible to propose some research directions to fill existing gaps.


DeepAVO Efficient Pose Refining with Feature Distilling for Deep Visual Odometry. The technology for Visual Odometry (VO) that estimates the position and orientation of the moving object through analyzing the image sequences captured by on board cameras, has been well investigated with the rising interest in autonomous driving. This paper studies monocular VO from the perspective of Deep Learning (DL). Unlike most current learning based methods, our approach, called DeepAVO, is established on the intuition that features contribute discriminately to different motion patterns. Specifically, we present a novel four branch network to learn the rotation and translation by leveraging Convolutional Neural Networks (CNNs) to focus on different quadrants of optical flow input. To enhance the ability of feature selection, we further introduce an effective channel spatial attention mechanism to force each branch to explicitly distill related information for specific Frame to Frame (F2F) motion estimation. Experiments on various datasets involving outdoor driving and indoor walking scenarios show that the proposed DeepAVO outperforms the state of the art monocular methods by a large margin, demonstrating competitive performance to the stereo VO algorithm and verifying promising potential for generalization.


Checking App Behavior Against App Descriptions What If There are No App Descriptions?. Classifying mobile apps based on their description is beneficial for several purposes. However, many app descriptions do not reflect app functionalities, whether accidentally or on purpose. Most importantly, these app classification methods do not work if the app description is unavailable. This paper investigates a Reverse Engineering based Approach to Classify mobile apps using The data that exists in the app, called REACT. To validate the proposed REACT method, we use a large set of Android apps (24,652 apps in total). We also show REACTs' extendibility for malware anomaly detection and prove its reliability and scalability. However, our analysis shows some limitations in REACT procedure and implementation, especially for similar feature based app grouping. We discuss the root cause of these failures, our key lessons learned, and some future enhancement ideas. We also share our REACT tools and reproduced datasets for the app market analyst, mobile app developers and software engineering research communities for further research purposes.


Bayesian Embeddings for Few Shot Open World Recognition. As autonomous decision making agents move from narrow operating environments to unstructured worlds, learning systems must move from a closed world formulation to an open world and few shot setting in which agents continuously learn new classes from small amounts of information. This stands in stark contrast to modern machine learning systems that are typically designed with a known set of classes and a large number of examples for each class. In this work we extend embedding based few shot learning algorithms to the open world recognition setting. We combine Bayesian non parametric class priors with an embedding based pre training scheme to yield a highly flexible framework which we refer to as few shot learning for open world recognition (FLOWR). We benchmark our framework on open world extensions of the common MiniImageNet and TieredImageNet few shot learning datasets. Our results show, compared to prior methods, strong classification accuracy performance and up to a 12 improvement in H measure (a measure of novel class detection) from our non parametric open world few shot learning scheme.


Spectral analysis of re parameterized light fields. In this paper, we study the spectral properties of re parameterized light field. Following previous studies of the light field spectrum, which notably provided sampling guidelines, we focus on the two plane parameterization of the light field. However, we introduce additional flexibility by allowing the image plane to be tilted and not only parallel. A formal theoretical analysis is first presented, which shows that more flexible sampling guidelines (i.e. wider camera baselines) can be used to sample the light field when adapting the image plane orientation to the scene geometry. We then present our simulations and results to support these theoretical findings. While the work introduced in this paper is mostly theoretical, we believe these new findings open exciting avenues for more practical application of light fields, such as view synthesis or compact representation.


Synthetic Periocular Iris PAI from a Small Set of Near Infrared Images. Biometric has been increasing in relevance these days since it can be used for several applications such as access control for instance. Unfortunately, with the increased deployment of biometric applications, we observe an increase of attacks. Therefore, algorithms to detect such attacks (Presentation Attack Detection (PAD)) have been increasing in relevance. The LivDet 2020 competition which focuses on Presentation Attacks Detection (PAD) algorithms have shown still open problems, specially for unknown attacks scenarios. In order to improve the robustness of biometric systems, it is crucial to improve PAD methods. This can be achieved by augmenting the number of presentation attack instruments (PAI) and bona fide images that are used to train such algorithms. Unfortunately, the capture and creation of presentation attack instruments and even the capture of bona fide images is sometimes complex to achieve. This paper proposes a novel PAI synthetically created (SPI PAI) using four state of the art GAN algorithms (cGAN, WGAN, WGAN GP, and StyleGAN2) and a small set of periocular NIR images. A benchmark between GAN algorithms is performed using the Frechet Inception Distance (FID) between the generated images and the original images used for training. The best PAD algorithm reported by the LivDet 2020 competition was tested for us using the synthetic PAI which was obtained with the StyleGAN2 algorithm. Surprisingly, The PAD algorithm was not able to detect the synthetic images as a Presentation Attack, categorizing all of them as bona fide. Such results demonstrated the feasibility of synthetic images to fool presentation attacks detection algorithms and the need for such algorithms to be constantly updated and trained with a larger number of images and PAI scenarios.


Distributed Generalized Nash Equilibrium Seeking of N Coalition Games with Full and Distributive Constraints. In this work, we investigate the distributed generalized Nash equilibrium (GNE) seeking problems for N coalition games with inequality constraints. First, we study the scenario where each agent in a coalition has full information of all the constraints. A finite time average consensus based approach is proposed by using full decision information. It is proven that the algorithm converges to a GNE (specifically, a variational equilibrium) of the game. Then, based on the finite time consensus tracking, we propose a distributed algorithm by using partial decision information only, where only neighboring action information is needed for each agent. Furthermore, we investigate the scenario where only distributive constraint information is available for the agents. The terminology distributive" here refers to the scenario where the constraint information acquisition and processing are conducted across multiple agents in a coalition, and each agent has access to only a subset of constraints, instead of the scenario where each agent has full information of all the constraints. In this case, the multiplier computation and the constraint information required for each individual are reduced. A full decision information algorithm and a partial decision information algorithm for this scenario are proposed, respectively. Numerical examples are given to verify the proposed algorithms.


The Untapped Potential of Off the Shelf Convolutional Neural Networks. Over recent years, a myriad of novel convolutional network architectures have been developed to advance state of the art performance on challenging recognition tasks. As computational resources improve, a great deal of effort has been placed in efficiently scaling up existing designs and generating new architectures with Neural Architecture Search (NAS) algorithms. While network topology has proven to be a critical factor for model performance, we show that significant gains are being left on the table by keeping topology static at inference time. Due to challenges such as scale variation, we should not expect static models configured to perform well across a training dataset to be optimally configured to handle all test data. In this work, we seek to expose the exciting potential of inference time dynamic models. By allowing just four layers to dynamically change configuration at inference time, we show that existing off the shelf models like ResNet 50 are capable of over 95 accuracy on ImageNet. This level of performance currently exceeds that of models with over 20x more parameters and significantly more complex training procedures.


Connected components of Morse boundaries of graphs of groups. Let a finitely generated group G split as a graph of groups. If edge groups are undistorted and do not contribute to the Morse boundary partial MG , we show that every connected component of partial MG with at least two points originates from the Morse boundary of a vertex group. Under stronger assumptions on the edge groups (such as wideness in the sense of Dru c t u Sapir), we show that Morse boundaries of vertex groups are topologically embedded in partial MG .


Constructions of Binary Optimal Locally Repairable Codes via Intersection Subspaces. Locally repairable codes (LRCs), which can recover any symbol of a codeword by reading only a small number of other symbols, have been widely used in real world distributed storage systems, such as Microsoft Azure Storage and Ceph Storage Cluster. Since the binary linear LRCs can significantly reduce the coding and decoding complexity, the construction of binary LRCs is of particular interest. To date, all the known optimal binary linear LRCs with the locality 2 b ( b geq 3 ) are based on the so called partial spread which is a collection of the same dimensional subspaces with pairwise trivial, i.e., zero dimensional intersection. In this paper, we concentrate on binary linear LRCs with disjoint local repair groups. We construct dimensional optimal binary linear LRCs with locality 2 b ( b geq 3 ) and minimum distance d geq 6 by employing intersection subspaces deduced from the direct sum vs. the traditional partial spread construction. This method will increase the number of possible repair groups of LRCs as many as possible, and thus efficiently enlarge the range of the construction parameters while keeping the largest code rates compared with all known binary linear LRCs with minimum distance d geq 6 and locality 2 b ( b geq 3 ).


Automated Seed Quality Testing System using GAN Active Learning. Quality assessment of agricultural produce is a crucial step in minimizing food stock wastage. However, this is currently done manually and often requires expert supervision, especially in smaller seeds like corn. We propose a novel computer vision based system for automating this process. We build a novel seed image acquisition setup, which captures both the top and bottom views. Dataset collection for this problem has challenges of data annotation costs time and class imbalance. We address these challenges by i.) using a Conditional Generative Adversarial Network (CGAN) to generate real looking images for the classes with lesser images and ii.) annotate a large dataset with minimal expert human intervention by using a Batch Active Learning (BAL) based annotation tool. We benchmark different image classification models on the dataset obtained. We are able to get accuracies of up to 91.6 for testing the physical purity of seed samples.


mu norm and regularity. In cite Tre PSI20 we introduce the concept of a mu norm for a bounded operator in a Hilbert space. The main motivation is the extension of the measure entropy to the case of quantum systems. In this paper we recall the basic results from cite Tre PSI20 and present further results on the mu norm. More precisely, we specify three classes of unitary operators for which the mu norm generates a bistochastic operator. We plan to use the latter in the construction of quantum entropy.


Unihedge A decentralized market prediction platform. Unihedge is a decentralized platform for prediction markets with a novel approach. Using Harberger Tax (HTAX) economic policies a new type of prediction market, named HTAX prediction market, was build. HTAX prediction market derivates from Dynamic PariMutuel (DPM) type of prediction markets thus offering its users an unlimited liquidity for any preferred time horizon. It tries to solve some problems of DPM by introducing a new incentive mechanism to support early information incorporation and a protection against share readjustment for hedgers. In the paper also implementation of platform on Ethereum Virtual Machine (EVM) is presented with the usage of Decentralized Exchange (DEX) as an price discovery mechanism for prediction market resolutions.


Varieties of minimal rational tangents of unbendable rational curves subordinate to contact structures. A nonsingular rational curve C in a complex manifold X whose normal bundle is isomorphic to mathcal O mathbb P 1 (1) oplus p oplus mathcal O mathbb P 1 oplus q for some nonnegative integers p and q is called an unbendable rational curve on X . Associated with it is the variety of minimal rational tangents (VMRT) at a point x in C, which is the germ of submanifolds mathcal C C x subset mathbb P T x X consisting of tangent directions of small deformations of C fixing x . Assuming that there exists a distribution D subset TX such that all small deformations of C are tangent to D , one asks what kind of submanifolds of projective space can be realized as the VMRT mathcal C C x subset mathbb P D x . When D subset TX is a contact distribution, a well known necessary condition is that mathcal C x C should be Legendrian with respect to the induced contact structure on mathbb P D x . We prove that this is also a sufficient condition we construct a complex manifold X with a contact structure D subset TX and an unbendable rational curve C subset X such that all small deformations of C are tangent to D and the VMRT mathcal C C x subset mathbb P D x at some point x in C is projectively isomorphic to an arbitrarily given Legendrian submanifold. Our construction uses the geometry of contact lines on the Heisenberg group and a technical ingredient is the symplectic geometry of distributions the study of which has originated from geometric control theory.


Development of ion recoil energy distributions in the Coulomb explosion of argon clusters resolved by charge state selective ion energy spectroscopy. The laser intensity dependence of the recoil energies from the Coulomb explosion of small argon clusters has been investigated by resolving the contributions of the individual charge states to the ion recoil energy spectra. Between 10 14 and 10 15 W cm 2 the high energy tail of the ion energy spectra changes its shape and develops into the well known knee feature, which results from the cluster size distribution, laser focal averaging, and ionization saturation. Resolving the contributions of the different charge states to the recoil energies, the experimental data reveal that the basic assumption of an exploding homogeneously charged sphere cannot be maintained in general. In fact, the energy spectra of the high q show distinct gaps in the yields at low kinetic energies, which hints at more complex radial ion charge distributions developing during the laser pulse impact.


Time Distributed Feature Learning in Network Traffic Classification for Internet of Things. The plethora of Internet of Things (IoT) devices leads to explosive network traffic. The network traffic classification (NTC) is an essential tool to explore behaviours of network flows, and NTC is required for Internet service providers (ISPs) to manage the performance of the IoT network. We propose a novel network data representation, treating the traffic data as a series of images. Thus, the network data is realized as a video stream to employ time distributed (TD) feature learning. The intra temporal information within the network statistical data is learned using convolutional neural networks (CNN) and long short term memory (LSTM), and the inter pseudo temporal feature among the flows is learned by TD multi layer perceptron (MLP). We conduct experiments using a large data set with more number of classes. The experimental result shows that the TD feature learning elevates the network classification performance by 10 .


The automorphism group of certain 3 generator p groups. A presentation as well as a structural description of the automorphism group of a family of 3 generator finite p groups is given, p being an odd prime.


Model based Multi agent Policy Optimization with Adaptive Opponent wise Rollouts. This paper investigates the model based methods in multi agent reinforcement learning (MARL). We specify the dynamics sample complexity and the opponent sample complexity in MARL, and conduct a theoretic analysis of return discrepancy upper bound. To reduce the upper bound with the intention of low sample complexity during the whole learning process, we propose a novel decentralized model based MARL method, named Adaptive Opponent wise Rollout Policy Optimization (AORPO). In AORPO, each agent builds its multi agent environment model, consisting of a dynamics model and multiple opponent models, and trains its policy with the adaptive opponent wise rollout. We further prove the theoretic convergence of AORPO under reasonable assumptions. Empirical experiments on competitive and cooperative tasks demonstrate that AORPO can achieve improved sample efficiency with comparable asymptotic performance over the compared MARL methods.


Exact imposition of boundary conditions with distance functions in physics informed deep neural networks. In this paper, we introduce a new approach based on distance fields to exactly impose boundary conditions in physics informed deep neural networks. The challenges in satisfying Dirichlet boundary conditions in meshfree and particle methods are well known. This issue is also pertinent in the development of physics informed neural networks (PINN) for the solution of partial differential equations. We introduce geometry aware trial functions in artifical neural networks to improve the training in deep learning for partial differential equations. To this end, we use concepts from constructive solid geometry (R functions) and generalized barycentric coordinates (mean value potential fields) to construct phi , an approximate distance function to the boundary of a domain. To exactly impose homogeneous Dirichlet boundary conditions, the trial function is taken as phi multiplied by the PINN approximation, and its generalization via transfinite interpolation is used to a priori satisfy inhomogeneous Dirichlet (essential), Neumann (natural), and Robin boundary conditions on complex geometries. In doing so, we eliminate modeling error associated with the satisfaction of boundary conditions in a collocation method and ensure that kinematic admissibility is met pointwise in a Ritz method. We present numerical solutions for linear and nonlinear boundary value problems over domains with affine and curved boundaries. Benchmark problems in 1D for linear elasticity, advection diffusion, and beam bending and in 2D for the Poisson equation, biharmonic equation, and the nonlinear Eikonal equation are considered. The approach extends to higher dimensions, and we showcase its use by solving a Poisson problem with homogeneous Dirichlet boundary conditions over the 4D hypercube. This study provides a pathway for meshfree analysis to be conducted on the exact geometry without domain discretization.


A Review on Human Pose Estimation. The phenomenon of Human Pose Estimation (HPE) is a problem that has been explored over the years, particularly in computer vision. But what exactly is it? To answer this, the concept of a pose must first be understood. Pose can be defined as the arrangement of human joints in a specific manner. Therefore, we can define the problem of Human Pose Estimation as the localization of human joints or predefined landmarks in images and videos. There are several types of pose estimation, including body, face, and hand, as well as many aspects to it. This paper will cover them, starting with the classical approaches to HPE to the Deep Learning based models.


Generating stable molecules using imitation and reinforcement learning. Chemical space is routinely explored by machine learning methods to discover interesting molecules, before time consuming experimental synthesizing is attempted. However, these methods often rely on a graph representation, ignoring 3D information necessary for determining the stability of the molecules. We propose a reinforcement learning approach for generating molecules in cartesian coordinates allowing for quantum chemical prediction of the stability. To improve sample efficiency we learn basic chemical rules from imitation learning on the GDB 11 database to create an initial model applicable for all stoichiometries. We then deploy multiple copies of the model conditioned on a specific stoichiometry in a reinforcement learning setting. The models correctly identify low energy molecules in the database and produce novel isomers not found in the training set. Finally, we apply the model to larger molecules to show how reinforcement learning further refines the imitation learning model in domains far from the training data.


Accurate 3D frequency domain seismic wave modeling with the wavelength adaptive 27 point finite difference stencil a tool for full waveform inversion. Efficient frequency domain Full Waveform Inversion (FWI) of long offset wide azimuth node data can be designed with a few discrete frequencies. However, 3D frequency domain seismic modeling remains challenging since it requires solving a large and sparse linear indefinite system per frequency. When such systems are solved with direct methods or hybrid direct iterative solvers, based upon domain decomposition preconditioner, finite difference stencils on regular Cartesian grids should be designed to conciliate compactness and accuracy, the former being necessary to mitigate the fill in induced by the Lower Upper (LU) factorization. Compactness is classically implemented by combining several second order accurate stencils covering the eight cells surrounding the collocation point, leading to the so called 27 point stencil. Accuracy is obtained by applying optimal weights on the different stiffness and consistent mass matrices such that numerical dispersion is jointly minimized for several number of grid points per wavelength ( G ). However, with this approach, the same weights are used at each collocation point, leading to suboptimal accuracy in heterogeneous media. In this study, we propose a straightforward recipe to improve the accuracy of the 27 point stencil. First, we finely tabulate the values of G covering the range of wavelengths spanned by the subsurface model and the frequency. Then, we estimate with a classical dispersion analysis in homogeneous media the corresponding table of optimal weights that minimize dispersion for each G treated separately. We however apply a Tikhonov regularization to guarantee smooth variation of the weights with G . Finally, we build the impedance matrix by selecting the optimal weights at each collocation point according to the local wavelength, hence leading to a wavelength adaptive stencil.


Mining Shape Expressions with ShapeIt. We present ShapeIt, a tool for mining specifications of cyber physical systems (CPS) from their real valued behaviors. The learned specifications are in the form of linear shape expressions, a declarative formal specification language suitable to express behavioral properties over real valued signals. A linear shape expression is a regular expression composed of parameterized lines as atomic symbols with symbolic constraints on the line parameters. We present here the architecture of our tool along with the different steps of the specification mining algorithm. We also describe the usage of the tool demonstrating its applicability on several case studies from different application domains.


A Survey of the Valuation Algebra motivated by a Fundamental Application to Dissection Theory. A lattice L is said lowly finite if the set mathsf 0 ,a is finite for every element a of L . We mainly aim to provide a complete proof that, if M is a subset of a complete lowly finite distributive lattice L containing its join irreducible elements, and a an element of M which is not join irreducible, then displaystyle sum b in M cap mathsf 0 ,a mu M(b,a)b belongs to the submodule langle a wedge b a vee b a b a,b in L rangle of mathbb Z L . That property was originally established by Zaslavsky for finite distributive lattice. It is essential to prove the fundamental theorem of dissection theory as will be seen. We finish with a concrete application of that theorem to face counting for submanifold arrangements.


Bridging the Gap between Language Model and Reading Comprehension Unsupervised MRC via Self Supervision. Despite recent success in machine reading comprehension (MRC), learning high quality MRC models still requires large scale labeled training data, even using strong pre trained language models (PLMs). The pre training tasks for PLMs are not question answering or MRC based tasks, making existing PLMs unable to be directly used for unsupervised MRC. Specifically, MRC aims to spot an accurate answer span from the given document, but PLMs focus on token filling in sentences. In this paper, we propose a new framework for unsupervised MRC. Firstly, we propose to learn to spot answer spans in documents via self supervised learning, by designing a self supervision pretext task for MRC Spotting MLM. Solving this task requires capturing deep interactions between sentences in documents. Secondly, we apply a simple sentence rewriting strategy in the inference stage to alleviate the expression mismatch between questions and documents. Experiments show that our method achieves a new state of the art performance for unsupervised MRC.


A Stable High Capacity Lithium Ion Battery Using a Biomass Derived Sulfur Carbon Cathode and Lithiated Silicon Anode. A full lithium ion sulfur cell with a remarkable cycle life was achieved by combining an environmentally sustainable biomass derived sulfur carbon cathode and a pre lithiated silicon oxide anode. X ray diffraction, Raman spectroscopy, energy dispersive spectroscopy, and thermogravimetry of the cathode evidenced the disordered nature of the carbon matrix in which sulfur was uniformly distributed with a weight content as high as 75 , while scanning and transmission electron microscopy revealed the micrometric morphology of the composite. The sulfur carbon electrode in the lithium half cell exhibited a maximum capacity higher than 1200 mAhgS 1, reversible electrochemical process, limited electrode electrolyte interphase resistance, and a rate capability up to C 2. The material showed a capacity decay of about 40 with respect to the steady state value over 100 cycles, likely due to the reaction with the lithium metal of dissolved polysulfides or impurities including P detected in the carbon precursor. Therefore, the replacement of the lithium metal with a less challenging anode was suggested, and the sulfur carbon composite was subsequently investigated in the full lithium ion sulfur battery employing a Li alloying silicon oxide anode. The full cell revealed an initial capacity as high as 1200 mAhgS 1, a retention increased to more than 79 for 100 galvanostatic cycles, and 56 over 500 cycles. The data reported herein well indicated the reliability of energy storage devices with extended cycle life employing high energy, green, and safe electrode materials.


Digital Twinning Remote Laboratories for Online Practical Learning. The COVID19 pandemic has demonstrated a need for remote learning and virtual learning applications such as virtual reality (VR) and tablet based solutions. Creating complex learning scenarios by developers is highly time consuming and can take over a year. It is also costly to employ teams of system analysts, developers and 3D artists. There is a requirement to provide a simple method to enable lecturers to create their own content for their laboratory tutorials. Research has been undertaken into developing generic models to enable the semi automatic creation of a virtual learning tools for subjects that require practical interactions with the lab resources. In addition to the system for creating digital twins, a case study describing the creation of a virtual learning application for an electrical laboratory tutorial has been presented.


A Minimax Lemma and the Domination Property. We prove an easy version of the minimax theorem with no topological assumption. We deduce from it some domination criteria as well as an application to p summing operators.


On analytic properties of the standard zeta function attached to a vector valued modular form. We proof a Garrett B "ocherer decomposition of a vector valued Siegel Eisenstein series E l,0 2 of genus 2 transforming with the Weil representation of text Sp 2( mathbb Z ) on the group ring mathbb C (L' L) 2 . We show that the standard zeta function associated to a vector valued common eigenform f for the Weil representation can be meromorphically continued to the whole s plane and that it satisfies a functional equation. The proof is based on an integral representation of this zeta function in terms of f and E l,0 2 .


Asymptotics of the Poisson kernel and Green's functions of the fractional conformal Laplacian. We study the asymptotics of the Poisson kernel and Green's functions of the fractional conformal Laplacian for conformal infinities of asymptotically hyperbolic manifolds. We derive sharp expansions of the Poisson kernel and Green's functions of the conformal Laplacian near their singularities. Our expansions of the Green's functions answer the first part of the conjecture of Kim Musso Wei 22 in the case of locally flat conformal infinities of Poincar 'e Einstein manifolds and together with the Poisson kernel asymptotic is used also in our paper 25 to show solvability of the fractional Yamabe problem in that case. Our asymptotics of the Green's functions on the general case of conformal infinities of asymptotically hyperbolic space is used also in 30 to show solvability of the fractional Yamabe problem for conformal infinities of dimension 3 and fractional parameter in ( frac 1 2 , 1) to a global case left by previous works.


Optimizing the expected maximum of two linear functions defined on a multivariate Gaussian distribution. We study stochastic optimization problems with objective function given by the expectation of the maximum of two linear functions defined on the component random variables of a multivariate Gaussian distribution. We consider random variables that are arbitrarily correlated, and we show that the problem is NP hard even if the space of feasible solutions is unconstrained. We exploit a closed form expression for the objective function from the literature to construct a cutting plane algorithm that can be seen as an extension of the integer L shaped method for a highly nonlinear function, which includes the evaluation of the c.d.f and p.d.f of a standard normal random variable with decision variables as part of the arguments. To exhibit the model's applicability, we consider two featured applications. The first is daily fantasy sports, where the algorithm identifies entries with positive returns during the 2018 2019 National Football League season. The second is a special case of makespan minimization for two parallel machines and jobs with uncertain processing times for the special case where the jobs are uncorrelated, we prove the equivalence between its deterministic and stochastic versions and show that our algorithm can deliver a constant factor approximation guarantee for the problem. The results of our computational evaluation involving synthetic and real world data suggest that our discretization and upper bounding techniques lead to significant computational improvements and that the proposed algorithm outperforms sub optimal solutions approaches.


RobustNet Improving Domain Generalization in Urban Scene Segmentation via Instance Selective Whitening. Enhancing the generalization capability of deep neural networks to unseen domains is crucial for safety critical applications in the real world such as autonomous driving. To address this issue, this paper proposes a novel instance selective whitening loss to improve the robustness of the segmentation networks for unseen domains. Our approach disentangles the domain specific style and domain invariant content encoded in higher order statistics (i.e., feature covariance) of the feature representations and selectively removes only the style information causing domain shift. As shown in Fig. 1, our method provides reasonable predictions for (a) low illuminated, (b) rainy, and (c) unseen structures. These types of images are not included in the training dataset, where the baseline shows a significant performance drop, contrary to ours. Being simple yet effective, our approach improves the robustness of various backbone networks without additional computational cost. We conduct extensive experiments in urban scene segmentation and show the superiority of our approach to existing work. Our code is available at https github.com shachoi RobustNet.


Models of Bihyperelliptic Curves. We give an explicit description of the minimal regular model of bihyperelliptic curves with semistable reduction over a local field of odd residue characteristic. We do this using a generalisation of the cluster picture a completely combinatorial object attached to a hyperelliptic curve y 2 f(x) over K which contains the data of the p adic distances between the roots of f . We add some information, resulting in a chromatic cluster picture, and show that this determines the minimal regular model of Y with the action of Frobenius.


Universal Algorithms for Clustering Problems. This paper presents universal algorithms for clustering problems, including the widely studied k median, k means, and k center objectives. The input is a metric space containing all potential client locations. The algorithm must select k cluster centers such that they are a good solution for any subset of clients that actually realize. Specifically, we aim for low regret, defined as the maximum over all subsets of the difference between the cost of the algorithm's solution and that of an optimal solution. A universal algorithm's solution SOL for a clustering problem is said to be an ( alpha, beta) approximation if for all subsets of clients C' , it satisfies SOL(C') leq alpha cdot OPT(C') beta cdot MR , where OPT(C') is the cost of the optimal solution for clients C' and MR is the minimum regret achievable by any solution. Our main results are universal algorithms for the standard clustering objectives of k median, k means, and k center that achieve (O(1), O(1)) approximations. These results are obtained via a novel framework for universal algorithms using linear programming (LP) relaxations. These results generalize to other ell p objectives and the setting where some subset of the clients are fixed. We also give hardness results showing that ( alpha, beta) approximation is NP hard if alpha or beta is at most a certain constant, even for the widely studied special case of Euclidean metric spaces. This shows that in some sense, (O(1), O(1)) approximation is the strongest type of guarantee obtainable for universal clustering.


Sign changing blow up for the Moser Trudinger equation. Given a sufficiently symmetric domain Omega Subset mathbb R 2 , for any k in mathbb N setminus 0 and beta 4 pi k we construct blowing up solutions (u varepsilon) subset H 1 0( Omega) to the Moser Trudinger equation such that as varepsilon downarrow 0 , we have nabla u varepsilon L 2 2 to beta , u varepsilon rightharpoonup u 0 in H 1 0 where u 0 is a sign changing solution of the Moser Trudinger equation and u varepsilon develops k positive spherical bubbles, all concentrating at 0 in Omega . These 3 features (lack of quantization, non zero weak limit and bubble clustering) stand in sharp contrast to the positive case ( u varepsilon 0 ) studied by the second author and Druet (J. Eur. Math. Soc. (JEMS) 22 (2020)).