When to Preprocess? Keeping Information Fresh for Computing Enable Internet of Things. Age of information (AoI), a notion that measures the information freshness, is an essential performance measure for time critical applications in Internet of Things (IoT). With the surge of computing resources at the IoT devices, it is possible to preprocess the information packets that contain the status update before sending them to the destination so as to alleviate the transmission burden. However, the additional time and energy expenditure induced by computing also make the optimal updating a non trivial problem. In this paper, we consider a time critical IoT system, where the IoT device is capable of preprocessing the status update before the transmission. Particularly, we aim to jointly design the preprocessing and transmission so that the weighted sum of the average AoI of the destination and the energy consumption of the IoT device is minimized. Due to the heterogeneity in transmission and computation capacities, the durations of distinct actions of the IoT device are non uniform. Therefore, we formulate the status updating problem as an infinite horizon average cost semi Markov decision process (SMDP) and then transform it into a discrete time Markov decision process. We demonstrate that the optimal policy is of threshold type with respect to the AoI. Equipped with this, a structure aware relative policy iteration algorithm is proposed to obtain the optimal policy of the SMDP. Our analysis shows that preprocessing is more beneficial in regimes of high AoIs, given it can reduce the time required for updates. We further prove the switching structure of the optimal policy in a special scenario, where the status updates are transmitted over a reliable channel, and derive the optimal threshold. Finally, simulation results demonstrate the efficacy of preprocessing and show that the proposed policy outperforms two baseline policies.


Variational Predictive Routing with Nested Subjective Timescales. Discovery and learning of an underlying spatiotemporal hierarchy in sequential data is an important topic for machine learning. Despite this, little work has been done to explore hierarchical generative models that can flexibly adapt their layerwise representations in response to datasets with different temporal dynamics. Here, we present Variational Predictive Routing (VPR) a neural probabilistic inference system that organizes latent representations of video features in a temporal hierarchy, based on their rates of change, thus modeling continuous data as a hierarchical renewal process. By employing an event detection mechanism that relies solely on the system's latent representations (without the need of a separate model), VPR is able to dynamically adjust its internal state following changes in the observed features, promoting an optimal organisation of representations across the levels of the model's latent hierarchy. Using several video datasets, we show that VPR is able to detect event boundaries, disentangle spatiotemporal features across its hierarchy, adapt to the dynamics of the data, and produce accurate time agnostic rollouts of the future. Our approach integrates insights from neuroscience and introduces a framework with high potential for applications in model based reinforcement learning, where flexible and informative state space rollouts are of particular interest.


Solving Large Steiner Tree Problems in Graphs for Cost Efficient Fiber To The Home Network Expansion. The expansion of Fiber To The Home (FTTH) networks creates high costs due to expensive excavation procedures. Optimizing the planning process and minimizing the cost of the earth excavation work therefore lead to large savings. Mathematically, the FTTH network problem can be described as a minimum Steiner Tree problem. Even though the Steiner Tree problem has already been investigated intensively in the last decades, it might be further optimized with the help of new computing paradigms and emerging approaches. This work studies upcoming technologies, such as Quantum Annealing, Simulated Annealing and nature inspired methods like Evolutionary Algorithms or slime mold based optimization. Additionally, we investigate partitioning and simplifying methods. Evaluated on several real life problem instances, we could outperform a traditional, widely used baseline (NetworkX Approximate Solver) on most of the domains. Prior partitioning of the initial graph and the presented slime mold based approach were especially valuable for a cost efficient approximation. Quantum Annealing seems promising, but was limited by the number of available qubits.


Non equilibrium time relaxation kinetic model for compressible turbulence modeling. For the first time, the non equilibrium time relaxation kinetic model (NTRKM) is proposed for compressible turbulence modeling on unresolved grids. Within the non equilibrium time relaxation framework, NTRKM is extended in the form of modified Bhatnagar Gross Krook model. Based on the first order Chapman Enskog expansion, NTRKM connects with the six variable macroscopic governing equations. The first five governing equations correspond to the conservative laws in mass, momentum and total energy, while the sixth equation governs the evolution of unresolved turbulence kinetic energy Kutke. The unknowns in NTRKM, including turbulent relaxation time and source term, are determined by essential gradient type assumption and standard dynamic modeling approach. Current generalized kinetic model on unresolved grids consequently offers a profound mesoscopic understanding for one equation subgrid scale turbulence kinetic energy Ksgs model in compressible large eddy simulation. To solve NTRKM accurately and robustly, a non equilibrium gas kinetic scheme is developed, which succeeds the well established gas kinetic scheme for simulating Navier Stokes equations. Three dimensional decaying compressible isotropic turbulence and temporal compressible plane mixing layer on unresolved grids are simulated to evaluate the generalized kinetic model and non equilibrium gas kinetic scheme. The performance of key turbulent quantities up to second order statistics confirms that NTRKM is comparable with the widely used eddy viscosity Smagorinsky model (SM) and dynamic Smagorinsky model (DSM). Specifically, compared with the DNS solution in temporal compressible plane mixing layer, the performance of NTRKM is much closer with DSM and better than SM. This study provides a workable approach for compressible turbulence modeling on unresolved grids.


Data driven reconstruction using frames and Riesz bases. We study the problem of regularization of inverse problems adopting a purely data driven approach, by using the similarity to the method of regularization by projection. We provide an application of a projection algorithm, utilized and applied in frames theory, as a data driven reconstruction procedure in inverse problems, generalizing the algorithm proposed by the authors in Inverse Problems 36 (2020), n. 12, 125009, based on an orthonormalization procedure for the training pairs. We show some numerical experiments, comparing the different methods.


Hilbert C module independence. We introduce the notion of Hilbert C module independence Let mathscr A be a unital C algebra and let mathscr E i subseteq mathscr E , , ,i 1, 2 , be ternary subspaces of a Hilbert mathscr A module mathscr E . Then mathscr E 1 and mathscr E 2 are said to be Hilbert C module independent if there are positive constants m and M such that for every state varphi i on langle mathscr E i, mathscr E i rangle, , ,i 1, 2 , there exists a state varphi on mathscr A such that begin align m varphi i( x ) leq varphi( x ) leq M varphi i( x 2) frac 1 2 , qquad mbox for all x in mathscr E i, i 1, 2. end align We show that it is a natural generalization of the notion of C independence of C algebras. Moreover, we demonstrate that even in case of C algebras this concept of independence is new and has a nice characterization in terms of extensions. This enriches the theory of independence of C algebras. We show that if langle mathscr E 1, mathscr E 1 rangle has the quasi extension property and z in mathscr E 1 cap mathscr E 2 with z 1 , then z 1 . Several characterizations of Hilbert C module independence and a new characterization of C independence are given. One of characterizations states that if z 0 in mathscr E 1 cap mathscr E 2 is such that langle z 0,z 0 rangle 1 , then mathscr E 1 and mathscr E 2 are Hilbert C module independent if and only if langle x,z 0 rangle langle y,z 0 rangle langle x,z 0 rangle , langle y,z 0 rangle for all x in mathscr E 1 and y in mathscr E 2 . We also provide some technical examples and counterexamples to illustrate our results.


Towards Understanding the Effectiveness of Attention Mechanism. Attention Mechanism is a widely used method for improving the performance of convolutional neural networks (CNNs) on computer vision tasks. Despite its pervasiveness, we have a poor understanding of what its effectiveness stems from. It is popularly believed that its effectiveness stems from the visual attention explanation, advocating focusing on the important part of input data rather than ingesting the entire input. In this paper, we find that there is only a weak consistency between the attention weights of features and their importance. Instead, we verify the crucial role of feature map multiplication in attention mechanism and uncover a fundamental impact of feature map multiplication on the learned landscapes of CNNs with the high order non linearity brought by the feature map multiplication, it played a regularization role on CNNs, which made them learn smoother and more stable landscapes near real samples compared to vanilla CNNs. This smoothness and stability induce a more predictive and stable behavior in between real samples, and make CNNs generate better. Moreover, motivated by the proposed effectiveness of feature map multiplication, we design feature map multiplication network (FMMNet) by simply replacing the feature map addition in ResNet with feature map multiplication. FMMNet outperforms ResNet on various datasets, and this indicates that feature map multiplication plays a vital role in improving the performance even without finely designed attention mechanism in existing methods.


Automated Essay Scoring Using Transformer Models. Automated essay scoring (AES) is gaining increasing attention in the education sector as it significantly reduces the burden of manual scoring and allows ad hoc feedback for learners. Natural language processing based on machine learning has been shown to be particularly suitable for text classification and AES. While many machine learning approaches for AES still rely on a bag of words (BOW) approach, we consider a transformer based approach in this paper, compare its performance to a logistic regression model based on the BOW approach and discuss their differences. The analysis is based on 2,088 email responses to a problem solving task, that were manually labeled in terms of politeness. Both transformer models considered in that analysis outperformed without any hyper parameter tuning the regression based model. We argue that for AES tasks such as politeness classification, the transformer based approach has significant advantages, while a BOW approach suffers from not taking word order into account and reducing the words to their stem. Further, we show how such models can help increase the accuracy of human raters, and we provide a detailed instruction on how to implement transformer based models for one's own purpose.


Reiteration Theorem for mathcal R and mathcal L spaces with the same parameter. Let E, F, E 0, E 1 be rearrangement invariant spaces let a, mathrm b , mathrm b 0, mathrm b 1 be slowly varying functions and 0 theta 0, theta 1 1 . We characterize the interpolation spaces Big( overline X mathcal R theta 0, mathrm b 0,E 0, mathrm a ,F , overline X mathcal L theta 1, mathrm b 1,E 1, mathrm a ,F Big) eta, mathrm b ,E , quad 0 leq eta leq1, when the parameters theta 0 and theta 1 are equal (under appropriate conditions on mathrm b i(t) , i 0,1 ). This completes the study started in cite Do2020,FMS RL3 , which only considered the case theta 0 theta 1 . As an application we recover and generalize interpolation identities for grand and small Lebesgue spaces.


