Finite time disturbance reconstruction and robust fractional order controller design for hybrid port Hamiltonian dynamics of biped robots. In this paper, disturbance reconstruction and robust trajectory tracking control of biped robots with hybrid dynamics in the port Hamiltonian form is investigated. A new type of Hamiltonian function is introduced, which ensures the finite time stability of the closed loop system. The proposed control system consists of two loops an inner and an outer loop. A fractional proportional integral derivative filter is used to achieve finite time convergence for position tracking errors at the outer loop. A fractional order sliding mode controller acts as a centralized controller at the inner loop, ensuring the finite time stability of the velocity tracking error. In this loop, the undesired effects of unknown external disturbance and parameter uncertainties are compensated using estimators. Two disturbance estimators are envisioned. The former is designed using fractional calculus. The latter is an adaptive estimator, and it is constructed using the general dynamic of biped robots. Stability analysis shows that the closed loop system is finite time stable in both contact less and impact phases. Simulation studies on two types of biped robots (i.e., two link walker and RABBIT biped robot) demonstrate the proposed controller's tracking performance and disturbance rejection capability.


Exposing Paid Opinion Manipulation Trolls. Recently, Web forums have been invaded by opinion manipulation trolls. Some trolls try to influence the other users driven by their own convictions, while in other cases they can be organized and paid, e.g., by a political party or a PR agency that gives them specific instructions what to write. Finding paid trolls automatically using machine learning is a hard task, as there is no enough training data to train a classifier yet some test data is possible to obtain, as these trolls are sometimes caught and widely exposed. In this paper, we solve the training data problem by assuming that a user who is called a troll by several different people is likely to be such, and one who has never been called a troll is unlikely to be such. We compare the profiles of (i) paid trolls vs. (ii)"mentioned" trolls vs. (iii) non trolls, and we further show that a classifier trained to distinguish (ii) from (iii) does quite well also at telling apart (i) from (iii).


MedNLI Is Not Immune Natural Language Inference Artifacts in the Clinical Domain. Crowdworker constructed natural language inference (NLI) datasets have been found to contain statistical artifacts associated with the annotation process that allow hypothesis only classifiers to achieve better than random performance (Poliak et al., 2018 Gururanganet et al., 2018 Tsuchiya, 2018). We investigate whether MedNLI, a physician annotated dataset with premises extracted from clinical notes, contains such artifacts (Romanov and Shivade, 2018). We find that entailed hypotheses contain generic versions of specific concepts in the premise, as well as modifiers related to responsiveness, duration, and probability. Neutral hypotheses feature conditions and behaviors that co occur with, or cause, the condition(s) in the premise. Contradiction hypotheses feature explicit negation of the premise and implicit negation via assertion of good health. Adversarial filtering demonstrates that performance degrades when evaluated on the difficult subset. We provide partition information and recommendations for alternative dataset construction strategies for knowledge intensive domains.


Spherical curves whose curvature depends on distance to a great circle. Motivated by a problem posed by David A. Singer in 1999 and by the elastic spherical curves, we study the spherical curves whose curvature is expressed in terms of the distance to a great circle (or from a point). By introducing the notion of spherical angular momentum, we provide new characterizations of some well known curves, like the mentioned elastic curves, spherical catenaries, loxodromic type spherical curves, the Viviani's curve, and the spherical Archimedean spirals curves. Furthermore, we show that they may be obtained as critical points of some energy curvature functionals. We also find out several new families of spherical curves whose intrinsic equations are expressed in terms of elementary functions or Jacobi elliptic functions, and we are able to get arc length parametrizations of them.


Quantitative Interpretations of Energetic Features and Key Residues at SARS Coronavirus Spike Receptor Binding Domain and ACE2 Receptor Interface. The wide spread of coronavirus disease 2019 (COVID 19) has declared a global health emergency. As one of the most important targets for antibody and drug developments, Spike RBD ACE2 interface has received extensive attention. Here, using molecular dynamics simulations, we explicitly evaluated the binding energetic features of the RBD ACE2 complex of both SARS CoV and SARS CoV 2 to find the key residues. Although the overall ACE2 binding mode of the SARS CoV 2 RBD is nearly identical to that of the SARS CoV RBD, the difference in binding affinity is as large as 16.35 kcal mol. Energy decomposition analyses identified three binding patches in the SARS CoV 2 RBD and eleven key residues (Phe486, Tyr505, Asn501, Tyr489, Gln493, Leu455 and etc) which are believed to be the main targets for drug development. The dominating forces are from van der Waals attractions and dehydration of these residues. It is also worth mention that we found seven mutational sites (Lys417, Leu455, Ala475, Gly476, Glu484, Gln498 and Val503) on SARS CoV 2 which unexpectedly weakened the RBD ACE2 binding. Very interestingly, the most repulsive residue at the RBD ACE2 interface (E484), is found to be mutated in the latest UK variant, B1.1.7, cause complete virus neutralization escapes from highly neutralizing COVID 19 convalescent plasma. Our present results indicate that at least from the energetic point of view such E484 mutation may have beneficial effects on ACE2 binding. The present study provides a systematical understanding, from the energetic point of view, of the binding features of SARS CoV 2 RBD with ACE2 acceptor. We hope that the present findings of three binding patches, key attracting residues and unexpected mutational sites can provide insights to the design of SARS CoV 2 drugs and identification of cross active antibodies.


TorchEsegeta Framework for Interpretability and Explainability of Image based Deep Learning Models. Clinicians are often very sceptical about applying automatic image processing approaches, especially deep learning based methods, in practice. One main reason for this is the black box nature of these approaches and the inherent problem of missing insights of the automatically derived decisions. In order to increase trust in these methods, this paper presents approaches that help to interpret and explain the results of deep learning algorithms by depicting the anatomical areas which influence the decision of the algorithm most. Moreover, this research presents a unified framework, TorchEsegeta, for applying various interpretability and explainability techniques for deep learning models and generate visual interpretations and explanations for clinicians to corroborate their clinical findings. In addition, this will aid in gaining confidence in such methods. The framework builds on existing interpretability and explainability techniques that are currently focusing on classification models, extending them to segmentation tasks. In addition, these methods have been adapted to 3D models for volumetric analysis. The proposed framework provides methods to quantitatively compare visual explanations using infidelity and sensitivity metrics. This framework can be used by data scientists to perform post hoc interpretations and explanations of their models, develop more explainable tools and present the findings to clinicians to increase their faith in such models. The proposed framework was evaluated based on a use case scenario of vessel segmentation models trained on Time of fight (TOF) Magnetic Resonance Angiogram (MRA) images of the human brain. Quantitative and qualitative results of a comparative study of different models and interpretability methods are presented. Furthermore, this paper provides an extensive overview of several existing interpretability and explainability methods.


Conditional stability up to the final time for backward parabolic equations with Log Lipschitz coefficients. We prove logarithmic conditional stability up to the final time for backward parabolic operators whose coefficients are Log Lipschitz continuous in t and Lipschitz continuous in x . The result complements previous achievements of Del Santo and Prizzi (2009) and Del Santo, Jaeh and Prizzi (2015), concerning conditional stability (of a type intermediate between Hoelder and logarithmic), arbitrarily closed, but not up to the final time.


Drawing Robust Scratch Tickets Subnetworks with Inborn Robustness Are Found within Randomly Initialized Networks. Deep Neural Networks (DNNs) are known to be vulnerable to adversarial attacks, i.e., an imperceptible perturbation to the input can mislead DNNs trained on clean images into making erroneous predictions. To tackle this, adversarial training is currently the most effective defense method, by augmenting the training set with adversarial samples generated on the fly. Interestingly, we discover for the first time that there exist subnetworks with inborn robustness, matching or surpassing the robust accuracy of the adversarially trained networks with comparable model sizes, within randomly initialized networks without any model training, indicating that adversarial training on model weights is not indispensable towards adversarial robustness. We name such subnetworks Robust Scratch Tickets (RSTs), which are also by nature efficient. Distinct from the popular lottery ticket hypothesis, neither the original dense networks nor the identified RSTs need to be trained. To validate and understand this fascinating finding, we further conduct extensive experiments to study the existence and properties of RSTs under different models, datasets, sparsity patterns, and attacks, drawing insights regarding the relationship between DNNs' robustness and their initialization overparameterization. Furthermore, we identify the poor adversarial transferability between RSTs of different sparsity ratios drawn from the same randomly initialized dense network, and propose a Random RST Switch (R2S) technique, which randomly switches between different RSTs, as a novel defense method built on top of RSTs. We believe our findings about RSTs have opened up a new perspective to study model robustness and extend the lottery ticket hypothesis.


Hamilton Jacobi equations for controlled gradient flows the comparison principle. Motivated by recent developments in the fields of large deviations for interacting particle system and mean field control, we establish a comparison principle for the Hamilton Jacobi equation corresponding to linearly controlled gradient flows of an energy function cE defined on a metric space (E,d) . Our analysis is based on a systematic use of the regularizing properties of gradient flows in evolutional variational inequality (EVI) formulation, that we exploit for constructing rigorous upper and lower bounds for the formal Hamiltonian at hand and, in combination with the use of the Tataru's distance, for establishing the key estimates needed to bound the difference of the Hamiltonians in the proof of the comparison principle. Our abstract results apply to a large class of examples only partially covered by the existing theory, including gradient flows on Hilbert spaces and the Wasserstein space equipped with a displacement convex energy functional cE satisfying McCann's condition.


