Error based or target based? A unifying framework for learning in recurrent spiking networks. Learning in biological or artificial networks means changing the laws governing the network dynamics in order to better behave in a specific situation. In the field of supervised learning, two complementary approaches stand out error based and target based learning. However, there exists no consensus on which is better suited for which task, and what is the most biologically plausible. Here we propose a comprehensive theoretical framework that includes these two frameworks as special cases. This novel theoretical formulation offers major insights into the differences between the two approaches. In particular, we show how target based naturally emerges from error based when the number of constraints on the target dynamics, and as a consequence on the internal network dynamics, is comparable to the degrees of freedom of the network. Moreover, given the experimental evidences on the relevance that spikes have in biological networks, we investigate the role of coding with specific patterns of spikes by introducing a parameter that defines the tolerance to precise spike timing during learning. Our approach naturally lends itself to Imitation Learning (and Behavioral Cloning in particular) and we apply it to solve relevant closed loop tasks such as the button and food task, and the 2D Bipedal Walker. We show that a high dimensionality feedback structure is extremely important when it is necessary to solve a task that requires retaining memory for a long time (button and food). On the other hand, we find that coding with specific patterns of spikes enables optimal performances in a motor task (the 2D Bipedal Walker). Finally, we show that our theoretical formulation suggests protocols to deduce the structure of learning feedback in biological networks.


An Effective Pixel Wise Approach for Skin Colour Segmentation Using Pixel Neighbourhood Technique. This paper presents a novel technique for skin colour segmentation that overcomes the limitations faced by existing techniques such as Colour Range Thresholding. Skin colour segmentation is affected by the varied skin colours and surrounding lighting conditions, leading to poorskin segmentation for many techniques. We propose a new two stage Pixel Neighbourhood technique that classifies any pixel as skin or non skin based on its neighbourhood pixels. The first step calculates the probability of each pixel being skin by passing HSV values of the pixel to a Deep Neural Network model. In the next step, it calculates the likeliness of pixel being skin using these probabilities of neighbouring pixels. This technique performs skin colour segmentation better than the existing techniques.


The cityseer Python package for pedestrian scale network based urban analysis. cityseer api is a Python package consisting of computational tools for fine grained street network and land use analysis, helpful in assessing the morphological precursors to vibrant neighbourhoods. It is underpinned by network based methods developed from the ground up for localised urban analysis at the pedestrian scale to provide contextually specific metrics for any given street front location. cityseer api computes a variety of node or segment based network centrality methods, land use accessibility and mixed use measures, and statistical aggregations. Aggregations are computed dynamically directly over the street network while taking the direction of approach into account and can optionally incorporate spatial impedances and network decomposition to accentuate spatial precision. The use of Python facilitates compatibility with popular computational tools for network manipulation (NetworkX), geospatial topology (shapely), and the numpy stack of scientific packages. The provision of graph cleaning tools aids the incorporation of Open Street Map derived network topologies. Underlying loop intensive algorithms are implemented in Numba JIT compiled code so that the methods scale efficiently to larger networks. Online documentation is available from https cityseer.benchmarkurbanism.com, and the Github repository is available at https github.com benchmark urbanism cityseer api.


Counting Centralizers of a Finite Group with an Application in Constructing the Commuting Conjugacy Class Graph. The set of all centralizers of elements in a finite group G is denoted by Cent(G) and G is called n centralizer if Cent(G) n . In this paper, the structure of centralizers in a non abelian finite group G with this property that frac G Z(G) cong Z p 2 rtimes Z p 2 is obtained. As a consequence, it is proved that such a group has exactly (p 1) 2 1 element centralizers and the structure of the commuting conjugacy class graph of G is completely determined.


High performance, compact optical standard. We describe a high performance, compact optical frequency standard based on a microfabricated Rb vapor cell and a low noise, external cavity diode laser operating on the Rb two photon transition at 778 nm. The optical standard achieves an instability of 1.8x10 13 sqrt tau for times less than 100 s and a flicker noise floor of 1x10 14 out to 6000 s. At long integration times, the instability is limited by variations in optical probe power and the AC Stark shift. The retrace was measured to 5.7x10 13 after 30 hours of dormancy. Such a simple, yet high performance optical standard could be suitable as an accurate realization of the SI meter or, if coupled with an optical frequency comb, as a compact atomic clock comparable to a hydrogen maser.


On link deletion and point deletion in games on graphs. We discuss link and point deletion operators on graph games and provide a comparative logic algorithmic study of the same. In particular, we focus on a popular notion of invariance in transition systems, namely, bisimulation, between the respective games on graphs. We present both logical and algorithmic analyses of the concepts so as to provide a more formal analysis of the natural connection between these two operators.


More about continuous Gabor frames on locally compact abelian groups. For a second countable locally compact abelian (LCA) group G , we study some necessary and sufficient conditions to generate continuous Gabor frames for L 2 (G) . To this end, we reformulate the generalized Zak transform proposed by Grochenig in the case of integer oversampled lattices, however our formulation rely on the assumption that both translation and modulation groups are only closed subgroups. Moreover, we discuss the possibility of such generalization and apply several examples to demonestrate the necessity of standing conditions in the results. Finally, by using the generalized Zak transform and fiberization technique, we obtain some characterization of continuous Gabor frames for L 2 (G) in term of a family of frames in l 2 ( widehat H perp ) for a closed co compact subgroup H of G .


Tolerance in Model Driven Engineering A Systematic Literature Review with Model Driven Tool Support. Managing models in a consistent manner is an important task in the field of Model Driven Engineering (MDE). Although restoring and maintaining consistency is desired in general, recent work has pointed out that always strictly enforcing consistency at any point of time is often not feasible in real world scenarios, and sometimes even contrary to what a user expects from a trustworthy MDE tool. The challenge of tolerating inconsistencies has been discussed from different viewpoints within and outside the modelling community, but there exists no structured overview of existing and current work in this regard. In this paper, we provide such an overview to help join forces tackling the unresolved problems of tolerating inconsistencies in MDE. We follow the standard process of a Systematic Literature Review (SLR) to point out what tolerance means, how it relates to uncertainty, which examples for tolerant software systems have already been discussed, and which benefits and drawbacks tolerating inconsistencies entails. Furthermore, we propose a tool chain that helps conducting SLRs in computer science and also eases the reproduction of results. Relevant meta data of the collected sources is uniformly described in a textual modelling language and exported to the graph database Neo4j to query aggregated information.


A Quantitative Helly type Theorem Containment in a Homothet. We introduce a new variant of quantitative Helly type theorems the minimal emph "homothetic distance" of the intersection of a family of convex sets to the intersection of a subfamily of a fixed size. As an application, we establish the following quantitative Helly type result for the emph diameter . If K is the intersection of finitely many convex bodies in mathbb R d , then one can select 2d of these bodies whose intersection is of diameter at most (2d) 3 mathrm diam (K) . The best previously known estimate, due to Brazitikos, is c d 11 2 . Moreover, we confirm that the multiplicative factor c d 1 2 conjectured by B 'ar 'any, Katchalski and Pach cannot be improved.


On The Faithfulness of the extension of Lawrence Krammer representation of the group of conjugating automorphisms C 3. Let C n be the group of conjugating automorphisms. We study the representation rho of C n , an extension of Lawrence Krammer representation of the braid group B n , defined by Valerij G. Bardakov. As Bardakov proved that the representation rho is unfaithful for n geq 5 , the cases n 3,4 remain open. In our work, we make attempts towards the faithfulness of rho in the case n 3 .


SoK Decentralized Exchanges (DEX) with Automated Market Maker (AMM) Protocols. As an integral part of the decentralized finance (DeFi) ecosystem, decentralized exchanges (DEX) with automated market maker (AMM) protocols have gained massive traction with the recently revived interest in blockchain and distributed ledger technology (DLT) in general. Instead of matching the buy and sell sides, AMMs employ a peer to pool method and determine asset price algorithmically through a so called conservation function. To facilitate the improvement and development of AMM based DEX, we create the first systematization of knowledge in this area. We first establish a general AMM framework describing the economics and formalizing the system's state space representation. We then employ our framework to systematically compare the top AMM protocols' mechanics, illustrating their conservation functions, as well as slippage and divergence loss functions. We further discuss security and privacy concerns, how they are enabled by AMM based DEX's inherent properties, and explore mitigating solutions. Finally, we conduct a comprehensive literature review on related work covering both DeFi and conventional market microstructure.


Enumeration of conjugacy classes in affine groups. We study the conjugacy classes of the classical affine groups. We derive generating functions for the number of classes analogous to formulas of Wall and the authors for the classical groups. We use these to get good upper bounds for the number of classes. These naturally come up as difficult cases in the study of the non coprime k(GV) problem of Brauer.


CALDA Improving Multi Source Time Series Domain Adaptation with Contrastive Adversarial Learning. Unsupervised domain adaptation (UDA) provides a strategy for improving machine learning performance in data rich (target) domains where ground truth labels are inaccessible but can be found in related (source) domains. In cases where meta domain information such as label distributions is available, weak supervision can further boost performance. We propose a novel framework, CALDA, to tackle these two problems. CALDA synergistically combines the principles of contrastive learning and adversarial learning to robustly support multi source UDA (MS UDA) for time series data. Similar to prior methods, CALDA utilizes adversarial learning to align source and target feature representations. Unlike prior approaches, CALDA additionally leverages cross source label information across domains. CALDA pulls examples with the same label close to each other, while pushing apart examples with different labels, reshaping the space through contrastive learning. Unlike prior contrastive adaptation methods, CALDA requires neither data augmentation nor pseudo labeling, which may be more challenging for time series. We empirically validate our proposed approach. Based on results from human activity recognition, electromyography, and synthetic datasets, we find utilizing cross source information improves performance over prior time series and contrastive methods. Weak supervision further improves performance, even in the presence of noise, allowing CALDA to offer generalizable strategies for MS UDA. Code is available at https github.com floft calda


