title: Magnetization reversal in Py/Gd heterostructures

abstract: Using a combination of magnetometry and magnetotransport techniques, we studied temperature and magnetic field behavior of magnetization in Py/Gd heterostructures. It was shown quantitatively that proximity with Py enhances magnetic order of Gd. Micromagnetic simulations demonstrate that a spin-flop transition observed in a Py/Gd bilayer is due to exchange-spring rotation of magnetization in the Gd layer. Transport measurements show that the magnetoresistance of a [Py(2 nm)/Gd(2 nm)]25 multilayer changes sign at the compensation temperature and below 20 K. The positive magnetoresistance above the compensation temperature can be attributed to an in-plane domain-wall, which appears because of the structural inhomogeneity of the film over its thickness. By measuring the angular dependence of resistance we are able to determine the angle between magnetizations in the multilayer and the magnetic field at different temperatures. The measurement reveals that due to a change of the chemical thickness profile, a non-collinear magnetization configuration is only stable in magnetic fields above 10 kOe.


title: Random sampling of Latin squares via binary contingency tables and probabilistic divide-and-conquer

abstract: We demonstrate a novel approach for the random sampling of Latin squares of order~$n$ via probabilistic divide-and-conquer. The algorithm divides the entries of the table modulo powers of $2$, and samples a corresponding binary contingency table at each level. The sampling distribution is based on the Boltzmann sampling heuristic, along with probabilistic divide-and-conquer.


title: AMAT: Medial Axis Transform for Natural Images

abstract: We introduce Appearance-MAT (AMAT), a generalization of the medial axis transform for natural images, that is framed as a weighted geometric set cover problem. We make the following contributions: i) we extend previous medial point detection methods for color images, by associating each medial point with a local scale; ii) inspired by the invertibility property of the binary MAT, we also associate each medial point with a local encoding that allows us to invert the AMAT, reconstructing the input image; iii) we describe a clustering scheme that takes advantage of the additional scale and appearance information to group individual points into medial branches, providing a shape decomposition of the underlying image regions. In our experiments, we show state-of-the-art performance in medial point detection on Berkeley Medial AXes (BMAX500), a new dataset of medial axes based on the BSDS500 database, and good generalization on the SK506 and WH-SYMMAX datasets. We also measure the quality of reconstructed images from BMAX500, obtained by inverting their computed AMAT. Our approach delivers significantly better reconstruction quality with respect to three baselines, using just 10% of the image pixels. Our code and annotations are available at https://github.com/tsogkas/amat .


title: Detection prospects for the Cosmic Neutrino Background using laser interferometers

abstract: The cosmic neutrino background is a key prediction of Big Bang cosmology which has not been observed yet. The movement of the earth through this neutrino bath creates a force on a pendulum, as if it was exposed to a cosmic wind. We revise here estimates for the resulting pendulum acceleration and compare it to the theoretical sensitivity of an experimental setup where the pendulum position is measured using current laser interferometer technology as employed in gravitational wave detectors. We discuss how a significant improvement of this setup can be envisaged in a micro gravity environment. The proposed setup could simultaneously function as a dark matter detector in the sub-MeV range, which currently eludes direct detection constraints.


title: Post-Quantum Cryptography: A Zero-Knowledge Authentication Protocol

abstract: In this paper, we present a simple bare-bones solution of a Zero-Knowledge authentication protocol which uses non-commutative algebra and a variation of the generalized symmetric decomposition problem (GSDP) as a one-way function. The cryptographic security is assured as long the GSDP problem is computationally hard to solve in non-commutative algebraic structures and belongs currently to the PQC category as no quantum computer attack is likely to exists.


title: An explicit determination of the $K$-theoretic structure constants of the affine Grassmannian associated to $SL_2$

abstract: Let $G:=\widehat{SL_2}$ denote the affine Kac-Moody group associated to $SL_2$ and $\bar{\mathcal{X}}$ the associated affine Grassmannian. We determine an inductive formula for the Schubert basis structure constants in the torus-equivariant Grothendieck group of $\bar{\mathcal{X}}$. In the case of ordinary (non-equivariant) $K$-theory we find an explicit closed form for the structure constants. We also determine an inductive formula for the structure constants in the torus-equivariant cohomology ring, and use this formula to find closed forms for some of the structure constants.


title: Diffraction-Free Bloch Surface Waves

abstract: In this letter, we demonstrate a novel diffraction-free Bloch surface wave (DF-BSW) sustained on all-dielectric multilayers that does not diffract after being passed through three obstacles or across a single mode fiber. It can propagate in a straight line for distances longer than 110 {\mu}m at a wavelength of 633 nm and could be applied as an in-plane optical virtual probe, both in air and in an aqueous environment. The ability to be used in water, its long diffraction-free distance, and its tolerance to multiple obstacles make this DF-BSW ideal for certain applications in areas such as the biological sciences, where many measurements are made on glass surfaces or for which an aqueous environment is required, and for high-speed interconnections between chips, where low loss is necessary. Specifically, the DF-BSW on the dielectric multilayer can be used to develop novel flow cytometry that is based on the surface wave, but not the free space beam, to detect the surface-bound targets.


title: Constraining Reionization with the $z \sim 5-6$ Lyman-$\alpha$ Forest Power Spectrum: the Outlook after Planck

abstract: The latest measurements of CMB electron scattering optical depth reported by Planck significantly reduces the allowed space of HI reionization models, pointing toward a later ending and/or less extended phase transition than previously believed. Reionization impulsively heats the intergalactic medium (IGM) to $\sim10^4$ K, and owing to long cooling and dynamical times in the diffuse gas, comparable to the Hubble time, memory of reionization heating is retained. Therefore, a late ending reionization has significant implications for the structure of the $z\sim5-6$ Lyman-$\alpha$ (ly$\alpha$) forest. Using state-of-the-art hydrodynamical simulations that allow us to vary the timing of reionization and its associated heat injection, we argue that extant thermal signatures from reionization can be detected via the Ly$\alpha$ forest power spectrum at $5< z<6$. This arises because the small-scale cutoff in the power depends not only the the IGM temperature at these epochs, but is also particularly sensitive to the pressure smoothing scale set by the IGM full thermal history. Comparing our different reionization models with existing measurements of the Ly$\alpha$ forest flux power spectrum at $z=5.0-5.4$, we find that models satisfying Planck's $\tau_e$, constraint favor a moderate amount of heat injection consistent with galaxies driving reionization, but disfavoring quasar-driven scenarios. We explore the impact of different reionization histories and heating models on the shape of the power spectrum, and find that they can produce similar effects, but argue that this degeneracy can be broken with high enough quality data. We study the feasibility of measuring the flux power spectrum at $z\simeq 6$ using mock quasar spectra and conclude that a sample of $\sim10$ high-resolution spectra with an attainable signal-to-noise ratio will allow distinguishing between different reionization scenarios.


title: On cardinal characteristics of Yorioka ideals

abstract: Yorioka [J. Symbolic Logic 67(4):1373-1384, 2002] introduced a class of ideals (parametrized by reals) on the Cantor space to prove that the relation between the size of the continuum and the cofinality of the strong measure zero ideal on the real line cannot be decided in ZFC. We construct a matrix iteration of ccc posets to force that, for many ideals in that class, their associated cardinal invariants (i.e. additivity, covering, uniformity and cofinality) are pairwise different. In addition, we show that, consistently, the additivity and cofinality of Yorioka ideals does not coincide with the additivity and cofinality (respectively) of the ideal of Lebesgue measure zero subsets of the real line.


title: A low energy muon spin rotation and point contact tunneling study of niobium films prepared for superconducting cavities

abstract: Point contact tunneling (PCT) and low energy muon spin rotation (LE-muSR) are used to probe, on the same samples, the surface superconducting properties of micrometer thick niobium films deposited onto copper substrates using different sputtereing techniques: diode, dc magnetron (dcMS) and HIPIMS. The combined results are compared to radio-frequency tests performances of RF cavities made with the same processes. Degraded surface superconducting properties are found to yield lower quality factors and stronger Q slope. In addition, both techniques find evidence for surface paramagnetism on all samples and particularly on Nb films prepared by HIPIMS.


title: Informational Substitutes

abstract: We propose definitions of substitutes and complements for pieces of information ("signals") in the context of a decision or optimization problem, with game-theoretic and algorithmic applications. In a game-theoretic context, substitutes capture diminishing marginal value of information to a rational decision maker. We use the definitions to address the question of how and when information is aggregated in prediction markets. Substitutes characterize "best-possible" equilibria with immediate information aggregation, while complements characterize "worst-possible", delayed aggregation. Game-theoretic applications also include settings such as crowdsourcing contests and Q\&A forums. In an algorithmic context, where substitutes capture diminishing marginal improvement of information to an optimization problem, substitutes imply efficient approximation algorithms for a very general class of (adaptive) information acquisition problems. In tandem with these broad applications, we examine the structure and design of informational substitutes and complements. They have equivalent, intuitive definitions from disparate perspectives: submodularity, geometry, and information theory. We also consider the design of scoring rules or optimization problems so as to encourage substitutability or complementarity, with positive and negative results. Taken as a whole, the results give some evidence that, in parallel with substitutable items, informational substitutes play a natural conceptual and formal role in game theory and algorithms.


title: Striped Magnetic Ground State of the Kagome Lattice in Fe4Si2Sn7O16

abstract: We have experimentally identified a new magnetic ground state for the kagome lattice, in the perfectly hexagonal Fe2+ (3d6, S = 2) compound Fe4Si2Sn7O16. Representational symmetry analysis of neutron diffraction data shows that below T_N = 3.5 K, the spins on 2/3 of the magnetic ions order into canted antiferromagnetic chains, separated by the remaining 1/3 which are geometrically frustrated and show no long-range order down to at least T = 0.1 K. Moessbauer spectroscopy confirms that there is no static order on the latter 1/3 of the magnetic ions - i.e., they are in a liquid-like rather than a frozen state - down to at least 1.65 K. A heavily Mn-doped sample Fe1.45Mn2.55Si2Sn7O16 has the same magnetic structure. Although the propagation vector q = (0, 1/2 , 1/2 ) breaks hexagonal symmetry, we see no evidence for magnetostriction in the form of a lattice distortion within the resolution of our data. We discuss the relationship to partially frustrated magnetic order on the pyrochlore lattice of Gd2Ti2O7, and to theoretical models that predict symmetry breaking ground states for perfect kagome lattices.