Learning Composable Behavior Embeddings for Long horizon Visual Navigation. Learning high level navigation behaviors has important implications it enables robots to build compact visual memory for repeating demonstrations and to build sparse topological maps for planning in novel environments. Existing approaches only learn discrete, short horizon behaviors. These standalone behaviors usually assume a discrete action space with simple robot dynamics, thus they cannot capture the intricacy and complexity of real world trajectories. To this end, we propose Composable Behavior Embedding (CBE), a continuous behavior representation for long horizon visual navigation. CBE is learned in an end to end fashion it effectively captures path geometry and is robust to unseen obstacles. We show that CBE can be used to performing memory efficient path following and topological mapping, saving more than an order of magnitude of memory than behavior less approaches.


Wireless Federated Learning with Limited Communication and Differential Privacy. This paper investigates the role of dimensionality reduction in efficient communication and differential privacy (DP) of the local datasets at the remote users for over the air computation (AirComp) based federated learning (FL) model. More precisely, we consider the FL setting in which clients are prompted to train a machine learning model by simultaneous channel aware and limited communications with a parameter server (PS) over a Gaussian multiple access channel (GMAC), so that transmissions sum coherently at the PS globally aware of the channel coefficients. For this setting, an algorithm is proposed based on applying federated stochastic gradient descent (FedSGD) for training the minimum of a given loss function based on the local gradients, Johnson Lindenstrauss (JL) random projection for reducing the dimension of the local updates, and artificial noise to further aid user's privacy. For this scheme, our results show that the local DP performance is mainly improved due to injecting noise of greater variance on each dimension while keeping the sensitivity of the projected vectors unchanged. This is while the convergence rate is slowed down compared to the case without dimensionality reduction. As the performance outweighs for the slower convergence, the trade off between privacy and convergence is higher but is shown to lessen in high dimensional regime yielding almost the same trade off with much less communication cost.


Behind the Scenes On the Relationship Between Developer Experience and Refactoring. Refactoring is widely recognized as one of the efficient techniques to manage technical debt and maintain a healthy software project through enforcing best design practices or coping with design defects. Previous refactoring surveys have shown that code refactoring activities are mainly executed by developers who have sufficient knowledge of the system's design and disposing of leadership roles in their development teams. However, these surveys were mainly limited to specific projects and companies. In this paper, we explore the generalizability of the previous results by analyzing 800 open source projects. We mine their refactoring activities, and we identify their corresponding contributors. Then, we associate an experience score to each contributor in order to test various hypotheses related to whether developers with higher scores tend to 1) perform a higher number of refactoring operations 2) exhibit different motivations behind their refactoring, and 3) better document their refactoring activity. We found that (1) although refactoring is not restricted to a subset of developers, those with higher contribution scores tend to perform more refactorings than others (2) while there is no correlation between experience and motivation behind refactoring, top contributed developers are found to perform a wider variety of refactoring operations, regardless of their complexity and (3) top contributed developer tend to document less their refactoring activity. Our qualitative analysis of three randomly sampled projects shows that the developers who are responsible for the majority of refactoring activities are typically in advanced positions in their development teams, demonstrating their extensive knowledge of the design of the systems they contribute to.


On the degree of the canonical map of a surface of general type. Let X be a minimal complex surface of general type such that its image via the canonical map is a surface we denote by d the degree of the canonical map. In this expository work, first of all we recall the known possibilities for the canonical image and for d when the canonical map is not birational, which are quite a few, and then we consider the question of producing concrete examples for all of them. We present the two main methods of construction of such examples and we give several instances of their application. We end the paper outlining the state of the art on this topic and raising several questions.


Perception! Immersion! Empowerment! Superpowers as Inspiration for Visualization. We explore how the lens of fictional superpowers can help characterize how visualizations empower people and provide inspiration for new visualization systems. Researchers and practitioners often tout visualizations' ability to "make the invisible visible" and to "enhance cognitive abilities." Meanwhile superhero comics and other modern fiction often depict characters with similarly fantastic abilities that allow them to see and interpret the world in ways that transcend traditional human perception. We investigate the intersection of these domains, and show how the language of superpowers can be used to characterize existing visualization systems and suggest opportunities for new and empowering ones. We introduce two frameworks The first characterizes seven underlying mechanisms that form the basis for a variety of visual superpowers portrayed in fiction. The second identifies seven ways in which visualization tools and interfaces can instill a sense of empowerment in the people who use them. Building on these observations, we illustrate a diverse set of "visualization superpowers" and highlight opportunities for the visualization community to create new systems and interactions that empower new experiences with data.


Stiff Neural Ordinary Differential Equations. Neural Ordinary Differential Equations (ODE) are a promising approach to learn dynamic models from time series data in science and engineering applications. This work aims at learning Neural ODE for stiff systems, which are usually raised from chemical kinetic modeling in chemical and biological systems. We first show the challenges of learning neural ODE in the classical stiff ODE systems of Robertson's problem and propose techniques to mitigate the challenges associated with scale separations in stiff systems. We then present successful demonstrations in stiff systems of Robertson's problem and an air pollution problem. The demonstrations show that the usage of deep networks with rectified activations, proper scaling of the network outputs as well as loss functions, and stabilized gradient calculations are the key techniques enabling the learning of stiff neural ODE. The success of learning stiff neural ODE opens up possibilities of using neural ODEs in applications with widely varying time scales, like chemical dynamics in energy conversion, environmental engineering, and the life sciences.


Interpolation and Model Checking for Nonlinear Arithmetic. We present a new model based interpolation procedure for satisfiability modulo theories (SMT). The procedure uses a new mode of interaction with the SMT solver that we call solving modulo a model. This either extends a given partial model into a full model for a set of assertions or returns an explanation (a model interpolant) when no solution exists. This mode of interaction fits well into the model constructing satisfiability (MCSAT) framework of SMT. We use it to develop an interpolation procedure for any MCSAT supported theory. In particular, this method leads to an effective interpolation procedure for nonlinear real arithmetic. We evaluate the new procedure by integrating it into a model checker and comparing it with state of art model checking tools for nonlinear arithmetic.


An approach to metric space valued Sobolev maps via weak derivatives. We give a characterization of metric space valued Sobolev maps in terms of weak derivatives. This corrects a previous result by Haj l asz and Tyson.


Composing Pick and Place Tasks By Grounding Language. Controlling robots to perform tasks via natural language is one of the most challenging topics in human robot interaction. In this work, we present a robot system that follows unconstrained language instructions to pick and place arbitrary objects and effectively resolves ambiguities through dialogues. Our approach infers objects and their relationships from input images and language expressions and can place objects in accordance with the spatial relations expressed by the user. Unlike previous approaches, we consider grounding not only for the picking but also for the placement of everyday objects from language. Specifically, by grounding objects and their spatial relations, we allow specification of complex placement instructions, e.g. "place it behind the middle red bowl". Our results obtained using a real world PR2 robot demonstrate the effectiveness of our method in understanding pick and place language instructions and sequentially composing them to solve tabletop manipulation tasks. Videos are available at http speechrobot.cs.uni freiburg.de


