Sparse recovery of elliptic solvers from matrix vector products. In this work, we show that solvers of elliptic boundary value problems in d dimensions can be approximated to accuracy epsilon from only mathcal O left( log(N) log d (N epsilon) right) matrix vector products with carefully chosen vectors (right hand sides). The solver is only accessed as a black box, and the underlying operator may be unknown and of an arbitrarily high order. Our algorithm (1) has complexity mathcal O left(N log 2(N) log 2d (N epsilon) right) and represents the solution operator as a sparse Cholesky factorization with mathcal O left(N log(N) log d (N epsilon) right) nonzero entries, (2) allows for embarrassingly parallel evaluation of the solution operator and the computation of its log determinant, (3) allows for mathcal O left( log(N) log d (N epsilon) right) complexity computation of individual entries of the matrix representation of the solver that in turn enables its recompression to an mathcal O left(N log d (N epsilon) right) complexity representation. As a byproduct, our compression scheme produces a homogenized solution operator with near optimal approximation accuracy. We include rigorous proofs of these results, and to the best of our knowledge, the proposed algorithm achieves the best trade off between accuracy epsilon and the number of required matrix vector products of the original solver.


Convective Turing Bifurcation. Following the approach pioneered by Eckhaus, Mielke, Schneider, and others for reaction diffusion systems E, M1, M2, S1, S2, SZJV , we systematically derive formally by multiscale expansion and justify rigorously by Lyapunov Schmidt reduction amplitude equations describing Turing type bifurcations of general reaction diffusion convection systems. Notably, our analysis includes also higher order, nonlocal, and even certain semilinear hyperbolic systems.


Peristaltic regimes in esophageal transport. A FLIP device gives cross sectional area along the length of the esophagus and one pressure measurement, both as a function of time. Deducing mechanical properties of the esophagus including wall material properties, contraction strength, and wall relaxation from these data is a challenging inverse problem. Knowing mechanical properties can change how clinical decisions are made because of its potential for in vivo mechanistic insights. To obtain such information, we conducted a parametric study to identify peristaltic regimes by using a 1D model of peristaltic flow through an elastic tube closed on both ends and also applied it to interpret clinical data. The results gave insightful information about the effect of tube stiffness, fluid bolus density and contraction strength on the resulting esophagus shape through quantitive representations of the peristaltic regimes. Our analysis also revealed the mechanics of the opening of the contraction area as a function of bolus flow resistance. Lastly, we concluded that peristaltic driven flow displays three modes of peristaltic geometries, but all physiologically relevant flows fall into two peristaltic regimes characterized by a tight contraction.


Concordance of decompositions given by defining sequences. We study the concordance and bordism of decompositions associated with defining sequences and we relate them to some invariants of toroidal decompositions and to the cobordism of homology manifolds. These decompositions are often wild Cantor sets and they arise as nested intersections of knotted solid tori. We show that there are at least uncountably many concordance classes of such decompositions in the 3 sphere.


Measuring information exchange and brokerage capacity of healthcare teams. Purpose The purpose of this paper is to explore possible factors impacting team performance in healthcare, by focusing on information exchange within and across hospital's boundaries. Design methodology approach Through a web survey and group interviews, the authors collected data on the communication networks of 31 members of four interdisciplinary healthcare teams involved in a system redesign initiative within a large US children's hospital. The authors mapped their internal and external social networks based on management advice, technical support and knowledge dissemination within and across departments, studying interaction patterns that involved more than 700 actors. The authors then compared team performance and social network metrics such as degree, closeness and betweenness centrality, and computed cross ties and constraint levels for each team. Findings The results indicate that highly effective teams were more inwardly focused and less connected to outside members. Moreover, highly recognized teams communicated frequently but, overall, less intensely than the others. Originality value Mapping knowledge flows and balancing internal focus and outward connectivity of interdisciplinary teams may help healthcare decision makers in their attempt to achieve high value for patients, families and employees.


On Hodge Riemann Cohomology Classes. We prove that Schur classes of nef vector bundles are limits of classes that have a property analogous to the Hodge Riemann bilinear relations. We give a number of applications, including (1) new log concavity statements about characteristic classes of nef vector bundles (2) log concavity statements about Schur and related polynomials (3) another proof that normalized Schur polynomials are Lorentzian.


Energy conserving explicit and implicit time integration methods for the multi dimensional Hermite DG discretization of the Vlasov Maxwell equations. We study the conservation properties of the Hermite discontinuous Galerkin (Hermite DG) approximation of the Vlasov Maxwell equations. In this semi discrete formulation, the total mass is preserved independently for every plasma species. Further, an energy invariant exists if central numerical fluxes are used in the DG approximation of Maxwell's equations, while a dissipative term is present when upwind fluxes are employed. In general, traditional temporal integrators might fail to preserve invariants associated with conservation laws (at the continuous or semi discrete level) during the time evolution. Hence, we analyze the capability of explicit and implicit Runge Kutta (RK) temporal integrators to preserve such invariants. Since explicit RK methods can only ensure preservation of linear invariants but do not provide any control on the system energy, we consider modified explicit RK methods in the family of relaxation Runge Kutta methods (RRK). These methods can be tuned to preserve the energy invariant at the continuous or semi discrete level, a distinction that is important when upwind fluxes are used in the discretization of Maxwell's equations since upwind provides a numerical source of energy dissipation that is not present when central fluxes are used. We prove that the proposed methods are able to preserve the energy invariant and to maintain the semi discrete energy dissipation (if present) according to the discretization of Maxwell's equations. An extensive set of numerical experiments corroborates the theoretical findings. It also suggests that maintaining the semi discrete energy dissipation when upwind fluxes are used leads to an overall better accuracy of the method relative to using upwind fluxes while forcing exact energy conservation.


Stochasticity of infectious outbreaks and consequences for optimal interventions. Global strategies to contain a pandemic, such as social distancing and protective measures, are designed to reduce the overall transmission rate between individuals. Despite such measures, essential institutions, including hospitals, schools, and food producing plants, remain focal points of local outbreaks. Here we develop a model for the stochastic outbreak dynamics in such local communities. We derive analytical expressions for the probability of containment of the outbreak, which is complementary to the probability of seeding a deterministically growing epidemic. This probability depends on the statistics of the intra community contact network and the initial conditions, in particular, on the contact degree of patient zero. Based on this model, we suggest surveillance protocols by which individuals are tested proportionally to their degree in the contact network. We characterize the efficacy of contact based protocols as a function of the epidemiological and the contact network parameters, and show numerically that such protocols outperform random testing.


Towards Traffic Scene Description The Semantic Scene Graph. For the classification of traffic scenes, a description model is necessary that can describe the scene in a uniform way, independent of its domain. A model to describe a traffic scene in a semantic way is described in this paper. The description model allows to describe a traffic scene independently of the road geometry and road topology. Here, the traffic participants are projected onto the road network and represented as nodes in a graph. Depending on the relative location between two traffic participants with respect to the road topology, semantic classified edges are created between the corresponding nodes. For concretization, the edge attributes are extended by relative distances and velocities between both traffic participants with regard to the course of the lane. An important aspect of the description is that it can be converted easily into a machine readable format. The current description focuses on dynamic objects of a traffic scene and considers traffic participants, such as pedestrians or vehicles.


On q Horn hypergeometric functions mathbf H 6 and mathbf H 7 . The aim of this work is to construct various interesting properties for basic Horn functions mathbf H 6 and mathbf H 7 under conditions on the denominator parameters, such as several q contiguous function relations, q differential relations, and q differential equations. Special cases of our main results are also demonstrated.


Rescaled Expansive Flows Unstable Sets and Topological Entropy. In this work we introduce and explore a rescaled theory of local stable and unstable sets for rescaled expansive flows and its applications to topological entropy. We introduce a rescaled version of the local unstable sets and the unstable points. We find conditions for points of the phase space to exhibit non trivial connected pieces of these type of unstable sets. We apply these results to the problem of proving positive topological entropy for rescaled expansive flows with non singular Lyapunov stable sets.


NODE SELECT A Graph Neural Network Based On A Selective Propagation Technique. While there exists a wide variety of graph neural networks (GNN) for node classification, only a minority of them adopt mechanisms that effectively target noise propagation during the message passing procedure. Additionally, a very important challenge that significantly affects graph neural networks is the issue of scalability which limits their application to larger graphs. In this paper we propose our method named NODE SELECT an efficient graph neural network that uses subsetting layers which only allow the best sharing fitting nodes to propagate their information. By having a selection mechanism within each layer which we stack in parallel, our proposed method NODE SELECT is able to both reduce the amount noise propagated and adapt the restrictive sharing concept observed in real world graphs. Our NODE SELECT significantly outperformed existing GNN frameworks in noise experiments and matched state of the art results in experiments without noise over different benchmark datasets.


Uniformly PoM Based Cuntz semigroups and approximate intertwinings. We study topological aspects of the category of abstract Cuntz semigroups, termed Cu. We provide a suitable setting in which we are able to uniformly control how to approach an element of a Cu semigroup by a rapidly increasing sequence. This approximation induces a semimetric on the set of Cu morphisms, generalizing Cu metrics that had been constructed in the past for some particular cases. Further, we develop an approximate intertwining theory for the category Cu. Finally, we give several applications such as the classification of unitary elements of any unital AF algebra by means of the functor Cu.


