title: A characterization of alternating link exteriors in terms of cubed complexes

abstract: We give a characterization of alternating link exteriors in terms of cubed complexes. To this end, we introduce the concept of a "signed BW cubed-complex", and give a characterization for a signed BW cubed-complex to have the underlying space which is homeomorphic to an alternating link exterior.


title: Small systems at the LHC

abstract: In these proceedings, I report on a selection of recent LHC results in small systems from ALICE, ATLAS and CMS experiments. Due to the fact that the investigation of QCD in small systems at high multiplicity is becoming an increasingly large subject, interesting the heavy-ion community and more in general the high-energy physics community, not all the related topics can be discussed in this paper. The focus will be given to some of the measurements addressing the physics of collective phenomena in small systems and to the recent results on strangeness enhancement in proton-proton collisions. The reader must be informed that a large number of interesting results did not find space in the discussion reported here.


title: Sparse Signal Processing for Grant-Free Massive Connectivity: A Future Paradigm for Random Access Protocols in the Internet of Things

abstract: The next wave of wireless technologies will proliferate in connecting sensors, machines, and robots for myriad new applications, thereby creating the fabric for the Internet of Things (IoT). A generic scenario for IoT connectivity involves a massive number of machine-type connections. But in a typical application, only a small (unknown) subset of devices are active at any given instant, thus one of the key challenges for providing massive IoT connectivity is to detect the active devices first and then to decode their data with low latency. This article outlines several key signal processing techniques that are applicable to the problem of massive IoT access, focusing primarily on advanced compressed sensing technique and its application for efficient detection of the active devices. We show that massive multiple-input multiple-output (MIMO) is especially well-suited for massive IoT connectivity in the sense that the device detection error can be driven to zero asymptotically in the limit as the number of antennas at the base station goes to infinity by using the multiple-measurement vector (MMV) compressed sensing techniques. The paper also provides a perspective on several related important techniques for massive access, such as embedding of short messages onto the device activity detection process and the coded random access.


title: The HADES RV Programme with HARPS-N@TNG VIII. Gl15A: A multiple wide planetary system sculpted by binary interaction

abstract: We present 20 years of radial velocity (RV) measurements of the M1 dwarf Gl15A, combining 5 years of intensive RV monitoring with the HARPS-N spectrograph with 15 years of archival HIRES/Keck RV data. We carry out an MCMC-based analysis of the RV time series, inclusive of Gaussian Process (GP) approach to the description of stellar activity induced RV variations. Our analysis confirms the Keplerian nature and refines the orbital solution for the 11.44-day period super Earth, Gl15A\,b, reducing its amplitude to $1.68^{+0.17}_{-0.18}$ m s$^{-1}$ ($M \sin i = 3.03^{+0.46}_{-0.44}$ M$_\oplus$), and successfully models a long-term trend in the combined RV dataset in terms of a Keplerian orbit with a period around 7600 days and an amplitude of $2.5^{+1.3}_{-1.0}$ m s$^{-1}$, corresponding to a super-Neptune mass ($M \sin i = 36^{+25}_{-18}$ M$_\oplus$) planetary companion. We also discuss the present orbital configuration of Gl15A planetary system in terms of the possible outcomes of Lidov-Kozai interactions with the wide-separation companion Gl15B in a suite of detailed numerical simulations. In order to improve the results of the dynamical analysis, we derive a new orbital solution for the binary system, combining our RV measurements with astrometric data from the WDS catalogue. The eccentric Lidov-Kozai analysis shows the strong influence of Gl15B on the Gl15A planetary system, which can produce orbits compatible with the observed configuration for initial inclinations of the planetary system between $75^\circ$ and $90^\circ$, and can also enhance the eccentricity of the outer planet well above the observed value, even resulting in orbital instability, for inclinations around $0^\circ$ and $15^\circ - 30^\circ$. The Gl15A system is the multi-planet system closest to Earth, at $3.57$ pc, and hosts the longest period RV sub-jovian mass planet discovered so far.


title: Chemical Potential Calculations in Non-Homogeneous Liquids

abstract: The numerical computation of chemical potential in dense, non-homogeneous fluids is a key problem in the study of confined fluids thermodynamics. To this day several methods have been proposed, however there is still need for a robust technique, capable of obtaining accurate estimates at large average densities. A widely established technique is the Widom insertion method, that computes the chemical potential by sampling the energy of insertion of a test particle. Non-homogeneity is accounted for by assigning a density dependent weight to the insertion points. However, in dense systems, the poor sampling of the insertion energy is a source of inefficiency, hampering a reliable convergence. We have recently presented a new technique for the chemical potential calculation in homogeneous fluids. This novel method enhances the sampling of the insertion energy via Well-Tempered Metadynamics, reaching accurate estimates at very large densities. In this paper we extend the technique to the case of non-homogeneous fluids. The method is successfully tested on a confined Lennard-Jones fluid. In particular we show that, thanks to the improved sampling, our technique does not suffer from a systematic error that affects the classic Widom method for non-homogeneous fluids, providing a precise and accurate result.


title: Synthesis of molecular oxygen via irradiation of ice grains in the protosolar nebula

abstract: Molecular oxygen has been detected in the coma of comet 67P/Churyumov--Gerasimenko with a mean abundance of 3.80 $\pm$ 0.85\% by the ROSINA mass spectrometer on board the Rosetta spacecraft. To account for the presence of this species in comet 67P/Churyumov--Gerasimenko, it has been shown that the radiolysis of ice grains precursors of comets is a viable mechanism in low-density environments, such as molecular clouds. Here, we investigate the alternative possibility that the icy grains present in the midplane of the protosolar nebula were irradiated during their vertical transport between the midplane and the upper layers over a large number of cycles, as a result of turbulent mixing. Consequently, these grains spent a non-negligible fraction of their lifetime in the disk's upper regions, where the irradiation by cosmic rays was strong. To do so, we used a coupled disk-transport-irradiation model to calculate the time evolution of the molecular oxygen abundance radiolytically produced in ice grains. Our computations show that, even if a significant fraction of the icy particles have followed a back and forth cycle towards the upper layers of the disk over 10 million of years, a timespan far exceeding the formation timescale of comet 67P/Churyumov--Gerasimenko, the amount of produced molecular oxygen is at least two orders of magnitude lower than the Rosetta observations. We conclude that the most likely scenario remains the formation of molecular oxygen in low-density environments, such as the presolar cloud, prior to the genesis of the protosolar nebula.


title: Magnetohydrodynamics with GAMER

abstract: GAMER, a parallel Graphic-processing-unit-accelerated Adaptive-MEsh-Refinement hydrodynamic code, has been extended to support magnetohydrodynamics (MHD) with both the corner-transport-upwind (CTU) and MUSCL-Hancock schemes and the constraint transport (CT) technique. The divergent preserving operator for adaptive mesh refinement (AMR) has been applied to reinforce the divergence-free constraint on the magnetic field. GAMER-MHD has fully exploited the concurrent executions between the GPU MHD solver and other CPU computation pertinent to AMR. We perform various standard tests to demonstrate that GAMER-MHD is both second-order accurate and robust, producing results as accurate as those given by high-resolution uniform-grid runs. We also explore a new 3D MHD test, where the magnetic field assumes the Arnold-Beltrami-Childress (ABC) configuration, temporarily becomes turbulent with current sheets and finally settles to a lowest-energy equilibrium state. This 3D problem is adopted for the performance test of GAMER-MHD. The single-GPU performance reaches $1.2\times 10^8$ and $5.5\times 10^7$ cell-updates/sec for the single- and double-precision calculations, respectively, on Tesla P100. We also demonstrate a parallel efficiency of $\sim 70\%$ for both weak and strong scaling using $1,024$ XK nodes on the Blue Waters supercomputers.


title: Structure preserving noise and dissipation in the Toda lattice

abstract: In this paper, we use Flaschka's change of variables of the open Toda lattice and its interpretation in term of the group structure of the LU factorisation as a coadjoint motion on a certain dual of Lie algebra to implement a structure preserving noise and dissipation. Both preserve the structure of coadjoint orbit, that is the space of symmetric tri-diagonal matrices and arise as a new type of multiplicative noise and nonlinear dissipation of the Toda lattice. We investigate some of the properties of these deformations and in particular the continuum limit as a stochastic Burger equation with a nonlinear viscosity. This work is meant to be exploratory, and open more questions that we can answer with simple mathematical tools and without numerical simulations.


title: DeepQoE: A unified Framework for Learning to Predict Video QoE

abstract: Motivated by the prowess of deep learning (DL) based techniques in prediction, generalization, and representation learning, we develop a novel framework called DeepQoE to predict video quality of experience (QoE). The end-to-end framework first uses a combination of DL techniques (e.g., word embeddings) to extract generalized features. Next, these features are combined and fed into a neural network for representation learning. Such representations serve as inputs for classification or regression tasks. Evaluating the performance of DeepQoE with two datasets, we show that for the small dataset, the accuracy of all shallow learning algorithm is improved by using the representation derived from DeepQoE. For the large dataset, our DeepQoE framework achieves significant performance improvement in comparison to the best baseline method (90.94% vs. 82.84%). Moreover, DeepQoE, also released as an open source tool, provides video QoE research much-needed flexibility in fitting different datasets, extracting generalized features, and learning representations.


title: Main sequence of star forming galaxies beyond the Herschel confusion limit

