title: Hybrid Analog-Digital Beamforming for Massive MIMO Systems

abstract: In massive MIMO systems, hybrid beamforming is an essential technique for exploiting the potential array gain without using a dedicated RF chain for each antenna. In this work, we consider the data phase in a massive MIMO communication process, where the transmitter and receiver use fewer RF chains than antennas. We examine several different fully- and partially connected schemes and consider the design of hybrid beamformers that minimize the estimation error in the data. For the hybrid precoder, we introduce a framework for approximating the optimal fully-digital precoder with a feasible hybrid one. We exploit the fact that the fully-digital precoder is unique only up to a unitary matrix and optimize over this matrix and the hybrid precoder alternately. Our alternating minimization of approximation gap (Alt-MaG) framework improves the performance over state-of-the-art methods with no substantial increase in complexity. In addition, we present a special case of Alt-MaG, minimal gap iterative quantization (MaGiQ), that results in low complexity and lower mean squared error (MSE) than other common methods, in the case of very few RF chains. MaGiQ is shown to coincide with the optimal fully-digital solution in some scenarios. For combiner design, we exploit the structure of the MSE objective and develop a greedy ratio trace maximization technique, that achieves low MSE under various settings. All of our algorithms can be used with multiple hardware architectures.


title: Concordance invariants of doubled knots and blowing up

abstract: Let $\nu$ be either the Ozsv\'ath-Szab\'o $\tau$-invariant or the Rasmussen $s$-invariant, suitably normalized. For a knot $K$, Livingston and Naik defined the invariant $t_\nu(K)$ to be the minimum of $k$ for which $\nu$ of the $k$-twisted positive Whitehead double of $K$ vanishes. They proved that $t_\nu(K)$ is bounded above by $-TB(-K)$, where $TB$ is the maximal Thurston-Bennequin number. We use a blowing up process to find a crossing change formula and a new upper bound for $t_\nu$ in terms of the unknotting number. As an application, we present infinitely many knots $K$ such that the difference between Livingston-Naik's upper bound $-TB(-K)$ and $t_\nu(K)$ can be arbitrarily large.


title: On the accuracy of the poissonisation in the infinite occupancy scheme

abstract: We obtain asymptotic accuracy of the poissonisation in the infinite occupancy scheme. All results are obtained for integer-valued random variables having a regularly varying distribution.


title: A Model for AR~Scorpii: Emission from Relativistic Electrons Trapped by Closed Magnetic Field Lines of Magnetic White Dwarfs

abstract: AR~Scorpii is an intermediate polar system composed of a magnetic white dwarf (WD) and an M-type star, and shows non-thermal, pulsed, and highly linearly polarized emission. The radio/optical emission modulates with the WD's spin and show the double peak structure in the light curves. In this paper, we discuss a possible scenario for the radiation mechanism of AR~Scorpii. The magnetic interaction on the surface of the companion star produces an outflow from the companion star, the heating of the companion star surface, and the acceleration of electrons to a relativistic energy. The accelerated electrons, whose typical Lorentz factor is $\sim 50-100$, from the companion star move along the magnetic field lines toward the WD surface. The electrons injected with the pitch angle of $\sin\theta_{p,0}>0.05$ are subject to the magnetic mirror effect and are trapped in the closed magnetic field line region.We find that the emission from the first magnetic mirror points mainly contributes to the observed pulsed emission and the formation of the double-peak structure in the light curve. For the inclined rotator, the pulse peak in the calculated light curve shifts the position in the spin phase, and a Fourier analysis exhibits a beat frequency feature, which are consistent with the optical/UV observations. The pulse profile also evolves with the orbital phase owing to the effect of the viewing geometry. The model also interprets the global features of the observed spectral energy distribution in radio to X-ray energy bands. We also discuss the curvature radiation and the inverse-Compton scattering process in the outer gap accelerator of the WD in AR Scorpii and discuss the possibility of the detection by future high-energy missions.


title: Effective gauge field theory of spintronics

abstract: The aim of this paper is to present a comprehensive theory of spintronics phenomena based on the concept of effective gauge field, the spin gauge field. An effective gauge field generally arises when we change a basis to describe system and describes low energy properties of the system. In the case of ferromagnetic metals we consider, it arises from structures of localized spin (magnetization) and couples to spin current of conduction electron. The first half of the paper is devoted to quantum mechanical arguments and phenomenology. We show that the spin gauge field has adiabatic and nonadiabatic (off-diagonal) components, consisting an SU(2) gauge field. The adiabatic component gives rise to spin Berry's phase, topological Hall effect and spin motive force, while nonadiabatic components are essential for spin-transfer torque and spin pumping effects by inducing nonequilibrium spin accumulation. In the latter part of the paper, field theoretic approaches are described. Dynamics of localized spins in the presence of applied spin-polarized current is studied in a microscopic viewpoint, and current-driven domain wall motion is discussed. Recent developments on interface spin-orbit interaction is also mentioned.


title: Renormalization of Feynman amplitudes on manifolds by spectral zeta regularization and blow-ups

abstract: Our goal in this paper is to present a generalization of the spectral zeta regularization for general Feynman amplitudes. Our method uses complex powers of elliptic operators but involves several complex parameters in the spirit of the analytic renormalization by Speer, to build mathematical foundations for the renormalization of perturbative interacting quantum field theories. Our main result shows that spectrally regularized Feynman amplitudes admit an analytic continuation as meromorphic germs with linear poles in the sense of the works of Guo-Paycha and the second author. We also give an explicit determination of the affine hyperplanes supporting the poles. Our proof relies on suitable resolution of singularities of products of heat kernels to make them smooth. As an application of the analytic continuation result, we use a universal projection from meromorphic germs with linear poles on holomorphic germs to construct renormalization maps which subtract singularities of Feynman amplitudes of Euclidean fields. Our renormalization maps are shown to satisfy consistency conditions previously introduced in the work of Nikolov-Todorov-Stora in the case of flat space-times.


title: 3D Facial Expression Reconstruction using Cascaded Regression

abstract: This paper proposes a novel model fitting algorithm for 3D facial expression reconstruction from a single image. Face expression reconstruction from a single image is a challenging task in computer vision. Most state-of-the-art methods fit the input image to a 3D Morphable Model (3DMM). These methods need to solve a stochastic problem and cannot deal with expression and pose variations. To solve this problem, we adopt a 3D face expression model and use a combined feature which is robust to scale, rotation and different lighting conditions. The proposed method applies a cascaded regression framework to estimate parameters for the 3DMM. 2D landmarks are detected and used to initialize the 3D shape and mapping matrices. In each iteration, residues between the current 3DMM parameters and the ground truth are estimated and then used to update the 3D shapes. The mapping matrices are also calculated based on the updated shapes and 2D landmarks. HOG features of the local patches and displacements between 3D landmark projections and 2D landmarks are exploited. Compared with existing methods, the proposed method is robust to expression and pose changes and can reconstruct higher fidelity 3D face shape.


title: A constructive approach to Freyd categories

abstract: In this paper we give an algorithmic description of Freyd categories that subsumes and enhances the usual approach to finitely presented modules in computer algebra. The upshot is a constructive approach to finitely presented functors that only relies on a few basic algorithms.


title: Solvability of abstract semilinear equations by a global diffeomorphism theorem

abstract: In this work we proivied a new simpler proof of the global diffeomorphism theorem from [9] which we further apply to consider unique solvability of some abstract semilinear equations. Applications to the second order Dirichlet problem driven by the Laplace operator are given.


title: On the symplectic size of convex polytopes

abstract: In this paper we introduce a combinatorial formula for the Ekeland-Hofer-Zehnder capacity of a convex polytope in $\mathbb{R}^{2n}$. One application of this formula is a certain subadditivity property of this capacity.


title: A Two-Parameter Model for Ultrasonic Tissue Characterization with Harmonic Imaging

abstract: Over the past few decades, researchers have developed several approaches such as the Reference Phantom Method (RPM) to estimate ultrasound attenuation coefficient (AC) and backscatter coefficient (BSC). AC and BSC can help to discriminate pathology from normal tissue during in-vivo imaging. In this paper, we propose a new RPM model to simultaneously compute AC and BSC for harmonic imaging and a normalized score that combines the two parameters as a measure of disease progression. The model utilizes the spectral difference between two regions of interest, the first, a proximal, close to the probe and second, a distal, away from the probe. We have implemented an algorithm based on the model and shown that it provides accurate and stable estimates to within 5% of AC and BSC for simulated received echo from post-focal depths of a homogeneous liver-like medium. For practical applications with time gain and time frequency compensated in-phase and quadrature (IQ) data from ultrasound scanner, the method has been approximated and generalized to estimate AC and BSC for tissue layer underlying a more attenuative subcutaneous layer. The angular spectrum approach for ultrasound propagation in biological tissue is employed as a virtual Reference Phantom (VRP). The VRP is calibrated with a fixed probe and scanning protocol for application to liver tissue. In a feasibility study with 16 subjects, the method is able to separate 9/11 cases of progressive non-alcoholic fatty liver disease from 5 normal. In particular, it is able to separate 4/5 cases of non-alcoholic steato-hepatitis and early fibrosis (F<=2) from normal tissue. More extensive clinical studies are needed to assess the full capability of this model for screening and monitoring disease progression in liver and other tissues.


title: The exoplanet host star beta Pictoris seen by BRITE-Constellation

abstract: BRITE-Constellation has observed the exoplanet host star $\beta$ Pictoris for 225 days from November 2016 to June 2017. These data allow for an accurate description of the pulsational properties and an asteroseismic interpretation. They were also observed as part of an international observing campaign which aims to detect the transit of $\beta$ Pictoris b's Hill sphere and study the circumstellar disk around $\beta$ Pictoris itself.


title: The minimum stretch spanning tree problem for typical graphs