Improved Approximation Algorithms for Dyck Edit Distance and RNA Folding. The Dyck language, which consists of well balanced sequences of parentheses, is one of the most fundamental context free languages. The Dyck edit distance quantifies the number of edits (character insertions, deletions, and substitutions) required to make a given parenthesis sequence well balanced. RNA Folding involves a similar problem, where a closing parenthesis can match an opening parenthesis of the same type irrespective of their ordering. For example, in RNA Folding, both tt () and tt )( are valid matches, whereas the Dyck language only allows tt () as a match. Using fast matrix multiplication, it is possible to compute their exact solutions of both problems in time O(n 2.824 ) . Whereas combinatorial algorithms would be more desirable, the two problems are known to be at least as hard as Boolean matrix multiplication. In terms of fast approximation algorithms that are combinatorial in nature, both problems admit an epsilon n additive approximation in tilde O ( frac n 2 epsilon ) time. Further, there is a O( log n) factor approximation algorithm for Dyck edit distance in near linear time. In this paper, we design a constant factor approximation algorithm for Dyck edit distance that runs in O(n 1.971 ) time. Moreover, we develop a (1 epsilon) factor approximation algorithm running in tilde O ( frac n 2 epsilon ) time, which improves upon the earlier additive approximation. Finally, we design a (3 epsilon) approximation that takes tilde O ( frac nd epsilon ) time, where d ge 1 is an upper bound on the sought distance. As for RNA folding, for any s ge1 , we design a factor s approximation algorithm that runs in O(n ( frac n s ) 3) time. To the best of our knowledge, this is the first nontrivial approximation algorithm for RNA Folding that can go below the n 2 barrier. All our algorithms are combinatorial.


FS Net Fast Shape based Network for Category Level 6D Object Pose Estimation with Decoupled Rotation Mechanism. In this paper, we focus on category level 6D pose and size estimation from monocular RGB D image. Previous methods suffer from inefficient category level pose feature extraction which leads to low accuracy and inference speed. To tackle this problem, we propose a fast shape based network (FS Net) with efficient category level feature extraction for 6D pose estimation. First, we design an orientation aware autoencoder with 3D graph convolution for latent feature extraction. The learned latent feature is insensitive to point shift and object size thanks to the shift and scale invariance properties of the 3D graph convolution. Then, to efficiently decode category level rotation information from the latent feature, we propose a novel decoupled rotation mechanism that employs two decoders to complementarily access the rotation information. Meanwhile, we estimate translation and size by two residuals, which are the difference between the mean of object points and ground truth translation, and the difference between the mean size of the category and ground truth size, respectively. Finally, to increase the generalization ability of FS Net, we propose an online box cage based 3D deformation mechanism to augment the training data. Extensive experiments on two benchmark datasets show that the proposed method achieves state of the art performance in both category and instance level 6D object pose estimation. Especially in category level pose estimation, without extra synthetic data, our method outperforms existing methods by 6.3 on the NOCS REAL dataset.


Localization Based Tracking. End to end production of object tracklets from high resolution video in real time and with high accuracy remains a challenging problem due to the cost of object detection on each frame. In this work we present Localization based Tracking (LBT), an extension to any tracker that follows the tracking by detection or joint detection and tracking paradigms. Localization based Tracking focuses only on regions likely to contain objects to boost detection speed and avoid matching errors. We evaluate LBT as an extension to two example trackers (KIOU and SORT) on the UA DETRAC and MOT20 datasets. LBT extended trackers outperform all other reported algorithms in terms of PR MOTA, PR MOTP, and mostly tracked objects on the UA DETRAC benchmark, establishing a new state of the art. relative to tracking by detection with KIOU, LBT extended KIOU achieves a 25 higher frame rate and is 1.1 more accurate in terms of PR MOTA on the UA DETRAC dataset. LBT extended SORT achieves a 62 speedup and a 3.2 increase in PR MOTA on the UA DETRAC dataset. On MOT20, LBT extended KIOU has a 50 higher frame rate than tracking by detection and is 0.4 more accurate in terms of MOTA. As of submission time, our LBT extended KIOU tracker places 10th overall on the MOT20 benchmark.


Littlewood Paley Rubio de Francia inequality for multi parameter Vilenkin systems. A version of Littlewood Paley Rubio de Francia inequality for bounded multi parameter Vilenkin systems is proved for any family of disjoint sets I k I k 1 times ldots times I k D subseteq mathbb Z D such that I k d are intervals in mathbb Z and a family of functions f k with Vilenkin Fourier spectrum inside I k the following holds Bigl sum k f k Bigr L p leq C Bigl bigl( sum k f k 2 bigr) 1 2 Bigr L p , qquad 1 p leq 2, where C does not depend on the choice of rectangles I k or functions f k .This result belongs to a line of studying of (multi parameter) generalizations of Rubio de Francia inequality to locally compact abelian groups. The arguments are mainly based on the atomic theory of multi parameter martingale Hardy spaces and, as a byproduct, yield an easy to use multi parameter version of Gundy's theorem on the boundedness of operators taking martingales to measurable functions. Additionally, some extensions and corollaries of the main result are obtained, including a weaker version of the inequality for exponents 0 p leq 1 and an example of a one parameter inequality for an exotic notion of the interval.


Revisiting asymptotic stability of solitons of nonlinear Schr "odinger equations via refined profile method. In this paper, we give an alternative proof for the asymptotic stability of solitons for nonlinear Schr "odinger equations with internal modes. The novel idea is to use "refined profiles" developed by the authors for the analysis of small bound states. By this new strategy, we able to avoid the normal forms. Further, we can track the functions appearing in the Fermi Golden Rule hypothesis.


AdaSTE An Adaptive Straight Through Estimator to Train Binary Neural Networks. We propose a new algorithm for training deep neural networks (DNNs) with binary weights. In particular, we first cast the problem of training binary neural networks (BiNNs) as a bilevel optimization instance and subsequently construct flexible relaxations of this bilevel program. The resulting training method shares its algorithmic simplicity with several existing approaches to train BiNNs, in particular with the straight through gradient estimator successfully employed in BinaryConnect and subsequent methods. In fact, our proposed method can be interpreted as an adaptive variant of the original straight through estimator that conditionally (but not always) acts like a linear mapping in the backward pass of error propagation. Experimental results demonstrate that our new algorithm offers favorable performance compared to existing approaches.


Revizor A Data Driven Approach to Automate Frequent Code Changes Based on Graph Matching. Many code changes that developers make in their projects are repeated and constitute recurrent change patterns. It is of interest to collect such patterns from the version history of open source repositories and suggest the most useful of them as quick fixes. In this paper, we present Revizor a tool aimed to build custom plugins for PyCharm, a popular Python IDE. A Revizor based plugin can take change patterns and highlight potential places for their application in the developer's code editor. If the developer accepts the quick fix, the plugin automatically performs the edit. Our approach uses a graph based representation of code changes, which allows it to support complex distributed code patterns. Experienced developers have also rated the usability and the performance of such Revizor based plugin positively. The source code of the tool and test plugin prototype are available on GitHub https github.com JetBrains Research revizor. A demonstration video with a short tool description can be found on YouTube https youtu.be 5eLs14nco7E.


Boosting Deep Transfer Learning for COVID 19 Classification. COVID 19 classification using chest Computed Tomography (CT) has been found pragmatically useful by several studies. Due to the lack of annotated samples, these studies recommend transfer learning and explore the choices of pre trained models and data augmentation. However, it is still unknown if there are better strategies than vanilla transfer learning for more accurate COVID 19 classification with limited CT data. This paper provides an affirmative answer, devising a novel model' augmentation technique that allows a considerable performance boost to transfer learning for the task. Our method systematically reduces the distributional shift between the source and target domains and considers augmenting deep learning with complementary representation learning techniques. We establish the efficacy of our method with publicly available datasets and models, along with identifying contrasting observations in the previous studies.


A new parameter free partially penalized immersed finite element and the optimal convergence analysis. This paper presents a new parameter free partially penalized immersed finite element method and convergence analysis for solving second order elliptic interface problems. A lifting operator is introduced on interface edges to ensure the coercivity of the method without requiring an ad hoc stabilization parameter. The optimal approximation capabilities of the immersed finite element space is proved via a novel new approach that is much simpler than that in the literature. A new trace inequality which is necessary to prove the optimal convergence of immersed finite element methods is established on interface elements. Optimal error estimates are derived rigorously with the constant independent of the interface location relative to the mesh. The new method and analysis have also been extended to variable coefficients and three dimensional problems. Numerical examples are also provided to confirm the theoretical analysis and efficiency of the new method.


Singular limit in Hopf bifurcation for doubly diffusive convection equations II bifurcation and stability. A singular perturbation problem from the artificial compressible system to the incompressible system is considered for a doubly diffusive convection when a Hopf bifurcation from the motionless state occurs in the incompressible system. It is proved that the Hopf bifurcation also occurs in the artificial compressible system for small singular perturbation parameter, called the artificial Mach number. The time periodic solution branch of the artificial compressible system is shown to converge to the corresponding bifurcating branch of the incompressible system in the singular limit of vanishing artificial Mach number.


Impacts of the Cryosphere and Atmosphere on Observed Microseisms Generated in the Southern Ocean. The Southern Ocean (in the region 60 180 circ E) south of the Indian Ocean, Australia, and the West Pacific is noted for the frequent occurrence and severity of its storms. These storms give rise to high amplitude secondary microseisms from sources, including the deep ocean regions, and primary microseisms where the swells impinge on submarine topographic features. A better understanding of the varying microseism wavefield enables improvements to seismic imaging and development of proxy observables to complement sparse in situ wave observations and hindcast models of the global ocean wave climate. We analyze 12 26 years of seismic data from 11 seismic stations either on the East Antarctic coast or sited in the Indian Ocean, Australia, and New Zealand. The power spectral density of the seismic wavefield is calculated to explore how the time changing microseism intensity varies with (i) sea ice coverage surrounding Antarctica and (ii) the Southern Annular Mode (SAM) climate index. Variations in sea ice extent are found to be the dominant control on the microseism intensity at Antarctic stations, which exhibit a seasonal pattern phase shifted by 4 5 months compared to stations in other continents. Peaks in extremal intensity at East Antarctic stations occur in March April, with the highest peaks for secondary microseisms occurring during negative SAM events. This relationship between microseism intensity and the SAM index is opposite to that observed on the Antarctic Peninsula. This work informs the complexity of microseism amplitudes in the Southern Hemisphere and assists ongoing interdisciplinary investigations of interannual variability and long term trends.


Defining an Affine Partition Algebra. We define an affine partition algebra by generators and relations and prove a variety of basic results regarding this new algebra analogous to those of other affine diagram algebras. In particular we show that it extends the Schur Weyl duality between the symmetric group and the partition algebra. We also relate it to the affine partition category recently defined by J. Brundan and M. Vargas. Moreover, we show that this affine partition category is a full monoidal subcategory of the Heisenberg category.


Caustics of Lagrangian homotopy spheres with stably trivial Gauss map. For each positive integer n , we give a geometric description of the stably trivial elements of the group pi n U n O n . In particular, we show that all such elements admit representatives whose tangencies with respect to a fixed Lagrangian plane consist only of folds. By the h principle for the simplification of caustics, this has the following consequence if a Lagrangian distribution is stably trivial from the viewpoint of a Lagrangian homotopy sphere, then by an ambient Hamiltonian isotopy one may deform the Lagrangian homotopy sphere so that its tangencies with respect to the Lagrangian distribution are only of fold type. Thus the stable triviality of the Lagrangian distribution, which is a necessary condition for the simplification of caustics to be possible, is also sufficient. We give applications of this result to the arborealization program and to the study of nearby Lagrangian homotopy spheres.


Improving the Expressive Power of Graph Neural Network with Tinhofer Algorithm. In recent years, Graph Neural Network (GNN) has bloomly progressed for its power in processing graph based data. Most GNNs follow a message passing scheme, and their expressive power is mathematically limited by the discriminative ability of the Weisfeiler Lehman (WL) test. Following Tinhofer's research on compact graphs, we propose a variation of the message passing scheme, called the Weisfeiler Lehman Tinhofer GNN (WLT GNN), that theoretically breaks through the limitation of the WL test. In addition, we conduct comparative experiments and ablation studies on several well known datasets. The results show that the proposed methods have comparable performances and better expressive power on these datasets.


Some cases of Kudla's modularity conjecture for unitary Shimura varieties. We use the method of Bruinier Raum to show that symmetric formal Fourier Jacobi series, in the cases of norm Euclidean imaginary quadratic fields, are Hermitian modular forms. Consequently, combining a theorem of Yifeng Liu, we deduce Kudla's conjecture on the modularity of generating series of special cycles of arbitrary codimension for unitary Shimura varieties defined in these cases.


Channel wise Topology Refinement Graph Convolution for Skeleton Based Action Recognition. Graph convolutional networks (GCNs) have been widely used and achieved remarkable results in skeleton based action recognition. In GCNs, graph topology dominates feature aggregation and therefore is the key to extracting representative features. In this work, we propose a novel Channel wise Topology Refinement Graph Convolution (CTR GC) to dynamically learn different topologies and effectively aggregate joint features in different channels for skeleton based action recognition. The proposed CTR GC models channel wise topologies through learning a shared topology as a generic prior for all channels and refining it with channel specific correlations for each channel. Our refinement method introduces few extra parameters and significantly reduces the difficulty of modeling channel wise topologies. Furthermore, via reformulating graph convolutions into a unified form, we find that CTR GC relaxes strict constraints of graph convolutions, leading to stronger representation capability. Combining CTR GC with temporal modeling modules, we develop a powerful graph convolutional network named CTR GCN which notably outperforms state of the art methods on the NTU RGB D, NTU RGB D 120, and NW UCLA datasets.


The Grothendieck and Picard groups of finite rank torsion free mathfrak sl (2) modules. The classification problem for simple mathfrak sl (2) modules leads in a natural way to the study of the category of finite rank torsion free mathfrak sl (2) modules and its subcategory of rational mathfrak sl (2) modules. We prove that the rationalization functor induces an identification between the isomorphism classes of simple modules of these categories. This raises the question of what is the precise relationship between other invariants associated with them. We give a complete solution to this problem for the Grothendieck and Picard groups, obtaining along theway several new results regarding these categories that are interesting in their own right.


What are discrete valuation rings? What are Dedekind domains?. This is an extended introduction to discrete valuation rings and Dedekind domains. Some natural generalizations of Dedekind domains are also (briefly) discussed including "almost Dedekind domains", Pr "ufer domains, Krull domains, and singular integral domains of dimension 1.


On a List Variant of the Multiplicative 1 2 3 Conjecture. The 1 2 3 Conjecture asks whether almost all graphs can be (edge )labelled with 1,2,3 so that no two adjacent vertices are incident to the same sum of labels. In the last decades, several aspects of this problem have been studied in literature, including more general versions and slight variations. Notable such variations include the List 1 2 3 Conjecture variant, in which edges must be assigned labels from dedicated lists of three labels, and the Multiplicative 1 2 3 Conjecture variant, in which labels 1,2,3 must be assigned to the edges so that adjacent vertices are incident to different products of labels. Several results obtained towards these two variants led to observe some behaviours that are distant from those of the original conjecture. In this work, we consider the list version of the Multiplicative 1 2 3 Conjecture, proposing the first study dedicated to this very problem. In particular, given any graph G , we wonder about the minimum k such that G can be labelled as desired when its edges must be assigned labels from dedicated lists of size k . Exploiting a relationship between our problem and the List 1 2 3 Conjecture, we provide upper bounds on k when G belongs to particular classes of graphs. We further improve some of these bounds through dedicated arguments.


TPPI Net Towards Efficient and Practical Hyperspectral Image Classification. Hyperspectral Image(HSI) classification is the most vibrant field of research in the hyperspectral community, which aims to assign each pixel in the image to one certain category based on its spectral spatial characteristics. Recently, some spectral spatial feature based DCNNs have been proposed and demonstrated remarkable classification performance. When facing a real HSI, however, these Networks have to deal with the pixels in the image one by one. The pixel wise processing strategy is inefficient since there are numerous repeated calculations between adjacent pixels. In this paper, firstly, a brand new Network design mechanism TPPI (training based on pixel and prediction based on image) is proposed for HSI classification, which makes it possible to provide efficient and practical HSI classification with the restrictive conditions attached to the hyperspectral dataset. And then, according to the TPPI mechanism, TPPI Net is derived based on the state of the art networks for HSI classification. Experimental results show that the proposed TPPI Net can not only obtain high classification accuracy equivalent to the state of the art networks for HSI classification, but also greatly reduce the computational complexity of hyperspectral image prediction.


Brexit and bots characterizing the behaviour of automated accounts on Twitter during the UK election. Online Social Networks represent a novel opportunity for political campaigns, revolutionising the paradigm of political communication. Nevertheless, many studies uncovered the presence of d misinformation campaigns or of malicious activities by genuine or automated users, putting at severe risk the credibility of online platforms. This phenomenon is particularly evident during crucial political events, as political elections. In the present paper, we provide a comprehensive description of the structure of the networks of interactions among users and bots during the UK elections of 2019. In particular, we focus on the polarised discussion about Brexit on Twitter analysing a data set made of more than 10 million tweets posted for over a month. We found that the presence of automated accounts fostered the debate particularly in the days before the UK national elections, in which we find a steep increase of bots in the discussion in the days after the election day, their incidence returned to values similar to the ones observed few weeks before the elections. On the other hand, we found that the number of suspended users (i.e. accounts that were removed by the platform for some violation of the Twitter policy) remained constant until the election day, after which it reached significantly higher values. Remarkably, after the TV debate between Boris Johnson and Jeremy Corbyn, we observed the injection of a large number of novel bots whose behaviour is markedly different from that of pre existing ones. Finally, we explored the bots' stance, finding that their activity is spread across the whole political spectrum, although in different proportions, and we studied the different usage of hashtags by automated accounts and suspended users, thus targeting the formation of common narratives in different sides of the debate.


Componentwise linear ideals in Veronese rings. In this article, we study the componentwise linear ideals in the Veronese subrings of R K x 1, ldots,x n . If char (K) 0 , then we give a characterization for graded ideals in the c th Veronese ring R (c) to be componentwise linear. This characterization is an analogue of that over R due to Aramova, Herzog and Hibi in cite ah00 and Conca, Herzog and Hibi in cite chh04 .


Coupling from the past for exponentially ergodic one dimensional probabilistic cellular automata. We prove that, for every one dimendional exponentially ergodic probabilistic cellular automaton with positive rates, there exists a locally defined coupling from the past flow whose coalescence time has a finite exponential moment.


Design of the Single Balanced Mixer (Using HSMS 281x Diode) and Measurements. We designed the Mixer operating at 2.4 GHz for WIFI band using ADS software and fabricated using Rogers 4350B substrate. We designed the single balanced mixer using the diode (HSMS 281x model). We measured the isolation across all ports of the mixer. We measured the conversion loss of the mixer. We performed the non linear measurements, which include IM3 vs frequency. The performance metrics are compared with the data sheet values and explained if any discrepancy exists.


Bertrand's Postulate for Carmichael Numbers. Alford, Granville, and Pomerance proved that there are infinitely many Carmichael numbers. In the same paper, they ask if a statement analogous to Bertrand's postulate could be proven for Carmichael numbers. In this paper, we answer this question, proving the stronger statement that for all delta 0 and x sufficiently large in terms of delta , there exist at least e frac log x ( log log x) 2 delta Carmichael numbers between x and x frac x ( log x) frac 1 2 delta .


A Gradual Type System for Elixir. Elixir is a functional programming language with dynamic typing. We propose a gradual type system that makes it possible to perform type checking on a significant fragment of the language. An important feature of the type system is that it does not require any syntactic change to Elixir. Type information is provided by means of function signatures which are declared in terms of Elixir typespec directives. The proposed type system is based on subtyping and is backward compatible, as it allows the presence of untyped code fragments. We have implemented a prototype of the type checker in Elixir itself.


Evaluating categorical encoding methods on a real credit card fraud detection database. Correctly dealing with categorical data in a supervised learning context is still a major issue. Furthermore, though some machine learning methods embody builtin methods to deal with categorical features, it is unclear whether they bring some improvements and how do they compare with usual categorical encoding methods. In this paper, we describe several well known categorical encoding methods that are based on target statistics and weight of evidence. We apply them on a large and real credit card fraud detection database. Then, we train the encoded databases using state of the art gradient boosting methods and evaluate their performances. We show that categorical encoding methods generally bring substantial improvements with respect to the absence of encoding. The contribution of this work is twofold (1) we compare many state of the art "lite" categorical encoding methods on a large scale database and (2) we use a real credit card fraud detection database.


Semi Anchored Multi Step Gradient Descent Ascent Method for Structured Nonconvex Nonconcave Composite Minimax Problems. Minimax problems, such as generative adversarial network, adversarial training, and fair training, are widely solved by a multi step gradient descent ascent (MGDA) method in practice. However, its convergence guarantee is limited. In this paper, inspired by the primal dual hybrid gradient method, we propose a new semi anchoring (SA) technique for the MGDA method. This makes the MGDA method find a stationary point of a structured nonconvex nonconcave composite minimax problem its saddle subdifferential operator satisfies the weak Minty variational inequality condition. The resulting method, named SA MGDA, is built upon a Bregman proximal point method. We further develop its backtracking line search version, and its non Euclidean version for smooth adaptable functions. Numerical experiments, including a fair classification training, are provided.


A Mixed Initiative Visual Analytics Approach for Qualitative Causal Modeling. Modeling complex systems is a time consuming, difficult and fragmented task, often requiring the analyst to work with disparate data, a variety of models, and expert knowledge across a diverse set of domains. Applying a user centered design process, we developed a mixed initiative visual analytics approach, a subset of the Causemos platform, that allows analysts to rapidly assemble qualitative causal models of complex socio natural systems. Our approach facilitates the construction, exploration, and curation of qualitative models bringing together data across disparate domains. Referencing a recent user evaluation, we demonstrate our approach's ability to interactively enrich user mental models and accelerate qualitative model building.


ClimateGAN Raising Climate Change Awareness by Generating Images of Floods. Climate change is a major threat to humanity, and the actions required to prevent its catastrophic consequences include changes in both policy making and individual behaviour. However, taking action requires understanding the effects of climate change, even though they may seem abstract and distant. Projecting the potential consequences of extreme climate events such as flooding in familiar places can help make the abstract impacts of climate change more concrete and encourage action. As part of a larger initiative to build a website that projects extreme climate events onto user chosen photos, we present our solution to simulate photo realistic floods on authentic images. To address this complex task in the absence of suitable training data, we propose ClimateGAN, a model that leverages both simulated and real data for unsupervised domain adaptation and conditional image generation. In this paper, we describe the details of our framework, thoroughly evaluate components of our architecture and demonstrate that our model is capable of robustly generating photo realistic flooding.


Entropy Aware Model Initialization for Effective Exploration in Deep Reinforcement Learning. Encouraging exploration is a critical issue in deep reinforcement learning. We investigate the effect of initial entropy that significantly influences the exploration, especially at the earlier stage. Our main observations are as follows 1) low initial entropy increases the probability of learning failure, and 2) this initial entropy is biased towards a low value that inhibits exploration. Inspired by the investigations, we devise entropy aware model initialization, a simple yet powerful learning strategy for effective exploration. We show that the devised learning strategy significantly reduces learning failures and enhances performance, stability, and learning speed through experiments.


