title: Joule-Thomson Expansion of Kerr-AdS Black Holes

abstract: In this paper, we study Joule-Thomson expansion for Kerr-AdS black holes in the extended phase space. Joule-Thomson expansion formula of Kerr-AdS black holes is derived. We investigate both isenthalpic and numerical inversion curves in the T-P plane and demonstrate the cooling-heating regions for Kerr-AdS black holes. We also calculate the ratio between minimum inversion and critical temperatures for Kerr-AdS black holes.


title: Search for single production of the vector-like top partner at the 14 TeV LHC

abstract: The new heavy vector-like top partner~($T$) is one of typical features of many new physics models beyond the standard model. In this paper we study the discovery potential of the LHC for the vector-like $T$-quark both in the leptonic $T\to bW$ and $T\to t_{\rm lep}Z_{\rm lep}$ (trilepton) channels at $\sqrt{s}= 14$ TeV in the single production mode. Our analysis is based on a simplified model including a $SU(2)_L$ singlet with charge $2/3$ with only two free parameters, namely the $TWb$ coupling parameter $g^{\ast}$ and the top partner mass $m_T$. The $2\sigma$ exclusion limits, $3\sigma$ evidence and the $5\sigma$ discovery reach in the parameter plane of $g^{\ast}-m_T$, are, respectively, obtained for some typical integrated luminosity at the 14 TeV LHC. Finally we analyze the projected sensitivity in terms of the production cross section times branching fraction for two decay channel.


title: Sensor Assignment Algorithms to Improve Observability while Tracking Targets

abstract: We study two sensor assignment problems for multi-target tracking with the goal of improving the observability of the underlying estimator. We consider various measures of the observability matrix as the assignment value function. We first study the general version where the sensors must form teams to track individual targets. If the value function is monotonically increasing and submodular then a greedy algorithm yields a 1/2-approximation. We then study a restricted version where exactly two sensors must be assigned to each target. We present a 1/3-approximation algorithm for this problem which holds for arbitrary value functions (not necessarily submodular or monotone). In addition to approximation algorithms, we also present various properties of observability measures. We show that the inverse of the condition number of the observability matrix is neither monotone nor submodular, but present other measures which are. Specifically, we show that the trace and rank of the symmetric observability matrix are monotone and submodular and the log determinant of the symmetric observability matrix is monotone and submodular when the matrix is non-singular. If the target's motion model is not known, the inverse cannot be computed exactly. Instead, we present a lower bound for distance sensors. In addition to theoretical results, we evaluate our results empirically through simulations.


title: Neural Networks for Text Correction and Completion in Keyboard Decoding

abstract: Despite the ubiquity of mobile and wearable text messaging applications, the problem of keyboard text decoding is not tackled sufficiently in the light of the enormous success of the deep learning Recurrent Neural Network (RNN) and Convolutional Neural Networks (CNN) for natural language understanding. In particular, considering that the keyboard decoders should operate on devices with memory and processor resource constraints, makes it challenging to deploy industrial scale deep neural network (DNN) models. This paper proposes a sequence-to-sequence neural attention network system for automatic text correction and completion. Given an erroneous sequence, our model encodes character level hidden representations and then decodes the revised sequence thus enabling auto-correction and completion. We achieve this by a combination of character level CNN and gated recurrent unit (GRU) encoder along with and a word level gated recurrent unit (GRU) attention decoder. Unlike traditional language models that learn from billions of words, our corpus size is only 12 million words; an order of magnitude smaller. The memory footprint of our learnt model for inference and prediction is also an order of magnitude smaller than the conventional language model based text decoders. We report baseline performance for neural keyboard decoders in such limited domain. Our models achieve a word level accuracy of $90\%$ and a character error rate CER of $2.4\%$ over the Twitter typo dataset. We present a novel dataset of noisy to corrected mappings by inducing the noise distribution from the Twitter data over the OpenSubtitles 2009 dataset; on which our model predicts with a word level accuracy of $98\%$ and sequence accuracy of $68.9\%$. In our user study, our model achieved an average CER of $2.6\%$ with the state-of-the-art non-neural touch-screen keyboard decoder at CER of $1.6\%$.


title: Black Box Galois Representations

abstract: We develop methods to study $2$-dimensional $2$-adic Galois representations $\rho$ of the absolute Galois group of a number field $K$, unramified outside a known finite set of primes $S$ of $K$, which are presented as Black Box representations, where we only have access to the characteristic polynomials of Frobenius automorphisms at a finite set of primes. Using suitable finite test sets of primes, depending only on $K$ and $S$, we show how to determine the determinant $\det\rho$, whether or not $\rho$ is residually reducible, and further information about the size of the isogeny graph of $\rho$ whose vertices are homothety classes of stable lattices. The methods are illustrated with examples for $K=\mathbb{Q}$, and for $K$ imaginary quadratic, $\rho$ being the representation attached to a Bianchi modular form. These results form part of the first author's thesis.


title: Some Aspects of Morris-Thorne Wormhole in Scalar Tensor Theory

abstract: In this study, we reach the equations of motion of Morris-Thorne wormhole geometry by means of the Einstein Field Equations and Klein-Gordon Equation of Scalar-Tensor theory by direct calculation. We discuss the anisotropic matter energy distribution. We determine a relation between the radial and the transverse pressures. Hence, we express the anisotropic energy momentum tensor in terms of one pressure class, by means of that relation. Besides that, we check the isotropic case and show that there is no traversable wormhole, in the zero redshift function situation, if the space is fulfilled with an isotropic energy momentum distribution. In addition, we represent the conditions in order that the Null Energy Condition (NEC) is satisfied in the presence of a dilaton like field, in the zero tidal force case. We also propose a special type of shape function and express those conditions for it. We will be calling the wormhole corresponding to that shape function as the Yukawa Type. Furthermore, we determine the radial and the transverse pressures in the zero redshift function situation.


title: Kronecker-Halton sequences in $\mathbb{F}_p((X^{-1}))$

abstract: In this paper we investigate the distribution properties of hybrid sequences which are made by combining Halton sequences in the ring of polynomials and digital Kronecker sequences. We give a full criterion for the uniform distribution and prove results on the discrepancy of such hybrid sequences.


title: Amplification of the coupling strength in a hybrid quantum system

abstract: Realization of strong coupling between two different quantum systems is important for fast transferring quantum information between them, but its implementation is difficult in some hybrid quantum systems. Here we propose a scheme to enhance the coupling strength between a single nitrogen-vacancy center and a superconducting circuit via squeezing. The main recipe of our scheme is to construct a unitary squeezing transformation by directly tuning the specifically-designed superconducting circuit. Using the experimentally accessible parameters of the circuit, we find that the coupling strength can be largely amplified by applying the squeezing transformations to the system. This provides a new path to enhance the coupling strengths in hybrid quantum systems.


title: Formality of $\mathbb{P}$-objects

abstract: We show that a $\mathbb{P}$-object and simple configurations of $\mathbb{P}$-objects have a formal derived endomorphism algebra. Hence the triangulated category (classically) generated by such objects is independent of the ambient triangulated category. We also observe that the category generated by the structure sheaf of a smooth projective variety over the complex numbers only depends on its graded cohomology algebra.


title: Nature of self-diffusion in two-dimensional fluids

abstract: Self-diffusion in a two-dimensional simple fluid is investigated by both analytical and numerical means. We investigate the anomalous aspects of self-diffusion in two-dimensional fluids with regards to the mean square displacement, the time-dependent diffusion coefficient, and the velocity autocorrelation function using a consistency equation relating these quantities. We numerically confirm the consistency equation by extensive molecular dynamics simulations for finite systems, corroborate earlier results indicating that the kinematic viscosity approaches a finite, non-vanishing value in the thermodynamic limit, and establish the finite size behavior of the diffusion coefficient. We obtain the exact solution of the consistency equation in the thermodynamic limit and use this solution to determine the large time asymptotics of the mean square displacement, the diffusion coefficient, and the velocity autocorrelation function. An asymptotic decay law of the velocity autocorrelation function resembles the previously known self-consistent form, $1/(t\sqrt{\ln t})$, however with a rescaled time.


title: Language Modeling with Highway LSTM

abstract: Language models (LMs) based on Long Short Term Memory (LSTM) have shown good gains in many automatic speech recognition tasks. In this paper, we extend an LSTM by adding highway networks inside an LSTM and use the resulting Highway LSTM (HW-LSTM) model for language modeling. The added highway networks increase the depth in the time dimension. Since a typical LSTM has two internal states, a memory cell and a hidden state, we compare various types of HW-LSTM by adding highway networks onto the memory cell and/or the hidden state. Experimental results on English broadcast news and conversational telephone speech recognition show that the proposed HW-LSTM LM improves speech recognition accuracy on top of a strong LSTM LM baseline. We report 5.1% and 9.9% on the Switchboard and CallHome subsets of the Hub5 2000 evaluation, which reaches the best performance numbers reported on these tasks to date.


title: Automatic Leaf Extraction from Outdoor Images

abstract: Automatic plant recognition and disease analysis may be streamlined by an image of a complete, isolated leaf as an initial input. Segmenting leaves from natural images is a hard problem. Cluttered and complex backgrounds: often composed of other leaves are commonplace. Furthermore, their appearance is highly dependent upon illumination and viewing perspective. In order to address these issues we propose a methodology which exploits the leaves venous systems in tandem with other low level features. Background and leaf markers are created using colour, intensity and texture. Two approaches are investigated: watershed and graph-cut and results compared. Primary-secondary vein detection and a protrusion-notch removal are applied to refine the extracted leaf. The efficacy of our approach is demonstrated against existing work.


title: A Recorded Debating Dataset

abstract: This paper describes an English audio and textual dataset of debating speeches, a unique resource for the growing research field of computational argumentation and debating technologies. We detail the process of speech recording by professional debaters, the transcription of the speeches with an Automatic Speech Recognition (ASR) system, their consequent automatic processing to produce a text that is more "NLP-friendly", and in parallel -- the manual transcription of the speeches in order to produce gold-standard "reference" transcripts. We release 60 speeches on various controversial topics, each in five formats corresponding to the different stages in the production of the data. The intention is to allow utilizing this resource for multiple research purposes, be it the addition of in-domain training data for a debate-specific ASR system, or applying argumentation mining on either noisy or clean debate transcripts. We intend to make further releases of this data in the future.


