title: Adaptive Critic Based Optimal Kinematic Control for a Robot Manipulator

abstract: This paper is concerned with the optimal kinematic control of a robot manipulator where the robot end effector position follows a task space trajectory. The joints are actuated with the desired velocity profile to achieve this task. This problem has been solved using a single network adaptive critic (SNAC) by expressing the forward kinematics as input affine system. Usually in SNAC, the critic weights are updated using back propagation algorithm while little attention is given to convergence to the optimal cost. In this paper, we propose a critic weight update law that ensures convergence to the desired optimal cost while guaranteeing the stability of the closed loop kinematic control. In kinematic control, the robot is required to reach a specific target position. This has been solved as an optimal regulation problem in the context of SNAC based kinematic control. When the robot is required to follow a time varying task space trajectory, then the kinematic control has been framed as an optimal tracking problem. For tracking, an augmented system consisting of tracking error and reference trajectory is constructed and the optimal control policy is derived using SNAC framework. The stability and performance of the system under the proposed novel weight tuning law is guaranteed using Lyapunov approach. The proposed kinematic control scheme has been validated in simulations and experimentally executed using a real six degrees of freedom (DOF) Universal Robot (UR) 10 manipulator.


title: A Transformational Approach to Resource Analysis with Typed-norms Inference

abstract: In order to automatically infer the resource consumption of programs, analyzers track how data sizes change along program's execution. Typically, analyzers measure the sizes of data by applying norms which are mappings from data to natural numbers that represent the sizes of the corresponding data. When norms are defined by taking type information into account, they are named typed-norms. This article presents a transformational approach to resource analysis with typed-norms that are inferred by a data-flow analysis. The analysis is based on a transformation of the program into an intermediate abstract program in which each variable is abstracted with respect to all considered norms which are valid for its type. We also present the data-flow analysis to automatically infer the required, useful, typed-norms from programs. Our analysis is formalized on a simple rule-based representation to which programs written in different programming paradigms (e.g., functional, logic, imperative) can be automatically translated. Experimental results on standard benchmarks used by other type-based analyzers show that our approach is both efficient and accurate in practice. Under consideration in Theory and Practice of Logic Programming (TPLP).


title: Bounded solutions and their asymptotics for a doubly nonlinear Cahn-Hilliard system

abstract: In this paper we deal with a doubly nonlinear Cahn-Hilliard system, where both an internal constraint on the time derivative of the concentration and a potential for the concentration are introduced. The definition of the chemical potential includes two regularizations: a viscosity and a diffusive term. First of all, we prove existence and uniqueness of a bounded solution to the system using a nonstandard maximum-principle argument for time-discretizations of doubly nonlinear equations. Possibly including singular potentials, this novel result brings improvements over previous approaches to this problem. Secondly, under suitable assumptions on the data, we show the convergence of solutions to the respective limit problems once either of the two regularization parameters vanishes.


title: OWL-MOON : Very high resolution spectro-imaging and Earth-Moon interferometry: exoplanets to cosmology

abstract: We address three major questions in astronomy, namely the detection of biosignatures on habitable exoplanets, the geophysics of exoplanets and cosmology. To achieve this goal, two requirements are needed. First a very large aperture to detect spectro-polarimetric and spatial features of faint objects such as exoplanets, and second a continuous monitoring to characterize the temporal behavior of exoplanets such as rotation period, meteorology and seasons. An Earth-based telescope is not suited for continuous monitoring and the atmosphere limits the ultimate angular resolution and spectro-polarimetrical domain. Moreover, a space telescope in orbit is limited in aperture, to perhaps 15 m over the next several decades. This is why we propose an OWL-class lunar telescope with a 50-100 m aperture for visible and infrared (IR) astronomy, based on ESO's Overwhelmingly Large Telescope concept, unachievable on Earth for technical issues such as wind stress that are not relevant for a lunar platform. It will be installed near the south pole of the Moon to allow continuous target monitoring. The low gravity of the Moon will facilitate its building and manoeuvring, compared to Earth-based telescopes. As a guaranteed by-product, such a large lunar telescope will allow Intensity Interferometric measurements when coupled with large Earth-based telescopes, leading to pico-second angular resolution.


title: Classification of the blow-up behavior for a semilinear wave equation with nonconstant degenerate coefficients

abstract: We consider a nonlinear wave equation with nonconstant coefficients. In particular, the coefficient in front of the second order space derivative is degenerate. We give the blow-up behavior and the regularity of the blow-up set. Partial results are given at the origin, where the degeneracy occurs. Some nontrivial obstacles, due to the nonconstant speed of propagation, have to be surmounted.


title: Observations of a Footpoint Drift of an Erupting Flux Rope

abstract: We analyze the imaging observations of an M-class eruptive flare of 2015 November, 4. The pre-eruptive H alpha filament was modelled by the non-linear force free field model, which showed that it consisted of two helical systems. Tether-cutting reconnection involving these two systems led to the formation of a hot sigmoidal loop structure rooted in a small hook that formed at the end of the flare ribbon. Subsequently, the hot loops started to slip away form the small hook until it disappeared. The loops continued slipping and the ribbon elongated itself by several tens of arc seconds. A new and larger hook then appeared at the end of elongated ribbon with hot and twisted loops rooted there. After the eruption of these hot loops, the ribbon hook expanded and later contracted. We interpret these observations in the framework of the recent three dimensional (3D) extensions to the standard solar flare model, which predict the drift of the flux rope footpoints. The hot sigmoidal loop is interpreted as the flux rope, whose footpoints drift during the eruption. While the deformation and drift of the new hook can be described by the model, the displacement of the flux rope footpoint from the filament to that of the erupting flux rope indicate that the hook evolution can be more complex than those captured by the model.


title: Hump-like structure in Hall signal from SrRuO$_3$ ultra-thin films without inhomogeneous anomalous Hall effect

abstract: A controversy arose over the interpretation of the recently observed hump features in Hall resistivity $\rho_{xy}$ from ultra-thin SrRuO$_3$ (SRO) film; it was initially interpreted to be due to topological Hall effect but was later proposed to be from existence of regions with different anomalous Hall effect (AHE). In order to settle down the issue, we performed Hall effect as well as magneto-optic Kerr-effect measurements on 4 unit cell SRO films grown on SrTiO$_3$ (001) substrates. Clear hump features are observed in the measured $\rho_{xy}$, whereas neither hump feature nor double hysteresis loop is seen in the Kerr rotation which should be proportional to the magnetization. In addition, magnetization measurement by superconducting quantum interference device shows no sign of multiple coercive fields. These results show that inhomogeneous AHE alone cannot explain the observed hump behavior in $\rho_{xy}$ data from our SRO ultra-thin films. We found that emergence of the hump structure in $\rho_{xy}$ is closely related to the growth condition, high quality films having clear sign of humps.


title: Efficient construction of many-body Fock states having the lowest energies

abstract: To perform efficient many-body calculations in the framework of the exact diagonalization of the Hamiltonian one needs an appropriately tailored Fock basis built from the single-particle orbitals. The simplest way to compose the basis is to choose a finite set of single-particle wave functions and find all possible distributions of a given number of particles in these states. It is known, however, that this construction leads to very inaccurate results since it does not take into account different many-body states having the same energy on equal footing. Here we present a fast and surprisingly simple algorithm for generating the many-body Fock basis build from many-body Fock states having the lowest non-interacting energies. The algorithm is insensitive to details of the distribution of single-particle energies and it can be used for an arbitrary number of particles obeying bosonic or fermionic statistics. Moreover, it can be easily generalized to a larger number of components. Taking as a simple example the system of two ultra-cold bosons in an anharmonic trap, we show that exact calculations in the basis generated with the algorithm are substantially more accurate than calculations performed within the standard approach.


title: Symbolic powers of monomial ideals

abstract: Let $A = K[X_1,\ldots, X_d]$ and let $I$, $J$ be monomial ideals in $A$. Let $I_n(J) = (I^n \colon J^\infty)$ be the $n^{th}$ symbolic power of $I$ \wrt \ $J$. It is easy to see that the function $f^I_J(n) = e_0(I_n(J)/I^n)$ is of quasi-polynomial type, say of period $g$ and degree $c$. For $n \gg 0$ say \[ f^I_J(n) = a_c(n)n^c + a_{c-1}(n)n^{c-1} + \text{lower terms}, \] where for $i = 0, \ldots, c$, $a_i \colon \mathbb{N} \rt \mathbb{Z}$ are periodic functions of period $g$ and $a_c \neq 0$. In an earlier paper we (together with Herzog and Verma) proved that $\dim I_n(J)/I^n$ is constant for $n \gg 0$ and $a_c(-)$ is a constant. In this paper we prove that if $I$ is generated by some elements of the same degree and height $I \geq 2$ then $a_{c-1}(-)$ is also a constant.


title: Implicitization of tensor product surfaces via virtual projective resolutions

abstract: We derive the implicit equations for certain parametric surfaces in three-dimensional projective space termed tensor product surfaces. Our method computes the implicit equation for such a surface based on the knowledge of the syzygies of the base point locus of the parametrization by means of constructing an explicit virtual projective resolution.


title: A State Class Construction for Computing the Intersection of Time Petri Nets Languages

abstract: We propose a new method for computing the language intersection of two Time Petri nets (TPN); that is the sequence of labels in timed traces common to the execution of two TPN. Our approach is based on a new product construction between nets and relies on the State Class construction, a widely used method for checking the behaviour of TPN. We prove that this new construct does not add additional expressive power, and yet that it can leads to very concise representation of the result. We have implemented our approach in a new tool, called Twina. We report on some experimental results obtained with this tool and show how to apply our approach on two interesting problems: rst, to dene an equivalent of the twin-plant diagnosability methods for TPN; then as a way to check timed properties without interfering with a system.


title: Maps and Globes in Virtual Reality