Van der Waals molecules consisting of a zinc or cadmium atom interacting with an alkali metal or alkaline earth metal atom. Alkaline earth like transition metal atoms such as Zn and Cd are promising candidates for precision measurements and quantum many body physics experiments. Here, we theoretically investigate the properties of diatomic molecules containing these closed shell atoms. We calculate potential energy curves, permanent electric dipole moments, and spectroscopic constants for molecules consisting of either a Zn or Cd atom interacting with an alkali metal (Li, Na, K, Rb, Cs, Fr) or alkaline earth metal (Be, Mg, Ca, Sr, Ba, Ra) atom. We use the ab initio electronic structure coupled cluster method with single, double, and triple excitations combined with large Gaussian basis sets and small core relativistic energy consistent pseudopotentials for heavier atoms. We predict that the studied molecules in the ground electronic state are chemically reactive weakly bound van der Waals complexes with small permanent electric dipole moments. The present results may be useful for spectroscopy and application of the studied molecules in modern ultracold physics and chemistry experiments.


Peaks are preserved under run sorting. We study a sorting procedure (run sorting) on permutations, where runs are rearranged in lexicographic order. We describe a rather surprising bijection on permutations on length n , with the property that it sends the set of peak values to the set of peak values after run sorting. We also prove that the expected number of descents in a permutation sigma in S n after run sorting is equal to (n 2) 3 . Moreover, we provide a closed form of the exponential generating function introduced by Nabawanda, Rakotondrajao and Bamunoba in 2020, for the number of run sorted permutations of n , ( RSP(n) ) having k runs, which gives a new interpretation to the sequence A124324 in the Online Encyclopedia of Integer Sequences. We show that the descent generating polynomials, A n (t) for RSP(n) are real rooted, and satisfy an interlacing property similar to that satisfied by the Eulerian polynomials. Finally, we study run sorted binary words and compute the expected number of descents after run sorting a binary word of length n .


Generators for categorical Hall algebras of surfaces. For a smooth surface S , Porta Sala defined a categorical Hall algebra generalizing previous work in K theory of Zhao and Kapranov Vasserot. We construct semi orthogonal decompositions for categorical Hall algebras of points on S . We refine these decompositions in K theory for a topological K theoretic Hall algebra.


Kernel density estimation based sampling for neural network classification. Imbalanced data occurs in a wide range of scenarios. The skewed distribution of the target variable elicits bias in machine learning algorithms. One of the popular methods to combat imbalanced data is to artificially balance the data through resampling. In this paper, we compare the efficacy of a recently proposed kernel density estimation (KDE) sampling technique in the context of artificial neural networks. We benchmark the KDE sampling method against two base sampling techniques and perform comparative experiments using 8 datasets and 3 neural networks architectures. The results show that KDE sampling produces the best performance on 6 out of 8 datasets. However, it must be used with caution on image datasets. We conclude that KDE sampling is capable of significantly improving the performance of neural networks.


Computational Hardness of the Hylland Zeckhauser Scheme. We study the complexity of the classic Hylland Zeckhauser scheme HZ'79 for one sided matching markets. We show that the problem of finding an epsilon approximate equilibrium in the HZ scheme is PPAD hard, and this holds even when epsilon is polynomially small and when each agent has no more than four distinct utility values. Our hardness result, when combined with the PPAD membership result of VY'21 , resolves the approximation complexity of the HZ scheme. We also show that the problem of approximating the optimal social welfare (the weight of the matching) achievable by HZ equilibria within a certain constant factor is NP hard.


Stability for the Calder 'on's problem for a class of anisotropic conductivities via an ad hoc misfit functional. We address the stability issue in Calder 'on's problem for a special class of anisotropic conductivities of the form sigma gamma A in a Lipschitz domain Omega subset mathbb R n , n geq 3 , where A is a known Lipschitz continuous matrix valued function and gamma is the unknown piecewise affine scalar function on a given partition of Omega . We define an ad hoc misfit functional encoding our data and establish stability estimates for this class of anisotropic conductivity in terms of both the misfit functional and the more commonly used local Dirichlet to Neumann map.


Extracting real social interactions from social media a debate of COVID 19 policies in Mexico. A study of the dynamical formation of networks of friends and enemies in social media, in this case Twitter, is presented. We characterise the single node properties of such networks, as the clustering coefficient and the degree, to investigate the structure of links. The results indicate that the network is made from three kinds of nodes one with high clustering coefficient but very small degree, a second group has zero clustering coefficient with variable degree, and finally, a third group in which the clustering coefficient as a function of the degree decays as a power law. This third group represents sim2 of the nodes and is characteristic of dynamical networks with feedback. This part of the lattice seemingly represents strongly interacting friends in a real social network.


On Hecke type double sums and general string functions for the affine Lie algebra A 1 (1) . We demonstrate how formulas that express Hecke type double sums in terms of theta functions and Appell Lerch functions the building blocks of Ramanujan's mock theta functions can be used to give general string function formulas for the affine Lie algebra A 1 (1) for levels N 1,2,3,4 .


Local Similarity Pattern and Cost Self Reassembling for Deep Stereo Matching Networks. Although convolution neural network based stereo matching architectures have made impressive achievements, there are still some limitations 1) Convolutional Feature (CF) tends to capture appearance information, which is inadequate for accurate matching. 2) Due to the static filters, current convolution based disparity refinement modules often produce over smooth results. In this paper, we present two schemes to address these issues, where some traditional wisdoms are integrated. Firstly, we introduce a pairwise feature for deep stereo matching networks, named LSP (Local Similarity Pattern). Through explicitly revealing the neighbor relationships, LSP contains rich structural information, which can be leveraged to aid CF for more discriminative feature description. Secondly, we design a dynamic self reassembling refinement strategy and apply it to the cost distribution and the disparity map respectively. The former could be equipped with the unimodal distribution constraint to alleviate the over smoothing problem, and the latter is more practical. The effectiveness of the proposed methods is demonstrated via incorporating them into two well known basic architectures, GwcNet and GANet deep. Experimental results on the SceneFlow and KITTI benchmarks show that our modules significantly improve the performance of the model.


Evaluating the Usefulness of Unsupervised monitoring in Cultural Heritage Monuments. In this paper, we scrutinize the effectiveness of various clustering techniques, investigating their applicability in Cultural Heritage monitoring applications. In the context of this paper, we detect the level of decomposition and corrosion on the walls of Saint Nicholas fort in Rhodes utilizing hyperspectral images. A total of 6 different clustering approaches have been evaluated over a set of 14 different orthorectified hyperspectral images. Experimental setup in this study involves K means, Spectral, Meanshift, DBSCAN, Birch and Optics algorithms. For each of these techniques we evaluate its performance by the use of performance metrics such as Calinski Harabasz, Davies Bouldin indexes and Silhouette value. In this approach, we evaluate the outcomes of the clustering methods by comparing them with a set of annotated images which denotes the ground truth regarding the decomposition and or corrosion area of the original images. The results depict that a few clustering techniques applied on the given dataset succeeded decent accuracy, precision, recall and f1 scores. Eventually, it was observed that the deterioration was detected quite accurately.


Development of Kinetic Energy Density Functional Using Response Function Defined on the Energy Coordinate. A kinetic energy functional Ee was developed within the framework of the density functional theory (DFT) based on the energy electron density for the purpose of realizing the orbital free DFT. The functional includes the nonlocal term described with the linear response function (LRF) of a reference system. As a notable feature of the present approach, the LRF is represented on the energy coordinate epsilon defined for each system of interest. In addition, an atomic system is taken as a reference system for the construction of the LRF, which shows a clear difference from the conventional approach based on the homogeneous electron gas. The explicit form of the functional Ee was formulated by means of the coupling parameter integration scheme. The functional Ee kin kin was applied to the calculations of the kinetic energies of the pseudo atoms that mimics H, He, Ne, and Ar. Explicitly, the kinetic energy of each atom was computed using the functional Ee with respect to the variation of the valence charge Zv of each atom. In these calculations, the electron density n optimized by the Kohn Sham DFT was adopted as an argument of the functional. It was found that the results are in excellent agreements with those given by the Kohn Sham DFT. We also devised a method to perform the self consistent field calculation utilizing the functional Ee . kin The method was applied to the computation of the radial distribution functions of the electrons in the pseudo Ne and Ar atoms. It was demonstrated that the results reasonably agree with those yielded by the Kohn Sham DFT.


Unified Signature Cumulants and Generalized Magnus Expansions. The signature of a path can be described as its full non commutative exponential. Following T. Lyons we regard its expectation, the expected signature, as path space analogue of the classical moment generating function. The logarithm thereof, taken in the tensor algebra, defines the signature cumulant. We establish a universal functional relation in a general semimartingale context. Our work exhibits the importance of Magnus expansions in the algorithmic problem of computing expected signature cumulants, and further offers a far reaching generalization of recent results on characteristic exponents dubbed diamond and cumulant expansions with motivation ranging from financial mathematics to statistical physics. From an affine process perspective, the functional relation may be interpreted as infinite dimensional, non commutative ("Hausdorff") variation of Riccati's equation. Many examples are given.


