title: Towards human-interpretable, automated learning of feedback control for the mixing layer

abstract: We propose an automated analysis of the flow control behaviour from an ensemble of control laws and associated time-resolved flow snapshots. The input may be the rich data base of machine learning control (MLC) optimizing a feedback law for a cost function in the plant. The proposed methodology provides (1) insights into control landscape which maps control laws to performance including extrema and ridge-lines, (2) a catalogue of representative flow states and their contribution to cost function for investigated control laws and (3) a visualization of the dynamics. Key enablers are classification and feature extraction methods of machine learning. The analysis is successfully applied to the stabilization of a mixing layer with sensor-based feedback driving an upstream actuator. The fluctuation energy is reduced by 26\%. The control replaces unforced Kelvin-Helmholtz vortices with subsequent vortex pairing by higher-frequency Kelvin-Helmholtz structures of lower energy. These efforts target a human interpretable, fully automated analysis of MLC identifying qualitatively different actuation regimes, distilling corresponding coherent structures, and developing a digital twin of the plant.


title: GRAFFL: Gradient-free Federated Learning of a Bayesian Generative Model

abstract: Federated learning platforms are gaining popularity. One of the major benefits is to mitigate the privacy risks as the learning of algorithms can be achieved without collecting or sharing data. While federated learning (i.e., many based on stochastic gradient algorithms) has shown great promise, there are still many challenging problems in protecting privacy, especially during the process of gradients update and exchange. This paper presents the first gradient-free federated learning framework called GRAFFL for learning a Bayesian generative model based on approximate Bayesian computation. Unlike conventional federated learning algorithms based on gradients, our framework does not require to disassemble a model (i.e., to linear components) or to perturb data (or encryption of data for aggregation) to preserve privacy. Instead, this framework uses implicit information derived from each participating institution to learn posterior distributions of parameters. The implicit information is summary statistics derived from SuffiAE that is a neural network developed in this study to create compressed and linearly separable representations thereby protecting sensitive information from leakage. As a sufficient dimensionality reduction technique, this is proved to provide sufficient summary statistics. We propose the GRAFFL-based Bayesian Gaussian mixture model to serve as a proof-of-concept of the framework. Using several datasets, we demonstrated the feasibility and usefulness of our model in terms of privacy protection and prediction performance (i.e., close to an ideal setting). The trained model as a quasi-global model can generate informative samples involving information from other institutions and enhances data analysis of each institution.


title: Computing low-rank approximations of the Fr\'echet derivative of a matrix function using Krylov subspace methods

abstract: The Fr\'echet derivative $L_f(A,E)$ of the matrix function $f(A)$ plays an important role in many different applications, including condition number estimation and network analysis. We present several different Krylov subspace methods for computing low-rank approximations of $L_f(A,E)$ when the direction term $E$ is of rank one (which can easily be extended to general low-rank). We analyze the convergence of the resulting method for the important special case that $A$ is Hermitian and $f$ is either the exponential, the logarithm or a Stieltjes function. In a number of numerical tests, both including matrices from benchmark collections and from real-world applications, we demonstrate and compare the accuracy and efficiency of the proposed methods.


title: Broadcasted Nonparametric Tensor Regression

abstract: We propose a novel use of a broadcasting operation, which distributes univariate functions to all entries of the tensor covariate, to model the nonlinearity in tensor regression nonparametrically. A penalized estimation and the corresponding algorithm are proposed. Our theoretical investigation, which allows the dimensions of the tensor covariate to diverge, indicates that the proposed estimation yields a desirable convergence rate. We also provide a minimax lower bound, which characterizes the optimality of the proposed estimator for a wide range of scenarios. Numerical experiments are conducted to confirm the theoretical findings, and they show that the proposed model has advantages over its existing linear counterparts.


title: The Double Exponential Runtime is Tight for 2-Stage Stochastic ILPs

abstract: We consider fundamental algorithmic number theoretic problems and their relation to a class of block structured Integer Linear Programs (ILPs) called $2$-stage stochastic. A $2$-stage stochastic ILP is an integer program of the form $\min \{c^T x \mid \mathcal{A} x = b, \ell \leq x \leq u, x \in \mathbb{Z}^{r + ns} \}$ where the constraint matrix $\mathcal{A} \in \mathbb{Z}^{nt \times r +ns}$ consists of $n$ matrices $A_i \in \mathbb{Z}^{t \times r}$ on the vertical line and $n$ matrices $B_i \in \mathbb{Z}^{t \times s}$ on the diagonal line aside. First, we show a stronger hardness result for a number theoretic problem called Quadratic Congruences where the objective is to compute a number $z \leq \gamma$ satisfying $z^2 \equiv \alpha \bmod \beta$ for given $\alpha, \beta, \gamma \in \mathbb{Z}$. This problem was proven to be NP-hard already in 1978 by Manders and Adleman. However, this hardness only applies for instances where the prime factorization of $\beta$ admits large multiplicities of each prime number. We circumvent this necessity proving that the problem remains NP-hard, even if each prime number only occurs constantly often. Then, using this new hardness result for the Quadratic Congruences problem, we prove a lower bound of $2^{2^{\delta(s+t)}} |I|^{O(1)}$ for some $\delta > 0$ for the running time of any algorithm solving $2$-stage stochastic ILPs assuming the Exponential Time Hypothesis (ETH). Here, $|I|$ is the encoding length of the instance. This result even holds if $r$, $||b||_{\infty}$, $||c||_{\infty}, ||\ell||_{\infty}$ and the largest absolute value $\Delta$ in the constraint matrix $\mathcal{A}$ are constant. This shows that the state-of-the-art algorithms are nearly tight. Further, it proves the suspicion that these ILPs are indeed harder to solve than the closely related $n$-fold ILPs where the contraint matrix is the transpose of $\mathcal A$.


title: Gauss sums, superoscillations and the Talbot carpet

abstract: We consider the evolution, for a time-dependent Schr\"odinger equation, of the so called Dirac comb. We show how this evolution allows us to recover explicitly (indeed optically) the values of the quadratic generalized Gauss sums. Moreover we use the phenomenon of superoscillatory sequences to prove that such Gauss sums can be asymptotically recovered from the values of the spectrum of any sufficiently regular function compactly supported on $\R$. The fundamental tool we use is the so called Galilean transform that was introduced and studied in the context on non-linear time dependent Schr\"odinger equations. Furthermore, we utilize this tool to understand in detail the evolution of an exponential $e^{i\omega x}$ in the case of a Schr\"odinger equation with time-independent periodic potential.


title: A Formal Security Analysis of the pEp Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email

abstract: To send encrypted emails, users typically need to create and exchange keys which later should be manually authenticated, for instance, by comparing long strings of characters. These tasks are cumbersome for the average user. To make more accessible the use of encrypted email, a secure email application named pEp automates the key management operations; pEp still requires the users to carry out the verification, however, the authentication process is simple: users have to compare familiar words instead of strings of random characters, then the application shows the users what level of trust they have achieved via colored visual indicators. Yet, users may not execute the authentication ceremony as intended, pEp's trust rating may be wrongly assigned, or both. To learn whether pEp's trust ratings (and the corresponding visual indicators) are assigned consistently, we present a formal security analysis of pEp's authentication ceremony. From the software implementation in C, we derive the specifications of an abstract protocol for public key distribution, encryption and trust establishment; then, we model the protocol in a variant of the applied pi calculus and later formally verify and validate specific privacy and authentication properties. We also discuss alternative research directions that could enrich the analysis.


title: Introduction to Numerical Relativity

abstract: Numerical Relativity is a multidisciplinary field including relativity, magneto-hydrodynamics, astrophysics and computational methods, among others, with the aim of solving numerically highly-dynamical, strong-gravity scenarios where no other approximations are available. Here we describe some of the foundations of the field, starting from the covariant Einstein equations and how to write them as a well-posed system of evolution equations, discussing the different formalisms, coordinate conditions and numerical methods commonly employed nowadays for the modeling of gravitational wave sources.


title: Gravitational-wave surrogate models powered by artificial neural networks: The ANN-Sur for waveform generation

abstract: Inferring the properties of black holes and neutron stars is a key science goal of gravitational-wave (GW) astronomy. To extract as much information as possible from GW observations we must develop methods to reduce the cost of Bayesian inference. In this paper, we use artificial neural networks (ANNs) and the parallelisation power of graphics processing units (GPUs) to improve the surrogate modelling method, which can produce accelerated versions of existing models. As a first application of our method, ANN-Sur, we build a time-domain surrogate model of the spin-aligned binary black hole (BBH) waveform model SEOBNRv4. We achieve median mismatches of 2e-5 and mismatches no worse than 2e-3. For a typical BBH waveform generated from 12 Hz with a total mass of $60 M_\odot$ the original SEOBNRv4 model takes 1812 ms. Existing bespoke code optimisations (SEOBNRv4opt) reduced this to 91.6 ms and the interpolation based, frequency-domain surrogate SEOBNRv4ROM can generate this waveform in 6.9 ms. Our ANN-Sur model, when run on a CPU takes 2.7 ms and just 0.4 ms when run on a GPU. ANN-Sur can also generate large batches of waveforms simultaneously. We find that batches of up to 10^4 waveforms can be evaluated on a GPU in just 163 ms, corresponding to a time per waveform of 0.016 ms. This method is a promising way to utilise the parallelisation power of GPUs to drastically increase the computational efficiency of Bayesian parameter estimation.


title: ClipFlip : Multi-view Clipart Design

