title: Colliding shock waves and hydrodynamics in small systems

abstract: Using numerical holography, we study the collision of a planar sheet of energy with a bounded localized distribution of energy. The collision, which mimics proton-nucleus collisions, produces a localized lump of debris with transverse size $R \sim 1/T_{\rm eff}$ with $T_{\rm eff}$ the effective temperature, and has large gradients and large transverse flow. Nevertheless, the postcollision evolution is well described by viscous hydrodynamics. Our results bolster the notion that debris produced in proton-nucleus collisions may be modeled using hydrodynamics.


title: The Theorem of Ostrogradsky

abstract: Ostrogradsky's construction of a Hamiltonian formalism for nondegenerate higher derivative Lagrangians is reviewed. The resulting instability imposes by far the most powerful restriction on fundamental, interacting, continuum Lagrangian field theories. A discussion is given of the problems raised by attempts to evade this restriction.


title: Boosting Optical Character Recognition: A Super-Resolution Approach

abstract: Text image super-resolution is a challenging yet open research problem in the computer vision community. In particular, low-resolution images hamper the performance of typical optical character recognition (OCR) systems. In this article, we summarize our entry to the ICDAR2015 Competition on Text Image Super-Resolution. Experiments are based on the provided ICDAR2015 TextSR dataset and the released Tesseract-OCR 3.02 system. We report that our winning entry of text image super-resolution framework has largely improved the OCR performance with low-resolution images used as input, reaching an OCR accuracy score of 77.19%, which is comparable with that of using the original high-resolution images 78.80%.


title: Nonlinear compressed sensing based on composite mappings and its pointwise linearization

abstract: Classical compressed sensing (CS) allows us to recover structured signals from far few linear measurements than traditionally prescribed, thereby efficiently decreasing sampling rates. However, if there exist nonlinearities in the measurements, is it still possible to recover sparse or structured signals from the nonlinear measurements? The research of nonlinear CS is devoted to answering this question. In this paper, unlike the existing research angles of nonlinear CS, we study it from the perspective of mapping decomposition, and propose a new concept, namely, nonlinear CS based on composite mappings. Through the analysis of two forms of a nonlinear composite mapping Phi, i.e., Phi(x) = F(Ax) and Phi(x) = AF(x), we give the requirements respectively for the sensing matrix A and the nonlinear mapping F when reconstructing all sparse signals exactly from the nonlinear measurements Phi(x). Besides, we also provide a special pointwise linearization method, which can turn the nonlinear composite mapping Phi, at each point in its domain, into an equivalent linear composite mapping. This linearization method can guarantee the exact recovery of all given sparse signals even if Phi is not an injection for all sparse signals. It may help us build an algorithm framework for the composite nonlinear CS in which we can take full advantage of the existing recovery algorithms belonging to linear CS.


title: Primordial Power Spectra of EiBI Inflation in Strong Gravity Limit

abstract: We investigate the scalar and the tensor perturbations of the $\varphi^2$ inflation model in the strong-gravity limit of Eddington-inspired Born-Infeld (EiBI) theory. In order to consider the strong EiBI-gravity effect, we take the value of $\kappa$ large, where $\kappa$ is the EiBI theory parameter. The energy density of the Universe at the early stage is very high, and the Universe is in a strong-gravity regime. Therefore, the perturbation feature is not altered from what was investigated earlier. At the attractor inflationary stage, however, the feature is changed in the strong EiBI-gravity limit. The correction to the scalar perturbation in this limit comes mainly via the background matter field, while that to the tensor perturbation comes directly from the gravity ($\kappa$) effect. The change in the value of the scalar spectrum is little compared with that in the weak EiBI-gravity limit, or in GR. The form of the tensor spectrum is the same with that in the weak limit, but the value of the spectrum can be suppressed down to zero in the strong limit. Therefore, the resulting tensor-to-scalar ratio can also be suppressed in the same way, which makes $\varphi^2$ model in EiBI theory viable.


title: Temperature dependent three-dimensional anisotropy of the magnetoresistance in WTe$_2$

abstract: Extremely large magnetoresistance (XMR) was recently discovered in WTe$_2$, triggering extensive research on this material regarding the XMR origin. Since WTe$_2$ is a layered compound with metal layers sandwiched between adjacent insulating chalcogenide layers, this material has been considered to be electronically two-dimensional (2D). Here we report two new findings on WTe$_2$: (1) WTe$_2$ is electronically 3D with a mass anisotropy as low as $2$, as revealed by the 3D scaling behavior of the resistance $R(H,\theta)=R(\varepsilon_\theta H)$ with $\varepsilon_\theta =(\cos^2 \theta + \gamma^{-2}\sin^2 \theta)^{1/2}$, $\theta$ being the magnetic field angle with respect to c-axis of the crystal and $\gamma$ being the mass anisotropy; (2) the mass anisotropy $\gamma$ varies with temperature and follows the magnetoresistance behavior of the Fermi liquid state. Our results not only provide a general scaling approach for the anisotropic magnetoresistance but also are crucial for correctly understanding the electronic properties of WTe$_2$, including the origin of the remarkable 'turn-on' behavior in the resistance versus temperature curve, which has been widely observed in many materials and assumed to be a metal-insulator transition.


title: No Perfect Cuboid

abstract: A rectangular parallelepiped is called a cuboid (standing box). It is called perfect if its edges, face diagonals and body diagonal all have integer length. Euler gave an example where only the body diagonal failed to be an integer (Euler brick). Are there perfect cuboids? We prove that there is no perfect cuboid.


title: A Recurrent Latent Variable Model for Sequential Data

abstract: In this paper, we explore the inclusion of latent random variables into the dynamic hidden state of a recurrent neural network (RNN) by combining elements of the variational autoencoder. We argue that through the use of high-level latent random variables, the variational RNN (VRNN)1 can model the kind of variability observed in highly structured sequential data such as natural speech. We empirically evaluate the proposed model against related sequential models on four speech datasets and one handwriting dataset. Our results show the important roles that latent random variables can play in the RNN dynamic hidden state.


title: Disentangling Orthogonal Matrices

abstract: Motivated by a certain molecular reconstruction methodology in cryo-electron microscopy, we consider the problem of solving a linear system with two unknown orthogonal matrices, which is a generalization of the well-known orthogonal Procrustes problem. We propose an algorithm based on a semi-definite programming (SDP) relaxation, and give a theoretical guarantee for its performance. Both theoretically and empirically, the proposed algorithm performs better than the na\"{i}ve approach of solving the linear system directly without the orthogonal constraints. We also consider the generalization to linear systems with more than two unknown orthogonal matrices.


title: Beyond Endoscopy via the Trace Formula-I: Poisson Summation and Contributions of Special Representations

abstract: With analytic applications in mind, in particular Beyond Endoscopy ([13]), we initiate the study of the elliptic part of the trace formula. Incorporating the approximate functional equation to the elliptic part we control the analytic behavior of the volumes of tori that appear in the elliptic part. Furthermore by carefully choosing the truncation parameter in the approximate functional equation we smooth-out the singularities of orbital integrals. Finally by an application of Poisson summation we rewrite the elliptic part so that it is ready to be used in analytic applications, and in particular in Beyond Endoscopy. As a by product we also isolate the contributions of special representations as pointed out in [13].


title: Well-posedness for compressible MHD system with highly oscillating initial data

abstract: In this paper, we transform compressible MHD system written in Euler coordinate to Lagrange coordinate in critical Besov space. Then we construct unique local solutions for compressible MHD system. Our results improve the range of Lebesgue exponent in Besov space from $[2, N)$ to $[2, 2N)$ with $N$ stands for dimension. In addition, we give a lower bound for the maximal existence time which is important for our construction of global solutions. Based on the local solution, we obtain a unique global solution with high oscillating initial velocity and density by using effective viscous flux and Hoff's energy methods to explore the structure of compressible MHD system.


title: A framework for the simulation of CR-VANET channel sensing, coordination and allocation

abstract: VANETs are considered as networks of critical future importance, with the main concern being the safety of travelers and infrastructure. A lot of methods for coordination and channel allocation in the context of VANETs are being introduced. As such, the need of a framework to reliably compare the relative performances of different channel sensing, allocation and coordination schemes which takes into account the movement of vehicles is felt. In this paper, we introduce a framework that can be used to define and compare such schemes in a variety of scenarios. Simulation results clearly show the robustness of our technique by eliminating the misdetections and reducing to a great extent the false alarms.


title: An indefinite-proximal-based strictly contractive Peaceman-Rachford splitting method

abstract: The Peaceman-Rachford splitting method is efficient for minimizing a convex optimization problem with a separable objective function and linear constraints. However, its convergence was not guaranteed without extra requirements. He {\it et al.} (SIAM J. Optim. 24: 1011 - 1040, 2014) proved the convergence of a strictly contractive Peaceman-Rachford splitting method by employing a suitable underdetermined relaxation factor. In this paper, we further extend the so-called strictly contractive Peaceman-Rachford splitting method by using two different relaxation factors. Besides, motivated by the recent advances on the ADMM type method with indefinite proximal terms, we employ the indefinite proximal term in the strictly contractive Peaceman-Rachford splitting method. We show that the proposed indefinite-proximal strictly contractive Peaceman-Rachford splitting method is convergent and also prove the $o(1/t)$ convergence rate in the nonergodic sense. The numerical tests on the $l_1$ regularized least square problem demonstrate the efficiency of the proposed method.


title: No penalty no tears: Least squares in high-dimensional linear models

abstract: Ordinary least squares (OLS) is the default method for fitting linear models, but is not applicable for problems with dimensionality larger than the sample size. For these problems, we advocate the use of a generalized version of OLS motivated by ridge regression, and propose two novel three-step algorithms involving least squares fitting and hard thresholding. The algorithms are methodologically simple to understand intuitively, computationally easy to implement efficiently, and theoretically appealing for choosing models consistently. Numerical exercises comparing our methods with penalization-based approaches in simulations and data analyses illustrate the great potential of the proposed algorithms.


