title: Anti-K\"ahlerian geometry on Lie groups

abstract: Let $G$ be a Lie group of even dimension and let $(g,J)$ be a left invariant anti-K\"ahler structure on $G$. In this article we study anti-K\"{a}hler structures considering the distinguished cases where the complex structure $J$ is abelian or bi-invariant. We find that if $G$ admits a left invariant anti-K\"ahler structure $(g,J)$ where $J$ is abelian then the Lie algebra of $G$ is unimodular and $(G,g)$ is a flat pseudo-Riemannian manifold. For the second case, we see that for any left invariant metric $g$ for which $J$ is an anti-isometry we obtain that the triple $(G, g, J)$ is an anti-K\"ahler manifold. Besides, given a left invariant anti-Hermitian structure on $G$ we associate a covariant $3$-tensor $\theta$ on its Lie algebra and prove that such structure is anti-K\"ahler if and only if $\theta$ is a skew-symmetric and pure tensor. From this tensor we classify the real 4-dimensional Lie algebras for which the corresponding Lie group has a left invariant anti-K\"ahler structure and study the moduli spaces of such structures (up to group isomorphisms that preserve the anti-K\"ahler structures).


title: Exploratory study of possible resonances in the heavy meson - heavy baryon coupled-channel interactions

abstract: We use a unitary coupled-channel model to study the $\bar{D} \Lambda_c - \bar{D} \Sigma_c$ interactions. In our calculation, SU(3) flavor symmetry is applied to determine the coupling constants. Several resonant and bound states with different spin and parity are dynamically generated in the mass range of the recently observed pentaquarks. The approach is also extended to the hidden beauty sector to study the $B \Lambda_b - B \Sigma_b$ interactions. As the $b$-quark mass is heavier than the $c$-quark mass, there are more resonances observed for $B \Lambda_b - B \Sigma_b$ interactions and they are more tightly bound.


title: Four-body decays of $B$ meson with lepton number violation

abstract: This paper is designed to calculate the branching ratio of four-body decays of $B$ meson with lepton number changed by 2. With the new experimental data limit to lepton-number violation processes, we update the upper limits of mixing parameters between heavy Majorana neutrino and charged leptons. Afterwards, we calculate the branching ratio of $B^0(P)\rightarrow D^{*-}(P_1)\ell^+_1(P_2)\ell^+_2(P_3)M_2^-(P_4)$ using the updated parameters. It is found that the most hopeful decay channel is $B^0(P)\rightarrow D^{*-}(P_1)e^+_1(P_2)e^+_2(P_3)\rho^-(P_4)$ or $B^0(P)\rightarrow D^{*-}(P_1)e(\mu)^+_1(P_2)\mu(e)^+_2(P_3)\rho^-(P_4)$, whose branching ratio can reach about $10^{-4}$ with heavy Majorana neutrino mass range around $2~\mathrm{GeV}$.


title: How the three-dimensional geometry of computational domain(s) affects the accuracy of non-reflective boundary conditions in acoustic simulation

abstract: Describing and simulating acoustic wave propagation can be difficult and time consuming; especially when modeling three-dimensional (3D) problems. As the propagating waves exit the computational domain, the amplitude needs to be sufficiently small otherwise reflections can occur from the boundary influencing the numerical solution. This paper will attempt to quantify what is meant by `sufficiently small' and investigate whether the geometry of the computational boundary can be manipulated to reduce reflections at the outer walls. The 3D compressible Euler equations were solved using the discontinuous Galerkin method on a graphical processing unit. A pressure pulse with an amplitude equivalent to 10% of atmospheric pressure was simulated through a modified trumpet within seven different geometries. The numerical results indicate that if the amplitude of the pulse is less than 0.5% of atmospheric pressure, reflections are minimal and do not significantly influence the solution in the domain. Furthermore, the computational region behind the bell can be neglected greatly reducing the required memory and run time.


title: Involving Users in the Design of a Serious Game for Security Questions Education

abstract: When using security questions most users still trade-off security for the convenience of memorability. This happens because most users find strong answers to security questions difficult to remember. Previous research in security education was successful in motivating users to change their behaviour towards security issues, through the use of serious games (i.e. games designed for a primary purpose other than pure entertainment). Hence, in this paper we evaluate the design of a serious game, to investigate the features and functionalities that users would find desirable in a game that aims to educate them to provide strong and memorable answers to security questions. Our findings reveal that: (1) even for security education games, rewards seem to motivate users to have a better learning experience; (2) functionalities which contain a social element (e.g. getting help from other players) do not seem appropriate for serious games related to security questions, because users fear that their acquaintances could gain access to their security questions; (3) even users who do not usually play games would seem to prefer to play security education games on a mobile device.


title: Air Mounted Eyepiece: Design Methods for Aerial Optical Functions of Near-Eye and See-Through Display using Transmissive Mirror Device

abstract: We propose a novel method to implement an optical see-through head mounted display which renders real aerial images with a wide viewing angle, called an Air Mounted Eyepiece (AME). To achieve the AMD design, we employ an off-the-shelf head mounted display and Transmissive Mirror Device (TMD) which is usually used in aerial real imaging systems. In the proposed method, we replicate the function of the head mounted display (HMD) itself, which is used in the air by using the TMD and presenting a real image of eyepiece in front of the eye. Moreover, it can realize a wide viewing angle 3D display by placing a virtual lens in front of the eye without wearing an HMD. In addition to enhancing the experience of mixed reality and augmented reality, our proposed method can be used as a 3D imaging method for use in other applications such as in automobiles and desktop work. We aim to contribute to the field of human-computer interaction and the research on eyepiece interfaces by discussing the advantages and the limitations of this near-eye optical system.


title: Understanding Organizational Approach towards End User Privacy

abstract: End user privacy is a critical concern for all organizations that collect, process and store user data as a part of their business. Privacy concerned users, regulatory bodies and privacy experts continuously demand organizations provide users with privacy protection. Current research lacks an understanding of organizational characteristics that affect an organization's motivation towards user privacy. This has resulted in a "one solution fits all" approach, which is incapable of providing sustainable solutions for organizational issues related to user privacy. In this work, we have empirically investigated 40 diverse organizations on their motivations and approaches towards user privacy. Resources such as newspaper articles, privacy policies and internal privacy reports that display information about organizational motivations and approaches towards user privacy were used in the study. We could observe organizations to have two primary motivations to provide end users with privacy as voluntary driven inherent motivation, and risk driven compliance motivation. Building up on these findings we developed a taxonomy of organizational privacy approaches and further explored the taxonomy through limited exclusive interviews. With his work, we encourage authorities and scholars to understand organizational characteristics that define an organization's approach towards privacy, in order to effectively communicate regulations that enforce and encourage organizations to consider privacy within their business practices.


title: Tracking Detector Performance and Data Quality in the NOvA Experiment

abstract: NOvA is a long-baseline neutrino oscillation experiment. It uses the NuMI beam from Fermilab and two sampling calorimeter detectors located off-axis from the beam. The NOvA experiment measures the rate of electron-neutrino appearance in the almost pure muon-neutrino NuMI beam, with the data measured at the Near Detector being used to accurately determine the expected rate at the Far Detector. It is very important to have automated and accurate monitoring of the data recorded by the detectors so any hardware, DAQ or beam issues arising in the 344k (20k) channels of the Far (Near) detector which could affect the quality of the data taking are determined. This paper will cover the techniques and detector monitoring systems in various stages of data taking.


title: Variable screening with multiple studies

abstract: Advancement in technology has generated abundant high-dimensional data that allows integration of multiple relevant studies. Due to their huge computational advantage, variable screening methods based on marginal correlation have become promising alternatives to the popular regularization methods for variable selection. However, all these screening methods are limited to single study so far. In this paper, we consider a general framework for variable screening with multiple related studies, and further propose a novel two-step screening procedure using a self-normalized estimator for high-dimensional regression analysis in this framework. Compared to the one-step procedure and rank-based sure independence screening (SIS) procedure, our procedure greatly reduces false negative errors while keeping a low false positive rate. Theoretically, we show that our procedure possesses the sure screening property with weaker assumptions on signal strengths and allows the number of features to grow at an exponential rate of the sample size. In addition, we relax the commonly used normality assumption and allow sub-Gaussian distributions. Simulations and a real transcriptomic application illustrate the advantage of our method as compared to the rank-based SIS method.


title: Inertial flow around obstacles in microchannels

abstract: Formation of recirculating wakes is a prominent feature of inertial flow around bluff bodies. Below the onset of vortex shedding in uniform unbounded flows, the fluid in the recirculating wake region moves on closed planar orbits. The steady wake is thus an isolated zone in the flow and does not exchange fluid with the free stream. In this work, we utilize lattice-Boltzmann simulations and microfluidic experiments to demonstrate that in microchannel inertial flow of Newtonian fluids, the recirculating wake is replaced by a three-dimensional vortical flow. Spiraling streamlines generate a continuous exchange of fluid between the vortex behind the obstacle and the free stream. The flow inertia is represented by Reynolds number defined as $Re = \frac{u_{max}D_{y}}{\nu}$, where $u_{max}$ is the maximum fluid velocity in the channel inlet, $D_{y}$ is the characteristic obstacle length and $\nu$ is the fluid kinematic viscosity. We discuss the effects of $Re$, the obstacle shape and the wall confinement on the fluid entry into the vortex. Further, we demonstrate that in flow of a dilute suspension of particles around the obstacle, the fluid entry into the vortex can result in entrapment of particles as well.


title: Universal Constructions for (Co)Relations: categories, monoidal categories, and props

abstract: Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic interpretation for diagrams is given in terms of relations or corelations (generalised equivalence relations) of some kind. In this paper we show how semantic categories of both relations and corelations can be characterised as colimits of simpler categories. This modular perspective is important as it simplifies the task of giving a complete axiomatisation for semantic equivalence of string diagrams. Moreover, our general result unifies various theorems that are independently found in literature and are relevant for program semantics, quantum computation and control theory.


title: Effects of finite coverage on global polarization observables in heavy ion collisions

abstract: In non-central relativistic heavy ion collisions, the created matter possesses a large initial orbital angular momentum. Particles produced in the collisions could be polarized globally in the direction of the orbital angular momentum due to spin-orbit coupling. Recently, the STAR experiment has presented polarization signals for $\Lambda$ hyperons and possible spin alignment signals for $\phi$ mesons. Here we discuss the effects of finite coverage on these observables. The results from a multi-phase transport and a toy model both indicate that a pseudorapidity coverage narrower than $|\eta|< \sim 1$ will generate a larger value for the extracted $\phi$-meson $\rho_{00}$ parameter; thus a finite coverage can lead to an artificial deviation of $\rho_{00}$ from 1/3. We also show that a finite $\eta$ and $p_T$ coverage affect the extracted $p_H$ parameter for $\Lambda$ hyperons when the real $p_H$ value is non-zero. Therefore proper corrections are necessary to reliably quantify the global polarization with experimental observables.


title: Distribution of descents in matchings

abstract: The distribution of descents in a fixed conjugacy class of $S_n$ is studied, and it is shown that its moments have an interesting property. A particular conjugacy class that is of interest is the class of matchings (also known as fixed point free involutions). This paper provides a bijective proof of the symmetry of the descents and major indices of matchings and uses a generating function approach to prove an asymptotic normality theorem for the number of descents in matchings.


title: On similarity of the sample depth contours

abstract: In this paper, we investigate the similarity property of the sample projection depth contours. It turns out that some of these contours are of \emph{the same shape} with different sizes, following a similar fashion to the Mahalanobis depth contours. One advantage of this investigation is the potential of bringing convenience to the computation of the projection depth contours; the other one is that we may utilize this idea to extend both the halfspace depth and zonoid depth to versions that do not vanish outside the convex hull of the data cloud, aiming at overcoming the so-called `outside problem'. Examples are also provided to illustrate the main results.


