title: Verifying liquidity of recursive Bitcoin contracts

abstract: Smart contracts - computer protocols that regulate the exchange of crypto-assets in trustless environments - have become popular with the spread of blockchain technologies. A landmark security property of smart contracts is liquidity: in a non-liquid contract, it may happen that some assets remain frozen, i.e. not redeemable by anyone. The relevance of this issue is witnessed by recent liquidity attacks to Ethereum, which have frozen hundreds of USD millions. We address the problem of verifying liquidity on BitML, a DSL for smart contracts with a secure compiler to Bitcoin, featuring primitives for currency transfers, contract renegotiation and consensual recursion. Our main result is a verification technique for liquidity. We first transform the infinite-state semantics of BitML into a finite-state one, which focusses on the behaviour of a chosen set of contracts, abstracting from the moves of the context. With respect to the chosen contracts, this abstraction is sound, i.e. if the abstracted contract is liquid, then also the concrete one is such. We then verify liquidity by model-checking the finite-state abstraction. We implement a toolchain that automatically verifies liquidity of BitML contracts and compiles them to Bitcoin, and we assess it through a benchmark of representative contracts.


title: Thin-suspended 2D Materials: Facile, Versatile, and Deterministic Transfer Assembly

abstract: We report a deterministic 2D material (2DM) transfer method to assemble any-stacking-order heterostructures incorporating suspended ultra-thin 2D materials, such as single-layer graphene (SLG) and bilayer graphene (BLG). The transfer procedure relies on a single-step preparation nitrocellulose micro-stamp, which combines both outstanding adhesion and softness. It permits the dry pick-up of naked 2D crystals (graphene, MoS$_2$, and hBN) directly from a SiO$_2$ substrate, and to precisely transfer them on substrates or trenches. Optical and Raman data show that no significant defect is introduced upon transfer, even in suspended SLG and BLG. The areas transferred range up $\sim$ 1000 $\mu$m$^2$ on substrate. High-yield transfer of suspended ultra-thin 2DM does not require critical point drying for areas up to 15 $\mu$m$^2$ or suspension heights down to 160 nm. To demonstrate the method's capabilities, we assembled on-substrate and suspended optical cavities tuning BLG's Raman scattering intensity by factors of 19 and 4, respectively. This resilient and rapid 2DM transfer procedure will accelerate the fabrication of many heterostructures and permit versatile suspension of 2DMs for research in twistronics, straintronics, and nano-opto-electro-mechanical systems (NOEMS).


title: Profinet vs Profibus

abstract: We present a step by step definition of Profinet and Profibus. We introduced different types of each of the two communication protocols. Then, the topology and performance of each one has been described individually. Finally, the properties of them have been compared to show that which one has a better performance in the industry.


title: Acquisition and Analysis of Scanning Tunneling Spectroscopy Data $-$ WSe$_2$ Monolayer

abstract: Acquisition and analysis is described for scanning tunneling spectroscopy data acquired from a monolayer of WSe$_2$ grown on epitaxial graphene on SiC. Curve fitting of the data is performed, in order to deduce band-edge energies. In addition to describing the details of the theoretical curves used for the fitting, the acquisition and analysis methods are also discussed within the larger context of the historical development of scanning tunneling spectroscopy techniques.


title: Sharp Convergence Rates for Darcy's Law

abstract: This paper is concerned with Darcy's law for an incompressible viscous fluid flowing in a porous medium. We establish the sharp $O(\sqrt{\e})$ convergence rate in a periodically perforated and bounded domain in $R^d$ for $d\ge 2$, where $\e$ represents the size of solid obstacles. This is achieved by constructing two boundary correctors to control the boundary layers created by the incompressibility condition and the discrepancy of boundary values between the solution and the leading term in its asymptotic expansion. One of the correctors deals with the tangential boundary data, while the other handles the normal boundary data.


title: Transverse single-spin asymmetries of midrapidity $\pi^0$ and $\eta$ mesons in polarized $p$$+$$p$ collisions at $\sqrt{s}=200$ GeV

abstract: We present a measurement of the transverse single-spin asymmetry for $\pi^0$ and $\eta$ mesons in $p^\uparrow$$+$$p$ collisions in the pseudorapidity range $|\eta|<0.35$ and at a center-of-mass energy of 200 GeV with the PHENIX detector at the Relativistic Heavy Ion Collider. In comparison with previous measurements in this kinematic region, these results have a factor of 3 smaller uncertainties. As hadrons, $\pi^0$ and $\eta$ mesons are sensitive to both initial- and final-state nonperturbative effects for a mix of parton flavors. Comparisons of the differences in their transverse single-spin asymmetries have the potential to disentangle the possible effects of strangeness, isospin, or mass. These results can constrain the twist-3 trigluon collinear correlation function as well as the gluon Sivers function.


title: One Explicitly Solvable Model For The Galton-Watson Processes In the Random Environment

abstract: In this paper, we study the Galton-Watson process in the random environment for the particular case when the number of the offsprings in each generation has the fractional linear generation function with random parameters. In this case, the distribution of $N_t$, the number of particles at the moment time $t=0,1,2,\cdots$ can be calculated explicitly. We present the classification of such processes and limit theorems of two types: quenched type which is for the fixed realization of the random environment and annealed type which includes the averaging over the environment.


title: Thermodynamic Consistent Neural Networks for Learning Material Interfacial Mechanics

abstract: For multilayer materials in thin substrate systems, interfacial failure is one of the most challenges. The traction-separation relations (TSR) quantitatively describe the mechanical behavior of a material interface undergoing openings, which is critical to understand and predict interfacial failures under complex loadings. However, existing theoretical models have limitations on enough complexity and flexibility to well learn the real-world TSR from experimental observations. A neural network can fit well along with the loading paths but often fails to obey the laws of physics, due to a lack of experimental data and understanding of the hidden physical mechanism. In this paper, we propose a thermodynamic consistent neural network (TCNN) approach to build a data-driven model of the TSR with sparse experimental data. The TCNN leverages recent advances in physics-informed neural networks (PINN) that encode prior physical information into the loss function and efficiently train the neural networks using automatic differentiation. We investigate three thermodynamic consistent principles, i.e., positive energy dissipation, steepest energy dissipation gradient, and energy conservative loading path. All of them are mathematically formulated and embedded into a neural network model with a novel defined loss function. A real-world experiment demonstrates the superior performance of TCNN, and we find that TCNN provides an accurate prediction of the whole TSR surface and significantly reduces the violated prediction against the laws of physics.


title: Method of numerical simulation of interacting quantum gas kinetics on finite momentum lattice

abstract: We present the efficient and universal numerical method for simulation of interacting quantum gas kinetics on a finite momentum lattice, based on the Boltzmann equation for occupation numbers. Usually, the study of models with two-particle interaction generates the excessive amount of terms in the equations essentially limiting the possible system size. Here we employ the original analytical transformation to decrease the scaling index of the amount of calculations. As a result, lattice sizes as large as 48x48x48 can be simulated, allowing to study realistic problems with complex interaction models. The method was applied to the simulation of weakly interacting Fermi and Bose gases where we calculated the relaxation times depending on the momentum and temperature.


title: Box and segment intersection graphs with large girth and chromatic number

abstract: We prove that there are intersection graphs of axis-aligned boxes in $\mathbb{R}^3$ and intersection graphs of straight lines in $\mathbb{R}^3$ that have arbitrarily large girth and chromatic number.


title: Singularities in Euler flows: multivalued solutions, shock waves, and phase transitions

abstract: In this paper, we analyze various types of critical phenomena in one-dimensional gas flows described by Euler equations. We give a geometrical interpretation of thermodynamics with a special emphasis on phase transitions. We use ideas from the geometrical theory of PDEs, in particular, symmetries and differential constraints to find solutions to the Euler system. Solutions obtained are multivalued, have singularities of projection to the plane of independent variables. We analyze the propagation of the shock wave front along with phase transitions.


title: Construction of Rank $2$ Indecomposable Modules in Grassmannian Cluster Categories

abstract: The category ${\rm CM}(B_{k,n}) $ of Cohen-Macaulay modules over a quotient $B_{k,n}$ of a preprojective algebra provides a categorification of the cluster algebra structure on the coordinate ring of the Grassmannian variety of $k$-dimensional subspaces in $\mathbb C^n$, \cite{JKS16}. Among the indecomposable modules in this category are the rank $1$ modules which are in bijection with $k$-subsets of $\{1,2,\dots,n\}$, and their explicit construction has been given by Jensen, King and Su. These are the building blocks of the category as any module in ${\rm CM}(B_{k,n}) $ can be filtered by them. In this paper we give an explicit construction of rank 2 modules. With this, we give all indecomposable rank 2 modules in the cases when $k=3$ and $k=4$. In particular, we cover the tame cases and go beyond them. We also characterise the modules among them which are uniquely determined by their filtrations. For $k\ge 4$, we exhibit infinite families of non-isomorphic rank 2 modules having the same filtration.


title: Scalable Deep-Learning-Accelerated Topology Optimization for Additively Manufactured Materials

abstract: Topology optimization (TO) is a popular and powerful computational approach for designing novel structures, materials, and devices. Two computational challenges have limited the applicability of TO to a variety of industrial applications. First, a TO problem often involves a large number of design variables to guarantee sufficient expressive power. Second, many TO problems require a large number of expensive physical model simulations, and those simulations cannot be parallelized. To address these issues, we propose a general scalable deep-learning (DL) based TO framework, referred to as SDL-TO, which utilizes parallel schemes in high performance computing (HPC) to accelerate the TO process for designing additively manufactured (AM) materials. Unlike the existing studies of DL for TO, our framework accelerates TO by learning the iterative history data and simultaneously training on the mapping between the given design and its gradient. The surrogate gradient is learned by utilizing parallel computing on multiple CPUs incorporated with a distributed DL training on multiple GPUs. The learned TO gradient enables a fast online update scheme instead of an expensive update based on the physical simulator or solver. Using a local sampling strategy, we achieve to reduce the intrinsic high dimensionality of the design space and improve the training accuracy and the scalability of the SDL-TO framework. The method is demonstrated by benchmark examples and AM materials design for heat conduction. The proposed SDL-TO framework shows competitive performance compared to the baseline methods but significantly reduces the computational cost by a speed up of around 8.6x over the standard TO implementation.


