title: Clustering-Based Quantisation for PDE-Based Image Compression

abstract: Finding optimal data for inpainting is a key problem in the context of partial differential equation based image compression. The data that yields the most accurate reconstruction is real-valued. Thus, quantisation models are mandatory to allow an efficient encoding. These can also be understood as challenging data clustering problems. Although clustering approaches are well suited for this kind of compression codecs, very few works actually consider them. Each pixel has a global impact on the reconstruction and optimal data locations are strongly correlated with their corresponding colour values. These facts make it hard to predict which feature works best. In this paper we discuss quantisation strategies based on popular methods such as k-means. We are lead to the central question which kind of feature vectors are best suited for image compression. To this end we consider choices such as the pixel values, the histogram or the colour map. Our findings show that the number of colours can be reduced significantly without impacting the reconstruction quality. Surprisingly, these benefits do not directly translate to a good image compression performance. The gains in the compression ratio are lost due to increased storage costs. This suggests that it is integral to evaluate the clustering on both, the reconstruction error and the final file size.


title: Frank-Wolfe Optimization for Symmetric-NMF under Simplicial Constraint

abstract: Symmetric nonnegative matrix factorization has found abundant applications in various domains by providing a symmetric low-rank decomposition of nonnegative matrices. In this paper we propose a Frank-Wolfe (FW) solver to optimize the symmetric nonnegative matrix factorization problem under a simplicial constraint, which has recently been proposed for probabilistic clustering. Compared with existing solutions, this algorithm is simple to implement, and has no hyperparameters to be tuned. Building on the recent advances of FW algorithms in nonconvex optimization, we prove an $O(1/\varepsilon^2)$ convergence rate to $\varepsilon$-approximate KKT points, via a tight bound $\Theta(n^2)$ on the curvature constant, which matches the best known result in unconstrained nonconvex setting using gradient methods. Numerical results demonstrate the effectiveness of our algorithm. As a side contribution, we construct a simple nonsmooth convex problem where the FW algorithm fails to converge to the optimum. This result raises an interesting question about necessary conditions of the success of the FW algorithm on convex problems.


title: How Expanded Ionospheres of Hot Jupiters Can Prevent Escape of Radio Emission Generated by the Cyclotron Maser Instability

abstract: We present a study of plasma conditions in the atmospheres of the Hot Jupiters HD 209458b and HD 189733b and for an HD 209458b-like planet at orbit locations between 0.2-1 AU around a Sun-like star. We discuss how these conditions influence the radio emission we expect from their magnetospheres. We find that the environmental conditions are such that the cyclotron maser instability (CMI), the process responsible for the generation of radio waves at magnetic planets in the solar system, most likely will not operate at Hot Jupiters. Hydrodynamically expanding atmospheres possess extended ionospheres whose plasma densities within the magnetosphere are so large that the plasma frequency is much higher than the cyclotron frequency, which contradicts the condition for the production of radio emission and prevents the escape of radio waves from close-in exoplanets at distances <0.05 AU from a Sun-like host star. The upper atmosphere structure of gas giants around stars similar to the Sun changes between 0.2 and 0.5 AU from the hydrodynamic to a hydrostatic regime and this results in conditions similar to solar system planets with a region of depleted plasma between the exobase and the magnetopause where the plasma frequency can be lower than the cyclotron frequency. In such an environment, a beam of highly energetic electrons accelerated along the field lines towards the planet can produce radio emission. However, even if the CMI could operate the extended ionospheres of Hot Jupiters are too dense to let the radio emission escape from the planets.


title: Dimer-Monomer Ground State for Extended Spin-1/2 Diamond Chain

abstract: We present a condition in which the dimer-monomer state is exactly the ground state of an extended diamond chain with spin magnitude 1/2. The Hamiltonian of the extended diamond chain includes next-nearest-neighbor exchange interactions and distortions, where the spin magnitude of the spin pair on a singlet dimer is not generally conserved. The method of deriving the condition is based on representing the Hamiltonian in a complete square form. The dimer-monomer ground state is found even if the Hamiltonian has no space-reflection symmetries.


title: Testing for Change in Stochastic Volatility with Long Range Dependence

abstract: In this paper, change-point problems for long memory stochastic volatility models are considered. A general testing problem which includes various alternative hypotheses is discussed. Under the hypothesis of stationarity the limiting behavior of CUSUM- and Wilcoxon-type test statistics is derived. In this context, a limit theorem for the two-parameter empirical process of long memory stochastic volatility time series is proved. In particular, it is shown that the asymptotic distribution of CUSUM test statistics may not be affected by long memory, unlike Wilcoxon test statistics which are typically influenced by long range dependence. To avoid the estimation of nuisance parameters in applications, the usage of self-normalized test statistics is proposed. The theoretical results are accompanied by simulation studies which characterize the finite sample behavior of the considered testing procedures when testing for changes in mean, in variance, and in the tail index.


title: New quantum effects in relativistic magnetohydrodynamics

abstract: Chiral anomaly induces a new kind of macroscopic quantum behavior in relativistic magnetohydrodynamics, including the chiral magnetic effect. In this talk we present two new quantum effects present in fluids that contain charged chiral fermions: 1) the turbulent inverse cascade driven by the chiral anomaly; 2) quantized chiral magnetic current induced by the reconnections of magnetic flux. We also discuss the implications for the evolution of the quark-gluon plasma produced in heavy ion collisions.


title: Instanton bundles on the flag variety F(0,1,2)

abstract: Instanton bundles on $\mathbb{P}^3$ have been at the core of the research in Algebraic Geometry during the last thirty years. Motivated by the recent extension of their definition to other Fano threefolds of Picard number one, we develop the theory of instanton bundles on the complete flag variety $F:=F(0,1,2)$ of point-lines on $\mathbb{P}^2$. After giving for them two different monadic presentations, we use it to show that the moduli space $MI_F(k)$ of instanton bundles of charge $k$ is a geometric GIT quotient and the open subspace $MI^s_F(k)\subset MI_F(k)$ of stable instanton bundles has a generically smooth component of dim $8k-3$. Finally we study their locus of jumping conics.


title: Consistency of the plug-in functional predictor of the Ornstein-Uhlenbeck process in Hilbert and Banach spaces

abstract: New results on functional prediction of the Ornstein-Uhlenbeck process in an autoregressive Hilbert-valued and Banach-valued frameworks are derived. Specifically, consistency of the maximum likelihood estimator of the autocorrelation operator, and of the associated plug-in predictor is obtained in both frameworks.


title: Complex Correlation Approach for High Frequency Financial Data

abstract: We propose a novel approach that allows to calculate Hilbert transform based complex correlation for unevenly spaced data. This method is especially suitable for high frequency trading data, which are of a particular interest in finance. Its most important feature is the ability to take into account lead-lag relations on different scales, without knowing them in advance. We also present results obtained with this approach while working on Tokyo Stock Exchange intraday quotations. We show that individual sectors and subsectors tend to form important market components which may follow each other with small but significant delays. These components may be recognized by analysing eigenvectors of complex correlation matrix for Nikkei 225 stocks. Interestingly, sectorial components are also found in eigenvectors corresponding to the bulk eigenvalues, traditionally treated as noise.


title: Study of implosion in an attractive Bose-Einstein condensate

abstract: By solving the Gross-Pitaevskii equation analytically and numerically, we reexamine the implosion phenomena that occur beyond the critical value of the number of atoms of an attractive Bose-Einstein condensate (BEC) with cigar-shape trapping geometry. We theoretically calculate the critical number of atoms in the condensate by using Ritz's variational optimization technique and investigate the stability and collapse dynamics of the attractive BEC by numerically solving the time dependent Gross-Pitavskii equation.


title: Harmonic Approximation of Difference Operators

abstract: For a general class of difference operators $H_\varepsilon = T_\varepsilon + V_\varepsilon$ on $\ell^2(\varepsilon\mathbb{Z}^d)$, where $V_\varepsilon$ is a multi-well potential and $\varepsilon$ is a small parameter, we analyze the asymptotic behavior as $\varepsilon\to 0$ of the (low-lying) eigenvalues and eigenfunctions. We show that the first $n$ eigenvalues of $H_\varepsilon$ converge to the first $n$ eigenvalues of the direct sum of harmonic oscillators on $\mathbb{R}^d$ located at the several wells. Our proof is microlocal.


title: On the Representation of Involutive Jamesian Functions

abstract: Involutive Jamesian Functions are functions aimed to predict the outcome of an athletic competition. They were introduced in 1981 by Bill James, but until recently little was known regarding their form. Using methods from quasigroup theory we are able to obtain a complete description of them.


title: Recovering Markov Models from Closed-Loop Data

abstract: Situations in which recommender systems are used to augument decision making are becoming prevalent in many application domains. Almost always, these prediction tools (recommenders) are created with a view to affecting behavioural change. Clearly, successful applications actuating behavioural change, affect the original model underpinning the predictor, leading to an inconsistency. This feedback loop is often not considered in standard so-called Big Data learning techniques which rely upon machine learning/statistical learning machinery. The objective of this paper is to develop tools that recover unbiased user models in the presence of recommenders. More specifically, we assume that we observe a time series which is a trajectory of a Markov chain ${R}$ modulated by another Markov chain ${S}$, i.e. the transition matrix of ${R}$ is unknown and depends on the current state of ${S}$. The transition matrix of the latter is also unknown. In other words, at each time instant, ${S}$ selects a transition matrix for ${R}$ within a given set which consists of known and unknown matrices. The state of ${S}$, in turn, depends on the current state of ${R}$ thus introducing a feedback loop. We propose an Expectation-Maximization (EM) type algorithm, which estimates the transition matrices of ${S}$ and ${R}$. Experimental results are given to demonstrate the efficacy of the approach.


title: Shellability of posets of labeled partitions and arrangements defined by root systems

abstract: We prove that the posets of connected components of intersections of toric and elliptic arrangements defined by root systems are EL-shellable and we compute their homotopy type. Our method rests on Bibby's description of such posets by means of "labeled partitions": after giving an EL-labeling and counting homology chains for general posets of labeled partitions, we obtain the stated results by considering the appropriate subposets.


title: Relativistic Collisions as Yang-Baxter maps