abstract: We present an assistive system for clipart design by providing visual scaffolds from the unseen viewpoints. Inspired by the artists' creation process, our system constructs the visual scaffold by first synthesizing the reference 3D shape of the input clipart and rendering it from the desired viewpoint. The critical challenge of constructing this visual scaffold is to generate a reference 3Dshape that matches the user's expectation in terms of object sizing and positioning while preserving the geometric style of the input clipart. To address this challenge, we propose a user-assisted curve extrusion method to obtain the reference 3D shape.We render the synthesized reference 3D shape with consistent style into the visual scaffold. By following the generated visual scaffold, the users can efficiently design clipart with their desired viewpoints. The user study conducted by an intuitive user interface and our generated visual scaffold suggests that the users are able to design clipart from different viewpoints while preserving the original geometric style without losing its original shape.


title: Delta-doped \b{eta}-Ga2O3 Films With Low FWHM Charge Profile Grown By Metalorganic Vapor-Phase Epitaxy

abstract: We report on low-temperature MOVPE growth of silicon delta-doped \b{eta}-Ga2O3 films with low FWHM. The as-grown films are characterized using Secondary-ion mass spectroscopy, Capacitance-Voltage and Hall techniques. SIMS measurements show that surface segregation is the chief cause of large FWHM in MOVPE-grown films. The surface segregation coefficient (R) is observed to reduce with reduction in the growth temperature. Films grown at 600 {\deg}C show an electron concentration of 9.7 x 1012 cm-2 and a FWHM of 3.2 nm. High resolution scanning/transmission electron microscopy of the epitaxial film did not reveal any significant observable degradation in crystal quality of the delta sheet and surrounding regions. Hall measurements of delta-doped film on Fe-doped substrate showed a sheet charge density of 6.1 x 1012 cm-2 and carrier mobility of 83 cm2/V. s. Realization of sharp delta doping profiles in MOVPE-grown \b{eta}-Ga2O3 is promising for high performance device applications.


title: A proof of a conjecture on the distance spectral radius and maximum transmission of graphs

abstract: Let $G$ be a simple connected graph, and $D(G)$ be the distance matrix of $G$. Suppose that $D_{\max}(G)$ and $\lambda_1(G)$ are the maximum row sum and the spectral radius of $D(G)$, respectively. In this paper, we give a lower bound for $D_{\max}(G)-\lambda_1(G)$, and characterize the extremal graphs attaining the bound. As a corollary, we solve a conjecture posed by Liu, Shu and Xue.


title: Discrete Variable Representation method in the study of few-body quantum systems with non-zero angular momentum

abstract: The systems with small binding energies and widely distributed in space bound-state wave functions are considered. Because the interaction potential is weak and rather localized compared to the characteristic sizes of wave functions of these systems, the problem of an accurate determination of binding energy and wave functions is complicated. An essential part of the study is the development and application of the discrete-variable representation (DVR) method. This method is based on the determination of basis functions and the nodes and weights of a quadrature formula in such way that the values of a function are zero at all these nodes but one. With this representation the time required for calculating the Hamiltonian matrix elements is substantially reduced. The binding energies of several systems consisting of helium and lithium atoms have been obtained using the DVR method.


title: Predicting Game Difficulty and Churn Without Players

abstract: We propose a novel simulation model that is able to predict the per-level churn and pass rates of Angry Birds Dream Blast, a popular mobile free-to-play game. Our primary contribution is to combine AI gameplay using Deep Reinforcement Learning (DRL) with a simulation of how the player population evolves over the levels. The AI players predict level difficulty, which is used to drive a player population model with simulated skill, persistence, and boredom. This allows us to model, e.g., how less persistent and skilled players are more sensitive to high difficulty, and how such players churn early, which makes the player population and the relation between difficulty and churn evolve level by level. Our work demonstrates that player behavior predictions produced by DRL gameplay can be significantly improved by even a very simple population-level simulation of individual player differences, without requiring costly retraining of agents or collecting new DRL gameplay data for each simulated player.


title: Optimization-driven Machine Learning for Intelligent Reflecting Surfaces Assisted Wireless Networks

abstract: Intelligent reflecting surface (IRS) has been recently employed to reshape the wireless channels by controlling individual scattering elements' phase shifts, namely, passive beamforming. Due to the large size of scattering elements, the passive beamforming is typically challenged by the high computational complexity and inexact channel information. In this article, we focus on machine learning (ML) approaches for performance maximization in IRS-assisted wireless networks. In general, ML approaches provide enhanced flexibility and robustness against uncertain information and imprecise modeling. Practical challenges still remain mainly due to the demand for a large dataset in offline training and slow convergence in online learning. These observations motivate us to design a novel optimization-driven ML framework for IRS-assisted wireless networks, which takes both advantages of the efficiency in model-based optimization and the robustness in model-free ML approaches. By splitting the decision variables into two parts, one part is obtained by the outer-loop ML approach, while the other part is optimized efficiently by solving an approximate problem. Numerical results verify that the optimization-driven ML approach can improve both the convergence and the reward performance compared to conventional model-free learning approaches.


title: Properties of Normal Harmonic Mappings

abstract: In this paper, we present several necessary and sufficient conditions for a harmonic mapping to be normal. Also, we discuss maximum principle and five-point theorem for normal harmonic mappings. Furthermore, we investigate the convergence of sequences for sense-preserving normal harmonic mappings and show that the asymptotic values and angular limits are identical for normal harmonic mappings.


title: Selecting Energy Efficient Inputs using Graph Structure

