Radiative Cooling and Thermoregulation in the Earth's Glow. Passive radiative cooling involves a net radiative heat loss into the cold outer space through the atmospheric transmission windows. Due to its passive nature and net cooling effect, it is a promising alternative or complement to electrical cooling. For efficient radiative cooling of objects, an unimpeded view of the sky is ideal. However, the view of the sky is usually limited for instance, the walls of buildings have 50 of their field of view subtended by the earth. Moreover, objects on earth become sources of heat under sunlight. Therefore, building walls with hot terrestrial objects in view experience reduced cooling or heating, even with materials optimized for heat loss into the sky. We show that by using materials with selective long wavelength infrared (LWIR) emittances, vertical building facades experience higher cooling than achievable by using broadband thermal emitters like typical building envelopes. Intriguingly, this effect is pronounced in the summer and diminishes or even reverses during the winter, indicating a thermoregulation effect. The findings highlight a major opportunity to harness untapped energy savings in buildings.


Neural Review Rating Prediction with Hierarchical Attentions and Latent Factors. Text reviews can provide rich useful semantic information for modeling users and items, which can benefit rating prediction in recommendation. Different words and reviews may have different informativeness for users or items. Besides, different users and items should be personalized. Most existing works regard all reviews equally or utilize a general attention mechanism. In this paper, we propose a hierarchical attention model fusing latent factor model for rating prediction with reviews, which can focus on important words and informative reviews. Specially, we use the factor vectors of Latent Factor Model to guide the attention network and combine the factor vectors with feature representation learned from reviews to predict the final ratings. Experiments on real world datasets validate the effectiveness of our approach.


Four factor model of Quanto CDS with jumps at default and stochastic recovery. In this paper we modify the model of Itkin, Shcherbakov and Veygman, (2019) (ISV2019), proposed for pricing Quanto Credit Default Swaps (CDS) and risky bonds, in several ways. First, it is known since the Lehman Brothers bankruptcy that the recovery rate could significantly vary right before or at default, therefore, in this paper we consider it to be stochastic. Second, to reduce complexity of the model, we treat the domestic interest rate as deterministic, because, as shown in ISV2019, volatility of the domestic interest rate does not contribute much to the value of the Quanto CDS spread. Finally, to solve the corresponding systems of 4D partial differential equations we use a different flavor of the Radial Basis Function (RBF) method which is a combination of localized RBF and finite difference methods, and is known in the literature as RBF FD. Results of our numerical experiments presented in the paper demonstrate that the influence of volatility of the recovery rate is significant if the correlation between the recovery rate and the log intensity of the default is non zero. Also, the impact of the recovery mean reversion rate on the Quanto CDS spread could be comparable with the impact due to jump at default in the FX rate.


Textbook efficiency massively parallel matrix free multigrid for the Stokes system. We employ textbook multigrid efficiency (TME), as introduced by Achi Brandt, to construct an asymptotically optimal monolithic multigrid solver for the Stokes system. The geometric multigrid solver builds upon the concept of hierarchical hybrid grids (HHG), which is extended to higher order finite element discretizations, and a corresponding matrix free implementation. The computational cost of the full multigrid (FMG) iteration is quantified, and the solver is applied to multiple benchmark problems. Through a parameter study, we suggest configurations that achieve TME for both, stabilized equal order, and Taylor Hood discretizations. The excellent node level performance of the relevant compute kernels is presented via a roofline analysis. Finally, we demonstrate the weak and strong scalability to up to 147,456 parallel processes and solve Stokes systems with more than 3.6 times 10 12 (trillion) unknowns.


Sionnx Automatic Unit Test Generator for ONNX Conformance. Open Neural Network Exchange (ONNX) is an open format to represent AI models and is supported by many machine learning frameworks. While ONNX defines unified and portable computation operators across various frameworks, the conformance tests for those operators are insufficient, which makes it difficult to verify if an operator's behavior in an ONNX backend implementation complies with the ONNX standard. In this paper, we present the first automatic unit test generator named Sionnx for verifying the compliance of ONNX implementation. First, we propose a compact yet complete set of rules to describe the operator's attributes and the properties of its operands. Second, we design an Operator Specification Language (OSL) to provide a high level description for the operator's syntax. Finally, through this easy to use specification language, we are able to build a full testing specification which leverages LLVM TableGen to automatically generate unit tests for ONNX operators with much large coverage. Sionnx is lightweight and flexible to support cross framework verification. The Sionnx framework is open sourced in the github repository (https github.com alibaba Sionnx).


Requirements for Interdependent Reserve Types. As renewable energy penetration increases and system inertia levels drop, primary frequency control is becoming a critical concern in relatively small interconnections such as the Electric Reliability Council of Texas (ERCOT). To address this problem ERCOT is implementing a number of market rule changes including the introduction of a new Fast Frequency Response (FFR) reserve type to the electricity market. This FFR reserve type aims to help the traditional Primary Frequency Response (PFR) reserve type in arresting frequency decline in the event of a large generator outage. This paper derives reserve requirements to ensure sufficient reserve to arrest frequency decline before reaching the critical frequency threshold while coupling PFR reserve, FFR reserve, and system inertia. The general reserve requirement places limits on the amount of PFR reserve that can be provided by each unit based on its ramping capabilities. Two such limits are derived from first principles and another is proposed that is capable of accommodating the equivalency ratio introduced in previous work. These PFR reserve limits also provide first principles insight into equivalency ratios, which have only been studied empirically in the past. High level insights are provided on a large Texas test case.


Sobolev spaces on p.c.f. self similar sets critical orders and atomic decompositions. We consider the Sobolev type spaces H sigma(K) with sigma geq 0 , where K is a post critically finite self similar set with the natural boundary. Firstly, we compare different classes of Sobolev spaces H sigma N(K),H sigma D(K) and H sigma(K) , and observe a sequence of critical orders of sigma in our comparison theorem. Secondly, We present a general atomic decomposition theorem of Sobolev spaces H sigma(K) , where the same critical orders play an important role. At the same time, we provide purely analytic approaches for various Besov type characterizations of Sobolev spaces H sigma(K) .


Wavefront engineering for controlled structuring of far field intensity and phase patterns from multimodal optical fibers. Adaptive optics methods have long been used to perform complex light shaping at the output of a multimode fiber (MMF), with the specific aim of controlling the emitted beam in the near field. Gaining control of other emission properties, including the far field pattern and the phase of the generated beam, would open up the possibility for MMFs to act as miniaturized beam splitting, steering components and to implement phase encoded imaging and sensing. In this study, we employ phase modulation at the input of a MMF to generate multiple, low divergence rays with controlled angles and phase, showing how wavefront engineering can enable beam steering and phase encoded applications through MMFs.


Differentiable Open Ended Commonsense Reasoning. Current commonsense reasoning research focuses on developing models that use commonsense knowledge to answer multiple choice questions. However, systems designed to answer multiple choice questions may not be useful in applications that do not provide a small list of candidate answers to choose from. As a step towards making commonsense reasoning research more realistic, we propose to study open ended commonsense reasoning (OpenCSR) the task of answering a commonsense question without any pre defined choices using as a resource only a corpus of commonsense facts written in natural language. OpenCSR is challenging due to a large decision space, and because many questions require implicit multi hop reasoning. As an approach to OpenCSR, we propose DrFact, an efficient Differentiable model for multi hop Reasoning over knowledge Facts. To evaluate OpenCSR methods, we adapt several popular commonsense reasoning benchmarks, and collect multiple new answers for each test question via crowd sourcing. Experiments show that DrFact outperforms strong baseline methods by a large margin.


A Chebyshev Tau spectral method for normal modes of underwater sound propagation with a layered marine environment. The normal mode model is one of the most popular approaches for solving underwater sound propagation problems. Among other methods, the finite difference method is widely used in classic normal mode programs. In many recent studies, the spectral method has been used for discretization. It is generally more accurate than the finite difference method. However, the spectral method requires that the variables to be solved are continuous in space, and the traditional spectral method is powerless for a layered marine environment. A Chebyshev Tau spectral method based on domain decomposition is applied to the construction of underwater acoustic normal modes in this paper. In this method, the differential equation is projected onto spectral space from the original physical space with the help of an orthogonal basis of Chebyshev polynomials. A complex matrix eigenvalue eigenvector problem is thus formed, from which the solution of horizontal wavenumbers and modal functions can be solved. The validity of the acoustic field calculation is tested in comparison with classic programs. The results of analysis and tests show that compared with the classic finite difference method, the proposed Chebyshev Tau spectral method has the advantage of high computational accuracy. In addition, in terms of running time, our method is faster than the Legendre Galerkin spectral method.


A Critical Study of Howell et al.'s Nonlinear Beam Theory. In our analysis, we show that Howell et al.'s nonlinear beam theory does not depict a representation of the Euler Bernoulli beam equation, nonlinear or otherwise. The authors' nonlinear beam theory implies that one can bend a beam in to a constant radius of deformation and maintain that constant radius of deformation with zero force. Thus, the model is disproven by showing that it is invalid when the curvature of deformation is constant, while even the linear Euler Bernoulli beam equation stays perfectly valid under such deformations. To conclude, we derive a nonlinear beam equation by using Ciarlet's nonlinear plate equations and show that our model is valid for constant radius of deformations.


