RobFR Benchmarking Adversarial Robustness on Face Recognition. Face recognition (FR) has recently made substantial progress and achieved high accuracy on standard benchmarks. However, it has raised security concerns in enormous FR applications because deep CNNs are unusually vulnerable to adversarial examples, and it is still lack of a comprehensive robustness evaluation before a FR model is deployed in safety critical scenarios. To facilitate a better understanding of the adversarial vulnerability on FR, we develop an adversarial robustness evaluation library on FR named textbf RobFR , which serves as a reference for evaluating the robustness of downstream tasks. Specifically, RobFR involves 15 popular naturally trained FR models, 9 models with representative defense mechanisms and 2 commercial FR API services, to perform the robustness evaluation by using various adversarial attacks as an important surrogate. The evaluations are conducted under diverse adversarial settings in terms of dodging and impersonation, ell 2 and ell infty , as well as white box and black box attacks. We further propose a landmark guided cutout (LGC) attack method to improve the transferability of adversarial examples for black box attacks by considering the special characteristics of FR. Based on large scale evaluations, the commercial FR API services fail to exhibit acceptable performance on robustness evaluation, and we also draw several important conclusions for understanding the adversarial robustness of FR models and providing insights for the design of robust FR models. RobFR is open source and maintains all extendable modules, i.e., emph Datasets , emph FR Models , emph Attacks Defenses , and emph Evaluations at url https github.com ShawnXYang Face Robustness Benchmark , which will be continuously updated to promote future research on robust FR.


Session Types with Arithmetic Refinements. Session types statically prescribe bidirectional communication protocols for message passing processes. However, simple session types cannot specify properties beyond the type of exchanged messages. In this paper we extend the type system by using index refinements from linear arithmetic capturing intrinsic attributes of data structures and algorithms. We show that, despite the decidability of Presburger arithmetic, type equality and therefore also subtyping and type checking are now undecidable, which stands in contrast to analogous dependent refinement type systems from functional languages. We also present a practical, but incomplete algorithm for type equality, which we have used in our implementation of Rast, a concurrent session typed language with arithmetic index refinements as well as ergometric and temporal types. Moreover, if necessary, the programmer can propose additional type bisimulations that are smoothly integrated into the type equality algorithm.


Learning Class Unique Features in Fine Grained Visual Classification. A major challenge in Fine Grained Visual Classification (FGVC) is distinguishing various categories with high inter class similarity by learning the feature that differentiate the details. Conventional cross entropy trained Convolutional Neural Network (CNN) fails this challenge as it may suffer from producing inter class invariant features in FGVC. In this work, we innovatively propose to regularize the training of CNN by enforcing the uniqueness of the features to each category from an information theoretic perspective. To achieve this goal, we formulate a minimax loss based on a game theoretic framework, where a Nash equilibria is proved to be consistent with this regularization objective. Besides, to prevent from a feasible solution of minimax loss that may produce redundant features, we present a Feature Redundancy Loss (FRL) based on normalized inner product between each selected feature map pair to complement the proposed minimax loss. Superior experimental results on several influential benchmarks along with visualization show that our method gives full play to the performance of the baseline model without additional computation and achieves comparable results with state of the art models.


Understanding Vulnerability of Communities in Complex Networks. In this paper, we study the crucial elements of complex networks, namely nodes, and edges and their properties such as their community structure, which play an important role in dictating the robustness of the network towards structural perturbations. Specifically, we want to identify all vital nodes, which when removed would lead to a large change in the underlying community structure of the network. This problem is extremely important because the community structure of a network allows deep underlying insights into how function of a network and its topology affect each other. Moreover, it even provides a way to condense large graphs into smaller graphs where each community acts as a meta node and hence aids in easier network analysis. If this community structure was to be compromised by either accidental or intentional perturbations to the network, that would make such analysis difficult. Since the problem of identifying such vital nodes is computationally intractable, we propose some heuristics that allow us to find solutions close to the optimal solution. To certify the effectiveness of our approach, we first test these heuristics on small networks, and then move to larger networks to show that we achieve similar results. The results reveal that the proposed approaches are effective to analyze the vulnerability of communities in graphs irrespective of their size and scale. From the application point of view, we show that the proposed algorithm is scalable and can be applied to the information diffusion task to curtail the spread of active nodes which was observed empirically. Additionally, we show the performance of our algorithm through an extrinsic evaluation we employ two tasks, like prediction and information diffusion, and show that the effect of our algorithm on these tasks is higher than the other baselines.


Rigid Lie algebras and algebraicity. The notion of rigidity of Lie algebra is linked to the following problem when does a Lie brackets mu on a vector space g satisfy that every Lie bracket mu 1 sufficiently close to mu is of the form mu 1 P. mu for some P in GL(g) close to the identity? A Lie algebra which satisfies the above condition will be called rigid. The most famous example is the Lie algebra sl(2,C) of square matrices of order 2 with vanishing trace. This Lie algebra is rigid, that is any close deformation is isomorphic to it. Let us note that, for this Lie algebra, there exists a quantification of its universal algebra. This led to the definition of the famous quantum group SL(2). Another interest of studying the rigid Lie algebras is the fact that there exists, for a given dimension, only a finite number of isomorphic classes of rigid Lie algebras. So we are tempted to establish a classification. This problem has been solved up to the dimension 8. To continue in this direction, properties must be established on the structure of these algebras. One of the first results establishes an algebraicity criterion cite Carles . However, the notion of algebraicity which is used is not the classical notion and it includes non algebraic Lie algebras in the usual sense. The aim of this work is to show that a the Lie algebra is rigid, then its algebra of inner derivations is algebraic.


GitHub OSS Fixit Fixing bugs at scale in a Software Engineering Course. Many studies have shown the benefits of introducing open source projects into teaching Software Engineering (SE) courses. However, there are several limitations of existing studies that limit the wide adaptation of open source projects in a classroom setting, including (1) the selected project is limited to one particular project, (2) most studies only investigated on its effect on teaching a specific SE concept, and (3) students may make mistakes in their contribution which leads to poor quality code. Meanwhile, software companies have successfully launched programs like Google Summer of Code (GSoC) and FindBugs "fixit" to contribute to open source projects. Inspired by the success of these programs, we propose GitHub OSS Fixit, a course project where students are taught to contribute to open source Java projects by fixing bugs reported in GitHub. We described our course outline to teach students SE concepts by encouraging the usages of several automated program analysis tools. We also included the carefully designed instructions that we gave to students for participating in GitHub OSS Fixit. As all lectures and labs are conducted online, we think that our course design could help in guiding future online SE courses. Overall, our survey results show that students think that GitHub OSS Fixit could help them to improve many skills and apply the knowledge taught in class. In total, 154 students have submitted 214 pull requests to 24 different Java projects, in which 59 of them have been merged, and 82 have been closed by developers.


A Systematic Review on Context Aware Recommender Systems using Deep Learning and Embeddings. Recommender Systems are tools that improve how users find relevant information in web systems, so they do not face too much information. In order to generate better recommendations, the context of information should be used in the recommendation process. Context Aware Recommender Systems were created, accomplishing state of the art results and improving traditional recommender systems. There are many approaches to build recommender systems, and two of the most prominent advances in area have been the use of Embeddings to represent the data in the recommender system, and the use of Deep Learning architectures to generate the recommendations to the user. A systematic review adopts a formal and systematic method to perform a bibliographic review, and it is used to identify and evaluate all the research in certain area of study, by analyzing the relevant research published. A systematic review was conducted to understand how the Deep Learning and Embeddings techniques are being applied to improve Context Aware Recommender Systems. We summarized the architectures that are used to create those and the domains that they are used.


Categorical Stochastic Processes and Likelihood. In this work we take a Category Theoretic perspective on the relationship between probabilistic modeling and function approximation. We begin by defining two extensions of function composition to stochastic process subordination one based on the co Kleisli category under the comonad (Omega x ) and one based on the parameterization of a category with a Lawvere theory. We show how these extensions relate to the category Stoch and other Markov Categories. Next, we apply the Para construction to extend stochastic processes to parameterized statistical models and we define a way to compose the likelihood functions of these models. We conclude with a demonstration of how the Maximum Likelihood Estimation procedure defines an identity on objects functor from the category of statistical models to the category of Learners. Code to accompany this paper can be found at https github.com dshieble Categorical Stochastic Processes and Likelihood


Multipliers Correction Methods for Optimization Problems over the Stiefel Manifold. We propose a class of multipliers correction methods to minimize a differentiable function over the Stiefel manifold. The proposed methods combine a function value reduction step with a proximal correction step. The former one searches along an arbitrary descent direction in the Euclidean space instead of a vector in the tangent space of the Stiefel manifold. Meanwhile, the latter one minimizes a first order proximal approximation of the objective function in the range space of the current iterate to make Lagrangian multipliers associated with orthogonality constraints symmetric at any accumulation point. The global convergence has been established for the proposed methods. Preliminary numerical experiments demonstrate that the new methods significantly outperform other state of the art first order approaches in solving various kinds of testing problems.