Nonlocal problem with conjugation conditions for a degenerate higher order equations with the Caputo fractional derivative. In this paper, for a degenerate higher order equation with a fractional derivative in the sense of Caputo, a nonlocal problem with conjugation conditions in a rectangular domain is studied. The solution is constructed in the form of a Fourier series in the eigenfunctions of a one dimensional problem. A criterion for the uniqueness of a solution is given.


Factors Enhancing E Government Service Gaps in a Developing Country Context. Globally, the discourse of e government has gathered momentum in public service delivery. No country has been left untouched in the implementation of e government. Several government departments and agencies are now using information and communication technology (ICTs) to deliver government services and information to citizens, other government departments, and businesses. However, most of the government departments have not provided all of their services electronically or at least the most important ones. Thus, this creates a phenomenon of e government service gaps. The objective of this study was to investigate the contextual factors enhancing e government service gaps in a developing country. To achieve this aim, the TOE framework was employed together with a qualitative case study to guide data collection and analysis. The data was collected through semi structured interviews from government employees who are involved in the implementation of e government services in Zimbabwe as well as from citizens and businesses. Eleven (11) factors were identified and grouped under the TOE framework. This research contributes significantly to the implementation and utilisation of e government services in Zimbabwe. The study also contributes to providing a strong theoretical understanding of the factors that enhance e government service gaps explored in the research model.


Crystal bases of modified imath quantum groups of certain quasi split types. In order to see the behavior of imath canonical bases at q infty , we introduce the notion of imath crystals associated to an imath quantum group of certain quasi split type. The theory of imath crystals clarifies why imath canonical basis elements are not always preserved under natural homomorphisms. Also, we construct a projective system of imath crystals whose projective limit can be thought of as the imath canonical basis of the modified imath quantum group at q infty .


Extremal Binary PFAs with Small Number of States. The largest known reset thresholds for DFAs are equal to (n 1) 2 , where n is the number of states. This is conjectured to be the maximum possible. PFAs (with partial transition function) can have exponentially large reset thresholds. This is still true if we restrict to binary PFAs. However, asymptotics do not give conclusions for fixed n . We prove that the maximal reset threshold for binary PFAs is strictly greater than (n 1) 2 if and only if n geq 6 . These results are mostly based on the analysis of synchronizing word lengths for a certain family of binary PFAs. This family has the following properties it contains the well known v C ern 'y automata for n leq 10 it contains a binary PFA with maximal possible reset threshold for all n geq 6 it contains a PFA with reset threshold larger than the maximum known for DFAs. Analysis of this family reveals remarkable patterns involving the Fibonacci numbers and related sequences such as the Padovan sequence. We derive explicit formulas for the reset thresholds in terms of these recurrent sequences. Asymptotically the v C ern 'y family gives reset thresholds of polynomial order. We prove that PFAs in the family are not extremal for n geq 41 . For that purpose, we present an improvement of Martyugin's prime number construction of binary PFAs.


Track to Detect and Segment An Online Multi Object Tracker. Most online multi object trackers perform object detection stand alone in a neural net without any input from tracking. In this paper, we present a new online joint detection and tracking model, TraDeS (TRAck to DEtect and Segment), exploiting tracking clues to assist detection end to end. TraDeS infers object tracking offset by a cost volume, which is used to propagate previous object features for improving current object detection and segmentation. Effectiveness and superiority of TraDeS are shown on 4 datasets, including MOT (2D tracking), nuScenes (3D tracking), MOTS and Youtube VIS (instance segmentation tracking). Project page https jialianwu.com projects TraDeS.html.


Progressive Localization Networks for Language based Moment Localization. This paper targets the task of language based video moment localization. The language based setting of this task allows for an open set of target activities, resulting in a large variation of the temporal lengths of video moments. Most existing methods prefer to first sample sufficient candidate moments with various temporal lengths, and then match them with the given query to determine the target moment. However, candidate moments generated with a fixed temporal granularity may be suboptimal to handle the large variation in moment lengths. To this end, we propose a novel multi stage Progressive Localization Network (PLN) which progressively localizes the target moment in a coarse to fine manner. Specifically, each stage of PLN has a localization branch, and focuses on candidate moments that are generated with a specific temporal granularity. The temporal granularities of candidate moments are different across the stages. Moreover, we devise a conditional feature manipulation module and an upsampling connection to bridge the multiple localization branches. In this fashion, the later stages are able to absorb the previously learned information, thus facilitating the more fine grained localization. Extensive experiments on three public datasets demonstrate the effectiveness of our proposed PLN for language based moment localization, especially for localizing short moments in long videos.


The density Tur 'an problem for hypergraphs. Given a k graph H a complete blow up of H is a k graph hat H formed by replacing each v in V(H) by a non empty vertex class A v and then inserting all edges between any k vertex classes corresponding to an edge of H . Given a subgraph G subseteq hat H and an edge e in E(H) we define the density d e(G) to be the proportion of edges present in G between the classes corresponding to e . The density Tur 'an problem for H asks determine the minimal value d crit (H) such that any subgraph G subseteq hat H satisfying d e(G) d crit (H) for every e in E(H) contains a copy of H as a transversal, i.e. a copy of H meeting each vertex class of hat H exactly once. We give upper bounds for this hypergraph density Tur 'an problem that generalise the known bounds for the case of graphs due to Csikv 'ari and Nagy, Combinatorics, Probability and Computing, 21(4) 531 553, 2012 although our methods are different, employing an entropy compression argument.


Spiking hierarchy in an adaptive exponential integrate and fire network synchronization. Neuronal network synchronization has received wide interests. Network connection structure is known to play a key role in its synchronization. In the present manuscript, we study the influence of initial membrane potentials together with network topology on bursting synchronization, in particular the sequential spiking order in stabilized inter bursts. We find a hierarchical phenomenon on spiking order. We grade neurons into different layers primary neurons are those initiate the spike and lower layer neurons are then determined via network connections successively. This constructs a directed graph to indicate spiking propagation among different layers of neurons. Neurons in upper layers spike earlier than those in lower layers. More interestingly, we find that among the same layer, neuron spiking order is mainly associated with stimuli they receive from upper layer via network connections more stimuli leads to earlier spiking. Furthermore, we find that with effectively the same stimuli from upper layer, neurons with less connections spike earlier.


Arithmetic statistics for Galois deformation rings. Given an elliptic curve E defined over the rational numbers and a prime p at which E has good reduction, we consider the Galois deformation ring parametrizing lifts of the residual representation on the p torsion group E p . For a fixed elliptic curve without complex multiplication, it is shown that these deformation rings are unobstructed for all but finitely many primes. For a fixed prime p and varying elliptic curve E , we relate the problem to the question of how often p does not divide the modular degree. Heuristics due to M.Watkins based on those of Cohen and Lenstra indicate that this proportion should be prod i geq 1 left(1 frac 1 p i right) approx 1 frac 1 p frac 1 p 2 . This heuristic is supported by computations which indicate that most elliptic curves (satisfying further conditions) have smooth deformation rings at a given prime p geq 5 , and this proportion comes close to 100 as p gets larger.


DRANet Disentangling Representation and Adaptation Networks for Unsupervised Cross Domain Adaptation. In this paper, we present DRANet, a network architecture that disentangles image representations and transfers the visual attributes in a latent space for unsupervised cross domain adaptation. Unlike the existing domain adaptation methods that learn associated features sharing a domain, DRANet preserves the distinctiveness of each domain's characteristics. Our model encodes individual representations of content (scene structure) and style (artistic appearance) from both source and target images. Then, it adapts the domain by incorporating the transferred style factor into the content factor along with learnable weights specified for each domain. This learning framework allows bi multi directional domain adaptation with a single encoder decoder network and aligns their domain shift. Additionally, we propose a content adaptive domain transfer module that helps retain scene structure while transferring style. Extensive experiments show our model successfully separates content style factors and synthesizes visually pleasing domain transferred images. The proposed method demonstrates state of the art performance on standard digit classification tasks as well as semantic segmentation tasks.


Learning with distributional inverters. We generalize the "indirect learning" technique of Furst et. al., 1991 to reduce from learning a concept class over a samplable distribution mu to learning the same concept class over the uniform distribution. The reduction succeeds when the sampler for mu is both contained in the target concept class and efficiently invertible in the sense of Impagliazzo Luby, 1989. We give two applications. We show that AC0 q is learnable over any succinctly described product distribution. AC0 q is the class of constant depth Boolean circuits of polynomial size with AND, OR, NOT, and counting modulo q gates of unbounded fanins. Our algorithm runs in randomized quasi polynomial time and uses membership queries. If there is a strongly useful natural property in the sense of Razborov Rudich 1997 an efficient algorithm that can distinguish between random strings and strings of non trivial circuit complexity then general polynomial sized Boolean circuits are learnable over any efficiently samplable distribution in randomized polynomial time, given membership queries to the target function


ExoMol molecular line lists XLIII Rovibronic molecular line list the low lying two states of NaO. The sodium monoxide radical (NaO) is observed in night glow in the Earth's mesosphere and likely has astronomical importance. This study concerns the optical transitions within the ground X 2 Pi state and to the very low lying ( T textrm e approx 2000 cm 1 ) excited A 2 Sigma state. A line list consisting of rovibronic term values, allowed electric dipole transitions, Einstein coefficients, and partition functions for varying temperature are produced due to a variational solution of the coupled channel Schr " o dinger equations using the program Duo. MRCI textit ab initio calculations characterising the potential energy curves of the both states, spin orbit and L uncoupling non adiabatic matrix elements, as well as permanent and transition dipole moments were integral in formation of the final deperturbation model. textit Ab initio potential energy curves are represented in the analytical Extended Morse Oscillator form and refined, along with the spin orbit and L uncoupling functions, by least squares fitting to the available spectroscopic data. The input experimental data consisted of pure rotational transitions within the fine structure components of the X 2 Pi state for v'' in 0,3 vibrational levels as well as the rovibronic A 2 Sigma (v' 0) leftarrow X 2 Pi(v'' 0) transitions, both with limited coverage over rotational excitation. The lack of data detailing the vibrational structure of the X and A states prompts a request for further experimental study of higher excited levels which would provide a robust spectroscopic model. The NaO NaOUCMe line list is available via www.exomol.com and the CDS database.