abstract: This paper explores different ways to render world-wide geographic maps in virtual reality (VR). We compare: (a) a 3D exocentric globe, where the user's viewpoint is outside the globe; (b) a flat map (rendered to a plane in VR); (c) an egocentric 3D globe, with the viewpoint inside the globe; and (d) a curved map, created by projecting the map onto a section of a sphere which curves around the user. In all four visualisations the geographic centre can be smoothly adjusted with a standard handheld VR controller and the user, through a head-tracked headset, can physically move around the visualisation. For distance comparison, exocentric globe is more accurate than egocentric globe and flat map. For area comparison, more time is required with exocentric and egocentric globes than with flat and curved maps. For direction estimation, the exocentric globe is more accurate and faster than the other visual presentations. Our study participants had a weak preference for the exocentric globe. Generally, the curved map had benefits over the flat map. In almost all cases the egocentric globe was found to be the least effective visualisation. Overall, our results provide support for the use of exocentric globes for geographic visualisation in mixed-reality.


title: Origin-Destination Flow Maps in Immersive Environments

abstract: Immersive virtual- and augmented-reality headsets can overlay a flat image against any surface or hang virtual objects in the space around the user. The technology is rapidly improving and may, in the long term, replace traditional flat panel displays in many situations. When displays are no longer intrinsically flat, how should we use the space around the user for abstract data visualisation? In this paper, we ask this question with respect to origin-destination flow data in a global geographic context. We report on the findings of three studies exploring different spatial encodings for flow maps. The first experiment focuses on different 2D and 3D encodings for flows on flat maps. We find that participants are significantly more accurate with raised flow paths whose height is proportional to flow distance but fastest with traditional straight line 2D flows. In our second and third experiment, we compared flat maps, 3D globes and a novel interactive design we call MapsLink, involving a pair of linked flat maps. We find that participants took significantly more time with MapsLink than other flow maps while the 3D globe with raised flows was the fastest, most accurate, and most preferred method. Our work suggests that careful use of the third spatial dimension can resolve visual clutter in complex flow maps.


title: NAVARO II, a Novel Scissor-Based Planar Parallel Robot 1

abstract: This article presents a new variable actuation mechanism based on the 3-RPR parallel robot. This mechanismis an evolution of the NaVARo robot, a 3-RRR parallel robot, for which the second revolute joint of the threelegs is replaced by a scissor to obtain a larger working space and avoid the use of parallelograms to operate thesecond revolute joint. To obtain better spatial rigidity, the leg mechanism is constructed by placing the scissorsin an orthogonal plane to the plane of the manipulator displacement (3-RRR or even the 3-RPR). This geometricproperty brings the significant consequence of allowing the scissors to directly substitute the prismatic chains in the3-RPR and enjoy the same kinematics advantages for the overall robots as only one solution to the inverse kinematicmodel. From the Jacobian expression, surfaces of singularity can be calculated and presented in a compact form.The singularity equations are presented for a robot with a similar base and mobile platform. The properties of thescissors are then determined to have a prescribed regular workspace.


title: Infinitesimal asphericity changes the universality of the jamming transition

abstract: The jamming transition of non-spherical particles is fundamentally different from the spherical case. Non-spherical particles are hypostatic at their jamming points, while isostaticity is ensured in the case of the jamming of spherical particles. This structural difference implies that the presence of asphericity affects the critical exponents related to the contact number and the vibrational density of states. Moreover, while the force and gap distributions of isostatic jamming present power-law behaviors, even an infinitesimal asphericity is enough to smooth out these singularities. In a recent work [PNAS 115(46), 11736], we have used a combination of marginal stability arguments and the replica method to explain these observations. We argued that systems with internal degrees of freedom, like the rotations in ellipsoids, or the variation of the radii in the case of the \textit{breathing} particles fall in the same universality class. In this paper, we review comprehensively the results about the jamming with internal degrees of freedom in addition to the translational degrees of freedom. We use a variational argument to derive the critical exponents of the contact number, shear modulus, and the characteristic frequencies of the density of states. Moreover, we present additional numerical data supporting the theoretical results, which were not shown in the previous work.


title: Uranus and Neptune are key to understand planets with hydrogen atmospheres

abstract: Uranus and Neptune are the last unexplored planets of the Solar System. I show that they hold crucial keys to understand the atmospheric dynamics and structure of planets with hydrogen atmospheres. Their atmospheres are active and storms are believed to be fueled by methane condensation which is both extremely abundant and occurs at low optical depth. This means that mapping temperature and methane abundance as a function of position and depth will inform us on how convection organizes in an atmosphere with no surface and condensates that are heavier than the surrounding air, a general feature of gas giants. Using this information will be essential to constrain the interior structure of Uranus and Neptune themselves, but also of Jupiter, Saturn and numerous exoplanets with hydrogen atmospheres. Owing to the spatial and temporal variability of these atmospheres, an orbiter is required. A probe would provide a reference profile to lift ambiguities inherent to remote observations. It would also measure abundances of noble gases which can be used to reconstruct the history of planet formation in the Solar System. Finally, mapping the planets' gravity and magnetic fields will be essential to constrain their global composition, structure and evolution.


title: New evidence for weak magnetic fields in Herbig Ae/Be stars

abstract: In recent years Herbig Ae/Be stars receive considerable attention as their disks are believed to be the sites of on-going planet formation. Confirming the presence of magnetic fields in these stars is critical for understanding the transport of angular momentum during the protostellar phase. Furthermore, magnetic fields set the conditions for strongly anisotropic accretion. In this study we present the results of our recent observing campaigns of a sample of Herbig Ae/Be stars aimed at measurements of their magnetic fields applying the Singular Value Decomposition method to high resolution spectropolarimetric observations. The strongest longitudinal magnetic field of 209 G is detected in the Herbig Be star HD 58647, whereas the weakest field of 17 G is measured in the Herbig Ae star HD 190073. A change of polarity is detected for HD 58647 and in the Herbig Be star HD 98922. The obtained results provide further evidence that Herbig Ae/Be stars possess much weaker magnetic fields than their lower mass counterpart T Tauri stars with magnetic fields of kG order.


title: The convergence of the Generalized Lanczos Trust-Region Method for the Trust-Region Subproblem

abstract: Solving the trust-region subproblem (TRS) plays a key role in numerical optimization and many other applications. The generalized Lanczos trust-region (GLTR) method is a well-known Lanczos type approach for solving a large-scale TRS. The method projects the original large-scale TRS onto a $k$ dimensional Krylov subspace, whose orthonormal basis is generated by the symmetric Lanczos process, and computes an approximate solution from the underlying subspace. There have been some a-priori error bounds for the optimal solution and the optimal objective value in the literature, but no a-priori result exists on the convergence of Lagrangian multipliers involved in projected TRS's and the residual norm of approximate solution. In this paper, a general convergence theory of the GLTR method is established, and a-priori bounds are derived for the errors of the optimal Lagrangian multiplier, the optimal solution, the optimal objective value and the residual norm of approximate solution. Numerical experiments demonstrate that our bounds are realistic and predict the convergence rates of the three errors and residual norms accurately.


title: AttentionBoost: Learning What to Attend by Boosting Fully Convolutional Networks

abstract: Dense prediction models are widely used for image segmentation. One important challenge is to sufficiently train these models to yield good generalizations for hard-to-learn pixels. A typical group of such hard-to-learn pixels are boundaries between instances. Many studies have proposed to give specific attention to learning the boundary pixels. They include designing multi-task networks with an additional task of boundary prediction and increasing the weights of boundary pixels' predictions in the loss function. Such strategies require defining what to attend beforehand and incorporating this defined attention to the learning model. However, there may exist other groups of hard-to-learn pixels and manually defining and incorporating the appropriate attention for each group may not be feasible. In order to provide a more attainable and scalable solution, this paper proposes AttentionBoost, which is a new multi-attention learning model based on adaptive boosting. AttentionBoost designs a multi-stage network and introduces a new loss adjustment mechanism for a dense prediction model to adaptively learn what to attend at each stage directly on image data without necessitating any prior definition about what to attend. This mechanism modulates the attention of each stage to correct the mistakes of previous stages, by adjusting the loss weight of each pixel prediction separately with respect to how accurate the previous stages are on this pixel. This mechanism enables AttentionBoost to learn different attentions for different pixels at the same stage, according to difficulty of learning these pixels, as well as multiple attentions for the same pixel at different stages, according to confidence of these stages on their predictions for this pixel. Using gland segmentation as a showcase application, our experiments demonstrate that AttentionBoost improves the results of its counterparts.


title: Hermitian matrices for clustering directed graphs: insights and applications

abstract: Graph clustering is a basic technique in machine learning, and has widespread applications in different domains. While spectral techniques have been successfully applied for clustering undirected graphs, the performance of spectral clustering algorithms for directed graphs (digraphs) is not in general satisfactory: these algorithms usually require symmetrising the matrix representing a digraph, and typical objective functions for undirected graph clustering do not capture cluster-structures in which the information given by the direction of the edges is crucial. To overcome these downsides, we propose a spectral clustering algorithm based on a complex-valued matrix representation of digraphs. We analyse its theoretical performance on a Stochastic Block Model for digraphs in which the cluster-structure is given not only by variations in edge densities, but also by the direction of the edges. The significance of our work is highlighted on a data set pertaining to internal migration in the United States: while previous spectral clustering algorithms for digraphs can only reveal that people are more likely to move between counties that are geographically close, our approach is able to cluster together counties with a similar socio-economical profile even when they are geographically distant, and illustrates how people tend to move from rural to more urbanised areas.


title: Nucleon spin polarization in intermediate-energy heavy-ion collisions

abstract: Based on a spin-dependent Boltzmann-Uehling-Uhlenbeck transport model with spin-dependent potentials incorporated using the lattice Hamiltonian method, we have studied the global spin polarization perpendicular to the reaction plane as well as the local spin polarization in the longitudinal direction in non-central intermediate-energy heavy-ion collisions, as an extension of similar studies in relativistic heavy-ion collisions. Both the global and the local spin polarizations are found to be mostly dominated by the time-odd component of the nuclear spin-orbit potential. Impacts of various theoretical uncertainties on the nucleon spin polarization as well as its dependence on the beam energy and impact parameter are discussed. Our study serves as a baseline for understanding the spin polarization mechanism of strongly interacting matter produced in heavy-ion collisions dominated by nucleon degree of freedom.