Applications of p harmonic transplantation for functional inequalities involving a Finsler norm. In this paper, we prove several inequalities such as Sobolev, Poincar 'e, logarithmic Sobolev, which involve a general norm with accurate information of extremals, and are valid for some symmetric functions. We use Ioku's transformation, which is a special case of p harmonic transplantation, between symmetric functions.


A Comparison of Question Rewriting Methods for Conversational Passage Retrieval. Conversational passage retrieval relies on question rewriting to modify the original question so that it no longer depends on the conversation history. Several methods for question rewriting have recently been proposed, but they were compared under different retrieval pipelines. We bridge this gap by thoroughly evaluating those question rewriting methods on the TREC CAsT 2019 and 2020 datasets under the same retrieval pipeline. We analyze the effect of different types of question rewriting methods on retrieval performance and show that by combining question rewriting methods of different types we can achieve state of the art performance on both datasets.


PixelTransformer Sample Conditioned Signal Generation. We propose a generative model that can infer a distribution for the underlying spatial signal conditioned on sparse samples e.g. plausible images given a few observed pixels. In contrast to sequential autoregressive generative models, our model allows conditioning on arbitrary samples and can answer distributional queries for any location. We empirically validate our approach across three image datasets and show that we learn to generate diverse and meaningful samples, with the distribution variance reducing given more observed pixels. We also show that our approach is applicable beyond images and can allow generating other types of spatial outputs e.g. polynomials, 3D shapes, and videos.