Tied pseudo links Pseudo knotoids. In this paper we study the theory of it pseudo knots , which are knots with some missing crossing information, and we introduce and study the theory of it pseudo tied links and the theory of it pseudo knotoids . In particular, we first present a braiding algorithm for pseudo knots and we then introduce the L moves in that setting, with the use of which we formulate a sharpened version of the analogue of the Markov theorem for pseudo braids. Then we introduce and study the theory of it tied pseudo links , that generalize the notion of tied links, and we exploit the relation between tied pseudo links and tied singular links. We first present an L move braid equivalence for tied singular braids. Then, we introduce the tied pseudo braid monoid and we formulate and prove analogues of the Alexander and Markov theorems for tied pseudo links. Finally, we introduce and study the theory of it pseudo knotoids , that generalize the notion of knotoids. We present an isotopy theorem for pseudo knotoids and we then pass to the level of braidoids. We further introduce and study the it pseudo braidoids by introducing the it pseudo L it moves and by presenting the analogues of the Alexander and Markov theorems for pseudo knotoids. We also discuss further research related to it tied (multi) knotoids and tied pseudo (multi) knotoids . The theory of pseudo knots may serve as a strong tool in the study of DNA, while tied links have potential use in other aspects of molecular biology.


Approximation with Neural Networks in Variable Lebesgue Spaces. This paper concerns the universal approximation property with neural networks in variable Lebesgue spaces. We show that, whenever the exponent function of the space is bounded, every function can be approximated with shallow neural networks with any desired accuracy. This result subsequently leads to determine the universality of the approximation depending on the boundedness of the exponent function. Furthermore, whenever the exponent is unbounded, we obtain some characterization results for the subspace of functions that can be approximated.


On the boundaries of highly connected, almost closed manifolds. Building on work of Stolz, we prove for integers 0 le d le 3 and k 232 that the boundaries of (k 1) connected, almost closed (2k d) manifolds also bound parallelizable manifolds. Away from finitely many dimensions, this settles longstanding questions of C.T.C. Wall, determines all Stein fillable homotopy spheres, and proves a conjecture of Galatius and Randal Williams. Implications are drawn for both the classification of highly connected manifolds and, via work of Kreck and Krannich, the calculation of their mapping class groups. Our technique is to recast the Galatius and Randal Williams conjecture in terms of the vanishing of a certain Toda bracket, and then to analyze this Toda bracket by bounding its mathrm H mathbb F p Adams filtrations for all primes p . We additionally prove new vanishing lines in the mathrm H mathbb F p Adams spectral sequences of spheres and Moore spectra, which are likely to be of independent interest. Several of these vanishing lines rely on an Appendix by Robert Burklund, which answers a question of Mathew about vanishing curves in mathrm BP langle n rangle based Adams spectral sequences.


On the inverse cascade and flow speed scaling behavior in rapidly rotating Rayleigh B 'enard convection. Rotating Rayleigh B 'enard convection is investigated numerically with the use of an asymptotic model that captures the rapidly rotating, small Ekman number limit, Ek rightarrow 0 . The Prandtl number ( Pr ) and the asymptotically scaled Rayleigh number ( widetilde Ra Ra Ek 4 3 , where Ra is the typical Rayleigh number) are varied systematically. For sufficiently vigorous convection, an inverse kinetic energy cascade leads to the formation of a depth invariant large scale vortex (LSV). With respect to the kinetic energy, we find a transition from convection dominated states to LSV dominated states at an asymptotically reduced (small scale) Reynolds number of widetilde Re approx 6 for all investigated values of Pr . The ratio of the depth averaged kinetic energy to the kinetic energy of the convection reaches a maximum at widetilde Re approx 24 , then decreases as widetilde Ra is increased. This decrease in the relative kinetic energy of the LSV is associated with a decrease in the convective correlations with increasing Rayleigh number. The scaling behavior of the convective flow speeds is studied although a linear scaling of the form widetilde Re sim widetilde Ra Pr is observed over a limited range in Rayleigh number and Prandtl number, a clear departure from this scaling is observed at the highest accessible values of widetilde Ra . Calculation of the forces present in the governing equations shows that the ratio of the viscous force to the buoyancy force is an increasing function of widetilde Ra , that approaches unity over the investigated range of parameters.


A Controllable and Highly Propagative Hybrid Surface Plasmon Phonon Polariton in a CdZnO based Two Interface System. The development of new nanophotonic devices requires the understanding and modulation of the propagating surface plasmon and phonon modes arising in plasmonic and polar dielectric materials, respectively. Here we explore the CdZnO alloy as a plasmonic material, with a tunable plasma frequency and reduced losses compared to pure CdO. By means of attenuated total reflectance, we experimentally observe the hybridization of the surface plasmon polariton (SPP) with the surface phonon polariton (SPhP) in the air CdZnO sapphire three layer system. We show how through the precise control of the CdZnO thickness, the resonance frequencies of the hybrid surface plasmon phonon polariton (SPPP) are tuned in the mid infrared, and the nature of the hybrid mode turns from a plasmon like behavior in the thicker films to a phonon like behavior in the thinnest films. The presence of sapphire phonons not only allows the hybrid mode to be formed, but also improves its characteristics with respect to the bare SPP. The reduced damping of the phonon oscillators allows to reduce the losses of the hybrid mode, enhancing the propagation length above 500 microns, one order of magnitude larger than that of typical SPPs, clearing the path for its application on emerging devices such as plasmonic waveguides.


Joint haze image synthesis and dehazing with mmd vae losses. Fog and haze are weathers with low visibility which are adversarial to the driving safety of intelligent vehicles equipped with optical sensors like cameras and LiDARs. Therefore image dehazing for perception enhancement and haze image synthesis for testing perception abilities are equivalently important in the development of such autonomous driving systems. From the view of image translation, these two problems are essentially dual with each other, which have the potentiality to be solved jointly. In this paper, we propose an unsupervised Image to Image Translation framework based on Variational Autoencoders (VAE) and Generative Adversarial Nets (GAN) to handle haze image synthesis and haze removal simultaneously. Since the KL divergence in the VAE objectives could not guarantee the optimal mapping under imbalanced and unpaired training samples with limited size, Maximum mean discrepancy (MMD) based VAE is utilized to ensure the translating consistency in both directions. The comprehensive analysis on both synthesis and dehazing performance of our method demonstrate the feasibility and practicability of the proposed method.


On the image in the torus of sparse points on dilating analytic curves. It is known that the image in mathbb R 2 mathbb Z 2 of a circle of radius rho in the plane becomes equidistributed as rho to infty . We consider the following sparse version of this phenomenon. Starting from a sequence of radii left rho n right n 1 infty which diverges to infty and an angle omega in mathbb R mathbb Z , we consider the projection to mathbb R 2 mathbb Z 2 of the n 'th roots of unity rotated by angle omega and dilated by a factor of rho n . We prove that if rho n is bounded polynomially in n , then the image of these sparse collections becomes equidistributed, and moreover, if rho n grows arbitrarily fast, then we show that equidistribution holds for almost all omega . Interestingly, we found that for any angle there is a sequence of radii growing to infty faster then any polynomial for which equidistribution fails dramatically. In greater generality, we prove this type of results for dilations of varying analytic curves in mathbb R d . A novel component of the proof is the use of the theory of o minimal structures to control exponential sums.


On the Robustness of Human Pose Estimation. This paper provides a comprehensive and exhaustive study of adversarial attacks on human pose estimation models and the evaluation of their robustness. Besides highlighting the important differences between well studied classification and human pose estimation systems w.r.t. adversarial attacks, we also provide deep insights into the design choices of pose estimation systems to shape future work. We benchmark the robustness of several 2D single person pose estimation architectures trained on multiple datasets, MPII and COCO. In doing so, we also explore the problem of attacking non classification networks including regression based networks, which has been virtually unexplored in the past. par We find that compared to classification and semantic segmentation, human pose estimation architectures are relatively robust to adversarial attacks with the single step attacks being surprisingly ineffective. Our study shows that the heatmap based pose estimation models are notably robust than their direct regression based systems and that the systems which explicitly model anthropomorphic semantics of human body fare better than their other counterparts. Besides, targeted attacks are more difficult to obtain than un targeted ones and some body joints are easier to fool than the others. We present visualizations of universal perturbations to facilitate unprecedented insights into their workings on pose estimation. Additionally, we show them to generalize well across different networks. Finally we perform a user study about perceptibility of these examples.


Poincar 'e compactification for non polynomial vector fields. In this work a theorical framework to apply the Poincar 'e compactification technique to locally Lipschitz continuous vector fields is developed. It is proved that these vectors fields are compactifiable in the n dimensional sphere, though the compactified vector field can be identically null in the equator. Moreover, for a fixed projection to the hemisphere, all the compactifications of a vector field, which are not identically null on the equator are equivalent. Also, the conditions determining the invariance of the equator for the compactified vector field are obtained. Up to the knowledge of the authors, this is the first time that the Poincar 'e compactification of locally Lipschitz continuous vector fields is studied. These results are illustrated applying them to some families of vector fields, like polynomial vector fields, vector fields defined as a sum of homogeneous functions and vector fields defined by piecewise linear functions.


Automatic Business Process Structure Discovery using Ordered Neurons LSTM A Preliminary Study. Automatic process discovery from textual process documentations is highly desirable to reduce time and cost of Business Process Management (BPM) implementation in organizations. However, existing automatic process discovery approaches mainly focus on identifying activities out of the documentations. Deriving the structural relationships between activities, which is important in the whole process discovery scope, is still a challenge. In fact, a business process has latent semantic hierarchical structure which defines different levels of detail to reflect the complex business logic. Recent findings in neural machine learning area show that the meaningful linguistic structure can be induced by joint language modeling and structure learning. Inspired by these findings, we propose to retrieve the latent hierarchical structure present in the textual business process documents by building a neural network that leverages a novel recurrent architecture, Ordered Neurons LSTM (ON LSTM), with process level language model objective. We tested the proposed approach on data set of Process Description Documents (PDD) from our practical Robotic Process Automation (RPA) projects. Preliminary experiments showed promising results.


