title: Initial trace of positive solutions to fractional diffusion equation with absorption

abstract: In this paper, we prove the existence of an initial trace T u of any positive solution u of the semilinear fractional diffusion equation (H) $\partial$ t u + (--$\Delta$) $\alpha$ u + f (t, x, u) = 0 in R * + $\times$ R N , where N $\ge$ 1 where the operator (--$\Delta$) $\alpha$ with $\alpha$ $\in$ (0, 1) is the fractional Laplacian and f : R + $\times$ R N $\times$ R + $\rightarrow$ R is a Caratheodory function satisfying f (t, x, u)u $\ge$ 0 for all (t, x, u) $\in$ R + $\times$ R N $\times$ R +. We define the regular set of the trace T u as an open subset of R u $\subset$ R N carrying a nonnegative Radon measive $\nu$ u such that lim t$\rightarrow$0 Ru u(t, x)$\zeta$(x)dx = Ru $\zeta$d$\nu$ $\forall$$\zeta$ $\in$ C 2 0 (R u), and the singular set S u = R N \ R u as the set points a such that lim sup t$\rightarrow$0 B$\rho$(a) u(t, x)dx = $\infty$ $\forall$$\rho$ \> 0. We study the reverse problem of constructing a positive solution to (H) with a given initial trace (S, $\nu$) where S $\subset$ R N is a closed set and $\nu$ is a positive Radon measure on R = R N \ S and develop the case f (t, x, u) = t $\beta$ u p where $\beta$ \> --1 and p \> 1.


title: Computational analysis of single rising bubbles influenced by soluble surfactant

abstract: This paper presents novel insights about the influence of soluble surfactants on bubble flows obtained by Direct Numerical Simulation (DNS). Surfactants are amphiphilic compounds which accumulate at fluid interfaces and significantly modify the respective interfacial properties, influencing also the overall dynamics of the flow. With the aid of DNS local quantities like the surfactant distribution on the bubble surface can be accessed for a better understanding of the physical phenomena occurring close to the interface. The core part of the physical model consists in the description of the surfactant transport in the bulk and on the deformable interface. The solution procedure is based on an Arbitrary Lagrangian-Eulerian (ALE) Interface-Tracking method. The existing methodology was enhanced to describe a wider range of physical phenomena. A subgrid-scale (SGS) model is employed in the cases where a fully resolved DNS for the species transport is not feasible due to high mesh resolution requirements and, therefore, high computational costs. After an exhaustive validation of the latest numerical developments, the DNS of single rising bubbles in contaminated solutions is compared to experimental results. The full velocity transients of the rising bubbles, especially the contaminated ones, are correctly reproduced by the DNS. The simulation results are then studied to gain a better understanding of the local bubble dynamics under the effect of soluble surfactant. One of the main insights is that the quasi-steady state of the rise velocity is reached without ad- and desorption being necessarily in local equilibrium.


title: Targeted millisecond pulsar surveys of Fermi gamma-ray sources with LOFAR

abstract: We have used LOFAR to perform targeted millisecond pulsar surveys of Fermi gamma-ray sources. Operating at a center frequency of 135 MHz, the surveys use a novel semi-coherent dedispersion approach where coherently dedispersed trials at coarsely separated dispersion measures are incoherently dedispersed at finer steps. Three millisecond pulsars have been discovered as part of these surveys. We describe the LOFAR surveys and the properties of the newly discovered pulsars.