abstract: Deep far-infrared (FIR) cosmological surveys are known to be affected by source confusion, causing issues when examining the main sequence (MS) of star forming galaxies. This has typically been partially tackled by the use of stacking. However, stacking only provides the average properties of the objects in the stack. This work aims to trace the MS over $0.2\leq z<6.0$ using the latest de-blended Herschel photometry, which reaches $\approx10$ times deeper than the 5$\sigma$ confusion limit in SPIRE. This provides more reliable star formation rates (SFRs), especially for the fainter galaxies, and hence a more reliable MS. We built a pipeline that uses the spectral energy distribution (SED) modelling and fitting tool CIGALE to generate flux density priors in the Herschel SPIRE bands. These priors were then fed into the de-blending tool XID+ to extract flux densities from the SPIRE maps. Multi-wavelength data were combined with the extracted SPIRE flux densities to constrain SEDs and provide stellar mass (M$_{\star}$) and SFRs. These M$_{\star}$ and SFRs were then used to populate the SFR-M$_{\star}$ plane over $0.2\leq z<6.0$. No significant evidence of a high-mass turn-over was found; the best fit is thus a simple two-parameter power law of the form log(SFR)$=\alpha[$log(M$_{\star})-10.5]+\beta$. The normalisation of the power law increases with redshift, rapidly at $z\lesssim1.8$, from $0.58\pm0.09$ at $z\approx0.37$ to $1.31\pm0.08$ at $z\approx1.8$. The slope is also found to increase with redshift, perhaps with an excess around $1.8\leq z<2.9$. The increasing slope indicates that galaxies become more self-similar as redshift increases, implying that the specific SFR of high-mass galaxies increases over $z=0.2$ to $z=6.0$, becoming closer to that of low-mass galaxies. The excess in the slope at $1.8\leq z<2.9$, if present, coincides with the peak of the cosmic star formation history.


title: Meson-exchange currents and quasielastic predictions for neutrino-nucleus scattering

abstract: We review some recent progress in the study of electroweak interactions in nuclei within the SuSAv2-MEC model. The model has the capability to predict (anti)neutrino scattering observables on different nuclei. The theoretical predictions are compared with the recent T2K $\nu_\mu-^{16}$O data and good agreement is found at all kinematics. The results are very similar to those obtained for $\nu_\mu-^{12}$C scattering, except at low energies, where some differences emerge. The role of meson-exchange currents in the two-particle two-hole channel is analyzed in some detail. In particular it is shown that the density dependence of these contributions is different from what is found for the quasielastic response.


title: Semisimple subalgebras in simple Lie algebras and a computational approach to the compact Clifford-Klein forms problem

abstract: In this paper we develop algorithms of finding homogeneous spaces of semisimple non-compact Lie groups which do not admit compact Clifford-Klein forms. We propose a computer program which checks if the given homogeneous space has a non-vanishing cohomological obstruction (found by Tholozan) to compact Clifford-Klein forms. By a numerical experiment we show that there is a large class of homogeneous spaces satisfying Tholozan's condition.


title: A Tight Extremal Bound on the Lov\'{a}sz Cactus Number in Planar Graphs

abstract: A cactus graph is a graph in which any two cycles are edge-disjoint. We present a constructive proof of the fact that any plane graph $G$ contains a cactus subgraph $C$ where $C$ contains at least a $\frac{1}{6}$ fraction of the triangular faces of $G$. We also show that this ratio cannot be improved by showing a tight lower bound. Together with an algorithm for linear matroid parity, our bound implies two approximation algorithms for computing "dense planar structures" inside any graph: (i) A $\frac{1}{6}$ approximation algorithm for, given any graph $G$, finding a planar subgraph with a maximum number of triangular faces; this improves upon the previous $\frac{1}{11}$-approximation; (ii) An alternate (and arguably more illustrative) proof of the $\frac{4}{9}$ approximation algorithm for finding a planar subgraph with a maximum number of edges. Our bound is obtained by analyzing a natural local search strategy and heavily exploiting the exchange arguments. Therefore, this suggests the power of local search in handling problems of this kind.


title: Structural basis for the shielding function of the dynamic trypanosome variant surface glycoprotein coat

abstract: The most prominent defence of the unicellular parasite Trypanosoma brucei against the host immune system is a dense coat that comprises a variant surface glycoprotein (VSG). Despite the importance of the VSG family, no complete structure of a VSG has been reported. Making use of high-resolution structures of individual VSG domains, we employed small-angle X-ray scattering to elucidate the first two complete VSG structures. The resulting models imply that the linker regions confer great flexibility between domains, which suggests that VSGs can adopt two main conformations to respond to obstacles and changes of protein density, while maintaining a protective barrier at all times. Single-molecule diffusion measurements of VSG in supported lipid bilayers substantiate this possibility, as two freely diffusing populations could be detected. This translates into a highly flexible overall topology of the surface VSG coat, which displays both lateral movement in the plane of the membrane and variation in the overall thickness of the coat.


title: Exploring Disentangled Feature Representation Beyond Face Identification

abstract: This paper proposes learning disentangled but complementary face features with minimal supervision by face identification. Specifically, we construct an identity Distilling and Dispelling Autoencoder (D2AE) framework that adversarially learns the identity-distilled features for identity verification and the identity-dispelled features to fool the verification system. Thanks to the design of two-stream cues, the learned disentangled features represent not only the identity or attribute but the complete input image. Comprehensive evaluations further demonstrate that the proposed features not only maintain state-of-the-art identity verification performance on LFW, but also acquire competitive discriminative power for face attribute recognition on CelebA and LFWA. Moreover, the proposed system is ready to semantically control the face generation/editing based on various identities and attributes in an unsupervised manner.


title: Multilayer Networks in a Nutshell

abstract: Complex systems are characterized by many interacting units that give rise to emergent behavior. A particularly advantageous way to study these systems is through the analysis of the networks that encode the interactions among the system's constituents. During the last two decades, network science has provided many insights in natural, social, biological and technological systems. However, real systems are more often than not interconnected, with many interdependencies that are not properly captured by single layer networks. To account for this source of complexity, a more general framework, in which different networks evolve or interact with each other, is needed. These are known as multilayer networks. Here we provide an overview of the basic methodology used to describe multilayer systems as well as of some representative dynamical processes that take place on top of them. We round off the review with a summary of several applications in diverse fields of science.


title: The orbit algebra of a permutation group with polynomial profile is Cohen-Macaulay

abstract: Let $G$ be a group of permutations of a denumerable set $E$. The profile of $G$ is the function $\phi_G$ which counts, for each $n$, the (possibly infinite) number $\phi_G(n)$ of orbits of $G$ acting on the $n$-subsets of $E$. Counting functions arising this way, and their associated generating series, form a rich yet apparently strongly constrained class. In particular, Cameron conjectured in the late seventies that, whenever $\phi_G(n)$ is bounded by a polynomial, it is asymptotically equivalent to a polynomial. In 1985, Macpherson further asked if the orbit algebra of $G$ - a graded commutative algebra invented by Cameron and whose Hilbert function is $\phi_G$ - is finitely generated. In this paper, we announce a proof of a stronger statement: the orbit algebra is Cohen-Macaulay. The generating series of the profile is a rational fraction whose numerator has positive coefficients and denominator admits a combinatorial description. The proof uses classical techniques from group actions, commutative algebra, and invariant theory; it steps towards a classification of ages of permutation groups with profile bounded by a polynomial.


title: Behaviour of $L_{q}$ norms of the $\sinc_{p}$ function

abstract: An integral inequality due to Ball involves the $L_{q}$ norm of the $\sinc_p$ function; the dependence of this norm on $q$ as $q\rightarrow\infty$ is now understood. By use of recent inequalities involving $p-$trigonometric functions $(1<p<\infty )$ we obtain asymptotic information about the analogue of Ball's integral when $\sin$ is replaced by $\sin_{p}.$


title: Metal-Depleted Brown Dwarfs

abstract: This chapter reviews our current knowledge of metal-poor ultracool dwarfs with spectral types later than M7. The current census of M, L, and T subdwarfs is explored. The main colour trends of subdwarfs from the optical to the mid-infrared are described and their spectral features presented, which led to a preliminary and tentative spectral classification subject to important changes in the future when more of these metal-poor objects are discovered. Their multiplicity and the determination of their physical parameters (effective temperature, gravity, metallicity, and mass) are discussed. Finally, some suggestions and future guidelines are proposed to foster our knowledge on the oldest and coolest members of our Galaxy.


title: PointNetVLAD: Deep Point Cloud Based Retrieval for Large-Scale Place Recognition

abstract: Unlike its image based counterpart, point cloud based retrieval for place recognition has remained as an unexplored and unsolved problem. This is largely due to the difficulty in extracting local feature descriptors from a point cloud that can subsequently be encoded into a global descriptor for the retrieval task. In this paper, we propose the PointNetVLAD where we leverage on the recent success of deep networks to solve point cloud based retrieval for place recognition. Specifically, our PointNetVLAD is a combination/modification of the existing PointNet and NetVLAD, which allows end-to-end training and inference to extract the global descriptor from a given 3D point cloud. Furthermore, we propose the "lazy triplet and quadruplet" loss functions that can achieve more discriminative and generalizable global descriptors to tackle the retrieval task. We create benchmark datasets for point cloud based retrieval for place recognition, and the experimental results on these datasets show the feasibility of our PointNetVLAD. Our code and the link for the benchmark dataset downloads are available in our project website. http://github.com/mikacuy/pointnetvlad/


title: Fluctuating fluid dynamics for the QGP in the LHC and BES era

abstract: In an era of high-precision determinations of QGP properties a full incorporation of fluid dynamical fluctuations into our models has become crucial, in particular, when describing the dynamics of small systems or near the conjectured QCD critical point. In this talk we discuss some effects of the propagation of these fluctuations. For LHC physics we focus on fluctuations in the energy-momentum tensor, while the impact of fluctuations in the diffusive net-baryon density is studied to improve our knowledge on the formation of critical fluctuations being searched in current and future BES programs.


title: Quantum metasurface for multi-photon interference and state reconstruction

abstract: Metasurfaces based on resonant nanophotonic structures have enabled novel types of flat-optics devices often outperforming the capabilities of bulk components, yet these advances remain largely unexplored for quantum applications. We show that non-classical multi-photon interferences can be achieved at the subwavelength scale in all-dielectric metasurfaces. We simultaneously image multiple projections of quantum states with a single metasurface, enabling a robust reconstruction of amplitude, phase, coherence, and entanglement of multi-photon polarization-encoded states. One- and two-photon states are reconstructed through nonlocal photon correlation measurements with polarization-insensitive click-detectors positioned after the metasurface, and the scalability to higher photon numbers is established theoretically. Our work illustrates the feasibility of ultra-thin quantum metadevices for the manipulation and measurement of multi-photon quantum states with applications in free-space quantum imaging and communications.