title: Hermitian-Yang-Mills connections on collapsing elliptically fibered $K3$ surfaces

abstract: Let $X\rightarrow {\mathbb P}^1$ be an elliptically fibered $K3$ surface, admitting a sequence $\omega_{i}$ of Ricci-flat metrics collapsing the fibers. Let $V$ be a holomorphic $SU(n)$ bundle over $X$, stable with respect to $\omega_i$. Given the corresponding sequence $\Xi_i$ of Hermitian-Yang-Mills connections on $V$, we prove that, if $E$ is a generic fiber, the restricted sequence $\Xi_i|_{E}$ converges to a flat connection $A_0$. Furthermore, if the restriction $V|_E$ is of the form $\oplus_{j=1}^n\mathcal O_E(q_j-0)$ for $n$ distinct points $q_j\in E$, then these points uniquely determine $A_0$.


title: Multi-wavelength Stellar Polarimetry of the Filamentary Cloud IC5146: I. Dust Properties

abstract: We present optical and near-infrared stellar polarization observations toward the dark filamentary clouds associated with IC5146. The data allow us to investigate the dust properties (this paper) and the magnetic field structure (Paper II). A total of 2022 background stars were detected in $R_{c}$-, $i'$-, $H$-, and/or $K$-bands to $A_V \lesssim 25$ mag. The ratio of the polarization percentage at different wavelengths provides an estimate of $\lambda_{max}$, the wavelength of peak polarization, which is an indicator of the small-size cutoff of the grain size distribution. The grain size distribution seems to significantly change at $A_V \sim$ 3 mag, where both the average and dispersion of $P_{R_c}/P_{H}$ decrease. In addition, we found $\lambda_{max}$ $\sim$ 0.6-0.9 $\mu$m for $A_V>2.5$ mag, which is larger than the $\sim$ 0.55 $\mu$m in the general ISM, suggesting that grain growth has already started in low $A_V$ regions. Our data also reveal that polarization efficiency (PE $\equiv P_{\lambda}/A_V$) decreases with $A_V$ as a power-law in $R_c$-, $i'$-, and $K$-bands with indices of -0.71$\pm$0.10, -1.23$\pm$0.10 and -0.53$\pm$0.09. However, $H$-band data show a power index change; the PE varies with $A_V$ steeply (index of -0.95$\pm$0.30) when $A_V < 2.88\pm0.67$ mag but softly (index of -0.25$\pm$0.06) for greater $A_V$ values. The soft decay of PE in high $A_V$ regions is consistent with the Radiative Aligned Torque model, suggesting that our data trace the magnetic field to $A_V \sim 20$ mag. Furthermore, the breakpoint found in $H$-band is similar to the $A_V$ where we found the $P_{R_c}/P_{H}$ dispersion significantly decreased. Therefore, the flat PE-$A_V$ in high $A_V$ regions implies that the power index changes result from additional grain growth.


title: Astrophysical Data Analytics based on Neural Gas Models, using the Classification of Globular Clusters as Playground

abstract: In Astrophysics, the identification of candidate Globular Clusters through deep, wide-field, single band HST images, is a typical data analytics problem, where methods based on Machine Learning have revealed a high efficiency and reliability, demonstrating the capability to improve the traditional approaches. Here we experimented some variants of the known Neural Gas model, exploring both supervised and unsupervised paradigms of Machine Learning, on the classification of Globular Clusters, extracted from the NGC1399 HST data. Main focus of this work was to use a well-tested playground to scientifically validate such kind of models for further extended experiments in astrophysics and using other standard Machine Learning methods (for instance Random Forest and Multi Layer Perceptron neural network) for a comparison of performances in terms of purity and completeness.


title: Ultra-cold Collisions between Spin-Orbit-Coupled Dipoles: General Formalism and Universality

abstract: A theoretical study of the low-energy scattering properties of two aligned identical bosonic and fermionic dipoles in the presence of isotropic spin-orbit coupling (SOC) is presented. A general treatment of particles with arbitrary (pseudo-) spin is given in the framework of multi-channel scattering. At ultracold temperatures and away from shape resonances or closed-channel dominated resonances, the cross-section can be well described within the Born approximation to within corrections due to the s-wave scattering. We compare our findings with numerical calculations and find excellent agreement.


title: The disturbing function for asteroids with arbitrary inclinations

abstract: The classical disturbing function of the three-body problem widely used in planetary dynamics studies is an expansion of the gravitational interaction of the three-body problem with respect to zero eccentricity and zero inclination. This restricts its validity to nearly coplanar orbits. Motivated by the dynamical study of asteroids, Centaurs and transneptunian objects with arbitrary inclinations, we derive a series expansion of the gravitational interaction with respect to an arbitrary reference inclination that generalises our work on the polar and retrograde disturbing functions. The new disturbing function, like the polar one, may model any resonance as expansion order is unrelated to resonance order. The powers of eccentricity and inclination of the force amplitude of a $p$:$q$ resonance depend only on the parity of the resonance order $|p-q|$. Disturbing functions with non zero reference inclinations are thus physically different from the classical disturbing function as the former are based on the three-dimensional three-body problem and the latter on the two-dimensional one. We illustrate the use of the new disturbing function by showing that what is known as pure eccentricity resonances are intrinsically dependent on inclination contrary to the prediction of the classical disturbing function. We determine the inclination dependence of the resonance widths of the 2:1 and 3:1 prograde and retrograde inner resonances with Jupiter as well as those of the asymmetric librations of the 1:2 and 1:3 prograde outer resonances with Neptune.


title: Absolute sensitivity of phase measurement in an SU(1,1) type interferometer

abstract: Absolute sensitivity is measured for the phase measurement in an SU(1,1) type interferometer and the results are compared to that of a Mach-Zehnder interferometer operated under the condition of the same intra-interferometer intensity. The interferometer is phase locked to a point with the largest quantum noise cancellation, and a simulated phase modulation is added in one arm of SU(1,1) interferometer. Both the signal and noise level are estimated at the same frequency range, and we obtain 3dB improvement in sensitivity for the SU(1,1) interferometer over the Mach-Zehnder interferometer. Our results demonstrate a direct phase estimation, and may pave the way for practical applications of nonlinear interferometer.


title: General notions of regression depth function

abstract: As a measure for the centrality of a point in a set of multivariate data, statistical depth functions play important roles in multivariate analysis, because one may conveniently construct descriptive as well as inferential procedures relying on them. Many depth notions have been proposed in the literature to fit to different applications. However, most of them are mainly developed for the location setting. In this paper, we discuss the possibility of extending some of them into the regression setting. A general concept of regression depth function is also provided.


title: Is repulsion good for the health of Chimeras?

abstract: Yes! Very much so. A chimera state refers to the coexistence of a coherent-incoherent dynamical evolution of identically coupled oscillators. We investigate the impact of multiplexing of a lyer having repulsively coupled oscillators on occurrence of chimeras in the layer having attractively coupled identical oscillators. We report that there exists an enhancement in the appearance of chimera state in one layer of multiplex network in the presence of repulsive coupling in the other layer. Furthermore, we show that a small amount of inhibition or repulsive coupling in one layer is sufficient to yield chimera state in another layer by destroying its synchronized behavior. These results can be used to get insight into dynamical behaviors of those systems where both attractive and repulsive coupling exist among their constituents.


title: Explanation of the 511 keV line: Cascade annihilating dark matter with the $^8$Be anomaly

abstract: A possible dark matter (DM) explanation about the long-standing issue of the Galactic 511 keV line is explored in this paper. For DM cascade annihilations of concern, a DM pair $\pi_d^{+} \pi_d^{-}$ annihilates into unstable $\pi_d^{0} \pi_d^{0}$, and $\pi_d^{0}$ decays into $e^+ e^-$ with new interactions suggested by the $^8$Be anomaly. Considering the constraints from the effective neutrino number $N_{\mathrm{eff}}$ and the 511 keV gamma-ray emission, a range of DM is obtained, $11.6 \lesssim m_{\pi_d^{\pm}} \lesssim 15$ MeV. The typical DM annihilation cross section today is about 3.3 $\times$ $10^{-29}$ cm$^3$ s$^{-1}$, which can give an explanation about the 511 keV line. The MeV scale DM may be searched by the DM-electron scattering, and the upper limit set by the CMB s-wave annihilation is derived in DM direct detections.


title: Demonstrating Miniaturised, entangled photon-pair sources on board nano satellites to enable future QKD missions

abstract: We report on our progress developing highly-miniaturised, polarisation-entangled, photon pair sources for CubeSats. We have a correlated photon-pair source in orbit in the NUS Galassia 2U CubeSat. We also have an entangled photon pair source in production and a high brightness (1Mcps) entangled photon-pair source in development for our upcoming satellite missions. All our sources are proof-of-principle demonstrations that the hardware necessary for entanglement-based QKD can be miniaturised and made sufficiently robust for operation in nano-satellites. The photon pairs they produce are measured with liquid crystal-based Bell state analysers and Geiger-mode avalanche photo-diodes within the source. These space missions allow our on-the-ground radiation, thermal and vibration tests to be validated and the real-world operation and aging of the source in space to be studied. A BBM92 QKD-capable design of the source has been used in a phase A study of a satellite-to-satellite QKD demonstration mission by the University of New South Wales, Canberra. This mission study uses two 6U CubeSats in LEO and aims to demonstrate QKD over separations of increasing distances as the two CubeSats drift apart.