title: Higher dimensional shrinking target problem in beta dynamical systems

abstract: We consider the two dimensional shrinking target problem in the beta dynamical system for general $\beta>1$ and with the general error of approximations. Let $f, g$ be two positive continuous functions. For any $x_0,y_0\in[0,1]$, define the shrinking target set $$ E(T_\beta, f,g):=\left\{(x,y)\in [0,1]^2: \begin{array}{ll} |T_{\beta}^{n}x-x_{0}|<e^{-S_nf(x)}\\ [1ex] |T_{\beta}^{n}y-y_{0}|< e^{-S_ng(y)} \end{array} \ {\text{for infinitely many}} \ n\in \N \right\}, $$ where $S_nf(x)=\sum_{j=0}^{n-1}f(T_\beta^jx)$ is the Birkhoff sum. We calculate the Hausdorff dimension of this set and prove that it is the solution to some pressure function. This represents the first result of this kind for the higher dimensional beta dynamical systems.


title: Boundary interface conditions and solute trapping near the transition to diffusionless solidification

abstract: The process of rapid solidification of a binary mixture is considered in the framework of local nonequilibrium model (LNM) based on the assumption that there is no local equilibrium in solute diffusion in the bulk liquid and at the solid-liquid interface. According to LNM the transition to complete solute trapping and diffusionless solidification occurs at a finite interface velocity $V=V_D$, where $V_D$ is the diffusion speed in bulk liquid. In the present work, the boundary conditions at the phase interface moving with the velocity $V$ close to $V_D$ ($V \lesssim V_D$) have been derived to find the non-equilibrium solute partition coefficient. In the high-speed region, its comparison with the partition coefficient from the work [Phys. Rev. E 76 (2007) 031606] is given.


title: Further comments on BPS systems

abstract: We look at BPS systems involving two interacting Sine-Gordon like fields both when one of them has a kink solution and the second one either a kink or an antikink solution. The interaction between the two fields is controlled by a parameter $\lambda$ which has to satisfy $| \lambda|< 2$. We then take these solitonic static solutions (with solitons well localised) and construct from them systems involving two solitons in each field (kinks and antikinks) and then use them as initial conditions for their evolution in Lorentz covariant versions of such models. This way we study their interactions and compare them with similar interactions involving only one Sine-Gordon field. In particular, we look at the behaviour of two static kinks in each field (which for one field repel each other) and of a system involving kinks and anti-kinks (which for one field attract each other) and look how their behaviour depends on the strength of the interaction $\lambda$ between the two fields. Our simulations have led us to look again at the static BPS solutions of systems involving more fields. We have found that such ostensibly 'static' BPS solutions can exhibit small motions due to the excitation of their zero modes. These excitations arise from small unavoidable numerical errors (the overall translation is cancelled by the conservation of momentum) but as systems of two or more fields have more that one zero mode such motions can be generated and are extremely small. The energy of our systems has been conserved to within $10^{-5}\%$.


title: Analysing Global Fixed Income Markets with Tensors

abstract: Global fixed income returns span across multiple maturities and economies, that is, they naturally reside on multi-dimensional data structures referred to as tensors. In contrast to standard "flat-view" multivariate models that are agnostic to data structure and only describe linear pairwise relationships, we introduce a tensor-valued approach to model the global risks shared by multiple interest rate curves. In this way, the estimated risk factors can be analytically decomposed into maturity-domain and country-domain constituents, which allows the investor to devise rigorous and tractable global portfolio management and hedging strategies tailored to each risk domain. An empirical analysis confirms the existence of global risk factors shared by eight developed economies, and demonstrates their ability to compactly describe the global macroeconomic environment.

categories: q-fin.PM econ.EM eess.SP q-fin.ST stat.AP


title: Fermat's polygonal number theorem for repeated generalized polygonal numbers

abstract: In this paper, we consider sums of generalized polygonal numbers with repeats, generalizing Fermat's polygonal number theorem which was proven by Cauchy. In particular, we obtain the minimal number of generalized $m$-gonal numbers required to represent every positive integer and we furthermore generalize this result to obtain optimal bounds when many of the generalized $m$-gonal numbers are repeated $r$ times, where $r\in\mathbb{N}$ is fixed.


title: Megapixels @ Megahertz -- The AGIPD High-Speed Cameras for the European XFEL

abstract: The European XFEL is an extremely brilliant Free Electron Laser Source with a very demanding pulse structure: trains of 2700 X-Ray pulses are repeated at 10 Hz. The pulses inside the train are spaced by 220 ns and each one contains up to $10^{12}$ photons of 12.4 keV, while being $\le 100$ fs in length. AGIPD, the Adaptive Gain Integrating Pixel Detector, is a hybrid pixel detector developed by DESY, PSI, and the Universities of Bonn and Hamburg to cope with these properties. It is a fast, low noise integrating detector, with single photon sensitivity (for $\text{E}_{\gamma} \ge 6$ keV) and a large dynamic range, up to $10^4$ photons at 12.4 keV. This is achieved with a charge sensitive amplifier with 3 adaptively selected gains per pixel. 352 images can be recorded at up to 6.5 MHz and stored in the in-pixel analogue memory and read out between pulse trains. The core component of this detector is the AGIPD ASIC, which consists of $64 \times 64$ pixels of $200 {\mu}\text{m} \times 200 {\mu}\text{m}$. Control of the ASIC's image acquisition and analogue readout is via a command based interface. FPGA based electronic boards, controlling ASIC operation, image digitisation and 10 GE data transmission interface AGIPD detectors to DAQ and control systems. An AGIPD 1 Mpixel detector has been installed at the SPB experimental station in August 2017, while a second one is currently commissioned for the MID endstation. A larger (4 Mpixel) AGIPD detector and one to employ Hi-Z sensor material to efficiently register photons up to $\text{E}_{\gamma} \approx 25$ keV are currently under construction.


title: On instabilities of stationary scalar field configurations supported by reflecting compact stars

abstract: We study instabilities of the system composed of stationary scalar fields and asymptotically flat horizonless reflecting compact stars. In the probe limit, we obtain bounds on the scalar field frequency. Below this bound, stationary hairy stars are expected to suffer from nonlinear instabilities under massless field perturbations. In other words, we prove that stationary scalar hairy stars are unstable for scalar fields with small frequency.


title: Model inference for Ordinary Differential Equations by parametric polynomial kernel regression

abstract: Model inference for dynamical systems aims to estimate the future behaviour of a system from observations. Purely model-free statistical methods, such as Artificial Neural Networks, tend to perform poorly for such tasks. They are therefore not well suited to many questions from applications, for example in Bayesian filtering and reliability estimation. This work introduces a parametric polynomial kernel method that can be used for inferring the future behaviour of Ordinary Differential Equation models, including chaotic dynamical systems, from observations. Using numerical integration techniques, parametric representations of Ordinary Differential Equations can be learnt using Backpropagation and Stochastic Gradient Descent. The polynomial technique presented here is based on a nonparametric method, kernel ridge regression. However, the time complexity of nonparametric kernel ridge regression scales cubically with the number of training data points. Our parametric polynomial method avoids this manifestation of the curse of dimensionality, which becomes particularly relevant when working with large time series data sets. Two numerical demonstrations are presented. First, a simple regression test case is used to illustrate the method and to compare the performance with standard Artificial Neural Network techniques. Second, a more substantial test case is the inference of a chaotic spatio-temporal dynamical system, the Lorenz--Emanuel system, from observations. Our method was able to successfully track the future behaviour of the system over time periods much larger than the training data sampling rate. Finally, some limitations of the method are presented, as well as proposed directions for future work to mitigate these limitations.


title: Finite-size effects on the cluster expansions for quantum gases in restricted geometries

abstract: We have analytically obtained 1-particle density matrices for ideal Bose and Fermi gases in both the 3-D box geometries and the harmonically trapped geometries for the entire range of temperature. We have obtained quantum cluster expansions of the grand free energies in closed forms for the same systems in the restricted geometries. We have proposed a theorem (with a proof) about the generic form of the quantum cluster integral. We also have considered short ranged interactions in our analyses for the quasi 1-D cases of Bose and Fermi gases in the box geometries. Our theoretical results are exact, and are directly useful for understanding finite-size effects on quantum cluster expansion of Bose and Fermi gases in the restricted geometries. Our results would be relevant in the context of experimental study of spatial correlations in ultra-cold systems of dilute Bose and Fermi gases of alkali atoms (i) in 3-D magneto-optical box traps with quasi-uniform potential around the center [1], and (ii) in 3-D harmonic traps [2, 3].


title: 3-D feature of self-correlation level contours at $10^{10}\ \mathrm{cm}$ scale in solar wind turbulence

abstract: The self-correlation level contours at $10^{10}\ \mathrm{cm}$ scale reveal a 2-D isotropic feature in both the slow solar wind fluctuations and the fast solar wind fluctuations. However, this 2-D isotropic feature is obtained based on the assumption of axisymmetry with respect to the mean magnetic field. Whether the self-correlation level contours are still 3-D isotropic remains unknown. Here we perform for the first time a 3-D self-correlation level contours analysis on the solar wind turbulence. We construct a 3-D coordinate system based on the mean magnetic field direction and the maximum fluctuation direction identified by the minimum-variance analysis (MVA) method. We use data with 1-hour intervals observed by WIND spacecraft from 2005 to 2018. We find, on one hand, in the slow solar wind, the self-correlation level contour surfaces for both the magnetic field and the velocity field are almost spherical, which indicates a 3-D isotropic feature. On the other hand, there is a weak elongation in one of the perpendicular direction in the fast solar wind fluctuations. The 3-D feature of the self-correlation level contours surfaces cannot be explained by the existed theory.


title: WSEmail: A Retrospective on a System for Secure Internet Messaging Based on Web Services