title: Finite-volume energy shift of the three-pion ground state

abstract: Using the framework of non-relativistic effective field theory, the finite-volume ground-state energy shift is calculated up-to-and-including $O(L^{-6})$ for the system of three pions in the channel with the total isospin $I=1$. The relativistic corrections are included perturbatively, up to the same order in the inverse of the box size $L$. The obtained explicit expression, together with the known result for the system with maximal isospin $I=3$, can be used for the extraction of two independent effective three-body couplings from the measured ground-state spectrum of three pions.


title: Dual-wavelength pumped highly birefringent microstructured silica fiber for widely tunable soliton self-frequency shift

abstract: We report the design of a microstructured silica-based fiber for widely tunable soliton self-frequency shift, suitable for pumping with two most common fiber laser wavelengths: 1.04 {\mu}m and 1.55 {\mu}m. Depending on the pump source, the output spectrum can be continuously tuned up to 1.67 {\mu}m (pump at 1.04 {\mu}m) or 1.95 {\mu}m (pump at 1.55 {\mu}m) in the same 1.5 m-long fiber sample, with pump-to-soliton conversion efficiency higher than 20%. The fiber is highly birefringent, which results in an excellent polarization extinction ratio of the soliton, reaching 26 dB. The shifted solitons have a high degree of coherence confirmed by pulse-to-pulse interference measurement. The available soliton tuning range covers the wavelengths inaccessible for fiber lasers, e.g., 1.3 {\mu}m and 1.7 {\mu}m, highly important for multi-photon microscopy and imaging. Our work shows that it is possible to design and fabricate one universal optical fiber that supports soliton shift when pumped at two different wavelengths separated by over 500 nm.


title: Approximation and localized polynomial frame on conic domains

abstract: Highly localized kernels constructed by orthogonal polynomials have been fundamental in recent development of approximation and computational analysis on the unit sphere, unit ball and several other regular domains. In this work we first study homogeneous spaces that are assumed to contain highly localized kernels and establish a framework for approximation and localized tight frame in such spaces, which extends recent works on bounded regular domains. We then show that the framework is applicable to homogeneous spaces defined on bounded conic domains, which consists of conic surfaces and the solid domains bounded by such surfaces and hyperplanes. The main results provide a construction of semi-discrete localized tight frame in weighted $L^2$ norm and a characterization of best approximation by polynomials on conic domains. The latter is achieved by using a $K$-functional, defined via the differential operator that has orthogonal polynomials as eigenfunctions, as well as a modulus of smoothness defined via a multiplier operator that is equivalent to the $K$-functional. Several intermediate results are of interest in their own right, including the Marcinkiewicz-Zygmund inequalities, positive cubature rules, Christoeffel functions, and several Bernstein type inequalities. Moreover, although the highly localizable kernels hold only for special families of weight functions on each domain, many intermediate results are shown to hold for doubling weights defined via the intrinsic distance on the domain.


title: Matter and forces in quantum field theory -- an attempt at a philosophical elucidation

abstract: This is a translation into English of my Masters thesis (hovedoppgave) from 1991. The main topic of the thesis is the relation between fundamental physics and philosophy, and a discussion of several possible ontologies of quantum field theory.


title: Reciprocal maximum likelihood degrees of diagonal linear concentration models

abstract: We show that the reciprocal maximal likelihood degree (rmld) of a diagonal linear concentration model $\mathcal L \subseteq \mathbb{C}^n$ of dimension $r$ is equal to $(-2)^r\chi_M( \textstyle\frac{1}{2})$, where $\chi_M$ is the characteristic polynomial of the matroid $M$ associated to $\mathcal L$. In particular, this establishes the polynomiality of the rmld for general diagonal linear concentration models, positively answering a question of Sturmfels, Timme, and Zwiernik.


title: Application of the Kovacic algorithm for the investigation of motion of a heavy rigid body with a fixed point in the Hess case

abstract: In 1890 German mathematician and physicist W. Hess found new special case of integrability of Euler - Poisson equations of motion of a heavy rigid body with a fixed point. In 1892 P. A. Nekrasov proved that the solution of the problem of motion of a heavy rigid body with a fixed point under Hess conditions reduces to integrating the second order linear differential equation. In this paper the corresponding linear differential equation is derived and its coefficients are presented in the rational form. Using the Kovacic algorithm, we proved that the liouvillian solutions of the corresponding second order linear differential equation exists only in the case, when the moving rigid body is the Lagrange top, or in the case when the constant of the area integral is zero.


title: Cohomology jump loci and absolute sets for singular varieties

abstract: We extend the notion of absolute subsets of Betti moduli spaces of smooth algebraic varieties to the case of normal varieties. As a consequence we prove that twisted cohomology jump loci in rank one over a normal variety are a finite union of translated subtori. We show that the same holds for jump loci twisted by a unitary local system in the case where the underlying variety $X$ is projective with $H^1(X,\mathbb{Q})$ pure of weight one. Lastly, we study the interaction of these loci with Hodge theoretic data naturally associated to the representation variety of fundamental groups of smooth projective varieties.


title: Optimal and Safe Estimation for High-Dimensional Semi-Supervised Learning

abstract: We consider the estimation problem in high-dimensional semi-supervised learning. Our goal is to investigate when and how the unlabeled data can be exploited to improve the estimation of the regression parameters of linear model in light of the fact that such linear models may be misspecified in data analysis. We first establish the minimax lower bound for parameter estimation in the semi-supervised setting, and show that this lower bound cannot be achieved by supervised estimators using the labeled data only. We propose an optimal semi-supervised estimator that can attain this lower bound and therefore improves the supervised estimators, provided that the conditional mean function can be consistently estimated with a proper rate. We further propose a safe semi-supervised estimator. We view it safe, because this estimator is always at least as good as the supervised estimators. We also extend our idea to the aggregation of multiple semi-supervised estimators caused by different misspecifications of the conditional mean function. Extensive numerical simulations and a real data analysis are conducted to illustrate our theoretical results.


title: Contact Tracing Enhances the Efficiency of COVID-19 Group Testing

abstract: Group testing can save testing resources in the context of the ongoing COVID-19 pandemic. In group testing, we are given $n$ samples, one per individual, and arrange them into $m < n$ pooled samples, where each pool is obtained by mixing a subset of the $n$ individual samples. Infected individuals are then identified using a group testing algorithm. In this paper, we use side information (SI) collected from contact tracing (CT) within non-adaptive/single-stage group testing algorithms. We generate data by incorporating CT SI and characteristics of disease spread between individuals. These data are fed into two signal and measurement models for group testing, where numerical results show that our algorithms provide improved sensitivity and specificity. While Nikolopoulos et al. utilized family structure to improve non-adaptive group testing, ours is the first work to explore and demonstrate how CT SI can further improve group testing performance.


title: Transverse momentum dependent forward neutron single spin asymmetries in transversely polarized $p$$+$$p$ collisions at $\sqrt{s}=200$ GeV

abstract: In 2015, the PHENIX collaboration has measured very forward ($\eta>6.8$) single-spin asymmetries of inclusive neutrons in transversely polarized proton-proton and proton-nucleus collisions at a center of mass energy of 200 GeV. A previous publication from this data set concentrated on the nuclear dependence of such asymmetries. In this measurement the explicit transverse-momentum dependence of inclusive neutron single spin asymmetries for proton-proton collisions is extracted using a bootstrapping-unfolding technique on the transverse momenta. This explicit transverse-momentum dependence will help improve the understanding of the mechanisms that create these asymmetries.


title: n-Regular Functions in Quaternionic Analysis

abstract: In this paper we study left and right n-regular functions that originally were introduced in [FL4]. When n=1, these functions are the usual quaternionic left and right regular functions. We show that n-regular functions satisfy most of the properties of the usual regular functions, including the conformal invariance under the fractional linear transformations by the conformal group and the Cauchy-Fueter type reproducing formulas. Arguably, these Cauchy-Fueter type reproducing formulas for n-regular functions are quaternionic analogues of Cauchy's integral formula for the n-th order pole expressing the (n-1)-st derivative of a holomorphic function. We also find two expansions of the Cauchy-Fueter kernel for n-regular functions in terms of certain basis functions, we give an analogue of Laurent series expansion for n-regular functions, we construct an invariant pairing between left and right n-regular functions and we describe the irreducible representations associated to the spaces of left and right n-regular functions of the conformal group and its Lie algebra.


title: On periodic boundary solutions for cylindrical and spherical KdV-Burgers equations

abstract: For the KdV-Burgers equations for cylindrical and spherical waves the development of a regular profile starting from an equilibrium under a periodic perturbation at the boundary is studied. The equation describes a medium which is both dissipative and dispersive. For an appropriate combination of dispersion and dissipation the asymptotic profile looks like a periodical chain of shock fronts with a decreasing amplitude (sawtooth waves). The development of such a profile is preceded by a head shock of a constant height and equal velocity which depends on spatial dimension as well as on integral characteristics of boundary condition; an explicit asymptotic for this head shock is found.


title: Using Multiple Subwords to Improve English-Esperanto Automated Literary Translation Quality

abstract: Building Machine Translation (MT) systems for low-resource languages remains challenging. For many language pairs, parallel data are not widely available, and in such cases MT models do not achieve results comparable to those seen with high-resource languages. When data are scarce, it is of paramount importance to make optimal use of the limited material available. To that end, in this paper we propose employing the same parallel sentences multiple times, only changing the way the words are split each time. For this purpose we use several Byte Pair Encoding models, with various merge operations used in their configuration. In our experiments, we use this technique to expand the available data and improve an MT system involving a low-resource language pair, namely English-Esperanto. As an additional contribution, we made available a set of English-Esperanto parallel data in the literary domain.