title: Shape transitions in odd-mass $\gamma$-soft nuclei within the interacting boson-fermion model based on the Gogny energy density functional

abstract: The interacting boson-fermion model (IBFM), with parameters determined from the microscopic Hartree-Fock-Bogoliubov (HFB) approximation, based on the parametrization D1M of the Gogny energy density functional (EDF), is employed to study the structural evolution in odd-mass $\gamma$-soft nuclei. The deformation energy surfaces of even-even nuclei, single-particle energies and occupation probabilities of the corresponding odd-mass systems have been obtained within the constrained HFB approach. Those building blocks are then used as a microscopic input to build the IBFM Hamiltonian. The coupling constants of the boson-fermion interaction terms are taken as free parameters, fitted to reproduce experimental low-lying spectra. The diagonalization of the IBFM Hamiltonian provides the spectroscopic properties for the studied odd-mass nuclei. The procedure has been applied to compute low-energy excitation spectra and electromagnetic transition rates, in the case of the $\gamma$-soft odd-mass systems $^{129-137}$Ba, $^{127-135}$Xe, $^{129-137}$La and $^{127-135}$Cs. The calculations provide a reasonable agreement with the available experimental data and agree well with previous results based on the relativistic mean-field approximation.


title: Search for $CP$ violation in $D$ decays to radiative and hadronic decays and search for rare $D$ decay at Belle

abstract: Using the large data sample accumulated by the Belle experiment at KEKB asymmetry energy $e^+e^-$ Collider, we report the preliminary measurements of the branching fractions of the radiative decays $D^0 \rightarrow V\gamma$, where $V$ = $\phi,\bar{K^*}^0, \rho^0$. This is the first observation of the decay $D^0 \rightarrow \rho^0\gamma$ and also present the preliminary results of the first measurement of $CP$ asymmetry in these decays. We present the preliminary result of the $CP$ asymmetry of the $D^0 \rightarrow K^0_S K^0_S$ decay, which is consistent with no $CP$ violation and improves the uncertainty with respect to the previous measurement of this quantity by more than a factor of three. Finally, we present the results of the rare charm decay $D^0 \rightarrow \gamma\gamma$, resulting in the most restrictive upper limit to date.


title: Star coloring splitting graphs of cycles

abstract: A star coloring of a graph $G$ is a proper vertex coloring such that the subgraph induced by any pair of color classes is a star forest. The star chromatic number of $G$ is the minimum number of colors needed to star color $G$. In this paper we determine the star-chromatic number of the splitting graphs of cycles of length $n$ with $n \equiv 1 \pmod 3$ and $n=5$, resolving an open question of Furnma\'nczyk, Kowsalya, and Vernold Vivin.


title: $G$-constellations and the maximal resolution of a quotient surface singularity

abstract: For a finite subgroup $G$ of $\operatorname{GL}(2, \mathbb C)$, we consider the moduli space ${\mathcal M}_\theta$ of $G$-constellations. It depends on the stability parameter $\theta$ and if $\theta$ is generic it is a resolution of singularities of $\mathbb C^2/G$. In this paper, we show that a resolution $Y$ of $\mathbb C^2/G$ is isomorphic to ${\mathcal M}_\theta$ for some generic $\theta$ if and only if $Y$ is dominated by the maximal resolution under the assumption that $G$ is abelian or small.


title: Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC)

abstract: In order to avoid well-know paradoxes associated with self-referential definitions, higher-order dependent type theories stratify the theory using a countably infinite hierarchy of universes (also known as sorts), Type$_0$ : Type$_1$ : $\cdots$ . Such type systems are called cumulative if for any type $A$ we have that $A$ : Type$_{i}$ implies $A$ : Type$_{i+1}$. The predicative calculus of inductive constructions (pCIC) which forms the basis of the Coq proof assistant, is one such system. In this paper we present and establish the soundness of the predicative calculus of cumulative inductive constructions (pCuIC) which extends the cumulativity relation to inductive types.


title: Observable-geometric phases and quantum computation

abstract: This paper presents an alternative approach to geometric phases from the observable point of view. Precisely, we introduce the notion of observable-geometric phases, which is defined as a sequence of phases associated with a complete set of eigenstates of the observable. The observable-geometric phases are shown to be connected with the quantum geometry of the observable space evolving according to the Heisenberg equation. They are indeed distinct from Berry's phase \cite{Berry1984, Simon1983} as the system evolves adiabatically. It is shown that the observable-geometric phases can be used to realize a universal set of quantum gates in quantum computation. This scheme leads to the same gates as the Abelian geometric gates of Zhu and Wang \cite{ZW2002,ZW2003}, but based on the quantum geometry of the observable space beyond the state space.


title: Backward Approximate Dynamic Programming with Hidden Semi-Markov Stochastic Models in Energy Storage Optimization

abstract: We consider an energy storage problem involving a wind farm with a forecasted power output, a stochastic load, an energy storage device, and a connection to the larger power grid with stochastic prices. Electricity prices and wind power forecast errors are modeled using a novel hidden semi-Markov model that accurately replicates not just the distribution of the errors, but also crossing times, capturing the amount of time each process stays above or below some benchmark such as the forecast. This is an important property of stochastic processes involved in storage problems. We show that we achieve more robust solutions using this model than when more common stochastic models are considered. The new model introduces some additional complexity to the problem as its information states are partially hidden, forming a partially observable Markov decision process. We derive a near-optimal time-dependent policy using backward approximate dynamic programming, which overcomes the computational hurdles of classical (exact) backward dynamic programming, with higher quality solutions than the more familiar forward approximate dynamic programming methods.


title: $tt^*$ Geometry, Singularity Torsion and Anomaly Formulas

abstract: This paper is concerned with the Schr\"odinger operators $\Delta_{f_0}$ and $\Delta_f$ attached to a pair $(\mathbb{C}^n, f_0)$ and its deformation $(\mathbb{C}^n, f)$, where $f_0$ is a non-degenerate and quasi-homogeneous polynomial on $\mathbb{C}^n$ and $f$ is its relevant or marginal deformation. We give the $tt^*$ geometry structure on the Hodge bundle associated to $\Delta_f$, which describes the genus 0 anomaly. Next we study the corresponding singularity torsion type invariants and give the anomaly formulas for the 2nd torsion type invariant.


title: Modeling Radiation Damage to Pixel Sensors in the ATLAS Detector

abstract: Silicon pixel detectors are at the core of the current ATLAS detector and its planned upgrade. As the detectors in closest proximity to the interaction point, they will be exposed to a significant amount of radiation: prior to the HL-LHC, the innermost layers will receive a fluence in excess of $10^{15}$ 1 MeV $n_\mathrm{eq}/\mathrm{cm}^2$ and the HL-LHC detector upgrades must cope with an order of magnitude higher fluence integrated over their lifetimes. This talk presents a digitization model that includes radiation damage effects to the ATLAS Pixel sensors for the first time. After a thorough description of the setup, predictions for basic pixel cluster properties are presented alongside first validation studies with Run 2 collision data.


title: Temperature-Dependent Electron-Electron Interaction in Graphene on SrTiO3

abstract: The electron band structure of graphene on SrTiO3 substrate has been investigated as a function of temperature. The high-resolution angle-resolved photoemission study reveals that the spectral width at Fermi energy and the Fermi velocity of graphene on SrTiO3 are comparable to those of graphene on a BN substrate. Near the charge neutrality, the energy-momentum dispersion of graphene exhibits a strong deviation from the well-known linearity, which is magnified as temperature decreases. Such modification resembles the characteristics of enhanced electron-electron interaction. Our results not only suggest that SrTiO3 can be a plausible candidate as a substrate material for applications in graphene-based electronics, but also provide a possible route towards the realization of a new type of strongly correlated electron phases in the prototypical two-dimensional system via the manipulation of temperature and a proper choice of dielectric substrates.


title: Comment to: Electric field vector mapping of guided ionization waves at atmospheric pressure (arXiv :1709.03109v1)

abstract: Recently, Iseni (arXiv:1709.03109v1) reported measurements and analysis of electric field (EF) strengths adjacent to propagating ionization waves (IWs) in non-thermal atmospheric pressure He plasma jets. We demonstrate that these measurements are in error due to an improperly aligned electric field probe.


title: Minimal coloring number on minimal diagrams for $\mathbb{Z}$-colorable links

abstract: It was shown that any $\mathbb{Z}$-colorable link has a diagram which admits a non-trivial $\mathbb{Z}$-coloring with at most four colors. In this paper, we consider minimal numbers of colors for non-trivial $\mathbb{Z}$-colorings on minimal diagrams of $\mathbb{Z}$-colorable links. We show, for any positive integer $N$, there exists a minimal diagram of a $\mathbb{Z}$-colorable link such that any $\mathbb{Z}$-coloring on the diagram has at least $N$ colors. On the other hand, it is shown that certain $\mathbb{Z}$-colorable torus links have minimal diagrams admitting $\mathbb{Z}$-colorings with only four colors.


title: Probing noncommutative theories with quantum optical experiments

abstract: One of the major difficulties of modern science underlies at the unification of general relativity and quantum mechanics. Different approaches towards such theory have been proposed. Noncommutative theories serve as the root of almost all such approaches. However, the identification of the appropriate passage to quantum gravity is suffering from the inadequacy of experimental techniques. It is beyond our ability to test the effects of quantum gravity thorough the available scattering experiments, as it is unattainable to probe such high energy scale at which the effects of quantum gravity appear. Here we propose an elegant alternative scheme to test such theories by detecting the deformations emerging from the noncommutative structures. Our protocol relies on the novelty of an opto-mechanical experimental setup where the information of the noncommutative oscillator is exchanged via the interaction with an optical pulse inside an optical cavity. We also demonstrate that our proposal is within the reach of current technology and, thus, it could uncover a feasible route towards the realization of quantum gravitational phenomena thorough a simple table-top experiment.


title: Global spectrum fluctuations for Gaussian beta ensembles: a martingale approach

abstract: The paper describes the global limiting behavior of Gaussian beta ensembles where the parameter $\beta$ is allowed to vary with the matrix size $n$. In particular, we show that as $n \to \infty$ with $n\beta \to \infty$, the empirical distribution converges weakly to the semicircle distribution, almost surely. The Gaussian fluctuation around the limit is then derived by a martingale approach.