title: Generalised Lyapunov-Razumikhin techniques for scalar state-dependent delay differential equations

abstract: We present generalised Lyapunov-Razumikhin techniques for establishing global asymptotic stability of steady-state solutions of scalar delay differential equations. When global asymptotic stability cannot be established, the technique can be used to derive bounds on the persistent dynamics. The method is applicable to constant and variable delay problems, and we illustrate the method by applying it to the state-dependent delay differential equation known as the sawtooth equation, to find parameter regions for which the steady-state solution is globally asymptotically stable. We also establish bounds on the periodic orbits that arise when the steady-state is unstable. This technique can be readily extended to apply to other scalar delay differential equations with negative feedback.


title: The Lowest Mass Ratio Planetary Microlens: OGLE 2016-BLG-1195Lb

abstract: We report discovery of the lowest mass ratio exoplanet to be found by the microlensing method in the light curve of the event OGLE~2016--BLG--1195. This planet revealed itself as a small deviation from a microlensing single lens profile from an examination of the survey data soon after the planetary signal. The duration of the planetary signal is $\sim 2.5\,$hours. The measured ratio of the planet mass to its host star is $q = 4.2\pm 0.7 \times10^{-5}$. We further estimate that the lens system is likely to comprise a cold $\sim$3 Earth mass planet in a $\sim\,$2 AU wide orbit around a 0.2 Solar mass star at an overall distance of 7.1 kpc.


title: Bond Energies from a Diatomics-in-Molecules Neural Network

abstract: Neural networks are being used to make new types of empirical chemical models as inexpensive as force fields, but with accuracy close to the ab-initio methods used to build them. Besides modeling potential energy surfaces, neural-nets can provide qualitative insights and make qualitative chemical trends quantitatively predictable. In this work we present a neural-network that predicts the energies of molecules as a sum of bond energies. The network learns the total energies of the popular GDB9 dataset to a competitive MAE of 0.94 kcal/mol. The method is naturally linearly scaling, and applicable to molecules of nanoscopic size. More importantly it gives chemical insight into the relative strengths of bonds as a function of their molecular environment, despite only being trained on total energy information. We show that the network makes predictions of relative bond strengths in good agreement with measured trends and human predictions. We show that DIM-NN learns the same heuristic trends in relative bond strength developed by expert synthetic chemists, and ab-initio bond order measures such as NBO analysis.


title: Enhanced adjoint action and their orbits for the general linear group

abstract: We studied an enhanced adjoint action of the general linear group on a product of its Lie algebra and a vector space consisting of several copies of defining representations and its duals. We determined regular semisimple orbits (i.e., closed orbits of maximal dimension) and the structure of enhanced null cone, including its irreducible components and their dimensions.


title: Regularized Gradient Descent: A Nonconvex Recipe for Fast Joint Blind Deconvolution and Demixing

abstract: We study the question of extracting a sequence of functions $\{\boldsymbol{f}_i, \boldsymbol{g}_i\}_{i=1}^s$ from observing only the sum of their convolutions, i.e., from $\boldsymbol{y} = \sum_{i=1}^s \boldsymbol{f}_i\ast \boldsymbol{g}_i$. While convex optimization techniques are able to solve this joint blind deconvolution-demixing problem provably and robustly under certain conditions, for medium-size or large-size problems we need computationally faster methods without sacrificing the benefits of mathematical rigor that come with convex methods. In this paper, we present a non-convex algorithm which guarantees exact recovery under conditions that are competitive with convex optimization methods, with the additional advantage of being computationally much more efficient. Our two-step algorithm converges to the global minimum linearly and is also robust in the presence of additive noise. While the derived performance bounds are suboptimal in terms of the information-theoretic limit, numerical simulations show remarkable performance even if the number of measurements is close to the number of degrees of freedom. We discuss an application of the proposed framework in wireless communications in connection with the Internet-of-Things.


title: Real-space analysis of scanning tunneling microscopy topography datasets using sparse modeling approach

abstract: A sparse modeling approach is proposed for analyzing scanning tunneling microscopy topography data, which contains numerous peaks corresponding to surface atoms. The method, based on the relevance vector machine with $\mathrm{L}_1$ regularization and $k$-means clustering, enables separation of the peaks and atomic center positioning with accuracy beyond the resolution of the measurement grid. The validity and efficiency of the proposed method are demonstrated using synthetic data in comparison to the conventional least-square method. An application of the proposed method to experimental data of a metallic oxide thin film clearly indicates the existence of defects and corresponding local lattice deformations.


title: Exact Spike Train Inference Via $\ell_0$ Optimization

abstract: In recent years, new technologies in neuroscience have made it possible to measure the activities of large numbers of neurons simultaneously in behaving animals. For each neuron, a fluorescence trace is measured; this can be seen as a first-order approximation of the neuron's activity over time. Determining the exact time at which a neuron spikes on the basis of its fluorescence trace is an important open problem in the field of computational neuroscience. Recently, a convex optimization problem involving an $\ell_1$ penalty was proposed for this task. In this paper, we slightly modify that recent proposal by replacing the $\ell_1$ penalty with an $\ell_0$ penalty. In stark contrast to the conventional wisdom that $\ell_0$ optimization problems are computationally intractable, we show that the resulting optimization problem can be efficiently solved for the global optimum using an extremely simple and efficient dynamic programming algorithm. Our R-language implementation of the proposed algorithm runs in a few minutes on fluorescence traces of $100,000$ timesteps. Furthermore, our proposal leads to substantial improvements over the previous $\ell_1$ proposal, in simulations as well as on two calcium imaging data sets. R-language software for our proposal is available on CRAN in the package LZeroSpikeInference. Instructions for running this software in python can be found at https://github.com/jewellsean/LZeroSpikeInference.


title: Coupling librational and translational motion of a levitated nanoparticle in an optical cavity

abstract: An optically levitated nonspherical nanoparticle can exhibit both librational and translational vibrations due to orientational and translational confinements of the optical tweezer, respectively. Usually, the frequency of its librational mode in a linearly-polarized optical tweezer is much larger than the frequency of its translational mode. Because of the frequency mismatch, the intrinsic coupling between librational and translational modes is very weak in vacuum. Here we propose a scheme to couple its librational and center-of-mass modes with an optical cavity mode. By adiabatically eliminating the cavity mode, the beam splitter Hamiltonian between librational and center-of-mass modes can be realized. We find that high-fidelity quantum state transfer between the librational and translational modes can be achieved with practical parameters. Our work may find applications in sympathetic cooling of multiple modes and quantum information processing.


title: Simplifying the Bible and Wikipedia Using Statistical Machine Translation

abstract: I started this work with the hope of generating a text synthesizer (like a musical synthesizer) that can imitate certain linguistic styles. Most of the report focuses on text simplification using statistical machine translation (SMT) techniques. I applied MOSES to a parallel corpus of the Bible (King James Version and Easy-to-Read Version) and that of Wikipedia articles (normal and simplified). I report the importance of the three main components of SMT---phrase translation, language model, and recording---by changing their weights and comparing the resulting quality of simplified text in terms of METEOR and BLEU. Toward the end of the report will be presented some examples of text "synthesized" into the King James style.


title: Toward an initial mass function for giant planets

abstract: The distribution of exoplanet masses is not primordial. After the initial stage of planet formation is complete, the gravitational interactions between planets can lead to the physical collision of two planets, or the ejection of one or more planets from the system. When this occurs, the remaining planets are typically left in more eccentric orbits. Here we use present-day eccentricities of the observed exoplanet population to reconstruct the initial mass function of exoplanets before the onset of dynamical instability. We developed a Bayesian framework that combines data from N-body simulations with present-day observations to compute a probability distribution for the planets that were ejected or collided in the past. Integrating across the exoplanet population, we obtained an estimate of the initial mass function of exoplanets. We find that the ejected planets are primarily sub-Saturn type planets. While the present-day distribution appears to be bimodal, with peaks around $\sim 1 M_{\rm J}$ and $\sim 20 M_\oplus$, this bimodality does not seem to be primordial. Instead, planets around $\sim 60 M_\oplus$ appear to be preferentially removed by dynamical instabilities. Attempts to reproduce exoplanet populations using population synthesis codes should be mindful of the fact that the present population has been depleted of intermediate-mass planets. Future work should explore how the system architecture and multiplicity might alter our results.


title: The new concepts of measurement error's regularities and effect characteristics

abstract: In several literatures, the authors give a new thinking of measurement theory system based on error non-classification philosophy, which completely overthrows the existing measurement concept system of precision, trueness and accuracy. In this paper, by focusing on the issues of error's regularities and effect characteristics, the authors will do a thematic interpretation, and prove that the error's regularities actually come from different cognitive perspectives, are also unable to be used for classifying errors, and that the error's effect characteristics actually depend on artificial condition rules of repeated measurement, and are still unable to be used for classifying errors. Thus, from the perspectives of error's regularities and effect characteristics, the existing error classification philosophy is still incorrect; and an uncertainty concept system, which must be interpreted by the error non-classification philosophy, naturally becomes the only way out of measurement theory.


title: Second-Order Necessary Conditions for Optimal Control of Semilinear Elliptic Equations with Leading Term Containing Controls

abstract: An optimal control problem for a semilinear elliptic equation of divergence form is considered. Both the leading term and the semilinear term of the state equation contain the control. The well-known Pontryagin type maximum principle for the optimal controls is the first-order necessary condition. When such a first-order necessary condition is singular in some sense, certain type of the second-order necessary condition will come in naturally. The aim of this paper is to explore such kind of conditions for our optimal control problem.


title: The nondegenerate generalized K\"ahler Calabi-Yau problem