X ray fluorescence computed tomography (XFCT) imaging with a superfine pencil beam x ray source. X ray fluorescence computed tomography (XFCT) is a molecular imaging technique of x ray photons, which can be used to sense different elements or nanoparticle (NP) agents inside deep samples or tissues. XFCT has been an active research topic for many years. However, XFCT has not been a popular molecular imaging tool because it has limited molecular sensitivity and spatial resolution. To further investigate XFCT imaging, we present a benchtop XFCT imaging system, in in which a unique pencil beam x ray source and a ring of x ray spectrometers were simulated using GATE (Geant4 Application for Tomographic Emission) software. An accelerated majorization minimization (MM) algorithm with an L1 regularization scheme was used to reconstruct the XRF image of Molybdenum (Mo) NP targets from the numerical measurements of GATE simulations. With a low x ray source output rate, good target localization was achieved with a DICE coefficient of 83.681 . The reconstructed signal intensity of the targets was found to be relatively proportional to the target concentrations if detector number and placement is optimized. The MM algorithm performance was compared with maximum likelihood expectation maximization (ML EM) and filtered back projection (FBP) algorithms. In the future, the benchtop XFCT imaging system will be tested experimentally


Generalized Impurity Pinch in Partially Magnetized Multi Ion Plasma. In a two ion species plasma with disparate ion masses, heavy ions tend to concentrate in the low temperature region of collisionally magnetized plasma and in the high temperature region of collisionally unmagnetized plasma, respectively. Moreover, collisional magnetization can be determined as the ratio of the light ion gyrofrequency to the collision frequency of light and heavy ion species, and the behavior of this effect in the intermediate regime of partially magnetized plasma is predominantly dependent on this Hall parameter. Multi ion cross field transport has been described before in the collisionally magnetized plasma regime, and generalized pinch relations, which describe densities of ion species in equilibrium in that plasma, are found in the literature. In this paper, the role of collisional magnetization and Larmor magnetization in multi ion collisional transport is clarified and generalized pinch relations are extended to the partially magnetized regime, in which the ion Hall parameter may be small, as long as electrons remain collisionally magnetized. Equilibrium ion density profiles have the same dependence on external forces and on each other regardless of collisional magnetization of ions. The expansion of the range of validity of multi ion collisional transport models makes them applicable to a wider range of laboratory plasma conditions. In particular, ion density profiles evolve sufficiently fast for radial impurity transport to be observable around stagnation on MagLIF, leading to expulsion of heavy ion impurities from the hotspot as long as plasma becomes sufficiently collisionally magnetized during the implosion.


A bibliometric analysis of citation diversity in accessibility and HCI research. Accessibility research sits at the junction of several disciplines, drawing influence from HCI, disability studies, psychology, education, and more. To characterize the influences and extensions of accessibility research, we undertake a study of citation trends for accessibility and related HCI communities. We assess the diversity of venues and fields of study represented among the referenced and citing papers of 836 accessibility research papers from ASSETS and CHI, finding that though publications in computer science dominate these citation relationships, the relative proportion of citations from papers on psychology and medicine has grown over time. Though ASSETS is a more niche venue than CHI in terms of citational diversity, both conferences display standard levels of diversity among their incoming and outgoing citations when analyzed in the context of 53K papers from 13 accessibility and HCI conference venues.


Quantum Operads. The most standard description of symmetries of a mathematical structure produces a group. However, when the definition of this structure is motivated by physics, or information theory, etc., the respective symmetry objects might become more sophisticated quasigroups, loops, quantum groups, ... In this paper, we introduce and study quantum symmetries of very general categorical structures operads. Its initial motivation were spaces of probability distributions on finite sets. We also investigate here how structures of quantum information, such as quantum states and some constructions of quantum codes are algebras over operads.


Strong large scale magnetic fields in rotating convection driven dynamos the important role of magnetic diffusion. Natural dynamos such as planets and stars generate global scale magnetic field despite the inferred presence of small scale turbulence. Such systems are known as large scale dynamos and are typically driven by convection and influenced by rotation. Previous numerical studies of rotating dynamos generally find that the large scale magnetic field becomes weaker as the flow becomes more turbulent. The underlying physical processes necessary for sustaining so called large scale dynamos is therefore still debated. Here we use a suite of numerical simulations to show that strong large scale magnetic fields can be generated in rotating convective turbulence provided that two conditions are satisfied (1) the flow remains rotationally constrained and (2) magnetic diffusion is important on the small convective length scale. These findings are in agreement with previous asymptotic predictions and suggest that natural dynamos might satisfy these two conditions.


ShuttleNet Position aware Fusion of Rally Progress and Player Styles for Stroke Forecasting in Badminton. The increasing demand for analyzing the insights in sports has stimulated a line of productive studies from a variety of perspectives, e.g., health state monitoring, outcome prediction. In this paper, we focus on objectively judging what and where to return strokes, which is still unexplored in turn based sports. By formulating stroke forecasting as a sequence prediction task, existing works can tackle the problem but fail to model information based on the characteristics of badminton. To address these limitations, we propose a novel Position aware Fusion of Rally Progress and Player Styles framework (ShuttleNet) that incorporates rally progress and information of the players by two modified encoder decoder extractors. Moreover, we design a fusion network to integrate rally contexts and contexts of the players by conditioning on information dependency and different positions. Extensive experiments on the badminton dataset demonstrate that ShuttleNet significantly outperforms the state of the art methods and also empirically validates the feasibility of each component in ShuttleNet. On top of that, we provide an analysis scenario for the stroke forecasting problem.


Solving linear difference equations with coefficients in rings with idempotent representations. We introduce a general reduction strategy that enables one to search for solutions of parameterized linear difference equations in difference rings. Here we assume that the ring itself can be decomposed by a direct sum of integral domains (using idempotent elements) that enjoys certain technical features and that the coefficients of the difference equation are not degenerated. Using this mechanism we can reduce the problem to find solutions in a ring (with zero divisors) to search solutions in several copies of integral domains. Utilizing existing solvers in this integral domain setting, we obtain a general solver where the components of the linear difference equations and the solutions can be taken from difference rings that are built e.g., by R Pi Sigma extensions over Pi Sigma fields. This class of difference rings contains, e.g., nested sums and products, products over roots of unity and nested sums defined over such objects.


The complexity of intersecting subproducts with subgroups in Cartesian powers. Given a finite abelian group G and a natural number t , there are two natural substructures of the Cartesian power G t namely, S t where S is a subset of G , and x H a coset of a subgroup H of G t . A natural question is whether two such different structures have non empty intersection. This turns out to be an NP complete problem. If we fix G and S , then the problem is in P if S is a coset in G or if S is empty, and NP complete otherwise if we restrict to intersecting powers of S with subgroups, the problem is in P if bigcap n in mathbb Z mid nS subset S nS is a coset or empty, and NP complete otherwise. These theorems have applications in the article Spe21 , where they are used as a stepping stone between a purely combinatorial and a purely algebraic problem.


ScaleCert Scalable Certified Defense against Adversarial Patches with Sparse Superficial Layers. Adversarial patch attacks that craft the pixels in a confined region of the input images show their powerful attack effectiveness in physical environments even with noises or deformations. Existing certified defenses towards adversarial patch attacks work well on small images like MNIST and CIFAR 10 datasets, but achieve very poor certified accuracy on higher resolution images like ImageNet. It is urgent to design both robust and effective defenses against such a practical and harmful attack in industry level larger images. In this work, we propose the certified defense methodology that achieves high provable robustness for high resolution images and largely improves the practicality for real adoption of the certified defense. The basic insight of our work is that the adversarial patch intends to leverage localized superficial important neurons (SIN) to manipulate the prediction results. Hence, we leverage the SIN based DNN compression techniques to significantly improve the certified accuracy, by reducing the adversarial region searching overhead and filtering the prediction noises. Our experimental results show that the certified accuracy is increased from 36.3 (the state of the art certified detection) to 60.4 on the ImageNet dataset, largely pushing the certified defenses for practical use.


An Almost Optimally Fair Three Party Coin Flipping Protocol. In a multiparty fair coin flipping protocol, the parties output a common (close to) unbiased bit, even when some corrupted parties try to bias the output. Cleve STOC 1986 has shown that in the case of dishonest majority (i.e., at least half of the parties can be corrupted), in any m round coin flipping protocol the corrupted parties can bias the honest parties' common output bit by Omega( frac1 m ) . For more than two decades the best known coin flipping protocols against dishonest majority had bias Theta( frac ell sqrt m ) , where ell is the number of corrupted parties. This was changed by a recent breakthrough result of Moran et al. TCC 2009 , who constructed an m round, two party coin flipping protocol with optimal bias Theta( frac1 m ) . In a subsequent work, Beimel et al. Crypto 2010 extended this result to the multiparty case in which less than frac23 of the parties can be corrupted. Still for the case of frac23 (or more) corrupted parties, the best known protocol had bias Theta( frac ell sqrt m ) . In particular, this was the state of affairs for the natural three party case. We make a step towards eliminating the above gap, presenting an m round, three party coin flipping protocol, with bias frac O( log 3 m) m . Our approach (which we also apply for the two party case) does not follow the "threshold round" paradigm used in the work of Moran et al. and Beimel et al., but rather is a variation of the majority protocol of Cleve, used to obtain the aforementioned Theta( frac ell sqrt m ) bias protocol.


Partial Factorizations of Generalized Binomial Products. This paper studies an integer sequence overline G n analogous to the product G n prod k 0 n binom n k , the product of the elements of the n th row of Pascal's triangle. It is known that G n prod p le n p nu p(G n) with nu p(G n) being computable from the base p expansions of integers up to n . These radix statistics make sense for all bases b ge2 , and we define the generalized binomial product overline G n prod 2 le b le n b overline nu (n,b) and show it is an integer. The statistic b overline nu (n,b) is not the same as the maximal power of b dividing G n . This paper studies the partial products overline G (n,x) prod 2 le b le x b overline nu (n,b) , which are also integers, and estimates their size. It shows log overline G (n, alpha n) is well approximated by f overline G ( alpha)n 2 log n g overline G ( alpha)n 2 as n to infty for limit functions f overline G ( alpha) and g overline G ( alpha) defined for 0 le alpha le1 . The remainder term has a power saving in n . The main results are deduced from study of functions overline A (n,x) and overline B (n,x) that encode statistics of the base b radix expansions of the integer n (and smaller integers), where the base b ranges over all integers 2 le b le x . Unconditional estimates of overline A (n,x) and overline B (n,x) are derived.