Unsupervised Domain Adaptation for Semantic Segmentation via Low level Edge Information Transfer. Unsupervised domain adaptation for semantic segmentation aims to make models trained on synthetic data (source domain) adapt to real images (target domain). Previous feature level adversarial learning methods only consider adapting models on the high level semantic features. However, the large domain gap between source and target domains in the high level semantic features makes accurate adaptation difficult. In this paper, we present the first attempt at explicitly using low level edge information, which has a small inter domain gap, to guide the transfer of semantic information. To this end, a semantic edge domain adaptation architecture is proposed, which uses an independent edge stream to process edge information, thereby generating high quality semantic boundaries over the target domain. Then, an edge consistency loss is presented to align target semantic predictions with produced semantic boundaries. Moreover, we further propose two entropy reweighting methods for semantic adversarial learning and self supervised learning, respectively, which can further enhance the adaptation performance of our architecture. Comprehensive experiments on two UDA benchmark datasets demonstrate the superiority of our architecture compared with state of the art methods.


Gradient Flows and Nonlinear Power Methods for the Computation of Nonlinear Eigenfunctions. This chapter describes how gradient flows and nonlinear power methods in Banach spaces can be used to solve nonlinear eigenvector dependent eigenvalue problems, and how convergence of (discretized) approximations can be verified. We review several flows from literature, which were proposed to compute nonlinear eigenfunctions, and show that they all relate to normalized gradient flows. Furthermore, we show that the implicit Euler discretization of gradient flows gives rise to a nonlinear power method of the proximal operator and prove their convergence to nonlinear eigenfunctions. Finally, we prove that Gamma convergence of functionals implies convergence of their ground states, which is important for discrete approximations.


Re picturing viscoelastic drag reducing turbulence by introducing dynamics of elasto inertial turbulence. Recently, the nature of viscoelastic drag reducing turbulence (DRT), especially maximum drag reduction (MDR) state, has become a focus of controversy. It has long been regarded as polymers modulated inertial turbulence (IT), but is challenged by the newly proposed concept of elasto inertial turbulence (EIT). This study is to re picture DRT in parallel plane channels by introducing dynamics of EIT based on statistical and budget analysis for a series of flow regimes from the onset of DR to EIT. Energy conversion between velocity fluctuations and polymers as well as polymeric pressure redistribution effect are of particular concern, based on which a new energy self sustaining process (SSP) of DRT is re pictured. The numerical results indicate that at low Reynolds number (Re), the flow enters laminar regime before EIT related SSP is formed with the increase of elasticity, whereas, at moderate Re, EIT related SSP can get involved and survive from being relaminarized. This somehow explains the reason why relaminarization is observed for small Re while the flow directly enters MDR and EIT at moderate Re. Moreover, with the proposed energy picture, the newly discovered phenomenon that the streamwise velocity fluctuations lag behind those in wall normal direction can be well explained. The re pictured SSP certainly justify that IT nature is gradually replaced by that of EIT in DRT with the increase of elasticity.


Refiner Refining Self attention for Vision Transformers. Vision Transformers (ViTs) have shown competitive accuracy in image classification tasks compared with CNNs. Yet, they generally require much more data for model pre training. Most of recent works thus are dedicated to designing more complex architectures or training methods to address the data efficiency issue of ViTs. However, few of them explore improving the self attention mechanism, a key factor distinguishing ViTs from CNNs. Different from existing works, we introduce a conceptually simple scheme, called refiner, to directly refine the self attention maps of ViTs. Specifically, refiner explores attention expansion that projects the multi head attention maps to a higher dimensional space to promote their diversity. Further, refiner applies convolutions to augment local patterns of the attention maps, which we show is equivalent to a distributed local attention features are aggregated locally with learnable kernels and then globally aggregated with self attention. Extensive experiments demonstrate that refiner works surprisingly well. Significantly, it enables ViTs to achieve 86 top 1 classification accuracy on ImageNet with only 81M parameters.