title: Plasmon mass scale and quantum fluctuations of classical fields on a real time lattice

abstract: Classical real-time lattice simulations play an important role in understanding non-equilibrium phenomena in gauge theories and are used in particular to model the prethermal evolution of heavy-ion collisions. Above the Debye scale the classical Yang-Mills (CYM) theory can be matched smoothly to kinetic theory. First we study the limits of the quasiparticle picture of the CYM fields by determining the plasmon mass of the system using 3 different methods. Then we argue that one needs a numerical calculation of a system of classical gauge fields and small linearized fluctuations which correspond to quantum fluctuations, in a way that keeps the separation between the two manifest. We demonstrate and test an implementation of an algorithm with the linearized fluctuations showing that the linearization indeed works and the Gauss's law is conserved.


title: Deep Hyperalignment

abstract: This paper proposes Deep Hyperalignment (DHA) as a regularized, deep extension, scalable Hyperalignment (HA) method, which is well-suited for applying functional alignment to fMRI datasets with nonlinearity, high-dimensionality (broad ROI), and a large number of subjects. Unlink previous methods, DHA is not limited by a restricted fixed kernel function. Further, it uses a parametric approach, rank-$m$ Singular Value Decomposition (SVD), and stochastic gradient descent for optimization. Therefore, DHA has a suitable time complexity for large datasets, and DHA does not require the training data when it computes the functional alignment for a new subject. Experimental studies on multi-subject fMRI analysis confirm that the DHA method achieves superior performance to other state-of-the-art HA algorithms.


title: A Note on Community Trees in Networks

abstract: We introduce the concept of community trees that summarizes topological structures within a network. A community tree is a tree structure representing clique communities from the clique percolation method (CPM). The community tree also generates a persistent diagram. Community trees and persistent diagrams reveal topological structures of the underlying networks and can be used as visualization tools. We study the stability of community trees and derive a quantity called the total star number (TSN) that presents an upper bound on the change of community trees. Our findings provide a topological interpretation for the stability of communities generated by the CPM.


title: Theta maps for combinatorial Hopf algebras

abstract: There is a very natural and well-behaved Hopf algebra morphism from quasisymmetric functions to peak algebra, which we call it Theta map. This paper focuses on generalizing the peak algebra by constructing generalized Theta maps for an arbitrary combinatorial Hopf algebra. The image of Theta maps lies in the odd Hopf subalgebras, so we present a strategy to find odd Hopf subalgebra of any combinatorial Hopf algebra. We also give a combinatorial description of a family of Theta maps for Malvenuto-Reutenauer Hopf algebra of permutations $\operatorname{\mathsf{\mathfrak{S}Sym}}$ whose images are generalizations of the peak algebra. We also indicate a criterion to check whether a map is a Theta map. Moreover, precise descriptions of the Theta maps for the following Hopf algebras will be presented, Hopf subalgebras of quasisymmetric functions, commutative and co-commutative Hopf algebras, and theta maps for a Hopf algebra $\mathcal{V}$ on permutations.


title: On the first generalized Hilbert coefficient and depth of associated graded rings

abstract: Let $(R,\mathfrak{m})$ be a $d$-dimensional Cohen-Macaulay local ring with infinite residue field. Let $I$ be an ideal of $R$ that has analytic spread $\ell(I)=d$, satisfies the $G_d$ condition, the weak Artin-Nagata property $AN_{d-2}^-$ and depth$(R/I)\geq\min\lbrace 1,\dim R/I \rbrace$. In this paper, we show that if $j_1(I) = \lambda (I/J) +\lambda [R/(J_{d-1} :_{R} I+(J_{d-2} :_{R}I+I) :_R, \mathfrak{m}^\infty)]+1$, then depth$(G(I))\geq d -1$ and $r_J(I)\leq 2$, where $J$ is a general minimal reduction of $I$. In addition, we extend the result by Sally who has studied the depth of associated graded rings and minimal reductions for an $,\mathfrak{m}$-primary ideals.


title: Effect(s) of Cobalt Substitution in $L1_{0}$-(Fe,Co)Pt Thin Films

abstract: We have studied the effect of cobalt substitution in $L1_{0}$-Fe$_{1-x}$Co$_{x}$Pt films by means of x-ray magnetic circular dichroism (XMCD) and first-principles calculations. The magnetic moments of Fe ($\sim$2.5 $\mu_{\rm B}$) and Co ($\sim$1.5 $\mu_{\rm B}$) deduced using XMCD were almost unchanged upon Co doping, and the net magnetization decreases with increasing Co content. Calculation also showed that the 3$d$ electrons that have been added by Co substitution occupy only spin-down bands.


title: A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language

abstract: A number of high-level languages and libraries have been proposed that offer novel and simple to use abstractions for concurrent, asynchronous, and distributed programming. The execution models that realise them, however, often change over time---whether to improve performance, or to extend them to new language features---potentially affecting behavioural and safety properties of existing programs. This is exemplified by SCOOP, a message-passing approach to concurrent object-oriented programming that has seen multiple changes proposed and implemented, with demonstrable consequences for an idiomatic usage of its core abstraction. We propose a semantics comparison workbench for SCOOP with fully and semi-automatic tools for analysing and comparing the state spaces of programs with respect to different execution models or semantics. We demonstrate its use in checking the consistency of properties across semantics by applying it to a set of representative programs, and highlighting a deadlock-related discrepancy between the principal execution models of SCOOP. Furthermore, we demonstrate the extensibility of the workbench by generalising the formalisation of an execution model to support recently proposed extensions for distributed programming. Our workbench is based on a modular and parameterisable graph transformation semantics implemented in the GROOVE tool. We discuss how graph transformations are leveraged to atomically model intricate language abstractions, how the visual yet algebraic nature of the model can be used to ascertain soundness, and highlight how the approach could be applied to similar languages.


title: A DFT+U study of the segregation of Pt to the CeO$_{2-x}$ $\Sigma3[1\bar10]/(111)$ grain boundary

abstract: Grain boundaries (GBs) can be used as traps for solute atoms and defects, and the interaction between segregants and GBs is crucial for understanding the properties of nanocrystalline materials. In this study, we have systematically investigated the tendency of Pt to segregate as well as the interaction between Pt and oxygen vacancies at the sigma 3/(111) GB of ceria (CeO2). The Pt atom has a stronger tendency to segregate to the sigma 3/(111) GB than to the (111) and (110) free-standing surfaces, but the tendency is weaker than to the (100) free-standing surface. Mechanic contributions (lattice distortion) play a dominant role in the strong tendency of Pt to segregate. At the Pt-segregated-GB (Pt@GB), oxygen vacancies prefer to form spontaneously near Pt in the GB region. However, at the pristine GB (no Pt and no vacancies), oxygen vacancies form only under O-poor conditions. Thus, Pt segregation to the GB promotes the formation of oxygen vacancies, and their strong interactions enhance the interfacial cohesion. We propose that GBs fabricated close to the surfaces of nanocrystalline ceria can trap Pt from the bulk or other types of surface, resulting in the suppression of the accumulation of Pt on the surface under redox reactions, especially under O-poor conditions.


title: Galactic Outflows by Alfv\'enic Poynting Flux: Application to Fermi Bubbles

abstract: We investigate roles of magnetic activity in the Galactic bulge region in driving large-scale outflows of size $\sim 10$ kpc. Magnetic buoyancy and breakups of channel flows formed by magnetorotational instability excite Poynting flux by the magnetic tension force. A three-dimensional global numerical simulation shows that the average luminosity of such \Alfvenic Poynting flux is $10^{40} - 10^{41}$ erg s$^{-1}$. We examine the energy and momentum transfer from the Poynting flux to the gas by solving time-dependent hydrodynamical simulations with explicitly taking into account low-frequency \Alfvenic waves of period of 0.5 Myr in a one-dimensional vertical magnetic flux tube. The \Alfvenic waves propagate upward into the Galactic halo, and they are damped through the propagation along meandering magnetic field lines. If the turbulence is nearly trans-Alfv\'{e}nic, the wave damping is significant, which leads to the formation of an upward propagating shock wave. At the shock front, the temperature $\gtrsim 5\times 10^6$ K, the density $\approx 6\times 10^{-4}$ cm$^{-3}$, and the outflow velocity $\approx 400-500$ km s$^{-1}$ at a height $\approx 10$ kpc, which reasonably explain the basic physical properties of the thermal component of the Fermi bubbles.


title: Vertex-flames in countable rooted digraphs preserving an Erd\H{o}s-Menger separation for each vertex

abstract: It follows from a theorem of Lov\'asz that if $ D $ is a finite digraph with $ r\in V(D) $ then there is a spanning subdigraph $ E $ of $ D $ such that for every vertex $ v\neq r $ the following quantities are equal: the local connectivity from $ r $ to $ v $ in $ D $, the local connectivity from $ r $ to $ v $ in $ E $ and the indegree of $ v $ in $ E $. In infinite combinatorics cardinality is often an overly rough measure to obtain deep results and it is more fruitful to capture structural properties instead of just equalities between certain quantities. The best known example for such a result is the generalization of Menger's theorem to infinite digraphs. We generalize the result of Lov\'asz above in this spirit. Our main result is that every countable $ r $-rooted digraph $ D $ has a spanning subdigraph $ E $ with the following property. For every $ v\neq r $, $ E $ contains a system $ \mathcal{R}_v $ of internally disjoint $ r\rightarrow v $ paths such that the ingoing edges of $ v $ in $ E $ are exactly the last edges of the paths in $ \mathcal{R}_v $. Furthermore, the path-system $ \mathcal{R}_v $ is `big' in $ D $ in the Erd\H{o}s-Menger sense, i.e., one can choose from each path in $ \mathcal{R}_{v} $ either an edge or an internal vertex in such a way that a resulting set separates $ v $ from $ r $ in $ D $.


title: Continuous-time DC kernel --- a stable generalized first-order spline kernel

abstract: The stable spline (SS) kernel and the diagonal correlated (DC) kernel are two kernels that have been applied and studied extensively for kernel-based regularized LTI system identification. In this note, we show that similar to the derivation of the SS kernel, the continuous-time DC kernel can be derived by applying the same "stable" coordinate change to a "generalized" first-order spline kernel, and thus can be interpreted as a stable generalized first-order spline kernel. This interpretation provides new facets to understand the properties of the DC kernel. In particular, we derive a new orthonormal basis expansion of the DC kernel, and the explicit expression of the norm of the RKHS associated with the DC kernel. Moreover, for the non-uniformly sampled DC kernel, we derive its maximum entropy property and show that its kernel matrix has tridiagonal inverse.


