title: Exploring the Variability of the Flat Spectrum Radio Source 1633+382. II: Physical Properties

abstract: The flat spectrum radio quasar 1633+382 (4C~38.41) showed a significant increase of its radio flux density during the period 2012 March - 2015 August which correlates with gamma-ray flaring activity. Multi-frequency simultaneous VLBI observations were conducted as part of the interferometric monitoring of gamma-ray bright active galactic nuclei (iMOGABA) program and supplemented with additional radio monitoring observations with the OVRO 40m telescope, the Boston University VLBI program, and the Submillimeter Array. The epochs of the maxima for the two largest gamma-ray flares coincide with the ejection of two respective new VLBI components. Analysis of the spectral energy distribution indicates a higher turnover frequency after the flaring events. The evolution of the flare in the turnover frequency - turnover flux density plane probes the adiabatic losses in agreement with the shock-in-jet model. Derived synchrotron self absorption magnetic fields, of the order of 0.1mG, do not seem to dramatically change during the flares, and are much smaller, by a factor $10^4$, than the estimated equipartition magnetic fields, indicating that the source of the flare may be associated with a particle dominated emitting region.


title: Joint Cell Nuclei Detection and Segmentation in Microscopy Images Using 3D Convolutional Networks

abstract: We propose a 3D convolutional neural network to simultaneously segment and detect cell nuclei in confocal microscopy images. Mirroring the co-dependency of these tasks, our proposed model consists of two serial components: the first part computes a segmentation of cell bodies, while the second module identifies the centers of these cells. Our model is trained end-to-end from scratch on a mouse parotid salivary gland stem cell nuclei dataset comprising 107 image stacks from three independent cell preparations, each containing several hundred individual cell nuclei in 3D. In our experiments, we conduct a thorough evaluation of both detection accuracy and segmentation quality, on two different datasets. The results show that the proposed method provides significantly improved detection and segmentation accuracy compared to state-of-the-art and benchmark algorithms. Finally, we use a previously described test-time drop-out strategy to obtain uncertainty estimates on our predictions and validate these estimates by demonstrating that they are strongly correlated with accuracy.


title: Dichotomy Results for Classified Rank-Maximal Matchings and Popular Matchings

abstract: In this paper, we consider the problem of computing an optimal matching in a bipartite graph where elements of one side of the bipartition specify preferences over the other side, and one or both sides can have capacities and classifications. The input instance is a bipartite graph G=(A U P,E), where A is a set of applicants, P is a set of posts, and each applicant ranks its neighbors in an order of preference, possibly involving ties. Moreover, each vertex v in A U P has a quota q(v) denoting the maximum number of partners it can have in any allocation of applicants to posts - referred to as a {\em matching} in this paper. A classification for a vertex u is a collection of subsets of neighbors of u. Each subset (class) has an upper quota denoting the maximum number of vertices from the class that can be matched to u. The goal is to find a matching that is optimal amongst all the feasible matchings, which are matchings that respect quotas of all the vertices and classes. We consider two well-studied notions of optimality namely popularity and rank-maximality. The notion of rank-maximality involves finding a matching in $G$ with maximum number of rank-$1$ edges, subject to that, maximum number of rank-2 edges and so on. We present an O(|E|^2)-time algorithm for finding a feasible rank-maximal matching, when each classification is a laminar family. We complement this with an NP-hardness result when classes are non-laminar even under strict preference lists, and even when only posts have classifications, and each applicant has a quota of one. We show an analogous dichotomy result for computing a popular matching amongst feasible matchings (if one exists) in a bipartite graph with posts having capacities and classifications and applicants having a quota of one.


title: Conditional Entropy as a Supervised Primitive Segmentation Loss Function

abstract: Supervised image segmentation assigns image voxels to a set of labels, as defined by a specific labeling protocol. In this paper, we decompose segmentation into two steps. The first step is what we call "primitive segmentation", where voxels that form sub-parts (primitives) of the various segmentation labels available in the training data, are grouped together. The second step involves computing a protocol-specific label map based on the primitive segmentation. Our core contribution is a novel loss function for the first step, where a primitive segmentation model is trained. The proposed loss function is the entropy of the (protocol-specific) "ground truth" label map conditioned on the primitive segmentation. The conditional entropy loss enables combining training datasets that have been manually labeled with different protocols. Furthermore, as we show empirically, it facilitates an efficient strategy for transfer learning via a lightweight protocol adaptation model that can be trained with little manually labeled data. We apply the proposed approach to the volumetric segmentation of brain MRI scans, where we achieve promising results.


title: Sharp well-posedness and ill-posedness for the 3-D micropolar fluid system in Fourier-Besov spaces

abstract: We study the Cauchy problem of the incompressible micropolar fluid system in $\mathbb{R}^{3}$. In a recent work of the first author and Jihong Zhao \cite{ZhuZ18}, it is proved that the Cauchy problem of the incompressible micropolar fluid system is locally well-posed in the Fourier--Besov spaces $\F^{2-\frac{3}{p}}_{p,r}$ for $1<p\leq\infty$ and $1\leq r<\infty$, and globally well-posed in these spaces with small initial data. In this work we consider the critical case $p=1$. We show that this problem is locally well-posed in $\F^{-1}_{1,r}$ for $1\leq r\leq 2$, and is globally well-posed in these spaces with small initial data. Furthermore, we prove that such problem is ill-posed in $\F^{-1}_{1,r}$ for $2< r\leq \infty$, which implies that the function space $\F^{-1}_{1,2}$ is sharp for well-posedness. In addition, using a similar argument we also prove that this problem is ill-posed in the Besov space $\B^{-1}_{\infty,r}$ with $2<r\leq\infty$.


title: Observational constraints on the jerk parameter with the data of the Hubble parameter

abstract: We study the accelerated expansion phase of the universe by using the {\textit{kinematic approach}}. In particular, the deceleration parameter $q$ is parametrized in a model-independent way. Considering a generalized parametrization for $q$, we first obtain the jerk parameter $j$ (a dimensionless third time derivative of the scale factor) and then confront it with cosmic observations. We use the latest observational dataset of the Hubble parameter $H(z)$ consisting of 41 data points in the redshift range of $0.07 \leq z \leq 2.36$, larger than the redshift range that covered by the Type Ia supernova. We also acquire the current values of the deceleration parameter $q_0$, jerk parameter $j_0$ and transition redshift $z_t$ (at which the expansion of the universe switches from being decelerated to accelerated) with $1\sigma$ errors ($68.3\%$ confidence level). As a result, it is demonstrate that the universe is indeed undergoing an accelerated expansion phase following the decelerated one. This is consistent with the present observations. Moreover, we find the departure for the present model from the standard $\Lambda$CDM model according to the evolution of $j$. Furthermore, the evolution of the normalized Hubble parameter is shown for the present model and it is compared with the dataset of $H(z)$.


title: Tile2Vec: Unsupervised representation learning for spatially distributed data

abstract: Geospatial analysis lacks methods like the word vector representations and pre-trained networks that significantly boost performance across a wide range of natural language and computer vision tasks. To fill this gap, we introduce Tile2Vec, an unsupervised representation learning algorithm that extends the distributional hypothesis from natural language -- words appearing in similar contexts tend to have similar meanings -- to spatially distributed data. We demonstrate empirically that Tile2Vec learns semantically meaningful representations on three datasets. Our learned representations significantly improve performance in downstream classification tasks and, similar to word vectors, visual analogies can be obtained via simple arithmetic in the latent space.


title: Reasoning with Sarcasm by Reading In-between

abstract: Sarcasm is a sophisticated speech act which commonly manifests on social communities such as Twitter and Reddit. The prevalence of sarcasm on the social web is highly disruptive to opinion mining systems due to not only its tendency of polarity flipping but also usage of figurative language. Sarcasm commonly manifests with a contrastive theme either between positive-negative sentiments or between literal-figurative scenarios. In this paper, we revisit the notion of modeling contrast in order to reason with sarcasm. More specifically, we propose an attention-based neural model that looks in-between instead of across, enabling it to explicitly model contrast and incongruity. We conduct extensive experiments on six benchmark datasets from Twitter, Reddit and the Internet Argument Corpus. Our proposed model not only achieves state-of-the-art performance on all datasets but also enjoys improved interpretability.


title: Emission beyond 4 {\mu}m and mid-infrared lasing in a dysprosium-doped indium fluoride (InF3) fiber

abstract: Optical emission from rare-earth-doped fluoride fibers has thus far been limited to less than 4 {\mu}m. We extend emission beyond this limit by employing an indium fluoride (InF3) glass fiber as the host, which exhibits an increased infrared transparency over commonly used zirconium fluoride (ZBLAN). Near-infrared pumping of a dysprosium-doped InF3 fiber results in broad emission centered around 4.3 {\mu}m, representing the longest emission yet achieved from a fluoride fiber. The first laser emission in an InF3 fiber is also demonstrated from the 3 {\mu}m dysprosium transition. Finally, a frequency domain excited state lifetime measurement comparison between fluoride hosts suggests that multiphonon effects are significantly reduced in indium fluoride fiber, paving the way to more efficient, longer wavelength lasers compared to ZBLAN fibers


title: Formal Analysis of Robotic Cell Injection Systems using Theorem Proving

abstract: Cell injection is an approach used for the delivery of small sample substances into a biological cell and is widely used in drug development, gene injection, intracytoplasmic sperm injection (ICSI) and in-virto fertilization (IVF). Robotic cell injection systems provide the automation of the process as opposed to the manual and semi-automated cell injection systems, which require expert operators and involve time consuming processes and also have lower success rates. The automation of the cell injection process is achieved by controlling the injection force and planning the motion of the injection pipette. Traditionally, these systems are analyzed using paper-and-pencil proof and computer simulation methods. However, the former is human-error prone and the later is based on the numerical algorithms, where the approximation of the mathematical expressions introduces inaccuracies in the analysis. Formal methods can overcome these limitations and thus provide an accurate analysis of the cell injection systems. Model checking, i.e., a state-based formal method, has been recently proposed for the analysis of these systems. However, it involves the discretization of the differential equations that are used for modeling the dynamics of the system and thus compromises on the completeness of the analysis of these safety-critical systems. In this paper, we propose to use higher-order-logic theorem proving, a deductive-reasoning based formal method, for the modeling and analysis of the dynamical behaviour of the robotic cell injection systems. The proposed analysis, based on the HOL Light theorem prover, enabled us to identify some discrepancies in the simulation and model checking based analysis of the same robotic cell injection system.