A second order accurate numerical scheme for a time fractional Fokker Planck equation. A time stepping L1 scheme for solving a time fractional Fokker Planck equation of order alpha in (0, 1) , with a general driving force, is investigated. A stability bound for the semi discrete solution is obtained for alpha in(1 2,1) via a novel and concise approach. Our stability estimate is alpha robust in the sense that it remains valid in the limiting case where alpha approaches 1 (when the model reduces to the classical Fokker Planck equation), a limit that presents practical importance. Concerning the error analysis, we obtain an optimal second order accurate estimate for alpha in(1 2,1) . A time graded mesh is used to compensate for the singular behavior of the continuous solution near the origin. The L1 scheme is associated with a standard spatial Galerkin finite element discretization to numerically support our theoretical contributions. We employ the resulting fully discrete computable numerical scheme to perform some numerical tests. These tests suggest that the imposed time graded meshes assumption could be further relaxed, and we observe second order accuracy even for the case alpha in(0,1 2 , that is, outside the range covered by the theory.


In game Residential Home Planning via Visual Context aware Global Relation Learning. In this paper, we propose an effective global relation learning algorithm to recommend an appropriate location of a building unit for in game customization of residential home complex. Given a construction layout, we propose a visual context aware graph generation network that learns the implicit global relations among the scene components and infers the location of a new building unit. The proposed network takes as input the scene graph and the corresponding top view depth image. It provides the location recommendations for a newly added building units by learning an auto regressive edge distribution conditioned on existing scenes. We also introduce a global graph image matching loss to enhance the awareness of essential geometry semantics of the site. Qualitative and quantitative experiments demonstrate that the recommended location well reflects the implicit spatial rules of components in the residential estates, and it is instructive and practical to locate the building units in the 3D scene of the complex construction.


Bi Level Poisoning Attack Model and Countermeasure for Appliance Consumption Data of Smart Homes. Accurate building energy prediction is useful in various applications starting from building energy automation and management to optimal storage control. However, vulnerabilities should be considered when designing building energy prediction models, as intelligent attackers can deliberately influence the model performance using sophisticated attack models. These may consequently degrade the prediction accuracy, which may affect the efficiency and performance of the building energy management systems. In this paper, we investigate the impact of bi level poisoning attacks on regression models of energy usage obtained from household appliances. Furthermore, an effective countermeasure against the poisoning attacks on the prediction model is proposed in this paper. Attacks and defenses are evaluated on a benchmark dataset. Experimental results show that an intelligent cyber attacker can poison the prediction model to manipulate the decision. However, our proposed solution successfully ensures defense against such poisoning attacks effectively compared to other benchmark techniques.


Theory of perturbation of electric potential by a 3D object made of an anisotropic dielectric material. The extended boundary condition method (EBCM) was formulated for the perturbation of a source electric potential by a 3D object composed of a homogeneous anisotropic dielectric medium whose relative permittivity dyadic is positive definite. The formulation required the application of Green's second identity to the exterior region to deduce the electrostatic counterpart of the Ewald Oseen extinction theorem. The electric potential inside the object was represented using a basis obtained by implementing an affine bijective transformation of space to the Gauss equation for the electric field. The EBCM yields a transition matrix that depends on the geometry and the composition of the 3D object, but not on the source potential.


New View of Seismic Risk Assessment and Reduction of Accumulated Tectonic Stress Based on Earthquake Prediction. Paper presents a new view of seismic risk and tectonic stress reduction in the earthquake focus


Collaborative Causal Discovery with Atomic Interventions. We introduce a new Collaborative Causal Discovery problem, through which we model a common scenario in which we have multiple independent entities each with their own causal graph, and the goal is to simultaneously learn all these causal graphs. We study this problem without the causal sufficiency assumption, using Maximal Ancestral Graphs (MAG) to model the causal graphs, and assuming that we have the ability to actively perform independent single vertex (or atomic) interventions on the entities. If the M underlying (unknown) causal graphs of the entities satisfy a natural notion of clustering, we give algorithms that leverage this property and recovers all the causal graphs using roughly logarithmic in M number of atomic interventions per entity. These are significantly fewer than n atomic interventions per entity required to learn each causal graph separately, where n is the number of observable nodes in the causal graph. We complement our results with a lower bound and discuss various extensions of our collaborative setting.


An Improved Approximation for Maximum k Dependent Set on Bipartite Graphs. We present a (1 frac k k 2 ) approximation algorithm for the Maximum k dependent Set problem on bipartite graphs for any k ge1 . For a graph with n vertices and m edges, the algorithm runs in O(k m sqrt n ) time and improves upon the previously best known approximation ratio of 1 frac k k 1 established by Kumar et al. Theoretical Computer Science, 526 90 96 (2014) . Our proof also indicates that the algorithm retains its approximation ratio when applied to the (more general) class of K " o nig Egerv ' a ry graphs.


On pure MDS asymmetric entanglement assisted quantum error correcting codes. Recently, Galindo et al. introduced the concept of asymmetric entanglement assisted quantum error correcting codes (AEAQECCs) from Calderbank Shor Steane (CSS) construction. In general, it's difficult to determine the required number of maximally entangled states of an AEAQECC, which is associated with the dimension of the intersection of the two corresponding linear codes. Two linear codes are said to be a linear l intersection pair if their intersection has dimension l. In this paper, all possible linear l intersection pairs of MDS codes are given. As an application, we give a complete characterization of pure MDS AEAQECCs for all possible parameters.


A New Adaptive Gradient Method with Gradient Decomposition. Adaptive gradient methods, especially Adam type methods (such as Adam, AMSGrad, and AdaBound), have been proposed to speed up the training process with an element wise scaling term on learning rates. However, they often generalize poorly compared with stochastic gradient descent (SGD) and its accelerated schemes such as SGD with momentum (SGDM). In this paper, we propose a new adaptive method called DecGD, which simultaneously achieves good generalization like SGDM and obtain rapid convergence like Adam type methods. In particular, DecGD decomposes the current gradient into the product of two terms including a surrogate gradient and a loss based vector. Our method adjusts the learning rates adaptively according to the current loss based vector instead of the squared gradients used in Adam type methods. The intuition for adaptive learning rates of DecGD is that a good optimizer, in general cases, needs to decrease the learning rates as the loss decreases, which is similar to the learning rates decay scheduling technique. Therefore, DecGD gets a rapid convergence in the early phases of training and controls the effective learning rates according to the loss based vectors which help lead to a better generalization. Convergence analysis is discussed in both convex and non convex situations. Finally, empirical results on widely used tasks and models demonstrate that DecGD shows better generalization performance than SGDM and rapid convergence like Adam type methods.


Affine mobi spaces. The category of mobi algebras has been introduced as a model to the unit interval of real numbers. The notion of mobi space over a mobi algebra has been proposed as a model for spaces with geodesic paths. In this paper we analyse the particular case of affine mobi spaces and show that there is an isomorphism of categories between R modules and pointed affine mobi spaces over a mobi algebra R as soon as R is a unitary ring in which 2 is an invertible element.


Percolation phase transition on planar spin systems. In this article we study the sharpness of the phase transition for percolation models defined on top of planar spin systems. The two examples that we treat in detail concern the Glauber dynamics for the Ising model and a Dynamic Bootstrap process. For both of these models we prove that their phase transition is continuous and sharp, providing also quantitative estimates on the two point connectivity. The techniques that we develop in this work can be applied to a variety of different dependent percolation models and we discuss some of the problems that can be tackled in a similar fashion. In the last section of the paper we present a long list of open problems that would require new ideas to be attacked.


Zeros of Rankin Selberg L functions in families. Let mathfrak F n be the set of all cuspidal automorphic representations pi of mathrm GL n with unitary central character over a number field F . We prove the first unconditional zero density estimate for the set mathcal S L(s, pi times pi') colon pi in mathfrak F n of Rankin Selberg L functions, where pi' in mathfrak F n' is fixed. We use this density estimate to prove (i) a strong average form of effective multiplicity one for mathrm GL n (ii) that given pi in mathfrak F n defined over mathbb Q , the convolution pi times tilde pi has a positive level of distribution in the sense of Bombieri Vinogradov (iii) that almost all L(s, pi times pi') in mathcal S have a hybrid aspect subconvexity bound on mathrm Re (s) frac 1 2 (iv) a hybrid aspect power saving upper bound for the variance in the discrepancy of the measures varphi(x iy) 2 y 2 dxdy associated to mathrm GL 2 Hecke Maass newforms varphi with trivial nebentypus, extending work of Luo and Sarnak for level 1 cusp forms and (v) a nonsplit analogue of quantum ergodicity almost all restrictions of Hilbert Hecke Maass newforms to the modular surface dissipate as their Laplace eigenvalues grow.


Evaluating Contrastive Models for Instance based Image Retrieval. In this work, we evaluate contrastive models for the task of image retrieval. We hypothesise that models that are learned to encode semantic similarity among instances via discriminative learning should perform well on the task of image retrieval, where relevancy is defined in terms of instances of the same object. Through our extensive evaluation, we find that representations from models trained using contrastive methods perform on par with (and outperforms) a pre trained supervised baseline trained on the ImageNet labels in retrieval tasks under various configurations. This is remarkable given that the contrastive models require no explicit supervision. Thus, we conclude that these models can be used to bootstrap base models to build more robust image retrieval engines.


Nilpotents Leave No Trace A Matrix Mystery for Pandemic Times. Reopening a cold case, inspector Echelon, high ranking in the Row Operations Center, is searching for a lost linear map, known to be nilpotent. When a partially decomposed matrix is unearthed, he reconstructs its reduced form, finding it singular. But were its roots nilpotent?


Gluing theory for slc surfaces and threefolds in positive characteristic. We develop a gluing theory in the sense of Koll ' a r for slc surfaces and threefolds in positive characteristic. For surfaces we are able to deal with every positive characteristic p , while for threefolds we assume that p 5 . Along the way we study nodes in characteristic 2 and establish a theory of sources and springs a la Koll ' a r for threefolds. We also give applications to the topology of lc centers on slc threefolds, and to the projectivity of the moduli space of stable surfaces in characteristic p 5 .


MoDist Motion Distillation for Self supervised Video Representation Learning. We present MoDist as a novel method to explicitly distill motion information into self supervised video representations. Compared to previous video representation learning methods that mostly focus on learning motion cues implicitly from RGB inputs, we show that the representation learned with our MoDist method focus more on foreground motion regions and thus generalizes better to downstream tasks. To achieve this, MoDist enriches standard contrastive learning objectives for RGB video clips with a cross modal learning objective between a Motion pathway and a Visual pathway. We evaluate MoDist on several datasets for both action recognition (UCF101 HMDB51 SSv2) as well as action detection (AVA), and demonstrate state of the art self supervised performance on all datasets. Furthermore, we show that MoDist representation can be as effective as (in some cases even better than) representations learned with full supervision. Given its simplicity, we hope MoDist could serve as a strong baseline for future research in self supervised video representation learning.


Large Angle MIEZE with Extended Fourier Time. Modulation of Intensity Emerging from Zero Effort (MIEZE) is a neutron resonant spin echo technique which allows one to measure time correlation scattering functions in materials by implementing radio frequency (RF) intensity modulation at the sample and detector. The technique avoids neutron spin manipulation between the sample and the detector, and thus could find applications in cases where the sample depolarizes the neutron beam. However, the finite sample size creates a variance in path length between the locations where scattering and detection happens, which limits the contrast in intensity modulation that one can detect, in particular towards long correlation times or large scattering angles. We propose a modification to the MIEZE setup that will enable one to extend those detection limits to longer times and larger angles. We use Monte Carlo simulations of a neutron scattering beam line to show that, by tilting the RF flippers in the primary spectrometer with respect to the beam direction, one can shape the wave front of the intensity modulation at the sample to compensate for the path variance from the sample and the detector. The simulation results indicate that this change enables one to operate a MIEZE instrument at much increased RF frequencies, thus improving the effective energy resolution of the technique. The simulations show that for an incident beam with maximum divergence of 0.33 circ , the maximum Fourier time can be increased by a factor of 3.


Acceleration of tracer and light particles in compressible homogeneous isotropic turbulence. The accelerations of tracer and light particles in compressible homogeneous isotropic turbulence (CHIT) is investigated by using data from direct numerical simulations (DNS) up to turbulent Mach number M t 1 . For tracer particles, the flatness factor of acceleration components, F a , increases gradually for M t in 0.3, 1 . On the contrary, F a for light particles develops a maximum around M t sim 0.6 . The PDF of longitudinal acceleration of tracers is increasingly skewed towards the negative value as M t increases. By contrast, for light particles, the skewness factor of longitudinal acceleration, S a , firstly becomes more negative with the increase of M t , and then goes back to 0 when M t is larger than 0.6 . Similarly, differences among tracers and light particles appear also in the zero crossing time of acceleration correlation. It is argued that all these phenomenons are intimately linked to the flow structures in compression regions, e.g. close to shocklets.


Identifiability of linear compartmental tree models. A foundational question in the theory of linear compartmental models is how to assess whether a model is identifiable that is, whether parameter values can be inferred from noiseless data directly from the combinatorics of the model. We completely answer this question for those models (with one input and one output) in which the underlying graph is a bidirectional tree. Such models include two families of models appearing often in biological applications catenary and mammillary models. Our proofs are enabled by two supporting results, which are interesting in their own right. First, we give the first general formula for the coefficients of input output equations (certain equations that can be used to determine identifiability). Second, we prove that identifiability is preserved when a model is enlarged in specific ways involving adding a new compartment with a bidirected edge to an existing compartment.


The bang bang property in some parabolic bilinear optimal control problems emph via two scale asymptotic expansions. We investigate the bang bang property for fairly general classes of L infty L 1 constrained bilinear optimal control problems in two cases that of the one dimensional torus, in which case we consider parabolic equations, and that of general d dimensional domains for time discrete parabolic models. Such a study is motivated by several applications in applied mathematics, most importantly in the study of reaction diffusion models. The main equation in the one dimensional case writes partial t u m Delta u m mu m f(t,x,u m) , where m m(x) is the control, which must satisfy some L infty bounds ( 0 leq m leq 1 a.e.) and an L 1 constraint ( int m m 0 is fixed), and where f is a non linearity that must only satisfy that any solution of this equation is positive at any given time. The time discrete models are simply time discretisations of such equations. The functionals we seek to optimise are rather general in the case of the torus, they write mathcal J(m) iint (0,T) times mathbb T j 1(t,x,u m) int mathbb T j 2(x,u m(T, cdot)) . Roughly speaking we prove in this article that, if j 1 and j 2 are increasing, then any maximiser m of mathcal J is bang bang in the sense that it writes m 1 E for some subset E of the torus. It should be noted that such a result rewrites as an existence property for a shape optimisation problem. We prove an analogous result for time discrete systems in any dimension. Our proofs rely on second order optimality conditions, combined with a fine study of two scale asymptotic expansions. In the conclusion of this article, we offer several possible generalisations of our results to more involved situations (for instance for controls of the form m varphi(u m) ), and we discuss the limits of our methods by explaining which difficulties may arise in other contexts.


Assembly Planning by Recognizing a Graphical Instruction Manual. This paper proposes a robot assembly planning method by automatically reading the graphical instruction manuals design for humans. Essentially, the method generates an Assembly Task Sequence Graph (ATSG) by recognizing a graphical instruction manual. An ATSG is a graph describing the assembly task procedure by detecting types of parts included in the instruction images, completing the missing information automatically, and correcting the detection errors automatically. To build an ATSG, the proposed method first extracts the information of the parts contained in each image of the graphical instruction manual. Then, by using the extracted part information, it estimates the proper work motions and tools for the assembly task. After that, the method builds an ATSG by considering the relationship between the previous and following images, which makes it possible to estimate the undetected parts caused by occlusion using the information of the entire image series. Finally, by collating the total number of each part with the generated ATSG, the excess or deficiency of parts are investigated, and task procedures are removed or added according to those parts. In the experiment section, we build an ATSG using the proposed method to a graphical instruction manual for a chair and demonstrate the action sequences found in the ATSG can be performed by a dual arm robot execution. The results show the proposed method is effective and simplifies robot teaching in automatic assembly.


Half Duplex Attack An Effectual Attack Modelling in D2D Communication. The visualization of future generation Wireless Communication Network WCN redirects the presumption of onward innovations, the fulfillment of user demands in the form of high data rates, energy efficiency, low latency, and long range services. To content these demands, various technologies such as massive MIMO Multiple Input Multiple Output, UDN Ultra Dense Network, spectrum sharing, D2D Device to Device communication were improvised in the next generation WCN. In comparison to previous technologies, these technologies exhibit flat architecture, the involvement of clouds in the network, centralized architecture incorporating small cells which creates vulnerable breaches initiating menaces to the security of the network. The half duplex attack is another threat to the WCN, where the resource spoofing mechanism is attained in the downlink phase of D2D communication. Instead of triggering an attack on both uplink and downlink, solely downlink is targeted by the attacker. This scheme allows the reduced failed attempt rate of the attacker as compared to the conventional attacks. The analysis is determined on the basis of Poissons distribution to determine the probability of failed attempts of half duplex attack in contrast to a full duplex attack


Specular Reflection from the Great Pyramid at Giza. The pyramids of ancient Egypt are said to have shone brilliantly in the sun. Surfaces of polished limestone would not only have reflected diffusely in all directions, but would also likely have produced specular reflections in particular directions. Reflections toward points on the horizon would have been visible from large distances. On a particular day and time when the sun was properly situated, an observer stationed at a distant site would have seen a momentary flash as the sun's reflection moved across the face of the pyramid. The positions of the sun that are reflected to the horizon are confined to narrow arcs in the sky, one arc for each side of the pyramid. We model specular reflections from the pyramid of Khufu and derive the annual dates and times when they would have been visible at important ancient sites. Certain of these events might have coincided with significant dates on the Egyptian calendar, as well as with solar equinoxes, solstices and cross quarter days. The celebration of Wepet Renpet, which at the time of the pyramid's construction occurred near the spring cross quarter day, would have been marked by a specular sweep of sites on the southern horizon. On the autumn and winter cross quarter days reflections would have been directed to Heliopolis. We suggest that on those days the pyramidion of Khafre might have been visible in specular reflection over the truncated top of Khufu's pyramid.


MomentClosure.jl automated moment closure approximations in Julia. MomentClosure.jl is a Julia package providing automated derivation of the time evolution equations of the moments of molecule numbers for virtually any chemical reaction network using a wide range of moment closure approximations. It extends the capabilities of modelling stochastic biochemical systems in Julia and can be particularly useful when exact analytic solutions of the chemical master equation are unavailable and when Monte Carlo simulations are computationally expensive. MomentClosure.jl is freely accessible under the MIT license. Source code and documentation are available at https github.com augustinas1 MomentClosure.jl


AQEyes Visual Analytics for Anomaly Detection and Examination of Air Quality Data. Anomaly detection plays a key role in air quality analysis by enhancing situational awareness and alerting users to potential hazards. However, existing anomaly detection approaches for air quality analysis have their own limitations regarding parameter selection (e.g., need for extensive domain knowledge), computational expense, general applicability (e.g., require labeled data), interpretability, and the efficiency of analysis. Furthermore, the poor quality of collected air quality data (inconsistently formatted and sometimes missing) also increases the difficulty of analysis substantially. In this paper, we systematically formulate design requirements for a system that can solve these limitations and then propose AQEyes, an integrated visual analytics system for efficiently monitoring, detecting, and examining anomalies in air quality data. In particular, we propose a unified end to end tunable machine learning pipeline that includes several data pre processors and featurizers to deal with data quality issues. The pipeline integrates an efficient unsupervised anomaly detection method that works without the use of labeled data and overcomes the limitations of existing approaches. Further, we develop an interactive visualization system to visualize the outputs from the pipeline. The system incorporates a set of novel visualization and interaction designs, allowing analysts to visually examine air quality dynamics and anomalous events in multiple scales and from multiple facets. We demonstrate the performance of this pipeline through a quantitative evaluation and show the effectiveness of the visualization system using qualitative case studies on real world datasets.


Polyhedral Analysis of a Polytope from a Service Center Location Problem with a Type of Decision Dependent Customer Demand. The polytope from a service center location problem with a special location dependent demand has been investigated in this paper. The location dependent demand is defined based on a maximum attraction principle assumption. Along this direction, the intersection polytope of the capacity constraints and demand constraints yields a novel polyhedral structure. The structure is investigated in this paper via a family of valid and facet defining inequalities that can reflect the change of demand fulfillment in a neighborhood.


Zeroth order randomized block methods for constrained minimization of expectation valued Lipschitz continuous functions. We consider the minimization of an L 0 Lipschitz continuous and expectation valued function, denoted by f and defined as f(x) triangleq mathbb E tilde f (x, omega) , over a Cartesian product of closed and convex sets with a view towards obtaining both asymptotics as well as rate and complexity guarantees for computing an approximate stationary point (in a Clarke sense). We adopt a smoothing based approach reliant on minimizing f eta where f eta (x) triangleq mathbb E u f(x eta u) , u is a random variable defined on a unit sphere, and eta 0 . In fact, it is observed that a stationary point of the eta smoothed problem is a 2 eta stationary point for the original problem in the Clarke sense. In such a setting, we derive a suitable residual function that provides a metric for stationarity for the smoothed problem. By leveraging a zeroth order framework reliant on utilizing sampled function evaluations implemented in a block structured regime, we make two sets of contributions for the sequence generated by the proposed scheme. (i) The residual function of the smoothed problem tends to zero almost surely along the generated sequence (ii) To compute an x that ensures that the expected norm of the residual of the eta smoothed problem is within epsilon requires no greater than mathcal O ( tfrac 1 eta epsilon 2 ) projection steps and mathcal O left( tfrac 1 eta 2 epsilon 4 right) function evaluations. These statements appear to be novel and there appear to be few results to contend with general nonsmooth, nonconvex, and stochastic regimes via zeroth order approaches.


Taxonomic survey of Hindi Language NLP systems. Natural Language processing (NLP) represents the task of automatic handling of natural human language by machines.There is large spectrum of possible applications of NLP which help in automating tasks like translating text from one language to other, retrieving and summarizing data from very huge repositories, spam email filtering, identifying fake news in digital media, find sentiment and feedback of people, find political opinions and views of people on various government policies, provide effective medical assistance based on past history records of patient etc. Hindi is the official language of India with nearly 691 million users in India and 366 million in rest of world. At present, a number of government and private sector projects and researchers in India and abroad, are working towards developing NLP applications and resources for Indian languages. This survey gives a report of the resources and applications available for Hindi language NLP.


HS integral and Eisenstein integral mixed Cayley graphs over abelian groups. A mixed graph is called emph second kind hermitian integral (or emph HS integral ) if the eigenvalues of its Hermitian adjacency matrix of second kind are integers. A mixed graph is called emph Eisenstein integral if the eigenvalues of its (0, 1) adjacency matrix are Eisenstein integers. Let Gamma be an abelian group. We characterize the set S for which a mixed Cayley graph text Cay ( Gamma, S) is HS integral. We also show that a mixed Cayley graph is Eisenstein integral if and only if it is HS integral.


Facility Reallocation on the Line. We consider a multi stage facility reallocation problems on the real line, where a facility is being moved between time stages based on the locations reported by n agents. The aim of the reallocation algorithm is to minimise the social cost, i.e., the sum over the total distance between the facility and all agents at all stages, plus the cost incurred for moving the facility. We study this problem both in the offline setting and online setting. In the offline case the algorithm has full knowledge of the agent locations in all future stages, and in the online setting the algorithm does not know these future locations and must decide the location of the facility on a stage per stage basis. We derive the optimal algorithm in both cases. For the online setting we show that its competitive ratio is (n 2) (n 1) . As neither of these algorithms turns out to yield a strategy proof mechanism, we propose another strategy proof mechanism which has a competitive ratio of (n 3) (n 1) for odd n and (n 4) n for even n , which we conjecture to be the best possible. We also consider a generalisation with multiple facilities and weighted agents, for which we show that the optimum can be computed in polynomial time for a fixed number of facilities.


Nonrelativistic energy of tritium containing hydrogen molecule isotopologues. The nonrelativistic energy of low lying rovibrational levels of HT, DT, and T is determined to an absolute accuracy of 10 7 10 8 cm 1 using the variational method with the four body nonadiabatic James Coolidge functions. The new results increase the accuracy of the nonrelativistic component of the energy levels by several orders of magnitude. As a consequence, the total transition energies are improved by at least an order of magnitude.


Data Driven Vulnerability Detection and Repair in Java Code. Java platform provides various APIs to facilitate secure coding. However, correctly using security APIs is usually challenging for developers who lack cybersecurity training. Prior work shows that many developers misuse security APIs such misuses can introduce vulnerabilities into software, void security protections, and present security exploits to hackers. To eliminate such API related vulnerabilities, this paper presents SEADER our new approach that detects and repairs security API misuses. Given an exemplar, insecure code snippet, and its secure counterpart, SEADER compares the snippets and conducts data dependence analysis to infer the security API misuse templates and corresponding fixing operations. Based on the inferred information, given a program, SEADER performs inter procedural static analysis to search for any security API misuse and to propose customized fixing suggestions for those vulnerabilities. To evaluate SEADER, we applied it to 25 insecure, secure code pairs, and SEADER successfully inferred 18 unique API misuse templates and related fixes. With these vulnerability repair patterns, we further applied SEADER to 10 open source projects that contain in total 32 known vulnerabilities. Our experiment shows that SEADER detected vulnerabilities with 100 precision, 84 recall, and 91 accuracy. Additionally, we applied SEADER to 100 Apache open source projects and detected 988 vulnerabilities SEADER always customized repair suggestions correctly. Based on SEADER's outputs, we filed 60 pull requests. Up till now, developers of 18 projects have offered positive feedbacks on SEADER's suggestions. Our results indicate that SEADER can effectively help developers detect and fix security API misuses. Whereas prior work either detects API misuses or suggests simple fixes, SEADER is the first tool to do both for nontrivial vulnerability repairs.


Rates of convergence for the policy iteration method for Mean Field Games systems. Convergence of the policy iteration method for discrete and continuous optimal control problems holds under general assumptions. Moreover, in some circumstances, it is also possible to show a quadratic rate of convergence for the algorithm. For Mean Field Games, convergence of the policy iteration method has been recently proved in 9 . Here, we provide an estimate of its rate of convergence.


Leveraging Information Bottleneck for Scientific Document Summarization. This paper presents an unsupervised extractive approach to summarize scientific long documents based on the Information Bottleneck principle. Inspired by previous work which uses the Information Bottleneck principle for sentence compression, we extend it to document level summarization with two separate steps. In the first step, we use signal(s) as queries to retrieve the key content from the source document. Then, a pre trained language model conducts further sentence search and edit to return the final extracted summaries. Importantly, our work can be flexibly extended to a multi view framework by different signals. Automatic evaluation on three scientific document datasets verifies the effectiveness of the proposed framework. The further human evaluation suggests that the extracted summaries cover more content aspects than previous systems.


TriPoll Computing Surveys of Triangles in Massive Scale Temporal Graphs with Metadata. Understanding the higher order interactions within network data is a key objective of network science. Surveys of metadata triangles (or patterned 3 cycles in metadata enriched graphs) are often of interest in this pursuit. In this work, we develop TriPoll, a prototype distributed HPC system capable of surveying triangles in massive graphs containing metadata on their edges and vertices. We contrast our approach with much of the prior effort on triangle analysis, which often focuses on simple triangle counting, usually in simple graphs with no metadata. We assess the scalability of TriPoll when surveying triangles involving metadata on real and synthetic graphs with up to hundreds of billions of edges.We utilize communication reducing optimizations to demonstrate a triangle counting task on a 224 billion edge web graph in approximately half of the time of competing approaches, while additionally supporting metadata aware capabilities.


Covid 19 Spread Detection and Controlling with Fog based Infection Probability Evaluation Model. COVID 19 has created a pandemic around the world, paused the path of building the future, and still ongoing without having any long term solution shortly. The time taken in vaccine distribution is too slow compared to the spread of COVID 19. Hence, it is important to aware and takes precautions on time without delaying and waiting for long duration after getting infected with the virus. Currently used technology is more advanced than ever before. Almost everyone has access to at least one mobile device with an Internet connection. Therefore, we propose a Fog Server (FS) based system that can be used to create awareness about the spread of COVID 19 within the surroundings of individuals utilizing the concept of Hidden Markov Models (HMM) and Bluetooth contact tracing, in polynomial computational time complexity. Moreover, we evaluate the effectiveness of the proposed model through real world data analysis on different simulation parameter settings.


On the Evolution of Neuron Communities in a Deep Learning Architecture. Deep learning techniques are increasingly being adopted for classification tasks over the past decade, yet explaining how deep learning architectures can achieve state of the art performance is still an elusive goal. While all the training information is embedded deeply in a trained model, we still do not understand much about its performance by only analyzing the model. This paper examines the neuron activation patterns of deep learning based classification models and explores whether the models' performances can be explained through neurons' activation behavior. We propose two approaches one that models neurons' activation behavior as a graph and examines whether the neurons form meaningful communities, and the other examines the predictability of neurons' behavior using entropy. Our comprehensive experimental study reveals that both the community quality and entropy can provide new insights into the deep learning models' performances, thus paves a novel way of explaining deep learning models directly from the neurons' activation pattern.


On the Interpretability of Deep Learning Based Models for Knowledge Tracing. Knowledge tracing allows Intelligent Tutoring Systems to infer which topics or skills a student has mastered, thus adjusting curriculum accordingly. Deep Learning based models like Deep Knowledge Tracing (DKT) and Dynamic Key Value Memory Network (DKVMN) have achieved significant improvements compared with models like Bayesian Knowledge Tracing (BKT) and Performance Factors Analysis (PFA). However, these deep learning based models are not as interpretable as other models because the decision making process learned by deep neural networks is not wholly understood by the research community. In previous work, we critically examined the DKT model, visualizing and analyzing the behaviors of DKT in high dimensional space. In this work, we extend our original analyses with a much larger dataset and add discussions about the memory states of the DKVMN model. We discover that Deep Knowledge Tracing has some critical pitfalls 1) instead of tracking each skill through time, DKT is more likely to learn an ability' model 2) the recurrent nature of DKT reinforces irrelevant information that it uses during the tracking task 3) an untrained recurrent network can achieve similar results to a trained DKT model, supporting a conclusion that recurrence relations are not properly learned and, instead, improvements are simply a benefit of projection into a high dimensional, sparse vector space. Based on these observations, we propose improvements and future directions for conducting knowledge tracing research using deep neural network models.


