title: Optimal continuous-variable teleportation under energy constraint

abstract: Quantum teleportation is one of the crucial protocols in quantum information processing. It is important to accomplish an efficient teleportation under practical conditions, aiming at a higher fidelity desirably using fewer resources. The continuous-variable (CV) version of quantum teleportation was first proposed using a Gaussian state as a quantum resource, while other attempts were also made to improve performance by applying non-Gaussian operations. We investigate the CV teleportation to find its ultimate fidelity under energy constraint identifying an optimal quantum state. For this purpose, we present a formalism to evaluate teleportation fidelity as an expectation value of an operator. Using this formalism, we prove that the optimal state must be a form of photon-number entangled states. We further show that Gaussian states are near-optimal while non-Gaussian states make a slight improvement and therefore are rigorously optimal, particularly in the low-energy regime.


title: Critical Slowing Down of Quadrupole and Hexadecapole Orderings in Iron Pnictide Superconductor

abstract: Ultrasonic measurements have been carried out to investigate the critical dynamics of structural and superconducting transitions due to degenerate orbital bands in iron pnictide compounds with the formula Ba(Fe$_{1-x}$Co$_x$)$_2$As$_2$. The attenuation coefficient $\alpha_{\mathrm{L}[110]}$ of the longitudinal ultrasonic wave for $(C_{11}+C_{12}+2C_{66})/2$ for $x = 0.036$ reveals the critical slowing down of the relaxation time around the structural transition at $T_\mathrm{s} = 65$ K, which is caused by ferro-type ordering of the quadrupole $O_{x'^2-y'^2}$ coupled to the strain $\varepsilon_{xy}$. The attenuation coefficient $\alpha_{66}$ of the transverse ultrasonic wave for $C_{66}$ for $x = 0.071$ also exhibits the critical slowing down around the superconducting transition at $T_\mathrm{SC} = 23$ K, which is caused by ferro-type ordering of the hexadecapole $H_z^\alpha \bigl( \boldsymbol{r}_i, \boldsymbol{r}_j \bigr) = O_{x'y'}\bigl( \boldsymbol{r}_i \bigr) O_{x'^2 - y'^2}\bigl( \boldsymbol{r}_j \bigr) + O_{x'^2 - y'^2}\bigl( \boldsymbol{r}_i \bigr) O_{x'y'}\bigl( \boldsymbol{r}_j \bigr)$ of the bound two-electron state coupled to the rotation $\omega_{xy}$. It is proposed that the hexadecapole ordering associated with the superconductivity brings about spontaneous rotation of the macroscopic superconducting state with respect to the host tetragonal lattice.


title: On gravitational radiation in Brans-Dicke gravity

abstract: Brans-Dicke gravity admits spherical solutions describing naked singularities rather than black holes. Depending on some parameters entering such a solution, stable circular orbits exist for all radius. One argues that, despite the fact that the naked singularity is an infinite redshift location, the far observed orbital motion frequency is unbounded for an adiabatically decreasing radius. This is a salient difference with General Relativity, and the incidence on the gravitational radiation by EMRI systems is stressed. Since this behaviour survives the infinite omega limit, the possibility of such solutions is of utmost interest in the new gravitational wave astronomy context, despite the current constraints on scalar-tensor gravity.


title: Origin of threshold current density for asymmetric magnetoresistance in Pt/Py bilayers

abstract: An asymmetric magnetoresistance (MR) is investigated in Py/Pt bilayers. The asymmetric MR linearly increases with current density up to a threshold, and increases more rapidly above the threshold. To reveal the origin of threshold behavior, we investigate the magnetic field dependence of the asymmetric MR. It is found that the magnetic field strongly suppresses the asymmetric MR only above the threshold current density. Micromagnetic simulation reveals that the reduction of magnetization due to the spin-torque oscillation can be the origin of the threshold behavior of asymmetric MR.


title: On the Power Spectral Density Applied to the Analysis of Old Canvases

abstract: A routine task for art historians is painting diagnostics, such as dating or attribution. Signal processing of the X-ray image of a canvas provides useful information about its fabric. However, previous methods may fail when very old and deteriorated artworks or simply canvases of small size are studied. We present a new framework to analyze and further characterize the paintings from their radiographs. First, we start from a general analysis of lattices and provide new unifying results about the theoretical spectra of weaves. Then, we use these results to infer the main structure of the fabric, like the type of weave and the thread densities. We propose a practical estimation of these theoretical results from paintings with the averaged power spectral density (PSD), which provides a more robust tool. Furthermore, we found that the PSD provides a fingerprint that characterizes the whole canvas. We search and discuss some distinctive features we may find in that fingerprint. We apply these results to several masterpieces of the 17th and 18th centuries from the Museo Nacional del Prado to show that this approach yields accurate results in thread counting and is very useful for paintings comparison, even in situations where previous methods fail.


title: Global sensitivity analysis in the context of imprecise probabilities (p-boxes) using sparse polynomial chaos expansions

abstract: Global sensitivity analysis aims at determining which uncertain input parameters of a computational model primarily drives the variance of the output quantities of interest. Sobol' indices are now routinely applied in this context when the input parameters are modelled by classical probability theory using random variables. In many practical applications however, input parameters are affected by both aleatory and epistemic (so-called polymorphic) uncertainty, for which imprecise probability representations have become popular in the last decade. In this paper, we consider that the uncertain input parameters are modelled by parametric probability boxes (p-boxes). We propose interval-valued (so-called imprecise) Sobol' indices as an extension of their classical definition. An original algorithm based on the concepts of augmented space, isoprobabilistic transforms and sparse polynomial chaos expansions is devised to allow for the computation of these imprecise Sobol' indices at extremely low cost. In particular, phantoms points are introduced to build an experimental design in the augmented space (necessary for the calibration of the sparse PCE) which leads to a smart reuse of runs of the original computational model. The approach is illustrated on three analytical and engineering examples which allows one to validate the proposed algorithms against brute-force double-loop Monte Carlo simulation.


title: Distinct domain-wall motion between creep and flow regimes near the angular momentum compensation temperature of ferrimagnet

abstract: We investigate a magnetic domain-wall (DW) motion in two dynamic regimes, creep and flow regimes, near the angular momentum compensation temperature (T_A) of ferrimagnet. In the flow regime, the DW speed shows sharp increase at T_A due to the emergence of antiferromagnetic DW dynamics. In the creep regime, however, the DW speed exhibits a monotonic increase with increasing the temperature. This result suggests that, in the creep regime, the thermal activation process governs the DW dynamics even near T_A. Our result unambiguously shows the distinct behavior of ferrimagnetic DW motion depending on the dynamic regime, which is important for emerging ferrimagnet-based spintronic applications.


title: Small Area Quantile Estimation

abstract: Sample surveys are widely used to obtain information about totals, means, medians, and other parameters of finite populations. In many applications, similar information is desired for subpopulations such as individuals in specific geographic areas and socio-demographic groups. When the surveys are conducted at national or similarly high levels, a probability sampling can result in just a few sampling units from many unplanned subpopulations at the design stage. Cost considerations may also lead to low sample sizes from individual small areas. Estimating the parameters of these subpopulations with satisfactory precision and evaluating their accuracy are serious challenges for statisticians. To overcome the difficulties, statisticians resort to pooling information across the small areas via suitable model assumptions, administrative archives, and census data. In this paper, we develop an array of small area quantile estimators. The novelty is the introduction of a semiparametric density ratio model for the error distribution in the unit-level nested error regression model. In contrast, the existing methods are usually most effective when the response values are jointly normal. We also propose a resampling procedure for estimating the mean square errors of these estimators. Simulation results indicate that the new methods have superior performance when the population distributions are skewed and remain competitive otherwise.


title: Contributions of Co and Fe orbitals to Perpendicular Magnetic Anisotropy of MgO/CoFeB Bilayers with Spin-Orbit-Torque-Related (Ta, W, IrMn, and Ti) Underlayers

abstract: We study the perpendicular magnetic anisotropy (PMA) of the CoFeB/MgO bilayers in contact with W, Ta, IrMn and Ti which has been suggested as the spin-orbit-torque-related underlayers. The saturation magnetization of the CoFeB depends on the underlayer materials due to formation of a dead-layer, affecting PMA strength of each film. The x-ray magnetic circular dichroism measurement reveals that the interfacial intermixing suppresses only the perpendicular orbital moment of Fe, while the intermixing simultaneously suppresses both the perpendicular and in-plane orbital moments of Co.


title: Counting Subwords Occurrences in Base-b Expansions

abstract: We count the number of distinct (scattered) subwords occurring in the base-b expansion of the non-negative integers. More precisely, we consider the sequence $(S_b(n))_{n\ge 0}$ counting the number of positive entries on each row of a generalization of the Pascal triangle to binomial coefficients of base-$b$ expansions. By using a convenient tree structure, we provide recurrence relations for $(S_b(n))_{n\ge 0}$ leading to the $b$-regularity of the latter sequence. Then we deduce the asymptotics of the summatory function of the sequence $(S_b(n))_{n\ge 0}$.


title: On a result of Cartwright and Field

abstract: Let $M_{n,r}=(\sum_{i=1}^{n}q_ix_i^r)^{\frac {1}{r}}, r\neq 0$ and $M_{n,0}=\displaystyle \lim_{r \rightarrow 0}M_{n,r}$ be the weighted power means of $n$ non-negative numbers $x_i, 1 \leq i \leq n$ with $q_i > 0$ satisfying $\sum^n_{i=1}q_i=1$. Let $r>s$, a result of Cartwright and Field shows that when $r=1, s=0$, \begin{align*} \frac {r-s}{2x_n}\sigma_n \leq M_{n,r}-M_{n,s} \leq \frac {r-s}{2x_1} \sigma_n, \end{align*} where $x_1=\min \{x_i \}, x_n=\max \{x_i \}, \sigma_n=\sum_{i=1}^{n}q_i(x_i-M_{n,1})^2$. In this paper, we determine all the pairs $(r,s)$ such that the right-hand side inequality above holds and all the pairs $(r,s), -1/2 \leq s \leq 1$ such that the left-hand side inequality above holds.


title: On a generalized crank for $k$-colored partitions