Dubhe Towards Data Unbiasedness with Homomorphic Encryption in Federated Learning Client Selection. Federated learning (FL) is a distributed machine learning paradigm that allows clients to collaboratively train a model over their own local data. FL promises the privacy of clients and its security can be strengthened by cryptographic methods such as additively homomorphic encryption (HE). However, the efficiency of FL could seriously suffer from the statistical heterogeneity in both the data distribution discrepancy among clients and the global distribution skewness. We mathematically demonstrate the cause of performance degradation in FL and examine the performance of FL over various datasets. To tackle the statistical heterogeneity problem, we propose a pluggable system level client selection method named Dubhe, which allows clients to proactively participate in training, meanwhile preserving their privacy with the assistance of HE. Experimental results show that Dubhe is comparable with the optimal greedy method on the classification accuracy, with negligible encryption and communication overhead.


Transformer Meets Tracker Exploiting Temporal Context for Robust Visual Tracking. In video object tracking, there exist rich temporal contexts among successive frames, which have been largely overlooked in existing trackers. In this work, we bridge the individual video frames and explore the temporal contexts across them via a transformer architecture for robust object tracking. Different from classic usage of the transformer in natural language processing tasks, we separate its encoder and decoder into two parallel branches and carefully design them within the Siamese like tracking pipelines. The transformer encoder promotes the target templates via attention based feature reinforcement, which benefits the high quality tracking model generation. The transformer decoder propagates the tracking cues from previous templates to the current frame, which facilitates the object searching process. Our transformer assisted tracking framework is neat and trained in an end to end manner. With the proposed transformer, a simple Siamese matching approach is able to outperform the current top performing trackers. By combining our transformer with the recent discriminative tracking pipeline, our method sets several new state of the art records on prevalent tracking benchmarks.


Neural Predicting Higher order Patterns in Temporal Networks. Dynamic systems that consist of a set of interacting elements can be abstracted as temporal networks. Recently, higher order patterns that involve multiple interacting nodes have been found crucial to indicate domain specific laws of different temporal networks. This posts us the challenge of designing more sophisticated hypergraph models for these higher order patterns and the associated new learning algorithms. Here, we propose the first model, named HIT, for full spectrum higher order pattern prediction in temporal hypergraphs. Particularly, we focus on predicting three types of common but important interaction patterns involving three interacting elements in temporal networks, which could be extended to even higher order patterns. HIT extracts the structural representation of a node triplet of interest on the temporal hypergraph and uses it to tell what type of, when, and why the interaction expansion could happen in this triplet. HIT could achieve significant improvement (averaged 20 AUC gain to identify the interaction type, uniformly more accurate time estimation) compared to both heuristic and other neural network based baselines on 5 real world large temporal hypergraphs. Moreover, HIT provides a certain degree of interpretability by identifying the most discriminatory structural features on the temporal hypergraphs for predicting different higher order patterns.


Adaptive Computing in Robotics, Leveraging ROS 2 to Enable Software Defined Hardware for FPGAs. Traditional software development in robotics is about programming functionality in the CPU of a given robot with a pre defined architecture and constraints. With adaptive computing, instead, building a robotic behavior is about programming an architecture. By leveraging adaptive computing, roboticists can adapt one or more of the properties of its computing systems (e.g. its determinism, power consumption, security posture, or throughput) at run time. Roboticists are not, however, hardware engineers, and embedded expertise is scarce among them. This white paper adopts a ROS 2 roboticist centric view for adaptive computing and proposes an architecture to include FPGAs as a first class participant of the ROS 2 ecosystem. The architecture proposed is platform and technology agnostic, and is easily portable. The core components of the architecture are disclosed under an Apache 2.0 license, paving the way for roboticists to leverage adaptive computing and create software defined hardware.


Automatic Clustering in Hyrise. Physical data layout is an important performance factor for modern databases. Clustering, i.e., storing similar values in proximity, can lead to performance gains in several ways. We present an automated model to determine beneficial clustering columns and a clustering algorithm for the column oriented, memory resident database Hyrise. To automatically select clustering columns, the model analyzes the database's workload and provides estimates by how much certain clustering columns would impact the workload's latency. We evaluate the precision of the model's estimates, as well as the overall quality of its clustering suggestions. To apply a determined clustering configuration, we developed an online clustering algorithm. The clustering algorithm supports an arbitrary number of clustering dimensions. We show that the algorithm is robust against concurrently running data modifying queries. We obtain a 5 latency reduction for the TPC H benchmark when clustering the lineitem table and a 4 latency reduction for the TPC DS benchmark when clustering the store sales table.


Evaluation of Time Series Forecasting Models for Estimation of PM2.5 Levels in Air. Air contamination in urban areas has risen consistently over the past few years. Due to expanding industrialization and increasing concentration of toxic gases in the climate, the air is getting more poisonous step by step at an alarming rate. Since the arrival of the Coronavirus pandemic, it is getting more critical to lessen air contamination to reduce its impact. The specialists and environmentalists are making a valiant effort to gauge air contamination levels. However, its genuinely unpredictable to mimic subatomic communication in the air, which brings about off base outcomes. There has been an ascent in using machine learning and deep learning models to foresee the results on time series data. This study adopts ARIMA, FBProphet, and deep learning models such as LSTM, 1D CNN, to estimate the concentration of PM2.5 in the environment. Our predicted results convey that all adopted methods give comparative outcomes in terms of average root mean squared error. However, the LSTM outperforms all other models with reference to mean absolute percentage error.


Constraining Linear chain CRFs to Regular Languages. A major challenge in structured prediction is to represent the interdependencies within output structures. When outputs are structured as sequences, linear chain conditional random fields (CRFs) are a widely used model class which can learn textit local dependencies in the output. However, the CRF's Markov assumption makes it impossible for CRFs to represent distributions with textit nonlocal dependencies, and standard CRFs are unable to respect nonlocal constraints of the data (such as global arity constraints on output labels). We present a generalization of CRFs that can enforce a broad class of constraints, including nonlocal ones, by specifying the space of possible output structures as a regular language mathcal L . The resulting regular constrained CRF (RegCCRF) has the same formal properties as a standard CRF, but assigns zero probability to all label sequences not in mathcal L . Notably, RegCCRFs can incorporate their constraints during training, while related models only enforce constraints during decoding. We prove that constrained training is never worse than constrained decoding, and show empirically that it can be substantially better in practice. Additionally, we demonstrate a practical benefit on downstream tasks by incorporating a RegCCRF into a deep neural model for semantic role labeling, exceeding state of the art results on a standard dataset.


SRF Net Selective Receptive Field Network for Anchor Free Temporal Action Detection. Temporal action detection (TAD) is a challenging task which aims to temporally localize and recognize the human action in untrimmed videos. Current mainstream one stage TAD approaches localize and classify action proposals relying on pre defined anchors, where the location and scale for action instances are set by designers. Obviously, such an anchor based TAD method limits its generalization capability and will lead to performance degradation when videos contain rich action variation. In this study, we explore to remove the requirement of pre defined anchors for TAD methods. A novel TAD model termed as Selective Receptive Field Network (SRF Net) is developed, in which the location offsets and classification scores at each temporal location can be directly estimated in the feature map and SRF Net is trained in an end to end manner. Innovatively, a building block called Selective Receptive Field Convolution (SRFC) is dedicatedly designed which is able to adaptively adjust its receptive field size according to multiple scales of input information at each temporal location in the feature map. Extensive experiments are conducted on the THUMOS14 dataset, and superior results are reported comparing to state of the art TAD approaches.


Control Lyapunov Functions for Compliant Hybrid Zero Dynamic Walking. The ability to realize nonlinear controllers with formal guarantees on dynamic robotic systems has the potential to enable more complex robotic behaviors yet, realizing these controllers is often practically challenging. To address this challenge, this paper presents the end to end realization of dynamic bipedal locomotion on an underactuated bipedal robot via hybrid zero dynamics and control Lyapunov functions. A compliant model of Cassie is represented as a hybrid system to set the stage for a trajectory optimization framework. With the goal of achieving a variety of walking speeds in all directions, a library of compliant walking motions is compiled and then parameterized for efficient use within real time controllers. Control Lyapunov functions, which have strong theoretic guarantees, are synthesized to leverage the gait library and coupled with inverse dynamics to obtain optimization based controllers framed as quadratic programs. It is proven that this controller provably achieves stable locomotion this is coupled with a theoretic analysis demonstrating useful properties of the controller for tuning and implementation. The proposed theoretic framework is practically demonstrated on the Cassie robot, wherein 3D walking is achieved through the use of optimization based torque control. The experiments highlight robotic walking at different speeds and terrains, illustrating the end to end realization of theoretically justified nonlinear controllers on dynamic underactuated robotic systems.