Zero Cost Proxies Meet Differentiable Architecture Search. Differentiable neural architecture search (NAS) has attracted significant attention in recent years due to its ability to quickly discover promising architectures of deep neural networks even in very large search spaces. Despite its success, DARTS lacks robustness in certain cases, e.g. it may degenerate to trivial architectures with excessive parametric free operations such as skip connection or random noise, leading to inferior performance. In particular, operation selection based on the magnitude of architectural parameters was recently proven to be fundamentally wrong showcasing the need to rethink this aspect. On the other hand, zero cost proxies have been recently studied in the context of sample based NAS showing promising results speeding up the search process drastically in some cases but also failing on some of the large search spaces typical for differentiable NAS. In this work we propose a novel operation selection paradigm in the context of differentiable NAS which utilises zero cost proxies. Our perturbation based zero cost operation selection (Zero Cost PT) improves searching time and, in many cases, accuracy compared to the best available differentiable architecture search, regardless of the search space size. Specifically, we are able to find comparable architectures to DARTS PT on the DARTS CNN search space while being over 40x faster (total searching time 25 minutes on a single GPU).


A note on the zeros of Jensen polynomials. A recent result of Griffin, Ono, Rolen and Zagier on Jensen polynomials related with the Riemann zeta function is improved.


Classifying Textual Data with Pre trained Vision Models through Transfer Learning and Data Transformations. Knowledge is acquired by humans through experience, and no boundary is set between the kinds of knowledge or skill levels we can achieve on different tasks at the same time. When it comes to Neural Networks, that is not the case. The breakthroughs in the field are extremely task and domain specific. Vision and language are dealt with in separate manners, using separate methods and different datasets. Current text classification methods, mostly rely on obtaining contextual embeddings for input text samples, then training a classifier on the embedded dataset. Transfer learning in Language related tasks in general, is heavily used in obtaining the contextual text embeddings for the input samples. In this work, we propose to use the knowledge acquired by benchmark Vision Models which are trained on ImageNet to help a much smaller architecture learn to classify text. A data transformation technique is used to create a new image dataset, where each image represents a sentence embedding from the last six layers of BERT, projected on a 2D plane using a t SNE based method. We trained five models containing early layers sliced from vision models which are pretrained on ImageNet, on the created image dataset for the IMDB dataset embedded with the last six layers of BERT. Despite the challenges posed by the very different datasets, experimental results achieved by this approach which links large pretrained models on both language and vision, are very promising, without employing compute resources. Specifically, Sentiment Analysis is achieved by five different models on the same image dataset obtained after BERT embeddings are transformed into gray scale images. Index Terms BERT, Convolutional Neural Networks, Domain Adaptation, image classification, Natural Language Processing, t SNE, text classification, Transfer Learning