abstract: With applications in distribution systems and communication networks, the minimum stretch spanning tree problem is to find a spanning tree T of a graph G such that the maximum distance in T between two adjacent vertices is minimized. The problem has been proved to be NP-hard and fixed-parameter polynomial algorithms have been obtained for some special classes of graphs. In this paper, we concentrate on the optimality characterizations for typical classes of graphs. We determine the exact optimality representations for Petersen graph, the complete k-partite graphs, split graphs, generalized convex graphs, and several planar grids, including rectangular grids, triangular grids, and triangular-rectangular grids.


title: An application of the Theorem on Sums to viscosity solutions of degenerate fully nonlinear equations

abstract: We prove H\"older continuous regularity of bounded, uniformly continuous, viscosity solutions of degenerate fully nonlinear equations defined in all of $\mathbb{R}^n$ space. In particular the result applies also to some operators in Carnot groups.


title: Linear regression over the max-plus semiring: algorithms and applications

abstract: In this paper we present theory, algorithms and applications for regression over the max- plus semiring. We show how max-plus 2-norm regression can be used to obtain maximum likelihood estimates for three different inverse problems. Namely inferring a max-plus linear dynamical systems model from a noisy time series recording, inferring the edge lengths of a network from shortest path information and fitting a max-plus polynomial function to data.


title: A clean way to separate sets of surreals

abstract: Let surreal numbers be defined by means of sign sequences. We give a proof that if $S < T$ are sets of surreals, then there is some surreal $w$ such that $S < w < T$. The classical proof is simplified by observing that, for every set $S$ of surreals, there exists a surreal $s$ such that, for every surreal $w$, we have $S<w$ if and only if the restriction of $w$ to the length of $s$ is $ \geq s$. Hence $S < w < T$ if and only if $w$ satisfies the above condition, as well as its symmetrical version with respect to $T$. It is now enough to check that if $S < T$, then the two conditions are compatible.


title: Switching of magnons by electric and magnetic fields in multiferroic borates

abstract: Electric manipulation of magnetic properties is a key problem of materials research. To fulfil the requirements of modern electronics, these processes must be shifted to high frequencies. In multiferroic materials this may be achieved by electric and magnetic control of their fundamental excitations. Here we identify magnetic vibrations in multiferroic iron-borates which are simultaneously sensitive to external electric and magnetic fields. Nearly 100% modulation of the terahertz radiation in an external field is demonstrated for SmFe3(BO3)4. High sensitivity can be explained by a modification of the spin orientation which controls the excitation conditions in multiferroic borates. These experiments demonstrate the possibility to alter terahertz magnetic properties of materials independently by external electric and magnetic fields.


title: Equivalence of Intuitionistic Inductive Definitions and Intuitionistic Cyclic Proofs under Arithmetic

abstract: A cyclic proof system gives us another way of representing inductive definitions and efficient proof search. In 2011 Brotherston and Simpson conjectured the equivalence between the provability of the classical cyclic proof system and that of the classical system of Martin-Lof's inductive definitions. This paper studies the conjecture for intuitionistic logic. This paper first points out that the countermodel of FOSSACS 2017 paper by the same authors shows the conjecture for intuitionistic logic is false in general. Then this paper shows the conjecture for intuitionistic logic is true under arithmetic, namely, the provability of the intuitionistic cyclic proof system is the same as that of the intuitionistic system of Martin-Lof's inductive definitions when both systems contain Heyting arithmetic HA. For this purpose, this paper also shows that HA proves Podelski-Rybalchenko theorem for induction and Kleene-Brouwer theorem for induction. These results immediately give another proof to the conjecture under arithmetic for classical logic shown in LICS 2017 paper by the same authors.


title: Combining phase field crystal methods with a Cahn-Hilliard model for binary alloys

abstract: During phase transitions certain properties of a material change, such as composition field and lattice-symmetry distortions. These changes are typically coupled, and affect the microstructures that form in materials. Here, we propose a 2D theoretical framework that couples a Cahn-Hilliard (CH) model describing the composition field of a material system, with a phase field crystal (PFC) model describing its underlying microscopic configurations. We couple the two continuum models via coordinate transformation coefficients. We introduce the transformation coefficients in the PFC method, to describe affine lattice deformations. These transformation coefficients are modeled as functions of the composition field. Using this coupled approach, we explore the effects of coarse-grained lattice symmetry and distortions on a phase transition process. In this paper, we demonstrate the working of the CH-PFC model through three representative examples: First, we describe base cases with hexagonal and square lattice symmetries for two composition fields. Next, we illustrate how the CH-PFC method interpolates lattice symmetry across a diffuse composition phase boundary. Finally, we compute a Cahn-Hilliard type of diffusion and model the accompanying changes to lattice symmetry during a phase transition process.


title: Edge rings with $3$-linear resolutions

abstract: It is shown that the edge ring of a finite connected simple graph with a $3$-linear resolution is a hypersurface.


title: Apparent diffusion in nucleus pulposus is associated with pain and mobility improvements after spinal mobilization for acute low back pain

abstract: Pain perception, trunk mobility in flexion, extension, and lateral flexion, and apparent diffusion coefficient (ADC) within nucleus pulposus of all lumbar discs were collected before and after posterior-to-anterior mobilization in 16 adults with acute low back pain. ADC was computed from diffusion maps and 3 specific portions of the nucleus pulposus were investigated: anterior (ADCant ), middle (ADCmid), and posterior (ADCpost ), and their mean as ADCall , a summary measure of ADC within nucleus pulposus. Pain ratings were significantly reduced after mobilization, and mobility of the trunk was significantly increased. Concomitantly, a significant increase in ADCall values was observed. The greatest ADCall changes were observed at the L3-L4 and L4-L5 levels and were mainly explained by changes in ADCant and ADCpost . The simultaneous reduction in pain and increase of water diffusion within nucleus pulposus has has been previously observed in subjects with chronic conditions and exists in the acute phase of the disease. Since the largest changes in ADC were observed at the periphery of the nucleus pulposus, and taken together with pain decrease, our results suggest that increased peripheral random motion of water molecules is implicated in the modulation of the intervertebral disc nociceptive response.


title: Searches for anomalous $tqZ$ couplings from the trilepton signal of $tZ$ associated production at the 14 TeV LHC

abstract: We investigate the observability of the top anomalous $tqZ$ couplings via the trilepton signatures at the Large Hadron Collider~(LHC) with the center-of-mass energy of 14 TeV. We focus on signals of the $tZ$ associated production with the decay mode $t\to W^{+}b\to b\ell^{+}\nu_{\ell}$, $Z\to \ell^{+}\ell^{-}$, and $t\bar{t}$ production with the decay mode $\bar{t}\to Z(\to \ell^{+}\ell^{-})\bar{q}$ and $t\to b\ell^{+}\nu_{\ell}$, where $\ell=e, \mu$ and $q$ reflects up and charm quarks. It is shown that at $3\sigma$ level, the FCNC top quark decay branching ratios can be probed at, respectively, about $Br(t\to uZ) \leq 1.3\times 10^{-4}$ and $Br(t\to cZ) \leq 4.2\times 10^{-4}$ with the integrated luminosity of 100 fb$^{-1}$, and probed down to $Br(t\to uZ) \leq 2.2\times 10^{-5}$ and $Br(t\to cZ) \leq 8\times 10^{-5}$ for the high-luminosity LHC with 3000 fb$^{-1}$.


title: Convergence to equilibrium for time inhomogeneous jump diffusions with state dependent jump intensity

abstract: We consider a time inhomogeneous jump Markov process $X = (X_t)_t$ with state dependent jump intensity, taking values in $R^d . $ Its infinitesimal generator is given by \begin{multline*} L_t f (x) = \sum_{i=1}^d \frac{\partial f}{\partial x_i } (x) b^i ( t,x) - \sum_{ i =1}^d \frac{\partial f}{\partial x_i } (x) \int_{E_1} c_1^i ( t, z, x) \gamma_1 ( t, z, x ) \mu_1 (dz ) \\ + \sum_{l=1}^3 \int_{E_l} [ f ( x + c_l ( t, z, x)) - f(x)] \gamma_l ( t, z, x) \mu_l (dz ) , \end{multline*} where $(E_l , {\mathcal E}_l, \mu_l ) , 1 \le l \le 3, $ are sigma-finite measurable spaces describing three different jump regimes of the process (fast, intermediate, slow). We give conditions proving that the long time behavior of $X$ can be related to the one of a time homogeneous limit process $\bar X . $ Moreover, we introduce a coupling method for the limit process which is entirely based on certain of its big jumps and which relies on the regeneration method. We state explicit conditions in terms of the coefficients of the process allowing to control the speed of convergence to equilibrium both for $X$ and for $\bar X.$


title: A Weyl Module Stratification of Integrable Representations (with an appendix by Ryosuke Kodera)

abstract: We construct a filtration on integrable highest weight module of an affine Lie algebra whose adjoint graded quotient is a direct sum of global Weyl modules. We show that the graded multiplicity of each Weyl module there is given by a corresponding level-restricted Kostka polynomial. This leads to an interpretation of level-restricted Kostka polynomials as the graded dimension of the space of conformal coinvariants. In addition, as an application of the level one case of the main result, we realize global Weyl modules of current algebras of type $\mathsf{ADE}$ in terms of Schubert manifolds of thick affine Grassmanian, as predicted by Boris Feigin.


title: A model of neutron-star--white-dwarf collision for fast radio bursts

abstract: Fast radio bursts (FRBs) with unknown origin emit a huge luminosity (about 1 Jy at 1 GHz) with a duration of milliseconds or less at extragalactic distances estimated from their large dispersion measure (DM). We propose herein a scenario for a collision between a neutron star (NS) and a white dwarf (WD) as the progenitor of the FRBs by considering the burst duration scaling to the collision time and the radio luminosity proportional to the kinetic energy of the collision. The relations among the observed flux density, pulse width, and the DM are derived from the model and compared with the statistical results from the observed FRBs. Although the sample is quite small, we tentatively report a nearly inverse-square correlation between the observed peak flux density and the DM excess, which is an consequence of the assumption that the DM excess (i.e. that not due to our Galaxy) is dominated by the intergalactic medium. We also tentatively note a correlation among the duration of the FRB and the DM excess (possibly interpreted as due to the broadening of the signal in the intergalactic medium) and a correlation among the duration of the FRB and the flux density (shorter burst should be brighter), both roughly in agreement with the proposed model.