Frattini injectivity and Maximal pro p Galois groups. We call a pro p group G Frattini injective if distinct finitely generated subgroups of G have distinct Frattinis. This paper is an initial effort toward a systematic study of Frattini injective pro p groups (and several other related concepts). Most notably, we classify the p adic analytic and the solvable Frattini injective pro p groups, and we describe the lattice of normal abelian subgroups of a Frattini injective pro p group. We prove that every maximal pro p Galois group of a field that contains a primitive p th root of unity (and also contains sqrt 1 if p 2 ) is Frattini injective. In addition, we show that many substantial results on maximal pro p Galois groups are in fact consequences of Frattini injectivity. For instance, a p adic analytic or solvable pro p group is Frattini injective if and only if it can be realized as a maximal pro p Galois group of a field that contains a primitive p th root of unity (and also contains sqrt 1 if p 2 ) and every Frattini injective pro p group contains a unique maximal abelian normal subgroup.


Modelling Value oriented Legal Reasoning in LogiKEy. The logico pluralist LogiKEy knowledge engineering methodology and framework is applied to the modelling of a theory of legal balancing in which legal knowledge (cases and laws) is encoded by utilising context dependent value preferences. The theory obtained is then used to formalise, automatically evaluate, and reconstruct illustrative property law cases (involving appropriation of wild animals) within the Isabelle proof assistant system, illustrating how LogiKEy can harness interactive and automated theorem proving technology to provide a testbed for the development and formal verification of legal domain specific languages and theories. Modelling value oriented legal reasoning in that framework, we establish novel bridges between latest research in knowledge representation and reasoning in non classical logics, automated theorem proving, and applications in legal reasoning.


Existence and local uniqueness of normalized peak solutions for a Schrodinger Newton system. In this paper, we investigate the existence and local uniqueness of normalized peak solutions for a Schr "odinger Newton system under the assumption that the trapping potential is degenerate and has non isolated critical points. First we investigate the existence and local uniqueness of normalized single peak solutions for the Schr "odinger Newton system. Precisely, we give the precise description of the chemical potential mu and the attractive interaction a . Then we apply the finite dimensional reduction method to obtain the existence of single peak solutions. Furthermore, using various local Pohozaev identities, blow up analysis and the maximum principle, we prove the local uniqueness of single peak solutions by precise analysis of the concentrated points and the Lagrange multiplier. Finally, we also prove the nonexistence of multi peak solutions for the Schr "odinger Newton system, which is markedly different from the corresponding Schr "odinger equation. The nonlocal term results in this difference. The main difficulties come from the estimates on Lagrange multiplier, the different degenerate rates along different directions at the critical point of P(x) and some complicated estimates involved by the nonlocal term. To our best knowledge, it may be the first time to study the existence and local uniqueness of solutions with prescribed L 2 norm for the Schr "odinger Newton system.


Zero range process in random environment. We survey our recent articles dealing with one dimensional attractive zero range processes moving under site disorder. We suppose that the underlying random walks are biased to the right and so hyperbolic scaling is expected. Under the conditions of our model the process admits a maximal invariant measure. The initial focus of the project was to find conditions on the initial law to entail convergence in distribution to this maximal distribution, when it has a finite density. Somewhat surprisingly, necessary and sufficient conditions were found. In this part hydrody namic results were employed chiefly as a tool to show distributional convergence but subsequently we developed a theory for hydrodynamic limits treating profiles possessing densities that did not admit corresponding equilibria. Finally we derived strong local equilibrium results.


Economic Theoretic LEO Satellite Coverage Control An Auction based Framework. Recently, ultra dense low earth orbit (LEO) satelliteconstellation over high frequency bands has considered as one ofpromising solutions to supply coverage all over the world. Givensatellite constellations, efficient beam coverage schemes should beemployed at satellites to provide seamless services and full viewcoverage. In LEO systems, hybrid wide and spot beam coverageschemes are generally used, where the LEO provides a widebeam for large area coverage and additional several steering spotbeams for high speed data access. In this given setting, schedulingmultiple spot beams is essentially required. In order to achievethis goal, Vickery Clarke Groves (VCG) auction based trustfulalgorithm is proposed in this paper for scheduling multiple spotbeams for more efficient seamless services and full view coverage.


Beyond Personalization Social Content Recommendation for Creator Equality and Consumer Satisfaction. An effective content recommendation in modern social media platforms should benefit both creators to bring genuine benefits to them and consumers to help them get really interesting content. In this paper, we propose a model called Social Explorative Attention Network (SEAN) for content recommendation. SEAN uses a personalized content recommendation model to encourage personal interests driven recommendation. Moreover, SEAN allows the personalization factors to attend to users' higher order friends on the social network to improve the accuracy and diversity of recommendation results. Constructing two datasets from a popular decentralized content distribution platform, Steemit, we compare SEAN with state of the art CF and content based recommendation approaches. Experimental results demonstrate the effectiveness of SEAN in terms of both Gini coefficients for recommendation equality and F1 scores for recommendation performance.


The Topology of Mutated Driver Pathways. Much progress has been made, and continues to be made, towards identifying candidate mutated driver pathways in cancer. However, no systematic approach to understanding how candidate pathways relate to each other for a given cancer (such as Acute myeloid leukemia), and how one type of cancer may be similar or different from another with regard to their respective pathways (Acute myeloid leukemia vs. Glioblastoma multiforme for instance), has emerged thus far. Our work attempts to contribute to the understanding of em space of pathways through a novel topological framework. We illustrate our approach, using mutation data (obtained from TCGA) of two types of tumors Acute myeloid leukemia (AML) and Glioblastoma multiforme (GBM). We find that the space of pathways for AML is homotopy equivalent to a sphere, while that of GBM is equivalent to a genus 2 surface. We hope to trigger new types of questions (i.e., allow for novel kinds of hypotheses) towards a more comprehensive grasp of cancer.


Forcing and anti forcing polynomials of a polyomino graph. The forcing number of a perfect matching M in a graph G is the smallest number of edges inside M that can not be contained in other perfect matchings. The anti forcing number of M is the smallest number of edges outside M whose removal results in a subgraph with a single perfect matching, that is M . Recently, in order to investigate the distributions of forcing numbers and anti forcing numbers, the forcing polynomial and anti forcing polynomial were proposed, respectively. In this work, the forcing and anti forcing polynomials of a polyomino graph are obtained. As consequences, the forcing and anti forcing spectra of this polyomino graph are determined, and the asymptotic behaviors on the degree of freedom and the sum of all anti forcing numbers are revealed, respectively.


Analytic geometric methods for finite Markov chains with applications to quasi stationarity. For a relatively large class of well behaved absorbing (or killed) finite Markov chains, we give detailed quantitative estimates regarding the behavior of the chain before it is absorbed (or killed). Typical examples are random walks on box like finite subsets of the square lattice mathbb Z d absorbed (or killed) at the boundary. The analysis is based on Poincar 'e, Nash, and Harnack inequalities, moderate growth, and on the notions of John and inner uniform domains.


Asymptotic Analysis of Boltzmann Equation in Bounded Domains. Consider 3D Boltzmann equation in convex domains with diffusive reflection boundary condition. We study the hydrodynamic limits as the Knudsen number and Strouhal number epsilon rightarrow 0 . Using the Hilbert expansion, we rigorously justify that the solution of stationary evolutionary problem converges to that of the steady unsteady Navier Stokes Fourier system. This is the first paper to justify the hydrodynamic limits of nonlinear Boltzmann equations with hard sphere collision kernel in bounded domain in the L infty sense. The proof relies on a novel analysis on the boundary layer effect with geometric correction. The difficulty mainly comes from three sources 3D domain, boundary layer regularity, and time dependence. To fully solve this problem, we introduce several techniques (1) boundary layer with geometric correction (2) remainder estimates with L 2 L 6 L infty framework. Keywords boundary layer Milne problem geometric correction remainder estimates.


Distributional Robustness and Uncertainty Quantification for Rare Events. Rare events, and more general risk sensitive quantities of interest (QoIs), are significantly impacted by uncertainty in the tail behavior of a distribution. Uncertainty in the tail can take many different forms, each of which leads to a particular ambiguity set of alternative models. Distributional robustness bounds over such an ambiguity set constitute a stress test of the model. In this paper we develop a method, utilizing R 'enyi divergences, of constructing the ambiguity set that captures a user specified form of tail perturbation. We then obtain distributional robustness bounds (performance guarantees) for risk sensitive QoIs over these ambiguity sets, using the known connection between R 'enyi divergences and robustness for risk sensitive QoIs. We also expand on this connection in several ways, including a generalization of the Donsker Varadhan variational formula to R 'enyi divergences, and various tightness results. These ideas are illustrated through applications to uncertainty quantification in a model of lithium ion battery failure, robustness of large deviations rate functions, and risk sensitive distributionally robust optimization for option pricing.


Commuting squares and planar subalgebras. We show a close relationship between non degenerate smooth commuting squares of II 1 factors with all inclusions of finite index and inclusions of subfactor planar algebras by showing that each leads to a construction of the other. One direction of this uses the Guionnet Jones Shlyakhtenko construction.


Smooth blowup square for motives with modulus. In this self contained paper we prove that Voevodsky's smooth blowup triangle of motives generalises to a smooth blowup triangle of motives with modulus.