title: On the Conditional Logic of Simulation Models

abstract: We propose analyzing conditional reasoning by appeal to a notion of intervention on a simulation program, formalizing and subsuming a number of approaches to conditional thinking in the recent AI literature. Our main results include a series of axiomatizations, allowing comparison between this framework and existing frameworks (normality-ordering models, causal structural equation models), and a complexity result establishing NP-completeness of the satisfiability problem. Perhaps surprisingly, some of the basic logical principles common to all existing approaches are invalidated in our causal simulation approach. We suggest that this additional flexibility is important in modeling some intuitive examples.


title: Visual Attribute-augmented Three-dimensional Convolutional Neural Network for Enhanced Human Action Recognition

abstract: Visual attributes in individual video frames, such as the presence of characteristic objects and scenes, offer substantial information for action recognition in videos. With individual 2D video frame as input, visual attributes extraction could be achieved effectively and efficiently with more sophisticated convolutional neural network than current 3D CNNs with spatio-temporal filters, thanks to fewer parameters in 2D CNNs. In this paper, the integration of visual attributes (including detection, encoding and classification) into multi-stream 3D CNN is proposed for action recognition in trimmed videos, with the proposed visual Attribute-augmented 3D CNN (A3D) framework. The visual attribute pipeline includes an object detection network, an attributes encoding network and a classification network. Our proposed A3D framework achieves state-of-the-art performance on both the HMDB51 and the UCF101 datasets.


title: Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment

abstract: We propose an algorithm for constructing efficient patrolling strategies in the Internet environment, where the protected targets are nodes connected to the network and the patrollers are software agents capable of detecting/preventing undesirable activities on the nodes. The algorithm is based on a novel compositional principle designed for a special class of strategies, and it can quickly construct (sub)optimal solutions even if the number of targets reaches hundreds of millions.


title: Quantum Hall Effect in a Josephson Junction

abstract: Hybrid superconductor/semiconductor devices constitute a powerful platform where intriguing topological properties can be investigated. Here we present fabrication methods and analysis of Josephson junctions formed by a high-mobility InAs quantum-well bridging two Nb superconducting contacts. We demonstrate supercurrent flow with transport measurements, critical temperature of 8.1 K, and critical fields of the order of 3 T. Modulation of supercurrent amplitude can be achieved by acting on two side gates lithographed close to the two-dimensional electron gas. Low-temperature measurements reveal also well-developed quantum Hall plateaus, showing clean quantization of Hall conductance. Here the side gates can be used to manipulate channel width and electron carrier density in the device. These findings demonstrate the potential of these hybrid devices to investigate the coexistence of superconductivity and Quantum Hall effect and constitute the first step in the development of new device architectures hosting topological states of matter.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el cond-mat.supr-con quant-ph


title: Fields of definition of finite hypergeometric functions

abstract: Finite hypergeometric functions are functions of a finite field ${\bf F}_q$ to ${\bf C}$. They arise as Fourier expansions of certain twisted exponential sums and were introduced independently by John Greene and Nick Katz in the 1980's. They have many properties in common with their analytic counterparts, the hypergeometric functions. One restriction in the definition of finite hypergeometric functions is that the hypergeometric parameters must be rational numbers whose denominators divide $q-1$. In this note we use the symmetry in the hypergeometric parameters and an extension of the exponential sums to circumvent this problem as much as posssible.


title: Recursion formulas of q-Appell functions

abstract: Recently, Opps, Saad and Srivastava gave the recursion formulas of Appell's function F2. The first author of this paper then established the recursion formulas for Appell functions F1, F2, F3 and F4 by the contiguous relations of hypergeometric series. In this paper, the authors will present the recursion formulas for q-Appell functions $\Phi^{(1)}, \Phi^{(2)}, \Phi^{(3)}$ and $\Phi^{(4)}$ as the q-analogies of F1, F2, F3 and F4's relations.


title: Description of neutron-rich odd-mass krypton isotopes within the interacting boson-fermion model based on the Gogny energy density functional

abstract: The low-lying structure of neutron-rich odd-mass Kr isotopes is studied within the interacting boson-fermion model (IBFM) based on the Gogny-D1M energy density functional (EDF). The $(\beta,\gamma)$-deformation energy surfaces, spherical single-particle energies and occupation probabilities of the odd-mass systems are obtained using the constrained Hartree-Fock-Bogoliubov (HFB) approximation. Those quantities are used as a microscopic input to determine most of the parameters of the IBFM Hamiltonian. The remaining parameters are specifically tailored to the experimental spectrum for each of the studied odd-mass nuclei. A gradual structural evolution is predicted for the odd-mass isotopes $^{87-95}$Kr as a function of the nucleon number which, agrees well with the gradual growth of collectivity observed experimentally in the neighboring even-even isotopes.


title: Electronic states and molecular orientation of ITIC film

abstract: ITIC is the milestone of non-fullerene small molecule acceptors used in organic solar cells. We have studied the electronic states and molecular orientation of ITIC film using photoelectron spectroscopy and X-ray absorption spectroscopy. The negative integer charge transfer energy level is determined to be 4.00 plus or minus 0.05 eV below the vacuum level, and the ionization potential is 5.75 plus or minus 0.10 eV. The molecules predominantly adopt the face-on orientation on inert substrates as long as the surfaces of the substrates are not too rough. These results provide physical understanding of the high performance of ITIC-based solar cells, also afford implications to design more advanced photovoltaic small molecules.


title: Online normalizer calculation for softmax

abstract: The Softmax function is ubiquitous in machine learning, multiple previous works suggested faster alternatives for it. In this paper we propose a way to compute classical Softmax with fewer memory accesses and hypothesize that this reduction in memory accesses should improve Softmax performance on actual hardware. The benchmarks confirm this hypothesis: Softmax accelerates by up to 1.3x and Softmax+TopK combined and fused by up to 5x.


title: Statistical Dimension Identification and Implementation for Student Progression System

abstract: Descriptive Analytics is the summarization of the past data and generates some useful patterns from that data. This work focuses on analyzing and querying large academic dataset for generating Student Progression using visualization and dashboards. Presently projects on Progression Systems exist but no descriptive or predictive analytics has been performed on these datasets. The proposed system collects data from different departments of University store data into the large data warehouse of the University and generate validated set of KPIs, based on the past dataset of University department. These KPIs are obtained after applying Statistical techniques on various sets of dimension in the academic datasets. After completion of this step, analysis of the data has been achieved with Online Analytical Processing (OLAP) operations, which have been show cased with the help of visualization and dashboards.


title: On Aerts' overlooked solution to the EPR paradox

abstract: The Einstein-Podolsky-Rosen (EPR) paradox was enunciated in 1935 and since then it has made a lot of ink flow. Being a subtle result, it has also been largely misunderstood. Indeed, if questioned about its solution, many physicists will still affirm today that the paradox has been solved by the Bell-test experimental results, which have shown that entangled states are real. However, this remains a wrong view, as the validity of the EPR ex-absurdum reasoning is independent from the Bell-test experiments, and the possible structural shortcomings it evidenced cannot be eliminated. These were correctly identified by the Belgian physicist Diederik Aerts, in the eighties of last century, and are about the inability of the quantum formalism to describe separate physical systems. The purpose of the present article is to bring Aerts' overlooked result to the attention again of the physics' community, explaining its content and implications.


title: A Decline in the X-ray through Radio Emission from GW170817 Continues to Support an Off-Axis Structured Jet

abstract: We present new observations of the binary neutron star merger GW170817 at $\Delta t\approx 220-290$ days post-merger, at radio (Karl G. Jansky Very Large Array; VLA), X-ray (Chandra X-ray Observatory) and optical (Hubble Space Telescope; HST) wavelengths. These observations provide the first evidence for a turnover in the X-ray light curve, mirroring a decline in the radio emission at $\gtrsim5\sigma$ significance. The radio-to-X-ray spectral energy distribution exhibits no evolution into the declining phase. Our full multi-wavelength dataset is consistent with the predicted behavior of our previously published models of a successful structured jet expanding into a low-density circumbinary medium, but pure cocoon models with a choked jet cannot be ruled out. If future observations continue to track our predictions, we expect that the radio and X-ray emission will remain detectable until $\sim 1000$ days post-merger.


title: Self--averaging of random quantum dynamics

abstract: Stochastic dynamics of a quantum system driven by $N$ statistically independent random sudden quenches in a fixed time interval is studied. We reveal that with growing $N$ the system approaches a deterministic limit indicating self-averaging with respect to its temporal unitary evolution. This phenomenon is quantified by the variance of the unitary matrix governing the time evolution of a finite dimensional quantum system which according to an asymptotic analysis decreases at least as $1/N$. For a special class of protocols (when the averaged Hamiltonian commutes at different times), we prove that for finite $N$ the distance (according to the Frobenius norm) between the averaged unitary evolution operator generated by the Hamiltonian $H$ and the unitary evolution operator generated by the averaged Hamiltonian $\langle H \rangle$ scales as $1/N$. Numerical simulations enlarge this result to a broader class of the non-commuting protocols.


title: Quasianalytic n-tuples of Hilbert space operators

abstract: In this paper a systematic study of unitary asymptotes of commuting $n$-tuples of general Hilbert space operators is initiated. Special emphasis is put on the study of the quasianalicity property.


title: The analytic integrability problem for perturbations of homogeneous quadratic Lotka-Volterra systems

abstract: We solve the analytic integrability problem for diferential systems in the plane whose origin is an isolated singularity and the first homogeneous component is a quadratic Lotka-Volterra type. As an application, we give the analytically integrable systems of a class of systems $\dot{x}= x(P1+P2)$; $\dot{y}= y(Q1+Q2)$; being Pi,Qi homogeneous polynomials of degree i.