title: Renormalization of H\'enon map in arbitrary dimension I : Universality and reduction of ambient space

abstract: Period doubling H\'enon renormalization of strongly dissipative maps is generalized in arbitrary finite dimension. In particular, a small perturbation of toy model maps with dominated splitting has invariant $C^r$ surfaces embedded in higher dimension and the Cantor attractor has unbounded geometry with respect to full Lebesgue measure on the parameter space. It is an extension of dynamical properties of three dimensional infinitely renormalizable H\'enon-like map in arbitrary finite dimension.


title: Unraveling the temperature dependence of the yield strength in single-crystal tungsten using atomistically-informed crystal plasticity calculations

abstract: We use a physically-based crystal plasticity model to predict the yield strength of body-centered cubic (bcc) tungsten single crystals subjected to uniaxial loading. Our model captures the thermally-activated character of screw dislocation motion and full non-Schmid effects, both of which are known to play a critical role in bcc plasticity. The model uses atomistic calculations as the sole source of constitutive information, with no parameter fitting of any kind to experimental data. Our results are in excellent agreement with experimental measurements of the yield stress as a function of temperature for a number of loading orientations. The validated methodology is then employed to calculate the temperature and strain-rate dependence of the yield strength for 231 crystallographic orientations within the standard stereographic triangle. We extract the strain-rate sensitivity of W crystals at different temperatures, and finish with the calculation of yield surfaces under biaxial loading conditions that can be used to define effective yield criteria for engineering design models.


title: Silica aerogel for capturing intact interplanetary dust particles for the Tanpopo experiment

abstract: In this paper, we report the progress in developing a silica-aerogel-based cosmic dust capture panel for use in the Tanpopo experiment on the International Space Station (ISS). Previous studies revealed that ultralow-density silica aerogel tiles comprising two layers with densities of 0.01 and 0.03 g/cm$^3$ developed using our production technique were suitable for achieving the scientific objectives of the astrobiological mission. A special density configuration (i.e., box framing) aerogel with a holder was designed to construct the capture panels. Qualification tests for an engineering model of the capture panel as an instrument aboard the ISS were successful. Sixty box-framing aerogel tiles were manufactured in a contamination-controlled environment.


title: Design and optimization of DBSCAN Algorithm based on CUDA

abstract: DBSCAN is a very classic algorithm for data clus- tering, which is widely used in many fields. However, with the data scale growing much more bigger than before, the traditional serial algorithm can not meet the performance requirement. Recently, parallel computing based on CUDA has developed very fast and has great advantage on big data. This paper summarizes the algorithms proposed before and improves the performance of the old DBSCAN algorithm by using CUDA and parallel computing. The algorithm uses shared memory as much as possible compared with other algorithms and it has very good scalability. A data set is tested on the new version of DBSCAN. Finally, we analyze the results and give a conclusion that our algorithm is approximately 97 times faster than the serial version.


title: Primal Method for ERM with Flexible Mini-batching Schemes and Non-convex Losses

abstract: In this work we develop a new algorithm for regularized empirical risk minimization. Our method extends recent techniques of Shalev-Shwartz [02/2015], which enable a dual-free analysis of SDCA, to arbitrary mini-batching schemes. Moreover, our method is able to better utilize the information in the data defining the ERM problem. For convex loss functions, our complexity results match those of QUARTZ, which is a primal-dual method also allowing for arbitrary mini-batching schemes. The advantage of a dual-free analysis comes from the fact that it guarantees convergence even for non-convex loss functions, as long as the average loss is convex. We illustrate through experiments the utility of being able to design arbitrary mini-batching schemes.


title: Strong converse exponents for the feedback-assisted classical capacity of entanglement-breaking channels

abstract: Quantum entanglement can be used in a communication scheme to establish a correlation between successive channel inputs that is impossible by classical means. It is known that the classical capacity of quantum channels can be enhanced by such entangled encoding schemes, but this is not always the case. In this paper, we prove that a strong converse theorem holds for the classical capacity of an entanglement-breaking channel even when it is assisted by a classical feedback link from the receiver to the transmitter. In doing so, we identify a bound on the strong converse exponent, which determines the exponentially decaying rate at which the success probability tends to zero, for a sequence of codes with communication rate exceeding capacity. Proving a strong converse, along with an achievability theorem, shows that the classical capacity is a sharp boundary between reliable and unreliable communication regimes. One of the main tools in our proof is the sandwiched Renyi relative entropy. The same method of proof is used to derive an exponential bound on the success probability when communicating over an arbitrary quantum channel assisted by classical feedback, provided that the transmitter does not use entangled encoding schemes.


title: Complex signal amplitude analysis for complete fusion nuclear reaction products

abstract: A complex analysis has been performed on the energy amplitude signals corresponding to events of Z=117 element measured in the 249Bk+48Ca complete fusion nuclear reaction. These signals were detected with PIPS position sensitive detector. The significant values of pulse height defect both for recoils (ER) and fission fragments (FF) were measured. Comparison with the computer simulations and empirical formulae has been performed both for ER and FF signals.


title: Landscape of an exact energy functional

abstract: One of the great challenges of electronic structure theory is the quest for the exact functional of density functional theory. Its existence is proven, but it is a complicated multivariable functional that is almost impossible to conceptualize. In this paper, the asymmetric two-site Hubbard model is studied, which has a two-dimensional universe of density matrices. The exact functional becomes a simple function of two variables whose three dimensional energy landscape can be visualized and explored. A walk on this unique landscape, tilted to an angle defined by the one-electron Hamiltonian, gives a valley whose minimum is the exact total energy. This is contrasted with the landscape of some approximate functionals, explaining their failure for electron transfer in the strongly correlated limit. We show concrete examples of pure-state density matrices that are not $v$-representable due to the underlying non-convex nature of the energy landscape. For the first time, the exact functional is calculated for all numbers of electrons, including fractional, allowing the derivative discontinuity to be visualized and understood. The fundamental gap for all possible systems is obtained solely from the derivatives of the exact functional.


title: Diffraction Resistant Scalar Beams Generated by a Parabolic Reflector and a Source of Spherical Waves

abstract: In this work, we propose the generation of diffraction resistant beams by using a parabolic reflector and a source of spherical waves positioned at a point slightly displaced from its focus (away from the reflector). In our analysis, considering the reflector dimensions much greater than the wavelength, we describe the main characteristics of the resulting beams, showing their properties of resistance to the diffraction effects. Due to its simplicity, this method may be an interesting alternative for the generation of long range diffraction resistant waves.


title: Induced subgraphs of graphs with large chromatic number. III. Long holes

abstract: We prove a 1985 conjecture of Gy\'arf\'as that for all $k,\ell$, every graph with sufficiently large chromatic number contains either a complete subgraph with $k$ vertices or an induced cycle of length at least $\ell$.


title: Propagation of time-truncated Airy-type pulses in media with quadratic and cubic dispersion

abstract: In this paper, we describe analytically the propagation of Airy-type pulses truncated by a finite-time aperture when second and third order dispersion effects are considered. The mathematical method presented here, based on the superposition of exponentially truncated Airy pulses, is very effective, allowing us to avoid the use of time-consuming numerical simulations. We analyze the behavior of the time truncated Ideal-Airy pulse and also the interesting case of a time truncated Airy pulse with a "defect" in its initial profile, which reveals the self-healing property of this kind of pulse solution.


title: Automorphisms of metacyclic groups

abstract: A metacyclic group $H$ can be presented as $\langle \alpha,\beta\mid \alpha^{n}=1, \ \beta^{m}=\alpha^{t}, \ \beta\alpha\beta^{-1}=\alpha^{r}\rangle$ for some $n,m,t,r$. Each endomorphism $\sigma$ of $H$ is determined by $\sigma(\alpha)=\alpha^{x_{1}}\beta^{y_{1}}, \sigma(\beta)=\alpha^{x_{2}}\beta^{y_{2}}$ for some integers $x_{1},x_{2},y_{1},y_{2}$. We give sufficient and necessary conditions on $x_{1},x_{2},y_{1},y_{2}$ for $\sigma$ to be an automorphism.


title: Jacobi multipliers, non-local symmetries and nonlinear oscillators

abstract: Constants of motion, Lagrangians and Hamiltonians admitted by a family of relevant nonlinear oscillators are derived using a geometric formalism. The theory of the Jacobi last multiplier allows us to find Lagrangian descriptions and constants of the motion. An application of the jet bundle formulation of symmetries of differential equations is presented in the second part of the paper. After a short review of the general formalism, the particular case of non-local symmetries is studied in detail by making use of an extended formalism. The theory is related to some results previously obtained by Krasil'shchi, Vinogradov and coworkers. Finally the existence of non-local symmetries for such two nonlinear oscillators is proved.


title: Generalized Spectral Kernels

abstract: In this paper we propose a family of tractable kernels that is dense in the family of bounded positive semi-definite functions (i.e. can approximate any bounded kernel with arbitrary precision). We start by discussing the case of stationary kernels, and propose a family of spectral kernels that extends existing approaches such as spectral mixture kernels and sparse spectrum kernels. Our extension has two primary advantages. Firstly, unlike existing spectral approaches that yield infinite differentiability, the kernels we introduce allow learning the degree of differentiability of the latent function in Gaussian process (GP) models and functions in the reproducing kernel Hilbert space (RKHS) in other kernel methods. Secondly, we show that some of the kernels we propose require fewer parameters than existing spectral kernels for the same accuracy, thereby leading to faster and more robust inference. Finally, we generalize our approach and propose a flexible and tractable family of spectral kernels that we prove can approximate any continuous bounded nonstationary kernel.


title: Short-range correlations in nuclei with similarity renormalization group transformations