abstract: We formulate a Calabi-Yau type conjecture in generalized K\"ahler geometry, focusing on the case of nondegenerate Poisson structure. After defining natural Hamiltonian deformation spaces for generalized K\"ahler structures generalizing the notion of K\"ahler class, we conjecture unique solvability of Gualtieri's Calabi-Yau equation within this class. We establish the uniqueness, and moreover show that all such solutions are actually hyper-K\"ahler metrics. We furthermore establish a GIT framework for this problem, interpreting solutions of this equation as zeros of a moment map associated to a Hamiltonian action and finding a Kempf-Ness functional. Lastly we indicate the naturality of generalized K\"ahler-Ricci flow in this setting, showing that it evolves within the given Hamiltonian deformation class, and that the Kempf-Ness functional is monotone, so that the only possible fixed points for the flow are hyper-K\"ahler metrics. On a hyper-K\"ahler background, we establish global existence and weak convergence of the flow.


title: More is Less: A More Complicated Network with Less Inference Complexity

abstract: In this paper, we present a novel and general network structure towards accelerating the inference process of convolutional neural networks, which is more complicated in network structure yet with less inference complexity. The core idea is to equip each original convolutional layer with another low-cost collaborative layer (LCCL), and the element-wise multiplication of the ReLU outputs of these two parallel layers produces the layer-wise output. The combined layer is potentially more discriminative than the original convolutional layer, and its inference is faster for two reasons: 1) the zero cells of the LCCL feature maps will remain zero after element-wise multiplication, and thus it is safe to skip the calculation of the corresponding high-cost convolution in the original convolutional layer, 2) LCCL is very fast if it is implemented as a 1*1 convolution or only a single filter shared by all channels. Extensive experiments on the CIFAR-10, CIFAR-100 and ILSCRC-2012 benchmarks show that our proposed network structure can accelerate the inference process by 32\% on average with negligible performance drop.


title: Perfect codes in circulant graphs

abstract: A perfect code in a graph $\Gamma = (V, E)$ is a subset $C$ of $V$ that is an independent set such that every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. A total perfect code in $\Gamma$ is a subset $C$ of $V$ such that every vertex of $V$ is adjacent to exactly one vertex in $C$. A perfect code in the Hamming graph $H(n, q)$ agrees with a $q$-ary perfect 1-code of length $n$ in the classical setting. In this paper we give a necessary and sufficient condition for a circulant graph of degree $p-1$ to admit a perfect code, where $p$ is an odd prime. We also obtain a necessary and sufficient condition for a circulant graph of order $n$ and degree $p^l-1$ to have a perfect code, where $p$ is a prime and $p^l$ the largest power of $p$ dividing $n$. Similar results for total perfect codes are also obtained in the paper.


title: Gaussian Processes with Context-Supported Priors for Active Object Localization

abstract: We devise an algorithm using a Bayesian optimization framework in conjunction with contextual visual data for the efficient localization of objects in still images. Recent research has demonstrated substantial progress in object localization and related tasks for computer vision. However, many current state-of-the-art object localization procedures still suffer from inaccuracy and inefficiency, in addition to failing to provide a principled and interpretable system amenable to high-level vision tasks. We address these issues with the current research. Our method encompasses an active search procedure that uses contextual data to generate initial bounding-box proposals for a target object. We train a convolutional neural network to approximate an offset distance from the target object. Next, we use a Gaussian Process to model this offset response signal over the search space of the target. We then employ a Bayesian active search for accurate localization of the target. In experiments, we compare our approach to a state-of-theart bounding-box regression method for a challenging pedestrian localization task. Our method exhibits a substantial improvement over this baseline regression method.


title: Universal ratios of critical physical quantities of charged AdS black holes

abstract: We investigate the ratios of critical physical quantities related to the $T-S$ criticality of charged AdS black holes. It is shown that the ratio $\frac{T_cS_c}{Q_c}$ is universal while $\frac{T_cr_c}{Q_c}$ is not. This finding is quite interesting considering the former observation that both the $T-S$ graph and $T-r_+$ graph exhibit reverse van der Waals behavior. It is also worth noting that the value of $\frac{T_cS_c}{Q_c}$ differs from that of $\frac{P_cv_c}{T_c}$ for $P-V$ criticality. Moreover, we discuss universal ratios for the $P-V$ criticality and $Q-\Phi$ criticality. We successfully interpret the former finding that the ratio $\frac{\Phi_cQ_c}{T_c}$ is not universal and construct two universal ratios for the $Q-\Phi$ criticality instead. To the best of our knowledge, we are the first to introduce the dimensional analysis technique to study the ratios of critical physical quantities. It is expected that this technique can be generalized to probe the universal ratios for $Y-X$ criticality in future research.


title: Quantum Black Holes as the Link Between Microphysics and Macrophysics

abstract: There appears to be a duality between elementary particles, which span the mass range below the Planck scale, and black holes, which span the mass range range above it. In particular, the Black Hole Uncertainty Principle Correspondence posits a smooth transition between the Compton and Schwarzschild scales as a function of mass. This suggests that all black holes are in some sense quantum, that elementary particles can be interpreted as sub-Planckian black holes, and that there is a subtle connection between quantum and classical physics.


title: S-shaped suppression of the superconducting transition temperature in Cu-intercalated NbSe2

abstract: 2H-NbSe2 is the prototype and most frequently studied of the well-known transition metal dichalcogenide (TMDC) superconductors. Widely acknowledged to be a conventional superconductor, its transition temperature to the superconducting state (Tc) is 7.3 K - a Tc that is substantially higher than those seen for the majority of TMDCs, where Tcs between 2 and 4 K are the norm. Here we report the intercalation of Cu into 2H-NbSe2 to make CuxNbSe2. As is typically found when chemically altering an optimal superconductor, Tc decreases with increasing x, but the way that Tc is suppressed in this case is unusual - an S-shaped character is observed, with an inflection point near x = 0.03 and, at higher x, a leveling off of the Tc near 3 K - down to the usual value for a layered TMDC. Electronic characterization reveals corresponding S-like behavior for many of the materials parameters that influence Tc. To illustrate its character, the superconducting phase diagram for CuxNbSe2 is contrasted to those of FexNbSe2 and NbSe2-xSx.


title: Multipair Massive MIMO Relaying Systems with One-Bit ADCs and DACs

abstract: This paper considers a multipair amplify-and-forward massive MIMO relaying system with one-bit ADCs and one-bit DACs at the relay. The channel state information is estimated via pilot training, and then utilized by the relay to perform simple maximum-ratio combining/maximum-ratio transmission processing. Leveraging on the Bussgang decomposition, an exact achievable rate is derived for the system with correlated quantization noise. Based on this, a closed-form asymptotic approximation for the achievable rate is presented, thereby enabling efficient evaluation of the impact of key parameters on the system performance. Furthermore, power scaling laws are characterized to study the potential energy efficiency associated with deploying massive one-bit antenna arrays at the relay. In addition, a power allocation strategy is designed to compensate for the rate degradation caused by the coarse quantization. Our results suggest that the quality of the channel estimates depends on the specific orthogonal pilot sequences that are used, contrary to unquantized systems where any set of orthogonal pilot sequences gives the same result. Moreover, the sum rate gap between the double-quantized relay system and an ideal non-quantized system is a moderate factor of $4/\pi^2$ in the low power regime.


title: Maximizing the area of intersection of rectangles

abstract: This paper attacks the following problem. We are given a large number $N$ of rectangles in the plane, each with horizontal and vertical sides, and also a number $r<N$. The given list of $N$ rectangles may contain duplicates. The problem is to find $r$ of these rectangles, such that, if they are discarded, then the intersection of the remaining $(N-r)$ rectangles has an intersection with as large an area as possible. We will find an upper bound, depending only on $N$ and $r$, and not on the particular data presented, for the number of steps needed to run the algorithm on (a mathematical model of) a computer. In fact our algorithm is able to determine, for each $s\le r$, $s$ rectangles from the given list of $N$ rectangles, such that the remaining $(N-s)$ rectangles have as large an area as possible, and this takes hardly any more time than taking care only of the case $s=r$. Our algorithm extends to $d$-dimensional rectangles. Our method is to exhaustively examine all possible intersections---this is much faster than it sounds, because we do not need to examine all $\binom Ns$ subsets in order to find all possible intersection rectangles. For an extreme example, suppose the rectangles are nested, for example concentric squares of distinct sizes, then the only intersections examined are the smallest $s+1$ rectangles.


title: Establishing correspondence between the reformulation of quantum mechanics without a potential function and the conventional formulation

abstract: Within the recent reformulation of quantum mechanics where a potential function is not required, we show how to reconstruct the potential so that a correspondence with the standard formulation could be established. However, severe restriction is placed by the correspondence on the kinematics of such problems.


title: Experimental realization of purely excitonic lasing in ZnO microcrystals at room temperature: transition from exciton-exciton to exciton-electron scattering

abstract: Since the seminal observation of room-temperature laser emission from ZnO thin films and nanowires, numerous attempts have been carried out for detailed understanding of the lasing mechanism in ZnO. In spite of the extensive efforts performed over the last decades, the origin of optical gain at room temperature is still a matter of considerable discussion,. We show that ZnO microcrystals with a size of a few micrometers exhibit purely excitonic lasing at room temperature without showing any symptoms of electron-hole plasma emission. We then present the distinct experimental evidence that the room-temperature excitonic lasing is achieved not by exciton-exciton scattering, as has been generally believed, but by exciton-electron scattering. As the temperature is lowered below ~150 K, the lasing mechanism is shifted from the exciton-electron scattering to the exciton-exciton scattering. We also argue that the ease of carrier diffusion plays a significant role in showing room-temperature excitonic lasing.


title: Modeling and control of modern wind turbine systems: An introduction

abstract: This chapter provides an introduction to the modeling and control of power generation from wind turbine systems. In modeling, the focus is on the electrical components: electrical machine (e.g. permanent-magnet synchronous generators), back-to-back converter (consisting of machine-side and grid-side converter sharing a common DC-link), mains filters and ideal (balanced) power grid. The aerodynamics and the torque generation of the wind turbine are explained in simplified terms using a so-called power coefficient. The overall control system is considered. In particular, the phase-locked loop system for grid-side voltage orientation, the nonlinear speed control system for the generator (and turbine), and the non-minimum phase DC-link voltage control system are discussed in detail; based on a brief derivation of the underlying machine-side and grid-side current control systems. With the help of the power balance of the wind turbine, the operation management and the control of the power flow are explained. Concluding simulation results illustrate the overall system behavior of a controlled wind turbine with a permanent-magnet synchronous generator.