Multiresolution Deep Implicit Functions for 3D Shape Representation. We introduce Multiresolution Deep Implicit Functions (MDIF), a hierarchical representation that can recover fine geometry detail, while being able to perform global operations such as shape completion. Our model represents a complex 3D shape with a hierarchy of latent grids, which can be decoded into different levels of detail and also achieve better accuracy. For shape completion, we propose latent grid dropout to simulate partial data in the latent space and therefore defer the completing functionality to the decoder side. This along with our multires design significantly improves the shape completion quality under decoder only latent optimization. To the best of our knowledge, MDIF is the first deep implicit function model that can at the same time (1) represent different levels of detail and allow progressive decoding (2) support both encoder decoder inference and decoder only latent optimization, and fulfill multiple applications (3) perform detailed decoder only shape completion. Experiments demonstrate its superior performance against prior art in various 3D reconstruction tasks.


MBIC A Media Bias Annotation Dataset Including Annotator Characteristics. Many people consider news articles to be a reliable source of information on current events. However, due to the range of factors influencing news agencies, such coverage may not always be impartial. Media bias, or slanted news coverage, can have a substantial impact on public perception of events, and, accordingly, can potentially alter the beliefs and views of the public. The main data gap in current research on media bias detection is a robust, representative, and diverse dataset containing annotations of biased words and sentences. In particular, existing datasets do not control for the individual background of annotators, which may affect their assessment and, thus, represents critical information for contextualizing their annotations. In this poster, we present a matrix based methodology to crowdsource such data using a self developed annotation platform. We also present MBIC (Media Bias Including Characteristics) the first sample of 1,700 statements representing various media bias instances. The statements were reviewed by ten annotators each and contain labels for media bias identification both on the word and sentence level. MBIC is the first available dataset about media bias reporting detailed information on annotator characteristics and their individual background. The current dataset already significantly extends existing data in this domain providing unique and more reliable insights into the perception of bias. In future, we will further extend it both with respect to the number of articles and annotators per article.