On approximating shortest paths in weighted triangular tessellations. We study the quality of weighted shortest paths when a continuous 2 dimensional space is discretized by a weighted triangular tessellation. In order to evaluate how well the tessellation approximates the 2 dimensional space, we study three types of shortest paths a weighted shortest path mathit SP w (s,t) , which is a shortest path from s to t in the space a weighted shortest vertex path mathit SVP w (s,t) , which is a shortest path where the vertices of the path are vertices of the tessellation and a weighted shortest grid path mathit SGP w (s,t) , which is a shortest path whose edges are edges of the tessellation. The ratios frac lVert mathit SGP w (s,t) rVert lVert mathit SP w (s,t) rVert , frac lVert mathit SVP w (s,t) rVert lVert mathit SP w (s,t) rVert , frac lVert mathit SGP w (s,t) rVert lVert mathit SVP w (s,t) rVert provide estimates on the quality of the approximation. Given any arbitrary weight assignment to the faces of a triangular tessellation, we prove upper and lower bounds on the estimates that are independent of the weight assignment. Our main result is that frac lVert mathit SGP w (s,t) rVert lVert mathit SP w (s,t) rVert frac 2 sqrt 3 approx 1.15 in the worst case, and this is tight.


A Survey on End User Robot Programming. As robots interact with a broader range of end users, end user robot programming has helped democratize robot programming by empowering end users who may not have experience in robot programming to customize robots to meet their individual contextual needs. This article surveys work on end user robot programming, with a focus on end user program specification. It describes the primary domains, programming phases, and design choices represented by the end user robot programming literature. The survey concludes by highlighting open directions for further investigation to enhance and widen the reach of end user robot programming systems.


External Factors that Affect the Photoplethysmography Waveforms. Photoplethysmography (PPG) is a simple and inexpensive technology used in many smart devices to monitor cardiovascular health. The PPG sensors use LED lights to penetrate into the bloodstream to detect the different blood volume changes in the tissue through skin contact by sensing the amount of light that hits the sensor. Typically the data is displayed on a graph and it forms the pulse waveform. The information from the produced pulse waveform can be useful in calculating measurements that help monitor cardiovascular health, such as blood pressure. With many more people beginning to monitor their health status on their smart devices, it is extremely important that the PPG signal is accurate. Designing a simple experiment with standard lab equipment and commercial sensors, we wanted to find how external factors influence the results. In this study, it was found that external factors, touch force and temperature, can have a large impact on the resulting waveform so the effects of those factors need to be considered in order for the information to become more reliable.


Optimal Linear Combination of Classifiers. The question of whether to use one classifier or a combination of classifiers is a central topic in Machine Learning. We propose here a method for finding an optimal linear combination of classifiers derived from a bias variance framework for the classification task.


Compact bilinear operators on asymmetric normed spaces. The paper is concerned with compact bilinear operators on asymmetric normed spaces. The study of multilinear operators on asymmetric normed spaces was initiated by Latreche and Dahia, Colloq. Math. (2020). We go further in this direction and prove a Schauder type theorem on the compactness of the adjoint of a compact bilinear operator and study the ideal properties of spaces of compact bilinear operators. These extend some results of Ramanujan and Schock, Linear and Multilinear Algebra (1985), and Ruch, ibid. (1989), on compact bilinear operators on Banach spaces. On the space of bilinear forms one introduces the analog of the weak topology, called the w 2 topology, and one proves an Alaoglu Bourbaki type theorem the w 2 compactness of the closed unit ball.


Tool as Embodiment for Recursive Manipulation. Humans and many animals exhibit a robust capability to manipulate diverse objects, often directly with their bodies and sometimes indirectly with tools. Such flexibility is likely enabled by the fundamental consistency in underlying physics of object manipulation such as contacts and force closures. Inspired by viewing tools as extensions of our bodies, we present Tool As Embodiment (TAE), a parameterization for tool based manipulation policies that treat hand object and tool object interactions in the same representation space. The result is a single policy that can be applied recursively on robots to use end effectors to manipulate objects, and use objects as tools, i.e. new end effectors, to manipulate other objects. By sharing experiences across different embodiments for grasping or pushing, our policy exhibits higher performance than if separate policies were trained. Our framework could utilize all experiences from different resolutions of tool enabled embodiments to a single generic policy for each manipulation skill. Videos at https sites.google.com view recursivemanipulation


An Interacting Neuronal Network with Inhibition theoretical analysis and perfect simulation. We study a purely inhibitory neural network model where neurons are represented by their state of inhibition. The study we present here is partially based on the work of Cottrell cite Cot and Fricker et al. cite FRST . The spiking rate of a neuron depends only on its state of inhibition. When a neuron spikes, its state is replaced by a random new state, independently of anything else and the inhibition state of the other neurons increase by a positive value. Using the Perron Frobenius theorem, we show the existence of a Lyapunov function for the process. Furthermore, we prove a local Doeblin condition which implies the existence of an invariant measure for the process. Finally, we extend our model to the case where the neurons are indexed by mathbb Z . We construct a perfect simulation algorithm to show the recurrence of the process under certain conditions. To do this, we rely on the classical contour technique used in the study of contact processes, and assuming that the spiking rate lies on the interval beta , beta , we show that there is a critical threshold for the ratio delta frac beta beta beta over which the process is ergodic. textbf Keywords spiking rate, interacting neurons, perfect simulation algorithm, classical contour technique.


Evidence based Verification for Real World Information Needs. Claim verification is the task of predicting the veracity of written statements against evidence. Previous large scale datasets model the task as classification, ignoring the need to retrieve evidence, or are constructed for research purposes, and may not be representative of real world needs. In this paper, we introduce a novel claim verification dataset with instances derived from search engine queries, yielding 10,987 claims annotated with evidence that represent real world information needs. For each claim, we annotate evidence from full Wikipedia articles with both section and sentence level granularity. Our annotation allows comparison between two complementary approaches to verification stance classification, and evidence extraction followed by entailment recognition. In our comprehensive evaluation, we find no significant difference in accuracy between these two approaches. This enables systems to use evidence extraction to summarize a rationale for an end user while maintaining the accuracy when predicting a claim's veracity. With challenging claims and evidence documents containing hundreds of sentences, our dataset presents interesting challenges that are not captured in previous work evidenced through transfer learning experiments. We release code and data to support further research on this task.


Back in Black A Comparative Evaluation of Recent State Of The Art Black Box Attacks. The field of adversarial machine learning has experienced a near exponential growth in the amount of papers being produced since 2018. This massive information output has yet to be properly processed and categorized. In this paper, we seek to help alleviate this problem by systematizing the recent advances in adversarial machine learning black box attacks since 2019. Our survey summarizes and categorizes 20 recent black box attacks. We also present a new analysis for understanding the attack success rate with respect to the adversarial model used in each paper. Overall, our paper surveys a wide body of literature to highlight recent attack developments and organizes them into four attack categories score based attacks, decision based attacks, transfer attacks and non traditional attacks. Further, we provide a new mathematical framework to show exactly how attack results can fairly be compared.


( ell,p) Jones Wenzl Idempotents. The Jones Wenzl idempotents of the Temperley Lieb algebra are celebrated elements defined over characteristic zero and for generic loop parameter. Given pointed field (R, delta) , we extend the existing results of Burrull, Libedinsky and Sentinelli to determine a recursive form for the idempotents describing the projective cover of the trivial rm TL n R( delta) module.


Demonstrating change from a drop in space soundscape exhibit by using graffiti walls both before and after. Impact evaluation in public engagement necessarily requires measuring change. However, this is extremely challenging for drop in activities due to their very nature. We present a novel method of impact evaluation which integrates graffiti walls into the experience both before and after the main drop in activity. The activity in question was a soundscape exhibit, where young families experienced the usually inaudible sounds of near Earth space in an immersive and accessible way. We apply two analysis techniques to the captured before and after data quantitative linguistics and thematic analysis. These analyses reveal significant changes in participants' responses after the activity compared to before, namely an increased diversity in language used to describe space and altered conceptions of what space is like. The results demonstrate that the soundscape was surprisingly effective at innately communicating key aspects of the underlying science simply through the act of listening. The impacts also highlight the power of sonification in stimulating public engagement, which, through reflection, can lead to altered associations, perceptions, and understanding. Therefore, we show that this novel approach to drop in activity evaluation, using graffiti walls both before and after the activity and applying rigorous analysis to this data, has the power to capture change and, thus, have a short term impact. We suggest that commonly used evaluation tools suitable for drop in activities, such as graffiti walls, should be integrated both before and after the main activity in general, rather than only using them afterwards as is typically the case.


mathbb Z 3 actions on Horikawa surfaces. Minimal algebraic surfaces of general type X such that K 2 X 2 chi( mathcal O X) 6 are called Horikawa surfaces. In this note mathbb Z 3 actions on Horikawa surfaces are studied. The main result states that given an admissible pair (K 2, chi) such that K 2 2 chi 6 , all the connected components of Gieseker's moduli space mathfrak M K 2, chi contain surfaces admitting a mathbb Z 3 action. On the other hand, the examples considered allow to produce normal stable surfaces that do not admit a mathbb Q Gorenstein smoothing. This is illustrated by constructing non smoothable normal surfaces in the KSBA compactification overline mathfrak M K 2, chi of Gieseker's moduli space mathfrak M K 2, chi for every admissible pair (K 2, chi) such that K 2 2 chi 5 . Furthermore, the surfaces constructed belong to connected components of overline mathfrak M K 2, chi without canonical models.


High contrast all optical spectrally distributed switching of femtosecond pulses in soft glass dual core optical fiber. All optical switching of 77 fs pulses centered at 1560 nm, driven by 270 fs, 1030 nm pulses in a dual core optical fiber exhibiting high index contrast is presented. The fiber is made of a thermally matched pair of lead silicate and borosilicate glasses used as core and cladding material, respectively. The novel switching approach is based on nonlinear balancing of dual core asymmetry, by control pulse intensity induced group velocity reduction of the fast fiber channel. Due to the fiber core made of soft glass with high nonlinearity high switching contrast exceeding 20 dB is attained under application of control pulses of only few nanojoule energy. The optimization of the fiber length brought the best results at 14 mm, which is in good correspondence with the calculated coupling length at the signal wavelength. The results express significant progress in comparison to similar studies based on self switching of solitonic pulses in dual core fibers and represent high application potential.