title: Geometrization of purely hyperbolic representations in $\text{PSL}_2\Bbb R$

abstract: Let $S$ be a surface of genus $g$ at least $2$. A representation $\rho:\pi_1S\longrightarrow \text{PSL}_2\Bbb R$ is said to be purely hyperbolic if its image consists only of hyperbolic elements other than the identity. We may wonder under which conditions such representations arise as holonomy of a hyperbolic cone-structure on $S$. In this work we will characterize them completely, giving necessary and sufficient conditions.


title: Revealing HI gas in emission and absorption on pc to kpc scales in a galaxy at z ~ 0.017

abstract: We present a detailed study of the quasar-galaxy pair: J1243+4043 - UGC07904. The sight line of the background quasar ( $z_q$= 1.5266) passes through a region of the galaxy ($z_g$=0.0169) at an impact parameter of 6.9 kpc with high metallicity (0.5 Z$_\odot$) and negligible dust extinction. We detect HI 21-cm absorption from the foreground galaxy at arcsecond and milliarcsecond scales. For typical cold neutral medium (CNM) temperatures in the Milky Way, this 21-cm absorber can be classified as a damped Ly$\alpha$ absorber (DLA). We infer the harmonic mean spin temperature of the gas to be $\sim$400 K and for a simple two-phase medium we estimate the CNM-fraction to be $f_{\rm CNM}$ = 0.27. This is remarkably consistent with the CNM fraction observed in the Galaxy and less than that of high-redshift DLAs. The quasar exhibits a core-jet morphology on milliarcsecond scales, corresponding to an overall extent of $\sim$9 pc at $z_g$. We show that the size of CNM absorbing clouds associated with the foreground galaxy is $>$5 pc and they may be part of cold gas structures that extend beyond $\sim$35 pc. Interestingly, the rotation measure of quasar J1243+4043 is higher than any other source in samples of quasars with high-$z$ DLAs. However, we do not find any detectable differences in RMs and polarization fraction of sight lines with or without high-$z$ ($z\ge2$) DLAs or low-$z$ ($z\le0.3$) 21-cm absorbers. Finally, the foreground galaxy UGC07904 is also part of a galaxy group. We serendipitously detect HI 21-cm emission from four members of the group, and a $\sim$80 kpc long HI bridge connecting two of the other members. The latter, together with the properties of the group members, suggests that the group is a highly interactive environment.


title: Comparative analysis of criteria for filtering time series of word usage frequencies

abstract: This paper describes a method of nonlinear wavelet thresholding of time series. The Ramachandran-Ranganathan runs test is used to assess the quality of approximation. To minimize the objective function, it is proposed to use genetic algorithms - one of the stochastic optimization methods. The suggested method is tested both on the model series and on the word frequency series using the Google Books Ngram data. It is shown that method of filtering which uses the runs criterion shows significantly better results compared with the standard wavelet thresholding. The method can be used when quality of filtering is of primary importance but not the speed of calculations.


title: Approximate homomorphisms on lattices

abstract: We prove two results concerning an Ulam-type stability problem for homomorphisms between lattices. One of them involves estimates by quite general error functions; the other deals with approximate (join) homomorphisms in terms of certain systems of lattice neighborhoods. As a corollary, we obtain a stability result for approximately monotone functions.


title: A result on the existence and uniqueness of stationary solutions for a bioconvective flow model

abstract: In this note we prove the existence and uniqueness of weak solutions for the boundary value problem modelling the stationary case of the bioconvective flow problem introduced by Tuval et. al. (2005, {\it PNAS} 102, 2277--2282). We derive some appropriate a priori estimates for the weak solution, which implies the existence, by application of Gossez theorem, and the uniqueness by standard methodology of comparison of two arbitrary solutions.


title: Superhumps linked to X-ray emission. The superoutbursts of SSS J122221.7-311525 and GW Lib

abstract: [Abridged] We present more than 4 years of Swift X-ray observations of the 2013 superoutburst, subsequent decline and quiescence of the WZ Sge-type dwarf nova SSS J122221.7-311525 (SSS122222) from 6 days after discovery. Only a handful of WZ Sge-type dwarf novae have been observed in X-rays, and until recently GW Lib was the only binary of this type with complete coverage of an X-ray light curve throughout a superoutburst. We collected extensive X-ray data of a second such system to understand the extent to which the unexpected properties of GW Lib are common to the WZ Sge class. We analysed the X-ray light curve and compared it with the behaviour of superhumps which were detected in the optical light curve. We also performed spectral analysis of the data. The results were compared with the properties of GW Lib, for which new X-ray observations were also obtained. SSS122222 was variable and around five times brighter in 0.3-10 keV X-rays during the superoutburst than in quiescence, mainly because of a significant strengthening of a high-energy component of the X-ray spectrum. The post-outburst decline of the X-ray flux lasted at least 500 d. The data show no evidence of the expected optically thick boundary layer in the system during the outburst. SSS122222 also exhibited a sudden X-ray flux change in the middle of the superoutburst, which occurred exactly at the time of the superhump stage transition. A similar X-ray behaviour was also detected in GW Lib. This result demonstrates a relationship between the outer disc and the white dwarf boundary layer for the first time, and suggests that models for accretion discs in high mass ratio accreting binaries are currently incomplete. The very long decline to X-ray quiescence is also in strong contrast to the expectation of low viscosity in the disc after outburst.


title: Two-Loop integrals for CP-even heavy quarkonium production and decays: Elliptic Sectors

abstract: By employing the differential equations, we compute analytically the elliptic sectors of two-loop master integrals appearing in the NNLO QCD corrections to CP-even heavy quarkonium exclusive production and decays, which turns out to be the last and toughest part in the relevant calculation. The integrals are found can be expressed as Goncharov polylogarithms and iterative integrals over elliptic functions. The master integrals may be applied to some other NNLO QCD calculations about heavy quarkonium exclusive production, like $\gamma^*\gamma\rightarrow Q\bar{Q}$, $e^+e^-\rightarrow \gamma+ Q\bar{Q}$,~and~$H/Z^0\rightarrow \gamma+ Q\bar{Q}$, heavy quarkonium exclusive decays, and also the CP-even heavy quarkonium inclusive production and decays.


title: Synergy of stochastic and systematic energization of plasmas during turbulent reconnection

abstract: The important characteristic of turbulent reconnection is that it combines large scale magnetic disturbances $(\delta B/B \sim 1)$ with randomly distributed Unstable Current Sheets (UCSs). Many well known non linear MHD structures (strong turbulence, current sheet(s), shock(s)) lead asymptotically to the state of turbulent reconnection. We analyze in this article, for the first time, the energization of electrons and ions in a {\bf large scale} environment that {\bf combines} large amplitude disturbances propagating with sub-Alfv\'enic speed with UCSs. The magnetic disturbances interact stochastically (second order Fermi) with the charged particles and they play a crucial role in the heating of the particles, while the UCS interact systematically (first order Fermi) and play a crucial role in the formation of the high energy tail. The synergy of stochastic and systematic acceleration provided by the mixture of magnetic disturbances and UCSs influences the energetics of the thermal and non-thermal particles, the power law index, and the time the particles remain inside the energy release volume. We show that this synergy can explain the observed very fast and impulsive particle acceleration and the slightly delayed formation of a super-hot particle population.


title: A Note on Approximate Revenue Maximization with Two Items

abstract: We consider the problem of maximizing revenue when selling 2 items to a single buyer with known valuation distributions. Hart and Nisan showed that selling each item separately using the optimal Myerson's price, gains at least half of the revenue attainable by optimal auction for two items. We show that in case the items have different revenues when sold separately the bound can be tightened.


title: The Lind Zeta functions of reversal systems of finite order

abstract: A decomposition theorem for the Lind zeta function of a reversal system $(X, T, R)$ of finite order is established. A reversal system can be regarded as an action of a certain group $G$ on $X$. To establish an explicit formula for the Lind zeta function of $(X, T, R)$, we need to consider finite index subgroups $H$ of $G$ with induced actions given by automorphisms or by flips. When the underlying dynamical system $(X, T)$ is either a shift of finite type or a sofic shift, we express the Lind zeta function of $(X, T, R)$ in terms of matrices.


title: Graphs with prescribed local neighborhoods of their universal coverings

abstract: Given a collection of n rooted trees with depth h, we give a necessary and sufficient condition for this collection to be the collection of h-depth universal covering neighborhoods at each vertex.


title: On the higher derivatives of the inverse tangent function

abstract: In this paper, we find explicit formulas for higher order derivatives of the inverse tangent function. More precisely, we study polynomials which are induced from the higher-order derivatives of arctan(x). Successively, we give generating functions, recurrence relations and some particular properties for these polynomials. Connections to Chebyshev, Fibonacci, Lucas and Matching polynomials are established.


title: Finite sample Bernstein-von Mises theorems for functionals and spectral projectors of the covariance matrix

abstract: We demonstrate that a prior influence on the posterior distribution of covariance matrix vanishes as sample size grows. The assumptions on a prior are explicit and mild. The results are valid for a finite sample and admit the dimension $p$ growing with the sample size $n$. We exploit the described fact to derive the finite sample Bernstein-von Mises theorem for functionals of covariance matrix (e.g. eigenvalues) and to find the posterior distribution of the Frobenius distance between spectral projector and empirical spectral projector. This can be useful for constructing sharp confidence sets for the true value of the functional or for the true spectral projector.


title: Disorder perturbed Flat Bands I: Level density and Inverse Participation Ratio

abstract: We consider the effect of disorder on the tight-binding Hamiltonians with a flat band and derive a common mathematical formulation of the average density of states and inverse participation ratio applicable for a wide range of them. The system information in the formulation appears through a single parameter which plays an important role in search of the critical points for disorder driven transitions in flat bands [1]. In weak disorder regime, the formulation indicates an insensitivity of the statistical measures to disorder strength, thus confirming the numerical results obtained by our as well as previous studies.


