title: Branching ratios, $CP$ asymmetries and polarizations of $B\rightarrow \psi(2S) V$ decays

abstract: We analyzed the nonleptonic decays $B/B_s\to \psi(2S) V $ with $V=(\rho, \omega, K^{*}, \phi)$ by employing the perturbative QCD (PQCD) factorization approach. Here the branching ratios, the $CP$ asymmetries and the complete set of polarization observables are investigated systematically. Besides the traditional contributions from the factorizable and nonfactorizable diagrams at the leading order, the next-to-leading order (NLO) vertex corrections could also provide considerable contributions. The PQCD predictions for the branching ratios of the $B_{(s)}\to \psi(2S)K^{*}, \psi(2S) \phi$ decays are consistent with the measured values within errors. As for $B\to \psi(2S) \rho, \psi(2S) \omega$ decays, the branching ratios can reach the order of $10^{-5}$ and could be measured in the LHCb and Belle-II experiments. The numerical results show that the direct $CP$ asymmetries of the considered decays are very small. Thus the observation of any large direct $CP$ asymmetry for these decays will be a signal for new physics. The mixing induced $CP$ asymmetries in the neutral modes are very close to $\sin 2\beta_{(s)}$, which suggests that these channels can give a cross-check on the measurement of the Cabbibo-Kobayashi-Maskawa (CKM) angle $\beta$ and $\beta_s$. We found that the longitudinal polarization fractions $f_0$ are suppressed to $\sim 50\%$ due to the large nonfactorizable contributions. The magnitudes and phases of the two transverse amplitudes $\mathcal {A}_{\parallel}$ and $\mathcal {A}_{\perp}$ are roughly equal, which is an indication for the approximate light quark helicity conservation in these decays. The overall polarization observables of $B\to \psi(2S) K^{*0}$ and $B_s\to \psi(2S) \phi$ channels are also in good agreement with the experimental measurements as reported by LHCb and BaBar. Other results can also be tested by the LHCb and Belle-II experiments.


title: Model-free Load Control for High Penetration of Solar Photovoltaic Generation

abstract: This paper presents a new model-free control (MFC) mechanism that enables the local distribution level circuit consumption of the photovoltaic (PV) generation by local building loads, in particular, distributed heating, ventilation and air conditioning (HVAC) units. The local consumption of PV generation will help minimize the impact of PV generation on the distribution grid, reduce the required battery storage capacity for PV penetration, and increase solar PV generation penetration levels. The proposed MFC approach with its corresponding intelligent controllers does not require any precise model for buildings, where a reliable modeling is a demanding task. Even when assuming the availability of a good model, the various building architectures would compromise the performance objectives of any model-based control strategy. The objective is to consume most of the PV generation locally while maintaining occupants comfort and physical constraints of HVAC units. That is, by enabling proper scheduling of responsive loads temporally and spatially to minimize the difference between demand and PV production, it would be possible to reduce voltage variations and two-way power flow. Computer simulations show promising results where a significant proportion of the PV generation can be consumed by building HVAC units with the help of intelligent control.


title: How Cassini Can Constrain Tidal Dissipation in Saturn

abstract: Tidal dissipation inside giant planets is important for the orbital evolution of their natural satellites. It is conventionally treated by parameterized equilibrium tidal theory, in which the tidal torque declines rapidly with distance, and orbital expansion was faster in the past. However, Lainey et al. (2017) find that some Saturnian satellites are currently migrating outward faster than predicted by equilibrium tidal theory. Resonance locking between satellites and internal oscillations of Saturn, proposed by Fuller et al. (2016), naturally matches the observed migration rates. Here, we show that the resonance locking theory predicts dynamical tidal perturbations to Saturn's gravitational field in addition to those produced by equilibrium tidal bulges. We show that these perturbations can likely be detected during Cassini's proximal orbits if migration of satellites results from resonant gravity modes, but will likely be undetectable if migration results from inertial wave attractors or dissipation of the equilibrium tide. Additionally, we show that the detection of gravity modes would place constraints on the size of the hypothetical stably stratified region in Saturn.


title: A Composite-Metric Based Path Selection Technique for the Tor Anonymity Network

abstract: The Tor anonymous network has become quite popular with regular users on the Internet. In the Tor network, an anonymous path is created by selecting three relays through which the connection is redirected. Nevertheless, as the number of Tor users has increased substantially in recent years, the algorithm with which the relays are selected affects the performance provided by the Tor network. More importantly as the performance suffers, users will leave the network, resulting in a lower anonymity set and in turn lower security provided by Tor network. In this paper, we proposed an algorithm for improving performance and security of the Tor network, by employing a combination of different metrics in the process of the path selection between the source and destination node. These metrics are bandwidth and uptime of relays as node conditions and delays between the relays as a path condition. Through a number of experiments we show that we could double the performance observed by end users when using the proposed technique as opposed to the current Tor path selection algorithm. More importantly, the proposed technique only requires a software upgrade on the client side, and other Tor nodes do not need to be modified.


title: Structure of Optimal State Discrimination in Generalized Probabilistic Theories

abstract: We consider optimal state discrimination in a general convex operational framework, so-called generalized probabilistic theories (GPTs), and present a general method of optimal discrimination by applying the complementarity problem from convex optimization. The method exploits the convex geometry of states but not other detailed conditions or relations of states and effects. We also show that properties in optimal quantum state discrimination are shared in GPTs in general: i) no measurement sometimes gives optimal discrimination, and ii) optimal measurement is not unique.


title: One-Shot Coherence Dilution

abstract: Manipulation and quantification of quantum resources are fundamental problems in quantum physics. In the asymptotic limit, coherence distillation and dilution have been proposed by manipulating infinite identical copies of states. In the non-asymptotic setting, finite data-size effects emerge, and the practically relevant problem of coherence manipulation using finite resources has been left open. This letter establishes the one-shot theory of coherence dilution, which involves converting maximally coherent states into an arbitrary quantum state using maximally incoherent operations, dephasing-covariant incoherent operations, incoherent operations, or strictly incoherent operations. We introduce several coherence monotones with concrete operational interpretations that estimate the one-shot coherence cost --- the minimum amount of maximally coherent states needed for faithful coherence dilution. Furthermore, we derive the asymptotic coherence dilution results with maximally incoherent operations, incoherent operations, and strictly incoherent operations as special cases. Our result can be applied in the analyses of quantum information processing tasks that exploit coherence as resources, such as quantum key distribution and random number generation.


title: Estimating the production rates of D-wave charmed mesons via the semileptonic decays of bottom mesons

abstract: In this work, using the covariant light front approach with conventional vertex functions, we estimate the production rates of $D$-wave charmed/charmed-strange mesons via $B_{(s)}$ semileptonic decays. Due to these calculated considerable production rates, it is possible to experimentally search for $D$-wave charmed/charmed-strange mesons via the semileptonic decays, which may provide extra approach to explore $D$-wave charmed/charmed-strange mesons.


title: Some results on optimal stopping problems for one-dimensional regular diffusions

abstract: For a type of employee stock option (ESO) and an American put option with a barrier, we obtain closed-form formulae for the value functions and provide a complete characterization for optimal stopping/continuation regions. Some comparison principles for the critical levels and the value functions are given. This work is inspired by the characterization of the value functions for general one-dimensional regular diffusion processes developed in \cite{DK03} by Dayanik and Karatzas.


title: Realization of intrinsically broken Dirac cones in graphene via the momentum-resolved electronic band structure

abstract: A way to represent the band structure that distinguishes between energy-momentum and energy-crystal momentum relationships is proposed upon the band-unfolding concept. This momentum-resolved band structure offers better understanding of the physical processes requiring the information of wave functions in momentum space and provides a good description of angle-resolved photoelectron spectroscopy (ARPES) spectra together with a still informative band structure. Following this approach, we demonstrate that Dirac cones in graphene are intrinsically broken in momentum space and can be described by a conceptual unit cell smaller than the primitive unit cell. This hidden degree of freedom can be measured by ARPES experiments as missing weight that is retrievable by probing the chirality and Berry phases by linearly and circularly polarized light. Having the energy-momentum relationship, we provide alternative understanding of the retrieved momentum intensity, that is, the retrieved momentum intensity is assisted with the properties of final states, not from the Dirac cones directly. The revealed broken Dirac cones and momenta supplied by the lattice give interesting ingredients for designing advanced nanodevices.


title: Contact graphs of ball packings

abstract: A contact graph of a packing of closed balls is a graph with balls as vertices and pairs of tangent balls as edges. We prove that the average degree of the contact graph of a packing of balls (with possibly different radii) in $\mathbb{R}^3$ is not greater than $13.92$. We also find new upper bounds for the average degree of contact graphs in $\mathbb{R}^4$ and $\mathbb{R}^5$.


title: Some Properties of Accretive Operators in Linear 2-Normed Spaces

abstract: In this paper we discuss some properties of resolvents of an accretive operator in linear 2-normed spaces, focusing on the concept of contraction mapping and the unique fixed point of contraction mappings in linear 2- normed spaces. Also, we establish the existence of solution of strong accretive operator equation in linear 2-normed spaces.


title: Dissipative dark matter halos: The steady state solution

abstract: Dissipative dark matter, where dark matter particle properties closely resemble familiar baryonic matter, is considered. Mirror dark matter, which arises from an isomorphic hidden sector, is a specific and theoretically constrained scenario. Other possibilities include models with more generic hidden sectors that contain massless dark photons (unbroken $U(1)$ gauge interactions). Such dark matter not only features dissipative cooling processes, but is also assumed to have nontrivial heating sourced by ordinary supernovae (facilitated by the kinetic mixing interaction). The dynamics of dissipative dark matter halos around rotationally supported galaxies, influenced by heating as well as cooling processes, can be modelled by fluid equations. For a sufficiently isolated galaxy with stable star formation rate, the dissipative dark matter halos are expected to evolve to a steady state configuration which is in hydrostatic equilibrium and where heating and cooling rates locally balance. Here, we take into account the major cooling and heating processes, and numerically solve for the steady state solution under the assumptions of spherical symmetry, negligible dark magnetic fields, and that supernova sourced energy is transported to the halo via dark radiation. For the parameters considered, and assumptions made, we were unable to find a physically realistic solution for the constrained case of mirror dark matter halos. Halo cooling generally exceeds heating at realistic halo mass densities. This problem can be rectified in more generic dissipative dark matter models, and we discuss a specific example in some detail.