Tridiagonal shifts as compact isometry. Let a n n geq 0 and b n n geq 0 be sequences of scalars. Suppose a n neq 0 for all n geq 0 . We consider the tridiagonal kernel (also known as band kernel with bandwidth one) as k(z, w) sum n 0 infty ((a n b n z)z n) overline (( a n b n w ) w n) qquad (z, w in mathbb D ), where mathbb D z in mathbb C z 1 . Denote by M z the multiplication operator on the reproducing kernel Hilbert space corresponding to the kernel k . Assume that M z is left invertible. We prove that M z compact isometry if and only if frac b n a n frac b n 1 a n 1 rightarrow 0 and frac a n a n 1 rightarrow 1 .


How to hunt wild constants. There are now several comprehensive web applications, stand alone computer programs and computer algebra functions that, given a floating point number such as 6.518670730718491, can return concise nonfloat constants such as 3 arctan 2 ln 9 1, that closely approximate the float. Examples include AskConstants, Inverse Symbolic Calculator, the Maple identify function, MESearch, OEIS, RIES, and WolframAlpha. Usefully often such a result is the exact limit as the float is computed with increasing precision. Therefore these program results are candidates for proving an exact result that you could not otherwise compute or conjecture without the program. Moreover, candidates that are not the exact limit can be provable bounds, or convey qualitative insight, or suggest series that they truncate, or provide sufficiently close efficient approximations for subsequent computation. This article describes some of these programs, how they work, and how best to use each of them. Almost everyone who uses or should use mathematical software can benefit from acquaintance with several such programs, because these programs differ in the sets of constants that they can return.


Are Multilingual BERT models robust? A Case Study on Adversarial Attacks for Multilingual Question Answering. Recent approaches have exploited weaknesses in monolingual question answering (QA) models by adding adversarial statements to the passage. These attacks caused a reduction in state of the art performance by almost 50 . In this paper, we are the first to explore and successfully attack a multilingual QA (MLQA) system pre trained on multilingual BERT using several attack strategies for the adversarial statement reducing performance by as much as 85 . We show that the model gives priority to English and the language of the question regardless of the other languages in the QA pair. Further, we also show that adding our attack strategies during training helps alleviate the attacks.


What underlies rapid learning and systematic generalization in humans. Despite the groundbreaking successes of neural networks, contemporary models require extensive training with massive datasets and exhibit poor out of sample generalization. One proposed solution is to build systematicity and domain specific constraints into the model, echoing the tenets of classical, symbolic cognitive architectures. In this paper, we consider the limitations of this approach by examining human adults' ability to learn an abstract reasoning task from a brief instructional tutorial and explanatory feedback for incorrect responses, demonstrating that human learning dynamics and ability to generalize outside the range of the training examples differ drastically from those of a representative neural network model, and that the model is brittle to changes in features not anticipated by its authors. We present further evidence from human data that the ability to consistently solve the puzzles was associated with education, particularly basic mathematics education, and with the ability to provide a reliably identifiable, valid description of the strategy used. We propose that rapid learning and systematic generalization in humans may depend on a gradual, experience dependent process of learning to learn using instructions and explanations to guide the construction of explicit abstract rules that support generalizable inferences.


CancerBERT a BERT model for Extracting Breast Cancer Phenotypes from Electronic Health Records. Accurate extraction of breast cancer patients' phenotypes is important for clinical decision support and clinical research. Current models do not take full advantage of cancer domain specific corpus, whether pre training Bidirectional Encoder Representations from Transformer model on cancer specific corpus could improve the performances of extracting breast cancer phenotypes from texts data remains to be explored. The objective of this study is to develop and evaluate the CancerBERT model for extracting breast cancer phenotypes from clinical texts in electronic health records. This data used in the study included 21,291 breast cancer patients diagnosed from 2010 to 2020, patients' clinical notes and pathology reports were collected from the University of Minnesota Clinical Data Repository (UMN). Results About 3 million clinical notes and pathology reports in electronic health records for 21,291 breast cancer patients were collected to train the CancerBERT model. 200 pathology reports and 50 clinical notes of breast cancer patients that contain 9,685 sentences and 221,356 tokens were manually annotated by two annotators. 20 of the annotated data was used as a test set. Our CancerBERT model achieved the best performance with macro F1 scores equal to 0.876 (95 CI, 0.896 0.902) for exact match and 0.904 (95 CI, 0.896 0.902) for the lenient match. The NER models we developed would facilitate the automated information extraction from clinical texts to further help clinical decision support. Conclusions and Relevance In this study, we focused on the breast cancer related concepts extraction from EHR data and obtained a comprehensive annotated dataset that contains 7 types of breast cancer related concepts. The CancerBERT model with customized vocabulary could significantly improve the performance for extracting breast cancer phenotypes from clinical texts.


Low Fidelity VTOL UAV Design Optimization Using an Open Source Framework. An all electric unmanned aerial system with both VTOL and Fixed wing capabilities is designed and optimized for long range surveillance and relief operations. The UAV is equipped with onboard computers and sensors and is capable of carrying 1kg of relief payload upto 100 Km. The entire low fidelity design process from concept to render is carried out using completely open source tools, libraries and in house code. The challenges faced and primary differences are discussed parallelly. A comparison with commercial codes and programs is also done in some areas to give an overview of key capabilities and caveats.


On the ability of monolingual models to learn language agnostic representations. Pretrained multilingual models have become a de facto default approach for zero shot cross lingual transfer. Previous work has shown that these models are able to achieve cross lingual representations when pretrained on two or more languages with shared parameters. In this work, we provide evidence that a model can achieve language agnostic representations even when pretrained on a single language. That is, we find that monolingual models pretrained and finetuned on different languages achieve competitive performance compared to the ones that use the same target language. Surprisingly, the models show a similar performance on a same task regardless of the pretraining language. For example, models pretrained on distant languages such as German and Portuguese perform similarly on English tasks.


Employing infrared microscopy (IRM) in combination with a pre trained neural network to visualise and analyse the defect distribution in Cadmium Telluride crystals. While Cadmium Telluride (CdTe) excels in terms of photon radiation absorption properties and outperforms silicon (Si) in this respect, the crystal growth, characterization and processing into a radiation detector is much more complicated. Additionally, large concentrations of extended crystallographic defects, such as grain boundaries, twins, and tellurium (Te) inclusions, vary from crystal to crystal and can reduce the spectroscopic performance of the processed detector. A quality assessment of the material prior to the complex fabrication process is therefore crucial. To locate the Te defects, we scan the crystals with infrared microscopy (IRM) in different layers, obtaining a 3D view of the defect distribution. This provides us with important information on the defect density and locations of Te inclusions, and thus a handle to assess the quality of the material. For the classification of defects in the large amount of IRM image data, a convolutional neural network is employed. From the post processed and analysed IRM data, 3D defect maps of the CdTe crystals are created, which make different patterns of defect agglomerations inside the crystals visible. In total, more than 100 crystals were scanned with the current IRM setup. In this paper, we compare two crystal batches, each consisting of 12 samples. We find significant differences in the defect distributions of the crystals.


On the effect of zero flipping on the stability of the phase retrieval problem in the Paley Wiener class. In the classical phase retrieval problem in the Paley Wiener class PW L for L 0 , i.e. to recover f in PW L from f , Akutowicz, Walther, and Hofstetter independently showed that all such solutions can be obtained by flipping an arbitrary set of complex zeros across the real line. This operation is called zero flipping and we denote by mathfrak F a f the resulting function. The operator mathfrak F a is defined even if a is not a genuine zero of f , that is if we make an error on the location of the zero. Our main goal is to investigate the effect of mathfrak F a . We show that mathfrak F af is no longer bandlimited but is still wide banded. We then investigate the effect of mathfrak F a on the stability of phase retrieval by estimating the quantity inf c 1 cf mathfrak F af 2 . We show that this quantity is in general not well suited to investigate stability, and so we introduce the quantity inf c 1 c mathfrak F bf mathfrak F af 2 . We show that this quantity is dominated by the distance between a and b .


A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements. Verification of complex, safety critical systems is a significant challenge. Manual testing and simulations are often used, but are only capable of exploring a subset of the system's reachable states. Formal methods are mathematically based techniques for the specification and development of software, which can provide proofs of properties and exhaustive checks over a system's state space. In this paper, we present a formal requirements driven methodology, applied to a model of an aircraft engine controller that has been provided by our industrial partner. Our methodology begins by formalising the controller's natural language requirements using the (pre existing) Formal Requirements Elicitation Tool (FRET), iteratively, in consultation with our industry partner. Once formalised, FRET can automatically translate the requirements to enable their verification alongside a Simulink model of the aircraft engine controller the requirements can also guide formal verification using other approaches. These two parallel streams in our methodology seek to combine the results from formal requirements elicitation, classical verification approaches, and runtime verification to support the verification of aerospace systems modelled in Simulink, from the requirements phase through to execution. Our methodology harnesses the power of formal methods in a way that complements existing verification techniques, and supports the traceability of requirements throughout the verification process. This methodology streamlines the process of developing verifiable aircraft engine controllers, by ensuring that the requirements are formalised up front and useable during development. In this paper we give an overview of (FRET), describe our methodology and work to date on the formalisation and verification of the requirements, and outline future work using our methodology.