title: Response of entanglement to annealed vis-\`a-vis quenched disorder in quantum spin models

abstract: We investigate bipartite entanglement in random quantum $XY$ models at equilibrium. Depending on the intrinsic time scales associated with equilibration of the random parameters and measurements associated with observation of the system, we consider two distinct kinds of disorder, namely annealed and quenched disorders. We conduct a comparative study of the effects of disorder on nearest-neighbor entanglement, when the nature of randomness changes from being annealed to quenched. We find that entanglement properties of the annealed and quenched disordered systems are drastically different from each other. This is realized by identifying the regions of parameter space in which the nearest-neighbor state is entangled, and the regions where a disorder-induced enhancement of entanglement $-$ order-from-disorder $-$ is obtained. We also analyze the response of the quantum phase transition point of the ordered system with the infusion of disorder.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el


title: On co-counter-fragments of automata

abstract: This paper contains results related to synthesis and presentation of abstract automata by fragments of behaviour and investigates the structure of the classes of finite connected initial output-less automata specified by systems of defining relations considered as fragments, co-fragments, counter-fragments and co-counter-fragments of automata.


title: Isogeometric shape optimization for nonlinear ultrasound focusing

abstract: The goal of this work is to improve focusing of high-intensity ultrasound by modifying the geometry of acoustic lenses through shape optimization. The shape optimization problem is formulated by introducing a tracking-type cost functional to match a desired pressure distribution in the focal region. Westervelt's equation, a nonlinear acoustic wave equation, is used to model the pressure field. We apply the optimize first, then discretize approach, where we first rigorously compute the shape derivative of our cost functional. A gradient-based optimization algorithm is then developed within the concept of isogeometric analysis, where the geometry is exactly represented by splines at every gradient step and the same basis is used to approximate the equations. Numerical experiments in a 2D setting illustrate our findings.


title: Context-specific independencies for ordinal variables in chain regression models

abstract: In this work we handle with categorical (ordinal) variables and we focus on the (in)dependence relationship under the marginal, conditional and context-specific perspective. If the first two are well known, the last one concerns independencies holding only in a subspace of the outcome space. We take advantage from the Hierarchical Multinomial Marginal models and provide several original results about the representation of context-specific independencies through these models. By considering the graphical aspect, we take advantage from the chain graphical models. The resultant graphical model is a so-called "stratified" chain graphical model with labelled arcs. New Markov properties are provided. Furthermore, we consider the graphical models under the regression poit of view. Here we provide simplification of the regression parameters due to the context-specific independencies. Finally, an application about the innovation degree of the Italian enterprises is provided.


title: Massless fermions in null Fermi coordinates and an application to analog gravity in $\text{He}^3$-A

abstract: Bogoliubov quasiparticles moving in the background of superfluid $\text{He}^3$-A see an apparently curved space-time metric when the background superfluid vacuum is in motion. We study how this curvature couples with the spins of the effectively massless quasiparticles. First, we set up the problem in null Fermi coordinates for radial as well as circular geodesics and then use it in the context of the analog metric seen by the quasiparticles. We obtain an effective magnetic interaction due to curvature coupling, and provide numerical estimates. Some possible implications of these results are then pointed out.


title: Robust Estimation of Similarity Transformation for Visual Object Tracking

abstract: Most of existing correlation filter-based tracking approaches only estimate simple axis-aligned bounding boxes, and very few of them is capable of recovering the underlying similarity transformation. To tackle this challenging problem, in this paper, we propose a new correlation filter-based tracker with a novel robust estimation of similarity transformation on the large displacements. In order to efficiently search in such a large 4-DoF space in real-time, we formulate the problem into two 2-DoF sub-problems and apply an efficient Block Coordinates Descent solver to optimize the estimation result. Specifically, we employ an efficient phase correlation scheme to deal with both scale and rotation changes simultaneously in log-polar coordinates. Moreover, a variant of correlation filter is used to predict the translational motion individually. Our experimental results demonstrate that the proposed tracker achieves very promising prediction performance compared with the state-of-the-art visual object tracking methods while still retaining the advantages of high efficiency and simplicity in conventional correlation filter-based tracking methods.


title: Sneutrino Dark Matter in the BLSSM

abstract: In the framework of the $(B-L)$ Supersymmetric Standard Model (BLSSM), we assess the ability of ground and space based experiments to establish the nature of its prevalent Dark Matter (DM) candidate, the sneutrino, which could either be CP-even or -odd. Firstly, by benchmarking this theory construct against the results obtained by the Planck spacecraft, we extract the portions of the BLSSM parameter space compliant with relic density data. Secondly, we show that, based on current sensitivities of the Fermi Large Area Telescope (FermiLAT) and their future projections, the study of high-energy $\gamma$-ray spectra will eventually enable us to extract evidence of this DM candidate through its annihilations into $W^+W^-$ pairs (in turn emitting photons), in the form of both an integrated flux and a differential energy spectrum which cannot be reconciled with the assumption of DM being fermionic (like, e.g., a neutralino), although it should not be possible to distinguish between the scalar and pseudoscalar hypotheses. Thirdly, we show that, while underground direct detection experiments will have little scope in testing sneutrino DM, the Large Hadron Collider (LHC) may be able to do so in a variety of multi-lepton signatures, with and without accompanying jets (plus missing transverse energy), following data collection during Run 2 and 3.


title: Big Data Computing Using Cloud-Based Technologies, Challenges and Future Perspectives

abstract: The excessive amounts of data generated by devices and Internet-based sources at a regular basis constitute, big data. This data can be processed and analyzed to develop useful applications for specific domains. Several mathematical and data analytics techniques have found use in this sphere. This has given rise to the development of computing models and tools for big data computing. However, the storage and processing requirements are overwhelming for traditional systems and technologies. Therefore, there is a need for infrastructures that can adjust the storage and processing capability in accordance with the changing data dimensions. Cloud Computing serves as a potential solution to this problem. However, big data computing in the cloud has its own set of challenges and research issues. This chapter surveys the big data concept, discusses the mathematical and data analytics techniques that can be used for big data and gives taxonomy of the existing tools, frameworks and platforms available for different big data computing models. Besides this, it also evaluates the viability of cloud-based big data computing, examines existing challenges and opportunities, and provides future research directions in this field.


title: General one-loop formulas for decay $h\rightarrow Z\gamma$

abstract: Radiative corrections to the $h\rightarrow Z\gamma$ are evaluated in the one-loop approximation. The unitary gauge gauge is used. The analytic result is expressed in terms of the Passarino-Veltman functions. The calculations are applicable for the Standard Model as well for a wide class of its gauge extensions. In particular, the decay width of a charged Higgs boson $H^\pm \rightarrow W^\pm\gamma$ can be derived. The consistence of our formulas and several specific earlier results is shown.


title: Proximity effect in normal-metal quasiparticle traps

abstract: In many superconducting devices, including qubits, quasiparticle excitations are detrimental. A normal metal ($N$) in contact with a superconductor ($S$) can trap these excitations; therefore such a trap can potentially improve the devices performances. The two materials influence each other, a phenomenon known as proximity effect which has drawn attention since the '60s. Here we study whether this mutual influence places a limitation on the possible performance improvement in superconducting qubits. We first revisit the proximity effect in uniform $NS$ bilayers; despite the long history of this problem, we present novel findings for the density of states. We then extend our results to describe a non-uniform system in the vicinity of a trap edge. Using these results together with a phenomenological model for the suppression of the quasiparticle density due to the trap, we find in a transmon qubit an optimum trap-junction distance at which the qubit relaxation rate is minimized. This optimum distance, of the order of 4 to 20 coherence lengths, originates from the competition between proximity effect and quasiparticle density suppression. We conclude that the harmful influence of the proximity effect can be avoided so long as the trap is farther away from the junction than this optimum.


title: ARTENOLIS: Automated Reproducibility and Testing Environment for Licensed Software

abstract: Motivation: Automatically testing changes to code is an essential feature of continuous integration. For open-source code, without licensed dependencies, a variety of continuous integration services exist. The COnstraint-Based Reconstruction and Analysis (COBRA) Toolbox is a suite of open-source code for computational modelling with dependencies on licensed software. A novel automated framework of continuous integration in a semi-licensed environment is required for the development of the COBRA Toolbox and related tools of the COBRA community. Results: ARTENOLIS is a general-purpose infrastructure software application that implements continuous integration for open-source software with licensed dependencies. It uses a master-slave framework, tests code on multiple operating systems, and multiple versions of licensed software dependencies. ARTENOLIS ensures the stability, integrity, and cross-platform compatibility of code in the COBRA Toolbox and related tools. Availability and Implementation: The continuous integration server, core of the reproducibility and testing infrastructure, can be freely accessed under artenolis.lcsb.uni.lu. The continuous integration framework code is located in the /.ci directory and at the root of the repository freely available under github.com/opencobra/cobratoolbox.


title: Inverse Systems of Groupoids, with Applications to Groupoid $C^*$-algebras

abstract: We define what it means for a proper continuous morphism between groupoids to be Haar system preserving, and show that such a morphism induces (via pullback) a *-morphism between the corresponding convolution algebras. We proceed to provide a plethora of examples of Haar system preserving morphisms and discuss connections to noncommutative CW-complexes and interval algebras. We prove that an inverse system of groupoids with Haar system preserving bonding maps has a limit, and that we get a corresponding direct system of groupoid $C^*$-algebras. An explicit construction of an inverse system of groupoids is used to approximate a $\sigma$-compact groupoid $G$ by second countable groupoids; if $G$ is equipped with a Haar system and 2-cocycle then so are the approximation groupoids, and the maps in the inverse system are Haar system preserving. As an application of this construction, we show how to easily extend the Maximal Equivalence Theorem of Jean Renault to $\sigma$-compact groupoids.


title: Viscoelastic subdiffusion in a random Gaussian environment

abstract: Viscoelastic subdiffusion governed by a fractional Langevin equation is studied numerically in a random Gaussian environment modeled by stationary Gaussian potentials with decaying spatial correlations. This anomalous diffusion is archetypal for living cells, where cytoplasm is known to be viscoelastic and a spatial disorder also naturally emerges. We obtain some first important insights into it within a model one-dimensional study. Two basic types of potential correlations are studied: short-range exponentially decaying and algebraically slow decaying with an infinite correlation length, both for a moderate (several $k_BT$, in the units of thermal energy), and strong (5-10 $k_BT$) disorder. For a moderate disorder, it is shown that on the ensemble level viscoelastic subdiffusion can easily overcome the medium's disorder. Asymptotically, it is not distinguishable from the disorder-free subdiffusion. However, a strong scatter in single-trajectory averages is nevertheless seen even for a moderate disorder. It features a weak ergodicity breaking, which occurs on a very long yet transient time scale. Furthermore, for a strong disorder, a very long transient regime of logarithmic, Sinai-type diffusion emerges. It can last longer and be faster in the absolute terms for weakly decaying correlations as compare with the short-range correlations. Residence time distributions in a finite spatial domain are of a generalized log-normal type and are reminiscent also of a stretched exponential distribution. They can be easily confused for power-law distributions in view of the observed weak ergodicity breaking. This suggests a revision of some experimental data and their interpretation.


title: Late stages of mineralisation and their signature on the bone mineral density distribution

abstract: Purpose: Experimental measurements of bone mineral density distributions (BMDDs) enable a determination of secondary mineralisation kinetics in bone, but the maximum degree of mineralisation and how this maximum is approached remain uncertain. We thus test computationally different hypotheses on late stages of bone mineralisation by simulating BMDDs in low turnover conditions. Materials and Methods: An established computational model of the BMDD that accounts for mineralisation and remodelling processes was extended to limit mineralisation to various maximum calcium capacities of bone. Simulated BMDDs obtained by reducing turnover rate from the reference trabecular BMDD under different assumptions on late stage mineralisation kinetics were compared with experimental BMDDs of low-turnover bone. Results: Simulations show that an abrupt stopping of mineralisation near a maximum calcium capacity induces a pile-up of minerals in the BMDD statistics that is not observed experimentally. With a smooth decrease of mineralisation rate, imposing low maximum calcium capacities helps to match peak location and width of simulated low turnover BMDDs with peak location and width of experimental BMDDs, but results in a distinctive asymmetric peak shape. No tuning of turnover rate and maximum calcium capacity was able to explain the differences found in experimental BMDDs between trabecular bone (high turnover) and femoral cortical bone (low turnover). Conclusions: Secondary mineralisation in human bone does not stop abruptly, but continues slowly up to a calcium content greater than 30 wt% Ca. The similar mineral heterogeneity seen in trabecular and femoral cortical bones at different peak locations was unexplained by turnover differences tested.


title: One-Pass Graphic Approximation of Integer Sequences

abstract: A variety of network modeling problems begin by generating a degree sequence drawn from a given probability distribution. If the randomly generated sequence is not graphic, we give a new approach for generating a graphic approximation of the sequence. This approximation scheme is fast, requiring only one pass through the sequence, and produces small probability distribution distances for large sequences.


title: On Rotating Axisymmetric Solutions of the Euler-Poisson Equations

abstract: We consider stationary axisymmetric solutions of the Euler-Poisson equations, which govern the internal structure of barotropic gaseous stars. We take the general form of the equation of states which cover polytropic gaseous stars indexed by $6/5<\gamma <2$ and also white dwarfs. A generic condition of the existence of stationary solutions with differential rotation is given, and the existence of slowly rotating configurations near spherically symmetric equilibria is shown. The problem is formulated as a nonlinear integral equation, and is solved by an application of the infinite dimensional implicit function theorem. Oblateness of star surface is shown and also relationship between the central density and the total mass is given.


title: Nilpotent Charges in an Interacting Gauge Theory and an N = 2 SUSY Quantum Mechanical Model: (Anti-)Chiral Superfield Approach

abstract: We exploit the power and potential of the (anti-)chiral superfield approach (ACSA) to Becchi-Rouet-Stora-Tyutin (BRST) formalism to derive the nilpotent (anti-)BRST symmetry transformations for any arbitrary D-dimensional interacting non-Abelian 1-form gauge theory where there is a SU(N) gauge invariant coupling between the gauge field and the Dirac fields. We derive the conserved and nilpotent (anti-)BRST charges and establish their nilpotency and absolute anticommutativity properties within the framework of ACSA to BRST formalism. The clinching proof of the absolute anticommutativity property of the conserved and nilpotent (anti-)BRST charges is a novel result in view of the fact that we consider, in our present endeavor, only the (anti-)chiral super expansions of the superfields that are defined on the (D, 1)-dimensional super-submanifolds of the general (D, 2)-dimensional supermanifold on which our D-dimensional ordinary interacting non-Abelian 1-form gauge theory is generalized. To corroborate the novelty of the above result, we apply the ACSA to an N = 2 supersymmetric (SUSY) quantum mechanical (QM) model of a harmonic oscillator and show that the nilpotent and conserved N = 2 supercharges of this system do not absolutely anticommute.


title: CIM compliant multiplatform approach for cyber-physical energy system assessment

abstract: With high penetration of distributed renewable energy resources along with sophisticated automation and information technology, cyber-physical energy systems (CPES, i.e. Smart Grids here) requires a holistic approach to evaluate the integration at a system level, addressing all relevant domains. Hybrid cloud SCADA (Supervisory, Control And Data Acquisition), allowing laboratories to be linked in a consistent infrastructure can provide the support for such multi-platform experiments. This paper presents the procedure to implement a CIM (Common Information Model) compliant hybrid cloud SCADA, with database and client adaptive to change in system topology, as well as CIM library update. This innovative way ensures interoperability among the partner platforms and provides support to multi-platform holistic approach for CPES assessment.


title: Generalized Degrees of Freedom of the Symmetric Cache-Aided MISO Broadcast Channel with Partial CSIT

abstract: We consider the cache-aided MISO broadcast channel (BC) in which a multi-antenna transmitter serves $K$ single-antenna receivers, each equipped with a cache memory. The transmitter has access to partial knowledge of the channel state information. For a symmetric setting, in terms of channel strength levels, partial channel knowledge levels and cache sizes, we characterize the generalized degrees of freedom (GDoF) up to a constant multiplicative factor. The achievability scheme exploits the interplay between spatial multiplexing gains and coded-multicasting gain. On the other hand, a cut-set-based argument in conjunction with a GDoF outer bound for a parallel MISO BC under channel uncertainty are used for the converse. We further show that the characterized order-optimal GDoF is also attained in a decentralized setting, where no coordination is required for content placement in the caches.


title: Pointwise Convolutional Neural Networks

abstract: Deep learning with 3D data such as reconstructed point clouds and CAD models has received great research interests recently. However, the capability of using point clouds with convolutional neural network has been so far not fully explored. In this paper, we present a convolutional neural network for semantic segmentation and object recognition with 3D point clouds. At the core of our network is pointwise convolution, a new convolution operator that can be applied at each point of a point cloud. Our fully convolutional network design, while being surprisingly simple to implement, can yield competitive accuracy in both semantic segmentation and object recognition task.


title: Renormalizable SU(5) Completions of a Zee-type Neutrino Mass Model

abstract: We explore the potential of a selected model of radiative neutrino masses to be implemented in a renormalizable SU(5) unification framework. The Zee-type model under consideration uncovers the SU(5) representations in which the new fields are embedded and which may contain also other light states leading to the unification of gauge couplings. We perform an exhaustive search which reveals specific patterns of new states and demonstrate that such patterns are consistent with a general choice of relevant scalar potential. It turns out that all of the specific scenarios which lead to successful unification include the colored scalars testable at the LHC.


title: Intrinsic Point of Interest Discovery from Trajectory Data

abstract: This paper presents a framework for intrinsic point of interest discovery from trajectory databases. Intrinsic points of interest are regions of a geospatial area innately defined by the spatial and temporal aspects of trajectory data, and can be of varying size, shape, and resolution. Any trajectory database exhibits such points of interest, and hence are intrinsic, as compared to most other point of interest definitions which are said to be extrinsic, as they require trajectory metadata, external knowledge about the region the trajectories are observed, or other application-specific information. Spatial and temporal aspects are qualities of any trajectory database, making the framework applicable to data from any domain and of any resolution. The framework is developed under recent developments on the consistency of nonparametric hierarchical density estimators and enables the possibility of formal statistical inference and evaluation over such intrinsic points of interest. Comparisons of the POIs uncovered by the framework in synthetic truth data to thousands of parameter settings for common POI discovery methods show a marked improvement in fidelity without the need to tune any parameters by hand.


title: Image Super-resolution via Feature-augmented Random Forest

abstract: Recent random-forest (RF)-based image super-resolution approaches inherit some properties from dictionary-learning-based algorithms, but the effectiveness of the properties in RF is overlooked in the literature. In this paper, we present a novel feature-augmented random forest (FARF) for image super-resolution, where the conventional gradient-based features are augmented with gradient magnitudes and different feature recipes are formulated on different stages in an RF. The advantages of our method are that, firstly, the dictionary-learning-based features are enhanced by adding gradient magnitudes, based on the observation that the non-linear gradient magnitude are with highly discriminative property. Secondly, generalized locality-sensitive hashing (LSH) is used to replace principal component analysis (PCA) for feature dimensionality reduction and original high-dimensional features are employed, instead of the compressed ones, for the leaf-nodes' regressors, since regressors can benefit from higher dimensional features. This original-compressed coupled feature sets scheme unifies the unsupervised LSH evaluation on both image super-resolution and content-based image retrieval (CBIR). Finally, we present a generalized weighted ridge regression (GWRR) model for the leaf-nodes' regressors. Experiment results on several public benchmark datasets show that our FARF method can achieve an average gain of about 0.3 dB, compared to traditional RF-based methods. Furthermore, a fine-tuned FARF model can compare to or (in many cases) outperform some recent stateof-the-art deep-learning-based algorithms.


title: Proximodistal Exploration in Motor Learning as an Emergent Property of Optimization

abstract: To harness the complexity of their high-dimensional bodies during sensorimotor development, infants are guided by patterns of freezing and freeing of degrees of freedom. For instance, when learning to reach, infants free the degrees of freedom in their arm proximodistally, i.e. from joints that are closer to the body to those that are more distant. Here, we formulate and study computationally the hypothesis that such patterns can emerge spontaneously as the result of a family of stochastic optimization processes (evolution strategies with covariance-matrix adaptation), without an innate encoding of a maturational schedule. In particular, we present simulated experiments with an arm where a computational learner progressively acquires reaching skills through adaptive exploration, and we show that a proximodistal organization appears spontaneously, which we denote PDFF (ProximoDistal Freezing and Freeing of degrees of freedom). We also compare this emergent organization between different arm morphologies -- from human-like to quite unnatural ones -- to study the effect of different kinematic structures on the emergence of PDFF. Keywords: human motor learning; proximo-distal exploration; stochastic optimization; modelling; evolution strategies; cross-entropy methods; policy search; morphology.}


title: Small Hankel operators on generalized Fock spaces

abstract: We consider Fock spaces $F^{p,\ell}_{\alpha}$ of entire functions on ${\mathbb C}$ associated to the weights $e^{-\alpha |z|^{2\ell}}$, where $\alpha>0$ and $\ell$ is a positive integer. We compute explicitly the corresponding Bergman kernel associated to $F^{2,\ell}_{\alpha}$ and, using an adequate factorization of this kernel, we characterize the boundedness and the compactness of the small Hankel operator $\mathfrak{h}^{\ell}_{b,\alpha}$ on $F^{p,\ell}_{\alpha}$. Moreover, we also determine when $\mathfrak{h}^{\ell}_{b,\alpha}$ is a Hilbert-Schmidt operator on $F^{2,\ell}_{\alpha}$.


title: Three-body effects in the Hoyle-state decay

abstract: We use a sequential $R$-matrix model to describe the breakup of the Hoyle state into three $\alpha$ particles via the ground state of $^8\mathrm{Be}$. It is shown that even in a sequential picture, features resembling a direct breakup branch appear in the phase-space distribution of the $\alpha$ particles. We construct a toy model to describe the Coulomb interaction in the three-body final state and its effects on the decay spectrum are investigated. The framework is also used to predict the phase-space distribution of the $\alpha$ particles emitted in a direct breakup of the Hoyle state and the possibility of interference between a direct and sequential branch is discussed. Our numerical results are compared to the current upper limit on the direct decay branch determined in recent experiments.


title: On sums of torus knots concordant to alternating knots

abstract: We consider the question, asked by Friedl, Livingston and Zentner, of which sums of torus knots are concordant to alternating knots. After a brief analysis of the problem in its full generality, we focus on sums of two torus knots. We describe some effective obstructions based on Heegaard Floer homology.


title: On the Cauchy problem for $D_t^2-D_x(b(t)a(x))D_x$

abstract: We consider the Cauchy problem for second order differential operators with two independent variables $P=D_t^2-D_x(b(t)a(x))D_x$. Assume that $b(t)$ is a nonnegative $C^{n,alpha}$ function and $a(x)$ is a nonnegative Gevrey function of order $s>1$ we prove that the Cauchy problem for $P$ is well-posed in the Gevrey class of any order $s<s'<1+(n+alpha)/2$.


title: The evaluation of geometric Asian power options under time changed mixed fractional Brownian motion

abstract: The aim of this paper is to evaluate geometric Asian option by a mixed fractional subdiffusive Black-Scholes model. We derive a pricing formula for geometric Asian option when the underlying stock follows a time changed mixed fractional Brownian motion. We then apply the results to price Asian power options on the stocks that pay constant dividends when the payoff is a power function. Finally, lower bound of Asian options and some special cases are provided.


title: Large-scale photospheric motions determined from granule tracking and helioseismology from SDO/HMI data

abstract: Large scale flows in the Sun play an important role in the dynamo process linked to the solar cycle. The important large scale flows are the differential rotation and the meridional circulation with an amplitude of km/s and few m/s , respectively. These flows also have a cycle related components, namely the torsional oscillations. Our attempt is to determine large-scale plasma flows on the solar surface by deriving horizontal flow velocities using the techniques of solar granule tracking, dopplergrams, and time distance helioseismology. Coherent structure tracking (CST) and time distance helioseismology were used to investigate the solar differential rotation and meridional circulation at the solar surface on a 30 day HMI SDO sequence. The influence of a large sunspot on these large scale flows with a specific 7 day HMI SDO sequence has been also studied. The large scale flows measured by the CST on the solar surface and the same flow determined from the same data with the helioseismology in the first 1 Mm below the surface are in good agreement in amplitude and direction. The torsional waves are also located at the same latitudes with amplitude of the same order. We are able to measure the meridional circulation correctly using the CST method with only three days of data and after averaging between + and -15 degrees in longitude. We conclude that the combination of CST and Doppler velocities allows us to detect properly the differential solar rotation and also smaller amplitude flows such as the meridional circulation and torsional waves. The results of our methods are in good agreement with helioseismic measurements.


title: PICOSEC: Charged particle timing at sub-25 picosecond precision with a Micromegas based detector

abstract: The prospect of pileup induced backgrounds at the High Luminosity LHC (HL-LHC) has stimulated intense interest in developing technologies for charged particle detection with accurate timing at high rates. The required accuracy follows directly from the nominal interaction distribution within a bunch crossing ($\sigma_z\sim5$ cm, $\sigma_t\sim170$ ps). A time resolution of the order of 20-30 ps would lead to significant reduction of these backgrounds. With this goal, we present a new detection concept called PICOSEC, which is based on a "two-stage" Micromegas detector coupled to a Cherenkov radiator and equipped with a photocathode. First results obtained with this new detector yield a time resolution of 24 ps for 150 GeV muons, and 76 ps for single photoelectrons.


title: Boundedness of the Bergman projection on generalized Fock-Sobolev spaces on ${\mathbb C}^n$

abstract: In this paper we solve a problem posed by H. Bommier-Hato, M. Engli\v{s} and E.H. Youssfi in [3] on the boundedness of the Bergman-type projections in generalized Fock spaces. It will be a consequence of two facts: a full description of the embeddings between generalized Fock-Sobolev spaces and a complete characterization of the boundedness of the above Bergman type projections between weighted $L^p$-spaces related to generalized Fock-Sobolev spaces.


title: Full Orbit Sequences in Affine Spaces via Fractional Jumps and Pseudorandom Number Generation

abstract: Let $n$ be a positive integer. In this paper we provide a general theory to produce full orbit sequences in the affine $n$-dimensional space over a finite field. For $n=1$ our construction covers the case of the Inversive Congruential Generators (ICG). In addition, for $n>1$ we show that the sequences produced using our construction are easier to compute than ICG sequences. Furthermore, we prove that they have the same discrepancy bounds as the ones constructed using the ICG.


title: Poisson brackets symmetry from the pentagon-wheel cocycle in the graph complex

abstract: Kontsevich designed a scheme to generate infinitesimal symmetries $\dot{\mathcal{P}} = \mathcal{Q}(\mathcal{P})$ of Poisson brackets $\mathcal{P}$ on all affine manifolds $M^r$; every such deformation is encoded by oriented graphs on $n+2$ vertices and $2n$ edges. In particular, these symmetries can be obtained by orienting sums of non-oriented graphs $\gamma$ on $n$ vertices and $2n-2$ edges. The bi-vector flow $\dot{\mathcal{P}} = \text{Or}(\gamma)(\mathcal{P})$ preserves the space of Poisson structures if $\gamma$ is a cocycle with respect to the vertex-expanding differential in the graph complex. A class of such cocycles $\boldsymbol{\gamma}_{2\ell+1}$ is known to exist: marked by $\ell \in \mathbb{N}$, each of them contains a $(2\ell+1)$-gon wheel with a nonzero coefficient. At $\ell=1$ the tetrahedron $\boldsymbol{\gamma}_3$ itself is a cocycle; at $\ell=2$ the Kontsevich--Willwacher pentagon-wheel cocycle $\boldsymbol{\gamma}_5$ consists of two graphs. We reconstruct the symmetry $\mathcal{Q}_5(\mathcal{P}) = \text{Or}(\boldsymbol{\gamma}_5)(\mathcal{P})$ and verify that $\mathcal{Q}_5$ is a Poisson cocycle indeed: $[\![\mathcal{P},\mathcal{Q}_5(\mathcal{P})]\!]\doteq 0$ via $[\![\mathcal{P},\mathcal{P}]\!]=0$.


title: A higher-dimensional model of the nucleon-nucleon central potential

abstract: Based on a theory of extra dimensional confinement of quantum particles [E. R. Hedin, Physics Essays 25, 2 (2012)], a simple model of a nucleon-nucleon (NN) central potential is derived which quantitatively reproduces the radial profile of other models, without adjusting any free parameters. It is postulated that a higher-dimensional simple harmonic oscillator confining potential localizes particles into 3d space, but allows for an evanescent penetration of the particles into two higher spatial dimensions. Producing an effect identical with the relativistic quantum phenomenon of zitterbewegung, the higher-dimensional oscillations of amplitude h/(2{\pi}mc) can be alternatively viewed as a localized curvature of 3d space back and forth into the higher dimensions. The overall spatial curvature is proportional to the particle`s extra dimensional ground state wave function in the higher dimensional harmonic confining potential well. Minimizing the overlapping curvature (proportional to the energy) of two particles in proximity to each other, subject to the constraint that for the two particles to occupy the same spatial location one of them must be excited into the first excited state of the harmonic potential well, gives the desired NN potential. Specifying only the nucleon masses, the resulting potential well and repulsive core reproduces the radial profile of several published NN central potential models. In addition, the predicted height of the repulsive core, when used to estimate the maximum neutron star mass, matches well with the best estimates from relativistic theory incorporating standard nuclear matter equations of state. Nucleon spin, Coulomb interactions, and internal nucleon structure are not considered in the theory as presented in this article.