title: Finding Frequent Entities in Continuous Data

abstract: In many applications that involve processing high-dimensional data, it is important to identify a small set of entities that account for a significant fraction of detections. Rather than formalize this as a clustering problem, in which all detections must be grouped into hard or soft categories, we formalize it as an instance of the frequent items or heavy hitters problem, which finds groups of tightly clustered objects that have a high density in the feature space. We show that the heavy hitters formulation generates solutions that are more accurate and effective than the clustering formulation. In addition, we present a novel online algorithm for heavy hitters, called HAC, which addresses problems in continuous space, and demonstrate its effectiveness on real video and household domains.


title: Expansion of a radially symmetric blast shell into a uniformly magnetized plasma

abstract: The expansion of a thermal pressure-driven radial blast shell into a dilute ambient plasma is examined with two-dimensional PIC simulations. The purpose is to determine if laminar shocks form in a collisionless plasma that resemble their magnetohydrodynamic counterparts. The ambient plasma is composed of electrons with the temperature 2 keV and cool fully ionized nitrogen ions. It is permeated by a spatially uniform magnetic field. A forward shock forms between the shocked ambient medium and the pristine ambient medium, which changes from an ion acoustic one through a slow magnetosonic one to a fast magnetosonic shock with increasing shock propagation angles relative to the magnetic field. The slow magnetosonic shock that propagates obliquely to the magnetic field changes into a tangential discontinuity for a perpendicular propagation direction, which is in line with the magnetohydrodynamic model. The expulsion of the magnetic field by the expanding blast shell triggers an electron-cyclotron drift instability.


title: The same $n$-type structure of the suspension of the wedge products of the Eilenberg-MacLane spaces

abstract: For a connected CW-complex, we let $SNT(X)$ be the set of all homotopy types $[Y]$ such that the Postnikov approximations $X^{(n)}$ and $Y^{(n)}$ of $X$ and $Y$, respectively, are homotopy equivalent for all positive integers $n$. In 1992, McGibbon and M{\o}ller (\cite[page 287]{MM}) raised the following question: Is $SNT(\Sigma \mathbb C P^\infty) = *$ or not? In this article, we give an answer to the more generalized version of this query: The set of all the same $n$-types of the suspended wedge sum of the Eilenberg-MacLane spaces of various types of both even and odd integers is the set which consists of only one element as a single homotopy type of itself.


title: Low-Latency Human Action Recognition with Weighted Multi-Region Convolutional Neural Network

abstract: Spatio-temporal contexts are crucial in understanding human actions in videos. Recent state-of-the-art Convolutional Neural Network (ConvNet) based action recognition systems frequently involve 3D spatio-temporal ConvNet filters, chunking videos into fixed length clips and Long Short Term Memory (LSTM) networks. Such architectures are designed to take advantage of both short term and long term temporal contexts, but also requires the accumulation of a predefined number of video frames (e.g., to construct video clips for 3D ConvNet filters, to generate enough inputs for LSTMs). For applications that require low-latency online predictions of fast-changing action scenes, a new action recognition system is proposed in this paper. Termed "Weighted Multi-Region Convolutional Neural Network" (WMR ConvNet), the proposed system is LSTM-free, and is based on 2D ConvNet that does not require the accumulation of video frames for 3D ConvNet filtering. Unlike early 2D ConvNets that are based purely on RGB frames and optical flow frames, the WMR ConvNet is designed to simultaneously capture multiple spatial and short term temporal cues (e.g., human poses, occurrences of objects in the background) with both the primary region (foreground) and secondary regions (mostly background). On both the UCF101 and HMDB51 datasets, the proposed WMR ConvNet achieves the state-of-the-art performance among competing low-latency algorithms. Furthermore, WMR ConvNet even outperforms the 3D ConvNet based C3D algorithm that requires video frame accumulation. In an ablation study with the optical flow ConvNet stream removed, the ablated WMR ConvNet nevertheless outperforms competing algorithms.


title: Single parameter model of marriage divorce dynamics with countries classification

abstract: We investigate a marriage divorces problem via agent - based modeling. Current value of socio-economic pressure p (main model parameter) drives the dynamic of first marriage, remarriage or spontaneously marriage breaks up. Model reflects the behavior of the heterosexual population (frequency of changing partners, the ratio of singles in society). Theoretical agent-based simulation (with population approaches, e. g. births and deaths) are supplemented by historical values of divorces marriages in various countries of the world from United Nation Registry and World Value Survey. In the model, agents have a list of their attributes and preference of a potential partner with Manhattan distance measure applied as a matching function. In the deterministic part of the model randomly selected agents could entry into a new relationship, or exchange partners, with respect to the matching distance and pressure parameter. Spouses could also spontaneously fall apart with a pressure depended probability. This simple model, although it assumes homogeneity of agents (on bipartite graph), and has only one key parameter, gives estimate of the socio-economic pressure values for different societies at given time point, knowing the frequency of changing partners, the percentage of married in society.

categories: physics.soc-ph cs.MA math.DS physics.data-an


title: A Characterization of Completely Reachable Automata

abstract: A complete deterministic finite automaton in which every non-empty subset of the state set occurs as the image of the whole state set under the action of a suitable input word is called completely reachable. We characterize completely reachable automata in terms of certain directed graphs.


title: Helium abundance and speed difference between helium ions and protons in the solar wind from coronal holes, active regions, and quiet Sun

abstract: Two main models have been developed to explain the mechanisms of release, heating and acceleration of the nascent solar wind, the wave-turbulence-driven (WTD) models and reconnection-loop-opening (RLO) models, in which the plasma release processes are fundamentally different. Given that the statistical observational properties of helium ions produced in magnetically diverse solar regions could provide valuable information for the solar wind modelling, we examine the statistical properties of the helium abundance (A_He) and the speed difference between helium ions and protons (v_alpha,p) for coronal holes (CHs), active regions (ARs) and the quiet Sun (QS). We find bimodal distributions in the space of A_He and v_alpha,p/v_A (where v_A is the local Alfven speed)for the solar wind as a whole. The CH wind measurements are concentrated at higher A_He and v_alpha,p/v_A values with a smaller A_He distribution range, while the AR and QS wind is associated with lower A_He and v_alpha,p/v_A, and a larger A_He distribution range. The magnetic diversity of the source regions and the physical processes related to it are possibly responsible for the different properties of A_He and v_alpha,p/v_A. The statistical results suggest that the two solar wind generation mechanisms, WTD and RLO, work in parallel in all solar wind source regions. In CH regions WTD plays a major role, whereas the RLO mechanism is more important in AR and QS.


title: Colloidal electro-phoresis in the presence of symmetric and asymmetric electro-osmotic flow

abstract: We characterize the electro-phoretic motion of charged sphere suspensions in the presence of substantial electro-osmotic flow using a recently introduced small angle super-heterodyne dynamic light scattering instrument (ISASH-LDV). Operation in integral mode gives access to the particle velocity distribution over the complete cell cross-section. Obtained Doppler spectra are evaluated for electro-phoretic mobility, wall electro-osmotic mobility and particle diffusion coefficient. Simultaneous measurements of differing electro-osmotic mobilities leading to asymmetric solvent flow are demonstrated in a custom made electro-kinetic cell fitting standard microscopy slides as exchangeable sidewalls. Scope and range of our approach are discussed demonstrating the possibility of an internal calibration standard and using the simultaneously measured electro-kinetic mobilities in the interpretation of microfluidic pumping experiment involving an inhomogeneous electric field and a complex solvent flow pattern.


title: Discovery of recombining plasma from the faintest GeV SNR HB 21 and a possible scenario of the cosmic ray escaping from SNR shocks

abstract: We present an X-ray study of the GeV gamma-ray supernova remnant (SNR) HB 21 with Suzaku. HB 21 is interacting with molecular clouds and the faintest in the GeV band among known GeV SNRs. We discovered strong radiative recombination continua of Si and S from the center of the remnant, which provide the direct evidence of a recombining plasma (RP). The total emission can be explained with the RP and ionizing plasma components. The electron temperature and recombination timescale of the RP component were estimated as 0.17 (0.15-0.18) keV and 3.2 (2.0-4.8) $\times$ 10$^{11}$ s cm$^{-3}$, respectively. The estimated age of the RP (RP age; $\sim$ 170 kyr) is the longest among known recombining GeV SNRs, because of very low density of electrons ($\sim$ 0.05 cm$^{-3}$). We have examined dependencies of GeV spectral indices on each of RP ages and SNR diameters for nine recombining GeV SNRs. Both showed possible positive correlations, indicating that both the parameters can be good indicators of properties of accelerated protons, for instance, degree of escape from the SNR shocks. A possible scenario for a process of proton escape is introduced; interaction with molecular clouds makes weaker magnetic turbulence and cosmic-ray protons escape, simultaneously cooling down the thermal electrons and generate an RP.


title: Surface Critical Phenomena of a Free Bose Gas with Enhanced Hopping at the Surface

abstract: We study the Bose--Einstein condensation in a tight-binding model with a hopping rate enhanced only on a surface. We show that this model exhibits two different critical phenomena depending on whether the hopping rate on the surface $t_s$ exceeds the critical value $5t/4$, where $t$ is the hopping rate in the bulk. For $t_s/t<5/4$, normal Bose--Einstein condensation occurs, while the Bose--Einstein condensation for $t_s/t\geq5/4$ is characterized by the spatial localization of the macroscopic number of particles at the surface. By exactly calculating the surface free energy, we show that for $t_s/t<5/4$, the singularity of the surface free energy stems from diverging the correlation length in the bulk, while for $t_s/t\geq5/4$, it is induced by the coupling effects between the bulk and surface.


title: Quantum Coherent Absorption of Squeezed Light