title: On the convergence to critical scaling profiles in submonolayer deposition models

abstract: In this work we study the rate of convergence to similarity profiles in a mean field model for the deposition of a submonolayer of atoms in a crystal facet, when there is a critical minimal size $n\geq 2$ for the stability of the formed clusters. The work complements recently published related results by the same authors in which the rate of convergence was studied outside of a critical direction $x=\tau$ in the cluster size $x$ vs. time $\tau$ plane. In this paper we consider a different similarity variable, $\xi := (x-\tau)/\sqrt{\tau}$, corresponding to an inner expansion of that critical direction, and prove the convergence of solutions to a similarity profile $\Phi_{2,n}(\xi)$ when $x, \tau\to +\infty$ with $\xi$ fixed, as well as the rate at which the limit is approached.


title: Deep CNN Framework for Audio Event Recognition using Weakly Labeled Web Data

abstract: The development of audio event recognition systems require labeled training data, which are generally hard to obtain. One promising source of recordings of audio events is the large amount of multimedia data on the web. In particular, if the audio content analysis must itself be performed on web audio, it is important to train the recognizers themselves from such data. Training from these web data, however, poses several challenges, the most important being the availability of labels: labels, if any, that may be obtained for the data are generally weak, and not of the kind conventionally required for training detectors or classifiers. We propose that learning algorithms that can exploit weak labels offer an effective method to learn from web data. We then propose a robust and efficient deep convolutional neural network (CNN) based framework to learn audio event recognizers from weakly labeled data. The proposed method can train from and analyze recordings of variable length in an efficient manner and outperforms a network trained with strongly labeled web data by a considerable margin. Moreover, even though we learn from weakly labeled data, where event time stamps within the recording are not available during training, our proposed framework is able to localize events during the inference stage.


title: Sampling of the Wiener Process for Remote Estimation over a Channel with Random Delay

abstract: In this paper, we consider a problem of sampling a Wiener process, with samples forwarded to a remote estimator over a channel that is modeled as a queue. The estimator reconstructs an estimate of the real-time signal value from causally received samples. We study the optimal online sampling strategy that minimizes the mean square estimation error subject to a sampling rate constraint. We prove that the optimal sampling strategy is a threshold policy, and find the optimal threshold. This threshold is determined by how much the Wiener process varies during the random service time and the maximum allowed sampling rate. Further, if the sampling times are independent of the observed Wiener process, the above sampling problem for minimizing the estimation error is equivalent to a sampling problem for minimizing the age of information. This reveals an interesting connection between the age of information and remote estimation error. Our comparisons show that the estimation error achieved by the optimal sampling policy can be much smaller than those of age-optimal sampling, zero-wait sampling, and periodic sampling.


title: On mountain pass theorem and its application to periodic solutions of some nonlinear discrete systems

abstract: We obtain a new quantitative deformation lemma, and then gain a new mountain pass theorem. More precisely, the new mountain pass theorem is independent of the functional value on the boundary of the mountain, which improves the well known results (\cite{AR,PS1,PS2,Qi,Wil}). Moreover, by our new mountain pass theorem, new existence of nontrivial periodic solutions for some nonlinear second-order discrete systems is obtained, which greatly improves the result in \cite{Z04}.


title: Exploiting Active Subspaces in Global Optimization: How Complex is your Problem?

abstract: When applying optimization method to a real-world problem, the possession of prior knowledge and preliminary analysis on the landscape of a global optimization problem can give us an insight into the complexity of the problem. This knowledge can better inform us in deciding what optimization method should be used to tackle the problem. However, this analysis becomes problematic when the dimensionality of the problem is high. This paper presents a framework to take a deeper look at the global optimization problem to be tackled: by analyzing the low-dimensional representation of the problem through discovering the active subspaces of the given problem. The virtue of this is that the problem's complexity can be visualized in a one or two-dimensional plot, thus allow one to get a better grip about the problem's difficulty. One could then have a better idea regarding the complexity of their problem to determine the choice of global optimizer or what surrogate-model type to be used. Furthermore, we also demonstrate how the active subspaces can be used to perform design exploration and analysis.


title: On the centers of cyclotomic quiver Hecke algebras

abstract: Let $n\in\mathbb{N}$ and $K$ be any field. For any symmetric generalized Cartan matrix $A$, any $\beta$ in the positive root lattice with height $n$ and any integral dominant weight $\Lambda$, one can associate a quiver Hecke algebras $R_{\beta}(K)$ and its cyclotomic quotient $R_{\beta}^{\Lambda}(K)$ over $K$. It has been conjectured that the natural map from $R_{\beta}(K)$ to $R_{\beta}^{\Lambda}(K)$ maps the center of $R_{\beta}(K)$ surjectively onto the center of $R_{\beta}^{\Lambda}(K)$. A similar conjecture claims that the center of the affine Hecke algebra of type $A$ maps surjectively onto the center of its cyclotomic quotient---the cyclotomic Hecke algebra $H_n^{\Lambda}$ of type $G(\ell,1,n)$ over $K$. In this paper, we prove these two conjectures affirmatively. As a consequence, we show that the center of $H_n^{\Lambda}$ is stable under base change and it has dimension equal to the number of $\ell$-partitions of $n$. Finally, as a byproduct, we also verify a conjecture of Shan, Varagnolo and Vasserot on the grading structure of the center of $R_{\beta}^{\Lambda}(K)$.


title: Sharp gradient estimates for quasilinear elliptic equations with $p(x)$ growth on nonsmooth domains

abstract: In this paper, we study quasilinear elliptic equations with the nonlinearity modelled after the $p(x)$-Laplacian on nonsmooth domains and obtain sharp Calder\'on-Zygmund type estimates in the variable exponent setting. In a recent work of \cite{BO}, the estimates obtained were strictly above the natural exponent and hence there was a gap between the natural energy estimates and estimates above $p(x)$, see \eqref{energy_introduction} and \eqref{byun_ok_estimate}. Here, we bridge this gap to obtain the end point case of the estimates obtained in \cite{BO}, see \eqref{our_estimate}. In order to do this, we have to obtain significantly improved a priori estimates below $p(x)$, which is the main contribution of this paper. We also improve upon the previous results by obtaining the estimates for a larger class of domains than what was considered in the literature.


title: Analysis of excited quark propagator effects on neutron charge form factor

abstract: The charge form factor and charge radius of neutron are investigated in the perturbative chiral quark model (PCQM) with considering both the ground and excited states in the quark propagator. A Cornell-like potential is extracted in accordance with the predetermined ground state quark wavefunction, and the excited quark states are derived by solving the Dirac equation with the extracted PCQM potential numerically. The study reveals that the contributions of the excited quark states are considerably influential in the charge form factor and charge radius of neutron as expected, and the total results are significantly improved and increased by nearly four times by including the excited states in the quark propagator. The theoretical PCQM results are found, including the ground and excited quark propagators, in good agreement with the recent lattice QCD values at pion mass of about 130 MeV.


title: Entanglement and asymmetric steering over two octaves of frequency difference with cascaded harmonic generation

abstract: We analyse a nonlinear optical system which uses cascaded nonlinearities to produce both second and fourth harmonic outputs from an input field at the fundamental frequency. Using fully quantum equations of motion, we show that the system produces quadrature squeezed outputs which exhibit bipartite entanglement, EPR-steering, and asymmetric steering across a two octave frequency range.


title: Optical and IR observations of SN 2013L, a Type IIn Supernova surrounded by asymmetric CSM

abstract: We present optical and NIR photometry and spectroscopy of SN 2013L for the first four years post-explosion. SN 2013L was a moderately luminous (M$_{r}$ = -19.0) Type IIn supernova (SN) that showed signs of strong shock interaction with the circumstellar medium (CSM). The CSM interaction was equal to or stronger to SN 1988Z for the first 200 days and is observed at all epochs after explosion. Optical spectra revealed multi-component hydrogen lines appearing by day 33 and persisting and slowly evolving over the next few years. By day 1509 the H$\alpha$ emission was still strong and exhibiting multiple peaks, hinting that the CSM was in a disc or torus around the SN. SN 2013L is part of a growing subset of SNe IIn that shows both strong CSM interaction signatures and the underlying broad lines from the SN ejecta photosphere. The presence of a blue H$\alpha$ emission bump and a lack of a red peak does not appear to be due to dust obscuration since an identical profile is seen in Pa$\beta$. Instead this suggests a high concentration of material on the near-side of the SN or a disc inclination of roughly edge-on and hints that SN 2013L was part of a massive interactive binary system. Narrow H$\alpha$ P-Cygni lines that persist through the entirety of the observations measure a progenitor outflow speed of 80--130 km s$^{-1}$, speeds normally associated with extreme red supergiants, yellow hypergiants, or luminous blue variable winds. This progenitor scenario is also consistent with an inferred progenitor mass-loss rate of 0.3 - 8.0 $\times$ 10$^{-3}$ M$_{sun}$ yr$^{-1}$.


title: Some conditional probabilities in the TASEP with second class particles

abstract: In this paper we consider the TASEP with second class particles with the initial order is such that $k$ first class particles are located to the left of $N-k$ second class particles. Under this assumption of the initial state of order, we find the probability that the first class particles are at $x,x+1,\cdots, x+k-1$ and the first class particles are still located to the left of all second class particles at later time $t$. Moreover, we obtain an explicit formula of this probability for the step initial condition. This probability generalizes a result for $k=1$ in Lee (arXiv:1705.10544).

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


title: Ona relation between classical and free infinitely divisible transforms

abstract: We study two ways (levels) of finding free-probability analogues of classical infinitely divisible measures. More precisely, we identify their Voiculescu transforms. For free-selfdecomposable measures we found the formula (a differential equation) for their background driving transforms. We illustrate our methods on the hyperbolic characteristic functions. As a by-product our approach may produce new formulas for some definite integrals.


title: Cosmic ray production in modified gravity

abstract: This paper is a reply to the criticism of our work on particle production in modified gravity by D. Gorbunov and A. Tokareva. We show that their arguments against efficient particle production are invalid. $F(R)$ theories can lead to an efficient generation of high energy cosmic rays in contracting systems.


title: Melkersson conditions with respect to a prime ideal