Phrase Localization Without Paired Training Examples. Localizing phrases in images is an important part of image understanding and can be useful in many applications that require mappings between textual and visual information. Existing work attempts to learn these mappings from examples of phrase image region correspondences (strong supervision) or from phrase image pairs (weak supervision). We postulate that such paired annotations are unnecessary, and propose the first method for the phrase localization problem where neither training procedure nor paired, task specific data is required. Our method is simple but effective we use off the shelf approaches to detect objects, scenes and colours in images, and explore different approaches to measure semantic similarity between the categories of detected visual elements and words in phrases. Experiments on two well known phrase localization datasets show that this approach surpasses all weakly supervised methods by a large margin and performs very competitively to strongly supervised methods, and can thus be considered a strong baseline to the task. The non paired nature of our method makes it applicable to any domain and where no paired phrase localization annotation is available.


Convergence rates of spectral orthogonal projection approximation for functions of algebraic and logarithmatic regularities. Based on the Hilb type formula between Jacobi polynomials and Bessel functions, optimal decay rates on Jacobi expansion coefficients are derived, by applying van der Corput type lemmas, for functions of logarithmatic singularities, which leads to the optimal convergence rates on the Jacobi, Gegenbauer and Chebyshev orthogonal projections. It is interesting to see that for boundary singularities, one may get faster convergence rate on the Jacobi or Gegenbauer projection as ( alpha, beta) and lambda increases. The larger values of parameter, the higher convergence rates can be achieved. In particular, the Legendre projection has one half order higher than Chebyshev. Moreover, if min alpha, beta 0 and lambda frac 1 2 , the Jacobi and Gegenbauer orthogonal projections have higher convergence orders compared with Legendre. While for interior singularity, the convergence order is independent of ( alpha, beta) and lambda .


A Survey on Computational Propaganda Detection. Propaganda campaigns aim at influencing people's mindset with the purpose of advancing a specific agenda. They exploit the anonymity of the Internet, the micro profiling ability of social networks, and the ease of automatically creating and managing coordinated networks of accounts, to reach millions of social network users with persuasive messages, specifically targeted to topics each individual user is sensitive to, and ultimately influencing the outcome on a targeted issue. In this survey, we review the state of the art on computational propaganda detection from the perspective of Natural Language Processing and Network Analysis, arguing about the need for combined efforts between these communities. We further discuss current challenges and future research directions.


Variations in 2D and 3D models by a new family of subdivision schemes and algorithms for its analysis. A new family of combined subdivision schemes with one tension parameter is proposed by the interpolatory and approximating subdivision schemes. The displacement vectors between the points of interpolatory and approximating subdivision schemes provide the flexibility in designing the limit curves and surfaces. Therefore, the limit curves generated by the proposed subdivision schemes variate in between or around the approximating and interpolatory curves. We also design few analytical algorithms to study the properties of the proposed schemes theoretically. The efficiency of these algorithms are analyzed by calculating their time complexity. The graphical representations and graphical properties of the proposed schemes are also analyzed.


Not 3D Re ID a Simple Single Stream 2D Convolution for Robust Video Re identification. Video based person re identification has received increasing attention recently, as it plays an important role within surveillance video analysis. Video based Re ID is an expansion of earlier image based re identification methods by learning features from a video via multiple image frames for each person. Most contemporary video Re ID methods utilise complex CNNbased network architectures using 3D convolution or multibranch networks to extract spatial temporal video features. By contrast, in this paper, we illustrate superior performance from a simple single stream 2D convolution network leveraging the ResNet50 IBN architecture to extract frame level features followed by temporal attention for clip level features. These clip level features can be generalised to extract video level features by averaging without any significant additional cost. Our approach uses best video Re ID practice and transfer learning between datasets to outperform existing state of the art approaches on the MARS, PRID2011 and iLIDS VID datasets with 89 62 , 97 75 , 97 33 rank 1 accuracy respectively and with 84 61 mAP for MARS, without reliance on complex and memory intensive 3D convolutions or multi stream networks architectures as found in other contemporary work. Conversely, our work shows that global features extracted by the 2D convolution network are a sufficient representation for robust state of the art video Re ID.


Sequence to Sequence Contrastive Learning for Text Recognition. We propose a framework for sequence to sequence contrastive learning (SeqCLR) of visual representations, which we apply to text recognition. To account for the sequence to sequence structure, each feature map is divided into different instances over which the contrastive loss is computed. This operation enables us to contrast in a sub word level, where from each image we extract several positive pairs and multiple negative examples. To yield effective visual representations for text recognition, we further suggest novel augmentation heuristics, different encoder architectures and custom projection heads. Experiments on handwritten text and on scene text show that when a text decoder is trained on the learned representations, our method outperforms non sequential contrastive methods. In addition, when the amount of supervision is reduced, SeqCLR significantly improves performance compared with supervised training, and when fine tuned with 100 of the labels, our method achieves state of the art results on standard handwritten text recognition benchmarks.


Succinct Explanations With Cascading Decision Trees. Classic decision tree learning is a binary classification algorithm that constructs models with first class transparency every classification has a directly derivable explanation. However, learning decision trees on modern datasets generates large trees, which in turn generate decision paths of excessive depth, obscuring the explanation of classifications. To improve the comprehensibility of classifications, we propose a new decision tree model that we call Cascading Decision Trees. Cascading Decision Trees shorten the size of explanations of classifications, without sacrificing model performance overall. Our key insight is to separate the notion of a decision path and an explanation path. Utilizing this insight, instead of having one monolithic decision tree, we build several smaller decision subtrees and cascade them in sequence. Our cascading decision subtrees are designed to specifically target explanations for positive classifications. This way each subtree identifies the smallest set of features that can classify as many positive samples as possible, without misclassifying any negative samples. Applying cascading decision trees to new samples results in a significantly shorter and succinct explanation, if one of the subtrees detects a positive classification. In that case, we immediately stop and report the decision path of only the current subtree to the user as an explanation for the classification. We evaluate our algorithm on standard datasets, as well as new real world applications and find that our model shortens the explanation depth by over 40.8 for positive classifications compared to the classic decision tree model.


Bipartite independence number in graphs with bounded maximum degree. We consider a natural, yet seemingly not much studied, extremal problem in bipartite graphs. A bi hole of size t in a bipartite graph G is a copy of K t, t in the bipartite complement of G . Let f(n, Delta) be the largest k for which every n times n bipartite graph with maximum degree Delta in one of the parts has a bi hole of size k . Determining f(n, Delta) is thus the bipartite analogue of finding the largest independent set in graphs with a given number of vertices and bounded maximum degree. Our main result determines the asymptotic behavior of f(n, Delta) . More precisely, we show that for large but fixed Delta and n sufficiently large, f(n, Delta) Theta( frac log Delta Delta n) . We further address more specific regimes of Delta , especially when Delta is a small fixed constant. In particular, we determine f(n, 2) exactly and obtain bounds for f(n, 3) , though determining the precise value of f(n, 3) is still open.


Good for the Many or Best for the Few? A Dilemma in the Design of Algorithmic Advice. Applications in a range of domains, including route planning and well being, offer advice based on the social information available in prior users' aggregated activity. When designing these applications, is it better to offer a) advice that if strictly adhered to is more likely to result in an individual successfully achieving their goal, even if fewer users will choose to adopt it? or b) advice that is likely to be adopted by a larger number of users, but which is sub optimal with regard to any particular individual achieving their goal? We identify this dilemma, characterized as Goal Directed vs. Adoption Directed advice, and investigate the design questions it raises through an online experiment undertaken in four advice domains (financial investment, making healthier lifestyle choices, route planning, training for a 5k run), with three user types, and across two levels of uncertainty. We report findings that suggest a preference for advice favoring individual goal attainment over higher user adoption rates, albeit with significant variation across advice domains and discuss their design implications.


Maximum Area Rectangles in a Simple Polygon. We study the problem of finding maximum area rectangles contained in a polygon in the plane. There has been a fair amount of work for this problem when the rectangles have to be axis aligned or when the polygon is convex. We consider this problem in a simple polygon with n vertices, possibly with holes, and with no restriction on the orientation of the rectangles. We present an algorithm that computes a maximum area rectangle in O(n 3 log n) time using O(kn 2) space, where k is the number of reflex vertices of P . Our algorithm can report all maximum area rectangles in the same time using O(n 3) space. We also present a simple algorithm that finds a maximum area rectangle contained in a convex polygon with n vertices in O(n 3) time using O(n) space.


Adversarial Embedding A robust and elusive Steganography and Watermarking technique. We propose adversarial embedding, a new steganography and watermarking technique that embeds secret information within images. The key idea of our method is to use deep neural networks for image classification and adversarial attacks to embed secret information within images. Thus, we use the attacks to embed an encoding of the message within images and the related deep neural network outputs to extract it. The key properties of adversarial attacks (invisible perturbations, nontransferability, resilience to tampering) offer guarantees regarding the confidentiality and the integrity of the hidden messages. We empirically evaluate adversarial embedding using more than 100 models and 1,000 messages. Our results confirm that our embedding passes unnoticed by both humans and steganalysis methods, while at the same time impedes illicit retrieval of the message (less than 13 recovery rate when the interceptor has some knowledge about our model), and is resilient to soft and (to some extent) aggressive image tampering (up to 100 recovery rate under jpeg compression). We further develop our method by proposing a new type of adversarial attack which improves the embedding density (amount of hidden information) of our method to up to 10 bits per pixel.


Disjunctive Delimited Control. Delimited control is a powerful mechanism for programming language extension which has been recently proposed for Prolog (and implemented in SWI Prolog). By manipulating the control flow of a program from inside the language, it enables the implementation of powerful features, such as tabling, without modifying the internals of the Prolog engine. However, its current formulation is inadequate it does not capture Prolog's unique non deterministic nature which allows multiple ways to satisfy a goal. This paper fully embraces Prolog's non determinism with a novel interface for disjunctive delimited control, which gives the programmer not only control over the sequential (conjunctive) control flow, but also over the non deterministic control flow. We provide a meta interpreter that conservatively extends Prolog with delimited control and show that it enables a range of typical Prolog features and extensions, now at the library level findall, cut, branch and bound optimisation, probabilistic programming, . . .