abstract: Web services offer an opportunity to redesign a variety of older systems to exploit the advantages of a flexible, extensible, secure set of standards. In this work we revisit WSEmail, a system proposed over ten years ago to improve email by redesigning it as a family of web services. WSEmail offers an alternative vision of how instant messaging and email services could have evolved, offering security, extensibility, and openness in a distributed environment instead of the hardened walled gardens that today's rich messaging systems have become. WSEmail's architecture, especially its automatic plug-in download feature allows for rich extensions without changing the base protocol or libraries. We demonstrate WSEmail's flexibility using three business use cases: secure channel instant messaging, business workflows with routed forms, and on-demand attachments. Since increased flexibility often mitigates against security and performance, we designed WSEmail with security in mind and formally proved the security of one of its core protocols (on-demand attachments) using the TulaFale and ProVerif automated proof tools. We provide performance measurements for WSEmail functions in a prototype we implemented using .NET. Our experiments show a latency of about a quarter of a second per transaction under load.


title: Multigraded Shifts of Matroidal Ideals

abstract: In this paper, we show that if $I$ is a matroidal ideal, then the ideal generated by the $i$-th multigraded shifts is also a matroidal ideal for every $i=0,\ldots,\text{pd}(I)$.


title: Threshold Changeable Secret Sharing Scheme and Its Application to Group Authentication

abstract: Group oriented applications are getting more and more popular in mobile Internet and call for secure and efficient secret sharing (SS) scheme to meet their requirements. A $(t,n)$ threshold SS scheme divides a secret into $n$ shares such that any $t$ or more than $t$ shares can recover the secret while less than $t$ shares cannot. However, an adversary, even without a valid share, may obtain the secret by impersonating a shareholder to recover the secret with $t$ or more legal shareholders. Therefore, this paper uses linear code to propose a threshold changeable secret sharing (TCSS) scheme, in which threshold should increase from $t$ to the exact number of all participants during secret reconstruction. The scheme does not depend on any computational assumption and realizes asymptotically perfect security. Furthermore, based on the proposed TCSS scheme, a group authentication scheme is constructed, which allows a group user to authenticate whether all users are legal group members at once and thus provides efficient and flexible m-to-m authentication for group oriented applications.


title: Point Cloud Super Resolution with Adversarial Residual Graph Networks

abstract: Point cloud super-resolution is a fundamental problem for 3D reconstruction and 3D data understanding. It takes a low-resolution (LR) point cloud as input and generates a high-resolution (HR) point cloud with rich details. In this paper, we present a data-driven method for point cloud super-resolution based on graph networks and adversarial losses. The key idea of the proposed network is to exploit the local similarity of point cloud and the analogy between LR input and HR output. For the former, we design a deep network with graph convolution. For the latter, we propose to add residual connections into graph convolution and introduce a skip connection between input and output. The proposed network is trained with a novel loss function, which combines Chamfer Distance (CD) and graph adversarial loss. Such a loss function captures the characteristics of HR point cloud automatically without manual design. We conduct a series of experiments to evaluate our method and validate the superiority over other methods. Results show that the proposed method achieves the state-of-the-art performance and have a good generalization ability to unseen data.


title: Concentration inequalities for functionals of Poisson cylinder processes

abstract: Random union sets $Z$ associated with stationary Poisson processes of $k$-cylinders in $\mathbb{R}^d$ are considered. Under general conditions on the typical cylinder base a concentration inequality for the volume of $Z$ restricted to a compact window is derived. Assuming convexity of the typical cylinder base and isotropy of $Z$ a concentration inequality for intrinsic volumes of arbitrary order is established. A number of special cases are discussed, for example the case when the cylinder bases arise from a random rotation of a fixed convex body. Also the situation of expanding windows is studied. Special attention is payed to the case $k=0$, which corresponds to the classical Boolean model.


title: The First fm/c of Heavy-Ion Collisions

abstract: We present an introductory review of the early time dynamics of high-energy heavy-ion collisions and the kinetics of high temperature QCD. The equilibration mechanisms in the quark-gluon plasma uniquely reflect the non-abelian and ultra-relativistic character of the many body system. Starting with a brief expose of the key theoretical and experimental questions, we provide an overview of the theoretical tools employed in weak coupling studies of the early time non-equilibrium dynamics. We highlight theoretical progress in understanding different thermalization mechanisms in weakly coupled non-abelian plasmas, and discuss their relevance in describing the approach to local thermal equilibrium during the first ${\rm fm}/c$ of a heavy-ion collision. Some important connections to the phenomenology of heavy-ion collisions are also briefly discussed.


title: FeOOH instability at the lower mantle conditions

abstract: Goethite, {\alpha}-FeOOH, is a major component among oxidized iron species, called rust, which formed as a product of metabolism of anoxygenic prokaryotes (1, 2) inhabiting the Earth from about 3.8 billion years (Gy) ago until the Great Oxidation Event (GOE) of about 2.5 Gy ago. The rust was buried on the ocean floor (1, 2) and had to submerge into the Earth mantle with subducting slabs due to the plate tectonics started about 2.8 Gy ago (3). The fate and the geological role of the rust at the lower mantle high-pressure and high-temperature(HPHT) conditions is unknown. We studied the behavior of goethite up to 82(2) GPa and 2300(100) K using in situ synchrotron single-crystal X-ray diffraction. At these conditions, corresponding to the coldest slabs at the depth of about 1000 km, {\alpha}-FeOOH decomposes to various iron oxides (Fe2O3, Fe5O7, Fe7O10, Fe6.32O9) and an oxygen-rich fluid. Our results suggest that recycling of the rust in the Earth mantle could contribute to oxygen release to the atmosphere and explain the sporadic increase of the oxygen level before the GOE linked to the formation of Large Igneous Provinces(4).


title: Rough $I$-convergence in cone metric spaces

abstract: Here we have studied the notion of rough $I$-convergence as an extension of the idea of rough convergence in a cone metric space using ideals. We have further introduced the notion of rough $I^*$-convergence of sequences in a cone metric space to find the relationship between rough $I$ and $I^*$-convergence of sequences.


title: Teacher Supervises Students How to Learn From Partially Labeled Images for Facial Landmark Detection

abstract: Facial landmark detection aims to localize the anatomically defined points of human faces. In this paper, we study facial landmark detection from partially labeled facial images. A typical approach is to (1) train a detector on the labeled images; (2) generate new training samples using this detector's prediction as pseudo labels of unlabeled images; (3) retrain the detector on the labeled samples and partial pseudo labeled samples. In this way, the detector can learn from both labeled and unlabeled data to become robust. In this paper, we propose an interaction mechanism between a teacher and two students to generate more reliable pseudo labels for unlabeled data, which are beneficial to semi-supervised facial landmark detection. Specifically, the two students are instantiated as dual detectors. The teacher learns to judge the quality of the pseudo labels generated by the students and filter out unqualified samples before the retraining stage. In this way, the student detectors get feedback from their teacher and are retrained by premium data generated by itself. Since the two students are trained by different samples, a combination of their predictions will be more robust as the final prediction compared to either prediction. Extensive experiments on 300-W and AFLW benchmarks show that the interactions between teacher and students contribute to better utilization of the unlabeled data and achieves state-of-the-art performance.


title: Open embeddings and pseudoflat epimorphisms

abstract: We characterize open embeddings of Stein spaces and of $C^\infty$-manifolds in terms of certain flatness-type conditions on the respective homomorphisms of function algebras.


title: A Public Network Trace of a Control and Automation System

abstract: The increasing number of attacks against automation systems such as SCADA and their network infrastructure have demonstrated that there is a need to secure those systems. Unfortunately, directly applying existing ICT security mechanisms to automation systems is hard due to constraints of the latter, such as availability requirements or limitations of the hardware. Thus, the solution privileged by researchers is the use of network-based intrusion detection systems (N-IDS). One of the issue that many researchers encounter is how to validate and evaluate their N-IDS. Having access to a real and large automation systems for experimentation is almost impossible as companies are not inclined to give access to their systems due to obvious concerns. The few public traffic datasets that could be used for off-line experiments are either synthetic or collected at small testbeds. In this paper, we will describe and characterize a public traffic dataset collected at the HVAC management system of a university campus. Although the dataset contains only packet headers, we believe that it can help researchers, in particular designers of flow-based IDS, to validate their solutions under more realistic conditions. The traces can be found on https://github.com/gkabasele/HVAC_Traces.


title: Practical Speech Recognition with HTK

abstract: The practical aspects of developing an Automatic Speech Recognition System (ASR) with HTK are reviewed. Steps are explained concerning hardware, software, libraries, applications and computer programs used. The common procedure to rapidly apply speech recognition system is summarized. The procedure is illustrated, to implement a speech based electrical switch in home automation for the Indonesian language. The main key of the procedure is to match the environment for training and testing using the training data recorded from the testing program, HVite. Often the silence detector of HTK is wrongly triggered by noises because the microphone is too sensitive. This problem is mitigated by simply scaling down the volume. In this sub-word phone-based speech recognition, noise is included in the training database and labelled particularly. Illustration of the procedure is applied to a home automation application. Electrical switches are controlled by Indonesian speech recognizer. The results show 100% command completion rate.


title: Fiber Optical Shape Sensing of Flexible Instruments for Endovascular Navigation

abstract: Purpose: Endovascular aortic repair procedures are currently conducted with 2D fluoroscopy imaging. Tracking systems based on fiber Bragg gratings are an emerging technology for the navigation of minimal-invasive instruments which can reduce the x-ray exposure and the used contrast agent. Shape sensing of flexible structures is challenging and includes many calculations steps which are prone to different errors. To reduce this errors, we present an optimized shape sensing model. Methods: We analyzed for every step of the shape sensing process, which errors can occur, how the error affects the shape and how it can be compensated or minimized. Experiments were done with a multicore fiber system with 38 cm sensing length and the effects of different methods and parameters were analyzed. Furthermore we compared 3D shape reconstructions with the segmented shape of the corresponding CT scans of the fiber to evaluate the accuracy of our optimized shape sensing model. Finally we tested our model in a realistic endovascular scenario by using a 3D printed vessel system created from patient data. Results: Depending on the complexity of the shape we reached an average error of 0.35 to 1.15 mm and maximal error of 0.75 to 7.53 mm over the whole 38 cm sensing length. In the endovascular scenario we obtained an average and maximal error of 1.13 mm and 2.11 mm, respectively. Conclusions: The accuracies of the 3D shape sensing model are promising and we plan to combine the shape sensing based on fiber Bragg gratings with the position and orientation of an electromagnetic sensor system to obtain the located shape of the catheter.