abstract: Aghapournahr and Melkersson introduced the notion of Melkersson condition on a Serre subcategory of the module category over a commutative noetherian ring. This paper investigates the structure of set of prime ideals satisfying a Melkersson condition on a Serre subcategory. We try to calculate members of a set of these prime ideals for a subcategory consisting of extension modules in two given Serre subcategories of the module category. Meanwhile, we classify the structure of set of prime ideals satisfying a Melkersson condition over a 0-dimensional ring, a 1-dimensional local ring, and a 2-dimensional local domain.


title: Quantitative Classification of Type I Supernovae Using Spectroscopic Features at Maximum Brightness

abstract: We present a set of new quantitative classification criteria for major subclasses of Type I Supernovae (SNe). We analyze peak spectra of 146 SNe Ia from the Berkeley Supernova Ia Program (BSNIP), 12 SNe Ib, 19 SNe Ic (including 5 SNe Ic-BL) and 4 SNe Ib/c. All the spectra are within 5 days of maximum light. We study their absorption line depths relative to the pseudo-continuum at around observed wavelength 6150{\AA}, attributed to Si II 6355{\AA} for SNe Ia and Ic and to hydrogen for SNe Ib, and O I $\lambda 7774$\AA\ observed around $\lambda 7500$\AA. We found that Type I SNe could be quantitatively classified using the line depths at these two absorption regions. Type Ia SNe, including normal SNe Ia, Ia-1991bg and Ia-1999aa, show strong signatures of Si II near peak with relative line depth values of $a{\rm (\lambda6150\AA)>0.35}$. Only SNe Ia-2002cx (Iax) do not satisfy this criterion, while the $a{\rm (O\ I\ \lambda 7774\AA)}$ index can separate SNe Ia-1991bg and Ia-1999aa cleanly. Type Ib SNe satisfy that $a{\rm (\lambda6150\AA)<0.35}$ and $a{\rm (\lambda6150\AA)} / a{\rm (O\ I\ \lambda 7774\AA)>1}$, while regular Type Ic SNe show $a{\rm (\lambda6150\AA)<0.35}$ but $a{\rm (\lambda6150\AA)} / a{\rm (O\ I\ \lambda 7774\AA)<1}$. These quantitive classification criteria work well for the majority of normal Type I SN subclasses. Peculiar SNe Ia-2002cx and SNe Ic-BL are the exception. We apply these criteria to provide clear identifications to intermediate or unclear SNe Ib/c. The results show good consistency with classification using specific spectral line features. Though there are still some puzzles about the physical mechanisms driving the diverse line ratios, our method is an accurate empirical method to identify the majority of Type I SNe.


title: On the ideal magnetohydrodynamics in three-dimensional thin domains: well-posedness and asymptotics

abstract: We consider the ideal magnetohydrodynamics (MHD) subjected to a strong magnetic field along $x_1$ direction in three-dimensional thin domains $\Omega_\delta=\mathbb{R}^2\times(-\delta,\delta)$ with slip boundary conditions. It is well-known that in this situation the system will generate Alfv\'en waves. Our results are summarized as follows: (i).\, We construct the global solutions (Alfv\'en waves) to MHD in the thin domain $\Omega_\delta$ with $\delta>0$. In addition, the uniform energy estimates are obtained with respected to the parameter $\delta$. (ii). We justify the asymptotics of the MHD equations from the thin domain $\Omega_\delta$ to the plane $\mathbb{R}^2$. More precisely, we prove that the 3D Alfv\'en waves in $\Omega_\delta$ will converge to the Alfv\'en waves in $\mathbb{R}^2$ in the limit that $\delta$ goes to zero. This shows that Alfv\'en waves propagating along the horizontal direction of the (3D) strip are stable and can be approximated by the (2D) Alfv\'en waves when $\delta$ is sufficiently small. Moreover, the control of the (2D) Alfv\'en waves can be obtained from the control of (3D) Alfv\'en waves in the thin domain $\Omega_\delta$ with aid of the uniform bounds. The proofs of main results rely on the design of the proper energy functional and the null structures of the nonlinear terms. Here the null structures means two aspects: separation of the Alfv\'en waves ($z_+$ and $z_-$) and no bad quadratic terms $Q(\partial_3 z_-^h, \partial_3 z_+^h)$ where $z_\pm=(z_\pm^h, z^3_\pm)$ and $Q(\partial_3 z_-^h,\partial_3 z_+^h)$ is the linear combination of terms $\partial^\alpha \partial_3 z_-^h\partial^\beta \partial_3 z_+^h$ with $\alpha, \beta \in (\mathbb{Z}_{\geq0})^3$.


title: Anomaly induced quantum correction to charged black holes; geometry and thermodynamics

abstract: We consider the corrections due to quantum fluctuations of fields on charged black holes induced from the energy-momentum trace anomaly. Although the number of horizons stays unchanged and their positions receive only finite corrections, the geometry, thermodynamics and formation of RN black holes change seriously in particular for small ones. The entropy receives a logarithmic correction. The line $Q=M$, separating naked singularities from physical solutions is corrected, putting a lower limit on the mass and an upper limit on the temperature of the black hole as a function of its charge. The modifications are highly significant in the cases of near-extremal and small black holes. We also show that for black holes with small mass can stay in thermal equilibrium without any constraint on the volume of the container. This result is in contrast to the large black holes that need a finite volume container for thermal equilibrium. The minimum of the mass lower limits occurs at zero charge, resulting in the extremal Schwarzschild black hole with a specific mass of the order of $M_{p}$ and zero temperature. This state which has only gravitational interaction will be the final stage of Hawking radiation. Stability and lack of any interaction but gravitational, makes the extremal Schwarzschild black hole a serious candidate for dark matter particle.


title: Efficient Context Management and Personalized User Recommendations in a Smart Social TV environment

abstract: With the emergence of Smart TV and related interconnected devices, second screen solutions have rapidly appeared to provide more content for end-users and enrich their TV experience. Given the various data and sources involved - videos, actors, social media and online databases- the aforementioned market poses great challenges concerning user context management and sophisticated recommendations that can be addressed to the end-users. This paper presents an innovative Context Management model and a related first and second screen recommendation service, based on a user-item graph analysis as well as collaborative filtering techniques in the context of a Dynamic Social & Media Content Syndication (SAM) platform. The model evaluation provided is based on datasets collected online, presenting a comparative analysis concerning efficiency and effectiveness of the current approach, and illustrating its added value.


title: Validation of Collaborative Business Processes using Goals Model

abstract: Validating process model against corresponding requirements is one of the most important problems in domain of collaborative processes. In this paper collaborative processes are modeled using the interaction view of BPMN 2.0 standard. Then, requirements are extracted with a goal modeling technique. Different scenarios of each requirement show possible paths for the system. These paths are modeled by sequence diagram and collaborative processes are validated according to the corresponding requirements using Savara tool.


title: Unified Method for Markov Chain Transition Model Estimation Using Incomplete Survey Data

abstract: The Future Elderly Model and related microsimulations are modeled as Markov chains. These simulations rely on longitudinal survey data to estimate their transition models. The use of survey data presents several incomplete data problems, including coarse and irregular spacing of interviews, data collection from subsamples, and structural changes to surveys over time. The Expectation-Maximization algorithm is adapted to create a method for maximum likelihood estimation of Markov chain transition models using incomplete data. The method is demonstrated on a simplified version of the Future Elderly Model.


title: Carbon nanotubes as target for directional detection of light WIMP

abstract: In this paper I will briefly introduce the idea of using Carbon Nanotubes (CNT) as target for the detection of low mass WIMPs with the additional information of directionality. I will also present the experimental efforts of developing a Time Projection Chamber with a CNT target inside and the results of a test beam at the Beam Test Facility of INFN-LNF.


title: Heavy sterile neutrino in dark matter searches

abstract: Sterile neutrinos are possible dark matter candidates. We examine here possible detection mechanisms, assuming that the neutrino has a mass of about 50 keV and couples to the ordinary neutrino. Even though this neutrino is quite heavy, it is non relativistic with a maximum kinetic energy of 0.1 eV. Thus new experimental techniques are required for its detection. We estimate the expected event rate in the following cases: i) Measure electron recoils in the case of materials with very low electron binding. ii) Low temperature crystal bolometers. iii) Spin induced atomic excitations at very low temperatures, leading to a characteristic photon spectrum. iv) Observation of resonances in antineutrino absorption by a nucleus undergoing electron capture. v) Neutrino induced electron events beyond the end point energy of beta decaying systems, e.g. in the tritium decay studied by KATRIN.


title: Counting Numerical Semigroups

abstract: A numerical semigroup is an additive submonoid of the natural numbers with finite complement. The size of the complement is called the genus of the semigroup. How many numerical semigroups have genus equal to $g$? We outline Zhai's proof of a conjecture of Bras-Amor\'os that this sequence has Fibonacci-like growth. We now know that this sequence asymptotically grows as fast as the Fibonacci numbers, but it is still not known whether it is nondecreasing. We discuss this and other open problems. We highlight the many contributions made by undergraduates to problems in this area.


title: Dispersive shallow water wave modelling. Part IV: Numerical simulation on a globally spherical geometry

abstract: In the present manuscript, we consider the problem of dispersive wave simulation on a rotating globally spherical geometry. In this Part IV, we focus on numerical aspects while the model derivation was described in Part III. The algorithm we propose is based on the splitting approach. Namely, equations are decomposed on a uniformly elliptic equation for the dispersive pressure component and a hyperbolic part of shallow water equations (on a sphere) with source terms. This algorithm is implemented as a two-step predictor-corrector scheme. On every step, we solve separately elliptic and hyperbolic problems. Then, the performance of this algorithm is illustrated on model idealised situations with an even bottom, where we estimate the influence of sphericity and rotation effects on dispersive wave propagation. The dispersive effects are quantified depending on the propagation distance over the sphere and on the linear extent of generation region. Finally, the numerical method is applied to a couple of real-world events. Namely, we undertake simulations of the Bulgarian 2007 and Chilean 2010 tsunamis. Whenever the data is available, our computational results are confronted with real measurements.

categories: physics.comp-ph math.AP math.NA physics.ao-ph physics.flu-dyn


title: Guidelines for including grey literature and conducting multivocal literature reviews in software engineering