abstract: We prove that one-dimensional elastic relativistic collisions satisfy the set-theoretical Yang-Baxter equation. The corresponding collision maps are symplectic and admit a Lax representation. Furthermore, they can be considered as reductions of a higher dimensional integrable Yang-Baxter map on an invariant manifold. In this framework, we study the integrability of transfer maps that represent particular periodic sequences of collisions.


title: Spatially resolved Fe K spectroscopy of NGC 4945

abstract: We present the imaging and spectroscopic analysis of the combined Chandra ACIS-S observations of the Compton-thick Seyfert 2 galaxy NGC 4945. We performed a spatially-resolved spectroscopy of the circumnuclear environment of the source, picturing the innermost 200 parsecs around the highly absorbed nucleus. The additional 200 ks ACIS-S data with respect to the previous campaign allowed us to map with even greater detail the central structure of this source and to discover an enhanced iron emission in the innermost nuclear region, with respect to the associated Compton reflection continuum. We revealed that the Equivalent Width of the iron K$\alpha$ line is spatially variable (ranging from 0.5 to 3 keV), on scales of tens of parsecs, likely due to the ionization state and orientation effects of the reprocessing material, with respect to the central X-ray illuminating source. A clump of highly ionized Fe XXV He-$\alpha$ is also detected, 40 parsecs east to the nucleus. When observations taken years apart are considered, the central unresolved reflected emission is found to remain constant.


title: Improving text classification with vectors of reduced precision

abstract: This paper presents the analysis of the impact of a floating-point number precision reduction on the quality of text classification. The precision reduction of the vectors representing the data (e.g. TF-IDF representation in our case) allows for a decrease of computing time and memory footprint on dedicated hardware platforms. The impact of precision reduction on the classification quality was performed on 5 corpora, using 4 different classifiers. Also, dimensionality reduction was taken into account. Results indicate that the precision reduction improves classification accuracy for most cases (up to 25% of error reduction). In general, the reduction from 64 to 4 bits gives the best scores and ensures that the results will not be worse than with the full floating-point representation.


title: Lattice Codes for Physical Layer Communications

abstract: Lattices are deceptively simple mathematical structures that have become indispensable for code design for physical layer communications. While lattice-related problems are interesting in their own right, the usefulness of these discrete structures in wireless communications provides additional motivation for their study and enables a multidisciplinary line of research. This thesis is devoted to the study of lattice code design for physical layer communications. Modern wireless communication networks are required to accommodate significantly varied types of mobile devices, differing in available computational power or number of equipped antennas. Additionally, the density of the networks increases rapidly, and many communication protocols diverge from the classical direct point-to-point transmission in favor of allowing for intermediate relays to process and forward data. An important consequence of this shift towards more sophisticated transmission protocols is that traditional well-performing codes become futile for modern communications, thus the study and development of novel codes is called for. Yet, however involved a transmission protocol may be, the characteristics of the physical medium, i.e., the wireless channel, stay unaffected. It is thus natural that an underlying lattice structure for code design remains crucial. This thesis consists of several articles considering lattice code design for four different communication settings relevant in modern wireless communications.


title: Control by time delayed feedback near a Hopf bifurcation point

abstract: In this paper we study the stabilization of rotating waves using time delayed feedback control. It is our aim to put some recent results in a broader context by discussing two different methods to determine the stability of the target periodic orbit in the controlled system: 1) by directly studying the Floquet multipliers and 2) by use of the Hopf bifurcation theorem. We also propose an extension of the Pyragas control scheme for which the controlled system becomes a functional differential equation of neutral type. Using the observation that we are able to determine the direction of bifurcation by a relatively simple calculation of the root tendency, we find stability conditions for the periodic orbit as a solution of the neutral type equation.


title: A Thorough Formalization of Conceptual Spaces

abstract: The highly influential framework of conceptual spaces provides a geometric way of representing knowledge. Instances are represented by points in a high-dimensional space and concepts are represented by convex regions in this space. After pointing out a problem with the convexity requirement, we propose a formalization of conceptual spaces based on fuzzy star-shaped sets. Our formalization uses a parametric definition of concepts and extends the original framework by adding means to represent correlations between different domains in a geometric way. Moreover, we define computationally efficient operations on concepts (intersection, union, and projection onto a subspace) and show that these operations can support both learning and reasoning processes.


title: Anticipating stochastic equation of two-dimensional second grade fluids

abstract: In this paper, we consider a stochastic model of incompressible second grade fluids on a bounded domain of R^2 driven by linear multiplicative Brownian noise with anticipating initial conditions. The existence and uniqueness of the solutions are established.


title: FA*IR: A Fair Top-k Ranking Algorithm

abstract: In this work, we define and solve the Fair Top-k Ranking problem, in which we want to determine a subset of k candidates from a large pool of n >> k candidates, maximizing utility (i.e., select the "best" candidates) subject to group fairness criteria. Our ranked group fairness definition extends group fairness using the standard notion of protected groups and is based on ensuring that the proportion of protected candidates in every prefix of the top-k ranking remains statistically above or indistinguishable from a given minimum. Utility is operationalized in two ways: (i) every candidate included in the top-$k$ should be more qualified than every candidate not included; and (ii) for every pair of candidates in the top-k, the more qualified candidate should be ranked above. An efficient algorithm is presented for producing the Fair Top-k Ranking, and tested experimentally on existing datasets as well as new datasets released with this paper, showing that our approach yields small distortions with respect to rankings that maximize utility without considering fairness criteria. To the best of our knowledge, this is the first algorithm grounded in statistical tests that can mitigate biases in the representation of an under-represented group along a ranked list.


title: Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study

abstract: The use of embedded software is advancing in modern medical devices, so does its capabilities and complexity. This paradigm shift brings many challenges such as an increased rate of medical device failures due to software faults. In this letter, we present a rigorous correct by construction approach for the trustworthy development of hemodialysis machines, a sub-class of active medical devices. We show how informal requirements of hemodialysis machines are modeled and analyzed through a rigorous process and suggest a generalization to a larger class of active medical devices.


title: Magnetization process and low-temperature thermodynamics of a spin-1/2 Heisenberg octahedral chain

abstract: Low-temperature magnetization curves and thermodynamics of a spin-1/2 Heisenberg octahedral chain with the intraplaquette and monomer-plaquette interactions are examined within a two-component lattice-gas model of hard-core monomers, which takes into account all low-lying energy modes in a highly frustrated parameter space involving the monomer-tetramer, localized many-magnon and fully polarized ground states. It is shown that the developed lattice-gas model satisfactorily describes all pronounced features of the low-temperature magnetization process and the magneto-thermodynamics such as abrupt changes of the isothermal magnetization curves, a double-peak structure of the specific heat or a giant magnetocaloric effect.


title: Weakening the tight coupling between geometry and simulation in isogeometric analysis: from sub- and super- geometric analysis to Geometry Independent Field approximaTion (GIFT)

abstract: This paper presents an approach to generalize the concept of isogeometric analysis (IGA) by allowing different spaces for parameterization of the computational domain and for approximation of the solution field. The method inherits the main advantage of isogeometric analysis, i.e. preserves the original, exact CAD geometry (for example, given by NURBS), but allows pairing it with an approximation space which is more suitable/flexible for analysis, for example, T-splines, LR-splines, (truncated) hierarchical B-splines, and PHT-splines. This generalization offers the advantage of adaptive local refinement without the need to re-parameterize the domain, and therefore without weakening the link with the CAD model. We demonstrate the use of the method with different choices of the geometry and field splines, and show that, despite the failure of the standard patch test, the optimum convergence rate is achieved for non-nested spaces.


title: Neutron Stars, Ungravity, and the I-Love-Q relation

abstract: In this work, we study neutron stars (NSs) in an ungravity (UG) inspired model. We examine the UG effects on the static properties of the selected NSs, in different mass and radius regimes, i.e., mini, moderate, and heavy NSs, using a polytropic equation of state approach. Based on the observational data, we obtain bounds on the characteristic length and scaling dimension of the UG model. Furthermore, we obtain dynamic properties, such as inertial moment (I), Love number (Love), and quadrupole moment (Q) of a slowly rotating NS in the presence of the exterior gravity and ungravity fields. The UG model is also examined with respect to the I-Love-Q universal relation.


title: High-pressure synthesis of an unusual antiferromagnetic metal CaCoO$_{3}$ with GdFeO$_{3}$-type perovskite structure

abstract: The GdFeO$_{3}$-type perovskite CaCoO$_{3}$ has been successfully synthesized by high-pressure oxygen annealing for the oxygen deficient perovskite. A detailed structural analysis based on synchrotron X-ray diffraction data and a thermogravimetric analysis show that the valence of Co is +4 and the sample is free from oxygen deficiency. This compound shows an antiferromagnetic ordering at 95 K, which has presumably helical spin arrangement, with keeping the incoherent metallic state down to the lowest temperature. This work demonstrates that the Co$^{4+}$-perovskite oxides exhibit a variety of magnetic phases by the band-width control through the lattice distortion.


title: Electrically tunable polarizer based on two-dimensional orthorhombic ferrovalley materials

abstract: The concept of ferrovalley materials has been proposed very recently. The existence of spontaneous valley polarization, resulting from ferromagnetism, in such hexagonal two-dimensional materials makes nonvolatile valleytronic applications realizable. Here, we introduce a new member of ferrovalley family with orthorhombic lattice, i.e. monolayer group-IV monochalcogenides (GIVMs), in which the intrinsic valley polarization originates from ferroelectricity, instead of ferromagnetism. Combining the group theory analysis and first-principles calculations, we demonstrate that, different from the valley-selective circular dichroism in hexagonal lattice, linearly polarized optical selectivity for valleys exists in the new type of ferrovalley materials. On account of the distinctive property, a prototype of electrically tunable polarizer is realized. In the ferrovalley-based polarizer, a laser beam can be optionally polarized in x- or y-direction, depending on the ferrovalley state controlled by external electric fields. Such a device can be further optimized to emit circularly polarized radiation with specific chirality and to realize the tunability for operating wavelength. Therefore, we show that two-dimensional orthorhombic ferrovalley materials are the promising candidates to provide an advantageous platform to realize the polarizer driven by electric means, which is of great importance in extending the practical applications of valleytronics.


title: Almost-equidistant sets