abstract: A generalized crank ($k$-crank) for $k$-colored partitions is introduced. Following the work of Andrews-Lewis and Ji-Zhao, we derive two results for this newly defined $k$-crank. Namely, we first obtain some inequalities between the $k$-crank counts $M_{k}(r,m,n)$ for $m=2,3$ and $4$, then we prove the positivity of symmetrized even $k$-crank moments weighted by the parity for $k=2$ and $3$. We conclude with several remarks on furthering the study initiated here.


title: Static and dynamic properties of heavily doped quantum vortices

abstract: Quantum vortices in superfluids may capture matter and deposit it inside their core. By doping vortices with foreign particles one can effectively visualize them and study experimentally. To acquire a better understanding of the interaction of quantum vortices with matter and clarify the details of recent experiments properties of doped vortices are investigated here theoretically in the regimes where the doping mass becomes close to the total mass of superfluid particles forming a vortex. Such formations are dynamically stable and, possessing both vorticity and enhanced inertia, demonstrate properties which are different from the pure vortex case. The goal of this paper is to define and investigate the universal aspects of a heavily doped vortex behavior which can be realized in different types of quantum mixtures. The proposed 3D model is based on a system of coupled semiclassical matter wave equations which are solved numerically in a wide range of physical parameters. The size, geometry, solubility and binding energy of dopants in different regimes are discussed. A coupled motion of a vortex-dopant complex and decoupling conditions are studied. The reconnection of vortices, taken as an example of a fundamental process responsible for the evolution of a quantum turbulent state, is modeled to illustrate the difference between the light and heavy doping cases.


title: Measurement incompatibility does not give rise to Bell violation in general

abstract: In the case of a pair of two-outcome measurements incompatibility is equivalent to Bell nonlocality. Indeed, any pair of incompatible two-outcome measurements can violate the Clauser-Horne-Shimony-Holt Bell inequality, which has been proven by Wolf et al. [Phys. Rev. Lett. 103, 230402 (2009)]. In the case of more than two measurements the equivalence between incompatibility and Bell nonlocality is still an open problem, though partial results have recently been obtained. Here we show that the equivalence breaks for a special choice of three measurements. In particular, we present a set of three incompatible two-outcome measurements, such that if Alice measures this set, independent of the set of measurements chosen by Bob and the state shared by them, the resulting statistics cannot violate any Bell inequality. On the other hand, complementing the above result, we exhibit a set of $N$ measurements for any $N>2$ that is $(N-1)$-wise compatible, nevertheless it gives rise to Bell violation.


title: Accurate and efficient band gap predictions of metal halide perovskites using the DFT-1/2 method: GW accuracy with DFT expense

abstract: The outstanding optoelectronics and photovoltaic properties of metal halide perovskites, including high carrier motilities, low carrier recombination rates, and the tunable spectral absorption range are attributed to the unique electronic properties of these materials. While DFT provides reliable structures and stabilities of perovskites, it performs poorly in electronic structure prediction. The relativistic GW approximation has been demonstrated to be able to capture electronic structure accurately, but at an extremely high computational cost. Here we report efficient and accurate band gap calculations of halide metal perovskites by using the approximate quasiparticle DFT-1/2 method. Using AMX3 (A = CH3NH3, CH2NHCH2, Cs; M = Pb, Sn, X=I, Br, Cl) as demonstration, the influence of the crystal structure (cubic, tetragonal or orthorhombic), variation of ions (different A, M and X) and relativistic effects on the electronic structure are systematically studied and compared with experimental results. Our results show that the DFT-1/2 method yields accurate band gaps with the precision of the GW method with no more computational cost than standard DFT. This opens the possibility of accurate electronic structure prediction of sophisticated halide perovskite structures and new materials design for lead-free materials.


title: Bounds on harmonic radius and limits of manifolds with bounded Bakry-\'Emery Ricci curvature

abstract: Under the usual condition that the volume of a geodesic ball is close to the Euclidean one or the injectivity radii is bounded from below, we prove a lower bound of the $C^{\alpha} W^{1, q}$ harmonic radius for manifolds with bounded Bakry-\'Emery Ricci curvature when the gradient of the potential is bounded. Under these conditions, the regularity that can be imposed on the metrics under harmonic coordinates is only $C^\alpha W^{1,q}$, where $q>2n$ and $n$ is the dimension of the manifolds. This is almost 1 order lower than that in the classical $C^{1,\alpha} W^{2, p}$ harmonic coordinates under bounded Ricci curvature condition [And]. The loss of regularity induces some difference in the method of proof, which can also be used to address the detail of $W^{2, p}$ convergence in the classical case. Based on this lower bound and the techniques in [ChNa2] and [WZ], we extend Cheeger-Naber's Codimension 4 Theorem in [ChNa2] to the case where the manifolds have bounded Bakry-\'Emery Ricci curvature when the gradient of the potential is bounded. This result covers Ricci solitons when the gradient of the potential is bounded. During the proof, we will use a Green's function argument and adopt a linear algebra argument in [Bam]. A new ingradient is to show that the diagonal entries of the matrices in the Transformation Theorem are bounded away from 0. Together these seem to simplify the proof of the Codimension 4 Theorem, even in the case where Ricci curvature is bounded.


title: Pair interactions of heavy vortices in quantum fluids

abstract: The dynamics of quantum vortex pairs carrying heavy doping matter trapped inside their cores is studied. The nonlinear classical matter field formalism is used to build a universal mathematical model of a heavy vortex applicable to different types of quantum mixtures. It is shown how the usual vortex dynamics typical for undoped pairs qualitatively changes when heavy dopants are used: heavy vortices with opposite topological charges (chiralities) attract each other, while vortices with the same charge are repelled. The force responsible for such behavior appears as a result of superposition of vortices velocity fields in the presence of doping substance and can be considered as a special realization of the Magnus effect. The force is evaluated quantitatively and its inverse proportionality to the distance is demonstrated. The mechanism described in this paper gives an example of how a light nonlinear classical field may realize repulsive and attractive interactions between embedded heavy impurities.


title: On hypersurfaces of generalized K\"ahler manifolds

abstract: We establish the conditions for the induced generalized metric F structure of an oriented hypersurface of a generalized K\"ahler manifold to be a generalized CRFK structure. Then, we discuss a notion of generalized almost contact structure on a manifold $M$ that is suggested by the induced structure of a hypersurface. Such a structure has an associated generalized almost complex structure on $M\times\mathds{R}$. If the latter is integrable, the former is normal and we give the corresponding characterization. If the structure on $M\times\mathds{R}$ is generalized K\"ahler, the structure on $M$ is said to be binormal. We characterize binormality and give an example of binormal structure.


title: The hyperbolic heat transfer equation and the ablation problem: Theory and experiment

abstract: We study the ablation problem for the hyperbolic heat equation in an axisymmetrical geometry which can be conveniently realized in the lab. We determine an analytic solution which shows the approach to steady state. The thermal relaxation time $\tau$ is best obtained from the small time behavior. The measurements give a surprisingly large $\tau$ of about 7 minutes for 0.5 % NaCl in water. This shows that the hyperbolic equation must certainly be used instead of the parabolic heat equation in the ablation problem of electrocardiology.


title: An extensive VLT/X-Shooter library of photospheric templates of pre-main sequence stars

abstract: Studies of the formation and evolution of young stars and their disks rely on the knowledge of the stellar parameters of the young stars. The derivation of these parameters is commonly based on comparison with photospheric template spectra. Furthermore, chromospheric emission in young active stars impacts the measurement of mass accretion rates, a key quantity to study disk evolution. Here we derive stellar properties of low-mass pre-main sequence stars without disks, which represent ideal photospheric templates for studies of young stars. We also use these spectra to constrain the impact of chromospheric emission on the measurements of mass accretion rates. The spectra in reduced, flux-calibrated, and corrected for telluric absorption form are made available to the community. We derive the spectral type for our targets by analyzing the photospheric molecular features present in their VLT/X-Shooter spectra by means of spectral indices and comparison of the relative strength of photospheric absorption features. We also measure effective temperature, gravity, projected rotational velocity, and radial velocity from our spectra by fitting them with synthetic spectra with the ROTFIT tool. The targets have negligible extinction and spectral type from G5 to M8. We perform synthetic photometry on the spectra to derive the typical colors of young stars in different filters. We measure the luminosity of the emission lines present in the spectra and estimate the noise due to chromospheric emission in the measurements of accretion luminosity in accreting stars. We provide a calibration of the photospheric colors of young PMS stars as a function of their spectral type in a set of standard broad-band optical and near-infrared filters. For stars with masses of ~ 1.5Msun and ages of ~1-5 Myr, the chromospheric noise converts to a limit of measurable mass accretion rates of ~ 3x10^-10 Msun/yr.


title: Approximation of continuous periodic functions of two variables via power series methods of summability

abstract: We prove a Korovkin type approximation theorem via power series methods of summability for continuous $2\pi$-periodic functions of two variables and verify the convergence of approximating double sequences of positive linear operators by using modulus of continuity. An example concerning double Fourier series is also constructed to illustrate the obtained results.


title: Double Hall instability: A catalyzer of magnetic energy release

abstract: A pictorial explanation for shear-Hall instability is suggested and shows that the shear flow is not necessary for the instability because its role can be played by the Hall effect of an inhomogeneous background magnetic field. Linear stability analysis for a simple model of magnetic field varying periodically in space confirms such a 'double Hall' instability. Numerical computations show a considerable increase in Ohmic dissipation rate at the nonlinear stage of instability development. Field dissipation has a spiky character associated with magnetic reconnection in current sheets and X-points. Double Hall instability can be significant for magnetic field dissipation in neutron star crusts and, possibly, in the solar corona.


title: On the exactness of soft theorems