abstract: Context: A Multivocal Literature Review (MLR) is a form of a Systematic Literature Review (SLR) which includes the grey literature (e.g., blog posts and white papers) in addition to the published (formal) literature (e.g., journal and conference papers). MLRs are useful for both researchers and practitioners since they provide summaries both the state-of-the art and -practice in a given area. Objective: There are several guidelines to conduct SLR studies in SE. However, given the facts that several phases of MLRs differ from those of traditional SLRs, for instance with respect to the search process and source quality assessment. Therefore, SLR guidelines are only partially useful for conducting MLR studies. Our goal in this paper is to present guidelines on how to conduct MLR studies in SE. Method: To develop the MLR guidelines, we benefit from three inputs: (1) existing SLR guidelines in SE, (2), a literature survey of MLR guidelines and experience papers in other fields, and (3) our own experiences in conducting several MLRs in SE. All derived guidelines are discussed in the context of three examples MLRs as running examples (two from SE and one MLR from the medical sciences). Results: The resulting guidelines cover all phases of conducting and reporting MLRs in SE from the planning phase, over conducting the review to the final reporting of the review. In particular, we believe that incorporating and adopting a vast set of recommendations from MLR guidelines and experience papers in other fields have enabled us to propose a set of guidelines with solid foundations. Conclusion: Having been developed on the basis of three types of solid experience and evidence, the provided MLR guidelines support researchers to effectively and efficiently conduct new MLRs in any area of SE.


title: Visual Analytics of Movement Pattern Based on Time-Spatial Data: A Neural Net Approach

abstract: Time-Spatial data plays a crucial role for different fields such as traffic management. These data can be collected via devices such as surveillance sensors or tracking systems. However, how to efficiently an- alyze and visualize these data to capture essential embedded pattern information is becoming a big challenge today. Classic visualization ap- proaches focus on revealing 2D and 3D spatial information and modeling statistical test. Those methods would easily fail when data become mas- sive. Recent attempts concern on how to simply cluster data and perform prediction with time-oriented information. However, those approaches could still be further enhanced as they also have limitations for han- dling massive clusters and labels. In this paper, we propose a visualiza- tion methodology for mobility data using artificial neural net techniques. This method aggregates three main parts that are Back-end Data Model, Neural Net Algorithm including clustering method Self-Organizing Map (SOM) and prediction approach Recurrent Neural Net (RNN) for ex- tracting the features and lastly a solid front-end that displays the results to users with an interactive system. SOM is able to cluster the visiting patterns and detect the abnormal pattern. RNN can perform the predic- tion for time series analysis using its dynamic architecture. Furthermore, an interactive system will enable user to interpret the result with graph- ics, animation and 3D model for a close-loop feedback. This method can be particularly applied in two tasks that Commercial-based Promotion and abnormal traffic patterns detection.


title: Asymptotic Theory for the Maximum of an Increasing Sequence of Parametric Functions

abstract: \cite{HillMotegi2017} present a new general asymptotic theory for the maximum of a random array $\{\mathcal{X}_{n}(i)$ $:$ $1$ $\leq $ $i$ $\leq $ $\mathcal{L}\}_{n\geq 1}$, where each $\mathcal{X}_{n}(i)$ is assumed to converge in probability as $n$ $\rightarrow $ $\infty $. The array dimension $\mathcal{L}$ is allowed to increase with the sample size $n$. Existing extreme value theory arguments focus on observed data $\mathcal{X}_{n}(i)$, and require a well defined limit law for $\max_{1\leq i\leq \mathcal{L}}|\mathcal{X}_{n}(i)|$ by restricting dependence across $i$. The high dimensional central limit theory literature presumes approximability by a Gaussian law, and also restricts attention to observed data. \cite{HillMotegi2017} do not require $\max_{1\leq i\leq \mathcal{L}_{n}}|\mathcal{X}_{n}(i)|$ to have a well defined limit nor be approximable by a Gaussian random variable, and we do not make any assumptions about dependence across $i$. We apply the theory to filtered data when the variable of interest $\mathcal{X}_{n}(i,\theta _{0})$ is not observed, but its sample counterpart $\mathcal{X}_{n}(i,\hat{\theta}_{n})$ is observed where $\hat{\theta}_{n}$ estimates $\theta _{0}$. The main results are illustrated by looking at unit root tests for a high dimensional random variable, and a residuals white noise test.


title: An inverse problem for distributed order time-fractional diffusion equations

abstract: This paper deals with the distributed order time-fractional diffusion equations with non-homogeneous Dirichlet (Nuemann) boundary condition. We first prove the wellposedness of the weak solution to the initial boundary value problem for the distributed order time-fractional diffusion equation by means of eigenfunction expansion, which ensure that the weak solution has the classical derivatives. We next give a Harnack type inequality of the solution in the frequency domain under the Laplace transform, from which we further show a uniqueness result for an inverse problem in determining the weight function in the distributed order time derivative from point observation.


title: GraphMP: An Efficient Semi-External-Memory Big Graph Processing System on a Single Machine

abstract: Recent studies showed that single-machine graph processing systems can be as highly competitive as cluster-based approaches on large-scale problems. While several out-of-core graph processing systems and computation models have been proposed, the high disk I/O overhead could significantly reduce performance in many practical cases. In this paper, we propose GraphMP to tackle big graph analytics on a single machine. GraphMP achieves low disk I/O overhead with three techniques. First, we design a vertex-centric sliding window (VSW) computation model to avoid reading and writing vertices on disk. Second, we propose a selective scheduling method to skip loading and processing unnecessary edge shards on disk. Third, we use a compressed edge cache mechanism to fully utilize the available memory of a machine to reduce the amount of disk accesses for edges. Extensive evaluations have shown that GraphMP could outperform state-of-the-art systems such as GraphChi, X-Stream and GridGraph by 31.6x, 54.5x and 23.1x respectively, when running popular graph applications on a billion-vertex graph.


title: A Core Theory of Delay Systems

abstract: We introduce a framework for the description of a large class of delay-differential algebraic systems, in which we study three core problems: first we characterize abstractly the well-posedness of the initial-value problem, then we design a practical test for well-posedness based on a graph-theoretic representation of the system; finally, we provide a general stability criterion. We apply each of these results to a structure that commonly arises in the control of delay systems.


title: Best approximation properties in spaces of measurable functions

abstract: We research proximinality of $\mu$-sequentially compact sets and $\mu$-compact sets in measurable function spaces. Next we show a correspondence between the Kadec-Klee property for convergence in measure and $\mu$-compactness of the sets in Banach function spaces. Also the property $S$ is investigated in Fr\'echet spaces and employed to provide the Kadec-Klee property for local convergence in measure. We discuss complete criteria for continuity of metric projection in Fr\'echet spaces with respect to the Hausdorff distance. Finally, we present the necessary and sufficient condition for continuous metric selection onto a one-dimensional subspace in sequence Lorentz spaces $d(w,1)$.


title: Multiantenna Quantum Backscatter Communications

abstract: Quantum illumination (QI) is a revolutionary photonic quantum sensing paradigm that enhances the sensitivity of photodetection in noisy and lossy environments. The QI concept has been recently used to propose a quantum backscatter communication (QBC), with the aim of increasing the receiver sensitivity beyond the limits of its classical counterpart. One of the practical challenges in microwave QI is the slow rate at which the entangled microwave modes can be generated. Here, we propose to mitigate this problem by using a multiple-input multiple-output antenna system to synthetically increase the number of efficiently-distinguishable modes in the QBC context.


title: Reply to Comment [arXiv:1707.00747] by P. H. R. S. Moraes, R. A. C. Correa and G. Ribeiro on "Cosmological inviability of $f(R,T)$ gravity" [H. Velten and Thiago R. P. Caram\^es, Phys. Rev. D 95 (2017) 123536, arXiv:1702.07710]

abstract: In this Reply we reassert the failure of the model $f(R,T)=R+\alpha T+ \beta T^2$ in providing a transition from deceleration to an accelerated stage as we have pointed out in [H. Velten and Thiago R. P. Caram\^es, Phys. Rev. D 95 (2017) 123536]. We remark that the such a Comment is essentially based on a typo which clearly does not propagate to the rest of the equations and then does not affect our conclusions. Besides, the authors mentioned an equation for the evolution of the scale factor, already previously used in [P.H.R.S. Moraes, G. Ribeiro and R.A.C. Correa, Astrophys. Space Sci. {\bf 361} 227, (2016)], which we have shown to be wrong and dimensionally inconsistent.


title: Determination of the strong coupling constant $\alpha_s$ from transverse energy-energy correlations in multijet events at $\sqrt{s} = 8$ TeV using the ATLAS detector

abstract: Measurements of transverse energy-energy correlations and their associated asymmetries in multi-jet events using the ATLAS detector at the LHC are presented. The data used correspond to $\sqrt{s} = 8$ TeV proton-proton collisions with an integrated luminosity of 20.2 fb$^{-1}$. The results are presented in bins of the scalar sum of the transverse momenta of the two leading jets, unfolded to the particle level and compared to the predictions from Monte Carlo simulations. A comparison with next-to-leading-order perturbative QCD is also performed, showing excellent agreement within the uncertainties. From this comparison, the value of the strong coupling constant is extracted for different energy regimes, thus testing the running of $\alpha_s(\mu)$ predicted in QCD up to scales over 1 TeV. A global fit to the transverse energy-energy correlation distributions yields $\alpha_s(m_Z) = 0.1162 \pm 0.0011 \mbox{ (exp.)}^{+0.0084}_{-0.0070} \mbox{ (theo.)}$, while a global fit to the asymmetry distributions yields a value of $\alpha_s(m_Z) = 0.1196 \pm 0.0013 \mbox{ (exp.)}^{+0.0075}_{-0.0045} \mbox{ (theo.)}$.


title: On automorphisms of Enriques surfaces and their entropy

abstract: Consider an arbitrary automorphism of an Enriques surface with its lift to the covering K3 surface. We prove a bound of the order of the lift acting on the anti-invariant cohomology sublattice of the Enriques involution. We use it to obtain some mod 2 constraint on the original automorphism. As an application, we give a necessary condition for Salem numbers to be dynamical degrees on Enriques surfaces and obtain a new lower bound on the minimal value. In the Appendix, we give a complete list of Salem numbers that potentially may be the minimal dynamical degree on Enriques surfaces and for which the existence of geometric automorphisms is unknown.


title: Holonomic Gradient Method-Based CDF Evaluation for the Largest Eigenvalue of a Complex Noncentral Wishart Matrix