abstract: For a positive integer $d$, a set of points in $d$-dimensional Euclidean space is called almost-equidistant if for any three points from the set, some two are at unit distance. Let $f(d)$ denote the largest size of an almost-equidistant set in $d$-space. It is known that $f(2)=7$, $f(3)=10$, and that the extremal almost-equidistant sets are unique. We give independent, computer-assisted proofs of these statements. It is also known that $f(5) \ge 16$. We further show that $12\leq f(4)\leq 13$, $f(5)\leq 20$, $18\leq f(6)\leq 26$, $20\leq f(7)\leq 34$, and $f(9)\geq f(8)\geq 24$. Up to dimension $7$, our work is based on various computer searches, and in dimensions $6$ to $9$, we give constructions based on the known construction for $d=5$. For every dimension $d \ge 3$, we give an example of an almost-equidistant set of $2d+4$ points in the $d$-space and we prove the asymptotic upper bound $f(d) \le O(d^{3/2})$.


title: Model-Driven Development of High-Assurance Active Medical Devices

abstract: Advanced medical devices exploit the advantages of embedded software whose development is subject to compliance with stringent requirements of standardization and certification regimes due to the critical nature of such systems. This paper presents initial results and lessons learned from an ongoing project focusing on the development of a formal model of a subsystem of a software-controlled safety-critical Active Medical Device (AMD) responsible for renal replacement therapy. The use of formal approaches for the development of AMDs is highly recommended by standards and regulations, and motivates the recent advancement of the state of the art of related methods and tools including Event-B and Rodin applied in this paper. It is expected that the presented model development approach and the specification of a high-confidence medical system will contribute to the still sparse experience base available at the disposal of the scientific and practitioner community of formal methods and software engineering.


title: Two-nucleon emission in neutrino and electron scattering from nuclei: the modified convolution approximation

abstract: The theoretical formalism of inclusive lepton-nucleus scattering in the two-nucleon emission channel is discussed in the context of a simplified approach, the modified convolution approximation. This allows one to write the 2p2h responses of the relativistic Fermi gas as a folding integral of two 1p1h responses with the energies and momenta transferred to each nucleon. The idea behind this method is to introduce different average momenta for the two initial nucleons in the matrix elements of the two-body current, with the innovation that they depend on the transferred energies and momenta. This method treats exactly the two-body phase space kinematics, and reduces the formulae of the response functions from seven-dimensional integrals over momenta to much simpler three-dimensional ones. The applicability of the method is checked by comparing with the full results within a model of electroweak meson-exchange currents. The predictions are accurate enough, especially in the low-energy threshold region where the average momentum approximation works the best.


title: On the Apparent Yield Stress in Non-Brownian Magnetorheological Fluids

abstract: We use simulations to probe the flow properties of dense two-dimensional magnetorheological fluids. Prior results from both experiments and simulations report that the shear stress $\sigma$ scales with strain rate $\dot \gamma$ as $\sigma \sim \dot \gamma^{1-\Delta}$, with values of the exponent ranging between $2/3 <\Delta \le 1$. However it remains unclear what properties of the system select the value of $\Delta$, and in particular under what conditions the system displays a yield stress ($\Delta = 1$). To address these questions, we perform simulations of a minimalistic model system in which particles interact via long ranged magnetic dipole forces, finite ranged elastic repulsion, and viscous damping. We find a surprising dependence of the apparent exponent $\Delta$ on the form of the viscous force law. For experimentally relevant values of the volume fraction $\phi$ and the dimensionless Mason number (which quantifies the competition between viscous and magnetic stresses), models using a Stokes-like drag force show $\Delta \approx 0.75$ and no apparent yield stress. When dissipation occurs at the contact, however, a clear yield stress plateau is evident in the steady state flow curves. In either case, increasing $\phi$ towards the jamming transition suffices to induce a yield stress. We relate these qualitatively distinct flow curves to clustering mechanisms at the particle scale. For Stokes-like drag, the system builds up anisotropic, chain-like clusters as the Mason number tends to zero (vanishing strain rate and/or high field strength). For contact damping, by contrast, there is a second clustering mechanism due to inelastic collisions.


title: Magnetic signatures of quantum critical points of the ferrimagnetic mixed spin-(1/2, S) Heisenberg chains at finite temperatures

abstract: Magnetic properties of the ferrimagnetic mixed spin-(1/2,S) Heisenberg chains are examined using quantum Monte Carlo simulations for two different quantum spin numbers S = 1 and 3/2. The calculated magnetization curves at finite temperatures are confronted with zero-temperature magnetization data obtained within density-matrix renormalization group method, which imply an existence of two quantum critical points determining a breakdown of the gapped Lieb-Mattis ferrimagnetic phase and Tomonaga-Luttinger spin-liquid phase, respectively. While a square-root behavior of the magnetization accompanying each quantum critical point is gradually smoothed upon rising temperature, the susceptibility and isothermal entropy change data provide a stronger evidence of the quantum critical points at finite temperatures through marked local maxima and minima, respectively.


title: Mixed Effect Dirichlet-Tree Multinomial for Longitudinal Microbiome Data and Weight Prediction

abstract: Quantifying the relation between gut microbiome and body weight can provide insights into personalized strategies for improving digestive health. In this paper, we present an algorithm that predicts weight fluctuations using gut microbiome in a healthy cohort of newborns from a previously published dataset. Microbial data has been known to present unique statistical challenges that defy most conventional models. We propose a mixed effect Dirichlet-tree multinomial (DTM) model to untangle these difficulties as well as incorporate covariate information and account for species relatedness. The DTM setup allows one to easily invoke empirical Bayes shrinkage on each node for enhanced inference of microbial proportions. Using these estimates, we subsequently apply random forest for weight prediction and obtain a microbiome-inferred weight metric. Our result demonstrates that microbiome-inferred weight is significantly associated with weight changes in the future and its non-trivial effect size makes it a viable candidate to forecast weight progression.


title: KeyDrown: Eliminating Keystroke Timing Side-Channel Attacks

abstract: Besides cryptographic secrets, side-channel attacks also leak sensitive user input. The most accurate attacks exploit cache timings or interrupt information to monitor keystroke timings and subsequently infer typed words and sentences. Previously proposed countermeasures fail to prevent keystroke timing attacks as they do not protect keystroke processing among the entire software stack. We close this gap with KeyDrown, a new defense mechanism against keystroke timing attacks. KeyDrown injects a large number of fake keystrokes in the kernel to prevent interrupt-based attacks and Prime+Probe attacks on the kernel. All keystrokes, including fake keystrokes, are carefully propagated through the shared library in order to hide any cache activity and thus to prevent Flush+Reload attacks. Finally, we provide additional protection against Prime+Probe for password input in user space programs. We show that attackers cannot distinguish fake keystrokes from real keystrokes anymore and we evaluate KeyDrown on a commodity notebook as well as on two Android smartphones. We show that KeyDrown eliminates any advantage an attacker can gain from using interrupt or cache side-channel information.


title: Beyond integrability: Baryon-baryon backward scattering in the massive Gross-Neveu model

abstract: Due to integrability, baryon-baryon scattering in the massless Gross-Neveu model at large N features only forward elastic scattering. A bare mass term breaks integrability and is therefore expected to induce backward elastic scattering as well as inelastic reactions. We confirm these expectations by a study of baryon-baryon scattering in the massive Gross-Neveu model near the non-relativistic limit. This restriction enables us to solve the time-dependent Hartree-Fock equations with controlled approximations, using a combination of analytical methods from an effective field theory and the numerical solution of partial differential equations.


title: Programmable Agents

abstract: We build deep RL agents that execute declarative programs expressed in formal language. The agents learn to ground the terms in this language in their environment, and can generalize their behavior at test time to execute new programs that refer to objects that were not referenced during training. The agents develop disentangled interpretable representations that allow them to generalize to a wide variety of zero-shot semantic tasks.


title: Domain Specific Semantic Validation of Schema.org Annotations

abstract: Since its unveiling in 2011, schema.org has become the de facto standard for publishing semantically described structured data on the web, typically in the form of web page annotations. The increasing adoption of schema.org facilitates the growth of the web of data, as well as the development of automated agents that operate on this data. Schema.org is a large heterogeneous vocabulary that covers many domains. This is obviously not a bug, but a feature, since schema.org aims to describe almost everything on the web, and the web is huge. However, the heterogeneity of schema.org may cause a side effect, which is the challenge of picking the right classes and properties for an annotation in a certain domain, as well as keeping the annotation semantically consistent. In this work, we introduce our rule based approach and an implementation of it for validating schema.org annotations from two aspects: (a) the completeness of the annotations in terms of a specified domain, (b) the semantic consistency of the values based on pre-defined rules. We demonstrate our approach in the tourism domain.


title: Character varieties of odd classical pretzel knots

abstract: We determine the ${\rm SL}(2,\mathbb{C})$-character variety for each odd classical pretzel knot $P(2k_1+1,2k_2+1,2k_3+1)$, and present a method for computing its A-polynomial.


title: Rost nilpotence and \'etale motivic cohomology

abstract: A smooth projective scheme $X$ over a field $k$ is said to satisfy the Rost nilpotence principle if any endomorphism of $X$ in the category of Chow motives that vanishes on an extension of the base field $k$ is nilpotent. We show that an \'etale motivic analogue of the Rost nilpotence principle holds for all smooth projective schemes over a perfect field. This provides a new approach to the question of Rost nilpotence and allows us to obtain an elegant proof of Rost nilpotence for surfaces, as well as for birationally ruled threefolds over a field of characteristic $0$.


title: A Weierstrass representation for 2D elasticity

abstract: We study a class of elastic energy functionals for maps between planar domains (among them the so-called squared distance functional) whose critical points (elastic maps) allow a far more complete theory than one would expect from general elasticity theory. For some of these functionals elastic maps even admit a "Weierstrass representation" in terms of holomorphic functions, reminiscent of the one for minimal surfaces. We also prove a global uniqueness theorem that does not seem to be known in other situations.


title: Stabilization of a laser on a large-detuned atomic-reference frequency by resonant interferometry