title: Static Black Holes With Back Reaction From Vacuum Energy

abstract: We study spherically symmetric static solutions to the semi-classical Einstein equation sourced by the vacuum energy of quantum fields in the curved space-time of the same solution. We found solutions that are small deformations of the Schwarzschild metric for distant observers, but without horizon. Instead of being a robust feature of objects with high densities, the horizon is sensitive to the energy-momentum tensor in the near-horizon region.


title: Ultrasensitive quantification of dextran sulfate by a mix-and-read fluorescent probe assay

abstract: Dextran sulfate is semi-synthetic, polydisperse sulfated polysaccharide with important applications in clinical practice, in the manufacturing of plasma derived protein therapeutics and in biomedical research. The sensitive detection of dextran sulfate is relevant to preclinical and clinical drug development projects, the quality control of pharmaceutic formulations, and the process control in plasma fractionation using dextran sulfate modified chromatographic columns. Most analytical methods for the sensitive detection of dextran sulfate require multistep protcols and have not been transferred into commercial formats. We describe here the direct quantification of dextran sulfate using the commercially available molecular probe Heparin Red, by a simple mix-and-read fluorescence assay. With a sensitive benchtop fluorimeter, a quantification limit of 310 picogram per mL dextran sulfate is achieved. This is superior by at least one order of magnitude to the quantification or detection limit of other reported methods. The outstanding simplicity and sensitivity establish Heparin Red as a new analytical tool for the determination of dextran sulfate.


title: Peterson Isomorphism in $K$-theory and Relativistic Toda Lattice

abstract: The $K$-homology ring of the affine Grassmannian of $SL_n(C)$ was studied by Lam, Schilling, and Shimozono. It is realized as a certain concrete Hopf subring of the ring of symmetric functions. On the other hand, for the quantum $K$-theory of the flag variety $Fl_n$, Kirillov and Maeno provided a conjectural presentation based on the results obtained by Givental and Lee. We construct an explicit birational morphism between the spectrums of these two rings. Our method relies on Ruijsenaars's relativistic Toda lattice with unipotent initial condition. From this result, we obtain a $K$-theory analogue of the so-called Peterson isomorphism for (co)homology. We provide a conjecture on the detailed relationship between the Schubert bases, and, in particular, we determine the image of Lenart--Maeno's quantum Grothendieck polynomial associated with a Grassmannian permutation.


title: Full likelihood inference for max-stable data

abstract: We show how to perform full likelihood inference for max-stable multivariate distributions or processes based on a stochastic Expectation-Maximisation algorithm, which combines statistical and computational efficiency in high-dimensions. The good performance of this methodology is demonstrated by simulation based on the popular logistic and Brown--Resnick models, and it is shown to provide dramatic computational time improvements with respect to a direct computation of the likelihood. Strategies to further reduce the computational burden are also discussed.


title: Efficient Deterministic Secure Quantum Communication protocols using multipartite entangled states

abstract: We propose two deterministic secure quantum communication (DSQC) protocols employing three-qubit GHZ-like states and five-qubit Brown states as quantum channels for secure transmission of information in units of two bits and three bits using multipartite teleportation schemes developed here. In these schemes, the sender's capability in selecting quantum channels and the measuring bases leads to improved qubit efficiency of the protocols.


title: Exploration--Exploitation in MDPs with Options

abstract: While a large body of empirical results show that temporally-extended actions and options may significantly affect the learning performance of an agent, the theoretical understanding of how and when options can be beneficial in online reinforcement learning is relatively limited. In this paper, we derive an upper and lower bound on the regret of a variant of UCRL using options. While we first analyze the algorithm in the general case of semi-Markov decision processes (SMDPs), we show how these results can be translated to the specific case of MDPs with options and we illustrate simple scenarios in which the regret of learning with options can be \textit{provably} much smaller than the regret suffered when learning with primitive actions.


title: Enumerating k-Vertex Connected Components in Large Graphs

abstract: Cohesive subgraph detection is an important graph problem that is widely applied in many application domains, such as social community detection, network visualization, and network topology analysis. Most of existing cohesive subgraph metrics can guarantee good structural properties but may cause the free-rider effect. Here, by free-rider effect, we mean that some irrelevant subgraphs are combined as one subgraph if they only share a small number of vertices and edges. In this paper, we study k-vertex connected component (k-VCC) which can effectively eliminate the free-rider effect but less studied in the literature. A k-VCC is a connected subgraph in which the removal of any k-1 vertices will not disconnect the subgraph. In addition to eliminating the free-rider effect, k-VCC also has other advantages such as bounded diameter, high cohesiveness, bounded graph overlapping, and bounded subgraph number. We propose a polynomial time algorithm to enumerate all k-VCCs of a graph by recursively partitioning the graph into overlapped subgraphs. We find that the key to improving the algorithm is reducing the number of local connectivity testings. Therefore, we propose two effective optimization strategies, namely neighbor sweep and group sweep, to largely reduce the number of local connectivity testings. We conduct extensive performance studies using seven large real datasets to demonstrate the effectiveness of this model as well as the efficiency of our proposed algorithms.


title: Supersymmetric Black Holes and Freudenthal Duality

abstract: We study the effect of Freudenthal duality on supersymmetric extremal black hole attractors in N = 2, D = 4 ungauged supergravity. Freudenthal duality acts on the dyonic black hole charges as an anti-involution which keeps the black hole entropy and the critical points of the effective black hole potential invariant. We analyze its effect on the recently discovered distinct, mutually exclusive phases of axionic supersymmetric black holes, related to the existence of non-trivial involutory constant matrices. In particular, we consider a supersymmetric D0-D4-D6 black hole and we explicitly Freudenthal-map it to a supersymmetric D0-D2-D4-D6 black hole. We thus show that the charge representation space of a supersymmetric D0-D2-D4-D6 black hole also contains mutually exclusive domains.


title: Chebyshev, Legendre, Hermite and other orthonormal polynomials in D-dimensions

abstract: We propose a general method to construct symmetric tensor polynomials in the D-dimensional Euclidean space which are orthonormal under a general weight. The D-dimensional Hermite polynomials are a particular case of the present ones for the case of a gaussian weight. Hence we obtain generalizations of the Legendre and of the Chebyshev polynomials in D dimensions that reduce to the respective well-known orthonormal polynomials in D=1 dimensions. We also obtain new D-dimensional polynomials orthonormal under other weights, such as the Fermi-Dirac, Bose-Einstein, Graphene equilibrium distribution functions and the Yukawa potential. We calculate the series expansion of an arbitrary function in terms of the new polynomials up to the fourth order and define orthonormal multipoles. The explicit orthonormalization of the polynomials up to the fifth order (N from 0 to 4) reveals an increasing number of orthonormalization equations that matches exactly the number of polynomial coefficients indication the correctness of the present procedure.


title: Towards solving the mass-composition problem in ultra high energy cosmic rays

abstract: Using the Auger mass-composition analysis of ultra high energy cosmic rays, based on the shape-fitting of $X_{max}$ distributions, we demonstrate that mass composition and energy spectra measured by Auger, Telescope Array and HiRes can be brought into good agreement. The shape-fitting analysis of $X_{max}$ distributions shows that the measured sum of proton and Helium fractions, for some hadronic-interaction models, can saturate the total flux. Such p+He model, with small admixture of other light nuclei, naturally follows from cosmology with recombination and reheating phases. The most radical assumption of the presented model is the assumed unreliability of the experimental separation of Helium and protons, which allows to consider He/p ratio as a free parameter. The results presented here show that the models with dominant p+He composition explain well the energy spectrum of the dip in the latest (2015 - 2017) data of Auger and Telescope Array, but have some tension at the highest energies with the expected Greisen-Zatsepin-Kuzmin cutoff. The Auger-Prime upgrade experiment has a great potential to reject or confirm this model.


title: On the $h$-vector of ($S_r$) simplicial complexes

abstract: We give a negative answer to a question proposed in [3], regarding the $h$-vector of ($S_r$) simplicial complexes.


title: Derivation of Semiclassical Kinetic Theory in the Presence of Non-Abelian Berry Curvature

abstract: In quantum mechanics it is often required to describe in a semiclassical approximation the motion of particles moving within a given energy band. Such a representation leads to the appearance of an analogues of fictitious forces in the semiclassical equations of motion associated with the Berry curvature. The purpose of this paper is to derive systematically the kinetic Boltzmann equations displaying these effects in the case that the band is degenerate, and as such the Berry curvature is non-Abelian. We use the formalism of phase-space quantum mechanics to derive the results.


title: Lepton Portal Limit of Inert Higgs Doublet Dark Matter with Radiative Neutrino Mass

abstract: We study an extension of the Inert Higgs Doublet Model (IHDM) by three copies of right handed neutrinos and heavy charged leptons such that both the inert Higgs doublet and the heavy fermions are odd under the $Z_2$ symmetry of the model. The neutrino masses are generated at one loop in the scotogenic fashion. Assuming the neutral scalar of the inert Higgs to be the dark matter candidate, we particularly look into the region of parameter space where dark matter relic abundance is primarily governed by the inert Higgs coupling with the leptons. This corresponds to tiny Higgs portal coupling of dark matter as well as large mass splitting within different components of the inert Higgs doublet suppressing the coannihilations. Such lepton portal couplings can still produce the correct relic abundance even if the Higgs portal couplings are arbitrarily small. Such tiny Higgs portal couplings may be responsible for suppressed dark matter nucleon cross section as well as tiny invisible branching ratio of the standard model Higgs, to be probed at ongoing and future experiments. We also briefly discuss the collider implications of such a scenario.


title: The (theta, wheel)-free graphs Part II: structure theorem