title: Resolving the circumstellar environment of the Galactic B[e] supergiant star MWC 137 from large to small scales

abstract: The Galactic object MWC 137 was suggested to belong to the group of B[e] supergiants. However, with its large-scale optical bipolar ring nebula and the high velocity jet and knots, it is a rather atypical representative of this class. We performed multi-wavelength observations spreading from the optical to the radio regime. Based on optical imaging and long-slit spectroscopic data we found that the northern parts of the large-scale nebula are predominantly blue-shifted, while the southern regions appear mostly red-shifted. We developed a geometrical model consisting of two double-cones. While various observational features can be approximated with such a scenario, the observed velocity pattern is more complex. Using near-infrared integral-field unit spectroscopy we studied the hot molecular gas in the close vicinity of the star. The emission from the hot CO gas arises in a small-scale disk revolving around the star on Keplerian orbits. While the disk itself cannot be spatially resolved, its emission is reflected by dust arranged in arc-like structures and clumps surrounding MWC 137 on small scales. In the radio regime we mapped the cold molecular gas in the outskirts of the optical nebula. We found that large amounts of cool molecular gas and warm dust embrace the optical nebula in the east, south and west. No cold gas or dust were detected in the north and north-western regions. Despite the new insights on the nebula kinematics gained from our studies, the real formation scenario of the large-scale nebula remains an open issue.


title: PeerHunter: Detecting Peer-to-Peer Botnets through Community Behavior Analysis

abstract: Peer-to-peer (P2P) botnets have become one of the major threats in network security for serving as the infrastructure that responsible for various of cyber-crimes. Though a few existing work claimed to detect traditional botnets effectively, the problem of detecting P2P botnets involves more challenges. In this paper, we present PeerHunter, a community behavior analysis based method, which is capable of detecting botnets that communicate via a P2P structure. PeerHunter starts from a P2P hosts detection component. Then, it uses mutual contacts as the main feature to cluster bots into communities. Finally, it uses community behavior analysis to detect potential botnet communities and further identify bot candidates. Through extensive experiments with real and simulated network traces, PeerHunter can achieve very high detection rate and low false positives.


title: Every group is the outer automorphism group of an HNN-extension of a fixed triangle group

abstract: Fix an equilateral triangle group $T_i=\langle a, b; a^i, b^i, (ab)^i\rangle$ with $i\geq6$ arbitrary. Our main result is: for every presentation $\mathcal{P}$ of every countable group $Q$ there exists an HNN-extension $T_{\mathcal{P}}$ of $T_i$ such that $\operatorname{Out}(T_{\mathcal{P}})\cong Q$. We construct the HNN-extensions explicitly, and examples are given. The class of groups constructed have nice categorical and residual properties. In order to prove our main result we give a method for recognising malnormal subgroups of small cancellation groups, and we introduce the concept of "malcharacteristic" subgroups.


title: Contributions of the High Energy Stereoscopic System (H.E.S.S.) to the 35th International Cosmic Ray Conference (ICRC), Busan, Korea

abstract: Index of H.E.S.S. conference proceedings to the 35th ICRC, Busan, Korea


title: Detecting transit signatures of exoplanetary rings using SOAP3.0

abstract: CONTEXT. It is theoretically possible for rings to have formed around extrasolar planets in a similar way to that in which they formed around the giant planets in our solar system. However, no such rings have been detected to date. AIMS: We aim to test the possibility of detecting rings around exoplanets by investigating the photometric and spectroscopic ring signatures in high-precision transit signals. METHODS: The photometric and spectroscopic transit signals of a ringed planet is expected to show deviations from that of a spherical planet. We used these deviations to quantify the detectability of rings. We present SOAP3.0 which is a numerical tool to simulate ringed planet transits and measure ring detectability based on amplitudes of the residuals between the ringed planet signal and best fit ringless model. RESULTS: We find that it is possible to detect the photometric and spectroscopic signature of near edge-on rings especially around planets with high impact parameter. Time resolution $\leq$ 7 mins is required for the photometric detection, while 15 mins is sufficient for the spectroscopic detection. We also show that future instruments like CHEOPS and ESPRESSO, with precisions that allow ring signatures to be well above their noise-level, present good prospects for detecting rings.


title: Scalable Support Vector Clustering Using Budget

abstract: Owing to its application in solving the difficult and diverse clustering or outlier detection problem, support-based clustering has recently drawn plenty of attention. Support-based clustering method always undergoes two phases: finding the domain of novelty and performing clustering assignment. To find the domain of novelty, the training time given by the current solvers is typically over-quadratic in the training size, and hence precluding the usage of support-based clustering method for large-scale datasets. In this paper, we propose applying Stochastic Gradient Descent (SGD) framework to the first phase of support-based clustering for finding the domain of novelty and a new strategy to perform the clustering assignment. However, the direct application of SGD to the first phase of support-based clustering is vulnerable to the curse of kernelization, that is, the model size linearly grows up with the data size accumulated overtime. To address this issue, we invoke the budget approach which allows us to restrict the model size to a small budget. Our new strategy for clustering assignment enables a fast computation by means of reducing the task of clustering assignment on the full training set to the same task on a significantly smaller set. We also provide a rigorous theoretical analysis about the convergence rate for the proposed method. Finally, we validate our proposed method on the well-known datasets for clustering to show that the proposed method offers a comparable clustering quality while simultaneously achieving significant speedup in comparison with the baselines.


title: An elementary property of correlations

abstract: We study the shift-Ramanujan expansion (see 1705.07193) of general $f,g$ satisfying Ramanujan Conjecture, in order to get formulae, for their shifted convolution sum, say $C_{f,g}(N,a)$, of length $N$ and shift $a$ (so, the Ramanujan expansion is with respect to a>0). We prove that, assuming Delange Hypothesis (DH) for the expansion, we get say Ramnujan exact explicit formula (R.e.e.f.). A noteworthy case, of course, is $f=g=\Lambda$, the von Mangoldt function, so $C_{\Lambda,\Lambda}(N,2k)$, for natural $k$, regards $2k-$twin primes; assuming $(DH)$ for them, we get (from corresponding R.e.e.f.) the proof, easily, of Hardy-Littlewood Conjecture for them.


title: Schatten-von Neumann classes of integral operators

abstract: In this work we establish sharp kernel conditions ensuring that the corresponding integral operators belong to Schatten-von Neumann classes. The conditions are given in terms of the spectral properties of operators acting on the kernel. As applications we establish several criteria in terms of different types of differential operators and their spectral asymptotics in different settings: compact manifolds, operators on lattices, domains in ${\mathbb R}^n$ of finite measure, and conditions for operators on ${\mathbb R}^n$ given in terms of anharmonic oscillators. We also give examples in the settings of compact sub-Riemannian manifolds, contact manifolds, strictly pseudo-convex CR manifolds, and (sub-)Laplacians on compact Lie groups.


title: Human Activity Recognition Using Robust Adaptive Privileged Probabilistic Learning

abstract: In this work, a novel method based on the learning using privileged information (LUPI) paradigm for recognizing complex human activities is proposed that handles missing information during testing. We present a supervised probabilistic approach that integrates LUPI into a hidden conditional random field (HCRF) model. The proposed model is called HCRF+ and may be trained using both maximum likelihood and maximum margin approaches. It employs a self-training technique for automatic estimation of the regularization parameters of the objective functions. Moreover, the method provides robustness to outliers (such as noise or missing data) by modeling the conditional distribution of the privileged information by a Student's \textit{t}-density function, which is naturally integrated into the HCRF+ framework. Different forms of privileged information were investigated. The proposed method was evaluated using four challenging publicly available datasets and the experimental results demonstrate its effectiveness with respect to the-state-of-the-art in the LUPI framework using both hand-crafted features and features extracted from a convolutional neural network.


title: Limit theorems for Random Walk excursion conditioned to have a typical area

abstract: We derive a functional central limit theorem for the excursion of a random walk conditioned on sweeping a prescribed geometric area. We assume that the increments of the random walk are integer-valued, centered, with a third moment equal to zero and a finite fourth moment. This result complements the work of \citep{DKW13} where local central limit theorems are provided for the geometric area of the excursion of a symmetric random walk with finite second moments. Our result turns out to be a key tool to derive the scaling limit of the \emph{Interacting Partially-Directed Self-Avoiding Walk} at criticality which is the object of a companion paper \citep{CarPet17a}. This requires to derive a reinforced version of our result in the case of a random walk with Laplace symmetric increments.


title: A new restart procedure for combinatorial optimization and its convergence

abstract: We propose a new iterative procedure to optimize the restart for meta-heuristic algorithms to solve combinatorial optimization, which uses independent algorithm executions. The new procedure consists of either adding new executions or extending along time the existing ones. This is done on the basis of a criterion that uses a surrogate of the algorithm failure probability, where the optimal solution is replaced by the best so far one. Therefore, it can be applied in practice. We prove that, with probability one, the restart time of the proposed procedure approaches, as the number of iterations diverges, the optimal value that minimizes the expected time to find the solution. We apply the proposed restart procedure to several Traveling Salesman Problem instances with hundreds or thousands of cities. As basic algorithm, we used different versions of an Ant Colony Optimization algorithm. We compare the results from the restart procedure with those from the basic algorithm. This is done by considering the failure probability of the two approaches for equal computation cost. This comparison showed a significant gain when applying the proposed restart procedure, whose failure probability is several orders of magnitude lower.


title: Adiabatic regularization of power spectrum in nonminimally coupled general single-field inflation

abstract: We perform adiabatic regularization of power spectrum in nonminimally coupled general single-field inflation with varying speed of sound. The subtraction is performed within the framework of earlier study by Urakawa and Starobinsky dealing with the canonical inflation. Inspired by Fakir and Unruh's model on nonminimally coupled chaotic inflation, we find upon imposing near scale-invariant condition, that the subtraction term exponentially decays with the number of $ e $-folds. As in the result for the canonical inflation, the regularized power spectrum tends to the "bare" power spectrum as the Universe expands during (and even after) inflation. This work justifies the use of the "bare" power spectrum in standard calculation in the most general context of slow-roll single-field inflation involving non-minimal coupling and varying speed of sound.