abstract: Selecting appropriate inputs for systems described by complex networks is an important but difficult problem that largely remains open in the field of control of networks. Recent work has proposed two methods for energy efficient input selection; a gradient based heuristic and a greedy approximation algorithm. We propose here an alternative method for input selection based on the analytic solution of the controllability Gramian of the `balloon graph', a special model graph that captures the role of both \emph{distance} and \emph{redundant paths} between a driver node and a target node. The method presented is especially applicable for large networks where one is interested in controlling only a small number of outputs, or target nodes, for which current methods may not be practical because they require computing a typically very ill-conditioned matrix, called the controllability Gramian. Our method produces comparable results to the previous methods while being more computational efficient.


title: Characteristics of Pumping Current in a YBCO Coil by a Pulse-Type Magnetic Flux Pump

abstract: 2G high temperature superconducting (HTS) wires, YBCO coated conductors, perform a better carrying current capability, which is potentially applied in the manufacture of HTS magnets. This paper presents the experimental results of the pumping current for YBCO coils using a pulse-type magnetic flux pump in the conduction-cooling system and liquid nitrogen bath (LN2) cryogenic environment. Optimization of the flux pump used in the conduction-cooling system is that a constantan heater was added to keep the temperature of the pumping bridge at a certain value. Excitation effects of the YBCO coil at different temperatures were investigated in the conduction-cooling system. A fast-increasing of pumping current in the YBCO coil occurs when the temperature of the YBCO sheet (i.e., pumping bridge) is in the range of 50 K to 80 K. The relationships between saturated pumping current and input voltage, working frequency, numbers of magnetic poles were also studied. Using the seven-pole configuration, the saturated current can reach 155 A when the frequency is 20 Hz and the voltage is 6 V. The excitation characteristics of the flux pump in the LN2 cooling system show the possibility of the pulse-type magnetic flux pump for the practical application of HTS magnets.


title: Traveling pulse solutions in a three-component FitzHugh-Nagumo Model

abstract: We use geometric singular perturbation techniques combined with an action functional approach to study traveling pulse solutions in a three-component FitzHugh--Nagumo model. First, we derive the profile of traveling $1$-pulse solutions with undetermined width and propagating speed. Next, we compute the associated action functional for this profile from which we derive the conditions for existence and a saddle-node bifurcation as the zeros of the action functional and its derivatives. We obtain the same conditions by using a different analytical approach that exploits the singular limit of the problem. We also apply this methodology of the action functional to the problem for traveling $2$-pulse solutions and derive the explicit conditions for existence and a saddle-node bifurcation. From these we deduce a necessary condition for the existence of traveling $2$-pulse solutions. We end this article with a discussion related to Hopf bifurcations near the saddle-node bifurcation.


title: Kac's Process with Hard Potentials and a Moderate Angular Singularity

abstract: We investigate Kac's many-particle stochastic model of gas dynamics in the case of hard potentials with a moderate angular singularity, and show that the noncutoff particle system can be obtained as the limit of cutoff systems, with a rate independent of the number of particles $N$. As consequences, we obtain a wellposedness result for the corresponding Boltzmann equation, and convergence of the particle system in the limit $N\rightarrow \infty$.


title: The rank 8 case of a conjecture on square-zero upper triangular matrices

abstract: Let $A$ be the polynomial algebra in $r$ variables with coefficients in an algebraically closed field $k$. When the characteristic of $k$ is $2$, Carlsson conjectured that for any $\mathrm{dg}$-$A$-module $M$, which has dimension $N$ as a free $A$-module, if the homology of $M$ is nontrivial and finite dimensional as a $k$-vector space, then $N\geq 2^r$. Here we examine a stronger conjecture concerning varieties of square-zero upper triangular $N\times N$ matrices with entries in $A$. Stratifying these varieties via Borel orbits, we show that the stronger conjecture holds when $N = 8$ without any restriction on the characteristic of $k$. This result also verifies that if $X$ is a product of $3$ spheres of any dimensions, then the elementary abelian $2$-group of order $4$ cannot act freely on $X$.


title: Frequency analysis and dynamic aperture studies in ELENA with realistic 3D magnetic fields

abstract: We briefly present recent progress with our algorithm and its implementation called SIMPA described in a previous paper. The algorithm has a new and unique approach to long-term 4D tracking of charged particles in arbitrary static electromagnetic fields. Using the improvements described in this paper, we made frequency analysis and dynamic aperture studies in ELENA. The effect of the end fields and the perturbation introduced by the magnetic system of the electron cooler on dynamic aperture is shown. A special feature of this study is that we have not introduced any multipole errors into the model. The dynamic aperture calculated in this paper is the direct consequence of the geometry of the magnetic elements. Based on the results, we make a few suggestions to reduce the losses during the deceleration of the beam.


title: Linear Convergence of Randomized Primal-Dual Coordinate Method for Large-scale Linear Constrained Convex Programming

abstract: Linear constrained convex programming has many practical applications, including support vector machine and machine learning portfolio problems. We propose the randomized primal-dual coordinate (RPDC) method, a randomized coordinate extension of the first-order primal-dual method by Cohen and Zhu, 1984 and Zhao and Zhu, 2019, to solve linear constrained convex programming. We randomly choose a block of variables based on a uniform distribution, linearize, and apply a Bregman-like function (core function) to the selected block to obtain simple parallel primal-dual decomposition. We then establish almost surely convergence and expected O(1/t) convergence rate, and expected linear convergence under global strong metric subregularity. Finally, we discuss implementation details for the randomized primal-dual coordinate approach and present numerical experiments on support vector machine and machine learning portfolio problems to verify the linear convergence.


title: Breaking degeneracies with the Sunyaev-Zeldovich full bispectrum

abstract: Non-Gaussian (NG) statistics of the thermal Sunyaev-Zeldovich (tSZ) effect carry significant information which is not contained in the power spectrum. Here, we perform a joint Fisher analysis of the tSZ power spectrum and bispectrum to verify how much the full bispectrum can contribute to improve parameter constraints. We go beyond similar studies of this kind in several respects: first of all, we include the complete power spectrum and bispectrum (auto- and cross-) covariance in the analysis, computing all NG contributions; furthermore we consider a multi-component foreground scenario and model the effects of component separation in the forecasts; finally, we consider an extended set of both cosmological and intra-cluster medium parameters. We show that the tSZ bispectrum is very efficient at breaking parameter degeneracies, making it able to produce even stronger cosmological constraints than the tSZ power spectrum: e.g. the standard deviation on $\sigma_8$ shrinks from $\sigma^\text{PS}(\sigma_8)=0.35$ to $\sigma^\text{BS}(\sigma_8)=0.065$ when we consider a multi-parameter analysis. We find that this is mostly due to the different response of separate triangle types (e.g. equilateral and squeezed) to changes in model parameters. While weak, this shape dependence is clearly non-negligible for cosmological parameters, and it is even stronger, as expected, for intra-cluster medium parameters.


title: The evolution of trust and trustworthiness

abstract: Trust and trustworthiness form the basis for continued social and economic interactions, and they are also fundamental for cooperation, fairness, honesty, and indeed for many other forms of prosocial and moral behavior. However, trust entails risks, and building a trustworthy reputation requires effort. So how did trust and trustworthiness evolve, and under which conditions do they thrive? To find answers, we operationalize trust and trustworthiness using the trust game with the trustor's investment and the trustee's return of the investment as the two key parameters. We study this game on different networks, including the complete network, random and scale-free networks, and in the well-mixed limit. We show that in all but one case the network structure has little effect on the evolution of trust and trustworthiness. Specifically, for well-mixed populations, lattices, random and scale-free networks, we find that trust never evolves, while trustworthiness evolves with some probability depending on the game parameters and the updating dynamics. Only for the scale-free network with degree non-normalized dynamics, we find parameter values for which trust evolves but trustworthiness does not, as well as values for which both trust and trustworthiness evolve. We conclude with a discussion about mechanisms that could lead to the evolution of trust and outline directions for future work.


title: VR-Caps: A Virtual Environment for Capsule Endoscopy

abstract: Current capsule endoscopes and next-generation robotic capsules for diagnosis and treatment of gastrointestinal diseases are complex cyber-physical platforms that must orchestrate complex software and hardware functions. The desired tasks for these systems include visual localization, depth estimation, 3D mapping, disease detection and segmentation, automated navigation, active control, path realization and optional therapeutic modules such as targeted drug delivery and biopsy sampling. Data-driven algorithms promise to enable many advanced functionalities for capsule endoscopes, but real-world data is challenging to obtain. Physically-realistic simulations providing synthetic data have emerged as a solution to the development of data-driven algorithms. In this work, we present a comprehensive simulation platform for capsule endoscopy operations and introduce VR-Caps, a virtual active capsule environment that simulates a range of normal and abnormal tissue conditions (e.g., inflated, dry, wet etc.) and varied organ types, capsule endoscope designs (e.g., mono, stereo, dual and 360{\deg}camera), and the type, number, strength, and placement of internal and external magnetic sources that enable active locomotion. VR-Caps makes it possible to both independently or jointly develop, optimize, and test medical imaging and analysis software for the current and next-generation endoscopic capsule systems. To validate this approach, we train state-of-the-art deep neural networks to accomplish various medical image analysis tasks using simulated data from VR-Caps and evaluate the performance of these models on real medical data. Results demonstrate the usefulness and effectiveness of the proposed virtual platform in developing algorithms that quantify fractional coverage, camera trajectory, 3D map reconstruction, and disease classification.


title: Path Planning Followed by Kinodynamic Smoothing for Multirotor Aerial Vehicles (MAVs)

abstract: We explore path planning followed by kinodynamic smoothing while ensuring the vehicle dynamics feasibility for MAVs. We have chosen a geometrically based motion planning technique \textquotedblleft RRT*\textquotedblright\; for this purpose. In the proposed technique, we modified original RRT* introducing an adaptive search space and a steering function which help to increase the consistency of the planner. Moreover, we propose multiple RRT* which generates a set of desired paths, provided that the optimal path is selected among them. Then, apply kinodynamic smoothing, which will result in dynamically feasible as well as obstacle-free path. Thereafter, a b spline-based trajectory is generated to maneuver vehicle autonomously in unknown environments. Finally, we have tested the proposed technique in various simulated environments.


title: Lipschitz stable determination of polygonal conductivity inclusions in a layered medium from the Dirichlet to Neumann map

abstract: Using a distributed representation formula of the Gateaux derivative of the Dirichlet to Neumann map with respect to movements of a polygonal conductivity inclusion, [11], we extend the results obtained in [8] proving global Lipschitz stability for the determination of a polygonal conductivity inclusion embedded in a layered medium from knowledge of the Dirichlet to Neumann map.


title: Efficient Robustness Certificates for Discrete Data: Sparsity-Aware Randomized Smoothing for Graphs, Images and More

abstract: Existing techniques for certifying the robustness of models for discrete data either work only for a small class of models or are general at the expense of efficiency or tightness. Moreover, they do not account for sparsity in the input which, as our findings show, is often essential for obtaining non-trivial guarantees. We propose a model-agnostic certificate based on the randomized smoothing framework which subsumes earlier work and is tight, efficient, and sparsity-aware. Its computational complexity does not depend on the number of discrete categories or the dimension of the input (e.g. the graph size), making it highly scalable. We show the effectiveness of our approach on a wide variety of models, datasets, and tasks -- specifically highlighting its use for Graph Neural Networks. So far, obtaining provable guarantees for GNNs has been difficult due to the discrete and non-i.i.d. nature of graph data. Our method can certify any GNN and handles perturbations to both the graph structure and the node attributes.


title: Sparse High-Order Portfolios via Proximal DCA and SCA

abstract: In this paper, we aim at solving the cardinality constrained high-order portfolio optimization, i.e., mean-variance-skewness-kurtosis model with cardinality constraint (MVSKC). Optimization for the MVSKC model is of great difficulty in two parts. One is that the objective function is non-convex, the other is the combinational nature of the cardinality constraint, leading to non-convexity as well dis-continuity. Based on the observation that cardinality constraint has the difference-of-convex (DC) property, we transform the cardinality constraint into a penalty term and then propose three algorithms including the proximal difference of convex algorithm (pDCA), pDCA with extrapolation (pDCAe) and the successive convex approximation (SCA) to handle the resulting penalized MVSK (PMVSK) formulation. Moreover, theoretical convergence results of these algorithms are established respectively. Numerical experiments on the real datasets demonstrate the superiority of our proposed methods in obtaining high utility and sparse solutions as well as efficiency in terms of time usage.


title: Quantifying metric approximations of discrete groups

abstract: We introduce and systematically study a profile function whose asymptotic behavior quantifies the dimension or the size of a metric approximation of a finitely generated group $G$ by a family of groups $\mathcal{F}=\{(G_{\alpha}, d_{\alpha}, k_{\alpha}, \varepsilon_{\alpha })\}_{\alpha\in I, }$ where each group $G_\alpha$ is equipped with a bi-invariant metric $d_{\alpha}$ and a dimension $k_{\alpha}$, for strictly positive real numbers $\varepsilon_{\alpha }$ such that $\inf_{\alpha }\varepsilon_{\alpha }>0$. Through the notion of a residually amenable profile that we introduce, our approach generalizes classical isoperimetric (aka Folner) profiles of amenable groups and recently introduced functions quantifying residually finite groups. Our viewpoint is much more general and covers hyperlinear and sofic approximations as well as many other metric approximations such as weakly sofic, weakly hyperlinear, and linear sofic approximations.


title: Why epithelial cells collectively move against a traveling signal wave

abstract: The response of cell populations to external stimuli plays a central role in biological phenomena such as epithelial wound healing and developmental morphogenesis. Wave propagation of a protein signal has been shown to direct collective migration in one direction, but this mechanism based on active matter under a traveling wave is not fully understood. To elucidate how the traveling wave of the protein signal directs collective migration, we study the mechanics of the epithelial cell monolayer, taking into account the signal-dependent coordination of contractile stress and cellular orientation. By constructing an optogenetically controlled experimental cell model, we found that local signal activation induces changes in cell density and orientation with the direction of propagation, increasing the net motion relative to the wave. In addition, the migration exhibits an optimal speed with the propagation speed of the signal. This occurs because the mechanical deformation is not fully relaxed for rapid signal activation, resulting in an optimal signal propagation speed. The presented mechanical model can also be extended to wound healing, providing a versatile model for understanding the interplay between mechanics and signaling in active matter.


title: Nonlinear optical effects in a nucleus

abstract: Intense laser technologies generate light with unprecedented and growing intensities. The possibility emerges that a nucleus responds nonlinearly to an intense light field, pointing to a yet little explored research area of nuclear nonlinear optics. We consider two-photon and three-photon absorption (with subsequent disintegration) processes of the deuteron, the simplest and the most fundamental nontrivial nucleus, as prototypes of nuclear nonlinear optical effects. Quantitative calculations are performed on these processes and novel observable effects are predicted.


title: On the quantum tunneling of one dimensional coulomb singular potential barrier

abstract: How quantum tunneling will behave when the singularity is preserved as much as possible is the main question of this paper. We get that the Coulomb sibgularity is reflected as infinitly accelerated oscillations in the transmission coefficient between zero and one when the incident particles energy approaches the zero boundary. At relatively high energies, the tunneling acqures the caracter inherent in regular potentials, and becomes completly transparent in the asymptote.


title: Adaptive Local Structure Consistency based Heterogeneous Remote Sensing Change Detection

abstract: Change detection of heterogeneous remote sensing images is an important and challenging topic in remote sensing for emergency situation resulting from nature disaster. Due to the different imaging mechanisms of heterogeneous sensors, it is difficult to directly compare the images. To address this challenge, we explore an unsupervised change detection method based on adaptive local structure consistency (ALSC) between heterogeneous images in this letter, which constructs an adaptive graph representing the local structure for each patch in one image domain and then projects this graph to the other image domain to measure the change level. This local structure consistency exploits the fact that the heterogeneous images share the same structure information for the same ground object, which is imaging modality-invariant. To avoid the leakage of heterogeneous data, the pixelwise change image is calculated in the same image domain by graph projection. Experiment results demonstrate the effectiveness of the proposed ALSC based change detection method by comparing with some state-of-the-art methods.


title: Puzzle-AE: Novelty Detection in Images through Solving Puzzles

abstract: Autoencoder, as an essential part of many anomaly detection methods, is lacking flexibility on normal data in complex datasets. U-Net is proved to be effective for this purpose but overfits on the training data if trained by just using reconstruction error similar to other AE-based frameworks. Puzzle-solving, as a pretext task of self-supervised learning (SSL) methods, has earlier proved its ability in learning semantically meaningful features. We show that training U-Nets based on this task is an effective remedy that prevents overfitting and facilitates learning beyond pixel-level features. Shortcut solutions, however, are a big challenge in SSL tasks, including jigsaw puzzles. We propose adversarial robust training as an effective automatic shortcut removal. We achieve competitive or superior results compared to the State of the Art (SOTA) anomaly detection methods on various toy and real-world datasets. Unlike many competitors, the proposed framework is stable, fast, data-efficient, and does not require unprincipled early stopping.


title: Low temperature heat capacity of amorphous systems: physics at nano-scales

abstract: Contrary to previous studies of boson peak, we analyze the density of states and specific heat contribution of dispersion forces in an amorphous solid of nano-scales ($\sim 3 nm$). Our analysis indicates a universal semi-circle form of the average density of states in the bulk of the spectrum along with a super-exponentially increasing behavior in its edge. The latter in turn leads to a specific heat, behaving linearly below $T < 1^o \; {\bf K}$ even at nano-scales, and, surprisingly agreeing with the experiments although the latter are carried out at macroscopic scales. The omnipresence of dispersion forces at microscopic scales indicates the application of our results to other disordered materials too.


title: On the waveform of the scalar induced gravitational waves

abstract: The scalar induced gravitational waves (SIGWs) is a useful tool to probe the physics in the early universe. To study inflationary models with this tool, we need to know how the waveform of SIGWs is related to the shape of the scalar power spectrum. We propose two parameterizations to approximate the scalar power spectrum with either a sharp or a broad spike at small scales, and then use these two parameterizations to study the relation between the shapes of $\Omega_{GW}$ and the scalar power spectrum. We find that the waveform of SIGWs has a similar shape to the power spectrum. Away from the peak of the spike, the frequency relation $\Omega_{GW}(k)\sim \mathcal{P}_\zeta^2(k)$ holds independent of the functional form of the scalar power spectrum. We also give a physical explanation for this general relationship. The general relation is useful for determining the scalar power spectrum and probing inflationary physics with the waveform of SIGWs.


title: Zero-Shot Learning from Adversarial Feature Residual to Compact Visual Feature

abstract: Recently, many zero-shot learning (ZSL) methods focused on learning discriminative object features in an embedding feature space, however, the distributions of the unseen-class features learned by these methods are prone to be partly overlapped, resulting in inaccurate object recognition. Addressing this problem, we propose a novel adversarial network to synthesize compact semantic visual features for ZSL, consisting of a residual generator, a prototype predictor, and a discriminator. The residual generator is to generate the visual feature residual, which is integrated with a visual prototype predicted via the prototype predictor for synthesizing the visual feature. The discriminator is to distinguish the synthetic visual features from the real ones extracted from an existing categorization CNN. Since the generated residuals are generally numerically much smaller than the distances among all the prototypes, the distributions of the unseen-class features synthesized by the proposed network are less overlapped. In addition, considering that the visual features from categorization CNNs are generally inconsistent with their semantic features, a simple feature selection strategy is introduced for extracting more compact semantic visual features. Extensive experimental results on six benchmark datasets demonstrate that our method could achieve a significantly better performance than existing state-of-the-art methods by 1.2-13.2% in most cases.


title: Models of high-frequency quasi-periodic oscillations and black hole spin estimates in Galactic microquasars

abstract: We explore the influence of non-geodesic pressure forces that are present in an accretion disk on the frequencies of its axisymmetric and non-axisymmetric epicyclic oscillation modes. {We discuss its implications for models of high-frequency quasi-periodic oscillations (QPOs) that have been observed in the X-ray flux of accreting black holes (BHs) in the three Galactic microquasars, GRS 1915+105, GRO J1655$-$40 and XTE J1550$-$564. We focus on previously considered QPO models that deal with low azimuthal number epicyclic modes, $\lvert m \rvert \leq 2$, and outline the consequences for the estimations of BH spin, $a\in[0,1]$.} For four out of six examined models, we find only small, rather insignificant changes compared to the geodesic case. For the other two models, on the other hand, there is a fair increase of the estimated upper limit on the spin. Regarding the QPO model's falsifiability, we find that one particular model from the examined set is incompatible with the data. If the microquasar's spectral spin estimates that point to $a>0.65$ were fully confirmed, two more QPO models would be ruled out. Moreover, if two very different values of the spin, such as $a\approx 0.65$ in GRO J1655$-$40 vs. $a\approx 1$ in GRS 1915+105, were confirmed, all the models except one would remain unsupported by our results. Finally, we discuss the implications for a model recently proposed in the context of neutron star (NS) QPOs as a disk-oscillation-based modification of the relativistic precession model. This model provides overall better fits of the NS data and predicts more realistic values of the NS mass compared to the relativistic precession model. We conclude that it also implies a significantly higher upper limit on the microquasar's BH spin ($a\sim 0.75$ vs. $a\sim 0.55$).


title: On the Robin spectrum for the hemisphere

abstract: We study the spectrum of the Laplacian on the hemisphere with Robin boundary conditions. It is found that the eigenvalues fall into small clusters around the Neumann spectrum, and satisfy a Szeg\H{o} type limit theorem. Sharp upper and lower bounds for the gaps between the Robin and Neumann eigenvalues are derived, showing in particular that these are unbounded. Further, it is shown that except for a systematic double multiplicity, there are no multiplicities in the spectrum as soon as the Robin parameter is positive, unlike the Neumann case which is highly degenerate. Finally, the limiting spacing distribution of the desymmetrized spectrum is proved to be the delta function at the origin.


title: Patch-based Brain Age Estimation from MR Images

abstract: Brain age estimation from Magnetic Resonance Images (MRI) derives the difference between a subject's biological brain age and their chronological age. This is a potential biomarker for neurodegeneration, e.g. as part of Alzheimer's disease. Early detection of neurodegeneration manifesting as a higher brain age can potentially facilitate better medical care and planning for affected individuals. Many studies have been proposed for the prediction of chronological age from brain MRI using machine learning and specifically deep learning techniques. Contrary to most studies, which use the whole brain volume, in this study, we develop a new deep learning approach that uses 3D patches of the brain as well as convolutional neural networks (CNNs) to develop a localised brain age estimator. In this way, we can obtain a visualization of the regions that play the most important role for estimating brain age, leading to more anatomically driven and interpretable results, and thus confirming relevant literature which suggests that the ventricles and the hippocampus are the areas that are most informative. In addition, we leverage this knowledge in order to improve the overall performance on the task of age estimation by combining the results of different patches using an ensemble method, such as averaging or linear regression. The network is trained on the UK Biobank dataset and the method achieves state-of-the-art results with a Mean Absolute Error of 2.46 years for purely regional estimates, and 2.13 years for an ensemble of patches before bias correction, while 1.96 years after bias correction.


title: On exactly solvable higher-derivative systems

abstract: We discuss exactly solvable systems involving integrals of motion with higher powers of momenta. If one of these integrals is chosen for the Hamiltonian, we obtain a higher-derivative system involving ghosts, i.e. a system whose Hamiltonian is not bounded neither from below, nor from above. However, these ghosts are benign: there is no collapse and unitarity is not violated. As an example, we consider the 3-particle Toda periodic chain, with the cubic invariant I chosen for the Hamiltonian. The classical trajectories exhibit regular oscillations, and the spectrum of the quantum Hamiltonian is discrete running from minus to plus infinity. We also discuss the classical dynamics of a perturbed system with the Hamiltonian H = I + v, where v is an oscillator potential. Such a system is not exactly solvable, but its classical trajectories exhibit not regular, but still benign behaviour without collapse. This means that also the corresponding quantum problem is well defined. The same observation can be made for exactly solvable (1+1)-dimensional field theories involving an infinite number of conservation laws: any of them can be chosen for the Hamiltonian. We illustrate this for the Sine-Gordon and KdV models. In the latter case, the Lagrangian and standard integrals of motion involve higher spatial rather than temporal derivatives. But one can always interchange x and t, after which we obtain a system with benign ghosts.


title: Unpaired Deep Learning for Accelerated MRI using Optimal Transport Driven CycleGAN

abstract: Recently, deep learning approaches for accelerated MRI have been extensively studied thanks to their high performance reconstruction in spite of significantly reduced runtime complexity. These neural networks are usually trained in a supervised manner, so matched pairs of subsampled and fully sampled k-space data are required. Unfortunately, it is often difficult to acquire matched fully sampled k-space data, since the acquisition of fully sampled k-space data requires long scan time and often leads to the change of the acquisition protocol. Therefore, unpaired deep learning without matched label data has become a very important research topic. In this paper, we propose an unpaired deep learning approach using a optimal transport driven cycle-consistent generative adversarial network (OT-cycleGAN) that employs a single pair of generator and discriminator. The proposed OT-cycleGAN architecture is rigorously derived from a dual formulation of the optimal transport formulation using a specially designed penalized least squares cost. The experimental results show that our method can reconstruct high resolution MR images from accelerated k- space data from both single and multiple coil acquisition, without requiring matched reference data.


title: Convergence analysis under consistent error bounds

abstract: We introduce the notion of consistent error bound functions which provides a unifying framework for error bounds for multiple convex sets. This framework goes beyond the classical Lipschitzian and H\"olderian error bounds and includes logarithmic and entropic error bounds found in the exponential cone. It also includes the error bounds obtainable under the theory of amenable cones. Our main result is that the convergence rate of several projection algorithms for feasibility problems can be expressed explicitly in terms of the underlying consistent error bound function. Another feature is the usage of Karamata theory and functions of regular variations which allows us to reason about convergence rates while bypassing certain complicated expressions. Finally, applications to conic feasibility problems are given and we show that a number of algorithms have convergence rates depending explicitly on the singularity degree of the problem.


title: Driving Through Ghosts: Behavioral Cloning with False Positives

abstract: Safe autonomous driving requires robust detection of other traffic participants. However, robust does not mean perfect, and safe systems typically minimize missed detections at the expense of a higher false positive rate. This results in conservative and yet potentially dangerous behavior such as avoiding imaginary obstacles. In the context of behavioral cloning, perceptual errors at training time can lead to learning difficulties or wrong policies, as expert demonstrations might be inconsistent with the perceived world state. In this work, we propose a behavioral cloning approach that can safely leverage imperfect perception without being conservative. Our core contribution is a novel representation of perceptual uncertainty for learning to plan. We propose a new probabilistic birds-eye-view semantic grid to encode the noisy output of object perception systems. We then leverage expert demonstrations to learn an imitative driving policy using this probabilistic representation. Using the CARLA simulator, we show that our approach can safely overcome critical false positives that would otherwise lead to catastrophic failures or conservative behavior.


title: How does the structure embedded in learning policy affect learning quadruped locomotion?

abstract: Reinforcement learning (RL) is a popular data-driven method that has demonstrated great success in robotics. Previous works usually focus on learning an end-to-end (direct) policy to directly output joint torques. While the direct policy seems convenient, the resultant performance may not meet our expectations. To improve its performance, more sophisticated reward functions or more structured policies can be utilized. This paper focuses on the latter because the structured policy is more intuitive and can inherit insights from previous model-based controllers. It is unsurprising that the structure, such as a better choice of the action space and constraints of motion trajectory, may benefit the training process and the final performance of the policy at the cost of generality, but the quantitative effect is still unclear. To analyze the effect of the structure quantitatively, this paper investigates three policies with different levels of structure in learning quadruped locomotion: a direct policy, a structured policy, and a highly structured policy. The structured policy is trained to learn a task-space impedance controller and the highly structured policy learns a controller tailored for trot running, which we adopt from previous work. To evaluate trained policies, we design a simulation experiment to track different desired velocities under force disturbances. Simulation results show that structured policy and highly structured policy require 1/3 and 3/4 fewer training steps than the direct policy to achieve a similar level of cumulative reward, and seem more robust and efficient than the direct policy. We highlight that the structure embedded in the policies significantly affects the overall performance of learning a complicated task when complex dynamics are involved, such as legged locomotion.


title: Generating and detecting bound entanglement in two-qutrits using a family of indecomposable positive maps

abstract: The problem of bound entanglement detection is a challenging aspect of quantum information theory for higher dimensional systems. Here, we propose an indecomposable positive map for two-qutrit systems, which is shown to generate a class of positive partial transposed (PPT) states. A corresponding witness operator is constructed and shown to be weakly optimal and locally implementable. Further, we perform a structural physical approximation of the indecomposable map to make it a completely positive one, and find a new PPT entangled state which is not detectable by certain other well-known entanglement detection criteria.


title: Statistical Mechanics of Active Ornstein Uhlenbeck Particles

abstract: We review and extend recent developments on the statistical properties of Active Ornstein Uhlenbeck particles (AOUPs). In this simplest of models, the Gaussian white noise of overdamped Brownian colloids is replaced by a Gaussian colored noise. This suffice to grant this system the hallmark properties of active matter, while still allowing for analytical progress. We first detail the perturbative derivation of the steady state of AOUPs in the small persistence time limit. We show the existence of an effective equilibrium regime in which detailed-balance is obeyed with respect to a non-Boltzmann distribution and detail the corresponding fluctuation-dissipation theorem. We then characterize the departure from equilibrium by computing several relevant observables (entropy production, ratchet current). At the collective level, we show AOUPs to experience motility-induced phase separation both in the presence of pairwise forces or due to quorum-sensing interactions. The latter can be accounted for by considering the steady-state of AOUPs with spatially varying propulsion speed or persistence time. Finally, we discuss how the emerging properties of AOUPs can be characterized from the dynamics of their collective modes, which we construct explicitly.


title: Reformulation of gauge theories in terms of gauge invariant fields

abstract: We present a reformulation of gauge theories in terms of gauge invariant fields. Focusing on Abelian theories, we show that the gauge and matter covariant fields can be recombined to introduce new gauge invariant degrees of freedom. Starting from the $(1+1)$ dimensional case on the lattice, with both periodic and open boundary conditions, we then generalize to higher dimensions and to the continuum limit. To show explicit and physically relevant examples of the reformulation, we apply it to the Hamiltonian of a single particle in a (static) magnetic field, to pure abelian lattice gauge theories, to the Lagrangian of quantum electrodynamics in $(3+1)$ dimensions and to the Hamiltonian of the $2d$ and $3d$ Hofstadter model. In the latter, we show that the particular construction used to eliminate the the gauge covariant fields enters the definition of the magnetic Brillouin zone. Finally, we briefly comment on relevance of the presented reformulation to the study of interacting gauge theories.


title: Real-time discriminant analysis in the presence of label and measurement noise

abstract: Quadratic discriminant analysis (QDA) is a widely used classification technique. Based on a training dataset, each class in the data is characterized by an estimate of its center and shape, which can then be used to assign unseen observations to one of the classes. The traditional QDA rule relies on the empirical mean and covariance matrix. Unfortunately, these estimators are sensitive to label and measurement noise which often impairs the model's predictive ability. Robust estimators of location and scatter are resistant to this type of contamination. However, they have a prohibitive computational cost for large scale industrial experiments. We present a novel QDA method based on a recent real-time robust algorithm. We additionally integrate an anomaly detection step to classify the most atypical observations into a separate class of outliers. Finally, we introduce the label bias plot, a graphical display to identify label and measurement noise in the training data. The performance of the proposed approach is illustrated in a simulation study with huge datasets, and on real datasets about diabetes and fruit.


title: Family sizes for complete multipartite graphs

abstract: The obstruction set for graphs with knotless embeddings is not known, but a recent paper of Goldberg, Mattman, and Naimi indicates that it is quite large. Almost all known obstructions fall into four Triangle-Y families and they ask if there is an efficient way of finding or estimating the size of such graph families. Inspired by this question, we investigate the family size for complete multipartite graphs. Aside from three families that appear to grow exponentially, these families stabilize: after a certain point, increasing the number of vertices in a fixed part does not change family size.


title: Real moduli spaces and density of non-simple real abelian varieties

abstract: For fixed $k<g$ and a family of polarized abelian varieties of dimension $g$ over $\mathbb{R}$, we give a criterion for the density in the parameter space of those abelian varieties over $\mathbb{R}$ containing a $k$-dimensional abelian subvariety over $\mathbb{R}$. As application, we prove density of such a set in the moduli space of polarized real abelian varieties of dimension $g$, and density of real algebraic curves mapping non-trivially to real $k$-dimensional abelian varieties in the moduli space of real algebraic curves as well as in the space of real plane curves. This extends to the real setting results by Colombo and Pirola as outlined in their paper "Some density results for curves with non-simple jacobians", $\textit{Math. Ann.}$ (1990). We then consider the real locus of an algebraic stack over $\mathbb{R}$, attaching a topological space to it. For a real moduli stack, this defines a real moduli space. We show that for $\mathcal{M}_g$ and $\mathcal{A}_g$, the real moduli spaces that arise in this way coincide with the moduli spaces of Gross-Harris ("Real algebraic curves", $\textit{Ann. Sci. Ecole. Norm. Sup.}$ (1981)) and Sepp\"al\"a-Silhol ("Moduli Spaces for Real Algebraic Curves and Real Abelian Varieties", $\textit{Math. Z.}$ (1989)).


title: Improved anomaly detection by training an autoencoder with skip connections on images corrupted with Stain-shaped noise

abstract: In industrial vision, the anomaly detection problem can be addressed with an autoencoder trained to map an arbitrary image, i.e. with or without any defect, to a clean image, i.e. without any defect. In this approach, anomaly detection relies conventionally on the reconstruction residual or, alternatively, on the reconstruction uncertainty. To improve the sharpness of the reconstruction, we consider an autoencoder architecture with skip connections. In the common scenario where only clean images are available for training, we propose to corrupt them with a synthetic noise model to prevent the convergence of the network towards the identity mapping, and introduce an original Stain noise model for that purpose. We show that this model favors the reconstruction of clean images from arbitrary real-world images, regardless of the actual defects appearance. In addition to demonstrating the relevance of our approach, our validation provides the first consistent assessment of reconstruction-based methods, by comparing their performance over the MVTec AD dataset, both for pixel- and image-wise anomaly detection.


title: On the W&Y interpretation of high-energy Drell-Yan measurements

abstract: High-energy neutral and charged Drell--Yan differential cross-section measurements are powerful probes of quark-lepton contact interactions that produce growing-with-energy effects. This paper provides theoretical predictions of the new physics effects at the Next-to-Leading order in QCD and including one-loop EW corrections at the single-logarithm accuracy. The predictions are obtained from SM Monte Carlo simulations through analytic reweighting. This eliminates the need of performing a scan on the new physics parameter space, enabling the global exploration of all the relevant interactions. Furthermore, our strategy produces consistently showered events to be employed for a direct comparison of the new physics predictions with the data, or to validate the unfolding procedure than underlies the cross-section measurements. Two particularly relevant interactions, associated with the W and Y parameters of EW precision tests, are selected for illustration. Projections are presented for the sensitivity of the LHC and of the HL-LHC measurements. The impact on the sensitivity of several sources of uncertainties is quantified.


title: Refactorization of Cauchy's method: a second-order partitioned method for fluid-thick structure interaction problems

abstract: This work focuses on the derivation and the analysis of a novel, strongly-coupled partitioned method for fluid-structure interaction problems. The flow is assumed to be viscous and incompressible, and the structure is modeled using linear elastodynamics equations. We assume that the structure is thick, i.e., modeled using the same number of spatial dimensions as fluid. Our newly developed numerical method is based on generalized Robin boundary conditions, as well as on the refactorization of the Cauchy's one-legged `theta-like' method, written as a sequence of Backward Euler-Forward Euler steps used to discretize the problem in time. This family of methods, parametrized by theta, is B-stable for any theta in [0.5,1] and second-order accurate for theta=0.5+O(tau), where tau is the time step. In the proposed algorithm, the fluid and structure subproblems, discretized using the Backward Euler scheme, are first solved iteratively until convergence. Then, the variables are linearly extrapolated, equivalent to solving Forward Euler problems. We prove that the iterative procedure is convergent, and that the proposed method is stable provided theta in [0.5,1]. Numerical examples, based on the finite element discretization in space, explore convergence rates using different values of parameters in the problem, and compare our method to other strongly-coupled partitioned schemes from the literature. We also compare our method to both a monolithic and a non-iterative partitioned solver on a benchmark problem with parameters within the physiological range of blood flow, obtaining an excellent agreement with the monolithic scheme.


