title: Styling with Attention to Details

abstract: Fashion as characterized by its nature, is driven by style. In this paper, we propose a method that takes into account the style information to complete a given set of selected fashion items with a complementary fashion item. Complementary items are those items that can be worn along with the selected items according to the style. Addressing this problem facilitates in automatically generating stylish fashion ensembles leading to a richer shopping experience for users. Recently, there has been a surge of online social websites where fashion enthusiasts post the outfit of the day and other users can like and comment on them. These posts contain a gold-mine of information about style. In this paper, we exploit these posts to train a deep neural network which captures style in an automated manner. We pose the problem of predicting complementary fashion items as a sequence to sequence problem where the input is the selected set of fashion items and the output is a complementary fashion item based on the style information learned by the model. We use the encoder decoder architecture to solve this problem of completing the set of fashion items. We evaluate the goodness of the proposed model through a variety of experiments. We empirically observe that our proposed model outperforms competitive baseline like apriori algorithm by ~28 in terms of accuracy for top-1 recommendation to complete the fashion ensemble. We also perform retrieval based experiments to understand the ability of the model to learn style and rank the complementary fashion items and find that using attention in our encoder decoder model helps in improving the mean reciprocal rank by ~24. Qualitatively we find the complementary fashion items generated by our proposed model are richer than the apriori algorithm.


title: Quantified Markov Logic Networks

abstract: Markov Logic Networks (MLNs) are well-suited for expressing statistics such as "with high probability a smoker knows another smoker" but not for expressing statements such as "there is a smoker who knows most other smokers", which is necessary for modeling, e.g. influencers in social networks. To overcome this shortcoming, we study quantified MLNs which generalize MLNs by introducing statistical universal quantifiers, allowing to express also the latter type of statistics in a principled way. Our main technical contribution is to show that the standard reasoning tasks in quantified MLNs, maximum a posteriori and marginal inference, can be reduced to their respective MLN counterparts in polynomial time.


title: Morrey Sequence Spaces: Pitt's Theorem and compact embeddings

abstract: Morrey (function) spaces and, in particular, smoothness spaces of Besov-Morrey or Triebel-Lizorkin-Morrey type enjoyed a lot of interest recently. Here we turn our attention to Morrey sequence spaces $m_{u,p}=m_{u,p}(\mathbb{Z}^d)$, $0<p\leq u<\infty$, which have yet been considered almost nowhere. They are defined as natural generalizations of the classical $\ell_p$ spaces. We consider some basic features, embedding properties, the pre-dual, a corresponding version of Pitt's compactness theorem, and can further characterize the compactness of embeddings of related finite-dimensional spaces.


title: Robustness of Two-Dimensional Line Spectral Estimation Against Spiky Noise

abstract: The aim of two-dimensional line spectral estimation is to super-resolve the spectral point sources of the signal from time samples. In many associated applications such as radar and sonar, due to cut-off and saturation regions in electronic devices, some of the numbers of samples are corrupted by spiky noise. To overcome this problem, we present a new convex program to simultaneously estimate spectral point sources and spiky noise in two dimensions. To prove uniqueness of the solution, it is sufficient to show that a dual certificate exists. Construction of the dual certificate imposes a mild condition on the separation of the spectral point sources. Also, the number of spikes and detectable sparse sources are shown to be a logarithmic function of the number of time samples. Simulation results confirm the conclusions of our general theory.


title: Optimal investment and consumption with forward preferences and uncertain parameters

abstract: This paper studies robust forward investment and consumption preferences within a zero-volatility context. Different from previous works, we consider an incomplete financial market model due to general investment portfolio constraints. We provide a new PDE characterization and a novel semi-explicit saddle-point construction of forward preferences and optimal strategies. We further present a more detailed construction of forward preferences and optimal strategies under constant relative risk aversion (CRRA). Key findings emphasize the necessity of a specific relationship between the initial investment preference and the forward consumption preference, indicating a long-term decreasing trend in forward consumption preference behavior.


title: Variational Properties of Matrix Functions via the Generalized Matrix-Fractional Function

abstract: We show that many important convex matrix functions can be represented as the partial infimal projection of the generalized matrix fractional (GMF) and a relatively simple convex function. This representation provides conditions under which such functions are closed and proper as well as formulas for the ready computation of both their conjugates and subdifferentials. Special attention is given to support and indicator functions. Particular instances yield all weighted Ky Fan norms and squared gauges on $\mathbb R^{n\times m}$, and as an example we show that all variational Gram functions are representable as squares of gauges. Other instances yield weighted sums of the Frobenius and nuclear norms. The scope of applications is large and the range of variational properties and insight is fascinating and fundamental. An important byproduct of these representations is that they lay the foundation for a smoothing approach to many matrix functions on the interior of the domain of the GMF function, which opens the door to a range of unexplored optimization methods.


title: Further Results On k-Super Graceful Graphs

abstract: Let $G=(V(G),E(G))$ be a simple, finite and undirected graph of order $p$ and size $q$. For $k\ge 1$, a bijection $f: V(G)\cup E(G) \to \{k, k+1, k+2, \ldots, k+p+q-1\}$ such that $f(uv)= |f(u) - f(v)|$ for every edge $uv\in E(G)$ is said to be a $k$-super graceful labeling of $G$. We say $G$ is $k$-super graceful if it admits a $k$-super graceful labeling. In this paper, we study the $k$-super gracefulness of some graphs in which each component is either regular or bi-regular.


title: Fried conjecture in small dimensions

abstract: We study the twisted Ruelle zeta function $\zeta_X(s)$ for smooth Anosov vector fields $X$ acting on flat vector bundles over smooth compact manifolds. In dimension $3$, we prove Fried conjecture, relating Reidemeister torsion and $\zeta_X(0)$. In higher dimensions, we show more generally that $\zeta_X(0)$ is locally constant with respect to the vector field $X$ under a spectral condition. As a consequence, we also show Fried conjecture for Anosov flows near the geodesic flow on the unit tangent bundle of hyperbolic $3$-manifolds. This gives the first examples of non-analytic Anosov flows and geodesic flows in variable negative curvature where Fried conjecture holds true.


title: Link persistence and conditional distances in multiplex networks

abstract: Recent progress towards unraveling the hidden geometric organization of real multiplexes revealed significant correlations across the hyperbolic node coordinates in different network layers, which facilitated applications like trans-layer link prediction and mutual navigation. But are geometric correlations alone sufficient to explain the topological relation between the layers of real systems? Here we provide the negative answer to this question. We show that connections in real systems tend to persist from one layer to another irrespectively of their hyperbolic distances. This suggests that in addition to purely geometric aspects the explicit link formation process in one layer impacts the topology of other layers. Based on this finding, we present a simple modification to the recently developed Geometric Multiplex Model to account for this effect, and show that the extended model can reproduce the behavior observed in real systems. We also find that link persistence is significant in all considered multiplexes and can explain their layers' high edge overlap, which cannot be explained by coordinate correlations alone. Furthermore, by taking both link persistence and hyperbolic distance correlations into account we can improve trans-layer link prediction. These findings guide the development of multiplex embedding methods, suggesting that such methods should be accounting for both coordinate correlations and link persistence across layers.


title: Approximation Algorithms for Probabilistic Graphs

abstract: We study the k-median and k-center problems in probabilistic graphs. We analyze the hardness of these problems, and propose several algorithms with improved approximation ratios compared with the existing proposals.


title: The Equivalence of Schr\"{o}dinger and Heisenberg Pictures in Quantum Cellular Automata