title: Synthesis of antisymmetric spin exchange interaction and entanglement generation with chiral spin states in a superconducting circuit

abstract: We have synthesized the anti-symmetric spin exchange interaction (ASI), which is also called the Dzyaloshinskii-Moriya interaction, in a superconducting circuit containing five superconducting qubits connected to a bus resonator, by periodically modulating the transition frequencies of the qubits with different modulation phases. This allows us to show the chiral spin dynamics in three-, four- and five-spin clusters. We also demonstrate a three-spin chiral logic gate and entangle up to five qubits in Greenberger-Horne-Zeilinger states. Our results pave the way for quantum simulation of magnetism with ASI and quantum computation with chiral spin states.


title: The Inhomogeneous Gaussian Free Field, with application to ground state correlations of trapped 1d Bose gases

abstract: Motivated by the calculation of correlation functions in inhomogeneous one-dimensional (1d) quantum systems, the 2d Inhomogeneous Gaussian Free Field (IGFF) is studied and solved. The IGFF is defined in a domain $\Omega \subset \mathbb{R}^2$ equipped with a conformal class of metrics $[{\rm g}]$ and with a real positive coupling constant $K: \Omega \rightarrow \mathbb{R}_{>0}$ by the action $\mathcal{S}[h] = \frac{1}{8\pi } \int_\Omega \frac{\sqrt{{\rm g}} d^2 {\rm x}}{K({\rm x})} \, {\rm g}^{i j} (\partial_i h)(\partial_j h)$. All correlations functions of the IGFF are expressible in terms of the Green's functions of generalized Poisson operators that are familiar from 2d electrostatics in media with spatially varying dielectric constants. This formalism is then applied to the study of ground state correlations of the Lieb-Liniger gas trapped in an external potential $V(x)$. Relations with previous works on inhomogeneous Luttinger liquids are discussed. The main innovation here is in the identification of local observables $\hat{O} (x)$ in the microscopic model with their field theory counterparts $\partial_x h, e^{i h(x)}, e^{-i h(x)}$, etc., which involve non-universal coefficients that themselves depend on position --- a fact that, to the best of our knowledge, was overlooked in previous works on correlation functions of inhomogeneous Luttinger liquids ---, and that can be calculated thanks to Bethe Ansatz form factors formulae available for the homogeneous Lieb-Liniger model. Combining those position-dependent coefficients with the correlation functions of the IGFF, ground state correlation functions of the trapped gas are obtained. Numerical checks from DMRG are provided for density-density correlations and for the one-particle density matrix, showing excellent agreement.