Modeling Urban Growth and Form with Spatial Entropy. Entropy is one of physical bases for fractal dimension definition, and the generalized fractal dimension was defined by Renyi entropy. Using fractal dimension, we can describe urban growth and form and characterize spatial complexity. A number of fractal models and measurements have been proposed for urban studies. However, the precondition for fractal dimension application is to find scaling relations in cities. In absence of scaling property, we can make use of entropy function and measurements. This paper is devoted to researching how to describe urban growth by using spatial entropy. By analogy with fractal dimension growth models of cities, a pair of entropy increase models can be derived and a set of entropy based measurements can be constructed to describe urban growing process and patterns. First, logistic function and Boltzmann equation are utilized to model the entropy increase curves of urban growth. Second, a series of indexes based on spatial entropy are used to characterize urban form. Further, multifractal dimension spectrums are generalized to spatial entropy spectrums. Conclusions are drawn as follows. Entropy and fractal dimension have both intersection and different spheres of application to urban research. Thus, for a given spatial measurement scale, fractal dimension can often be replaced by spatial entropy for simplicity. The models and measurements presented in this work are significant for integrating entropy and fractal dimension into the same framework of urban spatial analysis and understanding spatial complexity of cities.


A numerical study of gravity driven instability in strongly coupled dusty plasmas.Part I Rayleigh Taylor instability and Buoyancy driven instability. Rayleigh Taylor and Buoyancy driven instabilities are very common instabilities for an inhomogeneous medium. We examine here how these instabilities grow for incompressible viscoelastic fluids like a strongly coupled dusty plasma by using incompressible generalized hydrodynamic (i GHD) fluid model. Since the dust particles are pretty massive, the gravitational attraction of earth has a significant role in its dynamics. In this paper the acceleration due to gravity g and the role of strong coupling in the context of gravitationally stratified dusty plasma fluid have been considered. We find that the appearance of elasticity speed up the growth of viscoelastic RT instability by reducing the effect of viscosity at timescales shorter than the Maxwell relaxation time tau m . The buoyancy driven situation with spatially localized (in both dimensions) of low high density regions placed in a background medium has also been evolved in the presence of gravity. Our studies show that both the instabilities get suppressed with increasing coupling strength of the medium. This suppression has been illustrated analytically as well as by carrying out a two dimensional fully nonlinear simulation.


The structure of multigranular rough sets. We study multigranulation spaces of two equivalences. The lattice theoretical properties of so called "optimistic" and "pessimistic" multigranular approximation systems are given. We also consider the ordered sets of rough sets determined by these approximation pairs.


Prediction of 5 hydroxytryptamine Transporter Inhibitor based on Machine Learning. In patients with depression, the use of 5 HT reuptake inhibitors can improve the condition. Topological fingerprints, ECFP4, and molecular descriptors were used. Some SERT and small molecules combined prediction models were established by using 5 machine learning methods. We selected the higher accuracy models(RF, SVM, LR) in five fold cross validation of training set to establish an integrated model (VOL CLF). The training set is from Chembl database and oversampled by SMOTE algorithm to eliminate data imbalance. The unbalanced data from same sources (Chembl) was used as Test set 1 the unbalanced data with different sources(Drugbank) was used as Test set 2 . The prediction accuracy of SERT inhibitors in Test set 1 was 90.7 93.3 (VOL CLF method was the highest) the inhibitory recall rate was 84.6 90.1 (RF method was the highest) the non inhibitor prediction accuracy rate was 76.1 80.2 (RF method is the highest) the non inhibitor predictive recall rate is 81.2 87.5 (SVM and VOL CLF methods were the highest) The RF model in Test Set 2 performed better than the other models. The SERT inhibitor predicted accuracy rate, recall rate, non inhibitor predicted accuracy rate, recall rate were 42.9 , 85.7 , 95.7 , 73.3 .This study demonstrates that machine learning methods effectively predict inhibitors of serotonin transporters and accelerate drug screening.


(p,q) Equations with singular and concave convex nonlinearities. We consider a nonlinear Dirichlet problem driven by the (p,q) Laplacian with 1 q p . The reaction is parametric and exhibits the competing effects of a singular term and of concave and convex nonlinearities. We are looking for positive solutions and prove a bifurcation type theorem describing in a precise way the set of positive solutions as the parameter varies. Moreover, we show the existence of a minimal positive solution and we study it as a function of the parameter.


A New Proof for the Embedded Resolution of Surface Singularities in Arbitrary Characteristic. A new proof for the embedded resolution of surface singularities in a three dimensional smooth ambient space over algebraically closed fields of arbitrary characteristic. The proof makes use of an upper semicontinuous resolution invariant which prescribes the center in each step of the resolution algorithm. The resolution invariant strictly decreases under each blowup. The definition of the resolution invariant is inspired by the proofs of resolution of singularities in arbitrary dimension over fields of characteristic zero. It was developed in an attempt to generalize these proofs to the setting of arbitrary characteristic. The usual resolution invariant which is used in characteristic zero behaves very badly over fields of positive characteristic. It is not upper semicontinuous. Further, the invariant may increase under blowup which destroys the induction argument. It is shown how these problems can be overcome in the case of surface singularities which are embedded in a three dimensional smooth ambient space. Analogous to the proofs of resolution of singularities in characteristic zero, coefficient ideals are used to enable induction on the dimension of the ambient space. Since hypersurfaces of maximal contact need not exist over fields of positive characteristic, coefficient ideals are considered instead with respect to all regular hypersurfaces. The associated invariants are then maximized over all local flags of smooth subspaces. To construct flags which realize this maximum, techniques are introduced to maximize invariants of coefficient ideals over all coordinate changes. These so called "cleaning techniques" form a core part of the proof. They can be seen as a characteristic free generalization of the Tschirnhausen transformation, a classical technique to construct hypersurfaces of maximal contact.


Radiation Shielding Properties of Nd 0.6 Sr 0.4 Mn 1 y Ni y O 3 Substitute with Different Concentrations of Nickle. In this work, we investigate the effect of Ni concentration on several shielding properties of Nd 0.6 Sr 0.4 Mn 1 y Ni y O 3 (0.00 leq y leq 0.20) perovskite ceramic for possible use as radiation shielding materials. X ray diffraction (XRD) analysis revealed that these ceramics have the orthorhombic structure with group space Pnma over a wide range of Ni substitutions. Moreover, the analysis showed a nearly linear decrease in the lattice parameters and the unit cell volume (V) causing a gradual increase in the packing density with increasing Ni concentration. The shielding features for photons, neutrons, and protons of all ceramic samples were assessed. The mass attenuation coefficient (MAC) was computed at 0.1, 0.6, 1.25, 5 and 15 MeV by utilizing (MCNP) (version 5.0) the results were compared with the corresponding values obtained using Phy X and XCOM program. The results obtained showed slight enhancement with increasing Ni contents. The substitution of Ni leads to progressive enhancement in effective removal cross section of fast neutron ( Sigma R) values. Whereas the values of Mass Stopping Power (MSP) and projected range for the protons showed a gradual reduction with increasing Ni concentration. These findings suggest that the current ceramic samples can be useful as radiation shielding materials.


Analysis of the Bergen Belsen VR AR application by means of the Virtual Subjectiveness Model. We test the usefulness of Virtual Subjectiveness (Par 'es and Par 'es, 2006) as an analytical model for AMVR projects by means of the evaluation of the Bergen Belsen VR AR application. This application allows users to retrieve geolocated historical data through 3D architectural reconstructions, while exploring the site of the former concentration camp. Having analyzed the context of development of this application, its interface, mappings and interaction behaviors, and their interrelation in time, we found the Virtual Subjectiveness model to be an adequate paradigm to make a structured evaluation of the technical and conceptual levels of the chosen VR AR application.


Theory of ion and water transport in electron conducting membrane pores with pH dependent chemical charge. In this work, we develop an extended uniform potential (UP) model for a membrane nanopore by including two different charging mechanisms of the pore walls, namely by electronic charge and by chemical charge. These two charging mechanisms will generally occur in polymeric membranes with conducting agents, or membranes made of conducting materials like carbon nanotubes with surface ionizable groups. The electronic charge redistributes along the pore in response to the gradient of electric potential in the pore, while the chemical charge depends on the local pH via a Langmuir type isotherm. The extended UP model shows good agreement with experimental data for membrane potential measured at zero current condition. When both types of charge are present, the ratio of the electronic charge to the chemical charge can be characterized by the dimensionless number of surface groups and the dimensionless capacitance of the dielectric Stern layer. The performance of the membrane pore in converting osmotic energy from a salt concentration difference into electrical power can be improved by tuning the electronic charge.


Probing Linguistic Features of Sentence Level Representations in Neural Relation Extraction. Despite the recent progress, little is known about the features captured by state of the art neural relation extraction (RE) models. Common methods encode the source sentence, conditioned on the entity mentions, before classifying the relation. However, the complexity of the task makes it difficult to understand how encoder architecture and supporting linguistic knowledge affect the features learned by the encoder. We introduce 14 probing tasks targeting linguistic properties relevant to RE, and we use them to study representations learned by more than 40 different encoder architecture and linguistic feature combinations trained on two datasets, TACRED and SemEval 2010 Task 8. We find that the bias induced by the architecture and the inclusion of linguistic features are clearly expressed in the probing task performance. For example, adding contextualized word representations greatly increases performance on probing tasks with a focus on named entity and part of speech information, and yields better results in RE. In contrast, entity masking improves RE, but considerably lowers performance on entity type related probing tasks.


Asymptotic formula for the conjunction probability of smooth stationary Gaussian fields. Let X i(t) , t in S subset R d i 1,2, ldots,n be independent copies of a stationary centered Gaussian field with almost surely smooth sample paths. In this paper, we are interested in the conjunction probability defined as PP left( exists t in S , X i(t) geq u, , forall i 1,2, ldots,n right) for a given threshold level u . As u rightarrow infty , we will provide an asymptotic formula for the conjunction probability. This asymptotic formula is derived from the behaviour of the volume of the set of local maximum points. The proof relies on a result of Aza " i s and Wschebor describing the shape of the excursion set of a stationary centered Gaussian field. Our result confirms partially the validity of Euler characteristic method.