abstract: $\mathbf{Background:}$ Realistic nucleon-nucleon interactions induce short-range correlations in nuclei. To solve the many-body problem unitary transformations like the similarity renormalization group (SRG) are often used to soften the interactions. $\mathbf{Purpose:}$ Two-body densities can be used to illustrate how the SRG eliminates short-range correlations in the wave function. The short-range information can however be recovered by transforming the density operators. $\mathbf{Method:}$ The many-body problem is solved for $^4$He in the no core shell model (NCSM) with SRG transformed AV8' and chiral N3LO interactions. The NCSM wave functions are used to calculate two-body densities with bare and SRG transformed density operators in two-body approximation. $\mathbf{Results:}$ The two-body momentum distributions for AV8' and N3LO have similar high-momentum components up to relative momenta of about $2.5\,\mathrm{fm}^{-1}$, dominated by tensor correlations, but differ in their behavior at higher relative momenta. The contributions of many-body correlations are small for pairs with vanishing pair momentum but not negligible for the momentum distributions integrated over all pair momenta. Many-body correlations are induced by the strong tensor force and lead to a reshuffling of pairs between different spin-isospin channels. $\mathbf{Conclusions:}$ When using the SRG it is essential to use transformed operators for observables sensitive to short-range physics. Back-to-back pairs with vanishing pair momentum are the best tool to study short-range correlations.


title: Measurement of the gravitational redshift effect with RadioAstron satellite

abstract: RadioAstron satellite admits in principle a testing the gravitational redshift effect with an accuracy of better than $10^{-5}$. It would surpass the result of Gravity Probe A mission at least an order of magnitude. However, RadioAstron's communications and frequency transfer systems are not adapted for a direct application of the non relativistic Doppler and troposphere compensation scheme used in the Gravity Probe A experiment. This leads to degradation of the redshift test accuracy approximately to the level 0.01. We discuss the way to overcome this difficulty and present preliminary results based on data obtained during special observing sessions scheduled for testing the new techniques.


title: String Gaussian Process Kernels

abstract: We introduce a new class of nonstationary kernels, which we derive as covariance functions of a novel family of stochastic processes we refer to as string Gaussian processes (string GPs). We construct string GPs to allow for multiple types of local patterns in the data, while ensuring a mild global regularity condition. In this paper, we illustrate the efficacy of the approach using synthetic data and demonstrate that the model outperforms competing approaches on well studied, real-life datasets that exhibit nonstationary features.


title: Global Well-Posedness Of A Non-Local Burgers Equation: The Periodic Case

abstract: This paper is concerned with the study of a non-local Burgers equation for positive bounded periodic initial data. The equation reads $$ u_t - u |\nabla| u + |\nabla|(u^2) = 0. $$ We construct global classical solutions starting from smooth positive data, and global weak solutions starting from data in $L^\infty$. We show that any weak solution is instantaneously regularized into $C^\infty$. We also describe the long-time behavior of all solutions. Our methods follow several recent advances in the regularity theory of parabolic integro-differential equations.


title: Extension of nano-confined DNA: quantitative comparison between experiment and theory

abstract: The extension of DNA confined to nanochannels has been studied intensively and in detail. Yet quantitative comparisons between experiments and model calculations are difficult because most theoretical predictions involve undetermined prefactors, and because the model parameters (contour length, Kuhn length, effective width) are difficult to compute reliably, leading to substantial uncertainties. Here we use a recent asymptotically exact theory for the DNA extension in the "extended de Gennes regime" that allows us to compare experimental results with theory. For this purpose we performed new experiments, measuring the mean DNA extension and its standard deviation while varying the channel geometry, dye intercalation ratio, and ionic buffer strength. The experimental results agree very well with theory at high ionic strengths, indicating that the model parameters are reliable. At low ionic strengths the agreement is less good. We discuss possible reasons. Our approach allows, in principle, to measure the Kuhn length and effective width of a single DNA molecule and more generally of semiflexible polymers in solution.


title: Modeling Barkhausen Noise in Magnetic Glasses with Dipole-Dipole Interactions

abstract: Long-ranged dipole-dipole interactions in magnetic glasses give rise to magnetic domains having labyrinthine patterns. Barkhausen Noise is then expected to result from the movement of domain boundaries which is supposed to be modeled by the motion of elastic membranes with random pinning. We propose an atomistic model of such magnetic glasses in which we measure the Barkhausen Noise which indeed results from the movement of domain boundaries. Nevertheless the statistics of the Barkhausen Noise is found in striking disagreement with the expectations in the literature. In fact we find exponential statistics without any power law, stressing the fact that Barkhausen Noise can belong to very different universality classes. In this glassy system the essence of the phenomenon is the ability of spin-carrying particles to move and minimize the energy without any spin flip. A theory is offered in excellent agreement with the measured data without any free parameter.


title: On approximating tree spanners that are breadth first search trees

abstract: A tree $t$-spanner $T$ of a graph $G$ is a spanning tree of $G$ such that the distance in $T$ between every pair of verices is at most $t$ times the distance in $G$ between them. There are efficient algorithms that find a tree $t\cdot O(\log n)$-spanner of a graph $G$, when $G$ admits a tree $t$-spanner. In this paper, the search space is narrowed to $v$-concentrated spanning trees, a simple family that includes all the breadth first search trees starting from vertex $v$. In this case, it is not easy to find approximate tree spanners within factor almost $o(\log n)$. Specifically, let $m$ and $t$ be integers, such that $m>0$ and $t\geq 7$. If there is an efficient algorithm that receives as input a graph $G$ and a vertex $v$ and returns a $v$-concentrated tree $t\cdot o((\log n)^{m/(m+1)})$-spanner of $G$, when $G$ admits a $v$-concentrated tree $t$-spanner, then there is an algorithm that decides 3-SAT in quasi-polynomial time.


title: Efficient PDE constrained shape optimization based on Steklov-Poincar\'e type metrics

abstract: Recent progress in PDE constrained optimization on shape manifolds is based on the Hadamard form of shape derivatives, i.e., in the form of integrals at the boundary of the shape under investigation, as well as on intrinsic shape metrics. From a numerical point of view, domain integral forms of shape derivatives seem promising, which rather require an outer metric on the domain surrounding the shape boundary. This paper tries to harmonize both points of view by employing a Steklov-Poincar\'e type intrinsic metric, which is derived from an outer metric. Based on this metric, efficient shape optimization algorithms are proposed, which also reduce the analytical labor, so far involved in the derivation of shape derivatives.


title: What May Visualization Processes Optimize?

abstract: In this paper, we present an abstract model of visualization and inference processes and describe an information-theoretic measure for optimizing such processes. In order to obtain such an abstraction, we first examined six classes of workflows in data analysis and visualization, and identified four levels of typical visualization components, namely disseminative, observational, analytical and model-developmental visualization. We noticed a common phenomenon at different levels of visualization, that is, the transformation of data spaces (referred to as alphabets) usually corresponds to the reduction of maximal entropy along a workflow. Based on this observation, we establish an information-theoretic measure of cost-benefit ratio that may be used as a cost function for optimizing a data visualization process. To demonstrate the validity of this measure, we examined a number of successful visualization processes in the literature, and showed that the information-theoretic measure can mathematically explain the advantages of such processes over possible alternatives.


title: Correlation integral and determinism for a family of $2^\infty$ maps

abstract: The correlation integral and determinism are quantitative characteristics of a dynamical system based on the recurrence of orbits. For strongly non-chaotic interval maps, the determinism equals 1 for every small enough threshold. This means that trajectories of such systems are perfectly predictable in the infinite horizon. In this paper we study the correlation integral and determinism for the family of $2^\infty$ non-chaotic maps, first considered by Delahaye in 1980. The determinism in a finite horizon equals 1. However, the behaviour of the determinism in the infinite horizon is counter-intuitive. Sharp bounds on the determinism are provided.


title: Well-posedness of a nonlinear integro-differential problem and its rearranged formulation

abstract: We study the existence and uniqueness of solutions of a nonlinear integro-differential problem which we reformulate introducing the notion of the decreasing rearrangement of the solution. A dimensional reduction of the problem is obtained and a detailed analysis of the properties of the solutions of the model is provided. Finally, a fast numerical method is devised and implemented to show the performance of the model when typical image processing tasks such as filtering and segmentation are performed.


title: Diffusive superconductors beyond Usadel approximation: Electron-hole asymmetry and large photoelectric effect

abstract: We extend the quasiclassical formalism for diffusive superconductors by deriving anisotropic (gradient) corrections to the Usadel equation. We demonstrate that in a number of physical situations such corrections may play a crucial role being responsible for the effects which cannot be recovered within the standard Usadel approximation. One of them is the so-called photoelectric effect in superconductors and superconducting-normal (SN) hybrid structures. Provided a superconducting part of the system is irradiated by an external ac electromagnetic field the charge imbalance develops and a non-vanishing dc voltage is induced across the SN interface. In the presence of magnetic impurities in a superconductor the magnitude of this effect becomes large and can easily be detected in modern experiments.


title: Existence and uniqueness for backward stochastic differential equations driven by a random measure

abstract: We study the following backward stochastic differential equation on finite time horizon driven by an integer-valued random measure $\mu$ on $\mathbb R_+\times E$, where $E$ is a Lusin space, with compensator $\nu(dt,dx)=dA_t\,\phi_t(dx)$: \[ Y_t = \xi + \int_{(t,T]} f(s,Y_{s-},Z_s(\cdot))\, d A_s - \int_{(t,T]} \int_E Z_s(x) \, (\mu-\nu)(ds,dx),\qquad 0\leq t\leq T. \] The generator $f$ satisfies, as usual, a uniform Lipschitz condition with respect to its last two arguments. In the literature, the existence and uniqueness for the above equation in the present general setting has only been established when $A$ is continuous or deterministic. The general case, i.e. $A$ is a right-continuous nondecreasing predictable process, is addressed in this paper. These results are relevant, for example, in the study of control problems related to Piecewise Deterministic Markov Processes (PDMPs). Indeed, when $\mu$ is the jump measure of a PDMP, then $A$ is predictable (but not deterministic) and discontinuous, with jumps of size equal to 1.