abstract: Quantum cellular automata (QCA) are discrete models of space and time homogeneous quantum field theories (QFTs) and regarded as natural candidates for quantum simulation. Description of a QCA over the separable Hilbert space of finite, unbounded configurations (UFC Hilbert space) with unitary state evolution is the {\it Schr\"{o}dinger template}, and over the incomplete infinite tensor product algebra (ITPA) with evolution by algebra automorphism is the {\it Heisenberg template}. Whether every Heisenberg template admits an equivalent Schr\"{o}dinger template is a foundational question, and one that has persisted as an open problem. In the present paper we prove that for every Heisenberg template an equivalent Schr\"{o}dinger template exists. We frame the question from a representation theory standpoint, using constructs and results from the representation theory of finite and countably infinite dimensional vector spaces and from category theory to answer it. With the previously known existence of a Heisenberg template for every Schr\"{o}dinger template, our result establishes the equivalence of the templates.


title: Free boundary regularity in obstacle problems

abstract: These notes record and expand the lectures for the `Journ\'ees \'Equations aux D\'eriv\'ees Partielles 2018' held by the author during the week of June 11-15, 2018. The aim is to give a overview of the classical theory for the obstacle problem, and then present some recent developments on the regularity of the free boundary.


title: On decision regions of narrow deep neural networks

abstract: We show that for neural network functions that have width less or equal to the input dimension all connected components of decision regions are unbounded. The result holds for continuous and strictly monotonic activation functions as well as for the ReLU activation function. This complements recent results on approximation capabilities by [Hanin 2017 Approximating] and connectivity of decision regions by [Nguyen 2018 Neural] for such narrow neural networks. Our results are illustrated by means of numerical experiments.


title: Reduced mobility of infected agents suppresses but lengthens disease in biased random walk

abstract: Various theoretical models have been proposed to understand the basic nature of epidemics. Recent studies focus on the effects of mobility to epidemic process. However, uncorrelated random walk is typically assumed as the type of movement. In our daily life, the movement of people sometimes tends to be limited to a certain direction, which can be described by biased random walk. Here, we developed an agent-based model of susceptible-infected-recovered (SIR) epidemic process in a 2D continuous space where agents tend to move in a certain direction in addition to random movement. Moreover, we mainly focus on the effect of the reduced mobility of infected agents. Our model assumes that, when people are infected, their movement activity is greatly reduced because they are physically weakened by the disease. By conducting extensive simulations, we found that when the movement of infected people is limited, the final epidemic size becomes small. However, that crucially depended on the movement type of agents. Furthermore, the reduced mobility of infected agents lengthened the duration of the epidemic because the infection progressed slowly.


title: Inequalities for Entropy, Hausdorff Dimension, and Lipschitz Constants

abstract: We construct suitable metrics for two classes of topological dynamical systems (linear maps on the torus and non-invertible expansive maps on compact spaces) in order to get a lower bound for topological entropy in terms of the resulting Hausdorff dimensions and Lipschitz constants. This reverses an old inequality of Dai, Zhou, and Gheng and leads to a short proof of a well-known theorem on expansive mappings. It also suggests a new invariant of topological conjugacy for dynamical systems on compact metric spaces.


title: ReCoNet: Real-time Coherent Video Style Transfer Network

abstract: Image style transfer models based on convolutional neural networks usually suffer from high temporal inconsistency when applied to videos. Some video style transfer models have been proposed to improve temporal consistency, yet they fail to guarantee fast processing speed, nice perceptual style quality and high temporal consistency at the same time. In this paper, we propose a novel real-time video style transfer model, ReCoNet, which can generate temporally coherent style transfer videos while maintaining favorable perceptual styles. A novel luminance warping constraint is added to the temporal loss at the output level to capture luminance changes between consecutive frames and increase stylization stability under illumination effects. We also propose a novel feature-map-level temporal loss to further enhance temporal consistency on traceable objects. Experimental results indicate that our model exhibits outstanding performance both qualitatively and quantitatively.


title: A new description of space charge induced beam halo

abstract: In particle accelerators, particle losses to surrounding components must be minimized. These particles usually have been driven into an undesired "halo" outside the desired distribution before being lost. The processes involved and physical identification of such halo is an intense research topic especially when the nonlinear space charge effect is taken into account. In order to present a method, firmly based on the physics of the transient beam state, for determining when a particle may be defined as being in a halo, the particular example of an initially rms matched beam injected into a resonance of an alternating-gradient (AG) focusing lattice is studied, in which the resonance between the collective mode and single particle motion pushes some particles into a halo defined by extending the halo description to the action-angle frame. In this new frame of description, the halo particles can be physically defined as those with larger actions affected by the outer quasi hyperbolic tori, which contains the halo particles observed in the traditional approaches on projected 2D phase space, as well as some particles still hidden in the core.


title: A Homogeneous Function Constant along the Leaves of a Foliation

abstract: Given a smooth foliation by complex curves (locally around a point $x\in\mathbb{C}^2\setminus\{0\}$) which is "compatible" with the foliation by spheres centered at the origin, we construct a smooth real-valued function $g$ in a neighborhood of said point, which is positive, homogeneous and constant along the leaves. A corollary we obtain from this is relevant to the problem of "bumping out" certain pseudoconvex domains in $\mathbb{C}^3$.


title: Power Maxwell distribution: Statistical Properties, Estimation and Application

abstract: In this article, we proposed a new probability distribution named as power Maxwell distribution (PMaD). It is another extension of Maxwell distribution (MaD) which would lead more flexibility to analyze the data with non-monotone failure rate. Different statistical properties such as reliability characteristics, moments, quantiles, mean deviation, generating function, conditional moments, stochastic ordering, residual lifetime function and various entropy measures have been derived. The estimation of the parameters for the proposed probability distribution has been addressed by maximum likelihood estimation method and Bayes estimation method. The Bayes estimates are obtained under gamma prior using squared error loss function. Lastly, real-life application for the proposed distribution has been illustrated through different lifetime data.


title: Observation of $\Upsilon(2S)\to\gamma \eta_{b}(1S)$ decay

abstract: We report the observation of $\Upsilon(2S)\to\gamma\eta_{b}(1S)$ decay based on analysis of the inclusive photon spectrum of $24.7$ fb$^{-1}$ of $e^+ e^-$ collisions at the $\Upsilon(2S)$ center-of-mass energy collected with the Belle detector at the KEKB asymmetric-energy $e^+ e^-$ collider. We measure a branching fraction of $\mathcal{B}(\Upsilon(2S)\to\gamma\eta_{b}(1S))=(6.1^{+0.6+0.9}_{-0.7-0.6})\times 10^{-4}$, and derive an $\eta_{b}(1S)$ mass of $9394.8^{+2.7+4.5}_{-3.1-2.7}$ MeV/$c^{2}$, where the uncertainties are statistical and systematic, respectively. The significance of our measurement is greater than 7 standard deviations, constituting the first observation of this decay mode.


title: Generating Multi-Categorical Samples with Generative Adversarial Networks

abstract: We propose a method to train generative adversarial networks on mutivariate feature vectors representing multiple categorical values. In contrast to the continuous domain, where GAN-based methods have delivered considerable results, GANs struggle to perform equally well on discrete data. We propose and compare several architectures based on multiple (Gumbel) softmax output layers taking into account the structure of the data. We evaluate the performance of our architecture on datasets with different sparsity, number of features, ranges of categorical values, and dependencies among the features. Our proposed architecture and method outperforms existing models.


title: On $k$-Super Graceful Labeling of Graphs

abstract: Let $G=(V(G),E(G))$ be a simple, finite and undirected graph of order $p$ and size $q$. For $k\ge 1$, a bijection $f: V(G)\cup E(G) \to \{k, k+1, k+2, \ldots, k+p+q-1\}$ such that $f(uv)= |f(u) - f(v)|$ for every edge $uv\in E(G)$ is said to be a $k$-super graceful labeling of $G$. We say $G$ is $k$-super graceful if it admits a $k$-super graceful labeling. In this paper, we study the $k$-super gracefulness of some standard graphs. Some general properties are obtained. Particularly, we found many sufficient conditions on $k$-super gracefulness for many families of (complete) bipartite and tripartite graphs. We show that some of the conditions are also necessary.


title: Structure resonance crossing in space charge dominated beams

abstract: As an extension of previous theoretical study on the coherent structure resonance due to space charge effects [Chao Li and R. A. Jameson, Phys. Rev. Accel. Beams 21, 024204, 2018], this paper aims to demonstrate how the beam, as a whole, is spontaneously affected when the predicted mixed coherent 2nd/4th order structure resonance stop band around $90^{\circ}$ phase advance is crossed. The beam characteristics during the structure resonance crossing, such as the rms emittance growth and the appearance of 2-fold/4-fold structure in phase space, are well explained by the mixture characteristic of different orders of structure resonance. The related `attracting' and `repulsive' effects in the structure resonance stop band from below and above crossing are considered as a natural beam reaction to the coherent structure resonance that the beam spontaneously moves to a structure resonance free region then the space charge takes a weaker importance. In the PIC simulation, it is found that the emittance growth is positively related to the time that the beam spends inside the structure resonance stop band. As a potential candidate mechanism, the incoherent particle-core resonance also has been checked. It is found that this incoherent resonance has basic difficulties in explaining the results obtained from the self-consistent PIC simulation. The incoherent particle-core resonance might lead to phase space distortion, emittance growth, or beam halo formation only on a long-time scale. This clarity of the discrepancies between coherent and incoherent resonance mechanisms will lead to a better understanding of the numerical study and experimental researches obtained recently. In addition, similar understanding can be extended to the study of higher order structure resonance.


title: Scaling theory for mechanical critical behavior in fiber networks

abstract: As a function of connectivity, spring networks exhibit a critical transition between floppy and rigid phases at an isostatic threshold. For connectivity below this threshold, fiber networks were recently shown theoretically to exhibit a rigidity transition with corresponding critical signatures as a function of strain. Experimental collagen networks were also shown to be consistent with these predictions. We develop a scaling theory for this strain-controlled transition. Using a real-space renormalization approach, we determine relations between the critical exponents governing the transition, which we verify for the strain-controlled transition using numerical simulations of both triangular lattice-based and packing-derived fiber networks.


title: Local wellposedness for the non-resistive MHD equations in optimal Sobolev spaces

abstract: We show that the system is locally wellposed in by establishing a new commutator estimate


title: The baryo-quarkonium picture for hidden-charm and bottom pentaquarks and LHCb $P_{\rm c}(4380)$ and $P_{\rm c}(4450)$ states

abstract: We study baryo-charmonium [$\eta_{\rm c}$- and $J/\psi$-$N^*$, $\eta_{\rm c}(2S)$-, $\psi(2S)$- and $\chi_{\rm c}(1P)$-$N$] and baryo-bottomonium [$\eta_{\rm b}(2S)$-, $\Upsilon(2S)$- and $\chi_{\rm b}(1P)$-$N$] bound states, where $N$ is the nucleon and $N^*$ a nucleon resonance. In the baryo-quarkonium model, the five $qqq Q \bar Q$ quarks are arranged in terms of a heavy quarkonium core, $Q \bar Q$, embedded in light baryonic matter, $qqq$, with $q = u$ or $d$. The interaction between the $Q \bar Q$ core and the light baryon can be written in terms of the QCD multipole expansion. The spectrum of baryo-charmonium states is calculated and the results compared with the existing experimental data. In particular, we can interpret the recently discovered $P_{\rm c}(4380)$ and $P_{\rm c}(4450)$ pentaquarks as $\psi(2S)$-$N$ and $\chi_{\rm c2}(1P)$-$N$ bound states, respectively. We observe that in the baryo-bottomonium sector the binding energies are, on average, slightly larger than those of baryo-charmonia. Because of this, the hidden-bottom pentaquarks are more likely to form than their hidden-charm counterparts. We thus suggest the experimentalists to look for five-quark states in the hidden-bottom sector in the $10.4-10.9$ GeV energy region.


title: Approximate nonnegative matrix factorization algorithm for the analysis of angular differential imaging data

abstract: The angular differential imaging (ADI) is used to improve contrast in high resolution astronomical imaging. An example is the direct imaging of exoplanet in camera fed by Extreme Adaptive Optics. The subtraction of the main dazzling object to observe the faint companion was improved using Principal Component Analysis (PCA). It factorizes the positive astronomical frames into positive and negative components. On the contrary, the Nonnegative Matrix Factorization (NMF) uses only positive components, mimicking the actual composition of the long exposure images.


title: A Modern Search for Wolf-Rayet Stars in the Magellanic Clouds. IV. A Final Census

abstract: We summarize the results of our four year survey searching for Wolf-Rayet (WR) stars in the Large Magellanic Cloud (LMC) and Small Magellanic Cloud (SMC). Over the course of this survey we've discovered 15 new WRs and 12 Of-type stars. In this last year we discovered two rare Of-type stars: an O6.5f?p and an O6nfp in addition to the two new Of?p stars discovered in our first year and the three Onfp stars discovered in our second and third years. However, even more exciting was our discovery of a new type of WR, ones we are calling WN3/O3s due to their spectroscopic signatures. We describe the completeness limits of our survey and demonstrate that we are sensitive to weak-lined WRs several magnitudes fainter than any we have discovered, arguing that there is not a population of fainter WRs waiting to be discovered. We discuss the nature of the WN3/O3s, summarizing the results of our extensive spectroscopy and modeling. We also examine the important claim made by others that the WN3/O3s are isolated compared to other massive stars. We find that if we use a more complete sample of reference massive stars, the WN3/O3s show the same spatial distribution as other early WNs, consistent with a common origin. Finally, we use this opportunity to present the "Fifth Catalog of LMC Wolf-Rayet Stars," which includes revised coordinates and updated spectral types for all 154 known LMC WRs.


title: Implementation of the code for the simulation of the response of a triple-GEM tracker and its comparison to the experimental data

abstract: In the framework of detector development, Monte Carlo simulations play a key role in the evaluation of the expected performance and the full understanding of the behavior in beam conditions. In particular, a software which simulates the response of the detector to the particle passage is mandatory to test different setups and solutions, such as geometries, fields, voltages etc. and to understand the test beam data. For gas trackers, existing softwares, such as GARFIELD, perform a very detailed simulation of the physical processes but are also CPU time consuming. For the new cylindrical GEM tracker of BESIII, a faster code which models the results obtained from GARFIELD and adapts them to the experimental data, collected in several test beams, has been written. It reproduces the behavior of a planar triple-GEM under different working conditions and, when completed, it will be inserted in the official code of BESIII. A description of the procedure, based on different components (ionization, diffusion and magnetic field, avalanche multiplication, signal induction and readout) will be given and its results will be compared to the GARFIELD simulations and to the experimental data.


title: Clustering of microswimmers: Interplay of shape and hydrodynamics

abstract: The spatiotemporal dynamics in systems of active self-propelled particles is controlled by the propulsion mechanism in combination with various direct interactions, such as steric repulsion, hydrodynamics, and chemical fields. Yet, these direct interactions are typically anisotropic, and come in different 'flavors', such as spherical and elongated particle shapes for steric repulsion, pusher and puller flow fields for hydrodynamics, etc. The combination of the various aspects is expected to lead to new emergent behavior. However, it is a priori not evident whether shape and hydrodynamics act synergistically or antagonistically to generate motility-induced clustering (MIC) and phase separation (MIPS). We employ a model of prolate spheroidal microswimmers - called squirmers - in quasi-two-dimensional confinement to address this issue by mesoscale hydrodynamic simulations. For comparison, non-hydrodynamic active Brownian particles (ABPs) are considered to elucidate the contribution of hydrodynamic interactions on MIC and MIPS. For spherical particles, the comparison between ABP and hydrodynamic-squirmer ensembles reveals a suppression of MIPS due to hydrodynamic interactions. The fundamental difference between ABPs and squirmers is attributed to an increased reorientation of squirmers by hydrodynamic torques during their collisions. In contrast, for elongated squirmers, hydrodynamics interactions enhance MIPS. Thus, hydrodynamic interactions show opposing effects on MIPS for spherical and elongated microswimmers.


title: Overcoming the curse of dimensionality in the numerical approximation of semilinear parabolic partial differential equations

abstract: For a long time it is well-known that high-dimensional linear parabolic partial differential equations (PDEs) can be approximated by Monte Carlo methods with a computational effort which grows polynomially both in the dimension and in the reciprocal of the prescribed accuracy. In other words, linear PDEs do not suffer from the curse of dimensionality. For general semilinear PDEs with Lipschitz coefficients, however, it remained an open question whether these suffer from the curse of dimensionality. In this paper we partially solve this open problem. More precisely, we prove in the case of semilinear heat equations with gradient-independent and globally Lipschitz continuous nonlinearities that the computational effort of a variant of the recently introduced multilevel Picard approximations grows polynomially both in the dimension and in the reciprocal of the required accuracy.


title: The Demand Adjustment Problem via Inexact Restoration Method

abstract: In this work, the demand Adjustment Problem (DAP) associated to urban traffic planning is studied. The framework for the formulation of the DAP is mathematical programming with equilibrium constraints. In particular, if the optimization program associated to the equilibrium constraints is considered, the DAP results in a bilevel optimization problem. In this approach the DAP via the Inexact Restoration method is treated.


title: Electronic structure depiction of magnetic origin in BaTiO$_{3-\delta}$ thin film: A combined experimental and first-principles based investigation

abstract: With the motive of unraveling the origin of native vacancy induced magnetization in ferroelectric perovskite oxide systems, here we explore the consequences of electronic structure modification in magnetic ordering of oxygen deficient epitaxial BaTiO$_{3-\delta}$ thin films. Our adapted methodology employs state-of-the-art experimental approaches viz. photo-emission, photo-absorption spectroscopies, magnetometric measurements duly combined with first principles based theoretical methods within the frame work of density functional theory (DFT and DFT+\textit{U}) calculations. Oxygen vacancy (O$ _{V} $) is observed leading partial population of Ti 3\textit{d} (t$_{2g}$), which induces defect state in electronic structure near the Fermi level and reduces the band gap. The oxygen deficient BaTiO$_{2.75} $ film reveals Mott-Hubbard insulator characteristic, in contrast to the band gap insulating nature of the stoichiometric BaTiO$ _{3}$. The observed magnetic ordering is attributed to the asymmetric distribution of spin polarized charge density in the vicinity of O$ _{V} $ site which originates unequal magnetic moment values at first and second nearest neighboring Ti sites, respectively. Hereby, we present an exclusive method for maneuvering the band gap and on-site electron correlation energy with consequences on magnetic properties of BaTiO$_{3-\delta}$ system, which can open a gateway for designing novel single phase multiferroic system.


title: ssDNA sequencing by rectification

abstract: Fast, reliable and inexpensive DNA sequencing is an important pursuit in healthcare, especially in personalized medicine with possible deep societal impacts. Despite significant progress of various nanopore-based sequencing configurations, challenges remain in resolution (due to thermal fluctuations or to sensitivity to molecular orientation) and speed, which are calling for new approaches. Here we propose a sequencing protocol for DNA translocation through a nanopore with side-embedded N-terminated carbon nanotube electrodes. Employing DFT and Non-Equilibrium Green's Function formalism, we show that the rectification ratio (response to square pulses of alternating bias) bears high nucleobase specificity. The rectification arises due to bias-dependent resistance asymmetry on the deoxyribonucleotide-electrode interfaces. The asymmetry induces molecular charging and HOMO pinning to the electrochemical potential of one of the electrodes, assisted by an in-gap electric field effect caused by dipoles at the terminated electrode ends. This sequencing protocol is sensitive, selective with orders of magnitude, has high resolution, and it is robust to molecular orientation.


title: Local Gradients Smoothing: Defense against localized adversarial attacks

abstract: Deep neural networks (DNNs) have shown vulnerability to adversarial attacks, i.e., carefully perturbed inputs designed to mislead the network at inference time. Recently introduced localized attacks, Localized and Visible Adversarial Noise (LaVAN) and Adversarial patch, pose a new challenge to deep learning security by adding adversarial noise only within a specific region without affecting the salient objects in an image. Driven by the observation that such attacks introduce concentrated high-frequency changes at a particular image location, we have developed an effective method to estimate noise location in gradient domain and transform those high activation regions caused by adversarial noise in image domain while having minimal effect on the salient object that is important for correct classification. Our proposed Local Gradients Smoothing (LGS) scheme achieves this by regularizing gradients in the estimated noisy region before feeding the image to DNN for inference. We have shown the effectiveness of our method in comparison to other defense methods including Digital Watermarking, JPEG compression, Total Variance Minimization (TVM) and Feature squeezing on ImageNet dataset. In addition, we systematically study the robustness of the proposed defense mechanism against Back Pass Differentiable Approximation (BPDA), a state of the art attack recently developed to break defenses that transform an input sample to minimize the adversarial effect. Compared to other defense mechanisms, LGS is by far the most resistant to BPDA in localized adversarial attack setting.


title: Generalized persistence analysis based on stable rank invariant

abstract: We believe three ingredients are needed for further progress in persistence and its use: invariants not relying on decomposition theorems to go beyond 1-dimension, outcomes suitable for statistical analysis and a setup adopted for supervised and machine learning. Stable rank, a continuous invariant for multidimensional persistence, was introduced in W. Chacholski et al. - Multidimensional persistence and noise, 2017. In the current paper we continue this work by demonstrating how one builds an efficient computational pipeline around this invariant and uses it in inference in case of one parameter. We demonstrate some computational evidence of the statistical stability of stable rank. We also show how our framework can be used in supervised learning.


title: Spectral properties of magnetohydrodnamic turbulence revealed by polarization synchrotron emission with Faraday rotation

abstract: We investigate how to recover the spectral properties of underlying magnetohydrodynamic (MHD) turbulence using fluctuation statistics of synchrotron polarization radiation, based on the synthetic observations. Taking spatially coincident, separated, and compounded synchrotron emission and Faraday rotation regions into account, we extract the power spectrum of synchrotron polarization intensities integrated along the line of sight. Our results demonstrate that in the short wavelength range, the power spectra reflect fluctuation statistics of the perpendicular component of turbulent magnetic fields, and the spectra at long wavelengths reveal the fluctuation of the Faraday rotation density, which is a product of the parallel component of magnetic field and thermal electron density. We find that our numerical results (in the case of spatially coincident regions) are in agreement with the analytical prediction in Lazarian \& Pogosyan (2016), and this theoretical prediction is applicable to more complicated settings, i.e., the spatially separated and compounded regions. We simulate telescopic observations that incorporate the effects of telescope angular resolution and noise, and find that statistics of underlying MHD turbulence can be recovered successfully. We expect that the technique can be applied to a variety of astrophysical environments, with existing synchrotron data cubes and a large number of forthcoming data sets from such as the LOw-Frequency Array for Radio astronomy (LOFAR), the Square Kilometer Array (SKA) and the Five-hundred-meter Aperture Spherical radio Telescope (FAST).


title: Lagrangian and impedance spectroscopy treatments of electric force microscopy

abstract: Scanning probe microscopy is often extended beyond topographic imaging to study electrical forces and sample properties, with the most widely used experiment being frequency-modulated Kelvin probe force microscopy. The equations commonly used to interpret this experiment, however, rely on two hidden assumptions: (1) the tip charge oscillates in phase with the cantilever motion to keep the tip voltage constant, and (2) any changes in the tip-sample interaction happen slowly. Starting from an electro-mechanical model of the cantilever-sample interaction, we use Lagrangian mechanics to derive coupled equations of motion for the cantilever position and charge. This general approach rigorously describes scanned probe experiments even in the case when the usual assumptions of fast tip charging and slowly changing samples properties are violated. We develop a Magnus-expansion approximation to illustrate how abrupt changes in the tip-sample interaction cause abrupt changes in the cantilever amplitude and phase. We show that feedback-free time-resolved electric force microscopy cannot uniquely determine sub-cycle photocapacitance dynamics. We then use first-order perturbation theory to relate cantilever frequency shift and dissipation to the sample impedance even when the tip charge oscillates out of phase with the cantilever motion. Analogous to the treatment of impedance spectroscopy in electrochemistry, we apply this approximation to determine the cantilever frequency shift and dissipation for an arbitrary sample impedance in (broadband) local dielectric spectroscopy experiments. The general approaches we develop provide a path forward for rigorously modeling the coupled motion of the cantilever position and charge in the wide range of electrical scanned probe microscopy experiments where the hidden assumptions of the conventional equations are violated or inapplicable.


title: Output feedback stabilization for heat equations with sampled-data controls

abstract: In this paper, we build up an output feedback law to stabilize a sampled-data controlled heat equation (with a potential) in a bounded domain $\Omega$. The feedback law abides the following rules: First, we divide equally the time interval $[0,+\infty)$ into infinitely many disjoint time periods, and divide each time period into three disjoint subintervals. Second, for each time period, we observe a solution over an open subset of $\Omega$ in the first subinterval, take sample from outputs at one time point of the first subinterval, add a time-invariant output feedback control over another open subset of $\Omega$ in the second subinterval; let the equation evolve free in the last subinterval. Thus, the corresponding feedback control is of sampled-data. Our feedback law has the following advantages: the sampling period (which is the length of the above time period) can be arbitrarily taken; the feedback law has an explicit expression in terms of the sampling period; the behaviors of the norm of the feedback law, when the sampling period goes to zero or infinity, are clear. The construction of the feedback law is based on two kinds of approximate null-controllability for heat equations. One has time-invariant controls, while another has impulse controls. The studies of the aforementioned controllability with time-invariant controls need a new observability inequality for heat equations built up in the current work.


title: Enhanced stability of 2D organic-inorganic halide perovskites by doping and heterostructure engineering

abstract: Organic-inorganic halide perovskite solar cells have recently attracted much attention due to their low-cost fabrication, flexibility, and high-power conversion efficiency. The reduction from three- to two-dimension (2D) promises an exciting opportunity to tune the electronic properties of organic-inorganic halide perovskites. Here, we propose first-principles density-functional theory based route to study the effect of reduced dimensionality, impurity doping, and heterostructure engineering on energy stability, band-gap and transport properties of 2D hybrid organic-inorganic halide perovskites. We show that the energetic stability of two-dimensional organic-inorganic halide perovskites can be significantly enhanced by chemically depositing MoS2 monolayer as a precursor in the system by heterostructure engineering. While on one hand, the structures have similar and excellent transport properties as their bulk counterparts, on the other, they possess the advantage of a broad range of tunable band gaps. Our predictions will expedite future efforts (both theoretical and experimental) in the synthesis, measurements and applications of high performance perovskites.


title: Computationally-Robust and Efficient Prioritized Whole-Body Controller with Contact Constraints

abstract: In this paper, we devise methods for the multi- objective control of humanoid robots, a.k.a. prioritized whole- body controllers, that achieve efficiency and robustness in the algorithmic computations. We use a form of whole-body controllers that is very general via incorporating centroidal momentum dynamics, operational task priorities, contact re- action forces, and internal force constraints. First, we achieve efficiency by solving a quadratic program that only involves the floating base dynamics and the reaction forces. Second, we achieve computational robustness by relaxing task accelerations such that they comply with friction cone constraints. Finally, we incorporate methods for smooth contact transitions to enhance the control of dynamic locomotion behaviors. The proposed methods are demonstrated both in simulation and in real experiments using a passive-ankle bipedal robot.


title: Canonical complex extensions of K\"ahler manifolds

abstract: Given a complex manifold $X$, any K\"ahler class defines an affine bundle over $X$, and any K\"ahler form in the given class defines a totally real embedding of $X$ into this affine bundle. We formulate conditions under which the affine bundles arising this way are Stein and relate this question to other natural positivity conditions on the tangent bundle of $X$. For compact K\"ahler manifolds of non-negative holomorphic bisectional curvature, we establish a close relation of this construction to adapted complex structures in the sense of Lempert--Sz\H{o}ke and to the existence question for good complexifications in the sense of Totaro. Moreover, we study projective manifolds for which the induced affine bundle is not just Stein but affine and prove that these must have big tangent bundle. In the course of our investigation, we also obtain a simpler proof of a result of Yang on manifolds having non-negative holomorphic bisectional curvature and big tangent bundle.


title: Deep neural networks for non-linear model-based ultrasound reconstruction

abstract: Ultrasound reflection tomography is widely used to image large complex specimens that are only accessible from a single side, such as well systems and nuclear power plant containment walls. Typical methods for inverting the measurement rely on delay-and-sum algorithms that rapidly produce reconstructions but with significant artifacts. Recently, model-based reconstruction approaches using a linear forward model have been shown to significantly improve image quality compared to the conventional approach. However, even these techniques result in artifacts for complex objects because of the inherent non-linearity of the ultrasound forward model. In this paper, we propose a non-iterative model-based reconstruction method for inverting measurements that are based on non-linear forward models for ultrasound imaging. Our approach involves obtaining an approximate estimate of the reconstruction using a simple linear back-projection and training a deep neural network to refine this to the actual reconstruction. We apply our method to simulated ultrasound data and demonstrate dramatic improvements in image quality compared to the delay-and-sum approach and the linear model-based reconstruction approach.


title: The USA is an indisputable world leader in medical and biotechnological research

abstract: A country's research success can be assessed from the power law function that links country and world rank numbers when publications are ordered by their number of citations; a similar function describes the distribution of country papers in world percentiles. These functions allow calculating the ep index and the probability of publishing highly cited papers, which measure the efficiency of the research system and the ability of achieving important discoveries or scientific breakthroughs, respectively. The aim of this paper was to use these metrics and other parameters derived from the percentile-based power law function to investigate research success in the USA, the EU, and other countries in hot medical, biochemical, and biotechnological topics. The results show that, in the investigated fields, the USA is scientifically ahead of all countries and that its research is likely to produce approximately 80% of the important global breakthroughs in the research topics investigated in this study. EU research has maintained a constant weak position with reference to USA research over the last 30 years.


title: RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast

abstract: Today's cyber-physical systems face various impediments to achieving their intended goals, namely, communication uncertainties and faults, relative to the increased integration of networked and wireless devices, hinder the synchronism needed to meet real-time deadlines. Moreover, being critical, these systems are also exposed to significant security threats. This threat combination increases the risk of physical damage. This paper addresses these problems by studying how to build the first real-time Byzantine reliable broadcast protocol (RTBRB) tolerating network uncertainties, faults, and attacks. Previous literature describes either real-time reliable broadcast protocols, or asynchronous (non real-time) Byzantine~ones. We first prove that it is impossible to implement RTBRB using traditional distributed computing paradigms, e.g., where the error/failure detection mechanisms of processes are decoupled from the broadcast algorithm itself, even with the help of the most powerful failure detectors. We circumvent this impossibility by proposing RT-ByzCast, an algorithm based on aggregating digital signatures in a sliding time-window and on empowering processes with self-crashing capabilities to mask and bound losses. We show that RT-ByzCast (i) operates in real-time by proving that messages broadcast by correct processes are delivered within a known bounded delay, and (ii) is reliable by demonstrating that correct processes using our algorithm crash themselves with a negligible probability, even with message loss rates as high as 60%.


title: Providing Explanations for Recommendations in Reciprocal Environments

abstract: Automated platforms which support users in finding a mutually beneficial match, such as online dating and job recruitment sites, are becoming increasingly popular. These platforms often include recommender systems that assist users in finding a suitable match. While recommender systems which provide explanations for their recommendations have shown many benefits, explanation methods have yet to be adapted and tested in recommending suitable matches. In this paper, we introduce and extensively evaluate the use of "reciprocal explanations" -- explanations which provide reasoning as to why both parties are expected to benefit from the match. Through an extensive empirical evaluation, in both simulated and real-world dating platforms with 287 human participants, we find that when the acceptance of a recommendation involves a significant cost (e.g., monetary or emotional), reciprocal explanations outperform standard explanation methods which consider the recommendation receiver alone. However, contrary to what one may expect, when the cost of accepting a recommendation is negligible, reciprocal explanations are shown to be less effective than the traditional explanation methods.


title: Optical valleytronics in gapped graphene

abstract: We propose a scheme to trap and filter electrons, valley dependently, on a scale beyond the diffraction limit, in a gapped Dirac system using a circularly polarized light beam and a microscale metallic resonator. The main mechanism allowing the selection is the valley dependent break of the time reversal symmetry. Indeed in one valley, the light partially closes the already existing gap while it opens it in the other one. This difference in the band structure close to the Dirac points, induces a change in the dynamics of the electrons, leading to a valley router behaviour of the system.


title: A 4.6-year period brown-dwarf companion interacting with the hot-Jupiter CoRoT-20 b

abstract: We report the discovery of an additional substellar companion in the CoRoT-20 system based on six years of HARPS and SOPHIE radial velocity follow-up. CoRoT-20 c has a minimum mass of 17 $\pm$ 1 $M_{Jup}$ and it orbits the host star in 4.59$\pm 0.05$ years, with an orbital eccentricity of 0.60 $\pm$ 0.03. This is the first identified system with an eccentric hot Jupiter and an eccentric massive companion. The discovery of the latter might be an indication of the migration mechanism of the hot Jupiter, via Lidov-Kozai effect. We explore the parameter space to determine which configurations would trigger this type of interactions.


title: Bridging coupling bandgaps in nonlinear acoustic metamaterials

abstract: Nonlinear acoustic metamaterials (NAMs) open new freedoms in exploiting novel technologies for wave manipulations. Recently, the desired ultra-low and ultra-broad-band wave suppressions were achieved by the chaotic bands in NAMs [Nature Commun. 8, 1288 (2017)]. This work describes a remote interaction mechanism in NAMs-bridging coupling of nonlinear locally resonant bandgaps. Bridging bandgaps generate chaotic bands and share the negative mass between nonlinear resonators. The bandwidth and the efficiency for the wave reduction in chaotic bands can be manipulated effectively by modulating the frequency distance between the bridging pair. Theoretical analyses on the triatomic model containing two nonlinearly coupled resonances clarify the principle of bridging bandgaps. NAM beams are created to demonstrate this mechanism experimentally by including the bifurcations of periodic solutions. Our study extends the content of NAMs and more nonlinear effects are anticipated based on this mechanism.


title: An elementary and constructive proof of Grothendieck's generic freeness lemma

abstract: We present a new and direct proof of Grothendieck's generic freeness lemma in its general form. Unlike the previously published proofs, it does not proceed in a series of reduction steps and is fully constructive, not using the axiom of choice or even the law of excluded middle. It was found by unwinding the result of a general topos-theoretic technique.


title: SpaceNet: A Remote Sensing Dataset and Challenge Series

abstract: Foundational mapping remains a challenge in many parts of the world, particularly in dynamic scenarios such as natural disasters when timely updates are critical. Updating maps is currently a highly manual process requiring a large number of human labelers to either create features or rigorously validate automated outputs. We propose that the frequent revisits of earth imaging satellite constellations may accelerate existing efforts to quickly update foundational maps when combined with advanced machine learning techniques. Accordingly, the SpaceNet partners (CosmiQ Works, Radiant Solutions, and NVIDIA), released a large corpus of labeled satellite imagery on Amazon Web Services (AWS) called SpaceNet. The SpaceNet partners also launched a series of public prize competitions to encourage improvement of remote sensing machine learning algorithms. The first two of these competitions focused on automated building footprint extraction, and the most recent challenge focused on road network extraction. In this paper we discuss the SpaceNet imagery, labels, evaluation metrics, prize challenge results to date, and future plans for the SpaceNet challenge series.


title: High-speed extended-volume blood flow measurement using engineered point-spread function

abstract: Experimental characterization of blood flow in living organisms is crucial for understanding the development and function of cardiovascular systems, but there have been no techniques reported for snapshot imaging of thick samples in large volumes with high precision. We have combined computational microscopy and the diffraction-free, self-bending property of Airy beams to track fluorescent beads with sub-micron precision through an extended axial range (up to 600 $\mu$m) within the flowing blood of 3 days post-fertilization (dpf) zebrafish embryos. The spatial trajectories of the tracer beads within flowing blood were recorded during transit through both cardinal and intersegmental vessels, and the trajectories were found to be consistent with the segmentation of the vasculature recorded using selective-plane illumination microscopy (SPIM). This method provides precise spatial and temporal measurement of 3D blood flow with potential for enhanced understanding of fundamental dynamics, such as measurement of wall shear stress or of cardiovascular disease.


title: Observation of Gaussian pseudorapidity distributions for produced particles in proton-nucleus collisions at Tevatron energies

abstract: The statistical event-by-event analysis of inelastic interactions of protons in emulsion at 800 GeV reveals the existence of group of events with Gaussian pseudorapidity distributions for produced particles, as suggested by hydrodynamic-tube model. Events belong to very central collisions of protons with heavy emulsion nuclei with probability of realization of less than 1% and with multiplicity of shower particles exceeding (2-3 times) the average multiplicity in proton-nucleus collisions in emulsion. The Bjorken's energy density for these events reaches 2.0 GeV per fm^3. The data are interpreted as a result of the QCD phase transition in proton-tube collisions at Tevatron energies.


title: Quantum generative adversarial network for generating discrete distribution

abstract: Quantum machine learning has recently attracted much attention from the community of quantum computing. In this paper, we explore the ability of generative adversarial networks (GANs) based on quantum computing. More specifically, we propose a quantum GAN for generating classical discrete distribution, which has a classical-quantum hybrid architecture and is composed of a parameterized quantum circuit as the generator and a classical neural network as the discriminator. The parameterized quantum circuit only consists of simple one-qubit rotation gates and two-qubit controlled-phase gates that are available in current quantum devices. Our scheme has the following characteristics and potential advantages: (i) It is intrinsically capable of generating discrete data (e.g., text data), while classical GANs are clumsy for this task due to the vanishing gradient problem. (ii) Our scheme avoids the input/output bottlenecks embarrassing most of the existing quantum learning algorithms that either require to encode the classical input data into quantum states, or output a quantum state corresponding to the solution instead of giving the solution itself, which inevitably compromises the speedup of the quantum algorithm. (iii) The probability distribution implicitly given by data samples can be loaded into a quantum state, which may be useful for some further applications.


title: Testing charm quark thermalisation within the Statistical Hadronisation Model

abstract: A wealth of data on charmonium production in Pb-Pb collisions from the LHC experiments has provided strong evidence for (re-)generation as a dominant production mechanism at low transverse momentum. We present an important extension of the statistical hadronisation model to describe $\rm{J}/\psi$ transverse momentum distributions based on input parameters from hydrodynamical simulations. Comparison to the data allows the testing of the degree of thermalisation of charm quarks in the quark-gluon plasma. To this end we will report analyses of the $\rm{J}/\psi$ transverse momentum spectra in Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ and $5.02$ TeV.


title: Unit circle rectification of the MVDR beamformer

abstract: The sample matrix inversion (SMI) beamformer implements Capon's minimum variance distortionless (MVDR) beamforming using the sample covariance matrix (SCM). In a snapshot limited environment, the SCM is poorly conditioned resulting in a suboptimal performance from the SMI beamformer. Imposing structural constraints on the SCM estimate to satisfy known theoretical properties of the ensemble MVDR beamformer mitigates the impact of limited snapshots on the SMI beamformer performance. Toeplitz rectification and bounding the norm of weight vector are common approaches for such constrains. This paper proposes the unit circle rectification technique which constraints the SMI beamformer to satisfy a property of the ensemble MVDR beamformer: for narrowband planewave beamforming on a uniform linear array, the zeros of the MVDR weight array polynomial must fall on the unit circle. Numerical simulations show that the resulting unit circle MVDR (UC MVDR) beamformer frequently improves the suppression of both discrete interferers and white background noise compared to the classic SMI beamformer. Moreover, the UC MVDR beamformer is shown to suppress discrete interferers better than the MVDR beamformer diagonally loaded to maximize the SINR.


title: Fast Fourier-Based Generation of the Compression Matrix for Deterministic Compressed Sensing

abstract: The primary goal of this work is to review the importance of data compression and present a fast Fourier-based method for generating the deterministic compression matrix in the area of deterministic compressed sensing. The principle concepts of data compression such as general process of data compression, sparse signals, coherence matrix and Restricted Isometry Property (RIP) have been defined. We have introduced two methods of sparse data compression. The first method is formed by utilizing a stochastic matrix which is a common approach, and the second method is created by utilizing a deterministic matrix which is proposed more recently. The main goal of this work is to improve the execution time of the deterministic matrix generation. The execution time is related to the generation method of the deterministic matrix. Furthermore, we have implemented a software which makes it possible to compare different methods of reconstructing data compression. To make this comparison, it is necessary to draw and compare certain graphs, e.g. phase transition, the ratio of output signal to noise and input signal to noise, signal to noise output and also the ratio of percentage of accurate reconstructing and order of sparse signals for various reconstructing methods. To facilitate this process, the user would be able to draw his/her favorite graphs in GUI environment.


title: Bayesian Spatial Analysis of Hardwood Tree Counts in Forests via MCMC

abstract: In this paper, we perform Bayesian Inference to analyze spatial tree count data from the Timiskaming and Abitibi River forests in Ontario, Canada. We consider a Bayesian Generalized Linear Geostatistical Model and implement a Markov Chain Monte Carlo algorithm to sample from its posterior distribution. How spatial predictions for new sites in the forests change as the amount of training data is reduced is studied and compared with a Logistic Regression model without a spatial effect. Finally, we discuss a stratified sampling approach for selecting subsets of data that allows for potential better predictions.


title: On the Incomparability of Cache Algorithms in Terms of Timing Leakage

abstract: Modern computer architectures rely on caches to reduce the latency gap between the CPU and main memory. While indispensable for performance, caches pose a serious threat to security because they leak information about memory access patterns of programs via execution time. In this paper, we present a novel approach for reasoning about the security of cache algorithms with respect to timing leaks. The basis of our approach is the notion of leak competitiveness, which compares the leakage of two cache algorithms on every possible program. Based on this notion, we prove the following two results: First, we show that leak competitiveness is symmetric in the cache algorithms. This implies that no cache algorithm dominates another in terms of leakage via a program's total execution time. This is in contrast to performance, where it is known that such dominance relationships exist. Second, when restricted to caches with finite control, the leak-competitiveness relationship between two cache algorithms is either asymptotically linear or constant. No other shapes are possible.


title: Control of the Grushin equation: non-rectangular control region and minimal time

abstract: This paper is devoted to the study of the internal null-controllability of the Grushin equation. We determine the minimal time of controllability for a large class of non-rectangular control region. We establish the positive result thanks to the fictitious control method and the negative one by interpreting the associated observability inequality as an $L^2$ estimate on complex polynomials.


title: Model-Based Design of Energy-Efficient Applications for IoT Systems

abstract: A major challenge that is currently faced in the design of applications for the Internet of Things (IoT) concerns with the optimal use of available energy resources given the battery lifetime of the IoT devices. The challenge is derived from the heterogeneity of the devices, in terms of their hardware and the provided functionalities (e.g data processing/communication). In this paper, we propose a novel method for (i) characterizing the parameters that influence energy consumption and (ii) validating the energy consumption of IoT devices against the system's energy-efficiency requirements (e.g. lifetime). Our approach is based on energy-aware models of the IoT application's design in the BIP (Behavior, Interaction, Priority) component framework. This allows for a detailed formal representation of the system's behavior and its subsequent validation, thus providing feedback for enhancements in the pre-deployment or pre-production stages. We illustrate our approach through a Building Management System, using well-known IoT devices running the Contiki OS that communicate by diverse IoT protocols (e.g. CoAP, MQTT). The results allow to derive tight bounds for the energy consumption in various device functionalities, as well as to validate lifetime requirements through Statistical Model Checking.


title: Non-associative learning in intra-cellular signaling networks

abstract: Nonlinear systems driven by recurrent signals are known to exhibit complex dynamical responses which, in the physiological context, can have important functional consequences. One of the simplest biological systems that is exposed to such repeated stimuli is the intra-cellular signaling network. In this paper we investigate the periodic activation of an evolutionarily conserved motif of this network, viz., the mitogen-activated protein kinase (MAPK) signaling cascade, with a train of pulses. The resulting response of the cascade, which shows integrative capability over several successive pulses, is characterized by complex adaptive behavior. These include aspects of non-associative learning, in particular, habituation and sensitization, which are observed in response to high- and low-frequency stimulation, respectively. In addition, the existence of a response threshold of the cascade, an apparent refractory behavior following stimulation with short inter-pulse interval, and an alternans-like response under certain conditions suggest an analogy with excitable media.


title: Clustering and phase separation of circle swimmers dispersed in a monolayer

abstract: We perform Brownian dynamics simulations in two dimensions to study the collective behavior of circle swimmers, which are driven by both, an (effective) translational and rotational self-propulsion, and interact via steric repulsion. We find that active rotation generally opposes motility-induced clustering and phase separation, as demonstrated by a narrowing of the coexistence region upon increase of the propulsion angular velocity. Moreover, although the particles are intrinsically assigned to rotate counterclockwise, a novel state of clockwise vortices emerges at an optimal value of the effective propulsion torque. We propose a simple gear-like model to capture the underlying mechanism of the clockwise vortices.


title: GTPack: A Mathematica group theory package for application in solid-state physics and photonics

abstract: We present the Mathematica group theory package GTPack providing about 200 additional modules to the standard Mathematica language. The content ranges from basic group theory and representation theory to more applied methods like crystal field theory, tight-binding and plane-wave approaches capable for symmetry based studies in the fields of solid-state physics and photonics. GTPack is freely available via http://GTPack.org. The package is designed to be easily accessible by providing a complete Mathematica-style documentation, an optional input validation and an error strategy. We illustrate the basic framework of the package and show basic examples to present the functionality. Furthermore, we give a complete list of the implemented commands including references for algorithms within the supplementary material.


title: The Concatenated Structure of Quasi-Abelian Codes

abstract: The decomposition of a quasi-abelian code into shorter linear codes over larger alphabets was given in (Jitman, Ling, (2015)), extending the analogous Chinese remainder decomposition of quasi-cyclic codes (Ling, Sol\'e, (2001)). We give a concatenated decomposition of quasi-abelian codes and show, as in the quasi-cyclic case, that the two decompositions are equivalent. The concatenated decomposition allows us to give a general minimum distance bound for quasi-abelian codes and to construct some optimal codes. Moreover, we show by examples that the minimum distance bound is sharp in some cases. In addition, examples of large strictly quasi-abelian codes of about a half rate are given. The concatenated structure also enables us to conclude that strictly quasi-abelian linear complementary dual codes over any finite field are asymptotically good.


title: Ortho-polygon Visibility Representations of 3-connected 1-plane Graphs

abstract: An ortho-polygon visibility representation $\Gamma$ of a $1$-plane graph $G$ (OPVR of $G$) is an embedding preserving drawing that maps each vertex of $G$ to a distinct orthogonal polygon and each edge of $G$ to a vertical or horizontal visibility between its end-vertices. The representation $\Gamma$ has vertex complexity $k$ if every polygon of $\Gamma$ has at most $k$ reflex corners. It is known that $3$-connected $1$-plane graphs admit an OPVR with vertex complexity at most twelve, while vertex complexity at least two may be required in some cases. In this paper, we reduce this gap by showing that vertex complexity five is always sufficient, while vertex complexity four may be required in some cases. These results are based on the study of the combinatorial properties of the B-, T-, and W-configurations in $3$-connected $1$-plane graphs. An implication of the upper bound is the existence of a $\tilde{O}(n^\frac{10}{7})$-time drawing algorithm that computes an OPVR of an $n$-vertex $3$-connected $1$-plane graph on an integer grid of size $O(n) \times O(n)$ and with vertex complexity at most five.


title: Fluctuations and correlations in chemical reaction kinetics and population dynamics

abstract: This chapter provides a pedagogical introduction and overview of spatial and temporal correlation and fluctuation effects resulting from the fundamentally stochastic kinetics underlying chemical reactions and the dynamics of populations or epidemics. After reviewing the assumptions and mean-field type approximations involved in the construction of chemical rate equations for uniform reactant densities, we first discuss spatial clustering in birth-death systems, where non-linearities are introduced through either density-limiting pair reactions, or equivalently via local imposition of finite carrying capacities. The competition of offspring production, death, and non-linear inhibition induces a population extinction threshold, which represents a non-equilibrium phase transition that separates active from absorbing states. This continuous transition is characterized by the universal scaling exponents of critical directed percolation clusters. Next we focus on the emergence of depletion zones in single-species annihilation processes and spatial population segregation with the associated reaction fronts in two-species pair annihilation. These strong (anti-)correlation effects are dynamically generated by the underlying stochastic kinetics. Finally, we address noise-induced and fluctuation-stabilized spatio-temporal patterns in basic predator-prey systems, exemplified by spreading activity fronts in the two-species Lotka-Volterra model as well as spiral structures in the May-Leonard variant of cyclically competing three-species systems akin to rock-paper-scissors games.


title: Axial gravity: a non-perturbative approach to split anomalies

abstract: In a theory of a Dirac fermion field coupled to a metric-axial-tensor (MAT) background, using a Schwinger-DeWitt heat kernel technique, we compute non-perturbatively the two (odd parity) trace anomalies. A suitable collapsing limit of this model corresponds to a theory of chiral fermions coupled to (ordinary) gravity. Taking this limit on the two computed trace anomalies we verify that they tend to the same expression, which coincides with the already found odd parity trace anomaly, with the identical coefficient. This confirms our previous results on this issue.


title: Apparatus for dosing liquid water in ultrahigh vacuum

abstract: The structure of the solid-liquid interface often defines function and performance of materials in applications. To study the interface at the atomic scale, we extended an ultrahigh vacuum (UHV) surface-science chamber with an apparatus that allows to bring a sample in contact with ultrapure liquid water without exposure to air. In this process, a sample, typically a single crystal prepared and characterized in UHV, is transferred into a separate, small chamber. This chamber already contains a volume of ultrapure water ice, whose vapor pressure is reduced to UHV range by cooling it to cryogenic temperatures. Upon warming, the ice melts and forms a liquid droplet, which is deposited on the sample. First experiments carried out on rutile TiO2(110) single crystals using this apparatus exhibit unprecedented purity, as tested by X-ray photoelectron spectroscopy (XPS) and scanning tunneling microscopy (STM). These results enabled to separate the effect of pure water from the effect of low-level impurities present in the air. Other possible uses of the setup are discussed.


title: Training behavior of deep neural network in frequency domain

abstract: Why deep neural networks (DNNs) capable of overfitting often generalize well in practice is a mystery [#zhang2016understanding]. To find a potential mechanism, we focus on the study of implicit biases underlying the training process of DNNs. In this work, for both real and synthetic datasets, we empirically find that a DNN with common settings first quickly captures the dominant low-frequency components, and then relatively slowly captures the high-frequency ones. We call this phenomenon Frequency Principle (F-Principle). The F-Principle can be observed over DNNs of various structures, activation functions, and training algorithms in our experiments. We also illustrate how the F-Principle help understand the effect of early-stopping as well as the generalization of DNNs. This F-Principle potentially provides insights into a general principle underlying DNN optimization and generalization.

categories: cs.LG cs.AI cs.IT math.IT math.ST stat.ML stat.TH


title: Opinion formation on dynamic networks: identifying conditions for the emergence of partisan echo chambers

abstract: Modern political interaction is characterized by strong partisanship and a lack of interest in information sharing and agreement across party lines. It remains largely unclear how such partisan echo chambers arise and how they coevolve with opinion formation. Here we explore the emergence of these structures through the lens of coevolutionary games. In our model, the payoff of an individual is determined jointly by the magnitude of their opinion, their degree of conformity with their social neighbors, and the benefit of having social connections. Each individual can simultaneously adjust their opinion as well as the weights of their social connections. We present and validate the conditions for the emergence of partisan echo chambers, characterizing the transition from cohesive communities with consensus to divisive networks with splitting opinions. Moreover, we apply our model to voting records of the United States House of Representatives over a timespan of decades in order to understand the influence of underlying psychological and social factors on increasing partisanship in recent years. Our work helps elucidate how the division of today has come to be and how cohesion and unity could otherwise be attained on a variety of political and social issues.


title: Who did What at Where and When: Simultaneous Multi-Person Tracking and Activity Recognition

abstract: We present a bootstrapping framework to simultaneously improve multi-person tracking and activity recognition at individual, interaction and social group activity levels. The inference consists of identifying trajectories of all pedestrian actors, individual activities, pairwise interactions, and collective activities, given the observed pedestrian detections. Our method uses a graphical model to represent and solve the joint tracking and recognition problems via multi-stages: (1) activity-aware tracking, (2) joint interaction recognition and occlusion recovery, and (3) collective activity recognition. We solve the where and when problem with visual tracking, as well as the who and what problem with recognition. High-order correlations among the visible and occluded individuals, pairwise interactions, groups, and activities are then solved using a hypergraph formulation within the Bayesian framework. Experiments on several benchmarks show the advantages of our approach over state-of-art methods.


title: A Fourier integrator for the cubic nonlinear Schr\"{o}dinger equation with rough initial data

abstract: Standard numerical integrators suffer from an order reduction when applied to nonlinear Schr\"{o}dinger equations with low-regularity initial data. For example, standard Strang splitting requires the boundedness of the solution in $H^{r+4}$ in order to be second-order convergent in $H^r$, i.e., it requires the boundedness of four additional derivatives of the solution. We present a new type of integrator that is based on the variation-of-constants formula and makes use of certain resonance based approximations in Fourier space. The latter can be efficiently evaluated by fast Fourier methods. For second-order convergence, the new integrator requires two additional derivatives of the solution in one space dimension, and three derivatives in higher space dimensions. Numerical examples illustrating our convergence results are included. These examples demonstrate the clear advantage of the Fourier integrator over standard Strang splitting for initial data with low regularity.


title: Interactions and influence of world painters from the reduced Google matrix of Wikipedia networks

abstract: This study concentrates on extracting painting art history knowledge from the network structure of Wikipedia. Therefore, we construct theoretical networks of webpages representing the hyper-linked structure of articles of 7 Wikipedia language editions. These 7 networks are analyzed to extract the most influential painters in each edition using Google matrix theory. Importance of webpages of over 3000 painters are measured using PageRank algorithm. The most influential painters are enlisted and their ties are studied with the reduced Google matrix analysis. Reduced Google Matrix is a powerful method that captures both direct and hidden interactions between a subset of selected nodes taking into account the indirect links between these nodes via the remaining part of large global network. This method originates from the scattering theory of nuclear and mesoscopic physics and field of quantum chaos. From this study, we show that it is possible to extract from the components of the reduced Google matrix meaningful information on the ties between these painters. For instance, our analysis groups together painters that belong to the same painting movement and shows meaningful ties between painters of different movements. We also determine the influence of painters on world countries using link sensitivity between Wikipedia articles of painters and countries. The reduced Google matrix approach allows to obtain a balanced view of various cultural opinions of Wikipedia language editions. The world countries with the largest number of top painters of selected 7 Wikipedia editions are found to be Italy, France, Russia. We argue that this approach gives meaningful information about art and that it could be a part of extensive network analysis on human knowledge and cultures.


title: On the stability of an adaptive learning dynamics in traffic games

abstract: This paper investigates the dynamic stability of an adaptive learning procedure in a traffic game. Using the Routh-Hurwitz criterion we study the stability of the rest points of the corresponding mean field dynamics. In the special case with two routes and two players we provide a full description of the number and nature of these rest points as well as the global asymptotic behavior of the dynamics. Depending on the parameters of the model, we find that there are either one, two or three equilibria and we show that in all cases the mean field trajectories converge towards a rest point for almost all initial conditions.


title: A Weakly Supervised Adaptive DenseNet for Classifying Thoracic Diseases and Identifying Abnormalities

abstract: We present a weakly supervised deep learning model for classifying thoracic diseases and identifying abnormalities in chest radiography. In this work, instead of learning from medical imaging data with region-level annotations, our model was merely trained on imaging data with image-level labels to classify diseases, and is able to identify abnormal image regions simultaneously. Our model consists of a customized pooling structure and an adaptive DenseNet front-end, which can effectively recognize possible disease features for classification and localization tasks. Our method has been validated on the publicly available ChestX-ray14 dataset. Experimental results have demonstrated that our classification and localization prediction performance achieved significant improvement over the previous models on the ChestX-ray14 dataset. In summary, our network can produce accurate disease classification and localization, which can potentially support clinical decisions.


title: Tutorial: Time-domain thermoreflectance (TDTR) for thermal property characterization of bulk and thin film materials

abstract: Measuring thermal properties of materials is not only of fundamental importance in understanding the transport processes of energy carriers (electrons and phonons) but also of practical interest in developing novel materials with desired thermal conductivity for applications in energy, electronics, and photonic systems. Over the past two decades, ultrafast laser-based time-domain thermoreflectance (TDTR) has emerged and evolved as a reliable, powerful, and versatile technique to measure the thermal properties of a wide range of bulk and thin film materials and their interfaces. This tutorial discusses the basics as well as the recent advances of the TDTR technique and its applications in the thermal characterization of a variety of materials. The tutorial begins with the fundamentals of the TDTR technique, serving as a guideline for understanding the basic principles of this technique. A diverse set of TDTR configurations that have been developed to meet different measurement conditions are then presented, followed by several variations of the TDTR technique that function similarly as the standard TDTR but with their own unique features. This tutorial closes with a summary that discusses the current limitations and proposes some directions for future development.


title: Electrically switchable Berry curvature dipole in the monolayer topological insulator WTe2

abstract: Recent experimental evidence for the quantum spin Hall (QSH) state in monolayer WTe$_2$ has bridged two of the most active fields of condensed matter physics, 2D materials and topological physics. This 2D topological crystal also displays unconventional spin-torque and gate-tunable superconductivity. While the realization of QSH has demonstrated the nontrivial topology of the electron wavefunctions of monolayer WTe$_2$, the geometrical properties of the wavefunction, such as the Berry curvature, remain unstudied. On the other hand, it has been increasingly recognized that the Berry curvature plays an important role in multiple areas of condensed matter physics including nonreciprocal electron transport, enantioselective optical responses, chiral polaritons and even unconventional superconductivity. Here we utilize mid-infrared optoelectronic microscopy to investigate the Berry curvature in monolayer WTe$_2$. By optically exciting electrons across the inverted QSH gap, we observe an in-plane circular photogalvanic current even under normal incidence. The application of an out-of-plane displacement field further systematically controls the direction and magnitude of the photocurrent. Our observed photocurrent reveals a novel Berry curvature dipole that arises from the nontrivial wavefunctions near the inverted gap edge. These previously unrealized Berry curvature dipole and strong electric field effect are uniquely enabled by the inverted band structure and tilted crystal lattice of monolayer WTe$_2$. Such an electrically switchable Berry curvature dipole opens the door to the observation of a wide range of quantum geometrical phenomena, such as quantum nonlinear Hall, orbital-Edelstein and chiral polaritonic effects.


title: A Novel Algorithm for the All-Best-Swap-Edge Problem on Tree Spanners

abstract: Given a 2-edge connected, unweighted, and undirected graph $G$ with $n$ vertices and $m$ edges, a $\sigma$-tree spanner is a spanning tree $T$ of $G$ in which the ratio between the distance in $T$ of any pair of vertices and the corresponding distance in $G$ is upper bounded by $\sigma$. The minimum value of $\sigma$ for which $T$ is a $\sigma$-tree spanner of $G$ is also called the {\em stretch factor} of $T$. We address the fault-tolerant scenario in which each edge $e$ of a given tree spanner may temporarily fail and has to be replaced by a {\em best swap edge}, i.e. an edge that reconnects $T-e$ at a minimum stretch factor. More precisely, we design an $O(n^2)$ time and space algorithm that computes a best swap edge of every tree edge. Previously, an $O(n^2 \log^4 n)$ time and $O(n^2+m\log^2n)$ space algorithm was known for edge-weighted graphs [Bil\`o et al., ISAAC 2017]. Even if our improvements on both the time and space complexities are of a polylogarithmic factor, we stress the fact that the design of a $o(n^2)$ time and space algorithm would be considered a breakthrough.


title: On the Connection between Residual Distribution Schemes and Flux Reconstruction

abstract: In this short paper, we are considering the connection between the \emph{Residual Distribution Schemes} (RD) and the \emph{Flux Reconstruction} (FR) approach. We demonstrate that flux reconstruction can be recast into the RD framework and vice versa. Because of this close connection we are able to apply known results from RD schemes to FR methods. In this context we propose a first demonstration of entropy stability for the FR schemes under consideration and show how to construct entropy stable numerical schemes based on our FR methods. Simultaneously, we do not restrict the mesh to tensor structures or triangle elements, but rather allow polygons. The key of our analysis is a proper choice of the correction functions for which we present an approach here.


title: Tackling Occlusions & Limited Sensor Range with Set-based Safety Verification

abstract: Provable safety is one of the most critical challenges in automated driving. The behavior of numerous traffic participants in a scene cannot be predicted reliably due to complex interdependencies and the indiscriminate behavior of humans. Additionally, we face high uncertainties and only incomplete environment knowledge. Recent approaches minimize risk with probabilistic and machine learning methods - even under occlusions. These generate comfortable behavior with good traffic flow, but cannot guarantee safety of their maneuvers. Therefore, we contribute a safety verification method for trajectories under occlusions. The field-of-view of the ego vehicle and a map are used to identify critical sensing field edges, each representing a potentially hidden obstacle. The state of occluded obstacles is unknown, but can be over-approximated by intervals over all possible states. Then set-based methods are extended to provide occupancy predictions for obstacles with state intervals. The proposed method can verify the safety of given trajectories (e.g. if they ensure collision-free fail-safe maneuver options) w.r.t. arbitrary safe-state formulations. The potential for provably safe trajectory planning is shown in three evaluative scenarios.


title: Quantifying the Observational Effort Required for the Radial Velocity Characterization of TESS Planets

abstract: The Transiting Exoplanet Survey Satellite will conduct a 2-year long wide-field survey searching for transiting planets around bright stars. Many TESS discoveries will be amenable to mass characterization via ground-based radial velocity measurements with any of a growing suite of existing and anticipated velocimeters in the optical and near-infrared. In this study we present an analytical formalism to compute the number of radial velocity measurements---and hence the total observing time---required to characterize RV planet masses with the inclusion of either a white or correlated noise activity model. We use our model to calculate the total observing time required to measure all TESS planet masses from the expected TESS planet yield while relying on our current understanding of the targeted stars, stellar activity, and populations of unseen planets which inform the expected radial velocity precision. We also present specialized calculations applicable to a variety of interesting TESS planet subsets including the characterization of 50 planets smaller than 4 Earth radii which is expected to take as little as 60 nights of observation. Although, the efficient RV characterization of such planets requires a-priori knowledge of the `best' targets which we argue can be identified prior to the conclusion of the TESS planet search based on our calculations. Our results highlight the comparable performance of optical and near-IR spectrographs for most planet populations except for Earths and temperate TESS planets which are more efficiently characterized in the near-IR. Lastly, we present an online tool to the community to compute the total observing times required to detect any transiting planet using a user-defined spectrograph.


title: Evidence of active regions in the donor of the Algol-type binary V393 Scorpii and test for the dynamo model of its long cycle

abstract: V393 Scorpii is a member of the subclass of Algols dubbed Double Periodic Variables (DPVs). These are semidetached binaries with B-type primaries showing a long-photometric cycle lasting in average 33 times the orbital period. We describe the behavior of unreported metallic emission lines in the cool stellar component of this system. The emissions can be single or double for a same line and sometimes show velocity shifts regarding the velocity of the center of mass of the star. In addition, these lines are stronger during the high state. This behavior suggests the presence of active regions in the surface of the rapidly rotating A7 donor covering a fraction of the visible hemisphere, which have larger emissivity during the high state. Our finding supports the recently proposed dynamo model for the long cycle of DPVs proposed by Schleicher & Mennickent. The model predicts an increase of the dynamo number of the donor during epochs of mass transfer in this system, and a theoretical long/orbital period ratio very close to the observed one at the present system age.


title: $E$-solid locally inverse semigroups

abstract: We prove that if $S$ is an $E$-solid locally inverse semigroup, and $\rho$ is an inverse semigroup congruence on $S$ such that the idempotent classes of $\rho$ are completely simple semigroups then $S$ is embeddable into a $\lambda$-semidirect product of a completely simple semigroup by $S/\rho$. Consequently, the $E$-solid locally inverse semigroups turn out to be, up to isomorphism, the regular subsemigroups of $\lambda$-semidirect products of completely simple semigroups by inverse semigroups.


title: When Do Composed Maps Become Entanglement Breaking?

abstract: For many completely positive maps repeated compositions will eventually become entanglement breaking. To quantify this behaviour we develop a technique based on the Schmidt number: If a completely positive map breaks the entanglement with respect to any qubit ancilla, then applying it to part of a bipartite quantum state will result in a Schmidt number bounded away from the maximum possible value. Iterating this result puts a successively decreasing upper bound on the Schmidt number arising in this way from compositions of such a map. By applying this technique to completely positive maps in dimension three that are also completely copositive we prove the so called PPT squared conjecture in this dimension. We then give more examples of completely positive maps where our technique can be applied, e.g.~maps close to the completely depolarizing map, and maps of low rank. Finally, we study the PPT squared conjecture in more detail, establishing equivalent conjectures related to other parts of quantum information theory, and we prove the conjecture for Gaussian quantum channels.

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


title: On the ocean wave attenuation rate in grease-pancake ice, a comparison of viscous layer propagation models with field data

abstract: The ability of viscous layer models to describe the attenuation of waves propagating in grease-pancake ice covered ocean is investigated. In particular, the Keller's model Keller [1998], the two-layer viscous model [De Carolis and Desiderio 2002] and the close-packing model [De Santi and Olla 2017] are extensively validated by using wave attenuation data collected during two different field campaigns (Weddell Sea, Antarctica, April 2000; western Arctic Ocean, autumn 2015). We use these data to validate the three models by minimizing the differences between the measured and model wave attenuation; the retrieved ice thickness is then compared with measured data. The three models allow to fit the observation data, but with important differences in the three cases. The close-packing model shows good agreement with the data for values of the ice viscosity comparable to those of grease ice in laboratory experiments. For thin ice, the Keller's model performance is similar to that of the close-packing model, while for thick ice much larger values of the ice viscosity are required, which reflects the different ability of the two models to take into account the effect of pancakes. The improvement of performance over the Keller's model achieved by the two-layer viscous model is minimal, which reflects the marginal role in the dynamics of a finite eddy viscosity in the ice-free layer. A good ice thickness retrieval can be obtained by considering the ice layer as the only source in the wave dynamics, so that the wind input can be disregarded.


title: Playing against Nature: causal discovery for decision making under uncertainty

abstract: We consider decision problems under uncertainty where the options available to a decision maker and the resulting outcome are related through a causal mechanism which is unknown to the decision maker. We ask how a decision maker can learn about this causal mechanism through sequential decision making as well as using current causal knowledge inside each round in order to make better choices had she not considered causal knowledge and propose a decision making procedure in which an agent holds \textit{beliefs} about her environment which are used to make a choice and are updated using the observed outcome. As proof of concept, we present an implementation of this causal decision making model and apply it in a simple scenario. We show that the model achieves a performance similar to the classic Q-learning while it also acquires a causal model of the environment.


title: Estimation of component reliability from superposed renewal processes with masked cause of failure by means of latent variables

abstract: In a system, there are identical replaceable components working for a given task and a failed component is replaced by a functioning one in the corresponding position, which characterizes a repairable system. Assuming that a replaced component lifetime has the same lifetime distribution as the old one, a single component position can be represented by a renewal process and the multiple components positions for a single system form a superposed renewal process. When the interest consists in estimating the component lifetime distribution, there are a considerable amount of works that deal with estimation methods for this kind of problem. However, the information about the exact position of the replaced component is not available, that is, a masked cause of failure. In this work, we propose two methods, a Bayesian and a maximum likelihood function approaches, for estimating the failure time distribution of components in a repairable system with a masked cause of failure. As our proposed estimators consider latent variables, they yield better performance results compared to commonly used estimators from the literature. The proposed models are generic and straightforward for any probability distribution. Aside from point estimates, interval estimates are presented for both approaches. Using several simulations, the performances of the proposed methods are illustrated and their efficiency and applicability are shown based on the so-called cylinder problem.


title: Reaching Human-level Performance in Automatic Grammatical Error Correction: An Empirical Study

abstract: Neural sequence-to-sequence (seq2seq) approaches have proven to be successful in grammatical error correction (GEC). Based on the seq2seq framework, we propose a novel fluency boost learning and inference mechanism. Fluency boosting learning generates diverse error-corrected sentence pairs during training, enabling the error correction model to learn how to improve a sentence's fluency from more instances, while fluency boosting inference allows the model to correct a sentence incrementally with multiple inference steps. Combining fluency boost learning and inference with convolutional seq2seq models, our approach achieves the state-of-the-art performance: 75.72 (F_{0.5}) on CoNLL-2014 10 annotation dataset and 62.42 (GLEU) on JFLEG test set respectively, becoming the first GEC system that reaches human-level performance (72.58 for CoNLL and 62.37 for JFLEG) on both of the benchmarks.


title: Powerful solar flares in September 2017. Comparison with the largest flares in cycle 24

abstract: Solar flare activity in cycle 24 is studied. Satellite observations of x-ray fluxes from GOES-15 and UV emission lines from the SDO/EVE experiment are used. The most powerful flares of cycle 24 in classes X9.3 and X8.2 in September 2017 are compared with powerful flares in classes M5-X6.9. The times at which the fluxes in the 30.4 and 9.4 nm lines and in the 0.1-0.8 nm x-ray range begin to increase are compared for 21 of the large flares. The total energies arriving at the earth from flares in the 30.4 and 9.4 nm lines and in the 0.1-0.9 nm x-ray range, $E_{30.4}$, $E_{9.4}$, and $E_{0.1-0.8}$, from 25 flares during 2011 and 2012 are calculated. It is shown that the calculated energies of the flares in the analyzed lines from SDO/EVE and in the x-ray range from GOES-15 are closely interrelated.