title: Quality-Aware Multimodal Saliency Detection via Deep Reinforcement Learning

abstract: Incorporating various modes of information into the machine learning procedure is becoming a new trend. And data from various source can provide more information than single one no matter they are heterogeneous or homogeneous. Existing deep learning based algorithms usually directly concatenate features from each domain to represent the input data. Seldom of them take the quality of data into consideration which is a key issue in related multimodal problems. In this paper, we propose an efficient quality-aware deep neural network to model the weight of data from each domain using deep reinforcement learning (DRL). Specifically, we take the weighting of each domain as a decision-making problem and teach an agent learn to interact with the environment. The agent can tune the weight of each domain through discrete action selection and obtain a positive reward if the saliency results are improved. The target of the agent is to achieve maximum rewards after finished its sequential action selection. We validate the proposed algorithms on multimodal saliency detection in a coarse-to-fine way. The coarse saliency maps are generated from an encoder-decoder framework which is trained with content loss and adversarial loss. The final results can be obtained via adaptive weighting of maps from each domain. Experiments conducted on two kinds of salient object detection benchmarks validated the effectiveness of our proposed quality-aware deep neural network.


title: On Bollob\'as-Riordan random pairing model of preferential attachment graph

abstract: Bollob\'as-Riordan random pairing model of a preferential attachment graph $G_m^n$ is studied. Let $\{W_j\}_{j\le mn+1}$ be the process of sums of independent exponentials with mean $1$. We prove that the degrees of the first $\nu_m^n:=n^{\frac{m}{m+2}-\epsilon}$ vertices are jointly, and uniformly, asymptotic to $\{2(mn)^{1/2}\bigl(W^{1/2}_{mj}-W^{1/2}_{m(j-1)}\bigr)\}_{j\in [t]}$, and that with high probability (whp) the smallest of these degrees is $n^{\frac{\epsilon(m+2)}{2m}}$, at least. In contrast, the degrees of vertices below the top by any fraction of $n$ are whp of $O(\log n)$ order. Next we bound the probability that there exists a pair of large vertex sets with no edges joining them, and apply the bound to several special cases. We propose to measure an influence of a vertex $v$ by the size of a maximal recursive tree (max-tree) rooted at $v$. The set of the first $\nu_m^n$ vertices is shown whp not to contain a max-tree of any size. Whp the largest recursive tree has size of order $n$. We prove that, for $m>1$, $\Bbb P(G_m^n\text{ is connected})\ge 1- O\bigl((\log n)^{-(m-1)/3+o(1)}\bigr)$. We show that the distribution of the scaled size of a generic max-tree in $G_1^n$ converges to a mixture of two beta distributions.


title: Ion Induced Passivation of Grain Boundaries in Perovskite Solar Cells

abstract: Demonstration of high-efficiency large area cells with excellent stability is an important requirement towards commercialization of perovskite solar cells (PSC). With reports of high-quality perovskite grains, it is evident that the performance of such large area cells will be strongly influenced by phenomena like carrier recombination and ion migration at grain boundaries (GBs). Here, we develop a modeling framework to address performance limitation due to GBs in large area PSCs. Through detailed numerical simulations, we show that photo-carrier recombination has a non-trivial dependence on the orientation of GBs. Interestingly, we find that ions at GBs lead to significant performance recovery through field effect passivation, which is influenced by critical parameters like density and polarity of ions, and the location of GB. These results have interesting implications towards long-term stability and hence are relevant for the performance optimization of large area polycrystalline based thin film solar cells such as PSCs, CIGS, CZTS, etc.


title: Synaptic Plasticity Dynamics for Deep Continuous Local Learning (DECOLLE)

abstract: A growing body of work underlines striking similarities between biological neural networks and recurrent, binary neural networks. A relatively smaller body of work, however, discusses similarities between learning dynamics employed in deep artificial neural networks and synaptic plasticity in spiking neural networks. The challenge preventing this is largely caused by the discrepancy between the dynamical properties of synaptic plasticity and the requirements for gradient backpropagation. Learning algorithms that approximate gradient backpropagation using locally synthesized gradients can overcome this challenge. Here, we show that synthetic gradients enable the derivation of Deep Continuous Local Learning (DECOLLE) in spiking neural networks. DECOLLE is capable of learning deep spatio-temporal representations from spikes relying solely on local information. Synaptic plasticity rules are derived systematically from user-defined cost functions and neural dynamics by leveraging existing autodifferentiation methods of machine learning frameworks. We benchmark our approach on the MNIST and the event-based neuromorphic DvsGesture dataset, on which DECOLLE performs comparably to the state-of-the-art. DECOLLE networks provide continuously learning machines that are relevant to biology and supportive of event-based, low-power computer vision architectures matching the accuracies of conventional computers on tasks where temporal precision and speed are essential.


title: The Batched Set Cover Problem

abstract: We introduce the batched set cover problem, which is a generalization of the online set cover problem. In this problem, the elements of the ground set that need to be covered arrive in batches. Our main technical contribution is a tight $\Omega(H_{m - 2^z + 1})$ lower bound on the competitive ratio of any fractional batched algorithm given an adversary that is required to produce batches of VC-dimension at least $z$, for some $z \in \mathbb{N}^0$. This restriction on the adversary is motivated by the fact that, in some real world applications, decisions are made after collecting batches of data of non-trivial VC-dimension. In particular, ridesharing systems rely on the batch assignment of trip requests to vehicles, and some related problems such as that of optimal congregation points for passenger pickups and dropoffs can be modeled as a batched set cover problem with VC-dimension greater than or equal to two. Furthermore, we note that while any online algorithm may be used to solve the batched set cover problem by artificially sequencing the elements in a batch, this procedure may neglect the rich information encoded in the complex interactions between the elements of a batch and the sets that contain them. Therefore, we propose a minor modification to an online algorithm found in [8] to obtain an algorithm that attempts to exploit such information. Unfortunately, we are unable to improve its analysis in a way that reflects this intuition. However, we present computational experiments that provide empirical evidence of a constant factor improvement in the competitive ratio. To the best of our knowledge, we are the first to use the VC-dimension in the context of online (batched) covering problems.


title: Some Estimates of Schr\"{o}dinger Type Operators on Variable Lebesgue and Hardy Spaces

abstract: In this article, the authors consider the Schr\"{o}dinger type operator $L:=-{\rm div}(A\nabla)+V$ on $\mathbb{R}^n$ with $n\geq 3$, where the matrix $A$ satisfies uniformly elliptic condition and the nonnegative potential $V$ belongs to the reverse H\"{o}lder class $RH_q(\mathbb{R}^n)$ with $q\in(n/2,\,\infty)$. Let $p(\cdot):\ \mathbb{R}^n\to(0,\,\infty)$ be a variable exponent function satisfying the globally $\log$-H\"{o}lder continuous condition. When $p(\cdot):\ \mathbb{R}^n\to(1,\,\infty)$, the authors prove that the operators $VL^{-1}$, $V^{1/2}\nabla L^{-1}$ and $\nabla^2L^{-1}$ are bounded on variable Lebesgue space $L^{p(\cdot)}(\mathbb{R}^n)$. When $p(\cdot):\ \mathbb{R}^n\to(0,\,1]$, the authors introduce the variable Hardy space $H_L^{p(\cdot)}(\mathbb{R}^n)$, associated to $L$, and show that $VL^{-1}$, $V^{1/2}\nabla L^{-1}$ and $\nabla^2L^{-1}$ are bounded from $H_L^{p(\cdot)}(\mathbb{R}^n)$ to $L^{p(\cdot)}(\mathbb{R}^n)$.


title: Strong decays of the $\Xi_b(6227)$ as a $\Sigma_b\bar{K}$ molecule