title: The Relativistic one dimensional Coulomb problem and Relativistic PIMC method

abstract: The Relativistic one dimensional Coulomb problem was studied by means of the Path Integral Monte Carlo method. Relativistic and non-relativistic regimes of this problem were investigated. The relativistic regime appears at small masses of the particle and (or) at strong coupling. Critical coupling at which the bound state disappears was founded. This law is valid for any finite regularization of the Coulomb potential and potentially can be tested experimentally.


title: Off-Path TCP Exploits of the Mixed IPID Assignment

abstract: In this paper, we uncover a new off-path TCP hijacking attack that can be used to terminate victim TCP connections or inject forged data into victim TCP connections by manipulating the new mixed IPID assignment method, which is widely used in Linux kernel version 4.18 and beyond to help defend against TCP hijacking attacks. The attack has three steps. First, an off-path attacker can downgrade the IPID assignment for TCP packets from the more secure per-socket-based policy to the less secure hash-based policy, building a shared IPID counter that forms a side channel on the victim. Second, the attacker detects the presence of TCP connections by observing the shared IPID counter on the victim. Third, the attacker infers the sequence number and the acknowledgment number of the detected connection by observing the side channel of the shared IPID counter. Consequently, the attacker can completely hijack the connection, i.e., resetting the connection or poisoning the data stream. We evaluate the impacts of this off-path TCP attack in the real world. Our case studies of SSH DoS, manipulating web traffic, and poisoning BGP routing tables show its threat on a wide range of applications. Our experimental results show that our off-path TCP attack can be constructed within 215 seconds and the success rate is over 88%. Finally, we analyze the root cause of the exploit and develop a new IPID assignment method to defeat this attack. We prototype our defense in Linux 4.18 and confirm its effectiveness through extensive evaluation over real applications on the Internet.