abstract: A theta is a graph formed by three paths between the same pair of distinct vertices so that the union of any two of the paths induces a hole. A wheel is a graph formed by a hole and a node that has at least 3 neighbors in the hole. In this paper we obtain a decomposition theorem for the class of graphs that do not contain an induced subgraph isomorphic to a theta or a wheel, i.e. the class of (theta, wheel)-free graphs. The decomposition theorem uses clique cutsets and 2-joins. Clique cutsets are vertex cutsets that work really well in decomposition based algorithms, but are unfortunately not general enough to decompose more complex hereditary graph classes. A 2-join is an edge cutset that appeared in decomposition theorems of several complex classes, such as perfect graphs, even-hole-free graphs and others. In these decomposition theorems 2-joins are used together with vertex cutsets that are more general than clique cutsets, such as star cutsets and their generalizations (which are much harder to use in algorithms). This is a first example of a decomposition theorem that uses just the combination of clique cutsets and 2-joins. This has several consequences. First, we can easily transform our decomposition theorem into a complete structure theorem for (theta, wheel)-free graphs, i.e. we show how every (theta, wheel)-free graph can be built starting from basic graphs that can be explicitly constructed, and gluing them together by prescribed composition operations; and all graphs built this way are (theta, wheel)-free. Such structure theorems are very rare for hereditary graph classes, only a few examples are known. Secondly, we obtain an $\mathcal O (n^4m)$-time decomposition based recognition algorithm for (theta, wheel)-free graphs. Finally, in Parts III and IV of this series, we give further applications of our decomposition theorem.


title: Statistical and Computational Tradeoff in Genetic Algorithm-Based Estimation

abstract: When a Genetic Algorithm (GA), or a stochastic algorithm in general, is employed in a statistical problem, the obtained result is affected by both variability due to sampling, that refers to the fact that only a sample is observed, and variability due to the stochastic elements of the algorithm. This topic can be easily set in a framework of statistical and computational tradeoff question, crucial in recent problems, for which statisticians must carefully set statistical and computational part of the analysis, taking account of some resource or time constraints. In the present work we analyze estimation problems tackled by GAs, for which variability of estimates can be decomposed in the two sources of variability, considering some constraints in the form of cost functions, related to both data acquisition and runtime of the algorithm. Simulation studies will be presented to discuss the statistical and computational tradeoff question.


title: Reconsideration of the $B \to K^*$ Transition Form Factors within the QCD Light-Cone Sum Rules

abstract: In this paper, we study the $B \to K^*$ transition form factors (TFFs) within the QCD light-cone sum rules (LCSR) approach. Two correlators, i.e. the usual one and the right-handed one, are adopted in the LCSR calculation. The resultant LCSRs for the $B \to K^*$ TFFs are arranged according to the twist structure of the $K^*$-meson light-cone distribution amplitudes (LCDAs), whose twist-2, twist-3 and twist-4 terms behave quite differently by using different correlators. We observe that the twist-4 LCDAs, though generally small, shall have sizable contributions to the TFFs $A_{1/2}$, $V$ and $T_1$, thus the twist-4 terms should be kept for a sound prediction. We also observe that even though different choices of the correlator lead to different LCSRs with different twist contributions, the large correlation coefficients for most of the TFFs indicate that the LCSRs for different correlators are close to each order, not only for their values at the large recoil point $q^2=0$ but also for their ascending trends in whole $q^2$-region. Such a high degree of correlation is confirmed by their application to the branching fraction of the semi-leptonic decay $B \to K^* \mu^+ \mu^-$. Thus, a proper choice of correlator may inversely provide a chance for probing uncertain LCDAs, i.e. the contributions from those LCDAs can be amplified to a certain degree via a proper choice of correlator, thus amplifying the sensitivity of the TFFs, and hence their related observables, to those LCDAs.


title: Fast-slow asymptotic for semi-analytical ignition criteria in FitzHugh-Nagumo system

abstract: We study the problem of initiation of excitation waves in the FitzHugh-Nagumo model. Our approach follows earlier works and is based on the idea of approximating the boundary between basins of attraction of propagating waves and of the resting state as the stable manifold of a critical solution. Here, we obtain analytical expressions for the essential ingredients of the theory by singular perturbation using two small parameters, the separation of time scales of the activator and inhibitor, and the threshold in the activator's kinetics. This results in a closed analytical expression for the strength-duration curve.


title: The Fractal Dimension of Interfaces in Edwards-Anderson and Long-range Ising Spin Glasses: Determining the Applicability of Different Theoretical Descriptions

abstract: The fractal dimension of excitations in glassy systems gives information on the critical dimension at which the droplet picture of spin glasses changes to a description based on replica symmetry breaking where the interfaces are space filling. Here, the fractal dimension of domain-wall interfaces is studied using the strong-disorder renormalization group method pioneered by Monthus [Fractals 23, 1550042 (2015)] both for the Edwards-Anderson spin-glass model in up to 8 space dimensions, as well as for the one-dimensional long-ranged Ising spin-glass with power-law interactions. Analyzing the fractal dimension of domain walls, we find that replica symmetry is broken in high-enough space dimensions. Because our results for high-dimensional hypercubic lattices are limited by their small size, we have also studied the behavior of the one-dimensional long-range Ising spin-glass with power-law interactions. For the regime where the power of the decay of the spin-spin interactions with their separation distance corresponds to 6 and higher effective space dimensions, we find again the broken replica symmetry result of space filling excitations. This is not the case for smaller effective space dimensions. These results show that the dimensionality of the spin glass determines which theoretical description is appropriate. Our results will also be of relevance to the Gardner transition of structural glasses.


title: Highly anisotropic superconducting gaps and possible evidence of antiferromagnetic order in FeSe single crystals

abstract: Specific heat has been measured in FeSe single crystals down to 0.414 K under magnetic fields up to 16 T. A sharp specific heat anomaly at about 8.2 K is observed and is related to the superconducting transition. Another jump of specific heat is observed at about 1.08 K which may either reflect an antiferromagnetic transition of the system or a superconducting transition arising from Al impurity. We would argue that this anomaly in low temperature region may be the long sought antiferromagnetic transition in FeSe. Global fitting in wide temperature region shows that the models with a single contribution with isotropic s-wave, anisotropic s-wave, and d-wave gap all do not work well, nor the two isotropic s-wave gaps. We then fit the data by a model with two components in which one has the gap function of $\Delta_0(1+\alpha cos2\theta)$. To have a good global fitting and the entropy conservation for the low temperature transition, we reach a conclusion that the gap minimum should be smaller than 0.15 meV ($\alpha$ = 0.9 to 1), indicating that the superconducting gap(s) are highly anisotropic. Our results are very consistent with the gap structure derived recently from the scanning tunneling spectroscopy measurements and yield specific heat contributions of about 32\% weight from the hole pocket and 68\% from the electron pockets.


title: Heavy-flavour measurements in p-Pb collisions with ALICE at the LHC

abstract: The measurements of open heavy-flavours, i.e. D mesons at central rapidity and leptons from charm and beauty decays at central and forward rapidity was studied in p-Pb collisions at $\sqrt{s_{{\rm{NN}}}}$ = 5.02 TeV using the ALICE detector. The results are presented and compared to model predictions including cold nuclear matter effects.


title: Electronic structure of FeS

abstract: Here we report the electronic structure of FeS, a recently identified iron-based superconductor. Our high-resolution angle-resolved photoemission spectroscopy studies show two hole-like ($\alpha$ and $\beta$) and two electron-like ($\eta$ and $\delta$) Fermi pockets around the Brillouin zone center and corner, respectively, all of which exhibit moderate dispersion along $k_z$. However, a third hole-like band ($\gamma$) is not observed, which is expected around the zone center from band calculations and is common in iron-based superconductors. Since this band has the highest renormalization factor and is known to be the most vulnerable to defects, its absence in our data is likely due to defect scattering --- and yet superconductivity can exist without coherent quasiparticles in the $\gamma$ band. This may help resolve the current controversy on the superconducting gap structure of FeS. Moreover, by comparing the $\beta$ bandwidths of various iron chalcogenides, including FeS, FeSe$_{1-x}$S$_x$, FeSe, and FeSe$_{1-x}$ Te$_x$, we find that the $\beta$ bandwidth of FeS is the broadest. However, the band renormalization factor of FeS is still quite large, when compared with the band calculations, which indicates sizable electron correlations. This explains why the unconventional superconductivity can persist over such a broad range of isovalent substitution in FeSe$_{1-x}$Te$_{x}$ and FeSe$_{1-x}$S$_{x}$.


title: Applied Type System: An Approach to Practical Programming with Theorem-Proving

abstract: The framework Pure Type System (PTS) offers a simple and general approach to designing and formalizing type systems. However, in the presence of dependent types, there often exist certain acute problems that make it difficult for PTS to directly accommodate many common realistic programming features such as general recursion, recursive types, effects (e.g., exceptions, references, input/output), etc. In this paper, Applied Type System (ATS) is presented as a framework for designing and formalizing type systems in support of practical programming with advanced types (including dependent types). In particular, it is demonstrated that ATS can readily accommodate a paradigm referred to as programming with theorem-proving (PwTP) in which programs and proofs are constructed in a syntactically intertwined manner, yielding a practical approach to internalizing constraint-solving needed during type-checking. The key salient feature of ATS lies in a complete separation between statics, where types are formed and reasoned about, and dynamics, where programs are constructed and evaluated. With this separation, it is no longer possible for a program to occur in a type as is otherwise allowed in PTS. The paper contains not only a formal development of ATS but also some examples taken from ats-lang.org, a programming language with a type system rooted in ATS, in support of employing ATS as a framework to formulate advanced type systems for practical programming.


title: On Completely Regular Codes

abstract: This work is a survey on completely regular codes. Known properties, relations with other combinatorial structures and constructions are stated. The existence problem is also discussed and known results for some particular cases are established. In particular, we present a few new results on completely regular codes with covering radius 2 and on extended completely regular codes.


title: Thespis: Actor-Based Middleware for Causal Consistency

abstract: This paper provides a survey of the current state of the art in Causally-Consistent data stores. Furthermore, we present the design of Thespis, a middleware that innovatively leverages the Actor model to implement causal consistency over an industry-standard data store.


title: Entropic uncertainty relations for Markovian and non-Markovian processes under a structured bosonic reservoir

