title: Segmentation is All You Need

abstract: Region proposal mechanisms are essential for existing deep learning approaches to object detection in images. Although they can generally achieve a good detection performance under normal circumstances, their recall in a scene with extreme cases is unacceptably low. This is mainly because bounding box annotations contain much environment noise information, and non-maximum suppression (NMS) is required to select target boxes. Therefore, in this paper, we propose the first anchor-free and NMS-free object detection model called weakly supervised multimodal annotation segmentation (WSMA-Seg), which utilizes segmentation models to achieve an accurate and robust object detection without NMS. In WSMA-Seg, multimodal annotations are proposed to achieve an instance-aware segmentation using weakly supervised bounding boxes; we also develop a run-data-based following algorithm to trace contours of objects. In addition, we propose a multi-scale pooling segmentation (MSP-Seg) as the underlying segmentation model of WSMA-Seg to achieve a more accurate segmentation and to enhance the detection accuracy of WSMA-Seg. Experimental results on multiple datasets show that the proposed WSMA-Seg approach outperforms the state-of-the-art detectors.


title: Toric topology of the Grassmannian of planes in $\mathbb{C}^5$ and the del Pezzo surface of degree $5$

abstract: We determine the integral homology of the orbit space of a maximal compact torus action on the Grassmannian Gr(2,5). Our approach uses the well-known Geometric Invariant Theory of the maximal algebraic torus action on this Grassmannian.


title: Is Stellar As Secure As You Think?

abstract: Stellar is one of the top ten cryptocurrencies in terms of market capitalization. It adopts a variant of Byzantine fault tolerance (BFT), named federated Byzantine agreement (FBA), which generalizes the traditional BFT algorithm to make it more suitable for open-membership blockchains. To this end, FBA introduces a quorum slice concept, which consists of a set of nodes. In FBA, a node can complete one consensus round when it receives specific messages from nodes in a quorum slice appointed by the node. In this study, we analyze FBA, whose security is highly dependent on the structure of quorum slices, and demonstrate that it is not superior to the traditional BFT algorithm in terms of safety and liveness. Then, to analyze the security of the Stellar consensus protocol (SCP), which is a construction for FBA, we investigate the current quorum slices in Stellar. We analyze the structure of quorum slices and measure the influence of each node quantitatively using two metrics, PageRank (PR) and the newly proposed NodeRank (NR). The results show that the Stellar system is significantly centralized. Thereafter, to determine how the centralized structure can have a negative impact on the Stellar system, we study the cascading failure caused by deleting only a few nodes (i.e., validators) in Stellar. We show that all of the nodes in Stellar cannot run SCP if only two nodes fail. To make matters worse, these two nodes are run and controlled by a single organization, the Stellar foundation.


title: Application of an ab-initio S-matrix to data analysis of transfer to the continuum reactions populating 11Be

abstract: Recently, the bound and continuum spectrum of 11Be has been calculated within the ab-initio no-core shell model with continuum (NCSMC) method successfully reproducing the parity inversion in the ground state. The continuum spectrum obtained is in agreement with known experimental levels. The S-matrix contained in the NCSMC continuum wave functions of the n+10Be system is used in this work for the first time in a Transfer-to-the-Continuum (TC) reaction calculation. The TC approach is applied to study the excitation energy spectrum of 11Be measured in the 9Be(18O,16O)11Be reaction at 84 MeV. Previously known levels are confirmed and theoretical and experimental evidence for a 9/2+ state at Ex=5.8 MeV is given, whose configuration is thought to be 10Be(2+)+n(d5/2).


title: A supervised-learning-based strategy for optimal demand response of an HVAC System

abstract: The large thermal capacity of buildings enables heating, ventilating, and air-conditioning (HVAC) systems to be exploited as demand response (DR) resources. Optimal DR of HVAC units is challenging, particularly for multi-zone buildings, because this requires detailed physics-based models of zonal temperature variations for HVAC system operation and building thermal conditions. This paper proposes a new strategy for optimal DR of an HVAC system in a multi-zone building, based on supervised learning (SL). Artificial neural networks (ANNs) are trained with data obtained under normal building operating conditions. The ANNs are replicated using piecewise linear equations, which are explicitly integrated into an optimal scheduling problem for price-based DR. The optimization problem is solved for various electricity prices and building thermal conditions. The solutions are further used to train a deep neural network (DNN) to directly determine the optimal DR schedule, referred to here as supervised-learning-aided meta-prediction (SLAMP). Case studies are performed using three different methods: explicit ANN replication (EAR), SLAMP, and physics-based modeling. The case study results verify the effectiveness of the proposed SL-based strategy, in terms of both practical applicability and computational time, while also ensuring the thermal comfort of occupants and cost-effective operation of the HVAC system.


title: Experimental and numerical investigation of the hydrodynamic characteristics of Autonomous Underwater Vehicles over sea-beds with complex topography

abstract: Improved designs for Autonomous Underwater Vehicles (AUV) are becoming increasingly important due to their utility in academic and industrial applications. However, a majority of such testing and design is carried out under conditions that may not reflect the operating environment of shallow water AUVs. This may lead to imprecise estimations of the AUV's performance and sub-optimal designs. This article presents experimental and numerical studies carried out in conjunction, to investigate the hydrodynamic characteristics of AUV hulls at different Reynolds numbers over sloped channel-beds. We carry out experiments to measure the velocity field and turbulent statistics around the AUV with quantified uncertainty. These are contrasted against corresponding flat bed experiments to gauge the effect of test bed topography on AUV performance. The experimental data was used to validate Reynolds Stress Model predictions. Hydrodynamic parameters such as drag, pressure and skin friction coefficients were predicted from the RSM simulations at different test bed slopes, angles of attack and drift angles of the AUV hull, to analyze the hydrodynamic performance of the AUV. The results presented in this article offer avenues for design improvement of AUVs operating in shallow environments, such as the continental slope and estuaries.


title: Homotopy Analysis Technique for a Generalised (1+1)-Dimensional KdV Equation of Variable Coefficients

abstract: In this work, an exact solution to a new generalized nonlinear KdV partial differential equations has been investigated using homotopy analysis techniques. The mentioned partial differential equation has been solved using homotopy perturbation method (HPM). In details, the study is divided into two cases; the first case is that the linear part is the velocity (the first derivative with respect to time), and the initial guess was chosen at the initial time or the boundary values. Next, the other case was that the linear part consists of many linear terms from the equation, the chosen terms constructed a partial differential equation whose solution can be gained easily. Eventually, some plots of the found solutions have demonstrated the convergent behaviors of the solutions.


title: Survey of Computer Vision and Machine Learning in Gastrointestinal Endoscopy

abstract: This paper attempts to provide the reader a place to begin studying the application of computer vision and machine learning to gastrointestinal (GI) endoscopy. They have been classified into 18 categories. It should be be noted by the reader that this is a review from pre-deep learning era. A lot of deep learning based applications have not been covered in this thesis.


title: Method for Searching of an Optimal Scenario of Impact in Cognitive Maps during Information Operations Recognition

abstract: In this paper, we consider the problem of choosing the optimal scenario of the impact between nodes based on of the introduced criteria for the optimality of the impact. Two criteria for the optimality of the impact, which are called the force of impact and the speed of implementation of the scenario, are considered. To obtain a unique solution of the problem, a multi-criterial assessment of the received scenarios using the Pareto principle was applied. Based on the criteria of a force of impact and the speed of implementation of the scenario, the choice of the optimal scenario of impact was justified. The results and advantages of the proposed approach in comparison with the Kosko model are presented.


title: Phase Transition in Democratic Opinion Dynamics

abstract: Consider a community where initially, each individual is positive or negative regarding a reform proposal. In each round, individuals gather randomly in fixed rooms of different sizes, and all individuals in a room agree on the majority opinion in the room (with ties broken in favor of the negative opinion). The Galam model---introduced in statistical physics, specifically sociophysics---approximates this basic random process. We approach the model from a more mathematical perspective and study the threshold behavior and the consensus time of the model.


title: Survey of Dropout Methods for Deep Neural Networks

abstract: Dropout methods are a family of stochastic techniques used in neural network training or inference that have generated significant research interest and are widely used in practice. They have been successfully applied in neural network regularization, model compression, and in measuring the uncertainty of neural network outputs. While original formulated for dense neural network layers, recent advances have made dropout methods also applicable to convolutional and recurrent neural network layers. This paper summarizes the history of dropout methods, their various applications, and current areas of research interest. Important proposed methods are described in additional detail.


title: Reproducing kernel of the space $R^t(K,\mu)$

abstract: For $1 \le t < \infty ,$ a compact subset $K$ of the complex plane $\mathbb C,$ and a finite positive measure $\mu$ supported on $K,$ $R^t(K, \mu)$ denotes the closure in $L^t (\mu )$ of rational functions with poles off $K$. Let $\Omega$ be a connected component of the set of analytic bounded point evaluations for $R^t(K, \mu)$. In this paper, we examine the behavior of the reproducing kernel of $R^t(K, \mu)$ near the boundary $\partial \Omega \cap \mathbb T$, assuming that $\mu (\partial \Omega \cap \mathbb T ) > 0$, where $\mathbb T$ is the unit circle.


title: Realization of the fractional Laplacian with nonlocal exterior conditions via forms method

abstract: Let $\Omega\subset\RR^n$ ($n\ge 1$) be a bounded open set with a Lipschitz continuous boundary. In the first part of the paper, using the method of bilinear forms, we give a rigorous characterization of the realization in $L^2(\Omega)$ of the fractional Laplace operator $(-\Delta)^s$ ($0<s<1$) with the nonlocal Neumann and Robin exterior conditions. Contrarily to the classical local case $s=1$, it turns out that the nonlocal (Robin and Neumann) exterior conditions are incorporated in the form domain. We show that each of the above operators generates a strongly continuous submarkovian semigroup which is also ultracontractive. In the second part, we show that the semigroup corresponding to the nonlocal Robin exterior condition is always sandwiched between the fractional Dirichlet semigroup and the fractional Neumann semigroup.