abstract: Soft behaviours of S-matrix for massless theories reflect the underlying symmetry principle that enforces its masslessness. As an expansion in soft momenta, sub-leading soft theorems can arise either due to (I) unique structure of the fundamental vertex or (II) presence of enhanced broken-symmetries. While the former is expected to be modified by infrared or ultraviolet divergences, the latter should remain exact to all orders in perturbation theory. Using current algebra, we clarify such distinction for spontaneously broken (super) Poincar\'e and (super) conformal symmetry. We compute the UV divergences of DBI, conformal DBI, and A-V theory to verify the exactness of type (II) soft theorems, while type (I) are shown to be broken and the soft-modifying higher-dimensional operators are identified. As further evidence for the exactness of type (II) soft theorems, we consider the alpha' expansion of both super and bosonic open strings amplitudes, and verify the validity of the translation symmetry breaking soft-theorems up to O(alpha'^6). Thus the massless S-matrix of string theory "knows" about the presence of D-branes.


title: A Gronwall inequality for a general Caputo fractional operator

abstract: In this paper we present a new type of fractional operator, which is a generalization of the Caputo and Caputo--Hadamard fractional derivative operators. We study some properties of the operator, namely we prove that it is the inverse operation of a generalized fractional integral. A relation between this operator and a Riemann--Liouville type is established. We end with a fractional Gronwall inequality type, which is useful to compare solutions of fractional differential equations.


title: Geometric Analysis of Hyper-Stresses

abstract: A geometric analysis of high order stresses in continuum mechanics is presented. Virtual velocity fields take their values in a vector bundle \vbts over the n-dimensional space manifold. A stress field of order k is represented mathematically by an n-form valued in the dual of the vector bundle of k-jets of \vbts. While only limited analysis can be performed on high order stresses as such, they may be represented by non-holonomic hyper-stresses, n-forms valued in the duals of iterated jet bundles. For non-holonomic hyper-stresses, the analysis that applies to first order stresses may be iterated. In order to determine a unique value for the tangent surface stress field on the boundary of a body and the corresponding edge interactions, additional geometric structure should be specified, that of a vector field transversal to the boundary.


title: Affine maps between quadratic assignment polytopes and subgraph isomorphism polytopes

abstract: We consider two polytopes. The quadratic assignment polytope $QAP(n)$ is the convex hull of the set of tensors $x\otimes x$, $x \in P_n$, where $P_n$ is the set of $n\times n$ permutation matrices. The second polytope is defined as follows. For every permutation of vertices of the complete graph $K_n$ we consider appropriate $\binom{n}{2} \times \binom{n}{2}$ permutation matrix of the edges of $K_n$. The Young polytope $P((n-2,2))$ is the convex hull of all such matrices. In 2009, S. Onn showed that the subgraph isomorphism problem can be reduced to optimization both over $QAP(n)$ and over $P((n-2,2))$. He also posed the question whether $QAP(n)$ and $P((n-2,2))$, having $n!$ vertices each, are isomorphic. We show that $QAP(n)$ and $P((n-2,2))$ are not isomorphic. Also, we show that $QAP(n)$ is a face of $P((2n-2,2))$, but $P((n-2,2))$ is a projection of $QAP(n)$.


title: Improving the local scoring algorithm using gradient sampling

abstract: We adapt the gradient sampling algorithm to the local scoring algorithm to solve complex estimation problems based on an optimization of an objective function. This overcomes non-differentiability and non-smoothness of the objective function. The new algorithm estimates the Clarke generalized subgradient used in the local scoring, thus reducing numerical instabilities. The method is applied to quantile regression and to the peaks-over-threshold method, as two examples. Real applications are provided for a retail store and temperature data analysis.


title: Quantum E-Cheques

abstract: We analyze the procedure providing quantum cheques of S. R. Moulick and P. K. Panigrahi to produce quantum e-cheques, based on multiparty quantum telecommunication between customer and cooperated branches of bank.


title: Main Beam Modeling for Large Irregular Arrays: The SKA1-LOW telescope case

abstract: Large radio telescopes in the 21st century such as the Low-Frequency Array (LOFAR) or the Murchison Widefield Array (MWA) make use of phased aperture arrays of antennas to achieve superb survey speeds. The Square Kilometer Array low frequency instrument (SKA1-LOW) will consist of a collection of non-regular phased array systems. The prediction of the main beam of these arrays using a few coefficients is crucial for the calibration of the telescope. An effective approach to model the main beam and first few sidelobes for large non-regular arrays is presented. The approach exploits Zernike polynomials to represent the array pattern. Starting from the current defined on an equivalence plane located just above the array, the pattern is expressed as a sum of Fourier transforms of Zernike functions of different orders. The coefficients for Zernike polynomials are derived by two different means: least-squares and analytical approaches. The analysis shows that both approaches provide a similar performance for representing the main beam and first few sidelobes. Moreover, numerical results for different array configurations are provided, which demonstrate the performance of the proposed method, also for arrays with shapes far from circular.


title: Temporal anomaly detection: calibrating the surprise

abstract: We propose a hybrid approach to temporal anomaly detection in access data of users to databases --- or more generally, any kind of subject-object co-occurrence data. We consider a high-dimensional setting that also requires fast computation at test time. Our methodology identifies anomalies based on a single stationary model, instead of requiring a full temporal one, which would be prohibitive in this setting. We learn a low-rank stationary model from the training data, and then fit a regression model for predicting the expected likelihood score of normal access patterns in the future. The disparity between the predicted likelihood score and the observed one is used to assess the `surprise' at test time. This approach enables calibration of the anomaly score, so that time-varying normal behavior patterns are not considered anomalous. We provide a detailed description of the algorithm, including a convergence analysis, and report encouraging empirical results. One of the data sets that we tested, TDA, is new for the public domain. It consists of two months' worth of database access records from a live system. Our code is publicly available at https://github.com/eyalgut/TLR_anomaly_detection.git. The TDA data set is available at https://www.kaggle.com/eyalgut/binary-traffic-matrices.


title: Large-Scale Computation of ${\mathcal L}_\infty$-Norms by a Greedy Subspace Method

abstract: We are concerned with the computation of the ${\mathcal L}_\infty$-norm for an ${\mathcal L}_\infty$-function of the form $H(s) = C(s) D(s)^{-1} B(s)$, where the middle factor is the inverse of a meromorphic matrix-valued function, and $C(s),\, B(s)$ are meromorphic functions mapping to short-and-fat and tall-and-skinny matrices, respectively. For instance, transfer functions of descriptor systems and delay systems fall into this family. We focus on the case where the middle factor is large-scale. We propose a subspace projection method to obtain approximations of the function $H$ where the middle factor is of much smaller dimension. The ${\mathcal L}_\infty$-norms are computed for the resulting reduced functions, then the subspaces are refined by means of the optimal points on the imaginary axis where the ${\mathcal L}_\infty$-norm of the reduced function is attained. The subspace method is designed so that certain Hermite interpolation properties hold between the largest singular values of the original and reduced functions. This leads to a locally superlinearly convergent algorithm with respect to the subspace dimension, which we prove and illustrate on various numerical examples.


title: DICOD: Distributed Convolutional Sparse Coding

abstract: In this paper, we introduce DICOD, a convolutional sparse coding algorithm which builds shift invariant representations for long signals. This algorithm is designed to run in a distributed setting, with local message passing, making it communication efficient. It is based on coordinate descent and uses locally greedy updates which accelerate the resolution compared to greedy coordinate selection. We prove the convergence of this algorithm and highlight its computational speed-up which is super-linear in the number of cores used. We also provide empirical evidence for the acceleration properties of our algorithm compared to state-of-the-art methods.


title: Open-flavor charmed/bottom $sq\bar q\bar Q$ and $qq\bar q\bar Q$ tetraquark states

abstract: We provide comprehensive investigations for the mass spectrum of exotic open-flavor charmed/bottom $sq\bar q\bar c$, $qq\bar q\bar c$, $sq\bar q\bar b$, $qq\bar q\bar b$ tetraquark states with various spin-parity assignments $J^P=0^+, 1^+, 2^+$ and $0^-, 1^-$ in the framework of QCD sum rules. In the diquark configuration, we construct the diquark-antidiquark interpolating tetraquark currents using the color-antisymmetric scalar and axial-vector diquark fields. The stable mass sum rules are established in reasonable parameter working ranges, which are used to give reliable mass predictions for these tetraquark states. We obtain the mass spectra for the open-flavor charmed/bottom $sq\bar q\bar c$, $qq\bar q\bar c$, $sq\bar q\bar b$, $qq\bar q\bar b$ tetraquark states with various spin-parity quantum numbers. In addition, we suggest searching for exotic doubly-charged tetraquarks, such as $[sd][\bar u\bar c]\to D_s^{(\ast)-}\pi^-$ in future experiments at facilities such as BESIII, BelleII, PANDA, LHCb and CMS, etc.


title: Generation of summand absorbing submodules

abstract: An $R$-module $V$ over a semiring $R$ lacks zero sums (LZS) if $ x +y = 0 \; \Rightarrow \; x = y = 0$. More generally, asubmodule $W$ of $V$ is "summand absorbing", if $ \forall \, x, y \in V: \ x + y \in W \; \Rightarrow \; x \in W, \; y \in W. $ These relate to tropical algebra and modules over idempotent semirings, as well as modules over semirings of sums of squares. In previous work, we have explored the lattice of summand absorbing submodules of a given LZS module, especially those that are finitely generated, in terms of the lattice-theoretic Krull dimension. In this note we describe their explicit generation.


title: Constant angle surfaces in Lorentzian Berger spheres

abstract: In this work, we study helix spacelike and timelike surfaces in the Lorentzian Berger sphere $\s_{\varepsilon}^3$, that is the three-dimensional sphere endowed with a $1$-parameter family of Lorentzian metrics, obtained by deforming the round metric on $\s^3$ along the fibers of the Hopf fibration $\s^3\to \s^2({1}/{2})$ by $-\varepsilon^2$. Our main result provides a characterization of the helix surfaces in $\s_{\varepsilon}^3$ using the symmetries of the ambient space and a general helix in $\s_{\varepsilon}^3$, with axis the infinitesimal generator of the Hopf fibers. Also, we construct some explicit examples of helix surfaces in $\s_{\varepsilon}^3$.


title: Rate $(n-1)/n$ Systematic MDS Convolutional Codes over $GF(2^m)$

abstract: A systematic convolutional encoder of rate $(n-1)/n$ and maximum degree $D$ generates a code of free distance at most ${\cal D} = D+2$ and, at best, a column distance profile (CDP) of $[2,3,\ldots,{\cal D}]$. A code is \emph{Maximum Distance Separable} (MDS) if it possesses this CDP. Applied on a communication channel over which packets are transmitted sequentially and which loses (erases) packets randomly, such a code allows the recovery from any pattern of $j$ erasures in the first $j$ $n$-packet blocks for $j<{\cal D}$, with a delay of at most $j$ blocks counting from the first erasure. This paper addresses the problem of finding the largest ${\cal D}$ for which a systematic rate $(n-1)/n$ code over $GF(2^m)$ exists, for given $n$ and $m$. In particular, constructions for rates $(2^m-1)/2^m$ and $(2^{m-1}-1)/2^{m-1}$ are presented which provide optimum values of ${\cal D}$ equal to 3 and 4, respectively. A search algorithm is also developed, which produces new codes for ${\cal D}$ for field sizes $2^m \leq 2^{14}$. Using a complete search version of the algorithm, the maximum value of ${\cal D}$, and codes that achieve it, are determined for all code rates $\geq 1/2$ and every field size $GF(2^m)$ for $m\leq 5$ (and for some rates for $m=6$).


title: Role Playing Learning for Socially Concomitant Mobile Robot Navigation

abstract: In this paper, we present the Role Playing Learning (RPL) scheme for a mobile robot to navigate socially with its human companion in populated environments. Neural networks (NN) are constructed to parameterize a stochastic policy that directly maps sensory data collected by the robot to its velocity outputs, while respecting a set of social norms. An efficient simulative learning environment is built with maps and pedestrians trajectories collected from a number of real-world crowd data sets. In each learning iteration, a robot equipped with the NN policy is created virtually in the learning environment to play itself as a companied pedestrian and navigate towards a goal in a socially concomitant manner. Thus, we call this process Role Playing Learning, which is formulated under a reinforcement learning (RL) framework. The NN policy is optimized end-to-end using Trust Region Policy Optimization (TRPO), with consideration of the imperfectness of robot's sensor measurements. Simulative and experimental results are provided to demonstrate the efficacy and superiority of our method.


title: A training process for improving the quality of software projects developed by a practitioner

abstract: Background: The quality of a software product depends on the quality of the software process followed in developing the product. Therefore, many higher education institutions (HEI) and software organizations have implemented software process improvement (SPI) training courses to improve the software quality. Objective: Because the duration of a course is a concern for HEI and software organizations, we investigate whether the quality of software projects will be improved by reorganizing the activities of the ten assignments of the original personal software process (PSP) course into a modified PSP having fewer assignments (i.e., seven assignments). Method: The assignments were developed by following a modified PSP with fewer assignments but including the phases, forms, standards, and logs suggested in the original PSP. The measurement of the quality of the software assignments was based on defect density. Results: When the activities in the original PSP were reordered into fewer assignments, as practitioners progress through the PSP training, the defect density improved with statistical significance. Conclusions: Our modified PSP could be applied in academy and industrial environments which are concerned in the sense of reducing the PSP training time


title: Tauberian constants associated to centered translation invariant density bases

abstract: This paper provides a necessary and sufficient condition on Tauberian constants associated to a centered translation invariant differentiation basis so that the basis is a density basis. More precisely, given $x \in \mathbb{R}^n$, let $\mathcal{B} = \cup_{x \in \mathbb{R}^n} \mathcal{B}(x)$ be a collection of bounded open sets in $\mathbb{R}^n$ containing $x$. Suppose moreover that these collections are translation invariant in the sense that, for any two points $x$ and $y$ in $\mathbb{R}^n$ we have that $\mathcal{B}(x + y) = \{R + y : R \in \mathcal{B}(x)\}.$ Associated to these collections is a maximal operator $M_{\mathcal{B}}$ given by $$M_{\mathcal{B}}f(x) :=\sup_{R \in \mathcal{B}(x)} \frac{1}{|R|} \int_R |f|.$$ The Tauberian constants $C_{\mathcal{B}}(\alpha)$ associated to $M_{\mathcal{B}}$ are given by $$C_{\mathcal{B}}(\alpha) :=\sup_{E \subset \mathbb{R}^n \atop 0 < |E| < \infty} \frac{1}{|E|}|\{x \in \mathbb{R}^n :\, M_{\mathcal{B}}\chi_E(x) > \alpha\}|.$$ Given $0 < r < \infty$, we set $\mathcal{B}_r(x) :=\{R \in \mathcal{B}(x) : \mathrm{diam } R < r\}$, and let $\mathcal{B}_r :=\cup_{x \in \mathbb{R}^n} \mathcal{B}_r (x).$ We prove that $\mathcal{B}$ is a density basis if and only if, given $0 < \alpha < \infty$, there exists $ r = r(\alpha) >0$ such that $C_{\mathcal{B}_r}(\alpha) < \infty$. Subsequently, we construct a centered translation invariant density basis $\mathcal{B} = \cup_{x \in \mathbb{R}^n} \mathcal{B}(x)$ such that there does not exist any $0 < r$ satisfying $C_{\mathcal{B}_{r}}(\alpha) < \infty$ for all $0 < \alpha < 1$.


title: Heine's method and $A_n$ to $A_m$ transformation formulas

abstract: We apply Heine's method---the key idea Heine used in 1846 to derive his famous transformation formula for $_2\phi_1$ series---to multiple basic series over the root system of type $A$. In the classical case, this leads to a bibasic extension of Heine's formula, which was implicit in a paper of Andrews which he wrote in 1966. As special cases, we recover extensions of many of Ramanujan's $_2\phi_1$ transformations. In addition, we extend previous work of the author regarding a bibasic extension of Andrews' $q$-Lauricella function, and show how to obtain very general transformation formulas of this type. The results obtained include transformations of an $n$-fold sum into an $m$-fold sum.


title: Peculiarities of the SERS Spectra of 4,4-Bipyridine Molecule in a Single Molecule Detection Regime

abstract: The paper briefly describes main statements of the theory of the SERS spectra with regards to the single molecule regime, when the enhancement achieves the values . Analysis of the spectra of 4,4-bypyridine, obtained on the dimer lattice of sharp nanoparticles points out that the observed enhancement is caused exclusively by a strong quadrupole light-molecule interaction, which manifests in the presence of lines, caused by vibrations with the unit irreducible representations of the and symmetry groups, which apparently describe the symmetry properties of the molecule. The study of the spectra, obtained by Tip enhanced spectroscopy demonstrates that the strong quadrupole light-molecule interaction still plays a leading role, however the strong dipole interaction still manifests in the existence of very weak forbidden lines. This result apparently is associated with another experimental geometry .


title: Deterministic Partially Dynamic Single Source Shortest Paths in Weighted Graphs

abstract: In this paper we consider the decremental single-source shortest paths (SSSP) problem, where given a graph $G$ and a source node $s$ the goal is to maintain shortest distances between $s$ and all other nodes in $G$ under a sequence of online adversarial edge deletions. In their seminal work, Even and Shiloach [JACM 1981] presented an exact solution to the problem in unweighted graphs with only $O(mn)$ total update time over all edge deletions. Their classic algorithm was the state of the art for the decremental SSSP problem for three decades, even when approximate shortest paths are allowed. A series of results showed how to improve upon $O(mn)$ if approximation is allowed, culminating in a recent breakthrough of Henzinger, Krinninger and Nanongkai [FOCS 14], who presented a $(1+\epsilon)$-approximate algorithm for undirected weighted graphs whose total update time is near linear: $O(m^{1+o(1)}\log(W))$, where $W$ is the ratio of the heaviest to the lightest edge weight in the graph. In this paper they posed as a major open problem the question of derandomizing their result. Until very recently, all known improvements over the Even-Shiloach algorithm were randomized and required the assumption of a non-adaptive adversary. In STOC 2016, Bernstein and Chechik showed the first \emph{deterministic} algorithm to go beyond $O(mn)$ total update time: the algorithm is also $(1+\epsilon)$-approximate, and has total update time $\tilde{O}(n^2)$. In SODA 2017, the same authors presented an algorithm with total update time $\tilde{O}(mn^{3/4})$. However, both algorithms are restricted to undirected, unweighted graphs. We present the \emph{first} deterministic algorithm for \emph{weighted} undirected graphs to go beyond the $O(mn)$ bound. The total update time is $\tilde{O}(n^2 \log(W))$.


title: Light-Mediated Collective Atomic Motion in an Optical Lattice Coupled to a Membrane

abstract: We observe effects of collective atomic motion in a one-dimensional optical lattice coupled to an optomechanical system. In this hybrid atom-optomechanical system, the lattice light generates a coupling between the lattice atoms as well as between atoms and a micromechanical membrane oscillator. For large atom numbers we observe an instability in the coupled system, resulting in large-amplitude atom-membrane oscillations. We show that this behavior can be explained by light-mediated collective atomic motion in the lattice, which arises for large atom number, small atom-light detuning and asymmetric pumping of the lattice, in agreement with previous theoretical work. The model connects the optomechanical instability to a phase delay in the global atomic back-action onto the lattice light, which we observe in a direct measurement.


title: The cosmic string as a channel for the massive particle teleportation

abstract: Here we prove the existence of a new type of the world-sheet string singularities - the cusps that are stable during the finite time. These singularities make the emission of the captured massive quantum particle possible in the frames of the author's model suggested earlier. In aggregate, we have a new mechanism of quantum teleportation of such particles at large distances.


title: Yamabe-type equations on Carnot groups

abstract: This article is concerned with a class of elliptic equations on Carnot groups depending of one real positive parameter and involving a critical nonlinearity. As a special case of our results we prove the existence of at least one nontrivial solution for a subelliptic critical equation defined on a smooth and bounded domain $D$ of the {Heisenberg group} $\mathbb{H}^n=\mathbb{C}^n\times \mathbb{R}$. Our approach is based on pure variational methods and locally sequentially weakly lower semicontinuous arguments.


title: Can plume-induced internal gravity waves regulate the core rotation of subgiant stars?

abstract: The seismic data provided by the satellites CoRoT and Kepler enabled us to probe the internal rotation of thousands of evolved low-mass stars. Subsequently, several studies showed that current stellar evolution codes are unable to reproduce the low core rotation rates observed in these stars. These results indicate that an additional angular momentum transport process is necessary to counteract the spin up due to the core contraction during the post-main sequence evolution. For several candidates, the transport induced by internal gravity waves (IGW) could play a non-negligible role. In this work, we investigate the effect of IGW generated by penetrative convection on the internal rotation of low-mass stars from the subgiant branch to the beginning of the red giant branch. We show that IGW can efficiently counteract the contraction-driven spin up of the core of subgiant stars if the amplitude of the radial-differential rotation (between the center of the star and the top of the radiative zone) is higher than a threshold value. This threshold depends on the evolutionary stage and is comparable to the differential rotation rates inferred for a sample of subgiant stars observed by the satellite Kepler. Such an agreement can therefore be interpreted as the consequence of a regulation mechanism driven by IGW. This result is obtained under the assumption of a smooth rotation profile and holds true even if a wide range of values is considered for the parameters of the generation model. In contrast, on the red giant branch, we find that IGW remain insufficient, on their own, to explain the observations. We conclude that plume-induced IGW are able to efficiently extract angular momentum from the core of subgiant stars and accordingly have to be taken into account. On the red giant branch, another transport mechanism must likely be invoked.


title: Structural Conditions for Projection-Cost Preservation via Randomized Matrix Multiplication

abstract: Projection-cost preservation is a low-rank approximation guarantee which ensures that the cost of any rank-$k$ projection can be preserved using a smaller sketch of the original data matrix. We present a general structural result outlining four sufficient conditions to achieve projection-cost preservation. These conditions can be satisfied using tools from the Randomized Linear Algebra literature.


title: Classical affine W-algebras and the associated integrable Hamiltonian hierarchies for classical Lie algebras

abstract: We prove that any classical affine W-algebra W(g,f), where g is a classical Lie algebra and f is an arbitrary nilpotent element of g, carries an integrable Hamiltonian hierarchy of Lax type equations. This is based on the theories of generalized Adler type operators and of generalized quasideterminants, which we develop in the paper. Moreover, we show that under certain conditions, the product of two generalized Adler type operators is a Lax type operator. We use this fact to construct a large number of integrable Hamiltonian systems, recovering, as a special case, all KdV type hierarchies constructed by Drinfeld and Sokolov.


title: Universal Framework for Wireless Scheduling Problems

abstract: An overarching issue in resource management of wireless networks is assessing their capacity: How much communication can be achieved in a network, utilizing all the tools available: power control, scheduling, routing, channel assignment and rate adjustment? We propose the first framework for approximation algorithms in the physical model that addresses these questions in full, including rate control. The approximations obtained are doubly logarithmic in the link length and rate diversity. Where previous bounds are known, this gives an exponential improvement. A key contribution is showing that the complex interference relationship of the physical model can be simplified into a novel type of amenable conflict graphs, at a small cost. We also show that the approximation obtained is provably the best possible for any conflict graph formulation.


title: Multiple solutions of nonlinear equations involving the square root of the Laplacian

abstract: In this paper we examine the existence of multiple solutions of parametric fractional equations involving the square root of the Laplacian $A_{1/2}$ in a smooth bounded domain $\Omega\subset \mathbb{R}^n$ ($n\geq 2$) and with Dirichlet zero-boundary conditions, i.e. \begin{equation*} \left\{ \begin{array}{ll} A_{1/2}u=\lambda f(u) & \mbox{ in } \Omega\\ u=0 & \mbox{ on } \partial\Omega. \end{array}\right. \end{equation*} The existence of at least three $L^{\infty}$-bounded weak solutions is established for certain values of the parameter $\lambda$ requiring that the nonlinear term $f$ is continuous and with a suitable growth. Our approach is based on variational arguments and a variant of Caffarelli-Silvestre's extension method.


title: The Shimura-Waldspurger correspondence for $\mathrm{Mp}_{2n}$

abstract: We generalize the Shimura-Waldspurger correspondence, which describes the generic part of the automorphic discrete spectrum of the metaplectic group $\mathrm{Mp}_2$, to the metaplectic group $\mathrm{Mp}_{2n}$ of higher rank. To establish this, we transport Arthur's endoscopic classification of representations of the odd special orthogonal group $\mathrm{SO}_{2r+1}$ with $r \gg 2n$ by using a result of J. S. Li on global theta lifts in the stable range.


title: Stability of a horizontal viscous fluid layer in a vertical time periodic electric field

abstract: The stability of a horizontal interface between two viscous fluids, one of which is conducting and the other is dielectric, acted upon by a vertical time-periodic electric field is considered. The two fluids are bounded by electrodes separated by a finite distance. By means of Floquet theory, the marginal stability curves are obtained, thereby elucidating the dependency of the critical voltage and wavenumber upon the fluid viscosities. The limit of vanishing viscosities is shown to be in excellent agreement with the marginal stability curves predicted by means of a Mathieu equation. The methodology to obtain the marginal stability curves developed here is applicable to any arbitrary but time periodic-signal, as demonstrated for the case of a signal with two different frequencies. As a special case, the marginal stability curves for an applied ac voltage biased by a dc voltage are depicted. It is shown that the mode coupling caused by the normal stress at the interface due to the electric field leads to appearance of harmonic modes and subharmonic modes. This is in contrast to the application of a voltage with a single frequency which always leads to a harmonic mode. Whether a harmonic or subharmonic mode is the most unstable one depends on details of the excitation signal. It is also shown that the electrode spacing has a distinct effect on the stability bahavior of the system.


title: Wavelet signatures of $K$-splitting of the Isoscalar Giant Quadrupole Resonance in deformed nuclei from high-resolution (p,p$'$) scattering off $^{146,148,150}$Nd

abstract: The phenomenon of fine structure of the Isoscalar Giant Quadrupole Resonance (ISGQR) has been studied with high energy-resolution proton inelastic scattering at iThemba LABS in the chain of stable even-mass Nd isotopes covering the transition from spherical to deformed ground states. A wavelet analysis of the background-subtracted spectra in the deformed 146,148,150Nd isotopes reveals characteristic scales in correspondence with scales obtained from a Skyrme RPA calculation using the SVmas10 parameterization. A semblance analysis shows that these scales arise from the energy shift between the main fragments of the K = 0, 1 and K = 2 components.


title: Force networks and jamming in shear deformed sphere packings

abstract: The formation of self-organised structures that resist shear deformation have been discussed in the context of shear jamming and thickening[1-3], with frictional forces playing a key role. However, shear induces geometric features necessary for jamming even in frictionless packings[4]. We analyse conditions for jamming in such assemblies by solving force and torque balance conditions for their contact geometry. We demonstrate, and validate with frictional simulations, that the isostatic condition for mean contact number Z = D + 1 (for spatial dimension D = 2, 3) holds at jamming for both finite and infinite friction, above the random loose packing density. We show that the shear jamming threshold satisfies the marginal stability condition recently proposed for jamming in frictionless systems[5]. We perform rigidity percolation analysis[6,7] for D = 2 and find that rigidity percolation precedes shear jamming, which however coincides with the percolation of over-constrained regions, leading to the identification of an intermediate phase analogous to that observed in covalent glasses[8].


title: Gluo-dissociation of Heavy Quarkonium in the Quark-Gluon Plasma Revisited

abstract: Using an effective Hamiltonian derived from the QCD multipole expansion, we calculate the cross sections of gluo-dissociation of heavy quarkonia in the quark-gluon plasma, by including both the chromo-electric dipole ($E_1$) as well as the chromo-magnetic dipole ($M_1$) transition mechanisms. While the former allows to reproduce the results from operator-product-expansion calculations in the Coulomb approximation, the latter as a novel contribution is shown to be significant at low energies close to the threshold. Using thus obtained cross sections, we further carry out a full calculation of the gluo-dissociation rates for various charmonia and bottomonia within a non-relativitic in-medium potential model. The $M_1$ contribution turns out to be most prominent for the $J/\psi$ and accounts for $\sim 10\%-25\%$ of the total ($E1+M1$) dissociation rate at temperatures close to the transition temperature.


title: Nonlinear problems on the Sierpi\'nski gasket

abstract: This paper concerns with a class of elliptic equations on fractal domains depending on a real parameter. Our approach is based on variational methods. More precisely, the existence of at least two non-trivial weak (strong) solutions for the treated problem is obtained exploiting a local minimum theorem for differentiable functionals defined on reflexive Banach spaces. A special case of the main result improves a classical application of the Mountain Pass Theorem in the fractal setting, given by Falconer and Hu (1999).


title: Dynamics of core of language vocabulary

abstract: Studies of the overall structure of vocabulary and its dynamics became possible due to creation of diachronic text corpora, especially Google Books Ngram. This article discusses the question of core change rate and the degree to which the core words cover the texts. Different periods of the last three centuries and six main European languages presented in Google Books Ngram are compared. The main result is high stability of core change rate, which is analogous to stability of the Swadesh list.


title: Maximal rank of space curves in the range A

abstract: We prove the following statement, which has been conjectured since 1985: There exists a constant $K$ such that for all natural numbers $d,g$ with $g\le Kd^{3/2}$ there exists an irreducible component of the Hilbert scheme of $\mathbb{P}^3$ whose general element is a smooth, connected curve of degree $d$ and genus $g$ of maximal rank.


title: Energy scale calibration of KEDR detector tagging system

abstract: The tagging system of the KEDR detector is a symmetrical focusing magnetic spectrometer for electrons and positrons scattered at small angles; it is embedded into the lattice of the VEPP-4M collider and intended for two-photon processes study. It measures scattered electron energy with resolution $\Delta E/E_0=0.03\%...0.6\%$ ($E_0$ is the beam energy). For precise energy scale calibration two methods are used: tagging of bremsstrahlung electron/positron by the photon energy measured by BGO calorimeter, and direct calibration using Compton backscattering spectrum edge. This report covers design and current status of the calibration system.


title: Conservative Extensions in Guarded and Two-Variable Fragments

abstract: We investigate the decidability and computational complexity of (deductive) conservative extensions in fragments of first-order logic (FO), with a focus on the two-variable fragment FO$^2$ and the guarded fragment GF. We prove that conservative extensions are undecidable in any FO fragment that contains FO$^2$ or GF (even the three-variable fragment thereof), and that they are decidable and 2\ExpTime-complete in the intersection GF$^2$ of FO$^2$ and GF.


title: Fractional Hedonic Games

abstract: The work we present in this paper initiated the formal study of fractional hedonic games, coalition formation games in which the utility of a player is the average value he ascribes to the members of his coalition. Among other settings, this covers situations in which players only distinguish between friends and non-friends and desire to be in a coalition in which the fraction of friends is maximal. Fractional hedonic games thus not only constitute a natural class of succinctly representable coalition formation games, but also provide an interesting framework for network clustering. We propose a number of conditions under which the core of fractional hedonic games is non-empty and provide algorithms for computing a core stable outcome. By contrast, we show that the core may be empty in other cases, and that it is computationally hard in general to decide non-emptiness of the core.


title: Bubbling with $L^2$-almost constant mean curvature and an Alexandrov-type theorem for crystals

abstract: A compactness theorem for volume-constrained almost-critical points of elliptic integrands is proven. The result is new even for the area functional, as almost-criticality is measured in an integral rather than in a uniform sense. Two main applications of the compactness theorem are discussed. First, we obtain a description of critical points/local minimizers of elliptic energies interacting with a confinement potential. Second, we prove an Alexandrov-type theorem for crystalline isoperimetric problems.


title: Beyond Counting: Comparisons of Density Maps for Crowd Analysis Tasks - Counting, Detection, and Tracking

abstract: For crowded scenes, the accuracy of object-based computer vision methods declines when the images are low-resolution and objects have severe occlusions. Taking counting methods for example, almost all the recent state-of-the-art counting methods bypass explicit detection and adopt regression-based methods to directly count the objects of interest. Among regression-based methods, density map estimation, where the number of objects inside a subregion is the integral of the density map over that subregion, is especially promising because it preserves spatial information, which makes it useful for both counting and localization (detection and tracking). With the power of deep convolutional neural networks (CNNs) the counting performance has improved steadily. The goal of this paper is to evaluate density maps generated by density estimation methods on a variety of crowd analysis tasks, including counting, detection, and tracking. Most existing CNN methods produce density maps with resolution that is smaller than the original images, due to the downsample strides in the convolution/pooling operations. To produce an original-resolution density map, we also evaluate a classical CNN that uses a sliding window regressor to predict the density for every pixel in the image. We also consider a fully convolutional (FCNN) adaptation, with skip connections from lower convolutional layers to compensate for loss in spatial information during upsampling. In our experiments, we found that the lower-resolution density maps sometimes have better counting performance. In contrast, the original-resolution density maps improved localization tasks, such as detection and tracking, compared to bilinear upsampling the lower-resolution density maps. Finally, we also propose several metrics for measuring the quality of a density map, and relate them to experiment results on counting and localization.


title: Kernel Implicit Variational Inference

abstract: Recent progress in variational inference has paid much attention to the flexibility of variational posteriors. One promising direction is to use implicit distributions, i.e., distributions without tractable densities as the variational posterior. However, existing methods on implicit posteriors still face challenges of noisy estimation and computational infeasibility when applied to models with high-dimensional latent variables. In this paper, we present a new approach named Kernel Implicit Variational Inference that addresses these challenges. As far as we know, for the first time implicit variational inference is successfully applied to Bayesian neural networks, which shows promising results on both regression and classification tasks.


title: Pose-Aware Person Recognition

abstract: Person recognition methods that use multiple body regions have shown significant improvements over traditional face-based recognition. One of the primary challenges in full-body person recognition is the extreme variation in pose and view point. In this work, (i) we present an approach that tackles pose variations utilizing multiple models that are trained on specific poses, and combined using pose-aware weights during testing. (ii) For learning a person representation, we propose a network that jointly optimizes a single loss over multiple body regions. (iii) Finally, we introduce new benchmarks to evaluate person recognition in diverse scenarios and show significant improvements over previously proposed approaches on all the benchmarks including the photo album setting of PIPA.


title: Power series expansions for the planar monomer-dimer problem

abstract: We compute the free energy of the planar monomer-dimer model. Unlike the classical planar dimer model, an exact solution is not known in this case. Even the computation of the low-density power series expansion requires heavy and nontrivial computations. Despite of the exponential computational complexity, we compute almost three times more terms than were previously known. Such an expansion provides both lower and upper bound for the free energy, and allows to obtain more accurate numerical values than previously possible. We expect that our methods can be applied to other similar problems.


title: Reciprocity-driven Sparse Network Formation

abstract: A resource exchange network is considered, where exchanges among nodes are based on reciprocity. Peers receive from the network an amount of resources commensurate with their contribution. We assume the network is fully connected, and impose sparsity constraints on peer interactions. Finding the sparsest exchanges that achieve a desired level of reciprocity is in general NP-hard. To capture near-optimal allocations, we introduce variants of the Eisenberg-Gale convex program with sparsity penalties. We derive decentralized algorithms, whereby peers approximately compute the sparsest allocations, by reweighted l1 minimization. The algorithms implement new proportional-response dynamics, with nonlinear pricing. The trade-off between sparsity and reciprocity and the properties of graphs induced by sparse exchanges are examined.


title: On stationary fractional Mean Field Games

abstract: We provide an existence result for stationary fractional mean field game systems, with fractional exponent greater than 1/2. In the case in which the coupling is a nonlocal regularizing potential, we obtain existence of solutions under general assumptions on the Hamiltonian. In the case of local coupling, we restrict to the subcritical regime, that is the case in which the diffusion part of the operator dominates the Hamiltonian term. We consider both the case of local bounded coupling and of local unbounded coupling with power-type growth. In this second regime, we impose some conditions on the growth of the coupling and on the growth of the Hamiltonian with respect to the gradient term.


title: Energy demands of diverse spiking cells from the neocortex, hippocampus, and thalamus

abstract: It has long been known that neurons in the brain are not physiologically homogeneous. In response to current stimulus, they can fire several distinct patterns of action potentials that are associated with different physiological classes ranging from regular-spiking cells, fast-spiking cells, intrinsically bursting cells, and low-threshold cells. In this work we show that the high degree of variability in firing characteristics of action potentials among these cells is accompanied with a significant variability in the energy demands required to restore the concentration gradients after an action potential. The values of the metabolic energy were calculated for a wide range of cell temperatures and stimulus intensities following two different approaches. The first one is based on the amount of Na+ load crossing the membrane during a single action potential, while the second one focuses on the electrochemical energy functions deduced from the dynamics of the computational neuron models. The results show that the thalamocortical relay neuron is the most energy-efficient cell consuming between 7 and 18 nJ/cm2 for each spike generated, while both the regular and fast spiking cells from somatosensory cortex and the intrinsically-bursting cell from a cat visual cortex are the least energy-efficient, and can consume up to 100 nJ/cm2 per spike. The lowest values of these energy demands were achieved at higher temperatures and high external stimuli.


title: Verification of the anecdote about Edwin Hubble and the Nobel Prize

abstract: Edwin Powel Hubble is regarded as one of the most important astronomers of 20th century. In despite of his great contributions to the field of astronomy, he never received the Nobel Prize because astronomy was not considered as the field of the Nobel Prize in Physics at that era. There is an anecdote about the relation between Hubble and the Nobel Prize. According to this anecdote, the Nobel Committee decided to award the Nobel Prize in Physics in 1953 to Hubble as the first Nobel laureate as an astronomer (Christianson 1995). However, Hubble was died just before its announcement, and the Nobel prize is not awarded posthumously. Documents of the Nobel selection committee are open after 50 years, thus this anecdote can be verified. I confirmed that the Nobel selection committee endorsed Frederik Zernike as the Nobel laureate in Physics in 1953 on September 15th, 1953, which is 13 days before the Hubble's death in September 28th, 1953. I also confirmed that Hubble and Henry Norris Russell were nominated but they are not endorsed because the Committee concluded their astronomical works were not appropriate for the Nobel Prize in Physics.


title: Tensor tomography on Cartan-Hadamard manifolds

abstract: We study the geodesic X-ray transform on Cartan-Hadamard manifolds, and prove solenoidal injectivity of this transform acting on functions and tensor fields of any order. The functions are assumed to be exponentially decaying if the sectional curvature is bounded, and polynomially decaying if the sectional curvature decays at infinity. This work extends the results of Lehtonen (2016) to dimensions $n \geq 3$ and to the case of tensor fields of any order.


title: Categorically closed topological groups

abstract: Let $\mathcal C$ be a subcategory of the category of topologized semigroups and their partial continuous homomorphisms. An object $X$ of the category ${\mathcal C}$ is called ${\mathcal C}$-closed if for each morphism $f:X\to Y$ of the category ${\mathcal C}$ the image $f(X)$ is closed in $Y$. In the paper we detect topological groups which are $\mathcal C$-closed for the categories $\mathcal C$ whose objects are Hausdorff topological (semi)groups and whose morphisms are isomorphic topological embeddings, injective continuous homomorphisms, continuous homomorphisms, or partial continuous homomorphisms with closed domain.


title: Particle production in proton-nucleus collisions beyond leading order

abstract: We describe the origin of, and the solution to, the negativity problem which occurs in the perturbative calculation of the cross-section for single-inclusive particle production in proton-nucleus collisions at next-to-leading-order.


title: High-sensitivity plasmonic refractive index sensing using graphene

abstract: We theoretically demonstrate a high-sensitivity, graphene-plasmon based refractive index sensor working in the mid-infrared at room temperature. The bulk figure of merit of our sensor reaches values above $10$, but the key aspect of our proposed plasmonic sensor is its surface sensitivity which we examine in detail. We have used realistic values regarding doping level and electron relaxation time, which is the limiting factor for the sensor performance. Our results show quantitatively the high performance of graphene-plasmon based refractive index sensors working in the mid-infrared.


title: An Automatic Contextual Analysis and Clustering Classifiers Ensemble approach to Sentiment Analysis

abstract: Products reviews are one of the major resources to determine the public sentiment. The existing literature on reviews sentiment analysis mainly utilizes supervised paradigm, which needs labeled data to be trained on and suffers from domain-dependency. This article addresses these issues by describes a completely automatic approach for sentiment analysis based on unsupervised ensemble learning. The method consists of two phases. The first phase is contextual analysis, which has five processes, namely (1) data preparation; (2) spelling correction; (3) intensifier handling; (4) negation handling and (5) contrast handling. The second phase comprises the unsupervised learning approach, which is an ensemble of clustering classifiers using a majority voting mechanism with different weight schemes. The base classifier of the ensemble method is a modified k-means algorithm. The base classifier is modified by extracting initial centroids from the feature set via using SentWordNet (SWN). We also introduce new sentiment analysis problems of Australian airlines and home builders which offer potential benchmark problems in the sentiment analysis field. Our experiments on datasets from different domains show that contextual analysis and the ensemble phases improve the clustering performance in term of accuracy, stability and generalization ability.


title: A Matched Pairs Analysis of International Protection Outcomes in Ireland

abstract: We examine over 40,000 International Protection (IP) determinations for non-EEA nationals covering a 16 year period in Ireland. We reconfigure these individual outcomes into a set of over 23,000 matched pairs based on combination of direct matching and propensity score matching. A key feature of this approach is that it replicates the statistical features of an experimental set-up where observational data only are to hand. As a consequence we are able to identify those explanatory factors that in fact contribute to the grant of IP. This is a key innovation in the analysis of protection outcomes. We centre our study in the realm of International Relations studies on protection. We are particularly interested in whether immigration policy is a latent tool used to influence the odds of a grant of IP, specifically via the introduction of the Immigration Act 2004. Using both conditional maximum likelihood and mixed effects models we find this is not the case, this conclusion is both novel and profound in a matched pair context. On this basis we conclude there can be little justification for the perception that immigration policy is a latent tool affecting the protection process in Ireland.


title: Rational minimax approximation via adaptive barycentric representations

abstract: Computing rational minimax approximations can be very challenging when there are singularities on or near the interval of approximation - precisely the case where rational functions outperform polynomials by a landslide. We show that far more robust algorithms than previously available can be developed by making use of rational barycentric representations whose support points are chosen in an adaptive fashion as the approximant is computed. Three variants of this barycentric strategy are all shown to be powerful: (1) a classical Remez algorithm, (2) a "AAA-Lawson" method of iteratively reweighted least-squares, and (3) a differential correction algorithm. Our preferred combination, implemented in the Chebfun MINIMAX code, is to use (2) in an initial phase and then switch to (1) for generically quadratic convergence. By such methods we can calculate approximations up to type (80, 80) of $|x|$ on $[-1, 1]$ in standard 16-digit floating point arithmetic, a problem for which Varga, Ruttan, and Carpenter required 200-digit extended precision.


title: Pseudo-physical measures for typical continuous maps of the interval

abstract: We study the measure theoretic properties of typical C 0 maps of the interval. We prove that any ergodic measure is pseudo-physical, and conversely, any pseudo-physical measure is in the closure of the ergodic measures, as well as in the closure of the atomic measures. We show that the set of pseudo-physical measures is meager in the space of all invariant measures. Finally, we study the entropy function. We construct pseudo-physical measures with infinite entropy. We also prove that, for each m $\ge$ 1, there exists infinitely many pseudo-physical measures with entropy log m, and deduce that the entropy function is neither upper semi-continuous nor lower semi-continuous.


title: On Residual CNN in text-dependent speaker verification task

abstract: Deep learning approaches are still not very common in the speaker verification field. We investigate the possibility of using deep residual convolutional neural network with spectrograms as an input features in the text-dependent speaker verification task. Despite the fact that we were not able to surpass the baseline system in quality, we achieved a quite good results for such a new approach getting an 5.23% ERR on the RSR2015 evaluation part. Fusion of the baseline and proposed systems outperformed the best individual system by 18% relatively.


title: Non Uniform Projections of Surfaces in $\mathbb{P}^3$

abstract: Consider the projection of a smooth irreducible surface in $\mathbb{P}^3$ from a point. The uniform position principle implies that the monodromy group of such a projection from a general point in $\mathbb{P}^3$ is the whole symmetric group. We will call such points uniform. Inspired by a result of Pirola and Schlesinger for the case of curves, we prove that the locus of non-uniform points of $\mathbb{P}^3$ is at most finite.


title: Dynamic pathway of the photoinduced phase transition of TbMnO$_3$

abstract: We investigate the demagnetization dynamics of the cycloidal and sinusoidal phases of multiferroic TbMnO$_3$ by means of time-resolved resonant soft x-ray diffraction following excitation by an optical pump. Using orthogonal linear x-ray polarizations, we suceeded in disentangling the response of the multiferroic cycloidal spin order from the sinusoidal antiferromagnetic order in the time domain. This enables us to identify the transient magnetic phase created by intense photoexcitation of the electrons and subsequent heating of the spin system on a picosecond timescale. The transient phase is shown to be a spin density wave, as in the adiabatic case, which nevertheless retains the wave vector of the cycloidal long range order. Two different pump photon energies, 1.55 eV and 3.1 eV, lead to population of the conduction band predominantly via intersite $d$-$d$ transitions or intrasite $p$-$d$ transitions, respectively. We find that the nature of the optical excitation does not play an important role in determining the dynamics of magnetic order melting. Further, we observe that the orbital reconstruction, which is induced by the spin ordering, disappears on a timescale comparable to that of the cycloidal order, attesting to a direct coupling between magnetic and orbital orders. Our observations are discussed in the context of recent theoretical models of demagnetization dynamics in strongly correlated systems, revealing the potential of this type of measurement as a benchmark for such complex theoretical studies.


title: The asymptotic Connes-Moscovici characteristic map and the index cocycles

abstract: We show that the (even and odd) index cocycles for theta-summable Fredholm modules are in the image of the Connes-Moscovici characteristic map. To show this, we first define a new range of asymptotic cohomologies, and then we extend the Connes-Moscovici characteristic map to our setting. The ordinary periodic cyclic cohomology and the entire cyclic cohomology appear as two instances of this setup. We then construct an asymptotic characteristic class, defined independently from the underlying Fredholm module. Paired with the $K$-theory, the image of this class under the characteristic map yields a non-zero scalar multiple of the index in the even case, and the spectral flow in the odd case.


title: Gravitational wave alert follow-up strategy in the H.E.S.S. multi-messenger framework

abstract: The H.E.S.S. high-energy gamma-ray observatory is member of the Virgo/LIGO electromagnetic follow-up effort since early 2014. Its capability for transient follow-up studies benefits from its large field of view, rapid response time and high sensitivity. Drawing from the experience gained from other science cases like gamma-ray bursts and high-energy neutrino follow-ups we demonstrate the high perspectives for new types of analyses like the search for gravitational wave counterparts and the study of multi-messenger signals from binary neutron star mergers. This contribution aims to present the potential pointing strategy that the H.E.S.S. observatory would carry out following an alert from gravitational wave observatories. We will discuss several key points like the use of information from a galaxy catalogue, the time-dependent visibility of sky regions and the automatic handling of gravitational wave uncertainty maps, that will enable an optimized choice of the pointing directions. Finally, based on simulated binary neutron star mergers, the performance of the outlined gravitational wave-alert observations will be presented.


title: Determination of onset temperature from the entropy for fragile to strong liquids

abstract: In this paper we establish a connection between the onset temperature of glassy dynamics with the change in the entropy for a wide range of model systems. We identify the crossing temperature of pair and excess entropies as the onset temperature. Below the onset temperature, the residual multiparticle entropy(RMPE), the difference between excess and pair entropies, becomes positive. The positive entropy can be viewed as equivalent to the larger phase space exploration of the system. The new method of onset temperature prediction from entropy is less ambiguous, as it does not depend on any fitting parameter like the existing methods. Our study also reveals the connection between fragility and the degree of breakdown of the Stokes Einstein (SE) relation.


title: Non-parametric estimation of time varying AR(1)--processes with local stationarity and periodicity

abstract: Extending the ideas of [7], this paper aims at providing a kernel based non-parametric estimation of a new class of time varying AR(1) processes (Xt), with local stationarity and periodic features (with a known period T), inducing the definition Xt = at(t/nT)X t--1 + $\xi$t for t $\in$ N and with a t+T $\not\equiv$ at. Central limit theorems are established for kernel estima-tors as(u) reaching classical minimax rates and only requiring low order moment conditions of the white noise ($\xi$t)t up to the second order.


title: Measurements of tt-bar cross sections in association with b jets and inclusive jets and their ratio using dilepton final states in pp collisions at sqrt(s) = 13 TeV

abstract: The cross sections for the production of tt-bar bb-bar and tt-bar jj events and their ratio sigma[tt-bar bb-bar]/sigma[tt-bar jj] are measured using data corresponding to an integrated luminosity of 2.3 inverse femtobarns collected in pp collisions at sqrt(s) = 13 TeV with the CMS detector at the LHC. Events with two leptons (e or mu) and at least four reconstructed jets, including at least two identified as b quark jets, in the final state are selected. In the full phase space, the measured ratio is 0.022 +/- 0.003 (stat) +/- 0.006 (syst), the cross section sigma[tt-bar bb-bar] is 4.0 +/- 0.6 (stat) +/- 1.3 (syst) pb and sigma[tt-bar jj] is 184 +/- 6 (stat) +/- 33 (syst) pb. The measurements are compared with the standard model expectations obtained from a POWHEG simulation at next-to-leading-order interfaced with PYTHIA.


title: Kronecker Recurrent Units

abstract: Our work addresses two important issues with recurrent neural networks: (1) they are over-parameterized, and (2) the recurrence matrix is ill-conditioned. The former increases the sample complexity of learning and the training time. The latter causes the vanishing and exploding gradient problem. We present a flexible recurrent neural network model called Kronecker Recurrent Units (KRU). KRU achieves parameter efficiency in RNNs through a Kronecker factored recurrent matrix. It overcomes the ill-conditioning of the recurrent matrix by enforcing soft unitary constraints on the factors. Thanks to the small dimensionality of the factors, maintaining these constraints is computationally efficient. Our experimental results on seven standard data-sets reveal that KRU can reduce the number of parameters by three orders of magnitude in the recurrent weight matrix compared to the existing recurrent models, without trading the statistical performance. These results in particular show that while there are advantages in having a high dimensional recurrent space, the capacity of the recurrent part of the model can be dramatically reduced.


title: Simplification of multibody models by parameter reduction

abstract: Model selection methods are used in different scientific contexts to represent a characteristic data set in terms of a reduced number of parameters. Apparently, these methods have not found their way into the literature on multibody systems dynamics. Multibody models can be considered parametric models in terms of their dynamic parameters, and model selection techniques can then be used to express these models in terms of a reduced number of parameters. These parameter-reduced models are expected to have a smaller computational complexity than the original one and still preserve the desired level of accuracy. They are also known to be good candidates for parameter estimation purposes. In this work, simulations of the actual model are used to define a data set that is representative of the system's standard working conditions. A parameter-reduced model is chosen and its parameter values estimated so that they minimize the prediction error on these data. To that end, model selection heuristics and normalized error measures are proposed. Using this methodology, two multibody systems with very different characteristic mobility are analyzed. Highly considerable reductions in the number of parameters and computational cost are obtained without compromising the accuracy of the reduced model too much. As an additional result, a generalization of the base parameter concept to the context of parameter-reduced models is proposed.


title: Insight into CO2 dissociation in plasmas from numerical solution of a vibrational diffusion equation

abstract: The dissociation of CO2 molecules in plasmas is a subject of enormous importance for fundamental studies and the recent interest in carbon capture and carbon-neutral fuels. The vibrational excitation of the CO2 molecule plays an important role in the process. The complexity of the present state-to-state (STS) models makes it difficult to find out the key parameters. In this paper we propose as an alternative a numerical method based on the diffusion formalism developed in the past for analytical studies. The non-linear Fokker-Planck equation is solved by the time-dependent diffusion Monte Carlo method. Transport quantities are calculated from STS rate coefficients. The asymmetric stretching mode of CO2 is used as a test case. We show that the method reproduces the STS results or a Treanor distribution depending on the choice of the boundary conditions. A positive drift, whose energy onset is determined by the vibrational to translational temperature ratio, brings molecules from mid-energy range to dissociation. The high-energy fall of the distribution is observed even neglecting VT processes which are normally believed to be its cause. Our study explains several puzzling features of previous studies, provides new insights into the control of the dissociation rate and a much sought compression of the required data for modeling.


title: $\Sigma$-pure-injective modules for string algebras and linear relations

abstract: We prove that indecomposable $\Sigma$-pure-injective modules for a string algebra are string or band modules. The key step in our proof is a splitting result for infinite-dimensional linear relations.


title: Human-Robot Collaboration: From Psychology to Social Robotics

abstract: With the advances in robotic technology, research in human-robot collaboration (HRC) has gained in importance. For robots to interact with humans autonomously they need active decision making that takes human partners into account. However, state-of-the-art research in HRC does often assume a leader-follower division, in which one agent leads the interaction. We believe that this is caused by the lack of a reliable representation of the human and the environment to allow autonomous decision making. This problem can be overcome by an embodied approach to HRC which is inspired by psychological studies of human-human interaction (HHI). In this survey, we review neuroscientific and psychological findings of the sensorimotor patterns that govern HHI and view them in a robotics context. Additionally, we study the advances made by the robotic community into the direction of embodied HRC. We focus on the mechanisms that are required for active, physical human-robot collaboration. Finally, we discuss the similarities and differences in the two fields of study which pinpoint directions of future research.


title: New radiographic image processing tested on the simple and double-flux platform at OMEGA

abstract: Ablation fronts and shocks are two radiative/hydrodynamic features ubiquitous in inertial confinement fusion (ICF). A specially designed shock-tube experiment was tested on the OMEGA laser facility to observe these two features evolve at once and to assess thermodynamical and radiative properties. It is a basic science experiment aimed at improving our understanding of shocked and ablated matter which is critical to ICF design. At all time, these two moving "interfaces" separate the tube into three distinct zones where matter is either ablated, shocked or unshocked. The {\it simple-flux} or {\it double-flux} experiments, respectively one or two halfraum-plus-tube, have been thought up to observe and image these zones using x-ray and visible image diagnostic. The possibility of observing all three regions at once was instrumental in our new radiographic image processing used to remove the backlighter background otherwise detrimental to quantitative measurement. By so doing, after processing the radiographic images of the 15 shots accumulated during the 2013 and 2015 campaigns, a quantitative comparison between experiments and our radiative hydrocode simulations was made possible. Several points of the principal Hugoniot of the aerogel used as a light material in the shock-tube were inferred from that comparison. Most surprisingly, rapid variations of relative-transmission in the ablated region were observed during radiographic irradiations while it remained constant in the shocked region. This effect might be attributed to the spectral distribution variability of the backlighter during the radiographic pulse. Numerically, that distribution is strongly dependent upon NLTE models and it could potentially be used as a mean to discriminate among them.


title: Character sums with smooth numbers

abstract: We use the large sieve inequality for smooth numbers due to S. Drappeau, A. Granville and X. Shao (2017), together with some other arguments, to improve their bounds on the frequency of pairs $(q,\chi)$ of moduli $q$ and primitive characters $\chi$ modulo $q$, for which the corresponding character sums with smooth numbers are large.


title: Stochastic Metamorphosis in Imaging Science

abstract: In the pattern matching approach to imaging science, the process of \emph{metamorphosis} in template matching with dynamical templates was introduced in \cite{ty05b}. In \cite{HoTrYo2009} the metamorphosis equations of \cite{ty05b} were recast into the Euler-Poincar\'e variational framework of \cite{HoMaRa1998} and shown to contain the equations for a perfect complex fluid \cite{Holm2002}. This result related the data structure underlying the process of metamorphosis in image matching to the physical concept of order parameter in the theory of complex fluids \cite{GBHR2013}. In particular, it cast the concept of Lagrangian paths in imaging science as deterministically evolving curves in the space of diffeomorphisms acting on image data structure, expressed in Eulerian space. (In contrast, the landmarks in the standard LDDMM approach are Lagrangian.) For the sake of introducing an Eulerian uncertainty quantification approach in imaging science, we extend the method of metamorphosis to apply to image matching along \emph{stochastically} evolving time dependent curves on the space of diffeomorphisms. The approach will be guided by recent progress in developing stochastic Lie transport models for uncertainty quantification in fluid dynamics in \cite{holm2015variational,CrFlHo2017}.


title: A review of advances in pixel detectors for experiments with high rate and radiation

abstract: The Large Hadron Collider (LHC) experiments ATLAS and CMS have established hybrid pixel detectors as the instrument of choice for particle tracking and vertexing in high rate and radiation environments, as they operate close to the LHC interaction points. With the High Luminosity-LHC upgrade now in sight, for which the tracking detectors will be completely replaced, new generations of pixel detectors are being devised. They have to address enormous challenges in terms of data throughput and radiation levels, ionizing and non-ionizing, that harm the sensing and readout parts of pixel detectors alike. Advances in microelectronics and microprocessing technologies now enable large scale detector designs with unprecedented performance in measurement precision (space and time), radiation hard sensors and readout chips, hybridization techniques, lightweight supports, and fully monolithic approaches to meet these challenges. This paper reviews the world-wide effort on these developments.


title: On E-Discretization of Tori of Compact Simple Lie Groups: II

abstract: Ten types of discrete Fourier transforms of Weyl orbit functions are developed. Generalizing one-dimensional cosine, sine and exponential, each type of the Weyl orbit function represents an exponential symmetrized with respect to a subgroup of the Weyl group. Fundamental domains of even affine and dual even affine Weyl groups, governing the argument and label symmetries of the even orbit functions, are determined. The discrete orthogonality relations are formulated on finite sets of points from the refinements of the dual weight lattices. Explicit counting formulas for the number of points of the discrete transforms are deduced. Real-valued Hartley orbit functions are introduced and all ten types of the corresponding discrete Hartley transforms are detailed.


title: Tangent Cones to TT Varieties

abstract: As already done for the matrix case for example in [Joe Harris, Algebraic Geometry - A first course, p.256] we give a parametrization of the Bouligand tangent cone of the variety of tensors of bounded TT rank. We discuss how the proof generalizes to any binary hierarchical format. The parametrization can be rewritten as an orthogonal sum of TT tensors. Its retraction onto the variety is particularly easy to compose. We also give an implicit description of the tangent cone as the solution of a system of polynomial equations.


title: Inelastic low-energy collisions of electrons with HeH$^+$: rovibrational excitation and dissociative recombination

abstract: Inelastic low-energy (0--1 eV) collisions of electrons with HeH$^+$ cations are treated theoretically, with a focus on the rovibrational excitation and dissociative recombination (DR) channels. In an application of {\it ab initio} multichannel quantum defect theory (MQDT), the description of both processes is based on the Born-Oppenheimer quantum defects. The quantum defects were determined using the R-matrix approach in two different frames of reference: the center-of-charge and the center-of-mass frames. The results obtained in the two reference systems, after implementing the Fano-Jungen style rovibrational frame-transformation technique, shows differences in the rate of convergence for these two different frames of reference. We find good agreement with the available theoretically predicted rotationally inelastic thermal rate coefficients. Our computed DR rate also agrees well with available experimental results. Moreover, several computational experiments shed light on the role of rotational and vibrational excitations in the indirect DR mechanism that governs the low energy HeH$^+$ dissociation process. While the rotational excitation is several orders of magnitude more probable process at the studied collision energies, the closed-channel resonances described by the high-n, rotationally excited neutral molecules of HeH contribute very little to the dissociation probability. But the situation is very different for resonances defined by the high-n, vibrationally excited HeH molecules, which are found to dissociate with approximately 90% probability.


title: Hyperelliptic Jacobians and isogenies

abstract: Motivated by results of Mestre and Voisin, in this note we mainly consider abelian varieties isogenous to hyperelliptic Jacobians In the first part we prove that a very general hyperelliptic Jacobian of genus $g\ge 4$ is not isogenous to a non-hyperelliptic Jacobian. As a consequence we obtain that the Intermediate Jacobian of a very general cubic threefold is not isogenous to a Jacobian. Another corollary tells that the Jacobian of a very general $d$-gonal curve of genus $g \ge 4$ is not isogenous to a different Jacobian. In the second part we consider a closed subvariety $\mathcal Y \subset \mathcal A_g$ of the moduli space of principally polarized varieties of dimension $g\ge 3$. We show that if a very general element of $\mathcal Y$ is dominated by a hyperelliptic Jacobian, then $\dim \mathcal Y\ge 2g$. In particular, if the general element in $\mathcal Y$ is simple, its Kummer variety does not contain rational curves. Finally we show that a closed subvariety $\mathcal Y\subset \mathcal M_g$ of dimension $2g-1$ such that the Jacobian of a very general element of $\mathcal Y$ is dominated by a hyperelliptic Jacobian is contained either in the hyperelliptic or in the trigonal locus.


title: On some equalities and inequalities for $K$-frames

abstract: K-frame theory was recently introduced to reconstruct elements from the range of a bounded linear operator K in a separable Hilbert space. This significant property is worthwhile especially in some problems arising in sampling theory. Some equalities and inequalities have been established for ordinary frames and their duals. In this paper, we continue and extend these results to obtain several important equalities and inequalities for K-frames. Moreover, by applying Jensen's operator inequality we obtain some new inequalities for $K$-frames.