Toward Speeding up Mutation Analysis by Memoizing Expensive Methods. Mutation analysis has many applications, such as assessing the quality of test cases, fault localization, test input generation, security analysis, etc. Such applications involve running test suite against a large number of program mutants leading to poor scalability. Much research has been aimed at speeding up this process, focusing on reducing the number of mutants, the number of executed tests, or the execution time of the mutants. This paper presents a novel approach, named MeMu, for reducing the execution time of the mutants, by memoizing the most expensive methods in the system. Memoization is an optimization technique that allows bypassing the execution of expensive methods, when repeated inputs are detected. MeMu can be used in conjunction with existing acceleration techniques. We implemented MeMu on top of PITest, a well known JVM bytecode level mutation analysis system, and obtained, on average, an 18.15 speed up over PITest, in the execution time of the mutants for 12 real world programs. These promising results and the fact that MeMu could also be used for other applications that involve repeated execution of tests (e.g., automatic program repair and regression testing), strongly support future research for improving its efficiency.


Necessary conditions for the positivity of Littlewood Richardson and plethystic coefficients. We give necessary conditions for the positivity of Littlewood Richardson coefficients and SXP coefficients. We deduce necessary conditions for the positivity of the general plethystic coefficients. Explicitly, our Main Result states that if S lambda(V) appears as a summand in the decomposition into irreducibles of S mu(S nu(V)) then nu 's diagram is contained in lambda 's diagram.


Measuring the rationality in evacuation behavior with deep learning. The bounded rationality is a crucial component in human behaviors. It plays a key role in the typical collective behavior of evacuation, in which the heterogeneous information leads to the deviation of rational choices. In this study, we propose a deep learning framework to extract the quantitative deviation which emerges in a cellular automaton (CA) model describing the evacuation. The well trained deep convolutional neural networks (CNNs) accurately predict the rational factors from multi frame images generated by the CA model. In addition, it should be noted that the performance of this machine is robust to the incomplete images corresponding to global information loss. Moreover, this framework provides us with a playground in which the rationality is measured in evacuation and the scheme could also be generalized to other well designed virtual experiments.


Birds of a Feather Flock Together A Close Look at Cooperation Emergence via Multi Agent RL. How cooperation emerges is a long standing and interdisciplinary problem. Game theoretical studies on social dilemmas reveal that altruistic incentives are critical to the emergence of cooperation but their analyses are limited to stateless games. For more realistic scenarios, multi agent reinforcement learning has been used to study sequential social dilemmas (SSDs). Recent works show that learning to incentivize other agents can promote cooperation in SSDs. However, we find that, with these incentivizing mechanisms, the team cooperation level does not converge and regularly oscillates between cooperation and defection during learning. We show that a second order social dilemma resulting from the incentive mechanisms is the main reason for such fragile cooperation. We formally analyze the dynamics of second order social dilemmas and find that a typical tendency of humans, called homophily, provides a promising solution. We propose a novel learning framework to encourage homophilic incentives and show that it achieves stable cooperation in both SSDs of public goods and tragedy of the commons.


On Minimizing Total Discounted Cost in MDPs Subject to Reachability Constraints. We study the synthesis of a policy in a Markov decision process (MDP) following which an agent reaches a target state in the MDP while minimizing its total discounted cost. The problem combines a reachability criterion with a discounted cost criterion and naturally expresses the completion of a task with probabilistic guarantees and optimal transient performance. We first establish that an optimal policy for the considered formulation may not exist but that there always exists a near optimal stationary policy. We additionally provide a necessary and sufficient condition for the existence of an optimal policy. We then restrict our attention to stationary deterministic policies and show that the decision problem associated with the synthesis of an optimal stationary deterministic policy is NP complete. Finally, we provide an exact algorithm based on mixed integer linear programming and propose an efficient approximation algorithm based on linear programming for the synthesis of an optimal stationary deterministic policy.


An Overview of Recommender Systems and Machine Learning in Feature Modeling and Configuration. Recommender systems support decisions in various domains ranging from simple items such as books and movies to more complex items such as financial services, telecommunication equipment, and software systems. In this context, recommendations are determined, for example, on the basis of analyzing the preferences of similar users. In contrast to simple items which can be enumerated in an item catalog, complex items have to be represented on the basis of variability models (e.g., feature models) since a complete enumeration of all possible configurations is infeasible and would trigger significant performance issues. In this paper, we give an overview of a potential new line of research which is related to the application of recommender systems and machine learning techniques in feature modeling and configuration. In this context, we give examples of the application of recommender systems and machine learning and discuss future research issues.


Connes Integration Formula without singular traces. A version of Connes Integration Formula which provides concrete asymptotics of the eigenvalues is given. This radically extending the class of quantum integrable functions on compact Riemannian manifolds.


Structure preserving Sparse Identification of Nonlinear Dynamics for Data driven Modeling. Discovery of dynamical systems from data forms the foundation for data driven modeling and recently, structure preserving geometric perspectives have been shown to provide improved forecasting, stability, and physical realizability guarantees. We present here a unification of the Sparse Identification of Nonlinear Dynamics (SINDy) formalism with neural ordinary differential equations. The resulting framework allows learning of both "black box" dynamics and learning of structure preserving bracket formalisms for both reversible and irreversible dynamics. We present a suite of benchmarks demonstrating effectiveness and structure preservation, including for chaotic systems.


The tail of the length of an excursion in a trap of random size. Consider a random walk with a drift to the right on 0, ldots,k where k is random and geometrically distributed. We show that the tail P T t of the length T of an excursion from 0 decreases up to constants like t varrho for some varrho 0 but is not regularly varying. We compute the oscillations of t varrho ,P T t as t to infty explicitly.