Uncertainty aware Self training for Text Classification with Few Labels. Recent success of large scale pre trained language models crucially hinge on fine tuning them on large amounts of labeled data for the downstream task, that are typically expensive to acquire. In this work, we study self training as one of the earliest semi supervised learning approaches to reduce the annotation bottleneck by making use of large scale unlabeled data for the target task. Standard self training mechanism randomly samples instances from the unlabeled pool to pseudo label and augment labeled data. In this work, we propose an approach to improve self training by incorporating uncertainty estimates of the underlying neural network leveraging recent advances in Bayesian deep learning. Specifically, we propose (i) acquisition functions to select instances from the unlabeled pool leveraging Monte Carlo (MC) Dropout, and (ii) learning mechanism leveraging model confidence for self training. As an application, we focus on text classification on five benchmark datasets. We show our methods leveraging only 20 30 labeled samples per class for each task for training and for validation can perform within 3 of fully supervised pre trained language models fine tuned on thousands of labeled instances with an aggregate accuracy of 91 and improving by upto 12 over baselines.


NB IoT Uplink Receiver Design and Performance Study. LTE Narrowband Internet of Things (NB IoT) is a 3GPP defined cellular technology that is designed to enable connectivity to many low cost and low power throughput IoT devices running delay tolerant applications. NB IoT can coexist within LTE spectrum either in a standalone mode, in band with LTE or in guard band of LTE. With NB IoT designed to operate in very low signal to noise power ratios, the uplink receiver design presents several challenges. In this paper the design and performance of a NB IoT uplink receiver is studied in detail. First, receiver design for NB IoT uplink channels, with corresponding mathematical analysis, is presented. Specifically, it is shown how the time frequency structure of signals can be exploited to enhance the receiver performance. Second, the performance of each channel is characterized with both link level simulations and implementation on a commercially deployed Qualcomm(registered) FSM(Trade Mark) platform 1 . Comparisons against the 3GPP defined Radio Performance and Protocol aspect requirements are also provided. Finally, implementation details are addressed and discussions on proposed enhancements to NB IoT in 3GPP Release 15 are provided. It is shown how the proposed receiver algorithms can be adopted to Release 15 enhancements with minor or no modifications. The work in this paper is of significance to system designers looking to implement efficient NB IoT uplink receiver to coexist with legacy LTE systems.


A Generalizable Theory for the Reynolds Stress, Based on the Lagrangian Turbulence Transport. Using the Lagrangian transport of momentum, the Reynolds shear stress can be expressed in terms of basic turbulence parameters. In this view, the Reynolds stress gradient represents the lateral transport of streamwise momentum, balanced by the u2 transport, pressure and shear force terms in the momentum equation. We extend this formalism to other turbulence parameters such as diagonal components of the Reynolds stress, and also to more complex flows (boundary layer flows with adverse pressure gradients and pipe flows with swirl). Data from direct numerical simulations (DNS) are used to validate this full set of turbulent transport equations, exhibiting a good degree of consistency and agreement for all of the components and across different geometries. An example of the use of this full set of turbulence transport equations is shown for turbulent jet flows.


Impression Space from Deep Template Network. It is an innate ability for humans to imagine something only according to their impression, without having to memorize all the details of what they have seen. In this work, we would like to demonstrate that a trained convolutional neural network also has the capability to "remember" its input images. To achieve this, we propose a simple but powerful framework to establish an emph Impression Space upon an off the shelf pretrained network. This network is referred to as the emph Template Network because its filters will be used as templates to reconstruct images from the impression. In our framework, the impression space and image space are bridged by a layer wise encoding and iterative decoding process. It turns out that the impression space indeed captures the salient features from images, and it can be directly applied to tasks such as unpaired image translation and image synthesis through impression matching without further network training. Furthermore, the impression naturally constructs a high level common space for different data. Based on this, we propose a mechanism to model the data relations inside the impression space, which is able to reveal the feature similarity between images. Our code will be released.


A Combined Deep Learning Gradient Boosting Machine Framework for Fluid Intelligence Prediction. The ABCD Neurocognitive Prediction Challenge is a community driven competition asking competitors to develop algorithms to predict fluid intelligence score from T1 w MRIs. In this work, we propose a deep learning combined with gradient boosting machine framework to solve this task. We train a convolutional neural network to compress the high dimensional MRI data and learn meaningful image features by predicting the 123 continuous valued derived data provided with each MRI. These extracted features are then used to train a gradient boosting machine that predicts the residualized fluid intelligence score. Our approach achieved mean square error (MSE) scores of 18.4374, 68.7868, and 96.1806 for the training, validation, and test set respectively.


Switching time of spin torque driven magnetization in biaxial ferromagnets. We analytically model the magnetization switching time of a biaxial ferromagnet driven by an antidamping like spin torque. The macrospin magnetization dynamics is mapped to an energy flow equation, wherein a rational function approximation of the elliptic integrals for moderate spin current and small damping results in a closed form expression of the switching time. Randomness in the initial angle of magnetization gives the distribution function of the switching time. The analytic model conforms to the results obtained from Monte Carlo simulation for a broad range of material parameters. Our results can ameliorate design and benchmarking of in plane spin torque magnetic memory by obviating expensive numerical computation.


Continuation of global solution curves using global parameters. This paper provides both the theoretical results and numerical calculations of global solution curves, by continuation in global parameters. Each point on the solution curves is computed directly as the global parameter is varied, so that all of the turns that the solution curves make, as well as its different branches, appear automatically on the computer screen. For radial p Laplace equations we present a simplified derivation of the regularizing transformation from P. Korman 15 , and use this transformation for more accurate numerical computations. While for p 2 the solutions are not of class C 2 , we show that they are of the form w(r frac p 2(p 1) ) , where w(z) is of class C 2 . Bifurcation diagrams are also calculated for non autonomous problems, and for the fourth order equations modeling elastic beams. We show that the first harmonic of the solution can also serve as a global parameter.


On finiteness of log canonical models. Let (X, Delta) U be klt pairs and Q be a convex set of divisors. Assuming that the relative Kodaira dimensions are non negative, then there are only finitely many log canonical models when the boundary divisors varying in a relatively compact rational polytope in Q . As a consequence, we show the existence of the log canonical model for a klt pair (X, Delta) U with real coefficients.


Privacy Adversarial Network Representation Learning for Mobile Data Privacy. The remarkable success of machine learning has fostered a growing number of cloud based intelligent services for mobile users. Such a service requires a user to send data, e.g. image, voice and video, to the provider, which presents a serious challenge to user privacy. To address this, prior works either obfuscate the data, e.g. add noise and remove identity information, or send representations extracted from the data, e.g. anonymized features. They struggle to balance between the service utility and data privacy because obfuscated data reduces utility and extracted representation may still reveal sensitive information. This work departs from prior works in methodology we leverage adversarial learning to a better balance between privacy and utility. We design a textit representation encoder that generates the feature representations to optimize against the privacy disclosure risk of sensitive information (a measure of privacy) by the textit privacy adversaries , and concurrently optimize with the task inference accuracy (a measure of utility) by the textit utility discriminator . The result is the privacy adversarial network ( systemname), a novel deep model with the new training algorithm, that can automatically learn representations from the raw data. Intuitively, PAN adversarially forces the extracted representations to only convey the information required by the target task. Surprisingly, this constitutes an implicit regularization that actually improves task accuracy. As a result, PAN achieves better utility and better privacy at the same time! We report extensive experiments on six popular datasets and demonstrate the superiority of systemname compared with alternative methods reported in prior work.


On a Class of Markov Order Estimators Based on PPM and Other Universal Codes. We investigate a class of estimators of the Markov order for stationary ergodic processes which form a slight modification of the constructions by Merhav, Gutman, and Ziv in 1989 as well as by Ryabko, Astola, and Malyutov in 2006 and 2016. All the considered estimators compare the estimate of the entropy rate given by a universal code with the empirical conditional entropy of a string and return the order for which the two quantities are approximately equal. However, our modification, which we call universal Markov orders, satisfies a few attractive properties, not shown by the mentioned authors for their original constructions. Firstly, the universal Markov orders are almost surely consistent, without any restrictions. Secondly, they are upper bounded asymptotically by the logarithm of the string length divided by the entropy rate. Thirdly, if we choose the Prediction by Partial Matching (PPM) as the universal code then the number of distinct substrings of the length equal to the universal Markov order constitutes an upper bound for the block mutual information. Thus universal Markov orders can be also used indirectly for quantification of long memory for an ergodic process.


Maximal nilpotent complex structures. Let the pair ( mathfrak g ,J) be a nilpotent Lie algebra mathfrak g (NLA for short) endowed with a nilpotent complex structure J . In this paper, motivated by a question in the work of Cordero, Fern 'andez, Gray and Ugarte, we prove that 2 leq nu(J) leq 3 for ( mathfrak g ,J) when nu( mathfrak g ) 2 , where nu( mathfrak g ) is the step of mathfrak g and nu(J) is the unique smallest integer such that mathfrak a (J) nu(J) mathfrak g as in Definition 1 and 8 of the paper by Cordero, Fern 'andez, Gray and Ugarte. When nu( mathfrak g ) 3 , for arbitrary n geq 3 , there exists a pair ( mathfrak g ,J) such that nu(J) dim mathbb C mathfrak g n , for which we call the J in the pair ( mathfrak g ,J) , satisfying nu(J) dim mathbb C mathfrak g n , a maximal nilpotent (MaxN for short) complex structure. The algebraic dimension of a nilmanifold endowed with a left invariant MaxN complex structure is discussed. Furthermore, a structure theorem is proved for the pair ( mathfrak g ,J) , where nu( mathfrak g ) 3 and J is a MaxN complex structure.