title: 3D Reconstruction with Low Resolution, Small Baseline and High Radial Distortion Stereo Images

abstract: In this paper we analyze and compare approaches for 3D reconstruction from low-resolution (250x250), high radial distortion stereo images, which are acquired with small baseline (approximately 1mm). These images are acquired with the system NanEye Stereo manufactured by CMOSIS/AWAIBA. These stereo cameras have also small apertures, which means that high levels of illumination are required. The goal was to develop an approach yielding accurate reconstructions, with a low computational cost, i.e., avoiding non-linear numerical optimization algorithms. In particular we focused on the analysis and comparison of radial distortion models. To perform the analysis and comparison, we defined a baseline method based on available software and methods, such as the Bouguet toolbox [2] or the Computer Vision Toolbox from Matlab. The approaches tested were based on the use of the polynomial model of radial distortion, and on the application of the division model. The issue of the center of distortion was also addressed within the framework of the application of the division model. We concluded that the division model with a single radial distortion parameter has limitations.


title: On Bj\"{o}rner and Lov\'{a}sz's conjecture

abstract: In the way of proving Kneser's conjecture, L\'{a}szl\'{o} Lov\'{a}sz settled out a new lower bound for the chromatic number of graphs. He showed that if the hom complex $||Hom(\mathcal{K}_2, H)||$ of a graph $H$ is topologically $k$-connected, then its chromatic number, $\chi (H)$, is at least $k+3$. After that, he made the following conjecture, to provide a better lower bound on the chromatic number of graphs. If $||Hom(C_{2r+1}, H)||$ is $k$-connected, then $\chi (H)\geq k+4$, where $C_{2r+1}$ is an odd cycle of length $2r+1$. Finally, Bj\"{o}rner and Lov\'{a}sz proposed a generalization of the Lov\'{a}sz conjecture as follows. If $||Hom(T, H)||$ is $k$-connected, then $\chi (H)\geq k+\chi (T) +1$. The first conjecture was originally confirmed by Babson and Kozlov, by complicated computations with spectral sequences. But the second one was disproved by Hoory and Linial. So, after that, a graph $T$ is called a test graph if for every graph $H$, the $k$-connectedness of $||Hom(T, H)||$ implies $\chi (H)\geq k + 1 + \chi(H)$. In this paper, we prove that if a graph $F$ possess an involutive automorphism that flips some edge; then it is a test graph. As a corollary, we give a purely combinatorial proof of the Lov\'{a}sz conjecture; odd cycles are test graphs. Indeed, although the Bj\"{o}rner and Lov\'{a}sz conjecture is not true in general, we show that a slight modification of the conjecture is always true. More precisely, we show that for any graph $T$, there is a supergraph $T\subseteq\hat{T}$ with $\chi(\hat{T})\leq\chi(T)+1$, such that $\hat{T}$ is a test graph.


title: Kovacs-like memory effect in athermal systems: linear response analysis

abstract: We analyse the emergence of Kovacs-like memory effects in athermal systems within the linear response regime. This is done by starting from both the master equation for the probability distribution and the equations for the physically relevant moments. The general results are applied to a general class of models with conserved momentum and non-conserved energy. Our theoretical predictions, obtained within the first Sonine approximation, show an excellent agreement with the numerical results.


title: Dynamics of Mixed Convective--Stably-Stratified Fluids

abstract: We study the dynamical regimes of a density-stratified fluid confined between isothermal no-slip top and bottom boundaries (at temperatures $T_t$ and $T_b$) via direct numerical simulation. The thermal expansion coefficient of the fluid is temperature dependent and chosen such that the fluid density is maximum at the inversion temperature $T_b>T_i>T_t$. Thus, the lower layer of the fluid is convectively unstable while the upper layer is stably stratified. We show that the characteristics of the convection change significantly depending on the degree of stratification of the stable layer. For strong stable stratification, the convection zone coincides with the fraction of the fluid that is convectively unstable (i.e. where $T>T_i$), and convective motions consist of rising and sinking plumes of large density anomaly, as is the case in canonical Rayleigh-Benard convection; internal gravity waves are generated by turbulent fluctuations in the convective layer and propagate in the upper layer. For weak stable stratification, we demonstrate that a large fraction of the stable fluid (i.e. with temperature $T<T_i$) is instead destabilized and entrained by buoyant plumes emitted from the bottom boundary. The convection thus mixes cold patches of low density-anomaly fluid with hot upward plumes, and the end result is that the $T_i$ isotherm sinks within the bottom boundary layer and that the convection is entrainment-dominated. We provide a phenomenological description of the transition between the regimes of plume-dominated and entrainment-dominated convection through analysis of quantities for different stratification strengths. We find that the effect of the stable layer on the convection decreases only weakly with increasing stratification strength, meaning that the dynamics of the stable layer and convection should be studied self-consistently in a wide range of applications.


title: Selmer groups and anticyclotomic $\mathbb{Z}_p$-extensions II

abstract: Let $E/\mathbb{Q}$ be an elliptic curve, $p$ a prime where $E$ has ordinary reduction and $K_{\infty}/K$ the anticyclotomic $\mathbb{Z}_p$-extension of a quadratic imaginary field $K$ satisfying the Heegner hypothesis. We give sufficient conditions on $E$ and $p$ in order to ensure that $\text{Sel}_{p^{\infty}}(E/K_{\infty})$ is a cofree $\Lambda$-module of rank one. We also show that these conditions imply that $\text{rank}(E(K_n))=p^n$ for all $n \geq 0$ and that the $p$-primary subgroup of the Tate-Shafarevich group of $E/K_n$ is trivial for all $n \geq 0$.


title: Balance control using both ZMP and COM height variations: A convex boundedness approach

abstract: Developments for 3D control of the center of mass (CoM) of biped robots are currently located in two local minima: on the one hand, methods that allow CoM height variations but only work in the 2D sagittal plane; on the other hand, nonconvex direct transcriptions of centroidal dynamics that are delicate to handle. This paper presents an alternative that controls the CoM in 3D via an indirect transcription that is both low-dimensional and solvable fast enough for real-time control. The key to this development is the notion of boundedness condition, which quantifies the capturability of 3D CoM trajectories.


title: Recovering water wave elevation from pressure measurements

abstract: The reconstruction of water wave elevation from bottom pressure measurements is an important issue for coastal applications, but corresponds to a difficult mathematical problem. In this paper we present the derivation of a method which allows the elevation reconstruction of water waves in intermediate and shallow waters. From comparisons with numerical Euler solutions and wave-tank experiments we show that our nonlinear method provides much better results of the surface elevation reconstruction compared to the linear transfer function approach commonly used in coastal applications. More specifically, our methodaccurately reproduces the peaked and skewed shape of nonlinear wave fields. Therefore, it is particularly relevant for applications on extreme waves and wave-induced sediment transport.


title: Temperature dependence of plastic scintillators

abstract: Plastic scintillator detectors have been studied as dosimeters, since they provide a cost-effective alternative to conventional ionization chambers. On the other hand, several articles have reported undesired response dependencies on beam energy and temperature, which enhances the necessity to determine appropriate correction factors. In this work, we studied the light yield temperature dependency of four plastic scintillators (BCF-10, BCF-60, BC-404 and RP-200A) and two clear fibers (BCF-98 and SK-80). Measurements were made using a 50 kVp X-ray beam to produce the scintillation and/or radioluminescence signal. The 0 to 40 degrees celsius range was scanned for each scintillator, and temperature coefficients obtained.


title: Low-temperature synthesis of high quality Ni-Fe layered double hydroxides hexagonal platelets

abstract: This paper describes the wet-chemistry synthesis of highly crystalline hexagonal flakes of Ni-Fe layered double hydroxide (LDH) produced at temperature as low as 100 oC. The flakes with diameter in the range of 0.5-1.5 um and the thickness between 15 and 20 nm were obtained by homogeneous precipitation method with the use of triethanolamine (TEA) and urea. By analyzing the intermediate products, it is suggested that, differently from previous reports, a thermodynamically metastable iron oxyhydroxide and Ni-TEA complex are firstly formed at room temperature. Subsequently, when the mixture is heated to 100 oC and the pH increases due to the thermal decomposition of urea, Ni2+ and Fe3+ are slowly released and then recombine, thus leading to formation of pure, highly-crystalline Ni-Fe LDH flakes. This material showed promising results as an electrocatalyst in oxygen evolution reaction (OER) providing an overpotential value of 0.36 V.


title: Nash equilibrium in a stochastic model of two competing athletes

abstract: We propose a toy model for a stochastic description of the competition between two athletes of unequal strength, whose average strength difference is represented by a parameter $d$. The athletes interact through the choice of their strategies $x,y\in[0,1]$. These variables denote the amount of energy each invests in the competition, and determine the performance of each athlete. Each athlete picks his strategy based on his knowledge of his own and his competitor's performance distribution, and on his evaluation of the danger of exhaustion, which increases with the amount of invested energy. We formulate this problem as a zero-sum game. Mathematically it is in the class of "discontinuous games" for which a Nash equilibrium is not guaranteed in advance. We demonstrate by explicit construction that the problem has a mixed strategy Nash equilibrium $\big( f(x),g(y) \big)$ for arbitrary $0<d<1$. The probability distributions $f$ and $g$ appear to both be the sum of a continuous component and a Dirac delta peak. It is remarkable that this problem is analytically tractable. The Nash equilibrium provides both the weaker and the stronger athlete with the best strategy to optimize their chances to win.


title: Sudden transitions in coupled opinion and epidemic dynamics with vaccination

abstract: This work consists of an epidemic model with vaccination coupled with an opinion dynamics. Our objective was to study how disease risk perception can influence opinions about vaccination and therefore the spreading of the disease. Differently from previous works we have considered continuous opinions. The epidemic spreading is governed by a SIS-like model with an extra vaccinated state. In our model individuals vaccinate with a probability proportional to their opinions. The opinions change due to peer influence in pairwise interactions. The epidemic feedback to the opinion dynamics acts as an external field increasing the vaccination probability. We performed Monte Carlo simulations in fully-connected populations. Interestingly we observed the emergence of a first-order phase transition, besides the usual active-absorbing phase transition presented in the SIS model. Our simulations also show that with a certain combination of parameters, an increment in the initial fraction of the population that is pro-vaccine has a twofold effect: it can lead to smaller epidemic outbreaks in the short term, but it also contributes to the survival of the chain of infections in the long term. Our results also suggest that it is possible that more effective vaccines can decrease the long-term vaccine coverage. This is a counterintuitive outcome, but it is in line with empirical observations that vaccines can become a victim of their own success.

