title: Computational LEGO Technic Design

abstract: We introduce a method to automatically compute LEGO Technic models from user input sketches, optionally with motion annotations. The generated models resemble the input sketches with coherently-connected bricks and simple layouts, while respecting the intended symmetry and mechanical properties expressed in the inputs. This complex computational assembly problem involves an immense search space, and a much richer brick set and connection mechanisms than regular LEGO. To address it, we first comprehensively model the brick properties and connection mechanisms, then formulate the construction requirements into an objective function, accounting for faithfulness to input sketch, model simplicity, and structural integrity. Next, we model the problem as a sketch cover, where we iteratively refine a random initial layout to cover the input sketch, while guided by the objective. At last, we provide a working system to analyze the balance, stress, and assemblability of the generated model. To evaluate our method, we compared it with four baselines and professional designs by a LEGO expert, demonstrating the superiority of our automatic designs. Also, we recruited several users to try our system, employed it to create models of varying forms and complexities, and physically built most of them.


title: Blind Inverse Gamma Correction with Maximized Differential Entropy

abstract: Unwanted nonlinear gamma distortion frequently occurs in a great diversity of images during the procedures of image acquisition, processing, and/or display. And the gamma distortion often varies with capture setup change and luminance variation. Blind inverse gamma correction, which automatically determines a proper restoration gamma value from a given image, is of paramount importance to attenuate the distortion. For blind inverse gamma correction, an adaptive gamma transformation method (AGT-ME) is proposed directly from a maximized differential entropy model. And the corresponding optimization has a mathematical concise closed-form solution, resulting in efficient implementation and accurate gamma restoration of AGT-ME. Considering the human eye has a non-linear perception sensitivity, a modified version AGT-ME-VISUAL is also proposed to achieve better visual performance. Tested on variable datasets, AGT-ME could obtain an accurate estimation of a large range of gamma distortion (0.1 to 3.0), outperforming the state-of-the-art methods. Besides, the proposed AGT-ME and AGT-ME-VISUAL were applied to three typical applications, including automatic gamma adjustment, natural/medical image contrast enhancement, and fringe projection profilometry image restoration. Furthermore, the AGT-ME/ AGT-ME-VISUAL is general and can be seamlessly extended to the masked image, multi-channel (color or spectrum) image, or multi-frame video, and free of the arbitrary tuning parameter. Besides, the corresponding Python code (https://github.com/yongleex/AGT-ME) is also provided for interested users.


title: Motivic and \'Etale Spanier-Whitehead duality and the Becker-Gottlieb transfer

abstract: In this paper, we develop a theory of Becker-Gottlieb transfer based on Spanier-Whitehead duality that holds in both the motivic and \'etale settings for smooth quasi-projective varieties in as broad a context as possible: for example, for varieties over non-separably closed fields in all characteristics, and also for both the \'etale and motivic settings. In view of the fact that the most promising applications of the traditional Becker-Gottlieb transfer has been to torsors and Borel-style equivariant cohomology theories, we focus our applications to motivic cohomology theories for torsors as well as Borel-style equivariant motivic cohomology theories, both defined with respect to motivic spectra. We obtain several results in this direction, including a stable splitting in generalized motivic cohomology theories. Various further applications will be discussed in forthcoming papers.


title: CIDMP: Completely Interpretable Detection of Malaria Parasite in Red Blood Cells using Lower-dimensional Feature Space

abstract: Predicting if red blood cells (RBC) are infected with the malaria parasite is an important problem in Pathology. Recently, supervised machine learning approaches have been used for this problem, and they have had reasonable success. In particular, state-of-the-art methods such as Convolutional Neural Networks automatically extract increasingly complex feature hierarchies from the image pixels. While such generalized automatic feature extraction methods have significantly reduced the burden of feature engineering in many domains, for niche tasks such as the one we consider in this paper, they result in two major problems. First, they use a very large number of features (that may or may not be relevant) and therefore training such models is computationally expensive. Further, more importantly, the large feature-space makes it very hard to interpret which features are truly important for predictions. Thus, a criticism of such methods is that learning algorithms pose opaque black boxes to its users, in this case, medical experts. The recommendation of such algorithms can be understood easily, but the reason for their recommendation is not clear. This is the problem of non-interpretability of the model, and the best-performing algorithms are usually the least interpretable. To address these issues, in this paper, we propose an approach to extract a very small number of aggregated features that are easy to interpret and compute, and empirically show that we obtain high prediction accuracy even with a significantly reduced feature-space.


title: Additivity and Double Coset formulae for the Motivic and \'Etale Becker-Gottlieb transfer

abstract: In this paper, which is a continuation of earlier work by the first author and Gunnar Carlsson, one of the first results we establish is the additivity of the motivic Becker-Gottlieb transfer, as well as their \'etale realizations. This extends the additivity results the authors already established for the corresponding traces. We then apply this to derive several important consequences: for example, in addition to obtaining the analogues of various double coset formulae known in the classical setting of algebraic topology, we also obtain applications to Brauer groups of homogeneous spaces associated to reductive groups over separably closed fields. We also consider the relationship between the transfer on schemes provided with a compatible action by a $1$-parameter subgroup and the transfer associated to the fixed point scheme of the $1$-parameter subgroup.


title: Stereo Visual Inertial Pose Estimation Based on Feedforward-Feedback Loops

abstract: In this paper, we present a novel stereo visual inertial pose estimation method. Compared to the widely used filter-based or optimization-based approaches, the pose estimation process is modeled as a control system. Designed feedback or feedforward loops are introduced to achieve the stable control of the system, which include a gradient decreased feedback loop, a roll-pitch feed forward loop and a bias estimation feedback loop. This system, named FLVIS (Feedforward-feedback Loop-based Visual Inertial System), is evaluated on the popular EuRoc MAV dataset. FLVIS achieves high accuracy and robustness with respect to other state-of-the-art visual SLAM approaches. The system has also been implemented and tested on a UAV platform. The source code of this research is public to the research community.


title: Ph.D. in physics as a hurdle race, and the "glass hurdles" for women

abstract: On their way to an academic career in physics, Ph.D. students have to overcome difficulties at many levels. Beyond the intellectual challenge, there are also psychological, social and economic barriers. We studied the difficulties experienced by physics Ph.D. students in the Israeli universities, with special attention to gender-related issues. Among the hurdles that are much more significant for women than for men -- that we call ``the glass hurdles" -- we find gender-related discrimination, sexual harassment, physiological and psychological health issues, and challenges related to pregnancy and parenthood. We make recommendations for ways to confront and remove these barriers in order to provide female physicists with an equal opportunity to succeed.


title: Spatial-Angular Attention Network for Light Field Reconstruction

abstract: Typical learning-based light field reconstruction methods demand in constructing a large receptive field by deepening the network to capture correspondences between input views. In this paper, we propose a spatial-angular attention network to perceive correspondences in the light field non-locally, and reconstruction high angular resolution light field in an end-to-end manner. Motivated by the non-local attention mechanism, a spatial-angular attention module specifically for the high-dimensional light field data is introduced to compute the responses from all the positions in the epipolar plane for each pixel in the light field, and generate an attention map that captures correspondences along the angular dimension. We then propose a multi-scale reconstruction structure to efficiently implement the non-local attention in the low spatial scale, while also preserving the high frequency components in the high spatial scales. Extensive experiments demonstrate the superior performance of the proposed spatial-angular attention network for reconstructing sparsely-sampled light fields with non-Lambertian effects.


title: Solution of the Monoenergetic Neutron Transport Equation in a Half Space

abstract: The analytical solution of neutron transport equation has fascinated mathematicians and physicists alike since the Milne half-space problem was introduce in 1921 [1]. Numerous numerical solutions exist, but understandably, there are only a few analytical solutions, with the prominent one being the singular eigenfunction expansion (SEE) introduced by Case [2] in 1960. For the half-space, the method, though yielding, an elegant analytical form resulting from half-range completeness, requires numerical evaluation of complicated integrals. In addition, one finds closed form analytical expressions only for the infinite medium and half-space cases. One can find the flux in a slab only iteratively. That is to say, in general one must expend a considerable numerical effort to get highly precise benchmarks from SEE. As a result, investigators have devised alternative methods, such as the CN [3], FN [4] and Greens Function Method (GFM) [5] based on the SEE have been devised. These methods take the SEE at their core and construct a numerical method around the analytical form. The FN method in particular has been most successful in generating highly precise benchmarks. No method yielding a precise numerical solution has yet been based solely on a fundamental discretization until now. Here, we show for the albedo problem with a source on the vacuum boundary of a homogeneous medium, a precise numerical solution is possible via Lagrange interpolation over a discrete set of directions.


title: Positive Liouville theorem and asymptotic behaviour for $(p,A)$-Laplacian type elliptic equations with Fuchsian potentials in Morrey space

abstract: We study Liouville-type theorems and the asymptotic behaviour of positive solutions near an isolated singular point $\zeta\in\partial\Omega\cup\{\infty\}$ of the quasilinear elliptic equations $$-\text{div}(|\nabla u|_A^{p-2}A\nabla u)+V|u|^{p-2}u =0\quad\text{in } \Omega\setminus\{\zeta\},$$ where $\Omega$ is a domain in $\mathbb{R}^d$ ($d\geq 2$), and $A=(a_{ij})\in L_{\rm loc}^{\infty}(\Omega;\mathbb{R}^{d\times d})$ is a symmetric and locally uniformly positive definite matrix. The potential $V$ lies in a certain local Morrey space (depending on $p$) and has a Fuchsian-type isolated singularity at $\zeta$.


title: Are chain-complete posets co-wellpowered?

abstract: We show that the category of chain-complete posets is co-wellpowered, which corrects the previous version.


title: A universal, plug-and-play synchronisation scheme for practical quantum networks

abstract: We propose and experimentally demonstrate a plug-and-play, practical, and enabling method allowing to synchronize the building blocks of a quantum network in an all-optical way. Our scheme relies on mature and reliable classical telecommunication and non-linear optical technologies and can be implemented in a universal way with off-the-shelf components. Compared to already reported solutions, it allows achieving high-quality synchronization compatible with high network-operation rate and is free from opto-electronic jitters affecting servo-loop based configurations. We test our scheme with a genuine quantum optical method in terms of the interference between two photons coming from two remotely synchronized sources spaced by distances of up to 100 km. Measured visibilities well above 90% confirm the validity of our approach. Due its simplicity and high-quality performance, our scheme paves the way for the synchronization of long-distance quantum networks based on fibre, free-space, as well as hybrid solutions.


title: Bavard's duality theorem for mixed commutator length

abstract: Let $N$ be a normal subgroup of a group $G$. A quasimorphism $f$ on $N$ is $G$-invariant if $f(gxg^{-1}) = f(x)$ for every $g \in G$ and every $x \in N$. The goal in this paper is to establish Bavard's duality theorem of $G$-invariant quasimorphisms, which was previously proved by Kawasaki and Kimura in the case $N = [G,N]$. Our duality theorem provides a connection between $G$-invariant quasimorphisms and $(G,N)$-commutator lengths. Here for $x \in [G,N]$, the $(G,N)$-commutator length $\mathrm{cl}_{G,N}(x)$ of $x$ is the minimum number $n$ such that $x$ is a product of $n$ commutators which are written as $[g,x]$ with $g \in G$ and $h \in N$. In the proof, we give a geometric interpretation of $(G,N)$-commutator lengths. As an application of our Bavard duality, we obtain a sufficient condition on a pair $(G,N)$ under which $\mathrm{scl}_G$ and $\mathrm{scl}_{G,N}$ are bi-Lipschitzly equivalent on $[G,N]$.


title: Bifurcations of thresholds in essential spectra of elliptic operators under localized non-Hermitian perturbations

abstract: We consider the operator $${\cal H} = {\cal H}' -\frac{\partial^2\ }{\partial x_d^2} \quad\text{on}\quad\omega\times\mathbb{R}$$ subject to the Dirichlet or Robin condition, where a domain $\omega\subseteq\mathbb{R}^{d-1}$ is bounded or unbounded. The symbol ${\cal H}'$ stands for a second order self-adjoint differential operator on $\omega$ such that the spectrum of the operator ${\cal H}'$ contains several discrete eigenvalues $\Lambda_{j}$, $j=1,\ldots, m$. These eigenvalues are thresholds in the essential spectrum of the operator ${\cal H}$. We study how these thresholds bifurcate once we add a small localized perturbation $\epsilon{\cal L}(\epsilon)$ to the operator ${\cal H}$, where $\epsilon$ is a small positive parameter and ${\cal L}(\epsilon)$ is an abstract, not necessarily symmetric operator. We show that these thresholds bifurcate into eigenvalues and resonances of the operator ${\cal H}$ in the vicinity of $\Lambda_j$ for sufficiently small $\epsilon$. We prove effective simple conditions determining the existence of these resonances and eigenvalues and find the leading terms of their asymptotic expansions. Our analysis applies to generic non-self-adjoint perturbations and, in particular, to perturbations characterized by the parity-time ($PT$) symmetry. Potential applications of our result embrace a broad class of physical systems governed by dispersive or diffractive effects. We use our findings to develop a scheme for a controllable generation of non-Hermitian optical states with normalizable power and real part of the complex-valued propagation constant lying in the continuum. The corresponding eigenfunctions can be interpreted as an optical generalization of bound states embedded in the continuum. For a particular example, the persistence of asymptotic expansions is confirmed with direct numerical evaluation of the perturbed spectrum.


title: EmotionGIF-Yankee: A Sentiment Classifier with Robust Model Based Ensemble Methods

abstract: This paper provides a method to classify sentiment with robust model based ensemble methods. We preprocess tweet data to enhance coverage of tokenizer. To reduce domain bias, we first train tweet dataset for pre-trained language model. Besides, each classifier has its strengths and weakness, we leverage different types of models with ensemble methods: average and power weighted sum. From the experiments, we show that our approach has achieved positive effect for sentiment classification. Our system reached third place among 26 teams from the evaluation in SocialNLP 2020 EmotionGIF competition.


title: Irreducible Jet modules for the vector field Lie algebra on $\mathbb{S}^1\times \mathbb{C}$

abstract: For a commutative algebra $A$ over $\mathbb{C}$,denote $\mathfrak{g}=\text{Der}(A)$. A module over the smash product $A\# U(\mathfrak{g})$ is called a jet $\mathfrak{g}$-module, where $U(\mathfrak{g})$ is the universal enveloping algebra of $\mathfrak{g}$.In the present paper, we study jet modules in the case of $A=\mathbb{C}[t_1^{\pm 1},t_2]$.We show that $A\#U(\mathfrak{g})\cong\mathcal{D}\otimes U(L)$, where $\mathcal{D}$ is the Weyl algebra $\mathbb{C}[t_1^{\pm 1},t_2, \frac{\partial}{\partial t_1},\frac{\partial}{\partial t_2}]$, and $L$ is a Lie subalgebra of $A\# U(\mathfrak{g})$ called the jet Lie algebra corresponding to $\mathfrak{g}$.Using a Lie algebra isomorphism $\theta:L \rightarrow \mathfrak{m}_{1,0}\Delta$, where $\mathfrak{m}_{1,0}\Delta$ is the subalgebra of vector fields vanishing at the point $(1,0)$, we show that any irreducible finite dimensional $L$-module is isomorphic to an irreducible $\mathfrak{gl}_2$-module. As an application, we give tensor product realizations of irreducible jet modules over $\mathfrak{g}$ with uniformly bounded weight spaces.


title: A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs

abstract: The paper gives a detailed presentation of a framework, embedded into the simply typed higher-order logic and aimed at the support of sound and structured reasoning about various properties of models of imperative programs with interleaved computations. As a case study, a model of the Peterson's mutual exclusion algorithm will be scrutinised in the course of the paper illustrating applicability of the framework.


title: Regularity of multi-parameter Fourier integral operator

abstract: We study a family of Fourier integral operators, by allowing their symbols to satisfy a multi-parameter differential inequality. We extend the sharp L^p-result obtained by Seeger, Sogge and Stein to product spaces.


title: Universal non-resonant explanation to charmoniumlike structures $Z_c(3885)$ and $Z_c(4025)$

abstract: Different from the usual tetraquark assignment to charged $Z_c(3885)$ and $Z_c(4025)$ charmoniumlike structures, in this letter we propose a universal non-resonant explanation to decode these $Z_c$'s, which is based on a special dynamical behavior of $e^+e^-\to D^{(*)}\bar{D}^*\pi$. Our study shows that $Z_c(3885)$ and $Z_c(4025)$ are only the reflection from the $P$-wave charmed meson $D_1(2420)$ involved in $e^+e^-\to D^{(*)}\bar{D}^*\pi$. Obviously, the present work provides a unique perspective, which can be examined by future experiments like BESIII and BelleII.


title: Ultrahigh efficient spin-orbit torque magnetization switching in all-sputtered topological insulator - ferromagnet multilayers

abstract: Spin-orbit torque (SOT) magnetization switching of ferromagnets with large perpendicular magnetic anisotropy has a great potential for the next-generation non-volatile magnetoresistive random-access memory (MRAM). It requires a high-performance pure spin current source with a large spin Hall angle and high electrical conductivity, which can be fabricated by a mass production technique. In this work, we demonstrate ultrahigh efficient and robust SOT magnetization switching in all-sputtered BiSb topological insulator - perpendicularly magnetized Co/Pt multilayers. Despite fabricated by the industry-friendly magnetron sputtering instead of the laboratory molecular beam epitaxy, the topological insulator layer, BiSb, shows a large spin Hall angle of $\theta$$_{SH}$ = 12.3 and high electrical conductivity of $\sigma$ = 1.5x$10^5$ $\Omega^{-1}$m$^{-1}$. Our results demonstrate the mass production capability of BiSb topological insulator for implementation of ultralow power SOT-MRAM and other SOT-based spintronic devices.


title: AM-GCN: Adaptive Multi-channel Graph Convolutional Networks

abstract: Graph Convolutional Networks (GCNs) have gained great popularity in tackling various analytics tasks on graph and network data. However, some recent studies raise concerns about whether GCNs can optimally integrate node features and topological structures in a complex graph with rich information. In this paper, we first present an experimental investigation. Surprisingly, our experimental results clearly show that the capability of the state-of-the-art GCNs in fusing node features and topological structures is distant from optimal or even satisfactory. The weakness may severely hinder the capability of GCNs in some classification tasks, since GCNs may not be able to adaptively learn some deep correlation information between topological structures and node features. Can we remedy the weakness and design a new type of GCNs that can retain the advantages of the state-of-the-art GCNs and, at the same time, enhance the capability of fusing topological structures and node features substantially? We tackle the challenge and propose an adaptive multi-channel graph convolutional networks for semi-supervised classification (AM-GCN). The central idea is that we extract the specific and common embeddings from node features, topological structures, and their combinations simultaneously, and use the attention mechanism to learn adaptive importance weights of the embeddings. Our extensive experiments on benchmark data sets clearly show that AM-GCN extracts the most correlated information from both node features and topological structures substantially, and improves the classification accuracy with a clear margin.


title: Adverse event enrichment tests using VAERS

abstract: Vaccination safety is critical for individual and public health. Many existing methods have been used to conduct safety studies with the VAERS (Vaccine Adverse Event Reporting System) database. However, these methods frequently identify many adverse event (AE) signals and they are often hard to interpret in a biological context. The AE ontology introduces biologically meaningful structures to the VAERS database by connecting similar AEs, which provides meaningful interpretation for the underlying safety issues. In this paper, we develop rigorous statistical methods to identify "interesting" AE groups by performing AE enrichment analysis. We extend existing gene enrichment tests to perform AE enrichment analysis. Unlike the continuous gene expression data, AE data are counts. Therefore, AE data has many zeros and ties. We propose two enrichment tests, AEFisher and AEKS. AEFisher is a modified Fisher's exact test based on pre-selected significant AEs, while AEKS is based on a modified Kolmogorov-Smirnov statistic. Both tests incorporate the special features of the AE data. The proposed methods were evaluated using simulation studies and were further illustrated on two studies using VAERS data. By appropriately addressing the issues of ties and excessive zeros in AE count data, our enrichment tests performed well as demonstrated by simulation studies and analyses of VAERS data. The proposed methods were implemented in R package AEenrich and can be installed from the Comprehensive R Archive Network, CRAN.


title: Deep Learning based Dimple Segmentation for Quantitative Fractography

abstract: In this work, we try to address the challenging problem of dimple detection and segmentation in Titanium alloys using machine learning methods, especially neural networks. The images i.e. fractographs are obtained using a Scanning Election Microscope (SEM). To determine the cause of fracture in metals we address the problem of segmentation of dimples in fractographs i.e. the fracture surface of metals using supervised machine learning methods. Determining the cause of fracture would help us in material property, mechanical property prediction and development of new fracture-resistant materials. This method would also help in correlating the topography of the fracture surface with the mechanical properties of the material. Our proposed novel model achieves the best performance as compared to other previous approaches. To the best of our knowledge, this is one the first work in fractography using fully convolutional neural networks with self-attention for supervised learning of dimple fractography, though it can be easily extended to account for brittle characteristics as well.


title: Image Aesthetics Prediction Using Multiple Patches Preserving the Original Aspect Ratio of Contents

abstract: The spread of social networking services has created an increasing demand for selecting, editing, and generating impressive images. This trend increases the importance of evaluating image aesthetics as a complementary function of automatic image processing. We propose a multi-patch method, named MPA-Net (Multi-Patch Aggregation Network), to predict image aesthetics scores by maintaining the original aspect ratios of contents in the images. Through an experiment involving the large-scale AVA dataset, which contains 250,000 images, we show that the effectiveness of the equal-interval multi-patch selection approach for aesthetics score prediction is significant compared to the single-patch prediction and random patch selection approaches. For this dataset, MPA-Net outperforms the neural image assessment algorithm, which was regarded as a baseline method. In particular, MPA-Net yields a 0.073 (11.5%) higher linear correlation coefficient (LCC) of aesthetics scores and a 0.088 (14.4%) higher Spearman's rank correlation coefficient (SRCC). MPA-Net also reduces the mean square error (MSE) by 0.0115 (4.18%) and achieves results for the LCC and SRCC that are comparable to those of the state-of-the-art continuous aesthetics score prediction methods. Most notably, MPA-Net yields a significant lower MSE especially for images with aspect ratios far from 1.0, indicating that MPA-Net is useful for a wide range of image aspect ratios. MPA-Net uses only images and does not require external information during the training nor prediction stages. Therefore, MPA-Net has great potential for applications aside from aesthetics score prediction such as other human subjectivity prediction.


title: Rethinking Bottleneck Structure for Efficient Mobile Network Design

abstract: The inverted residual block is dominating architecture design for mobile networks recently. It changes the classic residual bottleneck by introducing two design rules: learning inverted residuals and using linear bottlenecks. In this paper, we rethink the necessity of such design changes and find it may bring risks of information loss and gradient confusion. We thus propose to flip the structure and present a novel bottleneck design, called the sandglass block, that performs identity mapping and spatial transformation at higher dimensions and thus alleviates information loss and gradient confusion effectively. Extensive experiments demonstrate that, different from the common belief, such bottleneck structure is more beneficial than the inverted ones for mobile networks. In ImageNet classification, by simply replacing the inverted residual block with our sandglass block without increasing parameters and computation, the classification accuracy can be improved by more than 1.7% over MobileNetV2. On Pascal VOC 2007 test set, we observe that there is also 0.9% mAP improvement in object detection. We further verify the effectiveness of the sandglass block by adding it into the search space of neural architecture search method DARTS. With 25% parameter reduction, the classification accuracy is improved by 0.13% over previous DARTS models. Code can be found at: https://github.com/zhoudaquan/rethinking_bottleneck_design.


title: Insight into Potential Well Based Nanoscale FDSOI MOSFET Using Doped Silicon Tubs- A Simulation and Device Physics Based Study: Part I: Theory and Methodology

abstract: A novel planar device having doped silicon regions (tubs) under the source and drain of an FDSOI MOSFET is reported at 20 nm gate length. The doped silicon regions result in formation of potential wells (PW) in the source and drain regions of FDSOI MOSFET and thus, the device being called as Potential Well Based FDSOI MOSFET (PWFDSOI MOSFET). Simulation and device physics study on PWFDSOI MOSFET showed reduction in the OFF current of the device by orders of magnitude. A low IOF F of 22 pA/um, high ION /IOF F ratio of 1.5 x 107 and subthreshold swing of 76 mV/decade were achieved in 20 nm gate length PWFDSOI MOSFET. The study was performed on devices with unstrained silicon channel.


title: Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems

abstract: We propose algorithms for performing model checking and control synthesis for discrete-time uncertain systems under linear temporal logic (LTL) specifications. We construct temporal logic trees (TLT) from LTL formulae via reachability analysis. In contrast to automaton-based methods, the construction of the TLT is abstraction-free for infinite systems, that is, we do not construct discrete abstractions of the infinite systems. Moreover, for a given transition system and an LTL formula, we prove that there exist both a universal TLT and an existential TLT via minimal and maximal reachability analysis, respectively. We show that the universal TLT is an underapproximation for the LTL formula and the existential TLT is an overapproximation. We provide sufficient conditions and necessary conditions to verify whether a transition system satisfies an LTL formula by using the TLT approximations. As a major contribution of this work, for a controlled transition system and an LTL formula, we prove that a controlled TLT can be constructed from the LTL formula via control-dependent reachability analysis. Based on the controlled TLT, we design an online control synthesis algorithm, under which a set of feasible control inputs can be generated at each time step. We also prove that this algorithm is recursively feasible. We illustrate the proposed methods for both finite and infinite systems and highlight the generality and online scalability with two simulated examples.


title: Automatically Generating Codes from Graphical Screenshots Based on Deep Autocoder

abstract: During software front-end development, the work to convert Graphical User Interface(GUI) image to the corresponding front-end code is an inevitable tedious work. There have been some attempts to make this work to be automatic. However, the GUI code generated by these models is not accurate due to the lack of attention mechanism guidance. To solve this problem, we propose PixCoder based on an artificially supervised attention mechanism. The approach is to train a neural network to predict the style sheets in the input GUI image and then output a vector. PixCoder generate the GUI code targeting specific platform according to the output vector. The experimental results have shown the accuracy of the GUI code generated by PixCoder is over 95%.


title: Charm meson couplings in hard-wall Holographic QCD

abstract: The four-flavor hard-wall holographic QCD is studied to evaluate the couplings of $(D^{_{-(*-)}}, \bar{D}^{_0}, a_1^{_-})$, $(D^{_{-(*-)}}, \bar{D}^{_0}, b_1^{_-})$, $(D_{s}^{_{-(*-)}},\bar{D}^{_0}, K_{1A}^{_-})$, $(D_s^{_{-(*-)}}, \bar{D}^{_0}, K_{1B}^{_{-(*-)}})$, $(D_s^{_{+(*+)}}, D^{_+}, K_{1A}^{_0})$, $(D_s^{_{+(*+)}}, D^{_+}, K_{1B}^{_0})$, $(D^{_{-(*-)}}, \bar{D}^{_{0(*0)}}, \rho^{_-})$, $(D_s^{_{-(*-)}}, \bar{D}^{_{0(*0)}}, K^{_{*-}})$, $(D^{_{0(*0)}}, \bar{D}^{_{0(*0)}}, \psi)$, $(D_1^{_-}, \bar{D}_1^{_0}, \pi^{_-})$, $(D_{s1}^{_-}, \bar{D}_1^{_0}, K^{_{-}})$, $(D_1^{_0}, \bar{D}_1^{_0}, \eta_c)$, $(\psi, D^{_{0(*0)}}, D^{_+}, \pi^{_-})$, $(\psi, D^{_{0(*0)}}, \bar{D}^{_0}, \pi^{_0})$, $(\psi, D_{s}^{_{+(*+)}}, D^{_-}, K^{_0})$, $(\psi, D^{_{0(*0)}}, D^{_+}, a_1^{_-})$, $(\psi, D^{_{0(*0)}}, D^{_+}, b_1^{_-})$, $(\psi, D_s^{_{+(*+)}}, D^{_-}, K_{1B}^{_0})$ and $(\psi, D_s^{_{+(*+)}}, D^{_-}, K_{1B}^{_0})$ vertices. Moreover, the values of the masses of $D^{_{0(*0)}}$, $D_s^{_{-(*-)}}$, $\omega$, $\psi$, $D_1^{_0}$, $D_1^{_{-}}$, $K^0$, $\eta_{c}$, $D_{s1}^{_-}$ and $\chi_{_{c1}}$ as well as the decay constant of $\pi^-$, $D^{_{-(*-)}}$, $K^-$, $\rho^-$, $D_1^{_-}$ , $a_1^-$ and $D_s^{_{-(*-)}}$ are estimated in this study. A comparison is also made between our results and the experimental values of the masses and decay constants. Our results for strong couplings are also compared with the 3PSR and LCSR predictions.


title: Turbulent cascade induced persistent current of cold atomic superfluids

abstract: Dissipating of disorder quantum vortices in an annular two-dimensional Bose-Einstein condensate can form a macroscopic persistent flow of atoms. We propose a protocol to create persistent flow with high winding number based on a double concentric ring-shaped configuration. We find that a sudden geometric quench of the trap from single ring-shape into double concentric ring-shape will enhance the circulation flow in the outer ring-shaped region of the trap when the initial state of the condensate is with randomly distributed vortices of the same charge. The circulation flows that we created are with high stability and good uniformity free from topological excitations. Our study is promising for new atomtronic designing, and is also helpful for quantitatively understanding quantum tunneling and interacting quantum systems driven far from equilibrium.


title: Computation of refined toric invariants II

abstract: In 2015, G.~Mikhalkin introduced a refined count for real rational curves in toric surfaces. The counted curves have to pass through some real and complex points located on the toric boundary of the surface, and the count is refined according to the value of a so called quantum index. This count happens only to depend on the number of complex points on each toric divisors, leading to an invariant. First, we give a way to compute the quantum index of any oriented real rational curve, getting rid of the previously needed "purely imaginary" assumption on the complex points. Then, we use the tropical geometry approach to relate these classical refined invariants to tropical refined invariants, defined using Block-G\"ottsche multiplicity. This generalizes the result of Mikhalkin relating both invariants in the case where all the points are real, and the result of the author where complex points are located on a single toric divisor.


title: Probing axion dark matter with 21cm fluctuations from minihalos

abstract: If the symmetry breaking inducing the axion occurs after the inflation, the large axion isocurvature perturbations can arise due to a different axion amplitude in each causally disconnected patch. This causes the enhancement of the small-scale density fluctuations which can significantly affect the evolution of structure formation. The epoch of the small halo formation becomes earlier and we estimate the abundance of those minihalos which can host the neutral hydrogen atoms to result in the 21cm fluctuation signals. We find that the future radio telescopes, such as the SKA, can put the axion mass bound of order $m_a \gtrsim 10^{-13}$ eV for the simple temperature-independent axion mass model, and the bound can be extended to of order $m_a \gtrsim 10^{-8}$eV for a temperature-dependent axion mass.


title: Weakly Supervised Domain Adaptation for Built-up Region Segmentation in Aerial and Satellite Imagery

abstract: This paper proposes a novel domain adaptation algorithm to handle the challenges posed by the satellite and aerial imagery, and demonstrates its effectiveness on the built-up region segmentation problem. Built-up area estimation is an important component in understanding the human impact on the environment, the effect of public policy, and general urban population analysis. The diverse nature of aerial and satellite imagery and lack of labeled data covering this diversity makes machine learning algorithms difficult to generalize for such tasks, especially across multiple domains. On the other hand, due to the lack of strong spatial context and structure, in comparison to the ground imagery, the application of existing unsupervised domain adaptation methods results in the sub-optimal adaptation. We thoroughly study the limitations of existing domain adaptation methods and propose a weakly-supervised adaptation strategy where we assume image-level labels are available for the target domain. More specifically, we design a built-up area segmentation network (as encoder-decoder), with an image classification head added to guide the adaptation. The devised system is able to address the problem of visual differences in multiple satellite and aerial imagery datasets, ranging from high resolution (HR) to very high resolution (VHR). A realistic and challenging HR dataset is created by hand-tagging the 73.4 sq-km of Rwanda, capturing a variety of build-up structures over different terrain. The developed dataset is spatially rich compared to existing datasets and covers diverse built-up scenarios including built-up areas in forests and deserts, mud houses, tin, and colored rooftops. Extensive experiments are performed by adapting from the single-source domain, to segment out the target domain. We achieve high gains ranging 11.6%-52% in IoU over the existing state-of-the-art methods.


title: TilinGNN: Learning to Tile with Self-Supervised Graph Neural Network

abstract: We introduce the first neural optimization framework to solve a classical instance of the tiling problem. Namely, we seek a non-periodic tiling of an arbitrary 2D shape using one or more types of tiles: the tiles maximally fill the shape's interior without overlaps or holes. To start, we reformulate tiling as a graph problem by modeling candidate tile locations in the target shape as graph nodes and connectivity between tile locations as edges. Further, we build a graph convolutional neural network, coined TilinGNN, to progressively propagate and aggregate features over graph edges and predict tile placements. TilinGNN is trained by maximizing the tiling coverage on target shapes, while avoiding overlaps and holes between the tiles. Importantly, our network is self-supervised, as we articulate these criteria as loss terms defined on the network outputs, without the need of ground-truth tiling solutions. After training, the runtime of TilinGNN is roughly linear to the number of candidate tile locations, significantly outperforming traditional combinatorial search. We conducted various experiments on a variety of shapes to showcase the speed and versatility of TilinGNN. We also present comparisons to alternative methods and manual solutions, robustness analysis, and ablation studies to demonstrate the quality of our approach.


title: Coherence of an extended central spin model with a coupled spin bath

abstract: We study an extended central spin model with an isotropic nearest-neighbour spin-exchange interaction among the bath spins. The system is controllable by external magnetic fields applied on the central spin and the bath, respectively. We construct a basis set of the Hilbert space and express the Hamiltonian of the extended model into a series of $2\times2$ block matrices to obtain the exact solution of the model successfully. Therefrom, the coherence and the spin polarization of the central spin are investigated. We find that if the couplings among the bath spins are antiferromagnetic, the central spin has good coherence and polarization at low temperatures. Moreover, the decoherence is greatly suppressed at the critical point where the strengthes of the central and the bath magnetic field take the same value. A dephasing phenomenon is identified when the initial state of the central spin is unpolarized.


title: Electron Transmission Across Normal Metal-Strained Graphene-Normal Metal Junctions

abstract: The transmission of the electron across the single normal metal-graphene (NG) and normal-metal-graphene-normal-metal (NGN) junctions has been investigated. For the single NG junction, the profile of the maximum transmission which has been plotted against the dimensionless interface hopping respectively bears similarity to that of the conductance of the system. The minor effect of the incidence energy on transmission can also be found in conductance of the single NG junction whose tunneling behavior poses a striking difference from that of the NGN junction. Concerning with NGN junction, the transmission and conductance show more abundant structures when subjected to different incidence energies, interface hopping, and strain strengths. The increase of strain strength always induces more resonance peaks at different angles in transmission and can therefore enhance the conductance. The increase of length of the middle graphene segment can accommodate more quasi-resonance states, leading to the more resonance peaks and richer structures in transmission. In both single NG and NGN junctions, the increase of the wavefunction period on metal side(s) can be observed due to the enhancement of strain strength, which can serve as the sensor for the detection of the strain strength in graphene.


title: Approximation Results for Sums of Independent Random Variables

abstract: In this article, we consider Poisson and Poisson convoluted geometric approximation to the sums of $n$ independent random variables under moment conditions. We use Stein's method to derive the approximation results in total variation distance. The error bounds obtained are either comparable to or improvement over the existing bounds available in the literature. Also, we give an application to the waiting time distribution of 2-runs.


title: Proving Non-Inclusion of B\"uchi Automata based on Monte Carlo Sampling

abstract: The search for a proof of correctness and the search for counterexamples (bugs) are complementary aspects of verification. In order to maximize the practical use of verification tools it is better to pursue them at the same time. While this is well-understood in the termination analysis of programs, this is not the case for the language inclusion analysis of B\"uchi automata, where research mainly focused on improving algorithms for proving language inclusion, with the search for counterexamples left to the expensive complementation operation. In this paper, we present $\mathsf{IMC}^2$, a specific algorithm for proving B\"uchi automata non-inclusion $\mathcal{L}(\mathcal{A}) \not\subseteq \mathcal{L}(\mathcal{B})$, based on Grosu and Smolka's algorithm $\mathsf{MC}^2$ developed for Monte Carlo model checking against LTL formulas. The algorithm we propose takes $M = \lceil \ln \delta / \ln (1-\epsilon) \rceil$ random lasso-shaped samples from $\mathcal{A}$ to decide whether to reject the hypothesis $\mathcal{L}(\mathcal{A}) \not\subseteq \mathcal{L}(\mathcal{B})$, for given error probability $\epsilon$ and confidence level $1 - \delta$. With such a number of samples, $\mathsf{IMC}^2$ ensures that the probability of witnessing $\mathcal{L}(\mathcal{A}) \not\subseteq \mathcal{L}(\mathcal{B})$ via further sampling is less than $\delta$, under the assumption that the probability of finding a lasso counterexample is larger than $\epsilon$. Extensive experimental evaluation shows that $\mathsf{IMC}^2$ is a fast and reliable way to find counterexamples to B\"uchi automata inclusion.


title: Superposition of waves for modeling COVID-19 epidemic in the world and in the countries with the maximum number of infected people in the first half of 2020

abstract: On the base of logic discrete equations system mathematical modeling of COVID-19 epidemic spread was carried out in the world and in the countries with the largest number of infected people such as the USA, Brasil, Russia and India in the first half of 2020. It was shown that for the countries with strong restrictive measures the spread of COVID-19 fit on a single wave with small capacity as for a number of countries with violation of restrictive measures the spread of the epidemic fit on a waves superposition. For countries with large population mixing, the spread of the epidemic today also fits into a single wave, but with a huge capacity value (for Brazil - 80 million people, for India - 40 million people). We estimated that the epidemic spread in the world today fits into 5 waves. The first two waves are caused by the epidemic spread in China (the first - in Wuhan), the third - by the epidemic spread in European countries, the fourth mainly by the epidemic spread in Russia and the USA, the fifth wave is mainly caused by the epidemic spread in Latin America and South Asia. It was the fifth wave that led to the spread of the coronavirus epidemic COVID-19 entering a new phase, with an increase in the number of infected more than 100 thousand inhabitants. For all the studied countries and the world, for each of the superposition waves, the wave capacities and growth indicators were calculated. The local peaks of the waves and their ending times are determined. It was the fifth wave that led to the fact that COVID-19 spread is entering a new phase, with the increase in the number of infected people being more than 100 thousand inhabitants. For all the countries being examined and for the whole world, for each of the superposition waves we calculated the waves capacities and index of infected people growth.


title: Oscillation of damped second order quasilinear wave equations with mixed arguments

abstract: Following the previous work [1], we investigate the impact of damping on the oscillation of smooth solutions to some kind of quasilinear wave equations with Robin and Dirichlet boundary condition. By using generalized Riccati transformation and technical inequality method, we give some sufficient conditions to guarantee the oscillation of all smooth solutions. From the results, we conclude that positive damping can ``hold back" oscillation. At last, some examples are presented to confirm our main results.


title: BeeTrace: A Unified Platform for Secure Contact Tracing that Breaks Data Silos

abstract: Contact tracing is an important method to control the spread of an infectious disease such as COVID-19. However, existing contact tracing methods alone cannot provide sufficient coverage and do not successfully address privacy concerns of the participating entities. Current solutions do not utilize the huge volume of data stored in business databases and individual digital devices. This information is typically stored in data silos and cannot be used due to regulations in place. To successfully unlock the potential of contact tracing, we need to consider both data utilization from multiple sources and the privacy of the participating parties. To this end, we propose BeeTrace, a unified platform that breaks data silos and deploys state-of-the-art cryptographic protocols to guarantee privacy goals.


title: Hydrodynamic limit of the incompressible Navier-Stokes-Fourier-Maxwell System with Ohm's Law from the Vlasov-Maxwell-Boltzmann system: Hilbert expansion approach

abstract: We prove a global-in-time limit from the two-species Vlasov-Maxwell-Boltzmann system to the two-fluid incompressible Navier-Stokes-Fourier-Maxwell system with Ohm's law. Besides the techniques developed for the classical solutions to the Vlasov-Maxwell-Boltzmann equations in the past years, such as the nonlinear energy method and micro-macro decomposition are employed, key roles are played by the decay properties of both the electric field and the wave equation with linear damping of the divergence free magnetic field. This is a companion paper of [N. Jiang and Y.-L. Luo, \emph{Ann. PDE} 8 (2022), no. 1, Paper No. 4, 126 pp] in which Hilbert expansion is not employed.


title: Decentralized Lightweight Detection of Eclipse Attacks on Bitcoin Clients

abstract: Clients of permissionless blockchain systems, like Bitcoin, rely on an underlying peer-to-peer network to send and receive transactions. It is critical that a client is connected to at least one honest peer, as otherwise the client can be convinced to accept a maliciously forked view of the blockchain. In such an eclipse attack, the client is unable to reliably distinguish the canonical view of the blockchain from the view provided by the attacker. The consequences of this can be catastrophic if the client makes business decisions based on a distorted view of the blockchain transactions. In this paper, we investigate the design space and propose two approaches for Bitcoin clients to detect whether an eclipse attack against them is ongoing. Each approach chooses a different trade-off between average attack detection time and network load. The first scheme is based on the detection of suspicious block timestamps. The second scheme allows blockchain clients to utilize their natural connections to the Internet (i.e., standard web activity) to gossip about their blockchain views with contacted servers and their other clients. Our proposals improve upon previously proposed eclipse attack countermeasures without introducing any dedicated infrastructure or changes to the Bitcoin protocol and network, and we discuss an implementation. We demonstrate the effectiveness of the gossip-based schemes through rigorous analysis using original Internet traffic traces and real-world deployment. The results indicate that our protocol incurs a negligible overhead and detects eclipse attacks rapidly with high probability, and is well-suited for practical deployment.


title: Systemic Performance Measures from Distributional Zeta-Function

abstract: We propose the use of the Distributional Zeta-Function (DZF) for constructing a new set of Systemic Performance Measures (SPM). SPM have been proposed to investigate network synthesis problems such as the growing of linear consensus networks. The adoption of the DZF has shown interesting physical consequences that in the usual replica method are still unclarified, i.e., the connection between the spontaneous symmetry breaking mechanism and the structure of the replica space in the disordered model. We relate topology of the network and the partition function present in the DZF by using the spectral and the Hamiltonian structure of the system. The studied objects are the generalized partition funcion, the DZF, the Expected value of the replica partition function, and the quenched free energy of a field network. We show that with these objects we need few operations to increase the percentage of performance enhancement of a network. Furthermore, we evalue the location of the optimal added links for each new SPM and calculate the performance improvement of the new network for each new SPM via the spectral zeta function, $\mathcal{H}_{2}$-norm, and the communicability between nodes. We present the advantages of this new set of SPM in the network synthesis and we propose other methods for using the DZF to explore some issues such as disorder, critical phenomena, finite-temperature, and finite-size effects on networks. Relevance of the results are discussed.


title: Properties of multitype subcritical branching processes in random environment

abstract: We study properties of a $p-$type subcritical branching process in random environment initiated at moment zero by a vector $\mathbf{z}=\left( z_{1},..,z_{p}\right) $\ of particles of different types. Assuming that the process belongs to the class of the so-called strongly subcritical processes we show that its survival probability to moment $n$\ behaves for large $n$\ as $C(\mathbf{z})\lambda ^{n}$\ where $\lambda $\ is the upper Lyapunov exponent for the product of mean matrices of the process and $C(\mathbf{z})$% \ is an explicitly given constant. We also demonstrate that the limiting conditional distribution of the number of particles given the survival of the process for a long time does not depend on the vector $\mathbf{z}$ of the number of particles initiated the process.


title: A Hamiltonian gyrofluid model based on a quasi-static closure

abstract: A Hamiltonian six-field gyrofluid model is constructed, based on closure relations derived from the so-called "quasi-static" gyrokinetic linear theory where the fields are assumed to propagate with a parallel phase velocity much smaller than the parallel particle thermal velocities. The main properties of this model, primarily aimed at exploring basic phenomena of interest for space plasmas such as the solar wind, are its ability to provide a reasonable agreement with kinetic theory for linear low-frequency modes, and at the same time to ensure a Hamiltonian structure in the absence of explicit dissipation. The model accounts for equilibrium temperature anisotropy, ion and electron finite Larmor radius corrections, electron inertia, magnetic fluctuations along the direction of a strong guide field, and parallel Landau damping. Remarkably, the quasi-static closure leads to exact expressions for the nonlinear terms involving gyroaveraged electromagnetic perturbations. One of the consequences is that a rather natural identification of the Hamiltonian structure of the model becomes possible when Landau damping is neglected. A slight variant of the model consists of a four-field Hamiltonian reduction of the original six-field model, which we use for the subsequent linear analysis. In the latter, the dispersion relations of kinetic Alfv\'en waves and the firehose instability are shown to be correctly reproduced, relatively far in the sub-ion range (depending on the plasma parameters), while the spectral range where the slow-wave dispersion relation and the field-swelling instabilities are precisely described is less extended. This loss of accuracy originates from the breaking of the condition of small phase velocity, relative to the parallel thermal velocity of the electrons (for kinetic Alfv\'en waves and firehose instability) or of the ions (in the case of the field-swelling instabilities).


title: Viscosity of two-dimensional electrons

abstract: The hydrodynamic regime of electron transport has been recently realized in conductors with ultra-low densities of defects. Although relaxation processes in two-dimensional (2D) fluids have been studied in many theoretical works, the viscosity of the realistic Fermi gas of 2D electrons having the quadratic energy spectrum and interacting by Coulomb's law has not been reliably determined either in theory or in experiment up to now. Here we construct a theory of viscosity and thermal conductivity in such system. We compare the calculated viscosity of the 2D electron Fermi gas and the previously known viscosity of a 2D Fermi liquid with available experimental data extracted from the hydrodynamic negative magnetoresistance of the best-quality GaAs quantum wells. Based on this comparison, we argue that measurements of the temperature dependence of the viscosity can allow to trace the transition between an electron Fermi liquid and a Fermi gas.


title: Effects of observer peculiar motion on the isotropic background frequency spectrum: from monopole to higher multipoles

abstract: The observer peculiar motion produces boosting effects in the background anisotropies with frequency spectral behaviours related to its spectrum. We study how the frequency spectrum of the background isotropic monopole emission is modified and transferred to the frequency spectra at higher multipoles, l. We perform the analysis in terms of spherical harmonic expansion up to a certain lmax, for various models from radio to far-IR. We derive a system of linear equations to obtain spherical harmonic coefficients and provide explicit solutions up to lmax=6 as linear combinations of the signals at N=lmax+1 colatitudes. The associated Legendre polynomials symmetry with respect to {\pi}/2 is used to separate the system into two subsystems, one for l=0 and even l, the other for odd l. This improves the solutions accuracy with respect to an arbitrary colatitudes choice. We apply the method to analytical or semi-analytical representions of monopole spectra, i.e. to four types of CMB distortions, four types of extragalactic backgrounds superimposed to the CMB Planckian spectrum and some combinations of them. We present our results in terms of spherical harmonic coefficients, relationships between the observed and intrinsic monopoles, maps, angular power spectra. We compare the method results with the ones obtained using more computationally demanding numerical integrations or map generation/inversion. The method is generalized to include the effect of the observer motion relative to the Sun. Its simplicity and efficiency can significantly alleviate the computational effort needed for accurate predictions and for the analysis of future data. We discuss the superposition of the CMB intrinsic anisotropies and of the effects induced by the observer motion, exploring for the possibility of constraining the intrinsic dipole embedded in the kinematic dipole, in the presence of CMB spectral distortions.


title: Angle sums of Schl\"afli orthoschemes

abstract: We consider the simplices $$ K_n^A=\{x\in\mathbb{R}^{n+1}:x_1\ge x_2\ge \ldots\ge x_{n+1},x_1-x_{n+1}\le 1,x_1+\ldots+x_{n+1}=0\} $$ and $$ K_n^B=\{x\in\mathbb{R}^n:1\ge x_1\ge x_2\ge \ldots\ge x_n\ge 0\}, $$ which are called the Schl\"afli orthoschemes of types $A$ and $B$, respectively. We describe the tangent cones at their $j$-faces and compute explicitly the sum of the conic intrinsic volumes of these tangent cones at all $j$-faces of $K_n^A$ and $K_n^B$. This setting contains sums of external and internal angles of $K_n^A$ and $K_n^B$ as special cases. The sums are evaluated in terms of Stirling numbers of both kinds. We generalize these results to finite products of Schl\"afli orthoschemes of type $A$ and $B$ and, as a probabilistic consequence, derive formulas for the expected number of $j$-faces of the Minkowski sums of the convex hulls of a finite number of Gaussian random walks and random bridges. Furthermore, we evaluate the analogous angle sums for the tangent cones of Weyl chambers of types $A$ and $B$ and finite products thereof.


title: Ultra-Wideband Antenna with MIMO Diversity for 5G Wireless Communication

abstract: An eight element, compact Ultra Wideband-Multiple Input Multiple Output (UWB-MIMO) antenna capable of providing high data rates for future Fifth Generation (5G) terminal equipments along with the provision of necessary bandwidth for Third Generation (3G) and Fourth Generation (4G) communications that accomplishes band rejection from 4.85 to 6.35 GHz by deploying a Inductor Capacitor (LC) stub on the ground plane is presented. The incorporated stub also provides flexibility to reject any selected band as well as bandwidth control. The orthogonal placement of the printed monopoles permits polarization diversity and provides high isolation. In the proposed eight element UWB-MIMO/diversity antenna, monopole pair 3-4 are 180o mirrored transform of monopole pair 1-2 which lie on the opposite corners of a planar 50 x 50 mm2 substrate. Four additional monopoles are then placed perpendicularly to the same board leading to a total size of 50 x 50 x 25 mm3 only. The simulated results are validated by comparing the measurements of a fabricated prototype. It was concluded that the design meets the target specifications over the entire bandwidth of 2 to 12 GHz with a reflection coefficient better than -10 dB (except the rejected band), isolation more than 17 dB, low envelope correlation, low gain variation, stable radiation pattern, and strong rejection of the signals in the Wireless Local Area Network (WLAN) band. Overall, compact and reduced complexity of the proposed eight element architecture, strengthens its practical viability for the diversity applications in future 5G terminal equipments amongst other MIMO antennas designs present in the literature.


title: Multi view stereo with semantic priors

abstract: Patch-based stereo is nowadays a commonly used image-based technique for dense 3D reconstruction in large scale multi-view applications. The typical steps of such a pipeline can be summarized in stereo pair selection, depth map computation, depth map refinement and, finally, fusion in order to generate a complete and accurate representation of the scene in 3D. In this study, we aim to support the standard dense 3D reconstruction of scenes as implemented in the open source library OpenMVS by using semantic priors. To this end, during the depth map fusion step, along with the depth consistency check between depth maps of neighbouring views referring to the same part of the 3D scene, we impose extra semantic constraints in order to remove possible errors and selectively obtain segmented point clouds per label, boosting automation towards this direction. I n order to reassure semantic coherence between neighbouring views, additional semantic criterions can be considered, aiming to elim inate mismatches of pixels belonging in different classes.


title: Painlev\'e property, local and nonlocal symmetries and symmetry reductions for a (2+1)-dimensional integrable KdV equation

abstract: The Painlev\'e property for a (2+1)-dimensional Korteweg-de Vries (KdV) extension, the combined KP3 (Kadomtsev- Petviashvili) and KP4 (cKP3-4) is proved by using Kruskal's simplification. The truncated Painlev\'e expansion is used to find the Schwartz form, the B\"acklund/Levi transformations and the residual nonlocal symmetry. The residual symmetry is localized to find its finite B\"acklund transformation. The local point symmetries of the model constitute a centerless Kac-Moody-Virasoro algebra. The local point symmetries are used to find the related group invariant reductions including a new Lax integrable model with a fourth order spectral problem. The finite transformation theorem or the Lie point symmetry group is obtained by using a direct method.


title: Improved dispersion bounds for modified Fibonacci lattices

abstract: We study the dispersion of point sets in the unit square; i.e. the size of the largest axes-parallel box amidst such point sets. It is known that $\liminf_{N\to\infty} N\mathrm{disp}(N,2)\in \left[\frac54,2\right],$ where $\mathrm{disp}(N,2)$ is the minimal possible dispersion for an $N$-element point set in the unit square. The upper bound 2 is obtained by an explicit point construction - the well-known Fibonacci lattice. In this paper we find a modification of this point set such that its dispersion is significantly lower than the dispersion of the Fibonacci lattice. Our main result will imply that $\liminf_{N\to\infty} N\mathrm{disp}(N,2)\leq \varphi^3/\sqrt{5}=1.894427...$


title: Polarization Origin of Photoconductivity in MAPbI3 Thin Films

abstract: Hybrid-halide perovskite (HHP) films exhibit exceptional photo-electric properties. These materials are utilized for highly efficient solar cells and photoconductive technologies. Both ion migration and polarization have been proposed as the source of enhanced photoelectric activity, but the exact origin of these advantageous device properties has remained elusive. Here, we combined microscale and device-scale characterization to demonstrate that polarization-assisted conductivity governs photoconductivity in thin HHP films. Conductive atomic force microscopy under light and variable temperature conditions showed that the photocurrent is directional and is suppressed at the tetragonal-to-cubic transformation. It was revealed that polarization-based conductivity is enhanced by light, whereas dark conductivity is dominated by non-directional ion migration, as was confirmed by large-scale device measurements. Following the non-volatile memory nature of polarization domains, photoconductive memristive behavior was demonstrated. Understanding the origin of photoelectric activity in HHP allows designing devices with enhanced functionality and lays the grounds for photoelectric memristive devices.


title: Penrose limit for holographic duals of $ J\bar{T} $ deformations

abstract: We explore bosonic string sigma models on warped $ BTZ\times S^3 $ both in the plane wave as well as beyond plane wave limit. Using the light cone gauge, we obtain the corresponding Hamiltonian and therefore the spectrum associated with the pp wave strings. Our analysis reveals a constant shift in the spectrum arising as a result of TsT transformations along the isometries of the target space manifold. Imposing the energy positivity constraint on the CFT$_2 $ spectrum, we estimate an upper bound on the shift. We also estimate corrections as we go beyond the plane wave limit. Finally, we perform calculations using conformal gauge which reveals identical spectrum for the pp wave strings and thereby shows the equivalence between the two approaches.


title: Stress-strain in electron-beam activated polymeric micro-actuators

abstract: Actuation of thin polymeric films via electron irradiation is a promising avenue to realize devices based on strain engineered two dimensional (2D) materials. Complex strain profiles demand a deep understanding of the mechanics of the polymeric layer under electron irradiation; in this article we report a detailed investigation on electron-induced stress on poly-methyl-methacrylate (PMMA) thin film material. After an assessment of stress values using a method based on dielectric cantilevers, we directly investigate the lateral shrinkage of PMMA patterns on epitaxial graphene, which reveals a universal behavior, independent of the electron acceleration energy. By knowing the stress-strain curve, we finally estimate an effective Young's modulus of PMMA on top of graphene which is a relevant parameter for PMMA based electron-beam lithography and strain engineering applications.


title: On the Erd\H{o}s primitive set conjecture in function fields

abstract: Erd\H{o}s proved that $\mathcal{F}(A) := \sum_{a \in A}\frac{1}{a\log a}$ converges for any primitive set of integers $A$ and later conjectured this sum is maximized when $A$ is the set of primes. Banks and Martin further conjectured that $\mathcal{F}(\mathcal{P}_1) > \ldots > \mathcal{F}(\mathcal{P}_k) > \mathcal{F}(\mathcal{P}_{k+1}) > \ldots$, where $\mathcal{P}_j$ is the set of integers with $j$ prime factors counting multiplicity, though this was recently disproven by Lichtman. We consider the corresponding problems over the function field $\mathbb{F}_q[x]$, investigating the sum $\mathcal{F}(A) := \sum_{f \in A} \frac{1}{\text{deg} f \cdot q^{\text{deg} f}}$. We establish a uniform bound for $\mathcal{F}(A)$ over all primitive sets of polynomials $A \subset \mathbb{F}_q[x]$ and conjecture that it is maximized by the set of monic irreducible polynomials. We find that the analogue of the Banks-Martin conjecture is false for $q = 2, 3$, and $4$, but we find computational evidence that it holds for $q > 4$.


title: Shell Evolution in Neutron-rich Ge, Se, Kr and Sr Nuclei within RHB Approach

abstract: The exotic even-even isotopic chains from Z=32 to Z=38 are investigated by means of the relativistic Hartree-Bogoliubov (RHB) approach with the explicit Density Dependent Meson-Exchange (DD-ME2) and Density Dependent Point-Coupling (DD-PC1) models. The classic magic number N=50 is reproduced and the new number N=70 is predicted to be a robust shell closure by analysing several calculated quantities such as: two-neutron separation energies, two-neutron shell gap, neutron pairing energy, potential energy surface and neutron single particle energies with and without the tensor force. The obtained results are corroborated by shell model calculations and compared with the predictions of finite range droplet model (FRDM) and with the available experimental data. A reasonable and satisfactory agreement between the theoretical models and experiment is established.


title: Exact and efficient quantum simulation of open quantum dynamics for various of Hamiltonians and spectral densities

abstract: Recently, we have theoretically proposed and experimentally demonstrated an exact and efficient quantum simulation of photosynthetic light harvesting in nuclear magnetic resonance (NMR), cf. B. X. Wang, \textit{et al.} npj Quantum Inf.~\textbf{4}, 52 (2018). In this paper, we apply this approach to simulate the open quantum dynamics in various photosynthetic systems with different Hamiltonians. By numerical simulations, we show that for Drude-Lorentz spectral density the dimerized geometries with strong couplings within the donor and acceptor clusters respectively exhibit significantly-improved efficiency. Based on the optimal geometry, we also demonstrate that the overall energy transfer can be further optimized when the energy gap between the donor and acceptor clusters matches the peak of the spectral density. Moreover, by exploring the quantum dynamics for different types of spectral densities, e.g. Ohmic, sub-Ohmic, and super-Ohmic spectral densities, we show that our approach can be generalized to effectively simulate open quantum dynamics for various Hamiltonians and spectral densities. Because $\log_{2}N$ qubits are required for quantum simulation of an $N$-dimensional quantum system, this quantum simulation approach can greatly reduce the computational complexity compared with popular numerically-exact methods.

categories: quant-ph physics.atom-ph physics.chem-ph physics.optics


title: Detecting Topic and Sentiment Dynamics Due to COVID-19 Pandemic Using Social Media

abstract: The outbreak of the novel Coronavirus Disease (COVID-19) has greatly influenced people's daily lives across the globe. Emergent measures and policies (e.g., lockdown, social distancing) have been taken by governments to combat this highly infectious disease. However, people's mental health is also at risk due to the long-time strict social isolation rules. Hence, monitoring people's mental health across various events and topics will be extremely necessary for policy makers to make the appropriate decisions. On the other hand, social media have been widely used as an outlet for people to publish and share their personal opinions and feelings. The large scale social media posts (e.g., tweets) provide an ideal data source to infer the mental health for people during this pandemic period. In this work, we propose a novel framework to analyze the topic and sentiment dynamics due to COVID-19 from the massive social media posts. Based on a collection of 13 million tweets related to COVID-19 over two weeks, we found that the positive sentiment shows higher ratio than the negative sentiment during the study period. When zooming into the topic-level analysis, we find that different aspects of COVID-19 have been constantly discussed and show comparable sentiment polarities. Some topics like ``stay safe home" are dominated with positive sentiment. The others such as ``people death" are consistently showing negative sentiment. Overall, the proposed framework shows insightful findings based on the analysis of the topic-level sentiment dynamics.


title: Semiparametric transformation model for competing risks data with cure fraction

abstract: We propose a new method for the analysis of competing risks data with long term survivors. The proposed method enables us to estimate the overall survival probability and cure fraction simultaneously. We formulate the effect of covariates on cumulative incidence functions using linear transformation models. Estimating equations based on counting process are developed to estimate regression coefficients. The asymptotic properties of the estimators are studied using martingale theory. An extensive Monte Carlo simulation study is carried out to assess the finite sample performance of the proposed estimators. Finally, we illustrate our method using a real data set.


title: Radial Intersection Count Image: a Clutter Resistant 3D Shape Descriptor

abstract: A novel shape descriptor for cluttered scenes is presented, the Radial Intersection Count Image (RICI), and is shown to significantly outperform the classic Spin Image (SI) and 3D Shape Context (3DSC) in both uncluttered and, more significantly, cluttered scenes. It is also faster to compute and compare. The clutter resistance of the RICI is mainly due to the design of a novel distance function, capable of disregarding clutter to a great extent. As opposed to the SI and 3DSC, which both count point samples, the RICI uses intersection counts with the mesh surface, and is therefore noise-free. For efficient RICI construction, novel algorithms of general interest were developed. These include an efficient circle-triangle intersection algorithm and an algorithm for projecting a point into SI-like ($\alpha$, $\beta$) coordinates. The 'clutterbox experiment' is also introduced as a better way of evaluating descriptors' response to clutter. The SI, 3DSC, and RICI are evaluated in this framework and the advantage of the RICI is clearly demonstrated.


title: Challenges in Designing Exploit Mitigations for Deeply Embedded Systems

abstract: Memory corruption vulnerabilities have been around for decades and rank among the most prevalent vulnerabilities in embedded systems. Yet this constrained environment poses unique design and implementation challenges that significantly complicate the adoption of common hardening techniques. Combined with the irregular and involved nature of embedded patch management, this results in prolonged vulnerability exposure windows and vulnerabilities that are relatively easy to exploit. Considering the sensitive and critical nature of many embedded systems, this situation merits significant improvement. In this work, we present the first quantitative study of exploit mitigation adoption in 42 embedded operating systems, showing the embedded world to significantly lag behind the general-purpose world. To improve the security of deeply embedded systems, we subsequently present {\mu}Armor, an approach to address some of the key gaps identified in our quantitative analysis. {\mu}Armor raises the bar for exploitation of embedded memory corruption vulnerabilities, while being adoptable on the short term without incurring prohibitive extra performance or storage costs.


title: Steroids for DOPed Applications: A Compiler for Automated Data-Oriented Programming

abstract: The wide-spread adoption of system defenses such as the randomization of code, stack, and heap raises the bar for code-reuse attacks. Thus, attackers utilize a scripting engine in target programs like a web browser to prepare the code-reuse chain, e.g., relocate gadget addresses or perform a just-in-time gadget search. However, many types of programs do not provide such an execution context that an attacker can use. Recent advances in data-oriented programming (DOP) explored an orthogonal way to abuse memory corruption vulnerabilities and demonstrated that an attacker can achieve Turing-complete computations without modifying code pointers in applications. As of now, constructing DOP exploits requires a lot of manual work. In this paper, we present novel techniques to automate the process of generating DOP exploits. We implemented a compiler called Steroids that compiles our high-level language SLANG into low-level DOP data structures driving malicious computations at run time. This enables an attacker to specify her intent in an application- and vulnerability-independent manner to maximize reusability. We demonstrate the effectiveness of our techniques and prototype implementation by specifying four programs of varying complexity in SLANG that calculate the Levenshtein distance, traverse a pointer chain to steal a private key, relocate a ROP chain, and perform a JIT-ROP attack. Steroids compiles each of those programs to low-level DOP data structures targeted at five different applications including GStreamer, Wireshark, and ProFTPd, which have vastly different vulnerabilities and DOP instances. Ultimately, this shows that our compiler is versatile, can be used for both 32- and 64-bit applications, works across bug classes, and enables highly expressive attacks without conventional code-injection or code-reuse techniques in applications lacking a scripting engine.


title: Non-Minimally Coupled Einstein Gauss Bonnet Inflation Phenomenology in View of GW170817

abstract: We study the inflationary phenomenology of a non-minimally coupled Einstein Gauss-Bonnet gravity theory, in the presence of a scalar potential, under the condition that the gravitational wave speed of the primordial gravitational waves is equal to unity, that is $c_T^2=1$, in natural units. The equations of motion, which are derived directly from the gravitational action, form a system of differential equations with respect to Hubble's parameter and the inflaton field which are very complicated and cannot be solved analytically, even in the minimal coupling case. In this paper, we present a variety of different approximations which could be used, along with the constraint $c_T^2=1$, in order to produce an inflationary phenomenology compatible with recent observations. All the different approaches are able to lead to viable results if the model coupling functions obey simple relations, however, different approaches contain different approximations which must be obeyed during the first horizon crossing, in order for the model to be rendered correct. Models which may lead to a non-viable phenomenology are presented as well in order to understand better the inner framework of this theory. Furthermore, since the velocity of the gravitational waves is set equal to $c_T^2=1$, as stated by the striking event of GW170817 recently, the non-minimal coupling function, the Gauss-Bonnet scalar coupling and the scalar potential are related to each other. Here, we shall assume no particular form of the scalar potential and we choose freely the scalar functions coupled to the Ricci scalar and the Gauss-Bonnet invariant. Certain models are also studied in order to assess the phenomenological validity of the theory, but we need to note that all approximations must hold true in order for a particular model to be valid.


title: Faster algorithms for Markov equivalence

abstract: Maximal ancestral graphs (MAGs) have many desirable properties; in particular they can fully describe conditional independences from directed acyclic graphs (DAGs) in the presence of latent and selection variables. However, different MAGs may encode the same conditional independences, and are said to be \emph{Markov equivalent}. Thus identifying necessary and sufficient conditions for equivalence is essential for structure learning. Several criteria for this already exist, but in this paper we give a new non-parametric characterization in terms of the heads and tails that arise in the parameterization for discrete models. We also provide a polynomial time algorithm ($O(ne^{2})$, where $n$ and $e$ are the number of vertices and edges respectively) to verify equivalence. Moreover, we extend our criterion to ADMGs and summary graphs and propose an algorithm that converts an ADMG or summary graph to an equivalent MAG in polynomial time ($O(n^{2}e)$). Hence by combining both algorithms, we can also verify equivalence between two summary graphs or ADMGs.


title: The impact of stereotype threat on gender gap in introductory physics

abstract: Many prior studies have found a gender gap between male and female students' performance on conceptual assessments such as the Force Concept Inventory (FCI) and the Conceptual Survey of Electricity and Magnetism (CSEM) with male students performing better than female students. Prior studies have also found that activation of a negative stereotype about a group or stereotype threat, e.g., asking test-takers to indicate their ethnicity before taking a test, can lead to deteriorated performance of the stereotyped group. Here, we describe two studies in which we investigated the gender gap on the FCI and CSEM. In the first study, we investigated whether asking students to indicate their gender immediately before taking hte CSEM increased the gender gap compared to students who were not asked for this information. In the second study, conducted with over 1100 introductory physics students, we investigated the prevalence of the belief that men generally perform better in physics than women and the extent to which this belief is correlated with the performance of both the female and male students on the FCI.


title: Clarifying multiple-tip effects on Scanning Tunneling Microscopy imaging of 2D periodic objects and crystallographic averaging in the spatial frequency domain

abstract: Crystallographic image processing (CIP) techniques may be utilized in scanning probe microscopy (SPM) to glean information that has been obscured by signals from multiple probe tips. This may be of particular importance for scanning tunneling microscopy (STM) and requires images from a sample that is periodic in two dimensions. The image-forming current for multiple tips in STM is derived in a more straightforward manner than prior approaches. The Fourier spectrum of the current for p4mm Bloch surface wave functions and a pair of delta function tips reveals the tip-separation dependence of various types of image obscurations. In particular our analyses predict that quantum interference should be visible on a macroscopic scale in the form of bands quite distinct from the basket-weave patterns a purely classical model would create at the same periodic double STM tip separations. A surface wave function that models the essential character of highly (0001) oriented pyrolytic graphite (technically known as HOPG) is introduced and used for a similar tip-separation analysis. Using a bonding H_2 tip wave function with significant spatial extent instead of this pair of infinitesimal Dirac delta function tips does not affect these outcomes in any observable way. This is explained by Pierre Curie's well known symmetry principle. Classical simulations of multiple tip effects in STM images may be understood as modeling multiple tip effects in images that were recorded with other types of SPMs). Our analysis clarifies why CIP and crystallographic averaging work well in removing the effects of a blunt SPM tip (that consist of multiple mini-tips) from the recorded 2D periodic images and also outlines the limitations of this image processing techniques for certain spatial separations of STM mini-tips.


title: Graphane -- material for hydrogen storage, breathers and kinks

abstract: In this paper we study the graphane. The Frenkel-Kontorova model on hexagonal lattice was used. We studied the case of one H atom above the C atom in the plane of graphane (we used the approximation of the hexagonal lattice in the plane). Continuous limit of the Lagrange-Euler equations is found from the Hamiltonian for $H$ atoms motion, they enabled us to study kink and breather excitations of $H$ atoms in the $H$ plane above the $C$ plane. We have found that there are three cases in the one $H$ atom motion The case $1$, when the $H$ atom is at the position which is below the position at which it is desorbed. Then the motion of this $H$ atom at time $t_{h}$ is described. The case $2$, when the $H$ atom is at the position of the suppressed atom $H$ in the direction to the $C$ (nearer) atom. This $H$ atom will be desorbed from the graphane going through the minimum of the potential energy and then through the point of desorption. Its motion of at time $t_{h}$ is described. The case $3$, when the $H$ atom is near the position of small oscillations near the potential energy minimum. The position of the atom $H$ at the time $t_{0}$ is the position to which the atom $H$ was excited with external force. The lattice of $H$ atoms in graphane may be excited as described by the kink solution of the Sine-Gordon equation. The kink has its velocity $U$, $ U^{2} < 1$, and in time $T$ and in $X^{'}$ coordinate direction localization. The Sine-Gordon equation has the breather solution in the $X^{'}$ direction. There $\omega$ is the frequency of the breather, $T_{0}$ and $X^{'}_{0}$ are in time $T$ and in $X^{'}$ direction localization.


title: Static Detection of Uninitialized Stack Variables in Binary Code

abstract: More than two decades after the first stack smashing attacks, memory corruption vulnerabilities utilizing stack anomalies are still prevalent and play an important role in practice. Among such vulnerabilities, uninitialized variables play an exceptional role due to their unpleasant property of unpredictability: as compilers are tailored to operate fast, costly interprocedural analysis procedures are not used in practice to detect such vulnerabilities. As a result, complex relationships that expose uninitialized memory reads remain undiscovered in binary code. Recent vulnerability reports show the versatility on how uninitialized memory reads are utilized in practice, especially for memory disclosure and code execution. Research in recent years proposed detection and prevention techniques tailored to source code. To date, however, there has not been much attention for these types of software bugs within binary executables. In this paper, we present a static analysis framework to find uninitialized variables in binary executables. We developed methods to lift the binaries into a knowledge representation which builds the base for specifically crafted algorithms to detect uninitialized reads. Our prototype implementation is capable of detecting uninitialized memory errors in complex binaries such as web browsers and OS kernels, and we detected 7 novel bugs.


title: Multi-Armed Bandit Based Client Scheduling for Federated Learning

abstract: By exploiting the computing power and local data of distributed clients, federated learning (FL) features ubiquitous properties such as reduction of communication overhead and preserving data privacy. In each communication round of FL, the clients update local models based on their own data and upload their local updates via wireless channels. However, latency caused by hundreds to thousands of communication rounds remains a bottleneck in FL. To minimize the training latency, this work provides a multi-armed bandit-based framework for online client scheduling (CS) in FL without knowing wireless channel state information and statistical characteristics of clients. Firstly, we propose a CS algorithm based on the upper confidence bound policy (CS-UCB) for ideal scenarios where local datasets of clients are independent and identically distributed (i.i.d.) and balanced. An upper bound of the expected performance regret of the proposed CS-UCB algorithm is provided, which indicates that the regret grows logarithmically over communication rounds. Then, to address non-ideal scenarios with non-i.i.d. and unbalanced properties of local datasets and varying availability of clients, we further propose a CS algorithm based on the UCB policy and virtual queue technique (CS-UCB-Q). An upper bound is also derived, which shows that the expected performance regret of the proposed CS-UCB-Q algorithm can have a sub-linear growth over communication rounds under certain conditions. Besides, the convergence performance of FL training is also analyzed. Finally, simulation results validate the efficiency of the proposed algorithms.


title: Optimal portfolios for different anticipating integrals under insider information

abstract: We consider the non-adapted version of a simple problem of portfolio optimization in a financial market that results from the presence of insider information. We analyze it via anticipating stochastic calculus and compare the results obtained by means of the Russo-Vallois forward, the Ayed-Kuo, and the Hitsuda-Skorokhod integrals. We compute the optimal portfolio for each of these cases with the aim of establishing a comparison between these integrals in order to clarify their potential use in this type of problem. Our results give a partial indication that, while the forward integral yields a portfolio that is financially meaningful, the Ayed-Kuo and the Hitsuda-Skorokhod integrals do not provide an appropriate investment strategy for this problem.


title: Adding Location and Global Context to the Google/Apple Exposure Notification Bluetooth API

abstract: Contact tracing requires a strong understanding of the context of a user, and location with other sensory data could provide a context for any infection encounter. Although Bluetooth technology gives a good insight into the proximity aspect of an encounter, it does not provide any location context related to it which helps to make better decisions. Using the ideas presented in this paper, one shall be able to obtain this valuable information that could address the problem of false-positive and false-negative to a certain extent. All of this within the purview of Google/Apple Exposure Notification (GAEN) specification, while preserving complete user privacy. There are four ways of propagating context between any two users. Two such methods allow private location logging, without revealing the location history within an app. The other two are encryption-based methods. The first encryption method is a variant of Apple's FindMy protocol, that allows nearby Apple devices to capture the GPS location of a lost Apple device. The second encryption is a minor modification of the existing GAEN protocol so that global context is available to a healthy phone only when it is exposed - this is a better option comparatively. It will still be the role of Public Health smartphone app to decide, on how to use the location-time context, to build a full-fledged contact tracing and public health solution. Lastly, we highlight the benefits and potential privacy issues with each of these context propagation methods proposed here.


title: On the Lehmer's totient problem on Number Fields

abstract: Lehmer's totient problem asks if there exists a composite number $d$ such that its totient divide $d-1$. In this article we generalize the Lehmer's totient problem in algebraic number fields. We introduce the notion of a Lehmer number. Lehmer numbers are defined to be the natural numbers which obey the Lehmer's problem in the ring of algebraic integers of a number field.


title: Medical Imaging with Deep Learning: MIDL 2020 -- Short Paper Track

abstract: This compendium gathers all the accepted extended abstracts from the Third International Conference on Medical Imaging with Deep Learning (MIDL 2020), held in Montreal, Canada, 6-9 July 2020. Note that only accepted extended abstracts are listed here, the Proceedings of the MIDL 2020 Full Paper Track are published in the Proceedings of Machine Learning Research (PMLR).


title: Singular mean-field states: A brief review of recent results

abstract: This article provides a focused review of recent findings which demonstrate, in some cases quite counter-intuitively, the existence of bound states with a singularity of the density pattern at the center, while the states are physically meaningful because their total norm converges. One model of this type is based on the 2D Gross-Pitaevskii equation (GPE) which combines the attractive potential ~ 1/r^2 and the quartic self-repulsive nonlinearity, induced by the Lee-Huang-Yang effect (quantum fluctuations around the mean-field state). The GPE demonstrates suppression of the 2D quantum collapse, driven by the attractive potential, and emergence of a stable ground state (GS), whose density features an integrable singularity ~1/r^{4/3} at r --> 0. Modes with embedded angular momentum exist too, and they have their stability regions. A counter-intuitive peculiarity of the model is that the GS exists even if the sign of the potential is reversed from attraction to repulsion, provided that its strength is small enough. This peculiarity finds a relevant explanation. The other model outlined in the review includes 1D, 2D, and 3D GPEs, with the septimal (seventh-order), quintic, and cubic self-repulsive terms, respectively. These equations give rise to stable singular solitons, which represent the GS for each dimension D, with the density singularity ~1/r^{2/(4-D). Such states may be considered as a result of screening of a "bare" delta-functional attractive potential by the respective nonlinearity.


title: Accurate and Efficient Propagation of Satellite Orbits in the Terrestrial Gravity Field

abstract: Fast and precise propagation of satellite orbits is required for mission design, orbit determination in support of operations and payload data analysis. This demand must also comply with the different accuracy requirements set by a growing variety of scientific and service missions. This contribution proposes a method to improve the computational performance of orbit propagators through an efficient numerical integration that meets the accuracy requirements set by the specific application. This is achieved by appropriately tuning the parameters of the numerical propagator (relative tolerance and maximum time step), establishing a threshold for the perturbing accelerations (Earth's gravitational potential, atmospheric drag, solar radiation pressure, third-body perturbations, relativistic correction to gravity) below which they can be neglected without altering the quality of the results and implementing an efficient and precise algorithm for the harmonic synthesis of the geo-potential and its first-order gradient. In particular, when performing the harmonic synthesis, the number of spherical harmonics to retain (i.e., the expansion degree) is determined by the accuracy requirement. Given that higher-order harmonics decay rapidly with altitude, the expansion degree necessary to meet the target accuracy decreases with height. To improve the computational efficiency, the number of degrees to retain is determined dynamically while the trajectory is being computed. The optimum expansion degree for each altitude is determined by ensuring that the truncation error of the harmonic synthesis is below the threshold acceleration. The work is a generalization to arbitrary orbits of a previous study that focused on communication satellites in geosynchronous inclined orbits. The method is presented and a set of test cases is analysed and discussed.


title: A Monte Carlo Implementation of Galactic Free-Free Emission for the EoR Foreground Models

abstract: The overwhelming foreground causes severe contamination on the detection of 21-cm signal during the Epoch of Reionization (EoR). Among various foreground components, the Galactic free-free emission is less studied, so that its impact on the EoR observation remains unclear. To better constrain this emission, we perform the Monte Carlo simulation of H$\alpha$ emission, which comprises direct and scattered H$\alpha$ radiation from HII regions and warm ionized medium (WIM). The positions and radii of HII regions are quoted from the WISE HII catalog, and the WIM is described by an axisymmetric model. The scattering is off dust and free electrons that are realized by applying an exponential fitting to the HI4PI HI map and an exponential disk model, respectively. The simulated H$\alpha$ intensity, the Simfast21 software, and the latest SKA1-Low layout configuration are employed to simulate the SKA "observed" images of Galactic free-free emission and the EoR signal. By analyzing the one-dimensional power spectra, we find that the Galactic free-free emission can be about $10^{5.4}$-$10^{2.1}$, $10^{5.0}$-$10^{1.7}$, and $10^{4.3}$-$10^{1.1}$ times more luminous than the EoR signal on scales of $0.1~{\rm Mpc^{-1}} < k < 2~{\rm Mpc^{-1}}$ in the 116-124, 146-154, and 186-194 MHz frequency bands, respectively. We further calculate the two-dimensional power spectra inside the EoR window and show that the power leaked by Galactic free-free emission can still be significant, as the power ratios can reach about $110\%$-$8000\%$, $30\%$-$2400\%$, and $10\%$-$250\%$ on scales of $0.5~{\rm Mpc^{-1}} \lesssim k \lesssim 1~{\rm Mpc^{-1}}$ in three frequency bands. Therefore, we indicate that the Galactic free-free emission should be carefully treated in future EoR detections.


title: Recombining tree approximations for Game Options in Local Volatility models

abstract: In this paper we introduce a numerical method for optimal stopping in the framework of one dimensional diffusion. We use the Skorokhod embedding in order to construct recombining tree approximations for diffusions with general coefficients. This technique allows us to determine convergence rates and construct nearly optimal stopping times which are optimal at the same rate. Finally, we demonstrate the efficiency of our scheme with several examples of game options.


title: Extreme point methods in the study of isometries on certain non-commutative spaces

abstract: In this paper we characterize surjective isometries on certain classes of non-commutative spaces associated with semi-finite von Neumann algebras: the Lorentz spaces $L^{w,1}$, as well as the spaces $L^1+L^\infty$ and $L^1\cap L^\infty$. The technique used in all three cases relies on characterizations of the extreme points of the unit balls of these spaces. Of particular interest is that the representations of isometries obtained in this paper are global representations.