title: Dynamics of an acoustically trapped sphere in beating sound waves

abstract: A focused acoustic standing wave creates a Hookean potential well for a small sphere and can levitate it stably against gravity. Exposing the trapped sphere to a second transverse traveling sound wave imposes an additional acoustical force that drives the sphere away from its mechanical equilibrium. The driving force is shaped by interference between the standing trapping wave and the traveling driving. If, furthermore, the traveling wave is detuned from the standing wave, the driving force oscillates at the difference frequency. Far from behaving like a textbook driven harmonic oscillator, however, the wave-driven harmonic oscillator instead exhibits a remarkably rich variety of dynamical behaviors arising from the spatial dependence of the driving force. These include oscillations at both harmonics and subharmonics of the driving frequency, period-doubling routes to chaos and Fibonacci cascades. This model system therefore illustrates opportunities for dynamic acoustical manipulation based on spectral control of the sound field, rather than spatial control.


title: Quantum Image Processing -- Challenges and Future Research Issues

abstract: Image processing on quantum platform is a hot topic for researchers now a day. Inspired from the idea of quantum physics, researchers are trying to shift their focus from classical image processing towards quantum image processing.This paper starts with a brief review of the principles which underlie quantum computing, and also deals with some of the basics of qubits and quantum computing.Then this paper starts to deal with some different methods of image storage, representation and retrieval in a quantum system.This paper also describes the advantages of using those methods in quantum systems compare to classical systems. In the next section, a short discussion on some of the important aspects, comparison among them and applications of quantum image processing is presented. A few other hot topics and open problems in quantum image processing are mentioned in this paper. This review article will provide the readership an overview of progress witnessed in the area of Quantum Image processing while also simulating further interest to pursue more advanced research in it.