title: A General Memory-Bounded Learning Algorithm

abstract: Designing bounded-memory algorithms is becoming increasingly important nowadays. Previous works studying bounded-memory algorithms focused on proving impossibility results, while the design of bounded-memory algorithms was left relatively unexplored. To remedy this situation, in this work we design a general bounded-memory learning algorithm, when the underlying distribution is known. The core idea of the algorithm is not to save the exact example received, but only a few important bits that give sufficient information. This algorithm applies to any hypothesis class that has an "anti-mixing" property. This paper complements previous works on unlearnability with bounded memory and provides a step towards a full characterization of bounded-memory learning.


title: Lagrangian potential theory and a Lagrangian equation of Monge-Amp\`ere type

abstract: The purpose of this paper is to establish a Lagrangian potential theory, analogous to the classical pluripotential theory, and to define and study a Lagrangian differential operator of Monge-Ampere type. This development is new even in ${\bf C}^n$. However, it applies quite generally -- perhaps most importantly to symplectic manifolds equipped with a Gromov metric. The Lagrange Monge-Ampere operator is an explicit polynomial on ${\rm Sym}^2(TX)$ whose principle branch defines the space of Lag-harmonics. Interestingly the operator depends only on the Laplacian and the SKEW-Hermitian part of the Hessian. The Dirichlet problem for this operator is solved in both the homogeneous and inhomogeneous cases. The homogeneous case is also solved for each of the other branches. This paper also introduces and systematically studies the notions of Lagrangian plurisubharmonic and harmonic functions, and Lagrangian convexity. An analogue of the Levi Problem is proved. In ${\bf C}^n$ there is another concept, Lag-plurihamonics, which relate in several ways to the harmonics on any domain. Parallels of this Lagrangian potential theory with standard (complex) pluripotential theory are constantly emphasized.


title: Improved performance of semiconductor laser tracking frequency gauge

abstract: We describe new results from the semiconductor-laser tracking frequency gauge, an instrument that can perform sub-picometer distance measurements and has applications in gravity research and in space-based astronomical instruments proposed for the study of light from extrasolar planets. Compared with previous results, we have improved incremental distance accuracy by a factor of two, to 0.9 pm in 80 s averaging time, and absolute distance accuracy by a factor of 20, to 0.17 $\mu$m in 1000 s. After an interruption of operation of a tracking frequency gauge used to control a distance, it is now possible, using a nonresonant measurement interferometer, to restore the distance to picometer accuracy by combining absolute and incremental distance measurements.


title: Mass scale of vectorlike matter and superpartners from IR fixed point predictions of gauge and top Yukawa couplings

abstract: We use the IR fixed point predictions for gauge couplings and the top Yukawa coupling in the MSSM extended with vectorlike families to infer the scale of vectorlike matter and superpartners. We quote results for several extensions of the MSSM and present results in detail for the MSSM extended with one complete vectorlike family. We find that for a unified gauge coupling $\alpha_G > 0.3$ vectorlike matter or superpartners are expected within 1.7 TeV (2.5 TeV) based on all three gauge couplings being simultaneously within 1.5\% (5\%) from observed values. This range extends to about 4 TeV for $\alpha_G > 0.2$. We also find that in the scenario with two additional large Yukawa couplings of vectorlike quarks the IR fixed point value of the top Yukawa coupling independently points to a multi-TeV range for vectorlike matter and superpartners. Assuming a universal value for all large Yukawa couplings at the GUT scale, the measured top quark mass can be obtained from the IR fixed point for $\tan \beta \simeq 4$. The range expands to any $\tan \beta > 3$ for significant departures from the universality assumption. Considering that the Higgs boson mass also points to a multi-TeV range for superpartners in the MSSM, adding a complete vectorlike family at the same scale provides a compelling scenario where the values of gauge couplings and the top quark mass are understood as a consequence of the particle content of the model.


title: Variational formulae for the capacity induced by second-order elliptic differential operators

abstract: We review recent progress in potential theory of second-order elliptic operators and on the metastable behavior of Markov processes.


title: Exploration of User Groups in VEXUS

abstract: We introduce VEXUS, an interactive visualization framework for exploring user data to fulfill tasks such as finding a set of experts, forming discussion groups and analyzing collective behaviors. User data is characterized by a combination of demographics like age and occupation, and actions such as rating a movie, writing a paper, following a medical treatment or buying groceries. The ubiquity of user data requires tools that help explorers, be they specialists or novice users, acquire new insights. VEXUS lets explorers interact with user data via visual primitives and builds an exploration profile to recommend the next exploration steps. VEXUS combines state-of-the-art visualization techniques with appropriate indexing of user data to provide fast and relevant exploration.


title: Datacenter Traffic Control: Understanding Techniques and Trade-offs

abstract: Datacenters provide cost-effective and flexible access to scalable compute and storage resources necessary for today's cloud computing needs. A typical datacenter is made up of thousands of servers connected with a large network and usually managed by one operator. To provide quality access to the variety of applications and services hosted on datacenters and maximize performance, it deems necessary to use datacenter networks effectively and efficiently. Datacenter traffic is often a mix of several classes with different priorities and requirements. This includes user-generated interactive traffic, traffic with deadlines, and long-running traffic. To this end, custom transport protocols and traffic management techniques have been developed to improve datacenter network performance. In this tutorial paper, we review the general architecture of datacenter networks, various topologies proposed for them, their traffic properties, general traffic control challenges in datacenters and general traffic control objectives. The purpose of this paper is to bring out the important characteristics of traffic control in datacenters and not to survey all existing solutions (as it is virtually impossible due to massive body of existing research). We hope to provide readers with a wide range of options and factors while considering a variety of traffic control mechanisms. We discuss various characteristics of datacenter traffic control including management schemes, transmission control, traffic shaping, prioritization, load balancing, multipathing, and traffic scheduling. Next, we point to several open challenges as well as new and interesting networking paradigms. At the end of this paper, we briefly review inter-datacenter networks that connect geographically dispersed datacenters which have been receiving increasing attention recently and pose interesting and novel research problems.


title: Wireless Energy Beamforming Using Signal Strength Feedback

abstract: Multiple antenna techniques, that allow energy beamforming, have been looked upon as a possible candidate for increasing the efficiency of the transfer process between the energy transmitter (ET) and the energy receiver (ER) in wireless energy transfer. This paper introduces a novel scheme that facilitates energy beamforming by utilizing Received Signal Strength Indicator (RSSI) values to estimate the channel. Firstly, in the training stage, the ET will transmit sequentially using each beamforming vector in a codebook, which is pre-defined using a Cramer-Rao lower bound analysis. The RSSI value corresponding to each beamforming vector is fed back to the ET, and these values are used to estimate the channel through a maximum likelihood analysis. The results that are obtained are remarkably simple, requires minimal processing, and can be easily implemented. Also, the results are general and hold for all well known fading models. The paper also validates the analytical results numerically, as well as experimentally, and it is shown that the proposed method achieves impressive results in wireless energy transfer.


title: Differential equations for Feynman integrals beyond multiple polylogarithms

abstract: Differential equations are a powerful tool to tackle Feynman integrals. In this talk we discuss recent progress, where the method of differential equations has been applied to Feynman integrals which are not expressible in terms of multiple polylogarithms.


title: Constraints on neutrino masses from Baryon Acoustic Oscillation measurements

abstract: From 21 independent Baryon Acoustic Oscillation (BAO) measurements we obtain the following sum of masses of active Dirac or Majorana neutrinos: $\sum m_\nu = 0.711 - 0.335 \cdot \delta h + 0.050 \cdot \delta b \pm 0.063 \textrm{ eV,}$ where $\delta h \equiv (h - 0.678) / 0.009$ and $\delta b \equiv (\Omega_b h^2 - 0.02226) / 0.00023$. This result may be combined with independent measurements that constrain the parameters $\sum m_\nu$, $h$, and $\Omega_b h^2$. For $\delta h = \pm 1$ and $\delta b = \pm 1$, we obtain $m_\nu < 0.43$ eV at 95\% confidence.


title: Dynamics Transfer GAN: Generating Video by Transferring Arbitrary Temporal Dynamics from a Source Video to a Single Target Image

abstract: In this paper, we propose Dynamics Transfer GAN; a new method for generating video sequences based on generative adversarial learning. The spatial constructs of a generated video sequence are acquired from the target image. The dynamics of the generated video sequence are imported from a source video sequence, with arbitrary motion, and imposed onto the target image. To preserve the spatial construct of the target image, the appearance of the source video sequence is suppressed and only the dynamics are obtained before being imposed onto the target image. That is achieved using the proposed appearance suppressed dynamics feature. Moreover, the spatial and temporal consistencies of the generated video sequence are verified via two discriminator networks. One discriminator validates the fidelity of the generated frames appearance, while the other validates the dynamic consistency of the generated video sequence. Experiments have been conducted to verify the quality of the video sequences generated by the proposed method. The results verified that Dynamics Transfer GAN successfully transferred arbitrary dynamics of the source video sequence onto a target image when generating the output video sequence. The experimental results also showed that Dynamics Transfer GAN maintained the spatial constructs (appearance) of the target image while generating spatially and temporally consistent video sequences.


title: The minimum forcing number of perfect matchings in the hypercube

abstract: Let $M$ be a perfect matching in a graph. A subset $S$ of $M$ is said to be a forcing set of $M$, if $M$ is the only perfect matching in the graph that contains $S$. The minimum size of a forcing set of $M$ is called the forcing number of $M$. Pachter and Kim [Discrete Math. 190 (1998) 287--294] conjectured that the forcing number of every perfect matching in the $n$-dimensional hypercube is at least $2^{n-2}$, for all $n \ge 2$. Riddle [Discrete Math. 245 (2002) 283-292] proved this for even $n$. We show that the conjecture holds for all $n \ge 2$. The proof is based on simple linear algebra.


title: Nonlocality of Majorana Modes in Hybrid Nanowires

abstract: Spatial separation of Majorana zero modes distinguishes trivial from topological midgap states and is key to topological protection in quantum computing applications. Although signatures of Majorana zero modes in tunneling spectroscopy have been reported in numerous studies, a quantitative measure of the degree of separation, or nonlocality, of the emergent zero modes has not been reported. Here, we present results of an experimental study of nonlocality of emergent zero modes in superconductor-semiconductor hybrid nanowire devices. The approach takes advantage of recent theory showing that nonlocality can be measured from splitting due to hybridization of the zero mode in resonance with a quantum dot state at one end of the nanowire. From these splittings as well as anticrossing of the dot states, measured for even and odd occupied quantum dot states, we extract both the degree of nonlocality of the emergent zero mode, as well as the spin canting angles of the nonlocal zero mode. Depending on the device measured, we obtain either a moderate degree of nonlocality, suggesting a partially separated Andreev subgap state, or a highly nonlocal state consistent with a well-developed Majorana mode.


title: Correlation Effects in the Quench-Induced Phase Separation Dynamics of a Two-Species Ultracold Quantum Gas

abstract: We explore the quench dynamics of a binary Bose-Einstein condensate crossing the miscibility-immiscibility threshold and vice versa, both within and in particular beyond the mean-field approximation. Increasing the interspecies repulsion leads to the filamentation of the density of each species, involving shorter wavenumbers and longer spatial scales in the many-body approach. These filaments appear to be strongly correlated and exhibit domain-wall structures. Following the reverse quench process multiple dark-antidark solitary waves are spontaneously generated and subsequently found to decay in the many-body scenario. We simulate single-shot images to connect our findings to possible experimental realizations. Finally, the growth rate of the variance of a sample of single-shots probes the degree of entanglement inherent in the system.


title: Multi-Task Learning for Mental Health using Social Media Text

abstract: We introduce initial groundwork for estimating suicide risk and mental health in a deep learning framework. By modeling multiple conditions, the system learns to make predictions about suicide risk and mental health at a low false positive rate. Conditions are modeled as tasks in a multi-task learning (MTL) framework, with gender prediction as an additional auxiliary task. We demonstrate the effectiveness of multi-task learning by comparison to a well-tuned single-task baseline with the same number of parameters. Our best MTL model predicts potential suicide attempt, as well as the presence of atypical mental health, with AUC > 0.8. We also find additional large improvements using multi-task learning on mental health tasks with limited training data.


title: Cyclic Mario Worlds -- Color-Decomposition for One-Loop QCD

abstract: We present a new color decomposition for QCD amplitudes at one-loop level as a generalization of the Del Duca-Dixon-Maltoni and Johansson-Ochirov decomposition at tree level. Starting from a minimal basis of planar primitive amplitudes we write down a color decomposition that is free of linear dependencies among appearing primitive amplitudes or color factors. The conjectured decomposition applies to any number of quark flavors and is independent of the choice of gauge group and matter representation. The results also hold for higher-dimensional or supersymmetric extensions of QCD. We provide expressions for any number of external quark-antiquark pairs and gluons.


title: Evidence for High Eccentricity and Apsidal Motion in the Detached Eclipsing Binary GSC 04052-01378

abstract: We observed the recently discovered eccentric eclipsing binary GSC 04052-01378 in order to improve the light curve parameters and to find further evidence of its probable high eccentricity and of apsidal motion. Furthermore, we propose a basic stellar model that fits very well the observations of our dataset and where the eccentricity is found to be e = 0.538(6), which corresponds to an high value among this group of binaries.


title: An Architecture Combining Convolutional Neural Network (CNN) and Support Vector Machine (SVM) for Image Classification

abstract: Convolutional neural networks (CNNs) are similar to "ordinary" neural networks in the sense that they are made up of hidden layers consisting of neurons with "learnable" parameters. These neurons receive inputs, performs a dot product, and then follows it with a non-linearity. The whole network expresses the mapping between raw image pixels and their class scores. Conventionally, the Softmax function is the classifier used at the last layer of this network. However, there have been studies (Alalshekmubarak and Smith, 2013; Agarap, 2017; Tang, 2013) conducted to challenge this norm. The cited studies introduce the usage of linear support vector machine (SVM) in an artificial neural network architecture. This project is yet another take on the subject, and is inspired by (Tang, 2013). Empirical data has shown that the CNN-SVM model was able to achieve a test accuracy of ~99.04% using the MNIST dataset (LeCun, Cortes, and Burges, 2010). On the other hand, the CNN-Softmax was able to achieve a test accuracy of ~99.23% using the same dataset. Both models were also tested on the recently-published Fashion-MNIST dataset (Xiao, Rasul, and Vollgraf, 2017), which is suppose to be a more difficult image classification dataset than MNIST (Zalandoresearch, 2017). This proved to be the case as CNN-SVM reached a test accuracy of ~90.72%, while the CNN-Softmax reached a test accuracy of ~91.86%. The said results may be improved if data preprocessing techniques were employed on the datasets, and if the base CNN model was a relatively more sophisticated than the one used in this study.


title: Overcoming Endurance Issue: UAV-Enabled Communications with Proactive Caching

abstract: Wireless communication enabled by unmanned aerial vehicles (UAVs) has emerged as an appealing technology for many application scenarios in future wireless systems. However, the limited endurance of UAVs greatly hinders the practical implementation of UAV-enabled communications. To overcome this issue, this paper proposes a novel scheme for UAV-enabled communications by utilizing the promising technique of proactive caching at the users. Specifically, we focus on content-centric communication systems, where a UAV is dispatched to serve a group of ground nodes (GNs) with random and asynchronous requests for files drawn from a given set. With the proposed scheme, at the beginning of each operation period, the UAV pro-actively transmits the files to a subset of selected GNs that cooperatively cache all the files in the set. As a result, when requested, a file can be retrieved by each GN either directly from its local cache or from its nearest neighbor that has cached the file via device-to-device (D2D) communications. It is revealed that there exists a fundamental trade-off between the file caching cost, which is the total time required for the UAV to transmit the files to their designated caching GNs, and the file retrieval cost, which is the average time required for serving one file request. To characterize this trade-off, we formulate an optimization problem to minimize the weighted sum of the two costs, via jointly designing the file caching policy, the UAV trajectory and communication scheduling. As the formulated problem is NP-hard in general, we propose efficient algorithms to find high-quality approximate solutions for it. Numerical results are provided to corroborate our study and show the great potential of proactive caching for overcoming the limited endurance issue in UAV-enabled communications.


title: Spatiotemporal solitary modes in a twisted cylinder waveguide pipe with the self-focusing Kerr nonlinearity

abstract: We study the spatiotemporal solitary modes that propagate in a hollow twisted cylinder waveguide pipe with a self-focusing Kerr nonlinearity. Three generic solitary modes, one belonging to the zero-harmonic (0H) and the other two belonging to the first-harmonic (1H), are found in the first rotational Brillouin zone. The 0H solitary modes can be termed as a quasi-1D (one-dimensional) temporal soliton. Their characteristics depend only on the energy flow. The 1H solitary mode can be termed a quasi-2D (two-dimensional) bullet, whose width is much narrower than the angular domain of the waveguide. In contrast to the 0H mode, the characteristics of the 1H solitary mode depend on both their energy flow and the rotating speed of the waveguide. We demonstrate numerically that the 1H solitary modes are stable when their energy flow is smaller than the threshold norm of the \emph{Townes soliton}. The boundaries of the bistable area for these two types of solitary modes are predicted by the analyses via two-mode approximation. This prediction is in accordance with the numerical findings. We also demonstrate analytically that the 1H solitary mode of this system can be applied to emulate the nonlinear dynamics of solitary modes with 1D Rashba spin-orbit (SO) coupling by optics. Two degenerated states of the 1H solitary mode, semi-dipole and mixed mode, are found from this setting via the mechanism of SO coupling. Collisions between the pair of these two types of solitary modes are also discussed in the paper. The pair of the 0H solitary mode features only the elastic collision, whereas the pair of 1H solitary modes can feature both elastic and inelastic collision when the total energy flow of the two modes are smaller or close to the threshold norm of the \emph{Townes soliton}.


title: Determination of cosmic-ray primary mass on an event-by-event basis using radio detection

abstract: We present a new methodology to discriminate between light and heavy ultra-high energy cosmic-ray primaries on an event-by-event basis using information from the radio detection of extensive air showers at MHz frequencies. Similarly to other methods to determine primary cosmic ray composition, the one presented here is based on comparisons between detected radio signals and Monte Carlo simulations for multiple primary cosmic ray compositions. Unlike other methods that first reconstruct the depth of maximum shower development $X_{\rm max}$ to relate it to the nature of the primaries, we instead infer the cosmic-ray composition directly. The method is most effective in the case of inclined showers that arrive at large zenith angles with respect to the vertical to the ground, where methods based on the determination of $X_{\rm max}$ lose accuracy. We show that a discrimination efficiency between 65% and 80% can be reached for zenith angles $\theta \gtrsim 60^{\circ}$, even when typical uncertainties in radio detection are taken into account, including shower energy uncertainty. Our methodology could in principle be applied in large and sparse radio arrays, designed with the large radio footprint of inclined showers in mind, to significantly increase the statistics of ultra-high energy cosmic-ray composition studies.


title: Angular Momentum of a Bose-Einstein Condensate in a Synthetic Rotational Field

abstract: By applying a position-dependent detuning to a spin-orbit-coupled Hamiltonian with equal Rashba and Dresselhaus coupling, we exploit the behavior of the angular momentum of a harmonically trapped Bose-Einstein condensed atomic gas and discuss the distinctive role of its canonical and spin components. By developing the formalism of spinor hydrodynamics we predict the precession of the dipole oscillation caused by the synthetic rotational field, in analogy with the precession of the Foucault pendulum, the excitation of the scissors mode, following the sudden switching off of the detuning, and the occurrence of Hall-like effects. When the detuning exceeds a critical value we observe a transition from a vortex free, rigidly rotating quantum gas to a gas containing vortices with negative circulation which results in a significant reduction of the total angular momentum.


title: Singularities of Fano varieties of lines on singular cubic fourfolds

abstract: Let $X$ be a cubic fourfold that has only simple singularities and does not contain a plane. We prove that the Fano variety of lines on $X$ has the same analytic type of singularity as the Hilbert scheme of two points on a surface with only ADE-singularities. This is shown as a corollary to the characterization of a singularity that is obtained as a $K3^{[2]}$-type contraction and has a unique symplectic resolution.


title: Inducing Interpretability in Knowledge Graph Embeddings

abstract: We study the problem of inducing interpretability in KG embeddings. Specifically, we explore the Universal Schema (Riedel et al., 2013) and propose a method to induce interpretability. There have been many vector space models proposed for the problem, however, most of these methods don't address the interpretability (semantics) of individual dimensions. In this work, we study this problem and propose a method for inducing interpretability in KG embeddings using entity co-occurrence statistics. The proposed method significantly improves the interpretability, while maintaining comparable performance in other KG tasks.


title: Multi-cell Massive MIMO Beamforming in Assuring QoS for Large Numbers of Users

abstract: Massive multi-input multi-output (MIMO) uses a very large number of low-power transmit antennas to serve much smaller numbers of users. The most widely proposed type of massive MIMO transmit beamforming is zero-forcing, which is based on the right inverse of the overall MIMO channel matrix to force the inter-user interference to zero. The performance of massive MIMO is then analyzed based on the throughput of cell-edge users. This paper reassesses this beamforming philosophy, to instead consider the maximization of the energy efficiency of massive MIMO systems in assuring the quality-of- service (QoS) for as many users as possible. The bottleneck of serving small numbers of users by a large number of transmit antennas is unblocked by a new time-fraction-wise beamforming technique, which focuses signal transmission in fractions of a time slot. Accordingly, massive MIMO can deliver better quality-of-experience (QoE) in assuring QoS for much larger numbers of users. The provided simulations show that the numbers of users served by massive MIMO with the required QoS may be twice or more than the number of its transmit antennas.


title: How proper are Bayesian models in the astronomical literature?

abstract: The well-known Bayes theorem assumes that a posterior distribution is a probability distribution. However, the posterior distribution may no longer be a probability distribution if an improper prior distribution (non-probability measure) such as an unbounded uniform prior is used. Improper priors are often used in the astronomical literature to reflect a lack of prior knowledge, but checking whether the resulting posterior is a probability distribution is sometimes neglected. It turns out that 23 articles out of 75 articles (30.7%) published online in two renowned astronomy journals (ApJ and MNRAS) between Jan 1, 2017 and Oct 15, 2017 make use of Bayesian analyses without rigorously establishing posterior propriety. A disturbing aspect is that a Gibbs-type Markov chain Monte Carlo (MCMC) method can produce a seemingly reasonable posterior sample even when the posterior is not a probability distribution (Hobert and Casella, 1996). In such cases, researchers may erroneously make probabilistic inferences without noticing that the MCMC sample is from a non-existing probability distribution. We review why checking posterior propriety is fundamental in Bayesian analyses, and discuss how to set up scientifically motivated proper priors.


title: Magnetic field gradient driven dynamics of isolated skyrmions and antiskyrmions in frustrated magnets

abstract: The study of skyrmion/antiskyrmion motion in magnetic materials is very important in particular for the spintronics applications. In this work, we study the dynamics of isolated skyrmions and antiskyrmions in frustrated magnets driven by magnetic field gradient, using the Landau-Lifshitz-Gilbert simulations on the frustrated classical Heisenberg model on the triangular lattice. A Hall-like motion induced by the gradient is revealed in bulk system, similar to that in the well-studied chiral magnets. More interestingly, our work suggests that the lateral confinement in nano-stripes of the frustrated system can completely suppress the Hall motion and significantly speed up the motion along the gradient direction. The simulated results are well explained by the Thiele theory. It is demonstrated that the acceleration of the motion is mainly determined by the Gilbert damping constant, which provides useful information for finding potential materials for skyrmion-based spintronics.


title: Nontrivial transition of transmission in a highly open quantum point contact in the quantum Hall regime

abstract: Transmission through a quantum point contact (QPC) in the quantum Hall regime usually exhibits multiple resonances as a function of gate voltage and high nonlinearity in bias. Such behavior is unpredictable and changes sample by sample. Here, we report the observation of a sharp transition of the transmission through an open QPC at finite bias, which was observed consistently for all the tested QPCs. It is found that the bias dependence of the transition can be fitted to the Fermi-Dirac distribution function through universal scaling. The fitted temperature matches quite nicely to the electron temperature measured via shot-noise thermometry. While the origin of the transition is unclear, we propose a phenomenological model based on our experimental results that may help to understand such a sharp transition. Similar transitions are observed in the fractional quantum Hall regime, and it is found that the temperature of the system can be measured by rescaling the quasiparticle energy with the effective charge ($e^*=e/3$). We believe that the observed phenomena can be exploited as a tool for measuring the electron temperature of the system and for studying the quasiparticle charges of the fractional quantum Hall states.


title: On the numerical solution of non-linear first order ordinary differential equation systems

abstract: In this article, firstly we develop a method for a type of difference equations, applicable to solve approximately a class of first order ordinary differential equation systems. In a second step, we apply the results obtained to solve a non-linear two point boundary value problem relating a flight mechanics model. We highlight the algorithm obtained seems to be robust and of easy computational implementation.


title: RNN-based counterfactual prediction, with an application to homestead policy and public schooling

abstract: This paper proposes a method for estimating the effect of a policy intervention on an outcome over time. We train recurrent neural networks (RNNs) on the history of control unit outcomes to learn a useful representation for predicting future outcomes. The learned representation of control units is then applied to the treated units for predicting counterfactual outcomes. RNNs are specifically structured to exploit temporal dependencies in panel data, and are able to learn negative and nonlinear interactions between control unit outcomes. We apply the method to the problem of estimating the long-run impact of U.S. homestead policy on public school spending.


title: Simulation of Quantum Circuits via Stabilizer Frames

abstract: Generic quantum-circuit simulation appears intractable for conventional computers and may be unnecessary because useful quantum circuits exhibit significant structure that can be exploited during simulation. For example, Gottesman and Knill identified an important subclass, called stabilizer circuits, which can be simulated efficiently using group-theory techniques and insights from quantum physics. Realistic circuits enriched with quantum error-correcting codes and fault-tolerant procedures are dominated by stabilizer subcircuits and contain a relatively small number of non-Clifford components. Therefore, we develop new data structures and algorithms that facilitate parallel simulation of such circuits. Stabilizer frames offer more compact storage than previous approaches but require more sophisticated bookkeeping. Our implementation, called Quipu, simulates certain quantum arithmetic circuits (e.g., reversible ripple-carry adders) in polynomial time and space for equal superpositions of $n$-qubits. On such instances, known linear-algebraic simulation techniques, such as the (state-of-the-art) BDD-based simulator QuIDDPro, take exponential time. We simulate quantum Fourier transform and quantum fault-tolerant circuits using Quipu, and the results demonstrate that our stabilizer-based technique empirically outperforms QuIDDPro in all cases. While previous high-performance, structure-aware simulations of quantum circuits were difficult to parallelize, we demonstrate that Quipu can be parallelized with a nontrivial computational speedup.


title: Single Polymer Dynamics for Molecular Rheology

abstract: Single polymer dynamics offers a powerful approach to study molecular-level interactions and dynamic microstructure in materials. Direct visualization of single chain dynamics has uncovered new ideas regarding the rheology and non-equilibrium dynamics of macromolecules, including the importance of molecular individualism, dynamic heterogeneity, and molecular sub-populations that govern macroscale behavior. In recent years, the field of single polymer dynamics has been extended to increasingly complex materials, including architecturally complex polymers such as combs, bottlebrushes, and ring polymers and entangled solutions of long chain polymers in flow. Single molecule visualization, complemented by modeling and simulation techniques such as Brownian dynamics and Monte Carlo methods, allow for unparalleled access to the molecular-scale dynamics of polymeric materials. In this review, recent progress in the field of single polymer dynamics is examined by highlighting major developments and new physics to emerge from these techniques. The molecular properties of DNA as a model polymer are examined, including the role of flexibility, excluded volume interactions, and hydrodynamic interactions in governing behavior. Recent developments in studying polymer dynamics in time-dependent flows, new chemistries and new molecular topologies, and the role of intermolecular interactions in concentrated solutions are considered. Moreover, cutting-edge methods in simulation techniques are further reviewed as an ideal complementary method to single polymer experiments. Future work aimed at extending the field of single polymer dynamics to new materials promises to uncover original and unexpected information regarding the flow dynamics of polymeric systems.


title: Stochastic Answer Networks for Machine Reading Comprehension

abstract: We propose a simple yet robust stochastic answer network (SAN) that simulates multi-step reasoning in machine reading comprehension. Compared to previous work such as ReasoNet which used reinforcement learning to determine the number of steps, the unique feature is the use of a kind of stochastic prediction dropout on the answer module (final layer) of the neural network during the training. We show that this simple trick improves robustness and achieves results competitive to the state-of-the-art on the Stanford Question Answering Dataset (SQuAD), the Adversarial SQuAD, and the Microsoft MAchine Reading COmprehension Dataset (MS MARCO).


title: Entanglement hamiltonian and entanglement contour in inhomogeneous 1D critical systems

abstract: Inhomogeneous quantum critical systems in one spatial dimension have been studied by using conformal field theory in static curved backgrounds. Two interesting examples are the free fermion gas in the harmonic trap and the inhomogeneous XX spin chain called rainbow chain. For conformal field theories defined on static curved spacetimes characterised by a metric which is Weyl equivalent to the flat metric, with the Weyl factor depending only on the spatial coordinate, we study the entanglement hamiltonian and the entanglement spectrum of an interval adjacent to the boundary of a segment where the same boundary condition is imposed at the endpoints. A contour function for the entanglement entropies corresponding to this configuration is also considered, being closely related to the entanglement hamiltonian. The analytic expressions obtained by considering the curved spacetime which characterises the rainbow model have been checked against numerical data for the rainbow chain, finding an excellent agreement.


title: On the rationality of the singularities of the $A_2$-loci

abstract: The rationality of the singularities of the $A_n$-loci is the natural question that arises in the papers devoted to the study of the Thom polynomials and $K$-theoretic invariants of the said loci. In this paper we prove that, in general, the $A_2$-loci have singularities worse than rational, and therefore they can not be presented as a GIT quotient of a smooth variety with respect to a reductive group.


title: Spin-chain model of a many-body quantum battery

abstract: Recently, it has been shown that energy can be deposited on a collection of quantum systems at a rate that scales super-extensively. Some of these schemes for `quantum batteries' rely on the use of global many-body interactions that take the batteries through a correlated short cut in state space. Here, we extend the notion of a quantum battery from a collection of a priori isolated systems to a many-body quantum system with intrinsic interactions. Specifically, we consider a one-dimensional spin chain with physically realistic two-body interactions. We find that the spin-spin interactions can yield an advantage in charging power over the non-interacting case, and we demonstrate that this advantage can grow super-extensively when the interactions are long ranged. However, we show that, unlike in previous work, this advantage is a mean-field interaction effect that does not involve correlations and that relies on the interactions being intrinsic to the battery.