abstract: The outage probability of maximal-ratio combining (MRC) for a multiple-input multiple-output (MIMO) wireless communications system under Rician fading is given by the cumulative distribution function (CDF) for the largest eigenvalue of a complex noncentral Wishart matrix. This CDF has previously been expressed as a determinant whose elements are integrals of a confluent hypergeometric function. For the determinant elements, conventional evaluation approaches, e.g., truncation of infinite series ensuing from the hypergeometric function or numerical integration, can be unreliable and slow even for moderate antenna numbers and Rician $ K $-factor values. Therefore, herein, we derive by hand and by computer algebra also differential equations that are then solved from initial conditions computed by conventional approaches. This is the holonomic gradient method (HGM). Previous HGM-based evaluations of MIMO relied on differential equations that were not theoretically guaranteed to converge, and, thus, yielded reliable results only for few antennas or moderate $ K $. Herein, we reveal that gauge transformations can yield differential equations that are {\emph{stabile}}, i.e., guarantee HGM convergence. The ensuing HGM-based CDF evaluation is demonstrated reliable, accurate, and expeditious in computing the MRC outage probability even for very large antenna numbers and values of $ K $.


title: Gelfand-Kirillov Dimensions of Highest Weight Harish-Chandra Modules for $SU(p,q)$

abstract: Let $ (G,K) $ be an irreducible Hermitian symmetric pair of non-compact type with $G=SU(p,q)$, and let $ \lambda $ be an integral weight such that the simple highest weight module $ L(\lambda) $ is a Harish-Chandra $ (\mathfrak{g},K) $-module. We give a combinatoric algorithm for the Gelfand-Kirillov dimension of $ L(\lambda) $. This enables us to prove that the Gelfand-Kirillov dimension of $ L(\lambda) $ decreases as the integer $ \langle\lambda+\rho,\beta^\vee\rangle $ increases, where $\rho$ is the half sum of positive roots and $\beta$ is the maximal noncompact root. As a byproduct, we obtain a description on the associated variety of $ L(\lambda) $.


title: Continuum gating current models computed with consistent interactions

abstract: The action potential signal of nerve and muscle is produced by voltage sensitive channels that include a specialized device to sense voltage. Gating currents of the voltage sensor are now known to depend on the back-and-forth movements of positively charged arginines through the hydrophobic plug of a voltage sensor domain. Transient movements of these permanently charged arginines, caused by the change of transmembrane potential, further drag the S4 segment and induce opening/closing of ion conduction pore by moving the S4-S5 linker. The ion conduction pore is a separate device from the voltage sensor, linked (in an unknown way) by the mechanical motion and electric field changes of the S4-S5 linker. This moving permanent charge induces capacitive current flow everywhere. Everything interacts with everything else in the voltage sensor so everything must interact with everything else in its mathematical model, as everything does in the whole protein. A PNP-steric model of arginines and a mechanical model for the S4 segment are combined using energy variational methods in which all movements of charge and mass satisfy conservation laws of current and mass. The resulting 1D continuum model is used to compute gating currents under a wide range of conditions, corresponding to experimental situations. Chemical-reaction-type models based on ordinary differential equations cannot capture such interactions with one set of parameters. Indeed, they may inadvertently violate conservation of current. Conservation of current is particularly important since small violations (<0.01%) quickly (<< 10-6 seconds) produce forces that destroy molecules. Our model reproduces signature properties of gating current: (1) equality of on and off charge in gating current (2) saturating voltage dependence in QV curve and (3) many (but not all) details of the shape of gating current as a function of voltage.


title: A theory of hydrodynamic turbulence based on non-equilibrium statistical mechanics

abstract: In earlier papers we have studied the turbulent flow exponents $\zeta_p$, where $\langle|\Delta{\bf v}|^p\rangle\sim\ell^{\zeta_p}$ is the contribution to the fluid velocity at small scale $\ell$. Using ideas of non-equilibrium statistical mechanics we have found $$ \zeta_p={p\over3}-{1\over\ln\kappa}\ln\Gamma({p\over3}+1) $$ where $1/ln\kappa$ is experimentally $\approx 0.32\pm 0.01$. The purpose of the present note is to propose a somewhat more physical derivation of the formula for $\zeta_p$. We also present an estimate $\approx 100$ for the Reynolds number at the onset of turbulence.


title: Solving high-dimensional partial differential equations using deep learning

abstract: Developing algorithms for solving high-dimensional partial differential equations (PDEs) has been an exceedingly difficult task for a long time, due to the notoriously difficult problem known as the "curse of dimensionality". This paper introduces a deep learning-based approach that can handle general high-dimensional parabolic PDEs. To this end, the PDEs are reformulated using backward stochastic differential equations and the gradient of the unknown solution is approximated by neural networks, very much in the spirit of deep reinforcement learning with the gradient acting as the policy function. Numerical results on examples including the nonlinear Black-Scholes equation, the Hamilton-Jacobi-Bellman equation, and the Allen-Cahn equation suggest that the proposed algorithm is quite effective in high dimensions, in terms of both accuracy and cost. This opens up new possibilities in economics, finance, operational research, and physics, by considering all participating agents, assets, resources, or particles together at the same time, instead of making ad hoc assumptions on their inter-relationships.


title: On orthogonal tensors and best rank-one approximation ratio

abstract: As is well known, the smallest possible ratio between the spectral norm and the Frobenius norm of an $m \times n$ matrix with $m \le n$ is $1/\sqrt{m}$ and is (up to scalar scaling) attained only by matrices having pairwise orthonormal rows. In the present paper, the smallest possible ratio between spectral and Frobenius norms of $n_1 \times \dots \times n_d$ tensors of order $d$, also called the best rank-one approximation ratio in the literature, is investigated. The exact value is not known for most configurations of $n_1 \le \dots \le n_d$. Using a natural definition of orthogonal tensors over the real field (resp., unitary tensors over the complex field), it is shown that the obvious lower bound $1/\sqrt{n_1 \cdots n_{d-1}}$ is attained if and only if a tensor is orthogonal (resp., unitary) up to scaling. Whether or not orthogonal or unitary tensors exist depends on the dimensions $n_1,\dots,n_d$ and the field. A connection between the (non)existence of real orthogonal tensors of order three and the classical Hurwitz problem on composition algebras can be established: existence of orthogonal tensors of size $\ell \times m \times n$ is equivalent to the admissibility of the triple $[\ell,m,n]$ to the Hurwitz problem. Some implications for higher-order tensors are then given. For instance, real orthogonal $n \times \dots \times n$ tensors of order $d \ge 3$ do exist, but only when $n = 1,2,4,8$. In the complex case, the situation is more drastic: unitary tensors of size $\ell \times m \times n$ with $\ell \le m \le n$ exist only when $\ell m \le n$. Finally, some numerical illustrations for spectral norm computation are presented.


title: The origin of the turn-on phenomenon in Td-MoTe2

abstract: We did the resistivity and scanning tunneling microscope/spectroscopy (STM/STS) experiments at different temperatures and magnetic fields to investigate the origin of the turn-on (t-o) phenomenon of Td-MoTe2. There are two interesting observations. Firstly, magnetoresistance (MR) follows the Kohler rule scaling: MR - (H/p0)m with m - 1.92 and the t-o temperature T under different magnetic fields can also be scaled by T - (H-Hc)u with u = 1/2. Secondly, a combination of compensated electron-hole pockets and a possible electronic structure phase transition induced by the temperature have been validated in Td-MoTe2 by the STM/STS experiments. Compared with the STS of Td-MoTe2 single crystal under H = 0, the STS hardly changes even when the applied field is up to 7 T. The origins of the t-o phenomenon in Td-MoTe2 are discussed. Meanwhile, we analyzed the universality and applicability of the t-o phenomenon in the extreme MR materials with almost balanced hole and electron densities as well as with other systems where the density of hole or electron is in dominant position.


title: Quantum state discrimination and its applications

abstract: Quantum state discrimination underlies various applications in quantum information processing tasks. It essentially describes the distinguishability of quantum systems in different states, and the general process of extracting classical information from quantum systems. It is also useful in quantum information applications, such as the characterisation of mutual information in cryptographic protocols, or as a technique to derive fundamental theorems in quantum foundations. It has deep connections to physical principles such as relativistic causality. Quantum state discrimination traces a long history of several decades, starting with the early attempts to formalise information processing of physical systems such as optical communication with photons. Nevertheless, in most cases, optimal strategies of quantum state discrimination remain unsolved, and related applications are valid in some limited cases only. The present review aims to provide an overview on quantum state discrimination, covering some recent progress, and addressing applications in some selected topics. This review serves to strengthen the link between results in quantum state discrimination and quantum information applications, by showing the ways in which the fundamental results are exploited in applications and vice versa.


title: Assortment Optimization under the Sequential Multinomial Logit Model

abstract: We study the assortment optimization problem under the Sequential Multinomial Logit (SML), a discrete choice model that generalizes the multinomial logit (MNL). Under the SML model, products are partitioned into two levels, to capture differences in attractiveness, brand awareness and, or visibility of the products in the market. When a consumer is presented with an assortment of products, she first considers products in the first level and, if none of them is purchased, products in the second level are considered. This model is a special case of the Perception-Adjusted Luce Model (PALM) recently proposed by Echenique et al (2018). It can explain many behavioural phenomena such as the attraction, compromise, similarity effects and choice overload which cannot be explained by the MNL model or any discrete choice model based on random utility. In particular, the SML model allows violations to regularity which states that the probability of choosing a product cannot increase if the offer set is enlarged. This paper shows that the seminal concept of revenue-ordered assortment sets, which contain an optimal assortment under the MNL model, can be generalized to the SML model. More precisely, the paper proves that all optimal assortments under the SML are revenue-ordered by level, a natural generalization of revenue-ordered assortments that contains, at most, a quadratic number of assortments. As a corollary, assortment optimization under the SML is polynomial-time solvable. This result is particularly interesting given that the SML model does not satisfy the regularity condition and, therefore, it can explain choice behaviours that cannot be explained by any choice model based on random utility.


title: Distilling Entanglement with Noisy Operations

abstract: Entanglement distillation is a fundamental task in quantum information processing. It not only extracts entanglement out of corrupted systems but also leads to protecting systems of interest against intervention with environment. In this work, we consider a realistic scenario of entanglement distillation where noisy quantum operations are applied. In particular, the two-way distillation protocol that tolerates the highest error rate is considered. We show that among all types of noise there are only four equivalence classes according to the distillability condition. Since the four classes are connected by local unitary transformations, our results can be used to improve entanglement distillability in practice when entanglement distillation is performed in a realistic setting.