title: Estimate of the Globing Warming Caused by the Retreat of Polar Sea Ice

abstract: The growing concentrations of the greenhouse gases CO2, CH4 and N2O (GHG) in the atmosphere are often considered as the dominant cause for the global warming during the past decades. The reported temperature data however do not display a simple correlation with the concentration changes since 1880 so that other reasons are to be considered to contribute notably. An important feature in this context is the shrinking of the polar ice caps observed in recent years. We have studied the direct effect of the loss of global sea ice since 1955 on the mean global temperature estimating the corresponding decrease of the terrestrial albedo. Using a simple 1-dimensional model the global warming of the surface is computed that is generated by the increase of GHG and the albedo change. A modest effect by the GHG of 0.08 K is calculated for the period 1880 to 1955 with a further increase by 0.18K for 1955 to 2015. A larger contribution of 0.55 +/-0.05 K is estimated for the melting of polar sea ice (MSI) in the latter period, i.e. it notably exceeds that of the GHG and may be compared with the observed global temperature rise of 1.0 +/- 0.1 K during the past 60 years. Our data also suggest a delayed response of the mean global temperature to the loss of sea ice with a time constant of approximately 20 years. The validity of the theoretical model and the interrelation between GHG-warming and MSI-effect are discussed.


title: Search for low-mass dijet resonances using trigger-level jets with the ATLAS detector in $pp$ collisions at sqrt(s)=13 TeV

abstract: Searches for dijet resonances with sub-TeV masses using the ATLAS detector at the Large Hadron Collider can be statistically limited by the bandwidth available to inclusive single-jet triggers, whose data-collection rates at low transverse momentum are much lower than the rate from Standard Model multijet production. This Letter describes a new search for dijet resonances where this limitation is overcome by recording only the event information calculated by the jet trigger algorithms, thereby allowing much higher event rates with reduced storage needs. The search targets low-mass dijet resonances in the range 450-1800 GeV. The analyzed dataset has an integrated luminosity of up to 29.3 fb$^{-1}$ and was recorded at a center-of-mass energy of 13 TeV. No excesses are found; limits are set on Gaussian-shaped contributions to the dijet mass distribution from new particles and on a model of dark-matter particles with axial-vector couplings to quarks.


title: Intent Classification using Feature Sets for Domestic Violence Discourse on Social Media

abstract: Domestic Violence against women is now recognized to be a serious and widespread problem worldwide. Domestic Violence and Abuse is at the root of so many issues in society and considered as the societal tabooed topic. Fortunately, with the popularity of social media, social welfare communities and victim support groups facilitate the victims to share their abusive stories and allow others to give advice and help victims. Hence, in order to offer the immediate resources for those needs, the specific messages from the victims need to be alarmed from other messages. In this paper, we regard intention mining as a binary classification problem (abuse or advice) with the usecase of abuse discourse. To address this problem, we extract rich feature sets from the raw corpus, using psycholinguistic clues and textual features by term-class interaction method. Machine learning algorithms are used to predict the accuracy of the classifiers between two different feature sets. Our experimental results with high classification accuracy give a promising solution to understand a big social problem through big social media and its use in serving information needs of various community welfare organizations.


title: Analytic Representation of Canonical Average From Fine Structure of Density of States

abstract: Expectation value of dynamical variables in thermodynamically equilibrium state can be typically provided through well-known canonical average. The average includes tremendous number of possible states considered far beyond practically handled, which makes it difficult to obtain analytic representation of the average to clarify how the expectation value connects with given interaction: i.e., the relationship is generally understood in phonomenological manner except for modest, simple models. Here we show that the relationship is explicitly clarified for discrete large systems, where the configurational density of states for any single pair correlation is represented in terms of linear combination of Dirac delta function and its derivatives. The significant advantage of the present representation is that it can decompose contributions to macroscopic dynamical variables into harmonicity and anharmonicity in terms of their underlying structural degree of freedom, which will lead to find a set of special microscopic state to characterize macroscopic properties in equilibrium state for classical many-body systems.


title: Morse index and uniqueness of positive solutions of the Lane-Emden problem in planar domains

abstract: We compute the Morse index of $1$-spike solutions of the semilinear elliptic problem \begin{equation}\label{abstr} \tag{$\mathcal P_p$} \begin{cases} -\Delta u= u^p & \text{in $\Omega$} \\ u=0 & \text{on $\partial\Omega$} \\ u>0 & \text{in $\Omega$.} \end{cases} \end{equation} where $\Omega\subset \mathbb{R}^2$ is a smooth bounded domain and $p>1$ is sufficiently large. When $\Omega$ is convex, our result, combined with the characterization in [22], a result in [41] and with recent uniform estimates in \cite{Sirakov}, gives the uniqueness of the solution to \eqref{abstr}, for $p$ large. This proves, in dimension two and for $p$ large, a conjecture by Gidas-Ni-Nirenberg [29].


title: HI Observations of Major-Merger Pairs at z = 0: atomic gas and star formation

abstract: We present a study of the HI gas content of a large K-band selected sample of 88 close major-merger pairs of galaxies (H-KPAIR) which were observed by $\it Herschel$. We obtained the 21 cm HI fine-structure emission line data for a total of 70 pairs from this sample, by observing 58 pairs using the Green Bank Telescope (GBT) and retrieving the HI data for an addition 12 pairs from the literature. In this HI sample, 34 pairs are spiral-spiral (S+S) pairs, and 36 are spiral-elliptical (S+E). Based on these data, we studied the HI-to-stellar mass ratio, the HI gas fraction and the HI star formation efficiency (SFE$_{\mathrm{HI}}$ = star formation rate/$M_{\mathrm{HI}}$) and searched for differences between S+S and S+E pairs, as well as between pairs with and without signs for merger/interaction. Our results showed that the mean HI-to-stellar mass ratio of spirals in these pairs is $=7.6\pm1.0 \%$, consistent with the average HI gas fraction of spiral galaxies in general. The differences in the HI gas fraction between spirals in S+S and in S+E pairs, and between spirals in pairs with and without signs of merger/interaction are insignificant ($< 1 \sigma$). On the other hand, the mean SFE$_{\mathrm{HI}}$ of S+S pairs is $\sim4.6\times$ higher than that of S+E pairs. This difference is very significant ($\sim 4\sigma$) and is the main result of our study. There is no significant difference in the mean SFE$_{\mathrm{HI}}$ between galaxies with and without signs of merger/interaction. The mean SFE$_{\mathrm{HI}}$ of the whole pair sample is $10^{-9.55\pm 0.09}\ \mathrm{yr}^{-1}$, corresponding to a HI consumption time of $3.5\pm0.7$ Gyrs.


title: Dilepton photoproduction on a deuteron target

abstract: We investigate the sensitivity of the cross section for lepton pair production off a deuteron target, $\gamma d \to l^+ l^- d$, to the deuteron charge radius. We show that for small momentum transfers the Bethe-Heitler process dominates, and that it is sensitive to the charge radius such that a cross section ratio measurement of about $0.1 \%$ relative accuracy could give a deuteron charge radius more accurate that the current electron scattering value and sufficiently accurate to distinguish between the electronic and muonic atomic values.


title: A dual first-postulate basis for special relativity

abstract: An overlooked straightforward application of velocity reciprocity to a triplet of inertial frames in collinear motion identifies the ratio of their cyclic relative velocities' sum to the negative product as a cosmic invariant, whose inverse square root corresponds to a universal limit speed. A logical indeterminacy of the ratio equation establishes the repeatedly observed unchanged speed of stellar light as one instance of this universal limit speed. This formally renders the second postulate redundant. The ratio equation furthermore enables the limit speed to be quantified, in principle, independently of a limit speed signal. Assuming negligible gravitational fields, two deep-space vehicles in non-collinear motion could measure with only a single clock the limit speed against the speed of light, without requiring these speeds to be identical. Moreover, the cosmic invariant (from dynamics, equal to the mass-to-energy ratio) emerges explicitly as a function of signal response time ratios between three collinear vehicles, multiplied by the inverse square of the velocity of whatever arbitrary signal might be used.


title: Testing the X-ray reverberation model KYNREFREV in a sample of Seyfert 1 Active Galactic Nuclei

abstract: We present the first results obtained by the application of the KYNREFREV-reverberation model, which is ready for its use in XSPEC. This model computes the time dependent reflection spectra of the disc as a response to a flash of primary power-law radiation from a point source corona located on the axis of the black hole accretion disc (lamp-post geometry). Full relativistic effects are taken into account. The ionisation of the disc is set for each radius according to the amount of the incident primary flux and the density of the accretion disc. We tested the model by fitting model predictions to the observed time-lag spectra of three Narrow-Line Seyfert 1 galaxies (ARK 564, MCG-6-30-15 and 1H 0707-495), assuming either a rapidly or zero spinning black hole (BH). The time-lags strongly suggest a compact X-ray source, located close to the BH, at a height of approx. 4 gravitational radii. This result does not depend either on the BH spin or the disc ionization. There is no significant statistical difference between the quality of the best-fits in the rapidly and zero spinning BH scenarios in Ark 564 and MCG-6-30-15. But there is an indication that the hypothesis of a non-rotating BH in 1H 0707-495 is not consistent with its time-lag spectrum. Finally, the best-fits to the Ark 564 and 1H 0707-495 data are of rather low quality. We detect wavy-residuals around the best-fit reverberation model time-lags at high frequencies. This result suggests that the simple lamp-post geometry does not fully explain the X-ray source/disc configuration in Active Galactic Nuclei.


title: A Hidden Markov Model for Route and Destination Prediction