abstract: The uncertainty relation is a fundamental limit in quantum mechanics and is of great importance to quantum information processing as it relates to quantum precision measurement. Due to interactions with the surrounding environment, a quantum system will unavoidably suffer from decoherence. Here, we investigate the dynamic behaviors of the entropic uncertainty relation of an atom-cavity interacting system under a bosonic reservoir during the crossover between Markovian and non-Markovian regimes. Specifically, we explore the dynamic behavior of the entropic uncertainty relation for a pair of incompatible observables under the reservoir-induced atomic decay effect both with and without quantum memory. We find that the uncertainty dramatically depends on both the atom-cavity and the cavity-reservoir interactions, as well as the correlation time, $\tau$, of the structured reservoir. Furthermore, we verify that the uncertainty is anti-correlated with the purity of the state of the observed qubit-system. We also propose a remarkably simple and efficient way to reduce the uncertainty by utilizing quantum weak measurement reversal. Therefore our work offers a new insight into the uncertainty dynamics for multi-component measurements within an open system, and is thus important for quantum precision measurements.


title: A homotopy theory of Nakaoka twin cotorsion pairs

abstract: We show that the Verdier quotients can be realized as subfactors by the homotopy theory of additive categories with suspensions developed in \cite{ZWLi2, ZWLi3}. As applications, we develop the homotopy theory of Nakaoka twin cotorsion pairs of triangulated categories and prove that Iyama-Yoshino triangulated subfactors are Verdier quotients under suitable conditions.


title: Sardinia Radio Telescope observations of Abell 194 - the intra-cluster magnetic field power spectrum

abstract: We study the intra-cluster magnetic field in the poor galaxy cluster Abell 194 by complementing radio data, at different frequencies, with data in the optical and X-ray bands. We analyze new total intensity and polarization observations of Abell 194 obtained with the Sardinia Radio Telescope (SRT). We use the SRT data in combination with archival Very Large Array observations to derive both the spectral aging and Rotation Measure (RM) images of the radio galaxies 3C40A and 3C40B embedded in Abell 194. The optical analysis indicates that Abell 194 does not show a major and recent cluster merger, but rather agrees with a scenario of accretion of small groups. Under the minimum energy assumption, the lifetimes of synchrotron electrons in 3C40B measured from the spectral break are found to be 157 Myrs. The break frequency image and the electron density profile inferred from the X-ray emission are used in combination with the RM data to constrain the intra-cluster magnetic field power spectrum. By assuming a Kolmogorov power law power spectrum, we find that the RM data in Abell 194 are well described by a magnetic field with a maximum scale of fluctuations of Lambda_max=64 kpc and a central magnetic field strength of <B0>=1.5 microG. Further out, the field decreases with the radius following the gas density to the power of eta=1.1. Comparing Abell 194 with a small sample of galaxy clusters, there is a hint of a trend between central electron densities and magnetic field strengths.


title: Sur les $\ell$-blocs de niveau z\'ero des groupes $p$-adiques

abstract: Let $G$ be a $p$-adic group that splits over an unramified extension. We decompose $Rep_{\Lambda}^{0}(G)$, the abelian category of smooth level $0$ representations of $G$ with coefficients in $\Lambda=\overline{\mathbb{Q}}_{\ell}$ or $\overline{\mathbb{Z}}_{\ell}$, into a product of subcategories indexed by inertial Langlands parameters. We construct these categories via systems of idempotents on the Bruhat-Tits building and Deligne-Lusztig theory. Then, we prove compatibilities with parabolic induction and restriction functors and the local Langlands correspondence.


title: The fraction of cool-core clusters in X-ray vs. SZ samples using Chandra observations

abstract: We derive and compare the fractions of cool-core clusters in the {\em Planck} Early Sunyaev-Zel'dovich sample of 164 clusters with $z \leq 0.35$ and in a flux-limited X-ray sample of 100 clusters with $z \leq 0.30$, using {\em Chandra} observations. We use four metrics to identify cool-core clusters: 1) the concentration parameter: the ratio of the integrated emissivity profile within 0.15 $r_{500}$ to that within $r_{500}$, and 2) the ratio of the integrated emissivity profile within 40 kpc to that within 400 kpc, 3) the cuspiness of the gas density profile: the negative of the logarithmic derivative of the gas density with respect to the radius, measured at 0.04 $r_{500}$, and 4) the central gas density, measured at 0.01 $r_{500}$. We find that the sample of X-ray selected clusters, as characterized by each of these metrics, contains a significantly larger fraction of cool-core clusters compared to the sample of SZ selected clusters (44$\pm$7\% vs. 28$\pm$4\% using the concentration parameter in the 0.15--1.0 $r_{500}$ range, 61$\pm$8\% vs. 36$\pm$5\% using the concentration parameter in the 40--400 kpc range, 64$\pm$8\% vs. 38$\pm$5\% using the cuspiness, and 53$\pm$7\% vs. 39$\pm$5\% using the central gas density). Qualitatively, cool-core clusters are more X-ray luminous at fixed mass. Hence, our X-ray flux-limited sample, compared to the approximately mass-limited SZ sample, is over-represented with cool-core clusters. We describe a simple quantitative model that uses the excess luminosity of cool-core clusters compared to non-cool-core clusters at fixed mass to successfully predict the observed fraction of cool-core clusters in X-ray selected samples.


title: $d^0$ half-metallic ferromagnetism in CaN and CaAs pnictides: An ab initio study

abstract: Conventional magnetism occurs in systems which contain transition metals or rare earth ions with partially filled $d$ or $f$ shells. It is theoretically predicted that compounds of groups IA and IIA with IV and V, in some structural phases, are ferromagnetic half-metals which made them new candidates for spintronics applications. Employing density functional theory (DFT) we investigate magnetism in binary compounds CaN and CaAs. Regarding the structure of analogous magnetic materials and experimental results of CaAs synthesis, we have considered two cubic structures: rocksalt (RS) and zincblende (ZB), and four hexagonal structures: NiAs, wurtzite (WZ), anti-NiAs, and NaO. The calculated results show that CaN in cubic, NiAs, and wurtzite structures, and CaAs only in zincblende phase have ferromagnetic ground states with a magnetic moment of $1\mu _B$. Electronic structure analysis of these materials indicates that magnetism originates from anion $p$ states. Existence of flat $p$ bands and consequently high density of states at the Fermi level of magnetic structures gives rise to Stoner spin splitting and spontaneous ferromagnetism.


title: Robust Decentralized Abstractions for Multiple Mobile Manipulators

abstract: This paper addresses the problem of decentralized abstractions for multiple mobile manipulators with 2nd order dynamics. In particular, we propose decentralized controllers for the navigation of each agent among predefined regions of interest in the workspace, while guaranteeing at the same time inter-agent collision avoidance and connectivity maintenance for a subset of initially connected agents. In that way, the motion of the coupled multi-agent system is abstracted into multiple finite transition systems for each agent, which are then suitable for the application of temporal logic-based high level plans. The proposed methodology is decentralized, since each agent uses local information based on limited sensing capabilities. Finally, simulation studies verify the validity of the approach.


title: Yoneda structures and KZ doctrines

abstract: In this paper we strengthen the relationship between Yoneda structures and KZ doctrines by showing that for any locally fully faithful KZ doctrine, with the notion of admissibility as defined by Bunge and Funk, all of the Yoneda structure axioms apart from the right ideal property are automatic.


title: Toward Semantic Foundations for Program Editors

abstract: Programming language definitions assign formal meaning to complete programs. Programmers, however, spend a substantial amount of time interacting with incomplete programs -- programs with holes, type inconsistencies and binding inconsistencies -- using tools like program editors and live programming environments (which interleave editing and evaluation). Semanticists have done comparatively little to formally characterize (1) the static and dynamic semantics of incomplete programs; (2) the actions available to programmers as they edit and inspect incomplete programs; and (3) the behavior of editor services that suggest likely edit actions to the programmer based on semantic information extracted from the incomplete program being edited, and from programs that the system has encountered in the past. As such, each tool designer has largely been left to develop their own ad hoc heuristics. This paper serves as a vision statement for a research program that seeks to develop these "missing" semantic foundations. Our hope is that these contributions, which will take the form of a series of simple formal calculi equipped with a tractable metatheory, will guide the design of a variety of current and future interactive programming tools, much as various lambda calculi have guided modern language designs. Our own research will apply these principles in the design of Hazel, an experimental live lab notebook programming environment designed for data science tasks. We plan to co-design the Hazel language with the editor so that we can explore concepts such as edit-time semantic conflict resolution mechanisms and mechanisms that allow library providers to install library-specific editor services.


title: A Solitonic Approach to Holographic Nuclear Physics

abstract: We discuss nuclear physics in the Sakai-Sugimoto model in the limit of large number $N_c$ of colors and large 't Hooft coupling $\lambda$. In this limit the individual baryons are described by classical solitons whose size is much smaller than the typical distance at which they settle in a nuclear bound state. We can thus use the linear approximation outside the instanton cores to compute the interaction potential. We find the classical geometry of nuclear bound states for baryon number up to eight. One of the interesting features that we find is that holographic nuclear physics provides a natural description for lightly bound states when $\lambda$ is large. For the case of two nuclei, we also find the topology and metric of the manifold of zero modes and, quantizing it, we find that the ground state can be identified with the deuteron state. We discuss the relations with other methods in the literature used to study Skyrmions and holographic nuclear physics. We discuss $1/{N_c}$ and $1/\lambda$ corrections and the challenges to overcome to reach the phenomenological values to fit with real QCD.


title: Prediction in logarithmic distance

abstract: The metric properties of the set in which random variables take their values lead to relevant probabilistic concepts. For example, the mean of a random variable is a best predictor in that it minimizes the standard Euclidean distance or $L_2$ norm in an appropriate class of random variables. Similarly, the median is the same concept but when the distance is measured by the $L_1$ norm. These two predictors stem from the fact that the mean and the median, minimize the distance to a given set of points when distances in $\mathbb{R}$ or in $\mathbb{R}^n$ are measured in the aforementioned metrics.\\ It so happens that an interesting {\it logarithmic distance} can be defined on the cone of strictly positive vectors in $\mathbb{R}^n$ in such a way that the minimizer of the distance to a collection of points is their geometric mean.\\ This distance on the base space leads to an interesting distance on the class of strictly positive random variables, which in turn leads to an interesting class of best predictors predictors and their estimators, as well as a corresponding notion of conditional expectation. The appropriate version of the Law of Large Numbers and the Central Limit Theorem, can also be obtained. We shall see that, for example, the lognormal variables are the analogue of the Gaussian variables for the modified version of the Central Limit Theorem.