title: A novel algorithm for online inexact string matching and its FPGA implementation

abstract: Accelerating inexact string matching procedures is of utmost importance when dealing with practical applications where huge amount of data must be processed in real time, as usual in bioinformatics or cybersecurity. Inexact matching procedures can yield multiple shadow hits, which must be filtered, according to some criterion, to obtain a concise and meaningful list of occurrences. The filtering procedures are often computationally demanding and are performed offline in a post-processing phase. This paper introduces a novel algorithm for Online Approximate String Matching (OASM) able to filter shadow hits on the fly, according to general purpose priority rules that greedily assign priorities to overlapping hits. An FPGA hardware implementation of OASM is proposed and compared with a serial software version. Even when implemented on entry level FPGAs, the proposed procedure can reach a high degree of parallelism and superior performance in time compared to the software implementation, while keeping low the usage of logic elements. This makes the developed architecture very competitive in terms of both performance and cost of the overall computing system.


title: Split Regularized Regression

abstract: We propose an approach for fitting linear regression models that splits the set of covariates into groups. The optimal split of the variables into groups and the regularized estimation of the regression coefficients are performed by minimizing an objective function that encourages sparsity within each group and diversity among them. The estimated coefficients are then pooled together to form the final fit. Our procedure works on top of a given penalized linear regression estimator (e.g., Lasso, elastic net) by fitting it to possibly overlapping groups of features, encouraging diversity among these groups to reduce the correlation of the corresponding predictions. For the case of two groups, elastic net penalty and orthogonal predictors, we give a closed form solution for the regression coefficients in each group. We establish the consistency of our method with the number of predictors possibly increasing with the sample size. An extensive simulation study and real-data applications show that in general the proposed method improves the prediction accuracy of the base estimator used in the procedure. Possible extensions to GLMs and other models are discussed. The supplemental material for this article, available online, contains the proofs of our theoretical results and the full results of our simulation study.