title: On linear shifts of finite type and their endomorphisms

abstract: Let $G$ be a group and let $A$ be a finite-dimensional vector space over an arbitrary field $K$. We study finiteness properties of linear subshifts $\Sigma \subset A^G$ and the dynamical behavior of linear cellular automata $\tau \colon \Sigma \to \Sigma$. We say that $G$ is of $K$-linear Markov type if, for every finite-dimensional vector space $A$ over $K$, all linear subshifts $\Sigma \subset A^G$ are of finite type. We show that $G$ is of $K$-linear Markov type if and only if the group algebra $K[G]$ is one-sided Noetherian. We prove that a linear cellular automaton $\tau$ is nilpotent if and only if its limit set, i.e., the intersection of the images of its iterates, reduces to the zero configuration. If $G$ is infinite, finitely generated, and $\Sigma$ is topologically mixing, we show that $\tau$ is nilpotent if and only if its limit set is finite-dimensional. A new characterization of the limit set of $\tau$ in terms of pre-injectivity is also obtained.


title: On Parameterized Complexity of Liquid Democracy

abstract: In liquid democracy, each voter either votes herself or delegates her vote to some other voter. This gives rise to what is called a delegation graph. To decide the voters who eventually votes along with the subset of voters whose votes they give, we need to resolve the cycles in the delegation graph. This gives rise to the Resolve Delegation problem where we need to find an acyclic sub-graph of the delegation graph such that the number of voters whose votes they give is bounded above by some integer {\lambda}. Putting a cap on the number of voters whose votes a voter gives enable the system designer restrict the power of any individual voter. The Resolve Delegation problem is already known to be NP-hard. In this paper we study the parameterized complexity of this problem. We show that Resolve Delegation is para-NP-hard with respect to parameters {\lambda}, number of sink nodes and the maximum degree of the delegation graph. We also show that Resolve Delegation is W[1]-hard even with respect to the treewidth of the delegation graph. We complement our negative results by exhibiting FPT algorithms with respect to some other parameters. We finally show that a related problem, which we call Resolve Fractional Delegation, is polynomial time solvable.


title: Stability of Finite Horizon Optimisation based Control without Terminal Weight

abstract: This paper presents a stability analysis tool for model predictive control (MPC) where control action is generated by optimising a cost function over a finite horizon. Stability analysis of MPC with a limited horizon but without terminal weight is a well known challenging problem. We define a new value function based on an auxiliary one-step optimisation related to stage cost, namely optimal one-step value function (OSVF). It is shown that a finite horizon MPC can be made to be asymptotically stable if OSVF is a (local) control Lyapunov function (CLF). More specifically, by exploiting the CLF property of OSFV to construct a contractive terminal set, a new stabilising MPC algorithm (CMPC) is proposed. We show that CMPC is recursively feasible and guarantees stability under the condition that OSVF is a CLF. Checking this condition and estimation of the maximal terminal set are discussed. Numerical examples are presented to demonstrate the effectiveness of the proposed stability condition and corresponding CMPC algorithm.


title: LocKedge: Low-Complexity Cyberattack Detection in IoT Edge Computing

abstract: Internet of Things and its applications are becoming commonplace with more devices, but always at risk of network security. It is therefore crucial for an IoT network design to identify attackers accurately, quickly and promptly. Many solutions have been proposed, mainly concerning secure IoT architectures and classification algorithms, but none of them have paid enough attention to reducing the complexity. Our proposal in this paper is an edge cloud architecture that fulfills the detection task right at the edge layer, near the source of the attacks for quick response, versatility, as well as reducing the workload of the cloud. We also propose a multi attack detection mechanism called LocKedge Low Complexity Cyberattack Detection in IoT Edge Computing, which has low complexity for deployment at the edge zone while still maintaining high accuracy. LocKedge is implemented in two manners: centralized and federated learning manners in order to verify the performance of the architecture from different perspectives. The performance of our proposed mechanism is compared with that of other machine learning and deep learning methods using the most updated BoT IoT data set. The results show that LocKedge outperforms other algorithms such as NN, CNN, RNN, KNN, SVM, KNN, RF and Decision Tree in terms of accuracy and NN in terms of complexity.


title: A Recursive Algorithm for Mining Association Rules

abstract: Mining frequent itemsets and association rules is an essential task within data mining and data analysis. In this paper, we introduce PrefRec, a recursive algorithm for finding frequent itemsets and association rules. Its main advantage is its recursiveness with respect to the items. It is particularly efficient for updating the mining process when new items are added to the database or when some are excluded. We present in a complete way the logic of the algorithm, and give some of its applications. After that, we carry out an experimental study on the effectiveness of PrefRec. We first compare the execution times with some very popular frequent itemset mining algorithms. Then, we do experiments to test the updating capabilities of our algorithm.


title: Lattice Fusion Networks for Image Denoising

abstract: A novel method for feature fusion in convolutional neural networks is proposed in this paper. Different feature fusion techniques are suggested to facilitate the flow of information and improve the training of deep neural networks. Some of these techniques as well as the proposed network can be considered a type of Directed Acyclic Graph (DAG) Network, where a layer can receive inputs from other layers and have outputs to other layers. In the proposed general framework of Lattice Fusion Network (LFNet), feature maps of each convolutional layer are passed to other layers based on a lattice graph structure, where nodes are convolutional layers. To evaluate the performance of the proposed architecture, different designs based on the general framework of LFNet are implemented for the task of image denoising. This task is used as an example where training deep convolutional networks is needed. Results are compared with state of the art methods. The proposed network is able to achieve better results with far fewer learnable parameters, which shows the effectiveness of LFNets for training of deep neural networks.


title: Privacy-Preserving Federated Learning for UAV-Enabled Networks: Learning-Based Joint Scheduling and Resource Management

abstract: Unmanned aerial vehicles (UAVs) are capable of serving as flying base stations (BSs) for supporting data collection, artificial intelligence (AI) model training, and wireless communications. However, due to the privacy concerns of devices and limited computation or communication resource of UAVs, it is impractical to send raw data of devices to UAV servers for model training. Moreover, due to the dynamic channel condition and heterogeneous computing capacity of devices in UAV-enabled networks, the reliability and efficiency of data sharing require to be further improved. In this paper, we develop an asynchronous federated learning (AFL) framework for multi-UAV-enabled networks, which can provide asynchronous distributed computing by enabling model training locally without transmitting raw sensitive data to UAV servers. The device selection strategy is also introduced into the AFL framework to keep the low-quality devices from affecting the learning efficiency and accuracy. Moreover, we propose an asynchronous advantage actor-critic (A3C) based joint device selection, UAVs placement, and resource management algorithm to enhance the federated convergence speed and accuracy. Simulation results demonstrate that our proposed framework and algorithm achieve higher learning accuracy and faster federated execution time compared to other existing solutions.


title: Fair and Diverse Allocation of Scarce Resources

abstract: We aim to design a fairness-aware allocation approach to maximize the geographical diversity and avoid unfairness in the sense of demographic disparity. During the development of this work, the COVID-19 pandemic is still spreading in the U.S. and other parts of the world on large scale. Many poor communities and minority groups are much more vulnerable than the rest. To provide sufficient vaccine and medical resources to all residents and effectively stop the further spreading of the pandemic, the average medical resources per capita of a community should be independent of the community's demographic features but only conditional on the exposure rate to the disease. In this article, we integrate different aspects of resource allocation and seek a synergistic intervention strategy that gives vulnerable populations with higher priority when distributing medical resources. This prevention-centered strategy is a trade-off between geographical coverage and social group fairness. The proposed principle can be applied to other scarce resources and social benefits allocation.


title: Quantum speed limit time for topological qubit influenced by fermionic and bosonic environment

abstract: Quantum theory sets a limit on the minimum time required to transform from an initial state to a target state. It is known as quantum speed limit time. quantum speed limit time can be used to determine the rate of quantum evolution for closed and open quantum systems. Given that in the real world we are dealing with open quantum systems, the study of quantum speed limit time for such systems has particular importance. In this work we consider the topological qubit realized by two Majorana modes. We consider the case in which the topological qubit is influenced by fermionic and bosonic environment. Fermionic and bosonic environments are assumed to have Ohmic-like spectral density. The quantum speed limit time is investigated for various environment with different Ohmic parameter. It is observed that for super-Ohmic environment with increasing Ohmic parameter the quantum speed limit time gradually reaches to a constant value and thus the speed of evolution reaches to a uniform value. The effects of external magnetic field on the evolution rate are also studied. It is observed that with increasing magnitude of magnetic field, the quantum speed limit time decreases


title: E-Pro: Euler Angle and Probabilistic Model for Face Detection and Recognition

abstract: It is human nature to give prime importance to facial appearances. Often, to look good is to feel good. Also, facial features are unique to every individual on this planet, which means it is a source of vital information. This work proposes a framework named E-Pro for the detection and recognition of faces by taking facial images as inputs. E-Pro has its potential application in various domains, namely attendance, surveillance, crowd monitoring, biometric-based authentication etc. E-Pro is developed here as a mobile application that aims to aid lecturers to mark attendance in a classroom by detecting and recognizing the faces of students from a picture clicked through the app. E-Pro has been developed using Google Firebase Face Recognition APIs, which uses Euler Angles, and Probabilistic Model. E-Pro has been tested on stock images and the experimental results are promising.


title: Mechanical behaviour of additively manufactured Ti6Al4V meta-crystals containing multi-scale hierarchical lattice structures