abstract: We investigate coherent perfect absorption (CPA) in quantum optics, in particular when pairs of squeezed coherent states of light are superposed on an absorbing beam splitter. First, by employing quantum optical input-output relations, we derive the absorption coefficients for quantum coherence and for intensity, and reveal how these will differ for squeezed states. Secondly, we present the remarkable properties of a CPA-gate: two identical but otherwise arbitrary incoming squeezed coherent states can be completely stripped off their coherence, producing a pure entangled squeezed vacuum state that with its finite intensity escapes from an otherwise perfect absorber. Importantly, this output state of light is not entangled with the absorbing beam splitter by which it was produced. Its loss-enabled functionality makes the CPA gate an interesting new tool for continuous-variable quantum state preparation.


title: Pretzel links, mutation, and the slice-ribbon conjecture

abstract: Let p and q be distinct integers greater than one. We show that the 2-component pretzel link P(p,q,-p,-q) is not slice, even though it has a ribbon mutant, by using 3-fold branched covers and an obstruction based on Donaldson's diagonalization theorem. As a consequence, we prove the slice-ribbon conjecture for 4-stranded 2-component pretzel links.


title: Affirmative Solutions On Local Antimagic Chromatic Number

abstract: An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $\chi_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we give counterexamples to the lower bound of $\chi_{la}(G \vee O_2)$ that was obtained in [Local antimagic vertex coloring of a graph, Graphs and Combin., 33 : 275 - 285 (2017)]. A sharp lower bound of $\chi_{la}(G\vee O_n)$ and sufficient conditions for the given lower bound to be attained are obtained. Moreover, we settled Theorem 2.15 and solved Problem 3.3 in the affirmative. We also completely determined the local antimagic chromatic number of complete bipartite graphs.


title: Optimizing active work: Dynamical phase transitions, collective motion, and jamming

abstract: Active work measures how far the local self-forcing of active particles translates into real motion. Using Population Monte Carlo methods, we investigate large deviations in the active work for repulsive active Brownian disks. Minimizing the active work generically results in dynamical arrest; in contrast, despite the lack of aligning interactions, trajectories of high active work correspond to a collectively moving, aligned state. We use heuristic and analytic arguments to explain the origin of dynamical phase transitions separating the arrested, typical, and aligned regimes.


title: Vacuum friction of uniformly accelerated detector

abstract: The analysis of uniformly longitudinally extended detector is performed and it is shown that the response of such a detector does not differ from the response of the Unruh detector, but the its excitation is caused not by the thermal bath, but by interaction with the fluctuations of the quantum field by virtual quanta.


title: A note on the domain mapping method with rough diffusion coefficients

abstract: In this article, we consider elliptic diffusion problems on random domains with non-smooth diffusion coefficients. We start by illustrating the problems that arise from a non-smooth diffusion coefficient by recapitulating the corresponding regularity analysis. Then, we propose an alternative approach to address this problem by means of a perturbation method. Based on the assumption that the diffusion coefficient can be decomposed in a possibly deterministic, analytic part and a rough random perturbation, we derive approximation results in terms of the perturbations amplitude for the approximation of quantities of interest of the solution. Numerical examples are given in order to validate and quantify the theoretical results.


title: Corrigendum to "Regularity structures and renormalisation of FitzHugh-Nagumo SPDEs in three space dimensions"

abstract: Lemma 4.8 in the article [Regularity structures and renormalisation of FitzHugh-Nagumo SPDEs in three space dimensions, Electronic J. Probability 21 (18):1-48 (2016), arXiv:1504.02953] contains a mistake, which implies a weaker regularity estimate than the one stated in Proposition 4.11. This does not affect the proof of Theorem 2.1, but Theorems 2.2 and 2.3 only follow from the given proof if either the space dimension $d$ is equal to $2$, or the nonlinearity $F(U,V)$ is linear in $V$. To fix this problem and provide a proof of Theorems 2.2 and 2.3 valid in full generality, we consider an alternative formulation of the fixed-point problem, involving a modified integration operator with nonlocal singularity and a slightly different regularity structure. We provide the multilevel Schauder estimates and renormalisation-group analysis required for the fixed-point argument in this new setting.


title: Note on Schramm-Loewner evolution for superconformal algebras

abstract: We propose variants of Schramm-Loewner evolution (SLE) that are related to superconformal algebras following the group theoretical formulation of SLE, in which the relevant stochastic differential equation is derived from a random process on an infinite dimensional Lie group. In this paper, we consider random processes on certain kind of groups of superconformal transformations generated by exponentiated elements of the Grassmann envelop of superconformal algebras. We also provide a prescription of obtaining local martingales from a representation of the superconformal algebra after integration by Grassmann variables.

categories: math-ph cond-mat.stat-mech math.MP math.PR math.QA math.RT


title: High precision pulsar timing and spin frequency second derivatives

abstract: We investigate the impact of intrinsic, kinematic and gravitational effects on high precision pulsar timing. We present an analytical derivation and a numerical computation of the impact of these effects on the first and second derivative of the pulsar spin frequency. In addition, in the presence of white noise, we derive an expression to determine the expected measurement uncertainty of a second derivative of the spin frequency for a given timing precision, observing cadence and timing baseline and find that it strongly depends on the latter ($\propto t^{-7/2}$). We show that for pulsars with significant proper motion, the spin frequency second derivative is dominated by a term dependent on the radial velocity of the pulsar. Considering the data sets from three Pulsar Timing Arrays, we find that for PSR J0437$-$4715 a detectable spin frequency second derivative will be present if the absolute value of the radial velocity exceeds 33 km s$^{-1}$. Similarly, at the current timing precision and cadence, continued timing observations of PSR J1909$-$3744 for about another eleven years, will allow the measurement of its frequency second derivative and determine the radial velocity with an accuracy better than 14 km s$^{-1}$. With the ever increasing timing precision and observing baselines, the impact of the, largely unknown, radial velocities of pulsars on high precision pulsar timing can not be neglected.


title: Movie rating prediction using content-based and link stream features

abstract: While graph-based collaborative filtering recommender systems have been introduced several years ago, there are still several shortcomings to deal with, the temporal information being one of the most important. The new link stream paradigm is aiming at extending graphs for correctly modelling the graph dynamics, without losing crucial information. We investigate the impact of such link stream features for recommender systems. by designing link stream features, that capture the intrinsic structure and dynamics of the data. We show that such features encode a fine-grained and subtle description of the underlying recommender system. Focusing on a traditional recommender system context, the rating prediction on the MovieLens20M dataset, we input these features along with some content-based ones into a gradient boosting machine (XGBoost) and show that it outperforms significantly a sole content-based solution. These encouraging results call for further exploration of this original modelling and its integration to complete state-of-the-art recommender systems algorithms. Link streams and graphs, as natural visualizations of recommender systems, can offer more interpretability in a time when algorithm transparency is an increasingly important topic of discussion. We also hope to sparkle interesting discussions in the community about the links between link streams and tensor factorization methods: indeed, they are two sides of the same object.


title: Fluctuations of the flux of energy on the apparent horizon

abstract: Adopting the Landau-Lifshiftz method of classical fluctuations we determine the statistical average strength of the fluctuations of the energy flux on the apparent horizon of a homogeneous and isotropic universe described by Einstein gravity. We find that the fluctuations increase with the temperature of the horizon and decrease with its area, in accordance with the features of systems where gravity can be neglected. %is absent. We further find, on the one hand, that the fluctuations vanish in the cosmological constant dominated de Sitter expansion, and, on the other hand, that the domination of phantom fields is excluded. The reasonableness of the results we have obtained lend support to the view that the universe behaves as a normal thermodynamic system.


title: Driving maneuvers prediction based on cognition-driven and data-driven method

abstract: Advanced Driver Assistance Systems (ADAS) improve driving safety significantly. They alert drivers from unsafe traffic conditions when a dangerous maneuver appears. Traditional methods to predict driving maneuvers are mostly based on data-driven models alone. However, existing methods to understand the driver's intention remain an ongoing challenge due to a lack of intersection of human cognition and data analysis. To overcome this challenge, we propose a novel method that combines both the cognition-driven model and the data-driven model. We introduce a model named Cognitive Fusion-RNN (CF-RNN) which fuses the data inside the vehicle and the data outside the vehicle in a cognitive way. The CF-RNN model consists of two Long Short-Term Memory (LSTM) branches regulated by human reaction time. Experiments on the Brain4Cars benchmark dataset demonstrate that the proposed method outperforms previous methods and achieves state-of-the-art performance.


title: Survey and cross-benchmark comparison of remaining time prediction methods in business process monitoring

abstract: Predictive business process monitoring methods exploit historical process execution logs to generate predictions about running instances (called cases) of a business process, such as the prediction of the outcome, next activity or remaining cycle time of a given process case. These insights could be used to support operational managers in taking remedial actions as business processes unfold, e.g. shifting resources from one case onto another to ensure this latter is completed on time. A number of methods to tackle the remaining cycle time prediction problem have been proposed in the literature. However, due to differences in their experimental setup, choice of datasets, evaluation measures and baselines, the relative merits of each method remain unclear. This article presents a systematic literature review and taxonomy of methods for remaining time prediction in the context of business processes, as well as a cross-benchmark comparison of 16 such methods based on 16 real-life datasets originating from different industry domains.


title: Norm of Bethe-wave functions in the continuum limit

abstract: The 6-vertex model with appropriately chosen alternating inhomogeneities gives the so-called light-cone lattice regularization of the sine-Gordon (Massive-Thirring) model. In this integrable lattice model we consider pure hole states above the antiferromagnetic vacuum and express the norm of Bethe-wave functions in terms of the hole's positions and the counting-function of the state under consideration. In the light-cone regularized picture pure hole states correspond to pure soliton (fermion) states of the sine-Gordon (massive Thirring) model. Hence, we analyze the continuum limit of our new formula for the norm of the Bethe-wave functions. We show, that the physically most relevant determinant part of our formula can be expanded in the large volume limit and turns out to be proportional to the Gaudin-determinant of pure soliton states in the sine-Gordon model defined in finite volume.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Simulation Study on Local Influence Diagnosis for Poisson Mixed-Effect Linear Model