Progressive Representative Labeling for Deep Semi Supervised Learning. Deep semi supervised learning (SSL) has experienced significant attention in recent years, to leverage a huge amount of unlabeled data to improve the performance of deep learning with limited labeled data. Pseudo labeling is a popular approach to expand the labeled dataset. However, whether there is a more effective way of labeling remains an open problem. In this paper, we propose to label only the most representative samples to expand the labeled set. Representative samples, selected by indegree of corresponding nodes on a directed k nearest neighbor (kNN) graph, lie in the k nearest neighborhood of many other samples. We design a graph neural network (GNN) labeler to label them in a progressive learning manner. Aided by the progressive GNN labeler, our deep SSL approach outperforms state of the art methods on several popular SSL benchmarks including CIFAR 10, SVHN, and ILSVRC 2012. Notably, we achieve 72.1 top 1 accuracy, surpassing the previous best result by 3.3 , on the challenging ImageNet benchmark with only 10 labeled data.


A Synergy of Institutional Incentives and Networked Structures in Evolutionary Game Dynamics of Multi agent Systems. Understanding the emergence of prosocial behaviours (e.g., cooperation and trust) among self interested agents is an important problem in many disciplines. Network structure and institutional incentives (e.g., punishing antisocial agents) are known to promote prosocial behaviours, when acting in isolation, one mechanism being present at a time. Here we study the interplay between these two mechanisms to see whether they are independent, interfering or synergetic. Using evolutionary game theory, we show that punishing antisocial agents and a regular networked structure not only promote prosocial behaviours among agents playing the trust game, but they also interplay with each other, leading to interference or synergy, depending on the game parameters. Synergy emerges on a wider range of parameters than interference does. In this domain, the combination of incentives and networked structure improves the efficiency of incentives, yielding prosocial behaviours at a lower cost than the incentive does alone. This has a significant implication in the promotion of prosocial behaviours in multi agent systems.


Long plane trees. Let mathcal P be a finite set of points in the plane in general position. For any spanning tree T on mathcal P , we denote by T the Euclidean length of T . Let T text OPT be a plane (that is, noncrossing) spanning tree of maximum length for mathcal P . It is not known whether such a tree can be found in polynomial time. Past research has focused on designing polynomial time approximation algorithms, using low diameter trees. In this work we initiate a systematic study of the interplay between the approximation factor and the diameter of the candidate trees. Specifically, we show three results. First, we construct a plane tree T text ALG with diameter at most four that satisfies T text ALG ge delta cdot T text OPT for delta 0.546 , thereby substantially improving the currently best known approximation factor. Second, we show that the longest plane tree among those with diameter at most three can be found in polynomial time. Third, for any d ge 3 we provide upper bounds on the approximation factor achieved by a longest plane tree with diameter at most d (compared to a longest general plane tree).


Physics to the rescue?. A vast body of literature addresses the complex nature of science's reproducibility crisis. In contrast with this perceived complexity, some recent papers from the discipline of physics suggests that irreproducibility does not point to a systemic crisis, but is, on the contrary, a sign that the science system works properly. These works, while acknowledging the difference between physics and other disciplines mired in the reproducibility crisis, hint that all disciplines could learn from Physics. The present work suggests that this optimistic message, when addressed to struggling disciplines, may invite complacency over other relevant dimensions of crisis, delay its solution, and get into the way of a truly joint effort from all disciplines to tackle the important social and environmental predicaments of the present age.


Share a ride problems Models and Solution Algorithms. Some of today's greatest challenges in urban environments concern individual mobility and rapid parcel delivery. Given the surge of e commerce and the ever increasing volume of goods to be delivered, we explore possible logistic solutions by proposing algorithms to add parcel transport services to ride hailing systems. Toward this end, we present and solve mixed integer linear programming (MILP) formulations of the share a ride problem and quantitatively analyze the service revenues and use of vehicle resources. We create five scenarios that represent joint transportation situations for parcels and people, and that consider different densities in request types and different requirements for vehicle resources. For one scenario, we propose an alternative MILP formulation that significantly reduces computation times. The proposed model also improves scalability by solving instances with 260 more requests than those solved with general MILP. The results show that the greatest profit margins occur when several parcels share trips with customers. In contrast, with all metrics considered, the worst results occur when parcels and people are transported in separate dedicated vehicles. The integration of parcel services in ride hailing systems also reduces vehicle waiting times when the number of parcel requests exceeds the number of ride hailing customers.


A Novel Non population based Meta heuristic Optimizer Inspired by the Philosophy of Yi Jing. Drawing inspiration from the philosophy of Yi Jing, Yin Yang pair optimization (YYPO) has been shown to achieve competitive performance in single objective optimizations. Besides, it has the advantage of low time complexity when comparing to other population based optimization. As a conceptual extension of YYPO, we proposed the novel Yi optimization (YI) algorithm as one of the best non population based optimizer. Incorporating both the harmony and reversal concept of Yi Jing, we replace the Yin Yang pair with a Yi point, in which we utilize the Levy flight to update the solution and balance both the effort of the exploration and the exploitation in the optimization process. As a conceptual prototype, we examine YI with IEEE CEC 2017 benchmark and compare its performance with a Levy flight based optimizer CV1.0, the state of the art dynamical Yin Yang pair optimization in YYPO family and a few classical optimizers. According to the experimental results, YI shows highly competitive performance while keeping the low time complexity. Hence, the results of this work have implications for enhancing meta heuristic optimizer using the philosophy of Yi Jing, which deserves research attention.


Look at the Variance! Efficient Black box Explanations with Sobol based Sensitivity Analysis. We describe a novel attribution method which is grounded in Sensitivity Analysis and uses Sobol indices. Beyond modeling the individual contributions of image regions, Sobol indices provide an efficient way to capture higher order interactions between image regions and their contributions to a neural network's prediction through the lens of variance. We describe an approach that makes the computation of these indices efficient for high dimensional problems by using perturbation masks coupled with efficient estimators to handle the high dimensionality of images. Importantly, we show that the proposed method leads to favorable scores on standard benchmarks for vision (and language models) while drastically reducing the computing time compared to other black box methods even surpassing the accuracy of state of the art white box methods which require access to internal representations. Our code is freely available https github.com fel thomas Sobol Attribution Method


Age Debt A General Framework For Minimizing Age of Information. We consider the problem of minimizing age of information in general single hop and multihop wireless networks. First, we formulate a way to convert AoI optimization problems into equivalent network stability problems. Then, we propose a heuristic low complexity approach for achieving stability that can handle general network topologies unicast, multicast and broadcast flows interference constraints link reliabilities and AoI cost functions. We provide numerical results to show that our proposed algorithms behave as well as the best known scheduling and routing schemes available in the literature for a wide variety of network settings.


Popular differences for matrix patterns. The following combinatorial conjecture arises naturally from recent ergodic theoretic work of Ackelsberg, Bergelson, and Best. Let M 1 , M 2 be k times k integer matrices, G be a finite abelian group of order N , and A subseteq G k with A ge alpha N k . If M 1 , M 2 , M 1 M 2 , and M 1 M 2 are automorphisms of G k , is it true that there exists a popular difference d in G k setminus 0 such that x in G k x, x M 1d, x M 2d, x (M 1 M 2)d in A ge ( alpha 4 o(1))N k. We show that this conjecture is false in general, but holds for G mathbb F p n with p an odd prime given the additional spectral condition that no pair of eigenvalues of M 1M 2 1 (over overline mathbb F p ) are negatives of each other. In particular, the "rotated squares" pattern does not satisfy this eigenvalue condition, and we give a construction of a set of positive density in ( mathbb F 5 n) 2 for which that pattern has no nonzero popular difference. This is in surprising contrast to three point patterns, which we handle over all compact abelian groups and which do not require an additional spectral condition.


Flood Segmentation on Sentinel 1 SAR Imagery with Semi Supervised Learning. Floods wreak havoc throughout the world, causing billions of dollars in damages, and uprooting communities, ecosystems and economies. The NASA Impact Flood Detection competition tasked participants with predicting flooded pixels after training with synthetic aperture radar (SAR) images in a supervised setting. We propose a semi supervised learning pseudo labeling scheme that derives confidence estimates from U Net ensembles, progressively improving accuracy. Concretely, we use a cyclical approach involving multiple stages (1) training an ensemble model of multiple U Net architectures with the provided high confidence hand labeled data and, generated pseudo labels or low confidence labels on the entire unlabeled test dataset, and then, (2) filter out quality generated labels and, (3) combine the generated labels with the previously available high confidence hand labeled dataset. This assimilated dataset is used for the next round of training ensemble models and the cyclical process is repeated until the performance improvement plateaus. We post process our results with Conditional Random Fields. Our approach sets a new state of the art on the Sentinel 1 dataset with 0.7654 IoU, an impressive improvement over the 0.60 IoU baseline. Our method, which we release with all the code and models, can also be used as an open science benchmark for the Sentinel 1 dataset.


Cheating Detection Pipeline for Online Interviews and Exams. Remote examination and job interviews have gained popularity and become indispensable because of both pandemics and the advantage of remote working circumstances. Most companies and academic institutions utilize these systems for their recruitment processes and also for online exams. However, one of the critical problems of the remote examination systems is conducting the exams in a reliable environment. In this work, we present a cheating analysis pipeline for online interviews and exams. The system only requires a video of the candidate, which is recorded during the exam. Then cheating detection pipeline is employed to detect another person, electronic device usage, and candidate absence status. The pipeline consists of face detection, face recognition, object detection, and face tracking algorithms. To evaluate the performance of the pipeline we collected a private video dataset. The video dataset includes both cheating activities and clean videos. Ultimately, our pipeline presents an efficient and fast guideline to detect and analyze cheating activities in an online interview and exam video.