abstract: The mimicry of crystalline microstructure at meso-scale creates a new class of architected materials, termed meta-crystals, and offers effective ways to significantly improve the toughness and eliminate the post-yield collapse of architected materials. This study investigated the mechanical behaviour of polygrain-like meta-crystals fabricated from Ti6Al4V by laser powder bed fusion. The mechanical behaviour of Ti6Al4V meta-crystals is governed by lattice structures across length-scales: the crystalline microstructure, architected crystal-like mesostructures and the quality of lattice struts. Due to the intricate architecture, significant processing defects were seen in the printed meta-crystals, in particular notch-like defects due to lack of fusion at the free surface of struts. Such defects raised stress concentration and reduced the load-bearing area of struts, hence significantly weakening the lattice struts. In addition, the as-printed condition was brittle due to the presence of acicular alpha' martensites. The defects and the as-printed brittleness led to the premature fracture of struts and compromised the benefits of the crystal-inspired mesostructures. The study subsequently conducted multiple measures to resolve this issue: increasing the strut diameter to reduce the influence of the process defects, and annealing to relieve internal stresses and regain ductility. The combination of the increase in strut diameter and annealing successfully enabled the crystal-like architected mesostructure to effectively improve the toughness of the meta-crystals.


title: Wetting behaviour of a three-phase system in contact with a surface

abstract: We extend the Cahn-Landau-de Gennes mean field theory of binary mixtures to understand the wetting thermodynamics of a three phase system, that is in contact with an external surface which prefers one of the phases. We model the system using a phenomenological free energy having three minima corresponding to low, intermediate and high density phases. By systematically varying the \textit{(i)} depth of the central minimum, \textit{(ii)} the surface interaction parameters, we explore the phase behavior, and wetting characteristics of the system across the triple point corresponding to three phase coexistence. We observe a non-monotonic dependence of the surface tension across the triple point that is associated with a complete to partial wetting transition. The methodology is then applied to study the wetting behaviour of a polymer-liquid crystal mixture in contact with a surface using a renormalised free energy. Our work provides a way to interrogate phase behavior and wetting transitions of biopolymers in cellular environments.


title: EdgeBERT: Sentence-Level Energy Optimizations for Latency-Aware Multi-Task NLP Inference

abstract: Transformer-based language models such as BERT provide significant accuracy improvement for a multitude of natural language processing (NLP) tasks. However, their hefty computational and memory demands make them challenging to deploy to resource-constrained edge platforms with strict latency requirements. We present EdgeBERT, an in-depth algorithm-hardware co-design for latency-aware energy optimization for multi-task NLP. EdgeBERT employs entropy-based early exit predication in order to perform dynamic voltage-frequency scaling (DVFS), at a sentence granularity, for minimal energy consumption while adhering to a prescribed target latency. Computation and memory footprint overheads are further alleviated by employing a calibrated combination of adaptive attention span, selective network pruning, and floating-point quantization. Furthermore, in order to maximize the synergistic benefits of these algorithms in always-on and intermediate edge computing settings, we specialize a 12nm scalable hardware accelerator system, integrating a fast-switching low-dropout voltage regulator (LDO), an all-digital phase-locked loop (ADPLL), as well as, high-density embedded non-volatile memories (eNVMs) wherein the sparse floating-point bit encodings of the shared multi-task parameters are carefully stored. Altogether, latency-aware multi-task NLP inference acceleration on the EdgeBERT hardware system generates up to 7x, 2.5x, and 53x lower energy compared to the conventional inference without early stopping, the latency-unbounded early exit approach, and CUDA adaptations on an Nvidia Jetson Tegra X2 mobile GPU, respectively.


title: Class-agnostic Object Detection

abstract: Object detection models perform well at localizing and classifying objects that they are shown during training. However, due to the difficulty and cost associated with creating and annotating detection datasets, trained models detect a limited number of object types with unknown objects treated as background content. This hinders the adoption of conventional detectors in real-world applications like large-scale object matching, visual grounding, visual relation prediction, obstacle detection (where it is more important to determine the presence and location of objects than to find specific types), etc. We propose class-agnostic object detection as a new problem that focuses on detecting objects irrespective of their object-classes. Specifically, the goal is to predict bounding boxes for all objects in an image but not their object-classes. The predicted boxes can then be consumed by another system to perform application-specific classification, retrieval, etc. We propose training and evaluation protocols for benchmarking class-agnostic detectors to advance future research in this domain. Finally, we propose (1) baseline methods and (2) a new adversarial learning framework for class-agnostic detection that forces the model to exclude class-specific information from features used for predictions. Experimental results show that adversarial learning improves class-agnostic detection efficacy.


title: A $\dbar$-steepest descent method for oscillatory Riemann-Hilbert problems