The art of molecular computing whence and whither. An astonishingly diverse biomolecular circuitry orchestrates the functioning machinery underlying every living cell. These biomolecules and their circuits have been engineered not only for various industrial applications but also to perform other atypical functions that they were not evolved for including computation. Various kinds of computational challenges, such as solving NP complete problems with many variables, logical computation, neural network operations, and cryptography, have all been attempted through this unconventional computing paradigm. In this review, we highlight key experiments across three different eras of molecular computation, beginning with molecular solutions, transitioning to logic circuits and ultimately, more complex molecular networks. We also discuss a variety of applications of molecular computation, from solving NP hard problems to self assembled nanostructures for delivering molecules, and provide a glimpse into the exciting potential that molecular computing holds for the future.


Bornon Bengali Image Captioning with Transformer based Deep learning approach. Image captioning using Encoder Decoder based approach where CNN is used as the Encoder and sequence generator like RNN as Decoder has proven to be very effective. However, this method has a drawback that is sequence needs to be processed in order. To overcome this drawback some researcher has utilized the Transformer model to generate captions from images using English datasets. However, none of them generated captions in Bengali using the transformer model. As a result, we utilized three different Bengali datasets to generate Bengali captions from images using the Transformer model. Additionally, we compared the performance of the transformer based model with a visual attention based Encoder Decoder approach. Finally, we compared the result of the transformer based model with other models that employed different Bengali image captioning datasets.


Speed of technological transformations required in Europe to achieve different climate goals. Europe's contribution to global warming will be determined by the cumulative emissions until climate neutrality is achieved. In this paper, we investigate alternative transition paths under carbon budgets corresponding to temperature increases between 1.5 and 2C. We use PyPSA Eur Sec, an open model of the sector coupled European energy system with high spatial and temporal resolution. All the paths entail similar technological transformations, but the timing of the scale up of important technologies like water electrolysis, carbon capture and hydrogen networks differs in the model. In our results, solar PV, onshore and offshore wind become the cornerstone of a net zero energy system enabling the decarbonisation of other sectors via direct electrification (e.g. heat pumps and electric vehicles) or indirect electrification (e.g. using synthetic fuels). Under the cost and performance assumptions applied, for a social cost of carbon (SCC) of 120EUR tCO2, transition paths under 1.5 and 1.6C budgets are, respectively, 8 , and 1 more expensive than the 2C budget because building assets earlier costs more. These pathways also see a faster ramp up of new technologies before 2035. Under these assumptions, the 1.5C budget is cost optimal in our model, if SCC of at least 300 EUR tCO2 is considered. Moreover, we discuss the strong implications of the SCC and discount rate assumed when comparing alternative paths. We also analyse the consequences of different assumptions on the cost and potential of CO2 sequestration.


Leaky Nets Recovering Embedded Neural Network Models and Inputs through Simple Power and Timing Side Channels Attacks and Defenses. With the recent advancements in machine learning theory, many commercial embedded micro processors use neural network models for a variety of signal processing applications. However, their associated side channel security vulnerabilities pose a major concern. There have been several proof of concept attacks demonstrating the extraction of their model parameters and input data. But, many of these attacks involve specific assumptions, have limited applicability, or pose huge overheads to the attacker. In this work, we study the side channel vulnerabilities of embedded neural network implementations by recovering their parameters using timing based information leakage and simple power analysis side channel attacks. We demonstrate our attacks on popular micro controller platforms over networks of different precisions such as floating point, fixed point, binary networks. We are able to successfully recover not only the model parameters but also the inputs for the above networks. Countermeasures against timing based attacks are implemented and their overheads are analyzed.


PandaSet Advanced Sensor Suite Dataset for Autonomous Driving. The accelerating development of autonomous driving technology has placed greater demands on obtaining large amounts of high quality data. Representative, labeled, real world data serves as the fuel for training deep learning networks, critical for improving self driving perception algorithms. In this paper, we introduce PandaSet, the first dataset produced by a complete, high precision autonomous vehicle sensor kit with a no cost commercial license. The dataset was collected using one 360 deg mechanical spinning LiDAR, one forward facing, long range LiDAR, and 6 cameras. The dataset contains more than 100 scenes, each of which is 8 seconds long, and provides 28 types of labels for object classification and 37 types of labels for semantic segmentation. We provide baselines for LiDAR only 3D object detection, LiDAR camera fusion 3D object detection and LiDAR point cloud segmentation. For more details about PandaSet and the development kit, see https scale.com open datasets pandaset.


Metamorphic image registration using a semi Lagrangian scheme. In this paper, we propose an implementation of both Large Deformation Diffeomorphic Metric Mapping (LDDMM) and Metamorphosis image registration using a semi Lagrangian scheme for geodesic shooting. We propose to solve both problems as an inexact matching providing a single and unifying cost function. We demonstrate that for image registration the use of a semi Lagrangian scheme is more stable than a standard Eulerian scheme. Our GPU implementation is based on PyTorch, which greatly simplifies and accelerates the computations thanks to its powerful automatic differentiation engine. It will be freely available at https github.com antonfrancois Demeter metamorphosis.


Notes on the Boussinesq Full dispersion systems for internal waves Numerical solution and solitary waves. In this paper we study some theoretical and numerical issues of the Boussinesq Full dispersion system. This is a a three parameter system of pde's that models the propagation of internal waves along the interface of two fluid layers with rigid lid condition for the upper layer, and under a Boussinesq regime for the upper layer and a full dispersion regime for the lower layer. We first discretize in space the periodic initial value problem with a Fourier Galerkin spectral method and prove error estimates for several ranges of values of the parameters. Solitary waves of the model systems are then studied numerically in several ways. The numerical generation is analyzed by approximating the ode system with periodic boundary conditions for the solitary wave profiles with a Fourier spectral scheme, implemented in a collocation form, and solving iteratively the corresponding algebraic system in Fourier space with the Petviashvili method accelerated with the minimal polynomial extrapolation technique. Motivated by the numerical results, a new result of existence of solitary waves is proved. In the last part of the paper, the dynamics of these solitary waves is studied computationally, To this end, the semidiscrete systems obtained from the Fourier Galerkin discretization in space are integrated numerically in time by a Runge Kutta Composition method of order four. The fully discrete scheme is used to explore numerically the stability of solitary waves, their collisions, and the resolution of other initial conditions into solitary waves.


On the generalized squeezing functions and Fridman invariants of special domains. The main purpose of this paper is to study the generalized squeezing functions and Fridman invariants of some special domains. As applications, we give the precise form of generalized squeezing functions and Fridman invariants of various domains such as n dimensional annuli. Furthermore, we provide domains with non plurisubharmonic generalized squeezing function or Fridman invariant.


Higher Frobenius Schur indicators for semisimple Hopf algebras in positive characteristic. Let H be a semisimple Hopf algebra over an algebraically closed field mathbbm k of characteristic p dim mathbbm k (H) 1 2 . We show that the antipode S of H satisfies the equality S 2(h) mathbf u h mathbf u 1 , where h in H , mathbf u S( Lambda (2) ) Lambda (1) and Lambda is a nonzero integral of H . The formula of S 2 enables us to define higher Frobenius Schur indicators for the Hopf algebra H . This generalizes the notions of higher Frobenius Schur indicators from the case of characteristic 0 to the case of characteristic p dim mathbbm k (H) 1 2 . These indicators defined here share some properties with the ones defined over a field of characteristic 0. Especially, all these indicators are gauge invariants for the tensor category Rep (H) of finite dimensional representations of H .