title: BSE property for some certain Segal algebras with applications to the Fourier algebra

abstract: In this paper, we study the BSE-property for some certain Segal algebras. As an application, we give some results on subalgebras of the Fourier algebra and provide a wide range of Banach algebras with the BSE-property. Also, we give a generalization of a result due to E. Kaniuth and A. \"Ulger.


title: Vanishing dissipation limit for the Navier-Stokes-Fourier system

abstract: We consider the motion of a compressible, viscous, and heat conducting fluid in the regime of small viscosity and heat conductivity. It is shown that weak solutions of the associated Navier- Stokes-Fourier system converge to a (strong) solution of the Euler system on its life span. The problem is studied in a bounded domain in the three dimensional Euclidean space, on the boundary of which the velocity field satisfies the complete slip boundary conditions.


title: Comment on: Synthesis, growth and characterization of a new metal organic Nlo material: Dibromo bis(L proline)Cd(II)

abstract: The title paper by Boopathi and Ramasamy reports a study on the crystal growth and characterization of dibromobis (L-proline)Cd(II) (1). Many points of criticism, concerning the crystal structure of (1) and the magnetic properties of (1) dibromo bis(L-proline)Zn(II) (2) and diiodo bis(2-aminopyridine)Cd(II) (3) are reported to show that compounds 1 to 3 are not soft magnets but instead diamagnetic solids.


title: Existence, Pareto reducibility, and connectedness in multi-objective optimization: Elementary proofs and extension

abstract: This paper is divided to two parts. In the first part, we provide elementary proofs for some important results in multi-objective optimization. The given proofs are so simple and short in compared to the existing ones. Also, a Pareto reducibility result is extended from efficiency to proper efficiency. The second part is devoted to the connections between nonemptiness, $R^p_{\geqq}$-(semi)compactness, external stability and connectedness of the set of nondominated solutions in multi-objective optimization. Furthermore, it is shown that some assumption in an important result, concerning connectedness, is redundant and should be removed.


title: Two dimensional bright solitons in dipolar Bose-Einstein condensates with tilted dipoles

abstract: The effect of dipolar orientation with respect to the soliton plane on the physics of two-dimensional bright solitons in dipolar Bose-Einstein condensates is discussed. Previous studies on such a soliton involved dipoles either perpendicular or parallel to the condensate-plane. The tilting angle constitutes an additional tuning parameter, which help us to control the in-plane anisotropy of the soliton as well as provides access to previously disregarded regimes of interaction parameters for soliton stability. In addition, it can be used to drive the condensate into phonon instability without changing its interaction parameters or trap geometry. The phonon-instability in a homogeneous 2D condensate of tilted dipoles always features a transient stripe pattern, which eventually breaks into a metastable soliton gas. Finally, we demonstrate how a dipolar BEC in a shallow trap can eventually be turned into a self-trapped matter wave by an adiabatic approach, involving the tuning of tilting angle.


title: A cluster expansion approach to the Heilmann-Lieb liquid crystal model

abstract: A monomer-dimer model with a short-range attractive interaction favoring colinear dimers is considered on the lattice $\mathbb{Z}^2$. Although our choice of the chemical potentials results in more horizontal than vertical dimers, the horizontal dimers have no long-range traslational order - in agreement with the Heilmann-Lieb conjecture.


title: Knowledge Transfer Pre-training

abstract: Pre-training is crucial for learning deep neural networks. Most of existing pre-training methods train simple models (e.g., restricted Boltzmann machines) and then stack them layer by layer to form the deep structure. This layer-wise pre-training has found strong theoretical foundation and broad empirical support. However, it is not easy to employ such method to pre-train models without a clear multi-layer structure,e.g., recurrent neural networks (RNNs). This paper presents a new pre-training approach based on knowledge transfer learning. In contrast to the layer-wise approach which trains model components incrementally, the new approach trains the entire model as a whole but with an easier objective function. This is achieved by utilizing soft targets produced by a prior trained model (teacher model). Compared to the conventional layer-wise methods, this new method does not care about the model structure, so can be used to pre-train very complex models. Experiments on a speech recognition task demonstrated that with this approach, complex RNNs can be well trained with a weaker deep neural network (DNN) model. Furthermore, the new method can be combined with conventional layer-wise pre-training to deliver additional gains.


title: Interference Effects in Higgs production through Vector Boson Fusion in the Standard Model and its Singlet Extension

abstract: Interference effects play an important role in Electroweak Physics. They are responsible for the restoration of unitarity al large energies. When, as is often the case, higher order corrections are only available for some particular subamplitude, interferences need to be carefully computed in order to obtain the best theoretical prediction. In the new proposal to estimate the total Higgs width from the off shell cross section, the interference between the Higgs signal and the background is essential. It has been recently pointed out in gluon fusion that whenever more than one neutral, CP even, scalars are present in the spectrum large cancellations can occur. We extend these studies to Vector Boson Scattering, examining interference effects in the Higgs sector in the Standard Model and its one Higgs Singlet extension.


title: A Spectral Clustering Approach to Lagrangian Vortex Detection

abstract: One of the ubiquitous features of real-life turbulent flows is the existence and persistence of coherent vortices. Here we show that such coherent vortices can be extracted as clusters of Lagrangian trajectories. We carry out the clustering on a weighted graph, with the weights measuring pairwise distances of fluid trajectories in the extended phase space of positions and time. We then extract coherent vortices from the graph using tools from spectral graph theory. Our method locates all coherent vortices in the flow simultaneously, thereby showing high potential for automated vortex tracking. We illustrate the performance of this technique by identifying coherent Lagrangian vortices in several two- and three-dimensional flows.


title: Spin current evolution in the separated spin-up and spin-down quantum hydrodynamics

abstract: We have developed the quantum hydrodynamic model that describes particles with spin-up and with spin-down in separate. We have derived the equation of the spin current evolution as a part of the set of the quantum hydrodynamics (QHD) equations that treat particles with different projection of spin on the preferable direction as two different species. We have studied orthogonal propagation of waves in the external magnetic field and determined the contribution of quantum corrections due to the Bohm potential and to magnetization energy of particles with different projections of spin in the spin current wave dispersion. We have analyzed the limits of weak and strong magnetic fields.


title: Hysteresis in the Sky

abstract: Hysteresis is a phenomenon occurring naturally in several magnetic and electric materials in condensed matter physics. When applied to cosmology, aka cosmological hysteresis, has interesting and vivid implications in the scenario of a cyclic bouncy universe. Most importantly, this physical prescription can be treated as an alternative proposal to inflationary paradigm. Cosmological hysteresis is caused by the asymmetry in the equation of state parameter during expansion and contraction phase of the universe, due to the presence of a single scalar field. This process is purely thermodynamical in nature, results in a non-vanishing hysteresis loop integral $(\oint pdV)$ in cosmology. When applied to variants of modified gravity models -1) Dvali-Gabadadze-Porrati (DGP) brane world gravity, 2) Cosmological constant dominated Einstein gravity, 3) Loop Quantum Gravity (LQG), 4) Einstien-Gauss-Bonnet brane world gravity and 5) Randall Sundrum single brane world gravity (RSII), under certain circumstances, this phenomenon leads to the increase in amplitude of the consecutive cycles and to a universe with older and larger successive cycles, provided we have physical mechanisms to make the universe bounce and turnaround. This inculcates an arrow of time in a dissipationless cosmology. Remarkably, this phenomenon appears to be widespread in several cosmological potentials in variants of modified gravity background, which we explicitly study for- i) Hilltop, ii) Natural and iii) Colemann-Weinberg potentials, in this paper. Semi-analytical analysis of these models, for different potentials with minimum/minima, show that the conditions which creates a universe with an ever increasing expansion, depend on the signature of the hysteresis loop integral $(\oint pdV)$ as well as on the variants of model parameters.