title: Darwinian Evolution of Taste

abstract: What is life. Schrodingers question is discussed here for a specific protein, villin, which builds cells in tissues that detect taste and sound. Villin is represented by a sequence of 827 amino acids bound to a peptide backbone chain. We focus attention on a limited problem, the Darwinian evolution of villin sequences from chickens to humans. This biophysical problem is analyzed using a new physicical method based on thermodynamic domain scaling, a technique that bridges the gap between physical concepts, self-organized criticality, and conventional biostructural practice. It turns out that the evolutionary changes can be explained by Darwinian selection, which is not generally accepted by biologists at the protein level. The presentation is self-contained, and requires no prior experience with proteins at the molecular level.


title: Electroweak Corrections in a Pseudo-Nambu Goldstone Dark Matter Model Revisited

abstract: Having so far only indirect evidence for the existence of Dark Matter a plethora of experiments aims at direct detection of Dark Matter through the scattering of Dark Matter particles off atomic nuclei. For the correct interpretation and identification of the underlying nature of the Dark Matter constituents higher-order corrections to the cross section of Dark Matter-nucleon scattering are important, in particular in models where the tree-level cross section is negligibly small. In this work we revisit the electroweak corrections to the dark matter-nucleon scattering cross section in a model with a pseudo Nambu-Goldstone boson as the Dark Matter candidate. Two calculations that already exist in the literature, apply different approaches resulting in different final results for the cross section in some regions of the parameter space leading us to redo the calculation and analyse the two approaches to clarify the situation. We furthermore update the experimental constraints and examine the regions of the parameter space where the cross section is above the neutrino floor but which can only be probed in the far future.


title: Joint distribution of multiple boundary local times and related first-passage time problems with multiple targets

abstract: We investigate the statistics of encounters of a diffusing particle with different subsets of the boundary of a confining domain. The encounters with each subset are characterized by the boundary local time on that subset. We extend a recently proposed approach to express the joint probability density of the particle position and of its multiple boundary local times via a multi-dimensional Laplace transform of the conventional propagator satisfying the diffusion equation with mixed Robin boundary conditions. In the particular cases of an interval, a circular annulus and a spherical shell, this representation can be explicitly inverted to access the statistics of two boundary local times. We provide the exact solutions and their probabilistic interpretation for the case of an interval and sketch their derivation for two other cases. We also obtain the distributions of various associated first-passage times and discuss their applications.


title: AI-based Modeling and Data-driven Evaluation for Smart Manufacturing Processes

abstract: Smart Manufacturing refers to optimization techniques that are implemented in production operations by utilizing advanced analytics approaches. With the widespread increase in deploying Industrial Internet of Things (IIoT) sensors in manufacturing processes, there is a progressive need for optimal and effective approaches to data management. Embracing Machine Learning and Artificial Intelligence to take advantage of manufacturing data can lead to efficient and intelligent automation. In this paper, we conduct a comprehensive analysis based on Evolutionary Computing and Deep Learning algorithms toward making semiconductor manufacturing smart. We propose a dynamic algorithm for gaining useful insights about semiconductor manufacturing processes and to address various challenges. We elaborate on the utilization of a Genetic Algorithm and Neural Network to propose an intelligent feature selection algorithm. Our objective is to provide an advanced solution for controlling manufacturing processes and to gain perspective on various dimensions that enable manufacturers to access effective predictive technologies.