On Ribet's Lemma for mathrm GL 2 modulo prime powers. Let rho colon G to mathrm GL 2(K) be a continuous representation of a compact group G over a complete discretely valued field K , ring of integers mathcal O and uniformiser pi . We prove that operatorname tr rho is reducible modulo pi n if and only if rho is reducible modulo pi n . More precisely, there exist characters chi 1, chi 2 colon G to( mathcal O pi n mathcal O) times such that det(t rho(g)) equiv (t chi 1(g))(t chi 2(g)) pmod pi n for all g in G , if and only if there exists a G stable lattice Lambda subset K 2 such that Lambda pi n Lambda contains a G invariant, free, rank 1 mathcal O pi n mathcal O submodule. This answers a question of Bella "iche Chenevier. As an application, we prove an optimal version of Ribet's Lemma, which gives a condition for the existence of a G stable lattice Lambda that realises a non split extension of chi 2 by chi 1 .


Event Triggered Adaptive Control of a Parabolic PDE ODE Cascade with Piecewise Constant Inputs and Identification. We present an adaptive event triggered boundary control scheme for a parabolic PDE ODE system, where the reaction coefficient of the parabolic PDE, and the system parameter of a scalar ODE, are unknown. In the proposed controller, the parameter estimates, which are built by batch least square identification, are recomputed and the plant states are resampled simultaneously. As a result, both the parameter estimates and the control input employ piecewise constant values. In the closed loop system, the following results are proved 1) the absence of a Zeno phenomenon 2) finite time exact identification of the unknown parameters under most initial conditions of the plant (all initial conditions except a set of measure zero) 3) exponential regulation of the plant states to zero. A simulation example is presented to validate the theoretical result.


Balboa Bobbing and Weaving around Network Censorship. We introduce Balboa, a link obfuscation framework for censorship circumvention. Balboa provides a general framework for tunneling data through existing applications. Balboa sits between an application and the operating system, intercepting outgoing network traffic and rewriting it to embed data. To avoid introducing any distinguishable divergence from the expected application behavior, Balboa only rewrites traffic that matches an externally specified emph traffic model pre shared between the communicating parties. The traffic model captures some subset of the network traffic (e.g., some subset of music an audio streaming server streams). The sender uses this model to replace outgoing data with a pointer to the associated location in the model and embed data in the freed up space. The receiver then extracts the data, replacing the pointer with the original data from the model before passing the data on to the application. When using TLS, this approach means that application behavior with Balboa is emph equivalent , modulo small (protocol dependent) timing differences, to if the application was running without Balboa. Balboa differs from prior approaches in that it (1) provides a framework for tunneling data through arbitrary (TLS protected) protocols applications, and (2) runs the unaltered application binaries on standard inputs, as opposed to most prior tunneling approaches which run the application on non standard and thus potentially distinguishable inputs. We present two instantiations of Balboa one for audio streaming and one for web browsing and demonstrate the difficulty of identifying Balboa by a machine learning classifier.


Laminar natural double diffusive convection in a square cavity containing a square hot obstacle and filled with various types of Nanofluids Benchmark. This article represents a set of results numerically studied in the framework of laminar double diffusive natural convection. We have investigated the thermophysical comportment of Water based incompressible nanofluids circulating, due to buoyancy forces, inside a two dimensional enclosed rectangular cavity for two comparable cases of considering or not a centered isothermal block. Results of this investigation are mainly built on parametric study of the most analytical variables that govern the flow. The buoyancy ratio ranged from 5 to 100, while Rayleigh number ranged from 103 to 106, and Lewis number ranged from 0 to 200. Four types of nanoparticles were considered Copper, Alumina, Carbon nanotubes and Titania which had a concentration range from 0 to 0.1.The flow is characterized by the isotherms, isoconcentrations and streamlines, and results were discussed in term of Nusselt and Sherwood average numbers, Streamlines maximum average values and Kinetic energy as function to the various aforementioned governing parameters.


Heterogeneous Information Network based Interest Composition with Graph Neural Network for Recommendation. Heterogeneous information networks (HINs) are widely applied to recommendation systems due to their capability of modeling various auxiliary information with meta paths. However, existing HIN based recommendation models usually fuse the information from various meta paths by simple weighted sum or concatenation, which limits performance improvement because it lacks the capability of interest compositions among meta paths. In this article, we propose an HIN based Interest Composition model for Recommendation (HicRec). Specifically, user and item representations are learned with a graph neural network on both the graph structure and features in each meta path, and a parameter sharing mechanism is utilized here to ensure that the user and item representations are in the same latent space. Then, users' interests in each item from each pair of related meta paths are calculated by a combination of the user and item representations. The composed user interests are obtained by their single interest from both intra and inter meta paths for recommendation. Extensive experiments are conducted on three real world datasets and the results demonstrate that our proposed HicRec model outperforms the baselines.


Classifying action correctness in physical rehabilitation exercises. The work in this paper focuses on the role of machine learning in assessing the correctness of a human motion or action. This task proves to be more challenging than the gesture and action recognition ones. We will demonstrate, through a set of experiments on a recent dataset, that machine learning algorithms can produce good results for certain actions, but can also fall into the trap of classifying an incorrect execution of an action as a correct execution of another action.


Contextual Biasing of Language Models for Speech Recognition in Goal Oriented Conversational Agents. Goal oriented conversational interfaces are designed to accomplish specific tasks and typically have interactions that tend to span multiple turns adhering to a pre defined structure and a goal. However, conventional neural language models (NLM) in Automatic Speech Recognition (ASR) systems are mostly trained sentence wise with limited context. In this paper, we explore different ways to incorporate context into a LSTM based NLM in order to model long range dependencies and improve speech recognition. Specifically, we use context carry over across multiple turns and use lexical contextual cues such as system dialog act from Natural Language Understanding (NLU) models and the user provided structure of the chatbot. We also propose a new architecture that utilizes context embeddings derived from BERT on sample utterances provided during inference time. Our experiments show a word error rate (WER) relative reduction of 7 over non contextual utterance level NLM rescorers on goal oriented audio datasets.


Stable local dynamics expansion, quasi conformality and ergodicity. In this paper we study stable ergodicity of the action of groups of diffeomorphisms on smooth manifolds. The existence of such actions is known only on one dimensional manifolds. The aim of this paper is to introduce a geometric method to overcome this restriction and for constructing higher dimensional examples. In particular, we show that every closed manifold admits stably ergodic finitely generated group actions by diffeomorphisms of class C 1 alpha . We also prove the stable ergodicity of certain algebraic actions including the natural action of a generic pair of matrices near the identity on a sphere of arbitrary dimension. These are consequences of the quasi conformal blender, a local and stable mechanism phenomenon introduced in this paper, which encapsulates our method to prove stable local ergodicity by providing quasi conformal orbits with fine controlled geometry. The quasi conformal blender is developed in the context of pseudo semigroup actions of locally defined smooth diffeomorphisms. This allows for applications in different settings, including for the smooth foliations of arbitrary codimension.


Recurrence equations involving different orthogonal polynomial sequences and applications. Consider p n n 0 infty , a sequence of polynomials orthogonal with respect to w(x) 0 on (a,b) , and polynomials g n,k n 0 infty ,k in mathbb N 0 , orthogonal with respect to c k(x)w(x) 0 on (a,b) , where c k (x) is a polynomial of degree k in x . We show how Christoffel's formula can be used to obtain mixed three term recurrence equations involving the polynomials p n , p n 1 and g n m,k ,m in 2,3, dots, n 1 . In order for the zeros of p n and G m 1 g n m,k to interlace (assuming p n and g n m,k are co prime), the coefficient of p n 1 , namely G m 1 , should be of exact degree m 1 , in which case restrictions on the parameter k are necessary. The zeros of G m 1 can be considered to be inner bounds for the extreme zeros of the (classical or q classical) orthogonal polynomial p n and we give examples to illustrate the accuracy of these bounds. Because of the complexity the mixed three term recurrence equations in each case, algorithmic tools, mainly Zeilberger's algorithm and its q analogue, are used to obtain them.


Nikolay Konstantinov and the Konstantinov System. The 'Konstantinov System' was a non standard educational institution created by the great mathematical educator Nikolay Konstantinov (1932 2021), this 'System' worked (mainly in Moscow) in 1960 80s. We discuss some sides of technologies of the 'System' methods of teaching, organization, approaches to personal growth. In Russian.


Towards optimal point spread function design for resolving point emitters in 3D. The past decade has brought many innovations in optical design for 3D super resolution imaging of point like emitters, but these methods often focus on single emitter localization as a performance metric. Here, we propose a simple heuristic for designing a point spread function (PSF) that allows for precise measurement of the distance between pairs of emitters. We discover that there are two types of PSFs that achieve high performance, as quantified by the Cram 'er Rao bound. One is very similar to the existing tetrapod PSF. The other is a rotating, single spot PSF, which we call the crescent PSF, and it has superior performance for localizing closely spaced emitters throughout a 1 mu m focal volume. In addition, it distinguishes between single and two closely spaced emitters with superior accuracy. Our study provides additional insights into optimal strategies for encoding 3D spatial information into optical PSFs.


Free fermions and Schur expansions of multi Schur functions. Multi Schur functions are symmetric functions that generalize the supersymmetric Schur functions, the flagged Schur functions, and the refined dual Grothendieck functions, which have been intensively studied by Lascoux. In this paper, we give a new free fermionic presentation of them. The multi Schur functions are indexed by a partition and two tuples of tuples'' of indeterminates. We construct a family of linear bases of the fermionic Fock space that are indexed by such data and prove that they correspond to the multi Schur functions through the boson fermion correspondence. By focusing on some special bases, which we call refined bases, we give a straightforward method of expanding a multi Schur function in the refined dual Grothendieck polynomials. We also present a sufficient condition for a multi Schur function to have its Hall dual function in the completed ring of symmetric functions.