title: What do the founders of online communities owe to their users?

abstract: We discuss the organisation of internet communities, focusing on what we call the principle of "bait and switch": founders of internet communities often find it advantageous to recruit members by promising inducements which are later not honoured. We look at some of the dilemmas and ways of attempting to resolve them through two paradigmatic examples, Wikispaces and Wordpress. Our analysis is to a large extent motivated by the demands of CALLector, a university-centred social network we are in the process of establishing. We consider the question of what ethical standards are imposed on universities engaged in this type of activity.


title: Road Accidents in the UK (Analysis and Visualization)

abstract: Analysis of road accidents is crucial to understand the factors involved and their impact. Accidents usually involve multiple variables like time, weather conditions, age of driver, etc. and hence it is challenging to analyze the data. To solve this problem, we use Multiple Correspondence Analysis (MCA) to first, filter out the most number of variables which can be visualized effectively in two dimensions and then study the correlations among these variables in a two dimensional scatter plot. Other variables, for which MCA cannot capture ample variance in the projected dimensions, we use hypothesis testing and time series analysis for the study.


title: Addressing Data Bias Problems for Chest X-ray Image Report Generation

abstract: Automatic medical report generation from chest X-ray images is one possibility for assisting doctors to reduce their workload. However, the different patterns and data distribution of normal and abnormal cases can bias machine learning models. Previous attempts did not focus on isolating the generation of the abnormal and normal sentences in order to increase the variability of generated paragraphs. To address this, we propose to separate abnormal and normal sentence generation by using two different word LSTMs in a hierarchical LSTM model. We conduct an analysis on the distinctiveness of generated sentences compared to the BLEU score, which increases when less distinct reports are generated. We hope our findings will help to encourage the development of new metrics to better verify methods of automatic medical report generation.


title: Above the Clouds: A Brief Survey

abstract: Cloud Computing is a versatile technology that can support a broad-spectrum of applications. The low cost of cloud computing and its dynamic scaling renders it an innovation driver for small companies, particularly in the developing world. Cloud deployed enterprise resource planning (ERP), supply chain management applications (SCM), customer relationship management (CRM) applications, medical applications, business applications and mobile applications have potential to reach millions of users. In this paper, we explore the different concepts involved in cloud computing and we also examine clouds from technical aspects. We highlight some of the opportunities in cloud computing underlining the importance of clouds showing why that technology must succeed and we have provided additional cloud computing problems that businesses may need to address. Finally, we discuss some of the issues that this area should deal with.


title: Architecture-aware Network Pruning for Vision Quality Applications

abstract: Convolutional neural network (CNN) delivers impressive achievements in computer vision and machine learning field. However, CNN incurs high computational complexity, especially for vision quality applications because of large image resolution. In this paper, we propose an iterative architecture-aware pruning algorithm with adaptive magnitude threshold while cooperating with quality-metric measurement simultaneously. We show the performance improvement applied on vision quality applications and provide comprehensive analysis with flexible pruning configuration. With the proposed method, the Multiply-Accumulate (MAC) of state-of-the-art low-light imaging (SID) and super-resolution (EDSR) are reduced by 58% and 37% without quality drop, respectively. The memory bandwidth (BW) requirements of convolutional layer can be also reduced by 20% to 40%.


title: Semi-Supervised Adversarial Monocular Depth Estimation

abstract: In this paper, we address the problem of monocular depth estimation when only a limited number of training image-depth pairs are available. To achieve a high regression accuracy, the state-of-the-art estimation methods rely on CNNs trained with a large number of image-depth pairs, which are prohibitively costly or even infeasible to acquire. Aiming to break the curse of such expensive data collections, we propose a semi-supervised adversarial learning framework that only utilizes a small number of image-depth pairs in conjunction with a large number of easily-available monocular images to achieve high performance. In particular, we use one generator to regress the depth and two discriminators to evaluate the predicted depth , i.e., one inspects the image-depth pair while the other inspects the depth channel alone. These two discriminators provide their feedbacks to the generator as the loss to generate more realistic and accurate depth predictions. Experiments show that the proposed approach can (1) improve most state-of-the-art models on the NYUD v2 dataset by effectively leveraging additional unlabeled data sources; (2) reach state-of-the-art accuracy when the training set is small, e.g., on the Make3D dataset; (3) adapt well to an unseen new dataset (Make3D in our case) after training on an annotated dataset (KITTI in our case).


title: Aligning Linguistic Words and Visual Semantic Units for Image Captioning

abstract: Image captioning attempts to generate a sentence composed of several linguistic words, which are used to describe objects, attributes, and interactions in an image, denoted as visual semantic units in this paper. Based on this view, we propose to explicitly model the object interactions in semantics and geometry based on Graph Convolutional Networks (GCNs), and fully exploit the alignment between linguistic words and visual semantic units for image captioning. Particularly, we construct a semantic graph and a geometry graph, where each node corresponds to a visual semantic unit, i.e., an object, an attribute, or a semantic (geometrical) interaction between two objects. Accordingly, the semantic (geometrical) context-aware embeddings for each unit are obtained through the corresponding GCN learning processers. At each time step, a context gated attention module takes as inputs the embeddings of the visual semantic units and hierarchically align the current word with these units by first deciding which type of visual semantic unit (object, attribute, or interaction) the current word is about, and then finding the most correlated visual semantic units under this type. Extensive experiments are conducted on the challenging MS-COCO image captioning dataset, and superior results are reported when comparing to state-of-the-art approaches.


title: Artificial neural network to estimate the refractive index of a liquid infiltrating a chiral sculptured thin film

abstract: We theoretically expanded the capabilities of optical sensing based on surface plasmon resonance in a prism-coupled configuration by incorporating artificial neural networks (ANNs). We used calculations modeling the situation in which an index-matched substrate with a metal thin film and a porous chiral sculptured thin film (CSTF) deposited successively on it is affixed to the base of a triangular prism. When a fluid is brought in contact with the exposed face of the CSTF, the latter is infiltrated. As a result of infiltration, the traversal of light entering one slanted face of the prism and exiting the other slanted face of the prism is affected. We trained two ANNs with differing structures using reflectance data generated from simulations to predict the refractive index of the infiltrant fluid. The best predictions were a result of training the ANN with simpler structure. With realistic simulated-noise, the performance of this ANN is robust.


title: Engineering Negative Cycle Canceling for Wind Farm Cabling

abstract: In a wind farm turbines convert wind energy into electrical energy. The generation of each turbine is transmitted, possibly via other turbines, to a substation that is connected to the power grid. On every possible interconnection there can be at most one of various different cable types. Each type comes with a cost per unit length and with a capacity. Designing a cost-minimal cable layout for a wind farm to feed all turbine production into the power grid is called the Wind Farm Cabling Problem (WCP). We consider a formulation of WCP as a flow problem on a graph where the cost of a flow on an edge is modeled by a step function originating from the cable types. Recently, we presented a proof-of-concept for a negative cycle canceling-based algorithm for WCP [14]. We extend key steps of that heuristic and build a theoretical foundation that explains how this heuristic tackles the problems arising from the special structure of WCP. A thorough experimental evaluation identifies the best setup of the algorithm and compares it to existing methods from the literature such as Mixed-integer Linear Programming (MILP) and Simulated Annealing (SA). The heuristic runs in a range of half a millisecond to approximately one and a half minutes on instances with up to 500 turbines. It provides solutions of similar quality compared to both competitors with running times of one hour and one day. When comparing the solution quality after a running time of two seconds, our algorithm outperforms the MILP- and SA-approaches, which allows it to be applied in interactive wind farm planning.


title: Deep learning research landscape & roadmap in a nutshell: past, present and future -- Towards deep cortical learning

abstract: The past, present and future of deep learning is presented in this work. Given this landscape & roadmap, we predict that deep cortical learning will be the convergence of deep learning & cortical learning which builds an artificial cortical column ultimately.


title: Controlled Analytic Properties and the Quantitative Baum-Connes Conjecture

abstract: We show that the classical Baum-Connes assembly map is quantitatively an isomorphism for a class of lacunary hyperbolic groups, and we explain how to see that this class contains many examples of groups that contain graph sequences of large girth inside their Cayley graphs and therefore do not have property (A). This includes the known counterexamples to the Baum-Connes conjecture with coefficients, as well as many other monster groups that have property (T).


title: Competitive Search in a Network

abstract: We study the classic problem in which a Searcher must locate a hidden point, also called the Hider in a network, starting from a root point. The network may be either bounded or unbounded, thus generalizing well-known settings such as linear and star search. We distinguish between pathwise search, in which the Searcher follows a continuous unit-speed path until the Hider is reached, and expanding search, in which, at any point in time, the Searcher may restart from any previously reached point. The former has been the usual paradigm for studying search games, whereas the latter is a more recent paradigm that can model real-life settings such as hunting for a fugitive, demining a field, or search-and-rescue operations. We seek both deterministic and randomized search strategies that minimize the competitive ratio, namely the worst-case ratio of the Hider's discovery time, divided by the shortest path to it from the root. Concerning expanding search, we show that a simple search strategy that applies a "waterfilling" principle has optimal deterministic competitive ratio; in contrast, we show that the optimal randomized competitive ratio is attained by fairly complex strategies even in a very simple network of three arcs. Motivated by this observation, we present and analyze an expanding search strategy that is a 5/4 approximation of the randomized competitive ratio. Our approach is also applicable to pathwise search, for which we give a strategy that is a 5 approximation of the randomized competitive ratio, and which improves upon strategies derived from previous work.