title: Vertical Dependency in Sequences of Categorical Random Variables

abstract: This paper develops a more general theory of sequences of dependent categorical random variables, extending the works of Korzeniowski (2013) and Traylor (2017) that studied first-kind dependency in sequences of Bernoulli and categorical random variables, respectively. A more natural form of dependency, sequential dependency, is defined and shown to retain the property of identically distributed but dependent elements in the sequence. The cross-covariance of sequentially dependent categorical random variables is proven to decrease exponentially in the dependency coefficient $\delta$ as the distance between the variables in the sequence increases. We then generalize the notion of vertical dependency to describe the relationship between a categorical random variable in a sequence and its predecessors, and define a class of generating functions for such dependency structures. The main result of the paper is that any sequence of dependent categorical random variables generated from a function in the class $\mathscr{C}_{\delta}$ that is dependency continuous yields identically distributed but dependent random variables. Finally, a graphical interpretation is given and several examples from the generalized vertical dependency class are illustrated.


title: Neural Machine Translation between Herbal Prescriptions and Diseases

abstract: The current study applies deep learning to herbalism. Toward the goal, we acquired the de-identified health insurance reimbursements that were claimed in a 10-year period from 2004 to 2013 in the National Health Insurance Database of Taiwan, the total number of reimbursement records equaling 340 millions. Two artificial intelligence techniques were applied to the dataset: residual convolutional neural network multitask classifier and attention-based recurrent neural network. The former works to translate from herbal prescriptions to diseases; and the latter from diseases to herbal prescriptions. Analysis of the classification results indicates that herbal prescriptions are specific to: anatomy, pathophysiology, sex and age of the patient, and season and year of the prescription. Further analysis identifies temperature and gross domestic product as the meteorological and socioeconomic factors that are associated with herbal prescriptions. Analysis of the neural machine transitional result indicates that the recurrent neural network learnt not only syntax but also semantics of diseases and herbal prescriptions.


title: Constraints for the thawing and freezing potentials

abstract: We study the accelerating present universe in terms of the time evolution of the equation of state $w(z)$ (redshift $z$) due to thawing and freezing scalar potentials in the quintessence model. The values of $dw/da$ and $d^2w/da^2$ at scale factor of $a = 1$ are associated with two parameters of each potential. For five type scalar potentials, the scalar fields $Q$ and $w$ as function of time $t$ and/or $z$ are numerically calculated under the fixed boundary condition of $w(z=0)=-1+\Delta$. The observational constraint $w_{obs}$ (Planck 2015) is imposed to test whether the numerical $w(z)$ is in $w_{obs}$. Some solutions show the thawing features in the freezing potentials. Mutually exclusive allowed regions in $dw/da$ vs. $d^2w/da^2$ diagram are obtained in order to identify the likely scalar potential and even the potential parameters by future observational tests.


title: Dynamic clustering to minimize the sum of radii

abstract: In this paper, we study the problem of opening centers to cluster a set of clients in a metric space so as to minimize the sum of the costs of the centers and of the cluster radii, in a dynamic environment where clients arrive and depart, and the solution must be updated efficiently while remaining competitive with respect to the current optimal solution. We call this dynamic sum-of-radii clustering problem. We present a data structure that maintains a solution whose cost is within a constant factor of the cost of an optimal solution in metric spaces with bounded doubling dimension and whose worst-case update time is logarithmic in the parameters of the problem.


title: Theory for frequent measurements of spontaneous emissions in non-Markovian environment: beyond Lorentzian spectrum

abstract: The measurement-result-conditioned evolution of a system (e.g. an atom) with spontaneous emissions of photons is well described by the quantum trajectory (QT) theory. In this work we generalize the associated QT theory from infinitely wide bandwidth Markovian environment to the case of finite bandwidth non-Markovian environment. In particular, we generalize the treatment for arbitrary spectrum, which is not restricted by the specific Lorentzian case. We rigorously prove a general existence of a perfect scaling behavior jointly defined by the bandwidth of environment and the time interval between successive photon detections. For a couple of examples, we obtain analytic results to facilitate QT simulations based on the Monte-Carlo algorithm. For the case where analytical result is not available, numerical scheme is proposed for practical simulations.


title: Constraining dynamical neutrino mass generation with cosmological data

abstract: We study models in which neutrino masses are generated dynamically at cosmologically late times. Our study is purely phenomenological and parameterized in terms of three effective parameters characterizing the redshift of mass generation, the width of the transition region, and the present day neutrino mass. We also study the possibility that neutrinos become strongly self-interacting at the time where the mass is generated. We find that in a number of cases, models with large present day neutrino masses are allowed by current CMB, BAO and supernova data. The increase in the allowed mass range makes it possible that a non-zero neutrino mass could be measured in direct detection experiments such as KATRIN. Intriguingly we also find that there are allowed models in which neutrinos become strongly self-interacting around the epoch of recombination.


title: Varieties of Elementary Abelian Lie Algebras and Degrees of Modules

abstract: Let $(\mathfrak{g},[p])$ be a restricted Lie algebra over an algebraically closed field $k$ of characteristic $p\!\ge \!3$. Motivated by the behavior of geometric invariants of the so-called $(\mathfrak{g},[p])$-modules of constant $j$-rank ($j \in \{1,\ldots,p\!-\!1\}$), we study the projective variety $\mathbb{E}(2,\mathfrak{g})$ of two-dimensional elementary abelian subalgebras. If $p\!\ge\!5$, then the topological space $\mathbb{E}(2,\mathfrak{g}/C(\mathfrak{g}))$, associated to the factor algebra of $\mathfrak{g}$ by its center $C(\mathfrak{g})$, is shown to be connected. We give applications concerning categories of $(\mathfrak{g},[p])$-modules of constant $j$-rank and certain invariants, called $j$-degrees.


title: Class-Weighted Convolutional Features for Visual Instance Search

abstract: Image retrieval in realistic scenarios targets large dynamic datasets of unlabeled images. In these cases, training or fine-tuning a model every time new images are added to the database is neither efficient nor scalable. Convolutional neural networks trained for image classification over large datasets have been proven effective feature extractors for image retrieval. The most successful approaches are based on encoding the activations of convolutional layers, as they convey the image spatial information. In this paper, we go beyond this spatial information and propose a local-aware encoding of convolutional features based on semantic information predicted in the target image. To this end, we obtain the most discriminative regions of an image using Class Activation Maps (CAMs). CAMs are based on the knowledge contained in the network and therefore, our approach, has the additional advantage of not requiring external information. In addition, we use CAMs to generate object proposals during an unsupervised re-ranking stage after a first fast search. Our experiments on two public available datasets for instance retrieval, Oxford5k and Paris6k, demonstrate the competitiveness of our approach outperforming the current state-of-the-art when using off-the-shelf models trained on ImageNet. The source code and model used in this paper are publicly available at http://imatge-upc.github.io/retrieval-2017-cam/.


title: A $C_2$-equivariant analog of Mahowald's Thom spectrum theorem

abstract: We prove that the $C_2$-equivariant Eilenberg-MacLane spectrum associated to the constant Mackey functor $\underline{\mathbb{F}}_2$ is equivalent to a Thom spectrum over ${\Omega^\rho S^{\rho + 1}}$.


title: Designing Quantum Information Processing via Structural Physical Approximation

abstract: In quantum information processing it may be possible to have efficient computation and secure communication beyond the limitations of classical systems. In a fundamental point of view, however, evolution of quantum systems by the laws of quantum mechanics is more restrictive than classical systems, identified to a specific form of dynamics, that is, unitary transformations and, consequently, positive and completely positive maps to subsystems. This also characterizes classes of disallowed transformations on quantum systems, among which positive but not completely maps are of particular interest as they characterize entangled states, a general resource in quantum information processing. Structural physical approximation offers a systematic way of approximating those non-physical maps, positive but not completely positive maps, with quantum channels. Since it has been proposed as a method of detecting entangled states, it has stimulated fundamental problems on classifications of positive maps and the structure of Hermitian operators and quantum states, as well as on quantum measurement such as quantum design in quantum information theory. It has developed efficient and feasible methods of directly detecting entangled states in practice, for which proof-of-principle experimental demonstrations have also been performed with photonic qubit states. Here, we present a comprehensive review on quantum information processing with structural physical approximations and the related progress. The review mainly focuses on properties of structural physical approximations and their applications toward practical information applications.


title: The algebraic Bethe Ansatz and combinatorial trees

abstract: We present in this paper a comprehensive introduction to the algebraic Bethe Ansatz, taking as examples the six-vertex model with periodic and non-periodic boundary conditions. We propose a diagrammatic representation of the commutation relations used in the algebraic Bethe Ansatz, so that the action of the transfer matrix in the nth excited state gives place to labeled combinatorial trees. The analysis of these combinatorial trees provides in a straightforward way the eigenvalues and eigenstates of the transfer matrix, as well as the respective Bethe Ansatz equations. Several identities between the R-matrix elements can also be derived from the symmetry of these diagrams regarding the permutation of their labels. This combinatorial approach gives some insights about how the algebraic Bethe Ansatz works, which can be valuable for non-experts readers.


title: Quantum gravitational collapse as a Dirac particle on the half-line

abstract: We show that the quantum dynamics of a thin spherical shell in general relativity is equivalent to the Coulomb-Dirac equation on the half line. The Hamiltonian has a one-parameter family of self-adjoint extensions with a discrete energy spectrum $|E| < m$, and a continuum of scattering states for $|E|>m$, where $m$ is the rest mass of the shell and $E$ is the Arnowitt-Deser-Misner mass. For sufficiently large $m$, the ground state energy level is negative. This suggests that classical positivity of energy does not survive quantization. The scattering states provide a realization of singularity avoidance. We speculate on the consequences of these results for black hole radiation.


title: Mathematical Models of Adaptation in Human-Robot Collaboration