abstract: We study the asymptotic behavior of Riemann-Hilbert problems (RHP) arising in the AKNS hierarchy of integrable equations. Our analysis is based on the $\dbar$-steepest descent method. We consider RHPs arising from the inverse scattering transform of the AKNS hierarchy with $H^{1,1}(\R)$ initial data. The analysis will be divided into three regions: fast decay region, oscillating region and self-similarity region (the Painlev\'e region). The resulting formulas can be directly applied to study the long-time asymptotic of the solutions of integrable equations such as NLS, mKdV and their higher-order generalizations.


title: AdaGrasp: Learning an Adaptive Gripper-Aware Grasping Policy

abstract: This paper aims to improve robots' versatility and adaptability by allowing them to use a large variety of end-effector tools and quickly adapt to new tools. We propose AdaGrasp, a method to learn a single grasping policy that generalizes to novel grippers. By training on a large collection of grippers, our algorithm is able to acquire generalizable knowledge of how different grippers should be used in various tasks. Given a visual observation of the scene and the gripper, AdaGrasp infers the possible grasp poses and their grasp scores by computing the cross convolution between the shape encodings of the gripper and scene. Intuitively, this cross convolution operation can be considered as an efficient way of exhaustively matching the scene geometry with gripper geometry under different grasp poses (i.e., translations and orientations), where a good "match" of 3D geometry will lead to a successful grasp. We validate our methods in both simulation and real-world environments. Our experiment shows that AdaGrasp significantly outperforms the existing multi-gripper grasping policy method, especially when handling cluttered environments and partial observations. Video is available at https://youtu.be/kknTYTbORfs


title: Group superschemes

abstract: We develop a general theory of algebraic group superschemes, which are not necessarily affine. Our key result is a category equivalence between those group superschemes and Harish-Chandra pairs, which generalizes the result known for affine algebraic group superschemes. Then we present the applications, including the Barsotti-Chevalley Theorem in the super context, and an explicit construction of the quotient superscheme $\mathbb{G}/\mathbb{H}$ of an algebraic group superscheme $\mathbb{G}$ by a group super-subscheme $\mathbb{H}$.


title: Two Families of Hypercyclic Non-Convolution Operators

abstract: Let $H(\mathbb{C})$ be the set of all entire functions endowed with the topology of uniform convergence on compact sets. Let $\lambda,b\in\mathbb{C}$, let $C_{\lambda,b}:H(\mathbb{C})\to H(\mathbb{C})$ be the composition operator $C_{\lambda,b} f(z)=f(\lambda z+b)$, and let $D$ be the derivative operator. We extend results on the hypercyclicity of the non-convolution operators $T_{\lambda,b}=C_{\lambda,b} \circ D$ by showing that whenever $|\lambda|\geq 1$, the collection of operators \begin{align*} \{\psi(T_{\lambda,b}): \psi(z)\in H(\mathbb{C}), \psi(0)=0 \text{ and } \psi(T_{\lambda,b}) \text{ is continuous}\} \end{align*} forms an algebra under the usual addition and multiplication of operators which consists entirely of hypercyclic operators (i.e., each operator has a dense orbit). We also show that the collection of operators \begin{align*} \{C_{\lambda,b}\circ\varphi(D): \varphi(z) \text{ is an entire function of exponential type with } \varphi(0)=0\} \end{align*} consists entirely of hypercyclic operators.


title: Time-frequency representation of nonstationary signals: the IMFogram

abstract: Iterative filtering methods were introduced around 2010 to improve definitions and measurements of structural features in signal processing. Like many applied techniques, they present considerable challenges for mathematicians to theorize their effectiveness and limitations in commercial and scientific usages. In this paper we recast iterative filtering methods in a mathematical abstraction more conducive to their understanding and applications. We also introduce a new visualization of simultaneous local frequencies and amplitudes. By combining a theoretical and practical exposition, we hope to stimulate efforts to understand better these methods. Our approach acknowledges the influence of Ciprian Foias, who was passionate about pure, applied, and applications of mathematics.


title: Insulated primes

abstract: The degree of insulation of a prime $p$ is defined as the largest interval around it in which no other prime exists. Based on this, the $n$-th prime $p_{n}$ is said to be insulated if and only if its degree of insulation is higher than its neighboring primes. Consequently, a new special sequence emerges given as 7, 13, 23, 37, 53, 67, 89, 103, 113, 131, 139, 157, 173, 181, 193, 211, 233, 277, 293, and so on. This paper presents several properties and intriguing relations concerning degree of insulation and insulated primes. Finally, the reader is left with a captivating open problem.


title: Curvature Regularization to Prevent Distortion in Graph Embedding

abstract: Recent research on graph embedding has achieved success in various applications. Most graph embedding methods preserve the proximity in a graph into a manifold in an embedding space. We argue an important but neglected problem about this proximity-preserving strategy: Graph topology patterns, while preserved well into an embedding manifold by preserving proximity, may distort in the ambient embedding Euclidean space, and hence to detect them becomes difficult for machine learning models. To address the problem, we propose curvature regularization, to enforce flatness for embedding manifolds, thereby preventing the distortion. We present a novel angle-based sectional curvature, termed ABS curvature, and accordingly three kinds of curvature regularization to induce flat embedding manifolds during graph embedding. We integrate curvature regularization into five popular proximity-preserving embedding methods, and empirical results in two applications show significant improvements on a wide range of open graph datasets.


title: Approximate Midpoint Policy Iteration for Linear Quadratic Control

abstract: We present a midpoint policy iteration algorithm to solve linear quadratic optimal control problems in both model-based and model-free settings. The algorithm is a variation of Newton's method, and we show that in the model-based setting it achieves cubic convergence, which is superior to standard policy iteration and policy gradient algorithms that achieve quadratic and linear convergence, respectively. We also demonstrate that the algorithm can be approximately implemented without knowledge of the dynamics model by using least-squares estimates of the state-action value function from trajectory data, from which policy improvements can be obtained. With sufficient trajectory data, the policy iterates converge cubically to approximately optimal policies, and this occurs with the same available sample budget as the approximate standard policy iteration. Numerical experiments demonstrate effectiveness of the proposed algorithms.


title: HexGen and Hex2Spline: Polycube-based Hexahedral Mesh Generation and Spline Modeling for Isogeometric Analysis Applications in LS-DYNA

abstract: In this paper, we present two software packages, HexGen and Hex2Spline, that seamlessly integrate geometry design with isogeometric analysis (IGA) in LS-DYNA. Given a boundary representation of a solid model, HexGen creates a hexahedral mesh by utilizing a semi-automatic polycube-based mesh generation method. Hex2Spline takes the output hexahedral mesh from HexGen as the input control mesh and constructs volumetric truncated hierarchical splines. Through B\'{e}zier extraction, Hex2Spline transfers spline information to LS-DYNA and performs IGA therein. We explain the underlying algorithms in each software package and use a rod model to explain how to run the software. We also apply our software to several other complex models to test its robustness. Our goal is to provide a robust volumetric modeling tool and thus expand the boundary of IGA to volume-based industrial applications.


title: Truly shift-invariant convolutional neural networks

abstract: Thanks to the use of convolution and pooling layers, convolutional neural networks were for a long time thought to be shift-invariant. However, recent works have shown that the output of a CNN can change significantly with small shifts in input: a problem caused by the presence of downsampling (stride) layers. The existing solutions rely either on data augmentation or on anti-aliasing, both of which have limitations and neither of which enables perfect shift invariance. Additionally, the gains obtained from these methods do not extend to image patterns not seen during training. To address these challenges, we propose adaptive polyphase sampling (APS), a simple sub-sampling scheme that allows convolutional neural networks to achieve 100% consistency in classification performance under shifts, without any loss in accuracy. With APS, the networks exhibit perfect consistency to shifts even before training, making it the first approach that makes convolutional neural networks truly shift-invariant.


title: Two-coil Wireless Power Transfer System Configured in Series-Series Topology: Fundamental Dynamics and Limitations on Transmitted Power

abstract: The dynamics and performance of a two-coil resonant coupled wireless power transfer system are investigated. At high coupling, the frequency-splitting phenomenon occurs, in which the power transferred to the load attains its maximum at two frequencies away from the resonance frequency. However, this behavior is not a universal property; there exist certain regions of resonator intrinsic parameters in which it is not present for any coupling strength. Therefore, in order to suppress such a phenomenon, there is no need to constrain the coupling of the transmitter and receiver below a certain level as widely reported in the literature. For low-power applications, optimizing the received power is essential. We derive a rigorous asymptotic upper bound for the power that can be delivered to an arbitrary load from a generic source. Our results quantitatively reveal the direct impacts of the unloaded $Q-$factors of the two resonators and the coupling between them on the actual output power. We discuss that, in contrast to the often employed operating power gain, the transducer power gain constitutes a more suitable metric to optimize system efficiency. Once the transferred power reaches its physical bound, the two gains collapse to a unique global optimal solution.


title: Inference in Regression Discontinuity Designs under Monotonicity

abstract: We provide an inference procedure for the sharp regression discontinuity design (RDD) under monotonicity, with possibly multiple running variables. Specifically, we consider the case where the true regression function is monotone with respect to (all or some of) the running variables and assumed to lie in a Lipschitz smoothness class. Such a monotonicity condition is natural in many empirical contexts, and the Lipschitz constant has an intuitive interpretation. We propose a minimax two-sided confidence interval (CI) and an adaptive one-sided CI. For the two-sided CI, the researcher is required to choose a Lipschitz constant where she believes the true regression function to lie in. This is the only tuning parameter, and the resulting CI has uniform coverage and obtains the minimax optimal length. The one-sided CI can be constructed to maintain coverage over all monotone functions, providing maximum credibility in terms of the choice of the Lipschitz constant. Moreover, the monotonicity makes it possible for the (excess) length of the CI to adapt to the true Lipschitz constant of the unknown regression function. Overall, the proposed procedures make it easy to see under what conditions on the underlying regression function the given estimates are significant, which can add more transparency to research using RDD methods.


title: Practical PV energy harvesting under real indoor lighting conditions

abstract: Indoor light is known to be a new energy source to power uW low consumption wireless sensor networks (WSNs). For wireless electronic devices that consume tens of mW, it is still challenging to harvest this amount of power in a low light indoor environment. The challenge comes from the fact that the irradiance is low, as well the fact that the source is a multi-spectral direct, reflective, and scattered mix of artificial and natural light, with intensity and composition varying in time. This article describes a method providing an evaluation of the potentially harvestable energy in real light environments. Measurements of indoor light spectral composition in real condition and optoelectrical characteristics of photovoltaic converters in a controlled environment are base on the method s calculation model. Real harvester prototypes based on GaAs commercial photovoltaic cells and power management integrated circuit, powering a commercial wireless e-ink display, have been conceived to compare with the model calculations. For two days of experimentation, model calculations achieve a mean absolute percentage error (MAPE) of 2 percents and 6 percents for Day 1 and Day 2, respectively. A method within this accuracy range would be a helpful tool to assist in designing light energy harvesting systems in such ways that they can be best tailored to the indoor lighting conditions to which they will be exposed.


title: FaceGuard: A Self-Supervised Defense Against Adversarial Face Images

abstract: Prevailing defense mechanisms against adversarial face images tend to overfit to the adversarial perturbations in the training set and fail to generalize to unseen adversarial attacks. We propose a new self-supervised adversarial defense framework, namely FaceGuard, that can automatically detect, localize, and purify a wide variety of adversarial faces without utilizing pre-computed adversarial training samples. During training, FaceGuard automatically synthesizes challenging and diverse adversarial attacks, enabling a classifier to learn to distinguish them from real faces and a purifier attempts to remove the adversarial perturbations in the image space. Experimental results on LFW dataset show that FaceGuard can achieve 99.81% detection accuracy on six unseen adversarial attack types. In addition, the proposed method can enhance the face recognition performance of ArcFace from 34.27% TAR @ 0.1% FAR under no defense to 77.46% TAR @ 0.1% FAR.


title: Adaptive Inference in Multivariate Nonparametric Regression Models Under Monotonicity

abstract: We consider the problem of adaptive inference on a regression function at a point under a multivariate nonparametric regression setting. The regression function belongs to a H\"older class and is assumed to be monotone with respect to some or all of the arguments. We derive the minimax rate of convergence for confidence intervals (CIs) that adapt to the underlying smoothness, and provide an adaptive inference procedure that obtains this minimax rate. The procedure differs from that of Cai and Low (2004), intended to yield shorter CIs under practically relevant specifications. The proposed method applies to general linear functionals of the regression function, and is shown to have favorable performance compared to existing inference procedures.


title: Machine Intelligent Techniques for Ramp Event Prediction in Offshore and Onshore Wind Farms

abstract: Globally, wind energy has lessened the burden on conventional fossil fuel based power generation. Wind resource assessment for onshore and offshore wind farms aids in accurate forecasting and analyzing nature of ramp events. From an industrial point of view, a large ramp event in a short time duration is likely to cause damage to the wind farm connected to the utility grid. In this manuscript, ramp events are predicted using hybrid machine intelligent techniques such as Support vector regression (SVR) and its variants, random forest regression and gradient boosted machines for onshore and offshore wind farm sites. Wavelet transform based signal processing technique is used to extract features from wind speed. Results reveal that SVR based prediction models gives the best forecasting performance out of all models. In addition, gradient boosted machines (GBM) predicts ramp events closer to Twin support vector regression (TSVR) model. Furthermore, the randomness in ramp power is evaluated for onshore and offshore wind farms by calculating log energy entropy of features obtained from wavelet decomposition and empirical model decomposition.


title: Neutrino cooling effect of primordial hot areas in dependence on its size

abstract: We consider the temperature dynamics of hypothetical primordial hot areas in the Universe. Such areas can be produced by the primordial density inhomogeneities and can survive to the modern era, in particular due to primordial black hole (PBH) cluster of size $R \gtrsim 1$ pc and more. Here we concentrate on the neutrino cooling effect which is realized due to reactions of weak $p\leftrightarrow n$ transitions and $e^{\pm}$ annihilation. The given neutrino cooling mechanism is found to work in a wide range of parameters. For those parameters typical for PBH cluster considered, the cooling mechanism is quite valuable for the temperatures $T \gtrsim 3$ MeV.


title: The Brown measure of unbounded variables with free semicircular imaginary part

abstract: Let $x_0$ be an unbounded self-adjoint operator such that the Brown measure of $x_0$ exists in the sense of Haagerup and Schultz. Also let $\tilde\sigma_\alpha$ and $\sigma_\beta$ be semicircular variables with variances $\alpha\geq 0$ and $\beta>0$ respectively. Suppose $x_0$, $\sigma_\alpha$, and $\tilde\sigma_\beta$ are all freely independent. We compute the Brown measure of $x_0+\tilde\sigma_\alpha+i\sigma_\beta$, extending the recent work which assume $x_0$ is a bounded self-adjoint random variable. We use the PDE method introduced by Driver, Hall and Kemp to compute the Brown measure. The computation of the PDE relies on a charaterization of the class of operators where the Brown measure exists. The Brown measure in this unbounded case has the same structure as in the bounded case; it has connections to the free convolution $x_0+\sigma_{\alpha+\beta}$. We also compute the example where $x_0$ is Cauchy-distributed.


title: Soft x-ray detection for small satellites with a commercial CMOS sensor at room temperature

abstract: Recently CMOS (complementary metal-oxide semiconductor) sensors have progressed to a point where they may offer improved performance in imaging x-ray detection compared to the CCDs often used in x-ray satellites. We demonstrate x-ray detection in the soft x-ray band (250-1700 eV) by a commercially available back-illuminated Sony IMX290LLR CMOS sensor using the Advanced Photon Source at the Argonne National Laboratory. While operating the device at room temperature, we measure energy resolutions (FWHM) of 48 eV at 250 eV and 83 eV at 1700 eV which are comparable to the performance of the Chandra ACIS and the Suzaku XIS. Furthermore, we demonstrate that the IMX290LLR can withstand radiation up to 17.1 krad, making it suitable for use on spacecraft in low earth orbit.


title: Cyberbiosecurity: DNA Injection Attack in Synthetic Biology

abstract: Today arbitrary synthetic DNA can be ordered online and delivered within several days. In order to regulate both intentional and unintentional generation of dangerous substances, most synthetic gene providers screen DNA orders. A weakness in the Screening Framework Guidance for Providers of Synthetic Double-Stranded DNA allows screening protocols based on this guidance to be circumvented using a generic obfuscation procedure inspired by early malware obfuscation techniques. Furthermore, accessibility and automation of the synthetic gene engineering workflow, combined with insufficient cybersecurity controls, allow malware to interfere with biological processes within the victim's lab, closing the loop with the possibility of an exploit written into a DNA molecule presented by Ney et al. in USENIX Security'17. Here we present an end-to-end cyberbiological attack, in which unwitting biologists may be tricked into generating dangerous substances within their labs. Consequently, despite common biosecurity assumptions, the attacker does not need to have physical contact with the generated substance. The most challenging part of the attack, decoding of the obfuscated DNA, is executed within living cells while using primitive biological operations commonly employed by biologists during in-vivo gene editing. This attack scenario underlines the need to harden the synthetic DNA supply chain with protections against cyberbiological threats. To address these threats we propose an improved screening protocol that takes into account in-vivo gene editing.


title: A fundamental theorem of powerful set-valued for F-rough ring

abstract: In this paper, we introduce the upper and lower approximations on the invers set-valued mapping and the approximations an established on a powerful set valued homomorphism from a ring R1 to power sets of a ring R2. Moreover, the properties of lower and upper approximations of a powerful set valued are studies. In addition, we will give a proof of the theorem of isomorphism over approximations F-rough ring as new result. However, we will prove the kernel of the powerful set-valued homomorphism is a subring of R1. Our result is introduce the first isomorphism theorem of ring as generalized the concept of the set valued mappings.


title: On vanishing near corners of conductive transmission eigenfunctions

abstract: In this paper, we consider the transmission eigenvalue problem associated with a general conductive transmission condition and study the geometric structures of the transmission eigenfunctions. We prove that under a mild regularity condition in terms of the Herglotz approximations of one of the pair of the transmission eigenfunctions, the eigenfunctions must be vanishing around a corner on the boundary. The Herglotz approximation can be regarded as the Fourier transform of the transmission eigenfunction in terms of the plane waves, and the growth rate of the transformed function can be used to characterize the regularity of the underlying wave function. The geometric structures derived in this paper include the related results in [5,19] as special cases and verify that the vanishing around corners is a generic local geometric property of the transmission eigenfunctions.


title: PCPs: Patient Cardiac Prototypes

abstract: Many clinical deep learning algorithms are population-based and difficult to interpret. Such properties limit their clinical utility as population-based findings may not generalize to individual patients and physicians are reluctant to incorporate opaque models into their clinical workflow. To overcome these obstacles, we propose to learn patient-specific embeddings, entitled patient cardiac prototypes (PCPs), that efficiently summarize the cardiac state of the patient. To do so, we attract representations of multiple cardiac signals from the same patient to the corresponding PCP via supervised contrastive learning. We show that the utility of PCPs is multifold. First, they allow for the discovery of similar patients both within and across datasets. Second, such similarity can be leveraged in conjunction with a hypernetwork to generate patient-specific parameters, and in turn, patient-specific diagnoses. Third, we find that PCPs act as a compact substitute for the original dataset, allowing for dataset distillation.


title: Simultaneous recovery of surface heat flux and thickness of a solid structure by ultrasonic measurements

abstract: This paper is concerned with a practical inverse problem of simultaneously reconstructing the surface heat flux and the thickness of a solid structure from the associated ultrasonic measurements. In a thermoacoustic coupling model, the thermal boundary condition and the thickness of a solid structure are both unknown, while the measurements of the propagation time by ultrasonic sensors are given. We reformulate the inverse problem as a PDE-constrained optimization problem by constructing a proper objective functional. We then develop an alternating iteration scheme which combines the conjugate gradient method and the deepest decent method to solve the optimization problem. Rigorous convergence analysis is provided for the proposed numerical scheme. By using experimental real data from the lab, we conduct extensive numerical experiments to verify several promising features of the newly developed method.


title: Deep Learning for Regularization Prediction in Diffeomorphic Image Registration

abstract: This paper presents a predictive model for estimating regularization parameters of diffeomorphic image registration. We introduce a novel framework that automatically determines the parameters controlling the smoothness of diffeomorphic transformations. Our method significantly reduces the effort of parameter tuning, which is time and labor-consuming. To achieve the goal, we develop a predictive model based on deep convolutional neural networks (CNN) that learns the mapping between pairwise images and the regularization parameter of image registration. In contrast to previous methods that estimate such parameters in a high-dimensional image space, our model is built in an efficient bandlimited space with much lower dimensions. We demonstrate the effectiveness of our model on both 2D synthetic data and 3D real brain images. Experimental results show that our model not only predicts appropriate regularization parameters for image registration, but also improving the network training in terms of time and memory efficiency.


title: CROCS: Clustering and Retrieval of Cardiac Signals Based on Patient Disease Class, Sex, and Age

abstract: The process of manually searching for relevant instances in, and extracting information from, clinical databases underpin a multitude of clinical tasks. Such tasks include disease diagnosis, clinical trial recruitment, and continuing medical education. This manual search-and-extract process, however, has been hampered by the growth of large-scale clinical databases and the increased prevalence of unlabelled instances. To address this challenge, we propose a supervised contrastive learning framework, CROCS, where representations of cardiac signals associated with a set of patient-specific attributes (e.g., disease class, sex, age) are attracted to learnable embeddings entitled clinical prototypes. We exploit such prototypes for both the clustering and retrieval of unlabelled cardiac signals based on multiple patient attributes. We show that CROCS outperforms the state-of-the-art method, DTC, when clustering and also retrieves relevant cardiac signals from a large database. We also show that clinical prototypes adopt a semantically meaningful arrangement based on patient attributes and thus confer a high degree of interpretability.


title: The Vaccine Supply Chain: A Call for Resilience Analytics to Support COVID-19 Vaccine Production and Distribution

abstract: The COVID19 pandemic has highlighted the lack of resilience in supply chains, as global networks fail from disruptions at single nodes and connections. Through an overview of the existing vaccine and pharmaceutical supply chain publications focusing on resilience, as well as recent papers reporting modeling of resilience in supply chains across multiple fields, we find that models for supply chain resilience are few and most of them are focused on individual dimensions of resilience rather than on comprehensive strategy necessary for scaling up vaccine production and distribution in emergency settings. We find that COVID19 resulted in a wave of interest to supply chain resilience, but publications from 2020 are narrow in focus and largely qualitative in nature; evidence-based models and measures are rare. Further, publications often focus exclusively on specific portions of the specific supply chain of interest, excluding associated supporting networks, such as transportation, social and command and control (C2) necessary for vaccine production and equitable distribution. This lack of network analysis is a major gap in the literature that needs to be bridged in order to create methods of real-time analysis and decision tools for the COVID19 vaccine supply chain. We conclude that a comprehensive, quantitative approach to network resilience that encompasses the supply chain in the context of other social and physical networks is needed in order to address the emerging challenges of a large-scale COVID-19 vaccination program. We further find that the COVID-19 pandemic underscores the necessity of positioning supply chain resilience within a multi-network context and formally incorporating temporal dimensions into analysis through the NAS definition of resilience, plan, absorb, recover, adapt, to ensure essential needs are met across all dimensions of society.


title: Space vectors forming rational angles

abstract: We classify all sets of nonzero vectors in $\mathbb{R}^3$ such that the angle formed by each pair is a rational multiple of $\pi$. The special case of four-element subsets lets us classify all tetrahedra whose dihedral angles are multiples of $\pi$, solving a 1976 problem of Conway and Jones: there are $2$ one-parameter families and $59$ sporadic tetrahedra, all but three of which are related to either the icosidodecahedron or the $B_3$ root lattice. The proof requires the solution in roots of unity of a $W(D_6)$-symmetric polynomial equation with $105$ monomials (the previous record was $12$ monomials).


title: Value-based optimization of healthcare resource allocation for COVID-19 hot spots

abstract: With the emerging COVID-19 crisis, a critical task for public health officials and policy makers is to decide how to prioritize, locate, and allocate scarce resources. To answer these questions, decision makers need to be able to determine the location of the required resources over time based on emerging hot spot locations. Hot spots are defined as concentrated areas with sharp increases in COVID19 cases. Hot spots place stress on existing healthcare resources, resulting in demand for resources potentially exceeding current capacity. This research will describe a value based resource allocation approach that seeks to coordinate demand, as defined by uncertain epidemiological forecasts, with the value of adding additional resources such as hospital beds. Value is framed as a function of the expected usage of a marginal resource (bed, ventilator, etc). Subject to certain constraints, allocation decisions are operationalized using a nonlinear programming model, allocating new hospital beds over time and across a number of geographical locations. The results of the research show a need for a value based approach to assist decision makers at all levels in making the best possible decisions in the current highly uncertain and dynamic COVID environment.


title: The Tenfold Way

abstract: The tenfold way became important in physics around 2010: it implies that there are ten fundamentally different kinds of matter. But it goes back to 1964, when C. T. C. Wall classified real super division algebras. These are finite-dimensional real $\mathbb{Z}/2$-graded algebras where every nonzero homogeneous element is invertible. He found that besides $\mathbb{R}$, $\mathbb{C}$ and $\mathbb{H}$, which give purely even super division algebras, there are seven more. He also showed that these ten algebras are all real or complex Clifford algebras. The eight real ones represent all eight Morita equivalence classes of real Clifford algebras, and the two complex ones do the same for the complex Clifford algebras. The tenfold way thus unites real and complex Bott periodicity. In this expository article we give a quick proof that there are ten real super division algebras, and say a bit about applications of the tenfold way.


title: Refining Landauer's Stack: Balancing Error and Dissipation When Erasing Information

abstract: Nonequilibrium information thermodynamics determines the minimum energy dissipation to reliably erase memory under time-symmetric control protocols. We demonstrate that its bounds are tight and so show that the costs overwhelm those implied by Landauer's energy bound on information erasure. Moreover, in the limit of perfect computation, the costs diverge. The conclusion is that time-asymmetric protocols should be developed for efficient, accurate thermodynamic computing. And, that Landauer's Stack -- the full suite of theoretically-predicted thermodynamic costs -- is ready for experimental test and calibration.

categories: cond-mat.stat-mech cs.ET math.DS nlin.CD


title: A Smoluchowski-Kramers approximation for an infinite dimensional system with state-dependent damping

abstract: We study the validity of a Smoluchowski-Kramers approximation for a class of wave equations in a bounded domain of $\mathbb{R}^n$ subject to a state-dependent damping and perturbed by a multiplicative noise. We prove that in the small mass limit the solution converges to the solution of a stochastic quasilinear parabolic equation where a noise-induced extra drift is created.


title: Flat bands, strains, and charge distribution in twisted-bilayer hBN

abstract: We study the effect of twisting on bilayer graphene. The effect of lattice relaxation is included; we look at the electronic structure, piezo-electric charges and spontaneous polarisation. We show that the electronic structure without lattice relaxation shows a set of extremely flat in-gap states similar to Landau-levels, where the spacing scales with twist angle. With lattice relaxation we still have flat bands, but now the spectrum becomes independent of twist angle for sufficiently small angles. We describe in detail the nature of the bands, and study appropriate continuum models, at the same time explaining the spectrum We find that even though the spectra for both parallel an anti-parallel alignment are very similar, the spontaneous polarisation effects only occur for parallel alignment. We argue that this suggests a large interlayer hopping between boron and nitrogen.


title: Approximate Cross-validated Mean Estimates for Bayesian Hierarchical Regression Models

abstract: We introduce a novel procedure for obtaining cross-validated predictive estimates for Bayesian hierarchical regression models (BHRMs). Bayesian hierarchical models are popular for their ability to model complex dependence structures and provide probabilistic uncertainty estimates, but can be computationally expensive to run. Cross-validation (CV) is therefore not a common practice to evaluate the predictive performance of BHRMs. Our method circumvents the need to re-run computationally costly estimation methods for each cross-validation fold and makes CV more feasible for large BHRMs. By conditioning on the variance-covariance parameters, we shift the CV problem from probability-based sampling to a simple and familiar optimization problem. In many cases, this produces estimates which are equivalent to full CV. We provide theoretical results and demonstrate its efficacy on publicly available data and in simulations.


title: Phase transitions in four-dimensional AdS black holes with a nonlinear electrodynamics source

abstract: In this work we consider black hole solutions to Einstein theory coupled to a nonlinear power-law electromagnetic field with a fixed exponent value. We study the extended phase space thermodynamics in canonical and grand canonical ensembles where the varying cosmological constant plays the role of an effective thermodynamic pressure. We examine thermodynamical phase transitions in such black hols and find that both first and second order phase transitions can occur in the canonical ensemble, while for the grand canonical ensemble the Hawking-Page and second order phase transitions are allowed.


title: HEDRA: A Bio-Inspired Modular Tensegrity Soft Robot With Polyhedral Parallel Modules

abstract: There is a surge of research interest in the field of tensegrity robotics. Robots developed under this paradigm provide many advantages and have distinguishing features in terms of structural compliance, dexterity, safety, and weight reduction. This paper proposes a new robotic mechanism based on tensegrity ('tension-integrity') robots and reconfigurable modular robots. The specific actuation schemes for this tensegrity robot with multiple degrees of freedom are presented. This article describes an easy-to-assemble 350 mm tensegrity based robot prototype by stacking a series of rigid struts linked with tensegrity joints that have no direct rigid contact with each other. The functionality of the proposed robot is validated by the experimental results by integrating the polyhedral parallel structure as its skeleton and series of tensegrity joints. The proposed manipulator is capable of reaching bending angles up to 76 degrees. An adaptive cable driven underactuated robotic gripper is designed and attached to the tensegrity manipulator for grasping objects in different shapes, weights, and sizes.


title: Computationally repurposed drugs and natural products against RNA dependent RNA polymerase as potential COVID-19 therapies

abstract: For fast development of COVID-19, it is only feasible to use drugs (off label use) or approved natural products that are already registered or been assessed for safety in previous human trials. These agents can be quickly assessed in COVID-19 patients, as their safety and pharmacokinetics should already be well understood. Computational methods offer promise for rapidly screening such products for potential SARS-CoV-2 activity by predicting and ranking the affinities of these compounds for specific virus protein targets. The RNA-dependent RNA polymerase (RdRP) is a promising target for SARS-CoV-2 drug development given it has no human homologs making RdRP inhibitors potentially safer, with fewer off-target effects that drugs targeting other viral proteins. We combined robust Vina docking on RdRP with molecular dynamic (MD) simulation of the top 80 identified drug candidates to yield a list of the most promising RdRP inhibitors. Literature reviews revealed that many of the predicted inhibitors had been shown to have activity in in vitro assays or had been predicted by other groups to have activity. The novel hits revealed by our screen can now be conveniently tested for activity in RdRP inhibition assays and if conformed testing for antiviral activity invitro before being tested in human trials


title: Propagators in the Correlated Worldline Theory of Quantum Gravity

abstract: Starting from a formulation of Correlated Worldline (CWL) theory in terms of functional integrals over paths, we define propagators for particles and matter fields in this theory. We show that the most natural formulation of CWL theory involves a rescaling of the generating functional for the theory; correlation functions then simplify, and all loops containing gravitons disappear from perturbative expansions. The spacetime metric obeys the Einstein equation, sourced by all of the interacting CWL paths. The matter paths are correlated by gravitation, thereby violating quantum mechanics for large masses. We derive exact results for the generating functional and the matter propagator, and for linearized weak field theory. For the example of a two-path experiment, we derive the CWL matter propagator, and show how the results compare with conventional quantum theory and with semiclassical gravity. We also exhibit the structure of low-order perturbation theory for the CWL matter propagator.


title: Srifty: Swift and Thrifty Distributed Training on the Cloud

abstract: Finding the best VM configuration is key to achieve lower cost and higher throughput, two primary concerns in cloud-based distributed neural network (NN) training today. Optimal VM selection that meets user constraints requires efficiently navigating a large search space while controlling for the performance variance associated with sharing cloud instances and networks. In this work, we characterize this variance in the context of distributed NN training and present results of a comprehensive throughput and cost-efficiency study we conducted across a wide array of instances to prune for the optimal VM search space. Using insights from these studies, we built Srifty, a system that combines runtime profiling with learned performance models to accurately predict training performance and find the best VM choice that satisfies user constraints, potentially leveraging both heterogeneous setups and spot instances. We integrated Srifty with PyTorch and evaluated it on Amazon EC2. We conducted a large-scale generalization study of Srifty across more than 2K training setups on EC2. Our results show that Srifty achieves an iteration latency prediction error of 8%, and its VM instance recommendations offer significant throughput gain and cost reduction while satisfying user constraints compared to existing solutions in complex, real-world scenarios.


title: Latent Template Induction with Gumbel-CRFs

abstract: Learning to control the structure of sentences is a challenging problem in text generation. Existing work either relies on simple deterministic approaches or RL-based hard structures. We explore the use of structured variational autoencoders to infer latent templates for sentence generation using a soft, continuous relaxation in order to utilize reparameterization for training. Specifically, we propose a Gumbel-CRF, a continuous relaxation of the CRF sampling algorithm using a relaxed Forward-Filtering Backward-Sampling (FFBS) approach. As a reparameterized gradient estimator, the Gumbel-CRF gives more stable gradients than score-function based estimators. As a structured inference network, we show that it learns interpretable templates during training, which allows us to control the decoder during testing. We demonstrate the effectiveness of our methods with experiments on data-to-text generation and unsupervised paraphrase generation.


title: Dynamical generation of solitons in one-dimensional Fermi superfluids with and without spin-orbit coupling

abstract: We theoretically generalize a systematic language to describe the phase-imprinting technique to investigate the dynamical generation of solitons in a one-dimensional Raman-type spin-orbit-coupled Fermi superfluid. We check our method with the simulation of time-dependent Bogoliubov-de Gennes equations and find that our method not only can generate stable dark and even gray solitons in a conventional Fermi superfluid by controlling the transferred phase jump but also is feasible to create a stable dark soliton in both BCS and topological states of a spin-orbit-coupled Fermi superfluid. We also discuss the physical implication of our method.


title: Monte Carlo Tree Search for a single target search game on a 2-D lattice

abstract: Monte Carlo Tree Search (MCTS) is a branch of stochastic modeling that utilizes decision trees for optimization, mostly applied to artificial intelligence (AI) game players. This project imagines a game in which an AI player searches for a stationary target within a 2-D lattice. We analyze its behavior with different target distributions and compare its efficiency to the Levy Flight Search, a model for animal foraging behavior. In addition to simulated data analysis we prove two theorems about the convergence of MCTS when computation constraints neglected.


title: Convergence of Rain Process Models to Point Processes

abstract: A moisture process with dynamics that switch after hitting a threshold gives rise to a rainfall process. This rainfall process is characterized by its random holding times for dry and wet periods. On average, the holding times for the wet periods are much shorter than the dry. Here convergence is shown for the rain fall process to a point process that is a spike train. The underlying moisture process for the point process is a threshold model with a teleporting boundary condition. This approximation allows simplification of the model with many exact formulas for statistics. The convergence is shown by a Fokker-Planck derivation, convergence in mean-square with respect to continuous functions, of the moisture process, and convergence in mean-square with respect to generalized functions, of the rain process.


title: The $\mathbb F_p$-Selberg Integral

abstract: We prove an $\mathbb F_p$-Selberg integral formula, in which the $\mathbb F_p$-Selberg integral is an element of the finite field $\mathbb F_p$ with odd prime number $p$ of elements. The formula is motivated by analogy between multidimensional hypergeometric solutions of the KZ equations and polynomial solutions of the same equations reduced modulo $p$.


title: Reconstruction Condition of Quantized Signals in Unlimited Sampling Framework

abstract: The latest theoretical advances in the field of unlimited sampling framework (USF) show the potential to avoid clipping problems of analog-to-digital converters (ADC). To date, most of the related works have focused on real-valued modulo samples, but little has been reported about the impact of quantization. In this paper, we study more practical USF system where modulo samples are quantized to a finite number of bits. In particular, we present a new requirement about the lower bound of sampling rate to ensure exact recovery of original signals from quantized modulo samples. The minimum sampling rate is jointly determined by signal bandwidth and quantization bits. Numerical results show that in the presence of quantization noise, signals with different waveforms and bandwidths are recovered perfectly at the new minimum sampling rate while the recovery fails at minimum sampling rate before modification, which also verifies the correctness of the theory. The trade-offs of sampling rates, quantization bits and computational complexity of recovery algorithm are also given for practitioners to weigh.


title: Adaptive pseudo-time methods for the Poisson-Boltzmann equation with Eulerian solvent excluded surface

abstract: This work further improves the pseudo-transient approach for the Poisson Boltzmann equation (PBE) in the electrostatic analysis of solvated biomolecules. The numerical solution of the nonlinear PBE is known to involve many difficulties, such as exponential nonlinear term, strong singularity by the source terms, and complex dielectric interface. Recently, a pseudo-time ghost-fluid method (GFM) has been developed in [S. Ahmed Ullah and S. Zhao, Applied Mathematics and Computation, 380, 125267, (2020)], by analytically handling both nonlinearity and singular sources. The GFM interface treatment not only captures the discontinuity in the regularized potential and its flux across the molecular surface, but also guarantees the stability and efficiency of the time integration. However, the molecular surface definition based on the MSMS package is known to induce instability in some cases, and a nontrivial Lagrangian-to-Eulerian conversion is indispensable for the GFM finite difference discretization. In this paper, an Eulerian Solvent Excluded Surface (ESES) is implemented to replace the MSMS for defining the dielectric interface. The electrostatic analysis shows that the ESES free energy is more accurate than that of the MSMS, while being free of instability issues. Moreover, this work explores, for the first time in the PBE literature, adaptive time integration techniques for the pseudo-transient simulations. A major finding is that the time increment $\Delta t$ should become smaller as the time increases, in order to maintain the temporal accuracy. This is opposite to the common practice for the steady state convergence, and is believed to be due to the PBE nonlinearity and its time splitting treatment. Effective adaptive schemes have been constructed so that the pseudo-time GFM methods become more efficient than the constant $\Delta t$ ones.


title: Importance Weight Estimation and Generalization in Domain Adaptation under Label Shift

abstract: We study generalization under labeled shift for categorical and general normed label spaces. We propose a series of methods to estimate the importance weights from labeled source to unlabeled target domain and provide confidence bounds for these estimators. We deploy these estimators and provide generalization bounds in the unlabeled target domain.


title: Old and new applications of Katona's circle

abstract: Several new applications of Katona's circle are given.


title: PBW theory for quantum affine algebras

abstract: Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of arbitrary type and let $\mathcal{C}_{\mathfrak{g}}$ be Hernandez-Leclerc's category. We can associate the quantum affine Schur-Weyl duality functor $F_D$ to a duality datum $D$ in $\mathcal{C}_{\mathfrak{g}}$. We introduce the notion of a strong (complete) duality datum $D$ and prove that, when $D$ is strong, the induced duality functor $F_D$ sends simple modules to simple modules and preserves the invariants $\Lambda$ and $\Lambda^\infty$ introduced by the authors. We next define the reflections $\mathcal{S}_k$ and $\mathcal{S}^{-1}_k$ acting on strong duality data $D$. We prove that if $D$ is a strong (resp.\ complete) duality datum, then $\mathcal{S}_k(D)$ and $\mathcal{S}_k^{-1}(D)$ are also strong (resp.\ complete ) duality data. We finally introduce the notion of affine cuspidal modules in $\mathcal{C}_{\mathfrak{g}}$ by using the duality functor $F_D$, and develop the cuspidal module theory for quantum affine algebras similarly to the quiver Hecke algebra case.


title: The Awakening Beast in the Seyfert 1 Galaxy KUG 1141+371 I

abstract: KUG 1141+371 is a Seyfert 1 galaxy that shows a simultaneous flux increase in the optical and UV bands in the past decade. For instance, the latest Swift observation in 2019 shows that the UVW2 flux of the AGN in KUG 1141+371 has increased by over one order of magnitude since 2009. Meanwhile, the soft X-ray flux of KUG 1141+371 also shows a steady increase by one order of magnitude since 2007. The significant multi-wavelength luminosity change is likely due to a boost of mass accretion rate from approximately 0.6% of the Eddington limit to 3.2%, assuming a black hole mass of $10^{8}M_{\odot}$. In this work, we conduct detailed multi-epoch X-ray spectral analysis focusing on the variability of the X-ray continuum emission and the puzzling soft excess emission. In addition, our SED models also suggest a simultaneous increase of disc temperature and a decreasing inner disc radius along with the increasing accretion rate. Finally, we discuss possible connection between KUG 1141+371 and black hole transients in outburst.


title: Optimal vaccination program for two infectious diseases with cross immunity

abstract: There are often multiple diseases with cross immunity competing for vaccination resources. Here we investigate the optimal vaccination program in a two-layer Susceptible-Infected-Removed (SIR) model, where two diseases with cross immunity spread in the same population, and vaccines for both diseases are available. We identify three scenarios of the optimal vaccination program, which prevents the outbreaks of both diseases at the minimum cost. We analytically derive a criterion to specify the optimal program based on the costs for different vaccines.


title: Pressure Dependent Electronic Structure in CeRh$_6$Ge$_4$

abstract: Using the state-of-art dynamical mean-field theory combined with density functional theory method, we have performed systematic study on the temperature and pressure dependent electronic structure of ferromagnetic quantum critical material candidate CeRh$_6$Ge$_4$. At -3.9 GPa and -8.3 GPa, the Ce-4$f$ occupation variation, the local magnetic susceptibility, and the low-frequency electronic self-energy behaviors suggest the Ce-4$f$ electrons are in the localized state; whereas at 6.5 GPa and 13.1 GPa, these quantities indicate the Ce-4$f$ electrons are in the itinerant state. The characteristic temperatures associated with the coherent Kondo screening is gradually suppressed to 0 around 0.8 GPa upon releasing external pressure, indicative of a local quantum critical point. Interestingly, the momentum-resolved spectrum function shows that even at the localized state side, highly anisotropic $\mathbf{k}$-dependent hybridization between Ce-4$f$ and conduction electrons is still present along $\Gamma$-A, causing hybridization gap in between. The calculations predict 8 Fermi surface sheets at the local-moment side and 6 sheets at the Kondo coherent state. Finally, the self-energy at 0.8 GPa can be well fitted by marginal Fermi-liquid form, giving rise to a linearly temperature dependent resistivity.


title: A criterion for transitivity of area preserving partially hyperbolic endomorphism on torus

abstract: We propose a criterion, referred to as order-n transversality, for transitivity of area preserving partially hyperbolic endomorphisms. Besides, we also give a further answer to the Gan's problem, as proposed in the work of Baolin He.


title: Interpolating between multi-boundary wormholes and single-boundary geometries in holography

abstract: The recent paper 1809.01197 described how states of a holographic CFT can be approximated by states of a large collection of non-interacting BCFTs, such that the dual of the new system accurately approximates an arbitrarily large causal patch of the original geometry. In this paper, we first describe in more detail the geometries dual to such discrete BCFT systems, emphasizing that they are multi-boundary wormholes in which it is not possible to move causally between different asymptotic regions. By reintroducing couplings between the BCFTs in various ways, we show that the wormholes can be made traversable, giving an intermediate class of geometries that interpolate between the multi-boundary wormhole and the original geometry that it approximates.


title: Artificial Intelligence applied to chest X-Ray images for the automatic detection of COVID-19. A thoughtful evaluation approach

abstract: Current standard protocols used in the clinic for diagnosing COVID-19 include molecular or antigen tests, generally complemented by a plain chest X-Ray. The combined analysis aims to reduce the significant number of false negatives of these tests, but also to provide complementary evidence about the presence and severity of the disease. However, the procedure is not free of errors, and the interpretation of the chest X-Ray is only restricted to radiologists due to its complexity. With the long term goal to provide new evidence for the diagnosis, this paper presents an evaluation of different methods based on a deep neural network. These are the first steps to develop an automatic COVID-19 diagnosis tool using chest X-Ray images, that would additionally differentiate between controls, pneumonia or COVID-19 groups. The paper describes the process followed to train a Convolutional Neural Network with a dataset of more than 79,500 X-Ray images compiled from different sources, including more than 8,500 COVID-19 examples. For the sake of evaluation and comparison of the models developed, three different experiments were carried out following three preprocessing schemes. The aim is to evaluate how preprocessing the data affects the results and improves its explainability. Likewise, a critical analysis is carried out about different variability issues that might compromise the system and the effects on the performance. With the employed methodology, a 91.5% classification accuracy is obtained, with a 87.4% average recall for the worst but most explainable experiment, which requires a previous automatic segmentation of the lungs region.