A buffer free concept bubble chamber for PICO dark matter searches. In this paper, we report on the successful operation at Drexel University of the PICO collaboration's first C 3 F 8 buffer free prototype fluorocarbon bubble chamber. Previous PICO bubble chambers have produced world leading WIMP search results with fluorocarbon target fluids, separated from the steel bellows by a buffer layer of water. Surface tension effects at the jar walls and liquid liquid interface lead to a class of background events which have nuclear recoil like acoustic signatures and thus contaminate the WIMP like signal region in analysis. Thus new bubble chambers are to be constructed "right side up", meaning that the jar of C 3 F 8 is above the bellows with no water inside the inner vessel. The Drexel Bubble Chamber (DBC), runs successfully at and below the nuclear recoil thresholds used by PICO for WIMP searches, including thresholds as low as 1.19 keV. We have demonstrated sensitivity to 137 Cs gammas and spontaneous fission neutrons from 244 Cm, and acoustic alpha discrimination is demonstrated to be possible although the observed rate of alpha decays is very low. Position reconstruction from stereoscopic imaging allows for basic analysis cuts for calibration data. The successful construction and operation of this prototype confirm the effectiveness of the right side up design, which will be used in future dark matter searches such as PICO 40L and PICO 500.


Angular optimization for cancer identification with circularly polarized light. Depolarization of circularly polarized light scattered from biological tissues depends on structural changes in cell nuclei, which can provide valuable information for differentiating cancer tissues concealed in healthy tissues. In this study, we experimentally verified the possibility of cancer identification using scattering of circularly polarized light. We investigated the polarization of light scattered from a sliced biological tissue with various optical configurations. A significant difference between circular polarizations of light scattered from cancerous and healthy tissues is observed, which is sufficient to distinguish a cancerous region. The line scanning experiments along a region incorporating healthy and cancerous parts indicate step like behaviors in the degree of circular polarization corresponding to the state of tissues, whether cancerous or normal. An oblique and perpendicular incidence induces different resolutions for identifying cancerous tissues, which indicates that the optical arrangement can be selected according to the priority of resolution.


Fractional Kolmogorov operator and desingularizing weights. We establish sharp upper and lower bounds on the heat kernel of the fractional Laplace operator perturbed by Hardy type drift by transferring it to appropriate weighted space with singular weight.


Evolving generalists via dynamic sculpting of rugged landscapes. Evolving systems, be it an antibody repertoire in the face of mutating pathogens or a microbial population exposed to varied antibiotics, constantly search for adaptive solutions in time varying fitness landscapes. Generalists correspond to genotypes that remain fit across diverse selective pressures cross reactive antibodies are much wanted but rare, while multi drug resistant microbes are undesired yet prevalent. However, little is known about under what conditions such solutions with a high capacity to adapt would be efficiently discovered by evolution, as environmental changes alter the relative fitness and accessibility of neighboring genotypes. In addition, can epistasis the source of landscape ruggedness and path constraints play a different role, if the environments are correlated in time? We present a generative model to estimate the propensity of evolving generalists in rugged landscapes that are tunably related and cycling relatively slowly. We find that environment cycling can substantially facilitate the search for fit generalists by dynamically enlarging their effective basins of attraction. Importantly, these high performers are most likely to emerge at an intermediate level of both ruggedness and environmental relatedness, trading diversity for fitness and accessibility. Our work provides a conceptual framework to study evolution in correlated varying complex environments, and offers statistical understanding that suggests general strategies for speeding up the generation of broadly neutralizing antibodies or preventing microbes from evolving multi drug resistance.


SIMF Single Instruction Multiple Flush Mechanism for Processor Temporal Isolation. Microarchitectural timing attacks are a type of information leakage attack, which exploit the time shared microarchitectural components, such as caches, translation look aside buffers (TLBs), branch prediction unit (BPU), and speculative execution, in modern processors to leak critical information from a victim process or thread. To mitigate such attacks, the mechanism for flushing the on core state is extensively used by operating system level solutions, since on core state is too expensive to partition. In these systems, the flushing operations are implemented in software (using cache maintenance instructions), which severely limit the efficiency of timing attack protection. To bridge this gap, we propose specialized hardware support, a single instruction multiple flush (SIMF) mechanism to flush the core level state, which consists of L1 caches, BPU, TLBs, and register file. We demonstrate SIMF by implementing it as an ISA extension, i.e., flushx instruction, in scalar in order RISC V processor. The resultant processor is prototyped on Xilinx ZCU102 FPGA and validated with state of art seL4 microkernel, Linux kernel in multi core scenarios, and a cache timing attack. Our evaluation shows that SIMF significantly alleviates the overhead of flushing by more than a factor of two in execution time and reduces dynamic instruction count by orders of magnitude.


Repdigits in Narayana's Cows Sequence and their Consequences. Narayana's cows sequence satisfies the third order linear recurrence relation N n N n 1 N n 3 for n geq 3 with initial conditions N 0 0 and N 1 N 2 1 . In this paper, we study b repdigits which are sums of two Narayana numbers. We explicitly determine these numbers for the bases 2 le b leq100 as an illustration. We also obtain results on the existence of Mersenne prime numbers, 10 repdigits, and numbers with distinct blocks of digits in the Narayana sequence. The proof of our main theorem uses lower bounds for linear forms in logarithms and a version of the Baker Davenport reduction method in Diophantine approximation.


New estimates for exponential sums over multiplicative subgroups and intervals in prime fields. Let mathcal H be a multiplicative subgroup of mathbb F p of order H p 1 4 . We show that max (a,p) 1 left sum x in mathcal H mathbf ,e p(ax) right le H 1 31 2880 o(1) , where mathbf ,e p(z) exp(2 pi i z p) , which improves a result of Bourgain and Garaev (2009). We also obtain new estimates for double exponential sums with product nx with x in mathcal H and n in mathcal N for a short interval mathcal N of consecutive integers.


Scheduling for Cellular Federated Edge Learning with Importance and Channel Awareness. In cellular federated edge learning (FEEL), multiple edge devices holding local data jointly train a neural network by communicating learning updates with an access point without exchanging their data samples. With very limited communication resources, it is beneficial to schedule the most informative local learning updates. In this paper, a novel scheduling policy is proposed to exploit both diversity in multiuser channels and diversity in the "importance" of the edge devices' learning updates. First, a new probabilistic scheduling framework is developed to yield unbiased update aggregation in FEEL. The importance of a local learning update is measured by its gradient divergence. If one edge device is scheduled in each communication round, the scheduling policy is derived in closed form to achieve the optimal trade off between channel quality and update importance. The probabilistic scheduling framework is then extended to allow scheduling multiple edge devices in each communication round. Numerical results obtained using popular models and learning datasets demonstrate that the proposed scheduling policy can achieve faster model convergence and higher learning accuracy than conventional scheduling policies that only exploit a single type of diversity.


Hierarchies of holonomy groupoids for foliated bundles. We give a new construction of the holonomy groupoid of a regular foliation in terms of a partial connection on a diffeological principal bundle of germs of transverse parametrisations. We extend these ideas to construct a novel holonomy groupoid for any foliated bundle, which we prove sits at the top of a hierarchy of diffeological jet holonomy groupoids associated to the foliated bundle.


Mini Max Algorithm via Pohozaev Manifold. A new algorithm for solving non homogeneous asymptotically linear and superlinear problems is proposed. The ground state solution of the problem, which in general is obtained as a mini max of the associated functional, is obtained as the minimum of the functional constrained to the Pohozaev manifold instead. Examples are given of the use of this method for finding numerical radially symmetric positive solutions depending on various parameters.


Energy minimisers with prescribed Jacobian. We study the symmetry and uniqueness of maps which minimise the np Dirichlet energy, under the constraint that their Jacobian is a given radially symmetric function f . We find a condition on f which ensures that the minimisers are symmetric and unique. In the absence of this condition we construct an explicit f for which there are uncountably many distinct energy minimisers, none of which is symmetric. Even if we prescribe the maps to be the identity on the boundary of a ball we show that the minimisers need not be symmetric. This gives a negative answer to a question of H ' e lein (Ann. Inst. H. Poincar ' e Anal. Non Lin ' e aire 11 (1994), no. 3, 275 296).


Case based Abductive Natural Language Inference. Existing accounts of explanation emphasise the role of prior experience in the solution of new problems. However, most of the contemporary models for multi hop textual inference construct explanations considering each test case in isolation. This paradigm is known to suffer from semantic drift, which causes the construction of spurious explanations leading to wrong conclusions. In contrast, we investigate an abductive framework for explainable multi hop inference that adopts the retrieve reuse revise paradigm largely studied in case based reasoning. Specifically, we present a novel framework that addresses and explains unseen inference problems by retrieving and adapting prior natural language explanations from similar training examples. We empirically evaluate the case based abductive framework on downstream commonsense and scientific reasoning tasks. Our experiments demonstrate that the proposed framework can be effectively integrated with sparse and dense pre trained encoding mechanisms or downstream transformers, achieving strong performance when compared to existing explainable approaches. Moreover, we study the impact of the retrieve reuse revise paradigm on explainability and semantic drift, showing that it boosts the quality of the constructed explanations, resulting in improved downstream inference performance.