The Optics of Language Integrated Query. Monadic comprehensions reign over the realm of language integrated query (LINQ), and for good reasons. Indeed, comprehensions are tightly integrated with general purpose programming languages and close enough to common query languages, such as SQL, to guarantee their translation into effective queries. Comprehensions also support features for writing reusable and composable queries, such as the handling of nested data and the use of functional abstractions. In parallel to these developments, optics have emerged in recent years as the technology of choice to write programs that manipulate complex data structures with nested components. Optic abstractions are easily composable and, in principle, permit both data access and updates. This paper attempts to exploit the notion of optic for LINQ as a higher level language that complements comprehension based approaches. In order to do this, we lift a restricted subset of optics, namely getters, affine folds and folds, into a full blown DSL. The type system of the resulting language of optics, that we have named Optica, distills their compositional properties, whereas its denotational semantics is given by standard optics. This formal specification of the concept of optic enables the definition of non standard optic representations beyond van Laarhoven, profunctor optics, etc. In particular, the paper demonstrates that a restricted subset of XQuery can be understood as an optic representation it introduces Triplets, a non standard semantic domain to normalize optic expressions and facilitate the generation of SQL queries and it describes how to generate comprehension based queries from optic expressions, thus showing that both approaches can coexist.The paper also describes S Optica, a Scala implementation of Optica using the tagless final approach.


Learning and Suggesting Source Code Changes from Version History A Systematic Review. Context Software systems are in continuous evolution through source code changes to fixing bugs, adding new functionalities and improving the internal architecture. All these practices are recorded in the version history, which can be reused as an advantage in the development process. Objective This paper aims to investigate approaches and techniques related to the learning of source code changes, since the change identification step, learning, and reuse in recommending strategies. Method We conducted a systematic review related to primary studies about source code changes. The search approach identified 2410 studies, up to and including 2012, which resulted in a final set of 39 selected papers. We grouped the studies according to each established research question. This review investigates how source code changes, which were performed in the past of software, can support the improvement of the software project. Results The majority of approaches and techniques have used repetitiveness behavior of source code changes to identify structural or metrics patterns in software repositories, trough the evaluation of sequences of versions. To extract the structural patterns, the approaches have used programming by example techniques to differencing source code changes. In quality metrics analysis, the studies have applied mainly complexity and object oriented metrics. Conclusion The main implication of this review is that source code changes as examples, to support the improvement of coding practice during the development process, in which we presented some relevant strategies to guide each step, since identifying until the suggesting of source code changes.


Fast Time optimal Avoidance of Moving Obstacles for High Speed MAV Flight. In this work, we propose a method to efficiently compute smooth, time optimal trajectories for micro aerial vehicles (MAVs) evading a moving obstacle. Our approach first computes an n dimensional trajectory from the start to an arbitrary target state including position, velocity and acceleration. It respects input and state constraints and is thus dynamically feasible. The trajectory is then efficiently checked for collisions, exploiting the piecewise polynomial formulation. If collisions occur, viastates are inserted into the trajectory to circumvent the obstacle and still maintain time optimality. These viastates are described by position, velocity, and acceleration. The evaluation shows that the computational demands of the proposed method are minimal such that obstacle avoidance can begin within few milliseconds. Optimality of generated trajectories, combined with the ability for frequent online re planning from non hover initial conditions, make the approach well suited for evasion of suddenly perceived obstacles during fast flight.


Indium Antimonide, constraints on practicality as a magneto optical platform for topological surface plasmon polaritons. Magnetic field biased indium antimonide (InSb) is one of the most widely discussed materials for supporting nonreciprocal surface plasmon polaritons (SPPs), which have recently been shown to be topological. In this work, we provide a critical assessment of InSb as a magneto optical SPP platform, and show that it is only viable under a narrow set of conditions.


Geometry of geodesics. These are lecture notes for the course "MATS4120 Geometry of geodesics" given at the University of Jyv "askyl "a in Spring 2020. Basic differential geometry or Riemannian geometry is useful background but is not strictly necessary. Exercise problems are included, and problems marked important should be solved as you read to ensure that you are able to follow.


Complex Hessian equations with prescribed singularity on compact K "ahler manifolds. Let (X, omega) be a compact K "ahler manifold of dimension n and fix 1 leq m leq n . We prove that the total mass of the complex Hessian measure of omega m subharmonic functions is non decreasing with respect to the singularity type. We then solve complex Hessian equations with prescribed singularity, and prove a Hodge index type inequality for positive currents.


HOMFLYPT skein sub modules of the lens spaces L(p, 1) . In this paper we work toward the HOMFLYPT skein module of L(p, 1) , mathcal S (L(p,1)) , via braids. Our starting point is the linear Turaev basis, Lambda prime , of the HOMFLYPT skein module of the solid torus ST, mathcal S ( rm ST ) , which can be decomposed as the tensor product of the "positive" Lambda prime and the "negative" Lambda prime sub modules, and the Lambropoulou invariant, X , for knots and links in ST, that captures S( rm ST ) . It is a well known result by now that mathcal S (L(p, 1)) frac mathcal S (ST) bbm's , where bbm's (braid band moves) denotes the isotopy moves that correspond to the surgery description of L(p, 1) . Namely, a HOMFLYPT type invariant for knots and links in ST can be extended to an invariant for knots and links in L(p, 1) by imposing relations coming from the performance of bbm's and solving the infinite system of equations obtained that way. smallbreak In this paper we work with a new basis of mathcal S ( rm ST ) , Lambda , and we relate the infinite system of equations obtained by performing bbm's on elements in Lambda to the infinite system of equations obtained by performing bbm's on elements in Lambda via a map I . More precisely we prove that the solutions of one system can be derived from the solutions of the other. Our aim is to reduce the complexity of the infinite system one needs to solve in order to compute mathcal S (L(p,1)) using the braid technique. Finally, we present a generating set and a potential basis for frac Lambda bbm's and thus, we obtain a generating set and a potential basis for frac Lambda bbm's . We also discuss further steps needed in order to compute mathcal S (L(p,1)) via braids.


Fractional Types Expressive and Safe Space Management for Ancilla Bits. In reversible computing, the management of space is subject to two broad classes of constraints. First, as with general purpose computation, every allocation must be paired with a matching de allocation. Second, space can only be safely de allocated if its contents are restored to their initial value from allocation time. Generally speaking, the state of the art provides limited partial solutions that address the first constraint by imposing a stack discipline and by leaving the second constraint to programmers' assertions. We propose a novel approach based on the idea of fractional types. As a simple intuitive example, allocation of a new boolean value initialized to texttt false also creates a value 1 texttt false that can be thought of as a garbage collection (GC) process specialized to reclaim, and only reclaim, storage containing the value texttt false . This GC process is a first class entity that can be manipulated, decomposed into smaller processes and combined with other GC processes. We formalize this idea in the context of a reversible language founded on type isomorphisms, prove its fundamental correctness properties, and illustrate its expressiveness using a wide variety of examples. The development is backed by a fully formalized Agda implementation.


The Strong Trace Property and the Neumann Problem for Stochastic Conservation Laws. We establish the well posedness of the Neumann problem for stochastic conservation laws with multiplicative noise. As a major step for establishing the uniqueness of the kinetic solution to the referred problem we establish the new strong trace property for stochastic conservation laws. Existence of kinetic solutions is proved through the vanishing viscosity method and the detailed analysis of the corresponding stochastic parabolic problem is also made here for the first time, as far as the authors know.


Stock Prices Prediction using Deep Learning Models. Financial markets have a vital role in the development of modern society. They allow the deployment of economic resources. Changes in stock prices reflect changes in the market. In this study, we focus on predicting stock prices by deep learning model. This is a challenge task, because there is much noise and uncertainty in information that is related to stock prices. So this work uses sparse autoencoders with one dimension (1 D) residual convolutional networks which is a deep learning model, to de noise the data. Long short term memory (LSTM) is then used to predict the stock price. The prices, indices and macroeconomic variables in past are the features used to predict the next day's price. Experiment results show that 1 D residual convolutional networks can de noise data and extract deep features better than a model that combines wavelet transforms (WT) and stacked autoencoders (SAEs). In addition, we compare the performances of model with two different forecast targets of stock price absolute stock price and price rate of change. The results show that predicting stock price through price rate of change is better than predicting absolute prices directly.


An overview of 11 proposals for building safe advanced AI. This paper analyzes and compares 11 different proposals for building safe advanced AI under the current machine learning paradigm, including major contenders such as iterated amplification, AI safety via debate, and recursive reward modeling. Each proposal is evaluated on the four components of outer alignment, inner alignment, training competitiveness, and performance competitiveness, of which the distinction between the latter two is introduced in this paper. While prior literature has primarily focused on analyzing individual proposals, or primarily focused on outer alignment at the expense of inner alignment, this analysis seeks to take a comparative look at a wide range of proposals including a comparative analysis across all four previously mentioned components.


Bergman space zero sets, modular forms, von Neumann algebras and ordered groups. A 2 alpha will denote the weighted L 2 Bergman space. Given a subset S of the open unit disc we define Omega(S) to be the infimum of s exists f in A 2 s 2 , f neq 0, mbox having S as its zero set .By classical results on Hardy space there are sets S for which Omega(S) 1 . Using von Neumann dimension techniques and cusp forms we give examples of S where 1 Omega(S) infty . By using a left order on certain Fuchsian groups we are able to calculate Omega(S) exactly if Omega (S) is the orbit of a Fuchsian group. This technique also allows us to derive in a new way well known results on zeros of cusp forms and indeed calculate the whole algebra of modular forms for pslz.