title: Efficient Computation of Expectations under Spanning Tree Distributions

abstract: We give a general framework for inference in spanning tree models. We propose unified algorithms for the important cases of first-order expectations and second-order expectations in edge-factored, non-projective spanning-tree models. Our algorithms exploit a fundamental connection between gradients and expectations, which allows us to derive efficient algorithms. These algorithms are easy to implement with or without automatic differentiation software. We motivate the development of our framework with several \emph{cautionary tales} of previous research, which has developed numerous inefficient algorithms for computing expectations and their gradients. We demonstrate how our framework efficiently computes several quantities with known algorithms, including the expected attachment score, entropy, and generalized expectation criteria. As a bonus, we give algorithms for quantities that are missing in the literature, including the KL divergence. In all cases, our approach matches the efficiency of existing algorithms and, in several cases, reduces the runtime complexity by a factor of the sentence length. We validate the implementation of our framework through runtime experiments. We find our algorithms are up to 15 and 9 times faster than previous algorithms for computing the Shannon entropy and the gradient of the generalized expectation objective, respectively.


title: Empirical Likelihood Weighted Estimation of Average Treatment Effects

abstract: There has been growing attention on how to effectively and objectively use covariate information when the primary goal is to estimate the average treatment effect (ATE) in randomized clinical trials (RCTs). In this paper, we propose an effective weighting approach to extract covariate information based on the empirical likelihood (EL) method. The resulting two-sample empirical likelihood weighted (ELW) estimator includes two classes of weights, which are obtained from a constrained empirical likelihood estimation procedure, where the covariate information is effectively incorporated into the form of general estimating equations. Furthermore, this ELW approach separates the estimation of ATE from the analysis of the covariate-outcome relationship, which implies that our approach maintains objectivity. In theory, we show that the proposed ELW estimator is semiparametric efficient. We extend our estimator to tackle the scenarios where the outcomes are missing at random (MAR), and prove the double robustness and multiple robustness properties of our estimator. Furthermore, we derive the semiparametric efficiency bound of all regular and asymptotically linear semiparametric ATE estimators under MAR mechanism and prove that our proposed estimator attains this bound. We conduct simulations to make comparisons with other existing estimators, which confirm the efficiency and multiple robustness property of our proposed ELW estimator. An application to the AIDS Clinical Trials Group Protocol 175 (ACTG 175) data is conducted.


title: Random Batch Algorithms for Quantum Monte Carlo simulations

abstract: Random batch algorithms are constructed for quantum Monte Carlo simulations. The main objective is to alleviate the computational cost associated with the calculations of two-body interactions, including the pairwise interactions in the potential energy, and the two-body terms in the Jastrow factor. In the framework of variational Monte Carlo methods, the random batch algorithm is constructed based on the over-damped Langevin dynamics, so that updating the position of each particle in an $N$-particle system only requires $\mathcal{O}(1)$ operations, thus for each time step the computational cost for $N$ particles is reduced from $\mathcal{O}(N^2)$ to $\mathcal{O}(N)$. For diffusion Monte Carlo methods, the random batch algorithm uses an energy decomposition to avoid the computation of the total energy in the branching step. The effectiveness of the random batch method is demonstrated using a system of liquid ${}^4$He atoms interacting with a graphite surface.


title: Technical Issues in the Interpretation of S-values and Their Relation to Other Information Measures

abstract: An extended technical discussion of $S$-values and unconditional information can be found in Greenland, 2019. Here we briefly cover several technical topics mentioned in our main paper, Rafi & Greenland, 2020: Different units for (scaling of) the $S$-value besides base-2 logs (bits); the importance of uniformity (validity) of the $P$-value for interpretation of the $S$-value; and the relation of the $S$-value to other measures of statistical information about a test hypothesis or model.


title: Urban Sensing based on Mobile Phone Data: Approaches, Applications and Challenges

abstract: Data volume grows explosively with the proliferation of powerful smartphones and innovative mobile applications. The ability to accurately and extensively monitor and analyze these data is necessary. Much concern in mobile data analysis is related to human beings and their behaviours. Due to the potential value that lies behind these massive data, there have been different proposed approaches for understanding corresponding patterns. To that end, monitoring people's interactions, whether counting them at fixed locations or tracking them by generating origin-destination matrices is crucial. The former can be used to determine the utilization of assets like roads and city attractions. The latter is valuable when planning transport infrastructure. Such insights allow a government to predict the adoption of new roads, new public transport routes, modification of existing infrastructure, and detection of congestion zones, resulting in more efficient designs and improvement. Smartphone data exploration can help research in various fields, e.g., urban planning, transportation, health care, and business marketing. It can also help organizations in decision making, policy implementation, monitoring and evaluation at all levels. This work aims to review the methods and techniques that have been implemented to discover knowledge from mobile phone data. We classify these existing methods and present a taxonomy of the related work by discussing their pros and cons.


title: Effects of Radiation Damage on the Optical Properties of Glass

abstract: We study the optical properties of glass exposed to ionizing radiation, as it occurs in the space environment. 24 glass types have been considered, both space qualified and not space qualified. 72 samples (3 for each glass type) have been irradiated to simulate a total dose of 10krad and 30krad, imposed by a proton beam at KVI-Centre of Advanced Radiation Technology (Groeningen). Combining the information about stopping power and proton fluence, the time required to reproduce any given total dose in the real environment can be easily obtained. The optical properties, such as spectral transmission and light scattering have been measured before and after irradiation for each sample. Transmission has been characterized within the wavelength range 200 nm-1100 nm. Indications that systematical issues depend on the dopant or composition are found and described. This work aims at extending the existing list of space-compliant glasses in terms of radiation damage.


title: Some remarks on free products of rigid $C^*$-2-categories

abstract: In this informal expository note, we present a universal, formulaic construction of the free product of rigid $C^*$-2-categories. This construction allows for a straightforward, purely categorical formulation of the free composition of subfactors and planar algebras considered by Bisch and Jones. As an application, we explain the results of Tarrago and Wahl on free wreath products of compact quantum groups in this categorical language.


title: AKHCRNet: Bengali Handwritten Character Recognition Using Deep Learning

abstract: I propose a state of the art deep neural architectural solution for handwritten character recognition for Bengali alphabets, compound characters as well as numerical digits that achieves state-of-the-art accuracy 96.8% in just 11 epochs. Similar work has been done before by Chatterjee, Swagato, et al. but they achieved 96.12% accuracy in about 47 epochs. The deep neural architecture used in that paper was fairly large considering the inclusion of the weights of the ResNet 50 model which is a 50 layer Residual Network. This proposed model achieves higher accuracy as compared to any previous work & in a little number of epochs. ResNet50 is a good model trained on the ImageNet dataset, but I propose an HCR network that is trained from the scratch on Bengali characters without the "Ensemble Learning" that can outperform previous architectures.


title: Intersections of $\ell^p$ spaces in the Borel hierarchy

abstract: We show that if $Y$ is one of the spaces $\ell^q$, $c_0$, $\ell^\infty$ or ${\textstyle \bigcap_{p > b}} \ell^p$ where $0 < q,b < \infty$, and the Fr\'{e}chet space $\textstyle \bigcap_{p > a} \ell^p$ is contained in $Y$ properly, then $\textstyle \bigcap_{p > a} \ell^p$ first shows up in the Borel hierarchy of $Y$ at the multiplicative class of the third level. In particular $\textstyle \bigcap_{p > a} \ell^p$ is neither an $F_\sigma$ nor a $G_\delta$ subset of $Y$. This answers a question by Nestoridis. This result provides a natural example of a set in the third level of the Borel hierarchy and with its help we also give some examples in the fourth level.


title: Improving Resistance to Adversarial Deformations by Regularizing Gradients

abstract: Improving the resistance of deep neural networks against adversarial attacks is important for deploying models to realistic applications. However, most defense methods are designed to defend against intensity perturbations and ignore location perturbations, which should be equally important for deep model security. In this paper, we focus on adversarial deformations, a typical class of location perturbations, and propose a flow gradient regularization to improve the resistance of models. Theoretically, we prove that, compared with input gradient regularization, regularizing flow gradients is able to get a tighter bound. Over multiple datasets, architectures, and adversarial deformations, our empirical results indicate that models trained with flow gradients can acquire a better resistance than trained with input gradients with a large margin, and also better than adversarial training. Moreover, compared with directly training with adversarial deformations, our method can achieve better results in unseen attacks, and combining these two methods can improve the resistance further.


title: A construction of minimal linear codes from partial difference sets

abstract: In this paper, we study a class of linear codes defined by characteristic functions of certain subsets of a finite field. We derive a sufficient and necessary condition for such a code to be a minimal linear code by a character-theoretical approach. We obtain new three-weight or four-weight minimal linear codes that do not satisfy the Ashikhmin-Barg condition by using partial difference sets. We show that our construction yields minimal linear codes that do not arise from cutting vectorial blocking sets, and also discuss their applications in secret sharing schemes.


title: Large deviations for acyclic networks of queues with correlated Gaussian inputs

abstract: We consider an acyclic network of single-server queues with heterogeneous processing rates. It is assumed that each queue is fed by the superposition of a large number of i.i.d. Gaussian processes with stationary increments and positive drifts, which can be correlated across different queues. The flow of work departing from each server is split deterministically and routed to its neighbors according to a fixed routing matrix, with a fraction of it leaving the network altogether. We study the exponential decay rate of the probability that the steady-state queue length at any given node in the network is above any fixed threshold, also referred to as the "overflow probability". In particular, we first leverage Schilder's sample-path large deviations theorem to obtain a general lower bound for the limit of this exponential decay rate, as the number of Gaussian processes goes to infinity. Then, we show that this lower bound is tight under additional technical conditions. Finally, we show that if the input processes to the different queues are non-negatively correlated, non short-range dependent fractional Brownian motions, and if the processing rates are large enough, then the asymptotic exponential decay rates of the queues coincide with the ones of isolated queues with appropriate Gaussian inputs.