title: Improving the Accuracy of the CogniLearn System for Cognitive Behavior Assessment

abstract: HTKS is a game-like cognitive assessment method, designed for children between four and eight years of age. During the HTKS assessment, a child responds to a sequence of requests, such as "touch your head" or "touch your toes". The cognitive challenge stems from the fact that the children are instructed to interpret these requests not literally, but by touching a different body part than the one stated. In prior work, we have developed the CogniLearn system, that captures data from subjects performing the HTKS game, and analyzes the motion of the subjects. In this paper we propose some specific improvements that make the motion analysis module more accurate. As a result of these improvements, the accuracy in recognizing cases where subjects touch their toes has gone from 76.46% in our previous work to 97.19% in this paper.


title: Hiring Expert Consultants in E-Healthcare: A Two Sided Matching Approach

abstract: Very often in some censorious healthcare scenario, there may be a need to have some expert consultancies (especially by doctors) that are not available in-house to the hospital. With the advancement in technologies (such as video conferencing, smartphone, etc.), it has become reality that, for the critical medical cases in the hospitals, expert consultants (ECs) from around the world could be hired, who will serve the patients by their physical or virtual presence. Earlier, this interesting healthcare scenario of hiring the ECs (mainly doctors) from outside of the hospitals had been studied with the robust concepts of mechanism design with or without money. We have tried to model the ECs (mainly doctors) hiring problem as a two-sided matching problem. In this paper, for the first time, to the best of our knowledge, we explore the more realistic two-sided matching in our set-up, where the members of the two participating communities, namely patients and doctors are revealing the strict preference ordering over all the members of the opposite community for a stipulated amount of time. We assume that patients and doctors are strategic in nature. With the theoretical analysis, we demonstrate that the proposed mechanism that results in a stable allocation of doctors to patients is strategy-proof (or truthful) and optimal. The proposed mechanism is also validated with exhaustive experiments.


title: Matching issue in quasi parton distribution approach

abstract: In recent years, the quasi parton distribution has been introduced for extracting the parton distribution functions from lattice QCD simulations. The quasi and standard distribution share the same perturbative collinear singularity and the renormalized quasi distribution can be factorized into the standard distribution with a perturbative matching factor. The quasi parton distribution is known to have power-law UV divergences, which do not exist in the standard distribution. We discuss in this talk the nonperturbative renormalization scheme for the power divergence. We also demonstrate the perturbative matching of the quasi quark distribution between continuum and lattice at the one-loop.


title: Quantum Coherence and Holevo Bound

abstract: We establish the equivalence between the loss of coherence due to mixing in a quantum system and the loss of information after performing a projective measurement. Subsequently, it is demonstrated that the quantum discord, a measure of correlation for the bipartite system $\rho_{Alice\leftarrow Bob}$, is identical to the minimum difference (over all projectors {|i><i|}) between local coherence (LQICC monotone) on Bob side and coherence of the reduced density matrix $\rho^B$.


title: Morphological Analysis for the Maltese Language: The Challenges of a Hybrid System

abstract: Maltese is a morphologically rich language with a hybrid morphological system which features both concatenative and non-concatenative processes. This paper analyses the impact of this hybridity on the performance of machine learning techniques for morphological labelling and clustering. In particular, we analyse a dataset of morphologically related word clusters to evaluate the difference in results for concatenative and nonconcatenative clusters. We also describe research carried out in morphological labelling, with a particular focus on the verb category. Two evaluations were carried out, one using an unseen dataset, and another one using a gold standard dataset which was manually labelled. The gold standard dataset was split into concatenative and non-concatenative to analyse the difference in results between the two morphological systems.


title: Randomized Load Balancing on Networks with Stochastic Inputs

abstract: Iterative load balancing algorithms for indivisible tokens have been studied intensively in the past. Complementing previous worst-case analyses, we study an average-case scenario where the load inputs are drawn from a fixed probability distribution. For cycles, tori, hypercubes and expanders, we obtain almost matching upper and lower bounds on the discrepancy, the difference between the maximum and the minimum load. Our bounds hold for a variety of probability distributions including the uniform and binomial distribution but also distributions with unbounded range such as the Poisson and geometric distribution. For graphs with slow convergence like cycles and tori, our results demonstrate a substantial difference between the convergence in the worst- and average-case. An important ingredient in our analysis is new upper bound on the t-step transition probability of a general Markov chain, which is derived by invoking the evolving set process.


title: The core entropy for polynomials of higher degree

abstract: As defined by W. Thurston, the core entropy of a polynomial is the entropy of the restriction to its Hubbard tree. For each d >= 2, we study the core entropy as a function on the parameter space of polynomials of degree d, and prove it varies continuously both as a function of the combinatorial data and of the coefficients of the polynomials. This generalizes a conjecture of Thurston for quadratic polynomials.


title: Centrally extended BMS4 Lie algebroid

abstract: We explicitly show how the field dependent 2-cocycle that arises in the current algebra of 4 dimensional asymptotically flat spacetimes can be used as a central extension to turn the BMS4 Lie algebra, or more precisely, the BMS4 action Lie algebroid, into a genuine Lie algebroid with field dependent structure functions. Both a BRST formulation, where the extension appears as a ghost number 2 cocyle, and a formulation in terms of vertex operator algebras are introduced. The mapping of the celestial sphere to the cylinder then implies zero mode shifts of the asymptotic part of the shear and of the news tensor.


title: Comparing Rule-Based and Deep Learning Models for Patient Phenotyping

abstract: Objective: We investigate whether deep learning techniques for natural language processing (NLP) can be used efficiently for patient phenotyping. Patient phenotyping is a classification task for determining whether a patient has a medical condition, and is a crucial part of secondary analysis of healthcare data. We assess the performance of deep learning algorithms and compare them with classical NLP approaches. Materials and Methods: We compare convolutional neural networks (CNNs), n-gram models, and approaches based on cTAKES that extract pre-defined medical concepts from clinical notes and use them to predict patient phenotypes. The performance is tested on 10 different phenotyping tasks using 1,610 discharge summaries extracted from the MIMIC-III database. Results: CNNs outperform other phenotyping algorithms in all 10 tasks. The average F1-score of our model is 76 (PPV of 83, and sensitivity of 71) with our model having an F1-score up to 37 points higher than alternative approaches. We additionally assess the interpretability of our model by presenting a method that extracts the most salient phrases for a particular prediction. Conclusion: We show that NLP methods based on deep learning improve the performance of patient phenotyping. Our CNN-based algorithm automatically learns the phrases associated with each patient phenotype. As such, it reduces the annotation complexity for clinical domain experts, who are normally required to develop task-specific annotation rules and identify relevant phrases. Our method performs well in terms of both performance and interpretability, which indicates that deep learning is an effective approach to patient phenotyping based on clinicians' notes.


title: Greedy walks on two lines

abstract: The greedy walk is a walk on a point process that always moves from its current position to the nearest not yet visited point. We consider here various point processes on two lines. We look first at the greedy walk on two independent one-dimensional Poisson processes placed on two intersecting lines and prove that the greedy walk almost surely does not visit all points. When a point process is defined on two parallel lines, the result depends on the definition of the process: If each line has a copy of the same realisation of a homogeneous Poisson point process, then the walk almost surely does not visit all points of the process. However, if each point of this process is removed with probability $p$ from either of the two lines, independently of the other points, then the walk almost surely visits all points. Moreover, the greedy walk on two parallel lines, where each line has a copy of the same realisation of a homogeneous Poisson point process, but one copy is shifted by some small $s$, almost surely visits all points.


title: Structure and physical properties of superconducting compounds Y(La)-Ba(Sr)-Cu-O

abstract: The structure and physical properties of superconducting compounds Y(La)-Ba(Sr)-Cu-O are studied, the compounds being prepared by the method of cryogenic dispersion of a charge consisting of premix oxides and carbonates. Electrical conductivity and critical current density of the superconductors are measured over a wide temperature range of 10~$mK$ to 300~$K$. Degradation of the superconductor critical parameters in time and structural characteristics, magnetic susceptibility, heat capacity and acoustic properties are studied, and current-voltage characteristics are determined.


title: Critical current density in the superconducting ceramic $\rm La_{1.8}Sr_{0.2}CuO_4$ in S-c-N point contacts

abstract: Measurement of the current-voltage characteristics of point contacts makes it possible to study the properties of individual crystallites in a superconducting ceramic. The critical current density in the superconducting regions of the ceramic $\rm La_{1.8}Sr_{0.2}CuO_4$, with a size of the order of several tens of angstroms, is found to attain values of $10^8\ A/cm^2$, which are of the same order of magnitude as the pair-breaking current density, as evaluated from the formulas of the standard theory of superconductivity.


title: Fermionic correlations as metric distances: a useful tool for materials science

abstract: We introduce a rigorous, physically appealing, and practical way to measure distances between exchange-only correlations of interacting many-electron systems, which works regardless of their size and inhomogeneity. We show that this distance captures fundamental physical features such as the periodicity of atomic elements, and that it can be used to effectively and efficiently analyze the performance of density functional approximations. We suggest that this metric can find useful applications in high-throughput materials design.


title: Count-ception: Counting by Fully Convolutional Redundant Counting

