title: The light CP-even MSSM Higgs mass resummed to fourth logarithmic order

abstract: We present the calculation of the light neutral CP-even Higgs mass in the MSSM for a heavy SUSY spectrum by resumming enhanced terms through fourth logarithmic order (N$^3$LL), keeping terms of leading order in the top Yukawa coupling $\alpha_t$, and NNLO in the strong coupling $\alpha_s$. To this goal, the three-loop matching coefficient for the quartic Higgs coupling of the SM to the MSSM is derived to order $\alpha_t^2\alpha_s^2$ by comparing the perturbative EFT to the fixed-order expression for the Higgs mass. The new matching coefficient is made available through an updated version of the program Himalaya. Numerical effects of the higher-order resummation are studied using specific examples, and sources of theoretical uncertainty on this result are discussed.


title: RC-positive metrics on rationally connected manifolds

abstract: In this paper, we prove that if a compact K\"ahler manifold $X$ has a smooth Hermitian metric $\omega$ such that $(T_X,\omega)$ is uniformly RC-positive, then $X$ is projective and rationally connected. Conversely, we show that, if a projective manifold $X$ is rationally connected, then the tautological line bundle $\mathscr{O}_{T_X^*}(-1)$ is uniformly RC-positive (which is equivalent to the existence of some RC-positive complex Finlser metric on $X$). As an application, we prove that if $(X,\omega)$ is a compact K\"ahler manifold with certain quasi-positive holomorphic sectional curvature, then $X$ is projective and rationally connected.


title: Gaia unveils the kinematics of multiple stellar populations in 47 Tucanae

abstract: The series of events, which occurred at high redshift and originated multiple stellar populations in Globular Clusters (GCs) are still poorly understood. Theoretical work suggests that the present-day dynamics of stars in nearby GCs, including the rotation and velocity dispersion, may retain important clues on the formation of multiple populations. So far, the dynamics of multiple populations have been investigated either from radial velocities of a relatively-small sample of stars, or from relative proper motions of stars in the small field of view provided by the Hubble Space Telescope. In this context, Gaia provides the unique opportunity to investigate the dynamics of thousands GC stars over a wide field of view. For the first time, we combine Gaia DR2 proper motions and multi-band photometry to study the internal motions of the two main stellar populations of 47 Tucanae in a wide field of view. We confirm that this cluster exhibits high rotation on the plane of the sky and find that both stellar generations share similar rotation patters. Second-generation stars show stronger anisotropies and smaller tangential-velocity dispersion than the first generation, while there is no significant difference between their radial-velocity dispersion profiles. We discuss the impact of these results in the context of the formation scenarios for multiple stellar populations in GCs.


title: Practical Program Repair via Bytecode Mutation

abstract: Software debugging is tedious, time-consuming, and even error-prone by itself. So, various automated debugging techniques have been proposed in the literature to facilitate the debugging process. Automated Program Repair (APR) is one of the most recent advances in automated debugging, and can directly produce patches for buggy programs with minimal human intervention. Although various advanced APR techniques (including those that are either search-based or semantic-based) have been proposed, the simplistic mutation-based APR technique, which simply uses pre-defined mutation operators (e.g., changing a>=b into a>b) to mutate programs for finding patches, has not yet been thoroughly studied. In this paper, we implement the first practical bytecode-level APR technique, PraPR, and present the first extensive study on fixing real-world bugs (e.g., Defects4J bugs) using bytecode mutation. The experimental results show that surprisingly even PraPR with only the basic traditional mutators can produce genuine patches for 18 bugs. Furthermore, with our augmented mutators, PraPR is able to produce genuine patches for 43 bugs, significantly outperforming state-of-the-art APR. It is also an order of magnitude faster, indicating a promising future for bytecode-mutation-based APR.


title: Automatic trajectory recognition in Active Target Time Projection Chambers data by means of hierarchical clustering

abstract: The automatic reconstruction of three-dimensional particle tracks from Active Target Time Projection Chambers data can be a challenging task, especially in the presence of noise. In this article, we propose a non-parametric algorithm that is based on the idea of clustering point triplets instead of the original points. We define an appropriate distance measure on point triplets and then apply a single-link hierarchical clustering on the triplets. Compared to parametric approaches like RANSAC or the Hough transform, the new algorithm has the advantage of potentially finding trajectories even of shapes that are not known beforehand. This feature is particularly important in low-energy nuclear physics experiments with Active Targets operating inside a magnetic field. The algorithm has been validated using data from experiments performed with the Active Target Time Projection Chamber developed at the National Superconducting Cyclotron Laboratory (NSCL).The results demonstrate the capability of the algorithm to identify and isolate particle tracks that describe non-analytical trajectories. For curved tracks, the vertex detection recall was 86\% and the precision 94\%. For straight tracks, the vertex detection recall was 96\% and the precision 98\%. In the case of a test set containing only straight linear tracks, the algorithm performed better than an iterative Hough transform.


title: Topic-Guided Attention for Image Captioning

abstract: Attention mechanisms have attracted considerable interest in image captioning because of its powerful performance. Existing attention-based models use feedback information from the caption generator as guidance to determine which of the image features should be attended to. A common defect of these attention generation methods is that they lack a higher-level guiding information from the image itself, which sets a limit on selecting the most informative image features. Therefore, in this paper, we propose a novel attention mechanism, called topic-guided attention, which integrates image topics in the attention model as a guiding information to help select the most important image features. Moreover, we extract image features and image topics with separate networks, which can be fine-tuned jointly in an end-to-end manner during training. The experimental results on the benchmark Microsoft COCO dataset show that our method yields state-of-art performance on various quantitative metrics.


title: A Reinforcement Learning Approach to Jointly Adapt Vehicular Communications and Planning for Optimized Driving

abstract: Our premise is that autonomous vehicles must optimize communications and motion planning jointly. Specifically, a vehicle must adapt its motion plan staying cognizant of communications rate related constraints and adapt the use of communications while being cognizant of motion planning related restrictions that may be imposed by the on-road environment. To this end, we formulate a reinforcement learning problem wherein an autonomous vehicle jointly chooses (a) a motion planning action that executes on-road and (b) a communications action of querying sensed information from the infrastructure. The goal is to optimize the driving utility of the autonomous vehicle. We apply the Q-learning algorithm to make the vehicle learn the optimal policy, which makes the optimal choice of planning and communications actions at any given time. We demonstrate the ability of the optimal policy to smartly adapt communications and planning actions, while achieving large driving utilities, using simulations.


title: Gyrokinetic simulations of the influence of electron cyclotron current drive on tearing mode instabilities in tokamaks

abstract: A gyrokinetic simulation of the influence of electron cyclotron current drive and ion kinetic effect on the m/n=2/1 tearing mode (TM) instabilities is presented in HL-2A and DIII-D tokamak configurations. The TM evolution is calculated with a finite mass electron model and the rf current source is obtained by ray-tracing and the Fokker-Planck method. The TMs are found to be perfectly stabilized by a continuous 1MW 68GHz X2-mode in HL-2A tokamak, while instabilities in the DIII-D discharge (with lower value of CR=I_{rf}/I_{0}, where Irf is the wave driven current and I0 is the equilibrium plasma current) are only partially stabilized with the 1MW 110GHz X2-mode due to inadequate power input. The result also indicates that a helicon current drive is more efficient than a continuous ECCD. Analysis of the GTC simulation reveals, both in HL-2A and DIII-D, that the presence of ions can reduce the island width as well as the growth rate. Furthermore, the kinetic effect of thermal ions on TM is found to be more pronounced with higher ion temperature.


title: Optimal third-harmonic generation in an optical microcavity with $\chi^{(2)}$ and $\chi^{(3)}$ nonlinearities

abstract: Third-harmonic generation can be realized via both $\chi^{(3)}$ and cascaded $\chi^{(2)}$ nonlinear processes in a triply-resonant microcavity. It is still unknown how these processes interfere with each other and the optimization of the conversion efficiency still remains as a question. In this work, the interplay between the direct third-harmonic generation and the cascaded process combining of the second-harmonic generation and the sum-frequency generation are investigated. It is found that the interference effect between these two processes can be used to improve the conversion efficiency. By optimizing the cavity resonance and the external coupling conditions, the saturation of the nonlinear conversion is mitigated and the third-harmonic conversion efficiency is increased. A design rule is provided for achieving efficient third-harmonic generation in an optical microcavity, which can be generalized further to the high-order harmonic generations.


title: Parallel Gaussian Channels Corrupted by Independent States With a State-Cognitive Helper

abstract: We consider a state-dependent parallel Gaussian channel with independent states and a common cognitive helper, in which two transmitters wish to send independent information to their corresponding receivers over two parallel subchannels. Each channel is corrupted by independent additive Gaussian state. The states are not known to the transmitters nor to the receivers, but known to a helper in a noncausal manner. The helper's goal is to assist a reliable communication by mitigating the state. Outer and inner bounds are derived and segments of the capacity region is characterized for various channel parameters.


title: A comparison between pro-$p$ Iwahori-Hecke modules and mod $p$ representations

abstract: We give an equivalence of categories between certain subcategories of modules of pro-$p$-Iwahori Hecke algebras and modulo $p$ representations.


title: Multiresolution Tree Networks for 3D Point Cloud Processing

abstract: We present multiresolution tree-structured networks to process point clouds for 3D shape understanding and generation tasks. Our network represents a 3D shape as a set of locality-preserving 1D ordered list of points at multiple resolutions. This allows efficient feed-forward processing through 1D convolutions, coarse-to-fine analysis through a multi-grid architecture, and it leads to faster convergence and small memory footprint during training. The proposed tree-structured encoders can be used to classify shapes and outperform existing point-based architectures on shape classification benchmarks, while tree-structured decoders can be used for generating point clouds directly and they outperform existing approaches for image-to-shape inference tasks learned using the ShapeNet dataset. Our model also allows unsupervised learning of point-cloud based shapes by using a variational autoencoder, leading to higher-quality generated shapes.