title: Strong decays of $D_J(3000)$ and $D_{sJ}(3040)$

abstract: In this paper, we systematically calculate two-body strong decays of newly observed $D_J(3000)$ and $D_{sJ}(3040)$ with 2P$(1^+)$ and 2P$(1^{+\prime})$ assignments in an instantaneous approximation of the Bethe-Salpeter equation method. Our results show that both resonances can be explained as the 2P$(1^{+'})$ with broad width via $^3P_1$ and $^1P_1$ mixing in $D$ and $D_s$ families. For $D_J(3000)$, the total width is 229.6 MeV in our calculation, close to the upper limit of experimental data, and the dominant decay channels are $D_2^*\pi$, $D^*\pi$, and $D^*(2600)\pi$. For $D_{sJ}(3040)$, the total width is 157.4 MeV in our calculation, close to the lower limit of experimental data, and the dominant channels are $D^*K$ and $D^*K^*$. These results are consistent with observed channels in experiments. Given the very little information that has been obtained from experiments and the large error bars of the total decay widths, we recommend the detection of dominant channels in our calculation.


title: Anomalies involving the space of couplings and the Zamolodchikov metric

abstract: The anomaly polynomial of a theory can involve not only curvature two-forms of the flavor symmetry background but also two-forms on the space of coupling constants. As an example, we point out that there is a mixed anomaly between the R-symmetry and the topology of the space of exactly marginal couplings of class S theories. Using supersymmetry, we translate this anomaly to the K\"ahler class of the Zamolodchikov metric. We compare the result against a holographic computation in the large N limit. In an appendix, we explain how to obtain the bosonic components in the supergravity completion of the curvature squared terms using compatibility with the topological twist.


title: Injectivity of the connecting homomorphisms

abstract: Let $A$ be the inductive limit of a sequence $$A_1\, \xrightarrow{\phi_{1,2}} \,A_2\,\xrightarrow{\phi_{2,3}} \,A_3\rightarrow\cdots$$ with $A_n=\oplus_{i=1}^{n_i}A_{[n,i]}$, where all the $A_{[n,i]}$ are Elliott-Thomsen algebras and $\phi_{n,n+1}$ are homomorphisms, in this paper, we will prove that $A$ can be written as another inductive limit $$B_1\,\xrightarrow{\psi_{1,2}} \,B_2\,\xrightarrow{\psi_{2,3}} \,B_3\rightarrow\cdots$$ with $B_n=\oplus_{i=1}^{n_i}B_{[n,i]}$, where all the $B_{[n,i]}$ are Elliott-Thomsen building blocks and with the extra condition that all the $\phi_{n,n+1}$ are injective.


title: Stability of periodic waves in Hamiltonian PDEs of either long wavelength or small amplitude

abstract: Stability criteria have been derived and investigated in the last decades for many kinds of periodic traveling wave solutions to Hamiltonian PDEs. They turned out to depend in a crucial way on the negative signature of the Hessian matrix of action integrals associated with those waves. In a previous paper (Nonlinearity 2016), the authors addressed the characterization of stability of periodic waves for a rather large class of Hamiltonian partial differential equations that includes quasilinear generalizations of the Korteweg--de Vries equation and dispersive perturbations of the Euler equations for compressible fluids, either in Lagrangian or in Eulerian coordinates. They derived a sufficient condition for orbital stability with respect to co-periodic perturbations, and a necessary condition for spectral stability, both in terms of the negative signature - or Morse index - of the Hessian matrix of the action integral. Here the asymptotic behavior of this matrix is investigated in two asymptotic regimes, namely for small amplitude waves and for waves approaching a solitary wave as their wavelength goes to infinity. The special structure of the matrices involved in the expansions makes possible to actually compute the negative signature of the action Hessian both in the harmonic limit and in the soliton limit. As a consequence, it is found that nondegenerate small amplitude waves are orbitally stable with respect to co-periodic perturbations in this framework. For waves of long wavelength, the negative signature of the action Hessian is found to be exactly governed by the second derivative with respect to the wave speed of the Boussinesq momentum associated with the limiting solitary wave.


title: PRM-RL: Long-range Robotic Navigation Tasks by Combining Reinforcement Learning and Sampling-based Planning

abstract: We present PRM-RL, a hierarchical method for long-range navigation task completion that combines sampling based path planning with reinforcement learning (RL). The RL agents learn short-range, point-to-point navigation policies that capture robot dynamics and task constraints without knowledge of the large-scale topology. Next, the sampling-based planners provide roadmaps which connect robot configurations that can be successfully navigated by the RL agent. The same RL agents are used to control the robot under the direction of the planning, enabling long-range navigation. We use the Probabilistic Roadmaps (PRMs) for the sampling-based planner. The RL agents are constructed using feature-based and deep neural net policies in continuous state and action spaces. We evaluate PRM-RL, both in simulation and on-robot, on two navigation tasks with non-trivial robot dynamics: end-to-end differential drive indoor navigation in office environments, and aerial cargo delivery in urban environments with load displacement constraints. Our results show improvement in task completion over both RL agents on their own and traditional sampling-based planners. In the indoor navigation task, PRM-RL successfully completes up to 215 m long trajectories under noisy sensor conditions, and the aerial cargo delivery completes flights over 1000 m without violating the task constraints in an environment 63 million times larger than used in training.


title: Fermi surface with Dirac fermions in CaFeAsF determined via quantum oscillation measurements

abstract: Despite the fact that 1111-type iron arsenides hold the record transition temperature of iron-based superconductors, their electronic structures have not been studied much because of the lack of high-quality single crystals. In this study, we completely determine the Fermi surface in the antiferromagnetic state of CaFeAsF, a 1111 iron-arsenide parent compound, by performing quantum oscillation measurements and band-structure calculations. The determined Fermi surface consists of a symmetry-related pair of Dirac electron cylinders and a normal hole cylinder. From analyses of quantum-oscillation phases, we demonstrate that the electron cylinders carry a nontrivial Berry phase $\pi$. The carrier density is of the order of 10$^{-3}$ per Fe. This unusual metallic state with the extremely small carrier density is a consequence of the previously discussed topological feature of the band structure which prevents the antiferromagnetic gap from being a full gap. We also report a nearly linear-in-$B$ magnetoresistance and an anomalous resistivity increase above about 30 T for $B \parallel c$, the latter of which is likely related to the quantum limit of the electron orbit. Intriguingly, the electrical resistivity exhibits a nonmetallic temperature dependence in the paramagnetic tetragonal phase ($T >$ 118 K), which may suggest an incoherent state. Our study provides a detailed knowledge of the Fermi surface in the antiferromagnetic state of 1111 parent compounds and moreover opens up a new possibility to explore Dirac-fermion physics in those compounds.


title: Nonlocal operators of order near zero

abstract: We study Dirichlet forms defined by nonintegrable L\'evy kernels whose singularity at the origin can be weaker than that of any fractional Laplacian. We show some properties of the associated Sobolev type spaces in a bounded domain, such as symmetrization estimates, Hardy inequalities, compact inclusion in $L^2$ or the inclusion in some Lorentz space. We then apply those properties to study the associated nonlocal operator $\mathfrak{L}$ and the Dirichlet and Neumann problems related to the equations $\mathfrak{L}u=f(x)$ and $\mathfrak{L}u=f(u)$ in $\Omega$.


title: Subdomain Deflation Combined with Local AMG: a Case Study Using AMGCL Library

abstract: The paper proposes a combination of the subdomain deflation method and local algebraic multigrid as a scalable distributed memory preconditioner that is able to solve large linear systems of equations. The implementation of the algorithm is made available for the community as part of an open source AMGCL library. The solution targets both homogeneous (CPU-only) and heterogeneous (CPU/GPU) systems, employing hybrid MPI/OpenMP approach in the former and a combination of MPI, OpenMP, and CUDA in the latter cases. The use of OpenMP minimizes the number of MPI processes, thus reducing the communication overhead of the deflation method and improving both weak and strong scalability of the preconditioner. The examples of scalar, Poisson-like, systems as well as non-scalar problems, stemming out of the discretization of the Navier-Stokes equations, are considered in order to estimate performance of the implemented algorithm. A comparison with a traditional global AMG preconditioner based on a well-established Trilinos ML package is provided.


title: The Adler $D$-function for ${\cal N}=1$ SQCD regularized by higher covariant derivatives in the three-loop approximation

abstract: We calculate the Adler $D$-function for ${\cal N}=1$ SQCD in the three-loop approximation using the higher covariant derivative regularization and the NSVZ-like subtraction scheme. The recently formulated all-order relation between the Adler function and the anomalous dimension of the matter superfields defined in terms of the bare coupling constant is first considered and generalized to the case of an arbitrary representation for the chiral matter superfields. The correctness of this all-order relation is explicitly verified at the three-loop level. The special renormalization scheme in which this all-order relation remains valid for the $D$-function and the anomalous dimension defined in terms of the renormalized coupling constant is constructed in the case of using the higher derivative regularization. The analytic expression for the Adler function for ${\cal N}=1$ SQCD is found in this scheme to the order $O(\alpha_s^2)$. The problem of scheme-dependence of the $D$-function and the NSVZ-like equation is briefly discussed.


title: When is Network Lasso Accurate: The Vector Case

abstract: A recently proposed learning algorithm for massive network-structured data sets (big data over networks) is the network Lasso (nLasso), which extends the well- known Lasso estimator from sparse models to network-structured datasets. Efficient implementations of the nLasso have been presented using modern convex optimization methods. In this paper, we provide sufficient conditions on the network structure and available label information such that nLasso accurately learns a vector-valued graph signal (representing label information) from the information provided by the labels of a few data points.


title: Supergiant Fast X-ray Transients - a short review

abstract: I present a brief up-to-date review of the current understanding of Supergiant Fast X-ray Transients, with an emphasis on the observational point of view. After more than a decade since their discovery, a remarkable progress has been made in getting the picture of their phenomenology at X-ray energies. However, a similar in-depth investigation of the properties of the supergiant companions is needed, but has started more recently. A multifrequency approach is the key to fully understand the physical mechanism driving the SFXT behaviour, still under debate.


title: A Pulsational Time-evolution Study for the $\delta$ Scuti Star AN Lyncis

abstract: This paper presents a large amount of observations for the $\delta$ Scuti star AN Lyncis carried out in 2001--2012. The extensive observations include two tri-continent campaigns coordinated in 2002 and 2011, respectively, and several single-site contributions throughout the period. The data in total have more than 104100 raw CCD frames and photoelectric records, which consist of 165 nights (about 816 hours) spanning over 3778 days. The final reduced light curves have more than 26500 data points (including those 3462 unpublished BYU data), from which we determined 306 new timings of maximum light. A time-dependent behaviour study based on all available data indicates cyclic amplitude variability as well as period change [for the main periodicity]. Orbital sinusoid fittings to $(O-C)$ residuals and pulsation amplitudes may account for their variations being caused by the light-time effect of AN Lyn in a binary system. The orbital period is about 26--30 years. Current results support the binarity of AN Lyn, first suspected by Zhou (2002). We further show the detailed time evolution structure of the pulsation of AN Lyn as function of both time and period through wavelet analyses.


title: Direct couplings of mimetic dark matter and their cosmological effects

abstract: The original mimetic model was proposed to take the role of dark matter. In this paper we consider possible direct interactions of the mimetic dark matter with other matter in the universe, especially the standard model particles such as baryons and photons. By imposing shift symmetry, the mimetic dark matter field can only have derivative couplings. We discuss the possibilities of generating baryon number asymmetry and cosmic birefringence in the universe based on the derivative couplings of the mimetic dark matter to baryons and photons.


title: Dynamics, numerical analysis, and some geometry

abstract: Geometric aspects play an important role in the construction and analysis of structure-preserving numerical methods for a wide variety of ordinary and partial differential equations. Here we review the development and theory of symplectic integrators for Hamiltonian ordinary and partial differential equations, of dynamical low-rank approximation of time-dependent large matrices and tensors, and its use in numerical integrators for Hamiltonian tensor network approximations in quantum dynamics.


title: Probing Dark Matter Long-lived Mediators with Solar $\gamma$ rays

abstract: We show that solar $\gamma$-ray observations can provide a complementary probe of Dark Matter in scenarios where the interactions with the Standard Model proceed via long-lived mediators. For illustration we consider a simplified model which provides solar $\gamma$-ray fluxes observable with the next generation $\gamma$-ray telescopes, while complying with the existing experimental constraints. Our results suggest that solar $\gamma$-ray fluxes can be orders of magnitude larger than the ones from the Galactic center, while being subject to low backgrounds.


title: Temporal and Physical Reasoning for Perception-Based Robotic Manipulation

abstract: Accurate knowledge of object poses is crucial to successful robotic manipulation tasks, and yet most current approaches only work in laboratory settings. Noisy sensors and cluttered scenes interfere with accurate pose recognition, which is problematic especially when performing complex tasks involving object interactions. This is because most pose estimation algorithms focus only on estimating objects from a single frame, which means they lack continuity between frames. Further, they often do not consider resulting physical properties of the predicted scene such as intersecting objects or objects in unstable positions. In this work, we enhance the accuracy and stability of estimated poses for a whole scene by enforcing these physical constraints over time through the integration of a physics simulation. This allows us to accurately determine relationships between objects for a construction task. Scene parsing performance was evaluated on both simulated and real- world data. We apply our method to a real-world block stacking task, where the robot must build a tall tower of colored blocks.


title: Alternate Derivation of Geometric Extended Kalman Filter by MEKF Approach

abstract: This note is devoted to deriving the measurement update of the geometric extended Kalman filter using the multiplicative extended Kalman filtering approach, resulting in the attitude estimator referred as geometric multiplicative extended Kalman filter. The equivalence of the derived geometric multiplicative extended Kalman filter and geometric extended Kalman filter is also demonstrated in this note.


title: CHSH inequality test via disturbance-free measurement

abstract: We propose disturbance-free measurement using a "weak-value" scheme, in which a weakly measured quantum system is post-selected (to the initial state) to confirm that there is no disturbance. The probability of obtaining the non-disturbed state is asymptotically close to unity. We theoretically show that outcomes of the disturbance-free measurement for a two-qubit state satisfy the Clauser--Horne--Shimony--Holt inequality. We experimentally demonstrate the test for a typical (maximally entangled) two-qubit state based on a linear optical system. In experiments, polarization-entangled photon-pairs generated by the spontaneous parametric down-conversion process are measured by instruments such as strength-variable polarization-measurement apparatuses and a fiber-based Bell state analyzer.


title: Measurement of the Effective Weak Mixing Angle in $p\bar{p}\rightarrow Z/\gamma^* \rightarrow \ell^+\ell^-$ Events

abstract: We present a measurement of the effective weak mixing angle parameter $\sin^2\theta_\text{eff}^{\ell}$, in $p\bar{p}\rightarrow Z/\gamma^* \rightarrow \mu^+\mu^-$ events at a center of mass energy of 1.96 TeV, collected by the D0 detector at the Fermilab Tevatron Collider and corresponding to 8.6 fb$^{-1}$ of integrated luminosity. The measured value of $\sin^2\theta_\text{eff}^{\ell}[\mu\mu]=0.23016 \pm 0.00064$ is further combined with the result from the D0 measurement in $p\bar{p}\rightarrow Z/\gamma^{*}\rightarrow e^{+} e^{-}$ events, resulting in $\sin^2\theta_\text{eff}^{\ell} [\text{comb.}]=0.23095 \pm 0.00040$. This combined result is the most precise measurement from a single experiment at a hadron collider and is the most precise determination using the coupling of the $Z/\gamma^*$ to light quarks.


title: The Isoperimetric Inequality for Compact Rank One Symmetric Spaces and Beyond

abstract: Klartag's needle decomposition technique enables one to obtain strong isoperimetric inequalities on Riemannian manifolds other than the classical known examples. As a result, in this paper, we obtain sharp isoperimetric inequalities for compact rank one symmetric spaces (CROSS). Namely, for the real projective space $\mathbb{R}P^n$, we demonstrate that the isoperimetric regions are given by either the geodesic balls or tubes around some $\mathbb{R}P^k\subset\mathbb{R}P^n$. For the complex projective space $\mathbb{C}P^n$, the isoperimetric regions are given by either the geodesic balls or tubes around some $\mathbb{C}P^k\subset\mathbb{C}P^n$. And for the quaternionic projective space, the isoperimetric regions are given by either the geodesic balls or tubes around some $\mathbb{H}P^k\subset\mathbb{H}P^n$.


title: One-step Estimation of Networked Population Size: Respondent-Driven Capture-Recapture with Anonymity

abstract: Population size estimates for hidden and hard-to-reach populations are particularly important when members are known to suffer from disproportion health issues or to pose health risks to the larger ambient population in which they are embedded. Efforts to derive size estimates are often frustrated by a range of factors that preclude conventional survey strategies, including social stigma associated with group membership or members' involvement in illegal activities. This paper extends prior research on the problem of network population size estimation, building on established survey/sampling methodologies commonly used with hard-to-reach groups. Three novel one-step, network-based population size estimators are presented, to be used in the context of uniform random sampling, respondent-driven sampling, and when networks exhibit significant clustering effects. Provably sufficient conditions for the consistency of these estimators (in large configuration networks) are given. Simulation experiments across a wide range of synthetic network topologies validate the performance of the estimators, which are seen to perform well on a real-world location-based social networking data set with significant clustering. Finally, the proposed schemes are extended to allow them to be used in settings where participant anonymity is required. Systematic experiments show favorable tradeoffs between anonymity guarantees and estimator performance. Taken together, we demonstrate that reasonable population estimates can be derived from anonymous respondent driven samples of 250-750 individuals, within ambient populations of 5,000-40,000. The method thus represents a novel and cost-effective means for health planners and those agencies concerned with health and disease surveillance to estimate the size of hidden populations. Limitations and future work are discussed in the concluding section.


title: Decision support from financial disclosures with deep neural networks and transfer learning

abstract: Company disclosures greatly aid in the process of financial decision-making; therefore, they are consulted by financial investors and automated traders before exercising ownership in stocks. While humans are usually able to correctly interpret the content, the same is rarely true of computerized decision support systems, which struggle with the complexity and ambiguity of natural language. A possible remedy is represented by deep learning, which overcomes several shortcomings of traditional methods of text mining. For instance, recurrent neural networks, such as long short-term memories, employ hierarchical structures, together with a large number of hidden layers, to automatically extract features from ordered sequences of words and capture highly non-linear relationships such as context-dependent meanings. However, deep learning has only recently started to receive traction, possibly because its performance is largely untested. Hence, this paper studies the use of deep neural networks for financial decision support. We additionally experiment with transfer learning, in which we pre-train the network on a different corpus with a length of 139.1 million words. Our results reveal a higher directional accuracy as compared to traditional machine learning when predicting stock price movements in response to financial disclosures. Our work thereby helps to highlight the business value of deep learning and provides recommendations to practitioners and executives.


title: Hyperbolic components and cubic polynomials

abstract: In the space of cubic polynomials, Milnor defined a notable curve $\mathcal S_p$, consisting of cubic polynomials with a periodic critical point, whose period is exactly $p$. In this paper, we show that for any integer $p\geq 1$, any bounded hyperbolic component on $\mathcal{S}_p$ is a Jordan disk.


title: 3D Printing of 2D Atomically Thin Materials

abstract: The emerging new paradigm of technologies, the internet of things, entails a process of device miniaturization to combine several functional components, such as sensors, actuators, and powering elements, in a single individual on-chip platform. An essential requirement is for the devices to have a small footprint and thus to be extended over three-dimensions to present adequate performance. A suitable technique to realize devices of complex architectures and virtually any size is three-dimensional printing. So far its use has seen applications exclusively at the macroscale. Here we report the first 3D printed architectures via robocasting of two-dimensional atomically thin transition metal dichalcogenides demonstrating their use as miniaturizable supercapacitors. The structures are fabricated via direct printing of a liquid ink of chemically exfoliated 2D nanosheets. The 3D printed architectures present footprints in the mm2 scale and micron-sized features and they demonstrate mechanical robustness and chemical stability. They exhibit areal capacitance of 1450 mF/cm2, rivalling and surpassing comparable devices. Microsupercapacitors comprising two-dimensional atomically thin sheets can enable miniaturization and upscaleable production technologies for wide-scale adoption.


title: DailyDialog: A Manually Labelled Multi-turn Dialogue Dataset

abstract: We develop a high-quality multi-turn dialog dataset, DailyDialog, which is intriguing in several aspects. The language is human-written and less noisy. The dialogues in the dataset reflect our daily communication way and cover various topics about our daily life. We also manually label the developed dataset with communication intention and emotion information. Then, we evaluate existing approaches on DailyDialog dataset and hope it benefit the research field of dialog systems.


title: Detect to Track and Track to Detect

abstract: Recent approaches for high accuracy detection and tracking of object categories in video consist of complex multistage solutions that become more cumbersome each year. In this paper we propose a ConvNet architecture that jointly performs detection and tracking, solving the task in a simple and effective way. Our contributions are threefold: (i) we set up a ConvNet architecture for simultaneous detection and tracking, using a multi-task objective for frame-based object detection and across-frame track regression; (ii) we introduce correlation features that represent object co-occurrences across time to aid the ConvNet during tracking; and (iii) we link the frame level detections based on our across-frame tracklets to produce high accuracy detections at the video level. Our ConvNet architecture for spatiotemporal object detection is evaluated on the large-scale ImageNet VID dataset where it achieves state-of-the-art results. Our approach provides better single model performance than the winning method of the last ImageNet challenge while being conceptually much simpler. Finally, we show that by increasing the temporal stride we can dramatically increase the tracker speed.


title: Deep learning in remote sensing: a review

abstract: Standing at the paradigm shift towards data-intensive science, machine learning techniques are becoming increasingly important. In particular, as a major breakthrough in the field, deep learning has proven as an extremely powerful tool in many fields. Shall we embrace deep learning as the key to all? Or, should we resist a 'black-box' solution? There are controversial opinions in the remote sensing community. In this article, we analyze the challenges of using deep learning for remote sensing data analysis, review the recent advances, and provide resources to make deep learning in remote sensing ridiculously simple to start with. More importantly, we advocate remote sensing scientists to bring their expertise into deep learning, and use it as an implicit general model to tackle unprecedented large-scale influential challenges, such as climate change and urbanization.


title: Grid peeling and the affine curve-shortening flow

abstract: In this paper we study an experimentally-observed connection between two seemingly unrelated processes, one from computational geometry and the other from differential geometry. The first one (which we call "grid peeling") is the convex-layer decomposition of subsets $G\subset \mathbb Z^2$ of the integer grid, previously studied for the particular case $G=\{1,\ldots,m\}^2$ by Har-Peled and Lidick\'y (2013). The second one is the affine curve-shortening flow (ACSF), first studied by Alvarez et al. (1993) and Sapiro and Tannenbaum (1993). We present empirical evidence that, in a certain well-defined sense, grid peeling behaves at the limit like ACSF on convex curves. We offer some theoretical arguments in favor of this conjecture. We also pay closer attention to the simple case where $G=\mathbb N^2$ is a quarter-infinite grid. This case corresponds to ACSF starting with an infinite L-shaped curve, which when transformed using the ACSF becomes a hyperbola for all times $t>0$. We prove that, in the grid peeling of $\mathbb N^2$, (1) the number of grid points removed up to iteration $n$ is $\Theta(n^{3/2}\log n)$; and (2) the boundary at iteration $n$ is sandwiched between two hyperbolas that are separated from each other by a constant factor.


title: The double-degenerate model for the progenitors of type Ia supernovae

abstract: The double-degenerate (DD) model, involving the merging of massive double carbon-oxygen white dwarfs (CO WDs) driven by gravitational wave radiation, is one of the classical pathways for the formation of type Ia supernovae (SNe Ia). Recently, it has been proposed that the WD+He subgiant channel has a significant contribution to the production of massive double WDs, in which the primary WD accumulates mass by accreting He-rich matter from a He subgiant. We evolved about 1800 CO WD+He star systems and obtained a large and dense grid for producing SNe Ia through the DD model. We then performed a series of binary population synthesis simulations for the DD model, in which the WD+He subgiant channel is calculated by interpolations in this grid. According to our standard model, the Galactic birthrate of SNe Ia is about 2.4*10^{-3} yr^{-1} for the WD+He subgiant channel of the DD model; the total birthrate is about 3.7*10^{-3} yr^{-1} for all channels, reproducing that of observations. Previous theoretical models still have deficit with the observed SNe Ia with delay times <1 Gyr and >8 Gyr. After considering the WD+He subgiant channel, we found that the delay time distributions is comparable with the observed results. Additionally, some recent studies proposed that the violent WD mergers are more likely to produce SNe Ia based on the DD model. We estimated that the violent mergers through the DD model may only contribute to about 16% of all SNe Ia.


title: Uniaxial stress flips the natural quantization axis of a quantum dot for integrated quantum photonics

abstract: The optical selection rules in epitaxial quantum dots are strongly influenced by the orientation of their natural quantization axis, which is usually parallel to the growth direction. This configuration is well suited for vertically emitting devices, but not for planar photonic circuits because of the poorly controlled orientation of the transition dipoles in the growth plane. Here we show that the quantization axis of gallium arsenide dots can be flipped into the growth plane via moderate in plane uniaxial stress. By using piezoelectric strain actuators featuring strain-amplification we study the evolution of the selection rules and excitonic fine-structure in a regime, in which quantum confinement can be regarded as a perturbation compared to strain in determining the symmetry properties of the system. The experimental and computational results suggest that uniaxial stress, may be the right tool to obtain quantum light sources with ideally oriented transition dipoles and enhanced oscillator strengths for integrated quantum photonics.


title: Infinitesimal and local rigidity of mappings of CR manifolds

abstract: A holomorphic mapping $H$ between two real-analytic CR manifolds $M$ and $M'$ is said to be locally rigid if any other holomorphic map $F\colon M \to M'$ which is close enough to $H$ is obtained by composing $H$ with suitable automorphisms of $M$ and $M'$. With the aim of reducing the local rigidity problem to a linear one, we provide sufficient infinitesimal conditions. Furthermore we study some topological properties of the action of the automorphism group on the space of nondegenerate mappings from $M$ to $M'$.


title: The role of the triangle singularity in $\Lambda(1405)$ production in the $\pi^-p\rightarrow K^0\pi\Sigma$ and $pp\rightarrow pK^+\pi\Sigma$ processes

abstract: We have investigated the cross section for the $\pi^-p\rightarrow K^0\pi\Sigma$ and $pp\rightarrow pK^+\pi\Sigma$ reactions paying attention to a mechanism that develops a triangle singularity. The triangle diagram is realized by the decay of a $N^*$ to $K^*\Sigma$ and the $K^*$ decay into $\pi K$, and the $\pi\Sigma$ finally merges into $\Lambda(1405)$. The mechanism is expected to produce a peak around $2140$ MeV in the $K\Lambda(1405)$ invariant mass. We found that a clear peak appears around $2100$ MeV in the $K\Lambda(1405)$ invariant mass which is about $40$ MeV lower than the expectation, and that is due to the resonance peak of a $N^*$ resonance which plays a crucial role in the $K^*\Sigma$ production. The mechanism studied produces the peak of the $\Lambda(1405)$ around or below 1400 MeV, as is seen in the $pp\rightarrow pK^+\pi\Sigma$ HADES experiment.


title: The progenitors of type Ia supernovae in the semidetached binaries with red giant donors

abstract: Context. The companions of the exploding carbon-oxygen white dwarfs (CO WDs) for producing type Ia supernovae (SNe Ia) are still not conclusively confirmed. A red-giant (RG) star has been suggested to be the mass donor of the exploding WD, named as the symbiotic channel. However, previous studies on the this channel gave a relatively low rate of SNe Ia. Aims. We aim to systematically investigate the parameter space, Galactic rates and delay time distributions of SNe Ia from the symbiotic channel by employing a revised mass-transfer prescription. Methods. We adopted an integrated mass-transfer prescription to calculate the mass-transfer process from a RG star onto the WD. In this prescription, the mass-transfer rate varies with the local material states. Results. We evolved a large number of WD+RG systems, and found that the parameter space of WD+RG systems for producing SNe Ia is significantly enlarged. This channel could produce SNe Ia with intermediate and old ages, contributing to at most 5% of all SNe Ia in the Galaxy. Our model increases the SN Ia rate from this channel by a factor of 5. We suggest that the symbiotic systems RS Oph and T CrB are strong candidates for the progenitors of SNe Ia.


title: Origin and scaling of chaos in weakly coupled phase oscillators

abstract: We discuss the behavior of the largest Lyapunov exponent $\lambda$ in the incoherent phase of large ensembles of heterogeneous, globally-coupled, phase oscillators. We show that the scaling with the system size $N$ depends on the details of the spacing distribution of the oscillator frequencies. For sufficiently regular distributions $\lambda \sim 1/N$, while for strong fluctuations of the frequency spacing, $\lambda \sim \ln N/N$ (the standard setup of independent identically distributed variables belongs to the latter class). In spite of the coupling being small for large $N$, the development of a rigorous perturbative theory is not obvious. In fact, our analysis relies on a combination of various types of numerical simulations together with approximate analytical arguments, based on a suitable stochastic approximation for the tangent space evolution. In fact, the very reason for $\lambda$ being strictly larger than zero is the presence of finite size fluctuations. We trace back the origin of the logarithmic correction to a weak synchronization between tangent and phase space dynamics.


title: Two-dimensional electron gas at the interface of the ferroelectric-antiferromagnetic heterostructure Ba_0.8Sr_0.2TiO_3/LaMnO_3

abstract: The temperature dependence of the electrical resistivity of the heterostructures consisting of single crystalline LaMnO$_3$ samples with different crystallographic orientations covered by the epitaxial ferroelectric Ba$_{0.8}$Sr$_{0.2}$TiO$_3$ film has been studied. Results obtained for the heterostructure have been compared with the electrical resistivity of the single crystalline LaMnO$_3$ without the film. It was found that for the samples with the films where the polarization axis is perpendicular to the crystal surface the electrical resistivity strongly decreases, and at the temperature below ~160 K undergoes the insulator-metal transition. Ab-initio calculations were also performed for the structural and electronic properties of the BaTiO$_3$/LaMnO$_3$ heterostructure. Transition to the 2D electron gas at the interface is shown.


title: Practical quantum somewhat-homomorphic encryption with coherent states

abstract: We present a scheme for implementing homomorphic encryption on coherent states encoded using phase-shift keys. The encryption operations require only rotations in phase space, which commute with computations in the codespace performed via passive linear optics, and with generalized non-linear phase operations that are polynomials of the photon-number operator in the codespace. This encoding scheme can thus be applied to any computation with coherent state inputs, and the computation proceeds via a combination of passive linear optics and generalized non-linear phase operations. An example of such a computation is matrix multiplication, whereby a vector representing coherent state amplitudes is multiplied by a matrix representing a linear optics network, yielding a new vector of coherent state amplitudes. By finding an orthogonal partitioning of the support of our encoded states, we quantify the security of our scheme via the indistinguishability of the encrypted codewords. Whilst we focus on coherent state encodings, we expect that this phase-key encoding technique could apply to any continuous-variable computation scheme where the phase-shift operator commutes with the computation.


title: A complete study of the precision of the concentric MacLaurin spheroid method to calculate Jupiter's gravitational moments

abstract: A few years ago, Hubbard (2012, 2013) presented an elegant, non-perturbative method, called concentric MacLaurin spheroid (CMS), to calculate with very high accuracy the gravitational moments of a rotating fluid body following a barotropic pressure-density relationship. Having such an accurate method is of great importance for taking full advantage of the Juno mission, and its extremely precise determination of Jupiter gravitational moments, to better constrain the internal structure of the planet. Recently, several authors have applied this method to the Juno mission with 512 spheroids linearly spaced in altitude. We demonstrate in this paper that such calculations lead to errors larger than Juno's error bars, invalidating the aforederived Jupiter models at the level required by Juno's precision. We show that, in order to fulfill Juno's observational constraints, at least 1500 spheroids must be used with a cubic, square or exponential repartition, the most reliable solutions. When using a realistic equation of state instead of a polytrope, we highlight the necessity to properly describe the outermost layers to derive an accurate boundary condition, excluding in particular a zero pressure outer condition. Providing all these constraints are fulfilled, the CMS method can indeed be used to derive Jupiter models within Juno's present observational constraints. However, we show that the treatment of the outermost layers leads to irreducible errors in the calculation of the gravitational moments and thus on the inferred physical quantities for the planet. We have quantified these errors and evaluated the maximum precision that can be reached with the CMS method in the present and future exploitation of Juno's data.


title: On a Reaction-Cross-Diffusion System Modelling the Growth of Glioblastoma

abstract: We investigate a recently proposed cross-diffusion system modelling the growth of gliobastoma taking into account size exclusion both in the migration and proliferation process. In addition to degenerate nonlinear cross-diffusion the model includes reaction terms as in the Fisher-Kolmogorov equation and linear ones modelling transition between states of proliferation and migration. We discuss the mathematical structure of the system and provide a complete existence analysis in spatial dimension one. The proof is based on exploiting partial entropy dissipation techniques and fully implicit time discretisations. In order to prove existence of the latter appropriate variational and fixed-point techniques are used, together with suitable a-priori estimates. Moreover, we review the existence of travelling waves and their relation to potential growth or decay of glioblastoma. Finally we provide extensive numerical studies in one and two spatial dimensions, including the effect of anisotropic diffusions as found in neural tissues.


title: Adaptive multi-penalty regularization based on a generalized Lasso path

abstract: For many algorithms, parameter tuning remains a challenging and critical task, which becomes tedious and infeasible in a multi-parameter setting. Multi-penalty regularization, successfully used for solving undetermined sparse regression of problems of unmixing type where signal and noise are additively mixed, is one of such examples. In this paper, we propose a novel algorithmic framework for an adaptive parameter choice in multi-penalty regularization with a focus on the correct support recovery. Building upon the theory of regularization paths and algorithms for single-penalty functionals, we extend these ideas to a multi-penalty framework by providing an efficient procedure for the construction of regions containing structurally similar solutions, i.e., solutions with the same sparsity and sign pattern, over the whole range of parameters. Combining this with a model selection criterion, we can choose regularization parameters in a data-adaptive manner. Another advantage of our algorithm is that it provides an overview on the solution stability over the whole range of parameters. This can be further exploited to obtain additional insights into the problem of interest. We provide a numerical analysis of our method and compare it to the state-of-the-art single-penalty algorithms for compressed sensing problems in order to demonstrate the robustness and power of the proposed algorithm.


title: On exceptional collections of line bundles on weak del Pezzo surfaces

abstract: We study full exceptional collections of line bundles on surfaces. We prove that any full strong exceptional collection of line bundles on a weak del Pezzo surface of degree $\ge 3$ is an augmentation in the sense of L.Hille and M.Perling, while for some weak del Pezzo surfaces of degree $2$ the above is not true. We classify smooth projective surfaces possessing a cyclic strong exceptional collection of line bundles of maximal length: we prove that they are weak del Pezzo surfaces and find all types of weak del Pezzo surfaces admitting such a collection. We find simple criteria of exceptionality/strong exceptionality for collections of line bundles on weak del Pezzo surfaces.


title: Groundstates for a local nonlinear perturbation of the Choquard equations with lower critical exponent

abstract: We prove the existence of ground state solutions by variational methods to the nonlinear Choquard equations with a nonlinear perturbation \[ -{\Delta}u+ u=\big(I_\alpha*|u|^{\frac{\alpha}{N}+1}\big)|u|^{\frac{\alpha}{N}-1}u+f(x,u)\qquad \text{ in } \mathbb{R}^N \] where $N\geq 1$, $I_\alpha$ is the Riesz potential of order $\alpha \in (0, N)$, the exponent $\frac{\alpha}{N}+1$ is critical with respect to the Hardy--Littlewood--Sobolev inequality and the nonlinear perturbation $f$ satisfies suitable growth and structural assumptions.


title: Diffusing-Wave Spectroscopy of Cold Atoms in Ballistic Motion

abstract: Diffusing-wave spectroscopy is a powerful technique which consists in measuring the temporal correlation function of the intensity of light multiply scattered by a medium. In this paper, we apply this technique to cold atoms under purely ballistic motion and we investigate the transition between the single and the multiple scattering regime. The intensity correlation function changes from a simple Gaussian function, whose width reveals the sample temperature, to a more complex decay shortened by the frequency redistribution in the thick cloud. These features are quantitatively compared to simulations with a phase-coherent and an incoherent model. Both show a very good agreement with the experiments.


title: PROSE: Perceptual Risk Optimization for Speech Enhancement

abstract: The goal in speech enhancement is to obtain an estimate of clean speech starting from the noisy signal by minimizing a chosen distortion measure, which results in an estimate that depends on the unknown clean signal or its statistics. Since access to such prior knowledge is limited or not possible in practice, one has to estimate the clean signal statistics. In this paper, we develop a new risk minimization framework for speech enhancement, in which, one optimizes an unbiased estimate of the distortion/risk instead of the actual risk. The estimated risk is expressed solely as a function of the noisy observations. We consider several perceptually relevant distortion measures and develop corresponding unbiased estimates under realistic assumptions on the noise distribution and a priori signal-to-noise ratio (SNR). Minimizing the risk estimates gives rise to the corresponding denoisers, which are nonlinear functions of the a posteriori SNR. Perceptual evaluation of speech quality (PESQ), average segmental SNR (SSNR) computations, and listening tests show that the proposed risk optimization approach employing Itakura-Saito and weighted hyperbolic cosine distortions gives better performance than the other distortion measures. For SNRs greater than 5 dB, the proposed approach gives superior denoising performance over the benchmark techniques based on the Wiener filter, log-MMSE minimization, and Bayesian nonnegative matrix factorization.


title: A Review of Exoplanetary Biosignatures

abstract: We review the field of exoplanetary biosignatures with a main focus upon atmospheric gas-phase species. Due to the paucity of data in Earth-like planetary atmospheres a common approach is to extrapolate knowledge from the Solar System and Early Earth to Earth-like exoplanets. We therefore review the main processes (e.g. atmospheric photochemistry and transport) affecting the most commonly-considered species (e.g. O2, O3, N2O, CH4 etc.) in the context of the modern Earth, Early Earth, the Solar System and Earth-like exoplanets. We consider thereby known abiotic sources for these species in the Solar System and beyond. We also discuss detectability issues related to atmospheric biosignature spectra such as band strength and uniqueness. Finally, we summarize current space agency roadmaps related to biosignature science in an exoplanet context.


title: The Moduli Spaces of Parabolic Connections with a Quadratic Differential and Isomonodromic Deformations

abstract: In this paper, we study the moduli spaces of parabolic connections with a quadratic differential. We endow these moduli spaces with symplectic structures by using the fundamental 2-forms on the moduli spaces of parabolic connections (which are phase spaces of isomonodromic deformation systems). Moreover, we see that the moduli spaces of parabolic connections with a quadratic differential are equipped with structures of twisted cotangent bundles.


title: Exploring Cross-Domain Data Dependencies for Smart Homes to Improve Energy Efficiency

abstract: Over the past decade, the idea of smart homes has been conceived as a potential solution to counter energy crises or to at least mitigate its intensive destructive consequences in the residential building sector.


abstract: The Refinement Calculus of Reactive Systems (RCRS) is a compositional formal framework for modeling and reasoning about reactive systems. RCRS provides a language which allows to describe atomic components as symbolic transition systems or QLTL formulas, and composite components formed using three primitive composition operators: serial, parallel, and feedback. The semantics of the language is given in terms of monotonic property transformers, an extension to reactive systems of monotonic predicate transformers, which have been used to give compositional semantics to sequential programs. RCRS allows to specify both safety and liveness properties. It also allows to model input-output systems which are both non-deterministic and non-input-receptive (i.e., which may reject some inputs at some points in time), and can thus be seen as a behavioral type system. RCRS provides a set of techniques for symbolic computer-aided reasoning, including compositional static analysis and verification. RCRS comes with a publicly available implementation which includes a complete formalization of the RCRS theory in the Isabelle proof assistant.


title: Robustesse de la stabilit\'e globale asymptotique des \'equilibres pour les syst\`emes dynamiques dissipatifs perturb\'es

abstract: In this paper, we'll show the robustness of global stability for perturbed dissipative dynamical systems.


title: A batching and scheduling optimisation for a cutting work-center: Acta-Mobilier case study

abstract: The purpose of this study is to investigate an approach to group lots in batches and to schedule these batches on Acta-Mobilier cutting work-center while taking into account numerous constraints and objectives. The specific batching method was proposed to handle the Acta-Mobilier problem and a mathematical formalisation and genetic algorithm were proposed to deal with the scheduling problem. The proposed algorithm has been embedded in software to optimise production costs and emphasis the visual management on the production line. The application is currently being used in Acta-Mobilier plant and shows significant results