abstract: We report a simple technique for stabilization of a laser frequency at the wings of an atomic resonance. The reference signal used for stabilization issues from interference effects obtained in a low-quality cavity filled with a resonant atomic vapour. For a frequency detuned at 2.6 GHz from the $^{133}$Cs D$_2$ 6S$_{1/2}$ F=4 to 6P$_{3/2}$ F'= 5 transition, the fractional frequency Allan deviation is $10^{-8}$ for averaging times of 300 s, corresponding to a frequency deviation of 4 MHz. Adequate choice of the atomic density and of the cell thickness allows locking the laser at detunings larger than 10 GHz. Such a simple technique does not require magnetic fields or signal modulation.


title: Automated novelty detection in the WISE survey with one-class support vector machines

abstract: Wide-angle photometric surveys of previously uncharted sky areas or wavelength regimes will always bring in unexpected sources whose existence and properties cannot be easily predicted from earlier observations: novelties or even anomalies. Such objects can be efficiently sought for with novelty detection algorithms. Here we present an application of such a method, called one-class support vector machines (OCSVM), to search for anomalous patterns among sources preselected from the mid-infrared AllWISE catalogue covering the whole sky. To create a model of expected data we train the algorithm on a set of objects with spectroscopic identifications from the SDSS DR13 database, present also in AllWISE. OCSVM detects as anomalous those sources whose patterns - WISE photometric measurements in this case - are inconsistent with the model. Among the detected anomalies we find artefacts, such as objects with spurious photometry due to blending, but most importantly also real sources of genuine astrophysical interest. Among the latter, OCSVM has identified a sample of heavily reddened AGN/quasar candidates distributed uniformly over the sky and in a large part absent from other WISE-based AGN catalogues. It also allowed us to find a specific group of sources of mixed types, mostly stars and compact galaxies. By combining the semi-supervised OCSVM algorithm with standard classification methods it will be possible to improve the latter by accounting for sources which are not present in the training sample but are otherwise well-represented in the target set. Anomaly detection adds flexibility to automated source separation procedures and helps verify the reliability and representativeness of the training samples. It should be thus considered as an essential step in supervised classification schemes to ensure completeness and purity of produced catalogues.


title: First detection of THz water maser in NGC7538-IRS1 with SOFIA and new 22 GHz e-MERLIN maps

abstract: The formation of massive stars is still not well understood. Accumulating a large amount of mass infalling within a single entity in spite of radiation pressure is possible if, among several other conditions, enough thermal energy is released. Despite numerous water line observations, with the Herschel Space Observatory, in most of the sources observations were not able to trace the emission from the hot core around the newly forming protostellar object. We want to probe the physical conditions and water abundance in the inner layers of the host protostellar object NGC7538-IRS1 using a highly excited H2O line. Water maser models predict that several THz water masers should be detectable in these objects. We present SOFIA observations of the o-H2O 8(2,7)-7(3,4) line at 1296.41106 GHz and a 6(1,6)-5(2,3) 22 GHz e-MERLIN map of the region (first-ever 22 GHz images made after the e-MERLIN upgrade). In order to be able to constrain the nature of the emission - thermal or maser - we use near-simultaneous observations of the 22 GHz water maser performed with the Effelsberg radiotelescope and e-MERLIN. A thermal water model using the RATRAN radiative transfer code is presented based on HIFI pointed observations. Molecular water abundances are derived for the hot core. The H2O 8(2,7)- 7(3,4) line is detected toward NGC7538-IRS1 with one feature at the source velocity (-57.7 km/s) and another one at -48.4 km/s. We propose that the emission at the source velocity is consistent with thermal excitation and is excited in the innermost part of the IRS1a massive protostellar object's closest circumstellar environment. The other emission is very likely the first detection of a water THz maser line, pumped by shocks due to IRS1b outflow, in a star-forming region. Assuming thermal excitation of the THz line, the water abundance in NGC7538-IRS1's hot core is estimated to be 5.2x10^{-5} with respect to H2.


title: Supersymmetric Derived Stacks

abstract: Stacks have become a prevalent tool in studying problems with connections to String Theory, hence we see a need to develop a theory of supersymmetric stacks proper. We first define derived stacks on $\mathbb{Z}_2$-bi-graded k-modules (objects of sk-sMod$_*$) following the exposition of Toen and Vezzosi on ungraded modules in HAG I & II. We then define $\text{Top}_{* \centerdot}$-valued maps on those supermodules ($\text{Top}_{* \centerdot}$ $\mathbb{Z}_2$-bi-graded), and show how they behave under supersymmetry transformations in the base. For $\Psi: M \rightarrow X$ one such map, $M \in $ sk-sMod$_*$, $X \in \text{Top}_{* \centerdot}$, we argue that defining a prestack $F$ of simplicial sets over simplicial graded k-superalgebras object-wise by $F(M) = \{\Psi(\sigma, \theta) | \sigma, \theta \in M \}$ with the induced topology, one can call $F$ a supersymmetric stack if it is a derived stack.


title: Scaling of the Hall effects beyond the quantum resistance threshold in oxidized CoFeB

abstract: The ordinary and the extraordinary Hall effects were studied in gradually oxidized amorphous CoFeB ferromagnets over six orders of resistivity from the metallic to the strongly insulating regime. Polarity of the extraordinary Hall effect reverses, and the amplitude of both the ordinary and the extraordinary Hall effects increases quadratically with resistivity when resistance exceeds the quantum resistance threshold. The absolute value of the extraordinary Hall effect scales linearly with the ordinary one in the entire range over eight orders of magnitude between the metallic and the insulating states. The behavior differs qualitatively and quantitatively from theoretically predicted and experimentally known in other materials.


title: Logic and $\mathrm{C}^*$-algebras: set theoretical dichotomies in the theory of continuous quotients

abstract: Given a nonunital $\mathrm{C}^*$-algebra $A$ one constructs its corona algebra $\mathcal M(A)/A$. This is the noncommutative analog of the \v{C}ech-Stone remainder of a topological space. We analyze the two faces of these algebras: the first one is given assuming CH, and the other one arises when Forcing Axioms are assumed. In their first face, corona $\mathrm{C}^*$-algebras have a large group of automorphisms that includes nondefinable ones. The second face is the Forcing Axiom one; here the automorphism group of a corona $\mathrm{C}^*$-algebra is as rigid as possible, including only definable elements


title: Chebyshev's bias for analytic L-functions

abstract: In this paper we discuss the generalizations of the concept of Chebyshev's bias from two perspectives. First we give a general framework for the study of prime number races and Chebyshev's bias attached to general $L$-functions satisfying natural analytic hypotheses. This extends the cases previously considered by several authors and involving, among others, Dirichlet $L$-functions and Hasse--Weil $L$-functions of elliptic curves over $\mathbf{Q}$. This also apply to new Chebyshev's bias phenomena that were beyond the reach of the previously known cases. In addition we weaken the required hypotheses such as GRH or linear independence properties of zeros of $L$-functions. In particular we establish the existence of the logarithmic density of the set $\lbrace x\geq 2 : \sum_{p\leq x} \lambda_{f}(p) \geq 0 \rbrace$ for coefficients $(\lambda_{f}(p))$ of general $L$-functions conditionally on a much weaker hypothesis than was previously known.


title: A Perturbation Scheme for Passivity Verification and Enforcement of Parameterized Macromodels

abstract: This paper presents an algorithm for checking and enforcing passivity of behavioral reduced-order macromodels of LTI systems, whose frequency-domain (scattering) responses depend on external parameters. Such models, which are typically extracted from sampled input-output responses obtained from numerical solution of first-principle physical models, usually expressed as Partial Differential Equations, prove extremely useful in design flows, since they allow optimization, what-if or sensitivity analyses, and design centering. Starting from an implicit parameterization of both poles and residues of the model, as resulting from well-known model identification schemes based on the Generalized Sanathanan-Koerner iteration, we construct a parameter-dependent Skew-Hamiltonian/Hamiltonian matrix pencil. The iterative extraction of purely imaginary eigenvalues ot fhe pencil, combined with an adaptive sampling scheme in the parameter space, is able to identify all regions in the frequency-parameter plane where local passivity violations occur. Then, a singular value perturbation scheme is setup to iteratively correct the model coefficients, until all local passivity violations are eliminated. The final result is a corrected model, which is uniformly passive throughout the parameter range. Several numerical examples denomstrate the effectiveness of the proposed approach.


title: Rotor-angle versus voltage instability in the third-order model for synchronous generators

abstract: We investigate the interplay of rotor-angle and voltage stability in electric power systems. To this end, we carry out a local stability analysis of the third-order model which entails the classical power-swing equations and the voltage dynamics. We provide necessary and sufficient stability conditions and investigate different routes to instability. For the special case of a two-bus system we analytically derive a global stability map.


title: Side-wall spacer passivated sub-um Josephson junction fabrication process

abstract: We present a structure and a fabrication method for superconducting tunnel junctions down to the dimensions of 200 nm using i-line UV lithography. The key element is a side-wall-passivating spacer structure (SWAPS) which is shaped for smooth crossline contacting and low parasitic capacitance. The SWAPS structure enables formation of junctions with dimensions at or below the lithography-limited linewidth. An additional benefit is avoiding the excessive use of amorphous dielectric materials which is favorable in sub-Kelvin microwave applications often plagued by nonlinear and lossy dielectrics. We apply the structure to niobium trilayer junctions, and provide characterization results yielding evidence on wafer-scale scalability, and critical current density tuning in the range of 0.1 -- 3.0 kA/cm$^2$. We discuss the applicability of the junction process in the context of different applications, such as, SQUID magnetometers and Josephson parametric amplifiers.


title: Remark on arithmetic topology

abstract: We formalize the arithmetic topology, i.e. a relationship between knots and primes. Namely, using the notion of a cluster C*-algebra we construct a functor from the category of 3-dimensional manifolds M to a category of algebraic number fields K, such that the prime ideals (ideals, resp.) in the ring of integers of K correspond to knots (links, resp.) in M. It is proved that the functor realizes all axioms of the arithmetic topology conjectured in the 1960's by Manin, Mazur and Mumford.


title: An application of limiting interpolation to the Fourier series theory

abstract: Limiting real interpolation method is applied to describe the behaviour of the Fourier coefficients of functions that belong to spaces which are "very close" to L2.


title: Analytic Solution of the Starobinsky Model for Inflation