title: Privacy and Fairness in Recommender Systems via Adversarial Training of User Representations

abstract: Latent factor models for recommender systems represent users and items as low dimensional vectors. Privacy risks of such systems have previously been studied mostly in the context of recovery of personal information in the form of usage records from the training data. However, the user representations themselves may be used together with external data to recover private user information such as gender and age. In this paper we show that user vectors calculated by a common recommender system can be exploited in this way. We propose the privacy-adversarial framework to eliminate such leakage of private information, and study the trade-off between recommender performance and leakage both theoretically and empirically using a benchmark dataset. An advantage of the proposed method is that it also helps guarantee fairness of results, since all implicit knowledge of a set of attributes is scrubbed from the representations used by the model, and thus can't enter into the decision making. We discuss further applications of this method towards the generation of deeper and more insightful recommendations.


title: Thermal noise in non-boost-invariant dissipative hydrodynamics

abstract: We study the effects of hydrodynamic fluctuations in non-boost-invariant longitudinal expansion of matter formed in relativistic heavy ion collisions. We formulate the theory of thermal noise within second-order viscous hydrodynamics treating noise as a perturbation on top of the non-boost-invariant flow. We develop a numerical simulation model to treat the (1+1)-dimension hydrodynamic evolution. The code is tested to reproduce the analytic results for the Riemann solver for expansion of matter in vacuum. For viscous hydrodynamic expansion, the initial energy density distribution are obtained by reproducing the measured charged hadron rapidity distribution at the RHIC energies. We show that the longitudinal rapidity correlations arising from space-time dependent thermal noise and from an induced thermal perturbation have distinct structures. In general, the rapidity correlations are found to be dominated by temperature fluctuations at small rapidity separation and velocity fluctuations at large rapidities. We demonstrate that thermal noise produce ridge-like two-particle rapidity correlations which persist at moderately large rapidities. The magnitude and pattern of the correlations are quite sensitive to various second-order dissipative formalisms and to the underlying equations of state, especially at large rapidities. The short-range part of the rapidity correlation is found to be somewhat enhanced as compared to that in boost-invariant flow of matter.


title: DLOPT: Deep Learning Optimization Library

abstract: Deep learning hyper-parameter optimization is a tough task. Finding an appropriate network configuration is a key to success, however most of the times this labor is roughly done. In this work we introduce a novel library to tackle this problem, the Deep Learning Optimization Library: DLOPT. We briefly describe its architecture and present a set of use examples. This is an open source project developed under the GNU GPL v3 license and it is freely available at https://github.com/acamero/dlopt


title: Energetics of the coupled electronic-structural transition in the rare-earth nickelates

abstract: Rare-earth nickelates exhibit a metal-insulator transition accompanied by a structural distortion that breaks the symmetry between formerly equivalent Ni sites. The quantitative theoretical description of this coupled electronic-structural instability is extremely challenging. Here, we address this issue by simultaneously taking into account both structural and electronic degrees of freedom using a charge self-consistent combination of density functional theory and dynamical mean-field theory, together with screened interaction parameters obtained from the constrained random phase approximation. Our total energy calculations show that the coupling to an electronic instability towards a charge disproportionated insulating state is crucial to stabilize the structural distortion, leading to a clear first order character of the coupled transition. The decreasing octahedral rotations across the series suppress this electronic instability and simultaneously increase the screening of the effective Coulomb interaction, thus weakening the correlation effects responsible for the metal-insulator transition. Our approach allows to obtain accurate values for the structural distortion and thus facilitates a comprehensive understanding, both qualitatively and quantitatively, of the complex interplay between structural properties and electronic correlation effects across the nickelate series.


title: On the minimum weights of binary linear complementary dual codes

abstract: Linear complementary dual codes (or codes with complementary duals) are codes whose intersections with their dual codes are trivial. We study the largest minimum weight $d(n,k)$ among all binary linear complementary dual $[n,k]$ codes. We determine $d(n,4)$ for $n \equiv 2,3,4,5,6,9,10,13 \pmod{15}$, and $d(n,5)$ for $n \equiv 3,4,5,7,11,19,20,22,26 \pmod{31}$. Combined with known results, the values $d(n,k)$ are also determined for $n \le 24$.


title: Construction of Adaptive Short LDPC Codes for Distributed Transmit Beamforming

abstract: One of the challenges often faced with wireless communication systems is its limited range and data-rate. Distributed Transmit Beamforming (DTB) techniques are being developed to address these two issues to provide reliable connectivity from power-limited distributed users. This paper proposes an adaptive Low Density Parity Check (LDPC) coding scheme for the DTB system. The proposed scheme constructs powerful LDPC codes with varying code-rates and block-lengths. This feature of the proposed scheme allows the DTB system to optimise its system resources, improve throughput and communicate reliably under large variation of different channel environments. The performance of some of the codes constructed using the proposed scheme is evaluated and compared with the uncoded and other coded-DTB systems. The results obtained show large gains over the compared systems. The results also show that coding applied to the DTB system drastically reduces the minimum number of distributed transmit nodes required to achieve a target error-rate with the same energy per information bit to noise power spectral density.


title: Algebraic Equivalence of Linear Structural Equation Models

abstract: Despite their popularity, many questions about the algebraic constraints imposed by linear structural equation models remain open problems. For causal discovery, two of these problems are especially important: the enumeration of the constraints imposed by a model, and deciding whether two graphs define the same statistical model. We show how the half-trek criterion can be used to make progress in both of these problems. We apply our theoretical results to a small-scale model selection problem, and find that taking the additional algebraic constraints into account may lead to significant improvements in model selection accuracy.


title: Deep Underwater Image Enhancement

abstract: In an underwater scene, wavelength-dependent light absorption and scattering degrade the visibility of images, causing low contrast and distorted color casts. To address this problem, we propose a convolutional neural network based image enhancement model, i.e., UWCNN, which is trained efficiently using a synthetic underwater image database. Unlike the existing works that require the parameters of underwater imaging model estimation or impose inflexible frameworks applicable only for specific scenes, our model directly reconstructs the clear latent underwater image by leveraging on an automatic end-to-end and data-driven training mechanism. Compliant with underwater imaging models and optical properties of underwater scenes, we first synthesize ten different marine image databases. Then, we separately train multiple UWCNN models for each underwater image formation type. Experimental results on real-world and synthetic underwater images demonstrate that the presented method generalizes well on different underwater scenes and outperforms the existing methods both qualitatively and quantitatively. Besides, we conduct an ablation study to demonstrate the effect of each component in our network.


title: Globally realizable components of local deformation rings

abstract: Let n be either 2, or an odd integer greater than 1, and fix a prime p > 2(n + 1). Under standard "adequate image" assumptions, we show that the set of components of n-dimensional p-adic potentially semistable local Galois deformation rings that are seen by potentially automorphic compatible systems of polarizable Galois representations over some CM field is independent of the particular global situation. We also (under the same assumption on n) improve on the main potential automorphy result of [BLGGT14b], replacing "potentially diagonalizable" by "potentially globally realizable".


title: Robust Differential Received Signal Strength-Based Localization

abstract: Source localization based on signal strength measurements has become very popular due to its practical simplicity. However, the severe nonlinearity and non-convexity make the related optimization problem mathematically difficult to solve, especially when the transmit power or the path-loss exponent (PLE) is unknown. Moreover, even if the PLE is known but not perfectly estimated or the anchor location information is not accurate, the constructed data model will become uncertain, making the problem again hard to solve. This paper particularly focuses on differential received signal strength (DRSS)-based localization with model uncertainties in case of unknown transmit power and PLE. A new whitened model for DRSS-based localization with unknown transmit powers is first presented and investigated. When assuming the PLE is known, we introduce two estimators based on an exact data model, an advanced best linear unbiased estimator (A-BLUE) and a Lagrangian estimator (LE), and then we present a robust semidefinite programming (SDP)-based estimator (RSDPE), which can cope with model uncertainties (imperfect PLE and inaccurate anchor location information). The three proposed estimators have their own advantages from different perspectives: the A-BLUE has the lowest complexity; the LE holds the best accuracy for a small measurement noise; and the RSDPE yields the best performance under a large measurement noise and possesses a very good robustness against model uncertainties. Finally, we propose a robust SDP-based block coordinate descent estimator (RSDP-BCDE) to deal with a completely unknown PLE and its performance converges to that of the RSDPE using a perfectly known PLE.


title: An elliptic Harnack inequality for random walk in balanced environments

abstract: We prove a Harnack inequality for the solutions of a difference equation with non-elliptic balanced i.i.d. coefficients. Along the way we prove a (weak) quantitative homogenisation result, which we believe is of some interest too.


title: Remarks on the Sibony functions and pseudometrics

abstract: We discuss some basic properties of the Sibony functions and pseudometrics.


title: On the second-order tangent bundle with deformed 2-nd lift metric

abstract: Let (M,g) be a pseudo-Riemannian manifold and $T^2M$ be its the second-order tangent bundle equipped with the deformed 2-nd lift metric g which obtained from the 2-nd lift metric by deforming the horizontal part with a symmetric (0,2)-tensor field c. In the present paper, we first compute the Levi-Civita connection and its Riemannian curvature tensor field of $(T^2M,g)$. We give necessary and sufficient conditions for $(T^2M,g)$ to be semi-symmetric. Secondly, we show that $(T^2M,g)$ is a plural-holomorphic B-manifold with the natural integrable nilpotent structure. Finally, we get the conditions under which $(T^2M,g)$ with the 2-nd lift of an almost complex structure is an anti-K\"ahler manifold


title: Underwater Source Localization Using TDOA and FDOA Measurements with Unknown Propagation Speed and Sensor Parameter Errors