Enhancing Visual Dialog Questioner with Entity based Strategy Learning and Augmented Guesser. Considering the importance of building a good Visual Dialog (VD) Questioner, many researchers study the topic under a Q Bot A Bot image guessing game setting, where the Questioner needs to raise a series of questions to collect information of an undisclosed image. Despite progress has been made in Supervised Learning (SL) and Reinforcement Learning (RL), issues still exist. Firstly, previous methods do not provide explicit and effective guidance for Questioner to generate visually related and informative questions. Secondly, the effect of RL is hampered by an incompetent component, i.e., the Guesser, who makes image predictions based on the generated dialogs and assigns rewards accordingly. To enhance VD Questioner 1) we propose a Related entity enhanced Questioner (ReeQ) that generates questions under the guidance of related entities and learns entity based questioning strategy from human dialogs 2) we propose an Augmented Guesser (AugG) that is strong and is optimized for the VD setting especially. Experimental results on the VisDial v1.0 dataset show that our approach achieves state of theart performance on both image guessing task and question diversity. Human study further proves that our model generates more visually related, informative and coherent questions.


A note on semiorthogonal indecomposability for some Cohen Macaulay varieties. In this short note, we observe that Theorem 3.1 in arXiv 1508.00682 for semiorthogonal indecomposability of the derived category of smooth DM stacks based on the canonical bundle can be extended to the case of projective varieties with Cohen Macaulay singularities. As a consequence, all projective curves of positive arithmetic genus have weakly indecomposable bounded derived categories and indecomposable categories of perfect complexes. Here weak indecomposablility refers to the admissibility of components.


Starlikeness of Analytic Functions with Subordinate Ratios. Let h be a non vanishing analytic function in the open unit disc with h(0) 1 . Consider the class consisting of normalized analytic functions f whose ratios f(z) g(z) , g(z) z p(z) , and p(z) are each subordinate to h for some analytic functions g and p . The radius of starlikeness is obtained for this class when h is chosen to be either h(z) sqrt 1 z or h(z) e z . Further mathcal G radius is also obtained for each of these two classes when mathcal G is a particular widely studied subclass of starlike functions. These include mathcal G consisting of the Janowski starlike functions, and functions which are parabolic starlike.


Insights into ventilation hysteresis shift due to flow unsteadiness in ventilated supercavitation. Understanding ventilation strategy of a supercavity is important for designing high speed underwater vehicles wherein an artificial gas pocket is created behind a flow separation device for drag reduction. Our study investigates the effect of flow unsteadiness on the ventilation requirements to form (CQf) and collapse (CQc) a supercavity. Imposing flow unsteadiness on the incoming flow has shown an increment in higher CQf at low free stream velocity and lower CQf at high free stream velocity. High speed imaging reveals distinctly different behaviors in the recirculation region for low and high freestream velocity under unsteady flows. At low free stream velocities, the recirculation region formed downstream of a cavitator shifted vertically with flow unsteadiness, resulting in lower bubble collision and coalescence probability, which is critical for the supercavity formation process. The recirculation region negligibly changed with flow unsteadiness at high free stream velocity and less ventilation is required to form a supercavity compared to that of the steady incoming flow. Such a difference is attributed to the increased transverse Reynolds stress that aids bubble collision in a confined space of the recirculation region. CQc is found to heavily rely on the vertical component of the flow unsteadiness and the free stream velocity. Interfacial instability located upper rear of the supercavity develops noticeably with flow unsteadiness and additional bubbles formed by the distorted interface shed from the supercavity, resulting in an increased CQc. Further analysis on the quantification of such additional bubble leakage rate indicates that the development and amplitude of the interfacial instability accounts for the variation of CQc under a wide range of flow unsteadiness. Our study provides some insights on the design of a ventilation strategy for supercavitating vehicles in practice.


v palindromes an analogy to the palindromes. In the year 2007, the author discovered an intriguing property of the number 198 he saw on the license plate of a car. Namely, if we take 198 and its reversal 891 , prime factorize each number, and sum the numbers appearing in each factorization, both sums are 18 . Such numbers are formally introduced in a short published note in 2018. These numbers are later named v palindromes because they can be viewed as an analogy to the usual palindromes. In this article, we introduce the concept of a v palindrome in base b , and prove their existence for infinitely many bases. Finally, we collect some conjectures on v palindromes.


Intersection formulas for parities on virtual knots. We prove that parities on virtual knots come from invariant 1 cycles on the arcs of knot diagrams. In turn, the invariant cycles are determined by quasi indices on the crossings of the diagrams. The found connection between the parities and the (quasi) indices allows to define a new series of parities on virtual knots.


Floquet Mode Resonance Trapping light in the bulk mode of a Floquet topological insulator by quantum self interference. Floquet topological photonic insulators characterized by periodically varying Hamiltonians are known to exhibit much richer topological behaviors than static systems. In a Floquet insulator, the phase evolution of the Floquet Bloch modes plays a crucial role in determining its topological behaviors. Here we show that by perturbing the driving sequence, it is possible to manipulate the cyclic phase change of the system over each evolution period to induce quantum self interference of a bulk mode, leading to a new topological resonance phenomenon called Floquet Mode Resonance (FMR). The FMR is fundamentally different from other types of optical resonances in that it is cavity less since it does not require physical boundaries. Its spatial localization pattern is instead dictated by the driving sequence and can thus be used to probe the topological characteristics of the system. We demonstrated excitation of FMRs by edge modes in a Floquet octagon lattice on silicon on insulator, achieving extrinsic quality factors greater than 10 4. Imaging of the scattered light pattern directly revealed the hopping sequence of the Floquet system and confirmed the spatial localization of FMR in a bulk mode loop. The new topological resonance effect could enable new applications in lasers, optical filters and switches, nonlinear cavity optics and quantum optics.


Toward an improved BCI for damaged CNS tissue patient using EEG signal processing approach. This article examined brain signals of people with disabilities using various signal processing methods to achieve the desired accuracy for utilizing brain computer interfaces (BCI). EEG signals resulted from 5 mental tasks of word association (WORD), Mental subtraction (SUB), spatial navigation (NAV), right hand motor imagery (HAND), and feet motor imagery (FEET) of 9 people with central nervous system (CNS) tissue damage were used as input. In processing this data, Butterworth band pass filter (8 30 Hz) was used in the preprocessing, and CSP, TRCSP, FBCSP methods were used in feature extraction, and LDA, KNN, linear and nonlinear SVM were used in classification stages. The training and testing process was repeated up to 100 times, and the random subsampling method was used to select the training and test data. Mean accuracy in 100 replications was reported as final accuracy. The classification results of two classes of 5 mental tasks on the data of 9 people with central nerve damage showed that the combination of FBCSP with KNN classifier has the highest accuracy of 69 1.1 which belongs to the two classes of word association and feet motor imagery. The study of different feature extraction methods and classification indicates that the proper feature selection method and especially classifier is crucial in accuracy rate. Furthermore, it is necessary to pay attention to successful signal processing methods in designing a brain computer interface to use in people with central nervous system.


Using HPC infrastructures for deep learning applications in fusion research. In the fusion community, the use of high performance computing (HPC) has been mostly dominated by heavy duty plasma simulations, such as those based on particle in cell and gyrokinetic codes. However, there has been a growing interest in applying machine learning for knowledge discovery on top of large amounts of experimental data collected from fusion devices. In particular, deep learning models are especially hungry for accelerated hardware, such as graphics processing units (GPUs), and it is becoming more common to find those models competing for the same resources that are used by simulation codes, which can be either CPU or GPU bound. In this paper, we give examples of deep learning models such as convolutional neural networks, recurrent neural networks, and variational autoencoders that can be used for a variety of tasks, including image processing, disruption prediction, and anomaly detection on diagnostics data. In this context, we discuss how deep learning can go from using a single GPU on a single node to using multiple GPUs across multiple nodes in a large scale HPC infrastructure.


Random 2 cell embeddings of multistars. Random 2 cell embeddings of a given graph G are obtained by choosing a random local rotation around every vertex. We analyze the expected number of faces, mathbb E F G , of such an embedding which is equivalent to studying its average genus. So far, tight results are known for two families called monopoles and dipoles. We extend the dipole result to a more general family called multistars, i.e., loopless multigraphs in which there is a vertex incident with all the edges. In particular, we show that the expected number of faces of every multistar with n nonleaf edges lies in an interval of length 2 (n 1) centered at the expected number of faces of an n edge dipole. This allows us to derive bounds on mathbb E F G for any given graph G in terms of vertex degrees. We conjecture that mathbb E F G le O(n) for any simple n vertex graph G .


On Constructions Related to the Generalized Taylor Complex. In this paper, we extend constructions and results for the Taylor complex to the generalized Taylor complex constructed by Herzog. We construct an explicit DG algebra structure on the generalized Taylor complex and extend a result of Katth "an on quotients of the Taylor complex by DG ideals. We introduce a generalization of the Scarf complex for families of monomial ideals, and show that this complex is always a direct summand of the minimal free resolution of the sum of these ideals. We also give an example of an ideal where the generalized Scarf complex strictly contains the standard Scarf complex. Moreover, we introduce the notion of quasitransverse monomial ideals, and prove a list of results relating to Golodness, Koszul homology, and other homological properties for such ideals.


Number Rigidity and beta Circular Riesz gas. For an inverse temperature beta 0 , we define the beta circular Riesz gas on mathbb R d as any microscopic thermodynamic limit of Gibbs particle systems on the torus interacting via the Riesz potential g(x) Vert x Vert s . We focus on the non integrable case d 1 s d . Our main result ensures, for any dimension d ge 1 and inverse temperature beta 0 , the existence of a beta circular Riesz gas which is not number rigid. Recall that a point process is said number rigid if the number of points in a bounded Borel set Delta is a function of the point configuration outside Delta . It is the first time that the non number rigidity is proved for a Gibbs point process interacting via a non integrable potential. We follow a statistical physics approach based on the canonical DLR equations. It is inspired by Dereudre Hardy Lebl 'e and Ma "ida (2021) where the authors prove the number rigidity of the text Sine beta process.