categories: cond-mat.stat-mech cond-mat.quant-gas math-ph math.MP


title: Experimental realization of a Rydberg optical Feshbach resonance in a quantum many-body system

abstract: Feshbach resonances in ultra-cold atomic gases have led to some of the most important advances in atomic physics. They did not only enable ground breaking work in the BEC-BCS crossover regime [1], but are also widely used for the association of ultra-cold molecules [2], leading to the formation of molecular Bose-Einstein condensates [3,4] and ultra-cold dipolar molecular systems [5]. Here, we demonstrate the experimental realization of an optical Feshbach resonance using ultra-long range Rydberg molecules [6]. We show their practical use by tuning the revival time of a quantum many-body system quenched into a deep optical lattice. Our results open up many applications for Rydberg optical Feshbach resonances as ultra-long range Rydberg molecules have a plenitude of available resonances for nearly all atomic species. Among the most intriguing prospects is the engineering of genuine three- and four-body interactions via coupling to trimer and tetramer molecular states [7].


title: A Brief Overview of the KTA WCET Tool

abstract: KTA (KTH's timing analyzer) is a research tool for performing timing analysis of program code. The currently available toolchain can perform two different kinds of analyses: i) exhaustive fine-grained timing analysis, where timing information can be provided between arbitrary timing program points within a function, and ii) abstract search-based timing analysis, where the tool can perform optimal worst-case execution time (WCET) analysis. The latter is based on a technique that combines divide-and-conquer search and abstract interpretation. The tool is under development and currently supports a subset of the MIPS instruction set architecture.


title: Phase transitions in single macromolecules: loop-stretch transition versus loop adsorption transition in end-grafted polymer chains

abstract: We use Brownian dynamics simulations and analytical theory to compare two prominent types of single molecule transitions. One is the adsorption transition of a loop (a chain with two ends bound to an attractive substrate) driven by an attraction parameter $\varepsilon$, and the other is the loop-stretch transition in a chain with one end attached to a repulsive substrate, driven by an external end-force $F$ applied to the free end. Specifically, we compare the behavior of the respective order parameters of the transitions, i.e., the mean number of surface contacts in the case of the adsorption transition, and the mean position of the chain end in the case of the loop-stretch transition. Close to the transition points, both the static and the dynamic behavior of chains with different length $N$ are very well described by a scaling Ansatz with the scaling parameters $(\varepsilon - \varepsilon^*) N^\phi$ (adsorption transition) and $(F-F^*) N^\nu$ (loop-stretch transition), respectively, where $\phi$ is the crossover exponent of the adsorption transition, and $\nu$ the Flory exponent. We show that both the loop-stretch and the loop adsorption transitions provide an exceptional opportunity to construct explicit analytical expressions for the crossover functions which perfectly describe all simulation results on static properties in the finite-size scaling regime. Explicit crossover functions are based on the Ansatz for the analytical form of the order parameter distributions at the respective transition points. In contrast to the close similarity in equilibrium static behavior, the dynamic relaxation at the two transitions shows qualitative differences, especially in the strongly ordered regimes.


title: ICT Convergence in Internet of Things - The Birth of Smart Factories (A Technical Note)

abstract: Over the past decade, most factories across developed parts of the world employ a varying amount of the manufacturing technologies including autonomous robots, RFID (radio frequency identification) technology, NCs (numerically controlled machines), wireless sensor networks embedded with specialized computerized softwares for sophisticated product designs, engineering analysis, and remote control of machinery, etc. The ultimate aim of these all dramatic developments in manufacturing sector is thus to achieve aspects such as shorter innovation / product life cycles and raising overall productivity via efficiently handling complex interactions among the various stages (functions, departments) of a production line. The notion, Factory of the Future, is an unpredictable heaven of efficaciousness, wherein, issues such as the flaws and downtime would be issues of the long forgotten age. This technical note thus provides an overview of this awesome revolution waiting to be soon realized in the manufacturing sector.


title: Bounds on the Jensen Gap, and Implications for Mean-Concentrated Distributions

abstract: This paper gives upper and lower bounds on the gap in Jensen's inequality, i.e., the difference between the expected value of a function of a random variable and the value of the function at the expected value of the random variable. The bounds depend only on growth properties of the function and specific moments of the random variable. The bounds are particularly useful for distributions that are concentrated around the mean, a commonly occurring scenario such as the average of i.i.d. samples and in statistical mechanics.


title: Belyi map for the sporadic group J2

abstract: We present a genus 0 Belyi map for the sporadic Janko group J2 of degree 280. As a consequence we obtain a polynomial having Aut(J2) as a Galois group over K(t) where K is a number field of degree 10.


title: Lorentz-diffeomorphism edge modes in 3d gravity

abstract: The proper definition of subsystems in gauge theory and gravity requires an extension of the local phase space by including edge mode fields. Their role is on the one hand to restore gauge invariance with respect to gauge transformations supported on the boundary, and on the other hand to parametrize the largest set of boundary symmetries which can arise if both the gauge parameters and the dynamical fields are unconstrained at the boundary. In this work we construct the extended phase space for three-dimensional gravity in first order connection and triad variables. There, the edge mode fields consist of a choice of coordinate frame on the boundary and a choice of Lorentz frame on the bundle, which together constitute the Lorentz-diffeomorphism edge modes. After constructing the extended symplectic structure and proving its gauge invariance, we study the boundary symmetries and the integrability of their generators. We find that the infinite-dimensional algebra of boundary symmetries with first order variables is the same as that with metric variables, and explain how this can be traced back to the expressions for the diffeomorphism Noether charge in both formulations. This concludes the study of extended phase spaces and edge modes in three-dimensional gravity, which was done previously by the author in the BF and Chern-Simons formulations.


title: Effect of impurities on nuclear fusion

abstract: Modification of nuclear reactions due to impurities in plasma is investigated. The hindering effect of Coulomb repulsion between reacting particles, that is effective in direct reactions, can practically disappear if Coulomb interaction of the reacting particles with impurities embedded in plasma is taken into account. The change of the wavefunction of reacting particles in nuclear range due to their Coulomb interaction with impurity is determined using standard time independent perturbation calculation of quantum mechanics. The result can be interpreted as if a slow, quasi-free particle (e.g. a proton) were pushed by a heavy, assisting particle (impurity) of the surroundings and can get (virtually) such a great magnitude of momentum which significantly increases the nuclear contact probability density and also the probability of its capture by an other nucleus. As a sample reaction the process, called impurity assisted nuclear $% pd$ reaction is investigated and the rate and power densities produced by the reaction are numerically calculated. With the aid of astrophysical factors the rate and power densities of the impurity assisted $% d(d,n)_{2}^{3}He$, $d(d,p)t$, $d(t,n)_{2}^{4}He$, $_{2}^{3}He(d,p)_{2}^{4}He$% , $_{3}^{6}Li(p,\alpha )_{2}^{3}He$, $_{3}^{7}Li(p,\alpha )_{2}^{4}He$, $%_{4}^{9}Be(p,\alpha )_{3}^{6}Li$, $_{4}^{9}Be(p,d)_{4}^{8}Be$, $%_{4}^{9}Be(\alpha ,n)_{6}^{12}C$, $_{5}^{10}B(p,\alpha )_{4}^{7}Be$ and $%_{5}^{11}B(p,\alpha )_{4}^{8}Be$ reactions are also estimated. The affect of plasma-wall interaction on the process is also considered. A partial survey of impurity assisted nuclear reactions which may have practical importance in energy production is also presented.


title: A Performance Evaluation of Local Features for Image Based 3D Reconstruction

abstract: This paper performs a comprehensive and comparative evaluation of the state of the art local features for the task of image based 3D reconstruction. The evaluated local features cover the recently developed ones by using powerful machine learning techniques and the elaborately designed handcrafted features. To obtain a comprehensive evaluation, we choose to include both float type features and binary ones. Meanwhile, two kinds of datasets have been used in this evaluation. One is a dataset of many different scene types with groundtruth 3D points, containing images of different scenes captured at fixed positions, for quantitative performance evaluation of different local features in the controlled image capturing situations. The other dataset contains Internet scale image sets of several landmarks with a lot of unrelated images, which is used for qualitative performance evaluation of different local features in the free image collection situations. Our experimental results show that binary features are competent to reconstruct scenes from controlled image sequences with only a fraction of processing time compared to use float type features. However, for the case of large scale image set with many distracting images, float type features show a clear advantage over binary ones.


title: A decades-long fast-rise-exponential-decay flare in low-luminosity AGN NGC 7213

abstract: We analysed the four-decades-long X-ray light curve of the low-luminosity active galactic nucleus (LLAGN) NGC 7213 and discovered a fast-rise-exponential-decay (FRED) pattern, i.e. the X-ray luminosity increased by a factor of $\approx 4$ within 200d, and then decreased exponentially with an $e$-folding time $\approx 8116$d ($\approx 22.2$ yr). For the theoretical understanding of the observations, we examined three variability models proposed in the literature: the thermal-viscous disc instability model, the radiation pressure instability model, and the tidal disruption event (TDE) model. We find that a delayed tidal disruption of a main-sequence star is most favourable; either the thermal-viscous disk instability model or radiation pressure instability model fails to explain some key properties observed, thus we argue them unlikely.


title: Asymptotic Network Robustness

abstract: This paper examines the dependence of network performance measures on network size and considers scaling results for large networks. We connect two performance measures that are well studied, but appear to be unrelated. The first measure is concerned with energy metrics, namely the $\Hcal_2$--norm of a network, which arises in control theory applications. The second measure is concerned with the notion of "tail risk" which arises in economic and financial networks. We study the question of why such performance measures may deteriorate at a faster rate than the growth rate of the network. We first focus on the energy metric and its well known connection to controllability Gramian of the underlying dynamical system. We show that undirected networks exhibit the most graceful energy growth rates as network size grows. This rate is quantified completely by the proximity of spectral radius to unity or distance to instability. In contrast, we show that the simple characterization of energy in terms of network spectrum does not exist for directed networks. We demonstrate that, for any fixed distance to instability, energy of a directed network can grow at an exponentially faster rate. We provide general methods for manipulating networks to reduce energy. In particular, we prove that certain operations that increase the symmetry in a network cannot increase energy (in an order sense). Secondly, we focus on tail risk in economic and financial networks. In contrast to $\Hcal_2$--norm which arises from computing the expectation of energy in the network, tail risk focuses on tail probability behavior of network variables. Although the two measures differ substantially we show that they are precisely connected through the system Gramian. This surprising result explains why topology considerations rather than specific performance measures dictate the large scale behavior of networks.


title: A Hierarchical Recurrent Neural Network for Symbolic Melody Generation

abstract: In recent years, neural networks have been used to generate symbolic melodies. However, the long-term structure in the melody has posed great difficulty for designing a good model. In this paper, we present a hierarchical recurrent neural network for melody generation, which consists of three Long-Short-Term-Memory (LSTM) subnetworks working in a coarse-to-fine manner along time. Specifically, the three subnetworks generate bar profiles, beat profiles and notes in turn, and the output of the high-level subnetworks are fed into the low-level subnetworks, serving as guidance for generating the finer time-scale melody components in low-level subnetworks. Two human behavior experiments demonstrate the advantage of this structure over the single-layer LSTM which attempts to learn all hidden structures in melodies. Compared with the state-of-the-art models MidiNet and MusicVAE, the hierarchical recurrent neural network produces better melodies evaluated by humans.


title: Quasiparticle picture from the Bekenstein bound

abstract: We provide general arguments regarding the connection between low-energy theories (gravity and quantum field theory) and a hypothetical fundamental theory of quantum gravity, under the assumptions of (i) validity of the holographic bound and (ii) preservation of unitary evolution at the level of the fundamental theory. In particular, the appeal to the holographic bound imposed on generic physical systems by the Bekenstein-Hawking entropy implies that both classical geometry and quantum fields propagating on it should be regarded as phenomena emergent from the dynamics of the fundamental theory. The reshuffling of the fundamental degrees of freedom during the unitary evolution then leads to an entanglement between geometry and quantum fields. The consequences of such scenario are considered in the context of black hole evaporation and the related information-loss issue: we provide a simplistic toy model in which an average loss of information is obtained as a consequence of the geometry-field entanglement.


title: Bell's Spaceships: The Views from Bow and Stern

abstract: Unravelling apparent paradoxes has proven to be a powerful tool for understanding the complexities of special relativity. In this paper, we focus upon one such paradox, namely Bell's spaceship paradox, examining the relative motion of two uniformly accelerating spaceships. We consider the view from either spaceship, with the exchange of photons between the two. This recovers the well known result that the leading spaceship loses sight of the trailing spaceship as it is redshifted and disappears behind what is known as the `Rindler horizon'. An immediate impact of this is that if either spaceship tries to measure the separation through `radar ranging', bouncing photons off one another, they would both eventually fail to receive any of the photon `pings' that they emit. We find that the view from this trailing spaceship is, however, starkly different, initially, seeing the leading spaceship with an increasing blueshift, followed by a decreasing blueshift. We conclude that, while the leading spaceship loses sight of the trailing spaceship, for the trailing spaceship the view of the separation between the two spaceships, and the apparent angular size of the leading spaceship, approach asymptotic values. Intriguingly, for particular parametrization of the journey of the two spaceships, these asymptotic values are identical to those properties seen before the spaceships began accelerating, and the view from the trailing spaceship becomes identical to when the two spaceships were initially at rest.


title: Face-from-Depth for Head Pose Estimation on Depth Images

abstract: Depth cameras allow to set up reliable solutions for people monitoring and behavior understanding, especially when unstable or poor illumination conditions make unusable common RGB sensors. Therefore, we propose a complete framework for the estimation of the head and shoulder pose based on depth images only. A head detection and localization module is also included, in order to develop a complete end-to-end system. The core element of the framework is a Convolutional Neural Network, called POSEidon+, that receives as input three types of images and provides the 3D angles of the pose as output. Moreover, a Face-from-Depth component based on a Deterministic Conditional GAN model is able to hallucinate a face from the corresponding depth image. We empirically demonstrate that this positively impacts the system performances. We test the proposed framework on two public datasets, namely Biwi Kinect Head Pose and ICT-3DHP, and on Pandora, a new challenging dataset mainly inspired by the automotive setup. Experimental results show that our method overcomes several recent state-of-art works based on both intensity and depth input data, running in real-time at more than 30 frames per second.


title: Quantitative Implementation Strategies for Safety Controllers

abstract: We consider the symbolic controller synthesis approach to enforce safety specifications on perturbed, nonlinear control systems. In general, in each state of the system several control values might be applicable to enforce the safety requirement and in the implementation one has the burden of picking a particular control value out of possibly many. We present a class of implementation strategies to obtain a controller with certain performance guarantees. This class includes two existing implementation strategies from the literature, based on discounted payoff and mean-payoff games. We unify both approaches by using games characterized by a single discount factor determining the implementation. We evaluate different implementations from our class experimentally on two case studies. We show that the choice of the discount factor has a significant influence on the average long-term costs, and the best performance guarantee for the symbolic model does not result in the best implementation. Comparing the optimal choice of the discount factor here with the previously proposed values, the costs differ by a factor of up to 50. Our approach therefore yields a method to choose systematically a good implementation for safety controllers with quantitative objectives.


title: Strictly proper kernel scores and characteristic kernels on compact spaces

abstract: Strictly proper kernel scores are well-known tool in probabilistic forecasting, while characteristic kernels have been extensively investigated in the machine learning literature. We first show that both notions coincide, so that insights from one part of the literature can be used in the other. We then show that the metric induced by a characteristic kernel cannot reliably distinguish between distributions that are far apart in the total variation norm as soon as the underlying space of measures is infinite dimensional. In addition, we provide a characterization of characteristic kernels in terms of eigenvalues and -functions and apply this characterization to the case of continuous kernels on (locally) compact spaces. In the compact case we further show that characteristic kernels exist if and only if the space is metrizable. As special cases of our general theory we investigate translation-invariant kernels on compact Abelian groups and isotropic kernels on spheres. The latter are of particular interest for forecast evaluation of probabilistic predictions on spherical domains as frequently encountered in meteorology and climatology.


title: Parameterized Littlewood-Paley operators with variable kernels on Hardy spaces and weak Hardy spaces

abstract: In this paper, by using the atomic decomposition theory of Hardy space and weak Hardy space, we discuss the boundedness of parameterized Littlewood-Paley operator with variable kernel on these spaces.


title: (Mostly) Observational Aspects of High-Mass Star Formation

abstract: A review on current observations of high-mass star formation is given, with a little bit of theoretical background. Particular emphasis is given to the, in my opinion, most important observations to put strong constraints on models of high-mass star formation: the existence and properties of high-mass starless cores, the existence or not of isolated high-mass stars, the possible support mechanisms of starless cores, the role of filaments in the mass transport to high-mass cores, ways of characterizing cores, the binary properties, and the properties of disks around high-mass stars.


title: Quantum simulation of ferromagnetic Heisenberg model

abstract: Large quantum simulators, with sufficiently many qubits to be impossible to simulate classically, become hard to experimentally validate. We propose two tests of a quantum simulator with Heisenberg interaction in a linear chain of spins. In the first, we propagate half of a singlet state through a chain of spin with a ferromagnetic interaction and subsequently recover the state with an antiferromagnetic interaction. The antiferromagnetic interaction is intrinsic to the system while the ferromagnetic one can be simulated by a sequence of time-dependent controls of the antiferromagnetic interaction and Suzuki-Trotter approximations. In the second test, we use the same technique to transfer a spin singlet state from one end of a spin chain to the other. We show that the tests are robust against parametric errors in operation of the simulator and may be applicable even without error correction.


title: Stealth technology-based Terahertz frequency-domain ellipsometry instrumentation

abstract: We present a terahertz (THz) frequency-domain spectroscopic (FDS) ellipsometer design which suppresses formation of standing waves by use of stealth technology approaches. The strategy to suppress standing waves consists of three elements \textit{geometry}, \textit{coating} and \textit{modulation}. The instrument is based on the rotating analyzer ellipsometer principle and can incorporate various sample compartments, such as a superconducting magnet, \textit{in-situ} gas cells or resonant sample cavities, for example. A backward wave oscillator and three detectors are employed, which permit operation in the spectral range of 0.1--1~THz (3.3--33~cm$^{-1}$ or 0.4--4~meV). The THz frequency-domain ellipsometer allows for standard and generalized ellipsometry at variable angles of incidence in both reflection and transmission configurations. The methods used to suppress standing waves and strategies for an accurate frequency calibration are presented. Experimental results from dielectric constant determination in anisotropic materials, and free charge carrier determination in optical Hall effect, resonant-cavity enhanced optical Hall effect and \textit{in-situ} optical Hall effect experiments are discussed. Examples include silicon and sapphire optical constants, free charge carrier properties of two dimensional electron gas in group-III nitride high electron mobility transistor structure, and ambient effects on free electron mobility and density in epitaxial graphene.


title: Adaptation to criticality through organizational invariance in embodied agents

abstract: Many biological and cognitive systems do not operate deep within one or other regime of activity. Instead, they are poised at critical points located at phase transitions in their parameter space. The pervasiveness of criticality suggests that there may be general principles inducing this behaviour, yet there is no well-founded theory for understanding how criticality is generated at a wide span of levels and contexts. In order to explore how criticality might emerge from general adaptive mechanisms, we propose a simple learning rule that maintains an internal organizational structure from a specific family of systems at criticality. We implement the mechanism in artificial embodied agents controlled by a neural network maintaining a correlation structure randomly sampled from an Ising model at critical temperature. Agents are evaluated in two classical reinforcement learning scenarios: the Mountain Car and the Acrobot double pendulum. In both cases the neural controller appears to reach a point of criticality, which coincides with a transition point between two regimes of the agent's behaviour. These results suggest that adaptation to criticality could be used as a general adaptive mechanism in some circumstances, providing an alternative explanation for the pervasive presence of criticality in biological and cognitive systems.

categories: nlin.AO cond-mat.dis-nn cond-mat.stat-mech cs.NE q-bio.NC


title: On the complete boundedness of the Schur block product

abstract: We give a Stinespring representation of the Schur block product, say (*), on pairs of square matrices with entries in a C*-algebra as a completely bounded bilinear operator of the form: A:=(a_{ij}), B:= (b_{ij}): A (*) B := (a_{ij}b_{ij}) = V* pi(A) F pi(B) V, such that V is an isometry, pi is a *-representation and F is a self-adjoint unitary. This implies an inequality due to Livshits and two apparently new ones on diagonals of matrices. ||A (*) B|| \leq ||A||_r ||B||_c operator, row and column norm; - diag(A*A) \leq A* (*) A \leq diag(A*A), and for all vectors f, g: |<A(*)B f,g> |^2 \leq < diag(AA*) g, g> <diag(B*B) f,f> .


title: Characterization of topological states via dual multipartite entanglement

abstract: We demonstrate that multipartite entanglement is able to characterize one-dimensional symmetry-protected topological order, which is witnessed by the scaling behavior of the quantum Fisher information of the ground state with respect to the spin operators defined in the dual lattice. We investigate an extended Kitaev chain with a $\mathbf{Z}$ symmetry identified equivalently by winding numbers and paired Majorana zero modes at each end. The topological phases with high winding numbers are detected by the scaling coefficient of the quantum Fisher information density with respect to generators in different dual lattices. Containing richer properties and more complex structures than bipartite entanglement, the dual multipartite entanglement of the topological state has promising applications in robust quantum computation and quantum metrology, and can be generalized to identify topological order in the Kitaev honeycomb model.


title: Comparative growth analysis of special type of differential polynomial generated by entire and meromorphic functions on the basis of their (p,q)-th order

abstract: In this paper we aim to establish some results depending on the comparative growth properties of composite transcendental entire or meromorphic functions and some special type of differential polynomials generated by one of the factors on the basis of (p,q)-th order and (p,q)-th lower order where p,q are positive integers with p greater than or equal to q.


title: 5-Graded simple Lie algebras, structurable algebras, and Kantor pairs

abstract: Relying on the classification of simple Lie algebras over algebraically closed fields of characteristic $>3$, we show that any finite-dimensional central simple 5-graded Lie algebra over a field $k$ of characteristic $\neq 2,3$ is a simple Lie algebra of Chevalley type, i.e. a central quotient of the Lie algebra of a simple algebraic $k$-group. As a consequence, we prove that all central simple structurable algebras and Kantor pairs over $k$ arise from 5-gradings on simple Lie algebras of Chevalley type.


title: A Data Driven Approach for Resting-state EEG signal Classification of Schizophrenia with Control Participants using Random Matrix Theory

abstract: Resting state electroencephalogram (EEG) abnormalities in clinically high-risk individuals (CHR), clinically stable first-episode patients with schizophrenia (FES), healthy controls (HC) suggest alterations in neural oscillatory activity. However, few studies directly compare these anomalies among each types. Therefore, this study investigated whether these electrophysiological characteristics differentiate clinical populations from one another, and from non-psychiatric controls. To address this question, resting EEG power and coherence were assessed in 40 clinically high-risk individuals (CHR), 40 first-episode patients with schizophrenia (FES), and 40 healthy controls (HC). These findings suggest that resting EEG can be a sensitive measure for differentiating between clinical disorders.This paper proposes a novel data-driven supervised learning method to obtain identification of the patients mental status in schizophrenia research. According to Marchenko-Pastur Law, the distribution of the eigenvalues of EEG data is divided into signal subspace and noise subspace. A test statistic named LES that embodies the characteristics of all eigenvalues is adopted. different classifier and different feature(LES test function) are selected for experiments, we have shown that using von Neumann Entropy as LES test function combine with SVM classifier could obtain the best average classification accuracy during three classification among HC, FES and CHR of Schizophrenia group with EEG signal. It is worth noting that the result of LES feature extraction with the highest classification accuracy is around 90% in two classification(HC compare with FES) and around 70% in three classification. Where the classification accuracy higher than 70% could be used to assist clinical diagnosis.


title: SU(5)$\times$U(1)$_X$ grand unification with minimal seesaw and $Z^\prime$-portal dark matter

abstract: We propose a grand unified SU(5)$\times$U(1)$_X$ model, where the standard SU(5) grand unified theory is supplemented by minimal seesaw and a right-handed neutrino dark matter with an introduction of a global $Z_2$-parity. In the presence of three right-handed neutrinos (RHNs), the model is free from all gauge and mixed-gravitational anomalies. The SU(5) symmetry is broken into the Standard Model (SM) gauge group at $M_{\rm GUT} \simeq 4 \times 10^{16}$ GeV in the standard manner, while the U(1)$_X$ symmetry breaking occurs at the TeV scale, which generates the TeV-scale mass of the U(1)$_X$ gauge boson ($Z^\prime$ boson) and the three Majorana RHNs. A unique $Z_2$-odd RHN is stable and serves as the dark matter (DM) in the present Universe, while the remaining two RHNs work to generate the SM neutrino masses through the minimal seesaw. We investigate the $Z^\prime$-portal RHN DM scenario in this model context, and find that the constraints from the DM relic abundance and the search results for a $Z^\prime$ boson resonance at the Large Hadron Collider (LHC) are complementary to narrow down the allowed parameter region, which will be fully covered by the future LHC experiments (for the $Z^\prime$ boson mass $<$ 5 TeV). We also briefly discuss the successful implementation of Baryogenesis and cosmological inflation scenarios in the present model.


title: A Bayesian Clearing Mechanism for Combinatorial Auctions

abstract: We cast the problem of combinatorial auction design in a Bayesian framework in order to incorporate prior information into the auction process and minimize the number of rounds to convergence. We first develop a generative model of agent valuations and market prices such that clearing prices become maximum a posteriori estimates given observed agent valuations. This generative model then forms the basis of an auction process which alternates between refining estimates of agent valuations and computing candidate clearing prices. We provide an implementation of the auction using assumed density filtering to estimate valuations and expectation maximization to compute prices. An empirical evaluation over a range of valuation domains demonstrates that our Bayesian auction mechanism is highly competitive against the combinatorial clock auction in terms of rounds to convergence, even under the most favorable choices of price increment for this baseline.


title: Active phase for activated random walks on $\mathbb{Z}^d$, $ d \geq 3$, with density less than one and arbitrary sleeping rate

abstract: It has been conjectured that the critical density of the Activated Random Walk model is strictly less than one for any value of the sleeping rate. We prove this conjecture on $\mathbb{Z}^d$ when $d \geq 3$ and, more generally, on graphs where the random walk is transient. Moreover, we establish the occurrence of a phase transition on non-amenable graphs, extending previous results which require that the graph is amenable or a regular tree.


title: Spatial-temporal wind field prediction by Artificial Neural Networks

abstract: The prediction of near surface wind speed is becoming increasingly vital for the operation of electrical energy grids as the capacity of installed wind power grows. The majority of predictive wind speed modeling has focused on point-based time-series forecasting. Effectively balancing demand and supply in the presence of distributed wind turbine electricity generation, however, requires the prediction of wind fields in space and time. Additionally, predictions of full wind fields are particularly useful for future power planning such as the optimization of electricity power supply systems. In this paper, we propose a composite artificial neural network (ANN) model to predict the 6-hour and 24-hour ahead average wind speed over a large area (~3.15*106 km2). The ANN model consists of a convolutional input layer, a Long Short-Term Memory (LSTM) hidden layer, and a transposed convolutional layer as the output layer. We compare the ANN model with two non-parametric models, a null persistence model and a mean value model, and find that the ANN model has substantially smaller error than each of these models. Additionally, the ANN model also generally performs better than integrated autoregressive moving average models, which are trained for optimal performance in specific locations.


title: First-order quantum phase transitions as condensations in the space of states

abstract: We demonstrate that a large class of first-order quantum phase transitions, namely, transitions in which the ground state energy per particle is continuous but its first order derivative has a jump discontinuity, can be described as a condensation in the space of states. Given a system having Hamiltonian $H=K+gV$, where $K$ and $V$ are two non commuting operators acting on the space of states $\mathbb{F}$, we may always write $\mathbb{F}=\mathbb{F}_\mathrm{cond} \oplus \mathbb{F}_\mathrm{norm}$ where $\mathbb{F}_\mathrm{cond}$ is the subspace spanned by the eigenstates of $V$ with minimal eigenvalue and $\mathbb{F}_\mathrm{norm}=\mathbb{F}_\mathrm{cond}^\perp$. If, in the thermodynamic limit, $M_\mathrm{cond}/M \to 0$, where $M$ and $M_\mathrm{cond}$ are, respectively, the dimensions of $\mathbb{F}$ and $\mathbb{F}_\mathrm{cond}$, the above decomposition of $\mathbb{F}$ becomes effective, in the sense that the ground state energy per particle of the system, $\epsilon$, coincides with the smaller between $\epsilon_\mathrm{cond}$ and $\epsilon_\mathrm{norm}$, the ground state energies per particle of the system restricted to the subspaces $\mathbb{F}_\mathrm{cond}$ and $\mathbb{F}_\mathrm{norm}$, respectively: $\epsilon=\min\{\epsilon_\mathrm{cond},\epsilon_\mathrm{norm}\}$. It may then happen that, as a function of the parameter $g$, the energies $\epsilon_\mathrm{cond}$ and $\epsilon_\mathrm{norm}$ cross at $g=g_\mathrm{c}$. In this case, a first-order quantum phase transition takes place between a condensed phase (system restricted to the small subspace $\mathbb{F}_\mathrm{cond}$) and a normal phase (system spread over the large subspace $\mathbb{F}_\mathrm{norm}$)....

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


title: A Weak Fano Threefold Arising as a Blowup of a Curve of Genus 5 and Degree 8 on $\mathbb{P}^3$

abstract: This article constructs a smooth weak Fano threefold of Picard number two with small anti-canonical morphism that arises as a blowup of a smooth curve of genus 5 and degree 8 in $\mathbb{P}^3$. While the existence of this weak Fano was known as a numerical possibility in \cite{CM13} and constructed in BL12, this paper removes the dependencies on the results in \cite{JPR11} needed in the construction of BL12 and constructs the link in the style of ACM17.


title: A Theory of X and Z Multiquark Resonances

abstract: We introduce the hypothesis that diquarks and antidiquarks in tetraquarks are separated by a potential barrier. We show that this notion can answer satisfactorily long standing questions challenging the diquark-antidiquark model of exotic resonances. The tetraquark description of X and Z resonances is shown to be compatible with present limits on the non-observation of charged partners X^+-, of the X(3872) and the absence of a hyperfine splitting between two different neutral states. In the same picture, Z_c and Z_b particles are expected to form complete isospin triplets plus singlets. It is also explained why the decay rate into final states including quarkonia are suppressed with respect to those having open charm/beauty states.


title: Penalized-Likelihood Reconstruction with High-Fidelity Measurement Models for High-Resolution Cone-Beam Imaging

abstract: We present a novel reconstruction algorithm based on a general cone-beam CT forward model which is capable of incorporating the blur and noise correlations that are exhibited in flat-panel CBCT measurement data. Specifically, the proposed model may include scintillator blur, focal-spot blur, and noise correlations due to light spread in the scintillator. The proposed algorithm (GPL-BC) uses a Gaussian Penalized-Likelihood objective function which incorporates models of Blur and Correlated noise. In a simulation study, GPL-BC was able to achieve lower bias as compared to deblurring followed by FDK as well as a model-based reconstruction method without integration of measurement blur. In the same study, GPL-BC was able to achieve better line-pair reconstructions (in terms of segmented-image accuracy) as compared to deblurring followed by FDK, a model based method without blur, and a model based method with blur but not noise correlations. A prototype extremities quantitative cone-beam CT test bench was used to image a physical sample of human trabecular bone. These data were used to compare reconstructions using the proposed method and model based methods without blur and/or correlation to a registered {\mu}CT image of the same bone sample. The GPL-BC reconstructions resulted in more accurate trabecular bone segmentation. Multiple trabecular bone metrics, including Trabecular Thickness (Tb.Th.) were computed for each reconstruction approach as well as the {\mu}CT volume. The GPL-BC reconstruction provided the most accurate Tb.Th. measurement, 0.255 mm, as compared to the {\mu}CT derived value of 0.193 mm, followed by the GPL-B reconstruction, the GPL-I reconstruction, and then the FDK reconstruction (0.271 mm, 0.309 mm, and 0.335 mm, respectively).


title: WCxf: an exchange format for Wilson coefficients beyond the Standard Model

abstract: We define a data exchange format for numerical values of Wilson coefficients of local operators parameterising low-energy effects of physics beyond the Standard Model. The format facilitates interfacing model-specific Wilson coefficient calculators, renormalisation group (RG) runners, and observable calculators. It is designed to be unambiguous (defining a non-redundant set of operators with fixed normalisation in each basis), extensible (allowing the addition of new EFTs or bases by the user), and robust (being based on industry standard file formats with parsers implemented in many programming languages). We have implemented the format for the Standard Model EFT (SMEFT) and for the weak effective theory (WET) below the electroweak scale and have added interfaces to a number of public codes dealing with SMEFT or WET. We also provide command-line utilities and a Python module for convenient manipulation of WCxf files, including translation between different bases and matching from SMEFT to WET.


title: Extensions between Verma modules for dihedral groups

abstract: Computing the extensions between Verma modules is in general a very difficult problem. Using Soergel bimodules, one can construct a graded version of the principal block of Category $\mathcal{O}$ for any finite coxeter group. In this setting, we compute the extensions between Verma modules for dihedral groups.


title: The dimensionless dissipation rate and the Kolmogorov (1941) hypothesis of local stationarity in freely decaying isotropic turbulence

abstract: An expression for the dimensionless dissipation rate was derived from the Karman-Howarth equation by asymptotic expansion of the second- and third- order structure functions in powers of the inverse Reynolds number. The implications of the time-derivative term for the assumption of local stationarity (or local equilibrium) which underpins the derivation of the Kolmogorov `4/5' law for the third-order structure function were studied. It was concluded that neglect of the time-derivative cannot be justified by reason of restriction to certain scales (the inertial range) nor to large Reynolds numbers. In principle, therefore, the hypothesis cannot be correct, although it may be a good approximation. It follows, at least in principle, that the quantitative aspects of the hypothesis of local stationarity could be tested by a comparison of the asymptotic dimensionless dissipation rate for free decay with that for the stationary case. But in practice this is complicated by the absence of an agreed evolution time for making the measurements during the decay. However, we can assess the quantitative error involved in using the hypothesis by comparing the exact asymptotic value of the dimensionless dissipation in free decay calculated on the assumption of local stationarity to the experimentally determined value (e.g. by means of direct numerical simulation), as this relationship holds for all measuring times. Should the assumption of local stationarity lead to significant error, then the `4/5' law needs to be corrected. Despite this, scale invariance in wavenumber space appears to hold in the formal limit of infinite Reynolds numbers, which implies that the `-5/3' energy spectrum does not require correction in this limit.


title: The Many Routes to AGN Feedback

abstract: The energy released by Active Galactic Nuclei (AGN) in the form of radiation, winds, or radio plasma jets, is known to impact on the surrounding interstellar medium. The result of these processes, known as AGN (negative) feedback, is suggested to prevent gas, in and around galaxies, from cooling, and to remove, or at least redistribute, gas by driving massive and fast outflows, hence playing a key role in galaxy evolution. Given its importance, a large effort is devoted by the astronomical community to trace the effects of AGN on the surrounding gaseous medium and to quantify their impact for different types of AGN. This review briefly summarizes some of the recent observational results obtained in different wavebands, tracing different phases of the gas. I also summarize the new insights they have brought, and the constraints they provide to numerical simulations of galaxy formation and evolution. The recent addition of deep observations of cold gas and, in particular, of cold molecular gas, has brought some interesting surprises and has expanded our understanding of AGN and AGN feedback.


title: Constraint and Mathematical Programming Models for Integrated Port Container Terminal Operations

abstract: This paper considers the integrated problem of quay crane assignment, quay crane scheduling, yard location assignment, and vehicle dispatching operations at a container terminal. The main objective is to minimize vessel turnover times and maximize the terminal throughput, which are key economic drivers in terminal operations. Due to their computational complexities, these problems are not optimized jointly in existing work. This paper revisits this limitation and proposes Mixed Integer Programming (MIP) and Constraint Programming (CP) models for the integrated problem, under some realistic assumptions. Experimental results show that the MIP formulation can only solve small instances, while the CP model finds optimal solutions in reasonable times for realistic instances derived from actual container terminal operations.


title: Non-Fermi liquid scattering against an emergent Bose liquid: manifestations in the kink and other exotic quasiparticle behaviors in the normal-state cuprate superconductors

abstract: The normal state of cuprate superconductors exhibits many exotic behaviors qualitatively different from the Fermi liquid, the foundation of condensed matter physics. Here we demonstrate that non-Fermi liquid behaviors emerge naturally from scattering against an emergent Bose liquid. Particularly, we find a finite zero-energy scattering rate at low-temperature limit that grows linearly with respect to temperature, against clean fermions' generic non-dissipative characteristics. Surprisingly, three other seemingly unrelated experimental observations are also produced, including the well-studied "kink" in the quasi-particle dispersion, as well as the puzzling correspondences between the normal and superconducting state. Our findings provide a general route for fermionic systems to generate non-Fermi liquid behavior, and suggest strongly that by room temperature the doped holes in the cuprates have already formed an emergent Bose liquid of tightly bound pairs, whose low-temperature condensation gives unconventional superconductivity.


title: A quantum algorithm to train neural networks using low-depth circuits

abstract: Can near-term gate model based quantum processors offer quantum advantage for practical applications in the pre-fault tolerance noise regime? A class of algorithms which have shown some promise in this regard are the so-called classical-quantum hybrid variational algorithms. Here we develop a low-depth quantum algorithm to generative neural networks using variational quantum circuits. We introduce a method which employs the quantum approximate optimization algorithm as a subroutine in order produce then sample low-energy distributions of Ising Hamiltonians. We sample these states to train neural networks and demonstrate training convergence for numerically simulated noisy circuits with depolarizing errors of rates of up to $4\%$.


title: Measuring patchy reionisation with kSZ$^2$-21 cm correlations

abstract: We study cross-correlations of the kinetic Sunyaev-Zel'dovich effect (kSZ) and 21 cm signals during the epoch of reionisation (EoR) to measure the effects of patchy reionisation. Since the kSZ effect is proportional to the line-of-sight velocity, the kSZ-21 cm cross correlation suffers from cancellation at small angular scales. We thus focus on the correlation between the kSZ-squared field (kSZ$^2$) and 21 cm signals. When the global ionisation fraction is low ($x_e\lesssim 0.7$), the kSZ$^2$ fluctuation is dominated by rare ionised bubbles which leads to an anti-correlation with the 21 cm signal. When $0.8\lesssim x_e<1$, the correlation is dominated by small pockets of neutral regions, leading to a positive correlation. However, at very high redshifts when $x_e<0.15$, the spin temperature fluctuations change the sign of the correlation from negative to positive, as weakly ionised regions can have strong 21 cm signals in this case. To extract this correlation, we find that Wiener filtering is effective in removing large signals from the primary CMB anisotropy. The expected signal-to-noise ratios for a $\sim$10-hour integration of upcoming Square Kilometer Array data cross-correlated with maps from the current generation of CMB observatories with 3.4~$\mu$K arcmin noise and 1.7~arcmin beam over 100~deg$^2$ are 51, 60, and 37 for $x_e=0.2$, 0.5, and 0.9, respectively.


title: A new theorem on the representation structure of the $SL(2, \mathbb{C})$ group acting in the Hilbert space of the quantum Coulomb field

abstract: Using the results obtained by Staruszkiewicz in Acta Phys. Pol. B 23, 591 (1992) and in Acta Phys. Pol. B 23, 927 (1992) we show that the representations acting in the eigenspaces of the total charge operator corresponding to the eigenvalues $n_1, n_2$ whose absolute values are less than or equal $\sqrt{\pi/e^2}$ are inequivalent if $|n_1| \neq |n_2|$ and contain the supplementary series component acting as a discrete component. On the other hand the representations acting in the eigenspaces corresponding to eigenvalues whose absolute values are greater than $\sqrt{\pi/e^2}$ are all unitarily equivalent and do not contain any supplementary series component.


title: An SDN hybrid architecture for vehicular networks: Application to Intelligent Transport System

abstract: Vehicular networks are one of the cornerstone of an Intelligent Transportation System (ITS). They are expected to provide ubiquitous network connectivity to moving vehicles while supporting various ITS services, some with very stringent requirements in terms of latency and reliability. Two vehicular networking technologies are envisioned to jointly support the full range of ITS services : DSRC (Dedicated Short Range Communication) for direct vehicle to vehicle/Road Side Units (RSU) communications and cellular technologies. To the best of our knowledge, approaches from the literature usually divide ITS services on each of these networks according to their requirements and one single network is in charge of supporting the each service. Those that consider both network technologies to offer multi-path routing, load balancing or path splitting for a better quality of experience of ITS services assume obviously separately controlled networks. Under the umbrella of SDN (Software Defined Networking), we propose in this paper a hybrid network architecture that enables the joint control of the networks providing connectivity to multi-homed vehicles and, also, explore the opportunities brought by such an architecture. We show through some use cases, that in addition to the flexibility and fine-grained programmability brought by SDN, it opens the way towards the development of effective network control algorithms that are the key towards the successful support of ITS services and especially those with stringent QoS. We also show how these algorithms could also benefit from information related to the environment or context in which vehicles evolve (traffic density, planned trajectory, ..), which could be easily collected by data providers and made available via the cloud.


title: Work function and surface stability of tungsten-based thermionic electron emission cathodes

abstract: Materials that exhibit a low work function and therefore easily emit electrons into vacuum form the basis of electronic devices used in applications ranging from satellite communications to thermionic energy conversion. W-Ba-O is the canonical materials system that functions as the thermionic electron emitter used commercially in a range of high power electron devices. However, the work functions, surface stability, and kinetic characteristics of a polycrystalline W emitter surface are still not well understood or characterized. In this study, we examined the work function and surface stability of the eight lowest index surfaces of the W-Ba-O system using Density Functional Theory methods. We found that under the typical thermionic cathode operating conditions of high temperature and low oxygen partial pressure, the most stable surface adsorbates are Ba-O species with compositions in the range of Ba0.125O to Ba0.25O per surface W atom, with O passivating all dangling W bonds and Ba creating work function-lowering surface dipoles. Wulff construction analysis reveals that the presence of O and Ba significantly alters the surface energetics and changes the proportions of surface facets present under equilibrium conditions. Analysis of previously published data on W sintering kinetics suggests that fine W particles in the size range of 100-500 nm may be at or near equilibrium during cathode synthesis, and thus may exhibit surface orientation fractions well-described by the calculated Wulff construction.


title: Laser and Fourier transform spectroscopy of $^7$Li$^{88}$Sr

abstract: LiSr was produced in a heat-pipe oven and its thermal emission spectrum around 9300 cm$^{-1}$ was recorded by a high resolution Fourier transform spectrometer. In addition, selected lines of the spectrum of deeply bound vibrational levels of the $1^2\Sigma^+$ and $2^2\Sigma^+$ states were studied using laser excitation to facilitate the assignment of the lines. The ground state could be described for $v^{\prime\prime} =$ 0 - 2, $N^{\prime\prime}$ up to 105 and the $2^2\Sigma^+$ state for $v^{\prime} = 0$ up to $N^\prime = 68$. For both states, Dunham coefficients, spin-rotation parameters and potential energy curves were evaluated. A coupling of the $2^2\Sigma^+$ state to the $1^2\Pi$ state was observed, allowing a local description with Dunham coefficients of the $1^2\Pi$ state and an approximate evaluation of the coupling strength.


title: Quantifying over Boolean announcements

abstract: Various extensions of public announcement logic have been proposed with quantification over announcements. The best-known extension is called arbitrary public announcement logic, APAL. It contains a primitive language construct Box phi intuitively expressing that "after every public announcement of a formula, formula phi is true". The logic APAL is undecidable and it has an infinitary axiomatization. Now consider restricting the APAL quantification to public announcements of Boolean formulas only, such that Box phi intuitively expresses that "after every public announcement of a Boolean formula, formula phi is true". This logic can therefore called Boolean arbitrary public announcement logic, BAPAL. The logic BAPAL is the subject of this work. Unlike APAL it has a finitary axiomatization. Also, BAPAL is not at least as expressive as APAL. A further claim that BAPAL is decidable is deferred to a companion paper.