title: Equality Classes of Nim Positions under Mis\`ere Play

abstract: We determine the mis\`{e}re equivalence classes of Nim positions under two equivalence relations: one based on playing disjunctive sums with other impartial games, and one allowing sums with partizan games. In the impartial context, the only identifications we can make are those stemming from the known fact about adding a heap of size 1. In the partizan context, distinct Nim positions are inequivalent.


title: Normalized solutions for a system of coupled cubic Schr\"odinger equations on $\mathbb{R}^3$

abstract: We consider the system of coupled elliptic equations \[ \begin{cases} -\Delta u - \lambda_1 u = \mu_1 u^3+ \beta u v^2 \\ -\Delta v- \lambda_2 v = \mu_2 v^3 +\beta u^2 v \end{cases} \text{in $\mathbb{R}^3$}, \] and study the existence of positive solutions satisfying the additional condition \[ \int_{\mathbb{R}^3} u^2 = a_1^2 \quad \text{and} \quad \int_{\mathbb{R}^3} v^2 = a_2^2. \] Assuming that $a_1,a_2,\mu_1,\mu_2$ are positive fixed quantities, we prove existence results for different ranges of the coupling parameter $\beta>0$. The extension to systems with an arbitrary number of components is discussed, as well as the orbital stability of the corresponding standing waves for the related Schr\"odinger systems.


title: On Network Proximity in Web Applications

abstract: In this paper, we discuss one approach for development and deployment of web sites (web pages) devoted to the description of objects (events) with a precisely delineated geographic scope. This article describes the usage of context-aware programming models for web development. In our paper, we propose mechanisms to create mobile web applications which content links to some predefined geographic area. The accuracy of such a binding allows us to distinguish individual areas within the same indoor space. Target areas for such development are applications for Smart Cities and retail.


title: Visual Learning of Arithmetic Operations

abstract: A simple Neural Network model is presented for end-to-end visual learning of arithmetic operations from pictures of numbers. The input consists of two pictures, each showing a 7-digit number. The output, also a picture, displays the number showing the result of an arithmetic operation (e.g., addition or subtraction) on the two input numbers. The concepts of a number, or of an operator, are not explicitly introduced. This indicates that addition is a simple cognitive task, which can be learned visually using a very small number of neurons. Other operations, e.g., multiplication, were not learnable using this architecture. Some tasks were not learnable end-to-end (e.g., addition with Roman numerals), but were easily learnable once broken into two separate sub-tasks: a perceptual \textit{Character Recognition} and cognitive \textit{Arithmetic} sub-tasks. This indicates that while some tasks may be easily learnable end-to-end, other may need to be broken into sub-tasks.


title: Randomized Structural Sparsity based Support Identification with Applications to Locating Activated or Discriminative Brain Areas: A Multi-center Reproducibility Study

abstract: In this paper, we focus on how to locate the relevant or discriminative brain regions related with external stimulus or certain mental decease, which is also called support identification, based on the neuroimaging data. The main difficulty lies in the extremely high dimensional voxel space and relatively few training samples, easily resulting in an unstable brain region discovery (or called feature selection in context of pattern recognition). When the training samples are from different centers and have betweencenter variations, it will be even harder to obtain a reliable and consistent result. Corresponding, we revisit our recently proposed algorithm based on stability selection and structural sparsity. It is applied to the multi-center MRI data analysis for the first time. A consistent and stable result is achieved across different centers despite the between-center data variation while many other state-of-the-art methods such as two sample t-test fail. Moreover, we have empirically showed that the performance of this algorithm is robust and insensitive to several of its key parameters. In addition, the support identification results on both functional MRI and structural MRI are interpretable and can be the potential biomarkers.


title: Chirality of nanophotonic waveguide with embedded quantum emitter for unidirectional spin transfer

abstract: Scalable quantum technologies require faithful conversion between matter qubits storing the quantum information and photonic qubits carrying the information in integrated circuits and waveguides. We demonstrate that the electromagnetic field chirality which arises in nanophotonic waveguides leads to unidirectional emission from an embedded quantum dot quantum emitter, with resultant in-plane transfer of matter-qubit (spin) information. The chiral behavior occurs despite the non-chiral geometry and material of the waveguides. Using dot registration techniques we achieve a quantum emitter deterministically positioned at a chiral point and realize spin-path conversion by design. We measure and compare the phenomena in single mode nanobeam and photonic crystal waveguides. The former is much more tolerant to dot position, exhibits experimental spin-path readout as high as 95 +/- 5% and has potential to serve as the basis of future spin-logic and network implementations.


title: Computationally Efficient Bayesian Learning of Gaussian Process State Space Models

abstract: Gaussian processes allow for flexible specification of prior assumptions of unknown dynamics in state space models. We present a procedure for efficient Bayesian learning in Gaussian process state space models, where the representation is formed by projecting the problem onto a set of approximate eigenfunctions derived from the prior covariance structure. Learning under this family of models can be conducted using a carefully crafted particle MCMC algorithm. This scheme is computationally efficient and yet allows for a fully Bayesian treatment of the problem. Compared to conventional system identification tools or existing learning methods, we show competitive performance and reliable quantification of uncertainties in the model.


title: Recovering Residual Forensic Data from Smartphone Interactions with Cloud Storage Providers

abstract: There is a growing demand for cloud storage services such as Dropbox, Box, Syncplicity and SugarSync. These public cloud storage services can store gigabytes of corporate and personal data in remote data centres around the world, which can then be synchronized to multiple devices. This creates an environment which is potentially conducive to security incidents, data breaches and other malicious activities. The forensic investigation of public cloud environments presents a number of new challenges for the digital forensics community. However, it is anticipated that end-devices such as smartphones, will retain data from these cloud storage services. This research investigates how forensic tools that are currently available to practitioners can be used to provide a practical solution for the problems related to investigating cloud storage environments. The research contribution is threefold. First, the findings from this research support the idea that end-devices which have been used to access cloud storage services can be used to provide a partial view of the evidence stored in the cloud service. Second, the research provides a comparison of the number of files which can be recovered from different versions of cloud storage applications. In doing so, it also supports the idea that amalgamating the files recovered from more than one device can result in the recovery of a more complete dataset. Third, the chapter contributes to the documentation and evidentiary discussion of the artefacts created from specific cloud storage applications and different versions of these applications on iOS and Android smartphones.


title: On Crossing Changes for Surface-Knots

abstract: In this paper, we discuss the crossing change operation along exchangeable double curves of a surface-knot diagram. We show that under certain condition, a finite sequence of Roseman moves preserves the property of those exchangeable double curves. As an application for this result, we also define a numerical invariant for a set of surface-knots called $du$-exchangeable set.


title: Topological abstraction of higher-dimensional automata

abstract: Higher-dimensional automata constitute a very expressive model for concurrent systems. In this paper, we discuss "topological abstraction" of higher-dimensional automata, i.e., the replacement of HDAs by smaller ones that can be considered equivalent from both a computer scientific and a topological point of view. By definition, topological abstraction preserves the homotopy type, the trace category, and the homology graph of an HDA. We establish conditions under which cube collapses yield topological abstractions of HDAs.


title: Limits of Hodge structures in several variables, II

abstract: The aim of this article is to study degeneration of the variations of Hodge structure associated to a proper K\"ahler semistable morphism. We prove that the weight filtrations constructed in the author's previous paper coincide with the monodromy weight filtrations on the relative log de Rham cohomology groups of a proper K\"ahler semistable morphism. Moreover, we show that the limiting mixed Hodge structures form admissible variations of mixed Hodge structure.


title: Positive Energy Unitary Irreducible Representations of the Superalgebras $osp(1|2n,R)$ and Character Formulae

abstract: We continue the study of positive energy (lowest weight) unitary irreducible representations of the superalgebras $osp(1|2n,R)$. We update previous results and present the full list of these UIRs. We give also some character formulae for these representations.


title: A Unified Treatment of Predictive Model Comparison

abstract: The predictive performance of any inferential model is critical to its practical success, but quantifying predictive performance is a subtle statistical problem. In this paper I show how the natural structure of any inferential problem defines a canonical measure of relative predictive performance and then demonstrate how approximations of this measure yield many of the model comparison techniques popular in statistics and machine learning.


title: A branching network model for T cell dissemination in adaptive immune response

abstract: In this paper we consider a model based on branching process theory for the proliferation and the dissemination network of T cells in the adaptive immune response. A multi-type Galton Watson branching process is assumed as the basic proliferation mechanism, associated to the migration of T cells of the different generations from the draining lymph node to the spleen and other lymphoid organs. Time recursion equations for the mean values and the covariance matrices of the the cell population counts are derived in all the compartments of the network model. Moreover, a normal approximation of the log-likelihood function of the cell relative frequencies is derived, which allows one to obtain estimates of both the probability parameters of the branching process and the migration rates in the various compartments of the network.


title: Confounds and Consequences in Geotagged Twitter Data

abstract: Twitter is often used in quantitative studies that identify geographically-preferred topics, writing styles, and entities. These studies rely on either GPS coordinates attached to individual messages, or on the user-supplied location field in each profile. In this paper, we compare these data acquisition techniques and quantify the biases that they introduce; we also measure their effects on linguistic analysis and text-based geolocation. GPS-tagging and self-reported locations yield measurably different corpora, and these linguistic differences are partially attributable to differences in dataset composition by age and gender. Using a latent variable model to induce age and gender, we show how these demographic variables interact with geography to affect language use. We also show that the accuracy of text-based geolocation varies with population demographics, giving the best results for men above the age of 40.


title: Tools for predicting rainfall from lightning records: events identification and rain prediction using a Bayesian hierarchical model

abstract: We propose a new statistical protocol for the estimation of precipitation using lightning data. We first identify rainy events using a scan statistics, then we estimate Rainfall Lighting Ratio (RLR) to convert lightning number into rain volume given the storm intensity. Then we build a hierarchical Bayesian model aiming at the prediction of 15- and 30-minutes cumulated precipitation at unobserved locations and time using information on lightning in the same area. More specifically, we build a Bayesian hierarchical model in which precipitation is modeled as function of lightning count and space time variation is handled using specific structured (random) effects. The mean component of the model relates precipitation and lightning assuming that the number of lightning recorded on a regular grid depends on the number of lightning occurring in neighboring cells. We analyze several model formulations where storms propagation speed, spatial dependence and time variation incorporates different descriptions of the phenomena at hand. The space-time variation is assumed separable. The study area is located in Central Italy, where two storms, that differ for duration and intensity, are presented.


title: (Super-)renormalizably dressed black holes

abstract: Black holes supported by self-interacting conformal scalar fields can be considered as renormalizably dressed since the conformal potential is nothing but the top power-counting renormalizable self-interaction in the relevant dimension. On the other hand, potentials defined by powers which are lower than the conformal one are also phenomenologically relevant since they are in fact super-renormalizable. In this work we provide a new map that allows to build black holes dressed with all the (super-)renormalizable contributions starting from known conformal seeds. We explicitly construct several new examples of these solutions in dimensions $D=3$ and $D=4$, including not only stationary configurations but also time-dependent ones.


title: Optimal Ridge Detection using Coverage Risk

abstract: We introduce the concept of coverage risk as an error measure for density ridge estimation. The coverage risk generalizes the mean integrated square error to set estimation. We propose two risk estimators for the coverage risk and we show that we can select tuning parameters by minimizing the estimated risk. We study the rate of convergence for coverage risk and prove consistency of the risk estimators. We apply our method to three simulated datasets and to cosmology data. In all the examples, the proposed method successfully recover the underlying density structure.


title: Identifying single electron charge sensor events using wavelet edge detection

abstract: The operation of solid-state qubits often relies on single-shot readout using a nanoelectronic charge sensor, and the detection of events in a noisy sensor signal is crucial for high fidelity readout of such qubits. The most common detection scheme, comparing the signal to a threshold value, is accurate at low noise levels but is not robust to low-frequency noise and signal drift. We describe an alternative method for identifying charge sensor events using wavelet edge detection. The technique is convenient to use and we show that, with realistic signals and a single tunable parameter, wavelet detection can outperform thresholding and is significantly more tolerant to 1/f and low-frequency noise.


title: Stochastic Differential Equation for Brox Diffusion

abstract: This paper studies the weak and strong solutions to the stochastic differential equation $ dX(t)=-\frac12 \dot W(X(t))dt+d\mathcal{B}(t)$, where $(\mathcal{B}(t), t\ge 0)$ is a standard Brownian motion and $W(x)$ is a two sided Brownian motion, independent of $\mathcal{B}$. It is shown that the It\^o-McKean representation associated with any Brownian motion (independent of $W$) is a weak solution to the above equation. It is also shown that there exists a unique strong solution to the equation. It\^o calculus for the solution is developed. For dealing with the singularity of drift term $\int_0^T \dot W(X(t))dt$, the main idea is to use the concept of local time together with the polygonal approximation $W_\pi$. Some new results on the local time of Brownian motion needed in our proof are established.


title: Queueing Game For Spectrum Access in Cognitive Radio Networks

abstract: In this paper, we investigate the problem of spectrum access decision-making for the Secondary Users (SUs) in the cognitive radio networks. When the Primary Users (PUs) are absent on certain frequency bandwidth, SUs can formulate a queue and wait for the Base Station (BS) to serve. The queue of the SUs will be dismissed if the PU is emerging in the system. Leveraging the queueing game approaches, the decision-making process of the SUs that whether to queue or not is studied. Both individual equilibrium and social optimization strategies are derived analytically. Moreover, the optimal pricing strategy of the service provider is investigated as well. Our proposed algorithms and corresponding analysis are validated through simulation studies.


title: New structures in the proton-antiproton system

abstract: In the most recent measurements of the reaction $e^+e^- \rightarrow p\bar{p}$ by the BABAR collaboration, new structures have been found with unknown origin. We examine a possible relation of the most distinct peak to the recently observed $\Phi(2170)$. Alternatively, we analyse possible explanations due to the nucleon$\,\bar{\Delta}$ and $\Delta\bar{\Delta}$ thresholds. The latter could explain a periodicity found in the data.


title: Observation of Negative Magnetoresistance and nontrivial $\pi$ Berrys phase in 3D Weyl semi-metal NbAs

abstract: We report the electric transport properties of NbAs, which is a Weyl semimetal candidate proposed by recent theoretical calculations and confirmed by recent angle-resolved photoemission spectroscopy (ARPES) data. We detected the long-anticipated negative magneto-resistance generated by the chiral anomaly in NbAs. Clear Shubnikov de Haas (SdH) oscillations have been detected starting from very weak magnetic field. Analysis of the SdH peaks gives the Berry phase accumulated along the cyclotron orbits to be $\pi$, indicating the existence of Weyl points.


title: Steinhaus conditions for convex polyhedra

abstract: On a convex surface $S$, the antipodal map $F$ associates to a point $p$ the set of farthest points from $p$, with respect to the intrinsic metric. $S$ is called a Steinhaus surface if $F$ is a single-valued involution. We prove that any convex polyhedron has an open and dense set of points $p$ admitting a unique antipode $F_p$, which in turn admits a unique antipode $F_{F_p}$, distinct from $p$. In particular, no convex polyhedron is Steinhaus.


title: Fast Approximate Computations with Cauchy Matrices and Polynomials

abstract: Multipoint polynomial evaluation and interpolation are fundamental for modern symbolic and numerical computing. The known algorithms solve both problems over any field of constants in nearly linear arithmetic time, but the cost grows to quadratic for numerical solution. We fix this discrepancy: our new numerical algorithms run in nearly linear arithmetic time. At first we restate our goals as the multiplication of an n-by-n Vandermonde matrix by a vector and the solution of a Vandermonde linear system of n equations. Then we transform the matrix into a Cauchy structured matrix with some special features. By exploiting them, we approximate the matrix by a generalized hierarchically semiseparable matrix, which is a structured matrix of a different class. Finally we accelerate our solution to the original problems by applying Fast Multipole Method to the latter matrix. Our resulting numerical algorithms run in nearly optimal arithmetic time when they perform the above fundamental computations with polynomials, Vandermonde matrices, transposed Vandermonde matrices, and a large class of Cauchy and Cauchy-like matrices. Some of our techniques may be of independent interest.


title: Inferring average generation via division-linked labeling

abstract: For proliferating cells subject to both division and death, how can one estimate the average generation number of the living population without continuous observation or a division-diluting dye? In this paper we provide a method for cell systems such that at each division there is an unlikely, heritable one-way label change that has no impact other than to serve as a distinguishing marker. If the probability of label change per cell generation can be determined and the proportion of labeled cells at a given time point can be measured, we establish that the average generation number of living cells can be estimated. Crucially, the estimator does not depend on knowledge of the statistics of cell cycle, death rates or total cell numbers. We validate the estimator and illustrate its features through comparison with published data and physiologically parameterized stochastic simulations, using it to suggest new experimental designs.


title: Hawking radiation in the presence of high-momentum dissipation

abstract: We study the Hawking radiation in field theories which break Lorentz invariance via dissipative effects above a certain energy scale. We assume that the additional degrees of freedom which cause dissipation are Gaussian and freely falling. The asymptotic spectrum and the correlations are extracted from the anticommutator of the radiation field. The singular behavior of the Green function found for relativistic fields as one point crosses the horizon is completely suppressed by dissipation. Yet, when the dissipative frequency scale is much larger than the surface gravity of the black hole, we show that the asymptotic observables acquire their standard (relativistic) vacuum expectation values. We explicitly compute the effects of dissipation on the spectrum and on the nonseparable character of the correlations when varying the dissipative scale, the extension of the near-horizon geometry, and the temperature of the environment.


title: Robust and Tuneable Family of Gossiping Algorithms

abstract: We present a family of gossiping algorithms whose members share the same structure though they vary their performance in function of a combinatorial parameter. We show that such parameter may be considered as a "knob" controlling the amount of communication parallelism characterizing the algorithms. After this we introduce procedures to operate the knob and choose parameters matching the amount of communication channels currently provided by the available communication system(s). In so doing we provide a robust mechanism to tune the production of requests for communication after the current operational conditions of the consumers of such requests. This can be used to achieve high performance and programmatic avoidance of undesirable events such as message collisions.


title: On the Reliability of Profile Matching Across Large Online Social Networks

abstract: Matching the profiles of a user across multiple online social networks brings opportunities for new services and applications as well as new insights on user online behavior, yet it raises serious privacy concerns. Prior literature has proposed methods to match profiles and showed that it is possible to do it accurately, but using evaluations that focused on sampled datasets only. In this paper, we study the extent to which we can reliably match profiles in practice, across real-world social networks, by exploiting public attributes, i.e., information users publicly provide about themselves. Today's social networks have hundreds of millions of users, which brings completely new challenges as a reliable matching scheme must identify the correct matching profile out of the millions of possible profiles. We first define a set of properties for profile attributes--Availability, Consistency, non-Impersonability, and Discriminability (ACID)--that are both necessary and sufficient to determine the reliability of a matching scheme. Using these properties, we propose a method to evaluate the accuracy of matching schemes in real practical cases. Our results show that the accuracy in practice is significantly lower than the one reported in prior literature. When considering entire social networks, there is a non-negligible number of profiles that belong to different users but have similar attributes, which leads to many false matches. Our paper sheds light on the limits of matching profiles in the real world and illustrates the correct methodology to evaluate matching schemes in realistic scenarios.


title: Landau Levels in Strained Optical Lattices

abstract: We propose a hexagonal optical lattice system with spatial variations in the hopping matrix elements. Just like in the valley Hall effect in strained Graphene, for atoms near the Dirac points the variations in the hopping matrix elements can be described by a pseudo-magnetic field and result in the formation of Landau levels. We show that the pseudo-magnetic field leads to measurable experimental signatures in momentum resolved Bragg spectroscopy, Bloch oscillations, cyclotron motion, and quantization of in-situ densities. Our proposal can be realized by a slight modification of existing experiments. In contrast to previous methods, pseudo-magnetic fields are realized in a completely static system avoiding common heating effects and therefore opening the door to studying interaction effects in Landau levels with cold atoms.


title: Roots of bivariate polynomial systems via determinantal representations

abstract: We give two determinantal representations for a bivariate polynomial. They may be used to compute the zeros of a system of two of these polynomials via the eigenvalues of a two-parameter eigenvalue problem. The first determinantal representation is suitable for polynomials with scalar or matrix coefficients, and consists of matrices with asymptotic order $n^2/4$, where $n$ is the degree of the polynomial. The second representation is useful for scalar polynomials and has asymptotic order $n^2/6$. The resulting method to compute the roots of a system of two bivariate polynomials is competitive with some existing methods for polynomials up to degree 10, as well as for polynomials with a small number of terms.


title: The homogenisation of Maxwell's equations with applications to photonic crystals and localised waveforms on metafilms

abstract: An asymptotic theory is developed to generate equations that model the global behaviour of electromagnetic waves in periodic photonic structures when the wavelength is not necessarily long relative to the periodic cell dimensions; potentially highly-oscillatory short-scale detail is encapsulated through integrated quantities. The theory we develop is then applied to two topical examples, the first being the case of aligned dielectric cylinders, which has great importance in the modelling of photonic crystal fibres. We then consider the propagation of waves in a structured metafilm, here chosen to be a planar array of dielectric spheres. At certain frequencies strongly directional dynamic anisotropy is observed, and the asymptotic theory is shown to capture the effect, giving highly accurate qualitative and quantitative results as well as providing interpretation for the underlying change from elliptic to hyperbolic behaviour.


title: Higher order proton lifetime estimates in grand unified theories

abstract: Since the main experimentally testable prediction of grand unified theories is the instability of the proton, precise determination of the proton lifetime for each particular model is desirable. Unfortunately, the corresponding computation usually involves theoretical uncertainties coming e.g. from ignorance of the mass spectrum or from the Planck-suppressed higher-dimensional operators, which may result in errors in the proton lifetime estimates stretching up to several orders of magnitude. On the other hand, we present a model based on SO(10) gauge group which is subsequently broken by a scalar adjoint representation, where the leading Planck-suppressed operator is absent, hence the two-loop precision may be achieved.


title: Forgery-Resistant Touch-based Authentication on Mobile Devices

abstract: Mobile devices store a diverse set of private user data and have gradually become a hub to control users' other personal Internet-of-Things devices. Access control on mobile devices is therefore highly important. The widely accepted solution is to protect access by asking for a password. However, password authentication is tedious, e.g., a user needs to input a password every time she wants to use the device. Moreover, existing biometrics such as face, fingerprint, and touch behaviors are vulnerable to forgery attacks. We propose a new touch-based biometric authentication system that is passive and secure against forgery attacks. In our touch-based authentication, a user's touch behaviors are a function of some random "secret". The user can subconsciously know the secret while touching the device's screen. However, an attacker cannot know the secret at the time of attack, which makes it challenging to perform forgery attacks even if the attacker has already obtained the user's touch behaviors. We evaluate our touch-based authentication system by collecting data from 25 subjects. Results are promising: the random secrets do not influence user experience and, for targeted forgery attacks, our system achieves 0.18 smaller Equal Error Rates (EERs) than previous touch-based authentication.


title: Vector fields on $\Pi$-symmetric flag supermanifolds

abstract: The main result of this paper is the computation of the Lie superalgebras of holomorphic vector fields on the complex $\Pi$-symmetric flag supermanifolds, introduced by Yu.I.~Manin. We prove that with one exception any vector field is fundamental with respect to the natural action of the Lie superalgebra $\mathfrak q_n(\mathbb C)$.


title: Quantum-enabled temporal and spectral mode conversion of microwave signals

abstract: Electromagnetic waves are ideal candidates for transmitting information in a quantum network as they can be routed rapidly and efficiently between locations using optical fibers or microwave cables. Yet linking quantum-enabled devices with cables has proved difficult because most cavity or circuit quantum electrodynamics (cQED) systems used in quantum information processing can only absorb and emit signals with a specific frequency and temporal envelope. Here we show that the temporal and spectral content of microwave-frequency electromagnetic signals can be arbitrarily manipulated with a flexible aluminum drumhead embedded in a microwave circuit. The aluminum drumhead simultaneously forms a mechanical oscillator and a tunable capacitor. This device offers a way to build quantum microwave networks using separate and otherwise mismatched components. Furthermore, it will enable the preparation of non-classical states of motion by capturing non-classical microwave signals prepared by the most coherent circuit QED systems.


title: Strong Coupling on a Forbidden Transition in Strontium and Nondestructive Atom Counting

abstract: We observe strong collective coupling between an optical cavity and the forbidden spin singlet to triplet optical transition $^1$S$_0$ to $^3$P$_1$ in an ensemble of $^{88}$Sr. Despite the transition being 1000 times weaker than a typical dipole transition, we observe a well resolved vacuum Rabi splitting. We use the observed vacuum Rabi splitting to make non-destructive measurements of atomic population with the equivalent of projection-noise limited sensitivity and minimal heating ($<0.01$ photon recoils/atom). This technique may be used to enhance the performance of optical lattice clocks by generating entangled states and reducing dead time.


title: A generalization of Kingman's model of selection and mutation and the Lenski experiment

abstract: Kingman's model of selection and mutation studies the limit type value distribution in an asexual population of discrete generations and infinite size undergoing selection and mutation. This paper generalizes the model to analyse the long-term evolution of Escherichia. coli in Lenski experiment. Weak assumptions for fitness functions are proposed and the mutation mechanism is the same as in Kingman's model. General macroscopic epistasis are designable through fitness functions. Convergence to the unique limit type distribution is obtained.


title: Conjugacy classes of cyclically fully commutative elements in Coxeter groups of type A

abstract: In this thesis, we study the combinatorics of cyclically fully commutative elements in Coxeter groups of type $A$ as it relates to conjugacy. In particular, we introduce the notion of cylindrical heaps and ring equivalence in order to state our main result, which says that two cyclically fully commutative elements of a Coxeter group of type $A$ are conjugate if and only if their corresponding cylindrical heaps are ring equivalent.


title: Soap bubble hadronic states in a QCD-motivated Nambu-Jona-Lasinio model

abstract: Inhomogeneous solutions of the gap equation in the mean field approach to Nambu-Jona-Lasinio model are studied. An approximate Ginzburg-Landau-like gap equation is obtained and the domain wall solution is found. Binding of fermions to the domain wall is demonstrated. Compact domain wall with bound fermions is studied and stabilisation by fermion pressure is demonstrated which opens a possibility for existence of "soap bubble" hadronic states.


title: Search for diphoton resonances in the mass range from 150 to 850 GeV in pp collisions at sqrt(s) = 8 TeV

abstract: Results are presented of a search for heavy particles decaying into two photons. The analysis is based on a 19.7 inverse femtobarn sample of proton-proton collisions at sqrt(s) = 8 TeV collected with the CMS detector at the CERN LHC. The diphoton mass spectrum from 150 to 850 GeV is used to search for an excess of events over the background. The search is extended to new resonances with natural widths of up to 10% of the mass value. No evidence for new particle production is observed and limits at 95% confidence level on the production cross section times branching fraction to diphotons are determined. These limits are interpreted in terms of two-Higgs-doublet model parameters.


title: Characterization of the silicon+6LiF thermal neutron detection technique

abstract: The worldwide need to replace 3He for the neutron detection has triggered R&D on new technologies and methods. A promising one is based on commercial solid state silicon detectors coupled with thin neutron converter layers containing 6Li. After proving the feasibility of this technique, we characterized the behavior of such a detector with different converter layer thicknesses. In this paper we also disentangle other contributions to the overall spectrum shape observed with this kind of detector, proving that its detection efficiency can be made reasonably high and that the gamma/neutron discrimination capability is comparable to the one of 3He tubes.


title: Experimental observation of the interaction of propagating spin waves with N\'eel domain walls in a Landau domain structure

abstract: The interaction of propagating dipolar spin waves with magnetic domain walls is investigated in square-shaped microstructures patterned from the Heusler compound Co$_2$Mn$_{0.6}$Fe$_{0.4}$Si. Using magnetic force microscopy, the reversible preparation of a Landau state with four magnetic domains separated by N\'eel domain walls is confirmed. A local spin-wave excitation using a microstructured antenna is realized in one of the domains. It is shown by Brillouin light scattering microscopy (BLS) that the domain structure in the remanence state has a strong influence on the spin-wave excitation and propagation. The domain walls strongly reflect the spin waves and can be used as spin-wave reflectors. A comparison with micromagnetic simulations shows that the strong reflection is due to the long-range dipolar interaction which has important implications for the use of these spin waves for exerting an all-magnonic spin-transfer torque.


title: Cohering and de-cohering power of quantum channels

abstract: We introduce the concepts of cohering and de-cohering power of quantum channels. Using the axiomatic definition of coherence measure, we show that the optimizations required for calculations of these measures can be restricted to pure input states and hence greatly simplified. We then use two examples of this measure, one based on the skew information and the other based on $l-1$ norm, we find the cohering and de-cohering measures of a number of one, two and n-qubit channels. Contrary to a view at first sight, it is seen that quantum channels can have cohering power. It is also shown that a specific property of a qubit unitary map, is that it has equal cohering and de-cohering power in any basis. Finally we derive simple relations between cohering and de-cohering powers of unitary qubit gates and their tensor products, results which have physically interesting implications.


title: Silicon detectors for the n-TOF neutron beams monitoring

abstract: During 2014 the second experimental area EAR2 was completed at the n-TOF neutron beam facility at CERN. As the neutrons are produced via spallation, by means of a high-intensity 20 GeV pulsed proton beam impinging on a thick target, the resulting neutron beam covers an enormous energy range, from thermal to several GeV. In this paper we describe two beam diagnostic devices, designed and built at INFN-LNS, both exploiting silicon detectors coupled with neutron converter foils containing 6Li. The first one is based on four silicon pads and allows to monitor the neutron beam flux as a function of the neutron energy. The second one, based on position sensitive silicon detectors, is intended for the reconstruction of the beam profile, again as a function of the neutron energy. Several electronic setups have been explored in order to overcome the issues related to the gamma flash, namely a huge pulse present at the start of each neutron bunch which may blind the detectors for some time. The two devices have been characterized with radioactive sources at INFN-LNS and then tested at n-TOF. The wide energy and intensity range they proved capable of sustaining, made them quite attractive and suitable to be used in both EAR1 and EAR2 n-TOF experimental areas, where they became immediately operational.


title: SQUINKY! A Corpus of Sentence-level Formality, Informativeness, and Implicature

abstract: We introduce a corpus of 7,032 sentences rated by human annotators for formality, informativeness, and implicature on a 1-7 scale. The corpus was annotated using Amazon Mechanical Turk. Reliability in the obtained judgments was examined by comparing mean ratings across two MTurk experiments, and correlation with pilot annotations (on sentence formality) conducted in a more controlled setting. Despite the subjectivity and inherent difficulty of the annotation task, correlations between mean ratings were quite encouraging, especially on formality and informativeness. We further explored correlation between the three linguistic variables, genre-wise variation of ratings and correlations within genres, compatibility with automatic stylistic scoring, and sentential make-up of a document in terms of style. To date, our corpus is the largest sentence-level annotated corpus released for formality, informativeness, and implicature.


title: Study of TeV shell supernova remnants at gamma-ray energies

abstract: The breakthrough developments of Cherenkov telescopes in the last decade have led to angular resolution of 0.1{\deg} and an unprecedented sensitivity. This has allowed the current generation of Cherenkov telescopes to discover a population of supernova remnants (SNRs) radiating in very-high-energy (VHE, E>100 GeV) gamma-rays. A number of those VHE SNRs exhibit a shell-type morphology spatially coincident with the shock front of the SNR. The members of this VHE shell SNR club are RX J1713.7-3946, Vela Jr, RCW 86, SN 1006, and HESS J1731-347. The latter two objects have been poorly studied in high-energy (HE, 0.1<E<100 GeV) gamma-rays and need to be investigated in order to draw the global picture of this class of SNRs and constrain the characteristics of the underlying population of accelerated particles. Using 6 years of Fermi P7 reprocessed data, we studied the HE counterpart of the SNRs HESS J1731-347 and SN 1006. The two SNRs are not detected in the data and given that there is no hint of detection, we do not expect any detection in the coming years from the SNRs. However in both cases, we derived upper limits that significantly constrain the gamma-ray emission mechanism and can rule out a standard hadronic scenario with a confidence level > 5 sigma. With this Fermi analysis, we now have a complete view of the HE to VHE gamma-ray emission of TeV shell SNRs. All five sources have a hard HE photon index (<1.8) suggesting a common scenario where the bulk of the emission is produced by accelerated electrons radiating from radio to VHE gamma-rays through synchrotron and inverse Compton processes. In addition when correcting for the distance, all SNRs show a surprisingly similar gamma-ray luminosity supporting the idea of a common emission mechanism. While the gamma-ray emission is likely to be leptonic dominated, this does not rule out efficient hadron acceleration in those SNRs.


title: The classification of simple separable unital locally ASH algebras

abstract: Let $A$ be a simple separable unital locally approximately subhomogeneous C*-algebra (locally ASH algebra). It is shown that $A\otimes Q$ can be tracially approximated by unital Elliott-Thomsen algebras with trivial $\textrm{K}_1$-group, where $Q$ is the universal UHF algebra. In particular, it follows that $A$ is classifiable by the Elliott invariant if $A$ is Jiang-Su stable.


title: Deformations of non semisimple Poisson pencils of hydrodynamic type

abstract: We study deformations of two-component non semisimple Poisson pencils of hydrodynamic type associated with Balinski\v{\i}-Novikov algebras. We show that in most cases the second order deformations are parametrized by two functions of a single variable. It turns out that one function is invariant with respect to the subgroup of Miura transformations preserving the dispersionless limit and another function is related to a one-parameter family of truncated structures. In two expectional cases the second order deformations are parametrized by four functions. Among them two are invariants and two are related to a two-parameter family of truncated structures. We also study the lift of deformations of n-component semisimple structures. This example suggests that deformations of non semisimple pencils corresponding to the lifted invariant parameters are unobstructed.


title: Rational discrete first degree cohomology for totally disconnected locally compact groups

abstract: It is well-known that the existence of more than two ends in the sense of J.R. Stallings for a finitely generated discrete group $G$ can be detected on the cohomology group $\mathrm{H}^1(G,R[G])$, where $R$ is either a finite field, the ring of integers or the field of rational numbers. It will be shown (cf. Theorem A*) that for a compactly generated totally disconnected locally compact group $G$ the same information about the number of ends of $G$ in the sense of H. Abels can be provided by $\mathrm{dH}^1(G,\mathrm{Bi}(G))$, where $\mathrm{Bi}(G)$ is the rational discrete standard bimodule of $G$, and $\mathrm{dH}^\bullet(G,\_)$ denotes rational discrete cohomology as introduced in [6]. As a consequence one has that the class of fundamental groups of a finite graph of profinite groups coincides with the class of compactly presented totally disconnected locally compact groups of rational discrete cohomological dimension at most 1 (cf. Theorem B).


title: StegBlocks: ensuring perfect undetectability of network steganography

abstract: The paper presents StegBlocks, which defines a new concept for performing undetectable hidden communication. StegBlocks is a general approach for constructing methods of network steganography. In StegBlocks, one has to determine objects with defined properties which will be used to transfer hidden messages. The objects are dependent on a specific network protocol (or application) used as a carrier for a given network steganography method. Moreover, the paper presents the approach to perfect undetectability of network steganography, which was developed based on the rules of undetectability for general steganography. The approach to undetectability of network steganography was used to show the possibility of developing perfectly undetectable network steganography methods using the StegBlocks concept.


title: A Framework for Constrained and Adaptive Behavior-Based Agents

abstract: Behavior Trees are commonly used to model agents for robotics and games, where constrained behaviors must be designed by human experts in order to guarantee that these agents will execute a specific chain of actions given a specific set of perceptions. In such application areas, learning is a desirable feature to provide agents with the ability to adapt and improve interactions with humans and environment, but often discarded due to its unreliability. In this paper, we propose a framework that uses Reinforcement Learning nodes as part of Behavior Trees to address the problem of adding learning capabilities in constrained agents. We show how this framework relates to Options in Hierarchical Reinforcement Learning, ensuring convergence of nested learning nodes, and we empirically show that the learning nodes do not affect the execution of other nodes in the tree.


title: Kink excitation spectra in the (1+1)-dimensional $\varphi^8$ model

abstract: We study excitation spectra of BPS-saturated topological solutions -- the kinks -- of the $\varphi^8$ scalar field model in $(1+1)$ dimensions, for three different choices of the model parameters. We demonstrate that some of these kinks have a vibrational mode, apart from the trivial zero (translational) excitation. One of the considered kinks is shown to have three vibrational modes. We perform a numerical calculation of the kink-kink scattering in one of the considered variants of the $\varphi^8$ model, and find the critical collision velocity $v_{\scriptsize \mbox{cr}}$ that separates the different collision regimes: inelastic bounce of the kinks at $v_{\scriptsize \mbox{in}}\ge v_{\scriptsize \mbox{cr}}$, and capture at $v_{\scriptsize \mbox{in}}<v_{\scriptsize \mbox{cr}}$. We also observe escape windows at some values of $v_{\scriptsize \mbox{in}}<v_{\scriptsize \mbox{cr}}$ where the kinks escape to infinity after bouncing off each other two or more times. We analyse the features of these windows and discuss their relation to the resonant energy exchange between the translational and the vibrational excitations of the colliding kinks.

categories: hep-th cond-mat.mtrl-sci math-ph math.MP nlin.PS


title: Constraint on Neutrino Decay with Medium-Baseline Reactor Neutrino Oscillation Experiments

abstract: The experimental bound on lifetime of nu_3, the neutrino mass eigenstate with the smallest nu_e component, is much weaker than those of nu_1 and nu_2 by many orders of magnitude to which the astrophysical constraints apply. We argue that the future reactor neutrino oscillation experiments with medium-baseline (~ 50 km), such as JUNO or RENO-50, has the best chance of placing the most stringent constraint on nu_3 lifetime among all neutrino experiments which utilize the artificial source neutrinos. Assuming decay into invisible states, we show by a detailed chi^2 analysis that the nu_3 lifetime divided by its mass, tau_3/m_3, can be constrained to be tau_3/m_3 > 7.5 (5.5) x 10^{-11} s/eV at 95% (99%) C.L. by 100 kt.years exposure by JUNO. It may be further improved to the level comparable to the atmospheric neutrino bound by its longer run. We also discuss to what extent nu_3 decay affects mass-ordering determination and precision measurements of the mixing parameters.


title: Scaling of the 1-halo terms with bias

abstract: In the Halo Model, galaxies are hosted by dark matter halos, while the halos themselves are biased tracers of the underlying matter distribution. Measurements of galaxy correlation functions include contributions both from galaxies in different halos, and from galaxies in the same halo (the so-called 1-halo terms). We show that, for highly biased tracers, the 1-halo term of the power spectrum obeys a steep scaling relation in terms of bias. We also show that the 1-halo term of the trispectrum has a steep scaling with bias. The steepness of these scaling relations is such that the 1-halo terms can become key contributions to the $n$-point correlation functions, even at large scales. We interpret these results through analytical arguments and semi-analytical calculations in terms of the statistical properties of halos.


title: The auto-Igusa zeta function of a plane curve singularity is rational

abstract: It is shown that the auto Igusa zeta function of the germ of a plane curve singularity is rational. This gives a new criterion for a plane curve over an algebraically closed field of characteristic zero to be smooth at a point.


title: A canonical dimension estimate for non-split semisimple p-adic Lie groups

abstract: We prove that the canonical dimension of an admissible Banach space or a locally analytic representation of an arbitrary semisimple p-adic Lie group is either zero or at least half the dimension of a non-zero coadjoint orbit. This extends the results of Ardakov-Wadsley and Schmidt in the split semisimple case.


title: Sparse polynomial surrogates for aerodynamic computations with random inputs

abstract: This paper deals with some of the methodologies used to construct polynomial surrogate models based on generalized polynomial chaos (gPC) expansions for applications to uncertainty quantification (UQ) in aerodynamic computations. A core ingredient in gPC expansions is the choice of a dedicated sampling strategy, so as to define the most significant scenarios to be considered for the construction of such metamodels. A desirable feature of the proposed rules shall be their ability to handle several random inputs simultaneously. Methods to identify the relative "importance" of those variables or uncertain data shall be ideally considered as well. The present work is more particularly dedicated to the development of sampling strategies based on sparsity principles. Sparse multi-dimensional cubature rules based on general one-dimensional Gauss-Jacobi-type quadratures are first addressed. These sets are non nested, but they are well adapted to the probability density functions with compact support for the random inputs considered in this study. On the other hand, observing that the aerodynamic quantities of interest (outputs) depend only weakly on the cross-interactions between the variable inputs, it is argued that only low-order polynomials shall significantly contribute to their surrogates. This "sparsity-of-effects" trend prompts the use of reconstruction techniques benefiting from the sparsity of the outputs, such as compressed sensing (CS). CS relies on the observation that one only needs a number of samples proportional to the compressed size of the outputs, rather than their uncompressed size, to construct reliable surrogate models. The results obtained with the test case considered in this work corroborate this expected feature.