Efficiently Teaching an Effective Dense Retriever with Balanced Topic Aware Sampling. A vital step towards the widespread adoption of neural retrieval models is their resource efficiency throughout the training, indexing and query workflows. The neural IR community made great advancements in training effective dual encoder dense retrieval (DR) models recently. A dense text retrieval model uses a single vector representation per query and passage to score a match, which enables low latency first stage retrieval with a nearest neighbor search. Increasingly common, training approaches require enormous compute power, as they either conduct negative passage sampling out of a continuously updating refreshing index or require very large batch sizes for in batch negative sampling. Instead of relying on more compute capability, we introduce an efficient topic aware query and balanced margin sampling technique, called TAS Balanced. We cluster queries once before training and sample queries out of a cluster per batch. We train our lightweight 6 layer DR model with a novel dual teacher supervision that combines pairwise and in batch negative teachers. Our method is trainable on a single consumer grade GPU in under 48 hours (as opposed to a common configuration of 8x V100s). We show that our TAS Balanced training method achieves state of the art low latency (64ms per query) results on two TREC Deep Learning Track query sets. Evaluated on NDCG 10, we outperform BM25 by 44 , a plainly trained DR by 19 , docT5query by 11 , and the previous best DR model by 5 . Additionally, TAS Balanced produces the first dense retriever that outperforms every other method on recall at any cutoff on TREC DL and allows more resource intensive re ranking models to operate on fewer passages to improve results further.


On the Dual of Generalized Bent Functions. In this paper, we study the dual of generalized bent functions f V n rightarrow mathbb Z p k where V n is an n dimensional vector space over mathbb F p and p is an odd prime, k is a positive integer. It is known that weakly regular generalized bent functions always appear in pairs since the dual of a weakly regular generalized bent function is also a weakly regular generalized bent function. The dual of non weakly regular generalized bent functions can be generalized bent or not generalized bent. By generalizing the construction of cite Cesmelioglu5 , we obtain an explicit construction of generalized bent functions for which the dual can be generalized bent or not generalized bent. We show that the generalized indirect sum construction method given in cite Wang can provide a secondary construction of generalized bent functions for which the dual can be generalized bent or not generalized bent. By using the knowledge on ideal decomposition in cyclotomic field, we prove that f (x) f( x) if f is a generalized bent function and its dual f is also a generalized bent function. For any non weakly regular generalized bent function f which satisfies that f(x) f( x) and its dual f is generalized bent, we give a property and as a consequence, we prove that there is no self dual generalized bent function f V n rightarrow mathbb Z p k if p equiv 3 (mod 4) and n is odd. For p equiv 1 (mod 4) or p equiv 3 (mod 4) and n is even, we give a secondary construction of self dual generalized bent functions. In the end, we characterize the relations between the generalized bentness of the dual of generalized bent functions and the bentness of the dual of bent functions, as well as the self duality relations between generalized bent functions and bent functions by the decomposition of generalized bent functions.


A Godunov type scheme and error estimates for multidimensional scalar conservation laws with Panov type discontinuous flux. This article concerns a scalar multidimensional conservation law where the flux is of Panov type and may contain spatial discontinuities. We define a notion of entropy solution and prove that entropy solutions are unique. We propose a Godunov type finite volume scheme and prove that the Godunov approximations converge to an entropy solution, thus establishing existence of entropy solutions. We also show that our numerical scheme converges at an optimal rate of mathcal O ( sqrt D t ). To the best of our knowledge, convergence of the Godunov type methods in multi dimension and error estimates of the numerical scheme in one as well as in several dimensions are the first of it's kind for conservation laws with discontinuous flux. We present numerical examples that illustrate the theory.


Feature extraction and classification algorithm, which one is more essential? An experimental study on a specific task of vibration signal diagnosis. With the development of machine learning, a data driven model has been widely used in vibration signal fault diagnosis. Most data driven machine learning algorithms are built based on well designed features, but feature extraction is usually required to be completed in advance. In the deep learning era, feature extraction and classifier learning are conducted simultaneously, which will lead to an end to end learning system. This paper explores which one of the two key factors, i.e., feature extraction and classification algorithm, is more essential for a specific task of vibration signal diagnosis during a learning system is generated. Feature extractions from vibration signal based on both well known Gaussian model and statistical characteristics are discussed, respectively. And several classification algorithms are selected to experimentally validate the comparative impact of both feature extraction and classification algorithm on prediction performance.


Rota's program on algebraic operators, rewriting systems and Gr "obner Shirshov bases. Many years ago, Rota proposed a program on determining algebraic identities that can be satisfied by linear operators. After an extended period of dormant, progress on this program picked up speed in recent years, thanks to perspectives from operated algebras and Gr "obner Shirshov bases. These advances were achieved in a series of papers from special cases to more general situations. These perspectives also indicate that Rota's insight can be manifested very broadly, for other algebraic structures such as Lie algebras, and further in the context of operads. This paper gives a survey on the motivation, early developments and recent advances on Rota's program, for linear operators on associative algebras and Lie algebras. Emphasis will be given to the applications of rewriting systems and Gr "obner Shirshov bases. Problems, old and new, are proposed throughout the paper to prompt further developments on Rota's program.