Points2Polygons Context Based Segmentation from Weak Labels Using Adversarial Networks. In applied image segmentation tasks, the ability to provide numerous and precise labels for training is paramount to the accuracy of the model at inference time. However, this overhead is often neglected, and recently proposed segmentation architectures rely heavily on the availability and fidelity of ground truth labels to achieve state of the art accuracies. Failure to acknowledge the difficulty in creating adequate ground truths can lead to an over reliance on pre trained models or a lack of adoption in real world applications. We introduce Points2Polygons (P2P), a model which makes use of contextual metric learning techniques that directly addresses this problem. Points2Polygons performs well against existing fully supervised segmentation baselines with limited training data, despite using lightweight segmentation models (U Net with a ResNet18 backbone) and having access to only weak labels in the form of object centroids and no pre training. We demonstrate this on several different small but non trivial datasets. We show that metric learning using contextual data provides key insights for self supervised tasks in general, and allow segmentation models to easily generalize across traditionally label intensive domains in computer vision.


Conservative Offline Distributional Reinforcement Learning. Many reinforcement learning (RL) problems in practice are offline, learning purely from observational data. A key challenge is how to ensure the learned policy is safe, which requires quantifying the risk associated with different actions. In the online setting, distributional RL algorithms do so by learning the distribution over returns (i.e., cumulative rewards) instead of the expected return beyond quantifying risk, they have also been shown to learn better representations for planning. We propose Conservative Offline Distributional Actor Critic (CODAC), an offline RL algorithm suitable for both risk neutral and risk averse domains. CODAC adapts distributional RL to the offline setting by penalizing the predicted quantiles of the return for out of distribution actions. We prove that CODAC learns a conservative return distribution in particular, for finite MDPs, CODAC converges to an uniform lower bound on the quantiles of the return distribution our proof relies on a novel analysis of the distributional Bellman operator. In our experiments, on two challenging robot navigation tasks, CODAC successfully learns risk averse policies using offline data collected purely from risk neutral agents. Furthermore, CODAC is state of the art on the D4RL MuJoCo benchmark in terms of both expected and risk sensitive performance.


Vortex dynamics on a M "obius strip. We consider the dynamics of a two dimensional incompressible perfect fluid on a M "obius strip embedded in mathbb R 3 . The vorticity streamfunction formulation of the Euler equations is derived from an exterior calculus form of the momentum equation. The non orientability of the M "obius strip and the distinction between forms and pseudo forms this introduces lead to unusual properties a boundary condition is provided by the conservation of circulation along the single boundary of the strip, and there is no integral conservation for the vorticity or for any odd function thereof. A finite difference numerical implementation is used to illustrate the M "obius strip realisation of familiar phenomena translation of vortices along boundaries, shear instability, and decaying turbulence.


Interpreting connexive principles in coherence based probability logic. We present probabilistic approaches to check the validity of selected connexive principles within the setting of coherence. Connexive logics emerged from the intuition that conditionals of the form "If sim A , then A ", should not hold, since the conditional's antecedent sim A contradicts its consequent A . Our approach covers this intuition by observing that for an event A the only coherent probability assessment on the conditional event A overline A is p(A overline A ) 0 . Moreover, connexive logics aim to capture the intuition that conditionals should express some "connection" between the antecedent and the consequent or, in terms of inferences, validity should require some connection between the premise set and the conclusion. This intuition is covered by a number of principles, a selection of which we analyze in our contribution. We present two approaches to connexivity within coherence based probability logic. Specifically, we analyze connections between antecedents and consequents firstly, in terms of probabilistic constraints on conditional events (in the sense of defaults, or negated defaults) and secondly, in terms of constraints on compounds of conditionals and iterated conditionals. After developing different notions of negations and notions of validity, we analyze the following connexive principles within both approaches Aristotle's Theses, Aristotle's Second Thesis, Abelard's First Principle and selected versions of Boethius' Theses. We conclude by remarking that coherence based probability logic offers a rich language to investigate the validity of various connexive principles.


Decomposition of exterior and symmetric squares in characteristic two. Let V be a finite dimensional vector space over a field of characteristic two. As the main result of this paper, for every nilpotent element e in mathfrak sl (V) , we describe the Jordan normal form of e on the mathfrak sl (V) modules wedge 2(V) and S 2(V) . In the case where e is a regular nilpotent element, we are able to give a closed formula. We also consider the closely related problem of describing, for every unipotent element u in operatorname SL (V) , the Jordan normal form of u on wedge 2(V) and S 2(V) . A recursive formula for the Jordan block sizes of u on wedge 2(V) was given by Gow and Laffey (J. Group Theory 9 (2006), 659 672). We show that their proof can be adapted to give a similar formula for the Jordan block sizes of u on S 2(V) .


On alpha Firmly Nonexpansive Operators in r Uniformly Convex Spaces. We introduce the class of alpha firmly nonexpansive and quasi alpha firmly nonexpansive operators on r uniformly convex Banach spaces. This extends the existing notion from Hilbert spaces, where alpha firmly nonexpansive operators coincide with so called alpha averaged operators. For our more general setting, we show that alpha averaged operators form a subset of alpha firmly nonexpansive operators. We develop some basic calculus rules for (quasi) alpha firmly nonexpansive operators. In particular, we show that their compositions and convex combinations are again (quasi) alpha firmly nonexpansive. Moreover, we will see that quasi alpha firmly nonexpansive operators enjoy the asymptotic regularity property. Then, based on Browder's demiclosedness principle, we prove for r uniformly convex Banach spaces that the weak cluster points of the iterates x n 1 Tx n belong to the fixed point set text Fix T whenever the operator T is nonexpansive and quasi alpha firmly. If additionally the space has a Fr 'echet differentiable norm or satisfies Opial's property then these iterates converge weakly to some element in text Fix T . Further, the projections P text Fix T x n converge strongly to this weak limit point. Finally, we give three illustrative examples, where our theory can be applied, namely from infinite dimensional neural networks, semigroup theory, and contractive projections in L p , p in (1, infty) backslash 2 spaces on probability measure spaces.


Perpetual Free choice Petri nets are lucent proof of a theorem of van der Aalst using CP exhaustions. Van der Aalst's theorem is an important result for the analysis and synthesis of process models. The paper proves the theorem by exhausting perpetual free choice Petri nets by CP subnets. The resulting T systems are investigated by elementary methods.


Learning to Search in Task and Motion Planning with Streams. Task and motion planning problems in robotics typically combine symbolic planning over discrete task variables with motion optimization over continuous state and action variables, resulting in trajectories that satisfy the logical constraints imposed on the task variables. Symbolic planning can scale exponentially with the number of task variables, so recent works such as PDDLStream have focused on optimistic planning with an incrementally growing set of objects and facts until a feasible trajectory is found. However, this set is exhaustively and uniformly expanded in a breadth first manner, regardless of the geometric structure of the problem at hand, which makes long horizon reasoning with large numbers of objects prohibitively time consuming. To address this issue, we propose a geometrically informed symbolic planner that expands the set of objects and facts in a best first manner, prioritized by a Graph Neural Network based score that is learned from prior search computations. We evaluate our approach on a diverse set of problems and demonstrate an improved ability to plan in large or difficult scenarios. We also apply our algorithm on a 7DOF robotic arm in several block stacking manipulation tasks.


Computing and Maintaining Provenance of Query Result Probabilities in Uncertain Knowledge Graphs. Knowledge graphs (KG) that model the relationships between entities as labeled edges (or facts) in a graph are mostly constructed using a suite of automated extractors, thereby inherently leading to uncertainty in the extracted facts. Modeling the uncertainty as probabilistic confidence scores results in a probabilistic knowledge graph. Graph queries over such probabilistic KGs require answer computation along with the computation of those result probabilities, aka, probabilistic inference. We propose a system, HAPPI (How Provenance of Probabilistic Inference), to handle such query processing. Complying with the standard provenance semiring model, we propose a novel commutative semiring to symbolically compute the probability of the result of a query. These provenance polynomiallike symbolic expressions encode fine grained information about the probability computation process. We leverage this encoding to efficiently compute as well as maintain the probability of results as the underlying KG changes. Focusing on a popular class of conjunctive basic graph pattern queries on the KG, we compare the performance of HAPPI against a possible world model of computation and a knowledge compilation tool over two large datasets. We also propose an adaptive system that leverages the strengths of both HAPPI and compilation based techniques. Since existing systems for probabilistic databases mostly focus on query computation, they default to re computation when facts in the KG are updated. HAPPI, on the other hand, does not just perform probabilistic inference and maintain their provenance, but also provides a mechanism to incrementally maintain them as the KG changes. We extend this maintainability as part of our proposed adaptive system.


Isolation of the diamond graph. A graph is H free if it does not contain H as a subgraph. The diamond graph is the graph obtained from K 4 by deleting one edge. We prove that if G is a connected graph with order n geq 10 , then there exists a subset S subseteq V(G) with S leq n 5 such that the graph induced by V(G) setminus N S is diamond free, where N S is the closed neighborhood of S . Furthermore, the bound is sharp.