title: Thermodynamic geometry of a black hole surrounded by perfect fluid in Rastall theory

abstract: In this paper, we study thermodynamics and thermodynamic geometry of a black hole surrounded by the perfect fluid in Rastall theory. In particular, we calculate the physical quantity like mass, temperature and heat capacity of the system for two different cases. From the resulting heat capacity, we emphasize stability of the system. Following Weinhold, Ruppiner, Quevedo and HPEM formalism, thermodynamic geometry of this black hole in Rastall gravity is also analyzed. We find that the singular points of the curvature scalar of Ruppeiner and HPEM metrics entirely coincides with zero points of the heat capacity. But there is another divergence of HPEM metric which coincides with the singular points of heat capacity, so we can extract more information of HPEM metric compared with Ruppeiner metric. However, we are unable to find any physical data about the system from the Weinhold and Quevedo formalism.


title: Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems

abstract: More and more software practitioners are tackling towards industrial applications of artificial intelligence (AI) systems, especially those based on machine learning (ML). However, many of existing principles and approaches to traditional systems do not work effectively for the system behavior obtained by training not by logical design. In addition, unique kinds of requirements are emerging such as fairness and explainability. To provide clear guidance to understand and tackle these difficulties, we present an analysis on what quality concepts we should evaluate for AI systems. We base our discussion on ISO/IEC 25000 series, known as SQuaRE, and identify how it should be adapted for the unique nature of ML and $\textit{Ethics guidelines for trustworthy AI}$ from European Commission. We thus provide holistic insights for quality of AI systems by incorporating the ML nature and AI ethics to the traditional software quality concepts.


title: A Software-based NVM Emulator Supporting Read/Write Asymmetric Latencies

abstract: Non-volatile memory (NVM) is a promising technology for low-energy and high-capacity main memory of computers. The characteristics of NVM devices, however, tend to be fundamentally different from those of DRAM (i.e., the memory device currently used for main memory), because of differences in principles of memory cells. Typically, the write latency of an NVM device such as PCM and ReRAM is much higher than its read latency. The asymmetry in read/write latencies likely affects the performance of applications significantly. For analyzing behavior of applications running on NVM-based main memory, most researchers use software-based emulation tools due to the limited number of commercial NVM products. However, these existing emulation tools are too slow to emulate a large-scale, realistic workload or too simplistic to investigate the details of application behavior on NVM with asymmetric read/write latencies. This paper therefore proposes a new NVM emulation mechanism that is not only light-weight but also aware of a read/write latency gap in NVM-based main memory. We implemented the prototype of the proposed mechanism for the Intel CPU processors of the Haswell architecture. We also evaluated its accuracy and performed case studies for practical benchmarks. The results showed that our prototype accurately emulated write-latencies of NVM-based main memory: it emulated the NVM write latencies in a range from 200 ns to 1000 ns with negligible errors from 0.2% to 1.1%. We confirmed that the use of our emulator enabled us to successfully estimate performance of practical workloads for NVM-based main memory, while an existing light-weight emulation model misestimated.


title: Parallelization of Kmeans++ using CUDA

abstract: K-means++ is an algorithm which is invented to improve the process of finding initial seeds in K-means algorithm. In this algorithm, initial seeds are chosen consecutively by a probability which is proportional to the distance to the nearest center. The most crucial problem of this algorithm is that when running in serial mode, it decreases the speed of clustering. In this paper, we aim to parallelize the most time consuming steps of the k-means++ algorithm. Our purpose is to reduce the running time while maintaining the quality of the serial algorithm.


title: The existence of the solution of the wave equation on graphs