Usage Scenarios for Byte Addressable Persistent Memory inHigh Performance and Data Intensive Computing. Byte addressable persistent memory (B APM) presents a new opportunity to bridge the performance gap between main memory and storage. In this paper, we present the usage scenarios for this new technology, based on the capabilities of Intel's DCPMM. We outline some of the basic performance characteristics of DCPMM, and explain how it can be configured and used to address the needs of memory and I O intensive applications in the HPC and data intensive domains. Two decision trees are presented to advise on the configuration options for B APM their use is illustrated with two examples. We show that the flexibility of the technology has the potential to be truly disruptive, not only because of the performance improvements it can deliver, but also because it allows systems to cater for wider range of applications on homogeneous hardware.


NMS by Representative Region Towards Crowded Pedestrian Detection by Proposal Pairing. Although significant progress has been made in pedestrian detection recently, pedestrian detection in crowded scenes is still challenging. The heavy occlusion between pedestrians imposes great challenges to the standard Non Maximum Suppression (NMS). A relative low threshold of intersection over union (IoU) leads to missing highly overlapped pedestrians, while a higher one brings in plenty of false positives. To avoid such a dilemma, this paper proposes a novel Representative Region NMS approach leveraging the less occluded visible parts, effectively removing the redundant boxes without bringing in many false positives. To acquire the visible parts, a novel Paired Box Model (PBM) is proposed to simultaneously predict the full and visible boxes of a pedestrian. The full and visible boxes constitute a pair serving as the sample unit of the model, thus guaranteeing a strong correspondence between the two boxes throughout the detection pipeline. Moreover, convenient feature integration of the two boxes is allowed for the better performance on both full and visible pedestrian detection tasks. Experiments on the challenging CrowdHuman and CityPersons benchmarks sufficiently validate the effectiveness of the proposed approach on pedestrian detection in the crowded situation.


From Additive Average Schwarz Methods to Non overlapping Spectral Additive Schwarz Methods. In this paper, we design and analyze two new methods based on additive average Schwarz AAS method introduced in cite MR1943457 . The new methods design for elliptic problems with highly heterogeneous coefficients. The methods are of the non overlapping type, and the subdomain interactions obtain via the coarse space. The first method is the minimum energy Schwarz MES method. MES has the minimum energy for the coarse space with constant extension inside each subdomain. The condition number of the MES method is always smaller than in the AAS method. The second class of methods is the non overlapping spectral additive Schwarz NOSAS methods based on low rank discrete energy harmonic extension in each subdomain. To achieve the low rank, we solve a generalized eigenvalue problem in each subdomain. NOSAS have the minimum energy for a given rank of the coarse space. The condition number of the NOSAS methods does not depend on the coefficients. Additionally, the NOSAS methods have good parallelization properties. The size of the global problem is equal to the total number of eigenvalues chosen in each subdomain. It is only related to the number of high permeable islands that touch the subdomains' interface.


Magnetic field amplification to the gigagauss scale via dynamos driven by femtosecond lasers. Reaching gigagauss magnetic fields opens new horizons both in atomic and plasma physics. At these magnetic field strengths, the electron cyclotron energy hbar omega c becomes comparable to the atomic binding energy (the Rydberg), and the cyclotron frequency omega c approaches the plasma frequency at solid state densities that significantly modifies optical properties of the target. The generation of such strong quasistatic magnetic fields in laboratory remains a challenge. Using supercomputer simulations, we demonstrate how it can be achieved all optically by irradiating a micro channel target by a circularly polarized relativistic femtosecond laser. The laser pulse drives a strong electron vortex along the channel wall, inducing a megagauss longitudinal magnetic field in the channel by the inverse Faraday effect. This seed field is then amplified up to a gigagauss level and maintained on a picosecond time scale via dynamos driven by plasma thermal expansion off the channel walls. Our scheme sets a possible platform for producing long living extreme magnetic fields in laboratories using readily available lasers. The concept might also be relevant for applications such as magneto inertial fusion.


Euler's difference table and decomposition of tensor powers of adjoint representation of A n Lie algebra. By using of Euler's difference table, we obtain simple explicit formula for the decomposition of k th tensor power of adjoint representation of A n Lie algebra at 2 k le n 1 .


Fairness Aware Explainable Recommendation over Knowledge Graphs. There has been growing attention on fairness considerations recently, especially in the context of intelligent decision making systems. Explainable recommendation systems, in particular, may suffer from both explanation bias and performance disparity. In this paper, we analyze different groups of users according to their level of activity, and find that bias exists in recommendation performance between different groups. We show that inactive users may be more susceptible to receiving unsatisfactory recommendations, due to insufficient training data for the inactive users, and that their recommendations may be biased by the training records of more active users, due to the nature of collaborative filtering, which leads to an unfair treatment by the system. We propose a fairness constrained approach via heuristic re ranking to mitigate this unfairness problem in the context of explainable recommendation over knowledge graphs. We experiment on several real world datasets with state of the art knowledge graph based explainable recommendation algorithms. The promising results show that our algorithm is not only able to provide high quality explainable recommendations, but also reduces the recommendation unfairness in several respects.


Adversarial Robustness Against Image Color Transformation within Parametric Filter Space. We propose Adversarial Color Enhancement (ACE), a novel approach to generating non suspicious adversarial images by optimizing a color transformation within a parametric filter space. The filter we use approximates human understandable color curve adjustment, constraining ACE with a single, continuous function. This property gives rise to a principled adversarial action space explicitly controlled by filter parameters. Existing color transformation attacks are not guided by a parametric space, and, consequently, additional pixel related constraints such as regularization and sampling are necessary. These constraints make methodical analysis difficult. In this paper, we carry out a systematic robustness analysis of ACE from both the attack and defense perspectives by varying the bound of the color filter parameters. We investigate a general formulation of ACE and also a variant targeting particularly appealing color styles, as achieved with popular image filters. From the attack perspective, we provide extensive experiments on the vulnerability of image classifiers, but also explore the vulnerability of segmentation and aesthetic quality assessment algorithms, in both the white box and black box scenarios. From the defense perspective, more experiments provide insight into the stability of ACE against input transformation based defenses and show the potential of adversarial training for improving model robustness against ACE.


Twisted Reed Solomon Codes With One dimensional Hull. The hull of a linear code is defined to be the intersection of the code and its dual. When the size of the hull is small, it has been proved that some algorithms for checking permutation equivalence of two linear codes and computing the automorphism group of a linear code are very effective in general. Maximum distance separable (MDS) codes are codes meeting the Singleton bound. Twisted Reed Solomon codes is a generalization of Reed Solomon codes, which is also a nice construction for MDS codes. In this short letter, we obtain some twisted Reed Solomon MDS codes with one dimensional hull. Moreover, these codes are not monomially equivalent to Reed Solomon codes.


Mechanical Ventilator Milano (MVM) A Novel Mechanical Ventilator Designed for Mass Scale Production in Response to the COVID 19 Pandemic. Presented here is the design of the Mechanical Ventilator Milano (MVM), a novel mechanical ventilator designed for rapid mass production in response to the COVID 19 pandemic to address the urgent shortage of intensive therapy ventilators in many countries, and the growing difficulty in procuring these devices through normal supply chains across borders. This ventilator is an electro mechanical equivalent of the old and reliable Manley Ventilator, and is able to operate in both pressure controlled and pressure supported ventilation modes. MVM is optimized for the COVID 19 emergency, thanks to the collaboration with medical doctors in the front line. MVM is designed for large scale production in a short amount of time and at a limited cost, as it relays on off the shelf components, readily available worldwide. Operation of the MVM requires only a source of compressed oxygen (or compressed medical air) and electrical power. Initial tests of a prototype device with a breathing simulator are also presented. Further tests and developments are underway. At this stage the MVM is not yet a certified medical device but certification is in progress.


Biophysically detailed mathematical models of multiscale cardiac active mechanics. We propose four novel mathematical models, describing the microscopic mechanisms of force generation in the cardiac muscle tissue, which are suitable for multiscale numerical simulations of cardiac electromechanics. Such models are based on a biophysically accurate representation of the regulatory and contractile proteins in the sarcomeres. Our models, unlike most of the sarcomere dynamics models that are available in the literature and that feature a comparable richness of detail, do not require the time consuming Monte Carlo method for their numerical approximation. Conversely, the models that we propose only require the solution of a system of PDEs and or ODEs (the most reduced of the four only involving 20 ODEs), thus entailing a significant computational efficiency. By focusing on the two models that feature the best trade off between detail of description and identifiability of parameters, we propose a pipeline to calibrate such parameters starting from experimental measurements available in literature. Thanks to this pipeline, we calibrate these models for room temperature rat and for body temperature human cells. We show, by means of numerical simulations, that the proposed models correctly predict the main features of force generation, including the steady state force calcium and force length relationships, the length dependent prolongation of twitches and increase of peak force, the force velocity relationship. Moreover, they correctly reproduce the Frank Starling effect, when employed in multiscale 3D numerical simulation of cardiac electromechanics.


Fast simulations of highly connected spiking cortical models using GPUs. Over the past decade there has been a growing interest in the development of parallel hardware systems for simulating large scale networks of spiking neurons. Compared to other highly parallel systems, GPU accelerated solutions have the advantage of a relatively low cost and a great versatility, thanks also to the possibility of using the CUDA C C programming languages. NeuronGPU is a GPU library for large scale simulations of spiking neural network models, written in the C and CUDA C programming languages, based on a novel spike delivery algorithm. This library includes simple LIF (leaky integrate and fire) neuron models as well as several multisynapse AdEx (adaptive exponential integrate and fire) neuron models with current or conductance based synapses, user definable models and different devices. The numerical solution of the differential equations of the dynamics of the AdEx models is performed through a parallel implementation, written in CUDA C , of the fifth order Runge Kutta method with adaptive step size control. In this work we evaluate the performance of this library on the simulation of a cortical microcircuit model, based on LIF neurons and current based synapses, and on a balanced network of excitatory and inhibitory neurons, using AdEx neurons and conductance based synapses. On these models, we will show that the proposed library achieves state of the art performance in terms of simulation time per second of biological activity. In particular, using a single NVIDIA GeForce RTX 2080 Ti GPU board, the full scale cortical microcircuit model, which includes about 77,000 neurons and 3 cdot 10 8 connections, can be simulated at a speed very close to real time, while the simulation time of a balanced network of 1,000,000 AdEx neurons with 1,000 connections per neuron was about 70 s per second of biological activity.