abstract: A robot operating in isolation needs to reason over the uncertainty in its model of the world and adapt its own actions to account for this uncertainty. Similarly, a robot interacting with people needs to reason over its uncertainty over the human internal state, as well as over how this state may change, as humans adapt to the robot. This paper summarizes our own work in this area, which depicts the different ways that probabilistic planning and game-theoretic algorithms can enable such reasoning in robotic systems that collaborate with people. We start with a general formulation of the problem as a two-player game with incomplete information. We then articulate the different assumptions within this general formulation, and we explain how these lead to exciting and diverse robot behaviors in real-time interactions with actual human subjects, in a variety of manufacturing, personal robotics and assistive care settings.


title: Dynamic Quantile Function Models

abstract: Motivated by the need for effectively summarising, modelling, and forecasting the distributional characteristics of intra-daily returns, as well as the recent work on forecasting histogram-valued time-series in the area of symbolic data analysis, we develop a time-series model for forecasting quantile-function-valued (QF-valued) daily summaries for intra-daily returns. We call this model the dynamic quantile function (DQF) model. Instead of a histogram, we propose to use a $g$-and-$h$ quantile function to summarise the distribution of intra-daily returns. We work with a Bayesian formulation of the DQF model in order to make statistical inference while accounting for parameter uncertainty; an efficient MCMC algorithm is developed for sampling-based posterior inference. Using ten international market indices and approximately 2,000 days of out-of-sample data from each market, the performance of the DQF model compares favourably, in terms of forecasting VaR of intra-daily returns, against the interval-valued and histogram-valued time-series models. Additionally, we demonstrate that the QF-valued forecasts can be used to forecast VaR measures at the daily timescale via a simple quantile regression model on daily returns (QR-DQF). In certain markets, the resulting QR-DQF model is able to provide competitive VaR forecasts for daily returns.


title: Accelerated cosmological expansion without tension in the Hubble parameter

abstract: The $H_0$-tension problem poses a confrontation of dark energy driving late-time cosmological expansion measured by the Hubble parameter $H(z)$ over an extended range of redshifts $z$. Distinct values $H_0\simeq 73$ km\,s$^{-1}$Mpc$^{-1}$ and $H_0\simeq 68$ km\,s$^{-1}$Mpc$^{-1}$ obtain from surveys of the Local Universe and, respectively, $\Lambda$CBM analysis of the CMB. These are representative of accelerated expansion with $H^\prime(0)\simeq0$ by $\Lambda=\omega_0^2$ and, respectively, $H^\prime(0)>0$ in $\Lambda$CDM, where $\omega_0=\sqrt{1-q}H$ is a fundamental frequency of the cosmological horizon in a Friedmann-Robertson-Walker universe with deceleration parameter $q(z)=-1+(1+z)H^{-1}H^\prime(z)$. Explicit solutions $H(z)=H_0\sqrt{1+\omega_m(6z+12z^2+12z^3+6z^4+(6/5)z^5)}$ and, respectively, $H(z)=H_0\sqrt{1-\omega_m+\omega_m(1+z)^3}$ are here compared with recent data on $H(z)$ over $0\lesssim z \lesssim2$. The first is found to be free of tension with $H_0$ from local surveys, while the latter is disfavored at $2.7\sigma$. A further confrontation obtains in galaxy dynamics by a finite sensitivity of inertia to background cosmology in weak gravity, putting an upper bound of $m\lesssim 10^{-30}$eV on the mass of dark matter. A $C^0$ onset to weak gravity at the de Sitter scale of acceleration $a_{dS}=cH(z)$, where $c$ denotes the velocity of light, can be seen in galaxy rotation curves covering $0\lesssim z \lesssim 2$. Weak gravity in galaxy dynamics hereby provides a proxy for cosmological evolution.


title: Exploiting the Tradeoff between Program Accuracy and Soft-error Resiliency Overhead for Machine Learning Workloads

abstract: To protect multicores from soft-error perturbations, resiliency schemes have been developed with high coverage but high power and performance overheads. Emerging safety-critical machine learning applications are increasingly being deployed on these platforms. Moreover, these systems are exposed to harsh environments, such as unmanned aerial vehicles (UAVs) and self-driving cars. Due to the unique structure and computational behavior of such applications, research has been done on relaxing their accuracy for performance benefits. We observe that not all transient errors affect program correctness, some errors only affect program accuracy, i.e., the program completes with certain acceptable deviations from error free outcome. This paper illustrates the idea of cross-layer soft-error resilience using machine learning workloads, where program accuracy is introduced as a tradeoff to deliver resilient yet efficient execution on futuristic large-scale multicores.


title: Refinable Function : An Object-oriented Approach to Procedure Modularity

abstract: Modularity is the fundamental aspect of modern software engineering, however many advanced modularity techniques requires prospective technologies as part of development and operation process. In this paper, we present Refinable Function, an object-oriented approach to advanced language-based, symmetric modularity technique for the procedure. We conceptually compare Refinable Function to existing technique to substantiate benefits of modularity can be implemented in on well-established object-oriented language without compiler support. We introduce concepts of inheritance, encapsulation, and polymorphism of function for bringing object-orientation to procedure modularity and describe the design and implementation of Refinable Function in JavaScript to validate our approach to practical web application development. We introduce the practical aspect of Refinable Function implementation by discussing concerns of applying modularity on asynchronous processing. We tested and implemented Refinable Function to substantiate its relevance to web application development and product line implementation.


title: Flexible human-robot cooperation models for assisted shop-floor tasks

abstract: The Industry 4.0 paradigm emphasizes the crucial benefits that collaborative robots, i.e., robots able to work alongside and together with humans, could bring to the whole production process. In this context, an enabling technology yet unreached is the design of flexible robots able to deal at all levels with humans' intrinsic variability, which is not only a necessary element for a comfortable working experience for the person but also a precious capability for efficiently dealing with unexpected events. In this paper, a sensing, representation, planning and control architecture for flexible human-robot cooperation, referred to as FlexHRC, is proposed. FlexHRC relies on wearable sensors for human action recognition, AND/OR graphs for the representation of and reasoning upon cooperation models, and a Task Priority framework to decouple action planning from robot motion planning and control.


title: The Permutation Module on Flag Varieties in Cross Characteristic

abstract: Let ${\bf G}$ be a connected reductive group over $\bar{\mathbb{F}}_q$, the algebraically closure of $\mathbb{F}_q$ (the finite field with $q=p^e$ elements), with the standard Frobenius map $F$. Let ${\bf B}$ be an $F$-stable Borel subgroup. Let $\Bbbk$ be a field of characteristic $r\neq p$. In this paper, we completely determine the composition factors of the induced module $Ind_{B}^{G}{tr}=\Bbbk{G}\otimes_{\Bbbk{\bf B}}$ tr (here $\Bbbk{H}$ is the group algebra of the group ${H}$, and tr is the trivial $B$-module). In particular, we find a new family of infinite dimensional irreducible abstract representations of $G$.


title: Space Motions of the Dwarf Spheroidal Galaxies Draco and Sculptor based on HST Proper Motions with ~10-year Time Baseline

abstract: We present new proper motion (PM) measurements of the dwarf spheroidal galaxies (dSphs) Draco and Sculptor using multi-epoch images obtained with the Hubble Space Telescope ACS/WFC. Our PM results have uncertainties far lower than previous measurements, even made with the same instrument. The PM results for Draco and Sculptor are (mu_W,mu_N)_Dra = (-0.0562+/-0.0099,-0.1765+/-0.0100) mas/yr and (mu_W,mu_N)_Scl = (-0.0296+/-0.0209,-0.1358 +/-0.0214) mas/yr. The implied Galactocentric velocity vectors for Draco and Sculptor have radial and tangential components: (V_rad,V_tan)_Dra = (-88.6,161.4) +/- (4.4,5.6) km/s; and (V_rad,V_tan)_Scl = (72.6,200.2) +/- (1.3,10.8) km/s. We study the detailed orbital history of both Draco and Sculptor via numerical orbit integrations. Orbital periods of Draco and Sculptor are found to be 1-2 and 2-5 Gyrs, respectively, accounting for uncertainties in the MW mass. We also study the influence of the Large Magellanic Cloud (LMC) on the orbits of Draco and Sculptor. Overall, the inclusion of the LMC increases the scatter in the orbital results. Based on our calculations, Draco shows a rather wide range of orbital parameters depending on the MW mass and inclusion/exclusion of the LMC, but Sculptor's orbit is very well constrained with its most recent pericentric approach to the MW being 0.3-0.4 Gyr ago. Our new PMs imply that the orbital trajectories of both Draco and Sculptor are confined within the Disk of Satellites (DoS), better so than implied by earlier PM measurements, and likely rule out the possibility that these two galaxies were accreted together as part of a tightly bound group.


title: Topological Order and Symmetry Anomaly on the Surface of Topological Crystalline Insulators

abstract: We present microscopic Hamiltonians that gap the Dirac fermions on the surface of topological crystalline insulators (TCIs) protected by reflection symmetry and create symmetry-preserving states with Abelian topological orders. For TCIs with $n = 2$ copies of surface Dirac fermions, we find a fermionic $\mathbb{Z}_4$ topological order with charge-spin self duality and with a novel symmetry action on the anyons, whereby reflections with respect to two parallel planes act differently. We also analyze TCIs with $n = 1$ and $4$ copies of Dirac fermions, which taken together covers every nontrivial case in the $\mathbb{Z}_8 \oplus \mathbb{Z}_2$ classification of interacting TCIs. Our work reveals a fundamental difference between reflection and charge-conjugation-time-reversal symmetry anomalies.


title: Almost sharp nonlinear scattering in one-dimensional Born-Infeld equations arising in nonlinear Electrodynamics

abstract: We study decay of small solutions of the Born-Infeld equation in 1+1 dimensions, a quasilinear scalar field equation modeling nonlinear electromagnetism, as well as branes in String theory and minimal surfaces in Minkowski space-times. From the work of Whitham, it is well-known that there is no decay because of arbitrary solutions traveling to the speed of light just as linear wave equation. However, even if there is no global decay in 1+1 dimensions, we are able to show that all globally small $H^{s+1}\times H^s$, $s>\frac12$ solutions do decay to the zero background state in space, inside a strictly proper subset of the light cone. We prove this result by constructing a Virial identity related to a momentum law, in the spirit of works \cite{KMM,KMM1}, as well as a Lyapunov functional that controls the $\dot H^1 \times L^2$ energy.


title: Localized Manifold Harmonics for Spectral Shape Analysis