title: Electrodynamical forbiddance of a strong quadrupole light-molecule interaction in fullerene C60 and its withdrawal in fullerene C70

abstract: It is demonstrated that in fullerene C70 which can be considered as a deformed fullerene C60 in some sense there is a withdrawal of an electrodynamical forbiddance of a strong quadrupole light-molecule interaction which is realized in the fullerene C60. This situation occurs because of the reduction of symmetry of C60 from the icosahedral symmetry group Yh to the group D5h. The withdrawal results in appearance of the lines in the SERS spectra of C70 which are forbidden in usual Raman scattering and are allowed in infrared absorption while such lines are forbidden in the SERS spectrum of the fullerene C60 due to the electrodynamical forbiddance. The measured SERS spectra of C70 demonstrates existence of such lines that strongly confirms our ideas about the dipole quadrupole SERS mechanism.


title: DGCNN: Disordered Graph Convolutional Neural Network Based on the Gaussian Mixture Model

abstract: Convolutional neural networks (CNNs) can be applied to graph similarity matching, in which case they are called graph CNNs. Graph CNNs are attracting increasing attention due to their effectiveness and efficiency. However, the existing convolution approaches focus only on regular data forms and require the transfer of the graph or key node neighborhoods of the graph into the same fixed form. During this transfer process, structural information of the graph can be lost, and some redundant information can be incorporated. To overcome this problem, we propose the disordered graph convolutional neural network (DGCNN) based on the mixed Gaussian model, which extends the CNN by adding a preprocessing layer called the disordered graph convolutional layer (DGCL). The DGCL uses a mixed Gaussian function to realize the mapping between the convolution kernel and the nodes in the neighborhood of the graph. The output of the DGCL is the input of the CNN. We further implement a backward-propagation optimization process of the convolutional layer by which we incorporate the feature-learning model of the irregular node neighborhood structure into the network. Thereafter, the optimization of the convolution kernel becomes part of the neural network learning process. The DGCNN can accept arbitrary scaled and disordered neighborhood graph structures as the receptive fields of CNNs, which reduces information loss during graph transformation. Finally, we perform experiments on multiple standard graph datasets. The results show that the proposed method outperforms the state-of-the-art methods in graph classification and retrieval.