title: On Microstructure Estimation Using Flatbed Scanners for Paper Surface Based Authentication

abstract: Paper surfaces under the microscopic view are observed to be formed by intertwisted wood fibers. Such structures of paper surfaces are unique from one location to another and are almost impossible to duplicate. Previous work used microscopic surface normals to characterize such intrinsic structures as a "fingerprint" of paper for security and forensic applications. In this work, we examine several key research questions of feature extraction in both scientific and engineering aspects to facilitate the deployment of paper surface-based authentication when flatbed scanners are used as the acquisition device. We analytically show that, under the unique optical setup of flatbed scanners, the specular reflection does not play a role in norm map estimation. We verify, using a larger dataset than prior work, that the scanner-acquired norm maps, although blurred, are consistent with those measured by confocal microscopes. We confirm that, when choosing an authentication feature, high spatial-frequency subbands of the heightmap are more powerful than the norm map. Finally, we show that it is possible to empirically calculate the physical dimensions of the paper patch needed to achieve a certain authentication performance in equal error rate (EER). We analytically show that log(EER) is decreasing linearly in the edge length of a paper patch.


title: Abstract nonlinear sensitivity and turnpike analysis and an application to semilinear parabolic PDEs

abstract: We analyze the sensitivity of the extremal equations that arise from the first order necessary optimality conditions of nonlinear optimal control problems with respect to perturbations of the dynamics and of the initial data. To this end, we present an abstract implicit function approach with scaled spaces. We will apply this abstract approach to problems governed by semilinear PDEs. In that context, we prove an exponential turnpike result and show that perturbations of the extremal equation's dynamics, e.g., discretization errors decay exponentially in time. The latter can be used for very efficient discretization schemes in a Model Predictive Controller, where only a part of the solution needs to be computed accurately. We showcase the theoretical results by means of two examples with a nonlinear heat equation on a two-dimensional domain.


title: Longitudinal Image Registration with Temporal-order and Subject-specificity Discrimination

abstract: Morphological analysis of longitudinal MR images plays a key role in monitoring disease progression for prostate cancer patients, who are placed under an active surveillance program. In this paper, we describe a learning-based image registration algorithm to quantify changes on regions of interest between a pair of images from the same patient, acquired at two different time points. Combining intensity-based similarity and gland segmentation as weak supervision, the population-data-trained registration networks significantly lowered the target registration errors (TREs) on holdout patient data, compared with those before registration and those from an iterative registration algorithm. Furthermore, this work provides a quantitative analysis on several longitudinal-data-sampling strategies and, in turn, we propose a novel regularisation method based on maximum mean discrepancy, between differently-sampled training image pairs. Based on 216 3D MR images from 86 patients, we report a mean TRE of 5.6 mm and show statistically significant differences between the different training data sampling strategies.


title: A Regularized System for the Nonlinear Variational Wave Equation

abstract: We derive a new generalization of the nonlinear variational wave equation. We prove existence of local, smooth solutions for this system. As a limiting case, we recover the nonlinear variational wave equation.


title: Inhomogeneous surface tension of chemically active fluid interfaces

abstract: We study the dependence of the surface tension of a fluid interface on the density profile of a third suspended phase. By means of an approximated model for the binary mixture and of a perturbative approach we derive close formulas for the free energy of the system and for the surface tension of the interface. Our results show a remarkable non-monotonous dependence of the surface tension on the peak of the density of the suspended phase. Our results also predict the local value of the surface tension in the case in which the density of the suspended phase is not homogeneous along the interface.


title: Wisdom of the crowds forecasting the 2018 FIFA Men's World Cup

abstract: The FIFA Men's World Cup Tournament (WCT) is the most important football (soccer) competition, attracting worldwide attention. A popular practice among football fans in Brazil is to organize contests in which each participant informs guesses on the final score of each match. The participants are then ranked according to some scoring rule. Inspired by these contests, we created a website to hold an online contest, in which participants were asked for their probabilities on the outcomes of upcoming matches of the WCT. After each round of the tournament, the ranking of all users based on a proper scoring rule were published. This paper studies the performance of some methods intended to extract the wisdom of the crowds, which are aggregated forecasts that uses some or all of the forecasts available. The later methods are compared to simpler forecasting strategies as well as to statistical prediction models. Our findings corroborate the hypothesis that, at least for sporting events, the wisdom of the crowds offers a competitive forecasting strategy. Specifically, some of these strategies were able to achieve high scores in our contest.


title: Accelerating Sparse DNN Models without Hardware-Support via Tile-Wise Sparsity

abstract: Network pruning can reduce the high computation cost of deep neural network (DNN) models. However, to maintain their accuracies, sparse models often carry randomly-distributed weights, leading to irregular computations. Consequently, sparse models cannot achieve meaningful speedup on commodity hardware (e.g., GPU) built for dense matrix computations. As such, prior works usually modify or design completely new sparsity-optimized architectures for exploiting sparsity. We propose an algorithm-software co-designed pruning method that achieves latency speedups on existing dense architectures. Our work builds upon the insight that the matrix multiplication generally breaks the large matrix into multiple smaller tiles for parallel execution. We propose a tiling-friendly "tile-wise" sparsity pattern, which maintains a regular pattern at the tile level for efficient execution but allows for irregular, arbitrary pruning at the global scale to maintain the high accuracy. We implement and evaluate the sparsity pattern on GPU tensor core, achieving a 1.95x speedup over the dense model.


title: Non-monotonic fluidization generated by fluctuating edge tensions in confluent tissues

abstract: In development and homeostasis, multi-cellular systems exhibit spatial and temporal heterogeneity in their biochemical and mechanical properties. Nevertheless, it remains unclear how spatiotemporally heterogeneous forces affect the dynamical and mechanical properties of confluent tissue. To address this question, we study the dynamical behavior of the two-dimensional cellular vertex model for epithelial monolayers in the presence of fluctuating cell-cell interfacial tensions, which is a biologically relevant source of mechanical spatiotemporal heterogeneity. In particular, we investigate the effects of the amplitude and persistence time of fluctuating tension on the tissue dynamics. We unexpectedly find that the long-time diffusion constant describing cell rearrangements depends non-monotonically on the persistence time, while it increases monotonically as the amplitude increases. Our analysis indicates that at low and intermediate persistence times tension fluctuations drive motion of vertices and promote cell rearrangements, while at the highest persistence times the tension in the network evolves so slowly that rearrangements become rare.


title: K\"ahler spaces with zero first Chern class: Bochner principle, Albanese map and fundamental groups

abstract: Let $X$ be a compact K\"ahler space with klt singularities and vanishing first Chern class. We prove the Bochner principle for holomorphic tensors on the smooth locus of $X$: any such tensor is parallel with respect to the singular Ricci-flat metrics. As a consequence, after a finite quasi-\'etale cover $X$ splits off a complex torus of the maximum possible dimension. We then proceed to decompose the tangent sheaf of $X$ according to its holonomy representation. In particular, we classify those $X$ which have strongly stable tangent sheaf: up to quasi-\'etale covers, these are either irreducible Calabi--Yau or irreducible holomorphic symplectic. As an application of these results, we show that if $X$ has dimension four, then it satisfies Campana's Abelianity Conjecture.


title: Security Awareness of End-Users of Mobile Health Applications: An Empirical Study

abstract: Mobile systems offer portable and interactive computing, empowering users, to exploit a multitude of context-sensitive services, including mobile healthcare. Mobile health applications (i.e., mHealth apps) are revolutionizing the healthcare sector by enabling stakeholders to produce and consume healthcare services. A widespread adoption of mHealth technologies and rapid increase in mHealth apps entail a critical challenge, i.e., lack of security awareness by end-users regarding health-critical data. This paper presents an empirical study aimed at exploring the security awareness of end-users of mHealth apps. We collaborated with two mHealth providers in Saudi Arabia to gather data from 101 end-users. The results reveal that despite having the required knowledge, end-users lack appropriate behaviour , i.e., reluctance or lack of understanding to adopt security practices, compromising health-critical data with social, legal, and financial consequences. The results emphasize that mHealth providers should ensure security training of end-users (e.g., threat analysis workshops), promote best practices to enforce security (e.g., multi-step authentication), and adopt suitable mHealth apps (e.g., trade-offs for security vs usability). The study provides empirical evidence and a set of guidelines about security awareness of mHealth apps.


title: The Minkowski-Bellman Equation

abstract: This manuscript studies the Minkowski-Bellman equation, which is the Bellman equation arising from finite or infinite horizon optimal control of unconstrained linear discrete time systems with stage and terminal cost functions specified as Minkowski functions of proper C-sets. In regards to the finite horizon optimal control, it is established that, under natural conditions, the Minkowski-Bellman equation and its iteration are well posed. The characterization of the value functions and optimizer maps is derived. In regards to the infinite horizon optimal control, it is demonstrated that, under the same natural conditions, the fixed point of the Minkowski-Bellman equation is unique, in terms of the value function, over the space of Minkowski functions of proper C-sets. The characterization of the fixed point value function and optimizer map is reported.


title: Two bipolynomial Roth theorems in $\mathbb{R}$

abstract: We give two Roth theorems, related to the nonlinear configuration $x$, $x+P_1(t)$, $x+P_2(t)$ involving two polynomials, for sets in $\mathbb{R}$ of positive density and of fractional dimensions. The proof uses Fourier analysis.