AirLoop Lifelong Loop Closure Detection. Loop closure detection is an important building block that ensures the accuracy and robustness of simultaneous localization and mapping (SLAM) systems. Due to their generalization ability, CNN based approaches have received increasing attention. Although they normally benefit from training on datasets that are diverse and reflective of the environments, new environments often emerge after the model is deployed. It is therefore desirable to incorporate the data newly collected during operation for incremental learning. Nevertheless, simply finetuning the model on new data is infeasible since it may cause the model's performance on previously learned data to degrade over time, which is also known as the problem of catastrophic forgetting. In this paper, we present AirLoop, a method that leverages techniques from lifelong learning to minimize forgetting when training loop closure detection models incrementally. We experimentally demonstrate the effectiveness of AirLoop on TartanAir, Nordland, and RobotCar datasets. To the best of our knowledge, AirLoop is one of the first works to achieve lifelong learning of deep loop closure detectors.


Blowup algebras of determinantal ideals in prime characteristic. We study F purity and strong F regularity of blowup algebras. Our main focus is on algebras given by symbolic and ordinary powers of ideals of minors of a generic matrix, a symmetric matrix, and a Hankel matrix. We also study ideals of Pfaffians of a skew symmetric matrix. We use these results to obtain bounds on the degrees of the defining equations for these algebras. We also prove that the limit of the normalized regularity of the symbolic powers of these ideals exists and that their depth stabilizes. Finally, we show that, for determinantal ideals, there exists a monomial order for which taking initial ideals commutes with taking symbolic powers. To obtain these results we develop the notion of F pure filtrations and symbolic F purity.


A new method to construct model structures from left Frobenius pairs in extriangulated categories. Extriangulated categories were introduced by Nakaoka and Palu as a simultaneous generalization of exact categories and triangulated categories. In this paper, we first introduce the concept of left Frobenius pairs on an extriangulated category C, and then establish a bijective correspondence between Frobenius pairs and certain cotorsion pairs in C. As an application, some new admissible model structures are established from left Frobenius pairs under certain conditions, which generalizes a result of Hu et al. (J. Algebra 551 (2020) 23 60).


Stationary solutions to the Keller Segel equation on curved planes. We study stationary solutions to the Keller Segel equation on curved planes. We prove the necessity of the mass being 8 pi and a sharp decay bound. Notably, our results do not require the solutions to have a finite second moment, and thus are novel already in the flat case. Furthermore, we provide a correspondence between stationary solutions to the static Keller Segel equation on curved planes and positively curved Riemannian metrics on the sphere. We use this duality to show the nonexistence of solutions in certain situations. In particular, we show the existence of metrics, arbitrarily close to the flat one on the plane, that do not support stationary solutions to the static Keller Segel equation (with any mass). Finally, as a complementary result, we prove a curved version of the logarithmic Hardy Littlewood Sobolev inequality and use it to show that the Keller Segel free energy is bounded from below exactly when the mass is 8 pi , even in the curved case.


p harmonic mappings between metric spaces. In this paper, we solve the Dirichlet problem for Sobolev maps between singular metric spaces that extends the corresponding result of Guo and Wenger Comm. Anal. Geom. 2020 . The main new ingredient in our proofs is a suitable extension of the theory of trace for metric valued Sobolev maps developed by Korevaar and Schoen Comm. Anal. Geom. 1993 . We also develop a theory of trace in the borderline case, which investigates a sharp condition to characterize the existence of traces.


Interpretable Directed Diversity Leveraging Model Explanations for Iterative Crowd Ideation. Feedback in creativity support tools can help crowdworkers to improve their ideations. However, current feedback methods require human assessment from facilitators or peers. This is not scalable to large crowds. We propose Interpretable Directed Diversity to automatically predict ideation quality and diversity scores, and provide AI explanations Attribution, Contrastive Attribution, and Counterfactual Suggestions to feedback on why ideations were scored (low), and how to get higher scores. These explanations provide multi faceted feedback as users iteratively improve their ideations. We conducted formative and controlled user studies to understand the usage and usefulness of explanations to improve ideation diversity and quality. Users appreciated that explanation feedback helped focus their efforts and provided directions for improvement. This resulted in explanations improving diversity compared to no feedback or feedback with scores only. Hence, our approach opens opportunities for explainable AI towards scalable and rich feedback for iterative crowd ideation and creativity support tools.


A decision making machine learning approach in Hermite spectral approximations of partial differential equations. The accuracy and effectiveness of Hermite spectral methods for the numerical discretization of partial differential equations on unbounded domains, are strongly affected by the amplitude of the Gaussian weight function employed to describe the approximation space. This is particularly true if the problem is under resolved, i.e., there are no enough degrees of freedom. The issue becomes even more crucial when the equation under study is time dependent, forcing in this way the choice of Hermite functions where the corresponding weight depends on time. In order to adapt dynamically the approximation space, it is here proposed an automatic decision making process that relies on machine learning techniques, such as deep neural networks and support vector machines. The algorithm is numerically tested with success on a simple 1D problem, but the main goal is its exportability in the context of more serious applications.


A Spatial temporal Graph Deep Learning Model for Urban Flood Nowcasting Leveraging Heterogeneous Community Features. The objective of this study is to develop and test a novel structured deep learning modeling framework for urban flood nowcasting by integrating physics based and human sensed features. We present a new computational modeling framework including an attention based spatial temporal graph convolution network (ASTGCN) model and different streams of data that are collected in real time, preprocessed, and fed into the model to consider spatial and temporal information and dependencies that improve flood nowcasting. The novelty of the computational modeling framework is threefold first, the model is capable of considering spatial and temporal dependencies in inundation propagation thanks to the spatial and temporal graph convolutional modules second, it enables capturing the influence of heterogeneous temporal data streams that can signal flooding status, including physics based features such as rainfall intensity and water elevation, and human sensed data such as flood reports and fluctuations of human activity. Third, its attention mechanism enables the model to direct its focus on the most influential features that vary dynamically. We show the application of the modeling framework in the context of Harris County, Texas, as the case study and Hurricane Harvey as the flood event. Results indicate that the model provides superior performance for the nowcasting of urban flood inundation at the census tract level, with a precision of 0.808 and a recall of 0.891, which shows the model performs better compared with some other novel models. Moreover, ASTGCN model performance improves when heterogeneous dynamic features are added into the model that solely relies on physics based features, which demonstrates the promise of using heterogenous human sensed data for flood nowcasting,


Impact of COVID 19 on IoT Adoption in Healthcare, Smart Homes, Smart Buildings, Smart Cities, Transportation and Industrial IoT. COVID 19 has disrupted normal life and has enforced a substantial change in the policies, priorities and activities of individuals, organisations and governments. These changes are proving to be a catalyst for technology and innovation. In this paper, we discuss the pandemic's potential impact on the adoption of the Internet of Things (IoT) in various broad sectors namely healthcare, smart homes, smart buildings, smart cities, transportation and industrial IoT. Our perspective and forecast of this impact on IoT adoption is based on a thorough research literature review, a careful examination of reports from leading consulting firms and interactions with several industry experts. For each of these sectors, we also provide the details of notable IoT initiatives taken in wake of COVID 19. We also highlight the challenges that need to be addressed and important research directions that will facilitate accelerated IoT adoption.


D2A A Dataset Built for AI Based Vulnerability Detection Methods Using Differential Analysis. Static analysis tools are widely used for vulnerability detection as they understand programs with complex behavior and millions of lines of code. Despite their popularity, static analysis tools are known to generate an excess of false positives. The recent ability of Machine Learning models to understand programming languages opens new possibilities when applied to static analysis. However, existing datasets to train models for vulnerability identification suffer from multiple limitations such as limited bug context, limited size, and synthetic and unrealistic source code. We propose D2A, a differential analysis based approach to label issues reported by static analysis tools. The D2A dataset is built by analyzing version pairs from multiple open source projects. From each project, we select bug fixing commits and we run static analysis on the versions before and after such commits. If some issues detected in a before commit version disappear in the corresponding after commit version, they are very likely to be real bugs that got fixed by the commit. We use D2A to generate a large labeled dataset to train models for vulnerability identification. We show that the dataset can be used to build a classifier to identify possible false alarms among the issues reported by static analysis, hence helping developers prioritize and investigate potential true positives first.


Boundedness of Calder 'on Zygmund Operators on Special John Nirenberg Campanato and Hardy Type Spaces via Congruent Cubes. Let p in 1, infty , q in(1, infty) , s in mathbb Z mathbb N cup 0 , and alpha in mathbb R . In this article, the authors introduce a reasonable version widetilde T of the Calder 'on Zygmund operator T on JN (p,q,s) alpha mathrm con ( mathbb R n) , the special John Nirenberg Campanato space via congruent cubes, which coincides with the Campanato space mathcal C alpha,q,s ( mathbb R n) when p infty . Then the authors prove that widetilde T is bounded on JN (p,q,s) alpha mathrm con ( mathbb R n) if and only if, for any gamma in mathbb Z n with gamma leq s , T (x gamma ) 0 , which is a well known assumption. To this end, the authors find an equivalent version of this assumption. Moreover, the authors show that T can be extended to a unique continuous linear operator on the Hardy kind space HK (p,q,s) alpha mathrm con ( mathbb R n) , the predual space of JN (p',q',s) alpha mathrm con ( mathbb R n) with frac 1 p frac 1 p' 1 frac 1 q frac 1 q' , if and only if, for any gamma in mathbb Z n with gamma leq s , T (x gamma ) 0 .