title: Limit theorems for multivariate Brownian semistationary processes and feasible results

abstract: In this paper we introduce the \textit{multivariate} Brownian semistationary (BSS) processes and study the joint asymptotic behaviour of its realised covariation using in-fill asymptotics. First, we present a central limit theorem for general stationary multivariate Gaussian processes, which are not necessarily semimartingales. Then, we show weak laws of large numbers, central limit theorems and feasible results for BSS processes. An explicit example based on the so-called gamma kernels is also provided.


title: Optimal Energy Consumption with Communication, Computation, Caching and QoI-Guarantee

abstract: Energy efficiency is a fundamental requirement of modern data communication systems, and its importance is reflected in much recent work on performance analysis of system energy consumption. However, most works have only focused on communication and computation costs, but do not account for caching costs. Given the increasing interest in cache networks, this is a serious deficiency. {In this paper, we consider the problem of energy consumption in data communication, compression and caching (C$3$) with a Quality of Information (QoI) guarantee in a communication network. {Our goal is to identify the optimal data compression rate and data placement over the network to minimize the overall energy consumption in the network.} he formulated problem is a \emph{Mixed Integer Non-Linear Programming} (MINLP) problem with non-convex functions, which is NP-hard in general. } {We} propose a variant of spatial branch and bound algorithm (V-SBB), that can {provide} the $\epsilon$-global optimal solution to {our problem}. {We numerically show that our C3 optimization framework can improve the energy efficiency up to 88\% compared to any C2 optimization between communication and computation or caching. Furthermore, for our energy consumption problem, V-SBB {provides comparatively better solution than some other MINLP solvers.}}


title: Enhancing Binomial and Trinomial Equity Option Pricing Models

abstract: We extend the classical Cox-Ross-Rubinstein binomial model in two ways. We first develop a binomial model with time-dependent parameters that equate all moments of the pricing tree increments with the corresponding moments of the increments of the limiting It\^o price process. Second, we introduce a new trinomial model in the natural (historical) world, again fitting all moments of the pricing tree increments to the corresponding geometric Brownian motion. We introduce the risk-neutral trinomial tree and derive a hedging strategy based on an additional perpetual derivative used as a second asset for hedging in any node of the trinomial pricing tree.


title: Why does the thermal model for hadron production in heavy ion collisions work?

abstract: The yields for hadrons and even light nuclei measured at midrapidity in relativistic heavy ion collisions are found to be dictated exclusively by their thermal Boltzmann factor for a common temperature of approximately 155 MeV. The reason for the validity of the thermal model description is widely discussed. Here, we offer a new type of argument in its favor.


title: On a Detail in Hales's "Dense Sphere Packings: A Blueprint for Formal Proofs"

abstract: In "Dense Sphere Packings: A Blueprint for Formal Proofs" Hales proves that for every packing of unit spheres, the density in a ball of radius $r$ is at most $\pi/\sqrt{18}+c/r$ for some constant $c$. When $r$ tends to infinity, this gives a proof to the famous Kepler conjecture. As formulated by Hales, $c$ depends on the packing. We follow the proofs of Hales to calculate a constant $c'$ independent of the sphere packing that exists as mentioned in "A Formal Proof of the Kepler Conjecture" by Hales et al..


title: The organization of a three-manual keyboard for 53-tone tempered and other tempered systems

abstract: The aim is to explore new opportunities of the pitch organization of the musical scale. Specifically, a numerical comparison of the different musical temperaments among themselves in the degree of approximation of the Pythagorean scale is provided, and thus it numerically substantiates the thesis that the 53-tone tempered system is the most advanced among possible others. We present numerical data on the approximation of overtones from first twenty by steps of the 53-tone temperament. Here were proposed some schemes of the three-manual keyboard for the implementation of 53-tone temperament, which are also implemented at the same time for 12 -, 17 -, 24 -, 29 - and 41-sounding system. If there are technical means then these schemes can be used to play music in any temperaments, based on said number of steps.


title: Visible evidence to magnetism of graphene oxide

abstract: Graphene oxide continues to amaze scientific community for multiple potentials in a broad span of applications such as catalysts, adsorbents, oxidants, etc., determined by constant unveiling of its fantastic natures. Of them, magnetism is not ultimately identified and directly observed by naked eyes. Herein, we report graphene oxide directionally migrated and deposited together simply under external magnetic field from common Nd-Fe-B magnet, whereas the ferromagnetism of graphene oxide did not exhibit that strong as iron. Therefore, we illustrated this interesting pathway to keep close to such 2D carbon materials and potentially promoted magnetic-oriented applications.


title: Polynomial birth--death processes and the second conjecture of Valent

abstract: The conjecture of Valent about the type of Jacobi matrices with polynomially growing weights is proved.


title: Asymptotic results on Hoppe trees and its variations