abstract: Given that hierarchical count data in many fields are not Normally-distributed and include random effects, this paper extends the Generalized Linear Mixed Models (GLMMs) into Poisson Mixed-Effect Linear Model (PMELM) and do numerical simulation experiments to verify the approach proposed by Rakhmawati et al. (2016) in detecting outliers. This paper produces random data based on epilepsy longitudinal data in Thall and Vail (1990), use six ways to contaminate it and try to use code mentioned in supplementary materials in previous research to detect the man-made outlier. Output shows that this method is effective sometimes but does not always work, this is probably because of the limitation of coding or some other reasons. Even though the data set and local influence method has been researched and analyzed extensively in previous papers, this paper makes contributions in data visualization. Figures in this paper show the effect of each influencial component, which are clearer than the original output in R and SAS.


title: An Improved Statistic for the Pooled Triangle Test against PRNU-Copy Attack

abstract: We propose a new statistic to improve the pooled version of the triangle test used to combat the fingerprint-copy counter-forensic attack against PRNU-based camera identification [1]. As opposed to the original version of the test, the new statistic exploits the one-tail nature of the test, weighting differently positive and negative deviations from the expected value of the correlation between the image under analysis and the candidate images, i.e., those image suspected to have been used during the attack. The experimental results confirm the superior performance of the new test, especially when the conditions of the test are challenging ones, that is when the number of images used for the fingerprint-copy attack is large and the size of the image under test is small.


title: QUICK: QoS-guaranteed Efficient Cloudlet Placement in Wireless Metropolitan Area Networks

abstract: This article defines the QoS-guaranteed efficient cloudlet deploy problem in wireless metropolitan area network, which aims to minimize the average access delay of mobile users i.e. the average delay when service requests are successfully sent and being served by cloudlets. Meanwhile, we try to optimize total deploy cost represented by the total number of deployed cloudlets. For the first target, both un-designated capacity and constrained capacity cases are studied, and we have designed efficient heuristic and clustering algorithms respectively. We show our algorithms are more efficient than the existing algorithm. For the second target, we formulate an integer linear programming to minimize the number of used cloudlets with given average access delay requirement. A clustering algorithm is devised to guarantee the scalability. For a special case of the deploy cost optimization problem where all cloudlets' computing capabilities have been given, i.e., designated capacity, a minimal cloudlets efficient heuristic algorithm is further proposed. We finally evaluate the performance of proposed algorithms through extensive experimental simulations. Simulation results demonstrate the proposed algorithms are more than 46% efficient than existing algorithms on the average cloudlet access delay. Compared with existing algorithms, our proposed clustering and heuristic algorithms can reduce the number of deployed cloudlets by about 50% averagely.


title: Image Ordinal Classification and Understanding: Grid Dropout with Masking Label

abstract: Image ordinal classification refers to predicting a discrete target value which carries ordering correlation among image categories. The limited size of labeled ordinal data renders modern deep learning approaches easy to overfit. To tackle this issue, neuron dropout and data augmentation were proposed which, however, still suffer from over-parameterization and breaking spatial structure, respectively. To address the issues, we first propose a grid dropout method that randomly dropout/blackout some areas of the raining image. Then we combine the objective of predicting the blackout patches with classification to take advantage of the spatial information. Finally we demonstrate the effectiveness of both approaches by visualizing the Class Activation Map (CAM) and discover that grid dropout is more aware of the whole facial areas and more robust than neuron dropout for small training dataset. Experiments are conducted on a challenging age estimation dataset - Adience dataset with very competitive results compared with state-of-the-art methods.


title: Reliability-Based Windowed Decoding for Spatially-Coupled LDPC Codes

abstract: In this letter, we propose a reliability-based windowed decoding scheme for spatially-coupled (SC) low-density parity-check (LDPC) codes. To mitigate the error propagation along the sliding windowed decoder of the SC LDPC codes, a partial message reservation (PMR) method is proposed where only the reliable messages generated in the previous decoding window are reserved for the next decoding window. We also propose a partial syndrome check (PSC) stopping rule for each decoding window, in which only the complete VNs are checked. Simulation results show that our proposed scheme significantly improves the error floor performance compared to the sliding windowed decoder with the conventional weighted bit-flipping (WBF) algorithm.


title: Doing good vs. avoiding bad in prosocial choice: A refined test and extension of the morality preference hypothesis