abstract: We present a simple model and algorithm for predicting driver destinations and routes, based on the input of the latest road links visited as part of an ongoing trip. The algorithm may be used to predict any clusters previously observed in a driver's trip history. It assumes that the driver's historical trips are grouped into clusters sharing similar patterns. Given a new trip, the algorithm attempts to predict the cluster in which the trip belongs. The proposed algorithm has low temporal complexity. In addition, it does not require the transition and emission matrices of the Markov chain to be computed. Rather it relies on the frequencies of co-occurrences of road links and trip clusters. We validate the proposed algorithm against an experimental dataset. We discuss the success and convergence of the algorithm and show that our algorithm has a high prediction success rate.


title: Angular and Temporal Correlation of V2X Channels Across Sub-6 GHz and mmWave Bands

abstract: 5G millimeter wave (mmWave) technology is envisioned to be an integral part of next-generation vehicle-to-everything (V2X) networks and autonomous vehicles due to its broad bandwidth, wide field of view sensing, and precise localization capabilities. The reliability of mmWave links may be compromised due to difficulties in beam alignment for mobile channels and due to blocking effects between a mmWave transmitter and a receiver. To address such challenges, out-of-band information from sub-6 GHz channels can be utilized for predicting the temporal and angular channel characteristics in mmWave bands, which necessitates a good understanding of how propagation characteristics are coupled across different bands. In this paper, we use ray tracing simulations to characterize the angular and temporal correlation across a wide range of propagation frequencies for V2X channels ranging from 900 MHz up to 73 GHz, for a vehicle maintaining line-of-sight (LOS) and non-LOS (NLOS) beams with a transmitter in an urban environment. Our results shed light on increasing sparsity behavior of propagation channels with increasing frequency and highlight the strong temporal/angular correlation among 5.9 GHz and 28 GHz bands especially for LOS channels.


title: Can We Predict the Scenic Beauty of Locations from Geo-tagged Flickr Images?

abstract: In this work, we propose a novel technique to determine the aesthetic score of a location from social metadata of Flickr photos. In particular, we built machine learning classifiers to predict the class of a location where each class corresponds to a set of locations having equal aesthetic rating. These models are trained on two empirically build datasets containing locations in two different cities (Rome and Paris) where aesthetic ratings of locations were gathered from TripAdvisor.com. In this work we exploit the idea that in a location with higher aesthetic rating, it is more likely for an user to capture a photo and other users are more likely to interact with that photo. Our models achieved as high as 79.48% accuracy (78.60% precision and 79.27% recall) on Rome dataset and 73.78% accuracy(75.62% precision and 78.07% recall) on Paris dataset. The proposed technique can facilitate urban planning, tour planning and recommending aesthetically pleasing paths.


title: The Effect of Pets on Happiness: A Large-scale Multi-Factor Analysis using Social Multimedia

abstract: From reducing stress and loneliness, to boosting productivity and overall well-being, pets are believed to play a significant role in people's daily lives. Many traditional studies have identified that frequent interactions with pets could make individuals become healthier and more optimistic, and ultimately enjoy a happier life. However, most of those studies are not only restricted in scale, but also may carry biases by using subjective self-reports, interviews, and questionnaires as the major approaches. In this paper, we leverage large-scale data collected from social media and the state-of-the-art deep learning technologies to study this phenomenon in depth and breadth. Our study includes four major steps: 1) collecting timeline posts from around 20,000 Instagram users, 2) using face detection and recognition on 2-million photos to infer users' demographics, relationship status, and whether having children, 3) analyzing a user's degree of happiness based on images and captions via smiling classification and textual sentiment analysis, 3) applying transfer learning techniques to retrain the final layer of the Inception v3 model for pet classification, and 4) analyzing the effects of pets on happiness in terms of multiple factors of user demographics. Our main results have demonstrated the efficacy of our proposed method with many new insights. We believe this method is also applicable to other domains as a scalable, efficient, and effective methodology for modeling and analyzing social behaviors and psychological well-being. In addition, to facilitate the research involving human faces, we also release our dataset of 700K analyzed faces.


title: Seeing Through Misinformation: A Framework for Identifying Fake Online News

abstract: The fake news epidemic makes it imperative to develop a diagnostic framework that is both parsimonious and valid to guide present and future efforts in fake news detection. This paper represents one of the very first attempts to fill a void in the research on this topic. The LeSiE (Lexical Structure, Simplicity, Emotion) framework we created and validated allows lay people to identify potential fake news without the use of calculators or complex statistics by looking out for three simple cues.


title: Strong consistency of Krichevsky-Trofimov estimator for the number of communities in the Stochastic Block Model

abstract: In this paper we introduce an estimator for the number of communities in the Stochastic Block Model (SBM), based on the maximization of a penalized version of the so-called Krichevsky-Trofimov mixture distribution. We prove its eventual almost sure convergence to the underlying number of communities, without assuming a known upper bound on that quantity. Our results apply to both the dense and the sparse regimes. To our knowledge this is the first consistency result for the estimation of the number of communities in the SBM in the unbounded case, that is when the number of communities is allowed to grow with the same size.


title: Noncommutative Lebesgue decomposition and contiguity with applications in quantum statistics

abstract: We herein develop a theory of contiguity in the quantum domain based upon a novel quantum analogue of the Lebesgue decomposition. The theory thus formulated is pertinent to the weak quantum local asymptotic normality introduced in the previous paper [Yamagata, Fujiwara, and Gill, \textit{Ann. Statist.}, \textbf{41} (2013) 2197-2217.], yielding substantial enlargement of the scope of quantum statistics.


title: Optimization of a Power Splitting Protocol for Two-Way Multiple Energy Harvesting Relay System

abstract: Energy harvesting (EH) combined with cooperative communications constitutes a promising solution for future wireless technologies. They enable additional efficiency and increased lifetime to wireless networks. This paper investigates a multiple-relay selection scheme for an EH-based two-way relaying (TWR) system. All relays are considered as EH nodes that harvest energy from renewable energy and radio frequency (RF) sources. Some of them are selected to forward data to the destinations. The power splitting (PS) protocol, by which the EH node splits the input RF signal into two components for EH and information transmission, is adopted at the relay nodes. The objective is to jointly optimize i) the set of selected relays, ii) their PS ratios, and iii) their transmit power levels in order to maximize data rate-based utilities over multiple coherent time slots. A joint-optimization solution based on geometric programming (GP) and binary particle swarm optimization is proposed to solve non-convex problems for two utility functions reflecting the level of fairness in the TWR transmission. Numerical results illustrate the system's behavior versus various parameters and show that the performance of the proposed scheme is very close to that of the optimal branch-and-bound method and that GP outperforms the dual problem-based method.


title: Symbol Detection of Ambient Backscatter Systems with Manchester Coding

abstract: Ambient backscatter communication is a newly emerged paradigm, which utilizes the ambient radio frequency (RF) signal as the carrier to reduce the system battery requirement, and is regarded as a promising solution for enabling large scale deployment of future Internet of Things (IoT) networks. The key issue of ambient backscatter communication systems is how to perform reliable detection. In this paper, we propose novel encoding methods at the information tag, and devise the corresponding symbol detection methods at the reader. In particular, Manchester coding and differential Manchester coding are adopted at the information tag, and the corresponding semi-coherent Manchester (SeCoMC) and non-coherent Manchester (NoCoMC) detectors are developed. In addition, analytical bit error rate (BER) expressions are characterized for both detectors assuming either complex Gaussian or unknown deterministic ambient signal. Simulation results show that the BER performance of unknown deterministic ambient signal is better, and the SeCoMC detector outperforms the NoCoMC detector. Finally, compared with the prior detectors for ambient backscatter communications, the proposed detectors have the advantages of achieving superior BER performance with lower communication delay.


title: Fermions and bosons in the expanding universe by the spin-charge-family theory

abstract: The spin-charge-family theory, which is a kind of the Kaluza-Klein theories in $d=(13+1)$ --- but with the two kinds of the spin connection fields, the gauge fields of the two Clifford algebra objects, $S^{ab}$ and $\tilde{S}^{ab}$ --- explains all the assumptions of the standard model: The origin of the charges of fermions appearing in one family, the origin and properties of the vector gauge fields of these charges, the origin and properties of the families of fermions, the origin of the scalar fields observed as the Higgs's scalar and the Yukawa couplings. The theory explains several other phenomena like: The origin of the dark matter, of the matter-antimatter asymmetry, the "miraculous" triangle anomaly cancellation in the standard model and others. Since the theory starts at $d=(13+1)$ the question arises how and at which $d$ had our universe started and how it came down to $d=(13+1)$ and further to $d=(3+1)$. In this short contribution some answers to these questions are presented.


title: Uniqueness for the 3-State Antiferromagnetic Potts Model on the Tree

abstract: The antiferromagnetic $q$-state Potts model is perhaps the most canonical model for which the uniqueness threshold on the tree is not yet understood, largely because of the absence of monotonicities. Jonasson established the uniqueness threshold in the zero-temperature case, which corresponds to the $q$-colourings model. In the permissive case (where the temperature is positive), the Potts model has an extra parameter $\beta\in(0,1)$, which makes the task of analysing the uniqueness threshold even harder and much less is known. In this paper, we focus on the case $q=3$ and give a detailed analysis of the Potts model on the tree by refining Jonasson's approach. In particular, we establish the uniqueness threshold on the $d$-ary tree for all values of $d\geq 2$. When $d\geq3$, we show that the 3-state antiferromagnetic Potts model has uniqueness for all $\beta\geq 1-3/(d+1)$. The case $d=2$ is critical since it relates to the 3-colourings model on the binary tree ($\beta=0$), which has non-uniqueness. Nevertheless, we show that the Potts model has uniqueness for all $\beta\in (0,1)$ on the binary tree. Both of these results are tight since it is known that uniqueness does not hold in the complementary regime. Our proof technique gives for general $q>3$ an analytical condition for proving uniqueness based on the two-step recursion on the tree, which we conjecture to be sufficient to establish the uniqueness threshold for all non-critical cases ($q\neq d+1$).

categories: cs.DM cond-mat.stat-mech math.CO math.PR


title: Hyperparameters and Tuning Strategies for Random Forest