categories: physics.soc-ph cond-mat.stat-mech cs.MA q-bio.PE


title: Uncoded Placement Optimization for Coded Delivery

abstract: We consider the classical coded caching problem as defined by Maddah-Ali and Niesen, where a server with a library of $N$ files of equal size is connected to $K$ users via a shared error-free link. Each user is equipped with a cache with capacity of $M$ files. The goal is to design a static content placement and delivery scheme such that the average load over the shared link is minimized. We first present a class of centralized coded caching schemes consisting of a general content placement strategy specified by a file partition parameter, enabling efficient and flexible content placement, and a specific content delivery strategy, enabling load reduction by exploiting common requests of different users. For the proposed class of schemes, we consider two cases for the optimization of the file partition parameter, depending on whether a large subpacketization level is allowed or not. In the case of an unrestricted subpacketization level, we formulate the coded caching optimization in order to minimize the average load under an arbitrary file popularity. A direct formulation of the problem involves $N2^K$ variables. By imposing some additional conditions, the problem is reduced to a linear program with $N(K+1)$ variables under an arbitrary file popularity and with $K+1$ variables under the uniform file popularity. We can recover Yu {\em et al.}'s optimal scheme for the uniform file popularity as an optimal solution of our problem. When a low subpacketization level is desired, we introduce a subpacketization level constraint involving the $\ell_0$ norm for each file. Again, by imposing the same additional conditions, we can simplify the problem to a difference of two convex functions (DC) problem with $N(K+1)$ variables that can be efficiently solved.


title: Positive solutions for Kirchhoff problems with vanishing nonlocal term