Unequal Opportunities in Multi hop Referral Programs. As modern social networks allow for faster and broader interactions with friends and acquaintances, online referral programs that promote sales through existing users are becoming increasingly popular. Because it is all too common that online networks reproduce historical structural bias, members of disadvantaged groups often benefit less from such referral opportunities. For instance, one hop referral programs that distribute rewards only among pairs of friends or followers may offer less rewards and opportunities to minorities in networks where it was proved that their degrees is statistically smaller. Here, we examine the fairness of general referral programs, increasingly popular forms of marketing in which an existing referrer is encouraged to initiate the recruitment of new referred users over multiple hops. While this clearly expands opportunities for rewards, it remains unclear whether it helps addressing fairness concerns, or make them worse. We show, from studying 4 real world networks and performing theoretical analysis on networks created with minority majority affiliations and homophily, that the change of bias in multi hop referral programs highly depends on the network structures and the referral strategies. Specifically, under three different constrained referral strategies which limit the number of referrals each person can share to a fixed number, we show that even with no explicit intention to discriminate and without access to sensitive attributes such as gender and race, certain referral strategies can still amplify the structural biases further when higher hops are allowed. Moreover, when there is no constraint on the number of referrals each person can distribute and when the effect of referral strategies is removed, we prove a precise condition under which the bias in 1 hop referral programs is amplified in higher hop referral programs.


Good height functions on quasi projective varieties equidistribution and applications in dynamics. In the present article, we define a notion of good height functions on quasi projective varieties V defined over number fields and prove an equidistribution theorem of small points for such height functions. Those good height functions are defined as limits of height functions associated with semi positive adelic metrization on big and nef mathbb Q line bundles on projective models of V satisfying mild assumptions. Building on a recent work of the author and Vigny as well as on a classical estimate of Call and Silverman, and inspiring from recent works of K "uhne and Yuan and Zhang, we deduce the equidistribution of generic sequence of preperiodic parameters for families of polarized endomorphisms with marked points.


An Efficient Particle Tracking Algorithm for Large Scale Parallel Pseudo Spectral Simulations of Turbulence. Particle tracking in large scale numerical simulations of turbulent flows presents one of the major bottlenecks in parallel performance and scaling efficiency. Here, we describe a particle tracking algorithm for large scale parallel pseudo spectral simulations of turbulence which scales well up to billions of tracer particles on modern high performance computing architectures. We summarize the standard parallel methods used to solve the fluid equations in our hybrid MPI OpenMP implementation. As the main focus, we describe the implementation of the particle tracking algorithm and document its computational performance. To address the extensive inter process communication required by particle tracking, we introduce a task based approach to overlap point to point communications with computations, thereby enabling improved resource utilization. We characterize the computational cost as a function of the number of particles tracked and compare it with the flow field computation, showing that the cost of particle tracking is very small for typical applications.


On the Glasner property for matrices with polynomial entries. We obtain a new bound in the uniform version of the Glasner property for matrices with polynomial entries, improving that of K. Bulinski and A. Fish (2021). This improvement is based on a more careful examination of complete rational exponential sums with polynomials and can perhaps be used in other questions of the similar spirit.


Optimal queueing based rebalancing for one way electric carsharing systems with stochastic demand. Viability of electric vehicle car sharing operations depends on rebalancing algorithms. Earlier methods in the literature suggest a trend toward Markovian stochastic demand with server relocation with queueing constraints. We propose a new model formulation based on a node charge graph structure that extends the relocation model to include transshipment relocation flows. Computational tests with up to 1000 node (and 4000 node charges) suggest promising avenues for further study.


A posteriori learning of quasi geostrophic turbulence parametrization an experiment on integration steps. Modeling the subgrid scale dynamics of reduced models is a long standing open problem that finds application in ocean, atmosphere and climate predictions where direct numerical simulation (DNS) is impossible. While neural networks (NNs) have already been applied to a range of three dimensional flows with success, two dimensional flows are more challenging because of the backscatter of energy from small to large scales. We show that learning a model jointly with the dynamical solver and a meaningful textit a posteriori based loss function lead to stable and realistic simulations when applied to quasi geostrophic turbulence.


A global isochronous center is linear. Let X be a polynomial vector field in mathbb R 2 which, after one point compactification of the plane, has a punctured neighbourhood dot U of the point at infinity which is foliated by closed orbits of X . If the period function of X in dot U is bounded from below by a positive constant, X is necessarily linear, hence conjugated, up to a nonzero constant factor, to y frac partial partial x x frac partial partial y . This result answers to a question posed by J. Llibre , proving e.g. that a global isochronous center is linear.


Model categories and pro p Iwahori Hecke modules. Let G denote a possibly discrete topological group admitting an open subgroup I which is pro p . If H denotes the corresponding Hecke algebra over a field k of characteristic p then we study the adjunction between H modules and k linear smooth G representations in terms of various model structures. If H is a Gorenstein ring we single out a full subcategory of smooth G representations which is equivalent to the category of all Gorenstein projective H modules via the functor of I invariants. This applies to groups of rational points of split connected reductive groups over finite and over non archimedean local fields, thus generalizing a theorem of Cabanes. Moreover, we show that the Gorenstein projective model structure on the category of H modules admits a right transfer. On the homotopy level the right derived functor of I invariants then admits a right inverse and becomes an equivalence when restricted to a suitable subcategory.


A Deep Deterministic Policy Gradient based Strategy for Stocks Portfolio Management. With the improvement of computer performance and the development of GPU accelerated technology, trading with machine learning algorithms has attracted the attention of many researchers and practitioners. In this research, we propose a novel portfolio management strategy based on the framework of Deep Deterministic Policy Gradient, a policy based reinforcement learning framework, and compare its performance to that of other trading strategies. In our framework, two Long Short Term Memory neural networks and two fully connected neural networks are constructed. We also investigate the performance of our strategy with and without transaction costs. Experimentally, we choose eight US stocks consisting of four low volatility stocks and four high volatility stocks. We compare the compound annual return rate of our strategy against seven other strategies, e.g., Uniform Buy and Hold, Exponential Gradient and Universal Portfolios. In our case, the compound annual return rate is 14.12 , outperforming all other strategies. Furthermore, in terms of Sharpe Ratio (0.5988), our strategy is nearly 33 higher than that of the second best performing strategy.


Subnetwork Constraints for Tighter Upper Bounds and Exact Solution of the Clique Partitioning Problem. We consider a variant of the clustering problem for a complete weighted graph. The aim is to partition the nodes into clusters maximizing the sum of the edge weights within the clusters. This problem is known as the clique partitioning problem, being NP hard in the general case of having edge weights of different signs. We propose a new method of estimating an upper bound of the objective function that we combine with the classical branch and bound technique to find the exact solution. We evaluate our approach on a broad range of random graphs and real world networks. The proposed approach provided tighter upper bounds and achieved significant convergence speed improvements compared to known alternative methods.


On Extending Amdahl's law to Learn Computer Performance. The problem of learning parallel computer performance is investigated in the context of multicore processors. Given a fixed workload, the effect of varying system configuration on performance is sought. Conventionally, the performance speedup due to a single resource enhancement is formulated using Amdahl's law. However, in case of multiple configurable resources the conventional formulation results in several disconnected speedup equations that cannot be combined together to determine the overall speedup. To solve this problem, we propose to (1) extend Amdahl's law to accommodate multiple configurable resources into the overall speedup equation, and (2) transform the speedup equation into a multivariable regression problem suitable for machine learning. Using experimental data from two benchmarks (SPECCPU 2017 and PCMark 10) and four hardware platforms (Intel Xeon 8180M, AMD EPYC 7702P, Intel CoffeeLake 8700K, and AMD Ryzen 3900X), analytical models are developed and cross validated. Findings indicate that in most cases, the models result in an average cross validated accuracy higher than 95 , thereby validating the proposed extension of Amdahl's law. The proposed methodology enables rapid generation of intelligent analytical models to support future industrial development, optimization, and simulation needs.


Visualising Argumentation Graphs with Graph Embeddings and t SNE. This paper applies t SNE, a visualisation technique familiar from Deep Neural Network research to argumentation graphs by applying it to the output of graph embeddings generated using several different methods. It shows that such a visualisation approach can work for argumentation and show interesting structural properties of argumentation graphs, opening up paths for further research in the area.


Can Graph Neural Networks Learn to Solve MaxSAT Problem?. With the rapid development of deep learning techniques, various recent work has tried to apply graph neural networks (GNNs) to solve NP hard problems such as Boolean Satisfiability (SAT), which shows the potential in bridging the gap between machine learning and symbolic reasoning. However, the quality of solutions predicted by GNNs has not been well investigated in the literature. In this paper, we study the capability of GNNs in learning to solve Maximum Satisfiability (MaxSAT) problem, both from theoretical and practical perspectives. We build two kinds of GNN models to learn the solution of MaxSAT instances from benchmarks, and show that GNNs have attractive potential to solve MaxSAT problem through experimental evaluation. We also present a theoretical explanation of the effect that GNNs can learn to solve MaxSAT problem to some extent for the first time, based on the algorithmic alignment theory.


Recent developments of the Uniform Mordell Lang Conjecture. This expository survey is based on my online talk at the ICCM 2020. It aims to sketch key steps of the recent proof of the uniform Mordell Lang conjecture for curves embedded into Jacobians (a question of Mazur). The full version of this conjecture is proved by combining Dimitrov Gao Habegger (https annals.math.princeton.edu articles 17715) and K " u hne (arXiv 2101.10272). We include in this survey a detailed proof on how to combine these two results, which was implicitly done in another short paper of Dimitrov Gao Habegger (arXiv 2009.08505) but not explicitly written in existing literature. At the end of the survey we state some future aspects.


Heat kernel estimates for anisotropic symmetric jump processes. We show two sided bounds of heat kernel for anisotropic non singular symmetric pure jump Markov process whose jump kernel J(x,y) is comparable to frac bf 1 mathcal V (x y) x y d alpha , where mathcal V is a union of symmetric cones, 0 alpha 2 and x,y in mathbb R d .