abstract: The random forest algorithm (RF) has several hyperparameters that have to be set by the user, e.g., the number of observations drawn randomly for each tree and whether they are drawn with or without replacement, the number of variables drawn randomly for each split, the splitting rule, the minimum number of samples that a node must contain and the number of trees. In this paper, we first provide a literature review on the parameters' influence on the prediction performance and on variable importance measures. It is well known that in most cases RF works reasonably well with the default values of the hyperparameters specified in software packages. Nevertheless, tuning the hyperparameters can improve the performance of RF. In the second part of this paper, after a brief overview of tuning strategies we demonstrate the application of one of the most established tuning strategies, model-based optimization (MBO). To make it easier to use, we provide the tuneRanger R package that tunes RF with MBO automatically. In a benchmark study on several datasets, we compare the prediction performance and runtime of tuneRanger with other tuning implementations in R and RF with default hyperparameters.


title: On the Origin and Nature of Dark Matter

abstract: It is discussed how the ideas of entropy and the second law of thermodynamics, conceived long ago during the nineteenth century, underly why cosmological dark matter exists and originated in the first three years of the universe in the form of primordial black holes, a very large number of which have many solar masses including up to the supermassive black holes at the centres of galaxies. Certain upper bounds on dark astrophysical objects with many solar masses based on analysis of the CMB spectrum and published in the literature are criticised. For completeness we discuss WIMPs and axions which are leading particle theory candidates for the constituents of dark matter. The PIMBHs (Primordial Intermediate Mass Black Holes) with many solar masses should be readily detectable in microlensing experiments which search the Magallenic Clouds and measure light curves with durations of from one year up to several years.


title: Graph based Platform for Electricity Market Study, Education and Training

abstract: With the further development of deregulated electricity market in many other countries around the world, a lot of challenges have been identified for market data management, network topology processing and fast market-clearance mechanism design. In this paper, a graph computing framework based on TigerGraph database is proposed to solve a security constrained unit commitment (SCUC) and security constrained economic dispatch (SCED) problem, with parallelized graph power flow (PGPF) and innovative LU decomposition techniques, for electricity market-clearance. It also provides a comprehensive visualization platform to demonstrate the market clearing results vividly, such as locational marginal price (LMP), and is able to be utilized for electricity market operators' education and training purpose.


title: Software Engineering for Millennials, by Millennials

abstract: Software engineers need to manage both technical and professional skills in order to be successful. Our university offers a 5.5 year program that mixes computer science, software and computer engineering, where the first two years are mostly math and physics courses. As such, our students' first real teamwork experience is during the introductory SE course, where they modify open source projects in groups of 6-8. However, students have problems working in such large teams, and feel that the course material and project are "disconnected". We decided to redesign this course in 2017, trying to achieve a balance between theory and practice, and technical and professional skills, with a maximum course workload of 150 hrs per semester. We share our experience in this paper, discussing the strategies we used to improve teamwork and help students learn new technologies in a more autonomous manner. We also discuss what we learned from the two times we taught the new course.


title: Analysis of the Hubble diagram of type SNe Ia supernovae and of gamma-ray bursts. A comparison between two models

abstract: A paper by Harmut Traunm\"uller [1] showed from statistical studies of observational data that the most adequate equation to represent observations on magnitude and redshift from 892 type 1a supernovae is $\mu = 5\,log[(1+z)\,ln(1+z)] + const.$ Comparing the Hubble diagram calculated from the observed redshift data of 280 supernovae with Hubble diagrams inferred on the basis of two cosmological models in the range of z = 0.0104 to 8.1, Laszlo Marosi [2] found in a quite independant study that the best fit function to represent observations is $\mu= 44.109769 \,z^{0.059883}$. Noting that differences between the different cosmological models become more pronouced in a photon time-of-fligth $t_s$ vs. $z$ repr\'esentation, he also noted that the best equation to account for observations may also be written $z = -1+e^{2.024\,\,10^{-18} \,\,ts}$. In the light of these observational data, we compare the theoretical Hubble diagram obtained with the flat $\Lambda CDM$ model to the ones we have obtained few years ago [3, 4, 5] from a model that we call here the "light model" for the sake of clarity. Our conclusions are that values calculated on the basis of the $\Lambda CDM$ model exhibit poor agreement with the presently available data while the light model agrees exactly with observations and conclusions of statistical studies [1] and [2] (independently of the values of $\Omega_k$, $\Omega_M$ or $\Omega_{\Lambda}$). Our model giving no accelerating expansion of the universe, we conclude that this latter is not necessary and that models can exist which lead exactly to observations without having to consider any accelerating expansion of the universe. In an Appendix, we discuss some aspects of the model and we present a brief overview of some of its key results.


title: GW170817 event rules out general relativity in favor of vector gravity

abstract: The observation of gravitational waves by the three LIGO-Virgo interferometers allows the examination of the polarization of gravitational waves. Here we analyze the binary neutron star event GW170817, whose source location and distance are determined precisely by concurrent electromagnetic observations. Applying a signal accumulation procedure to the LIGO-Virgo strain data, we find ratios of the signals detected by the three interferometers. We conclude that the signal ratios are inconsistent with the predictions of general relativity, but consistent with the recently proposed vector theory of gravity [Phys. Scr. 92, 125001 (2017)]. Moreover, we find that vector gravity yields a distance to the source in agreement with the astronomical observations. If our analysis is correct, Einstein's general theory of relativity is ruled out in favor of vector gravity at 99% confidence level and future gravitational wave detections by three or more observatories should confirm this conclusion with higher precision.


title: Consensus-based approach to peer-to-peer electricity markets with product differentiation

abstract: With the sustained deployment of distributed generation capacities and the more proactive role of consumers, power systems and their operation are drifting away from a conventional top-down hierarchical structure. Electricity market structures, however, have not yet embraced that evolution. Respecting the high-dimensional, distributed and dynamic nature of modern power systems would translate to designing peer-to-peer markets or, at least, to using such an underlying decentralized structure to enable a bottom-up approach to future electricity markets. A peer-to-peer market structure based on a Multi-Bilateral Economic Dispatch (MBED) formulation is introduced, allowing for multi-bilateral trading with product differentiation, for instance based on consumer preferences. A Relaxed Consensus+Innovation (RCI) approach is described to solve the MBED in fully decentralized manner. A set of realistic case studies and their analysis allow us showing that such peer-to-peer market structures can effectively yield market outcomes that are different from centralized market structures and optimal in terms of respecting consumers preferences while maximizing social welfare. Additionally, the RCI solving approach allows for a fully decentralized market clearing which converges with a negligible optimality gap, with a limited amount of information being shared.


title: What Makes A Research Article Newsworthy?

abstract: There has been tremendous growth in the amount of scientific literature being published every year. Yet, very little of it receives press coverage. Mentions by news outlets often establish the relevance the research has to society in general. In the present study, we focused on better understanding the factors that contribute to a research article's newsworthiness. We have built three classifiers to predict the likelihood of research article receiving online press coverage, based on features that quantify the attention it has received on various online platforms. The Random Forest classifier performed best with an accuracy rate of 0.92.


title: Hamiltonian Monte Carlo for Probabilistic Programs with Discontinuities

abstract: Hamiltonian Monte Carlo (HMC) is arguably the dominant statistical inference algorithm used in most popular "first-order differentiable" Probabilistic Programming Languages (PPLs). However, the fact that HMC uses derivative information causes complications when the target distribution is non-differentiable with respect to one or more of the latent variables. In this paper, we show how to use extensions to HMC to perform inference in probabilistic programs that contain discontinuities. To do this, we design a Simple first-order Probabilistic Programming Language (SPPL) that contains a sufficient set of language restrictions together with a compilation scheme. This enables us to preserve both the statistical and syntactic interpretation of if-else statements in the probabilistic program, within the scope of first-order PPLs. We also provide a corresponding mathematical formalism that ensures any joint density denoted in such a language has a suitably low measure of discontinuities.


title: The variety of coset relation algebras

abstract: A coset relation algebra is one embeddable into some full coset relation algebra, the latter is an algebra constructed from a system of groups, a coordinated system of isomorphisms between quotients of these groups, and a system of cosets that are used to "shift" the operation of relative multiplication. We prove that the class of coset relation algebras is equationally axiomatizable (that is to say, it is a variety), but no finite set of equations suffices to axiomatize the class (that is to say, the class is not finitely axiomatizable).


title: Impact of temporal network structures on the speed of consensus formation in opinion dynamics

abstract: Opinion dynamics on networks has wide applications to empirical and engineered systems and profound prospects in the general study of complex systems. Many efforts have been devoted to understanding how opinion dynamics is affected by network topology. However, human social interactions are best characterized as temporal networks in which ordering of interactions cannot be ignored. Temporal activity patterns including heterogeneous contact strength and interevent times, turnover edge/node dynamics and daily patterns could have significant effects that would not be captured by static aggregate network representations. In this paper, we study the effects of such temporal patterns on the speed of consensus formation in various models of continuous opinion dynamics using three empirical human face-to-face networks from different real-world settings. We find that static, aggregated networks consistently overestimate the speed of simulated consensus formation while weight heterogeneity associated with frequency of interactions has an inhibitory effect on consensus formation relative to the behavior on unweighted networks. Moreover, the speed of consensus formation is found to be highly sensitive to nodal lifetimes, suggesting that randomization protocols that dramatically alter the distribution of lifetimes cannot be relied upon as reference models. On the other hand, temporal patterns including burstiness of interevent times and the lifetime of edges are found to have insignificant effects on consensus formation.


title: On the CR Poincar\'e-Lelong equation, Yamabe steady solitons and structures of complete noncompact Sasakian manifolds

abstract: In this paper, we solve the so-called CR Poincar\'e-Lelong equation by solving the CR Poisson equation on a complete noncompact CR $(2n+1)$-manifold with nonegative pseudohermitian bisectional curvature tensors and vanishing torsion which is an odd dimensional counterpart of K\"ahler geometry. With applications of this solution plus the CR Liouvelle property, we study the structures of complete noncompact Sasakian manifolds and CR Yamabe steady solitons.


title: Bimonoidal Structure of Probability Monads