abstract: Counting objects in digital images is a process that should be replaced by machines. This tedious task is time consuming and prone to errors due to fatigue of human annotators. The goal is to have a system that takes as input an image and returns a count of the objects inside and justification for the prediction in the form of object localization. We repose a problem, originally posed by Lempitsky and Zisserman, to instead predict a count map which contains redundant counts based on the receptive field of a smaller regression network. The regression network predicts a count of the objects that exist inside this frame. By processing the image in a fully convolutional way each pixel is going to be accounted for some number of times, the number of windows which include it, which is the size of each window, (i.e., 32x32 = 1024). To recover the true count we take the average over the redundant predictions. Our contribution is redundant counting instead of predicting a density map in order to average over errors. We also propose a novel deep neural network architecture adapted from the Inception family of networks called the Count-ception network. Together our approach results in a 20% relative improvement (2.9 to 2.3 MAE) over the state of the art method by Xie, Noble, and Zisserman in 2016.


title: Assembly of 3D plasmonic metamolecules by 2D AFM nanomanipulation of highly uniform and smooth gold nanospheres

abstract: Atomic force microscopy (AFM) nanomanipulation has been viewed as a deterministic method for the assembly of plasmonic metamolecules because it enables unprecedented engineering of clusters with exquisite control over particle number and geometry. Nevertheless, the dimensionality of plasmonic metamolecules via AFM nanomanipulation is limited to 2D, so as to restrict the design space of available artificial electromagnetisms. Here, we show that 2D nanomanipulation of the AFM tip can be used to assemble 3D plasmonic metamolecules in a versatile and deterministic way by dribbling highly spherical and smooth gold nanospheres (NSs) on a nanohole template rather than on a flat surface. Various 3D plasmonic clusters with controlled symmetry were successfully assembled with nanometer precision, the relevant 3D plasmonic modes (i.e., artificial magnetism and magnetic-based Fano resonance) were fully rationalized by both numerical calculation and dark-field spectroscopy. This templating strategy for advancing AFM nanomanipulation can be generalized to exploit the fundamental understanding of various electromagnetic 3D couplings and can serve as the basis for the design of metamolecules, metafluids, and metamaterials.


title: A new upper bound for subspace codes

abstract: It is shown that the maximum size $A_2(8,6;4)$ of a binary subspace code of packet length $v=8$, minimum subspace distance $d=4$, and constant dimension $k=4$ is at most $272$. In Finite Geometry terms, the maximum number of solids in $\operatorname{PG}(7,2)$, mutually intersecting in at most a point, is at most $272$. Previously, the best known upper bound $A_2(8,6;4)\le 289$ was implied by the Johnson bound and the maximum size $A_2(7,6;3)=17$ of partial plane spreads in $\operatorname{PG}(6,2)$. The result was obtained by combining the classification of subspace codes with parameters $(7,17,6;3)_2$ and $(7,34,5;\{3,4\})_2$ with integer linear programming techniques. The classification of $(7,33,5;\{3,4\})_2$ subspace codes is obtained as a byproduct.


title: A systematic comparison of two-equation RANS turbulence models applied to shock-cloud interactions

abstract: Turbulence models attempt to account for unresolved dynamics and diffusion in hydrodynamical simulations. We develop a common framework for two-equation Reynolds-Averaged Navier-Stokes (RANS) turbulence models, and we implement six models in the Athena code. We verify each implementation with the standard subsonic mixing layer, although the level of agreement depends on the definition of the mixing layer width. We then test the validity of each model into the supersonic regime, showing that compressibility corrections can improve agreement with experiment. For models with buoyancy effects, we also verify our implementation via the growth of the Rayleigh-Taylor instability in a stratified medium. The models are then applied to the ubiquitous astrophysical shock-cloud interaction in three dimensions. We focus on the mixing of shock and cloud material, comparing results from turbulence models to high-resolution simulations (up to 200 cells per cloud radius) and ensemble-averaged simulations. We find that the turbulence models lead to increased spreading and mixing of the cloud, although no two models predict the same result. Increased mixing is also observed in inviscid simulations at resolutions greater than 100 cells per radius, which suggests that the turbulent mixing begins to be resolved.


title: On critical spaces for the Navier-Stokes equations

abstract: The abstract theory of critical spaces developed in [22] and [20] is applied to the Navier-Stokes equations in bounded domains with Navier boundary conditions as well as no-slip conditions. Our approach unifies, simplifies and extends existing work in the $L_p$-$L_q$ setting, considerably. As an essential step, it is shown that the strong and weak Stokes operators with Navier conditions admit an $\mathcal{H}^\infty$-calculus with $\mathcal{H}^\infty$-angle 0, and the real and complex interpolation spaces of these operators are identified.


title: Towards a probability-free theory of continuous martingales

abstract: Without probability theory, we define classes of supermartingales, martingales, and semimartingales in idealized financial markets with continuous price paths. This allows us to establish probability-free versions of a number of standard results in martingale theory, including the Dubins-Schwarz theorem, the Girsanov theorem, and results concerning the It\^o integral. We also establish the existence of an equity premium and a CAPM relationship in this probability-free setting.


title: On well-covered Cartesian products

abstract: In 1970, Plummer defined a well-covered graph to be a graph $G$ in which all maximal independent sets are in fact maximum. Later Hartnell and Rall showed that if the Cartesian product $G \Box H$ is well-covered, then at least one of $G$ or $H$ is well-covered. In this paper, we consider the problem of classifying all well-covered Cartesian products. In particular, we show that if the Cartesian product of two nontrivial, connected graphs of girth at least $4$ is well-covered, then at least one of the graphs is $K_2$. Moreover, we show that $K_2 \Box K_2$ and $C_5 \Box K_2$ are the only well-covered Cartesian products of nontrivial, connected graphs of girth at least $5$.


title: Smart Spaces: Challenges and Opportunities of BLE-Centered Mobile Systems for Public Environments

abstract: The application of mobile computing is currently altering patterns of our behavior to a greater degree than perhaps any other invention. In combination with the introduction of BLE (Bluetooth Low Energy) and similar technologies enabling context-awareness, designers are today finding themselves empowered to build experiences and facilitate interactions with our physical surroundings in ways not possible before. The aim of this thesis is to present a research project, currently underway at the University of Cambridge, which is dealing with implementation of a BLE system into a museum environment. By assessing the technology, describing the design decisions as well as presenting a qualitative evaluation, this paper seeks to provide insight into some of the challenges and possible solutions connected to the process of developing ubiquitous BLE computing systems for public spaces. The project outcome revealed the potential use of BLE to engage whole new groups of audiences as well as made me argue in favor of a more seamful approach to the design of these systems.


title: An Upper Bound on the Rate of Information Transfer in Optical Vortex Beams

abstract: Light endowed with orbital angular momentum, commonly termed optical vortex light, has an azimuthal phase indexed by the orbital quantum number $l$. In contrast to the two basis states of the optical spin angular momentum, the interest in the information content of optical vortex beams is centred on the assumption that $\lvert{l}\rangle{}$ forms a countably infinite set of basis states. The recent experimental observation that group velocity is inversely proportional to $l$ provides a theoretical basis for a practical measure of information transfer. This Letter sets an upper bound on that measure.


title: Reexamination of Tolman's law and the Gibbs adsorption equation for curved interfaces

abstract: In manuscript arXiv:1703.08719 [cond-mat.soft], it was claimed that the well-known deduction of Tolman's law is not rigorous, since Tolman's argument implies that two different definitions of the surface tension, called $\gamma$ and $\bar\gamma$ in the manuscript, coincide. This claim is retracted as it can be shown by free-energy minimization that $\gamma = \bar\gamma$ indeed holds for the Laplace radius. Joachim Gro\ss, Philipp Rehner, Carlos Vega, \O{}ivind Wilhelmsen, and the anonymous reviewers of The Journal of Chemical Physics contributed to finding the mistake in the manuscript.

categories: cond-mat.soft cond-mat.mes-hall physics.ao-ph physics.atm-clus physics.chem-ph


title: Four fermions in a one-dimensional harmonic trap: Accuracy of a variational-ansatz approach

abstract: Detailed analysis of the system of four interacting ultra-cold fermions confined in a one-dimensional harmonic trap is performed. The analysis is done in the framework of a simple variational ansatz for the many-body ground state and its predictions are confronted with the results of numerically exact diagonalization of the many-body Hamiltonian. Short discussion on the role of the quantum statistics, i.e. Bose-Bose and Bose-Fermi mixtures is also presented. It is concluded that the variational ansatz, although seemed to be oversimplified, gives surprisingly good predictions of many different quantities for mixtures of equal as well as different mass systems. The result may have some experimental importance since it gives quite simple and validated method for describing experimental outputs.


title: Change of grading, injective dimension and dualizing complexes

abstract: Let $G,H$ be groups, $\phi: G \rightarrow H$ a group morphism, and $A$ a $G$-graded algebra. The morphism $\phi$ induces an $H$-grading on $A$, and on any $G$-graded $A$-module, which thus becomes an $H$-graded $A$-module. Given an injective $G$-graded $A$-module, we give bounds for its injective dimension when seen as $H$-graded $A$-module. Following ideas by Van den Bergh, we give an application of our results to the stability of dualizing complexes through change of grading.


title: A note on unitizations of generalized effect algebras

abstract: There is a forgetful functor from the category of generalized effect algebras to the category of effect algebras. We prove that this functor is a right adjoint and that the corresponding left adjoint is the well-known unitization construction by Hedl\'ikov\'a and Pulmannov\'a. Moreover, this adjunction is monadic.


title: Extending Growth Mixture Models Using Continuous Non-Elliptical Distributions

abstract: Growth mixture models (GMMs) incorporate both conventional random effects growth modeling and latent trajectory classes as in finite mixture modeling; therefore, they offer a way to handle the unobserved heterogeneity between subjects in their development. GMMs with Gaussian random effects dominate the literature. When the data are asymmetric and/or have heavier tails, more than one latent class is required to capture the observed variable distribution. Therefore, a GMM with continuous non-elliptical distributions is proposed to capture skewness and heavier tails in the data set. Specifically, multivariate skew-t distributions and generalized hyperbolic distributions are introduced to extend GMMs. When extending GMMs, four statistical models are considered with differing distributions of measurement errors and random effects. The mathematical development of GMMs with non-elliptical distributions relies on their expression as normal variance-mean mixtures and the resultant relationship with the generalized inverse Gaussian distribution. Parameter estimation is outlined within the expectation-maximization framework before the performance of our GMMs with non-elliptical distributions is illustrated on simulated and real data.