abstract: We prove that the field equations of the Starobinsky model for inflation in a Friedmann-Lema\^{\i}tre-Robertson-Walker constitute an integrable system as the field equations pass the singularity test. The analytical solution in terms of a Painlev\'{e} Series for the Starobinsky model is presented for the case of zero and nonzero spatial curvature. In both cases the leading-order term describes the radiation era provided by the corresponding higher-order theory.


title: Special homogeneous almost complex structures on symplectic manifolds

abstract: Homogeneous compatible almost complex structures on symplectic manifolds are studied, focusing on those which are special, meaning that their Chern-Ricci form is a multiple of the symplectic form. Non Chern-Ricci flat ones are proven to be covered by co-adjoint orbits. Conversely, compact isotropy co-adjoint orbits of semi-simple Lie groups are shown to admit special compatible almost complex structures whenever they satisfy a necessary topological condition. Some classes of examples including twistor spaces of hyperbolic manifolds and discrete quotients of Griffiths period domains of weight two are discussed.


title: Phase structure of complete asymptotically free SU($N_c$) theories with quarks and scalar quarks

abstract: We determine the phase diagram of complete asymptotically free SU($N_c$) gauge theories featuring $N_s$ complex scalars and $N_f$ Dirac quarks transforming according to the fundamental representation of the gauge group. The analysis is performed at the maximum known order in perturbation theory. We unveil a very rich dynamics and associated phase structure. Intriguingly we discover that the complete asymptotically free conditions guarantee that the infrared dynamics displays long distance conformality, and in a regime when perturbation theory is applicable. We conclude our analysis by determining the quantum corrected potential of the theory and summarising the possible patterns of radiative symmetry breaking. These theories are of potential phenomenological interest as either elementary or composite ultraviolet finite extensions of the Standard Model.


title: Highly efficient angularly resolving x-ray spectrometer optimized for absorption measurements with collimated sources

abstract: Highly collimated betatron radiation from a laser wakefield accelerator is a promising tool for spectroscopic measurements. Therefore there is a requirement to create spectrometers suited to the unique properties of such a source. We demonstrate a spectrometer which achieves an energy resolution of < 5 eV at 9 keV and is angularly resolving the x-ray emission allowing the reference and spectrum to be recorded at the same time. The single photon analysis is used to significantly reduce the background noise. Theoretical performance of various configurations of the spectrometer is calculated by a ray-tracing algorithm. The properties and performance of the spectrometer including the angular and spectral resolution are demonstrated experimentally on absorption above the K-edge of a Cu foil backlit by laser-produced betatron radiation x-ray beam.


title: Geometrical properties of rigid frictionless granular packings as a function of particle size and shape

abstract: Three-dimensional discrete numerical simulation is used to investigate the properties of close-packed frictionless granular assemblies as a function of particle polydispersity and shape. Unlike some experimental results, simulations show that disordered packings of pinacoids (eight-face convex polyhedron) achieve higher solid fraction values than amorphous packings of spherical or rounded particles, thus fulfilling the analogue of Ulam's conjecture stated by Jiao and co-workers for random packings [Y. Jiao and S. Torquato, Phys. Rev. E $\textbf{84}$, $041309$ ($2011$)]. This seeming discrepancy between experimental and numerical results is believed to lie with difficulties in overcoming interparticle friction through experimental densification processes. Moreover, solid fraction is shown to increase further with bidispersity and peak when the volume proportion of small particles reaches $30\%$. Contrarywise, substituting up to $50\%$ of flat pinacoids for isometric ones yields solid fraction decrease, especially when flat particles are also elongated. Nevertheless, particle shape seems to play a minor role on packing solid fraction compared to polydispersity. Additional investigations focused on the packing microstructure confirm that pinacoid packings fulfill the isostatic conjecture and that they are free of order except beyond $30$ to $50\%$ of flat or flat \& elongated polyhedra in the packing. This order increase progressively takes the form of a nematic phase caused by the reorientation of flat or flat \& elongated particles to minimize the packing potential energy. Simultaneously, this reorientation seems to increase the solid fraction value slightly above the maximum achieved by monodisperse isometric pinacoids, as well as the coordination number. Finally, partial substitution of elongated pinacoids for isometric ones has limited effect on packing solid fraction or order.


title: Solid angles and Seifert hypersurfaces