abstract: We give a conceptual treatment of the notion of joints, marginals, and independence in the setting of categorical probability. This is achieved by endowing the usual probability monads (like the Giry monad) with a monoidal and an opmonoidal structure, mutually compatible (i.e. a bimonoidal structure). If the underlying monoidal category is cartesian monoidal, a bimonoidal structure is given uniquely by a commutative strength. However, if the underlying monoidal category is not cartesian monoidal, a strength is not enough to guarantee all the desired properties of joints and marginals. A bimonoidal structure is then the correct requirement for the more general case. We explain the theory and the operational interpretation, with the help of the graphical calculus for monoidal categories. We give a definition of stochastic independence based on the bimonoidal structure, compatible with the intuition and with other approaches in the literature for cartesian monoidal categories. We then show as an example that the Kantorovich monad on the category of complete metric spaces is a bimonoidal monad for a non-cartesian monoidal structure.


title: The Quaternion-Based Spatial Coordinate and Orientation Frame Alignment Problems

abstract: We review the general problem of finding a global rotation that transforms a given set of points and/or coordinate frames (the "test" data) into the best possible alignment with a corresponding set (the "reference" data). For 3D point data, this "orthogonal Procrustes problem" is often phrased in terms of minimizing a root-mean-square deviation or RMSD corresponding to a Euclidean distance measure relating the two sets of matched coordinates. We focus on quaternion eigensystem methods that have been exploited to solve this problem for at least five decades in several different bodies of scientific literature where they were discovered independently. While numerical methods for the eigenvalue solutions dominate much of this literature, it has long been realized that the quaternion-based RMSD optimization problem can also be solved using exact algebraic expressions based on the form of the quartic equation solution published by Cardano in 1545; we focus on these exact solutions to expose the structure of the entire eigensystem for the traditional 3D spatial alignment problem. We then explore the structure of the less-studied orientation data context, investigating how quaternion methods can be extended to solve the corresponding 3D quaternion orientation frame alignment (QFA) problem, noting the interesting equivalence of this problem to the rotation-averaging problem, which also has been the subject of independent literature threads. We conclude with a brief discussion of the combined 3D translation-orientation data alignment problem. Appendices are devoted to a tutorial on quaternion frames, a related quaternion technique for extracting quaternions from rotation matrices, and a review of quaternion rotation-averaging methods relevant to the orientation-frame alignment problem. Supplementary Material covers extensions of quaternion methods to the 4D problem.


title: Resource Allocation Algorithm for V2X communications based on SCMA

abstract: In this paper, we propose a resource allocation algorithm for V2X communications based on Sparse Code Multiple Access(SCMA). By analyzing the interference model in the V2X scenario, we formulate the problem which deals with resource allocation to maximize the system throughput. A graph color-based user cluster algorithm combined with resource allocation algorithm based on both result of clustering and SINR is presented to solve the problem. The simulation results indicate that the throughput performance of system based on SCMA is superior to which based on OFDMA, and the proposed algorithm can improve the system throughput and the number of access users.


title: Heavy-quark dynamics in a hydrodynamically evolving medium

abstract: In this talk we will discuss the recent advances in describing heavy-quark dynamics in the quark-gluon plasma (QGP), which evolves hydrodynamically. Special emphasis is put on the collective flow of the heavy-quarks with the medium constituents, for which we present our latest results obtained within the MC@sHQ+EPOS2 model at $\sqrt{s}=5$~TeV.


title: The Monge-Kantorovich Optimal Transport Distance for Image Comparison

abstract: This paper focuses on the Monge-Kantorovich formulation of the optimal transport problem and the associated $L^2$ Wasserstein distance. We use the $L^2$ Wasserstein distance in the Nearest Neighbour (NN) machine learning architecture to demonstrate the potential power of the optimal transport distance for image comparison. We compare the Wasserstein distance to other established distances - including the partial differential equation (PDE) formulation of the optimal transport problem - and demonstrate that on the well known MNIST optical character recognition dataset, it achieves excellent results.


title: Shifts of group-like projections and contractive idempotent functionals for locally compact quantum groups

abstract: A one to one correspondence between shifts of group-like projections on a locally compact quantum group ${\mathbb{G}}$ which are preserved by the scaling group and contractive idempotent functionals on the dual $\hat{\mathbb{G}}$ is established. This is a generalization of the Illie-Spronk's correspondence between contractive idempotents in the Fourier-Stieltjes algebra of a locally compact group $G$ and cosets of open subgroups of $G$. We also establish a one to one correspondence between non-degenerate, integrable, ${\mathbb{G}}$-invariant ternary rings of operators $X\subset L^\infty({\mathbb{G}})$, preserved by the scaling group and contractive idempotent functionals on ${\mathbb{G}}$. Using our results we characterize coideals in $L^\infty(\hat{\mathbb{G}})$ admitting an atom preserved by the scaling group in terms of idempotent states on ${\mathbb{G}}$. We also establish a one to one correspondence between integrable coideals in $L^\infty({\mathbb{G}})$ and group-like projections in $L^\infty(\hat{\mathbb{G}})$ satisfying an extra mild condition. Exploiting this correspondence we give examples of group like projections which are not preserved by the scaling group.


title: Multi-band RF Energy and Spectrum Harvesting in Cognitive Radio Networks

abstract: This paper investigates a multi-band harvesting (EH) schemes under cognitive radio interweave framework. All secondary users are considered as EH nodes that are allowed to harvest energy from multiple bands of Radio Frequency (RF) sources. A win-win framework is proposed, where SUs can sense the spectrum to determine whether the spectrum is busy, and hence they may harvest from RF energy, or if it is idle, and hence they can use it for transmission. Only a subset of the SUs can sense in order to reduce sensing energy, and then machine learning is used to characterize areas of harvesting and spectrum usage. We formulate an optimization problem that jointly optimize number of sensing samples and sensing threshold in order to minimize the sensing time and hence maximize the amount of energy harvested. A near optimal solution is proposed using Geometric Programming (GP) to optimally solve the problem in a time-slotted period. Finally, an energy efficient approach based on multi-class Support Vector Machine (SVM) is proposed by involving only training SUs instead of all SUs.


title: Application of the Finite Field Coupled Cluster Method to Calculate Molecular Properties Relevant to Electron Electric Dipole Moment Searches

abstract: Heavy polar diatomic molecules are currently among the most promising probes of fundamental physics. Constraining the electric dipole moment of the electron (eEDM), in order to explore physics beyond the Standard Model, requires a synergy of molecular experiment and theory. Recent advances in experiment in this field have motivated us to implement a finite field coupled cluster approach (FFCC). This work has distinct advantages over the theoretical methods that we had used earlier in the analysis of eEDM searches. We used the relativistic FFCC to calculate molecular properties of interest to eEDM experiments, that is, the effective electric field (Eeff), and the permanent electric dipole moment (PDM). We theoretically determine these quantities for the alkaline earth monofluorides (AEMs), the mercury monohalides (HgX), and PbF. The latter two systems, as well as BaF from the AEMs, are of interest to eEDM searches. We also report the calculations of the properties using a relativistic coupled cluster approach with single, double, and partial triples' excitations, which is considered to be the gold standard of electronic structure calculations. We also present a detailed error estimate, including errors that stem from the choice of basis sets, and higher order correlation effects.


title: Extending Horndeski theories into Lovelock gravity

abstract: The Horndeski theories are extended into the Lovelock gravity theory. When the canonical scalar field is uniquely kinetically coupled to the Lovelock tensors, it is named after Lovelock scalar field. The Lovelock scalar field model is a subclass of the new Horndeski theories. A most attractive feature of the Lovelock scalar field is its equation of motion is second order. So it is free of ghosts. We study the cosmology of Lovelock scalar field in the background of $7$ dimensional spacetime and present a class of cosmic solutions. These solutions reveal the physics of the scalar field is rather rich and merit further study.


title: The Corona Property in Nevanlinna quotient algebras and Interpolating sequences

abstract: Let $I$ be an inner function in the unit disk $\mathbb D$ and let $\mathcal N$ denote the Nevanlinna class. We prove that under natural assumptions, Bezout equations in the quotient algebra $\mathcal N/I\mathcal N$ can be solved if and only if the zeros of $I$ form a finite union of Nevanlinna interpolating sequences. This is in contrast with the situation in the algebra of bounded analytic functions, where being a finite union of interpolating sequences is a sufficient but not necessary condition. An analogous result in the Smirnov class is proved as well as several equivalent descriptions of Blaschke products whose zeros form a finite union of interpolating sequences in the Nevanlinna class.


title: Quantitative a Priori Estimates for Fast Diffusion Equations with Caffarelli-Kohn-Nirenberg weights. Harnack inequalities and H\"older continuity

abstract: We study a priori estimates for a class of non-negative local weak solution to the weighted fast diffusion equation $u_t = |x|^{\gamma} \nabla\cdot (|x|^{-\beta} \nabla u^m)$, with $0 < m <1$ posed on cylinders of $(0,T)\times{\mathbb R}^N$. The weights $|x|^{\gamma}$ and $|x|^{-\beta}$, with $\gamma < N$ and $\gamma -2 < \beta \leq \gamma(N-2)/N$ can be both degenerate and singular and need not belong to the class $\mathcal{A}_2$, a typical assumption for this kind of problems. This range of parameters is optimal for the validity of a class of Caffarelli-Kohn-Nirenberg inequalities, which play the role of the standard Sobolev inequalities in this more complicated weighted setting. The weights that we consider are not translation invariant and this causes a number of extra difficulties and a variety of scenarios: for instance, the scaling properties of the equation change when considering the problem around the origin or far from it. We therefore prove quantitative - with computable constants - upper and lower estimates for local weak solutions, focussing our attention where a change of geometry appears. Such estimates fairly combine into forms of Harnack inequalities of forward, backward and elliptic type. As a consequence, we obtain H\"older continuity of the solutions, with a quantitative (even if non-optimal) exponent. Our results apply to a quite large variety of solutions and problems. The proof of the positivity estimates requires a new method and represents the main technical novelty of this paper. Our techniques are flexible and can be adapted to more general settings, for instance to a wider class of weights or to similar problems posed on Riemannian manifolds, possibly with unbounded curvature. In the linear case, $m=1$, we also prove quantitative estimates, recovering known results in some cases and extending such results to a wider class of weights.