title: SNR Spectra as a Quantitative Model for Image Quality in Polychromatic X-Ray Imaging

abstract: In polychromatic x-ray imaging for nondestructive testing, material science or medical applications, image quality is usually a problem of detecting sample structure in noisy data. This problem is typically stated this way: As many photons as possible need to be detected to get a good image quality. We instead propose to use the concept of signal detection, which is more universal. In signal detection, it is the sample properties which are detected. Photons play the role of information carriers for the signal. Signal detection for example allows modeling the effects which polychromaticity has on image quality. $\mathit{SNR}$ spectra (= spatial $\mathit{SNR}$) are used as a quantity to describe if reliable signal detection is possible. They include modulation transfer and phase contrast in addition to noisiness effects. $\mathit{SNR}$ spectra can also be directly measured, which means that theoretical predictions can easily be tested. We investigate the effects of signal and noise superposition on the $\mathit{SNR}$ spectrum and show how selectively not detecting photons can increase the image quality.


title: A critical point for bifurcation cascades and featureless turbulence

abstract: In this Letter we show that a bifurcation cascade and fully sustained turbulence can share the phase space of a fluid flow system, resulting in the presence of competing stable attractors. We analyse the toroidal pipe flow, which undergoes subcritical transition to turbulence at low pipe curvatures and supercritical transition at high curvatures, as was previously documented. We provide decisive evidence that the nature of the supercritical transition is of Ruelle--Takens type and that, in a narrow range of intermediate curvatures, its dynamics competes with that of sustained turbulence emerging through subcritical transition mechanisms.


title: Eelectrokinetic turbulence and chaos in ionic migration and in microfluidic convection

abstract: Turbulence in the ionic migration and in the microfluidic electro-hydrodynamic convection (mixing) under constant and low-frequency external electric field has been studied using distributed chaos approach and notion of effective (turbulent) diffusivity. Results of corresponding laboratory experiments have been also used for this purpose. It is shown that for the migration and convection (mixing) under constant and low-frequency external electric field the turbulent power spectra have stretched exponential form $E(k) \propto \exp-(k/k_{\beta})^{2/3}$. In the case of the microfluidic convection the distributed chaos is tuned to the large-scale coherent structures generated by the low-frequency oscillating external electric field ( $k_{\beta}$ is proportional to the forcing frequency).


title: On Social Machines for Algorithmic Regulation

abstract: Autonomous mechanisms have been proposed to regulate certain aspects of society and are already being used to regulate business organisations. We take seriously recent proposals for algorithmic regulation of society, and we identify the existing technologies that can be used to implement them, most of them originally introduced in business contexts. We build on the notion of 'social machine' and we connect it to various ongoing trends and ideas, including crowdsourced task-work, social compiler, mechanism design, reputation management systems, and social scoring. After showing how all the building blocks of algorithmic regulation are already well in place, we discuss possible implications for human autonomy and social order. The main contribution of this paper is to identify convergent social and technical trends that are leading towards social regulation by algorithms, and to discuss the possible social, political, and ethical consequences of taking this path.


title: A data-efficient geometrically inspired polynomial kernel for robot inverse dynamics

abstract: In this paper, we introduce a novel data-driven inverse dynamics estimator based on Gaussian Process Regression. Driven by the fact that the inverse dynamics can be described as a polynomial function on a suitable input space, we propose the use of a novel kernel, called Geometrically Inspired Polynomial Kernel (GIP). The resulting estimator behaves similarly to model-based approaches as concerns data efficiency. Indeed, we proved that the GIP kernel defines a finite-dimensional Reproducing Kernel Hilbert Space that contains the inverse dynamics function computed through the Rigid Body Dynamics. The proposed kernel is based on the recently introduced Multiplicative Polynomial Kernel, a redefinition of the classical polynomial kernel equipped with a set of parameters that allows for a higher regularization. We tested the proposed approach in a simulated environment, and also in real experiments with a UR10 robot. The obtained results confirm that, compared to other data-driven estimators, the proposed approach is more data-efficient and exhibits better generalization properties. Instead, with respect to model-based estimators, our approach requires less prior information and is not affected by model bias.


title: A review of Quantum Cellular Automata

abstract: Discretizing spacetime is often a natural step towards modelling physical systems. For quantum systems, if we also demand a strict bound on the speed of information propagation, we get quantum cellular automata (QCAs). These originally arose as an alternative paradigm for quantum computation, though more recently they have found application in understanding topological phases of matter and have been proposed as models of periodically driven (Floquet) quantum systems, where QCA methods were used to classify their phases. QCAs have also been used as a natural discretization of quantum field theory, and some interesting examples of QCAs have been introduced that become interacting quantum field theories in the continuum limit. This review discusses all of these applications, as well as some other interesting results on the structure of quantum cellular automata, including the tensor-network unitary approach, the index theory and higher dimensional classifications of QCAs.


title: Well-posedness by noise for linear advection of $k$-forms

abstract: In this work, we extend existing well-posedness by noise results for the stochastic transport and continuity equations by treating them as special cases of the linear advection equation of $k$-forms, which arises naturally in geometric fluid dynamics. In particular, we prove the existence and uniqueness of weak $L^p$-solutions to the stochastic linear advection equation of $k$-forms that is driven by a H\"older continuous, $W^{1,1}_{loc}$ drift and smooth diffusion vector fields, such that the equation without noise admits infinitely many solutions.


title: Overlap Algebras: a Constructive Look at Complete Boolean Algebras

abstract: The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set. Sambin's notion of an overlap algebra, although classically equivalent to that of a complete Boolean algebra, has powersets and other natural structures as instances. In this paper we study the category of overlap algebras as an extension of the category of sets and relations, and we establish some basic facts about mono-epi-isomorphisms and (co)limits; here a morphism is a symmetrizable function (with classical logic this is just a function which preserves joins). Then we specialize to the case of morphisms which preserve also finite meets: classically, this is the usual category of complete Boolean algebras. Finally, we connect overlap algebras with locales, and their morphisms with open maps between locales, thus obtaining constructive versions of some results about Boolean locales.


title: Analyzing Onset of Nonlinearity of a Colloidal Gel at the Critical Point

abstract: In this work we study onset of nonlinear rheological behavior of a colloidal dispersion of a synthetic hectorite clay, Laponite, at the critical gel state while undergoing sol-gel transition. When subjected to step strain in the nonlinear regime, the relaxation modulus shifts vertically to the lower values such that the deviation from linearity can be accommodated using a strain dependent damping function. We also perform creep-recovery and start-up shear experiments on the studied colloidal dispersion at the critical gel state and monitor deviation in response as the flow becomes nonlinear. A quasi-linear integral model is developed with the time-strain separable relaxation modulus to account for the effect of nonlinear deformation. Remarkably, the proposed model predicts the deviation from linearity in the creep-recovery and start-up shear experiments very well leading to a simple formulation to analyze the onset of nonlinear rheological behavior in the critical gels. We also analyze the energy dissipation during the nonlinear deformation and validate the Bailey criterion using the developed viscoelastic framework.


title: Signal and noise in regime systems: a hypothesis on the predictability of the North Atlantic Oscillation