abstract: We study the strong decays of the newly observed $\Xi_b(6227)$ assuming that it is a pure $\Sigma_b\bar{K}$ molecular state. Considering four possible spin-parity assingments $J^P=1/2^{\pm}$ and $3/2^{\pm}$, the partial decay widths of the $\Sigma_b\bar{K}$ molecular state into $\Lambda_b\bar{K}$, $\Xi_b\pi$, and $\Xi_b^{'}\pi$ final states through hadronic loops are evaluated with the help of the effective Lagrangians. In comparison with the LHCb data, the spin-party $1/2^-$ assignment is preferred while those of $J^P=1/2^{+}$ and $J^P=3/2^{\pm}$ are disfavored. In addition, we show that the two allowed decay modes $\Lambda_b\bar{K}$ and $\Xi_b\pi$ of the $\Xi_b(6227)$, being a $S$-wave $\Sigma_b\bar{K}$ molecular state, have almost equal branching ratios, consistent with the data.


title: Generating Attention from Classifier Activations for Fine-grained Recognition

abstract: Recent advances in fine-grained recognition utilize attention maps to localize objects of interest. Although there are many ways to generate attention maps, most of them rely on sophisticated loss functions or complex training processes. In this work, we propose a simple and straightforward attention generation model based on the output activations of classifiers. The advantage of our model is that it can be easily trained with image level labels and softmax loss functions. More specifically, multiple linear local classifiers are firstly adopted to perform fine-grained classification at each location of high level CNN feature maps. The attention map is generated by aggregating and max-pooling the output activations. Then the attention map serves as a surrogate target object mask to train those local classifiers, similar to training models for semantic segmentation. Our model achieves state-of-the-art results on three heavily benchmarked datasets, i.e. 87.9% on CUB-200-2011 dataset, 94.1% on Stanford Cars dataset and 92.1% on FGVC-Aircraft dataset, demonstrating its effectiveness on fine-grained recognition tasks.


title: Event-Based Structured Light for Depth Reconstruction using Frequency Tagged Light Patterns

abstract: This paper presents a new method for 3D depth estimation using the output of an asynchronous time driven image sensor. In association with a high speed Digital Light Processing projection system, our method achieves real-time reconstruction of 3D points cloud, up to several hundreds of hertz. Unlike state of the art methodology, we introduce a method that relies on the use of frequency tagged light pattern that make use of the high temporal resolution of event based sensors. This approch eases matching as each pattern unique frequency allow for any easy matching between displayed patterns and the event based sensor. Results are show on real scenes.


title: $L^{2}$ vanishing theorem on some K\"{a}hler manifolds

abstract: Let $E$ be a Hermitian vector bundle over a complete K\"{a}hler manifold $(X,\omega)$, $\dim_{\mathbb{C}}X=n$, with a $d$(bounded) K\"{a}hler form $\omega$, $d_{A}$ be a Hermitian connection on $E$. The goal of this article is to study the $L^{2}$-Hodge theory on the vector bundle $E$. We extend the results of Gromov's \cite{Gro} to the Hermitian vector bundle. At last, as an application, we prove a gap result for Yang-Mills connection on the bundle $E$ over $X$.


title: Verb Argument Structure Alternations in Word and Sentence Embeddings

abstract: Verbs occur in different syntactic environments, or frames. We investigate whether artificial neural networks encode grammatical distinctions necessary for inferring the idiosyncratic frame-selectional properties of verbs. We introduce five datasets, collectively called FAVA, containing in aggregate nearly 10k sentences labeled for grammatical acceptability, illustrating different verbal argument structure alternations. We then test whether models can distinguish acceptable English verb-frame combinations from unacceptable ones using a sentence embedding alone. For converging evidence, we further construct LaVA, a corresponding word-level dataset, and investigate whether the same syntactic features can be extracted from word embeddings. Our models perform reliable classifications for some verbal alternations but not others, suggesting that while these representations do encode fine-grained lexical information, it is incomplete or can be hard to extract. Further, differences between the word- and sentence-level models show that some information present in word embeddings is not passed on to the down-stream sentence embeddings.


title: Atomistic Insights Into Cluster Strengthening in Aluminum Alloys

abstract: In certain naturally aged aluminum alloys, significant strengthening can be obtained due to the decomposition of a super-saturated solid solution into clusters. The origins of such strengthening remain unclear due to the challenge of differentiating solute cluster strengthening from solid solution or precipitate strengthening. To shed light on the origin of cluster strengthening in aluminum alloys, the interaction between the smallest possible type of clusters (i.e. dimers) and moving dislocations in a model Al-Mg alloy is studied using atomistic simulations. Additionally, theoretical models for both the parelastic and dielastic interactions between clusters and dislocations is used to identify which factor among order strengthening, elastic interaction, and change of stacking fault energy controls cluster strengthening. The comparison of the results from these models to that of the atomistic simulations show that in the case of Mg dimers, the strength of the strongest ones are dominated by the dielastic contribution through the change of stacking fault energy.


title: Machine learning-guided directed evolution for protein engineering

abstract: Machine learning (ML)-guided directed evolution is a new paradigm for biological design that enables optimization of complex functions. ML methods use data to predict how sequence maps to function without requiring a detailed model of the underlying physics or biological pathways. To demonstrate ML-guided directed evolution, we introduce the steps required to build ML sequence-function models and use them to guide engineering, making recommendations at each stage. This review covers basic concepts relevant to using ML for protein engineering as well as the current literature and applications of this new engineering paradigm. ML methods accelerate directed evolution by learning from information contained in all measured variants and using that information to select sequences that are likely to be improved. We then provide two case studies that demonstrate the ML-guided directed evolution process. We also look to future opportunities where ML will enable discovery of new protein functions and uncover the relationship between protein sequence and function.


title: Joint Representation Learning of Cross-lingual Words and Entities via Attentive Distant Supervision

abstract: Joint representation learning of words and entities benefits many NLP tasks, but has not been well explored in cross-lingual settings. In this paper, we propose a novel method for joint representation learning of cross-lingual words and entities. It captures mutually complementary knowledge, and enables cross-lingual inferences among knowledge bases and texts. Our method does not require parallel corpora, and automatically generates comparable data via distant supervision using multi-lingual knowledge bases. We utilize two types of regularizers to align cross-lingual words and entities, and design knowledge attention and cross-lingual attention to further reduce noises. We conducted a series of experiments on three tasks: word translation, entity relatedness, and cross-lingual entity linking. The results, both qualitatively and quantitatively, demonstrate the significance of our method.


title: Rotating Parker wind

abstract: We reconsider the structure of thermally driven rotating Parker wind. Rotation, without \Bf, changes qualitatively the structure of the subsonic region: solutions become non-monotonic and do not extend to the origin. For small angular velocities solutions have two critical points - X-point and O-points, which merge at the critical angular velocity of the central star $\Omega_{crit} = G M_\ast/(2 \sqrt{2} c_s R_{b}^2)$ (where $M_\ast$ and $R_{b}$ are mass and radius of the central star, $c_s$ is the sound speed in the wind). For larger spins there is no critical points in the solution. For disk winds (when the base of the wind rotates with Keplerian velocity) launched equatorially the coronal sound speed should be smaller than $\approx 0.22 v_K$ in order to connect to the critical curve ($v_K$ is the Keplerian velocity at a given location on the disk).


title: A Generalized Structured Low-Rank Matrix Completion Algorithm for MR Image Recovery

abstract: Recent theory of mapping an image into a structured low-rank Toeplitz or Hankel matrix has become an effective method to restore images. In this paper, we introduce a generalized structured low-rank algorithm to recover images from their undersampled Fourier coefficients using infimal convolution regularizations. The image is modeled as the superposition of a piecewise constant component and a piecewise linear component. The Fourier coefficients of each component satisfy an annihilation relation, which results in a structured Toeplitz matrix, respectively. We exploit the low-rank property of the matrices to formulate a combined regularized optimization problem. In order to solve the problem efficiently and to avoid the high memory demand resulting from the large-scale Toeplitz matrices, we introduce a fast and memory efficient algorithm based on the half-circulant approximation of the Toeplitz matrix. We demonstrate our algorithm in the context of single and multi-channel MR images recovery. Numerical experiments indicate that the proposed algorithm provides improved recovery performance over the state-of-the-art approaches.


title: Tackling Early Sparse Gradients in Softmax Activation Using Leaky Squared Euclidean Distance

abstract: Softmax activation is commonly used to output the probability distribution over categories based on certain distance metric. In scenarios like one-shot learning, the distance metric is often chosen to be squared Euclidean distance between the query sample and the category prototype. This practice works well in most time. However, we find that choosing squared Euclidean distance may cause distance explosion leading gradients to be extremely sparse in the early stage of back propagation. We term this phenomena as the early sparse gradients problem. Though it doesn't deteriorate the convergence of the model, it may set up a barrier to further model improvement. To tackle this problem, we propose to use leaky squared Euclidean distance to impose a restriction on distances. In this way, we can avoid distance explosion and increase the magnitude of gradients. Extensive experiments are conducted on Omniglot and miniImageNet datasets. We show that using leaky squared Euclidean distance can improve one-shot classification accuracy on both datasets.


title: QCD gluon vertices from the string-inspired formalism

abstract: The Bern-Kosower formalism, developed around 1990 as a novel way of obtaining QCD amplitudes as the limit of infinite string tension of the corresponding string amplitudes, was originally designed as an on-shell formalism. Building on early work by Strassler, the authors have recently shown that this `string-inspired formalism' is extremely efficient also as a tool for the study of off-shell amplitudes in QCD, and in particular for achieving compact form factor decompositions of the N-gluon vertices. Among other things, this formalism allows one to achieve a manifestly gauge invariant decomposition of these vertices by way of integration-by-parts, rather than the usual tedious analysis of the nonabelian off-shell Ward identities, and to combine the spin zero, half and one cases. Here, we will provide a summary of the method, as well as its application to the three- and four-gluon vertices.


title: Maintaining the stem cell niche in multicellular models of epithelia

abstract: The maintenance of the proliferative cell niche is critical to epithelial tissue morphology and function. In this paper we investigate how current modelling methods can result in the erroneous loss of proliferative cells from the proliferative cell niche. Using an established model of the inter-follicular epidermis we find there is a limit to the proliferative cell densities that can be maintained in the basal layer (the niche) if we do not include additional mechanisms to stop the loss of proliferative cells from the niche. We suggest a new methodology that enables maintenance of a desired homeostatic population of proliferative cells in the niche: a rotational force is applied to the two daughter cells during the mitotic phase of division to enforce a particular division direction. We demonstrate that this new methodology achieves this goal. This methodology reflects the regulation of the orientation of cell division.


title: Lifetimes and Emergence/Decay Rates of Star Spots on Solar-type Stars Estimated by Kepler Data in Comparison with Those of Sunspots

abstract: Active solar-type stars show large quasi-periodic brightness variations caused by stellar rotations with star spots, and the amplitude changes as the spots emerge and decay. The Kepler data are suitable for investigations on the emergence and decay processes of star spots, which are important to understand underlying stellar dynamo and stellar flares. In this study, we measured temporal evolutions of star spot area with Kepler data by tracing local minima of the light curves. In this analysis, we extracted temporal evolutions of star spots showing clear emergence and decay without being disturbed by stellar differential rotations. We applied this method to 5356 active solar-type stars observed by Kepler and obtained temporal evolutions of 56 individual star spots. We calculated lifetimes, emergence and decay rates of the star spots from the obtained temporal evolutions of spot area. As a result, we found that lifetimes ($T$) of star spots are ranging from 10 to 350 days when spot areas ($A$) are 0.1-2.3 percent of the solar hemisphere. We also compared them with sunspot lifetimes, and found that the lifetimes of star spots are much shorter than those extrapolated from an empirical relation of sunspots ($T\propto A$), while being consistent with other researches on star spot lifetimes. The emerging and decay rates of star spots are typically $5 \times 10^{20}$ $\rm Mx\cdot h^{-1}$ ($8$ $\rm MSH\cdot h^{-1}$) with the area of 0.1-2.3 percent of the solar hemisphere and are mostly consistent with those expected from sunspots, which may indicate the same underlying processes.


title: A True Random Number Generator Method Embedded in Wireless Communication Systems

abstract: To increase the number of wireless devices, e.g., mobile or IoT terminals, cryptosystems are essential for secure communications. In this regard, random number generation is crucial because the appropriate function of cryptosystems relies on it to work properly. This paper proposes a true random number generator (TRNG) method capable of working in wireless communication systems. By embedding a TRNG in such systems, no additional analog circuits are required and working conditions can be limited as long as wireless communication systems are functioning properly, making TRNG method cost-effective. We also present some theoretical background and considerations. We next conduct experimental verification, which strongly supports the viability of the proposed method.


title: Nuclides as a liquid phase of $SU(2)_L \times SU(2)_R$ chiral perturbation theory I: emergence of pion-less SU(2) $\chi$ PT

abstract: The Standard Model of particle physics, augmented with neutrino mixing, is at least very nearly the complete theory of interactions of known particles at energies accessible to Nature on Earth. Candidate effective theories of nuclear structure must therefore reflect SM symmetries, especially the chiral global $SU(2)_L \times SU(2)_R$ symmetry of two-massless-quark QCD. For ground-state nuclei, SU(2) chiral perturbation theory (XPT) enables perturbation in inverse powers of $\Lambda_{XSB}\simeq 1 GeV$, with analytic operators renormalized to all loop orders. We show that pion-less "Static Chiral Nucleon Liquids" (SXNL) emerge as a liquid phase of SU(2) XPT of protons, neutrons and 3 Nambu-Goldstone boson pions. Far-IR pions decouple from SXNL, simplifying the derivation of saturated nuclear matter and microscopic liquid drops (ground-state nuclides). We trace to the global symmetries of two-massless-quark QCD the power of pion-less SU(2) XPT to capture experimental ground-state properties of certain nuclides with even parity, spin zero, even proton number Z, and neutron number N. We derive the SXNL effective SU(2) XPT Lagrangian, including all order $\Lambda_{XSB},\Lambda^0_{XSB}$ operators. These include: all 4-nucleon operators that survive Fierz rearrangement in the non-relativistic limit, and effective Lorentz-vector iso-vector neutral "$\rho$-exchange" operators. SXNL motivate nuclear matter as non-topological solitons at zero pressure: the Nuclear Liquid Drop Model and Bethe-Weizsacker Semi-Empirical Mass Formula emerge in an explicit Thomas-Fermi construction provided in the companion paper. For chosen nuclides, nuclear Density Functional and Skyrme models are justified to order $\Lambda_{\chi SB}^0$. We conjecture that inclusion of higher order operators will result in accurate "natural" Skyrme, No-Core-Shell, and neutron star models.


title: Entanglement branes, modular flow, and extended topological quantum field theory

abstract: Entanglement entropy is an important quantity in field theory, but its definition poses some challenges. The naive definition involves an extension of quantum field theory in which one assigns Hilbert spaces to spatial sub-regions. For two-dimensional topological quantum field theory we show that the appropriate extension is the open-closed topological quantum field theory of Moore and Segal. With the addition of one additional axiom characterizing the `entanglement brane' we show how entanglement calculations can be cast in this framework. We use this formalism to calculate modular Hamiltonians, entanglement entropy and negativity in two-dimensional Yang-Mills theory and relate these to singularities in the modular flow. As a byproduct we find that the negativity distinguishes between the `log dim R' edge term and the `Shannon' edge term. We comment on the possible application to understanding the Bekenstein-Hawking entropy in two-dimensional gravity.


title: Adaptive Wavelet Clustering for Highly Noisy Data

abstract: In this paper we make progress on the unsupervised task of mining arbitrarily shaped clusters in highly noisy datasets, which is a task present in many real-world applications. Based on the fundamental work that first applies a wavelet transform to data clustering, we propose an adaptive clustering algorithm, denoted as AdaWave, which exhibits favorable characteristics for clustering. By a self-adaptive thresholding technique, AdaWave is parameter free and can handle data in various situations. It is deterministic, fast in linear time, order-insensitive, shape-insensitive, robust to highly noisy data, and requires no pre-knowledge on data models. Moreover, AdaWave inherits the ability from the wavelet transform to cluster data in different resolutions. We adopt the "grid labeling" data structure to drastically reduce the memory consumption of the wavelet transform so that AdaWave can be used for relatively high dimensional data. Experiments on synthetic as well as natural datasets demonstrate the effectiveness and efficiency of our proposed method.


title: Unsupervised Image Captioning

abstract: Deep neural networks have achieved great successes on the image captioning task. However, most of the existing models depend heavily on paired image-sentence datasets, which are very expensive to acquire. In this paper, we make the first attempt to train an image captioning model in an unsupervised manner. Instead of relying on manually labeled image-sentence pairs, our proposed model merely requires an image set, a sentence corpus, and an existing visual concept detector. The sentence corpus is used to teach the captioning model how to generate plausible sentences. Meanwhile, the knowledge in the visual concept detector is distilled into the captioning model to guide the model to recognize the visual concepts in an image. In order to further encourage the generated captions to be semantically consistent with the image, the image and caption are projected into a common latent space so that they can reconstruct each other. Given that the existing sentence corpora are mainly designed for linguistic research and are thus with little reference to image contents, we crawl a large-scale image description corpus of two million natural sentences to facilitate the unsupervised image captioning scenario. Experimental results show that our proposed model is able to produce quite promising results without any caption annotations.


title: Reconstruction Loss Minimized FCN for Single Image Dehazing

abstract: Haze and fog reduce the visibility of outdoor scenes as a veil like semi-transparent layer appears over the objects. As a result, images captured under such conditions lack contrast. Image dehazing methods try to alleviate this problem by recovering a clear version of the image. In this paper, we propose a Fully Convolutional Neural Network based model to recover the clear scene radiance by estimating the environmental illumination and the scene transmittance jointly from a hazy image. The method uses a relaxed haze imaging model to allow for the situations with non-uniform illumination. We have trained the network by minimizing a custom-defined loss that measures the error of reconstructing the hazy image in three different ways. Additionally, we use a multilevel approach to determine the scene transmittance and the environmental illumination in order to reduce the dependence of the estimate on image scale. Evaluations show that our model performs well compared to the existing state-of-the-art methods. It also verifies the potential of our model in diverse situations and various lighting conditions.


title: Flexible Attributed Network Embedding

abstract: Network embedding aims to find a way to encode network by learning an embedding vector for each node in the network. The network often has property information which is highly informative with respect to the node's position and role in the network. Most network embedding methods fail to utilize this information during network representation learning. In this paper, we propose a novel framework, FANE, to integrate structure and property information in the network embedding process. In FANE, we design a network to unify heterogeneity of the two information sources, and define a new random walking strategy to leverage property information and make the two information compensate. FANE is conceptually simple and empirically powerful. It improves over the state-of-the-art methods on Cora dataset classification task by over 5%, more than 10% on WebKB dataset classification task. Experiments also show that the results improve more than the state-of-the-art methods as increasing training size. Moreover, qualitative visualization show that our framework is helpful in network property information exploration. In all, we present a new way for efficiently learning state-of-the-art task-independent representations in complex attributed networks. The source code and datasets of this paper can be obtained from https://github.com/GraphWorld/FANE.


title: High-dimensional Index Volatility Models via Stein's Identity

abstract: We study the estimation of the parametric components of single and multiple index volatility models. Using the first- and second-order Stein's identities, we develop methods that are applicable for the estimation of the variance index in the high-dimensional setting requiring finite moment condition, which allows for heavy-tailed data. Our approach complements the existing literature in the low-dimensional setting, while relaxing the conditions on estimation, and provides a novel approach in the high-dimensional setting. We prove that the statistical rate of convergence of our variance index estimators consists of a parametric rate and a nonparametric rate, where the latter appears from the estimation of the mean link function. However, under standard assumptions, the parametric rate dominates the rate of convergence and our results match the minimax optimal rate for the mean index estimation. Simulation results illustrate finite sample properties of our methodology and back our theoretical conclusions.


title: Accurate, Data-Efficient Learning from Noisy, Choice-Based Labels for Inherent Risk Scoring

abstract: Inherent risk scoring is an important function in anti-money laundering, used for determining the riskiness of an individual during onboarding $\textit{before}$ fraudulent transactions occur. It is, however, often fraught with two challenges: (1) inconsistent notions of what constitutes as high or low risk by experts and (2) the lack of labeled data. This paper explores a new paradigm of data labeling and data collection to tackle these issues. The data labeling is choice-based; the expert does not provide an absolute risk score but merely chooses the most/least risky example out of a small choice set, which reduces inconsistency because experts make only relative judgments of risk. The data collection is synthetic; examples are crafted using optimal experimental design methods, obviating the need for real data which is often difficult to obtain due to regulatory concerns. We present the methodology of an end-to-end inherent risk scoring algorithm that we built for a large financial institution. The system was trained on a small set of synthetic data (188 examples, 24 features) whose labels are obtained via the choice-based paradigm using an efficient number of expert labelers. The system achieves 89% accuracy on a test set of 52 examples, with an area under the ROC curve of 93%.


title: Stochastic Gradient Push for Distributed Deep Learning

abstract: Distributed data-parallel algorithms aim to accelerate the training of deep neural networks by parallelizing the computation of large mini-batch gradient updates across multiple nodes. Approaches that synchronize nodes using exact distributed averaging (e.g., via AllReduce) are sensitive to stragglers and communication delays. The PushSum gossip algorithm is robust to these issues, but only performs approximate distributed averaging. This paper studies Stochastic Gradient Push (SGP), which combines PushSum with stochastic gradient updates. We prove that SGP converges to a stationary point of smooth, non-convex objectives at the same sub-linear rate as SGD, and that all nodes achieve consensus. We empirically validate the performance of SGP on image classification (ResNet-50, ImageNet) and machine translation (Transformer, WMT'16 En-De) workloads. Our code will be made publicly available.


title: Anatomy of a six-parameter fit to the $b\to s \ell^+\ell^-$ anomalies

abstract: Discrepancies between measurements of decay modes with an underlying quark level transition $b\to s \ell^+\ell^-$ and standard model (SM) predictions have persisted for several years, particularly for the muon channels. The inadequacy of the SM becomes more compelling in a global fit. For example, Ref. [1] described 175 observables by six parameters encoding new physics and quantified the disagreement with the SM at about the $5\sigma$ level. While certain one and two parameter fits have previously been considered in detail, we establish a framework for the detailed discussion of the full 6d fit. We visualize and quantify the 6d $1\sigma$ region around the best fit point and define fit uncertainties for both current and future observables. We then define metrics quantifying the deviations between measurements and both SM and best fit predictions. These metrics relate observables to directions in parameter space, revealing their precise role in the fit, thus providing guidance for future theoretical and experimental work. Some metrics further quantify the role of correlated uncertainties, which turns out to be significant. For example the relevance of angular observables such as $P_5^\prime$ is reduced in this context. Finally, studying the space of observables allows us to discuss the internal tensions in the fit.


title: Electric-field Control of Magnetism with Emergent Topological Hall Effect in SrRuO3 through Proton Evolution

abstract: Ionic substitution forms an essential pathway to manipulate the carrier density and crystalline symmetry of materials via ion-lattice-electron coupling, leading to a rich spectrum of electronic states in strongly correlated systems. Using the ferromagnetic metal SrRuO3 as a model system, we demonstrate an efficient and reversible control of both carrier density and crystalline symmetry through the ionic liquid gating induced protonation. The insertion of protons electron-dopes SrRuO3, leading to an exotic ferromagnetic to paramagnetic phase transition along with the increase of proton concentration. Intriguingly, we observe an emergent topological Hall effect at the boundary of the phase transition as the consequence of the newly-established Dzyaloshinskii-Moriya interaction owing to the breaking of inversion symmetry in protonated SrRuO3 with the proton compositional film-depth gradient. We envision that electric-field controlled protonation opens a novel strategy to design material functionalities.


title: Infrared emission from dust and the spectral features of extragalactic gamma-ray sources

abstract: In this work, we investigate the role of emission by dust at infrared wavelengths in the absorption of gamma radiation from distant extragalactic sources. We use an existing EBL model based on direct starlight emission at UV/visible and secondary radiation due to dust (PAHs (polycyclic aromatic hydrocarbons), small and large grains) at IR due to partial absorption of the stellar component. The relative contribution of each grain type to the total EBL energy density was determined from a combined fit to the Markarian 501 ($z\sim 0.034$) SED in flare state, where both the parameters of the intrinsic source spectrum and the dust fractions were allowed to vary. By separating the attenuation due to each EBL component, the importance of individual grain types to the opacity of the extragalactic medium for the TeV emission of a blazar like Markarian 501 could be better understood. Using a nested log-likelihood ratio test, we compared null hypotheses represented by effective 1- and 2-grain models against a 3-grain alternative scenario. When the temperatures of the grains are fixed a priori, the 1-grain scenario with only PAHs can be excluded at more than 5$\sigma$, irrespective of the curvature in the intrinsic spectrum. The 3-grain EBL model with the tuned fractions was finally used to fit the SEDs of a sample of extragalactic gamma-ray sources. Such a sample is still dominated by starlight attenuation, therefore, no statistically significant improvement in the quality of fits was observed when the tuned fractions are used to account for the EBL attenuation and the intrinsic spectrum parameters were allowed to vary during the fit. The potential of this kind of analysis when the next generation of IACTs, represented by the Cherenkov Telescope Array, starts observations is enormous. The newly discovered AGNs at a broad range of redshifts should break many of the degeneracies currently observed.


title: Informative Path Planning for Location Fingerprint Collection

abstract: Fingerprint-based indoor localization methods are promising due to the high availability of deployed access points and compatibility with commercial-off-the-shelf user devices. However, to train regression models for localization, an extensive site survey is required to collect fingerprint data from the target areas. In this paper, we consider the problem of informative path planning (IPP) to find the optimal walk for site survey subject to a budget constraint. IPP for location fingerprint collection is related to the well-known orienteering problem (OP) but is more challenging due to edge-based non-additive rewards and revisits. Given the NP-hardness of IPP, we propose two heuristic approaches: a Greedy algorithm and a genetic algorithm. We show through experimental data collected from two indoor environments with different characteristics that the two algorithms have low computation complexity, can generally achieve higher utility and lower localization errors compared to the extension of two state-of-the-art approaches to OP.


title: Node Embedding with Adaptive Similarities for Scalable Learning over Graphs

abstract: Node embedding is the task of extracting informative and descriptive features over the nodes of a graph. The importance of node embeddings for graph analytics, as well as learning tasks such as node classification, link prediction and community detection, has led to increased interest on the problem leading to a number of recent advances. Much like PCA in the feature domain, node embedding is an inherently \emph{unsupervised} task; in lack of metadata used for validation, practical methods may require standardization and limiting the use of tunable hyperparameters. Finally, node embedding methods are faced with maintaining scalability in the face of large-scale real-world graphs of ever-increasing sizes. In the present work, we propose an adaptive node embedding framework that adjusts the embedding process to a given underlying graph, in a fully unsupervised manner. To achieve this, we adopt the notion of a tunable node similarity matrix that assigns weights on paths of different length. The design of the multilength similarities ensures that the resulting embeddings also inherit interpretable spectral properties. The proposed model is carefully studied, interpreted, and numerically evaluated using stochastic block models. Moreover, an algorithmic scheme is proposed for training the model parameters effieciently and in an unsupervised manner. We perform extensive node classification, link prediction, and clustering experiments on many real world graphs from various domains, and compare with state-of-the-art scalable and unsupervised node embedding alternatives. The proposed method enjoys superior performance in many cases, while also yielding interpretable information on the underlying structure of the graph.


title: Sequentially Aggregated Convolutional Networks

abstract: Modern deep networks generally implement a certain form of shortcut connections to alleviate optimization difficulties. However, we observe that such network topology alters the nature of deep networks. In many ways, these networks behave similarly to aggregated wide networks. We thus exploit the aggregation nature of shortcut connections at a finer architectural level and place them within wide convolutional layers. We end up with a sequentially aggregated convolutional (SeqConv) layer that combines the benefits of both wide and deep representations by aggregating features of various depths in sequence. The proposed SeqConv serves as a drop-in replacement of regular wide convolutional layers and thus could be handily integrated into any backbone network. We apply SeqConv to widely adopted backbones including ResNet and ResNeXt, and conduct experiments for image classification on public benchmark datasets. Our ResNet based network with a model size of ResNet-50 easily surpasses the performance of the 2.35$\times$ larger ResNet-152, while our ResNeXt based model sets a new state-of-the-art accuracy on ImageNet classification for networks with similar model complexity. The code and pre-trained models of our work are publicly available at https://github.com/GroupOfAlchemists/SeqConv.


title: What is Interpretable? Using Machine Learning to Design Interpretable Decision-Support Systems

abstract: Recent efforts in Machine Learning (ML) interpretability have focused on creating methods for explaining black-box ML models. However, these methods rely on the assumption that simple approximations, such as linear models or decision-trees, are inherently human-interpretable, which has not been empirically tested. Additionally, past efforts have focused exclusively on comprehension, neglecting to explore the trust component necessary to convince non-technical experts, such as clinicians, to utilize ML models in practice. In this paper, we posit that reinforcement learning (RL) can be used to learn what is interpretable to different users and, consequently, build their trust in ML models. To validate this idea, we first train a neural network to provide risk assessments for heart failure patients. We then design a RL-based clinical decision-support system (DSS) around the neural network model, which can learn from its interactions with users. We conduct an experiment involving a diverse set of clinicians from multiple institutions in three different countries. Our results demonstrate that ML experts cannot accurately predict which system outputs will maximize clinicians' confidence in the underlying neural network model, and suggest additional findings that have broad implications to the future of research into ML interpretability and the use of ML in medicine.


title: Probabilistic Object Detection: Definition and Evaluation

abstract: We introduce Probabilistic Object Detection, the task of detecting objects in images and accurately quantifying the spatial and semantic uncertainties of the detections. Given the lack of methods capable of assessing such probabilistic object detections, we present the new Probability-based Detection Quality measure (PDQ).Unlike AP-based measures, PDQ has no arbitrary thresholds and rewards spatial and label quality, and foreground/background separation quality while explicitly penalising false positive and false negative detections. We contrast PDQ with existing mAP and moLRP measures by evaluating state-of-the-art detectors and a Bayesian object detector based on Monte Carlo Dropout. Our experiments indicate that conventional object detectors tend to be spatially overconfident and thus perform poorly on the task of probabilistic object detection. Our paper aims to encourage the development of new object detection approaches that provide detections with accurately estimated spatial and label uncertainties and are of critical importance for deployment on robots and embodied AI systems in the real world.


title: Perceptual Conditional Generative Adversarial Networks for End-to-End Image Colourization

abstract: Colours are everywhere. They embody a significant part of human visual perception. In this paper, we explore the paradigm of hallucinating colours from a given gray-scale image. The problem of colourization has been dealt in previous literature but mostly in a supervised manner involving user-interference. With the emergence of Deep Learning methods numerous tasks related to computer vision and pattern recognition have been automatized and carried in an end-to-end fashion due to the availability of large data-sets and high-power computing systems. We investigate and build upon the recent success of Conditional Generative Adversarial Networks (cGANs) for Image-to-Image translations. In addition to using the training scheme in the basic cGAN, we propose an encoder-decoder generator network which utilizes the class-specific cross-entropy loss as well as the perceptual loss in addition to the original objective function of cGAN. We train our model on a large-scale dataset and present illustrative qualitative and quantitative analysis of our results. Our results vividly display the versatility and proficiency of our methods through life-like colourization outcomes.


title: A protonated brownmillerite electrolyte for superior low-temperature proton conductivity

abstract: Design novel solid oxide electrolyte with enhanced ionic conductivity forms one of the Holy Grails in the field of materials science due to its great potential for wide range of energy applications. Conventional solid oxide electrolyte typically requires elevated temperature to activate the ionic transportation, while it has been increasing research interests to reduce the operating temperature due to the associated scientific and technological importance. Here, we report a conceptually new solid oxide electrolyte, HSrCoO2.5, which shows an exceptional enhanced proton conductivity at low temperature region (from room temperature to 140 oC). Combining both the experimental results and corresponding first-principles calculations, we attribute these intriguing properties to the extremely-high proton concentration as well as the well-ordered oxygen vacancy channels inherited from the novel crystalline structure of HSrCoO2.5. This result provides a new strategy to design novel solid oxide electrolyte with excellent proton conductivity for wide ranges of energy-related applications.


title: Successive Convexification for Real-Time 6-DoF Powered Descent Guidance with State-Triggered Constraints

abstract: In this paper, we present a real-time successive convexification algorithm for a generalized free-final-time 6-degree-of-freedom powered descent guidance problem. We build on our previous work by introducing the following contributions: (i) a free-ignition-time modification that allows the algorithm to determine the optimal engine ignition time, (ii) a tractable aerodynamics formulation that models both lift and drag, and (iii) a continuous state-triggered constraint formulation that emulates conditionally enforced constraints. In particular, contribution (iii) effectively allows constraints to be enabled or disabled by if-statements conditioned on the solution variables of the parent continuous optimization problem. To the best of our knowledge, this represents a novel formulation in the optimal control literature, and enables a number of interesting applications, including velocity-triggered angle of attack constraints and range-triggered line of sight constraints. Our algorithm converts the resulting generalized powered descent guidance problem from a non-convex free-final-time optimal control problem into a sequence of tractable convex second-order cone programming subproblems. With the aid of virtual control and trust region modifications, these subproblems are solved in succession until convergence is attained. Simulations using a third-party solver demonstrate the real-time capabilities of the proposed algorithm, with a maximum execution time of less than 0.7 seconds over a multitude of problem feature combinations.


title: Movie Recommendation System using Sentiment Analysis from Microblogging Data

abstract: Recommendation systems are important intelligent systems that play a vital role in providing selective information to users. Traditional approaches in recommendation systems include collaborative filtering and content-based filtering. However, these approaches have certain limitations like the necessity of prior user history and habits for performing the task of recommendation. In order to reduce the effect of such dependencies, this paper proposes a hybrid recommendation system which combines the collaborative filtering, content-based filtering with sentiment analysis of movie tweets. The movie tweets have been collected from microblogging websites to understand the current trends and user response of the movie. Experiments conducted on public database produce promising results.


title: Unbounded formulation of the rotation group

abstract: The rotation group is formulated based on the abstract $B(X)$-module framework. Although the infinitesimal generators of rotation group include differential operators, the rotation group is formulated utilizing the framework of bounded operator algebra. In this article, unbounded formulation of rotation group is established.

categories: math-ph math.FA math.GR math.MP math.OA quant-ph


title: Renormalization on the fuzzy sphere

abstract: We study renormalization on the fuzzy sphere, which is a typical example of non-commutative spaces. We numerically simulate a scalar field theory on the fuzzy sphere, which is described by a Hermitian matrix model. We define correlation functions by using the Berezin symbol and show that they are made independent of the matrix size, which plays a role of a UV cutoff, by tuning one parameter of the theory. We also find that the theories on the phase boundary are universal. They behave as a conformal field theory at short distances, while they universally differ from it at long distances due to the UV/IR mixing.


title: Mirror theorems for root stacks and relative pairs

abstract: Given a smooth projective variety $X$ with a smooth nef divisor $D$ and a positive integer $r$, we construct an $I$-function, an explicit slice of Givental's Lagrangian cone, for Gromov--Witten theory of the root stack $X_{D,r}$. As an application, we also obtain an $I$-function for relative Gromov--Witten theory following the relation between relative and orbifold Gromov--Witten invariants.


title: Precision distances to dwarf galaxies and globular clusters from Pan-STARRS1 3$\pi$ RR Lyrae

abstract: We present new spatial models and distance estimates for globular clusters (GC) and dwarf spheroidals (dSphs) orbiting our Galaxy based on RR Lyrae (RRab) stars in the Pan-STARRS1 (PS1) 3$\pi$ survey. Using the PS1 sample of RRab stars from Sesar et al. (2017) in 16 globular clusters and 5 dwarf galaxies, we fit structural models in $(l,b,D)$ space; for 13 globular clusters and 6 dwarf galaxies, we give only their mean heliocentric distance $D$. We verify the accuracy of the period-luminosity (PL) relations used in Sesar et al. (2017) to constrain the distance to those stars, and compare them to period-luminosity-metallicity (PLZ) relations using metallicities from Carretta et al. (2009). We compare our Sesar et al. (2017) distances to the parallax-based \textit{Gaia} DR2 distance estimates from Bailer-Jones et al. (2018), and find our distances to be consistent and considerably more precise.


title: Koopman Theory and Linear Approximation Spaces

abstract: Koopman theory studies dynamical systems in terms of operator theoretic properties of the Perron-Frobenius operator $\mathcal{P}$ and Koopman operator $\mathcal{U}$ respectively. In this paper, we derive the rates of convergence of approximations of $\mathcal{P}$ or $\mathcal{U}$ that are generated by finite dimensional bases like wavelets, multiwavelets, and eigenfunctions, as well as approaches that use samples of the input and output of the system in conjunction with these bases. We introduce a general class of priors that describe the information available for constructing such approximations and facilitate the error estimates in many applications of interest. These priors are defined in terms of the action of $\mathcal{P}$ or $\mathcal{U}$ on certain linear approximation spaces. The rates of convergence for the estimates of these operators are investigated under a variety of situations that are motivated from associated assumptions in practical applications. When the estimates of these operators are generated by samples, it is shown that the error in approximation of the Perron-Frobenius or Koopman operators can be decomposed into two parts, the approximation error and the sampling error. This result emphasizes that sample-based estimates of Perron-Frobenius and Koopman operators are subject to the well-known trade-off between the bias and variance that contribute to the error, a balance that also features in nonlinear regression and statistical learning theory.


title: A Scalable Optimization Mechanism for Pairwise based Discrete Hashing

abstract: Maintaining the pair similarity relationship among originally high-dimensional data into a low-dimensional binary space is a popular strategy to learn binary codes. One simiple and intutive method is to utilize two identical code matrices produced by hash functions to approximate a pairwise real label matrix. However, the resulting quartic problem is difficult to directly solve due to the non-convex and non-smooth nature of the objective. In this paper, unlike previous optimization methods using various relaxation strategies, we aim to directly solve the original quartic problem using a novel alternative optimization mechanism to linearize the quartic problem by introducing a linear regression model. Additionally, we find that gradually learning each batch of binary codes in a sequential mode, i.e. batch by batch, is greatly beneficial to the convergence of binary code learning. Based on this significant discovery and the proposed strategy, we introduce a scalable symmetric discrete hashing algorithm that gradually and smoothly updates each batch of binary codes. To further improve the smoothness, we also propose a greedy symmetric discrete hashing algorithm to update each bit of batch binary codes. Moreover, we extend the proposed optimization mechanism to solve the non-convex optimization problems for binary code learning in many other pairwise based hashing algorithms. Extensive experiments on benchmark single-label and multi-label databases demonstrate the superior performance of the proposed mechanism over recent state-of-the-art methods.


title: Uncertainty aware audiovisual activity recognition using deep Bayesian variational inference

abstract: Deep neural networks (DNNs) provide state-of-the-art results for a multitude of applications, but the approaches using DNNs for multimodal audiovisual applications do not consider predictive uncertainty associated with individual modalities. Bayesian deep learning methods provide principled confidence and quantify predictive uncertainty. Our contribution in this work is to propose an uncertainty aware multimodal Bayesian fusion framework for activity recognition. We demonstrate a novel approach that combines deterministic and variational layers to scale Bayesian DNNs to deeper architectures. Our experiments using in- and out-of-distribution samples selected from a subset of Moments-in-Time (MiT) dataset show a more reliable confidence measure as compared to the non-Bayesian baseline and the Monte Carlo dropout (MC dropout) approximate Bayesian inference. We also demonstrate the uncertainty estimates obtained from the proposed framework can identify out-of-distribution data on the UCF101 and MiT datasets. In the multimodal setting, the proposed framework improved precision-recall AUC by 10.2% on the subset of MiT dataset as compared to non-Bayesian baseline.


title: Large-scale Speaker Retrieval on Random Speaker Variability Subspace

abstract: This paper describes a fast speaker search system to retrieve segments of the same voice identity in the large-scale data. A recent study shows that Locality Sensitive Hashing (LSH) enables quick retrieval of a relevant voice in the large-scale data in conjunction with i-vector while maintaining accuracy. In this paper, we proposed Random Speaker-variability Subspace (RSS) projection to map a data into LSH based hash tables. We hypothesized that rather than projecting on completely random subspace without considering data, projecting on randomly generated speaker variability space would give more chance to put the same speaker representation into the same hash bins, so we can use less number of hash tables. Multiple RSS can be generated by randomly selecting a subset of speakers from a large speaker cohort. From the experimental result, the proposed approach shows 100 times and 7 times faster than the linear search and LSH, respectively


title: Noise-tolerant Audio-visual Online Person Verification using an Attention-based Neural Network Fusion

abstract: In this paper, we present a multi-modal online person verification system using both speech and visual signals. Inspired by neuroscientific findings on the association of voice and face, we propose an attention-based end-to-end neural network that learns multi-sensory associations for the task of person verification. The attention mechanism in our proposed network learns to conditionally select a salient modality between speech and facial representations that provides a balance between complementary inputs. By virtue of this capability, the network is robust to missing or corrupted data from either modality. In the VoxCeleb2 dataset, we show that our method performs favorably against competing multi-modal methods. Even for extreme cases of large corruption or an entirely missing modality, our method demonstrates robustness over other unimodal methods.


title: Lightweight Interactive Proving inside an Automatic Program Verifier

abstract: Among formal methods, the deductive verification approach allows establishing the strongest possible formal guarantees on critical software. The downside is the cost in terms of human effort required to design adequate formal specifications and to successfully discharge the required proof obligations. To popularize deductive verification in an industrial software development environment, it is essential to provide means to progressively transition from simple and automated approaches to deductive verification. The SPARK environment, for development of critical software written in Ada, goes towards this goal by providing automated tools for formally proving that some code fulfills the requirements expressed in Ada contracts. In a program verifier that makes use of automatic provers to discharge the proof obligations, a need for some additional user interaction with proof tasks shows up: either to help analyzing the reason of a proof failure or, ultimately, to discharge the verification conditions that are out-of-reach of state-of-the-art automatic provers. Adding interactive proof features in SPARK appears to be complicated by the fact that the proof toolchain makes use of the independent, intermediate verification tool Why3, which is generic enough to accept multiple front-ends for different input languages. This paper reports on our approach to extend Why3 with interactive proof features and also with a generic client-server infrastructure allowing integration of proof interaction into an external, front-end graphical user interface such as the one of SPARK.


title: User Support for the Combinator Logic Synthesizer Framework

abstract: Usability is crucial for the adoption of software development technologies. This is especially true in development stages, where build processes fail, because software is not yet complete or was incompletely modified. We present early work that aims to improve usability of the Combinatory Logic Synthesizer (CL)S framework, especially in these stages. (CL)S is a publicly available type-based development tool for the automatic composition of software components from a user-specified repository. It provides an implementation of a type inhabitation algorithm for Combinatory Logic with intersection types, which is fully integrated into the Scala programming language. Here, we specifically focus on building a web-based IDE to make potentially incomplete or erroneous input specifications for and decisions of the algorithm understandable for non-experts. A main aspect of this is providing graphical representations illustrating the step-wise search process of the algorithm. We also provide a detailed discussion of possible future work to further improve the understandability of these representations.


title: AsmetaF: A Flattener for the ASMETA Framework

abstract: Abstract State Machines (ASMs) have shown to be a suitable high-level specification method for complex, even industrial, systems; the ASMETA framework, supporting several validation and verification activities on ASM models, is an example of a formal integrated development environment. Although ASMs allow modeling complex systems in a rather concise way -and this is advantageous for specification purposes-, such concise notation is in general a problem for verification activities as model checking and theorem proving that rely on tools accepting simpler notations. In this paper, we propose a flattener tool integrated in the ASMETA framework that transforms a general ASM model in a flattened model constituted only of update, parallel, and conditional rules; such model is easier to map to notations of verification tools. Experiments show the effect of applying the tool to some representative case studies of the ASMETA repository.


title: Improving the Visualization of Alloy Instances

abstract: Alloy is a lightweight formal specification language, supported by an IDE, which has proven well-suited for reasoning about software design in early development stages. The IDE provides a visualizer that produces graphical representations of analysis results, which is essential for the proper validation of the model. Alloy is a rich language but inherently static, so behavior needs to be explicitly encoded and reasoned about. Even though this is a common scenario, the visualizer presents limitations when dealing with such models. The main contribution of this paper is a principled approach to generate instance visualizations, which improves the current Alloy Visualizer, focusing on the representation of behavior.


title: Experience Report on Formally Verifying Parts of OpenJDK's API with KeY

abstract: Deductive verification of software has not yet found its way into industry, as complexity and scalability issues require highly specialized experts. The long-term perspective is, however, to develop verification tools aiding industrial software developers to find bugs or bottlenecks in software systems faster and more easily. The KeY project constitutes a framework for specifying and verifying software systems, aiming at making formal verification tools applicable for mainstream software development. To help the developers of KeY, its users, and the deductive verification community, we summarize our experiences with KeY 2.6.1 in specifying and verifying real-world Java code from a users perspective. To this end, we concentrate on parts of the Collections-API of OpenJDK 6, where an informal specification exists. While we describe how we bridged informal and formal specification, we also exhibit accompanied challenges that we encountered. Our experiences are that (a) in principle, deductive verification for API-like code bases is feasible, but requires high expertise, (b) developing formal specifications for existing code bases is still notoriously hard, and (c) the under-specification of certain language constructs in Java is challenging for tool builders. Our initial effort in specifying parts of OpenJDK 6 constitutes a stepping stone towards a case study for future research.


title: Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents

abstract: Isabelle/jEdit is the main application of the Prover IDE (PIDE) framework and the default user-interface of Isabelle, but it is not limited to theorem proving. This paper explores possibilities to use it as a general IDE for formal languages that are defined in user-space, and embedded into informal text documents. It covers overall document structure with auxiliary files and document antiquotations, formal text delimiters and markers for interpretation (via control symbols). The ultimate question behind this: How far can we stretch a plain text editor like jEdit in order to support semantic text processing, with support by the underlying PIDE framework?


title: A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper)

abstract: This paper proposes the use of notebooks for the design documentation and tool interaction in the rigorous design of embedded systems. Conventionally, a notebook is a sequence of cells alternating between (textual) code and prose to form a document that is meant to be read from top to bottom, in the spirit of literate programming. We extend the use of notebooks to embedded systems specified by pCharts. The charts are visually edited in cells inline. Other cells can contain statements that generate code and analyze the charts qualitatively and quantitatively; in addition, notebook cells can contain other instructions to build the product from the generated code. This allows a notebook to be replayed to re-analyze the design and re-build the product, like a script, but also allows the notebook to be used for presentations, as for this paper, and for the inspection of the design. The interaction with the notebook is done through a web browser that connects to a local or remote server, thus allowing a computationally intensive analysis to run remotely if needed. The pState notebooks are implemented as an extension to Jupyter. The underlying software architecture is described and the issue of proper placement of transition labels in charts embedded in notebooks is discussed.


title: Integrating User Design and Formal Models within PVSio-Web

abstract: Creating formal models of interactive systems has wide reaching benefits, not only for verifying low-level correctness, but also as a tool for ensuring user interfaces behave logically and consistently. Despite this, tools for designing user experiences and tools for creating and working with formal models are typically distinctly separate systems. This work aims to bridge this divide by allowing the generation of state machine diagrams and formal models via a simple, interactive prototyping tool that mirrors the basic functionality of many modern digital prototyping applications.


title: Entanglement properties of a measurement-based entanglement distillation experiment

abstract: Measures of entanglement can be employed for the analysis of numerous quantum information protocols. Due to computational convenience, logarithmic negativity is often the choice in the case of continuous variable systems. In this work, we analyse a continuous variable measurement-based entanglement distillation experiment using a collection of entanglement measures. This includes: logarithmic negativity, entanglement of formation, distillable entanglement, relative entropy of entanglement, and squashed entanglement. By considering the distilled entanglement as a function of the success probability of the distillation protocol, we show that the logarithmic negativity surpasses the bound on deterministic entanglement distribution at a relatively large probability of success. This is in contrast to the other measures which would only be able to do so at much lower probabilities, hence demonstrating that logarithmic negativity alone is inadequate for assessing the performance of the distillation protocol. In addition to this result, we also observed an increase in the distillable entanglement by making use of upper and lower bounds to estimate this quantity. We thus demonstrate the utility of these theoretical tools in an experimental setting.


title: Quantum Nanoskyrmions

abstract: Skyrmions in condensed matter physics appear as classical topological spin structures. This nontrivial state can be obtained solving the corresponding micromagnetic model, where the magnetization is treated as a continuous classical vector field. Here, we introduce a new concept of quantum skyrmions of a nanoscale size. This distinct magnetic state can be formed in spin-1/2 low dimensional magnets characterized by a strong Dzyaloshinskii-Moriya interaction. This concept can also be applied to usual spin systems characterized by a nonzero exchange interaction if the quantum solution of the problem is accessible. To perform a complete characterization of such a quantum nanoskyrmion state, we analyze basis functions giving the largest contribution to the ground state at different values of external magnetic field and temperature. We observe that the quantum skyrmionic state is stabilized even when the corresponding classical skyrmionic solution has already undergone a phase transition towards the polarized ferromagnetic state.


title: Unstable higher Toda brackets

abstract: We define two new unstable n-fold Toda brackets for every composable sequence (f_n, ... ,f_1) of pointed maps f_i : X_i \to X_{i+1} between well-pointed spaces with n > 2. The brackets agree with the classical Toda bracket when n = 3, and they are subsets of both the unstable n-fold Toda brackets of Gershenson and Cohen for every n > 2.


title: Origami Lattices and Folding-induced Lattice Transformations

abstract: Lattices and their underlying symmetries play a central role in determining the physical properties and applications of many natural and engineered materials. By bridging the lattice geometry and rigid-folding kinematics, this study elucidates that origami offers a comprehensive solution to a long-standing challenge regarding the lattice-based materials: how to systematically construct a lattice and transform it among different symmetric configurations in a predictable, scalable, and reversible way? Based on a group of origamis consisting of generic degree-4 vertices, we successfully construct all types of 2D and 3D Bravais lattices, and demonstrate that they can undergo all diffusionless phase transformations via rigid-folding (i.e., dilation, extension, contraction, shear, and shuffle). Such folding-induced lattice transformations can trigger fundamental lattice-symmetry switches, which can either maintain or reconstruct the nearest neighborhood relationships according to a continuous symmetry measure. This study can foster the next generation of transformable lattice structures and materials with on-demand property tuning capabilities.


title: VECTORS: Video communication through opportunistic relays and scalable video coding

abstract: Crowd-sourced video distribution is frequently of interest in the local vicinity. In this paper, we propose a novel design to transfer such content over opportunistic networks with adaptive quality encoding to achieve reasonable delay bounds. The video segments are transmitted between source and destination in a delay tolerant manner using the Nearby Connections Android library. This implementation can be applied to multiple domains, including farm monitoring, wildlife, and environmental tracking, disaster response scenarios, etc. In this work, we present the design of an opportunistic contact based system, and we discuss basic results for the trial runs within our institute.


title: Finite-time Heterogeneous Cyclic Pursuit with Application to Target Interception

abstract: This paper presents a finite-time heterogeneous cyclic pursuit scheme that ensures consensus among agents modelled as integrators. It is shown that for the proposed sliding mode control, even when the gains corresponding to each agent are non-identical, consensus results within a finite-time provided all the gains are positive. An algorithm is presented to compute the consensus value and consensus time for a given set of gains and initial states of the agents. The set of values where consensus can occur, by varying the gains, has been derived and a second algorithm aids in determining the gains that enable consensus at any point in the aforementioned set, within a given finite-time. As an application, the finite-time consensus in line-of-sight (LOS) rates, over a cycle digraph, for a group of interceptors is shown to be effective in ensuring co-operative collision-free interception of a target, for both kinematic and realistic models of the interceptors. Simulations vindicate the theoretical results.


title: A Frank-Wolfe Framework for Efficient and Effective Adversarial Attacks

abstract: Depending on how much information an adversary can access to, adversarial attacks can be classified as white-box attack and black-box attack. For white-box attack, optimization-based attack algorithms such as projected gradient descent (PGD) can achieve relatively high attack success rates within moderate iterates. However, they tend to generate adversarial examples near or upon the boundary of the perturbation set, resulting in large distortion. Furthermore, their corresponding black-box attack algorithms also suffer from high query complexities, thereby limiting their practical usefulness. In this paper, we focus on the problem of developing efficient and effective optimization-based adversarial attack algorithms. In particular, we propose a novel adversarial attack framework for both white-box and black-box settings based on a variant of Frank-Wolfe algorithm. We show in theory that the proposed attack algorithms are efficient with an $O(1/\sqrt{T})$ convergence rate. The empirical results of attacking the ImageNet and MNIST datasets also verify the efficiency and effectiveness of the proposed algorithms. More specifically, our proposed algorithms attain the best attack performances in both white-box and black-box attacks among all baselines, and are more time and query efficient than the state-of-the-art.


title: Optimal Learning for Dynamic Coding in Deadline-Constrained Multi-Channel Networks

abstract: We study the problem of serving randomly arriving and delay-sensitive traffic over a multi-channel communication system with time-varying channel states and unknown statistics. This problem deviates from the classical exploration-exploitation setting in that the design and analysis must accommodate the dynamics of packet availability and urgency as well as the cost of each channel use at the time of decision. To that end, we have developed and investigated an index-based policy UCB-Deadline, which performs dynamic channel allocation decisions that incorporate these traffic requirements and costs. Under symmetric channel conditions, we have proved that the UCB-Deadline policy can achieve bounded regret in the likely case where the cost of using a channel is not too high to prevent all transmissions, and logarithmic regret otherwise. In this case, we show that UCB-Deadline is order-optimal. We also perform numerical investigations to validate the theoretical findings, and also compare the performance of the UCB-Deadline to another learning algorithm that we propose based on Thompson Sampling.


title: From Recognition to Cognition: Visual Commonsense Reasoning

abstract: Visual understanding goes well beyond object recognition. With one glance at an image, we can effortlessly imagine the world beyond the pixels: for instance, we can infer people's actions, goals, and mental states. While this task is easy for humans, it is tremendously difficult for today's vision systems, requiring higher-order cognition and commonsense reasoning about the world. We formalize this task as Visual Commonsense Reasoning. Given a challenging question about an image, a machine must answer correctly and then provide a rationale justifying its answer. Next, we introduce a new dataset, VCR, consisting of 290k multiple choice QA problems derived from 110k movie scenes. The key recipe for generating non-trivial and high-quality problems at scale is Adversarial Matching, a new approach to transform rich annotations into multiple choice questions with minimal bias. Experimental results show that while humans find VCR easy (over 90% accuracy), state-of-the-art vision models struggle (~45%). To move towards cognition-level understanding, we present a new reasoning engine, Recognition to Cognition Networks (R2C), that models the necessary layered inferences for grounding, contextualization, and reasoning. R2C helps narrow the gap between humans and machines (~65%); still, the challenge is far from solved, and we provide analysis that suggests avenues for future work.


title: sCAKE: Semantic Connectivity Aware Keyword Extraction

abstract: Keyword Extraction is an important task in several text analysis endeavors. In this paper, we present a critical discussion of the issues and challenges ingraph-based keyword extraction methods, along with comprehensive empirical analysis. We propose a parameterless method for constructing graph of text that captures the contextual relation between words. A novel word scoring method is also proposed based on the connection between concepts. We demonstrate that both proposals are individually superior to those followed by the state-of-the-art graph-based keyword extraction algorithms. Combination of the proposed graph construction and scoring methods leads to a novel, parameterless keyword extraction method (sCAKE) based on semantic connectivity of words in the document. Motivated by limited availability of NLP tools for several languages, we also design and present a language-agnostic keyword extraction (LAKE) method. We eliminate the need of NLP tools by using a statistical filter to identify candidate keywords before constructing the graph. We show that the resulting method is a competent solution for extracting keywords from documents oflanguages lacking sophisticated NLP support.


title: Dynamical glass in weakly non-integrable Klein-Gordon chains

abstract: Integrable many-body systems are characterized by a complete set of preserved actions. Close to an integrable limit, a {\it nonintegrable} perturbation creates a coupling network in action space which can be short- or long-ranged. We analyze the dynamics of observables which turn into the conserved actions in the integrable limit. We compute distributions of their finite-time averages and obtain the ergodization time scale $T_E$ on which these distributions converge to $\delta$-distributions. We relate $T_E \sim (\sigma_\tau^+)^2/\mu_\tau^+$ to the statistics of fluctuation times of the observables, which acquire fat-tailed distributions with standard deviations $\sigma_\tau^+$ dominating the means $\mu_\tau^+$. The Lyapunov time $T_{\Lambda}$ (the inverse of the largest Lyapunov exponent) is then compared to the above time scales. We use a simple Klein-Gordon chain to emulate long- and short-range coupling networks by tuning its energy density. For long-range coupling networks $T_{\Lambda}\approx \sigma_\tau^+$, which indicates that the Lyapunov time sets the ergodization time, with chaos quickly diffusing through the coupling network. For short-range coupling networks we observe a {\it dynamical glass}, where $T_E$ grows dramatically by many orders of magnitude and greatly exceeds the Lyapunov time, which $T_{\Lambda} \lesssim \mu_\tau^+$. This is due to the formation of a highly fragmented inhomogeneous distributions of chaotic groups of actions, separated by growing volumes of non-chaotic regions. These structures persist up to the ergodization time $T_E$.


title: Adaptive Control By Regulation-Triggered Batch Least-Squares Estimation of Non-Observable Parameters

abstract: The paper extends a recently proposed indirect, certainty-equivalence, event-triggered adaptive control scheme to the case of non-observable parameters. The extension is achieved by using a novel Batch Least-Squares Identifier (BaLSI), which is activated at the times of the events. The BaLSI guarantees the finite-time asymptotic constancy of the parameter estimates and the fact that the trajectories of the closed-loop system follow the trajectories of the nominal closed-loop system ("nominal" in the sense of the asymptotic parameter estimate, not in the sense of the true unknown parameter). Thus, if the nominal feedback guarantees global asymptotic stability and local exponential stability, then unlike conventional adaptive control, the newly proposed event-triggered adaptive scheme guarantees global asymptotic regulation with a uniform exponential convergence rate. The developed adaptive scheme is tested to a well-known control problem: the state regulation of the wing-rock model. Comparisons with other adaptive schemes are provided for this particular problem.


title: A Schur Complement Cheeger Inequality

abstract: Cheeger's inequality shows that any undirected graph $G$ with minimum nonzero normalized Laplacian eigenvalue $\lambda_G$ has a cut with conductance at most $O(\sqrt{\lambda_G})$. Qualitatively, Cheeger's inequality says that if the relaxation time of a graph is high, there is a cut that certifies this. However, there is a gap in this relationship, as cuts can have conductance as low as $\Theta(\lambda_G)$. To better approximate the relaxation time of a graph, we consider a more general object. Instead of bounding the mixing time with cuts, we bound it with cuts in graphs obtained by Schur complementing out vertices from the graph $G$. Combinatorially, these Schur complements describe random walks in $G$ restricted to a subset of its vertices. As a result, all Schur complement cuts have conductance at least $\Omega(\lambda_G)$. We show that unlike with cuts, this inequality is tight up to a constant factor. Specifically, there is a Schur complement cut with conductance at most $O(\lambda_G)$.


title: A Frequency Scaling based Performance Indicator Framework for Big Data Systems

abstract: It is important for big data systems to identify their performance bottleneck. However, the popular indicators such as resource utilizations, are often misleading and incomparable with each other. In this paper, a novel indicator framework which can directly compare the impact of different indicators with each other is proposed to identify and analyze the performance bottleneck efficiently. A methodology which can construct the indicator from the performance change with the CPU frequency scaling is described. Spark is used as an example of a big data system and two typical SQL benchmarks are used as the workloads to evaluate the proposed method. Experimental results show that the proposed method is accurate compared with the resource utilization method and easy to implement compared with some white-box method. Meanwhile, the analysis with our indicators lead to some interesting findings and valuable performance optimization suggestions for big data systems.


title: Weak interference between the 1$^-$ states in the vicinity of $\alpha$-particle threshold of $^{16}$O

abstract: The subthreshold 1$^-_1$ state at an excitation energy $E_x = 7.12$ MeV in $^{16}$O has been believed to enhance the $S$-factor of $^{12}$C($\alpha$,$\gamma$)$^{16}$O. The enhancement seems to originate from strong interference between 1$^-_1$ and 1$^-_2$ ($E_x\approx 9.6$ MeV) in the vicinity of the $\alpha$-particle threshold. However, weak interference between them and a resulting small $E$1 $S$-factor are exemplified with $R$-matrix theory. Including a higher-order correction of the resonance parameters, the present example appears to reproduce the experimental data consistently. It would therefore be possible that the $E$1 $S$-factor is reduced at low energies.


title: Part-level Car Parsing and Reconstruction from Single Street View

abstract: Part information has been shown to be resistant to occlusions and viewpoint changes, which is beneficial for various vision-related tasks. However, we found very limited work in car pose estimation and reconstruction from street views leveraging the part information. There are two major contributions in this paper. Firstly, we make the first attempt to build a framework to simultaneously estimate shape, translation, orientation, and semantic parts of cars in 3D space from a single street view. As it is labor-intensive to annotate semantic parts on real street views, we propose a specific approach to implicitly transfer part features from synthesized images to real street views. For pose and shape estimation, we propose a novel network structure that utilizes both part features and 3D losses. Secondly, we are the first to construct a high-quality dataset that contains 348 different car models with physical dimensions and part-level annotations based on global and local deformations. Given these models, we further generate 60K synthesized images with randomization of orientation, illumination, occlusion, and texture. Our results demonstrate that our part segmentation performance is significantly improved after applying our implicit transfer approach. Our network for pose and shape estimation achieves the state-of-the-art performance on the ApolloCar3D dataset and outperforms 3D-RCNN and DeepMANTA by 12.57 and 8.91 percentage points in terms of mean A3DP-Abs.


title: Effect of Dark Energy in Geometrothermodynamics and Phase Transitions of Regular Bardeen AdS Black Hole

abstract: We investigate thermodynamics and geometrothermodynamics of regular Bardeen AdS black hole with quintessence. The thermodynamics of the black hole is studied using temperature-entropy ($T-S$) , Pressure-Volume ($P-v$), and Gibbs energy plots, which indicate a critical behaviour.This is also confirmed from the divergence of specific heat against entropy, which shows a second-order phase transition. Moreover, we observe that the quintessence state parameter $\omega$ shifts the transition point to lower entropy values. Using the concept of thermodynamic Ruppeiner and Weinhold geometry, we calculated the thermodynamic curvature scalar $R_R$ and $R_W$ in the quintessence dark energy regime ($\omega =-2/3$). While these curvature scalars enable us to identify the critical behavior, they do not show divergence at the phase transition points observed in specific heat studies. To resolve this puzzle, we have adopted the method of geometrothermodynamics proposed by Hernando Quevedo. Choosing a Legendre invariant Quevedo metric, the curvature scalar $R_Q$ shows singularity at the same point as seen in the specific heat divergence.


title: Maximizing Multivariate Information with Error-Correcting Codes

abstract: Multivariate mutual information provides a conceptual framework for characterizing higher-order interactions in complex systems. Two well-known measures of multivariate information---total correlation and dual total correlation---admit a spectrum of measures with varying sensitivity to intermediate orders of dependence. Unfortunately, these intermediate measures have not received much attention due to their opaque representation of information. Here we draw on results from matroid theory to show that these measures are closely related to error-correcting codes. This connection allows us to derive the class of global maximizers for each measure, which coincide with maximum distance separable codes of order $k$. In addition to deepening the understanding of these measures and multivariate information more generally, we use these results to show that previously proposed bounds on information geometric quantities are tight at the extremes.


title: Robust Artificial Intelligence and Robust Human Organizations

abstract: Every AI system is deployed by a human organization. In high risk applications, the combined human plus AI system must function as a high-reliability organization in order to avoid catastrophic errors. This short note reviews the properties of high-reliability organizations and draws implications for the development of AI technology and the safe application of that technology.


title: Classification theorems for biharmonic real hypersurfaces in a complex projective space

abstract: First, we classify proper biharmonic Hopf real hypersurfaces in $\mathbb{C}P^2$. Next, we classify proper biharmonic real hypersurfaces with two distinct principal curvatures in $\mathbb{C}P^n$, where $n\geq 2$. Finally, we prove that biharmonic ruled real hypersurfaces in $\mathbb{C}P^n$ are minimal, where $n\geq 2$.


title: CIAN: Cross-Image Affinity Net for Weakly Supervised Semantic Segmentation

abstract: Weakly supervised semantic segmentation with only image-level labels saves large human effort to annotate pixel-level labels. Cutting-edge approaches rely on various innovative constraints and heuristic rules to generate the masks for every single image. Although great progress has been achieved by these methods, they treat each image independently and do not take account of the relationships across different images. In this paper, however, we argue that the cross-image relationship is vital for weakly supervised segmentation. Because it connects related regions across images, where supplementary representations can be propagated to obtain more consistent and integral regions. To leverage this information, we propose an end-to-end cross-image affinity module, which exploits pixel-level cross-image relationships with only image-level labels. By means of this, our approach achieves 64.3% and 65.3% mIoU on Pascal VOC 2012 validation and test set respectively, which is a new state-of-the-art result by only using image-level labels for weakly supervised semantic segmentation, demonstrating the superiority of our approach.


title: The Gromov-Hausdorff propinquity for metric Spectral Triples

abstract: We define a metric on the class of metric spectral triples, which is null exactly between spectral triples with unitary equivalent Dirac operators and *-isomorphic underlying C*-algebras. This metric dominates the propinquity, and thus implies metric convergence of the compact quantum metric spaces induced by metric spectral triples. In the process of our construction, we also introduce the covariant modular propinquity, as a key component for the definition of the spectral propinquity.


title: Compact objects and the swampland

abstract: Recently, two simple criteria were proposed to assess if vacua emerging from an effective scalar field theory are part of the string "landscape" or "swampland". The former are the vacua that emerge from string compactifications; the latter are not obtained by any such compactification and hence may not survive in a UV completed theory of gravity. So far, these criteria have been applied to inflationary and dark energy models. Here we consider them in the context of solitonic compact objects made up of scalar fields: boson stars. Analysing several models (static, rotating, with and without self-interactions), we find that, in this context, the criteria are not independent. Furthermore, we find the universal behaviour that in the region wherein the boson stars are expected to be perturbatively stable, the compact objects may be part of the landscape. By contrast, in the region where they may be faithful black hole mimickers, in the sense they possess a light ring, the criteria fail (are obeyed) for static (rotating) ultracompact boson stars, which should thus be part of the swampland (landscape). We also consider hairy black holes interpolating between these boson stars and the Kerr solution and establish the part of the domain of existence where the swampland criteria are violated. In interpreting these results one should bear in mind, however, that the swampland criteria are not quantitatively strict.


title: Photoinduced charge carrier dynamics in Hubbard two-leg ladders and chains

abstract: The charge carrier dynamics of doped electronic correlated systems on ladders and chains, subject to ultrafast photoirradiation, is investigated using the time-dependent Lanczos method. The time-resolved optical conductivity and the temporal profiles of other relevant quantities, including the doublon number, the kinetic energy, and the interaction energy, are calculated. Two competitive factors that can influence the transient charge carrier dynamics are identified as the thermal effect and the charge effect. We demonstrate that the analysis of their interplay can provide an intuitive way to understand the numerical results and the recent optical pump-probe experiment on a two-leg ladder cuprate.


title: The flow of weights of some factors arising as fixed point algebras

abstract: In this paper we study the associated flow of some factors arising as fixed point algebras under product type actions on ITPFI factors. We compute their associated flow and show that under certain conditions these flows are approximately transitive and consequently the corresponding fixed point factors are ITPFI.


title: Algae Detection Using Computer Vision and Deep Learning

abstract: A disconcerting ramification of water pollution caused by burgeoning populations, rapid industrialization and modernization of agriculture, has been the exponential increase in the incidence of algal growth across the globe. Harmful algal blooms (HABs) have devastated fisheries, contaminated drinking water and killed livestock, resulting in economic losses to the tune of millions of dollars. Therefore, it is important to constantly monitor water bodies and identify any algae build-up so that prompt action against its accumulation can be taken and the harmful consequences can be avoided. In this paper, we propose a computer vision system based on deep learning for algae monitoring. The proposed system is fast, accurate and cheap, and it can be installed on any robotic platforms such as USVs and UAVs for autonomous algae monitoring. The experimental results demonstrate that the proposed system can detect algae in distinct environments regardless of the underlying hardware with high accuracy and in real time.


title: Perfect Charge Screening of Extended Sources in an Abelian-Higgs Model

abstract: We investigate a classical system that consists of a U(1) gauge field and a complex Higgs scalar field with a potential that breaks the symmetry spontaneously. We obtain numerical solutions of the system in the presence of a smoothly extended external source with a finite size. In the case of the source is spread wider than the mass scale of the gauge field, perfect screening of the external source occurs, namely, charge density of the source is canceled out everywhere by induced counter charge density cloud of the scalar and vector fields. Energy density induced by the cloud is also obtained.


title: Entropy and drift for word metric on relatively hyperbolic groups

abstract: We are interested in the Guivarc'h inequality for admissible random walks on finitely generated relatively hyperbolic groups, endowed with a word metric. We show that for random walks with finite super-exponential moment, if this inequality is an equality, then the Green distance is roughly similar to the word distance, generalizing results of Blach{\`e}re, Ha{\"i}ssinsky and Mathieu for hyperbolic groups [4]. Our main application is for relatively hyperbolic groups with respect to virtually abelian subgroups of rank at least 2. We show that for such groups, the Guivarc'h inequality with respect to a word distance and a finitely supported random walk is always strict.