title: Relative Entropy Method for Measure Solutions of the Growth-Fragmentation Equation

abstract: The aim of this study is to generalise recent results of the two last authors on en-tropy methods for measure solutions of the renewal equation to other classes of structured population problems. Specifically, we develop a generalised relative entropy inequality for the growth-fragmentation equation and prove asymptotic convergence to a steady-state solution, even when the initial datum is only a non-negative measure.


title: The Challenges in SDN/ML Based Network Security : A Survey

abstract: Machine Learning is gaining popularity in the network security domain as many more network-enabled devices get connected, as malicious activities become stealthier, and as new technologies like Software Defined Networking (SDN) emerge. Sitting at the application layer and communicating with the control layer, machine learning based SDN security models exercise a huge influence on the routing/switching of the entire SDN. Compromising the models is consequently a very desirable goal. Previous surveys have been done on either adversarial machine learning or the general vulnerabilities of SDNs but not both. Through examination of the latest ML-based SDN security applications and a good look at ML/SDN specific vulnerabilities accompanied by common attack methods on ML, this paper serves as a unique survey, making a case for more secure development processes of ML-based SDN security applications.


title: Mining Social Media for Newsgathering: A Review

abstract: Social media is becoming an increasingly important data source for learning about breaking news and for following the latest developments of ongoing news. This is in part possible thanks to the existence of mobile devices, which allows anyone with access to the Internet to post updates from anywhere, leading in turn to a growing presence of citizen journalism. Consequently, social media has become a go-to resource for journalists during the process of newsgathering. Use of social media for newsgathering is however challenging, and suitable tools are needed in order to facilitate access to useful information for reporting. In this paper, we provide an overview of research in data mining and natural language processing for mining social media for newsgathering. We discuss five different areas that researchers have worked on to mitigate the challenges inherent to social media newsgathering: news discovery, curation of news, validation and verification of content, newsgathering dashboards, and other tasks. We outline the progress made so far in the field, summarise the current challenges as well as discuss future directions in the use of computational journalism to assist with social media newsgathering. This review is relevant to computer scientists researching news in social media as well as for interdisciplinary researchers interested in the intersection of computer science and journalism.


title: Sensing Hidden Vehicles by Exploiting Multi-Path V2V Transmission

abstract: This paper presents a technology of sensing hidden vehicles by exploiting multi-path vehicle-to-vehicle (V2V) communication. This overcomes the limitation of existing RADAR technologies that requires line-of-sight (LoS), thereby enabling more intelligent manoeuvre in autonomous driving and improving its safety. The proposed technology relies on transmission of orthogonal waveforms over different antennas at the target (hidden) vehicle. Even without LoS, the resultant received signal enables the sensing vehicle to detect the position, shape, and driving direction of the hidden vehicle by jointly analyzing the geometry (AoA/AoD/propagation distance) of individual propagation path. The accuracy of the proposed technique is validated by realistic simulation including both highway and rural scenarios.


title: Contrasting Interactions Between Dipole Oscillators in Classical and Quantum Theories: Illustrations of Unretarded van der Waals Forces

abstract: Students encounter harmonic-oscillator models in many aspects of basic physics, within widely-varying theoretical contexts. Here we highlight the interconnections and varying points of view. We start with the classical mechanics of masses coupled by springs and trace how the same essential systems are reanalyzed in the unretarded van der Waals interactions between dipole oscillators within classical and quantum theories. We note how classical mechanical ideas from kinetic theory lead to energy equipartition which determines the high-temperature van der Waals forces of atoms and molecules modeled as dipole oscillators. In this case, colliding heat-bath particles can be regarded as providing local hidden variables for the statistical mechanical behavior of the oscillators. Next we note how relativistic classical electrodynamical ideas conflict with the assumptions of nonrelativistic classical statistical mechanics. Classical electrodynamics which includes classical zero-point radiation leads to van der Waals forces between dipole oscillators, and these classical forces agree at all temperatures with the forces derived from quantum theory. However, the classical theory providing this agreement is not a local theory, but rather a non-local hidden-variables theory. The classical theory can be regarded as involving hidden variables in the random phases of the plane waves spreading throughout space which provide the source-free random radiation.


title: Fermionic formalism for driven-dissipative multi-level systems

abstract: We present a fermionic description of non-equilibrium multi-level systems. Our approach uses the Keldysh path integral formalism and allows us to take into account periodic drives, as well as dissipative channels. The technique is based on the Majorana fermion representation of spin-1/2 models which follows earlier applications in the context of spin and Kondo systems. We apply this formalism to problems of increasing complexity: a dissipative two-level system, a driven-dissipative multi-level atom, and a generalized Dicke model describing many multi-level atoms coupled to a single cavity. We compare our theoretical predictions with recent QED experiments and point out the features of a counter-lasing transition. Our technique provides a convenient and powerful framework for analyzing driven-dissipative quantum systems, complementary to other approaches based on the solution of Lindblad master equations.


title: Wave equations on graded groups and hypoelliptic Gevrey spaces

abstract: The overall goal of this dissertation is to investigate certain classical results from harmonic analysis, replacing the Euclidean setting, the abelian structure and the elliptic Laplace operator with a non-commutative environment and hypoelliptic operators. More specifically, we consider wave equations for hypoelliptic homogeneous left-invariant operators on graded Lie groups with time-dependent non-negative propagation speeds that are H\"older-regular or even more so. The corresponding Euclidean problem has been extensively studied in the `80s and some additional results have been recently obtained by Garetto and Ruzhansky in the case of a compact Lie group. We establish sharp well-posedness results in the spirit of the classical result by Colombini, De Giorgi and Spagnolo. In this investigation, a structure reminiscent of Gevrey regularity appears, inspiring deeper investigation of certain classes of functions and a comparison with Gevrey classes. In the latter part of this thesis we discuss such Gevrey spaces associated to the sums of squares of vector fields satisfying the H\"ormander condition on manifolds. This provides a deeper understanding of the Gevrey hypoellipticity of sub-Laplacians. It is known that if $\mathcal L$ is a Laplacian on a closed manifold $M$ then the standard Gevrey space $\gamma^s$ on $M$ defined in local coordinates can be characterised by the condition that $\|e^{D\mathcal L^{\frac{1}{2s}}}\phi\|_{L^2(M)}<\infty$ for some $D>0$. The aim in this part is to discuss the conjecture that a similar characterisation holds true if $\mathcal L$ is H\"ormander's sum of squares of vector fields, with a sub-Laplacian version of the Gevrey spaces involving these vector fields only. We prove this conjecture in one direction, while in the other we show it holds for sub-Laplacians on $SU(2)$ and on the Heisenberg group $\mathbb{H}_n$.


title: Space-time can be neither discrete nor continuous

abstract: We show that our recent Bohr-like approach to black hole (BH) quantum physics implies that space-time quantization could be energy-dependent. Thus, in a certain sense, space-time can be neither discrete nor continuous. Our approach permits also to show that the "volume quantum" of the Schwarzschild space-time increases with increasing energy during BH evaporation and arrives to a maximum value when the Planck scale is reached and the generalized uncertainty principle (GUP) prevents the total BH evaporation. Remarkably, this result does not depend on the BH original mass. The interesting consequence is that the behavior of BH evaporation should be the same for all Schwarzschild BHs when the Planck scale is approached.


title: Machine learning algorithms based on generalized Gibbs ensembles

abstract: Machine learning algorithms often take inspiration from established results and knowledge from statistical physics. A prototypical example is the Boltzmann machine algorithm for supervised learning, which utilizes knowledge of classical thermal partition functions and the Boltzmann distribution. Recently, a quantum version of the Boltzmann machine was introduced by Amin, et. al., however, non-commutativity of quantum operators renders the training process by minimizing a cost function inefficient. Recent advances in the study of non-equilibrium quantum integrable systems, which never thermalize, have lead to the exploration of a wider class of statistical ensembles. These systems may be described by the so-called generalized Gibbs ensemble (GGE), which incorporates a number of "effective temperatures". We propose that these GGE's can be successfully applied as the basis of a Boltzmann-machine-like learning algorithm, which operates by learning the optimal values of effective temperatures. We show that the GGE algorithm is an optimal quantum Boltzmann machine: it is the only quantum machine that circumvents the quantum training-process problem. We apply a simplified version of the GGE algorithm, where quantum effects are suppressed, to the classification of handwritten digits in the MNIST database. While lower error rates can be found with other state-of-the-art algorithms, we find that our algorithm reaches relatively low error rates while learning a much smaller number of parameters than would be needed in a traditional Boltzmann machine, thereby reducing computational cost.


title: A real-time and unsupervised face Re-Identification system for Human-Robot Interaction

abstract: In the context of Human-Robot Interaction (HRI), face Re-Identification (face Re-ID) aims to verify if certain detected faces have already been observed by robots. The ability of distinguishing between different users is crucial in social robots as it will enable the robot to tailor the interaction strategy toward the users' individual preferences. So far face recognition research has achieved great success, however little attention has been paid to the realistic applications of Face Re-ID in social robots. In this paper, we present an effective and unsupervised face Re-ID system which simultaneously re-identifies multiple faces for HRI. This Re-ID system employs Deep Convolutional Neural Networks to extract features, and an online clustering algorithm to determine the face's ID. Its performance is evaluated on two datasets: the TERESA video dataset collected by the TERESA robot, and the YouTube Face Dataset (YTF Dataset). We demonstrate that the optimised combination of techniques achieves an overall 93.55% accuracy on TERESA dataset and an overall 90.41% accuracy on YTF dataset. We have implemented the proposed method into a software module in the HCI^2 Framework for it to be further integrated into the TERESA robot, and has achieved real-time performance at 10~26 Frames per second.


title: A Performance and Resource Consumption Assessment of Secure Multiparty Computation