abstract: In this paper we study the Kirchhoff problem \begin{equation*} \left \{ \begin{array}{ll} -m(\| u \|^{2})\Delta u = f(u) & \mbox{in $\Omega$,} u=0 & \mbox{on $\partial\Omega$,} \end{array}\right. \end{equation*} in a bounded domain, allowing the function $m$ to vanish in many different points. Under an appropriated {\sl area condition}, by using a priori estimates, truncation techniques and variational methods, we prove a multiplicity result of positive solutions which are ordered in the $H_{0}^{1}(\Omega)$-norm.


title: Comparison of transport map generated by heat flow interpolation and the optimal transport Brenier map

abstract: This note shows that the non-expansive transport map constructed by Y.-H. Kim and E. Milman using heat flow interpolation is in general different from the optimal transport Brenier map.


title: Tate kernels, etale K-theory and the Gross kernel

abstract: For an odd prime $p$ and a number field $F$ containing a $p$th root of unity, we study generalised Tate kernels, $D_F^{[i,n]}$, for $i\in \mathbb{Z}$ and $n\geq 1$, having the properties that if $i\geq 2$ and if either $p$ does not divide $i$ or $\mu_{p^n}\subset F$ then there are natural isomorphisms $D_F^{[i,n]}\cong K^{\mbox{\tiny \'et}}_{2i-1}(O_F^S)/p^n$, and that they are periodic modulo a power of $p$ which depends on $F$ and $n$. Our main result is that if the Gross-Jaulent conjecture holds for $(F,p)$ then there is a natural isomorphism $D_F^{[i,n]}\cong\mathcal{E}_F/p^n$ where $\mathcal{E}_F$ is the Gross kernel. We apply this result to compute lower bounds for capitulation kernels in even \'etale $K$-theory.


title: Evaluation of the Rate of Convergence in the PIA

abstract: Folklore says that Howard's Policy Improvement Algorithm converges extraordinarily fast, even for controlled diffusion settings. In a previous paper, we proved that approximations of the solution of a particular parabolic partial differential equation obtained via the policy improvement algorithm show a quadratic local convergence. In this paper, we show that we obtain the same rate of convergence of the algorithm in a more general setup. This provides some explanation as to why the algorithm converges fast. We provide an example by solving a semilinear elliptic partial differential equation numerically by applying the algorithm and check how the approximations converge to the analytic solution.


title: ${\Lambda}$-enhanced grey molasses on the $D_2$ transition of Rubidium-87 atoms

abstract: Laser cooling based on dark states, i.e. states decoupled from light, has proven to be effective to increase the phase-space density of cold trapped atoms. Dark-states cooling requires open atomic transitions, in contrast to the ordinary laser cooling used for example in magneto-optical traps (MOTs), which operate on closed atomic transitions. For alkali atoms, dark-states cooling is therefore commonly operated on the $D_1$ transition $n S_{1/2}\rightarrow n P_{1/2}$. We show that, for $^{87}\text{Rb}$, thanks to the large hyperfine structure separations the use of this transition is not strictly necessary and that $"$quasi-dark state$"$ cooling is efficient also on the $D_2$ line, $5 S_{1/2}\rightarrow 5 P_{3/2}$. We report temperatures as low as $(4.0\pm 0.3)\,\mu$K and an increase of almost an order of magnitude in the phase space density with respect to ordinary laser sub-Doppler cooling.


title: First direct mass measurements of nuclides around $Z=100$ with a Multireflection Time-of-Flight Mass Spectrograph

abstract: The masses of $^{246}$Es, $^{251}$Fm and the transfermium nuclei $^{249-252}$Md, and $^{254}$No, produced by hot- and cold-fusion reactions, in the vicinity of the deformed $N=152$ neutron shell closure, have been directly measured using a multireflection time-of-flight mass spectrograph. The masses of $^{246}$Es and $^{249,250,252}$Md were measured for the first time. Using the masses of $^{249,250}$Md as anchor points for $\alpha$ decay chains, the masses of heavier nuclei, up to $^{261}$Bh and $^{266}$Mt, were determined. These new masses were compared with theoretical global mass models and demonstrated to be in good agreement with macroscopic-microscopic models in this region. The empirical shell gap parameter $\delta_{2n}$ derived from three isotopic masses was updated with the new masses and corroborate the existence of the deformed $N=152$ neutron shell closure for Md and Lr.


title: On dihedral flows in embedded graphs

abstract: Let $\Gamma$ be a multigraph with for each vertex a cyclic order of the edges incident with it. For $n \geq 3$, let $D_{2n}$ be the dihedral group of order $2n$. Define $\mathbb{D} := \{(\begin{smallmatrix} 1 & a \\ 0 & 1 \end{smallmatrix}) \mid a \in \mathbb{Z}\}$. In [5] it was asked whether $\Gamma$ admits a nowhere-identity $D_{2n}$-flow if and only if it admits a nowhere-identity $\mathbb{D}$-flow with $|a| < n$ (a `nowhere-identity $\mathbb{D}_n$-flow'). We give counterexamples to this statement and provide general obstructions. Furthermore, the complexity of the existence of nowhere-identity $\mathbb{D}_2$-flows is discussed. Lastly, graphs in which the equivalence of the existence of flows as above is true, are described. We focus particularly on cubic graphs.


title: Kernels for Noncommutative Projective Schemes

abstract: We give a noncommutative geometric description of the internal Hom dg-category in the homotopy category of dg-categories between two noncommutative projective schemes in the style of Artin-Zhang. As an immediate application, we give a noncommutative projective derived Morita statement along lines of Rickard and Orlov.


title: Ground-based astrometry calibrated by Gaia DR1: new perspectives in asteroid orbit determination

abstract: The Gaia Data Release 1 (GDR1) is a first, important step on the path of evolution of astrometric accuracy towards a much improved situation. Although asteroids are not present in GDR1, this intermediate release already impacts asteroid astrometry. Our goal is to investigate how the GDR1 can change the approach to a few typical problems, including the determination of orbits from short-arc astrometry, the exploitation of stellar occultations, and the impact risk assessment. We employ optimised asteroid orbit determination tools, and study the resulting orbit accuracy and post-fit residuals. For this goal, we use selected ground-based asteroid astrometry, and occultation events observed in the past. All measurements are calibrated by using GDR1 stars. We show that, by adopting GDR1, very short measurement arcs can already provide interesting orbital solutions, capable of correctly identifying Near Earth Asteroids (NEAs) and providing a much more accurate risk rating. We also demonstrate that occultations, previously used to derive asteroid size and shapes, now reach a new level of accuracy at which they can be fruitfully used to obtain astrometry at the level of accuracy of Gaia star positions.


title: On the derivation of the GKLS equation for weakly coupled systems

abstract: We consider the reduced dynamics of a small quantum system in interaction with a reservoir when the initial state is factorized. We present a rigorous derivation of a GKLS master equation in the weak-coupling limit for a generic bath, which is not assumed to have a bosonic or fermionic nature, and whose reference state is not necessarily thermal. The crucial assumption is a reservoir state endowed with a mixing property: the n-point connected correlation function of the interaction must be asymptotically bounded by the product of two-point functions (clustering property).


title: Planarity conditions and four-body central configurations equations with angles as coordinates

abstract: We discuss several conditions for four points to lie on a plane, and we use them to find new equations for four-body central configurations that use angles as variables. We use these equations to give novel proofs of some results for four-body central configuration. We also give a clear geometrical explanation of why Ptolemy's theorem can be used to write equations for co-circular central configurations when mutual distances are used as coordinates.


title: Judicial Review of Uncertain Risks in Scientific Research

abstract: It is difficult to neutrally evaluate the risks posed by large-scale leading-edge science experiments. Traditional risk assessment is problematic in this context for multiple reasons. Also, such experiments can be insulated from challenge by manipulating how questions of risk are framed. Yet courts can and must evaluate these risks. In this chapter, I suggest modes of qualitative reasoning to facilitate such evaluation.


title: Restricted-Boltzmann-Machine Learning for Solving Strongly Correlated Quantum Systems

abstract: We develop a machine learning method to construct accurate ground-state wave functions of strongly interacting and entangled quantum spin as well as fermionic models on lattices. A restricted Boltzmann machine algorithm in the form of an artificial neural network is combined with a conventional variational Monte Carlo method with pair product (geminal) wave functions and quantum number projections. The combination allows an application of the machine learning scheme to interacting fermionic systems. The combined method substantially improves the accuracy beyond that ever achieved by each method separately, in the Heisenberg as well as Hubbard models on square lattices, thus proving its power as a highly accurate quantum many-body solver.

categories: cond-mat.str-el cond-mat.dis-nn physics.comp-ph quant-ph


title: Image operator learning coupled with CNN classification and its application to staff line removal

abstract: Many image transformations can be modeled by image operators that are characterized by pixel-wise local functions defined on a finite support window. In image operator learning, these functions are estimated from training data using machine learning techniques. Input size is usually a critical issue when using learning algorithms, and it limits the size of practicable windows. We propose the use of convolutional neural networks (CNNs) to overcome this limitation. The problem of removing staff-lines in music score images is chosen to evaluate the effects of window and convolutional mask sizes on the learned image operator performance. Results show that the CNN based solution outperforms previous ones obtained using conventional learning algorithms or heuristic algorithms, indicating the potential of CNNs as base classifiers in image operator learning. The implementations will be made available on the TRIOSlib project site.


title: The maximal development of near-FLRW data for the Einstein-scalar field system with spatial topology $\mathbb{S}^3$

abstract: The Friedmann--Lema\^{\i}tre--Robertson--Walker (FLRW) solution to the Einstein-scalar field system with spatial topology $\mathbb{S}^3$ models a universe that emanates from a singular spacelike hypersurface (the Big Bang), along which various spacetime curvature invariants blow up, only to re-collapse in a symmetric fashion in the future (the Big Crunch). In this article, we give a complete description of the maximal developments of perturbations of the FLRW data at the chronological midpoint of its evolution. We show that the perturbed solutions also exhibit curvature blowup along a pair of spacelike hypersurfaces, signifying the stability of the Big Bang and the Big Crunch. Moreover, we provide a sharp description of the asymptotic behavior of the solution up to the singularities, showing in particular that various time-rescaled solution variables converge to regular tensorfields on the singular hypersurfaces that are close to the corresponding FLRW tensorfields. Our proof crucially relies on $L^2$-type approximate monotonicity identities in the spirit of the ones we used in our joint works with Rodnianski, in which we proved similar results for nearly spatially flat solutions with spatial topology $\mathbb{T}^3$. In the present article, we rely on new ingredients to handle nearly round spatial metrics on $\mathbb{S}^3$, whose curvatures are order-unity near the initial data hypersurface. In particular, our proof relies on i) the construction of a globally defined spatial vectorfield frame adapted to the symmetries of a round metric on $\mathbb{S}^3$; ii) estimates for the Lie derivatives of various geometric quantities with respect to the elements of the frame; and iii) sharp estimates for the asymptotic behavior of the FLRW solution's scale factor near the singular hypersurfaces.


title: Einstein-Gauss-Bonnet theory of gravity: The Gauss-Bonnet-Katz boundary term

abstract: We propose a boundary term to the Einstein-Gauss-Bonnet action for gravity, which is constructed as the dimensional continuation of the Chern-Weil theorem, and such that the extremization of the full action yields the equations of motion when Dirichlet boundary conditions are imposed. When translated into tensorial language, this boundary term is the generalization to this theory of the Katz boundary term and vector for general relativity. The construction allows to deal with a general background and includes the Gibbons-Hawking-Myers boundary term as a special case, when the background is taken to be a product manifold. As a first application we show that this Einstein Gauss-Bonnet Katz action yields, without any extra ingredients or regularization, the expected mass of the Boulware-Deser black hole.


title: The geography of references in elite articles: What countries contribute to the archives of knowledge

abstract: This study is intended to find an answer for the question on which national "shoulders" the worldwide top-level research stands. Traditionally, national scientific standings are evaluated in terms of the number of citations to their papers. We raise a different question: instead of analyzing the citations to the countries' articles (the forward view), we examine referenced publications from specific countries cited in the most elite publications (the backward-citing-view). "Elite publications" are operationalized as the top-1% most-highly cited articles. Using the articles published during the years 2004 to 2013, we examine the research referenced in these works. Our results confirm the well-known fact that China has emerged to become a major player in science. However, China still belongs to the low contributors when countries are ranked as contributors to the cited references in top-1% articles. Using this perspective, the results do not point to a decreasing trend for the USA; in fact, the USA exceeds expectations (compared to its publication share) in terms of contributions to cited references in the top-1% articles. Switzerland, Sweden, and the Netherlands also are shown at the top of the list. However, the results for Germany are lower than statistically expected.


title: Kinetic theory and Brazilian income distribution

abstract: We investigate the Brazilian personal income distribution using data from National Household Sample Survey (PNAD), an annual research available by the Brazilian Institute of Geography and Statistics (IBGE). It provides general characteristics of the country's population. Using PNAD data background we also confirm the effectiveness of a semi-empirical model that reconciles Pareto power-law for high-income people and Boltzmann- Gibbs distribution for the rest of population. We use three measures of income inequality: the Pareto index, the average income and the crossover income. In order to cope with many dimensions of the income inequality, we calculate these three indices and also the Gini coefficient for the general population as well as for two kinds of population dichotomies: black / indigenous / mixed race versus white / yellow; and men versus women. We also followed the time series of these indices for the period 2001-2014. The results suggest a decreasing of Brazilian income inequality over the selected period. Another important result is that historically-disadvantaged subgroups (Women and black / indigenous / mixed race),that are the majority of the population, have a more equalitarian income distribution. These groups have also a smaller monthly income than the others and this social structure remained virtually unchanged in the period of time.


title: Regular subspaces of a Bourgain-Delbaen space $\mathscr B_{mT}$

abstract: The space $\mathscr B_{mt}[(m_j)_j,(n_j)_j]$ is a Bourgain-Delbaen space modelled on a mixed Tsirelson space $T[(m_j)_j,(n_j)_j]$ and is a slight modification of $\mathfrak B_{\text{mt}}[(m_j)_j,(n_j)_j]$, a space defined by S. Argyros and R. Haydon. We prove that in every infinite dimensional subspace of $\mathscr B_{mt}[(m_j)_j,(n_j)_j]$ there exists a basic sequence equivalent to a sequence of weighted basis averages of increasing length from $T[(m_j)_j,(n_j)_j]$. We remark that the same is true for the original space $\mathfrak B_{\text{mt}}[(m_j)_j,(n_j)_j]$.


title: Evolution of inverse cascades and formation of precondensate in Gross-Pitaevskii turbulence in two dimensions

abstract: Here we study how coherence appears in a system driven by noise at small scales. In the wave turbulence modeled by the Gross-Pitaevskii / nonlinear Schr\"odinger equation, we observe states with correlation scales less than the system size but much larger than the excitation scale. We call such state precondensate to distinguish it from condensate defined as a system-wide coherent state. Both condensate and precondensate are characterized by large scale phase coherence and narrow distribution of amplitudes. When one excites small scales, precondensate is achieved relatively quickly by an inverse cascade heating quasi-equilibrium distribution of large-scale modes. The transition from the precondensate to the system-wide condensate requires much longer time. The spectra of precondensate differ from quasi-equilibrium and are characterized by two bending points, one on the scale of the average distance between vortex pairs, and the other on the scale of the distance between vortices in a pair. We suggest temporal evolution laws for both lengths and use them to predict the probability of the transition to condensate.

categories: physics.flu-dyn cond-mat.other nlin.AO nlin.CD


title: Magnus integrators on multicore CPUs and GPUs

abstract: In the present paper we consider numerical methods to solve the discrete Schr\"odinger equation with a time dependent Hamiltonian (motivated by problems encountered in the study of spin systems). We will consider both short-range interactions, which lead to evolution equations involving sparse matrices, and long-range interactions, which lead to dense matrices. Both of these settings show very different computational characteristics. We use Magnus integrators for time integration and employ a framework based on Leja interpolation to compute the resulting action of the matrix exponential. We consider both traditional Magnus integrators (which are extensively used for these types of problems in the literature) as well as the recently developed commutator-free Magnus integrators and implement them on modern CPU and GPU (graphics processing unit) based systems. We find that GPUs can yield a significant speed-up (up to a factor of $10$ in the dense case) for these types of problems. In the sparse case GPUs are only advantageous for large problem sizes and the achieved speed-ups are more modest. In most cases the commutator-free variant is superior but especially on the GPU this advantage is rather small. In fact, none of the advantage of commutator-free methods on GPUs (and on multi-core CPUs) is due to the elimination of commutators. This has important consequences for the design of more efficient numerical methods.


title: The Unconventional Photon Blockade

abstract: We review the unconventional photon blockade mechanism. This quantum effect remarkably enables a strongly sub-Poissonian light statistics, even from a system characterized by a weak single photon nonlinearity. We revisit the past results, which can be interpreted in terms of quantum interferences or optimal squeezing, and show how recent developments on input-output field mixing can overcome the limitations of the original schemes towards passive and integrable single photon sources. We finally present some valuable alternative schemes for which the unconventional blockade can be directly adapted.


title: The virtual Thurston seminorm of 3-manifolds

abstract: We show that the Thurston seminorms of all finite covers of an aspherical 3-manifold determine whether it is a graph manifold, a mixed 3-manifold or hyperbolic.


title: Getting Virtualized Wireless Sensor Networks IaaS Ready for PaaS

abstract: With the recent advances in sensor hardware and software, architectures for virtualized Wireless Sensor Networks (vWSNs) are now emerging. Through node- and network-level virtualization, vWSNs can be offered as Infrastructure-as-a-Service (IaaS) which can aid in realizing the true potential of Internet-of-Things (IoT). Cloud computing offers elastic provisioning of large-scale infrastructures to multiple concurrent users where Platform-as-a-Service (PaaS) interacts with IaaS in order to efficiently host and execute applications over these infrastructures. Amalgamating IoT with cloud computing potentially allows rapid application and service provisioning in an efficient, scalable and robust manner. However, interactions between vWSNs and PaaS are largely an unexplored area. Indeed, existing vWSN IaaS are not yet ready for PaaS. This paper proposes a vWSN IaaS architecture which is ready for interactions with PaaS. The proposed architecture is based on our previous works and is rooted in the fundamental differences between traditional IaaS and vWSN IaaS. We built a prototype using Java Sunspot as the WSN tool kit and made early performance measurements.


title: A Simple and Efficient Algorithm for Nonlinear Model Predictive Control

abstract: We present PANOC, a new algorithm for solving optimal control problems arising in nonlinear model predictive control (NMPC). A usual approach to this type of problems is sequential quadratic programming (SQP), which requires the solution of a quadratic program at every iteration and, consequently, inner iterative procedures. As a result, when the problem is ill-conditioned or the prediction horizon is large, each outer iteration becomes computationally very expensive. We propose a line-search algorithm that combines forward-backward iterations (FB) and Newton-type steps over the recently introduced forward-backward envelope (FBE), a continuous, real-valued, exact merit function for the original problem. The curvature information of Newton-type methods enables asymptotic superlinear rates under mild assumptions at the limit point, and the proposed algorithm is based on very simple operations: access to first-order information of the cost and dynamics and low-cost direct linear algebra. No inner iterative procedure nor Hessian evaluation is required, making our approach computationally simpler than SQP methods. The low-memory requirements and simple implementation make our method particularly suited for embedded NMPC applications.


title: Search of extended or delayed TeV emission from GRBs with HAWC

abstract: Gamma-ray bursts (GRBs) are among the most luminous sources in the universe and the nature of their emission up to very high energy is one of the most important open issue connected with the study of these peculiar events. The High Altitude Water Cherenkov (HAWC) gamma-ray observatory, installed at an altitude of 4100 m a. s. l. in the state of Puebla (Mexico), has completed its second year of full operations. Thanks to its instantaneous field of view of ~2 sr and its high duty cycle ($\ge$ 95%), HAWC is an ideal instrument for the study of transient phenomena such as GRBs. We performed a search for TeV emission delayed with respect to, and of longer duration than the prompt emission observed by satellites. We present here the results obtained by observing at the position of a sample of GRBs detected by the Fermi and Swift satellites from December 2014 to February 2017. The upper limits resulting from this analysis are presented and theoretical implications are discussed.


title: Accurate Genomic Prediction Of Human Height

abstract: We construct genomic predictors for heritable and extremely complex human quantitative traits (height, heel bone density, and educational attainment) using modern methods in high dimensional statistics (i.e., machine learning). Replication tests show that these predictors capture, respectively, $\sim$40, 20, and 9 percent of total variance for the three traits. For example, predicted heights correlate $\sim$0.65 with actual height; actual heights of most individuals in validation samples are within a few cm of the prediction. The variance captured for height is comparable to the estimated SNP heritability from GCTA (GREML) analysis, and seems to be close to its asymptotic value (i.e., as sample size goes to infinity), suggesting that we have captured most of the heritability for the SNPs used. Thus, our results resolve the common SNP portion of the "missing heritability" problem -- i.e., the gap between prediction R-squared and SNP heritability. The $\sim$20k activated SNPs in our height predictor reveal the genetic architecture of human height, at least for common SNPs. Our primary dataset is the UK Biobank cohort, comprised of almost 500k individual genotypes with multiple phenotypes. We also use other datasets and SNPs found in earlier GWAS for out-of-sample validation of our results.


title: Effect of Co substitution on Ni$_{2}$MnGe Heusler alloy: ab initio study

abstract: Ab initio calculations shown that the Co substitution instead of Ni in Ni$_{2}$MnGe with the L2$_{1}$ crystallographic structure leads to a decrease of the lattice constant and an increase of the total magnetic moment of the Ni$_{2-x}$Co$_{x}$MnGe compounds. The Mn(B) has the largest local moment above $3~\mu_{B}$ coupled parallel to moments on the Ni(A,C) and Co(A,C), which are found in the ranges of $0.19\div0.26~\mu_{B}$ for Ni(A,C) and $1.03\div0.97~\mu_{B}$ for Co(A,C) for studied range of $x$. Using the results stemming from the total energy calculations, the values of bulk modulus and its pressure derivatives are estimated according to the Murnaghan EOS.


title: Atomic Clock Ensemble in Space (ACES) data analysis

abstract: The Atomic Clocks Ensemble in Space (ACES/PHARAO mission, ESA and CNES) will be installed on board the International Space Station (ISS) next year. A crucial part of this experiment is its two-way MicroWave Link (MWL), which will compare the timescale generated on board with those provided by several ground stations disseminated on the Earth. A dedicated Data Analysis Center (DAC) is being implemented at SYRTE -- Observatoire de Paris, where our team currently develops theoretical modelling, numerical simulations and the data analysis software itself. In this paper, we present some key aspects of the MWL measurement method and the associated algorithms for simulations and data analysis. We show the results of tests using simulated data with fully realistic effects such as fundamental measurement noise, Doppler, atmospheric delays, or cycle ambiguities. We demonstrate satisfactory performance of the software with respect to the specifications of the ACES mission. The main scientific product of our analysis is the clock desynchronisation between ground and space clocks, i.e. the difference of proper times between the space clocks and ground clocks at participating institutes. While in flight, this measurement will allow for tests of General Relativity and Lorentz invariance at unprecedented levels, e.g. measurement of the gravitational redshift at the 3 . 10^-6 level. As a specific example, we use real ISS orbit data with estimated errors at the 10 m level to study the effect of such errors on the clock desynchronisation obtained from MWL data. We demonstrate that the resulting effects are totally negligible.


title: The SMEFTsim package, theory and tools

abstract: We report codes for the Standard Model Effective Field Theory (SMEFT) in FeynRules -- the SMEFTsim package. The codes enable theoretical predictions for dimension six operator corrections to the Standard Model using numerical tools, where predictions can be made based on either the electroweak input parameter set $\{\hat{\alpha}_{ew}, \hat{m}_Z, \hat{G}_F \}$ or $\{\hat{m}_{W}, \hat{m}_Z, \hat{G}_F\}$. All of the baryon and lepton number conserving operators present in the SMEFT dimension six Lagrangian, defined in the Warsaw basis, are included. A flavour symmetric ${\rm U}(3)^5$ version with possible non-SM $\rm CP$ violating phases, a (linear) minimal flavour violating version neglecting such phases, and the fully general flavour case are each implemented. The SMEFTsim package allows global constraints to be determined on the full Wilson coefficient space of the SMEFT. As the number of parameters present is large, it is important to develop global analyses on reduced sets of parameters minimizing any UV assumptions and relying on IR kinematics of scattering events and symmetries. We simultaneously develop the theoretical framework of a "W-Higgs-Z pole parameter" physics program that can be pursued at the LHC using this approach and the SMEFTsim package. We illustrate this methodology with several numerical examples interfacing SMEFTsim with MadGraph5. The SMEFTsim package can be downloaded at https://feynrules.irmp.ucl.ac.be/wiki/SMEFT


title: Learning to update Auto-associative Memory in Recurrent Neural Networks for Improving Sequence Memorization

abstract: Learning to remember long sequences remains a challenging task for recurrent neural networks. Register memory and attention mechanisms were both proposed to resolve the issue with either high computational cost to retain memory differentiability, or by discounting the RNN representation learning towards encoding shorter local contexts than encouraging long sequence encoding. Associative memory, which studies the compression of multiple patterns in a fixed size memory, were rarely considered in recent years. Although some recent work tries to introduce associative memory in RNN and mimic the energy decay process in Hopfield nets, it inherits the shortcoming of rule-based memory updates, and the memory capacity is limited. This paper proposes a method to learn the memory update rule jointly with task objective to improve memory capacity for remembering long sequences. Also, we propose an architecture that uses multiple such associative memory for more complex input encoding. We observed some interesting facts when compared to other RNN architectures on some well-studied sequence learning tasks.


title: Causality theory for closed cone structures with applications

abstract: We develop causality theory for upper semi-continuous distributions of cones over manifolds generalizing results from mathematical relativity in two directions: non-round cones and non-regular differentiability assumptions. We prove the validity of most results of the regular Lorentzian causality theory including causal ladder, Fermat's principle, notable singularity theorems in their causal formulation, Avez-Seifert theorem, characterizations of stable causality and global hyperbolicity by means of (smooth) time functions. For instance, we give the first proof for these structures of the equivalence between stable causality, $K$-causality and existence of a time function. The result implies that closed cone structures that admit continuous increasing functions also admit smooth ones. We also study proper cone structures, the fiber bundle analog of proper cones. For them we obtain most results on domains of dependence. Moreover, we prove that horismos and Cauchy horizons are generated by lightlike geodesics, the latter being defined through the achronality property. Causal geodesics and steep temporal functions are obtained with a powerful product trick. The paper also contains a study of Lorentz-Minkowski spaces under very weak regularity conditions. Finally, we introduce the concepts of stable distance and stable spacetime solving two well known problems (a) the characterization of Lorentzian manifolds embeddable in Minkowski spacetime, they turn out to be the stable spacetimes, (b) the proof that topology, order and distance (with a formula a la Connes) can be represented by the smooth steep temporal functions. The paper is self-contained, in fact we do not use any advanced result from mathematical relativity.


title: Convolutional Long Short-Term Memory Networks for Recognizing First Person Interactions

abstract: In this paper, we present a novel deep learning based approach for addressing the problem of interaction recognition from a first person perspective. The proposed approach uses a pair of convolutional neural networks, whose parameters are shared, for extracting frame level features from successive frames of the video. The frame level features are then aggregated using a convolutional long short-term memory. The hidden state of the convolutional long short-term memory, after all the input video frames are processed, is used for classification in to the respective categories. The two branches of the convolutional neural network perform feature encoding on a short time interval whereas the convolutional long short term memory encodes the changes on a longer temporal duration. In our network the spatio-temporal structure of the input is preserved till the very final processing stage. Experimental results show that our method outperforms the state of the art on most recent first person interactions datasets that involve complex ego-motion. In particular, on UTKinect-FirstPerson it competes with methods that use depth image and skeletal joints information along with RGB images, while it surpasses all previous methods that use only RGB images by more than 20% in recognition accuracy.


title: Upper Limits to Magnetic Fields in the Outskirts of Galaxies

abstract: Based on CO(2-1) public data, we study the monoxide oxygen gas excitation conditions and the magnetic field strength of four spiral galaxies. For the galaxy outskirts, we found kinetic temperatures in the range of $\lesssim$35--38 K, CO column densities $\lesssim 10^{15}$--$10^{16}$ cm$^{-2}$, and H$_2$ masses $\lesssim 4\times 10^6$--$6\times10^8$ M$_\odot$. An H$_2$ density $\lesssim 10^3$ cm$^{-3}$ is suitable to explain the 2$\sigma$ upper limits of the CO(2-1) line intensity. We constrain the magnetic field strength for our sample of spiral galaxies and their outskirts by using their masses and H$_2$ densities to evaluate a simplified magneto-hydrodynamic equation. Our estimations provide values for the magnetic field strength on the order of $\lesssim$6--31 {$\upmu$G}.


title: A modified Friedmann equation

abstract: We recently formulated a model of the universe based on an underlying W3-symmetry. It allows the creation of the universe from nothing and the creation of baby universes and wormholes for spacetimes of dimension 2, 3, 4, 6 and 10. Here we show that the classical large time and large space limit of these universes is one of exponential fast expansion without the need of a cosmological constant. Under a number of simplifying assumptions our model predicts that w=-1.2 in the case of four-dimensional spacetime. The possibility of obtaining a w-value less than -1 is linked to the ability of our model to create baby universes and wormholes.


title: Contrasting SYK-like Models

abstract: We contrast some aspects of various SYK-like models with large-$N$ melonic behavior. First, we note that ungauged tensor models can exhibit symmetry breaking, even though these are 0+1 dimensional theories. Related to this, we show that when gauged, some of them admit no singlets, and are anomalous. The uncolored Majorana tensor model with even $N$ is a simple case where gauge singlets can exist in the spectrum. We outline a strategy for solving for the singlet spectrum, taking advantage of the results in arXiv:1706.05364, and reproduce the singlet states expected in $N=2$. In the second part of the paper, we contrast the random matrix aspects of some ungauged tensor models, the original SYK model, and a model due to Gross and Rosenhaus. The latter, even though disorder averaged, shows parallels with the Gurau-Witten model. In particular, the two models fall into identical Andreev ensembles as a function of $N$. In an appendix, we contrast the (expected) spectra of AdS$_2$ quantum gravity, SYK and SYK-like tensor models, and the zeros of the Riemann Zeta function.


title: Embedding Constrained Model Predictive Control in a Continuous-Time Dynamic Feedback

abstract: This paper introduces a continuous-time constrained nonlinear control scheme which implements a model predictive control strategy as a continuous-time dynamic system. The approach is based on the idea that the solution of the optimal control problem can be embedded into the internal states of a dynamic control law which runs in parallel to the system. Using input to state stability arguments, it is shown that if the controller dynamics are sufficiently fast with respect to the plant dynamics, the interconnection between the two systems is asymptotically stable. Additionally, it is shown that, by augmenting the proposed scheme with an add-on unit known as an Explicit Reference Governor, it is possible to drastically increase the set of initial conditions that can be steered to the desired reference without violating the constraints. Numerical examples demonstrate the effectiveness of the proposed scheme.


title: Duality for metaplectic ice

abstract: We interpret values of spherical Whittaker functions on metaplectic covers of the general linear group over a nonarchimedean local field as partition functions of two different solvable lattice models. We prove the equality of these two partition functions by showing the commutativity of transfer matrices associated to different models via the Yang-Baxter equation.


title: Interactions between multiple supermassive black holes in galactic nuclei: a solution to the final parsec problem

abstract: Using few-body simulations, we investigate the evolution of supermassive black holes (SMBHs) in galaxies ($M_{\star}=10^{10}-10^{12}{\rm M}_{\odot}$ at $z=0$) at $0<z<4$. Following galaxy merger trees from the Millennium simulation, we model BH mergers with two extreme binary decay scenarios for the `hard binary' stage: a full or an empty loss cone. These two models should bracket the true evolution, and allow us to separately explore the role of dynamical friction and that of multi-body BH interactions on BH mergers. Using the computed merger rates, we infer the stochastic gravitational wave background (GWB). Our dynamical approach is a first attempt to study the dynamical evolution of multiple SMBHs in the host galaxies undergoing mergers with various mass ratios ($10^{-4} < q_{\star} < 1$). Our main result demonstrates that SMBH binaries are able to merge in both scenarios. In the empty loss cone case, we find that BHs merge via multi-body interactions, avoiding the `final parsec' problem, and entering the PTA band with substantial orbital eccentricity. Our full loss cone treatment, albeit more approximate, suggests that the eccentricity becomes even higher when GWs become dominant, leading to rapid coalescences (binary lifetime $\lesssim1 {\rm ~Gyr}$). Despite the lower merger rates in the empty loss cone case, due to their higher mass ratios and lower redshifts, the GWB in the full/empty loss cone models are comparable ($0.70\times10^{-15}$ and $0.53\times10^{-15}$ at a frequency of $1~{\rm yr}^{-1}$, respectively). Finally, we compute the effects of high eccentricities on the GWB spectrum.


title: Riesz space-valued states on pseudo MV-algebras

abstract: We introduce Riesz space-valued states, called $(R,1_R)$-states, on a pseudo MV-algebra, where $R$ is a Riesz space with a fixed strong unit $1_R$. Pseudo MV-algebras are a non-commutative generalization of MV-algebras. Such a Riesz space-valued state is a generalization of usual states on MV-algebras. Any $(R,1_R)$-state is an additive mapping preserving a partial addition in pseudo MV-algebras. Besides we introduce $(R,1_R)$-state-morphisms and extremal $(R,1_R)$-states, and we study relations between them. We study metrical completion of unital $\ell$-groups with respect to an $(R,1_R)$-state. If the unital Riesz space is Dedekind complete, we study when the space of $(R,1_R)$-states is a Choquet simplex or even a Bauer simplex.


title: VOXES, a new high resolution X-ray spectrometer for low yield measurements with diffused sources

abstract: The VOXES project's goal is to realize the first prototype of a high resolution and high precision X-ray spectrometer for diffused sources, using Highly Annealed Pyrolitic Graphite (HAPG) crystals combined with precision position detectors. The aim is to deliver a cost effective and easy to handle system having an energy resolution at the level of few eV for X-ray energies from about 2 keV up to tens of keV. There are many applications of the proposed spectrometer, going from fundamental physics (precision measurements of exotic atoms at DA$\Phi$NE collider and J-PARC, precision measurement of the $K^-$ mass solving the existing puzzle, quantum mechanics tests) to synchrotron radiation and applications (X-FEL), astronomy, medicine and industry. Here, the basic concept of such a spectrometer and the first results from a measurement of the characteristic Cu $K_{\alpha 1}$ and $K_{\alpha 2}$ X-ray lines are presented.


title: A finite element approach to dynamical diffraction problems

abstract: A finite element approach to solve numerically the Takagi-Taupin equations expressed in a weak form is presented and applied to simulate X-ray reflectivity curves, spatial intensity distributions and focusing properties of bent perfect crystals in symmetric reflection geometry. The proposed framework encompasses a new formulation of the Takagi-Taupin equations, which appears to be promising in terms of robustness and stability and supports the Fresnel propagation of the diffracted waves. The presented method is very flexible and has the potential of dealing with dynamical X-ray or neutron diffraction problems related to crystals of arbitrary shapes and deformations. The reference implementation based on the commercial COMSOL Multiphysics software package is available to the relevant user community.


title: SalNet360: Saliency Maps for omni-directional images with CNN

abstract: The prediction of Visual Attention data from any kind of media is of valuable use to content creators and used to efficiently drive encoding algorithms. With the current trend in the Virtual Reality (VR) field, adapting known techniques to this new kind of media is starting to gain momentum. In this paper, we present an architectural extension to any Convolutional Neural Network (CNN) to fine-tune traditional 2D saliency prediction to Omnidirectional Images (ODIs) in an end-to-end manner. We show that each step in the proposed pipeline works towards making the generated saliency map more accurate with respect to ground truth data.


title: On the monotone and primal-dual active set schemes for $\ell^p$-type problems, $p \in (0,1]$

abstract: Nonsmooth nonconvex optimization problems involving the $\ell^p$ quasi-norm, $p \in (0, 1]$, of a linear map are considered. A monotonically convergent scheme for a regularized version of the original problem is developed and necessary optimality conditions for the original problem in the form of a complementary system amenable for computation are given. Then an algorithm for solving the above mentioned necessary optimality conditions is proposed. It is based on a combination of the monotone scheme and a primal-dual active set strategy. The performance of the two algorithms is studied by means of a series of numerical tests in different cases, including optimal control problems, fracture mechanics and microscopy image reconstruction.


title: Cosmic-ray Antimatter

abstract: In recent years, space-born experiments have delivered new measurements of high energy cosmic-ray (CR) $\bar p$ and $e^+$. In addition, unprecedented sensitivity to CR composite anti-nuclei anti-d and anti-He is expected to be achieved in the near future. We report on the theoretical interpretation of these measurements. While CR antimatter is a promising discovery tool for new physics or exotic astrophysical phenomena, an irreducible background arises from secondary production by primary CR collisions with interstellar matter. Understanding this irreducible background or constraining it from first principles is an interesting challenge. We review the attempt to obtain such understanding and apply it to CR $\bar p,\, e^+,$ anti-d and anti-He. Based on state of the art Galactic cosmic ray measurements, dominated currently by the AMS-02 experiment, we show that: (i) CR $\bar p$ most likely come from CR-gas collisions; (ii) $e^+$ data is consistent with, and suggestive of the same secondary astrophysical production mechanism responsible for $\bar p$ and dominated by proton-proton collisions. In addition, based on recent accelerator analyses we show that the flux of secondary high energy anti-He may be observable with a few years exposure of AMS-02. We highlight key open questions, as well as the role played by recent and upcoming space and accelerator data in clarifying the origins of CR antimatter.


title: Face Retrieval using Frequency Decoded Local Descriptor

abstract: The local descriptors have been the backbone of most of the computer vision problems. Most of the existing local descriptors are generated over the raw input images. In order to increase the discriminative power of the local descriptors, some researchers converted the raw image into multiple images with the help of some high and low pass frequency filters, then the local descriptors are computed over each filtered image and finally concatenated into a single descriptor. By doing so, these approaches do not utilize the inter frequency relationship which causes the less improvement in the discriminative power of the descriptor that could be achieved. In this paper, this problem is solved by utilizing the decoder concept of multi-channel decoded local binary pattern over the multi-frequency patterns. A frequency decoded local binary pattern (FDLBP) is proposed with two decoders. Each decoder works with one low frequency pattern and two high frequency patterns. Finally, the descriptors from both decoders are concatenated to form the single descriptor. The face retrieval experiments are conducted over four benchmarks and challenging databases such as PaSC, LFW, PubFig, and ESSEX. The experimental results confirm the superiority of the FDLBP descriptor as compared to the state-of-the-art descriptors such as LBP, SOBEL_LBP, BoF_LBP, SVD_S_LBP, mdLBP, etc.


title: A LBP Based Correspondence Identification Scheme for Multi-view Sensing Network

abstract: In this paper, we describes a correspondence identification method between two-views of regular RGB camera that can be run in real-time. The basic idea is first applying normalized cross correlation to retrieve a sparse set of matching pairs from image pair. Then loopy belief propagation scheme is applied to the the set of possible candidates to densely identify correspondences from different views. The experiment results demonstrate superb accuracy and precision that outperform the state-of-the-art in the computer vision field. Meanwhile, the implementation is simple enough that can be optimized for real-time performance. We have given the detailed comparison of existing approaches and show that this method can enable various practical applications from 3D reconstruction to image search.


title: Higher Segal structures in algebraic $K$-theory

abstract: We introduce higher dimensional analogues of simplicial constructions due to Segal and Waldhausen, respectively producing the direct sum and algebraic $K$-theory spectra of an exact category. We then investigate their fibrancy properties, based on the formalism of higher Segal spaces by Dyckerhoff-Kapranov.


title: Halpha imaging observations of early-type galaxies from the ATLAS3D survey

abstract: The traditional knowledge of the mechanisms that caused the formation and evolution of early-type galaxies (ETG) in a hierarchical universe was challenged by the unexpected finding by ATLAS3D that 86% of the ETGs show signs of a fast-rotating disk. This implies a common origin of most spiral galaxies, followed by a quenching phase, while only a minority of the most massive systems are slow rotators and were likely to be the products of merger events. Our aim is to improve our knowledge on the content and distribution of ionized hydrogen and their usage to form stars in a representative sample of ETGs for which the kinematics and detailed morphological classification were known from ATLAS3D. Using narrow-band filters centered on the redshifted Halpha line along with a broad-band (r-Gunn) filter to recover the stellar continuum, we observed or collected existing imaging observations for 147 ETGs (including members of the Virgo cluster) that are representative of the whole ATLAS3D survey. Fifty-five ETGs (37%) were detected in the Halpha line above our detection threshold, (Halpha E.W. <= -1 AA), and 21 harbor a strong source (Halpha E.W. <=-5 AA). The strong Halpha emitters appear associated with low-mass (M 10^10 M_odot) S0 galaxies that contain conspicuous stellar and gaseous discs. These harbor significant star formation at their interior, including their nuclei. The weak Halpha emitters are almost one order of magnitude more massive, contain gas-poor discs and harbor an AGN at their centers. Their emissivity is dominated by [NII] and does not imply star formation. The 92 undetected ETGs are gas-free systems that lack a disc and exhibit passive spectra even in their nuclei. These pieces of evidence reinforce the conclusion that the evolution of ETGs followed the secular channel for the less massive systems and the dry merging channel for the most massive galaxies.


title: Static Vacuum Solutions on Curved Spacetimes with Torsion

abstract: The Einstein-Cartan-Kibble-Sciama ({\sf ECKS}) theory of gravity naturally extends Einstein\rq{}s general relativity ({\sf GR}) to include intrinsic angular momentum (spin) of matter. The main feature of this theory consists of an algebraic relation between spacetime torsion and spin of matter which indeed deprives the torsion of its dynamical content. The Lagrangian of {\sf ECKS} gravity is proportional to the Ricci curvature scalar constructed out of a general affine connection so that owing to the influence of matter energy-momentum and spin, curvature and torsion are produced and interact only through the spacetime metric. In the absence of spin, the spacetime torsion vanishes and the theory reduces to {\sf GR}. It is however possible to have torsion propagation in vacuum by resorting to a model endowed with a non-minimal coupling between curvature and torsion. In the present work we try to investigate possible effects of the higher order terms that can be constructed from spacetime curvature and torsion, as the two basic constituents of Riemann-Cartan geometry. We consider Lagrangians that include fourth-order scalar invariants from curvature and torsion and then investigate the resulted field equations. The solutions that we find show that there could exist, even in vacuum, nontrivial static spacetimes that admit both black holes and naked singularities.


title: The HI Distribution Observed toward a Halo Region of the Milky Way

abstract: We use observations of the neutral atomic hydrogen (HI) 21-cm emission line to study the spatial distribution of the HI gas in a 80$\degree\times~$90$\degree$ region of the Galaxy halo. The HI column densities in the range of \mbox{3--11$\times$10$^{20}$ cm$^{-2}$} have been estimated for some of the studied regions. In our map---obtained with a spectral sensitivity of $\sim$2 K---we do not detect any HI 21-cm emission line {above 2$\sigma$} at Galactic latitudes higher than $\sim${46}$\degree$. {This report summarizes our contribution presented at the conference on the origin and evolution of barionic Galaxy halos}.


title: A study of dust properties in the inner sub-au region of the Herbig Ae star HD 169142 with VLTI/PIONIER

abstract: An essential step to understanding protoplanetary evolution is the study of disks that contain gaps or inner holes. The pretransitional disk around the Herbig star HD 169142 exhibits multi-gap disk structure, differentiated gas and dust distribution, planet candidates, and near-infrared fading in the past decades, which make it a valuable target for a case study of disk evolution. Using near-infrared interferometric observations with VLTI/PIONIER, we aim to study the dust properties in the inner sub-au region of the disk in the years 2011-2013, when the object is already in its near-infrared faint state. We first performed simple geometric modeling to characterize the size and shape of the NIR-emitting region. We then performed Monte-Carlo radiative transfer simulations on grids of models and compared the model predictions with the interferometric and photometric observations. We find that the observations are consistent with optically thin gray dust lying at Rin ~ 0.07 au, passively heated to T ~ 1500 K. Models with sub-micron optically thin dust are excluded because such dust will be heated to much higher temperatures at similar distance. The observations can also be reproduced with a model consisting of optically thick dust at Rin ~ 0.06 au, but this model is plausible only if refractory dust species enduring ~2400 K exist in the inner disk.


title: Towards the LISA Backlink: Experiment design for comparing optical phase reference distribution systems

abstract: LISA is a proposed space-based laser interferometer detecting gravitational waves by measuring distances between free-floating test masses housed in three satellites in a triangular constellation with laser links in-between. Each satellite contains two optical benches that are articulated by moving optical subassemblies for compensating the breathing angle in the constellation. The phase reference distribution system, also known as backlink, forms an optical bi-directional path between the intra-satellite benches. In this work we discuss phase reference implementations with a target non-reciprocity of at most $2\pi\,\mathrm{\mu rad/\sqrt{Hz}}$, equivalent to $1\,\mathrm{pm/\sqrt{Hz}}$ for a wavelength of $1064\,\mathrm{nm}$ in the frequency band from $0.1\,\mathrm{mHz}$ to $1\,\mathrm{Hz}$. One phase reference uses a steered free beam connection, the other one a fiber together with additional laser frequencies. The noise characteristics of these implementations will be compared in a single interferometric set-up with a previously successfully tested direct fiber connection. We show the design of this interferometer created by optical simulations including ghost beam analysis, component alignment and noise estimation. First experimental results of a free beam laser link between two optical set-ups that are co-rotating by $\pm 1^\circ$ are presented. This experiment demonstrates sufficient thermal stability during rotation of less than $10^{-4}\,\mathrm{K/\sqrt{Hz}}$ at $1\,\mathrm{mHz}$ and operation of the free beam steering mirror control over more than 1 week.


title: Model-driven Engineering IDE for Quality Assessment of Data-intensive Applications

abstract: This article introduces a model-driven engineering (MDE) integrated development environment (IDE) for Data-Intensive Cloud Applications (DIA) with iterative quality enhancements. As part of the H2020 DICE project (ICT-9-2014, id 644869), a framework is being constructed and it is composed of a set of tools developed to support a new MDE methodology. One of these tools is the IDE which acts as the front-end of the methodology and plays a pivotal role in integrating the other tools of the framework. The IDE enables designers to produce from the architectural structure of the general application along with their properties and QoS/QoD annotations up to the deployment model. Administrators, quality assurance engineers or software architects may also run and examine the output of the design and analysis tools in addition to the designer in order to assess the DIA quality in an iterative process.


title: Numerical analysis for a unified 2 factor model of structural and reduced form types for corporate bonds with fixed discrete coupon

abstract: Conditions of Stability for explicit finite difference scheme and some results of numerical analysis for a unified 2 factor model of structural and reduced form types for corporate bonds with fixed discrete coupon are provided. It seems to be difficult to get solution formula for PDE model which generalizes Agliardi's structural model [1] for discrete coupon bonds into a unified 2 factor model of structural and reduced form types and we study a numerical analysis for it by explicit finite difference scheme. These equations are parabolic equations with 3 variables and they include mixed derivatives, so the explicit finite difference scheme is not stable in general. We find conditions for the explicit finite difference scheme to be stable, in the case that it is stable, numerically compute the price of the bond and analyze its credit spread and duration.


title: Identifying Retweetable Tweets with a Personalized Global Classifier

abstract: In this paper we present a method to identify tweets that a user may find interesting enough to retweet. The method is based on a global, but personalized classifier, which is trained on data from several users, represented in terms of user-specific features. Thus, the method is trained on a sufficient volume of data, while also being able to make personalized decisions, i.e., the same post received by two different users may lead to different classification decisions. Experimenting with a collection of approx.\ 130K tweets received by 122 journalists, we train a logistic regression classifier, using a wide variety of features: the content of each tweet, its novelty, its text similarity to tweets previously posted or retweeted by the recipient or sender of the tweet, the network influence of the author and sender, and their past interactions. Our system obtains F1 approx. 0.9 using only 10 features and 5K training instances.