Semantic Characterizations of General Belief Base Revision. The AGM postulates by Alchourr 'on, G "ardenfors, and Makinson continue to represent a cornerstone in research related to belief change. Katsuno and Mendelzon (K M) adopted the AGM postulates for changing belief bases and characterized AGM belief base revision in propositional logic over finite signatures. We generalize K M's approach to the setting of (multiple) base revision in arbitrary Tarskian logics, covering all logics with a classical model theoretic semantics and hence a wide variety of logics used in knowledge representation and beyond. Our generic formulation applies to various notions of "base" (such as belief sets, arbitrary or finite sets of sentences, or single sentences). The core result is a representation theorem showing a two way correspondence between AGM base revision operators and certain "assignments" functions mapping belief bases to total yet not transitive "preference" relations between interpretations. Alongside, we present a companion result for the case when the AGM postulate of syntax independence is abandoned. We also provide a characterization of all logics for which our result can be strengthened to assignments producing transitive preference relations (as in K M's original work), giving rise to two more representation theorems for such logics, according to syntax dependence vs. independence.


Community detection and portfolio optimization. Community detection methods can be used to explore the structure of complex systems. The well known modular configurations in complex financial systems indicate the existence of community structures. Here we analyze the community properties of correlation based networks in worldwide stock markets and use community information to construct portfolios. Portfolios constructed using community detection methods perform well. Our results can be used as new portfolio optimization and risk management tools.


Abundance of Dirichlet improvable pairs with respect to arbitrary norms. In a recent paper of Akhunzhanov and Shatskov the two dimensional Dirichlet spectrum with respect to Euclidean norm was defined. We consider an analogous definition for arbitrary norms on mathbb R 2 and prove that, for each such norm, the set of Dirichlet improvable pairs contains the set of badly approximable pairs, hence is hyperplane absolute winning. To prove this we make a careful study of some classical results in the geometry of numbers due to Chalk Rogers and Mahler to establish a Haj ' o s Minkowski type result for the critical locus of a cylinder. As a corollary, using a recent result of the first named author with Mirzadeh, we conclude that for any norm on mathbb R 2 the top of the Dirichlet spectrum is not an isolated point.


Entropy, Derivation Operators and Huffman Trees. We build a theory of binary trees on finite multisets that categorifies, or operationalizes, the entropy of a finite probability distribution. Multisets operationalize probabilities as the event outcomes of an experiment. Huffman trees operationalize the entropy of the distribution of these events. We show how the derivation property of the entropy of a joint distribution lifts to Huffman trees.


Self discharge mitigation in a liquid metal displacement battery. Recently, a disruptive idea was reported about the discovery of a new type of battery named Liquid Displacement Battery (LDB) comprising liquid metal electrodes and molten salt electrolyte. This cell featured a novel concept of a porous electronically conductive faradaic membrane instead of the traditional ion selective ceramic membrane. LDBs are attractive for stationary storage applications but need mitigation against self discharge. In the instant battery chemistry, Li LiCl PbCl 2 Pb, reducing the diffusion coefficient of lead ions can be a way forward and a solution can be the addition of PbO to the electrolyte. The latter acts as a supplementary barrier and complements the function of the faradaic membrane. The remedial actions improved the cell's coulombic efficiency from 92 to 97 without affecting the voltage efficiency. In addition, the limiting current density of a 500 mAh cell increased from 575 to 831 mA cm 2 and the limiting power from 2.53 to 3.66 W. Finally, the effect of PbO on the impedance and polarization of the cell was also studied.


On matrix SIR Arino models with linear birth rate, loss of immunity, disease and vaccination fatalities, and their approximations. In this work we study the stability properties of the equilibrium points of deterministic epidemic models with nonconstant population size. Models with nonconstant population have been studied in the past only in particular cases, two of which we review and combine. Our main result shows that for simple "matrix epidemic models" introduced in 1 , an explicit general formula for the reproduction number and the corresponding "weak stability alternative" still holds, under small modifications, for models with nonconstant population size, and even when the model allows for vaccination and loss of immunity. The importance of this result is clear once we note that the models of 1 include a large number of viral and bacterial models of epidemic propagation, including for example the totality of homogeneous COVID 19 models. To better understand the nature of the result, we emphasize that the models proposed in 1 and considered here are extensions of the SIR PH model, which is essentially characterized by a phase type distribution that models transitions between the "disease infectious compartments". In these cases, the reproduction number and a certain Lyapunov function for the disease free equilibrium are explicitly expressible. Not surprisingly, accounting for varying demography, loss of immunity, and vaccinations lead to several challenges. One of the most important is that a varying population size leads to multiple endemic equilibrium points this is in contrast with "classic models" which in general admit unique disease free and endemic equilibria. As a special case of our analysis, we consider a "first approximation" (FA) of our model, which coincides with the constant demography model often studied in the literature, and for which more explicit results are available. Furthermore, we propose a second heuristic approximation named "intermediate approximation" (IA).


Summarize and Search Learning Consensus aware Dynamic Convolution for Co Saliency Detection. Humans perform co saliency detection by first summarizing the consensus knowledge in the whole group and then searching corresponding objects in each image. Previous methods usually lack robustness, scalability, or stability for the first process and simply fuse consensus features with image features for the second process. In this paper, we propose a novel consensus aware dynamic convolution model to explicitly and effectively perform the "summarize and search" process. To summarize consensus image features, we first summarize robust features for every single image using an effective pooling method and then aggregate cross image consensus cues via the self attention mechanism. By doing this, our model meets the scalability and stability requirements. Next, we generate dynamic kernels from consensus features to encode the summarized consensus knowledge. Two kinds of kernels are generated in a supplementary way to summarize fine grained image specific consensus object cues and the coarse group wise common knowledge, respectively. Then, we can effectively perform object searching by employing dynamic convolution at multiple scales. Besides, a novel and effective data synthesis method is also proposed to train our network. Experimental results on four benchmark datasets verify the effectiveness of our proposed method. Our code and saliency maps are available at url https github.com nnizhang CADC .


Improving Tagging Consistency and Entity Coverage for Chemical Identification in Full text Articles. This paper is a technical report on our system submitted to the chemical identification task of the BioCreative VII Track 2 challenge. The main feature of this challenge is that the data consists of full text articles, while current datasets usually consist of only titles and abstracts. To effectively address the problem, we aim to improve tagging consistency and entity coverage using various methods such as majority voting within the same articles for named entity recognition (NER) and a hybrid approach that combines a dictionary and a neural model for normalization. In the experiments on the NLM Chem dataset, we show that our methods improve models' performance, particularly in terms of recall. Finally, in the official evaluation of the challenge, our system was ranked 1st in NER by significantly outperforming the baseline model and more than 80 submissions from 16 teams.


The Gamma Function via Interpolation. A new computational framework for evaluation of the gamma function Gamma(z) over the complex plane is developed. The algorithm is based on interpolation by rational functions, and generalizes the classical methods of Lanczos cite Lanczos and Spouge cite Spouge (which we show are also interpolatory). This framework utilizes the exact poles of the gamma function. By relaxing this condition and allowing the poles to vary, a near optimal rational approximation is possible, which is demonstrated using the adaptive Antoulous Anderson (AAA) algorithm, developed in cite AAA,AAA 2020 . The resulting approximations are competitive with Stirling's formula in terms of overall efficiency.


FedLab A Flexible Federated Learning Framework. Federated learning (FL) is a machine learning field in which researchers try to facilitate model learning process among multiparty without violating privacy protection regulations. Considerable effort has been invested in FL optimization and communication related researches. In this work, we introduce texttt FedLab , a lightweight open source framework for FL simulation. The design of texttt FedLab focuses on FL algorithm effectiveness and communication efficiency. Also, texttt FedLab is scalable in different deployment scenario. We hope texttt FedLab could provide flexible API as well as reliable baseline implementations, and relieve the burden of implementing novel approaches for researchers in FL community.


Properties of functions on a bounded charge space. A charge space (X, mathcal A , mu) is a generalisation of a measure space, consisting of a sample space X , a field of subsets mathcal A and a finitely additive measure mu , also known as a charge. Key properties a real valued function on X may possess include T 1 measurability and integrability. These properties are generalisations of corresponding properties of real valued functions on a (countably additive) measure space. However, these properties are less well studied than their measure theoretic counterparts. This paper describes new characterisations of T 1 measurability and integrability in the case that the charge space is bounded, that is, mu(X) infty . These characterisations are convenient for analytic purposes for example, they facilitate simple proofs that T 1 measurability is equivalent to conventional measurability and integrability is equivalent to Lebesgue integrability, if (X, mathcal A , mu) is a complete measure space. Several additional contributions to the theory of bounded charges are also presented. New characterisations of equality almost everywhere of two real valued functions on a bounded charge space are provided. Necessary and sufficient conditions for the function space L 1(X, mathcal A , mu) to be a Banach space are determined. Lastly, the concept of completion of a measure space is generalised for charge spaces, and it is shown that under certain conditions, completion of a charge space adds no new equivalence classes to the quotient space mathcal L p(X, mathcal A , mu) .


Enhanced Multi Resolution Analysis for Multi Dimensional Data Utilizing Line Filtering Techniques. In this article we introduce Line Smoothness Increasing Accuracy Conserving Multi Resolution Analysis linebreak (LSIAC MRA). This is a procedure for exploiting convolution kernel post processors for obtaining more accurate multi dimensional multi resolution analysis (MRA) in terms of error reduction. This filtering projection tool allows for the transition of data between different resolutions while simultaneously decreasing errors in the fine grid approximation. It specifically allows for defining detail multi wavelet coefficients when translating coarse data onto finer meshes. These coefficients are usually not defined in such cases. We show how to analytically evaluate the resulting convolutions and express the filtered approximation in a new basis. This is done by combining the filtering procedure with projection operators that allow for computational implementation of this scale transition procedure. Further, this procedure can be applied to piecewise constant approximations to functions, as it provides error reduction. We demonstrate the effectiveness of this technique in two and three dimensions.


A polarization tensor approximation for the Hessian in iterative solvers for non linear inverse problems. For many inverse parameter problems for partial differential equations in which the domain contains only well separated objects, an asymptotic solution to the forward problem involving 'polarization tensors' exists. These are functions of the size and material contrast of inclusions, thereby describing the saturation component of the non linearity. As such, these asymptotic expansions can allow fast and stable reconstruction of small isolated objects. In this paper, we show how such an asymptotic series can be applied to non linear least squares reconstruction problems, by deriving an approximate diagonal Hessian matrix for the data misfit term. Often, the Hessian matrix can play a vital role in dealing with the non linearity, generating good update directions which accelerate the solution towards a global minimum which may lie in a long curved valley, but computational cost can make direct calculation infeasible. Since the polarization tensor approximation assumes sufficient separation between inclusions, our approximate Hessian does not account for non linearity in the form of lack of superposition in the inverse problem. It does however account for the non linear saturation of the change in the data with increasing material contrast. We therefore propose to use it as an initial Hessian for quasi Newton schemes. This is demonstrated for the case of electrical impedance tomography in numerical experimentation, but could be applied to any other problem which has an equivalent asymptotic expansion. We present numerical experimentation into the accuracy and reconstruction performance of the approximate Hessian, providing a proof of principle of the reconstruction scheme.


Evolving Evolutionary Algorithms with Patterns. A new model for evolving Evolutionary Algorithms (EAs) is proposed in this paper. The model is based on the Multi Expression Programming (MEP) technique. Each MEP chromosome encodes an evolutionary pattern that is repeatedly used for generating the individuals of a new generation. The evolved pattern is embedded into a standard evolutionary scheme that is used for solving a particular problem. Several evolutionary algorithms for function optimization are evolved by using the considered model. The evolved evolutionary algorithms are compared with a human designed Genetic Algorithm. Numerical experiments show that the evolved evolutionary algorithms can compete with standard approaches for several well known benchmarking problems.


Single Node Injection Attack against Graph Neural Networks. Node injection attack on Graph Neural Networks (GNNs) is an emerging and practical attack scenario that the attacker injects malicious nodes rather than modifying original nodes or edges to affect the performance of GNNs. However, existing node injection attacks ignore extremely limited scenarios, namely the injected nodes might be excessive such that they may be perceptible to the target GNN. In this paper, we focus on an extremely limited scenario of single node injection evasion attack, i.e., the attacker is only allowed to inject one single node during the test phase to hurt GNN's performance. The discreteness of network structure and the coupling effect between network structure and node features bring great challenges to this extremely limited scenario. We first propose an optimization based method to explore the performance upper bound of single node injection evasion attack. Experimental results show that 100 , 98.60 , and 94.98 nodes on three public datasets are successfully attacked even when only injecting one node with one edge, confirming the feasibility of single node injection evasion attack. However, such an optimization based method needs to be re optimized for each attack, which is computationally unbearable. To solve the dilemma, we further propose a Generalizable Node Injection Attack model, namely G NIA, to improve the attack efficiency while ensuring the attack performance. Experiments are conducted across three well known GNNs. Our proposed G NIA significantly outperforms state of the art baselines and is 500 times faster than the optimization based method when inferring.


The role of the electrolysis and enzymatic hydrolysis in the enhancement of the electrochemical properties of 3D printed carbon black poly(lactic acid) structures. Additive manufacturing, called 3D printing, starts to play an unprecedented role in developing many applications in industrial or personalized products. The conductive composite structures require additional treatment to achieve an electroactive surface useful for electrochemical devices. In this paper, the surfaces of carbon black poly(lactic acid) CB PLA printouts were activated by electrolysis or enzymatic digestion with proteinase K, or a simultaneous combination of both. Proposed modification protocols allowed for tailoring electrochemically active surface area and electron transfer kinetics determined by electrochemical techniques (CV, EIS) with Fe(CN)6 4 3 redox probe. The X ray photon spectroscopy and SEM imaging were applied to determine the delivered surface chemistry. The CB PLA hydrolysis in alkaline conditions and under anodic polarization greatly impacts the charge transfer kinetics. The enzymatic hydrolysis of PLA with proteinase K has led to highly efficient results yet requiring an unsatisfactory prolonged activation duration of 72 h, efficiently reduced by the electrolysis carried out in the presence of the enzyme. Our studies hint that the activation protocol originates from surface electropolymerization rather than synergistic interaction between electrolysis and enzymatic hydrolysis. The detailed mechanism of CB PLA hydrolysis supported by electrolysis has been elaborated since it pawed a new route towards a time efficient and environmentally friendly activation procedure.


Engineering Purcell factor anisotropy for dark and bright excitons in two dimensional semiconductors. Tightly bound dark excitons in atomically thin semiconductors can be used for various optoelectronic applications including light storage and quantum communication. Their optical accessibility is however limited due to their out of plane transition dipole moment. We thus propose to strengthen the coupling of dark excitons in two dimensional materials with out of plane resonant modes of a cavity at room temperature, by engineering the anisotropy in the Purcell factor. A silica micro disk characterised by high confinement of light in small modal volume, high Q factor and free spectral range is used to couple to the excitons in monolayer transition metal dichalcogenides. We show numerically that the tapering of sidewalls of the micro disk is an extremely versatile route for achieving the selective coupling of whispering gallery modes to light emitted from out of plane dipoles to the detriment of that from in plane ones for four representative monolayer transition metal dichalcogenides.


Snowy Recommending Utterances for Conversational Visual Analysis. Natural language interfaces (NLIs) have become a prevalent medium for conducting visual data analysis, enabling people with varying levels of analytic experience to ask questions of and interact with their data. While there have been notable improvements with respect to language understanding capabilities in these systems, fundamental user experience and interaction challenges including the lack of analytic guidance (i.e., knowing what aspects of the data to consider) and discoverability of natural language input (i.e., knowing how to phrase input utterances) persist. To address these challenges, we investigate utterance recommendations that contextually provide analytic guidance by suggesting data features (e.g., attributes, values, trends) while implicitly making users aware of the types of phrasings that an NLI supports. We present SNOWY, a prototype system that generates and recommends utterances for visual analysis based on a combination of data interestingness metrics and language pragmatics. Through a preliminary user study, we found that utterance recommendations in SNOWY support conversational visual analysis by guiding the participants' analytic workflows and making them aware of the system's language interpretation capabilities. Based on the feedback and observations from the study, we discuss potential implications and considerations for incorporating recommendations in future NLIs for visual analysis.


Two results on character codegrees. Let G be a finite group and mathrm Irr (G) be the set of irreducible characters of G . The codegree of an irreducible character chi of the group G is defined as mathrm cod ( chi) G mathrm ker ( chi) chi(1) . In this paper, we study two topics related to the character codegrees. Let sigma c(G) be the maximal integer m such that there is a member in mathrm cod (G) having m distinct prime divisors, where mathrm cod (G) mathrm cod ( chi) chi in mathrm Irr (G) . One is related to the codegree version of the Huppert's rho sigma conjecture and we obtain the best possible bound for pi(G) under the condition sigma c(G) 2,3, and 4 respectively. The other is related to the prime graph of character codegrees and we show that the codegree prime graphs of several classes of groups can be characterized only by graph theoretical terms.


Thermostatic Hyperthermia with Non invasive Temperature Monitoring through Speed of Sound Imaging. Hyperthermia therapy (HT) is used to treat diseases through heating of high temperature usually in conjunction with some other medical therapeutics like chemotherapy and radiotherapy. In this study, we propose a promising thermostatic hyperthermia method that uses high intensity focused ultrasound (HIFU) for clinical tumor treatment combined with diagnostic ultrasound image guidance and non invasive temperature monitoring through the speed of sound (SOS) imaging. HIFU heating is realized by a ring ultrasound transducer array with 256 elements. The inner structure information of thigh tissue is obtained by B mode ultrasound imaging. Since the relationship between the temperature and the SOS in the different human tissue is available, the temperature detection is converted to the SOS detection obtained by the full wave inversion (FWI) method. Simulation results show that our model can achieve expected thermostatic hyperthermia on tumor target with 0.2 degree maximum temperature fluctuation for 5 hours. This study verifies the feasibility of the proposed thermostatic hyperthermia model. Furthermore, the temperature measurement can share the same ultrasound transducer array for HIFU heating and B mode ultrasound imaging, which provides a guiding significance for clinical application.


Rethinking Data Augmentation for Low Resource Neural Machine Translation A Multi Task Learning Approach. In the context of neural machine translation, data augmentation (DA) techniques may be used for generating additional training samples when the available parallel data are scarce. Many DA approaches aim at expanding the support of the empirical data distribution by generating new sentence pairs that contain infrequent words, thus making it closer to the true data distribution of parallel sentences. In this paper, we propose to follow a completely different approach and present a multi task DA approach in which we generate new sentence pairs with transformations, such as reversing the order of the target sentence, which produce unfluent target sentences. During training, these augmented sentences are used as auxiliary tasks in a multi task framework with the aim of providing new contexts where the target prefix is not informative enough to predict the next word. This strengthens the encoder and forces the decoder to pay more attention to the source representations of the encoder. Experiments carried out on six low resource translation tasks show consistent improvements over the baseline and over DA methods aiming at extending the support of the empirical data distribution. The systems trained with our approach rely more on the source tokens, are more robust against domain shift and suffer less hallucinations.


On asymptotic behavior for a class of diffusion equations involving the fractional wp( cdot) Laplacian as wp( cdot) goes to infty . In this manuscript, we will study the asymptotic behavior for a class of nonlocal diffusion equations associated with the weighted fractional wp( cdot) Laplacian operator involving constant variable exponent. In the case of constant exponents, under some appropriate conditions, we will study the existence of solutions and asymptotic behavior of solutions by employing the subdifferential approach and we will study the problem when wp goes to infty . Already, for case the weighted fractional wp( cdot) Laplacian operator, we will also study the asymptotic behavior of the problem solution when wp( cdot) goes to infty , in the whole or in a subset of the domain (the problem involving the fractional wp( cdot) Laplacian presents a discontinuous exponent). To obtain the results of the asymptotic behavior in both problems it will be via Mosco convergence.


Connected k partition of k connected graphs and c claw free graphs. A connected partition is a partition of the vertices of a graph into sets that induce connected subgraphs. Such partitions naturally occur in many application areas such as road networks, and image processing. We consider Balanced Connected Partitions (BCP), where the two classical objectives for BCP are to maximize the weight of the smallest, or minimize the weight of the largest component. We study BCP on c claw free graphs, the class of graphs that do not have K 1,c as an induced subgraph, and present efficient (c 1) approximation algorithms for both objectives. In particular, due to the (3 )claw freeness of line graphs, this also implies a 2 approximations for the edge partition version of BCP in general graphs. In the 1970s Gy H o ri and Lov ' a sz showed for natural numbers w 1, dots,w k where sum i w i is the vertex size, that if G is k connected, then there exist a connected k partition with part sizes w 1, dots,w k . However, to this day no polynomial algorithm to compute such partitions exists for k 4. Towards finding such a partition T 1, dots, T k , we show how to efficiently compute connected partitions that at least approximately meet the target weights, subject to the mild assumption that each w i is greater than the weight of the heaviest vertex. In particular, we give a 3 approximation for both the lower and the upper bounded version i.e. we guarantee that each T i has weight at least frac w i 3 or that each T i has weight most 3w i , respectively. Also, we present a both side bounded version that produces a connected partition where each T i has size at least frac w i 3 and at most max( r,3 ) w i , where r geq 1 is the ratio between the largest and smallest value in w 1, dots, w k . In particular for the balanced version, i.e. w 1 w 2 , dots, w k , this gives a partition with frac 1 3 w i leq w(T i) leq 3w i .


A data mining approach for improved interpretation of ERT inverted sections using the DBSCAN clustering algorithm. SUMMARY Geophysical imaging using the inversion procedure is a powerful tool for the exploration of the Earth's subsurface. However, the interpretation of inverted images can sometimes be difficult, due to the inherent limitations of existing inversion algorithms, which produce smoothed sections. In order to improve and automate the processing and interpretation of inverted geophysical models, we propose an approach inspired from data mining. We selected an algorithm known as DBSCAN (Density Based Spatial Clustering of Applications with Noise) to perform clustering of inverted geophysical sections. The methodology relies on the automatic sorting and clustering of data. DBSCAN detects clusters in the inverted electrical resistivity values, with no prior knowledge of the number of clusters. This algorithm has the advantage of being defined by only two parameters the neighbourhood of a point in the data space, and the minimum number of data points in this neighbourhood. We propose an objective procedure for the determination of these two parameters. The proof of concept described here is applied to simulated ERT (electrical resistivity tomography) sections, for the following three cases two layers with a step, two layers with a rebound, and two layers with an anomaly embedded in the upper layer. To validate this approach, sensitivity studies were carried out on both of the above parameters, as well as to assess the influence of noise on the algorithm's performance. Finally, this methodology was tested on real field data. DBSCAN detects clusters in the inverted electrical resistivity models, and the former are then associated with various types of earth materials, thus allowing the structure of the prospected area to be determined. The proposed data mining algorithm is shown to be effective, and to improve the interpretation of the inverted ERT sections. This new approach has considerable potential, as it can be applied to any geophysical data represented in the form of sections or maps.


Abstract key polynomials and distinguished pairs. In this paper, for a henselian valued field (K,v) of arbitrary rank and an extension w of v to K(X), we use abstract key polynomials for w to obtain distinguished pairs and saturated distinguished chains.


Semi Streaming Algorithms for Submodular Function Maximization Under b Matching, Matroid, and Matchoid Constraints. We consider the problem of maximizing a non negative submodular function under the b matching constraint, in the semi streaming model. When the function is linear, monotone, and non monotone, we obtain the approximation ratios of 2 varepsilon , 3 2 sqrt 2 approx 5.828 , and 4 2 sqrt 3 approx 7.464 , respectively. We also consider a generalized problem, where a k uniform hypergraph is given, along with an extra matroid or a k' matchoid constraint imposed on the edges, with the same goal of finding a b matching that maximizes a submodular function. When the extra constraint is a matroid, we obtain the approximation ratios of k 1 varepsilon , k 2 sqrt k 1 2 , and k 2 sqrt k 2 3 for linear, monotone and non monotone submodular functions, respectively. When the extra constraint is a k' matchoid, we attain the approximation ratio frac 8 3 k frac 64 9 k' O(1) for general submodular functions.


Clickbait Detection in YouTube Videos. YouTube videos often include captivating descriptions and intriguing thumbnails designed to increase the number of views, and thereby increase the revenue for the person who posted the video. This creates an incentive for people to post clickbait videos, in which the content might deviate significantly from the title, description, or thumbnail. In effect, users are tricked into clicking on clickbait videos. In this research, we consider the challenging problem of detecting clickbait YouTube videos. We experiment with multiple state of the art machine learning techniques using a variety of textual features.


Speeding Up Entmax. Softmax is the de facto standard in modern neural networks for language processing when it comes to normalizing logits. However, by producing a dense probability distribution each token in the vocabulary has a nonzero chance of being selected at each generation step, leading to a variety of reported problems in text generation. alpha entmax of Peters et al. (2019, arXiv 1905.05702) solves this problem, but is considerably slower than softmax. In this paper, we propose an alternative to alpha entmax, which keeps its virtuous characteristics, but is as fast as optimized softmax and achieves on par or better performance in machine translation task.


Closed ray nil affine manifolds and parabolic geometries. Ray nil affine geometries are defined on nilpotent spaces. They occur in every parabolic geometry and in those cases, the nilpotent space is an open dense subset of the corresponding flag manifold. We are interested in closed manifolds having a ray nil affine structure. We show that under a rank one condition on the isotropy, closed manifolds are either complete or their developing map is a cover onto the complement of a nil affine subspace. We prove that if additionally there is a parallel volume or if the automorphism group acts non properly then closed manifolds are always complete.This paper is a sequel to a previous work on ray manifolds in affine geometry.


Interactive segmentation using U Net with weight map and dynamic user interactions. Interactive segmentation has recently attracted attention for specialized tasks where expert input is required to further enhance the segmentation performance. In this work, we propose a novel interactive segmentation framework, where user clicks are dynamically adapted in size based on the current segmentation mask. The clicked regions form a weight map and are fed to a deep neural network as a novel weighted loss function. To evaluate our loss function, an interactive U Net (IU Net) model which applies both foreground and background user clicks as the main method of interaction is employed. We train and validate on the BCV dataset, while testing on spleen and colon cancer CT images from the MSD dataset to improve the overall segmentation accuracy in comparison to the standard U Net using our weighted loss function. Applying dynamic user click sizes increases the overall accuracy by 5.60 and 10.39 respectively by utilizing only a single user interaction.


Improving Model Based Reinforcement Learning with Internal State Representations through Self Supervision. Using a model of the environment, reinforcement learning agents can plan their future moves and achieve superhuman performance in board games like Chess, Shogi, and Go, while remaining relatively sample efficient. As demonstrated by the MuZero Algorithm, the environment model can even be learned dynamically, generalizing the agent to many more tasks while at the same time achieving state of the art performance. Notably, MuZero uses internal state representations derived from real environment states for its predictions. In this paper, we bind the model's predicted internal state representation to the environment state via two additional terms a reconstruction model loss and a simpler consistency loss, both of which work independently and unsupervised, acting as constraints to stabilize the learning process. Our experiments show that this new integration of reconstruction model loss and simpler consistency loss provide a significant performance increase in OpenAI Gym environments. Our modifications also enable self supervised pretraining for MuZero, so the algorithm can learn about environment dynamics before a goal is made available.


DeepWaste Applying Deep Learning to Waste Classification for a Sustainable Planet. Accurate waste disposal, at the point of disposal, is crucial to fighting climate change. When materials that could be recycled or composted get diverted into landfills, they cause the emission of potent greenhouse gases such as methane. Current attempts to reduce erroneous waste disposal are expensive, inaccurate, and confusing. In this work, we propose DeepWaste, an easy to use mobile app, that utilizes highly optimized deep learning techniques to provide users instantaneous waste classification into trash, recycling, and compost. We experiment with several convolution neural network architectures to detect and classify waste items. Our best model, a deep learning residual neural network with 50 layers, achieves an average precision of 0.881 on the test set. We demonstrate the performance and efficiency of our app on a set of real world images.


Deep Structured Instance Graph for Distilling Object Detectors. Effectively structuring deep knowledge plays a pivotal role in transfer from teacher to student, especially in semantic vision tasks. In this paper, we present a simple knowledge structure to exploit and encode information inside the detection system to facilitate detector knowledge distillation. Specifically, aiming at solving the feature imbalance problem while further excavating the missing relation inside semantic instances, we design a graph whose nodes correspond to instance proposal level features and edges represent the relation between nodes. To further refine this graph, we design an adaptive background loss weight to reduce node noise and background samples mining to prune trivial edges. We transfer the entire graph as encoded knowledge representation from teacher to student, capturing local and global information simultaneously. We achieve new state of the art results on the challenging COCO object detection task with diverse student teacher pairs on both one and two stage detectors. We also experiment with instance segmentation to demonstrate robustness of our method. It is notable that distilled Faster R CNN with ResNet18 FPN and ResNet50 FPN yields 38.68 and 41.82 Box AP respectively on the COCO benchmark, Faster R CNN with ResNet101 FPN significantly achieves 43.38 AP, which outperforms ResNet152 FPN teacher about 0.7 AP. Code https github.com dvlab research Dsig.


The left heart and exact hull of an additive regular category. Quasi abelian categories are abundant in functional analysis and representation theory. It is known that a quasi abelian category mathcal E is a cotilting torsionfree class of an abelian category. In fact, this property characterizes quasi abelian categories. This ambient abelian category is derived equivalent to the category mathcal E , and can be constructed as the heart mathcal LH ( mathcal E ) of a operatorname t structure on the bounded derived category operatorname D b ( mathcal E ) or as the localization of the category of monomorphisms in mathcal E . However, there are natural examples of categories in functional analysis which are not quasi abelian, but merely one sided quasi abelian or even weaker. Examples are the category of operatorname LB spaces or the category of complete Hausdorff locally convex spaces. In this paper, we consider additive regular categories as a generalization of quasi abelian categories that covers the aforementioned examples. These categories can be characterized as pre torsionfree subcategories of abelian categories. As for quasi abelian categories, we show that such an ambient abelian category of an additive regular category mathcal E can be found as the heart of a operatorname t structure on the bounded derived category operatorname D b ( mathcal E ) , or as the localization of the category of monomorphisms of mathcal E . In our proof of this last construction, we formulate and prove a version of Auslander's formula for additive regular categories. Whereas a quasi abelian category is an exact category in a natural way, an additive regular category has a natural one sided exact structure. Such a one sided exact category can be 2 universally embedded into its exact hull. We show that the exact hull of an additive regular category is again an additive regular category.


Uncertainty quantification and exploration exploitation trade off in humans. The main objective of this paper is to outline a theoretical framework to analyse how humans' decision making strategies under uncertainty manage the trade off between information gathering (exploration) and reward seeking (exploitation). A key observation, motivating this line of research, is the awareness that human learners are amazingly fast and effective at adapting to unfamiliar environments and incorporating upcoming knowledge this is an intriguing behaviour for cognitive sciences as well as an important challenge for Machine Learning. The target problem considered is active learning in a black box optimization task and more specifically how the exploration exploitation dilemma can be modelled within Gaussian Process based Bayesian Optimization framework, which is in turn based on uncertainty quantification. The main contribution is to analyse humans' decisions with respect to Pareto rationality where the two objectives are improvement expected and uncertainty quantification. According to this Pareto rationality model, if a decision set contains a Pareto efficient (dominant) strategy, a rational decision maker should always select the dominant strategy over its dominated alternatives. The distance from the Pareto frontier determines whether a choice is (Pareto) rational (i.e., lays on the frontier) or is associated to "exasperate" exploration. However, since the uncertainty is one of the two objectives defining the Pareto frontier, we have investigated three different uncertainty quantification measures and selected the one resulting more compliant with the Pareto rationality model proposed. The key result is an analytical framework to characterize how deviations from "rationality" depend on uncertainty quantifications and the evolution of the reward seeking process.


Multi Object Tracking and Segmentation with a Space Time Memory Network. We propose a method for multi object tracking and segmentation that does not require fine tuning or per benchmark hyper parameter selection. The proposed tracker, MeNToS, addresses particularly the data association problem. Indeed, the recently introduced HOTA metric, which has a better alignment with the human visual assessment by evenly balancing detections and associations quality, has shown that improvements are still needed for data association. After creating tracklets using instance segmentation and optical flow, the proposed method relies on a space time memory network developed for one shot video object segmentation to improve the association of tracklets with temporal gaps. We evaluated our tracker on KITTIMOTS and MOTSChallenge and show the benefit of our data association strategy with the HOTA metric. The project page is url www.mehdimiah.com mentos .


Detecting and quantifying palaeoseasonality in stalagmites using geochemical and modelling approaches. Stalagmites are an extraordinarily powerful resource for the reconstruction of climatological palaeoseasonality. Here, we provide a comprehensive review of different types of seasonality preserved by stalagmites and methods for extracting this information. A new drip classification scheme is introduced, which facilitates the identification of stalagmites fed by seasonally responsive drips and which highlights the wide variability in drip types feeding stalagmites. This hydrological variability, combined with seasonality in Earth atmospheric processes, meteoric precipitation, biological processes within the soil, and cave atmosphere composition means that every stalagmite retains a different and distinct (but correct) record of environmental conditions. Replication of a record is extremely useful but should not be expected unless comparing stalagmites affected by the same processes in the same proportion. A short overview of common microanalytical techniques is presented, and suggested best practice discussed. In addition to geochemical methods, a new modelling technique for extracting meteoric precipitation and temperature palaeoseasonality from stalagmite d18O data is discussed and tested with both synthetic and real world datasets. Finally, world maps of temperature, meteoric precipitation amount, and meteoric precipitation oxygen isotope ratio seasonality are presented and discussed, with an aim of helping to identify regions most sensitive to shifts in seasonality.


COBALT COnstrained Bayesian optimizAtion of computationaLly expensive grey box models exploiting derivaTive information. Many engineering problems involve the optimization of computationally expensive models for which derivative information is not readily available. The Bayesian optimization (BO) framework is a particularly promising approach for solving these problems, which uses Gaussian process (GP) models and an expected utility function to systematically tradeoff between exploitation and exploration of the design space. BO, however, is fundamentally limited by the black box model assumption that does not take into account any underlying problem structure. In this paper, we propose a new algorithm, COBALT, for constrained grey box optimization problems that combines multivariate GP models with a novel constrained expected utility function whose structure can be exploited by state of the art nonlinear programming solvers. COBALT is compared to traditional BO on seven test problems including the calibration of a genome scale bioreactor model to experimental data. Overall, COBALT shows very promising performance on both unconstrained and constrained test problems.


Context Adaptive Document Level Neural Machine Translation. Most existing document level neural machine translation (NMT) models leverage a fixed number of the previous or all global source sentences to handle the context independent problem in standard NMT. However, the translating of each source sentence benefits from various sizes of context, and inappropriate context may harm the translation performance. In this work, we introduce a data adaptive method that enables the model to adopt the necessary and useful context. Specifically, we introduce a light predictor into two document level translation models to select the explicit context. Experiments demonstrate the proposed approach can significantly improve the performance over the previous methods with a gain up to 1.99 BLEU points.


Completion of skew completable unimodular rows. Skew completable unimodular rows of odd length are completable over polynomial extension of a local ring if dimension of local ring and length of unimodular rows are same.


Inscribed triangles in the unit sphere and a new class of geometric constants. We will introduce a new geometric constant GL(X) based on the constant H(X) proposed by Gao. We first further survey the constant H(X) and discuss some of the properties of this constant that have not yet been discovered. Next, we focus on a new constant GL(X) along with some of its basic properties. In addition, we show some relations between the well known geometric constants and GL(X) through some inequalities. Finally, we characterize some generalized forms of the constant GL(X).


Kinetic investigation of the planar Multipole Resonance Probe under arbitrary pressure. Active plasma resonance spectroscopy (APRS) refers to a class of plasma diagnostic methods that use the ability of plasma to resonate at or near the electron plasma frequency for diagnostic purposes. The planar multipole resonance probe (pMRP) is an optimized realization of APRS. It has a non invasive structure and allows simultaneous measurement of the electron density, electron temperature, and electron neutral collision frequency. Previous work has investigated the pMRP through the Drude model and collision less kinetic model. The Drude model misses important kinetic effects such as collision less kinetic damping. The collision less kinetic model is able to capture pure kinetic effects. However, it is only applicable to low pressure plasma. To further study the behavior of the pMRP, we develop a collisional kinetic model in this paper, which applies to arbitrary pressure. In this model, the kinetic equation is coupled to the Poisson equation under the electrostatic approximation. The real part of the general admittance is calculated to describe the spectral response of the probe plasma system. Both collision less kinetic damping and collisional damping appear in the spectrum. This model provides a possibility to calculate the electron density, electron temperature, and electron neutral collision frequency from the measurements.


RLTIR Activity based Interactive Person Identification based on Reinforcement Learning Tree. Identity recognition plays an important role in ensuring security in our daily life. Biometric based (especially activity based) approaches are favored due to their fidelity, universality, and resilience. However, most existing machine learning based approaches rely on a traditional workflow where models are usually trained once for all, with limited involvement from end users in the process and neglecting the dynamic nature of the learning process. This makes the models static and can not be updated in time, which usually leads to high false positive or false negative. Thus, in practice, an expert is desired to assist with providing high quality observations and interpretation of model outputs. It is expedient to combine both advantages of human experts and the computational capability of computers to create a tight coupling incremental learning process for better performance. In this study, we develop RLTIR, an interactive identity recognition approach based on reinforcement learning, to adjust the identification model by human guidance. We first build a base tree structured identity recognition model. And an expert is introduced in the model for giving feedback upon model outputs. Then, the model is updated according to strategies that are automatically learned under a designated reinforcement learning framework. To the best of our knowledge, it is the very first attempt to combine human expert knowledge with model learning in the area of identity recognition. The experimental results show that the reinforced interactive identity recognition framework outperforms baseline methods with regard to recognition accuracy and robustness.


Recurrent Feedback Improves Recognition of Partially Occluded Objects. Recurrent connectivity in the visual cortex is believed to aid object recognition for challenging conditions such as occlusion. Here we investigate if and how artificial neural networks also benefit from recurrence. We compare architectures composed of bottom up, lateral and top down connections and evaluate their performance using two novel stereoscopic occluded object datasets. We find that classification accuracy is significantly higher for recurrent models when compared to feedforward models of matched parametric complexity. Additionally we show that for challenging stimuli, the recurrent feedback is able to correctly revise the initial feedforward guess.


Probabilistic Safety Assured Adaptive Merging Control for Autonomous Vehicles. Autonomous vehicles face tremendous challenges while interacting with human drivers in different kinds of scenarios. Developing control methods with safety guarantees while performing interactions with uncertainty is an ongoing research goal. In this paper, we present a real time safe control framework using bi level optimization with Control Barrier Function (CBF) that enables an autonomous ego vehicle to interact with human driven cars in ramp merging scenarios with a consistent safety guarantee. In order to explicitly address motion uncertainty, we propose a novel extension of control barrier functions to a probabilistic setting with provable chance constrained safety and analyze the feasibility of our control design. The formulated bi level optimization framework entails first choosing the ego vehicle's optimal driving style in terms of safety and primary objective, and then minimally modifying a nominal controller in the context of quadratic programming subject to the probabilistic safety constraints. This allows for adaptation to different driving strategies with a formally provable feasibility guarantee for the ego vehicle's safe controller. Experimental results are provided to demonstrate the effectiveness of our proposed approach.


The Wasserstein distance to the Circular Law. We investigate the Wasserstein distance between the empirical spectral distribution of non Hermitian random matrices and the Circular Law. For general entry distributions, we obtain a nearly optimal rate of convergence in 1 Wasserstein distance of order n 1 2 epsilon and we prove that the optimal rate n 1 2 is attained by Ginibre matrices. This shows that the expected transport cost of complex eigenvalues to the uniform measure on the unit disk decays faster compared to that of i.i.d. points, which is known to include a logarithmic factor.


Rikudo is NP complete. Rikudo is a number placement puzzle, where the player is asked to complete a Hamiltonian path on a hexagonal grid, given some clues (numbers already placed and edges of the path). We prove that the game is complete for NP, even if the puzzle has no hole. When all odd numbers are placed it is in P, whereas it is still NP hard when all numbers of the form 3k 1 are placed.


State of the art predictive and prescriptive analytics for IEEE CIS 3rd Technical Challenge. In this paper, we describe our proposed methodology to approach the predict optimise challenge introduced in the IEEE CIS 3rd Technical Challenge. The predictive model employs an ensemble of LightGBM models and the prescriptive analysis employs mathematical optimisation to efficiently prescribe solutions that minimise the average cost over multiple scenarios. Our solutions ranked 1st in the optimisation and 2nd in the prediction challenge of the competition.