abstract: In recent years, secure multiparty computation (SMC) advanced from a theoretical technique to a practically applicable technology. Several frameworks were proposed of which some are still actively developed. We perform a first comprehensive study of performance characteristics of SMC protocols using a promising implementation based on secret sharing, a common and state-of-the-art foundation. Therefor, we analyze its scalability with respect to environmental parameters as the number of peers, network properties -- namely transmission rate, packet loss, network latency -- and parallelization of computations as parameters and execution time, CPU cycles, memory consumption and amount of transmitted data as variables. Our insights on the resource consumption show that such a solution is practically applicable in intranet environments and -- with limitations -- in Internet settings.


title: One-cocycle invariants for closed braids

abstract: We introduce new polynomial isotopy invariants for closed braids. They are constructed as polynomial valued {\em Gauss diagram 1-cocycles} evaluated on the full rotation of the closed braid $\hat \beta$ around the core of the corresponding solid torus. They can be calculated with polynomial complexity with respect to the braid length and their derivatives evaluated at $x=1$ are finite type invariants of closed braids. Let the solid torus V be standardly embedded in the 3-sphere and let L be the core of the complementary solid torus $S^3\setminus V$. We give examples which show that a natural refinement of our invariants can detect (even with linear complexity with respect to the braid length if the number of strands is fixed, and with quadratic complexity if it is not fixed) the non-invertibility of the 2-component link $\hat \beta \cup L\hookrightarrow S^3$, what quantum invariants fail to do.


title: Two Stream 3D Semantic Scene Completion

abstract: Inferring the 3D geometry and the semantic meaning of surfaces, which are occluded, is a very challenging task. Recently, a first end-to-end learning approach has been proposed that completes a scene from a single depth image. The approach voxelizes the scene and predicts for each voxel if it is occupied and, if it is occupied, the semantic class label. In this work, we propose a two stream approach that leverages depth information and semantic information, which is inferred from the RGB image, for this task. The approach constructs an incomplete 3D semantic tensor, which uses a compact three-channel encoding for the inferred semantic information, and uses a 3D CNN to infer the complete 3D semantic tensor. In our experimental evaluation, we show that the proposed two stream approach substantially outperforms the state-of-the-art for semantic scene completion.


title: On the Well-posedness of a Class of Non-Autonomous SPDEs: An Operator-Theoretical Perspective

abstract: We further elaborate on the solvability of stochastic partial differential equations (SPDEs). We shall discuss non-autonomous partial differential equations with an abstract realization of the stochastic integral on the right-hand side. Our approach allows the treatment of equations with mixed type, where classical solution strategies fail to work. The approach extends prior observations in [S\"u\ss, A. \& Waurick, M. A Solution Theory for a General Class of SPDEs. \emph{Stochastics and Partial Differential Equations: Analysis and Computations}, 2017, 5, 278-318], where the respective results were obtained for linear autonomous equations and (multiplicative) white noise.


title: Perfect colourings of regular graphs

abstract: A vertex colouring of some graph is called perfect if each vertex of colour $i$ has exactly $a_{ij}$ neighbours of colour $j$. Being perfect imposes several restrictions on the colour incidence matrix $(a_{ij})$. We list several (old and new) necessary conditions for a matrix to be the colour incidence matrix of a perfect colouring. Moreover we show that a certain combination of these conditions is also sufficient. Using this we determine a list of all colour incidence matrices corresponding to perfect colourings of 3-regular, 4-regular and 5-regular graphs with two, three and four colours, respectively. As an application we determine all perfect colourings of the edge graphs of the Platonic solids with two, three and four colours, respectively.


title: Motion of a superconducting loop in an inhomogeneous magnetic field: a didactic experiment

abstract: We present an experiment conductive to an understanding of both Faraday's law and the properties of the superconducting state. It consists in the analysis of the motion of a superconducting loop moving under the influence of gravity in an inhomogeneous horizontal magnetic field. Gravity, conservation of magnetic flux, and friction combine to give damped harmonic oscillations. The measured frequency of oscillation and the damping constant as a function of the magnetic field strength (the only free parameter) are in good agreement with the theoretical model.


title: On Completely Invariant Julia Sets of Trascendental Semigroups

abstract: In holomorphic semigroup dynamics, Julia set is in general backward invariant and so some fundamental results of classical complex dynamics can not be generalized to semigroup dynamics. In this paper, we define completely invariant Julia set of transcendental semigroup and we see how far the results of classical transcendental dynamics generalized to transcendental semigroup dynamics.


title: High resolution electron microscopy for heterogeneous catalysis research

abstract: Heterogeneous catalysts are the most important catalysts in industrial reactions. Nanocatalysts, with size ranging from hundreds of nanometers to the atomic scale, possess activities that are closely connected to their structural characteristics such as particle size, surface morphology, and three-dimensional topography. Recently, the development of advanced analytical transmission electron microscopy (TEM) techniques, especially quantitative high-angle annular dark-field (HAADF) imaging and high-energy resolution spectroscopy analysis in scanning transmission electron microscopy (STEM) at the atomic scale, strengthens the power of (S)TEM in analyzing the structural/chemical information of heterogeneous catalysts. Three-dimensional reconstruction from two-dimensional projected images and the real-time recording of structural evolution during catalytic reactions using in-situ (S)TEM methods further broaden the scope of (S)TEM observation. The atomic-scale structural information obtained from high resolution (S)TEM has proven to be of significance for better understanding and designing of new catalysts with enhanced performance.


title: The Complexity of Prenex Separation Logic with One Selector

abstract: We first show that infinite satisfiability can be reduced to finite satisfiability for all prenex formulas of Separation Logic with $k\geq1$ selector fields ($\seplogk{k}$). Second, we show that this entails the decidability of the finite and infinite satisfiability problem for the class of prenex formulas of $\seplogk{1}$, by reduction to the first-order theory of one unary function symbol and unary predicate symbols. We also prove that the complexity is not elementary, by reduction from the first-order theory of one unary function symbol. Finally, we prove that the Bernays-Sch\"onfinkel-Ramsey fragment of prenex $\seplogk{1}$ formulae with quantifier prefix in the language $\exists^*\forall^*$ is \pspace-complete. The definition of a complete (hierarchical) classification of the complexity of prenex $\seplogk{1}$, according to the quantifier alternation depth is left as an open problem.


title: Revisiting the D-meson hadroproduction in general-mass variable flavour number scheme

abstract: We introduce a novel realization of the open heavy-flavour hadroproduction in general-mass variable flavour number scheme at next-to-leading order in perturbative QCD. The principal novelty with respect to the earlier works is in the treatment of small-transverse-momentum limit, which has been a particularly challenging kinematic region in the past. We show that by a suitable choice of scheme, it is possible to obtain a well-behaved description of the open heavy-flavour hadroproduction cross sections from zero up to asymptotically high transverse momentum. We contrast our calculation with the available D$^0$-meson data as measured by the LHCb and ALICE collaborations at the LHC, finding a very good agreement within the theoretical and experimental uncertainties. We also compare our framework with other theoretical approaches.


title: Evaluation of the visual odometry methods for semi-dense real-time

abstract: Recent decades have witnessed a significant increase in the use of visual odometry(VO) in the computer vision area. It has also been used in varieties of robotic applications, for example on the Mars Exploration Rovers. This paper, firstly, discusses two popular existing visual odometry approaches, namely LSD-SLAM and ORB-SLAM2 to improve the performance metrics of visual SLAM systems using Umeyama Method. We carefully evaluate the methods referred to above on three different well-known KITTI datasets, EuRoC MAV dataset, and TUM RGB-D dataset to obtain the best results and graphically compare the results to evaluation metrics from different visual odometry approaches. Secondly, we propose an approach running in real-time with a stereo camera, which combines an existing feature-based (indirect) method and an existing feature-less (direct) method matching with accurate semidense direct image alignment and reconstructing an accurate 3D environment directly on pixels that have image gradient. Keywords VO, performance metrics, Umeyama Method, feature-based method, feature-less method & semi-dense real-time.


title: Algebraic monodromy groups of $l$-adic representations of $\mathrm{Gal}({\overline{\mathbb Q}}/{\mathbb Q})$

abstract: In this paper we prove that for any connected reductive algebraic group G and a large enough prime $l$, there are continuous homomorphisms $$\mathrm{Gal}(\bar\mathbb Q/\mathbb Q) \to G(\bar\mathbb Q_l)$$ with Zariski-dense image, in particular we produce the first such examples for $SL_n, Sp_{2n}, Spin_n, E_6^{sc}$ and $E_7^{sc}$. To do this, we start with a mod-$l$ representation of $\mathrm{Gal}(\bar\mathbb Q/\mathbb Q)$ related to the Weyl group of $G$ and use a variation of Stefan Patrikis' generalization of a method of Ravi Ramakrishna to deform it to characteristic zero.


title: Dark Photons, Kinetic Mixing and Light Dark Matter From 5-D

abstract: Extra dimensions provide a unique tool for building new physics models. Here we extend the kinetic mixing/dark photon mediator scenario for the case of complex scalar dark matter interacting with the Standard Model to 5-D. We assume that the inverse size of the new, flat extra dimension is $\sim 10 - 1000$ MeV, the mass range of interest in numerous current experiments, and discuss the resulting phenomenology. Here we see that 5-D constructions can be used to soften some of the possible tuning issues which are sometimes encountered in the corresponding 4-D models.


title: Restoring Uniqueness to Mean-Field Games by Randomizing the Equilibria

abstract: We here address the question of restoration of uniqueness in mean-field games deriving from deterministic differential games with a large number of players. The general strategy for restoring uniqueness is inspired from earlier similar results on ordinary and stochastic differential equations. It consists in randomizing the equilibria through an external noise. As a main feature, we choose the external noise as an infinite dimensional Ornstein-Uhlenbeck process. We first investigate existence and uniqueness of a solution to the noisy system made of the mean-field game forced by the Ornstein-Uhlenbeck process. We also show how such a noisy system can be interpreted as the limit version of a stochastic differential game with a large number of players.