abstract: Prosociality is fundamental to human social life, and, accordingly, much research has attempted to explain human prosocial behavior. Capraro and Rand (Judgment and Decision Making, 13, 99-111, 2018) recently provided experimental evidence that prosociality in anonymous, one-shot interactions (such as Prisoner's Dilemma and Dictator Game experiments) is not driven by outcome-based social preferences - as classically assumed - but by a generalized morality preference for "doing the right thing". Here we argue that the key experiments reported in Capraro and Rand (2018) comprise prominent methodological confounds and open questions that bear on influential psychological theory. Specifically, their design confounds: (i) preferences for efficiency with self-interest; and (ii) preferences for action with preferences for morality. Furthermore, their design fails to dissociate the preference to do "good" from the preference to avoid doing "bad". We thus designed and conducted a preregistered, refined and extended test of the morality preference hypothesis (N=801). Consistent with this hypothesis, our findings indicate that prosociality in the anonymous, one-shot Dictator Game is driven by preferences for doing the morally right thing. Inconsistent with influential psychological theory, however, our results suggest the preference to do "good" was as potent as the preference to avoid doing "bad" in this case.


title: Magnetic properties, chemical and phase composition of thin manganese silicide films fabricated by pulsed laser deposition

abstract: Manganese silicide (MnxSiy) thin films with Mn content (CMn) varied from 24 at. % to 52 at. % were grown on i-GaAs (100) substrates. Chemical, phase composition and room temperature magnetic properties of the films were investigated. It was demonstrated that manganese silicide films revealing ferromagnetic properties are multiphase systems. The phases, which are believed to be non-magnetic at room temperature, are compounds with Mn concentration exceeding the average Mn content of the film (higher manganese silicide, MnSi and Mn5Si3). Magnetic properties revealed are attributed with the secondary phases which are Mn doped silicon (Mn:Si) or Mn depleted compounds. For nearly single phase films (with very small 2-nd phase ratio) no room temperature ferromagnetism was observed.


title: Almost $C_p$ Galois representations and vector bundles

abstract: Let $K$ be a finite extension of $\mathbb{Q}_p$ and $G_K$ the absolute Galois group. Then $G_K$ acts on the fundamental curve $X$ of $p$-adic Hodge theory and we may consider the abelian category $\mathcal{M}(G_K)$ of coherent $\mathcal{O}_X$-modules equipped with a continuous and semi-linear action of $G_K$. An almost $C_p$-representation of $G_K$ is a $p$-adic Banach space $V$ equipped with a linear and continuous action of $G_K$ such that there exists $d\in\mathbb{N}$, two $G_K$-stable finite dimensional sub-$\mathbb{Q}_p$-vector spaces $U_+$ of $V$, $U_-$ of $C_p^d$, and a $G_K$-equivariant isomorphism $V/U_+\to C_p^d/U_-$. These representations form an abelian category $\mathcal{C}(G_K)$. The main purpose of this paper is to prove that $\mathcal{C}(G_K)$ can be recovered from $\mathcal{M}(G_K)$ by a simple construction (and conversely) inducing, in particular, an equivalence of triangulated categories $D^b(\mathcal{M}(G_K))\to D^b(\mathcal{C}(G_K))$.


title: Controlled diffeomorphic extension of homeomorphisms

abstract: Let $\Omega$ be an internal chord-arc Jordan domain and $\varphi:\mathbb S\rightarrow\partial\Omega$ be a homeomorphism. We show that $\varphi$ has finite dyadic energy if and only if $\varphi$ has a diffeomorphic extension $h: \mathbb D\rightarrow \Omega$ which has finite energy.


title: Speed-of-light pulses in a nonlinear Weyl equation

abstract: We introduce a prototypical nonlinear Weyl equation, motivated by recent developments in massless Dirac fermions, topological semimetals and photonics. We study the dynamics of its pulse solutions and find that a localized one-hump initial condition splits into a localized two-hump pulse, while an associated phase structure emerges in suitable components of the spinor field. For times larger than a transient time $t_s$ this pulse moves with the speed of light (or Fermi velocity in Weyl semimetals), effectively featuring linear wave dynamics and maintaining its shape (both in two and three dimensions). We show that for the considered nonlinearity, this pulse represents an exact solution of the nonlinear Weyl (NLW) equation. Finally, we comment on the generalization of the results to a broader class of nonlinearities and on their emerging potential for observation in different areas of application.


title: Profitable Bandits

abstract: Originally motivated by default risk management applications, this paper investigates a novel problem, referred to as the profitable bandit problem here. At each step, an agent chooses a subset of the K possible actions. For each action chosen, she then receives the sum of a random number of rewards. Her objective is to maximize her cumulated earnings. We adapt and study three well-known strategies in this purpose, that were proved to be most efficient in other settings: kl-UCB, Bayes-UCB and Thompson Sampling. For each of them, we prove a finite time regret bound which, together with a lower bound we obtain as well, establishes asymptotic optimality. Our goal is also to compare these three strategies from a theoretical and empirical perspective both at the same time. We give simple, self-contained proofs that emphasize their similarities, as well as their differences. While both Bayesian strategies are automatically adapted to the geometry of information, the numerical experiments carried out show a slight advantage for Thompson Sampling in practice.


title: Analysis of the optimal exercise boundary of American put options with delivery lags

abstract: A make-your-mind-up option is an American derivative with delivery lags. We show that its put option can be decomposed as a European put and a new type of American-style derivative. The latter is an option for which the investor receives the Greek Theta of the corresponding European option as the running payoff, and decides an optimal stopping time to terminate the contract. Based on this decomposition and using free boundary techniques, we show that the associated optimal exercise boundary exists and is a strictly increasing and smooth curve, and analyze the asymptotic behavior of the value function and the optimal exercise boundary for both large maturity and small time lag.


title: Integrability of the Basener-Ross model with time-dependent coefficients

abstract: The Basener-Ross system is a known model in Population Dynamics for the interaction of consumers and resources in an isolated habitat. For an extended version with time-dependent coefficients as a model of possible variations of the environtmental conditions, some relations among the coefficients are provided leading to the integrability of the system.


title: Sets of Arithmetical Invariants in Transfer Krull Monoids

abstract: Transfer Krull monoids are a recent concept including all commutative Krull domains and also, for example, wide classes of non-commutative Dedekind domains. We show that transfer Krull monoids are fully elastic (i.e., every rational number between $1$ and the elasticity of the monoid can be realized as the elasticity of an element). In commutative Krull monoids which have sufficiently many prime divisors in all classes of their class group, the set of catenary degrees and the set of tame degrees are intervals. Without the assumption on the distribution of prime divisors, arbitrary finite sets can be realized as sets of catenary degrees and as sets of tame degrees.


title: The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case

abstract: The classical view of epistemic logic is that an agent knows all the logical consequences of their knowledge base. This assumption of logical omniscience is often unrealistic and makes reasoning computationally intractable. One approach to avoid logical omniscience is to limit reasoning to a certain belief level, which intuitively measures the reasoning "depth." This paper investigates the computational complexity of reasoning with belief levels. First we show that while reasoning remains tractable if the level is constant, the complexity jumps to PSPACE-complete -- that is, beyond classical reasoning -- when the belief level is part of the input. Then we further refine the picture using parameterized complexity theory to investigate how the belief level and the number of non-logical symbols affect the complexity.


title: Level curves of rational functions and unimodular points on rational curves

abstract: We obtain an improvement and broad generalisation of a result of N. Ailon and Z. Rudnick (2004) on common zeros of shifted powers of polynomials. Our approach is based on reducing this question to a more general question of counting intersections of level curves of complex functions. We treat this question via classical tools of complex analysis and algebraic geometry.


title: One "Ruler" for All Languages: Multi-Lingual Dialogue Evaluation with Adversarial Multi-Task Learning

abstract: Automatic evaluating the performance of Open-domain dialogue system is a challenging problem. Recent work in neural network-based metrics has shown promising opportunities for automatic dialogue evaluation. However, existing methods mainly focus on monolingual evaluation, in which the trained metric is not flexible enough to transfer across different languages. To address this issue, we propose an adversarial multi-task neural metric (ADVMT) for multi-lingual dialogue evaluation, with shared feature extraction across languages. We evaluate the proposed model in two different languages. Experiments show that the adversarial multi-task neural metric achieves a high correlation with human annotation, which yields better performance than monolingual ones and various existing metrics.


title: Bound state solutions for the supercritical fractional Schr\"odinger equation

abstract: We prove the existence of positive solutions for the supercritical nonlinear fractional Schr\"odinger equation $(-\Delta)^s u+V(x)u-u^p=0$ in $\mathbb R^n$, with $u(x)\to 0$ as $|x|\to +\infty$, where $p>\frac{n+2s}{n-2s}$ for $s\in (0,1), \ n>2s$. We show that if $V(x)=o(|x|^{-2s})$ as $|x|\to +\infty$, then for $p>\frac{n+2s-1}{n-2s-1}$, this problem admits a continuum of solutions. More generally, for $p>\frac{n+2s}{n-2s}$, conditions for solvability are also provided. This result is the extension of the work by Davila, Del Pino, Musso and Wei to the fractional case. Our main contributions are: the existence of a smooth, radially symmetric, entire solution of $(-\Delta)^s w=w^p$ in $\mathbb R^n$, and the analysis of its properties. The difficulty here is the lack of phase-plane analysis for a nonlocal ODE; instead we use conformal geometry methods together with Schaaf's argument as in the paper by Ao, Chan, DelaTorre, Fontelos, Gonz\'alez and Wei on the singular fractional Yamabe problem.


title: A High-Throughput Architecture of List Successive Cancellation Polar Codes Decoder with Large List Size

abstract: As the first kind of forward error correction (FEC) codes that achieve channel capacity, polar codes have attracted much research interest recently. Compared with other popular FEC codes, polar codes decoded by list successive cancellation decoding (LSCD) with a large list size have better error correction performance. However, due to the serial decoding nature of LSCD and the high complexity of list management (LM), the decoding latency is high, which limits the usage of polar codes in practical applications that require low latency and high throughput. In this work, we study the high-throughput implementation of LSCD with a large list size. Specifically, at the algorithmic level, to achieve a low decoding latency with moderate hardware complexity, two decoding schemes, a multi-bit double thresholding scheme and a partial G-node look-ahead scheme, are proposed. Then, a high-throughput VLSI architecture implementing the proposed algorithms is developed with optimizations on different computation modules. From the implementation results on UMC 90 nm CMOS technology, the proposed architecture achieves decoding throughputs of 1.103 Gbps, 977 Mbps and 827 Mbps when the list sizes are 8, 16 and 32, respectively.


title: Interpretable Adversarial Perturbation in Input Embedding Space for Text

abstract: Following great success in the image processing field, the idea of adversarial training has been applied to tasks in the natural language processing (NLP) field. One promising approach directly applies adversarial training developed in the image processing field to the input word embedding space instead of the discrete input space of texts. However, this approach abandons such interpretability as generating adversarial texts to significantly improve the performance of NLP tasks. This paper restores interpretability to such methods by restricting the directions of perturbations toward the existing words in the input embedding space. As a result, we can straightforwardly reconstruct each input with perturbations to an actual text by considering the perturbations to be the replacement of words in the sentence while maintaining or even improving the task performance.


title: Theoretic--model Properties of Regular Polygons

abstract: This work is dedicated to the results were got in the model theory of the regular polygons. We give the characterization of the monoids with axiomatizable and model complete class of regular polygons. We describe the monoids with complete class of regular polygons which satisfy the additional conditions. We study the monoids, whose regular core is presented as a union of the finite number of principal right ideals, all regular polygons over which have the stable and superstable theory. We prove the stability of the axiomatizable model complete class of regular polygons and we also describe the monoids with the superstable and $\omega$--stable class of regular polygons when this class is axiomatizable and model complete.


title: Learning Short-Cut Connections for Object Counting

abstract: Object counting is an important task in computer vision due to its growing demand in applications such as traffic monitoring or surveillance. In this paper, we consider object counting as a learning problem of a joint feature extraction and pixel-wise object density estimation with Convolutional-Deconvolutional networks. We introduce a novel counting model, named Gated U-Net (GU-Net). Specifically, we propose to enrich the U-Net architecture with the concept of learnable short-cut connections. Standard short-cut connections are connections between layers in deep neural networks which skip at least one intermediate layer. Instead of simply setting short-cut connections, we propose to learn these connections from data. Therefore, our short-cuts can work as gating units, which optimize the flow of information between convolutional and deconvolutional layers in the U-Net architecture. We evaluate the introduced GU-Net architecture on three commonly used benchmark data sets for object counting. GU-Nets consistently outperform the base U-Net architecture, and achieve state-of-the-art performance.


title: Higher order quantum vortex

abstract: In this article we present a quantum theoretical framework of photons entangled in higher order modes like Ince-Gauss modes. Ince-Gauss modes are the natural solution of the quantum harmonic oscillator in elliptical coordinates. These modes are defined by an additional quantum number, the ellipticity parameter which is expected to play a major role in continuous variable quantum key distribution protocols. Although such quantum states have been realized in experiments but a proper theoretical framework has been missing. We aim to address this shortcoming with our article.


title: Hierarchical Temporal Memory using Memristor Networks: A Survey

abstract: This paper presents a survey of the currently available hardware designs for implementation of the human cortex inspired algorithm, Hierarchical Temporal Memory (HTM). In this review, we focus on the state of the art advances of memristive HTM implementation and related HTM applications. With the advent of edge computing, HTM can be a potential algorithm to implement on-chip near sensor data processing. The comparison of analog memristive circuit implementations with the digital and mixed-signal solutions are provided. The advantages of memristive HTM over digital implementations against performance metrics such as processing speed, reduced on-chip area and power dissipation are discussed. The limitations and open problems concerning the memristive HTM, such as the design scalability, sneak currents, leakage, parasitic effects, lack of the analog learning circuits implementations and unreliability of the memristive devices integrated with CMOS circuits are also discussed.


title: Capsule Networks for Low Resource Spoken Language Understanding

abstract: Designing a spoken language understanding system for command-and-control applications can be challenging because of a wide variety of domains and users or because of a lack of training data. In this paper we discuss a system that learns from scratch from user demonstrations. This method has the advantage that the same system can be used for many domains and users without modifications and that no training data is required prior to deployment. The user is required to train the system, so for a user friendly experience it is crucial to minimize the required amount of data. In this paper we investigate whether a capsule network can make efficient use of the limited amount of available training data. We compare the proposed model to an approach based on Non-negative Matrix Factorisation which is the state-of-the-art in this setting and another deep learning approach that was recently introduced for end-to-end spoken language understanding. We show that the proposed model outperforms the baseline models for three command-and-control applications: controlling a small robot, a vocally guided card game and a home automation task.


title: Localized Mode and Nonergodicity of a Harmonic Oscillator Chain

abstract: We present a simple and microscopic physical model that breaks the ergodicity. Our model consists of coupled classical harmonic oscillators, and the motion of the tagged particle obeys the generalized Langevin equation satisfying the second fluctuation dissipation theorem. It is found that although the nonergodicity strength, which is expected to detect the ergodicity breaking, for this model vanishes, the velocity auto correlation function of the tagged particle asymptotically oscillates. We analyze the model by using the molecular dynamics and the exact diagonalization as well as the rigorous mapping to the generalized Langevin equation. Our analysis reveals that the asymptotic oscillation is caused by a localized mode with an isolated frequency from the continuous phonon spectrum.


title: Comparing phonemes and visemes with DNN-based lipreading

abstract: There is debate if phoneme or viseme units are the most effective for a lipreading system. Some studies use phoneme units even though phonemes describe unique short sounds; other studies tried to improve lipreading accuracy by focusing on visemes with varying results. We compare the performance of a lipreading system by modeling visual speech using either 13 viseme or 38 phoneme units. We report the accuracy of our system at both word and unit levels. The evaluation task is large vocabulary continuous speech using the TCD-TIMIT corpus. We complete our visual speech modeling via hybrid DNN-HMMs and our visual speech decoder is a Weighted Finite-State Transducer (WFST). We use DCT and Eigenlips as a representation of mouth ROI image. The phoneme lipreading system word accuracy outperforms the viseme based system word accuracy. However, the phoneme system achieved lower accuracy at the unit level which shows the importance of the dictionary for decoding classification outputs into words.


title: Towards the minimal seesaw model for the prediction of neutrino CP violation

abstract: We discuss the minimal seesaw model for the Dirac CP violating phase of the lepton mixing matrix. We introduce two right-handed Majorana neutrinos and obtain several textures of the tri-maximal lepton mixing matrices. Moreover, we discuss the observed baryon asymmetry of the universe through the leptogenesis mechanism. As the result, we obtain the specific model which predicts the negative sign of maximal Dirac CP violating phase and normal hierarchy of neutrino masses.


title: Cosmological constraints on $\gamma$-gravity models

abstract: In this paper we place observational constraints on the well-known $\gamma$-gravity $f(R)$ model using the latest cosmological data, namely we use the latest growth rate, Cosmic Microwave Background, Baryon Acoustic Oscillations, Supernovae type Ia and Hubble parameter data. Performing a joint likelihood analysis we find that the $\gamma$-gravity model is in very good agreement with observations. Utilizing the AIC statistical test we statistically compare the current $f(R)$ model with $\Lambda$CDM cosmology and find that they are statistically equivalent. Therefore, $\gamma$-gravity can be seen as a useful scenario toward testing deviations from General Relativity. Finally, we note that we find somewhat higher values for the $f(R)$ best-fit values compared to those mentioned in the past in the literature and we argue that this could potential alleviate the halo-mass function problem.


title: Levitated Nanoparticles for Microscopic Thermodynamics - A Review

abstract: In this article, we review the current state of the art in using levitated nanoparticles to answer questions related to thermodynamics and non-equilibrium physics. We begin in Section 2 with a summary of the relevant deterministic and stochastic forces, which determine the particle dynamics and allow for control of the particle. In Section 3 we give a brief review of the stochastic (i.e. Brownian) motion of levitated particles, since the Brownian particle is fundamental to the theory of stochastic thermodynamics. Then we discuss the stability of the trapped particles and the related Kramers escape problem in Section 4. After that, we introduce effective potentials for the energy in Section 5. These potentials are useful to describe the dynamics of levitated nanoparticles in a time-modulated trap, where the particle is driven far away from equilibrium. In Section 6 we discuss the dynamics of relaxation towards equilibrium, before we review the work on fluctuation theorems in Section 7. Fluctuation theorems are a powerful generalization of the well known thermodynamic inequalities for systems far from equilibrium. Finally, Section 8 discusses the potential of constructing new kinds of heat engines based on nanoparticles levitated in high vacuum.


title: Sobolev stability of Prandtl expansions for the steady Navier-Stokes equations

abstract: We show the $H^1$ stability of shear flows of Prandtl type: $U^\nu = (U_s(y/\sqrt{\nu}),0)$, in the steady two-dimensional Navier-Stokes equations, under the natural assumptions that $U_s(Y) > 0$ for $Y > 0$, $U_s(0) = 0$, and $U_s'(0) > 0$. Our result is in sharp contrast with the unsteady ones, in which at most Gevrey stability can be obtained, even under global monotonicity and concavity hypotheses. It provides the first positive answer to the inviscid limit problem in Sobolev regularity for a non-trivial class of steady Navier-Stokes flows with no-slip boundary condition.


title: Interacting quantum walk on a graph

abstract: We introduce an elementary quantum system consisting of a set of spins on a graph and a particle hopping between its nodes. The quantum state is build sequentially, applying a unitary transformation that couples neighboring spins and, at a node, the local spin with the particle. We observe the relaxation of the system towards a stationary paramagnetic or ferromagnetic state, and demonstrate that it is related to eigenvectors thermalization and random matrix statistics. The relation between these macroscopic properties and interaction generated entanglement is discussed.


title: Electrostatic quantum dots in silicene

abstract: We study electrostatic quantum dot confinement for charge carriers in silicene. The confinement is formed by vertical electric field surrounding the quantum dot area. The resulting energy gap in the outside of the quantum dot traps the carriers within, and the difference of electrostatic potentials on the buckled silicene sublattices produces nonzero carrier masses outside the quantum dot. We study the electrostatic confinement defined inside a silicene flake with both the atomistic tight-binding approach as well as with the continuum approximation for a circularly symmetric electrostatic potential. We find localization of the states within the quantum dot and their decoupling from the edge that makes the spectrum of the localized states independent of the crystal termination. For an armchair edge of the flake removal of the intervalley scattering by the electrostatic confinement is found


title: Do Smarter People Have Better Passwords?

abstract: The National Institute of Standards and Technology (NIST) released new guidelines in June of 2017 that recommended new standards for managing and accepting user passwords. Among the new guidelines is a requirement that verifiers should check if a user's supplied password is compromised - that is, already listed in previous breach corpuses. Using a corpus of 320M breached passwords, the researcher collected information regarding Asia Pacific College students using breached passwords. Correlating these with academic performance data from each student's grade history, the researcher found that the students in the highest GPA tier had the lowest % of terrible passwords. The difference is not that large, however, which suggests that weak passwords aren't mainly because of any level of intelligence, nor should it be assumed that highly-intelligent users will have good passwords.


title: Cooperative Control of Multiple Agents with Unknown High-frequency Gain Signs under Unbalanced and Switching Topologies

abstract: Existing results on cooperative control of multi-agent systems with unknown control directions require that the underlying topology is either fixed with a strongly connected graph or switching between different strongly connected graphs. Furthermore, in most cases the graph is assumed to be balanced. This paper proposes a new class of nonlinear PI based algorithms to relax these requirements and allow for unbalanced and switching topologies having a jointly strongly connected basis. This is made possible for single-integrator (SI) and double-integrator (DI) agents with non-identical unknown control directions by a suitable selection of the distributed nonlinear PI functions. Moreover, as a special case, the proposed algorithms are applied to strongly connected and fixed graphs. Finally, simulation examples are given to show the validity of our theoretical results.


title: An analogue of Edmonds' Branching Theorem for infinite digraphs

abstract: We extend Edmonds' Branching Theorem to locally finite infinite digraphs. As examples of Oxley or Aharoni and Thomassen show, this cannot be done using ordinary arborescences, whose underlying graphs are trees. Instead we introduce the notion of pseudo-arborescences and prove a corresponding packing result. Finally, we verify some tree-like properties for these objects, but give also an example that their underlying graphs do in general not correspond to topological trees in the Freudenthal compactification of the underlying multigraph of the digraph.


title: Phoneme-to-viseme mappings: the good, the bad, and the ugly

abstract: Visemes are the visual equivalent of phonemes. Although not precisely defined, a working definition of a viseme is "a set of phonemes which have identical appearance on the lips". Therefore a phoneme falls into one viseme class but a viseme may represent many phonemes: a many to one mapping. This mapping introduces ambiguity between phonemes when using viseme classifiers. Not only is this ambiguity damaging to the performance of audio-visual classifiers operating on real expressive speech, there is also considerable choice between possible mappings. In this paper we explore the issue of this choice of viseme-to-phoneme map. We show that there is definite difference in performance between viseme-to-phoneme mappings and explore why some maps appear to work better than others. We also devise a new algorithm for constructing phoneme-to-viseme mappings from labeled speech data. These new visemes, `Bear' visemes, are shown to perform better than previously known units.


title: Measurement of colour flow using jet-pull observables in $t\bar{t}$ events with the ATLAS experiment at $\sqrt{s} = 13$ TeV

abstract: Previous phenomenological studies and measurements have shown that weighted angular moments derived from jet constituents encode the colour connections between initiating partons that seed the jets. This paper presents measurements of two such distributions, the jet-pull angle and jet-pull magnitude, both of which are derived from the jet-pull angular moment. The measurement is performed in $t\bar{t}$ events with one leptonically decaying $W$ boson and one hadronically decaying $W$ boson, using $36.1$ fb$^{-1}$ of $pp$ collision data recorded by the ATLAS detector at $\sqrt{s} = 13$ TeV delivered by the Large Hadron Collider. The observables are measured for two dijet systems, corresponding to the colour-connected daughters of the $W$ boson and the two $b$-jets from the top-quark decays. To allow the comparison of the measured distributions to colour model predictions, the measured distributions are unfolded to stable-particle level, after correcting for experimental effects introduced by the detector. While good agreement can be found for some combinations of predictions and observables, none of the predictions describes the data well across all observables.


title: Electric field distortions in structures of the twist bend nematic (NTB) phase of a bent-core liquid crystal

abstract: Dielectric spectroscopy of a twist bend nematic phase of an achiral bent core liquid crystalline compound under DC bias is used to investigate its response to electric field. Two collective relaxation processes are revealed, these are assigned to distortions of helicoidal structure by the external bias field. Frequency of the mode depends primarily on the helicoidal angle and has anomalous, softening- like behaviour at the nematic to the twist bend nematic transition. A coupling of dielectric anisotropy with electric field gives rise to a new equilibrium periodic structure in the time scale involved. The modulus of the wave vector gradually vanishes on increasing the bias field (except for the initial behaviour, which is just the opposite). Transition from the twist bend to the splay bend structure is clearly observed by a sudden drop in the frequency of this mode, which decreases almost linearly with increasing field. Results agree with predictions from current models for the periodically distorted a twist bend nematic phase.


title: Improving Character-level Japanese-Chinese Neural Machine Translation with Radicals as an Additional Input Feature

abstract: In recent years, Neural Machine Translation (NMT) has been proven to get impressive results. While some additional linguistic features of input words improve word-level NMT, any additional character features have not been used to improve character-level NMT so far. In this paper, we show that the radicals of Chinese characters (or kanji), as a character feature information, can be easily provide further improvements in the character-level NMT. In experiments on WAT2016 Japanese-Chinese scientific paper excerpt corpus (ASPEC-JP), we find that the proposed method improves the translation quality according to two aspects: perplexity and BLEU. The character-level NMT with the radical input feature's model got a state-of-the-art result of 40.61 BLEU points in the test set, which is an improvement of about 8.6 BLEU points over the best system on the WAT2016 Japanese-to-Chinese translation subtask with ASPEC-JP. The improvements over the character-level NMT with no additional input feature are up to about 1.5 and 1.4 BLEU points in the development-test set and the test set of the corpus, respectively.


title: Interplay between the holographic QCD phase diagram and entanglement entropy

abstract: In earlier work, we introduced a dynamical Einstein--Maxwell--dilaton model which mimics essential features of QCD (thermodynamics) below and above deconfinement. Although there are some subtle differences in the confining regime of our model as compared to the standard results, we do have a temperature dependent dual metric below $T_c$ as well, allowing for a richer and more realistic holographic modeling of the QCD phase structure. We now discuss how these features leave their imprints on the associated entanglement entropy when a strip region is introduced in the various phases. We uncover an even so rich structure in the entanglement entropy, consistent with the thermodynamical transitions, while again uncloaking some subtleties. Thanks to the temperature dependent confining geometry, we can present an original quantitative prediction for the phase diagram in terms of temperature and strip length, reporting a critical end point at the deconfinement temperature. We also generalize to the case with chemical potential.


title: VLTI/MIDI atlas of disks around low- and intermediate-mass young stellar objects

abstract: Context. Protoplanetary disks show large diversity regarding their morphology and dust composition. With mid-infrared interferometry the thermal emission of disks can be spatially resolved, and the distribution and properties of the dust within can be studied. Aims. Our aim is to perform a statistical analysis on a large sample of 82 disks around low- and intermediate-mass young stars, based on mid-infrared interferometric observations. We intend to study the distribution of disk sizes, variability, and the silicate dust mineralogy. Methods. Archival mid-infrared interferometric data from the MIDI instrument on the VLTI are homogeneously reduced and calibrated. Geometric disk models are used to fit the observations to get spatial information about the disks. An automatic spectral decomposition pipeline is applied to analyze the shape of the silicate feature. Results. We present the resulting data products in the form of an atlas, containing N band correlated and total spectra, visibilities, and differential phases. The majority of our data can be well fitted with a continuous disk model, except for a few objects, where a gapped model gives a better match. From the mid-infrared size--luminosity relation we find that disks around T Tauri stars are generally colder and more extended with respect to the stellar luminosity than disks around Herbig Ae stars. We find that in the innermost part of the disks ($r \lesssim 1$~au) the silicate feature is generally weaker than in the outer parts, suggesting that in the inner parts the dust is substantially more processed. We analyze stellar multiplicity and find that in two systems (AB Aur and HD 72106) data suggest a new companion or asymmetric inner disk structure. We make predictions for the observability of our objects with the upcoming MATISSE instrument, supporting the practical preparations of future MATISSE observations of T Tauri stars.


title: Probing transition form factors in the rare $B\to K^*\nu\bar\nu$ decay

abstract: We compare the Standard Model (SM) predictions for the differential branching ratio of the rare $B\to K^*\nu\bar\nu$ decays using $B \to K^*$ form factors obtained from holographic light-front QCD (hLFQCD) and Sum Rules (SR) Distribution Amplitudes. For the total branching ratio, we predict $\mathcal{BR}(\process)_{\rm hLFQCD}=(6.36^{+0.59}_{-0.74})\times 10^{-6}$ and $\mathcal{BR}(\process)_{\rm SR}=(8.14^{+0.16}_{- 0.17})\times 10^{-6}$. More interestingly, we find that the two model predictions for the differential branching ratio are sufficiently different at low momentum transfer, so that future measurements at Belle II may be able to discriminate between them. We also confirm numerically that the $K^*$ longitudinal polarization fraction $F_L$ has little sensitivity to the non-perturbative form factors and is thus an excellent observable to probe New Physics signals. We predict $F_L=0.40^{+0.02}_{-0.01}(0.41\pm 0.01)$ using hLFQCD (SR).


title: Error Rates for Unvalidated Medical Age Assessment Procedures

abstract: During 2014-15 Sweden received asylum applications from more than 240.000 people, of which more than 40.000 were termed unaccompanied minors. In a large number of cases, claims by asylum seekers of being below 18 years were not trusted by Swedish authorities. To handle the situation, the Swedish national board of forensic medicine (R\"attsmedicinalverket, RMV) was assigned by the government to create a centralized system for medical age assessments. RMV introduced a procedure including two biological age indicators; x-ray of the third molars and magnetic resonance imaging of the distal femoral epiphysis. In 2017 a total of 9617 males and 337 females were subjected to this procedure. No validation study for the procedure was however published, and the observed number of cases with different maturity combinations in teeth and femur were unexpected given the claims originally made by RMV. Such unexpected results might be caused by systematic errors and need to be analysed thoroughly. In the present paper we present a general stochastic model enabling us to study which combinations of age indicator model parameters and age population profiles are consistent with the observed 2017 data for males. We find that, contrary to some RMV claims, maturity of the femur, as observed by RMV, appears on average well before maturity of teeth. Although results naturally contain much uncertainty, we find that classification error rates for certain groups who based on the RMV procedure are classified as above 18 years may be around 10-30%, possibly as high as 50%.


title: Dynamical system approach of non-minimal coupling in AdS/CFT cosmology

abstract: We study the dynamical system approach of non minimally coupled scalar field to induced gravity on the brane in the framework of the AdS/CFT correspondence. In this context, we derive the modified Friedmann equation and the equation of motion. The dynamics of this model are studied by rewriting the cosmological field equations in the form of a system of autonomous differential equations. In particular, the analysis is considered by investigating an exponential potential and a monomial form of the non minimal coupling function. We show that, for sufficient conditions, a past de Sitter attractor solution is obtained in the case of a minimal coupling, meanwhile a future de Sitter attractor solutions is obtained for a conformal coupling and for a non minimal coupling.


title: Coupled quantum dots in bilayer graphene

abstract: Electrostatic confinement of charge carriers in bilayer graphene provides a unique platform for carbon-based spin, charge or exchange qubits. By exploiting the possibility to induce a band gap with electrostatic gating, we form a versatile and widely tunable multi-quantum dot system. We demonstrate the formation of single, double and triple quantum dots that are free of any sign of disorder. In bilayer graphene we have the possibility to form tunnel barriers using different mechanisms. We can exploit the ambipolar nature of bilayer graphene where pn-junctions form natural tunnel barriers. Alternatively, we can use gates to form tunnel barriers, where we can vary the tunnel coupling by more than two orders of magnitude tuning between a deeply Coulomb blockaded system and a Fabry-P\'erot-like cavity. Demonstrating such tunability is an important step towards graphene-based quantum computation.


title: Path Evaluation via HMM on Semantical Occupancy Grid Maps

abstract: Traditional approaches to mapping of environments in robotics make use of spatially discretized representations, such as occupancy grid maps. Modern systems, e.g. in agriculture or automotive applications, are equipped with a variety of different sensors to gather diverse process-relevant modalities from the environment. The amount of data and its associated semantic information demand for broader data structures and frameworks, like semantical occupancy grid maps (SOGMs). This multi-modal representation also calls for novel methods of path planning. Due to the sequential nature of path planning as a consecutive execution of tasks and their ability to handle multi-modal data as provided by SOGMs, Markovian models, such as Hidden Markov Models (HMM) or Partially Observable Markov Decision Processes, are applicable. Furthermore, for these techniques to be applied effectively and efficiently, data from SOGMs must be extracted and refined. Superpixel algorithms, originating from computer vision, provide a method to de-noise and re-express SOGMs in an alternative representation. This publication explores and extends the use of superpixel segmentation as a post-processing step and applies Markovian models for path decoding on SOGMs.


title: The number of solutions of the Erd\H{o}s-Straus Equation and sums of $k$ unit fractions

abstract: We prove new upper bounds for the number of representations of an arbitrary rational number as a sum of three unit fractions. In particular, for fixed $m$ there are at most $\mathcal{O}_{\epsilon}(n^{3/5+\epsilon})$ solutions of $\frac{m}{n}=\frac{1}{a_1}+\frac{1}{a_2}+\frac{1}{a_3}$. This improves upon a result of Browning and Elsholtz (2011) and extends a result of Elsholtz and Tao (2013) who proved this when $m=4$ and $n$ is a prime. Moreover there exists an algorithm finding all solutions in expected running time $\mathcal{O}_{\epsilon}\left(n^{\epsilon}\left(\frac{n^3}{m^2}\right)^{1/5}\right)$, for any $\epsilon >0$. We also improve a bound on the maximum number of representations of a rational number as a sum of $k$ unit fractions. Furthermore, we also improve lower bounds. In particular we prove that for given $m\in \mathbb{N}$ in every reduced residue class $e \bmod f$ there exist infinitely many primes $p$ such that the number of solutions of the equation $\frac{m}{p}=\frac{1}{a_1}+\frac{1}{a_2}+\frac{1}{a_3}$ is $\gg_{f,m} \exp\left(\left(\frac{5\log 2}{12 \mathrm{lcm}(m,f)}+o_{f,m}(1)\right)\frac{\log p}{\log \log p}\right)$. Previously the best known lower bound of this type was of order $(\log p)^{0.549}$.


title: Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes

abstract: We present the conditional value-at-risk (CVaR) in the context of Markov chains and Markov decision processes with reachability and mean-payoff objectives. CVaR quantifies risk by means of the expectation of the worst p-quantile. As such it can be used to design risk-averse systems. We consider not only CVaR constraints, but also introduce their conjunction with expectation constraints and quantile constraints (value-at-risk, VaR). We derive lower and upper bounds on the computational complexity of the respective decision problems and characterize the structure of the strategies in terms of memory and randomization.