Stronger Baselines for Grammatical Error Correction Using Pretrained Encoder Decoder Model. Studies on grammatical error correction (GEC) have reported the effectiveness of pretraining a Seq2Seq model with a large amount of pseudodata. However, this approach requires time consuming pretraining for GEC because of the size of the pseudodata. In this study, we explore the utility of bidirectional and auto regressive transformers (BART) as a generic pretrained encoder decoder model for GEC. With the use of this generic pretrained model for GEC, the time consuming pretraining can be eliminated. We find that monolingual and multilingual BART models achieve high performance in GEC, with one of the results being comparable to the current strong results in English GEC. Our implementations are publicly available at GitHub (https github.com Katsumata420 generic pretrained GEC).


Temporal Trends of Intraurban Commuting in Baton Rouge 1990 2010. Based on the 1990 2010 CTPP data in Baton Rouge, this research analyzes the temporal trends of commuting patterns in both time and distance. In comparison to previous work, commuting length is calibrated more accurately by Monte Carlo based simulation of individual journey to work trips to mitigate the zonal effect. First, average commute distance kept climbing in 1990 2010 while average commute time increased in 1990 2000 but then slightly dropped toward 2010. Secondly, urban land use remained a good predictor of commuting pattern over time (e.g., explaining up to 90 of mean commute distance and about 30 of mean commute time). Finally, the percentage of excess commuting increased significantly in 1990 2000 and stabilized afterwards.


Symmetrical Z Complementary Code Sets (SZCCSs) for Optimal Training in Generalized Spatial Modulation. This paper introduces a novel class of code sets, called "symmetrical Z complementary code sets (SZCCSs)" , whose aperiodic auto and cross correlation sums exhibit zero correlation zones (ZCZs) at both the front end and tail end of the entire correlation window. Three constructions of (optimal) SZCCSs based on general Boolean functions are presented. As a second major contribution, we apply SZCCSs to design optimal training sequences for broadband generalized spatial modulation (GSM) systems over frequency selective channels. Key words Complementary code set, channel estimation, training sequence design, generalized spatial modulation, frequency selective channels.