VisQA Quantifying Information Visualisation Recallability via Question Answering. Despite its importance for assessing the effectiveness of communicating information visually, fine grained recallability of information visualisations has not been studied quantitatively so far. In this work we propose a visual question answering (VQA) paradigm to study visualisation recallability and present VisQA a novel VQA dataset consisting of 200 visualisations that are annotated with crowd sourced human (N 305) recallability scores obtained from 1,000 questions from five question types. Furthermore, we present the first computational method to predict recallability of different visualisation elements, such as the title or specific data values. We report detailed analyses of our method on VisQA and demonstrate that it outperforms several baselines in overall recallability and FE , F , RV , and U question recallability. We further demonstrate one possible application of our method recommending the visualisation type that maximises user recallability for a given data source. Taken together, our work makes fundamental contributions towards a new generation of methods to assist designers in optimising visualisations.


Representations Of Quantum Spatial Ageing Algebra At Root Of Unity. In this article, the quantum spatial ageing algebra due to V. V. Bavula and T. Lu has been studied and a full classification of simple modules are given at root of unity


A New Sequential Optimality Condition of Cardinality Constrained Optimization Problems and Application. In this paper, we consider the cardinality constrained optimization problems and propose a new sequential optimality condition for the continuous relaxation reformulation which is popular recently. It is stronger than the existing results and is still a first order necessity condition for the cardinality constraint problems without any additional assumptions. Meanwhile, we provide a problem tailored weaker constraint qualification, which can guarantee that new sequential conditions are Mordukhovich type stationary points. On the other hand, we improve the theoretical results of the augmented Lagrangian algorithm. Under the same condition as the existing results, we prove that any feasible accumulation point of the iterative sequence generated by the algorithm satisfies the new sequence optimality condition. Furthermore, the algorithm can converge to the Mordukhovich type (essentially strong) stationary point if the problem tailored constraint qualification is satisfied.


GMLight Lighting Estimation via Geometric Distribution Approximation. Inferring the scene illumination from a single image is an essential yet challenging task in computer vision and computer graphics. Existing works estimate lighting by regressing representative illumination parameters or generating illumination maps directly. However, these methods often suffer from poor accuracy and generalization. This paper presents Geometric Mover's Light (GMLight), a lighting estimation framework that employs a regression network and a generative projector for effective illumination estimation. We parameterize illumination scenes in terms of the geometric light distribution, light intensity, ambient term, and auxiliary depth, which can be estimated by a regression network. Inspired by the earth mover's distance, we design a novel geometric mover's loss to guide the accurate regression of light distribution parameters. With the estimated light parameters, the generative projector synthesizes panoramic illumination maps with realistic appearance and high frequency details. Extensive experiments show that GMLight achieves accurate illumination estimation and superior fidelity in relighting for 3D object insertion. The codes are available at href https github.com fnzhan Illumination Estimation https github.com fnzhan Illumination Estimation .


The Hilbert Kunz density functions of quadric hypersurfaces. Here we formulate the Hilbert Kunz density function of a quadric hypersurface of dimension d geq 4 and odd characteristic p d 1 . As one of the application we prove that the Hilbert Kunz multiplicity e HK (R p,d ) of a quadric hypersurface is bounded below by 1 m d , where m d is the d th coefficient in the expansion of mbox sec mbox tan . This proves a part of the long standing conjecture of Watanabe Yoshida. We also give an upper bound on the HK multiplicity of such a hypersurface. As an another application we show that, for given d , there exist polynomials p d(t), q d(t) in mathbb Z t of same degree such that e HK (R p, d ) p d(t) q d(t) vert t p for all p 0 . We also prove that, for p 0 , the invariant e HK (R p, d ) is a decreasing function of p , and in fact a strictly decreasing one if d geq 4 . This supports another old conjecture of Yoshida, which states that e HK (R p, d ) is a decreasing function of p , for all p . One of the main tool in formulating the HK density function is the classification of ACM bundles on the smooth quadric via matrix factorizations.


Rational homogeneous spaces as geometric realizations of birational transformations. A geometric realization of a birational map psi among two complex projective varieties is a variety X endowed with a mathbb C action inducing psi as the natural birational map among two extremal geometric quotients. In this paper we study geometric realizations of some classic birational maps inversion maps, special Cremona transformations, special birational transformations of type (2,1) , by considering mathbb C actions on certain rational homogeneous spaces and their subvarieties.


Finite and semisimple Boolean inverse monoids. We describe the structure of finite Boolean inverse monoids and apply our results to the representation theory of finite inverse semigroups. We then generalize to semisimple Boolean inverse semigroups.


AS MLP An Axial Shifted MLP Architecture for Vision. An Axial Shifted MLP architecture (AS MLP) is proposed in this paper. Different from MLP Mixer, where the global spatial feature is encoded for information flow through matrix transposition and one token mixing MLP, we pay more attention to the local features interaction. By axially shifting channels of the feature map, AS MLP is able to obtain the information flow from different axial directions, which captures the local dependencies. Such an operation enables us to utilize a pure MLP architecture to achieve the same local receptive field as CNN like architecture. We can also design the receptive field size and dilation of blocks of AS MLP, etc, in the same spirit of convolutional neural networks. With the proposed AS MLP architecture, our model obtains 83.3 Top 1 accuracy with 88M parameters and 15.2 GFLOPs on the ImageNet 1K dataset. Such a simple yet effective architecture outperforms all MLP based architectures and achieves competitive performance compared to the transformer based architectures (e.g., Swin Transformer) even with slightly lower FLOPs. In addition, AS MLP is also the first MLP based architecture to be applied to the downstream tasks (e.g., object detection and semantic segmentation). The experimental results are also impressive. Our proposed AS MLP obtains 51.5 mAP on the COCO validation set and 49.5 MS mIoU on the ADE20K dataset, which is competitive compared to the transformer based architectures. Our AS MLP establishes a strong baseline of MLP based architecture. Code is available at https github.com svip lab AS MLP.


Ricci Flow with Ricci Curvature and Volume Bounded Below. We show that a simply connected closed four dimensional Ricci flow whose Ricci curvature is uniformly bounded below and whose volume does not approach zero must converge to a C 0 orbifold at any finite time singularity, so has an extension through the singularity via orbifold Ricci flow. Moreover, a Type I blowup of the flow based at any orbifold point converges to a flat cone in the Gromov Hausdorff sense, without passing to a subsequence. In addition, we prove L p bounds for the curvature tensor on time slices for any p 2 . In higher dimensions, we show that every singular point of the flow is a Type II point, and that any tangent flow at a singular point is a static flow corresponding to a Ricci flat cone.