abstract: Let $G=(V, E)$ be a finite weighted graph, and $\Omega\subseteq V$ be a domain such that $\Omega^\circ\neq\emptyset$. In this paper, we study the following initial boundary problem for the non-homogenous wave equation \begin{equation*} \left\{ \begin{aligned} &\partial_t^2 u(t,x)-\Delta_\Omega u(t,x)=f(t,x),\qquad&&(t,x)\in[0,\infty)\times \Omega^\circ,\\ &u(0,x)=g(x),\qquad&& x\in\Omega^\circ,\\ &\partial_tu(0,x)=h(x),\qquad&& x\in\Omega^\circ,\\ &u(t,x)=0,\qquad&&(t,x)\in[0,\infty)\times\partial \Omega, \end{aligned} \right. \end{equation*} where $\Delta_\Omega$ denotes the Dirichlet Laplacian on $\Omega^\circ$. Using Rothe's method, we prove that the above wave equation has a unique solution.


title: Robby is Not a Robber (anymore): On the Use of Institutions for Learning Normative Behavior

abstract: Future robots should follow human social norms in order to be useful and accepted in human society. In this paper, we leverage already existing social knowledge in human societies by capturing it in our framework through the notion of social norms. We show how norms can be used to guide a reinforcement learning agent towards achieving normative behavior and apply the same set of norms over different domains. Thus, we are able to: (1) provide a way to intuitively encode social knowledge (through norms); (2) guide learning towards normative behaviors (through an automatic norm reward system); and (3) achieve a transfer of learning by abstracting policies; Finally, (4) the method is not dependent on a particular RL algorithm. We show how our approach can be seen as a means to achieve abstract representation and learn procedural knowledge based on the declarative semantics of norms and discuss possible implications of this in some areas of cognitive science.


title: Superparamagnetic dwell times and tuning of switching rates in perpendicular CoFeB/MgO/CoFeB tunnel junctions

abstract: Thin electrodes of magnetic tunnel junctions can show superparamagnetism at surprisingly low temperature. We analysed their thermally induced switching for varying temperature, magnetic and electric field. Although the dwell times follow an Arrhenius law, they are orders of magnitude too small compared to a model of single domain activation. Including entropic effects removes this inconsistency and leads to a magnetic activation volume much smaller than that of the electrode. Comparing data for varying barrier thickness then allows to separate the impact of Zeman energy, spin-transfer-torque and voltage induced anisotropy change on the dwell times. Based on these results, we demonstrate a tuning of the switching rates by combining magnetic and electric fields, which opens a path for their application in noisy neural networks.


title: The Fr\"ohlich-Morchio-Strocchi mechanism and quantum gravity

abstract: Taking manifest invariance under both gauge symmetry and diffeomorphisms as a guiding principle physical objects are constructed for Yang-Mills-Higgs theory coupled to quantum gravity. These objects are entirely classified by quantum numbers defined in the tangent space. Applying the Fr\"ohlich-Morchio-Strocchi mechanism to these objects reveals that they coincide with ordinary correlation functions in quantum-field theory, if quantum fluctuations of gravity and curvature become small. Taking these descriptions literally exhibits how quantum gravity fields need to dress quantum fields to create physical objects, i.e. giving a graviton component to ordinary observed particles. The same mechanism provides access to the physical spectrum of pure gravitational degrees of freedom.


title: beamModelTester: software framework for testing radio telescope beams

abstract: The flux, polarimetric and spectral response of phased array radio telescopes with no moving parts such as LOFAR is known to vary considerably with orientation of the source to the receivers. Calibration models exist for this dependency such as those that are used in the LOFAR pipeline. Presented here is a system for comparing the predicted outputs from any given model with the results of an observation. In this paper, a sample observation of a bright source, Cassiopeia A, is used to demonstrate the software in operation, by providing an observation and a model of that observation which can be compared with one another. The package presented here is flexible to allow it to be used with other models and sources. The system operates by first calculating the predictions of the model and the results of an observation of linear fluxes and Stokes parameters separately. The model and observed values are then joined using the variables common to both, time and frequency. Normalisation and RFI excision are carried out and the differences between the prediction and the observation are calculated. A wide selection of 2-, 3- and 4-dimensional plots are generated to illustrate the dependence of the model and the observation as well as the difference between them on independent parameters time, frequency, altitude and azimuth. Thus, beamModelTester provides a framework by which it is possible to calibrate and propose refinements to models and to compare models with one another.


title: Optimal birefringence distributions for star test polarimetry

abstract: Star test polarimetry is an imaging polarimetry technique in which an element with spatially-varying birefringence is placed in the pupil plane to encode polarization information into the point-spread function (PSF) of an imaging system. In this work, a variational calculation is performed to find the optimal birefringence distribution that effectively encodes polarization information while producing the smallest possible PSF, thus maximizing the resolution for imaging polarimetry. This optimal solution is found to be nearly equivalent to the birefringence distribution that results from a glass window being subjected to three uniformly spaced stress points at its edges, which has been used in previous star test polarimetry setups.


title: On estimation and prediction in spatial functional linear regression model

abstract: We consider a spatial functional linear regression, where a scalar response is related to a square integrable spatial functional process. We use a smoothing spline estimator for the functional slope parameter and establish a finite sample bound for variance of this estimator under mixing spatial dependence. Then, we give a bound of the prediction error. Finally, we illustrate our results by simulations


title: Bayesian Batch Active Learning as Sparse Subset Approximation

abstract: Leveraging the wealth of unlabeled data produced in recent years provides great potential for improving supervised models. When the cost of acquiring labels is high, probabilistic active learning methods can be used to greedily select the most informative data points to be labeled. However, for many large-scale problems standard greedy procedures become computationally infeasible and suffer from negligible model change. In this paper, we introduce a novel Bayesian batch active learning approach that mitigates these issues. Our approach is motivated by approximating the complete data posterior of the model parameters. While naive batch construction methods result in correlated queries, our algorithm produces diverse batches that enable efficient active learning at scale. We derive interpretable closed-form solutions akin to existing active learning procedures for linear models, and generalize to arbitrary models using random projections. We demonstrate the benefits of our approach on several large-scale regression and classification tasks.


title: Applications of canonical quantum gravity to cosmology

abstract: We apply quantum gravitational results to spatially unbounded Friedmann universes and try to answer some questions related to dark energy, dark matter, inflation and the missing antimatter.


title: Knowledge Query Network: How Knowledge Interacts with Skills

abstract: Knowledge Tracing (KT) is to trace the knowledge of students as they solve a sequence of problems represented by their related skills. This involves abstract concepts of students' states of knowledge and the interactions between those states and skills. Therefore, a KT model is designed to predict whether students will give correct answers and to describe such abstract concepts. However, existing methods either give relatively low prediction accuracy or fail to explain those concepts intuitively. In this paper, we propose a new model called Knowledge Query Network (KQN) to solve these problems. KQN uses neural networks to encode student learning activities into knowledge state and skill vectors, and models the interactions between the two types of vectors with the dot product. Through this, we introduce a novel concept called \textit{probabilistic skill similarity} that relates the pairwise cosine and Euclidean distances between skill vectors to the odds ratios of the corresponding skills, which makes KQN interpretable and intuitive. On four public datasets, we have carried out experiments to show the following: 1. KQN outperforms all the existing KT models based on prediction accuracy. 2. The interaction between the knowledge state and skills can be visualized for interpretation. 3. Based on probabilistic skill similarity, a skill domain can be analyzed with clustering using the distances between the skill vectors of KQN. 4. For different values of the vector space dimensionality, KQN consistently exhibits high prediction accuracy and a strong positive correlation between the distance matrices of the skill vectors.


title: Hartman effect from layered $PT$-symmetric system

abstract: The time taken by a wave packet to cross through a finite layered $PT$-symmetric system is calculated by stationary phase method. We consider the $PT$- symmetric system of fix spatial length $L$ consisting of $N$ units of the potential system `$+iV$' and `$-iV$' of equal width `$b$' such that $L=2Nb$. In the limit of large `$b$', the tunneling time is found to be independent of $L$ and therefore the layered $PT$-symmetric system display the Hartman effect. The interesting limit of $N \rightarrow \infty$ such that $L$ remains finite is investigated analytically. In this limit the tunneling time matches with the time taken to cross an empty space of length $L$. The result of this limiting case $N \rightarrow \infty$ also shows the consistency of phase space method of calculating the tunneling time despite the existence of controversial Hartman effect. The reason of Hartman effect is unknown to present day however the other definitions of tunneling time that indicate a delay which depends upon the length of traversing region have been effectively ruled out by recent attosecond measurements.


title: Excited states of the odd-odd nucleus 158Eu from the (d,alpha) reaction

abstract: Excited states in the 158Eu nucleus have been determined with the 160Gd(d, alpha)158Eu reaction, studied at an incident energy of 18.0 MeV with the Munich tandem and the Q3D spectrograph. More than 50 excited states have been determined up to 1.6 MeV excitation, some of them corresponding to states previously observed in the beta-decay of 158Sm. The number of levels found in this nucleus at low excitation energies follows the systematic trend of the level densities in the other isotopes with mass 152-156.


title: Multi-node environment strategy for Parallel Deterministic Multi-Objective Fractal Decomposition

abstract: This paper presents a new implementation of deterministic multiobjective (MO) optimization called Multiobjective Fractal Decomposition Algorithm (Mo-FDA). The original algorithm was designed for mono-objective large scale continuous optimization problems. It is based on a divide and conquer strategy and a geometric fractal decomposition of the search space using hyperspheres. Then, to deal with MO problems a scalarization approach is used. In this work, a new approach has been developed on a multi-node environment using containers. The performance of Mo-FDA was compared to state of the art algorithms from the literature on classical benchmark of multi-objective optimization


title: Industrial Artificial Intelligence

abstract: Artificial Intelligence (AI) is a cognitive science to enables human to explore many intelligent ways to model our sensing and reasoning processes. Industrial AI is a systematic discipline to enable engineers to systematically develop and deploy AI algorithms with repeating and consistent successes. In this paper, the key enablers for this transformative technology along with their significant advantages are discussed. In addition, this research explains Lighthouse Factories as an emerging status applying to the top manufacturers that have implemented Industrial AI in their manufacturing ecosystem and gained significant financial benefits. It is believed that this research will work as a guideline and roadmap for researchers and industries towards the real-world implementation of Industrial AI.


title: Relationships Between Six Incircles

abstract: If P is a point inside triangle ABC, then the cevians through P divide triangle ABC into six smaller triangles. We give theorems about the relationship between the radii of the circles inscribed in these triangles.


title: Accelerating models with a hybrid scale factor in extended gravity

abstract: Dynamical aspects of cosmological model in an extended gravity theory have been investigated in the present work. We have adopted a simplified approach to obtain cosmic features, which in fact requires more involved calculations. A cosmological model is constructed using a hybrid scale factor that simulates a cosmic transit behaviour. The deceleration parameter and energy conditions have been obtained for the constructed model. Scalar fields have been reconstructed from the present model in the extended gravity. Different diagnostic methods have been applied to analyse the viability of the constructed model. The present model almost looks like a cosmological constant for a substantial cosmic time zone and does not show any slowing down feature in near future.


title: Distribution of boundary points of expansion and application to the lonely runner conjecture

abstract: In this paper we study the distribution of boundary points of expansion. As an application, we say something about the lonely runner problem. We show that given $k$ runners $\mathcal{S}_i$ round a unit circular track with the condition that at some time $||\mathcal{S}_i-\mathcal{S}_{i+1}||=||\mathcal{S}_{i+1}-\mathcal{S}_{i+2}||$ for all $i=1,2\ldots,k-2$, then at that time we have \begin{align}||\mathcal{S}_{i+1}-\mathcal{S}_i||>\frac{\mathcal{D}(n)\pi}{k-1}\nonumber \end{align}for all $i=1,\ldots, k-1$ and where $\mathcal{D}(n)>0$ is a constant depending on the degree of a certain polynomial of degree $n$. In particular, we show that given at most eight $\mathcal{S}_i$~($i=1,2,\ldots, 8$) runners running round a unit circular track with distinct constant speed and the additional condition $||\mathcal{S}_i-\mathcal{S}_{i+1}||=||\mathcal{S}_{i+1}-\mathcal{S}_{i+2}||$ for all $1\leq i\leq 6$ at some time $s>1$, then at that time their mutual distance must satisfy the lower bound\begin{align}||\mathcal{S}_{i}-\mathcal{S}_{i+1}||>\frac{\pi}{7C\sqrt{3}}\nonumber \end{align}for some constant $C>0$ for all $1\leq i \leq 7$.


title: MAGIC extragalactic highlights from a MeV perspective

abstract: In the past fifteen years, the way to study TeV gamma-ray emitters changed drastically. The detection-based approach aimed at populating the TeV gamma-ray sky evolved into a physics-driven one, with the ambitious objective of understanding the mechanisms responsible for the emission and their environments. The synergic collaboration between instruments operating in different electromagnetic bands and with different messengers is therefore crucial. In this talk, I will report highlights on extragalactic physics studies achieved with the MAGIC telescopes, with special emphasis on the MeV-TeV connection.


title: Trigonometric identities and quadratic residues

abstract: In this paper we obtain some novel identities involving trigonometric functions. Let $n$ be any positive odd integer. We show that $$\sum_{r=0}^{n-1}\frac1{1+\sin2\pi\frac{x+r}n+\cos2\pi\frac{x+r}n} =\frac{(-1)^{(n-1)/2}n}{1+(-1)^{(n-1)/2}\sin 2\pi x+\cos 2\pi x}$$ for any complex number with $x+1/2,x+(-1)^{(n-1)/2}/4\not\in\mathbb Z$, and $$\sum_{j,k=0}^{n-1}\frac1{\sin 2\pi\frac{x+j}n+\sin2\pi \frac{y+k}n}=\frac{(-1)^{(n-1)/2}n^2}{\sin 2\pi x+\sin2\pi y}$$ for all complex numbers $x$ and $y$ with $x+y,x-y-1/2\not\in\mathbb Z$. We also determine the values of $\prod_{k=1}^{(p-1)/2}(1+\tan\pi\frac{k^2}p)$ and $\prod_{k=1}^{(p-1)/2}(1+\cot\pi\frac{k^2}p)$ for any odd prime $p$. In addition, we pose several conjectures on the values of $G_p(x)=\prod_{k=1}^{(p-1)/2}(x-e^{2\pi ik^2/p})$ with $p$ an odd prime and $x$ a root of unity.


title: A flexible, open-source radio-frequency driver for acousto-optic and electro-optic devices

abstract: We present a design for a radio-frequency driver that leverages telecom amplifiers to achieve high power output and wide bandwidth. The design consists of two compact printed circuit boards (total area $< 255$ cm), which incorporate power (turn-on) and thermal management to prevent accidental damage to the amplifier circuitry. Our driver provides $>1$ W of output power over a $10$ MHz to $1.1$ GHz frequency range, and $\geq 5$ W from $20$ MHz to $100$ MHz. The driver circuit includes auxiliary components for analog frequency and amplitude modulation ($\approx 70$ kHz bandwidth), as well as digital power switching ($> 30$ dB of extinction within $40$ ns and final extinction $> 90$ dB). The radio-frequency source can also be digitally switched between an external input and an integrated voltage-controlled oscillator. Our design is motivated by the need for flexible, inexpensive drivers of optically active devices, such as acousto-optic and electro-optic modulators.


title: Strichartz estimates for the one-dimensional wave equation

abstract: We study the hyperboloidal initial value problem for the one-dimensional wave equation perturbed by a smooth potential. We show that the evolution decomposes into a finite-dimensional spectral part and an infinite-dimensional radiation part. For the radiation part we prove a set of Strichartz estimates. As an application we study the long-time asymptotics of Yang-Mills fields on a wormhole spacetime.


title: Recurrence Network Analysis of Exoplanetary Observables

abstract: Recent advancements of complex network representation among several disciplines motivated the investigation of exoplanetary dynamics by means of recurrence networks. We are able to recover different dynamical regimes by means of various network measures obtained from synthetic time series of a model planetary system. The framework of complex networks is also applied to real astronomical observations acquired by recent state-of-the-art surveys. The outcome of the analysis is consistent with earlier studies opening new directions to investigate planetary dynamics.


title: Force, metric, or mass: Disambiguating causes of uniform gravity

abstract: In addition to nonzero forces and nontrivial metrics, here I show that a nonconstant Higgs expectation value, which endows elementary particles with their masses, also leads to apparent universal particle accelerations and photon frequency shifts. When effects of the Higgs is attributed to spacetime curvatures, a spurious stress-energy tensor is required in Einstein's equation. On cosmological scales, the spurious density coincides with the observed dark energy density. On smaller scales, effects of the Standard Model Higgs gradients are unlikely observable except near compact astrophysical bodies. To estimate the experimental precision required to disambiguate causes of apparent accelerations, I compare distinct effects of the force, metric, and Higgs profiles that cause uniform acceleration of a test particle. When the acceleration is caused by a force, the motion of all particles are hyperbolic with the same acceleration. However, when the cause is a metric, only a one-parameter family of particles undergo hyperbolic motion. In comparison, when the cause is a Higgs gradient, the trajectory of all particles are hyperbolic, but the acceleration is larger when the particle's energy is higher. The discrepancies among the three causes are minuscule on laboratory scales, which makes experimental tests very challenging.


title: Deep Self-Learning From Noisy Labels

abstract: ConvNets achieve good results when training from clean data, but learning from noisy labels significantly degrades performances and remains challenging. Unlike previous works constrained by many conditions, making them infeasible to real noisy cases, this work presents a novel deep self-learning framework to train a robust network on the real noisy datasets without extra supervision. The proposed approach has several appealing benefits. (1) Different from most existing work, it does not rely on any assumption on the distribution of the noisy labels, making it robust to real noises. (2) It does not need extra clean supervision or accessorial network to help training. (3) A self-learning framework is proposed to train the network in an iterative end-to-end manner, which is effective and efficient. Extensive experiments in challenging benchmarks such as Clothing1M and Food101-N show that our approach outperforms its counterparts in all empirical settings.


title: Heat kernel for higher-order differential operators and generalized exponential functions

abstract: We consider the heat kernel for higher-derivative and nonlocal operators in $d$-dimensional Euclidean space-time and its asymptotic behavior. As a building block for operators of such type, we consider the heat kernel of the minimal operator - generic power of the Laplacian - and show that it is given by the expression essentially different from the conventional exponential Wentzel-Kramers-Brillouin (WKB) ansatz. Rather it is represented by the generalized exponential function (GEF) directly related to what is known in mathematics as the Fox-Wright $\varPsi$-functions and Fox $H$-functions. The structure of its essential singularity in the proper time parameter is different from that of the usual exponential ansatz, which invalidated previous attempts to directly generalize the Schwinger-DeWitt heat kernel technique to higher-derivative operators. In particular, contrary to the conventional exponential decay of the heat kernel in space, we show the oscillatory behavior of GEF for higher-derivative operators. We give several integral representations for the generalized exponential function, find its asymptotics and semiclassical expansion, which turns out to be essentially different for local operators and nonlocal operators of noninteger order. Finally, we briefly discuss further applications of the GEF technique to generic higher-derivative and pseudodifferential operators in curved space-time, which might be critically important for applications of Horava-Lifshitz and other UV renormalizable quantum gravity models.


title: Modules over algebraic cobordism

abstract: We prove that the $\infty$-category of $\mathrm{MGL}$-modules over any scheme is equivalent to the $\infty$-category of motivic spectra with finite syntomic transfers. Using the recognition principle for infinite $\mathbb{P}^1$-loop spaces, we deduce that very effective $\mathrm{MGL}$-modules over a perfect field are equivalent to grouplike motivic spaces with finite syntomic transfers. Along the way, we describe any motivic Thom spectrum built from virtual vector bundles of nonnegative rank in terms of the moduli stack of finite quasi-smooth derived schemes with the corresponding tangential structure. In particular, over a regular equicharacteristic base, we show that $\Omega^\infty_{\mathbb{P}^1}\mathrm{MGL}$ is the $\mathbb{A}^1$-homotopy type of the moduli stack of virtual finite flat local complete intersections, and that for $n>0$, $\Omega^\infty_{\mathbb{P}^1} \Sigma^n_{\mathbb{P}^1} \mathrm{MGL}$ is the $\mathbb{A}^1$-homotopy type of the moduli stack of finite quasi-smooth derived schemes of virtual dimension $-n$.


title: Resource-Efficient Quantum Algorithm for Protein Folding

abstract: Predicting the three-dimensional (3D) structure of a protein from its primary sequence of amino acids is known as the protein folding (PF) problem. Due to the central role of proteins' 3D structures in chemistry, biology and medicine applications (e.g., in drug discovery) this subject has been intensively studied for over half a century. Although classical algorithms provide practical solutions, sampling the conformation space of small proteins, they cannot tackle the intrinsic NP-hard complexity of the problem, even reduced to its simplest Hydrophobic-Polar model. While fault-tolerant quantum computers are still beyond reach for state-of-the-art quantum technologies, there is evidence that quantum algorithms can be successfully used on Noisy Intermediate-Scale Quantum (NISQ) computers to accelerate energy optimization in frustrated systems. In this work, we present a model Hamiltonian with $\mathcal{O}(N^4)$ scaling and a corresponding quantum variational algorithm for the folding of a polymer chain with $N$ monomers on a tetrahedral lattice. The model reflects many physico-chemical properties of the protein, reducing the gap between coarse-grained representations and mere lattice models. We use a robust and versatile optimisation scheme, bringing together variational quantum algorithms specifically adapted to classical cost functions and evolutionary strategies (genetic algorithms), to simulate the folding of the 10 amino acid Angiotensin peptide on 22 qubits. The same method is also successfully applied to the study of the folding of a 7 amino acid neuropeptide using 9 qubits on an IBM Q 20-qubit quantum computer. Bringing together recent advances in building gate-based quantum computers with noise-tolerant hybrid quantum-classical algorithms, this work paves the way towards accessible and relevant scientific experiments on real quantum processors.


title: Statistical Arbitrage for Multiple Co-Integrated Stocks

abstract: In this article, we analyse optimal statistical arbitrage strategies from stochastic control and optimisation problems for multiple co-integrated stocks with eigenportfolios being factors. Optimal portfolio weights are found by solving a Hamilton-Jacobi-Bellman (HJB) partial differential equation, which we solve for both an unconstrained portfolio and a portfolio constrained to be market neutral. Our analyses demonstrate sufficient conditions on the model parameters to ensure long-term stability of the HJB solutions and stable growth rates for the optimal portfolios. To gauge how these optimal portfolios behave in practice, we perform backtests on historical stock prices of the S&P 500 constituents from year 2000 through year 2021. These backtests suggest three key conclusions: that the proposed co-integrated model with eigenportfolios being factors can generate a large number of co-integrated stocks over a long time horizon, that the optimal portfolios are sensitive to parameter estimation, and that the statistical arbitrage strategies are more profitable in periods when overall market volatilities are high.


title: X-ray diffraction study of structure and molecular correlations in liquid 1,3,5_triphenylbenzene at 473 K

abstract: The structure of 1,3,5_triphenylbenzene C6H3(C6H5)3 at 473 K was investigated using the X-ray diffraction method. The measurements of scattered radiation intensity were performed in a wide range of wave vector. For the first time the theoretically predicted model of the structure 1,3,5_triphenylbenzene was experimentally confirmed. The model of short range arrangement of the molecules was proposed. The determined mean, smallest mutual distances between molecules of liquid studied are: r1=4.30 A, r2=5.30 A, r3=5.40 A. The most probable value of the packing coefficient of the molecules was found to be k=0.53. This value falls in the range of k values permissible for liquid phase. The liquid studied is a major aromatic compound. The study of structure of 1,3,5_triphenylbenzene may be helpful in the explanation of the mechanism of intermolecular interactions in synthetic polymers.


title: Semiparametric Wavelet-based JPEG IV Estimator for endogenously truncated data

abstract: A new and an enriched JPEG algorithm is provided for identifying redundancies in a sequence of irregular noisy data points which also accommodates a reference-free criterion function. Our main contribution is by formulating analytically (instead of approximating) the inverse of the transpose of JPEGwavelet transform without involving matrices which are computationally cumbersome. The algorithm is suitable for the widely-spread situations where the original data distribution is unobservable such as in cases where there is deficient representation of the entire population in the training data (in machine learning) and thus the covariate shift assumption is violated. The proposed estimator corrects for both biases, the one generated by endogenous truncation and the one generated by endogenous covariates. Results from utilizing 2,000,000 different distribution functions verify the applicability and high accuracy of our procedure to cases in which the disturbances are neither jointly nor marginally normally distributed.


title: On an example concerning the second rigidity theorem

abstract: In this paper we revisit an example of Celikbas and Takahashi concerning the reflexivity of tensor products of modules. We study Tor-rigidity and the Hochster--Huneke graph with vertices consisting of minimal prime ideals, and determine a condition with which the aforementioned example cannot occur. Our result, in particular, corroborates the Second Rigidity Theorem of Huneke and Wiegand.


title: Can Kilonova Light curves be Standardized?

abstract: Binary neutron star mergers have been recently confirmed to be the progenitors of the optical transients kilonovae (KNe). KNe are powered by the radioactive decay of neutron-rich elements (r-process elements) which are believed to be the product of disruption of neutron stars during their merger. KNe exhibit interesting parallels with type Ia supernovae (SNe), whose light curves show specific correlations which allow them to be used as standardizable candles. In this paper, we investigate the possibility of the KN light curves exhibiting similar correlations. While a satisfactory answer to this question can only be provided by future KN observations, employing theoretical models we explore whether there is any ground for harboring such expectations. Using semi-analytic models of KN light curves in conjunction with results from numerical relativity simulations of binary neutron star mergers, we obtain the maximum bolometric luminosity ($L_{\mathrm{Bol}}^{\mathrm{max}}$) and decline in luminosity ($\Delta L_{\mathrm{Bol}}$) for a simulated population of mergers. We find that theoretical light curves of KNe show remarkable correlations despite the complex physics governing their behavior. This presents a possibility of future observations to uncover such correlations in the observed light curves, eventually allowing observers to standardize these light curves and to use them for local distance measurements.