abstract: The use of Laplacian eigenfunctions is ubiquitous in a wide range of computer graphics and geometry processing applications. In particular, Laplacian eigenbases allow generalizing the classical Fourier analysis to manifolds. A key drawback of such bases is their inherently global nature, as the Laplacian eigenfunctions carry geometric and topological structure of the entire manifold. In this paper, we introduce a new framework for local spectral shape analysis. We show how to efficiently construct localized orthogonal bases by solving an optimization problem that in turn can be posed as the eigendecomposition of a new operator obtained by a modification of the standard Laplacian. We study the theoretical and computational aspects of the proposed framework and showcase our new construction on the classical problems of shape approximation and correspondence. We obtain significant improvement compared to classical Laplacian eigenbases as well as other alternatives for constructing localized bases.


title: Parameter uncertainty in structural equation models: Confidence sets and fungible estimates

abstract: Current concerns regarding the dependability of psychological findings call for methodological developments to provide additional evidence in support of scientific conclusions. This paper highlights the value and importance of two distinct kinds of parameter uncertainty which are quantified by confidence sets (CSs) and fungible parameter estimates (FPEs); both provide essential information regarding the defensibility of scientific findings. Using the structural equation model, we introduce a general perturbation framework based on the likelihood function that unifies CSs and FPEs and sheds new light on the conceptual distinctions between them. A targeted illustration is then presented to demonstrate the factors which differentially influence CSs and FPEs, further highlighting their theoretical differences. With three empirical examples on initiating a conversation with a stranger, posttraumatic growth of caregivers in the context of pediatric palliative care, and the direct and indirect effects of spirituality on thriving among youth, we illustrate how CSs and FPEs provide unique information which lead to better informed scientific conclusions. Finally, we discuss the importance of considering information afforded by CSs and FPEs in strengthening the basis of interpreting statistical results in substantive research, conclude with future research directions, and provide example OpenMx code for the computation of CSs and FPEs.


title: Quitting Games and Linear Complementarity Problems

abstract: We prove that every multiplayer quitting game admits a sunspot $\varepsilon$-equilibrium for every $\varepsilon > 0$, that is, an $\varepsilon$-equilibrium in an extended game in which the players observe a public signal at every stage. We also prove that if a certain matrix that is derived from the payoffs in the game is a $Q$-matrix in the sense of linear complementarity problems, then the game admits a Nash $\varepsilon$-equilibrium for every $\varepsilon > 0$.


title: The Possibility of Investigating Ultra-High-Energy Cosmic-Ray Sources Using Data on the Extragalactic Diffuse Gamma-Ray Emission

abstract: We provide our estimates of the intensity of the gamma-ray emission with an energy near 0.1 TeV generated in inrergalactic space in the interactions of cosmic rays with background emissions. We assume that the cosmic ray sources are point-like and these are active galactic nuclei. The following pjssible types of sources are considered: remote and powerful ones, at redshifts up to z=1.1, with a monoenergetic particle spectrum, E=10^21 eV; the same objects, but with a power-law particle spectrum; and nearby sources with redshifts 0<z<=0.0092, i.e. at distances no larger than 50 Mpc also with a power-law particle spectrum. The contribution of cosmic rays to to the extragalactic diffuse gamma-ray background at an energy of 0.1 TeV has been found to depend on the type of sources or, more specifically, the contribution ranges from f<<10^(-4) to f of about 0.1. depending on the source model. We conclude that the data on the extragalactic background gamma-ray emission can be used to determine the characteristics of cosmic-ray sources, i.e. their distances and the pattern of the particle energy spectrum. Keywords: cosmic rays, diffuse gamma-ray emission, active galactic nuclei. To be published in: Astronomy Letters, 2017, vol. 43, No.8, pp. 529-535.


title: Event Stream Processing with Multiple Threads

abstract: Current runtime verification tools seldom make use of multi-threading to speed up the evaluation of a property on a large event trace. In this paper, we present an extension to the BeepBeep 3 event stream engine that allows the use of multiple threads during the evaluation of a query. Various parallelization strategies are presented and described on simple examples. The implementation of these strategies is then evaluated empirically on a sample of problems. Compared to the previous, single-threaded version of the BeepBeep engine, the allocation of just a few threads to specific portions of a query provides dramatic improvement in terms of running time.


title: MUBs and SIC-POVMs of a spin-1 system from the Majorana approach

abstract: In the Majorana or stellar representation of quantum states, an arbitrary (pure) state of a spin-1 system is represented by a pair of points on the unit sphere or, equivalently, by a pair of unit vectors. This paper presents an expression for the squared modulus of the inner product of two spin-1 states in terms of their Majorana vectors and uses it to give a geometrical construction of the MUBs and SIC-POVMs of a spin-1 system. The results are not new and duplicate those obtained earlier by other methods, but the Majorana approach nevertheless illuminates them from an unusual point of view. In particular, it reveals the MUBs and SICs as symmetrical collections of vectors in ordinary three-dimensional space, rather than as rays in a projective Hilbert space. While it does not appear feasible to extend this treatment to higher spin systems, the spin-1 case exhibits sufficient subtlety and complexity to be worth spelling out for its pedagogical and historical interest.


title: The stringy Euler number of Calabi-Yau hypersurfaces in toric varieties and the Mavlyutov duality

abstract: We show that minimal models of nondegenerated hypersufaces defined by Laurent polynomials with a $d$-dimensional Newton polytope $\Delta$ are Calabi-Yau varieties $X$ if and only if the Fine interior of $\Delta$ consists of a single lattice point. We give a combinatorial formula for computing the stringy Euler number of $X$. This formula allows to test mirror symmetry in cases when $\Delta$ is not a reflexive polytope. In particular we apply this formula to pairs of lattice polytopes $(\Delta, \Delta^{\vee})$ that appear in the Mavlyutov's generalization of the polar duality for reflexive polytopes. Some examples of Mavlyutov's dual pairs $(\Delta, \Delta^{\vee})$ show that the stringy Euler numbers of the corresponding Calabi-Yau varieties $X$ and $X^{\vee}$ may not satisfy the expected topological mirror symmetry test: $e_{\rm st}(X) = (-1)^{d-1} e_{\rm st}(X^{\vee})$. This shows the necessity of an additional condition on Mavlyutov's pairs $(\Delta, \Delta^\vee)$.


title: The homotopy type of spaces of rational curves on a toric variety

abstract: Spaces of holomorphic maps from the Riemann sphere to various complex manifolds (holomorphic curves ) have played an important role in several area of mathematics. In a seminal paper G. Segal investigated the homotopy type of holomorphic curves on complex projective spaces and M. Guest on compact smooth toric varieties.. Recently Mostovoy and Villanueva, obtained a far reaching generalisation of these results, and in particular (for holomorphic curves) improved the stability dimension obtained by Guest. In this paper, we generalize their result to holomorphic curves, on certain non-compact smooth toric varieties.


title: Three-dimensional density structure of La Soufrie\`ere de Guadeloupe lava dome from simultaneous muon radiographies and gravity data

abstract: Muon imaging has recently emerged as a powerful method to complement standard geophysical tools in the understanding of the Earth's subsurface. Muon measurements can yield a radiography of the average density along the muon path, allowing to image large volumes of a geological body from a single observation point. Here we jointly invert muon data from three simultaneous telescope acquisitions together with gravity data to estimate the three-dimensional density structure of the La Soufri\`ere de Guadeloupe lava Dome. Our unique dataset allows us to achieve an unprecedented spatial resolution with this novel technique. The retrieved density model reveals an extensive, low-density anomaly where the most active part of the volcanic hydrothermal system is located, supporting previous studies that indicate this region as the most likely to be involved in a partial edifice collapse.


title: Detection of bimanual gestures everywhere: why it matters, what we need and what is missing

abstract: Bimanual gestures are of the utmost importance for the study of motor coordination in humans and in everyday activities. A reliable detection of bimanual gestures in unconstrained environments is fundamental for their clinical study and to assess common activities of daily living. This paper investigates techniques for a reliable, unconstrained detection and classification of bimanual gestures. It assumes the availability of inertial data originating from the two hands/arms, builds upon a previously developed technique for gesture modelling based on Gaussian Mixture Modelling (GMM) and Gaussian Mixture Regression (GMR), and compares different modelling and classification techniques, which are based on a number of assumptions inspired by literature about how bimanual gestures are represented and modelled in the brain. Experiments show results related to 5 everyday bimanual activities, which have been selected on the basis of three main parameters: (not) constraining the two hands by a physical tool, (not) requiring a specific sequence of single-hand gestures, being recursive (or not). In the best performing combination of modeling approach and classification technique, five out of five activities are recognized up to an accuracy of 97%, a precision of 82% and a level of recall of 100%.


title: A mass diffusion effect in gas dynamics equations

abstract: In the current work we propose a theory for an additional mass diffusion effect in the conventional gas dynamics equations. We find that this effect appears as a homogenization time limit correction, when the deterministic interaction process of the real gas molecules is replaced with a simplified random interaction process for consistency with the Boltzmann equation. For the simplified random interaction processes represented by either a hard sphere random scattering model, or by a model which employs the Lennard-Jones potential for random molecular deflections, we compute the estimates of the corrective diffusion coefficient in the Euler, Navier-Stokes and Grad equations for some monatomic and polyatomic gases.


title: Interaction-Induced Gradients Across a Confined Fermion Lattice

abstract: An imposed chemical potential gradient $A_\uparrow=d\mu_\uparrow/dx$ on a single fermionic species ("spin up") directly produces a gradient in the density $d\rho_\uparrow/dx$ across a lattice. We study here the induced density inhomogeneity $d\rho_\downarrow/dx$ in the second fermionic species ("spin down") which results from fermionic interactions $U$, even in the absence of a chemical potential gradient $A_\downarrow=0$ on that species. The magnitude of $d\rho_\downarrow/dx$ acquired by the second species grows with $U$, while the magnitude of $d\rho_\uparrow/dx$ remains relatively constant, that is, set only by $A_\uparrow$. For a given $A_\uparrow$, we find an interaction strength $U_*$ above which the two density gradients are equal in magnitude. We also evaluate the spin-spin correlations and show that, as expected, antiferromagnetism is most dominant at locations where the local density is half-filled. The spin polarization induced by sufficiently large gradients, in combination with $U$, drives ferromagnetic behavior. In the case of repulsive interactions, $d\rho_\downarrow/dx = -d\rho_\uparrow/dx$. A simple particle-hole transformation determines the related effect in the case of attractive interactions.