Distributional Collision Resistance Beyond One Way Functions. Distributional collision resistance is a relaxation of collision resistance that only requires that it is hard to sample a collision (x,y) where x is uniformly random and y is uniformly random conditioned on colliding with x . The notion lies between one wayness and collision resistance, but its exact power is still not well understood. On one hand, distributional collision resistant hash functions cannot be built from one way functions in a black box way, which may suggest that they are stronger. On the other hand, so far, they have not yielded any applications beyond one way functions. Assuming distributional collision resistant hash functions, we construct emph constant round statistically hiding commitment scheme. Such commitments are not known based on one way functions and are impossible to obtain from one way functions in a black box way. Our construction relies on the reduction from inaccessible entropy generators to statistically hiding commitments by Haitner et al. (STOC '09). In the converse direction, we show that two message statistically hiding commitments imply distributional collision resistance, thereby establishing a loose equivalence between the two notions. A corollary of the first result is that constant round statistically hiding commitments are implied by average case hardness in the class SZK (which is known to imply distributional collision resistance). This implication seems to be folklore, but to the best of our knowledge has not been proven explicitly. We provide yet another proof of this implication, which is arguably more direct than the one going through distributional collision resistance.


An Embedding based Joint Sentiment Topic Model for Short Texts. Short text is a popular avenue of sharing feedback, opinions and reviews on social media, e commerce platforms, etc. Many companies need to extract meaningful information (which may include thematic content as well as semantic polarity) out of such short texts to understand users' behaviour. However, obtaining high quality sentiment associated and human interpretable themes still remains a challenge for short texts. In this paper we develop ELJST, an embedding enhanced generative joint sentiment topic model that can discover more coherent and diverse topics from short texts. It uses Markov Random Field Regularizer that can be seen as a generalisation of skip gram based models. Further, it can leverage higher order semantic information appearing in word embedding, such as self attention weights in graphical models. Our results show an average improvement of 10 in topic coherence and 5 in topic diversification over baselines. Finally, ELJST helps understand users' behaviour at more granular levels which can be explained. All these can bring significant values to the service and healthcare industries often dealing with customers.


Multidimensional singular control and related Skorokhod problem sufficient conditions for the characterization of optimal controls. We characterize the optimal control for a class of singular stochastic control problems as the unique solution to a related Skorokhod reflection problem. The considered optimization problems concern the minimization of a discounted cost functional over an infinite time horizon through a process of bounded variation affecting an It o diffusion. The setting is multidimensional, the drift of the state equation and the costs are convex, the volatility matrix can be constant or linear in the state. We prove that the optimal control acts only when the underlying diffusion attempts to exit the so called waiting region, and that the direction of this action is prescribed by the derivative of the value function. Our approach is based on the study of a suitable monotonicity property of the derivative of the value function through its interpretation as the value of an optimal stopping game. Such a monotonicity allows to construct nearly optimal policies which reflect the underlying diffusion at the boundary of approximating waiting regions. The limit of this approximation scheme then provides the desired characterization. Our result applies to a relevant class of linear quadratic models, among others. Furthermore, it allows to construct the optimal control in degenerate and non degenerate settings considered in the literature, where this important aspect was only partially addressed.


bert2BERT Towards Reusable Pretrained Language Models. In recent years, researchers tend to pre train ever larger language models to explore the upper limit of deep models. However, large language model pre training costs intensive computational resources and most of the models are trained from scratch without reusing the existing pre trained models, which is wasteful. In this paper, we propose bert2BERT, which can effectively transfer the knowledge of an existing smaller pre trained model (e.g., BERT BASE) to a large model (e.g., BERT LARGE) through parameter initialization and significantly improve the pre training efficiency of the large model. Specifically, we extend the previous function preserving on Transformer based language model, and further improve it by proposing advanced knowledge for large model's initialization. In addition, a two stage pre training method is proposed to further accelerate the training process. We did extensive experiments on representative PLMs (e.g., BERT and GPT) and demonstrate that (1) our method can save a significant amount of training cost compared with baselines including learning from scratch, StackBERT and MSLT (2) our method is generic and applicable to different types of pre trained models. In particular, bert2BERT saves about 45 and 47 computational cost of pre training BERT BASE and GPT BASE by reusing the models of almost their half sizes. The source code will be publicly available upon publication.


Dynamic Adaptive Spatio temporal Graph Convolution for fMRI Modelling. The characterisation of the brain as a functional network in which the connections between brain regions are represented by correlation values across time series has been very popular in the last years. Although this representation has advanced our understanding of brain function, it represents a simplified model of brain connectivity that has a complex dynamic spatio temporal nature. Oversimplification of the data may hinder the merits of applying advanced non linear feature extraction algorithms. To this end, we propose a dynamic adaptive spatio temporal graph convolution (DAST GCN) model to overcome the shortcomings of pre defined static correlation based graph structures. The proposed approach allows end to end inference of dynamic connections between brain regions via layer wise graph structure learning module while mapping brain connectivity to a phenotype in a supervised learning framework. This leverages the computational power of the model, data and targets to represent brain connectivity, and could enable the identification of potential biomarkers for the supervised target in question. We evaluate our pipeline on the UKBiobank dataset for age and gender classification tasks from resting state functional scans and show that it outperforms currently adapted linear and non linear methods in neuroimaging. Further, we assess the generalizability of the inferred graph structure by transferring the pre trained graph to an independent dataset for the same task. Our results demonstrate the task robustness of the graph against different scanning parameters and demographics.


OVIS Open Vocabulary Visual Instance Search via Visual Semantic Aligned Representation Learning. We introduce the task of open vocabulary visual instance search (OVIS). Given an arbitrary textual search query, Open vocabulary Visual Instance Search (OVIS) aims to return a ranked list of visual instances, i.e., image patches, that satisfies the search intent from an image database. The term "open vocabulary" means that there are neither restrictions to the visual instance to be searched nor restrictions to the word that can be used to compose the textual search query. We propose to address such a search challenge via visual semantic aligned representation learning (ViSA). ViSA leverages massive image caption pairs as weak image level (not instance level) supervision to learn a rich cross modal semantic space where the representations of visual instances (not images) and those of textual queries are aligned, thus allowing us to measure the similarities between any visual instance and an arbitrary textual query. To evaluate the performance of ViSA, we build two datasets named OVIS40 and OVIS1600 and also introduce a pipeline for error analysis. Through extensive experiments on the two datasets, we demonstrate ViSA's ability to search for visual instances in images not available during training given a wide range of textual queries including those composed of uncommon words. Experimental results show that ViSA achieves an mAP 50 of 21.9 on OVIS40 under the most challenging setting and achieves an mAP 6 of 14.9 on OVIS1600 dataset.


Machine Learning with a Reject Option A survey. Machine learning models always make a prediction, even when it is likely to be inaccurate. This behavior should be avoided in many decision support applications, where mistakes can have severe consequences. Albeit already studied in 1970, machine learning with a reject option recently gained interest. This machine learning subfield enables machine learning models to abstain from making a prediction when likely to make a mistake. This survey aims to provide an overview on machine learning with a reject option. We introduce the conditions leading to two types of rejection, ambiguity and novelty rejection. Moreover, we define the existing architectures for models with a reject option, describe the standard learning strategies to train such models and relate traditional machine learning techniques to rejection. Additionally, we review strategies to evaluate a model's predictive and rejective quality. Finally, we provide examples of relevant application domains and show how machine learning with rejection relates to other machine learning research areas.


Sharp weighted Strichartz estimates and critical inhomogeneous nonlinear Schr "odinger equations below L 2 . In this paper we study the Cauchy problem for the inhomogeneous nonlinear Schr "odinger equation i partial t u Delta u lambda x alpha u beta u below L 2 . The well posedness theory for this equation in the critical case has been intensively studied in recent years, but much less is understood below L 2 . The only known result is the small data global well posedness for radial (at best angularly regular) data. The main contribution of this paper is to develop the well posedness theory for general data. To this end, we significantly improve the previously known L p Strichartz estimates with singular weights and indeed sharpen them.


J equation on holomorphic vector bundles. We introduce the J equation on holomorphic vector bundles over compact K "ahler manifolds and investigate some fundamental properties as well as examples of them. In particular, we give algebraic obstructions called the (asymptotic) J stability in terms of subbundles on compact K "ahler surfaces, and a numerical criterion on vortex bundles via dimensional reduction. Also, we discuss an application for the vector bundle version of the deformed Hermitian Yang Mills equation in the small volume regime.


Reducing Label Effort Self Supervised meets Active Learning. Active learning is a paradigm aimed at reducing the annotation effort by training the model on actively selected informative and or representative samples. Another paradigm to reduce the annotation effort is self training that learns from a large amount of unlabeled data in an unsupervised way and fine tunes on few labeled samples. Recent developments in self training have achieved very impressive results rivaling supervised learning on some datasets. The current work focuses on whether the two paradigms can benefit from each other. We studied object recognition datasets including CIFAR10, CIFAR100 and Tiny ImageNet with several labeling budgets for the evaluations. Our experiments reveal that self training is remarkably more efficient than active learning at reducing the labeling effort, that for a low labeling budget, active learning offers no benefit to self training, and finally that the combination of active learning and self training is fruitful when the labeling budget is high. The performance gap between active learning trained either with self training or from scratch diminishes as we approach to the point where almost half of the dataset is labeled.


An ns 3 Implementation of a Bursty Traffic Framework for Virtual Reality Sources. Next generation wireless communication technologies will allow users to obtain unprecedented performance, paving the way to new and immersive applications. A prominent application requiring high data rates and low communication delay is Virtual Reality (VR), whose presence will become increasingly stronger in the years to come. To the best of our knowledge, we propose the first traffic model for VR applications based on traffic traces acquired from a commercial VR streaming software, allowing the community to further study and improve the technology to manage this type of traffic. This work implements ns 3 applications able to generate and process large bursts of packets, enabling the possibility of analyzing APP level end to end metrics, making the source code as well as the acquired VR traffic traces publicly available and open source.


On arithmetic properties of solvable Baumslag Solitar groups. For 0 alpha le 1 , we say that a sequence (X k) k 0 of d regular graphs has property D alpha if there exists a constant C 0 such that mathrm diam (X k) ge C cdot X k alpha . We investigate property D alpha for arithmetic box spaces of the solvable Baumslag Solitar groups BS(1,m) (with m geq 2 ) those are box spaces obtained by embedding BS(1,m) into the upper triangular matrices in GL 2( mathbb Z 1 m ) and intersecting with a family M N k of congruence subgroups of GL 2( mathbb Z 1 m ) , where the levels N k are coprime with m and N k N k 1 . We prove if an arithmetic box space has D alpha , then alpha le frac 1 2 if the family (N k) k of levels is supported on finitely many primes, the corresponding arithmetic box space has D 1 2 if the family (N k) k of levels is supported on a family of primes with positive analytic primitive density, then the corresponding arithmetic box space does not have D alpha , for every alpha 0 . Moreover, we prove that if we embed BS(1,m) in the group of invertible upper triangular matrices T n( mathbb Z 1 m ) , then every finite index subgroup of the embedding contains a congruence subgroup. This is a version of the congruence subgroup property (CSP).


Sharp estimates for spanning trees. We prove the following sharp estimate for the number of spanning trees of a graph in terms of its vertex degrees a simple graph G on n vertices has at most (1 n 2 ) prod v in V(G) (d(v) 1) spanning trees. This result is tight (for complete graphs), and improves earlier estimates of Alon from 1990 and Kostochka from 1995 by a factor of about 1 n (for dense graphs). We additionally show that an analogous bound holds for the weighted spanning tree enumerator of a (nonnegatively) weighted graph as well.


Tate Classes On Siegel 3 folds. This article proves that Tate classes on Siegel modular 3 folds are spanned by the images of Hilbert modular surfaces at degree 2 and by the images of Shimura curves at degree 4. The proof involves a careful study of the period pairing between degree 4 rapidly decreasing cohomological forms and Hilbert modular surfaces.


Renormalized solutions for stochastic p Laplace equations with L 1 initial data The multiplicative case. We consider a p Laplace evolution problem with multiplicative noise on a bounded domain D subset mathbb R d with homogeneous Dirichlet boundary conditions for 1 p infty . The random initial data is merely integrable. Consequently, the key estimates are available with respect to truncations of the solution. We introduce the notion of renormalized solutions for multiplicative stochastic p Laplace equations with L 1 initial data and study existence and uniqueness of solutions in this framework.