abstract: A uniform recursive tree on $n$ vertices is a random tree where each possible $(n-1)!$ labeled recursive rooted tree is selected with equal probability. In this paper we introduce and study weighted trees, a non-uniform recursive tree model departing from the recently introduced Hoppe trees. This class generalizes both uniform recursive trees and Hoppe trees. The generalization provides diversity among the nodes, making the model more flexible for applications. We also analyze the number of leaves, the height, the depth, the number of branches, and the size of the largest branch in these weighted trees.


title: Towards a quantum Lefschetz hyperplane theorem in all genera

abstract: An effective algorithm of determining Gromov--Witten invariants of smooth hypersurfaces in any genus (subject to a degree bound) from Gromov--Witten invariants of the ambient space is proposed. The Appendix is joint with E. Schulte-Geers.


title: Static/Dynamic Filtering for Mesh Geometry

abstract: The joint bilateral filter, which enables feature-preserving signal smoothing according to the structural information from a guidance, has been applied for various tasks in geometry processing. Existing methods either rely on a static guidance that may be inconsistent with the input and lead to unsatisfactory results, or a dynamic guidance that is automatically updated but sensitive to noises and outliers. Inspired by recent advances in image filtering, we propose a new geometry filtering technique called static/dynamic filter, which utilizes both static and dynamic guidances to achieve state-of-the-art results. The proposed filter is based on a nonlinear optimization that enforces smoothness of the signal while preserving variations that correspond to features of certain scales. We develop an efficient iterative solver for the problem, which unifies existing filters that are based on static or dynamic guidances. The filter can be applied to mesh face normals followed by vertex position update, to achieve scale-aware and feature-preserving filtering of mesh geometry. It also works well for other types of signals defined on mesh surfaces, such as texture colors. Extensive experimental results demonstrate the effectiveness of the proposed filter for various geometry processing applications such as mesh denoising, geometry feature enhancement, and texture color filtering.


title: Hong-Ou-Mandel effect in terms of the temporal biphoton wave function with two arrival-time variables

abstract: The well-known Hong-Ou-Mandel effect is revisited. Two physical reasons are discussed for the effect to be less pronounced or even to disappear: differing polarizations of photons coming to the beamsplitter and delay time of photons in one of two channels. For the latter we use the concepts of biphoton frequency and temporal wave functions depending, correspondingly, on two frequency continuous variables of photons and on two time variables $t_1$ and $t_2$ interpreted as the arrival times of photons to the beamsplitter. Explicit expressions are found for the probability densities and total probabilities for photon pairs to be split between two channels after the beamsplitter and to be unsplit, when two photons appear together in one of two channels.


title: On differential operators for bivariate Chebyshev polynomials

abstract: We construct the differential operators for which bivariate Chebyshev polynomials of the first kind, associated with simple Lie algebras $C_2$ and $G_2$, are eigenfunctions.


title: "Active-set complexity" of proximal gradient: How long does it take to find the sparsity pattern?

abstract: Proximal gradient methods have been found to be highly effective for solving minimization problems with non-negative constraints or L1-regularization. Under suitable nondegeneracy conditions, it is known that these algorithms identify the optimal sparsity pattern for these types of problems in a finite number of iterations. However, it is not known how many iterations this may take. We introduce the notion of the "active-set complexity", which in these cases is the number of iterations before an algorithm is guaranteed to have identified the final sparsity pattern. We further give a bound on the active-set complexity of proximal gradient methods in the common case of minimizing the sum of a strongly-convex smooth function and a separable convex non-smooth function.


title: Steering the distribution of agents in mean-field and cooperative games

abstract: The purpose of this work is to pose and solve the problem to guide a collection of weakly interacting dynamical systems (agents, particles, etc.) to a specified terminal distribution. The framework is that of mean-field and of cooperative games. A terminal cost is used to accomplish the task; we establish that the map between terminal costs and terminal probability distributions is onto. Our approach relies on and extends the theory of optimal mass transport and its generalizations.


title: Prodorshok I: A Bengali Isolated Speech Dataset for Voice-Based Assistive Technologies - A comparative analysis of the effects of data augmentation on HMM-GMM and DNN classifiers

abstract: Prodorshok I is a Bengali isolated word dataset tailored to help create speaker-independent, voice-command driven automated speech recognition (ASR) based assistive technologies to help improve human-computer interaction (HCI). This paper presents the results of an objective analysis that was undertaken using a subset of words from Prodorshok I to assess its reliability in ASR systems that utilize Hidden Markov Models (HMM) with Gaussian emissions and Deep Neural Networks (DNN). The results show that simple data augmentation involving a small pitch shift can make surprisingly tangible improvements to accuracy levels in speech recognition.


title: Mid infrared two-photon absorption in a room-temperature extended-wavelength InGaAs photodetector

abstract: We investigate the nonlinear optical response of a commercial extended-wavelength In$_{0.81}$Ga$_{0.19}$As photodetector. Degenerate two-photon absorption in the mid-infrared range is observed at room temperature using a quantum cascade laser emitting at $\lambda=4.5~\mu$m as the excitation source. From the measured two-photon photocurrent signal we extract a two-photon absorption coefficient $\beta^{(2)} = 0.6 \pm 0.2$ cm/MW, in agreement with the theoretical value obtained from the $E_g^{-3}$ scaling law. Considering the wide spectral range covered by extended-wavelength In$_x$Ga$_{1-x}$As alloys, this result holds promise for new applications based on two-photon absorption for this family of materials at wavelengths between 1.8 and 5.6 $\mu$m.


title: Non-critical anisotropic Bianchi type $I$ string cosmology with $\alpha'$-corrections

abstract: We present non-critical Bianchi type $I$ string cosmology solutions in the presence of central charge deficit term $\Lambda$. The leading order string frame curvature appears to be in the high curvature limit $R\alpha'\gtrsim1$, which underlines the necessity of including higher order $\alpha'$-corrections. We give new solutions of two-loop (order $\alpha'$) $\beta$-function equations of $\sigma$-model with non-zero $\Lambda$ and dilaton field in both cases of absence and presence of spatially homogeneous $H$-field ($H=dB$). Also, the evolution of solutions is studied in the Einstein frame, where the string effective action can transform to Gauss-Bonnet gravity model coupled to the dilaton field with potential. We study explicit examples in order $\alpha'$ with chosen values of appeared constants in the solutions and discuss the cosmological implications.


title: On a problem of Hopf for circle bundles over aspherical manifolds with hyperbolic fundamental groups

abstract: We prove that a circle bundle over a closed oriented aspherical manifold with hyperbolic fundamental group admits a self-map of absolute degree greater than one if and only if it is virtually trivial. This generalizes in every dimension the case of circle bundles over hyperbolic surfaces, for which the result was known by the work of Brooks and Goldman on the Seifert volume. As a consequence, we verify the following strong version of a problem of Hopf for the above class of manifolds: Every self-map of non-zero degree of a circle bundle over a closed oriented aspherical manifold with hyperbolic fundamental group is either homotopic to a homeomorphism or homotopic to a non-trivial covering and the bundle is virtually trivial. As another application, we derive the first examples of non-vanishing numerical invariants that are monotone with respect to the mapping degree on non-trivial circle bundles over aspherical manifolds with hyperbolic fundamental groups in any dimension.


title: A Ky Fan minimax inequality for quasiequilibria on finite dimensional spaces

abstract: Several results concerning existence of solutions of a quasiequilibrium problem defined on a finite dimensional space are established. The proof of the first result is based on a Michael selection theorem for lower semicontinuous set-valued maps which holds in finite dimensional spaces. Furthermore this result allows one to locate the position of a solution. Sufficient conditions, which are easier to verify, may be obtained by imposing restrictions either on the domain or on the bifunction. These facts make it possible to yield various existence results which reduce to the well known Ky Fan minimax inequality when the constraint map is constant and the quasiequilibrium problem coincides with an equilibrium problem. Lastly, a comparison with other results from the literature is discussed.


title: Regulus observed with VLTI/AMBER

abstract: The rapidly rotating primary component of Regulus A system has been observed, for the first time, using the technique of differential interferometry at high spectral resolution. The observations have been performed across the Br$_\gamma$ spectral line with the VLTI/AMBER focal instrument in high spectral resolution mode (R $\approx$ 12000) at $\approx$ 80-130m (projected on the sky) Auxiliary Telescopes triplet baseline configurations. We confirm, within the uncertainties, the results previously obtained using the techniques of classical long-baseline interferometry, although the question of anomalous gravity darkening remains open for the future study.


title: SneakPeek: Interest Mining of Images based on User Interaction

abstract: Nowadays, eye tracking is the most used technology to detect areas of interest. This kind of technology requires specialized equipment recording user's eyes. In this paper, we propose SneakPeek, a different approach to detect areas of interest on images displayed in web pages based on the zooming and panning actions of the users through the image. We have validated our proposed solution with a group of test subjects that have performed a test in our on-line prototype. Being this the first iteration of the algorithm, we have found both good and bad results, depending on the type of image. In specific, SneakPeek works best with medium/big objects in medium/big sized images. The reason behind it is the limitation on detection when smartphone screens keep getting bigger and bigger. SneakPeek can be adapted to any website by simply adapting the controller interface for the specific case.


title: Fairness in Machine Learning: Lessons from Political Philosophy

abstract: What does it mean for a machine learning model to be `fair', in terms which can be operationalised? Should fairness consist of ensuring everyone has an equal probability of obtaining some benefit, or should we aim instead to minimise the harms to the least advantaged? Can the relevant ideal be determined by reference to some alternative state of affairs in which a particular social pattern of discrimination does not exist? Various definitions proposed in recent literature make different assumptions about what terms like discrimination and fairness mean and how they can be defined in mathematical terms. Questions of discrimination, egalitarianism and justice are of significant interest to moral and political philosophers, who have expended significant efforts in formalising and defending these central concepts. It is therefore unsurprising that attempts to formalise `fairness' in machine learning contain echoes of these old philosophical debates. This paper draws on existing work in moral and political philosophy in order to elucidate emerging debates about fair machine learning.