Learning Improvement Heuristics for Solving Routing Problems. Recent studies in using deep learning to solve routing problems focus on construction heuristics, the solutions of which are still far from optimality. Improvement heuristics have great potential to narrow this gap by iteratively refining a solution. However, classic improvement heuristics are all guided by hand crafted rules which may limit their performance. In this paper, we propose a deep reinforcement learning framework to learn the improvement heuristics for routing problems. We design a self attention based deep architecture as the policy network to guide the selection of next solution. We apply our method to two important routing problems, i.e. travelling salesman problem (TSP) and capacitated vehicle routing problem (CVRP). Experiments show that our method outperforms state of the art deep learning based approaches. The learned policies are more effective than the traditional hand crafted ones, and can be further enhanced by simple diversifying strategies. Moreover, the policies generalize well to different problem sizes, initial solutions and even real world dataset.


Hyperbolic 3 manifolds with large kissing number. In this article we construct a sequence M i of non compact finite volume hyperbolic 3 manifolds whose kissing number grows at least as mathrm vol (M i) frac 31 27 epsilon for any epsilon 0 . This extends a previous result due to Schmutz in dimension 2 .


BigBen Telemetry Processing for Internet wide Event Monitoring. This paper describes BigBen, a network telemetry processing system designed to enable accurate and timely reporting of Internet events (e.g., outages, attacks and configuration changes). BigBen is distinct from other Internet wide event detection systems in its use of passive measurements of Network Time Protocol (NTP) traffic. We describe the architecture of BigBen, which includes (i) a distributed NTP traffic collection component, (ii) an Extract Transform Load (ETL) component, (iii) an event identification component, and (iv) a visualization and reporting component. We also describe a cloud based implementation of BigBen developed to process large NTP data sets and provide daily event reporting. We demonstrate BigBen on a 15.5TB corpus of NTP data. We show that our implementation is efficient and could support hourly event reporting. We show that BigBen identifies a wide range of Internet events characterized by their location, scope and duration. We compare the events detected by BigBen vs. events detected by a large active probe based detection system. We find only modest overlap and show how BigBen provides details on events that are not available from active measurements. Finally, we report on the perspective that BigBen provides on Internet events that were reported by third parties. In each case, BigBen confirms the event and provides details that were not available in prior reports, highlighting the utility of the passive, NTP based approach.


EagleEye Fast Sub net Evaluation for Efficient Neural Network Pruning. Finding out the computational redundant part of a trained Deep Neural Network (DNN) is the key question that pruning algorithms target on. Many algorithms try to predict model performance of the pruned sub nets by introducing various evaluation methods. But they are either inaccurate or very complicated for general application. In this work, we present a pruning method called EagleEye, in which a simple yet efficient evaluation component based on adaptive batch normalization is applied to unveil a strong correlation between different pruned DNN structures and their final settled accuracy. This strong correlation allows us to fast spot the pruned candidates with highest potential accuracy without actually fine tuning them. This module is also general to plug in and improve some existing pruning algorithms. EagleEye achieves better pruning performance than all of the studied pruning algorithms in our experiments. Concretely, to prune MobileNet V1 and ResNet 50, EagleEye outperforms all compared methods by up to 3.8 . Even in the more challenging experiments of pruning the compact model of MobileNet V1, EagleEye achieves the highest accuracy of 70.9 with an overall 50 operations (FLOPs) pruned. All accuracy results are Top 1 ImageNet classification accuracy. Source code and models are accessible to open source community https github.com anonymous47823493 EagleEye .


Degrees in random uniform minimal factorizations. We are interested in random uniform minimal factorizations of the n cycle which are factorizations of (1 2 dots n) into a product of n 1 transpositions. Our main result is an explicit formula for the joint probability that 1 and 2 appear a given number of times in a uniform minimal factorization. For this purpose, we combine bijections with Cayley trees together with explicit computations of multivariate generating functions.


Standard homogeneous ( alpha 1, alpha 2) metrics and geodesic orbit property. In this paper, we introduce the notion of standard homogeneous ( alpha 1, alpha 2) metrics, as a natural non Riemannian deformation for the normal homogeneous Riemannian metrics. We prove that with respect to the given bi invariant inner product and orthogonal decompositions for mathfrak g , if there exists one generic standard g.o. ( alpha 1, alpha 2) metric, then all other standard homogeneous ( alpha 1, alpha 2) metrics are also g.o.. For standard homogeneous ( alpha 1, alpha 2) metrics associated with a triple of compact connected Lie groups, we can refine our theorem and get some simple algebraic equations as the criterion for the g.o. property. As the application of this criterion, we discuss standard g.o. ( alpha 1, alpha 2) metric from H. Tamaru's classication work, and find some new examples of non Riemannian g.o. Finsler spaces which are not weakly symmetric. On the other hand, we also prove that all standard g.o. ( alpha 1, alpha 2) metrics on the three Wallach spaces, W 6 SU(3) T 2 , W 12 Sp(3) Sp(1) 3 and W 24 F 4 Spin(8) , must be the normal homogeneous Riemannian metrics.


State and Parameter Estimation from Observed Signal Increments. The success of the ensemble Kalman filter has triggered a strong interest in expanding its scope beyond classical state estimation problems. In this paper, we focus on continuous time data assimilation where the model and measurement errors are correlated and both states and parameters need to be identified. Such scenarios arise from noisy and partial observations of Lagrangian particles which move under a stochastic velocity field involving unknown parameters. We take an appropriate class of McKean Vlasov equations as the starting point to derive ensemble Kalman Bucy filter algorithms for combined state and parameter estimation. We demonstrate their performance through a series of increasingly complex multi scale model systems.


On the impact of boundary conditions on weakly coupled thermoelastic wave model. The purpose of this paper is to demonstrate how different types of boundary conditions do not impact the asymptotic behaviour of the solutions of thermoelastic wave model. For an initial boundary value problem associated with this system, we prove a global well posedness result in a certain topology under appropriate regularity conditions on the data. Further, we show that under particular classes of boundary conditions, the energy associated to the system decays polynomially to zero and not exponentially.


Concurrent consideration of cortical and cancellous bone within continuum bone remodelling. Continuum bone remodelling is an important tool for predicting the effects of mechanical stimuli on bone density evolution. While the modelling of only cancellous bone is considered in many studies based on continuum bone remodelling, this work presents an approach of modelling also cortical bone and the interaction of both bone types. The distinction between bone types is made by introducing an initial volume fraction. A simple point wise example is used to study the behaviour of novel model options, as well as a proximal femur example, where the interaction of both bone types is demonstrated using initial density distributions. The results of the proposed model options indicate that the consideration of cortical bone remarkably changes the density evolution of cancellous bone, and should therefore not be neglected.


Retakh's Motzkin paths and some combinatorial comments. Dyck paths where peaks are only allowed on level 1 and on even indexed levels, were introduced by Retakh and analysed by Zeilberger, with assistance from Ekhad. We add some combinatorial comments to the enumeration, which involves Motzkin numbers, in particular, about the average height of such objects.


Cohomology of associative H pseudoalgebras. We define cohomology of associative H pseudoalgebras, and we show that it describes module extensions, abelian pseudoalgebra extensions, and pseudoalgebra first order deformations. We describe in details the same results for the special case of associative conformal algebras.


The inconsistency of h index a mathematical analysis. Citation distributions are lognormal. We use 30 lognormally distributed synthetic series of numbers that simulate real series of citations to investigate the consistency of the h index. Using the lognormal cumulative distribution function, the equation that defines the h index can be formulated this equation shows that h has a complex dependence on the number of papers (N). We also investigate the correlation between h and the number of papers exceeding various citation thresholds, from 5 to 500 citations. The best correlation is for the 100 threshold but numerous data points deviate from the general trend. The size independent indicator h N shows no correlation with the probability of publishing a paper exceeding any of the citation thresholds. In contrast with the h index, the total number of citations shows a high correlation with the number of papers exceeding the thresholds of 10 and 50 citations the mean number of citations correlates with the probability of publishing a paper that exceeds any level of citations. Thus, in synthetic series, the number of citations and the mean number of citations are much better indicators of research performance than h and h N. We discuss that in real citation distributions there are other difficulties.


An analysis of Reinforcement Learning applied to Coach task in IEEE Very Small Size Soccer. The IEEE Very Small Size Soccer (VSSS) is a robot soccer competition in which two teams of three small robots play against each other. Traditionally, a deterministic coach agent will choose the most suitable strategy and formation for each adversary's strategy. Therefore, the role of a coach is of great importance to the game. In this sense, this paper proposes an end to end approach for the coaching task based on Reinforcement Learning (RL). The proposed system processes the information during the simulated matches to learn an optimal policy that chooses the current formation, depending on the opponent and game conditions. We trained two RL policies against three different teams (balanced, offensive, and heavily offensive) in a simulated environment. Our results were assessed against one of the top teams of the VSSS league, showing promising results after achieving a win loss ratio of approximately 2.0.


On subset sum problem in branch groups. We consider a group theoretic analogue of the classic subset sum problem. In this brief note, we show that the subset sum problem is NP complete in the first Grigorchuk group. More generally, we show NP hardness of that problem in weakly regular branch groups, which implies NP completeness if the group is, in addition, contracting.