abstract: Studies conducted by the UK Met Office reported significant skill at predicting the winter NAO index with their seasonal prediction system. At the same time, a very low signal-to-noise ratio was observed, as measured using the `ratio of predictable components' (RPC) metric. We analyse both the skill and signal-to-noise ratio using a new statistical toy-model which assumes NAO predictability is driven by regime dynamics. It is shown that if the system is approximately bimodal in nature, with the model consistently underestimating the level of regime persistence each season, then both the high skill and high RPC value of the Met Office hindcasts can easily be reproduced. Underestimation of regime persistence could be attributable to any number of sources of model error, including imperfect regime structure or errors in the propagation of teleconnections. In particular, a high RPC value for a seasonal mean prediction may be expected even if the models internal level of noise is realistic.


title: Model Comparison for Semantic Grouping

abstract: We introduce a probabilistic framework for quantifying the semantic similarity between two groups of embeddings. We formulate the task of semantic similarity as a model comparison task in which we contrast a generative model which jointly models two sentences versus one that does not. We illustrate how this framework can be used for the Semantic Textual Similarity tasks using clear assumptions about how the embeddings of words are generated. We apply model comparison that utilises information criteria to address some of the shortcomings of Bayesian model comparison, whilst still penalising model complexity. We achieve competitive results by applying the proposed framework with an appropriate choice of likelihood on the STS datasets.


title: Learning from Implicit Information in Natural Language Instructions for Robotic Manipulations

abstract: Human-robot interaction often occurs in the form of instructions given from a human to a robot. For a robot to successfully follow instructions, a common representation of the world and objects in it should be shared between humans and the robot so that the instructions can be grounded. Achieving this representation can be done via learning, where both the world representation and the language grounding are learned simultaneously. However, in robotics this can be a difficult task due to the cost and scarcity of data. In this paper, we tackle the problem by separately learning the world representation of the robot and the language grounding. While this approach can address the challenges in getting sufficient data, it may give rise to inconsistencies between both learned components. Therefore, we further propose Bayesian learning to resolve such inconsistencies between the natural language grounding and a robot's world representation by exploiting spatio-relational information that is implicitly present in instructions given by a human. Moreover, we demonstrate the feasibility of our approach on a scenario involving a robotic arm in the physical world.


title: Effective and Efficient Indexing in Cross-Modal Hashing-Based Datasets

abstract: To overcome the barrier of storage and computation, the hashing technique has been widely used for nearest neighbor search in multimedia retrieval applications recently. Particularly, cross-modal retrieval that searches across different modalities becomes an active but challenging problem. Although dozens of cross-modal hashing algorithms are proposed to yield compact binary codes, the exhaustive search is impractical for the real-time purpose, and Hamming distance computation suffers inaccurate results. In this paper, we propose a novel search method that utilizes a probability-based index scheme over binary hash codes in cross-modal retrieval. The proposed hash code indexing scheme exploits a few binary bits of the hash code as the index code. We construct an inverted index table based on index codes and train a neural network to improve the indexing accuracy and efficiency. Experiments are performed on two benchmark datasets for retrieval across image and text modalities, where hash codes are generated by three cross-modal hashing methods. Results show the proposed method effectively boost the performance on these hash methods.


title: Optimal robustness of port-Hamiltonian systems

abstract: We construct optimally robust port-Hamiltonian realizations of a given rational transfer function that represents a passive system. We show that the realization with a maximal passivity radius is a normalized port-Hamiltonian one. Its computation is linked to a particular solution of a linear matrix inequality that defines passivity of the transfer function, and we provide an algorithm to construct this optimal solution. We also consider the problem of finding the nearest passive system to a given non-passive one and provide a simple but suboptimal solution.


title: MDFEM: Multivariate decomposition finite element method for elliptic PDEs with lognormal diffusion coefficients using higher-order QMC and FEM

abstract: We introduce the multivariate decomposition finite element method for elliptic PDEs with lognormal diffusion coefficient $a=\exp(Z)$ where $Z$ is a Gaussian random field defined by an infinite series expansion $Z(\boldsymbol{y}) = \sum_{j\ge1} y_j\,\phi_j$ with $y_j\sim\mathcal{N}(0,1)$ and a given sequence of functions $\{\phi_j\}_{j\ge1}$. We use the MDFEM to approximate the expected value of a linear functional of the solution of the PDE which is an infinite-dimensional integral over the parameter space. The proposed algorithm uses the multivariate decomposition method (MDM) to compute the infinite-dimensional integral by a decomposition into finite-dimensional integrals, which we resolve using quasi-Monte Carlo (QMC) methods, and for which we use the finite element method (FEM) to solve different instances of the PDE. We develop higher-order quasi-Monte Carlo rules for integration over the finite-dimensional Euclidean space with respect to the Gaussian distribution by use of a truncation strategy. By linear transformations of interlaced polynomial lattice rules from the unit cube to a multivariate box of the Euclidean space we achieve higher-order convergence rates for functions belonging to a class of anchored Gaussian Sobolev spaces, taking into account the truncation error. Under appropriate conditions, the MDFEM achieves higher-order convergence rates in term of error versus cost, i.e., to achieve an accuracy of $O(\epsilon)$ the computational cost is $O(\epsilon^{-1/\lambda-d'/\lambda}) = O(\epsilon^{-(p^*+d'/\tau)/(1-p^*)})$ where $\epsilon^{-1/\lambda}$ and $\epsilon^{-d'/\lambda}$ are respectively the cost of the quasi-Monte Carlo cubature and the finite element approximations, with $d' = d \, (1+\delta')$ for some $\delta' \ge 0$ and $d$ the physical dimension, and $0 < p^* \le (2+d'/\tau)^{-1}$ is a parameter representing the sparsity of $\{\phi_j\}_{j\ge1}$.


title: A Self-Adaptive Contractive Algorithm for Enhanced Dynamic Phasor Estimation

abstract: In this paper, a self-adaptive contractive (SAC) algorithm is proposed for enhanced dynamic phasor estimation in the diverse operating conditions of modern power systems. At a high-level, the method is composed of three stages: parameter shifting, filtering and parameter unshifting. The goal of the first stage is to transform the input signal phasor so that it is approximately mapped to nominal conditions. The second stage provides estimates of the phasor, frequency, rate of change of frequency (ROCOF), damping and rate of change of damping (ROCOD) of the parameter shifted phasor by using a differentiator filter bank (DFB). The final stage recovers the original signal phasor parameters while rejecting misleading estimates. The most important features of the algorithm are that it offers convergence guarantees in a set of desired conditions, and also great harmonic rejection. Numerical examples, including the IEEE C37.118.1 standard tests with realistic noise levels, as well as fault conditions, validate the proposed algorithm.


title: Supervised Machine Learning for Eliciting Individual Demand

abstract: Direct elicitation, guided by theory, is the standard method for eliciting latent preferences. The canonical direct-elicitation approach for measuring individuals' valuations for goods is the Becker-DeGroot-Marschak procedure, which generates willingness-to-pay (WTP) values that are imprecise and systematically biased by understating valuations. We show that enhancing elicited WTP values with supervised machine learning (SML) can substantially improve estimates of peoples' out-of-sample purchase behavior. Furthermore, swapping WTP data with choice data generated from a simple task, two-alternative forced choice, leads to comparable performance. Combining all the data with the best-performing SML methods yields large improvements in predicting out-of-sample purchases. We quantify the benefit of using various SML methods in conjunction with using different types of data. Our results suggest that prices set by SML would increase revenue by 28% over using the stated WTP, with the same data.


title: Selfish Mining in Ethereum

abstract: We study selfish mining in Ethereum. The problem is combinatorially more complex than in Bitcoin because of major differences in the reward system and a different difficulty adjustment formula. Equivalent strategies in Bitcoin do have different profitabilities in Ethereum. The attacker can either broadcast his fork one block by one, or keep them secret as long as possible and publish them all at once at the end of an attack cycle. The first strategy is damaging for substantial hashrates, and we show that the second strategy is even worse. This confirms what we already proved for Bitcoin: Selfish mining is most of all an attack on the difficulty adjustment formula. We show that the current reward for signaling uncle blocks is a weak incentive for the attacker to signal blocks. We compute the profitabilities of different strategies and find out that for a large parameter space values, strategies that do not signal blocks are the best ones. We compute closed-form formulas for the apparent hashrates for these strategies and compare them. We use a direct combinatorics analysis with Dyck words to find these closed-form formulas.


title: Notes on Derived Geometric Formulations in Physics

abstract: This is an overview of higher structural constructions in physics. The main motivations of our current attempt are as follows: (i) to provide a brief introduction to derived algebraic geometry, (ii) to understand how derived objects naturally appear in physics and give rise to formal mathematical treatment, and (iii) to investigate how factorization algebras together with certain higher categorical structures come into play to encode the structure of observables in physics. Adopting such a heavy and relatively enriched language allows us to formalize the notions of quantization and observables in quantum field theory as well. This document is organized to examine each task listed above in an expository manner.


title: Dynamics of a magnetic skyrmionium in an anisotropy gradient

abstract: Magnetic skyrmionium is a novel magnetization configuration with zero skyrmion number, which is composed by two skyrmions with opposite skyrmion number. Here, we study the dynamics of skyrmionium under an anisotropy gradient. We find that the skyrmionium can be efficiently driven by an anisotropy gradient with moving straightly along the direction of gradient. The skyrmion Hall angle for skyrmionium is close to zero which is much smaller than that of skyrmion. while the speed is much larger. We also demonstrate that the skyrmionium motion depends on the damping cofficient, and the skyrmionium stabilization in the motion can be modulated by narrowing the width of the nanowire. Our work shows a efficient driven method for skyrmionium, which may be promising in the application of skyrmionium based racetrack memory.


title: Coevo: a collaborative design platform with artificial agents

abstract: We present Coevo, an online platform that allows both humans and artificial agents to design shapes that solve different tasks. Our goal is to explore common shared design tools that can be used by humans and artificial agents in a context of creation. This approach can provide a better knowledge transfer and interaction with artificial agents since a common language of design is defined. In this paper, we outline the main components of this platform and discuss the definition of a human-centered language to enhance human-AI collaboration in co-creation scenarios.


title: Equatorial anti-rotating day side wind flow in WASP-43b elicited by deep wind jets?

abstract: We present WASP-43b climate simulations with deep wind jets (down to 700~bar) that are linked to retrograde (westward) flow at the equatorial day side for $p<0.1$~bar. Retrograde flow inhibits efficient eastward heat transport and naturally explains the small hotspot shift and large day-night-side gradient of WASP-43b ($P_{\text{orb}}=P_{\text{rot}}=0.8135$~days) observed with Spitzer. We find that deep wind jets are mainly associated with very fast rotations ($P_{\text{rot}}=P_{\text{orb}}\leq 1.5$~days) which correspond to the Rhines length smaller than $2$ planetary radii. We also diagnose wave activity that likely gives rise to deviations from superrotation. Further, we show that we can achieve full steady state in our climate simulations by imposing a deep forcing regime for $p>10$~bar: convergence time scale $\tau_{\text{conv}}=10^6-10^8$~s to a common adiabat, as well as linear drag at depth ($p\geq 200$~bar), which mimics to first order magnetic drag. Lower boundary stability and the deep forcing assumptions were also tested with climate simulations for HD~209458b ($P_{\text{orb}}=P_{\text{rot}}=3.5$~days). HD~209458b simulations always show shallow wind jets (never deeper than 100~bar) and unperturbed superrotation. If we impose a fast rotation ($P_{\text{orb}}=P_{\text{rot}}=0.8135$~days), also the HD~209458b-like simulation shows equatorial retrograde flow at the day side. We conclude that the placement of the lower boundary at $p=200$~bar is justified for slow rotators like HD~209458b, but we suggest that it has to be placed deeper for fast-rotating, dense hot Jupiters ($P_{\text{orb}}\leq 1.5$~days) like WASP-43b. Our study highlights that the deep atmosphere may have a strong influence on the observable atmospheric flow in some hot Jupiters.


title: Adversarial Balancing-based Representation Learning for Causal Effect Inference with Observational Data

abstract: Learning causal effects from observational data greatly benefits a variety of domains such as health care, education and sociology. For instance, one could estimate the impact of a new drug on specific individuals to assist the clinic plan and improve the survival rate. In this paper, we focus on studying the problem of estimating Conditional Average Treatment Effect (CATE) from observational data. The challenges for this problem are two-fold: on the one hand, we have to derive a causal estimator to estimate the causal quantity from observational data, where there exists confounding bias; on the other hand, we have to deal with the identification of CATE when the distribution of covariates in treatment and control groups are imbalanced. To overcome these challenges, we propose a neural network framework called Adversarial Balancing-based representation learning for Causal Effect Inference (ABCEI), based on the recent advances in representation learning. To ensure the identification of CATE, ABCEI uses adversarial learning to balance the distributions of covariates in treatment and control groups in the latent representation space, without any assumption on the form of the treatment selection/assignment function. In addition, during the representation learning and balancing process, highly predictive information from the original covariate space might be lost. ABCEI can tackle this information loss problem by preserving useful information for predicting causal effects under the regularization of a mutual information estimator. The experimental results show that ABCEI is robust against treatment selection bias, and matches/outperforms the state-of-the-art approaches. Our experiments show promising results on several datasets, representing different health care domains among others.


title: Progress on cubic interactions of arbitrary superspin supermultiplets via gauge invariant supercurrents

abstract: We consider cubic interactions of the form $s-Y-Y$ between a massless integer superspin $s$ supermultiplet and two massless arbitrary integer or half integer superspin $Y$ supermultiplets. We focus on non-minimal interactions generated by gauge invariant supercurrent multiplets which are bilinear in the superfield strength of the superspin $Y$ supermultiplet. We find two types of consistent supercurrents. The first one corresponds to conformal integer superspin $s$ supermultiplets, exist only for even values of $s, s=2\ell+2$, for arbitrary values of $Y$ and it is unique. The second one, corresponds to Poincar\'e integer superspin $s$ supermultiplets, exist for arbitrary values of $s$ and $Y$.


title: Weighted Poincare inequality and the Poisson equation

abstract: We develop Green's function estimate for manifolds satisfying a weighted Poincare inequality together with a compatible lower bound on the Ricci curvature. The estimate is then applied to establish existence and sharp estimates of the solution to the Poisson equation on such manifolds. As an application, a Liouville property for finite energy holomorphic functions is proven on a class of complete K\"ahler manifolds. Consequently, such K\"ahler manifolds must be connected at infinity.


title: Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report)

abstract: We present Behavioral Program Logic (BPL), a dynamic logic for trace properties that incorporates concepts from behavioral types and allows reasoning about non-functional properties within a sequent calculus. BPL uses behavioral modalities [s |- {\tau} ], to verify statements s against behavioral specifications {\tau}. Behavioral specifications generalize postconditions and behavioral types. They can be used to specify other static analyses, e.g., data flow analyses. This enables deductive reasoning about the results of multiple analyses on the same program, potentially implemented in different formalisms. Our calculus for BPL verifies the behavioral specification gradually, as common for behavioral types. This vastly simplifies specification, calculus and composition of local results. We present a sequent calculus for object-oriented actors with futures that integrates a pointer analysis and bridges the gap between behavioral types and deductive verification. This technical report introduces (1) complete LAGC semantics of a Core Active Object language (CAO) without continuations (2) Behavioral Program Logic and (3) gives an example for a behavioral type expressed in Behavioral Program Logic, method types. This report contains the soundness proofs for method types. While the semantics cover CAO with suspension, the method types do not, to simplify the presentation.


title: Duality in Quantum Quenches and Classical Approximation Algorithms: Pretty Good or Very Bad

abstract: We consider classical and quantum algorithms which have a duality property: roughly, either the algorithm provides some nontrivial improvement over random or there exist many solutions which are significantly worse than random. This enables one to give guarantees that the algorithm will find such a nontrivial improvement: if few solutions exist which are much worse than random, then a nontrivial improvement is guaranteed. The quantum algorithm is based on a sudden of a Hamiltonian; while the algorithm is general, we analyze it in the specific context of MAX-$K$-LIN$2$, for both even and odd $K$. The classical algorithm is a "dequantization of this algorithm", obtaining the same guarantee (indeed, some results which are only conjectured in the quantum case can be proven here); however, the quantum point of view helps in analyzing the performance of the classical algorithm and might in some cases perform better.


title: On canonical bases of Letzter algebra $\mathbf U^{\imath}(\mathfrak{sl}_2)$

abstract: Let $\mathbf U^{\imath}\equiv\mathbf U^{\imath} (\mathfrak{sl}_2)$ be Letzter's coideal subalgebra of quantum $\mathfrak{sl}_2$ corresponding to the symmetric pair $(\mathfrak{sl}_2(\mathbb C),\mathbb C)$. As a subalgebra of quantum $\mathfrak{sl}_2$, $\mathbf U^{\imath}$ is generated by the sum $\mathbf E + v\mathbf K\mathbf F+\mathbf K$ of standard generators, and hence can be identified with the polynomial ring $\mathbb Q(v)[t]$. In [BW13] and [LW18], two distinguished bases, called $\imath$canonical bases, are constructed inside the modified form of $\mathbf U^{\imath}$ via algebraic and geometric approaches respectively. The modified form of $\mathbf U^{\imath}$ can be identified with a direct sum of two copies of $\mathbf U^{\imath}\cong\mathbb Q(v)[t]$ itself. An explicit and elegant formula, as a polynomial in $t$, of algebraic basis elements is conjectured in [BW13] and proved in [BeW18]. The purpose of this short paper is to show that the geometric basis in [LW18] admits the same description and, consequently, that the two bases coincide.


title: Learning Fair Representations via an Adversarial Framework

abstract: Fairness has become a central issue for our research community as classification algorithms are adopted in societally critical domains such as recidivism prediction and loan approval. In this work, we consider the potential bias based on protected attributes (e.g., race and gender), and tackle this problem by learning latent representations of individuals that are statistically indistinguishable between protected groups while sufficiently preserving other information for classification. To do that, we develop a minimax adversarial framework with a generator to capture the data distribution and generate latent representations, and a critic to ensure that the distributions across different protected groups are similar. Our framework provides a theoretical guarantee with respect to statistical parity and individual fairness. Empirical results on four real-world datasets also show that the learned representation can effectively be used for classification tasks such as credit risk prediction while obstructing information related to protected groups, especially when removing protected attributes is not sufficient for fair classification.


title: PYRO-NN: Python Reconstruction Operators in Neural Networks

abstract: Purpose: Recently, several attempts were conducted to transfer deep learning to medical image reconstruction. An increasingly number of publications follow the concept of embedding the CT reconstruction as a known operator into a neural network. However, most of the approaches presented lack an efficient CT reconstruction framework fully integrated into deep learning environments. As a result, many approaches are forced to use workarounds for mathematically unambiguously solvable problems. Methods: PYRO-NN is a generalized framework to embed known operators into the prevalent deep learning framework Tensorflow. The current status includes state-of-the-art parallel-, fan- and cone-beam projectors and back-projectors accelerated with CUDA provided as Tensorflow layers. On top, the framework provides a high level Python API to conduct FBP and iterative reconstruction experiments with data from real CT systems. Results: The framework provides all necessary algorithms and tools to design end-to-end neural network pipelines with integrated CT reconstruction algorithms. The high level Python API allows a simple use of the layers as known from Tensorflow. To demonstrate the capabilities of the layers, the framework comes with three baseline experiments showing a cone-beam short scan FDK reconstruction, a CT reconstruction filter learning setup, and a TV regularized iterative reconstruction. All algorithms and tools are referenced to a scientific publication and are compared to existing non deep learning reconstruction frameworks. The framework is available as open-source software at \url{https://github.com/csyben/PYRO-NN}. Conclusions: PYRO-NN comes with the prevalent deep learning framework Tensorflow and allows to setup end-to-end trainable neural networks in the medical image reconstruction context. We believe that the framework will be a step towards reproducible research


title: On the liftability of expanding stationary measures

abstract: We consider random perturbations of a topologically transitive local diffeomorphism of a Riemannian manifold. We show that if an absolutely continuous ergodic stationary measures is expanding (all Lyapunov exponents positive), then there is a random Gibbs-Markov-Young structure which can be used to lift that measure. We also prove that if the original map admits a finite number of expanding invariant measures then the stationary measures of a sufficiently small stochastic perturbation are expanding.


title: Asymptotic period relations for Jacobian elliptic surfaces

abstract: We find an asymptotic description of the period locus of simply connected Jacobian elliptic surfaces and of the period locus of hyperelliptic curves. The two descriptions are essentially the same, and are given by the alkanes of organic chemistry.


title: The Impact of Plasma Instabilities on the Spectra of TeV Blazars

abstract: Relativistic jets from blazars are known to be sources of very-high-energy gamma rays (VHEGRs). During their propagation in the intergalactic space, VHEGRs interact with pervasive cosmological photon fields such as the extragalactic background light (EBL) and the cosmic microwave background (CMB), producing electron-positron pairs. These pairs can upscatter CMB/EBL photons to high energies via inverse Compton scattering, thereby continuing the cascade process. This is often used to set limits on intergalactic magnetic fields (IGMFs). However, the picture may change if plasma instabilities, arising due to the interaction of the pairs with the intergalactic medium (IGM), cool down the electrons/positrons faster than inverse Compton scattering. As a consequence, the kinetic energy lost by the pairs to the IGM could cause a hardening in the observed gamma-ray spectrum at energies below $\sim$100 GeV. Here we study several types and models of instabilities and assess their impact for interpreting observations of distant blazars. Our results suggest that plasma instabilities can describe the spectra of some blazars and mimic the effects of IGMFs, depending on parameters such as intrinsic spectrum of the object, the density and temperature of the IGM, and the luminosity of the beam. On the other hand, we find that for our fiducial set of parameters plasma instabilities do not have a major impact on the spectra of some of the blazars studied. Therefore, they may be used for constraining IGMFs.


title: The asymptotic value of graph energy for random graphs with degree-based weights

abstract: In this paper, we investigate the energy of a weighted random graph $G_p(f)$ in $G_{n,p}(f)$, in which each edge $ij$ takes the weight $f(d_i,d_j)$, where $d_v$ is a random variable, the degree of vertex $v$ in the random graph $G_p$ of the Erd\"{o}s--R\'{e}nyi random graph model $G_{n,p}$, and $f$ is a symmetric real function on two variables. Suppose $|f(d_i,d_j)|\leq C n^m$ for some constants $C, m>0$, and $f((1+o(1))np,(1+o(1))np)=(1+o(1))f(np,np)$. Then, for almost all graphs $G_p(f)$ in $G_{n,p}(f)$, the energy of $G_p(f)$ is $(1+o(1))f(np,np)\frac{8}{3\pi}\sqrt{p(1-p)}\cdot n^{3/2},$ where $p\in(0,1)$ is any fixed and independent of $n$. Consequently, with this one basket we can get the asymptotic values of various kinds of graph energies of chemical use, such as Randi\'c energy, ABC energy, and energies of random matrices obtained from various kinds of degree-based chemical indices.


title: Constraints on the redshift evolution of astrophysical feedback with Sunyaev-Zeldovich effect cross-correlations

abstract: An understanding of astrophysical feedback is important for constraining models of galaxy formation and for extracting cosmological information from current and future weak lensing surveys. The thermal Sunyaev-Zel'dovich effect, quantified via the Compton-$y$ parameter, is a powerful tool for studying feedback, because it directly probes the pressure of the hot, ionized gas residing in dark matter halos. Cross-correlations between galaxies and maps of Compton-$y$ obtained from cosmic microwave background surveys are sensitive to the redshift evolution of the gas pressure, and its dependence on halo mass. In this work, we use galaxies identified in year one data from the Dark Energy Survey and Compton-$y$ maps constructed from Planck observations. We find highly significant (roughly $12\sigma$) detections of galaxy-$y$ cross-correlation in multiple redshift bins. By jointly fitting these measurements as well as measurements of galaxy clustering, we constrain the halo bias-weighted, gas pressure of the Universe as a function of redshift between $0.15 \lesssim z \lesssim 0.75$. We compare these measurements to predictions from hydrodynamical simulations, allowing us to constrain the amount of thermal energy in the halo gas relative to that resulting from gravitational collapse.


title: Kinematics of CIV and [OIII] emission in luminous high-redshift quasars

abstract: We characterise ionised gas outflows using a large sample of ~330 high-luminosity (45.5 < log(L_bol/erg s^-1) < 49.0), high-redshift (1.5 < z < 4.0) quasars via their [OIII]4960,5008 emission. The median velocity width of the [OIII] emission line is 1540 kms^-1, increasing with increasing quasar luminosity. Broad, blue-shifted wings are seen in the [OIII] profiles of 42 per cent of the sample. Rest-frame ultraviolet spectra with well-characterised CIV 1550 emission line properties are available for more than 210 quasars, allowing an investigation of the relationship between the Broad Line Region (BLR) and Narrow Line Region (NLR) emission properties. The [OIII] blueshift is correlated with CIV blueshift, even when the dependence of both quantities on quasar luminosity has been taken into account. A strong anti-correlation between the [OIII] equivalent width (EW) and CIV blueshift also exists. Furthermore, [OIII] is very weak, with EW<1A, in ~10 per cent of the sample, a factor of 10 higher compared to quasars at lower luminosities and redshifts. If the [OIII] emission originates in an extended NLR, the observations suggest that quasar-driven winds are capable of influencing the host-galaxy environment out to kilo-parsec scales. The mean kinetic power of the ionised gas outflows is then 10^44.7 erg s^-1, which is ~0.15 per cent of the bolometric luminosity of the quasar. These outflow efficiencies are broadly consistent with those invoked in current active galactic nuclei feedback models.


title: Multimodal Classification of Urban Micro-Events

abstract: In this paper we seek methods to effectively detect urban micro-events. Urban micro-events are events which occur in cities, have limited geographical coverage and typically affect only a small group of citizens. Because of their scale these are difficult to identify in most data sources. However, by using citizen sensing to gather data, detecting them becomes feasible. The data gathered by citizen sensing is often multimodal and, as a consequence, the information required to detect urban micro-events is distributed over multiple modalities. This makes it essential to have a classifier capable of combining them. In this paper we explore several methods of creating such a classifier, including early, late, hybrid fusion and representation learning using multimodal graphs. We evaluate performance on a real world dataset obtained from a live citizen reporting system. We show that a multimodal approach yields higher performance than unimodal alternatives. Furthermore, we demonstrate that our hybrid combination of early and late fusion with multimodal embeddings performs best in classification of urban micro-events.


title: Three-dimensional imaging with single-frame jigsaw-puzzle-reorganized sinusoidal fringe using multi-pixel axial flat brush scanning

abstract: Structured-light three-dimensional (3D) imaging can achieve 3D shape of a stationary object via one or more pixelated array cameras with phase-shifting illumination. In order to extend 3D imaging to moving scenarios, we propose a 3D imaging method with double projection of a single-frame modulated light pattern and a sampling pattern. It can continuously image the moving 3D scene by making multi-pixel detector axial flat brush scan along the motion axis. Utilizing spatial multiplexing for multiple single-pixel imaging, each single-pixel does not need to keep staring at some part of the object, avoiding motion blur problem. The performance of our method has been demonstrated by numerical simulations. Given this, we believe that the technique paves the way to practical applications including product line 3D monitoring.


title: DFTB modelling of lithium intercalated graphite with machine-learned repulsive potential

abstract: Lithium ion batteries have been a central part of consumer electronics for decades. More recently, they have also become critical components in the quickly arising technological fields of electric mobility and intermittent renewable energy storage. However, many fundamental principles and mechanisms are not yet understood to a sufficient extent to fully realize the potential of the incorporated materials. The vast majority of concurrent lithium ion batteries make use of graphite anodes. Their working principle is based on intercalation---the embedding and ordering of (lithium-) ions in the two-dimensional spaces between the graphene sheets. This important process---it yields the upper bound to a battery's charging speed and plays a decisive role for its longevity---is characterized by multiple phase transitions, ordered and disordered domains, as well as non-equilibrium phenomena, and therefore quite complex. In this work, we provide a simulation framework for the purpose of better understanding lithium intercalated graphite and its behaviour during use in a battery. In order to address the large systems sizes and long time scales required to investigate said effects, we identify the highly efficient, but semi-empirical Density Funtional Tight Binding (DFTB) as a suitable approach and combine particle swarm optimization (PSO) with the machine learning (ML) procedure Gaussian Process Regression (GPR) to obtain the necessary parameters. Using the resulting parametrization, we are able to reproduce experimental reference structures at a level of accuracy which is in no way inferior to much more costly ab initio methods. We finally present structural properties and diffusion barriers for some exemplary system states.


title: Analyzing Defense Strategies Against Mobile Information Leakages: A Game-Theoretic Approach

abstract: Abuse of zero-permission sensors on-board mobile and wearable devices to infer users' personal context and information is a well-known privacy threat that has received significant attention. Efforts towards protection mechanisms that prevent or limit the success of such threats, however, have been ad-hoc so far and have primarily focused on designing threat-specific customized defense mechanisms. Such approaches are not very practical, as evident from their limited adoption within major mobile/wearable operating systems. In the end, it is clear that all privacy threats that take advantage of unrestricted access to zero-permission sensors can be prevented if access to these sensors is regulated. However, due to the dynamic nature of sensor usage and requirements of different mobile applications, design of such access control mechanisms is not trivial. To effectively design an automated mobile defense mechanism that can dynamically measure the threat level of different sensor access requests from different applications and appropriately block suspicious requests, the problem of zero-permission sensor access needs to be first formally defined and analyzed. This paper accomplishes the above objective by employing game theory, specifically, signaling games, to analytically model the sensor access scenario for mobile applications, including, formalizing sensor access strategies of mobile applications and defense strategies of the on-board defense mechanism and the associated costs and benefits. Within the confines of a formal and practical game model, the paper then outlines conditions under which equilibria can be achieved between entities (applications and defense mechanism) with conflicting goals. The game model is further analyzed using numerical simulations, and also extended in the form of a repeated signaling game.


title: Object Contour and Edge Detection with RefineContourNet

abstract: A ResNet-based multi-path refinement CNN is used for object contour detection. For this task, we prioritise the effective utilization of the high-level abstraction capability of a ResNet, which leads to state-of-the-art results for edge detection. Keeping our focus in mind, we fuse the high, mid and low-level features in that specific order, which differs from many other approaches. It uses the tensor with the highest-levelled features as the starting point to combine it layer-by-layer with features of a lower abstraction level until it reaches the lowest level. We train this network on a modified PASCAL VOC 2012 dataset for object contour detection and evaluate on a refined PASCAL-val dataset reaching an excellent performance and an Optimal Dataset Scale (ODS) of 0.752. Furthermore, by fine-training on the BSDS500 dataset we reach state-of-the-art results for edge-detection with an ODS of 0.824.


title: The Sierpinski Object in the Scott Realizability Topos

abstract: We study the Sierpinski object $\Sigma$ in the realizability topos based on Scott's graph model of the $\lambda$-calculus. Our starting observation is that the object of realizers in this topos is the exponential $\Sigma ^N$, where $N$ is the natural numbers object. We define order-discrete objects by orthogonality to $\Sigma$. We show that the order-discrete objects form a reflective subcategory of the topos, and that many fundamental objects in higher-type arithmetic are order-discrete. Building on work by Lietz, we give some new results regarding the internal logic of the topos. Then we consider $\Sigma$ as a dominance; we explicitly construct the lift functor and characterize $\Sigma$-subobjects. Contrary to our expectations the dominance $\Sigma$ is not closed under unions. In the last section we build a model for homotopy theory, where the order-discrete objects are exactly those objects which only have constant paths.


title: The Role of User Profile for Fake News Detection

abstract: Consuming news from social media is becoming increasingly popular. Social media appeals to users due to its fast dissemination of information, low cost, and easy access. However, social media also enables the widespread of fake news. Because of the detrimental societal effects of fake news, detecting fake news has attracted increasing attention. However, the detection performance only using news contents is generally not satisfactory as fake news is written to mimic true news. Thus, there is a need for an in-depth understanding on the relationship between user profiles on social media and fake news. In this paper, we study the challenging problem of understanding and exploiting user profiles on social media for fake news detection. In an attempt to understand connections between user profiles and fake news, first, we measure users' sharing behaviors on social media and group representative users who are more likely to share fake and real news; then, we perform a comparative analysis of explicit and implicit profile features between these user groups, which reveals their potential to help differentiate fake news from real news. To exploit user profile features, we demonstrate the usefulness of these user profile features in a fake news classification task. We further validate the effectiveness of these features through feature importance analysis. The findings of this work lay the foundation for deeper exploration of user profile features of social media and enhance the capabilities for fake news detection.


title: Symmetry-adapted real-space density functional theory for cylindrical geometries: application to large X (X=C, Si, Ge, Sn) nanotubes

abstract: We present a symmetry-adapted real-space formulation of Kohn-Sham density functional theory for cylindrical geometries and apply it to the study of large X (X=C, Si, Ge, Sn) nanotubes. Specifically, starting from the Kohn-Sham equations posed on all of space, we reduce the problem to the fundamental domain by incorporating cyclic and periodic symmetries present in the angular and axial directions of the cylinder, respectively. We develop a high-order finite-difference parallel implementation of this formulation, and verify its accuracy against established planewave and real-space codes. Using this implementation, we study the band structure and bending properties of X nanotubes and Xene sheets, respectively. Specifically, we first show that zigzag and armchair X nanotubes with radii in the range 1 to 5 nm are semiconducting. In particular, we find an inverse linear dependence of the bandgap with respect to the radius for all nanotubes, other than the armchair and zigzag type III carbon variants, for which we find an inverse quadratic dependence. Next, we exploit the connection between cyclic symmetry and uniform bending deformations to calculate the bending moduli of Xene sheets in both zigzag and armchair directions. We find Kirchhoff-Love type bending behavior for all sheets, with graphene and stanene possessing the largest and smallest moduli, respectively. In addition, other than graphene, the sheets demonstrate significant anisotropy, with larger bending moduli along the armchair direction. Finally, we demonstrate that the proposed approach has very good parallel scaling and is highly efficient, enabling ab initio simulations of unprecedented size for systems with a high degree of cyclic symmetry. In particular, we show that even micron-sized nanotubes can be simulated with modest computational effort.


title: Resonant biharmonic problems with asymmetric-superlinear nonlinearities

abstract: The aim of this work is to present results about existence of solutions for a class of biharmonic elliptic problems with homogeneous Navier conditions. The problem is symmetric and has linear behavior on -\infty and superlinear on +\infty. To obtain these results we apply topological degree theory.


title: Structured Prediction using cGANs with Fusion Discriminator

abstract: We propose the fusion discriminator, a single unified framework for incorporating conditional information into a generative adversarial network (GAN) for a variety of distinct structured prediction tasks, including image synthesis, semantic segmentation, and depth estimation. Much like commonly used convolutional neural network -- conditional Markov random field (CNN-CRF) models, the proposed method is able to enforce higher-order consistency in the model, but without being limited to a very specific class of potentials. The method is conceptually simple and flexible, and our experimental results demonstrate improvement on several diverse structured prediction tasks.


title: Forward and inverse acoustic scattering problems involving the mass density

abstract: This investigation is concerned with the 2D acoustic scattering problem of a plane wave propagating in a non-lossy fluid host and soliciting a linear, isotropic, macroscopically-homogeneous, lossy, flat-plane layer in which the mass density and wavespeed are different from those of the host. The focus is on the inverse problem of the retrieval of either the layer mass density or the real part of the layer wavespeed. The data is the transmitted pressure field, obtained by simulation (resolution of the forward problem) in exact, explicit form via separation of variables. Another form of this solution, which is exact and more explicit in terms of the mass-density contrast (between the host and layer), is obtained by a domain-integral method. A perturbation technique enables this solution to be cast as a series of powers of the mass density contrast, the first three terms of which are employed as the trial models in the treatment of the inverse problem. The aptitude of these models to retrieve the mass density contrast and real part of the layer wavespeed is demonstrated both theoretically and numerically. Keywords: 2D acoustics, forward scattering, inverse scattering, domain integral equation, constant mass density assumption, small density contrast, retrieval accuracy


title: Finite-Memory Strategies in POMDPs with Long-Run Average Objectives

abstract: Partially observable Markov decision processes (POMDPs) are standard models for dynamic systems with probabilistic and nondeterministic behaviour in uncertain environments. We prove that in POMDPs with long-run average objective, the decision maker has approximately optimal strategies with finite memory. This implies notably that approximating the long-run value is recursively enumerable, as well as a weak continuity property of the value with respect to the transition function.


title: Basis shape loci and the positive Grassmannian

abstract: A basis shape locus takes as input data a zero/nonzero pattern in an $n \times k$ matrix, which is equivalent to a presentation of a transversal matroid. The locus is defined as the set of points in the Grassmannian of $k$ planes in $\mathbb{R}^n$ which are the row space of a matrix with the prescribed zero/nonzero pattern. We show that this locus depends only on the transversal matroid, not on the specific presentation. When a transversal matroid is a positroid, the closure of its basis shape locus is the associated positroid variety. We give a sufficient, and conjecturally necessary, condition for when a transversal matroid is a positroid. Finally, we discus applications to two programs for computing scattering amplitudes in $\mathcal{N} = 4$ SYM theory: one trying to prove that projections of certain positroid cells triangulate the amplituhedron, and another using Wilson loop diagrams.


title: The Level Weighted Structural Similarity Loss: A Step Away from the MSE

abstract: The Mean Square Error (MSE) has shown its strength when applied in deep generative models such as Auto-Encoders to model reconstruction loss. However, in image domain especially, the limitation of MSE is obvious: it assumes pixel independence and ignores spatial relationships of samples. This contradicts most architectures of Auto-Encoders which use convolutional layers to extract spatial dependent features. We base on the structural similarity metric (SSIM) and propose a novel level weighted structural similarity (LWSSIM) loss for convolutional Auto-Encoders. Experiments on common datasets on various Auto-Encoder variants show that our loss is able to outperform the MSE loss and the Vanilla SSIM loss. We also provide reasons why our model is able to succeed in cases where the standard SSIM loss fails.


title: Possible Topological Phase Transition in Fe-Vacancy-Ordered $\beta$-Fe$_{4+\delta}$Se$_{5}$ Nanowires

abstract: We studied the electrical transport on $\beta$-Fe$_{4+\delta}$Se$_{5}$ single-crystal nanowires, exhibiting $\sqrt{5}\times\sqrt{5}$ Fe-vacancy order and mixed valence of Fe. We observed a first-order metal-insulator transition of the transition temperature at $\sim$28~K at zero magnetic field. The dielectric relaxation reveals that the transition is related to an energy gap expansion of $\sim$12~meV, involving the charge-orbital ordering. At nearly 28~K, colossal positive magnetoresistance emerges, resulting from the magnetic-field dependent shift of the transition temperature. Through the transition, the magnetotransport behavior transits from two-dimension-like to one-dimension-like conduction. The transition temperature demonstrates anisotropy with the $c$-axis as the preferred orientation in magnetic fields, suggesting the spin-orbital coupling. Our findings demonstrate the novel magnetoresistive transition intimating a topological transition in the Fe-vacancy-ordered $\beta$-Fe$_{4+\delta}$Se$_{5}$ nanowires. The results provide valuable information to better understand the orbital nature and the emergence of superconductivity in FeSe-based materials.


title: Characterizing Pairs Collaboration in a Mobile-equipped Shared-Wall Display Supported Collaborative Setup

abstract: Recent advancements in mobile devices encourage researchers to utilize them in collaborative environments as a medium to interact with large shared wall-displays. In this paper, we focus on a semi-controlled user study that we conducted to measure the collaborative coupling ratio between partners working in pairs in a collaborative setup equipped with a shared tiled-wall display and multiple mobile devices. We invited 36 participants in 18 pairs to take part in our experiment in order to analyze how they communicate and collaborate with each other during the experiment. We observed their collaborative coupling by measuring how often they verbally and visually communicated. Further, we found frequently used collaborative physical position patterns by observing the pairs' physical arrangements and standing positions. Moreover, we combined these factors to gain a clearer understanding of coupling in our setup, taking into account the mobility factor offered by the mobile devices. Results of the study show interesting findings about the coupling factors between the partners mainly due to the flexibility offered by including mobile devices in our collaborative setup.


title: Fault Diagnosis using Clustering. What Statistical Test to use for Hypothesis Testing?

abstract: Predictive maintenance and condition-based monitoring systems have seen significant prominence in recent years to minimize the impact of machine downtime on production and its costs. Predictive maintenance involves using concepts of data mining, statistics, and machine learning to build models that are capable of performing early fault detection, diagnosing the faults and predicting the time to failure. Fault diagnosis has been one of the core areas where the actual failure mode of the machine is identified. In fluctuating environments such as manufacturing, clustering techniques have proved to be more reliable compared to supervised learning methods. One of the fundamental challenges of clustering is developing a test hypothesis and choosing an appropriate statistical test for hypothesis testing. Most statistical analyses use some underlying assumptions of the data which most real-world data is incapable of satisfying those assumptions. This paper is dedicated to overcoming the following challenge by developing a test hypothesis for fault diagnosis application using clustering technique and performing PERMANOVA test for hypothesis testing.


title: Factor Analysis in Fault Diagnostics Using Random Forest

abstract: Factor analysis or sometimes referred to as variable analysis has been extensively used in classification problems for identifying specific factors that are significant to particular classes. This type of analysis has been widely used in application such as customer segmentation, medical research, network traffic, image, and video classification. Today, factor analysis is prominently being used in fault diagnosis of machines to identify the significant factors and to study the root cause of a specific machine fault. The advantage of performing factor analysis in machine maintenance is to perform prescriptive analysis (helps answer what actions to take?) and preemptive analysis (helps answer how to eliminate the failure mode?). In this paper, a real case of an industrial rotating machine was considered where vibration and ambient temperature data was collected for monitoring the health of the machine. Gaussian mixture model-based clustering was used to cluster the data into significant groups, and spectrum analysis was used to diagnose each cluster to a specific state of the machine. The significant features that attribute to a particular mode of the machine were identified by using the random forest classification model. The significant features for specific modes of the machine were used to conclude that the clusters generated are distinct and have a unique set of significant features.


title: Fast reconstruction of 3D blood flows from Doppler ultrasound images and reduced models

abstract: This paper deals with the problem of building fast and reliable 3D reconstruction methods for blood flows for which partial information is given by Doppler ultrasound measurements. This task is of interest in medicine since it could enrich the available information used in the diagnosis of certain diseases which is currently based essentially on the measurements coming from ultrasound devices. The fast reconstruction of the full flow can be performed with state estimation methods that have been introduced in recent years and that involve reduced order models. One simple and efficient strategy is the so-called Parametrized Background Data-Weak approach (PBDW). It is a linear mapping that consists in a least squares fit between the measurement data and a linear reduced model to which a certain correction term is added. However, in the original approach, the reduced model is built a priori and independently of the reconstruction task (typically with a proper orthogonal decomposition or a greedy algorithm). In this paper, we investigate the construction of other reduced spaces which are built to be better adapted to the reconstruction task and which result in mappings that are sometimes nonlinear. We compare the performance of the different algorithms on numerical experiments involving synthetic Doppler measurements. The results illustrate the superiority of the proposed alternatives to the classical linear PBDW approach.


title: Cherenkov-Plenoscope

abstract: Telescopes -- far seeing -- have since centuries revealed insights to objects at cosmic distances. Adopted for gamma-ray-astronomy, ground based Cherenkov-telescopes image the faint Cherenkov-light of air-showers induced by cosmic gamma-rays rushing into earth's atmosphere. In the race for the lowest possible energy-threshold for cosmic gamma-rays, these Cherenkov-telescopes have become bigger, and now reached their physical limits. The required structural rigidity for image-quality constrains a cost-effective construction of telescopes with apertures beyond 30 meter in diameter. Moreover, as the aperture increases, the narrower depth-of-field irrecoverably blurs the images what prevents the reconstruction of the cosmic particle's properties. To overcome these limits, we propose plenoptic-perception with light-fields. Our proposed 71 meter Cherenkov-plenoscope requires much less structural rigidity and turns a narrow depth-of-field into three-dimensional reconstruction-power. With an energy-threshold for gamma-rays of one Giga electron Volt, 20 times lower than what is foreseen for the future planned Cherenkov-Telescope-Array (CTA), the Cherenkov-plenoscope could become the portal to enter the sub second time-scale of the highly variable gamma-ray-sky. Also, this doctoral-thesis contains a second part on the prospects of single-photon-perception in Cherenkov-astronomy.


title: Constrained Orthogonal Segment Stabbing

abstract: Let $S$ and $D$ each be a set of orthogonal line segments in the plane. A line segment $s\in S$ \emph{stabs} a line segment $s'\in D$ if $s\cap s'\neq\emptyset$. It is known that the problem of stabbing the line segments in $D$ with the minimum number of line segments of $S$ is NP-hard. However, no better than $O(\log |S\cup D|)$-approximation is known for the problem. In this paper, we introduce a constrained version of this problem in which every horizontal line segment of $S\cup D$ intersects a common vertical line. We study several versions of the problem, depending on which line segments are used for stabbing and which line segments must be stabbed. We obtain several NP-hardness and constant approximation results for these versions. Our finding implies, the problem remains NP-hard even under the extra assumption on input, but small constant approximation algorithms can be designed.


title: Evolution of Systems with Power-Law Memory: Do We Have to Die?

abstract: Various features of the development of individual living species, including individual humans, are programmed. Is death also programmed, and if yes, how is it implemented and what can be the underlying mechanism providing the inevitability of death? The hypothesis presented in this paper is based on the similarity of the human evolution to the evolution of simple discrete nonlinear fractional (with power-law memory) systems. Caputo fractional/fractional difference logistic map is a simple discrete system with power-/asymptotically power-law memory and quadratic nonlinearity. In the area of parameters where the fixed point is unstable, its evolution starts as the evolution of a system with a stable fixed point but then this fixed point becomes unstable, suddenly breaks, and turns into a period two point. Considered under various types of random perturbations, the time spans of the evolution as a fixed point before the break (lifespans) obey the Gompertz-Makeham law, which is the observed distribution of the lifespans of live species, including humans. The underlying reason for modeling the evolution of humans by fractional systems are the observed power law in human memory and the viscoelastic nature of organ tissues of living species. Models with power-law memory may explain the observed decrease at very large ages of the rate of increase of the force of mortality and they imply limited lifespans.


title: A hierarchy of Palm measures for determinantal point processes with gamma kernels

abstract: The gamma kernels are a family of projection kernels $K^{(z,z')}=K^{(z,z')}(x,y)$ on a doubly infinite $1$-dimensional lattice. They are expressed through Euler's gamma function and depend on two continuous parameters $z,z'$. The gamma kernels initially arose from a model of random partitions via a limit transition. On the other hand, these kernels are closely related to unitarizable representations of the Lie algebra $\mathfrak{su}(1,1)$. Every gamma kernel $K^{(z,z')}$ serves as a correlation kernel for a determinantal measure $M^{(z,z')}$, which lives on the space of infinite point configurations on the lattice. We examine chains of kernels of the form $$ \ldots, K^{(z-1,z'-1)}, \; K^{(z,z')},\; K^{(z+1,z'+1)}, \ldots, $$ and establish the following hierarchical relations inside any such chain: Given $(z,z')$, the kernel $K^{(z,z')}$ is a one-dimensional perturbation of (a twisting of) the kernel $K^{(z+1,z'+1)}$, and the one-point Palm distributions for the measure $M^{(z,z')}$ are absolutely continuous with respect to $M^{(z+1,z'+1)}$. We also explicitly compute the corresponding Radon-Nikod\'ym derivatives and show that they are given by certain normalized multiplicative functionals.


title: Double-logarithms in N=8 supergravity: impact parameter description and mapping to 1-rooted ribbon graphs

abstract: The set of double-logarithmic (DL) contributions $(\alpha \, t \ln^2 {s})^n$ to the 4-graviton amplitude in ${\cal N}$$=$ 8 supergravity (SUGRA), with $\alpha$ being the gravitational coupling and $(s,t)$ the Mandelstam invariants, is studied in impact parameter ($\rho$) representation. This sector of the amplitude shows interesting properties which shed light on the nature of quantum corrections in gravity. Besides having a convergent behaviour as $s$ increases, which is not present in ${\cal N}$$<$ 4 SUGRA theories, there exists a critical line $\rho_c(s)$ above which the Born amplitude prevails. The short distance region $\rho < \rho_c(s)$ is dominated by the DL terms. As a consequence, when studied in terms of an eikonal approach in the forward limit, the scattering angle linked to the bending of the semiclassical trajectory of the graviton shows a transition from attractive gravity at large distances to a region at small $\rho$ characterized by a repulsive DL contribution to the gravitational potential due to the gravitino content of the theory. In the complex angular momentum plane, this DL high energy asymptotics is driven by the rightmost pole singularity of a parabolic cylinder function. The resummation of DL quantum corrections in ${\cal N}$$=$ 8 SUGRA can be understood in terms of the counting of 1-rooted maps on orientable surfaces.


title: Gradient Coding Based on Block Designs for Mitigating Adversarial Stragglers

abstract: Distributed implementations of gradient-based methods, wherein a server distributes gradient computations across worker machines, suffer from slow running machines, called 'stragglers'. Gradient coding is a coding-theoretic framework to mitigate stragglers by enabling the server to recover the gradient sum in the presence of stragglers. 'Approximate gradient codes' are variants of gradient codes that reduce computation and storage overhead per worker by allowing the server to approximately reconstruct the gradient sum. In this work, our goal is to construct approximate gradient codes that are resilient to stragglers selected by a computationally unbounded adversary. Our motivation for constructing codes to mitigate adversarial stragglers stems from the challenge of tackling stragglers in massive-scale elastic and serverless systems, wherein it is difficult to statistically model stragglers. Towards this end, we propose a class of approximate gradient codes based on balanced incomplete block designs (BIBDs). We show that the approximation error for these codes depends only on the number of stragglers, and thus, adversarial straggler selection has no advantage over random selection. In addition, the proposed codes admit computationally efficient decoding at the server. Next, to characterize fundamental limits of adversarial straggling, we consider the notion of 'adversarial threshold' -- the smallest number of workers that an adversary must straggle to inflict certain approximation error. We compute a lower bound on the adversarial threshold, and show that codes based on symmetric BIBDs maximize this lower bound among a wide class of codes, making them excellent candidates for mitigating adversarial stragglers.


title: Scalable Majorana vortex modes in iron-based superconductors

abstract: A vortex in an s-wave superconductor with a surface Dirac cone can trap a Majorana bound state with zero energy leading to a zero-bias peak (ZBP) of tunneling conductance. The iron-based superconductor FeTe$_x$Se$_{1-x}$ is one of the material candidates hosting these Majorana vortex modes. It has been observed by recent scanning tunneling spectroscopy measurement that the fraction of vortex cores possessing ZBPs decreases with increasing magnetic field on the surface of this iron-based superconductor. We construct a three-dimensional tight-binding model simulating the physics of over a hundred Majorana vortex modes in FeTe$_x$Se$_{1-x}$ with realistic physical parameters. Our simulation shows that the Majorana hybridization and disordered vortex distribution can explain the decreasing fraction of the ZBPs observed in the experiment. Furthermore, we find the statistics of the energy peaks off zero energy in our simulation with the Majorana physics in agreement with the analyzed peak statistics in the vortex cores from the experiment. This agreement and the explanation of the decreasing ZBP fraction lead to an important indication of scalable Majorana vortex modes in the iron-based superconductor. Thus, FeTe$_x$Se$_{1-x}$ can be one promising platform possessing scalable Majorana qubits for quantum computing. In addition, we further show the interplay of the ZBP presence and the vortex locations qualitatively agrees with our additional experimental observation and predict the universal spin signature of the hybridized multiple Majorana vortex modes.


title: Generic stabilizers in actions of simple algebraic groups

abstract: In this paper we treat faithful actions of simple algebraic groups on irreducible modules and on the associated Grassmannian varieties. By explicit calculation, we show that in each case, with essentially one exception, there is a dense open subset any point of which has stabilizer conjugate to a fixed subgroup, called the generic stabilizer. We provide tables listing generic stabilizers in the cases where they are non-trivial; in addition we decide whether or not there is a dense orbit, or a regular orbit for the action on the module.


title: A pedagogical review on solvable irrelevant deformations of 2d quantum field theory

abstract: This is a pedagogical review on $\mathrm{T}\overline{\mathrm{T}}$ deformation of two dimensional quantum field theories. It is based on three lectures which the author gave at ITP-CAS in December 2018. This review consists of four parts. The first part is a general introduction to $\mathrm{T}\overline{\mathrm{T}}$ deformation. Special emphasises are put on the deformed classical Lagrangian and the exact solvability of the spectrum. The second part focuses on the torus partition sum of the $\mathrm{T}\overline{{\mathrm{T}}}$/$\mathrm{J}\overline{\mathrm{T}}$ deformed conformal field theories and modular invariance/covariance. In the third part, different perspectives of $\mathrm{T}\overline{\mathrm{T}}$ deformation are presented, including its relation to random geometry, 2d topological gravity and holography. We summarize more recent developments until January 2021 in the last part.


title: Very Deep Self-Attention Networks for End-to-End Speech Recognition

abstract: Recently, end-to-end sequence-to-sequence models for speech recognition have gained significant interest in the research community. While previous architecture choices revolve around time-delay neural networks (TDNN) and long short-term memory (LSTM) recurrent neural networks, we propose to use self-attention via the Transformer architecture as an alternative. Our analysis shows that deep Transformer networks with high learning capacity are able to exceed performance from previous end-to-end approaches and even match the conventional hybrid systems. Moreover, we trained very deep models with up to 48 Transformer layers for both encoder and decoders combined with stochastic residual connections, which greatly improve generalizability and training efficiency. The resulting models outperform all previous end-to-end ASR approaches on the Switchboard benchmark. An ensemble of these models achieve 9.9% and 17.7% WER on Switchboard and CallHome test sets respectively. This finding brings our end-to-end models to competitive levels with previous hybrid systems. Further, with model ensembling the Transformers can outperform certain hybrid systems, which are more complicated in terms of both structure and training procedure.


title: Cosmology with dropout selection: Straw-man surveys and CMB lensing

abstract: We seek to prove the means, motive and opportunity of 2 < z < 5 dropout galaxies for large-scale structure. Together with low-z tracers, these samples would map practically every linear mode and facilitate a tomographic decomposition of the CMB lensing kernel over an unprecedented volume, thereby yielding a proxy for (the time evolution of) matter density fluctuations that provides compelling tests of horizon-scale General Relativity, neutrino masses and Inflation-- viz., curvature, running of the spectral index and a scale-dependent halo bias induced by (local) primordial non-Gaussianity. Focusing on color-color selection, we estimate the completeness, contamination, and spectroscopic survey speed of tailored Lyman-break galaxy (LBG) samples. We forecast the potential of CMB lensing cross-correlation, clustering redshifts and Redshift-Space Distortions (RSD) analyses. In particular, we estimate: the depth dependence of interlopers based on CFHTLS data and propagate this to biases in cosmology; new inferences of (non-linear) halo bias at these redshifts and depths using legacy data; detailed forecasts of LBG spectra as would be observed by DESI, PFS, and their successors. We further assess the relative competitiveness of potential spectroscopic facilities based on an intuitive figure-of-merit and define a modernisation of traditional selections to the photometric system of LSST where necessary. We confirm these science cases to be compelling for achievable facilities in the next decade by defining a LBG sample of increasing Lyman-alpha equivalent width with redshift, which delivers both percent-level RSD constraints on the growth rate at high-z and measurements of CMB lensing cross-correlation at z=3 and 4 with a significance measured in the hundreds. Finally, we discuss the limitations and avenues for improvement beyond this initial exploration (abridged).


title: Kerr black holes with synchronised scalar hair and boson stars in the Einstein-Friedberg-Lee-Sirlin model

abstract: We study a new family of self-gravitating axially-symmetric, rotating boson stars in the two-component Friedberg-Lee-Sirlin model minimally coupled to Einstein gravity in four spacetime dimensions. In the flat space limit the boson stars tend to the corresponding Q-balls. Subject to the usual synchronization condition, the model admits spinning hairy black hole solutions with two different types of scalar hair. We here investigate parity-even and parity-odd boson stars and their associated hairy black holes. We explore the domain of existence of the solutions and address some of their physical properties. The solutions exhibit close similarity to the corresponding boson stars and Kerr black holes with synchronised scalar hair in the $O(3)$-sigma model coupled to Einstein gravity and to the corresponding solutions in the Einstein-Klein-Gordon theory with a complex scalar field, where the latter are recovered in a limit.


title: Two-Front Solutions of the SQG Equation and its Generalizations

abstract: The generalized surface quasi-geostrophic (GSQG) equations are transport equations for an active scalar that depend on a parameter $0<\alpha \le 2$. Special cases are the two-dimensional incompressible Euler equations ($\alpha = 2$) and the surface quasi-geostrophic (SQG) equations ($\alpha = 1$). We derive contour-dynamics equations for a class of two-front solutions of the GSQG equations when the fronts are a graph. Scalar reductions of these equations include ones that describe a single front in the presence of a rigid, flat boundary. We use the contour dynamics equations to determine the linearized stability of the GSQG shear flows that correspond to two flat fronts. We also prove local-in-time existence and uniqueness for large, smooth solutions of the two-front equations in the parameter regime $1<\alpha\le 2$, and small, smooth solutions in the parameter regime $0<\alpha\le 1$.


title: HI Clouds in LITTLE THINGS Dwarf Irregular Galaxies

abstract: We identify 814 discrete HI clouds in 40 dwarf irregular galaxies from the LITTLE THINGS survey using an automated cloud-finding algorithm. The cloud masses range from ~10^3 to 10^7 Msolar, have a surface density averaged over all of the clouds of ~9.65 Msolar/pc^2, and constitute 2-53% of the total HI mass of the host galaxy. For individual clouds, the mass including He varies with cloud radius as log M_{gas} = (2.11\pm0.04)x log R_{cl}+(0.78\pm0.08) and the internal velocity dispersion varies as log V_{disp} = 0.5xlog R_{cl}-0.57\pm0.21. The HI clouds tend to be in the outer regions of the galaxies, with 72% of the galaxies having more than 70% of their clouds outside one disk scale length, and 32% of the galaxies having more than 50% of their clouds outside the radius encircling the HII emission. 36% of the clouds are essentially non-self-gravitating from HI alone, with a virial parameter that exceeds alpha_{vir}~10, and 5% have alpha_{vir}\le2. We estimate the missing molecular mass, based on the total star formation rate and a typical molecular consumption time of 2 Gyr, as observed in CO-rich galaxies. The resulting molecular fraction has a value averaged over the galaxies of 0.23 and correlates with both the surface density of star formation and the fraction of HI clouds in the outer regions. We conclude that a significant fraction of the inner parts of these dwarf galaxy disks is in the form of dark molecular gas, and that this fraction could be high enough to make the inner disks mildly gravitationally unstable as a precursor to star formation.


title: Generic stabilizers in actions of simple algebraic groups II: higher Grassmannian varieties

abstract: This is the second of two papers treating faithful actions of simple algebraic groups on irreducible modules and on the associated Grassmannian varieties; in the first paper we considered the module itself and its projective space, while here we handle the varieties comprising the subspaces of the module of fixed dimension greater than one. By explicit calculation, we show that in each case, with essentially one exception, there is a dense open subset any point of which has stabilizer conjugate to a fixed subgroup, called the generic stabilizer. We provide tables listing generic stabilizers in the cases where they are non-trivial; in addition we decide whether or not there is a dense orbit.


title: Comparative evaluation of 2D feature correspondence selection algorithms

abstract: Correspondence selection aiming at seeking correct feature correspondences from raw feature matches is pivotal for a number of feature-matching-based tasks. Various 2D (image) correspondence selection algorithms have been presented with decades of progress. Unfortunately, the lack of an in-depth evaluation makes it difficult for developers to choose a proper algorithm given a specific application. This paper fills this gap by evaluating eight 2D correspondence selection algorithms ranging from classical methods to the most recent ones on four standard datasets. The diversity of experimental datasets brings various nuisances including zoom, rotation, blur, viewpoint change, JPEG compression, light change, different rendering styles and multi-structures for comprehensive test. To further create different distributions of initial matches, a set of combinations of detector and descriptor is also taken into consideration. We measure the quality of a correspondence selection algorithm from four perspectives, i.e., precision, recall, F-measure and efficiency. According to evaluation results, the current advantages and limitations of all considered algorithms are aggregately summarized which could be treated as a "user guide" for the following developers.


title: Wavelet-based simulation of random processes from certain classes with given accuracy and reliability

abstract: We consider stochastic processes $Y(t)$ which can be represented as $Y(t)=(X(t))^s, s \in \mathbb{N},$ where $X(t)$ is a stationary strictly sub-Gaussian process and build a wavelet-based model that simulates $Y(t)$ with given accuracy and reliability in $L_p([0,T])$. A model for simulation with given accuracy and reliability in $L_p([0,T])$ is also built for processes $Z(t)$ which can be represented as $Z(t)=X_1(t) X_2(t)$, where $X_1(t)$ and $X_2(t)$ are independent stationary strictly sub-Gaussian processes.


title: Polar Codes for the Deletion Channel: Weak and Strong Polarization

abstract: This paper presents the first proof of polarization for the deletion channel with a constant deletion rate and a regular hidden-Markov input distribution. A key part of this work involves representing the deletion channel using a trellis and describing the plus and minus polar-decoding operations on that trellis. In particular, the plus and minus operations can be seen as combining adjacent trellis stages to yield a new trellis with half as many stages. Using this viewpoint, we prove a weak polarization theorem for standard polar codes on the deletion channel. To achieve strong polarization, we modify this scheme by adding guard bands of repeated zeros between various parts of the codeword. This gives a scheme whose rate approaches the mutual information and whose probability of error decays exponentially in the cube-root of the block length. We conclude by showing that this scheme can achieve capacity on the deletion channel by proving that the capacity of the deletion channel can be achieved by a sequence of regular hidden-Markov input distributions.