abstract: Given a smooth closed oriented manifold $M$ of dimension $n$ embedded in $\mathbb{R}^{n+2}$ we study properties of the `solid angle' function $\Phi\colon\mathbb{R}^{n+2}\setminus M\to S^1$. It turns out that a non-critical level set of $\Phi$ is an explicit Seifert hypersurface for $M$.


title: Optical Momentum, Spin, and Angular Momentum in Dispersive Media

abstract: We examine the momentum, spin, and orbital angular momentum of structured monochromatic optical fields in dispersive inhomogeneous isotropic media. There are two bifurcations in this general problem: the Abraham-Minkowski dilemma and the kinetic (Poynting-like) versus canonical (spin-orbital) pictures. We show that the kinetic Abraham momentum describes the energy flux and group velocity of the wave in the medium. At the same time, we introduce novel canonical Minkowsky-type momentum, spin, and orbital angular momentum densities of the field. These quantities exhibit fairly natural forms, analogous to the Brillouin energy density, as well as multiple advantages as compared with previously considered formalisms. We apply this general theory to inhomogeneous surface plasmon-polariton (SPP) waves at a metal-vacuum interface and show that SPPs carry a "super-momentum", proportional to the wave vector $k_{p} > \omega/c$, and a transverse spin, which can change its sign depending on the frequency $\omega$.


title: Distributed PCP Theorems for Hardness of Approximation in P

abstract: We present a new distributed model of probabilistically checkable proofs (PCP). A satisfying assignment $x \in \{0,1\}^n$ to a CNF formula $\varphi$ is shared between two parties, where Alice knows $x_1, \dots, x_{n/2}$, Bob knows $x_{n/2+1},\dots,x_n$, and both parties know $\varphi$. The goal is to have Alice and Bob jointly write a PCP that $x$ satisfies $\varphi$, while exchanging little or no information. Unfortunately, this model as-is does not allow for nontrivial query complexity. Instead, we focus on a non-deterministic variant, where the players are helped by Merlin, a third party who knows all of $x$. Using our framework, we obtain, for the first time, PCP-like reductions from the Strong Exponential Time Hypothesis (SETH) to approximation problems in P. In particular, under SETH we show that there are no truly-subquadratic approximation algorithms for Bichromatic Maximum Inner Product over {0,1}-vectors, Bichromatic LCS Closest Pair over permutations, Approximate Regular Expression Matching, and Diameter in Product Metric. All our inapproximability factors are nearly-tight. In particular, for the first two problems we obtain nearly-polynomial factors of $2^{(\log n)^{1-o(1)}}$; only $(1+o(1))$-factor lower bounds (under SETH) were known before.


title: Leveraging Adaptive Model Predictive Controller for Active Cell Balancing in Li-ion Battery

abstract: Automotive industry is moving toward fully electric and hybrid electric vehicles. Accordingly, energy storage unit is one of the most important blocks in these electric drives. Battery stacks which contain a number of cells are being used for supplying the vehicles' energy. Charge equalization for series connected battery strings has a significant effect on battery life. In this paper, an adaptive model predictive controller (AMPC) is proposed to manage the cell equalizing process. The series connected cells' voltages and currents are collected, then leveraging Recursive Least Square (RLS) method, the future voltage samples for all of the cells are predicted. MPC controller specifies a sequence which results in the optimum balancing performance of the proposed circuit. Simulation results prove that using the suggested algorithm, the voltage set of the series cells has moved more uniformly.


title: Revisiting L21-norm Robustness with Vector Outlier Regularization

abstract: In many real-world applications, data usually contain outliers. One popular approach is to use L2,1 norm function as a robust error/loss function. However, the robustness of L2,1 norm function is not well understood so far. In this paper, we propose a new Vector Outlier Regularization (VOR) framework to understand and analyze the robustness of L2,1 norm function. Our VOR function defines a data point to be outlier if it is outside a threshold with respect to a theoretical prediction, and regularize it-pull it back to the threshold line. We then prove that L2,1 function is the limiting case of this VOR with the usual least square/L2 error function as the threshold shrinks to zero. One interesting property of VOR is that how far an outlier lies away from its theoretically predicted value does not affect the final regularization and analysis results. This VOR property unmasks one of the most peculiar property of L2,1 norm function: The effects of outliers seem to be independent of how outlying they are-if an outlier is moved further away from the intrinsic manifold/subspace, the final analysis results do not change. VOR provides a new way to understand and analyze the robustness of L2,1 norm function. Applying VOR to matrix factorization leads to a new VORPCA model. We give a comprehensive comparison with trace-norm based L21-norm PCA to demonstrate the advantages of VORPCA.


title: Investigating Exploratory Search Activities based on the Stratagem Level in Digital Libraries

abstract: In this paper we present the results of a user study on exploratory search activities in a social science digital library. We conducted a user study with 32 participants with a social sciences background -- 16 postdoctoral researchers and 16 students -- who were asked to solve a task on searching related work to a given topic. The exploratory search task was performed in a 10-minutes time slot. The use of certain search activities is measured and compared to gaze data recorded with an eye tracking device. We use a novel tree graph representation to visualise the users' search patterns and introduce a way to combine multiple search session trees. The tree graph representation is capable to create one single tree for multiple users and to identify common search patterns. In addition, the information behaviour of students and postdoctoral researchers is being compared. The results show that search activities on the stratagem level are frequently utilised by both user groups. The most heavily used search activities were keyword search, followed by browsing through references and citations, and author searching. The eye tracking results showed an intense examination of documents metadata, especially on the level of citations and references. When comparing the group of students and postdoctoral researchers we found significant differences regarding gaze data on the area of the journal name of the seed document. In general, we found a tendency of the postdoctoral researchers to examine the metadata records more intensively with regards to dwell time and the number of fixations.


title: Brain Tumor Detection and Classification with Feed Forward Back-Prop Neural Network

abstract: Brain is an organ that controls activities of all the parts of the body. Recognition of automated brain tumor in Magnetic resonance imaging (MRI) is a difficult task due to complexity of size and location variability. This automatic method detects all the type of cancer present in the body. Previous methods for tumor are time consuming and less accurate. In the present work, statistical analysis morphological and thresholding techniques are used to process the images obtained by MRI. Feed-forward back-prop neural network is used to classify the performance of tumors part of the image. This method results high accuracy and less iterations detection which further reduces the consumption time.


title: Bianchi type-II universe with wet dark fluid in General Theory of Relativity

abstract: In this paper, dark energy models of the universe filled with wet dark fluid are constructed in the framework of LRS Bianchi type-II space-time in General Theory of Relativity. A new equation of state modeled on the equation of state $p$=$\gamma(\rho - \rho_*)$, which can describe a liquid including water, is used. The exact solutions of Einstein's field equations are obtained in quadrature form and the models corresponding to the cases $\gamma = 0$ and $\gamma = 1$ are discussed in detail.


title: Solar overshoot region and small-scale dynamo with realistic energy flux

abstract: We carry out high resolution calculations of the solar overshoot region with unprecedentedly realistic parameters, especially the small energy flux compared with $\rho c^3_\mathrm{s}$, where $\rho$ and $c_\mathrm{s}$ are density and speed of sound. Our main purpose is to investigate behavior of the overshoot and the small-scale dynamo with parameters as close as possible to those of the Sun. Our calculations show that the bottom part of the convection zone becomes subadiabatic, which efficiently suppresses downflows. As a result we see a steep transition from the CZ to the RZ whose width is estimated 0.4% of the local pressure scale height. This result is consistent with a semi-analytic convection/overshoot model. We also find that the small-scale dynamo becomes efficient with a smaller energy flux. The sudden suppression of the downflows around the base of the convection zone increases the efficiency of the small-scale dynamo.


title: Evolving statistical systems: application to academic courses

abstract: Statistical systems are conceived from the standpoint of statistical mechanics, as made of a (generally large) number of identical units and exhibiting a (generally large) number of different configurations (microstates), among which only equivalence classes (macrostates) are accessible to observations. Further attention is devoted to evolving statistical systems, and a simple case including only a possible event, E, and related opposite event, $\neg$E, is examined in detail. In particular, the expected evolution is determined and compared to the random evolution inferred from a sequence of random numbers, for different sample populations. The special case of radioactive decay is considered and results are expressed in terms of the fractional time, $t/\Delta t$, where the time step, $\Delta t$, is related to the decay probability, $p=p(\Delta t)$. An application is made to data collections from selected academic courses, focusing on the extent to which expected evolutions and model random evolutions fit to empirical random evolutions inferred from data collections. Results could be biased by the assumed number of students who abandoned their course, defined as suitable impostors (SI). Extreme cases related to a lower and an upper limit of the SI number are considered for a time step, $\Delta t=(1/12)$y, where fitting expected evolutions relate to $0.003\le p\le0.200$. In conclusion, evolving statistical systems made of academic courses are similar to poorly populated samples of radioactive nuclides exhibiting equal probabilities, $p$, and time steps, $\Delta t$, where inferred mean lifetimes, $\tau$, and half-life times, $t_{1/2}$, range within $0.37<\tau/{\rm y}<27.73$ and $0.25<t_{1/2}/{\rm y}<19.22$, respectively, and upper limits are related to incomplete data collections.


title: THUMT: An Open Source Toolkit for Neural Machine Translation

abstract: This paper introduces THUMT, an open-source toolkit for neural machine translation (NMT) developed by the Natural Language Processing Group at Tsinghua University. THUMT implements the standard attention-based encoder-decoder framework on top of Theano and supports three training criteria: maximum likelihood estimation, minimum risk training, and semi-supervised training. It features a visualization tool for displaying the relevance between hidden states in neural networks and contextual words, which helps to analyze the internal workings of NMT. Experiments on Chinese-English datasets show that THUMT using minimum risk training significantly outperforms GroundHog, a state-of-the-art toolkit for NMT.


title: Proposal of a new quantum annealing schedule for studying quantum annealing of transverse field Ising models

abstract: Recently, Heim, Ronnow, Isakov and Troyer [Science 348 (2015) 215] have reported that Monte Carlo simulations for the Ising spin glass model on the square lattice in the physically relevant continuous-imaginary-time limit do not show superiority of quantum annealing (QA) using transverse field against classical annealing (CA). Although the QA schedule that they had used has been using conventionally, however the QA schedule mathematically has no guarantee that the used schedule is the best QA schedule for performance of optimization. We propose a new QA schedule for studying transverse-field-based quantum versus classical annealing of the Ising model. The present QA schedule utilizes a smallest effective transverse field derived in this article. This QA schedule is made for the comparison between the system with no transverse field and the system with the smallest effective transverse field. As a case study, we study QA of the Ising spin glass model on the square lattice at low but finite temperature. A Monte Carlo algorithm using the physically relevant continuous-imaginary-time limit is performed. As the simulation results, we show superiority of QA against CA when the annealing time is sufficiently spent.


title: The discovery of two mildly-recycled binary pulsars in the Northern High Time Resolution Universe pulsar survey

abstract: We report the discovery and the results of follow-up timing observations of PSR J2045+3633 and PSR J2053+4650, two binary pulsars found in the Northern High Time Resolution Universe pulsar survey being carried out with the Effelsberg radio telescope. Having spin periods of 31.7 ms and 12.6 ms respectively, and both with massive white dwarf companions, $M_{c}\, > \, 0.8\, M_{\odot}$, the pulsars can be classified as mildly recycled. PSR J2045+3633 is remarkable due to its orbital period (32.3 days) and eccentricity $e\, = \, 0.01721244(5)$ which is among the largest ever measured for this class. After almost two years of timing the large eccentricity has allowed the measurement of the rate of advance of periastron at the 5-$\sigma$ level, 0.0010(2)$^\circ~\rm yr^{-1}$. Combining this with a detection of the orthometric amplitude of the Shapiro delay, we obtained the following constraints on the component masses (within general relativity): $M_{p}\, = \, 1.33^{+0.30}_{-0.28}\, M_{\odot}$, and $M_{c}\, = \, 0.94^{+0.14}_{-0.13}\, M_{\odot}$. PSR J2053+4650 has a 2.45-day circular orbit inclined to the plane of the sky at an angle $i\, = \, 85.0^{+0.8}_{-0.9}\,{^\circ}$. In this nearly edge-on case the masses can be obtained from the Shapiro delay alone. Our timing observations resulted in a significant detection of this effect giving: $M_{p}\, = \, 1.40^{+0.21}_{-0.18}\, M_{\odot}$, and $M_{c}\, = \, 0.86^{+0.07}_{-0.06}\, M_{\odot}$.


title: Design and optimal springs stiffness estimation of a Modular OmniCrawler in-pipe climbing Robot

abstract: This paper discusses the design of a novel compliant in-pipe climbing modular robot for small diameter pipes. The robot consists of a kinematic chain of 3 OmniCrawler modules with a link connected in between 2 adjacent modules via compliant joints. While the tank-like crawler mechanism provides good traction on low friction surfaces, its circular cross-section makes it holonomic. The holonomic motion assists it to re-align in a direction to avoid obstacles during motion as well as overcome turns with a minimal energy posture. Additionally, the modularity enables it to negotiate T-junction without motion singularity. The compliance is realized using 4 torsion springs incorporated in joints joining 3 modules with 2 links. For a desirable pipe diameter (\text{\O} 75mm), the springs' stiffness values are obtained by formulating a constraint optimization problem which has been simulated in ADAMS MSC and further validated on a real robot prototype. In order to negotiate smooth vertical bends and friction coefficient variations in pipes, the design was later modified by replacing springs with series elastic actuators (SEA) at 2 of the 4 joints.


title: The Compressed Model of Residual CNDS

abstract: Convolutional neural networks have achieved a great success in the recent years. Although, the way to maximize the performance of the convolutional neural networks still in the beginning. Furthermore, the optimization of the size and the time that need to train the convolutional neural networks is very far away from reaching the researcher's ambition. In this paper, we proposed a new convolutional neural network that combined several techniques to boost the optimization of the convolutional neural network in the aspects of speed and size. As we used our previous model Residual-CNDS (ResCNDS), which solved the problems of slower convergence, overfitting, and degradation, and compressed it. The outcome model called Residual-Squeeze-CNDS (ResSquCNDS), which we demonstrated on our sold technique to add residual learning and our model of compressing the convolutional neural networks. Our model of compressing adapted from the SQUEEZENET model, but our model is more generalizable, which can be applied almost to any neural network model, and fully integrated into the residual learning, which addresses the problem of the degradation very successfully. Our proposed model trained on very large-scale MIT Places365-Standard scene datasets, which backing our hypothesis that the new compressed model inherited the best of the previous ResCNDS8 model, and almost get the same accuracy in the validation Top-1 and Top-5 with 87.64% smaller in size and 13.33% faster in the training time.


title: Dynamics and Control of Edge States in Laser-driven Graphene Nanoribbons

abstract: An intense laser field in the high-frequency regime drives carriers in graphene nanoribbons (GNRs) out of equilibrium and creates topologically-protected edge states. Using Floquet theory on driven GNRs, we calculate the time evolution of local excitations of these edge states and show that they exhibit a robust dynamics also in the presence of very localized lattice defects (atomic vacancies), which is characteristic of topologically non-trivial behavior. We show how it is possible to control them by a modulated electrostatic potential: They can be fully transmitted on the same edge, reflected on the opposite one, or can be split between the two edges, in analogy with Hall edge states, making them promising candidates for flying-qubit architectures.


title: Topological and non inertial effects on the interbank light absorption

abstract: In this work, we investigate the combined influence of the nontrivial topology introduced by a disclination and non inertial effects due to rotation, in the energy levels and the wave functions of a noninteracting electron gas confined to a two-dimensional pseudoharmonic quantum dot, under the influence of an external uniform magnetic field. The exact solutions for energy eigenvalues and wave functions are computed as functions of the applied magnetic field strength, the disclination topological charge, magnetic quantum number and the rotation speed of the sample. We investigate the modifications on the light interband absorption coefficient and absorption threshold frequency. We observe novel features in the system, including a range of magnetic field without corresponding absorption phenomena, which is due to a tripartite term of the Hamiltonian, involving magnetic field, the topological charge of the defect and the rotation frequency.


title: Scheme-Independent Calculations of Physical Quantities in an ${\cal N}=1$ Supersymmetric Gauge Theory

abstract: We consider an asymptotically free, vectorial, ${\cal N}=1$ supersymmetric gauge theory with gauge group $G$ and $N_f$ pairs of chiral superfields in the respective representations ${\cal R}$ and $\bar {\cal R}$ of $G$, having an infrared fixed point (IRFP) of the renormalization group at $\alpha_{IR}$. We present exact results for the anomalous dimensions of various (gauge-invariant) composite chiral superfields $\gamma_{{\Phi}_{\rm prod}}$ at the IRFP and prove that these increase monotonically with decreasing $N_f$ in the non-Abelian Coulomb phase of the theory and that scheme-independent expansions for these anomalous dimensions as powers of an $N_f$-dependent variable, $\Delta_f$, exhibit monotonic and rapid convergence to the exact $\gamma_{{\Phi}_{\rm prod}}$ throughout this phase. We also present a scheme-independent calculation of the derivative of the beta function, $d\beta/d\alpha |_{\alpha=\alpha_{IR}}$, denoted $\beta'_{IR}$, up to $O(\Delta_f^3)$ for general $G$ and ${\cal R}$, and, for the case $G={\rm SU}(N_c)$, ${\cal R}=F$, we give an analysis of the properties of $\beta'_{IR}$ calculated to $O(\Delta_f^4)$.


title: Two-gap superconductivity in Mo$_{8}$Ga$_{41}$ and its evolution upon the V substitution

abstract: Zero-field and transverse-field muon spin rotation/relaxation ($\mu$SR) experiments were undertaken in order to elucidate microscopic properties of a strongly-coupled superconductor Mo$_{8}$Ga$_{41}$ with $T_{\text{c}}=9.8$ K. The upper critical field extracted from the transverse-field $\mu$SR data exhibits significant reduction with respect to the data from thermodynamic measurements indicating the coexistence of two independent length scales in the superconducting state. Accordingly, the temperature-dependent magnetic penetration depth of Mo$_{8}$Ga$_{41}$ is described using the model, in which two s-wave superconducting gaps are assumed. The V for Mo substitution in the parent compound leads to the complete suppression of one superconducting gap, and Mo$_{7}$VGa$_{41}$ is well described within the single s-wave gap scenario. The reduction in the superfluid density and the evolution of the low-temperature resistivity upon the V substitution indicate the emergence of a competing state in Mo$_{7}$VGa$_{41}$ that may be responsible for the closure of one of the superconducting gaps.


title: An argon ion beam milling process for native $\text{AlO}_\text{x}$ layers enabling coherent superconducting contacts

abstract: We present an argon ion beam milling process to remove the native oxide layer forming on aluminum thin films due to their exposure to atmosphere in between lithographic steps. Our cleaning process is readily integrable with conventional fabrication of Josephson junction quantum circuits. From measurements of the internal quality factors of superconducting microwave resonators with and without contacts, we place an upper bound on the residual resistance of an ion beam milled contact of 50$\,\mathrm{m}\Omega \cdot \mu \mathrm{m}^2$ at a frequency of 4.5 GHz. Resonators for which only $6\%$ of the total foot-print was exposed to the ion beam milling, in areas of low electric and high magnetic field, showed quality factors above $10^6$ in the single photon regime, and no degradation compared to single layer samples. We believe these results will enable the development of increasingly complex superconducting circuits for quantum information processing.


title: An efficient Algorithm to partition a Sequence of Integers into Subsets with equal Sums

abstract: To partition a sequence of n integers into subsets with prescribed sums is an NP-hard problem in general. In this paper we present an efficient solution for the homogeneous version of this problem; i.e. where the elements in each subset add up to the same sum.


title: New insights into the interstellar medium of the dwarf galaxy IC 10: connection between magnetic fields, the radio--infrared correlation and star formation

abstract: We present the highest sensitivity and angular resolution study at 0.32 GHz of the dwarf irregular galaxy IC\,10, observed using the Giant Metrewave Radio Telescope, probing $\sim45$ pc spatial scales. We find the galaxy-averaged radio continuum spectrum to be relatively flat, with a spectral index $\alpha = -0.34\pm0.01$ ($S_\nu \propto \nu^\alpha$), mainly due to a high contribution from free--free emission. At 0.32 GHz, some of the H{\sc ii} regions show evidence of free--free absorption as they become optically thick below $\sim0.41$ GHz with corresponding free electron densities of $\sim11-22~\rm cm^{-3}$. After removing the free--free emission, we studied the radio--infrared relations on 55, 110 and 165 pc spatial scales. We find that on all scales the non-thermal emission at 0.32 and 6.2 GHz correlates better with far-infrared (FIR) emission at $70\,\mu$m than mid-infrared emission at $24\,\mu$m. The dispersion of the radio--FIR relation arises due to variations in both magnetic field and dust temperature, and decreases systematically with increasing spatial scale. The effect of cosmic ray transport is negligible as cosmic ray electrons were only injected $\lesssim5$ Myr ago. The average magnetic field strength ($B$) of $12~\mu$G in the disc is comparable to that of large star-forming galaxies. The local magnetic field is strongly correlated with local star formation rate ($\mathrm{SFR}$) as $B \propto \mathrm{SFR}^{0.35\pm0.03}$, indicating a star-burst driven fluctuation dynamo to be efficient ($\sim10$ per cent) in amplifying the field in IC\,10. The high spatial resolution observations presented here suggest that the high efficiency of magnetic field amplification and strong coupling with SFR likely sets up the radio--FIR correlation in cosmologically young galaxies.


title: On the normality of $p$-ary bent functions

abstract: Depending on the parity of $n$ and the regularity of a bent function $f$ from $\mathbb F_p^n$ to $\mathbb F_p$, $f$ can be affine on a subspace of dimension at most $n/2$, $(n-1)/2$ or $n/2- 1$. We point out that many $p$-ary bent functions take on this bound, and it seems not easy to find examples for which one can show a different behaviour. This resembles the situation for Boolean bent functions of which many are (weakly) $n/2$-normal, i.e. affine on a $n/2$-dimensional subspace. However applying an algorithm by Canteaut et.al., some Boolean bent functions were shown to be not $n/2$- normal. We develop an algorithm for testing normality for functions from $\mathbb F_p^n$ to $\mathbb F_p$. Applying the algorithm, for some bent functions in small dimension we show that they do not take on the bound on normality. Applying direct sum of functions this yields bent functions with this property in infinitely many dimensions.


title: An online sequence-to-sequence model for noisy speech recognition

abstract: Generative models have long been the dominant approach for speech recognition. The success of these models however relies on the use of sophisticated recipes and complicated machinery that is not easily accessible to non-practitioners. Recent innovations in Deep Learning have given rise to an alternative - discriminative models called Sequence-to-Sequence models, that can almost match the accuracy of state of the art generative models. While these models are easy to train as they can be trained end-to-end in a single step, they have a practical limitation that they can only be used for offline recognition. This is because the models require that the entirety of the input sequence be available at the beginning of inference, an assumption that is not valid for instantaneous speech recognition. To address this problem, online sequence-to-sequence models were recently introduced. These models are able to start producing outputs as data arrives, and the model feels confident enough to output partial transcripts. These models, like sequence-to-sequence are causal - the output produced by the model until any time, $t$, affects the features that are computed subsequently. This makes the model inherently more powerful than generative models that are unable to change features that are computed from the data. This paper highlights two main contributions - an improvement to online sequence-to-sequence model training, and its application to noisy settings with mixed speech from two speakers.


title: On the energy current for harmonic crystals

abstract: We consider a $d$-dimensional harmonic crystal, $d\ge 1$, and study the Cauchy problem with random initial data. We assume that the random initial function is close to different translation-invariant processes for large values of $x_1,\dots,x_k$ with some $k\in\{1,\dots,d\}$. The distribution $\mu_t$ of the solution at time $t\in\mathbb{R}$ is studied. We prove the convergence of correlation functions of the measures $\mu_t$ to a limit for large times. The explicit formulas for the limiting correlation functions and for the energy current density (in mean) are obtained in the terms of the initial covariance. We give the application to the case of the Gibbs initial measures with different temperatures. In particular, we find stationary states in which there is a constant non-zero energy current flowing through the harmonic crystal. Furthermore, the weak convergence of $\mu_t$ to a limit measure is proved. We also study the initial boundary value problem for the harmonic crystal with zero boundary condition and obtain the similar results.


title: Computational complexity of the landscape II - Cosmological considerations

abstract: We propose a new approach for multiverse analysis based on computational complexity, which leads to a new family of "computational" measure factors. By defining a cosmology as a space-time containing a vacuum with specified properties (for example small cosmological constant) together with rules for how time evolution will produce the vacuum, we can associate global time in a multiverse with clock time on a supercomputer which simulates it. We argue for a principle of "limited computational complexity" governing early universe dynamics as simulated by this supercomputer, which translates to a global measure for regulating the infinities of eternal inflation. The rules for time evolution can be thought of as a search algorithm, whose details should be constrained by a stronger principle of "minimal computational complexity." Unlike previously studied global measures, ours avoids standard equilibrium considerations and the well-known problems of Boltzmann Brains and the youngness paradox. We also give various definitions of the computational complexity of a cosmology, and argue that there are only a few natural complexity classes. (v2: version submitted for publication: clarified section 5.3; added references) (v3: added discussion of marginally hospitable vacua. Version to appear in Annals of Physics)


title: Extensions of arc-analytic functions

abstract: We prove that every arc-analytic semialgebraic function on an arc-symmetric set admits an arc-analytic semialgebraic extension to the whole ambient Euclidean space.


title: Finite Size Scaling in 2d Causal Set Quantum Gravity

abstract: We study the $N$-dependent behaviour of $\mathrm{2d}$ causal set quantum gravity. This theory is known to exhibit a phase transition as the analytic continuation parameter $\beta$, akin to an inverse temperature, is varied. Using a scaling analysis we find that the asymptotic regime is reached at relatively small values of $N$. Focussing on the $\mathrm{2d}$ causal set action $S$, we find that $\beta \langle S\rangle $ scales like $ N^\nu$ where the scaling exponent $\nu$ takes different values on either side of the phase transition. For $\beta > \beta_c$ we find that $\nu=2$ which is consistent with our analytic predictions for a non-continuum phase in the large $\beta$ regime. For $\beta<\beta_c$ we find that $\nu=0$, consistent with a continuum phase of constant negative curvature thus suggesting a dynamically generated cosmological constant. Moreover, we find strong evidence that the phase transition is first order. Our results strongly suggest that the asymptotic regime is reached in $\mathrm{2d}$ causal set quantum gravity for $N \gtrsim 65$.


title: Massive Connectivity with Massive MIMO-Part II: Achievable Rate Characterization

abstract: This two-part paper aims to quantify the cost of device activity detection in an uplink massive connectivity scenario with a large number of devices but device activities are sporadic. Part I of this paper shows that in an asymptotic massive multiple-input multiple-output (MIMO) regime, device activity detection can always be made perfect. Part II of this paper subsequently shows that despite the perfect device activity detection, there is nevertheless significant cost due to device detection in terms of overall achievable rate, because of the fact that non-orthogonal pilot sequences have to be used in order to accommodate the large number of potential devices, resulting in significantly larger channel estimation error as compared to conventional massive MIMO systems with orthogonal pilots. Specifically, this paper characterizes each active user's achievable rate using random matrix theory under either maximal-ratio combining (MRC) or minimum mean-squared error (MMSE) receive beamforming at the base-station (BS), assuming the statistics of their estimated channels as derived in Part I. The characterization of user rate also allows the optimization of pilot sequences length. Moreover, in contrast to the conventional massive MIMO system, the MMSE beamforming is shown to achieve much higher rate than the MRC beamforming for the massive connectivity scenario under consideration. Finally, this paper illustrates the necessity of user scheduling for rate maximization when the number of active users is larger than the number of antennas at the BS.


title: Unifying ageing and frailty through complex dynamical networks

abstract: To explore the mechanistic relationships between ageing, frailty and mortality, we developed a computational model in which possible health attributes are represented by the nodes of a complex network. Each node can be either damaged (i.e. a deficit) or undamaged. Damage of connected nodes facilitates further local damage. Our model recovers the known patterns of frailty and mortality without any programmed ageing. It helps us to understand how the observed maximum of the frailty index (FI) might arise, and allows us to start to understand how health deficits accumulate. Large model populations allow us to exploit new analytic tools, including information theory. This will allow us to systematically characterize the effects of sudden changes in the health trajectories of individuals and serve as a way to evaluate large clinical and population databases.


title: The study of the properties of the extended Higgs boson sector within hMSSM model

abstract: Using the latest experimental data, performed by ATLAS Collaboration and within the framework of the Minimal Supersymmetric Standard Model, we presented the calculations for cross sections times branching fractions, $\sigma\times Br$, as a functions of the CP-even, H, Higgs boson mass, CP-odd, A, Higgs boson mass and charged, H$^{\pm}$, Higgs boson mass. Using the restricted parameter set, received from the hMSSM+HDECAY and "low-tb-high" scenarios, with the help of the computer programs SOFTSUSY, Prospino and SusHi, we received the large values of $\sigma\times Br$ for A and H bosons at tan$\beta$=2 for the planned 14 TeV at the LHC and found the large $\sigma\times Br$ at tan$\beta$=30 for charged Higgs boson. The obtained results are of experimental interest as they are connected with the experimental searches for new physics beyond the Standard Model at the LHC.


title: Center Vortices and Topological Charge

abstract: I review important aspects of the relation between center vortices and topological charge, leading to chiral symmetry breaking.


title: Nonlinear elliptic equations on Carnot groups

abstract: This article concerns a class of elliptic equations on Carnot groups depending on one real positive parameter and involving a subcritical nonlinearity (for the critical case we refer to G. Molica Bisci and D. Repov\v{s}, Yamabe-type equations on Carnot groups, Potential Anal. 46:2 (2017), 369-383; arXiv:1705.10100 [math.AP]). As a special case of our results we prove the existence of at least one nontrivial solution for a subelliptic equation defined on a smooth and bounded domain $D$ of the Heisenberg group $\mathbb{H}^n=\mathbb{C}^n\times \mathbb{R}$. The main approach is based on variational methods.


title: Massive Connectivity with Massive MIMO-Part I: Device Activity Detection and Channel Estimation

abstract: This two-part paper considers an uplink massive device communication scenario in which a large number of devices are connected to a base-station (BS), but user traffic is sporadic so that in any given coherence interval, only a subset of users are active. The objective is to quantify the cost of active user detection and channel estimation and to characterize the overall achievable rate of a grant-free two-phase access scheme in which device activity detection and channel estimation are performed jointly using pilot sequences in the first phase and data is transmitted in the second phase. In order to accommodate a large number of simultaneously transmitting devices, this paper studies an asymptotic regime where the BS is equipped with a massive number of antennas. The main contributions of Part I of this paper are as follows. First, we note that as a consequence of having a large pool of potentially active devices but limited coherence time, the pilot sequences cannot all be orthogonal. However, despite the non-orthogonality, this paper shows that in the asymptotic massive multiple-input multiple-output (MIMO) regime, both the missed device detection and the false alarm probabilities for activity detection can always be made to go to zero by utilizing compressed sensing techniques that exploit sparsity in the user activity pattern. Part II of this paper further characterizes the achievable rates using the proposed scheme and quantifies the cost of using non-orthogonal pilot sequences for channel estimation in achievable rates.


title: A New Multiple Access Technique for 5G: Power Domain Sparse Code Multiple Access (PSMA)

abstract: In this paper, a new approach for multiple access (MA) in fifth generation (5G) of cellular networks called power domain sparse code multiple access (PSMA) is proposed. In PSMA, we adopt both the power domain and the code domain to transmit multiple users' signals over a subcarrier simultaneously. In such a model, the same SCMA codebook can be used by multiple users where, for these users, power domain non-orthogonal multiple access (PD-NOMA) technique is used to send signals non-orthogonally. Although different SCMA codebooks are orthogonal and produce no interference over each other, the same codebook used by multiple users produces interference over these users. We investigate the signal model as well as the receiver and transmitter of the PSMA method. To evaluate the performance of PSMA, we consider a heterogeneous cellular network (HetNet). In this case our design objective is to maximize the system sum rate of the network subject to some system level and QoS constraints such as transmit power constraints. We formulate the proposed resource allocation problem as an optimization problem and solve it by successive convex approximation (SCA) techniques. Moreover, we compare PSMA with sparse code multiple access (SCMA) and PD-NOMA from the performance and computational complexity perspective. Finally, the effectiveness of the proposed approach is investigated using numerical results. We show that by a reasonable increase in complexity, PSMA can improve the spectral efficiency about 50\% compared to SCMA and PD-NOMA.


title: Strong-field gravitational-wave emission in Schwarzschild and Kerr geometries: some general considerations

abstract: We show how the concurrent implementation of the exact solutions of the Einstein equations, of the equations of motion of the test particles, and of the relativistic estimate of the emission of gravitational waves from test particles, can establish a priori constraints on the possible phenomena occurring in Nature. Two examples of test particles starting at infinite distance or from finite distance in a circular orbit around a Kerr black hole are considered: the first leads to a well defined gravitational wave burst the second to a smooth merging into the black hole. This analysis is necessary for the study of the waveforms in merging binary systems.


title: Out-colourings of Digraphs

abstract: We study vertex colourings of digraphs so that no out-neighbourhood is monochromatic and call such a colouring an {\bf out-colouring}. The problem of deciding whether a given digraph has an out-colouring with only two colours (called a 2-out-colouring) is ${\cal NP}$-complete. We show that for every choice of positive integers $r,k$ there exists a $k$-strong bipartite tournament which needs at least $r$ colours in every out-colouring. Our main results are on tournaments and semicomplete digraphs. We prove that, except for the Paley tournament $P_7$, every strong semicomplete digraph of minimum out-degree at least 3 has a 2-out-colouring. Furthermore, we show that every semicomplete digraph on at least 7 vertices has a 2-out-colouring if and only if it has a {\bf balanced} such colouring, that is, the difference between the number of vertices that receive colour 1 and colour 2 is at most one. In the second half of the paper we consider the generalization of 2-out-colourings to vertex partitions $(V_1,V_2)$ of a digraph $D$ so that each of the three digraphs induced by respectively, the vertices of $V_1$, the vertices of $V_2$ and all arcs between $V_1$ and $V_2$ have minimum out-degree $k$ for a prescribed integer $k\geq 1$. Using probabilistic arguments we prove that there exists an absolute positive constant $c$ so that every semicomplete digraph of minimum out-degree at least $2k+c\sqrt{k}$ has such a partition. This is tight up to the value of $c$.


title: Black hole thermodynamics and heat engines in conformal gravity

abstract: The extended phase space thermodynamics and heat engines for static spherically symmetric black hole solutions of four dimensional conformal gravity are studied in detail. It is argued that the equation of states (EOS) for such black holes is always branched, any continuous thermodynamical process cannot drive the system from one branch of the EOS into another branch. Meanwhile, the thermodynamical volume is bounded from above, making the black holes always super-entropic in one branch and may also be super-entropic in another branch in certain range of the temperature. The Carnot and Stirling heat engines associated to such black holes are shown to be distinct from each other. For rectangular heat engines, the efficiency always approaches zero when the rectangle becomes extremely narrow, and given the highest and lowest working temperatures fixed, there is always a maximum for the efficiency of such engines.


title: de Sitter invariant special relativity and galaxy rotation curves

abstract: Owing to the existence of an invariant length at the Planck scale, Einstein special relativity breaks down at that scale. A possible solution to this problem is arguably to replace the Poincar\'e invariant Einstein special relativity by a de Sitter invariant special relativity. In addition to reconciling Lorentz symmetry with the existence of an invariant length, such replacement produces concomitant changes in all relativistic theories, including general relativity, which becomes what we have called 'de Sitter modified general relativity'. In this paper, the Newtonian limit of this theory is used to study the circular velocity of stars around the galactic center. It is shown that the de Sitter modified Newtonian force---which includes corrections coming from the underlying local kinematics---could possibly explain the rotation curve of galaxies without the necessity of supposing the existence of a dark matter halo.