New characterizations of G Drazin inverse in Banach algebra. In this paper, we present a new characterization of g Drazin inverse in a Banach algebra. We prove that an element a is a Banach algebra has g Drazin inverse if and only if there exists x in A such that ax xa, a a 2x in A qnil . we obtain the sufficient and necessary conditions for the existence of the g Drain inverse for certain 2 times 2 anti triangular matrices over a Banach algebra. These extend the results of Koliha (Glasgow Math. J., 38(1996), 367 381), Nicholson (Comm. Algebra,27(1999), 3583 3592 and Zou et al. (Studia Scient. Math. Hungar., 54(2017,489 508).


Scaling features in the spreading of COVID 19. Since the outbreak of COVID 19, many data analyses have been done. Some of them are based on the classical epidemiological approach that assumes an exponential growth, but a few studies report that a power law scaling may provide a better fit to the currently available data. Hereby, we examine the data in China (01 20 2020 02 24 2020), and indeed find that the growth closely follows a power law kinetics over a significantly wide time period. The exponents are 2.48(20) , 2.21(6) and 4.26(12) for the number of confirmed infections, deaths and cured cases, respectively, indicating an underlying small world network structure in the pandemic. While no obvious deviations from the power law growth can be seen yet for the number of deaths and cured cases, negative deviations have clearly appeared in the number of infections, particularly that for the region outside Hubei. This suggests the beginning of the slowing down of the virus spreading due to the huge containment effort. Meanwhile, we find that despite the dramatic difference in magnitudes, the growth kinetics of the infection number exhibits much similarity for Hubei province and the region outside Hubei. On this basis, in log log plot, we rescale the infection number for the region outside Hubei such that it overlaps as much as possible with the total infection number in China, from which an approximate extrapolation yields the maximum of the pandemic around March 3, 2020, with the number of infections about 83,000 . Further, by analyzing the kinetics of the mortality in log log scale, we obtains a rough estimate that near March 3, the death rate of COVID 19 would be about 4.7 thicksim 5.0 for Hubei province and 0.7 thicksim1.0 for the region outside Hubei. We emphasize that our predictions may be quantitatively unreliable, since the data analysis is purely empirical and various assumptions are used.


On Deep Learning Techniques to Boost Monocular Depth Estimation for Autonomous Navigation. Inferring the depth of images is a fundamental inverse problem within the field of Computer Vision since depth information is obtained through 2D images, which can be generated from infinite possibilities of observed real scenes. Benefiting from the progress of Convolutional Neural Networks (CNNs) to explore structural features and spatial image information, Single Image Depth Estimation (SIDE) is often highlighted in scopes of scientific and technological innovation, as this concept provides advantages related to its low implementation cost and robustness to environmental conditions. In the context of autonomous vehicles, state of the art CNNs optimize the SIDE task by producing high quality depth maps, which are essential during the autonomous navigation process in different locations. However, such networks are usually supervised by sparse and noisy depth data, from Light Detection and Ranging (LiDAR) laser scans, and are carried out at high computational cost, requiring high performance Graphic Processing Units (GPUs). Therefore, we propose a new lightweight and fast supervised CNN architecture combined with novel feature extraction models which are designed for real world autonomous navigation. We also introduce an efficient surface normals module, jointly with a simple geometric 2.5D loss function, to solve SIDE problems. We also innovate by incorporating multiple Deep Learning techniques, such as the use of densification algorithms and additional semantic, surface normals and depth information to train our framework. The method introduced in this work focuses on robotic applications in indoor and outdoor environments and its results are evaluated on the competitive and publicly available NYU Depth V2 and KITTI Depth datasets.


The Reconstruction and Prediction Algorithm of the Fractional TDD for the Local Outbreak of COVID 19. From late December, 2019, the novel Corona Virus began to spread in the mainland of China. For predicting the trend of the Corona Virus spread, several time delay dynamic systems (TDD) are proposed. In this paper, we establish a novel fractional time delay dynamic system (FTDD) to describe the local outbreak of COVID 19. The fractional derivative is introduced to account for the sub diffusion process of the confirmed and cured peoples growth. Based on the public health data by the government, we propose a stable reconstruction algorithm of the coefficients. The reconstructed coefficients are used to predict the trend of the Corona Virus. The numerical results are in good agreement with the public data.


Probabilistic models for Gram's Law. Gram's Law describes a pattern that frequently occurs in the distribution of the non trivial zeros of the Riemann zeta function along the critical line. Whenever Gram's Law holds true, it reduces the difficulty of computing the corresponding zeta zeros. In this paper, we provide a model that estimates how often this pattern occurs. The model is based on a conjecture that relates the statistical distribution of the zeta zeros to that of the eigenvalues of random unitary matrices.


Higher Lie characters and cyclic descent extension on conjugacy classes. A now classical cyclic extension of the descent set of a permutation has been introduced by Klyachko and Cellini. Following a recent axiomatic approach to this notion, it is natural to ask which sets of permutations admit such an extension. The main result of this paper is a complete answer in the case of conjucay classes of permutations. It is shown that the conjugacy class of cycle type lambda has such an extension if and only if lambda is not of the form (r s) for some square free r . The proof involves a detailed study of hook constituents in higher Lie characters.


CDTB A Color and Depth Visual Object Tracking Dataset and Benchmark. A long term visual object tracking performance evaluation methodology and a benchmark are proposed. Performance measures are designed by following a long term tracking definition to maximize the analysis probing strength. The new measures outperform existing ones in interpretation potential and in better distinguishing between different tracking behaviors. We show that these measures generalize the short term performance measures, thus linking the two tracking problems. Furthermore, the new measures are highly robust to temporal annotation sparsity and allow annotation of sequences hundreds of times longer than in the current datasets without increasing manual annotation labor. A new challenging dataset of carefully selected sequences with many target disappearances is proposed. A new tracking taxonomy is proposed to position trackers on the short term long term spectrum. The benchmark contains an extensive evaluation of the largest number of long term tackers and comparison to state of the art short term trackers. We analyze the influence of tracking architecture implementations to long term performance and explore various re detection strategies as well as influence of visual model update strategies to long term tracking drift. The methodology is integrated in the VOT toolkit to automate experimental analysis and benchmarking and to facilitate future development of long term trackers.


Entropy stable, robust and high order DGSEM for the compressible multicomponent Euler equations. This work concerns the numerical approximation of a multicomponent compressible Euler system for a fluid mixture in multiple space dimensions on unstructured meshes with a high order discontinuous Galerkin spectral element method (DGSEM). We first derive an entropy stable (ES) and robust (i.e., that preserves the positivity of the partial densities and internal energy) three point finite volume scheme using relaxation based approximate Riemann solvers from Bouchut Nonlinear stability of finite volume methods for hyperbolic conservation laws and well balanced schemes for sources, Birkhauser and Coquel and Perthame SINUM, 35, 1998 . Then, we consider the DGSEM based on collocation of quadrature and interpolation points which relies on the framework introduced by Fisher and Carpenter JCP, 252, 2013 and Gassner SISC, 35, 2013 . We replace the physical fluxes in the integrals over discretization elements by entropy conservative numerical fluxes Tadmor, MCOM, 49, 1987 , while ES numerical fluxes are used at element interfaces. We thus derive a two point numerical flux satisfying the Tadmor's entropy conservation condition and use the numerical flux from the three point scheme as ES flux. Time discretization is performed with a strong stability preserving Runge Kutta scheme. We then derive conditions on the numerical parameters to guaranty a semi discrete entropy inequality as well as positivity of the cell average of the partial densities and internal energy of the fully discrete DGSEM at any approximation order. The later results allow to use existing limiters in order to restore positivity of nodal values within elements. The scheme also resolves exactly stationary material interfaces. Numerical experiments in one and two space dimensions on flows with discontinuous solutions support the conclusions of our analysis and highlight stability, robustness and high resolution of the scheme.


The second boundary value problem for a discrete Monge Ampere equation. In this work we propose a natural discretization of the second boundary condition for the Monge Ampere equation of geometric optics and optimal transport. It is the natural generalization of the popular Oliker Prussner method proposed in 1988. For the discretization of the differential operator, we use a discrete analogue of the subdifferential. Existence, unicity and stability of the solutions to the discrete problem are established. Convergence results to the continuous problem are given.


A stable majority population protocol using logarithmic time and states. We study population protocols, a model of distributed computing appropriate for modeling well mixed chemical reaction networks and other physical systems where agents exchange information in pairwise interactions, but have no control over their schedule of interaction partners. The well studied majority problem is that of determining in an initial population of n agents, each with one of two opinions A or B , whether there are more A , more B , or a tie. A stable protocol solves this problem with probability 1 by eventually entering a configuration in which all agents agree on a correct consensus decision of A , B , or T , from which the consensus cannot change. We describe a protocol that solves this problem using O( log n) states ( log log n O(1) bits of memory) and optimal expected time O( log n) . The number of states O( log n) is known to be optimal for the class of stable protocols that are "output dominant" and "monotone". These are two natural constraints satisfied by our protocol, making it state optimal for that class. We use, and develop novel analysis of, a key technique called a "fixed resolution clock" due to Gasieniec, Stachowiak, and Uznanski, who showed a majority protocol using O( log n) time and states that has a positive probability of error. Our protocol is nonuniform the transition function has the value left lceil log n right rceil encoded in it. We show that the protocol can be modified to be uniform, while increasing the state complexity to Theta( log n log log n) .


Varieties corresponding to classes of complemented posets. As algebraic semantics of the logic of quantum mechanics there are usually used orthomodular posets, i.e. bounded posets with a complementation which is an antitone involution and where the join of orthogonal elements exists and the orthomodular law is satisfied. When we omit the condition that the complementation is an antitone involution, then we obtain skew orthomodular posets. To each such poset we can assign a bounded lambda lattice in a non unique way. Bounded lambda lattices are lattice like algebras whose operations are not necessarily associative. We prove that any of the following properties for bounded posets with a unary operation can be characterized by certain identities of an arbitrary assigned lambda lattice complementarity, orthogonality, almost skew orthomodularity and skew orthomodularity. It is shown that these identities are independent. Finally, we show that the variety of skew orthomodular lambda lattices is congruence permutable as well as congruence regular.


On The Group Of Self homotopy Equivalences Of An Elliptic Space. Let X be a simply connected rational elliptic space of formal dimension n and let E(X) denote the group of homotopy classes of self equivalences of X . If X k denotes the k text th Postikov section of X and X k denotes its k text th skeleton, then making use of the models of Sullivan and Quillen we prove that E(X) cong E(X n ) and if n m max big k , , pi k (X) neq 0 big and E(X) is finite, then E(X) cong E(X m 1 ) . Moreover, in case when X is 2 connected, we show that if pi n (X) neq0 , then the group E(X) is infinite.


Conditional Capacity and Transmit Signal Design for SWIPT Systems with Multiple Nonlinear Energy Harvesting Receivers. We study information theoretic limits for simultaneous wireless information and power transfer (SWIPT) systems employing nonlinear radio frequency (RF) energy harvesting (EH) receivers (Rxs). In particular, we consider a SWIPT system with one transmitter that broadcasts a common signal to an information decoding (ID) Rx and multiple EH Rxs. Owing to the nonlinearity of the EH Rxs' circuitry, the efficiency of wireless power transfer depends on the waveform of the transmitted signal. We aim to answer the following fundamental question What is the optimal input distribution of the transmit signal waveform that maximizes the information transfer rate at the ID Rx conditioned on individual minimum required direct current (DC) powers to be harvested at the EH Rxs? Specifically, we study the conditional capacity problem of a SWIPT system impaired by additive white Gaussian noise subject to average power (AP) and peak power (PP) constraints at the transmitter and nonlinear EH constraints at the EH Rxs. To this end, we develop a novel nonlinear EH model that captures the saturation of the harvested DC power by taking into account the reverse breakdown current of the rectifying diode. We derive a novel semiclosed form expression for the harvested DC power, which simplifies to closed form for low input RF powers. The derived analytical expressions are shown to closely match circuit simulation results. We solve the conditional capacity problem for real and complex valued signalling and prove that the optimal input distribution that maximizes the rate energy (R E) region is unique and discrete with a finite number of mass points. Furthermore, we show that the boundary of the R E region saturates for high PP constraints due to the saturation of the harvested DC power for high input RF powers. In addition, we devise a suboptimal input distribution whose R E tradeoff performance is close to optimal.


Mean ergodic composition operators on spaces of holomorphic functions on a Banach space. We study mean ergodic composition operators on infinite dimensional spaces of holomorphic functions of different types when defined on the unit ball of a Banach or a Hilbert space that of all holomorphic functions, that of holomorphic functions of bounded type and that of bounded holomorphic functions. Several examples in the different settings are given.


Enriques surfaces and an Apollonian packing in eight dimensions. We call a packing of hyperspheres in n dimensions an Apollonian sphere packing if the spheres intersect tangentially or not at all they fill the n dimensional space and every sphere in the packing is a member of a cluster of n 2 mutually tangent spheres (and a few more properties described herein). In this paper, we describe an Apollonian packing in eight dimensions that naturally arises from the study of generic nodal Enriques surfaces. The E 7 , E 8 and Reye lattices play roles. We use the packing to generate an Apollonian packing in nine dimensions, and a cross section in seven dimensions that is weakly Apollonian. Maxwell described all three packings but seemed unaware that they are Apollonian. The packings in seven and eight dimensions are different than those found in an earlier paper. In passing, we give a sufficient condition for a Coxeter graph to generate mutually tangent spheres, and use this to identify an Apollonian sphere packing in three dimensions that is not the Soddy sphere packing.


How wireless queues benefit from motion an analysis of the continuum between zero and infinite mobility. This paper considers the time evolution of a queue that is embedded in a Poisson point process of moving wireless interferers. The queue is driven by an external arrival process and is subject to a time varying service process that is a function of the SINR that it sees. Static configurations of interferers result in an infinite queue workload with positive probability. In contrast, a generic stability condition is established for the queue in the case where interferers possess any non zero mobility that results in displacements that are both independent across interferers and oblivious to interferer positions. The proof leverages the mixing property of the Poisson point process. The effect of an increase in mobility on queueing metrics is also studied. Convex ordering tools are used to establish that faster moving interferers result in a queue workload that is smaller for the increasing convex stochastic order. As a corollary, mean workload and mean delay decrease as network mobility increases. This stochastic ordering as a function of mobility is explained by establishing positive correlations between SINR level crossing events at different time points, and by determining the autocorrelation function for interference and observing that it decreases with increasing mobility. System behaviour is empirically analyzed using discrete event simulation and the performance of various mobility models is evaluated using heavy traffic approximations.


Regularity results for a penalized boundary obstacle problem. In this paper we are concerned with a two penalty boundary obstacle problem of interest in thermics, fluid dynamics and electricity. Specifically, we prove existence, uniqueness and optimal regularity of the solutions, and we establish structural properties of the free boundary.


Deconstructing Blockchains A Comprehensive Survey on Consensus, Membership and Structure. It is no exaggeration to say that since the introduction of Bitcoin, blockchains have become a disruptive technology that has shaken the world. However, the rising popularity of the paradigm has led to a flurry of proposals addressing variations and or trying to solve problems stemming from the initial specification. This added considerable complexity to the current blockchain ecosystems, amplified by the absence of detail in many accompanying blockchain whitepapers. Through this paper, we set out to explain blockchains in a simple way, taming that complexity through the deconstruction of the blockchain into three simple, critical components common to all known systems membership selection, consensus mechanism and structure. We propose an evaluation framework with insight into system models, desired properties and analysis criteria, using the decoupled components as criteria. We use this framework to provide clear and intuitive overviews of the design principles behind the analyzed systems and the properties achieved. We hope our effort will help clarifying the current state of blockchain proposals and provide directions to the analysis of future proposals.


Unfolded Deep Neural Network (UDNN) for High Mobility Channel Estimation. High mobility channel estimation is crucial for beyond 5G (B5G) or 6G wireless communication networks. This paper is concerned with channel estimation of high mobility OFDM communication systems. First, a two dimensional compressed sensing problem is formulated by approximately linearizing the channel as a product of an overcomplete dictionary with a sparse vector, in which the Doppler effect caused by the high mobility channel is considered. To solve the problem that the traditional compressed sensing algorithms have too many iterations and are time consuming, we propose an unfolded deep neural network (UDNN) as the fast solver, which is inspired by the structure of iterative shrinkage thresholding algorithm (ISTA). All the parameters in UDNN (e.g. nonlinear transforms, shrinkage thresholds, measurement matrices, etc.) are learned end to end, rather than being hand crafted. Experiments demonstrate that the proposed UDNN performs better than ISTA for OFDM high mobility channel estimation, while maintaining extremely fast computational speed.


Interdependencies of less equal relations between partial Lov ' a sz vectors of digraphs. For digraphs G and H , let cal H (G,H) be the set of all homomorphisms from G to H , and let cal S (G,H) be the subset of those homomorphisms mapping all proper arcs in G to proper arcs in H . From an earlier investigation we know that for certain digraphs R and S , the relation " cal S (G,R) leq cal S (G,S) for all G in mathfrak D ' " implies " cal H (G,R) leq cal H (G,S) for all G in mathfrak D ' ", where mathfrak D ' is a subclass of digraphs. Now we ask for the inverse For which digraphs R, S and which subclasses mathfrak D ' of digraphs does " cal H (G,R) leq cal H (G,S) for all G in mathfrak D ' " imply " cal S (G,R) leq cal S (G,S) for all G in mathfrak D ' "? We prove this implication for three combinations of digraph classes. In particular, the relations are equivalent for all flat posets R, S with respect to all flat posets G .


On Calder 'on's inverse inclusion problem with smooth shapes by a single partial boundary measurement. We are concerned with the Calder 'on inverse inclusion problem, where one intends to recover the shape of an inhomogeneous conductive inclusion embedded in a homogeneous conductivity by the associated boundary measurements. We consider the highly challenging case with a single partial boundary measurement, which constitutes a long standing open problem in the literature. It is shown in several existing works that corner singularities can help to resolve the uniqueness and stability issues for this inverse problem. In this paper, we show that the corner singularity can be relaxed to be a certain high curvature condition and derive a novel local unique determination result. To our best knowledge, this is the first (local) uniqueness result in determining a conductive inclusions with general smooth shapes by a single (partial) boundary measurement.


Derived deformation theory of algebraic structures. The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...) or bialgebras (associative and coassociative, Lie, Frobenius...), that is algebraic structures parametrized by props. A central aspect is that we define and study moduli spaces of deformations of algebraic structures up to quasi isomorphisms (and not just isotopies or isomorphisms). To do so, we implement methods coming from derived algebraic geometry, by encapsulating these deformation theories as classifying (pre)stacks with good infinitesimal properties and derived formal geometry, by means of derived formal moduli problems and derived formal groups. In particular, we prove that the Lie algebra describing the deformation theory of an object in a given infty category of dg algebras can be obtained equivalently as the tangent complex of loops on a derived quotient of this moduli space by the homotopy automorphims of this object. Moreover, we provide explicit formulae for such derived deformation problems of algebraic structures up to quasi isomorphisms and relate them in a precise way to other standard deformation problems of algebraic structures. This relation is given by a fiber sequence of the associated dg Lie algebras of their deformation complexes. Our results provide simultaneously a vast generalization of standard deformation theory of algebraic structures which is suitable (and needed) to set up algebraic deformation theory both at the infty categorical level and at a higher level of generality than algebras over operads. In addition, we study a general criterion to compare formal moduli problems of different algebraic structures and apply our formalism to E n algebras and bialgebras.


Mucin inspired, high molecular weight virus binding inhibitors show biphasic binding behavior to influenza A viruses. Multivalent virus binding inhibitors are a promising new class of antivirals, preventing virus infection of cells by inhibiting the first step in the viral infection cycle binding of viruses to the cell surface. The design of multivalent virus binding inhibitors is complex as many properties, such as inhibitor size and functionalization with virus attachment factors, have a strong impact on the inhibition efficiency. In this study, we synthesized virus binding inhibitors, the design of which has been inspired by mucins, which are naturally occurring glycosylated proteins with molecular weights in the MDa range and which show high affinity in the interaction with various viruses. Hyperbranched polyglycerols (hPG), serving as polymeric scaffolds, were functionalized with sialic acids and sulfate groups at degrees of functionalization as suggested from the structure of mucins. The molecular weights of the hPG based inhibitors ranged between 10 and 2600 kDa, thereby hitting the size of mucins (MDa scale) and allowing for comparing the inhibition efficiency of the largest, mucin sized inhibitor (2600 kDa) with related inhibitors of lower molecular weight. Inhibition efficiencies were determined by various methods based on the inhibition of influenza A virus (IAV) binding to lipid membranes, including an assay based on total internal reflection fluorescence (TIRF) microscopy that allows for probing the interaction of IAV with its native attachment factor, sialic acid. Potent inhibition is observed in all assays already at pM concentrations for the mucin sized inhibitor, while decreasing the inhibitor's molecular weight also decreased its inhibition efficiency. In addition, a biphasic binding behavior of the inhibitors to IAV is observed, which is attributed to differences in the binding affinity to two IAV envelope proteins, neuraminidase and hemagglutinin.


math.NA cs.NA physics.chem-ph physics.comp-ph

Stiff PINN Physics Informed Neural Network for Stiff Chemical Kinetics. Recently developed physics informed neural network (PINN) has achieved success in many science and engineering disciplines by encoding physics laws into the loss functions of the neural network, such that the network not only conforms to the measurements, initial and boundary conditions but also satisfies the governing equations. This work first investigates the performance of PINN in solving stiff chemical kinetic problems with governing equations of stiff ordinary differential equations (ODEs). The results elucidate the challenges of utilizing PINN in stiff ODE systems. Consequently, we employ Quasi Steady State Assumptions (QSSA) to reduce the stiffness of the ODE systems, and the PINN then can be successfully applied to the converted non mild stiff systems. Therefore, the results suggest that stiffness could be the major reason for the failure of the regular PINN in the studied stiff chemical kinetic systems. The developed Stiff PINN approach that utilizes QSSA to enable PINN to solve stiff chemical kinetics shall open the possibility of applying PINN to various reaction diffusion systems involving stiff dynamics.


Relation Learning on Social Networks with Multi Modal Graph Edge Variational Autoencoders. While node semantics have been extensively explored in social networks, little research attention has been paid to profile edge semantics, i.e., social relations. Ideal edge semantics should not only show that two users are connected, but also why they know each other and what they share in common. However, relations in social networks are often hard to profile, due to noisy multi modal signals and limited user generated ground truth labels. In this work, we aim to develop a unified and principled framework that can profile user relations as edge semantics in social networks by integrating multi modal signals in the presence of noisy and incomplete data. Our framework is also flexible towards limited or missing supervision. Specifically, we assume a latent distribution of multiple relations underlying each user link, and learn them with multi modal graph edge variational autoencoders. We encode the network data with a graph convolutional network, and decode arbitrary signals with multiple reconstruction networks. Extensive experiments and case studies on two public DBLP author networks and two internal LinkedIn member networks demonstrate the superior effectiveness and efficiency of our proposed model.


Detection of low conductivity objects using eddy current measurements with an optical magnetometer. Detection and imaging of an electrically conductive object at a distance can be achieved by inducing eddy currents in it and measuring the associated magnetic field. We have detected low conductivity objects with an optical magnetometer based on room temperature cesium atomic vapor and a noise canceling differential technique which increased the signal to noise ratio (SNR) by more than three orders of magnitude. We detected small containers with a few mL of salt water with conductivity ranging from 4 24 S m with a good SNR. This demonstrates that our optical magnetometer should be capable of detecting objects with conductivity 1 S m with a SNR 1 and opens up new avenues for using optical magnetometers to image low conductivity biological tissue including the human heart which would enable non invasive diagnostics of heart diseases.


On uniform Hilbert Schmidt stability of groups. A group Gamma is said to be uniformly HS stable if any map varphi Gamma to U(n) that is almost a unitary representation (w.r.t. the Hilbert Schmidt norm) is close to a genuine unitary representation of the same dimension. We present a complete classification of uniformly HS stable groups among finitely generated residually finite ones. Necessity of the residual finiteness assumption is discussed. A similar result is shown to hold assuming only amenability.


Invertible Network for Classification and Biomarker Selection for ASD. Determining biomarkers for autism spectrum disorder (ASD) is crucial to understanding its mechanisms. Recently deep learning methods have achieved success in the classification task of ASD using fMRI data. However, due to the black box nature of most deep learning models, it's hard to perform biomarker selection and interpret model decisions. The recently proposed invertible networks can accurately reconstruct the input from its output, and have the potential to unravel the black box representation. Therefore, we propose a novel method to classify ASD and identify biomarkers for ASD using the connectivity matrix calculated from fMRI as the input. Specifically, with invertible networks, we explicitly determine the decision boundary and the projection of data points onto the boundary. Like linear classifiers, the difference between a point and its projection onto the decision boundary can be viewed as the explanation. We then define the importance as the explanation weighted by the gradient of prediction w.r.t the input, and identify biomarkers based on this importance measure. We perform a regression task to further validate our biomarker selection compared to using all edges in the connectivity matrix, using the top 10 important edges we generate a lower regression error on 6 different severity scores. Our experiments show that the invertible network is both effective at ASD classification and interpretable, allowing for discovery of reliable biomarkers.


Deep Hamiltonian networks based on symplectic integrators. HNets is a class of neural networks on grounds of physical prior for learning Hamiltonian systems. This paper explains the influences of different integrators as hyper parameters on the HNets through error analysis. If we define the network target as the map with zero empirical loss on arbitrary training data, then the non symplectic integrators cannot guarantee the existence of the network targets of HNets. We introduce the inverse modified equations for HNets and prove that the HNets based on symplectic integrators possess network targets and the differences between the network targets and the original Hamiltonians depend on the accuracy orders of the integrators. Our numerical experiments show that the phase flows of the Hamiltonian systems obtained by symplectic HNets do not exactly preserve the original Hamiltonians, but preserve the network targets calculated the loss of the network target for the training data and the test data is much less than the loss of the original Hamiltonian the symplectic HNets have more powerful generalization ability and higher accuracy than the non symplectic HNets in addressing predicting issues. Thus, the symplectic integrators are of critical importance for HNets.


Quasiperiodic Music. Using the definition of quasiperiodic function as a motivation, we introduce the idea of quasiperiodic music and detail the composition process of a quasiperiodic music piece, Raindrops in A minor. We also discuss connections between quasiperiodic music and other works of music theory and composition that make use of aperiodic order or periodic order with large periods, such as Lindenmayer systems, Vuza canons, Messiaen's Quatuor pour la Fin du Temps, and the phase music of Steve Reich.


Generating Reliable and Efficient Predictions of Human Motion A Promising Encounter between Physics and Neural Networks. Generating accurate and efficient predictions for the motion of the humans present in the scene is key to the development of effective motion planning algorithms for robots moving in promiscuous areas, where wrong planning decisions could generate safety hazard or simply make the presence of the robot "socially" unacceptable. Our approach to predict human motion is based on a neural network of a peculiar kind. Contrary to conventional deep neural networks, our network embeds in its structure the popular Social Force Model, a dynamic equation describing the motion in physical terms. This choice allows us to concentrate the learning phase in the aspects, which are really unknown (i.e., the model's parameters) and to keep the structure of the network simple and manageable. As a result, we are able to obtain a good prediction accuracy with a small synthetically generated training set, and the accuracy remains acceptable even when the network is applied in scenarios quite different from those for which it was trained. Finally, the choices of the network are "explainable", as they can be interpreted in physical terms. Comparative and experimental results prove the effectiveness of the proposed approach.


Quantum Webs of Type Q. Webs are combinatorial diagrams used to encode homomorphisms between representations of Lie (super)algebras and related objects. This paper extends the theory of webs to the quantum group of type Q. We define a monoidal supercategory of quantum type Q webs and show it admits a full, essentially surjective functor onto the monoidal supercategory of U q( mathfrak q n) modules generated by the quantum symmetric powers of the natural representation and their duals. We also show that a certain subcategory of the web category is a ribbon category and discuss applications to the representation theory of U q( mathfrak q n) and to invariants of oriented, framed links.


The Dynamics and Infrared Spectrocopy of Monomeric and Dimeric Wild Type and Mutant Insulin. The infrared spectroscopy and dynamics of CO labels in wild type and mutant insulin monomer and dimer are characterized from molecular dynamics simulations using validated force fields. It is found that the spectroscopy of monomeric and dimeric forms in the region of the amide I vibration differs for residues B24 B26 and D24 D26, which are involved in dimerization of the hormone. Also, the spectroscopic signatures change for mutations at position B24 from phenylalanine which is conserved in many organisms and known to play a central role in insulin aggregation to alanine or glycine. Using three different methods to determine the frequency trajectories solving the nuclear Schr "odinger equation on an effective 1 dimensional potential energy curve, instantaneous normal modes, and using parametrized frequency maps lead to the same overall conclusions. The spectroscopic response of monomeric WT and mutant insulin differs from that of their respective dimers and the spectroscopy of the two monomers in the dimer is also not identical. For the WT and F24A and F24G monomers spectroscopic shifts are found to be sim 20 cm 1 for residues (B24 to B26) located at the dimerization interface. Although the crystal structure of the dimer is that of a symmetric homodimer, dynamically the two monomers are not equivalent on the nanosecond time scale. Together with earlier work on the thermodynamic stability of the WT and the same mutants it is concluded that combining computational and experimental infrared spectroscopy provides a potentially powerful way to characterize the aggregation state and dimerization energy of modified insulins.


Vector Balancing in Lebesgue Spaces. A tantalizing conjecture in discrete mathematics is the one of Koml 'os, suggesting that for any vectors mathbf a 1, ldots, mathbf a n in B 2 m there exist signs x 1, dots, x n in 1,1 so that sum i 1 n x i mathbf a i infty le O(1) . It is a natural extension to ask what ell q norm bound to expect for mathbf a 1, ldots, mathbf a n in B p m . We prove that, for 2 le p le q le infty , such vectors admit fractional colorings x 1, dots, x n in 1,1 with a linear number of pm 1 coordinates so that sum i 1 n x i mathbf a i q leq O( sqrt min(p, log(2m n)) ) cdot n 1 2 1 p 1 q , and that one can obtain a full coloring at the expense of another factor of frac 1 1 2 1 p 1 q . In particular, for p in (2,3 we can indeed find signs mathbf x in 1,1 n with sum i 1 n x i mathbf a i infty le O(n 1 2 1 p cdot frac 1 p 2 ) . Our result generalizes Spencer's theorem, for which p q infty , and is tight for m n . Additionally, we prove that for any fixed constant delta 0 , in a centrally symmetric body K subseteq mathbb R n with measure at least e delta n one can find such a fractional coloring in polynomial time. Previously this was known only for a small enough constant indeed in this regime classical nonconstructive arguments do not apply and partial colorings of the form mathbf x in 1,0,1 n do not necessarily exist.


DiagNet towards a generic, Internet scale root cause analysis solution. Diagnosing problems in Internet scale services remains particularly difficult and costly for both content providers and ISPs. Because the Internet is decentralized, the cause of such problems might lie anywhere between an end user's device and the service datacenters. Further, the set of possible problems and causes is not known in advance, making it impossible in practice to train a classifier with all combinations of problems, causes and locations. In this paper, we explore how different machine learning techniques can be used for Internet scale root cause analysis using measurements taken from end user devices. We show how to build generic models that (i) are agnostic to the underlying network topology, (ii) do not require to define the full set of possible causes during training, and (iii) can be quickly adapted to diagnose new services. Our solution, DiagNet, adapts concepts from image processing research to handle network and system metrics. We evaluate DiagNet with a multi cloud deployment of online services with injected faults and emulated clients with automated browsers. We demonstrate promising root cause analysis capabilities, with a recall of 73.9 including causes only being introduced at inference time.


Estimation of Camera Response Function using Prediction Consistency and Gradual Refinement with an Extension to Deep Learning. Most existing methods for CRF estimation from a single image fail to handle general real images. For instance, EdgeCRF based on colour patches extracted from edges works effectively only when the presence of noise is insignificant, which is not the case for many real images and, CRFNet, a recent method based on fully supervised deep learning works only for the CRFs that are in the training data, and hence fail to deal with other possible CRFs beyond the training data. To address these problems, we introduce a non deep learning method using prediction consistency and gradual refinement. First, we rely more on the patches of the input image that provide more consistent predictions. If the predictions from a patch are more consistent, it means that the patch is likely to be less affected by noise or any inferior colour combinations, and hence, it can be more reliable for CRF estimation. Second, we employ a gradual refinement scheme in which we start from a simple CRF model to generate a result which is more robust to noise but less accurate, and then we gradually increase the model's complexity to improve the result. This is because a simple model, while being less accurate, overfits less to noise than a complex model does. Our experiments show that our method outperforms the existing single image methods for daytime and nighttime real images. We further propose a more efficient deep learning extension that performs test time training (based on unsupervised losses) on the test input image. This provides our method better generalization performance than CRFNet making it more practically applicable for CRF estimation for general real images.


Influence measures in subnetworks using vertex centrality. This work deals with the issue of assessing the influence of a node in the entire network and in the subnetwork to which it belongs as well, adapting the classical idea of vertex centrality. We provide a general definition of relative vertex centrality measure with respect to the classical one, referred to the whole network. Specifically, we give a decomposition of the relative centrality measure by including also the relative influence of the single node with respect to a given subgraph containing it. The proposed measure of relative centrality is tested in the empirical networks generated by collecting assets of the S P 100, focusing on two specific centrality indices betweenness and eigenvector centrality. The analysis is performed in a time perspective, capturing the assets influence, with respect to the characteristics of the analysed measures, in both the entire network and the specific sectors to which the assets belong.


On the Feasibility and Enhancement of the Tuple Space Explosion Attack against Open vSwitch. Being a crucial part of networked systems, packet classification has to be highly efficient however, software switches in cloud environments still face performance challenges. The recently proposed Tuple Space Explosion (TSE) attack exploits an algorithmic deficiency in Open vSwitch (OVS). In TSE, legitimate low rate attack traffic makes the cardinal linear search algorithm in the Tuple Space Search (TSS) algorithm to spend an unaffordable time for classifying each packet resulting in a denial of service (DoS) for the rest of the users. In this paper, we investigate the feasibility of TSE from multiple perspectives. Besides showing that TSE is still efficient in the newer version of OVS, we show that when the kernel datapath is compiled from a different source, it can degrade its performance to 1 of its baseline with less than 1 Mbps attack rate. Finally, we show that TSE is much less effective against OVS DPDK with userspace datapath due to the enhanced ranking process in its TSS implementation. Therefore, we propose TSE 2.0 to defeat the ranking process and achieve a complete DoS against OVS DPDK. Furthermore, we present TSE 2.1, which achieves the same goal against OVS DPDK running on multiple cores without significantly increasing the attack rate.


Measuring Bangladeshi Female Farmers' Values for Agriculture Mobile Applications Development. The ubiquity of mobile applications (apps) in daily life raises the imperative that the apps should reflect users' values. However, users' values are not usually taken into account in app development. Thus there is significant potential for user dissatisfaction and negative socio economic consequences. To be cognizant of values in apps, the first step is to find out what those values are, and that was the objective of this study conducted in Bangladesh. Our focus was on rural women, specifically female farmers. The basis for our study was Schwartz's universal human values theory, and we used an associated survey instrument, the Portrait Values Questionnaire (PVQ). Our survey of 193 Bangladeshi female farmers showed that Conformity and Security were regarded as the most important values, while Power, Hedonism, and Stimulation were the least important. This finding would be helpful for developers to take into account when developing agriculture apps for this market. In addition, the methodology we used provides a model to follow to elicit the values of apps' users in other communities.


Runaway electron modelling in the self consistent core European Transport Simulator, ETS. Relativistic runaway electrons are a major concern in tokamaks. The European framework for Integrated Modelling (EU IM), facilitates the integration of different plasma simulation tools by providing a standard data structure for communication that enables relatively easy integration of different physics codes. A three level modelling approach was adopted for runaway electron simulations within the EU IM. Recently, a number of runaway electron modelling modules have been integrated into this framework. The first level of modelling (Runaway Indicator) is limited to the indication if runaway electron generation is possible or likely. The second level (Runaway Fluid) adopts an approach similar to e.g. the GO code, using analytical formulas to estimate changes in the runaway electron current density. The third level is based on the solution of the electron kinetics. One such code is LUKE that can handle the toroidicity induced effects by solving the bounce averaged Fokker Planck equation. Another approach is used in NORSE, which features a fully nonlinear collision operator that makes it capable of simulating major changes in the electron distribution, for example slide away. Both codes handle the effect of radiation on the runaway distribution. These runaway electron modelling codes are in different stages of integration into the EU IM infrastructure, and into the European Transport Simulator (ETS), which is a fully capable modular 1.5D core transport simulator. ETS with Runaway Fluid was benchmarked to the GO code implementing similar physics. Coherent integration of kinetic solvers requires more effort on the coupling, especially regarding the definition of the boundary between runaway and thermal populations, and on consistent calculation of resistivity. Some of these issues are discussed.


Adversarial Residual Coarse Graining Applying machine learning theory to systematic molecular coarse graining. We utilize connections between molecular coarse graining approaches and implicit generative models in machine learning to describe a new framework for systematic molecular coarse graining (CG). Focus is placed on the formalism encompassing generative adversarial networks. The resulting method enables a variety of model parameterization strategies, some of which show similarity to previous CG methods. We demonstrate that the resulting framework can rigorously parameterize CG models containing CG sites with no prescribed connection to the reference atomistic system (termed virtual sites) however, this advantage is offset by the lack of a closed form expression for the CG Hamiltonian at the resolution obtained after integration over the virtual CG sites. Computational examples are provided for cases in which these methods ideally return identical parameters as Relative Entropy Minimization (REM) CG but where traditional REM CG optimization equations are not applicable.


A Quantized Representation of Probability in the Brain. Conventional and current wisdom assumes that the brain represents probability as a continuous number to many decimal places. This assumption seems implausible given finite and scarce resources in the brain. Quantization is an information encoding process whereby a continuous quantity is systematically divided into a finite number of possible categories. Rounding is a simple example of quantization. We apply this information theoretic concept to develop a novel quantized (i.e., discrete) probability distortion function. We develop three conjunction probability gambling tasks to look for evidence of quantized probability representations in the brain. We hypothesize that certain ranges of probability will be lumped together in the same indifferent category if a quantized representation exists. For example, two distinct probabilities such as 0.57 and 0.585 may be treated indifferently. Our extensive data analysis has found strong evidence to support such a quantized representation 59 76 participants (i.e., 78 ) demonstrated a best fit to 4 bit quantized models instead of continuous models. This observation is the major development and novelty of the present work. The brain is very likely to be employing a quantized representation of probability. This discovery demonstrates a major precision limitation of the brain's representational and decision making ability.


An uncertainty principle for neural coding Conjugate representations of position and velocity are mapped onto firing rates and co firing rates of neural spike trains. The hippocampal system contains neural populations that encode an animal's position and velocity as it navigates through space. Here, we show that such populations can embed two codes within their spike trains a firing rate code (R) conveyed by within cell spike intervals, and a co firing rate code (R') conveyed by between cell spike intervals. These two codes behave as conjugates of one another, obeying an analog of the uncertainty principle from physics information conveyed in R comes at the expense of information in R', and vice versa. An exception to this trade off occurs when spike trains encode a pair of conjugate variables, such as position and velocity, which do not compete for capacity across R and R'. To illustrate this, we describe two biologically inspired methods for decoding R and R', referred to as sigma and sigma chi decoding, respectively. Simulations of head direction (HD) and grid cells show that if firing rates are tuned for position (but not velocity), then position is recovered by sigma decoding, whereas velocity is recovered by sigma chi decoding. Conversely, simulations of oscillatory interference among theta modulated "speed cells" show that if co firing rates are tuned for position (but not velocity), then position is recovered by sigma chi decoding, whereas velocity is recovered by sigma decoding. Between these two extremes, information about both variables can be distributed across both channels, and partially recovered by both decoders. These results suggest that neurons with different spatial and temporal tuning properties such as speed versus grid cells might not encode different information, but rather, distribute similar information about position and velocity in different ways across R and R'.


Estimating Effectiveness of Identifying Human Trafficking via Data Envelopment Analysis. Transit monitoring is a preventative approach used to identify possible cases of human trafficking while an individual is in transit or before one crosses a border. Transit monitoring is often conducted by non governmental organizations (NGOs) who train staff to identify and intercept suspicious activity. Love Justice International (LJI) is a well established NGO that has been conducting transit monitoring for years along the Nepal India border at a number of monitoring stations. In partnership with LJI, we developed a system that uses data envelopment analysis (DEA) to help LJI decision makers evaluate the performance of these stations and make specific operational improvement recommendations. Our model consists of 91 decision making units (DMUs) from 7 stations over 13 quarters and considers three inputs, four outputs, and 3 homogeneity criteria. Using this model we identified efficient stations, compared rankings of station performance, and recommended strategies to improve efficiency. To the best of our knowledge, this is the first application of DEA in the anti human trafficking domain.


Forecasting the Ambient Solar Wind with Numerical Models. II. An Adaptive Prediction System for Specifying Solar Wind Speed Near the Sun. The ambient solar wind flows and fields influence the complex propagation dynamics of coronal mass ejections in the interplanetary medium and play an essential role in shaping Earth's space weather environment. A critical scientific goal in the space weather research and prediction community is to develop, implement and optimize numerical models for specifying the large scale properties of solar wind conditions at the inner boundary of the heliospheric model domain. Here we present an adaptive prediction system that fuses information from in situ measurements of the solar wind into numerical models to better match the global solar wind model solutions near the Sun with prevailing physical conditions in the vicinity of Earth. In this way, we attempt to advance the predictive capabilities of well established solar wind models for specifying solar wind speed, including the Wang Sheeley Arge (WSA) model. In particular, we use the Heliospheric Upwind eXtrapolation (HUX) model for mapping the solar wind solutions from the near Sun environment to the vicinity of Earth. In addition, we present the newly developed Tunable HUX (THUX) model which solves the viscous form of the underlying Burgers equation. We perform a statistical analysis of the resulting solar wind predictions for the time 2006 2015. The proposed prediction scheme improves all the investigated coronal heliospheric model combinations and produces better estimates of the solar wind state at Earth than our reference baseline model. We discuss why this is the case, and conclude that our findings have important implications for future practice in applied space weather research and prediction.


Distributed Resource Allocation with Binary Decisions via Newton like Neural Network Dynamics. This paper aims to solve a distributed resource allocation problem with binary local constraints. The problem is formulated as a binary program with a cost function defined by the summation of agent costs plus a global mismatch penalty term. We propose a modification of the Hopfield Neural Network (HNN) dynamics in order to solve this problem while incorporating a novel Newton like weighting factor. This addition lends itself to fast avoidance of saddle points, which the gradient like HNN is susceptible to. Turning to a multi agent setting, we reformulate the problem and develop a distributed implementation of the Newton like dynamics. We show that if a local solution to the distributed reformulation is obtained, it is also a local solution to the centralized problem. A main contribution of this work is to show that the probability of converging to a saddle point of an appropriately defined energy function in both the centralized and distributed settings is zero under light assumptions. Finally, we enlarge our algorithm with an annealing technique which gradually learns a feasible binary solution. Simulation results demonstrate that the proposed methods are competitive with centralized greedy and SDP relaxation approaches in terms of solution quality, while the main advantage of our approach is a significant improvement in runtime over the SDP relaxation method and the distributed quality of implementation.


Optimization method to eliminate the influence of the conical acoustic lens on the transmission of laser beam using ZEMAX. By using the optical design software Zemax, on the basis of geometric optics and primary aberration theory, the optimal design method of collimating mirror is discussed and proposed, which eliminates the influence of conical concave acoustic lens on beam transmission. The lens system imaging before and after the optimization of the calibration lens is simulated by numerical simulation from the simulation results, after the calibration mirror is optimized, the spherical aberration of the system is greatly reduced,. The root mean square radius of the spot under the 0 degree field of view changes from 993.842 micrometers to 8.091 micrometers, and the geometric radius changes from 1000.98 micrometers to 11.087 micrometers the MTF curve is obviously improved, the cut off frequency is increased by nearly 15 times, and the MTF value of the meridian direction and sagittal direction under the 0 degree field of view are between 0.9 and 1 The proposed optimization method of the collimating mirror has important theoretical guiding significance for the study of the large depth of field photoacoustic microscopy imaging system.


The fourth moment of Dirichlet L functions along a coset and the Weyl bound. We prove a Lindel "of on average upper bound for the fourth moment of Dirichlet L functions of conductor q along a coset of the subgroup of characters modulo d when q d , where q is the least positive integer such that q 2 (q ) 3 . As a consequence, we finish the previous work of the authors and establish a Weyl strength subconvex bound for all Dirichlet L functions with no restrictions on the conductor.