abstract: Underwater source localization problems are complicated and challenging: a) the sound propagation speed is often unknown and the unpredictable ocean current might lead to the uncertainties of sensor parameters (i.e. position and velocity); b) the underwater acoustic signal travels much slower than the radio one in terrestrial environments, thus resulting in a significantly severe Doppler effect; c) energy-efficient techniques are urgently required and hence in favour of the design with a low computational complexity. Considering these issues, we propose a simple and efficient underwater source localization approach based on time difference of arrival (TDOA) and frequency difference of arrival (FDOA) measurements, which copes with unknown propagation speed and sensor parameter errors. The proposed method mitigates the impact of the Doppler effect for accurately inferring the source parameters (i.e. position and velocity). The Cramer-Rao lower bounds (CRLBs) for this kind of localization are derived and, moreover, the analytical study shows that our method can yield the performance that is very close to the CRLB, particularly under small noise. The numerical results not only confirm the above conclusions but also show that our method outperforms other competing approaches.


title: A finite element method for the Monge-Amp\`ere equation with transport boundary conditions

abstract: We address the numerical solution via Galerkin type methods of the Monge-Amp\`ere equation with transport boundary conditions arising in optimal mass transport, geometric optics and computational mesh or grid movement techniques. This fully nonlinear elliptic problem admits a linearisation via a Newton-Raphson iteration, which leads to an oblique derivative boundary value problem for elliptic equations in nondivergence form. We discretise these by employing the nonvariational finite element method, which lead to empirically observed optimal convergence rates, provided recovery techinques are used to approximate the gradient and the Hessian of the unknown functions. We provide extensive numerical testing to illustrate the strengths of our approach and the potential applications in optics and mesh movement.


abstract: We develop a Borel-de Siebenthal theory for affine reflection systems by classifying their maximal closed subroot systems. Affine reflection systems (introduced by Loos and Neher) provide a unifying framework for root systems of finite-dimensional semi-simple Lie algebras, affine and toroidal Lie algebras, and extended affine Lie algebras. In the special case of nullity $k$ toroidal Lie algebras, we obtain a one-to-one correspondence between maximal closed subroot systems with full gradient and triples $(q,(b_i),H)$, where $q$ is a prime number, $(b_i)$ is a $n$-tuple of integers in the interval $[0,q-1]$ and $H$ is a $(k\times k)$ Hermite normal form matrix with determinant $q$. This generalizes the $k=1$ result of Dyer and Lehrer in the setting of affine Lie algebras.


title: Soft-TTL: Time-Varying Fractional Caching

abstract: Standard Time-to-Live (TTL) cache management prescribes the storage of entire files, or possibly fractions thereof, for a given amount of time after a request. As a generalization of this approach, this work proposes the storage of a time-varying, diminishing, fraction of a requested file. Accordingly, the cache progressively evicts parts of the file over an interval of time following a request. The strategy, which is referred to as soft-TTL, is justified by the fact that traffic traces are often characterized by arrival processes that display a decreasing, but non-negligible, probability of observing a request as the time elapsed since the last request increases. An optimization-based analysis of soft-TTL is presented, demonstrating the important role played by the hazard function of the inter-arrival request process, which measures the likelihood of observing a request as a function of the time since the most recent request.


title: From a computer controlled telescope to a robotic observatory: the history of the VIRT

abstract: The Virgin Island Robotic Telescope is located at the Etelman Observatory, St Thomas, since 2002. We will present its evolution since that date with the changes we have performed in order to modify an automated instrument, needing human supervision, to a fully robotic observatory. The system is based on ROS (Robotic Observatory Software) developed for TAROT and now installed on various observatories across the world (Calern, La Silla, Zadko, Les Markes, Etelman Observatory).


title: Effect of Variation of Different Nano filler on Structural, Electrical, Dielectric and Transport Properties of Blend Polymer Nanocomposites

abstract: In the present work, the effect of different nanofiller (BaTiO3, CeO2, Er2O3 or TiO2) on blend solid polymer electrolyte comprising of PEO and PVC complexed with bulky LiPF6 have been explored. The XRD analysis confirms the polymer nanocomposite formation. FTIR provides evidence of interaction among the functional groups of the polymer with the ions and the nanofiller in terms of shifting and changing peak profile. The highest ionic conductivity is ~2.3x10-5 S cm-1 with a wide electrochemical stability window of ~3.5 V for 10 wt. % Er2O3. The real and imaginary part of dielectric permittivity follows the identical trend of the decreasing value with increase in the frequency. The particle size and the dielectric constant shows an abnormal trend with different nanofiller. The ac conductivity follows the universal power law. An effective mechanism has been proposed to understand the nanofiller interaction with cation coordinated polymer in the investigated system.


title: Polymer Nanocomposites: synthesis and characterization

abstract: This chapter deals with the fundamental properties of polymer nanocomposites (PNC) and their characteristics that play a significant role in deciding their capability for the advanced energy storage device. The various synthesization methods used for the preparation of the polymer electrolytes are described followed by the characterization techniques used for the analysis. The properties of the polymer host, salt, nanofiller, ionic liquid, plasticizer and nanoclay/nanorod/nanowire are described. Various ion transport mechanism with different nanoparticle dispersion in polymer electrolytes are highlighted. The various important results are summarized and a pathway is built to fulfill the dream of the future renewable source of energy that is economical and environmental benign. Chapter motivation is focused on the investigation of the role of polymer host, aspect ratio, surface area, nanoparticle shape and size in terms of boosting the electrolytic/electrochemical properties of PNC. It will certainly help in order to open new doors toward the development of the advanced polymeric materials with overall balancing property for enhancement of the fast solid state ionic conductor which would be revolutionized the energy storage/conversion device technology.


title: A CT image based finite element modelling to predict the mechanical behaviour of human arm

abstract: In the present work, complex irregular bones and joints of the complete human arm were developed in a computer-aided design environment. Finite element analysis of an actual human arm was done to identify the distribution of stress using von-Mises stress and maximum principal stress measures. The results obtained from the present study revealed the region where, maximum stress was developed for different loading and boundary conditions with different joint rotations as obtained in the actual human arm. This subject specific analysis helps to analyse the region of the arm in which the risk is more.


title: A strategic framework for identifying the critical factors of 4G technology diffusion in I.R. Iran - A Fuzzy DEMATEL approach

abstract: As the most prominent representative of 4G, Long term evolution (LTE) technology has become a focal point for mobile network operators all over the world. However, although Iranian main operators like MCI and Irancell have hugely invested on deployment of this technology, its diffusion has been very slow with a penetration rate of 0.06 at the end of spring 2017. Nevertheless, if this rate doesn't increase, it will yield some negative unintended consequences for telecom operators such as (I) Failure to provide a large number of high quality services (II) Inability to compete with OTT technologies (III) Loss of many revenue opportunities (IV) Prolongation of payback period and (V) The lack of technological integrability with fifth generation networks (5G) and loss of many IOT opportunities. Through discussing the literature of technology adoption and diffusion both generally and specifically, identifying the major limitations of these studies and establishing a comprehensive factor set based on four major groups of (I) mobile handset and operators-related factors (II) subscribers-related biological factors, (III) subscribers-related perceptual factors and (IV) subscribers-related contextual factors, a novel fuzzy DEMATEL model has been developed by which all ICT policy makers can not only get a clear knowledge of factors influencing technology adoption but also know the critical success factors (CSFs) influencing Iranians' mindsets towards LTE adoption. Therefore, they can make effective and actionable policies to scale up LTE diffusion or other ICT-related technologies throughout the society.


title: Modelling and analysis of biological joints of a human arm in different movements

abstract: In the present work, irregular complex joints of the human arm are modelled in the computer-aided design environment. Accurately the geometric models of the joints and surrounding bony regions are developed from computed tomography data set and the range of movements are analysed. In this present work, biological joints are approximated into the mechanical joint without losing any kinematic behaviour and degrees of freedom. Then the analysis is done to determine the importance of joint geometries with different loading and boundary conditions. The present study helps to predict the behavior of joint configuration in the design stage.


title: Near-infrared Mira Period-Luminosity Relations in M33

abstract: We analyze sparsely-sampled near-infrared (JHKs) light curves of a sample of 1781 Mira variable candidates in M33, originally discovered using I-band time-series observations. We extend our single-band semi-parametric Gaussian process modeling of Mira light curves to a multi-band version and obtain improved period determinations. We use our previous results on near-infrared properties of candidate Miras in the LMC to classify the majority of the M33 sample into Oxygen- or Carbon-rich subsets. We derive Period-Luminosity relations for O-rich Miras and determine a distance modulus for M33 of 24.80 +- 0.06 mag.


title: Dual optimization for convex constrained objectives without the gradient-Lipschitz assumption

abstract: The minimization of convex objectives coming from linear supervised learning problems, such as penalized generalized linear models, can be formulated as finite sums of convex functions. For such problems, a large set of stochastic first-order solvers based on the idea of variance reduction are available and combine both computational efficiency and sound theoretical guarantees (linear convergence rates). Such rates are obtained under both gradient-Lipschitz and strong convexity assumptions. Motivated by learning problems that do not meet the gradient-Lipschitz assumption, such as linear Poisson regression, we work under another smoothness assumption, and obtain a linear convergence rate for a shifted version of Stochastic Dual Coordinate Ascent (SDCA) that improves the current state-of-the-art. Our motivation for considering a solver working on the Fenchel-dual problem comes from the fact that such objectives include many linear constraints, that are easier to deal with in the dual. Our approach and theoretical findings are validated on several datasets, for Poisson regression and another objective coming from the negative log-likelihood of the Hawkes process, which is a family of models which proves extremely useful for the modeling of information propagation in social networks and causality inference.


title: Parallel Architecture Hardware and General Purpose Operating System Co-design

abstract: Because most optimisations to achieve higher computational performance eventually are limited, parallelism that scales is required. Parallelised hardware alone is not sufficient, but software that matches the architecture is required to gain best performance. For decades now, hardware design has been guided by the basic design of existing software, to avoid the higher cost to redesign the latter. In doing so, however, quite a variety of superior concepts is excluded a priori. Consequently, co-design of both hardware and software is crucial where highest performance is the goal. For special purpose application, this co-design is common practice. For general purpose application, however, a precondition for usability of a computer system is an operating system which is both comprehensive and dynamic. As no such operating system has ever been designed, a sketch for a comprehensive dynamic operating system is presented, based on a straightforward hardware architecture to demonstrate how design decisions regarding software and hardware do coexist and harmonise.


title: Accurate Scene Text Detection through Border Semantics Awareness and Bootstrapping

abstract: This paper presents a scene text detection technique that exploits bootstrapping and text border semantics for accurate localization of texts in scenes. A novel bootstrapping technique is designed which samples multiple 'subsections' of a word or text line and accordingly relieves the constraint of limited training data effectively. At the same time, the repeated sampling of text 'subsections' improves the consistency of the predicted text feature maps which is critical in predicting a single complete instead of multiple broken boxes for long words or text lines. In addition, a semantics-aware text border detection technique is designed which produces four types of text border segments for each scene text. With semantics-aware text borders, scene texts can be localized more accurately by regressing text pixels around the ends of words or text lines instead of all text pixels which often leads to inaccurate localization while dealing with long words or text lines. Extensive experiments demonstrate the effectiveness of the proposed techniques, and superior performance is obtained over several public datasets, e. g. 80.1 f-score for the MSRA-TD500, 67.1 f-score for the ICDAR2017-RCTW, etc.


title: Multiuser One-Bit Massive MIMO Precoding Under MPSK Signaling

abstract: Most recently, there has been a flurry of research activities on studying how massive MIMO precoding should be designed when the digital-to-analog conversion at the transmitter side is operated by cheap one-bit digital-to-analog converters (DACs). Such research is motivated by the desire to substantially cut down the hardware cost and power consumption of the radio-frequency chain, which is unaffordable in massive MIMO if high-resolution DACs are still used. One-bit MIMO precoding design problems are much harder to solve than their high-resolution DAC counterparts. In our previous work, we developed a minimum symbol-error probability (SEP) design for one-bit precoding under the multiuser MISO downlink scenario and under quadrature amplitude modulation signaling. Leveraging on the previous work, this work shows how the minimum SEP design is applied to M-ary phase shift keying (MPSK) signaling. Simulation results show that our minimum SEP design delivers significantly better bit-error rate (BER) performance than the other designs for higher-order PSK such as 8-PSK and 16-PSK. As a minor, but useful, side contribution, we also tackle an MPSK SEP characterization problem which was only intuitively treated in the prior arts.


title: On the structure of simple bounded weight modules of $\mathfrak{sl}(\infty)$, $\mathfrak{o}(\infty)$, $\mathfrak{sp}(\infty)$

abstract: We study the structure of bounded simple weight $\mathfrak{sl}(\infty)$-, $\mathfrak{o}(\infty)$-, $\mathfrak{sp}(\infty)$-modules, which have been recently classified in [6]. Given a splitting parabolic subalgebra $\mathfrak{p}$ of $\mathfrak{sl}(\infty)$, $\mathfrak{o}(\infty)$, $\mathfrak{sp}(\infty)$, we introduce the concepts of $\mathfrak{p}$-aligned and pseudo $\mathfrak{p}$-aligned $\mathfrak{sl}(\infty)$-, $\mathfrak{o}(\infty)$-, $\mathfrak{sp}(\infty)$-modules, and give necessary and sufficient conditions for bounded simple weight modules to be $\mathfrak{p}$-aligned or pseudo $\mathfrak{p}$-aligned. The existence of pseudo $\mathfrak{p}$-aligned modules is a consequence of the fact that the Lie algebras considered have infinite rank.


title: Conjugacy classes, characters and products of elements

abstract: Recently, Baumslag and Wiegold proved that a finite group $G$ is nilpotent if and only if $o(xy)=o(x)o(y)$ for every $x,y\in G$ of coprime order. Motivated by this result, we study the groups with the property that $(xy)^G=x^Gy^G$ and those with the property that $\chi(xy)=\chi(x)\chi(y)$ for every complex irreducible character $\chi$ of $G$ and every nontrivial $x, y \in G$ of pairwise coprime order. We also consider several ways of weakening the hypothesis on $x$ and $y$. While the result of Baumslag and Wiegold is completely elementary, some of our arguments here depend on (parts of) the classification of finite simple groups.


title: Algebraic and qualitative remarks about the family $yy'= (\alpha x^{m+k-1} + \beta x^{m-k-1})y + \gamma x^{2m-2k-1}$

abstract: The aim of this paper is the analysis, from algebraic point of view and singularities studies, of the 5-parametric family of differential equations \begin{equation*}\label{folpz} yy'=(\alpha x^{m+k-1}+\beta x^{m-k-1})y+\gamma x^{2m-2k-1}, \quad y'=\frac{dy}{dx} \end{equation*} where $a,b,c\in \mathbb{C}$, $m,k\in \mathbb{Z}$ and $$\alpha=a(2m+k) \quad \beta=b(2m-k), \quad \gamma=-(a^2mx^{4k}+cx^{2k}+b^2m).$$ This family is very important because include Van Der Pol equation. Moreover, this family seems to appear as exercise in the celebrated book of Polyanin and Zaitsev. Unfortunately, the exercise presented a typo which does not allow to solve correctly it. We present the corrected exercise, which corresponds to the title of this paper. We solve the exercise and afterwards we make algebraic and of singularities studies to this family of differential equations. To illustrate the qualitative and algebraic techniques we present an example of a biparametric quadratic Polyanin-Zaitsev vector field.


title: Green-Kubo stress correlation function at the atomic scale and a long-range bond-orientational ordering in a model liquid

abstract: Recently there have been several considerations by different authors of viscosity and the Green-Kubo stress correlation function from the microscopic perspective. In most of these and earlier works the atomic level stress is the minimal element of stress. It is also possible to consider, for pairwise interaction potentials, as the minimal elements of stress, the stress tensors associated with the pairs of interacting particles. From this perspective, the atomic level stress is not the minimal stress element, but a sum of all pair stress elements in which involved a selected particle. In this paper, we consider the Green-Kubo stress correlation function from a microscopic perspective using the stress tensors of interacting pairs as the basic stress elements. The obtained results show the presence of a long-range bond-orientational order in the studied model liquid and naturally elucidate the connection of the bond-orientational order with viscosity. It turns out that the long-range bond-orientational order is more clearly expressed in the pairs' stress correlation function than in the atomic stress correlation function. On the other hand, previously observed stress waves are much better expressed in the atomic stress correlation functions. We also address the close connection of our approach with the previous bond-orientational order considerations. Finally, we consider the probability distributions for the bond-stress and atomic stress correlation products at selected distances. The character of the obtained probability distributions raises questions about the meaning of the average correlation functions at large distances.


title: HST imaging of four gravitationally lensed quasars

abstract: We present new HST WFPC3 imaging of four gravitationally lensed quasars: MG 0414+0534; RXJ 0911+0551; B 1422+231; WFI J2026-4536. In three of these systems we detect wavelength-dependent microlensing, which we use to place constraints on the sizes and temperature profiles of the accretion discs in each quasar. Accretion disc radius is assumed to vary with wavelength according to the power-law relationship $r\propto \lambda^p$, equivalent to a radial temperature profile of $T\propto r^{-1/p}$. The goal of this work is to search for deviations from standard thin disc theory, which predicts that radius goes as wavelength to the power $p=4/3$. We find a wide range of power-law indices, from $p=1.4^{+0.5}_{-0.4}$ in B 1422+231 to $p=2.3^{+0.5}_{-0.4}$ in WFI J2026-4536. The measured value of $p$ appears to correlate with the strength of the wavelength-dependent microlensing. We explore this issue with mock simulations using a fixed accretion disc with $p=1.5$, and find that cases where wavelength-dependent microlensing is small tend to under-estimate the value of $p$. This casts doubt on previous ensemble single-epoch measurements which have favoured low values using samples of lensed quasars that display only moderate chromatic effects. Using only our systems with strong chromatic microlensing we prefer $p>4/3$, corresponding to shallower temperature profiles than expected from standard thin disc theory.


title: The two-real-singlet Dark Matter model

abstract: We revisit a Dark Matter model with an extension of the Standard Model with two real singlets $\chi$ and $\eta$ obeying a $Z_2 \otimes Z_2'$ symmetry, where $Z_2'$ is broken spontaneously. While $\chi$ serves as a stable Dark Matter candidate providing the relic density, the real $\eta$ field plays the role of a light mediator. We study the viability of this model with respect to Dark Matter self-interactions which may explain the density profiles observed in dwarf galaxies up to scales of the size of our Milky Way. Moreover, the Standard Model-like Higgs boson of the model has a tiny mixing with the mediator field and appears to be consistent with current LHC data. In this rather minimal extension of the Standard Model the mediator $\eta$ decays naturally into Majorana neutrinos neither disturbing standard big bang nucleosynthesis nor cosmic microwave background observations.


title: An Empirical Approach For Probing the Definiteness of Kernels

abstract: Models like support vector machines or Gaussian process regression often require positive semi-definite kernels. These kernels may be based on distance functions. While definiteness is proven for common distances and kernels, a proof for a new kernel may require too much time and effort for users who simply aim at practical usage. Furthermore, designing definite distances or kernels may be equally intricate. Finally, models can be enabled to use indefinite kernels. This may deteriorate the accuracy or computational cost of the model. Hence, an efficient method to determine definiteness is required. We propose an empirical approach. We show that sampling as well as optimization with an evolutionary algorithm may be employed to determine definiteness. We provide a proof-of-concept with 16 different distance measures for permutations. Our approach allows to disprove definiteness if a respective counter-example is found. It can also provide an estimate of how likely it is to obtain indefinite kernel matrices. This provides a simple, efficient tool to decide whether additional effort should be spent on designing/selecting a more suitable kernel or algorithm.


title: Parallax Bundle Adjustment on Manifold with Convexified Initialization

abstract: Bundle adjustment (BA) with parallax angle based feature parameterization has been shown to have superior performance over BA using inverse depth or XYZ feature forms. In this paper, we propose an improved version of the parallax BA algorithm (PMBA) by extending it to the manifold domain along with observation-ray based objective function. With this modification, the problem formulation faithfully mimics the projective nature in a camera's image formation, BA is able to achieve better convergence, accuracy and robustness. This is particularly useful in handling diverse outdoor environments and collinear motion modes. Capitalizing on these properties, we further propose a pose-graph simplification to PMBA, with significant dimensionality reduction. This pose-graph model is convex in nature, easy to solve and its solution can serve as a good initial guess to the original BA problem which is intrinsically non-convex. We provide theoretical proof that our global initialization strategy can guarantee a near-optimal solution. Using a series of experiments involving diverse environmental conditions and motions, we demonstrate PMBA's superior convergence performance in comparison to other BA methods. We also show that, without incremental initialization or via third-party information, our global initialization process helps to bootstrap the full BA successfully in various scenarios, sequential or out-of-order, including some datasets from the "Bundle Adjustment in the Large" database.


title: Energy transfer from space-time into matter and a bouncing inflation from Covariant Canonical Gauge theory of Gravity

abstract: Cosmological solutions for covariant canonical gauge theories of gravity are presented. The underlying covariant canonical transformation framework invokes a dynamical space-time Hamiltonian consisting of the Einstein-Hilbert term plus a quadratic Riemann tensor invariant with a fundamental dimensionless coupling constant $g_1$. A typical time scale related to this constant, $\tau = \sqrt{8 \pi G g_1}$, is characteristic for the type of cosmological solutions: for $t \ll \tau$ the quadratic term is dominant, the energy-momentum tensor of the matter is not covariantly conserved, and we observe modified dynamics of matter and space-time. On the other hand, for $t \gg \tau$, the Einstein term dominates and the solution converges to classical cosmology. This is analyzed for different types of matter and dark energy with a constant equation of state. While for a radiation dominated universe solution the cosmology does not change, we find for a dark energy universe the well known de-Sitter space. However, we also identify a special bouncing solution (for $k=0$) which for large times approaches the de-Sitter space again. For a dust dominated universe (with no pressure) deviations are seen only in the early epoch. In the late epoch, the solution asymptotically behaves like the standard dust solution.


title: Bandits with Side Observations: Bounded vs. Logarithmic Regret

abstract: We consider the classical stochastic multi-armed bandit but where, from time to time and roughly with frequency $\epsilon$, an extra observation is gathered by the agent for free. We prove that, no matter how small $\epsilon$ is the agent can ensure a regret uniformly bounded in time. More precisely, we construct an algorithm with a regret smaller than $\sum_i \frac{\log(1/\epsilon)}{\Delta_i}$, up to multiplicative constant and loglog terms. We also prove a matching lower-bound, stating that no reasonable algorithm can outperform this quantity.


title: Exact value for the average optimal cost of bipartite traveling-salesman and 2-factor problems in two dimensions

abstract: We show that the average cost for the traveling-salesman problem in two dimensions, which is the archetypal problem in combinatorial optimization, in the bipartite case, is simply related to the average cost of the assignment problem with the same Euclidean, increasing, convex weights. In this way we extend a result already known in one dimension where exact solutions are avalaible. The recently determined average cost for the assignment when the cost function is the square of the distance between the points provides therefore an exact prediction $$\overline{E_N} = \frac{1}{\pi}\, \log N$$ for large number of points $2N$. As a byproduct of our analysis also the loop covering problem has the same optimal average cost. We also explain why this result cannot be extended at higher dimensions. We numerically check the exact predictions.


title: Mass diffusion and liner material effect in a MagLIF fusion-like plasma

abstract: In this paper, liner - fuel mass diffusion and the effect of the liner material on mass ablation, energy and magnetic flux losses are studied in a MagLIF fusion-like plasma. The analysis performed in [Garc\'ia-Rubio and Sanz, Phys. Plasmas 24, 072710 (2017)] is extended to liner materials of an arbitrary atomic number. The liner ablates and penetrates into the hot spot, compressing and cooling down the fuel. The magnetic flux in the fuel is lost by Nernst convection through the ablated liner - fuel interface, called ablated border. Increasing the liner atomic number leads to a reduction of both energy and magnetic flux losses in the fuel for a small and moderate magnetization values. Mass diffusion is confined within a thin layer at the ablated border. Concentration gradient and baro-diffusion are the predominant mechanisms leading to liner - fuel mixing. The width of the diffusion layer may be comparable to the turbulent mixing layer resulting from the Rayleigh-Taylor instability at the ablated border. An asymptotic analysis performed for large liner atomic number Z_{2} shows that mass ablation, energy and magnetic flux losses and liner - fuel mass diffusion scale as 1/\sqrt{Z_{2}}.


title: Suppression of Rayleigh-Taylor turbulence by time-periodic acceleration

abstract: The dynamics of Rayleigh-Taylor turbulence convection in presence of an alternating, time periodic acceleration is studied by means of extensive direct numerical simulations of the Boussinesq equations. Within this framework, we discover a new mechanism of relaminarization of turbulence: The alternating acceleration, which initially produces a growing turbulent mixing layer, at longer times suppresses turbulent fluctuation and drives the system toward an asymptotic stationary configuration. Dimensional arguments and linear stability theory are used to predict the width of the mixing layer in the asymptotic state as a function of the period of the acceleration. Our results provide an example of simple control and suppression of turbulent convection with potential applications in different fields.


title: DXRAM's Fault-Tolerance Mechanisms Meet High Speed I/O Devices

abstract: In-memory key-value stores provide consistent low-latency access to all objects which is important for interactive large-scale applications like social media networks or online graph analytics and also opens up new application areas. But, when storing the data in RAM on thousands of servers one has to consider server failures. Only a few in-memory key-value stores provide automatic online recovery of failed servers. The most prominent example of these systems is RAMCloud. Another system with sophisticated fault-tolerance mechanisms is DXRAM which is optimized for small data objects. In this report, we detail the remote replication process which is based on logs, investigate selection strategies for the reorganization of these logs and evaluate the reorganization performance for sequential, random, zipf and hot-and-cold distributions in DXRAM. This is also the first time DXRAM's backup system is evaluated with high speed I/O devices, specifically with 56 GBit/s InfiniBand interconnect and PCI-e SSDs. Furthermore, we discuss the copyset replica distribution to reduce the probability for data loss and the adaptations to the original approach for DXRAM.


title: An adaptive IGA-BEM with hierarchical B-splines based on quasi-interpolation quadrature schemes

abstract: The isogeometric formulation of Boundary Element Method (BEM) is investigated within the adaptivity framework. Suitable weighted quadrature rules to evaluate integrals appearing in the Galerkin BEM formulation of 2D Laplace model problems are introduced. The new quadrature schemes are based on a spline quasi-interpolant (QI) operator and properly framed in the hierarchical setting. The local nature of the QI perfectly fits with hierarchical spline constructions and leads to an efficient and accurate numerical scheme. An automatic adaptive refinement strategy is driven by a residual based error estimator. Numerical examples show that the optimal convergence rate of the BEM solution is recovered by the proposed adaptive method.


title: An investigation on thermo-hydraulic performance of a flat-plate channel with pyramidal protrusions

abstract: In this study, a flat-plate channel configured with pyramidal protrusions are numerically analysed for the first time. Simulations of laminar single-phase fluid flow and heat transfer characteristics are developed using a finite-volume approach under steady-state condition. Pure water is selected as the coolant and its thermo-physical properties are modelled using a set of temperature-dependent functions. Different configurations of the channel, including a plain channel and a channel with nature-inspired protruded surfaces, are studied here for Reynolds numbers ranging from 135 to 1430. The effects of the protrusion shape, size and arrangement on the hydrothermal performance of a flat-plate channel are studied in details. The temperature of the upper and lower surfaces of the channel is kept constant during the simulations. It is observed that utilizing these configurations can boost the heat transfer up to 277.9% and amplify the pressure loss up to 179.4% with a respect to the plain channel. It is found that the overall efficiency of the channels with pyramidal protrusions is improved by 12.0-169.4% compared to the plain channel for the conditions studied here. Furthermore, the thermodynamic performance of the channel is investigated in terms of entropy generation and it is found that equipping the channels with pyramidal protrusions leads to lower irreversibility in the system.


title: Non-hermitian Hamiltonian description for quantum plasmonics: from dissipative dressed atom picture to Fano states

abstract: We derive effective Hamiltonians for a single dipolar emitter coupled to a metal nanoparticle (MNP) with particular attention devoted to the role of losses. For small particles sizes, absorption dominates and a non hermitian effective Hamiltonian describes the dynamics of the hybrid emitter-MNP nanosource. We discuss the coupled system dynamics in the weak and strong coupling regimes offering a simple understanding of the energy exchange, including radiative and non radiative processes. We define the plasmon Purcell factors for each mode. For large particle sizes, radiative leakages can significantly perturbate the coupling process. We propose an effective Fano Hamiltonian including plasmon leakages and discuss the link with the quasi-normal mode description. We also propose Lindblad equations for each situation and introduce a collective dissipator for describing the Fano behaviour.


title: A modelling language for the effective design of Java annotations

abstract: This paper describes a new modelling language for the effective design of Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown from a useful tool for the addition of meta-data to play a central role in many popular software projects. Usually they are conceived as sets with dependency and integrity constraints within them; however, the native support provided by Java for expressing this design is very limited. To overcome its deficiencies and make explicit the rich conceptual model which lies behind a set of annotations, we propose a domain-specific modelling language. The proposal has been implemented as an Eclipse plug-in, including an editor and an integrated code generator that synthesises annotation processors. The language has been tested using a real set of annotations from the Java Persistence API (JPA). It has proven to cover a greater scope with respect to other related work in different shared areas of application.


title: Around a singular solution of a nonlocal nonlinear heat equation

abstract: We study the existence of global-in-time solutions for a nonlinear heat equation with nonlocal diffusion, power nonlinearity and suitably small data (either compared pointwisely to the singular solution or in the norm of a critical Morrey space). Then, asymptotics of subcritical solutions is determined. These results are compared with conditions on the initial data leading to a finite time blowup.


title: On the ergodicity of certain Markov chains in random environments

abstract: We study the ergodic behaviour of a discrete-time process $X$ which is a Markov chain in a stationary random environment. The laws of $X_t$ are shown to converge to a limiting law in (weighted) total variation distance as $t\to\infty$. Convergence speed is estimated and an ergodic theorem is established for functionals of $X$. Our hypotheses on $X$ combine the standard "small set" and "drift" conditions for geometrically ergodic Markov chains with conditions on the growth rate of a certain "maximal process" of the random environment. We are able to cover a wide range of models that have heretofore been untractable. In particular, our results are pertinent to difference equations modulated by a stationary Gaussian process. Such equations arise in applications, for example, in discretized stochastic volatility models of mathematical finance.


title: Blowup of solutions for nonlinear nonlocal heat equations

abstract: Blowup analysis for solutions of a general evolution equation with nonlocal diffusion and localized source is performed. By comparison with recent results on global-in-time solutions, a dichotomy result is obtained.


title: Small-Variance Asymptotics for Nonparametric Bayesian Overlapping Stochastic Blockmodels

abstract: The latent feature relational model (LFRM) is a generative model for graph-structured data to learn a binary vector representation for each node in the graph. The binary vector denotes the node's membership in one or more communities. At its core, the LFRM miller2009nonparametric is an overlapping stochastic blockmodel, which defines the link probability between any pair of nodes as a bilinear function of their community membership vectors. Moreover, using a nonparametric Bayesian prior (Indian Buffet Process) enables learning the number of communities automatically from the data. However, despite its appealing properties, inference in LFRM remains a challenge and is typically done via MCMC methods. This can be slow and may take a long time to converge. In this work, we develop a small-variance asymptotics based framework for the non-parametric Bayesian LFRM. This leads to an objective function that retains the nonparametric Bayesian flavor of LFRM, while enabling us to design deterministic inference algorithms for this model, that are easy to implement (using generic or specialized optimization routines) and are fast in practice. Our results on several benchmark datasets demonstrate that our algorithm is competitive to methods such as MCMC, while being much faster.


title: A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees

abstract: Despite the improved accuracy of deep neural networks, the discovery of adversarial examples has raised serious safety concerns. In this paper, we study two variants of pointwise robustness, the maximum safe radius problem, which for a given input sample computes the minimum distance to an adversarial example, and the feature robustness problem, which aims to quantify the robustness of individual features to adversarial perturbations. We demonstrate that, under the assumption of Lipschitz continuity, both problems can be approximated using finite optimisation by discretising the input space, and the approximation has provable guarantees, i.e., the error is bounded. We then show that the resulting optimisation problems can be reduced to the solution of two-player turn-based games, where the first player selects features and the second perturbs the image within the feature. While the second player aims to minimise the distance to an adversarial example, depending on the optimisation objective the first player can be cooperative or competitive. We employ an anytime approach to solve the games, in the sense of approximating the value of a game by monotonically improving its upper and lower bounds. The Monte Carlo tree search algorithm is applied to compute upper bounds for both games, and the Admissible A* and the Alpha-Beta Pruning algorithms are, respectively, used to compute lower bounds for the maximum safety radius and feature robustness games. When working on the upper bound of the maximum safe radius problem, our tool demonstrates competitive performance against existing adversarial example crafting algorithms. Furthermore, we show how our framework can be deployed to evaluate pointwise robustness of neural networks in safety-critical applications such as traffic sign recognition in self-driving cars.


title: Heat distribution of a quantum harmonic oscillator

abstract: We consider a thermal quantum harmonic oscillator weakly coupled to a heat bath at a different temperature. We analytically study the quantum heat exchange statistics between the two systems using the quantum-optical master equation. We exactly compute the characteristic function of the heat distribution and show that it verifies the Jarzynski-W\'ojcik fluctuation theorem. We further evaluate the heat probability density in the limit of long thermalization times, both in the low and high temperature regimes, and investigate its time evolution by calculating its first two cumulants.


title: Power Network Dynamics on Graphons

abstract: Power grids are undergoing major changes from a few large producers to smart grids build upon renewable energies. Mathematical models for power grid dynamics have to be adapted to capture, when dynamic nodes can achieve synchronization to a common grid frequency on complex network topologies. In this paper we study a second-order rotator model in the large network limit. We merge the recent theory of random graph limits for complex small-world networks with approaches to first-order systems on graphons. We prove that there exists a well-posed continuum limit integral equation approximating the large finite-dimensional case power grid network dynamics. Then we analyse the linear stability of synchronized solutions and prove linear stability. However, on small-world networks we demonstrate that there are topological parameters moving the spectrum arbitrarily close to the imaginary axis leading to potential instability on finite time scales.


title: An alternative method to generate pre-initial conditions for cosmological $N$-body simulations

abstract: Currently, grid and glass methods are the two most popular choices to generate uniform particle distributions (i.e., pre-initial conditions) for cosmological $N$-body simulations. In this article, we introduce an alternative method called the capacity constrained Voronoi tessellation (CCVT), which originates from computer graphics. As a geometrical equilibrium state, a CCVT particle configuration satisfies two constraints: (i) the volume of the Voronoi cell associated with each particle is equal; (ii) every particle is in the center-of-mass position of its Voronoi cell. We show that the CCVT configuration is uniform and isotropic, follows perfectly the minimal power spectrum, $P(k)\propto k^4$, and is quite stable under gravitational interactions. It is natural to incorporate periodic boundary conditions during CCVT making, therefore, we can obtain a larger CCVT by tiling with a small periodic CCVT. When applying the CCVT pre-initial condition to cosmological $N$-body simulations, we show that it plays as good as grid and glass schemes. The CCVT method will be helpful in studying the numerical convergence of pre-initial conditions in cosmological simulations. It can also be used to set up pre-initial conditions in smoothed-particle hydrodynamics simulations.


title: Strong renewal theorems and local large deviations for multivariate random walks and renewals

abstract: We study a random walk $\mathbf{S}_n$ on $\mathbb{Z}^d$ ($d\geq 1$), in the domain of attraction of an operator-stable distribution with index $\boldsymbol{\alpha}=(\alpha_1,\ldots,\alpha_d) \in (0,2]^d$: in particular, we allow the scalings to be different along the different coordinates. We prove a strong renewal theorem, $i.e.$ a sharp asymptotic of the Green function $G(\mathbf{0},\mathbf{x})$ as $\|\mathbf{x}\|\to +\infty$, along the "favorite direction or scaling": (i) if $\sum_{i=1}^d \alpha_i^{-1} < 2$ (reminiscent of Garsia-Lamperti's condition when $d=1$ [Comm. Math. Helv. $\mathbf{37}$, 1962]); (ii) if a certain $local$ condition holds (reminiscent of Doney's condition [Probab. Theory Relat. Fields $\mathbf{107}$, 1997] when $d=1$). We also provide uniform bounds on the Green function $G(\mathbf{0},\mathbf{x})$, sharpening estimates when $\mathbf{x}$ is away from this favorite direction or scaling. These results improve significantly the existing literature, which was mostly concerned with the case $\alpha_i\equiv \alpha$, in the favorite scaling, and has even left aside the case $\alpha\in[1,2)$ with non-zero mean. Most of our estimates rely on new general (multivariate) local large deviations results, that were missing in the literature and that are of interest on their own.


title: Effective operators in $t$-channel single top production and decay

abstract: The production of a single top quark in the $t$-channel and its subsequent decay is studied at NLO accuracy in QCD, augmented with the relevant dimension-6 effective operators from the Standard Model Effective Theory. We examine various kinematic and angular distributions for proton-proton collisions at the LHC at 13 TeV, in order to assess the sensitivity to these operators, both with and without the top quark narrow width approximation. Our results will be helpful when devising strategies to establish bounds on their coefficients, including the amount of CP violation of the weak dipole operator.


title: SiL: An Approach for Adjusting Applications to Heterogeneous Systems Under Perturbations

abstract: Scientific applications consist of large and computationally-intensive loops. Dynamic loop scheduling (DLS) techniques are used to load balance the execution of such applications. Load imbalance can be caused by variations in loop iteration execution times due to problem, algorithmic, or systemic characteristics (also, perturbations). The following question motivates this work: "Given an application, a high-performance computing (HPC) system, and both their characteristics and interplay, which DLS technique will achieve improved performance under unpredictable perturbations?" Existing work only considers perturbations caused by variations in the HPC system delivered computational speeds. However, perturbations in available network bandwidth or latency are inevitable on production HPC systems. Simulator in the loop (SiL) is introduced, herein, as a new control-theoretic inspired approach to dynamically select DLS techniques that improve the performance of applications on heterogeneous HPC systems under perturbations. The present work examines the performance of six applications on a heterogeneous system under all above system perturbations. The SiL proof of concept is evaluated using simulation. The performance results confirm the initial hypothesis that no single DLS technique can deliver best performance in all scenarios, while the SiL-based DLS selection delivered improved application performance in most experiments.


title: Cost-Efficient Orchestration of Containers in Clouds: A Vision, Architectural Elements, and Future Directions

abstract: This paper proposes an architectural framework for the efficient orchestration of containers in cloud environments. It centres around resource scheduling and rescheduling policies as well as autoscaling algorithms that enable the creation of elastic virtual clusters. In this way, the proposed framework enables the sharing of a computing environment between differing client applications packaged in containers, including web services, offline analytics jobs, and backend pre-processing tasks. The devised resource management algorithms and policies will improve utilization of the available virtual resources to reduce operational cost for the provider while satisfying the resource needs of various types of applications. The proposed algorithms will take factors that are previously omitted by other solutions into consideration, including 1) the pricing models of the acquired resources, 2) and the fault-tolerability of the applications, and 3) the QoS requirements of the running applications, such as the latencies and throughputs of the web services and the deadline of the analytical and pre-processing jobs. The proposed solutions will be evaluated by developing a prototype platform based on one of the existing container orchestration platforms.


title: Dynamics of large-scale solar-wind streams obtained by the double superposed epoch analysis. 4. Helium abundance

abstract: This work is a continuation of our previous articles (Yermolaev et al. in J. Geophys. Res. 120, 7094, 2015; Yermolaev et al. in Solar Phys. 292, 193, 2017; Yermolaev et al. in Solar Phys. 293, 91, 2018), which describe the average temporal profiles of interplanetary plasma and field parameters in large-scale solar-wind (SW) streams: corotating interaction regions (CIRs), interplanetary coronal mass ejections (ICMEs including both magnetic clouds (MCs) and ejecta), and sheaths as well as interplanetary shocks (ISs). In this work we analyze the average profile of helium abundance N{\alpha}/Np for interval of 1976-2016. Our results confirm main early obtained results: N{\alpha}/Np is higher in quasi-stationary fast streams than in slow ones; it slowly changes in compression regions CIRs and Sheaths from values in undisturbed solar wind to values in corresponding type of piston (HSS or ICME); in Ejecta it is closed to abundance in undisturbed streams and it is maximal in MCs. We obtained for first time that N{\alpha}/Np correlates with plasma {\beta}-parameter in compression regions CIRs and Sheaths and anti-correlates in ICMEs. The N{\alpha}/Np vs. {\beta} dependence is stronger in MCs than in Ejecta and may be used as an indicator of conditions in CME formation place on the Sun.


title: Type B Gaussian Statistics as Noncommutative Central Limits

abstract: We show that the noncommutative central limit theorem of Speicher can be adapted to produce the Gaussian statistics associated to Coxeter groups of type B, in the sense of Bo\.zejko, Ejsmont, and Hasebe. Specifically, we show how type B Gaussian statistics naturally arise in systems of 'mixed spins', providing a new application of Speicher's argument and paving the way for the transfer of known results from the bosonic/fermionic settings to such broader contexts.


title: The difficulties associated with integrating computation into undergraduate physics

abstract: From a department being resistant to change to students not buying into the new computational activities, the challenges that are faced with integrating computation into the physics undergraduate curriculum are varied. The Partnership for Integration of Computation into Undergraduate Physics (PICUP) aims to expand the role of computation in the undergraduate physics curriculum. The research presented in this paper is part of a larger project examining the role of the PICUP workshop in facilitating both the integration of computation into classrooms and developing a supportive community to support this integration. An important part of providing the necessary supports for integration is understanding and categorizing the problems members of this community of integrators face when integrating computation in their courses. Through individual and group interviews, we discuss the barriers to integration that new and experienced community members of PICUP have experienced in the past or perceive could exist in the future.


title: Construction of Confidence Intervals

abstract: Introductory texts on statistics typically only cover the classical "two sigma" confidence interval for the mean value and do not describe methods to obtain confidence intervals for other estimators. The present technical report fills this gap by first defining different methods for the construction of confidence intervals, and then by their application to a binomial proportion, the mean value, and to arbitrary estimators. Beside the frequentist approach, the likelihood ratio and the highest posterior density approach are explained. Two methods to estimate the variance of general maximum likelihood estimators are described (Hessian, Jackknife), and for arbitrary estimators the bootstrap is suggested. For three examples, the different methods are evaluated by means of Monte Carlo simulations with respect to their coverage probability and interval length. R code is given for all methods, and the practitioner obtains a guideline which method should be used in which cases.


title: Multi-D Kneser-Ney Smoothing Preserving the Original Marginal Distributions

abstract: Smoothing is an essential tool in many NLP tasks, therefore numerous techniques have been developed for this purpose in the past. One of the most widely used smoothing methods are the Kneser-Ney smoothing (KNS) and its variants, including the Modified Kneser-Ney smoothing (MKNS), which are widely considered to be among the best smoothing methods available. Although when creating the original KNS the intention of the authors was to develop such a smoothing method that preserves the marginal distributions of the original model, this property was not maintained when developing the MKNS. In this article I would like to overcome this and propose such a refined version of the MKNS that preserves these marginal distributions while keeping the advantages of both previous versions. Beside its advantageous properties, this novel smoothing method is shown to achieve about the same results as the MKNS in a standard language modelling task.


title: Effects of rotation and acceleration in the axial current: density operator vs Wigner function

abstract: The hydrodynamic coefficients in the axial current are calculated on the basis of the equilibrium quantum statistical density operator in the third order of perturbation theory in thermal vorticity tensor both for the case of massive and massless fermions. The coefficients obtained describe third-order corrections to the Chiral Vortical Effect and include the contribution from local acceleration. We show that the methods of the Wigner function and the statistical density operator lead to the same result for an axial current in describing effects associated only with vorticity when the local acceleration is zero, but differ in describing mixed effects for which both acceleration and vorticity are significant simultaneously.


title: Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks

abstract: Understanding the run-time behavior of concurrent programs is a challenging task. A popular approach is to establish a happens- before relation via vector clocks. Thus, we can identify bugs and per- formance bottlenecks, for example, by checking if two con icting events may happen concurrently. We employ a two-phase method to derive vector clock information for a wide range of concurrency features that includes all of the message-passing features in Go. The rst phase (instrumentation and tracing) yields a run-time trace that records all events related to message-passing concurrency that took place. The second phase (trace replay) is carried out o ine and replays the recorded traces to infer vector clock information. Trace replay operates on thread-local traces. Thus, we can observe behav- ior that might result from some alternative schedule. Our approach is not tied to any speci c language. We have built a prototype for the Go programming language and provide empirical evidence of the usefulness of our method.


title: Difficulty Controllable Generation of Reading Comprehension Questions

abstract: We investigate the difficulty levels of questions in reading comprehension datasets such as SQuAD, and propose a new question generation setting, named Difficulty-controllable Question Generation (DQG). Taking as input a sentence in the reading comprehension paragraph and some of its text fragments (i.e., answers) that we want to ask questions about, a DQG method needs to generate questions each of which has a given text fragment as its answer, and meanwhile the generation is under the control of specified difficulty labels---the output questions should satisfy the specified difficulty as much as possible. To solve this task, we propose an end-to-end framework to generate questions of designated difficulty levels by exploring a few important intuitions. For evaluation, we prepared the first dataset of reading comprehension questions with difficulty labels. The results show that the question generated by our framework not only have better quality under the metrics like BLEU, but also comply with the specified difficulty labels.


title: Two-stage iterative Procrustes match algorithm and its application for VQ-based speaker verification

abstract: In the past decades, Vector Quantization (VQ) model has been very popular across different pattern recognition areas, especially for feature-based tasks. However, the classification or regression performance of VQ-based systems always confronts the feature mismatch problem, which will heavily affect the performance of them. In this paper, we propose a two-stage iterative Procrustes algorithm (TIPM) to address the feature mismatch problem for VQ-based applications. At the first stage, the algorithm will remove mismatched feature vector pairs for a pair of input feature sets. Then, the second stage will collect those correct matched feature pairs that were discarded during the first stage. To evaluate the effectiveness of the proposed TIPM algorithm, speaker verification is used as the case study in this paper. The experiments were conducted on the TIMIT database and the results show that TIPM can improve VQ-based speaker verification performance clean condition and all noisy conditions.


title: Asymmetry in Solar Torsional Oscillation and the Sunspot Cycle

abstract: Solar torsional oscillations are migrating bands of slower- and faster-than-average rotation, which are strongly related to the Sun's magnetic cycle. We perform a long-term study (16 yr) of hemispherical asymmetry in solar torsional oscillation velocity using helioseismic data for the first time. We study the north-south asymmetry in the velocity using the zonal flow velocities obtained by ring diagram analysis of the Global Oscillation Network Group (GONG) Doppler images. We find significant hemispherical asymmetry in the torsional oscillation velocity and explore its variation with respect to depth, time, and latitude. We also calculate the hemispherical asymmetry in the surface velocity measurements from the Mount Wilson Observatory and the zonal flow velocities obtained from the Helioseismic and Magnetic Imager ring diagram pipeline. These asymmetries are found to be consistent with the asymmetry obtained from GONG observations. We show that the asymmetry in near-surface torsional oscillation velocity is correlated with the asymmetry in magnetic flux and sunspot number at the solar surface, with the velocity asymmetry preceding the flux and sunspot number asymmetries. We speculate that the asymmetry in torsional oscillation velocity may help in predicting the hemispherical asymmetry in sunspot cycles.


title: Thermal echo in a finite one-dimensional harmonic crystal

abstract: An instant homogeneous thermal perturbation in the finite harmonic one-dimensional crystal is studied. Previously it was shown that for the same problem in the infinite crystal the kinetic temperature oscillates with decreasing amplitude described by the Bessel function of the first kind. In the present paper it is shown that in the finite crystal this behavior is observed only until a certain period of time when a sharp increase of the oscillations amplitude is realized. This phenomenon, further refereed to as the thermal echo, is realized periodically, with the period proportional to the crystal size. The amplitude for each subsequent echo is lower than for the previous one. It is obtained analytically that the time-dependance of the kinetic temperature can be described by an infinite sum of the Bessel functions with multiple indexes. It is also shown that the thermal echo in the thermodynamic limit is described by the Airy function.


title: Social-Feature Enabled Communications among Devices towards Smart IoT Community

abstract: Future IoT is expected to get ubiquitous connection and access in a global scale. In the meantime, with the empowered communications capability for IoT devices, IoT will evolve to be highly autonomous, even under the help from infrastructure, and thus will gradually establish the smart IoT community. One of the major challenges imposed on the smart IoT communities is the socialization of IoT communications, because massive IoT accesses make centralized control very hard and also face the shortage of spectrum resources. Towards these issues, we in this article first present the overview and discussions on social features affecting connections among devices. Then, we motivate studies on the statistical characteristics of social features for connections among devices towards smart IoT. We further propose the queuing model under unified asymptotic analyses framework to characterize the statistical social features, with emphases on typical social metrics such as credit, reputation, centrality, etc. How to apply these features for network optimization is further suggested. Finally, we share our opinion on the open problems of social-aware design towards future smart IoT.


title: Paired Comparison Sentiment Scores

abstract: The method of paired comparisons is an established method in psychology. In this article, it is applied to obtain continuous sentiment scores for words from comparisons made by test persons. We created an initial lexicon with $n=199$ German words from a two-fold all-pair comparison experiment with ten different test persons. From the probabilistic models taken into account, the logistic model showed the best agreement with the results of the comparison experiment. The initial lexicon can then be used in different ways. One is to create special purpose sentiment lexica through the addition of arbitrary words that are compared with some of the initial words by test persons. A cross-validation experiment suggests that only about 18 two-fold comparisons are necessary to estimate the score of a new, yet unknown word, provided these words are selected by a modification of a method by Silverstein & Farrell. Another application of the initial lexicon is the evaluation of automatically created corpus-based lexica. By such an evaluation, we compared the corpus-based lexica SentiWS, SenticNet, and SentiWordNet, of which SenticNet 4 performed best. This technical report is a corrected and extended version of a presentation made at the ICDM Sentire workshop in 2016.


title: Estimating Wealth Distribution: Top Tail and Inequality

abstract: This article describes mathematical methods for estimating the top-tail of the wealth distribution and therefrom the share of total wealth that the richest $p$ percent hold, which is an intuitive measure of inequality. As the data base for the top-tail of the wealth distribution is inevitably less complete than the data for lower wealth, the top-tail distribution is replaced by a parametric model based on a Pareto distribution. The different methods for estimating the parameters are compared and new simulations are presented which favor the maximum-likelihood estimator for the Pareto parameter $\alpha$. New criteria for the choice of other parameters are presented which have not yet been discussed in the literature before. The methods are applied to the 2012 data from the ECB Household and Consumption Survey (HFCS) for Germany and the corresponding rich list from the Manager Magazin. In addition to a presentation of all formulas, R scripts implementing them are provided by the author.


title: Tycho's supernova: the view from {\it Gaia}

abstract: SN 1572 (Tycho Brahe's supernova) clearly belongs to the Ia (thermonuclear) type. It was produced by the explosion of a white dwarf in a binary system. Its remnant has been the first of this type to be explored in search of a possible surviving companion, the mass donor that brought the white dwarf to the point of explosion. A high peculiar motion with respect to the stars at the same location in the Galaxy, mainly due to the orbital velocity at the time of the explosion, is a basic criterion for the detection of such companions. Radial velocities from the spectra of the stars close to the geometrical center of Tycho's supernova remnant, plus proper motions of the same stars, obtained by astrometry with the {\it Hubble Space Telescope}, have been used so far. In addition, a detailed chemical analysis of the atmospheres of a sample of candidate stars had been made. However, the distances to the stars, remained uncertain. Now, the Second {\it Gaia} Data Release (DR2) provides unprecedent accurate distances and new proper motions for the stars can be compared with those made from the {\it HST}. We consider the Galactic orbits that the candidate stars to SN companion would have in the future. We do this to explore kinematic peculiarity. We also locate a representative sample of candidate stars in the Toomre diagram. Using the new data, we reevaluate here the status of the candidates suggested thus far, as well as the larger sample of the stars seen in the central region of the remnant.


title: Efficient Evaluation of the Number of False Alarm Criterion

abstract: This paper proposes a method for computing efficiently the significance of a parametric pattern inside a binary image. On the one hand, a-contrario strategies avoid the user involvement for tuning detection thresholds, and allow one to account fairly for different pattern sizes. On the other hand, a-contrario criteria become intractable when the pattern complexity in terms of parametrization increases. In this work, we introduce a strategy which relies on the use of a cumulative space of reduced dimensionality, derived from the coupling of a classic (Hough) cumulative space with an integral histogram trick. This space allows us to store partial computations which are required by the a-contrario criterion, and to evaluate the significance with a lower computational cost than by following a straightforward approach. The method is illustrated on synthetic examples on patterns with various parametrizations up to five dimensions. In order to demonstrate how to apply this generic concept in a real scenario, we consider a difficult crack detection task in still images, which has been addressed in the literature with various local and global detection strategies. We model cracks as bounded segments, detected by the proposed a-contrario criterion, which allow us to introduce additional spatial constraints based on their relative alignment. On this application, the proposed strategy yields state-of the-art results, and underlines its potential for handling complex pattern detection tasks.


title: Revisiting the Hierarchical Multiscale LSTM

abstract: Hierarchical Multiscale LSTM (Chung et al., 2016a) is a state-of-the-art language model that learns interpretable structure from character-level input. Such models can provide fertile ground for (cognitive) computational linguistics studies. However, the high complexity of the architecture, training procedure and implementations might hinder its applicability. We provide a detailed reproduction and ablation study of the architecture, shedding light on some of the potential caveats of re-purposing complex deep-learning architectures. We further show that simplifying certain aspects of the architecture can in fact improve its performance. We also investigate the linguistic units (segments) learned by various levels of the model, and argue that their quality does not correlate with the overall performance of the model on language modeling.


title: Constraints on the generalized natural inflation after Planck 2018

abstract: Based on the dynamics of single scalar field slow-roll inflation and the theory of reheating, we investigate the generalized natural inflationary (GNI) model. Concretely, we give constraints on the scalar spectral index $n_{s}$ and tensor-to scalar ratio $r$ for $\Lambda$CDM $+r$ model according to the latest data from Plack 2018 TT,TE,EE+lowE+lensing (P18) and BICEP2/Keck 2015 season (BK15), i.e., $n_{s}=0.9659\pm0.0044$ at $68\%$ confidence level (CL) and $r<0.0623$ at $95\%$CL. We find that the GNI model is favored by P18 plus BK15 in the ranges of $\log_{10}(f/M_{p})=0.62^{+0.17}_{-0.18}$ and $m=0.35^{+0.13}_{-0.23}$ at $68\%$CL. In addition, the corresponding predictions of the general and two-phase reheating are respectively discussed. It follows that the parameter $m$ has the significant effect on the model behaviors.


title: X-shooting GRBs at high redshift: probing dust production history

abstract: Evolved asymptotic giant branch (AGB) stars and Type Ia supernovae (SNe) are important contributors to the elements that form dust in the interstellar medium of galaxies, in particular, carbon and iron. However, they require at least a Gyr to start producing these elements, therefore, a change in dust quantity or properties may appear at high redshifts. In this work, we use extinction of gamma-ray burst (GRB) afterglows as a tool to look for variations in dust properties at z>3. We use a spectroscopically selected sample of GRB afterglows observed with the VLT/X-shooter instrument to determine extinction curves out to high redshifts. We present ten new z>3 X-shooter GRBs of which six are dusty. Combining these with individual extinction curves of three previously known z>3 GRBs, we find an average extinction curve consistent with the SMC-Bar. A comparison with spectroscopically selected GRBs at all redshifts indicates a drop in visual extinction (A_V) at z>3.5 with no moderate or high extinction bursts. We check for observational bias using template spectra and find that GRBs up to z~8 are detectable with X-shooter up to A_V~0.3 mag. Although other biases are noted, a uniformly low dust content above z>3.5 indicates a real drop, suggesting a transition in dust properties and/or available dust building blocks. The remarkable increase in dust content at z<3.5 could arise due to carbon and possibly iron production by the first carbon-rich AGB and Type Ia SNe, respectively. Alternatively, z>3.5 dust drop could be the result of low stellar masses of GRB host galaxies.


title: Spin-orbit splitting of the conduction band in HgTe quantum wells: role of different mechanisms

abstract: Spin-orbit splitting of conduction band in HgTe quantum wells was studied experimentally. In order to recognize the role of different mechanisms, we carried out detailed measurements of the Shubnikov-de Haas oscillations in gated structures with a quantum well widths from $8$ to $18$ nm over a wide range of electron density. With increasing electron density controlled by the gate voltage, splitting of the maximum of the Fourier spectrum $f_0$ into two components $f_1$ and $f_2$ and the appearance of the low-frequency component $f_3$ was observed. Analysis of these results shows that the components $f_1$ and $f_2$ give the electron densities $n_1$ and $n_2$ in spin-orbit split subbands while the $f_3$ component results from magneto-intersubband oscillations so that $f_3=f_1 - f_2$. Comparison of these data with results of self-consistent calculations carried out within the framework of four-band \emph{kP}-model shows that a main contribution to spin-orbit splitting comes from the Bychkov-Rashba effect. Contribution of the interface inversion asymmetry to the splitting of the conduction band turns out to be four-to-five times less than that for the valence band in the same structures.


title: From elliptic curves to Feynman integrals

abstract: In this talk we discuss Feynman integrals which are related to elliptic curves. We show with the help of an explicit example that in the set of master integrals more than one elliptic curve may occur. The technique of maximal cuts is a useful tool to identify the elliptic curves. By a suitable transformation of the master integrals the system of differential equations for our example can be brought into a form linear in $\varepsilon$, where the $\varepsilon^0$-term is strictly lower-triangular. This system is easily solved in terms of iterated integrals.


title: On quantum computation of Kloosterman sums

abstract: We give two quantum algorithms for computing (twisted) Kloosterman sums attached to a finite field $\mathbf{F}$ of $q$ elements. The first algorithm computes a quantum state containing, as its coefficients with respect to the standard basis, all Kloosterman sums for $\mathbf{F}$ twisted by a given multiplicative character, and runs in time polynomial in $\log q$. The second algorithm computes a single Kloosterman sum to a prescribed precision, and runs in time quasi-linear in $\sqrt{q}$.