title: Entropy functionals and thermodynamics of relativistic geometric flows, stationary quasi-periodic Ricci solitons, and gravity

abstract: We investigate gravity models emerging from nonholonomic (subjected to non-integrable constraints) Ricci flows. Considering generalizations of G. Perelman's entropy functionals, relativistic geometric flow equations, nonholonomic Ricci soliton, and equivalent (modified) Einstein equations are derived. There are studied nonholonomic configurations that allow explicit modeling of entropic scenarios for gravity and dark matter (in the E. Verlinde approach and/or other variants). It is shown that using the anholonomic frame deformation method, the systems of nonlinear partial differential equations for geometric flow evolution of nonlinear stationary gravitations systems can be decoupled and integrated in general forms. In this and a series of partner works, we elaborate on stationary models of emergent gravity with quasi-periodic gravitational, matter fields and dark energy/matter structure. Such configurations cannot be described thermodynamically using the concept of Bekenstein-Hawking entropy if area-entropy, holographic or duality relations are not involved. Nevertheless, generalizing G. Perelman statistic thermodynamic approach to models of relativistic Ricci flows and nonholonomic solitons, we can compute respective thermodynamic variables for all types of gravitational and matter field configurations and their geometric evolution. Nonholonomic deformations of the F- and W-entropy considered and relativistic thermodynamic models are studied in more general cases when physically important solutions with quasi-periodic and pattern forming structure are found in modified gravity theories (MGT) and general relativity (GR).


title: Biomechanics of Collective Cell Migration in Cancer Progression -- Experimental and Computational Methods

abstract: Cell migration is essential for regulating many biological processes in physiological or pathological conditions, including embryonic development and cancer invasion. In vitro and in silico studies suggest that collective cell migration is associated with some biomechanical particularities, such as restructuring of extracellular matrix, stress and force distribution profiles, and reorganization of cytoskeleton. Therefore, the phenomenon could be understood by an in-depth study of cells' behavior determinants, including but not limited to mechanical cues from the environment and from fellow travelers. This review article aims to cover the recent development of experimental and computational methods for studying the biomechanics of collective cell migration during cancer progression and invasion. We also summarized the tested hypotheses regarding the mechanism underlying collective cell migration enabled by these methods. Together, the paper enables a broad overview on the methods and tools currently available to unravel the biophysical mechanisms pertinent to cell collective migration, as well as providing perspectives on future development towards eventually deciphering the key mechanisms behind the most lethal feature of cancer.


title: Some weighted isoperimetric problems on $\mathbb{R}^N _+ $ with stable half balls have no solutions

abstract: We show the counter-intuitive fact that some weighted isoperimetric problems on the half-space $ \mathbb{R}^N _+ $, for which half-balls centered at the origin are stable, have no solutions. A particular case is the measure $d\mu = x_N ^{\alpha } \, dx$, with $\alpha \in (-1,0)$. Some results on stability and nonexistence for weighted isoperimetric problems on $\mathbb{R}^N $ are also obtained.


title: Network Identification for Diffusively-Coupled Systems with Minimal Time Complexity

abstract: The theory of network identification, namely identifying the (weighted) interaction topology among a known number of agents, has been widely developed for linear agents. However, the theory for nonlinear agents using probing inputs is far less developed, relying on dynamics linearization, and thus cannot be applied to networks with non-smooth or discontinuous dynamics. We use global convergence properties of the network, which can be assured using passivity theory, to present a network identification method for nonlinear agents. We do so by linearizing the steady-state equations rather than the dynamics, achieving a sub-cubic time algorithm for network identification. We also study the problem of network identification from a complexity theory standpoint, showing that the presented algorithms are optimal in terms of time complexity. We demonstrate the presented algorithm in two case studies with discontinuous dynamics.


title: Effect of Anisotropy on Defect Mode Peculiariries in Chiral Liquid Crystals

abstract: The effect of anisotropy on defect mode peculiarities in cholesteric liquid crystals is investigated. The problem is solved by Ambartsumians layer addition modified method. Two cases are considered. In the first case, it is assumed that the defect layer is not absorbing and the effect of refraction anisotropy on the reflection, relative photonic density of states and the total field intensity aroused in the defect layer are studied . In the second case, defect layer is assumed to be isotropic for refraction and anisotropic for absorption, and the influence of defect layer absorption anisotropy on reflection, absorption, relative photonic density of states and the total field intensity aroused in the defect layer are investigated.


title: conLSH: Context based Locality Sensitive Hashing for Mapping of noisy SMRT Reads

abstract: Single Molecule Real-Time (SMRT) sequencing is a recent advancement of Next Gen technology developed by Pacific Bio (PacBio). It comes with an explosion of long and noisy reads demanding cutting edge research to get most out of it. To deal with the high error probability of SMRT data, a novel contextual Locality Sensitive Hashing (conLSH) based algorithm is proposed in this article, which can effectively align the noisy SMRT reads to the reference genome. Here, sequences are hashed together based not only on their closeness, but also on similarity of context. The algorithm has $\mathcal{O}(n^{\rho+1})$ space requirement, where $n$ is the number of sequences in the corpus and $\rho$ is a constant. The indexing time and querying time are bounded by $\mathcal{O}( \frac{n^{\rho+1} \cdot \ln n}{\ln \frac{1}{P_2}})$ and $\mathcal{O}(n^\rho)$ respectively, where $P_2 > 0$, is a probability value. This algorithm is particularly useful for retrieving similar sequences, a widely used task in biology. The proposed conLSH based aligner is compared with rHAT, popularly used for aligning SMRT reads, and is found to comprehensively beat it in speed as well as in memory requirements. In particular, it takes approximately $24.2\%$ less processing time, while saving about $70.3\%$ in peak memory requirement for H.sapiens PacBio dataset.


title: Exhausting Curve Complexes by Finite Superrigid Sets on Nonorientable Surfaces

abstract: Let $N$ be a compact, connected, nonorientable surface of genus $g$ with $n$ boundary components. Let $\mathcal{C}(N)$ be the curve complex of $N$. We prove that if $(g, n) \neq (1,2)$ and $g + n \neq 4$, then there is an exhaustion of $\mathcal{C}(N)$ by a sequence of finite superrigid sets.


title: The Inverse first passage time method for a two dimensional Ornstein Uhlenbeck process with neuronal application

abstract: The Inverse First Passage time problem seeks to determine the boundary corresponding to a given stochastic process and a fixed first passage time distribution. Here, we determine the numerical solution of this problem in the case of a two dimensional Gauss-Markov diffusion process. We investigate the boundary shape corresponding to Inverse Gaussian or Gamma first passage time distributions for different choices of the parameters, including heavy and light tails instances. Applications in neuroscience framework are illustrated.


title: On the parallel transport in quantum mechanics with an application to three-state systems

abstract: The aim of this article is to give a rigorous although simple treatment of the geometric notions around parallel transport in quantum mechanics. I start by defining the teleparallelism (or generalized Pancharatnam connection) between n-dimensional vector subspaces (or n-planes) of the whole Hilbert space. It forms the basis of the concepts of parallel transport and of both cyclic and non-cyclic holonomies in the Grassmann manifold of n-planes. They are introduced in the discrete case (broken lines) before being rendered 'continuous' (smooth curves) and the role of the geodesics is stressed. Then, I discuss the interest of such a construction to geometrize a part of the dynamics when a (quasi-)dynamical invariant is known, especially in the adiabatic limit. Finally, I illustrate the general theory with a three-state toy model allowing for non-Abelian adiabatic transports.


title: The Regge symmetry, confocal conics, and the Schl\"afli formula

abstract: The Regge symmetry is a set of remarkable relations between two tetrahedra whose edge lengths are related in a simple fashion. It was first discovered as a consequence of an asymptotic formula in mathematical physics. Here we give a simple geometric proof of Regge symmetries in Euclidean, spherical, and hyperbolic geometry.


title: Vanishing parameter for an optimal control problem modeling tumor growth

abstract: A distributed optimal control problem for a phase field system which physical context is that of tumor growth is discussed. The system we are going to take into account consists of a Cahn-Hilliard equation for the phase variable (relative concentration of the tumor), coupled with a reaction-diffusion equation for the nutrient. The cost functional is of standard tracking-type and the control variable models the intensity with which it is possible to dispense a medication. The model we deal with presents two small and positive parameters which are introduced in previous contributions as relaxation terms. Here, starting from the already investigated optimal control problem for the relaxed model, we aim at confirming the existence of optimal control and characterizing the first-order optimality condition, via asymptotic schemes, when one of the two occurring parameters goes to zero.


title: Observer-Based Drag-Tracking Guidance for Entry Vehicles Considering Input Saturation Constraint

abstract: This paper studies the drag-tracking guidance design problem of uncertain entry vehicles. With employing a Nussbaum type function to deal with input saturation constraint, an output feedback guidance law (bank angle magnitude) with a high-gain observer is constructed that makes the drag-tracking error converge near zero in the presence of uncertainties. It is also worthy to claim that, in contrast to the existing results whose envelope of uncertainty merely depends on the drag error, the considered uncertainty is allowed to be not bigger than a function of drag error and integral term of drag error, which inevitably occurs in practice. The Monte Carlo simulation is done to illustrate the advantage of the developed method.


title: Goal-Directed Behavior under Variational Predictive Coding: Dynamic Organization of Visual Attention and Working Memory

abstract: Mental simulation is a critical cognitive function for goal-directed behavior because it is essential for assessing actions and their consequences. When a self-generated or externally specified goal is given, a sequence of actions that is most likely to attain that goal is selected among other candidates via mental simulation. Therefore, better mental simulation leads to better goal-directed action planning. However, developing a mental simulation model is challenging because it requires knowledge of self and the environment. The current paper studies how adequate goal-directed action plans of robots can be mentally generated by dynamically organizing top-down visual attention and visual working memory. For this purpose, we propose a neural network model based on variational Bayes predictive coding, where goal-directed action planning is formulated by Bayesian inference of latent intentional space. Our experimental results showed that cognitively meaningful competencies, such as autonomous top-down attention to the robot end effector (its hand) as well as dynamic organization of occlusion-free visual working memory, emerged. Furthermore, our analysis of comparative experiments indicated that introduction of visual working memory and the inference mechanism using variational Bayes predictive coding significantly improve the performance in planning adequate goal-directed actions.


title: Hierarchical Autoregressive Image Models with Auxiliary Decoders

abstract: Autoregressive generative models of images tend to be biased towards capturing local structure, and as a result they often produce samples which are lacking in terms of large-scale coherence. To address this, we propose two methods to learn discrete representations of images which abstract away local detail. We show that autoregressive models conditioned on these representations can produce high-fidelity reconstructions of images, and that we can train autoregressive priors on these representations that produce samples with large-scale coherence. We can recursively apply the learning procedure, yielding a hierarchy of progressively more abstract image representations. We train hierarchical class-conditional autoregressive models on the ImageNet dataset and demonstrate that they are able to generate realistic images at resolutions of 128$\times$128 and 256$\times$256 pixels. We also perform a human evaluation study comparing our models with both adversarial and likelihood-based state-of-the-art generative models.


title: Magnetoelastic couplings in the deformed Kagom\'{e} quantum spin lattice of volborthite

abstract: Microscopic spin interactions on a deformed Kagom\'{e} lattice of volborthite are investigated through magnetoelastic couplings. A negative longitudinal magnetostriction $\Delta L<0$ in the $b$ axis is observed, which depends on the magnetization $M$ with a peculiar relation of $\Delta L/L \propto M^{1.3}$. Based on the exchange striction model, it is argued that the negative magnetostriction originates from a pantograph-like lattice change of the Cu-O-Cu chain in the $b$ axis, and that the peculiar dependence arises from the local spin correlation. This idea is supported by DFT+$U$ calculations simulating the lattice change and a finite-size calculation of the spin correlation, indicating that the recently proposed coupled-trimer model is a plausible one.


title: A note on two species collisional plasma in bounded domains

abstract: We construct a unique global-in-time solution to the two species Vlasov-Poisson-Boltzmann system in convex domains with the diffuse boundary condition, which can be viewed as one of the ideal scattering boundary model. The construction follows a new $L^{2}$-$L^{\infty}$ framework in [4]. In our knowledge this result is the first construction of strong solutions for $\textit{two species}$ plasma models with $\textit{self-consistent field}$ in general bounded domains.


title: The k-d tree data structure and a proof for neighborhood computation in expected logarithmic time

abstract: For practical applications, any neighborhood concept imposed on a finite point set P is not of any use if it cannot be computed efficiently. Thus, in this paper, we give an introduction to the data structure of k-d trees, first presented by Friedman, Bentley, and Finkel in 1977. After a short introduction to the data structure (Section 1), we turn to the proof of efficiency by Friedman and his colleagues (Section 2). The main contribution of this paper is the translation of the proof of Freedman, Bentley, and Finkel into modern terms and the elaboration of the proof.


title: The Metallicity-Period-Mass Diagram of low-mass exoplanets

abstract: The number of exoplanet detections continues to grow following the development of better instruments and missions. Key steps for the understanding of these worlds comes from their characterization and its statistical studies. We explore the metallicity-period-mass diagram for known exoplanets by using an updated version of The Stellar parameters for stars With ExoplanETs CATalog (SWEET-Cat), a unique compilation of precise stellar parameters for planet-host stars provided for the exoplanet community. Here we focus on the planets with minimum mass below 30 M$_{\oplus}$ which seems to present a possible correlation in the metallicity-period-mass diagram where the mass of the planet increases with both metallicity and period. Our analysis suggests that the general observed correlation may be not fully explained by observational biases. Additional precise data will be fundamental to confirm or deny this possible correlation.


title: Block Factor-Width-Two Matrices in Semidefinite Programming

abstract: In this paper, we introduce a set of block factor-width-two matrices, which is a generalisation of factor-width-two matrices and is a subset of positive semidefinite matrices. The set of block factor-width-two matrices is a proper cone and we compute a closed-form expression for its dual cone. We use these cones to build hierarchies of inner and outer approximations of the cone of positive semidefinite matrices. The main feature of these cones is that they enable a decomposition of a large semidefinite constraint into a number of smaller semidefinite constraints. As the main application of these classes of matrices, we envision large-scale semidefinite feasibility optimisation programs including sum-of-squares (SOS) programs. We present numerical examples from SOS optimisation showcasing the properties of this decomposition.


title: Fast Deep Stereo with 2D Convolutional Processing of Cost Signatures

abstract: Modern neural network-based algorithms are able to produce highly accurate depth estimates from stereo image pairs, nearly matching the reliability of measurements from more expensive depth sensors. However, this accuracy comes with a higher computational cost since these methods use network architectures designed to compute and process matching scores across all candidate matches at all locations, with floating point computations repeated across a match volume with dimensions corresponding to both space and disparity. This leads to longer running times to process each image pair, making them impractical for real-time use in robots and autonomous vehicles. We propose a new stereo algorithm that employs a significantly more efficient network architecture. Our method builds an initial match cost volume using traditional matching costs that are fast to compute, and trains a network to estimate disparity from this volume. Crucially, our network only employs per-pixel and two-dimensional convolution operations: to summarize the match information at each location as a low-dimensional feature vector, and to spatially process these `cost-signature' features to produce a dense disparity map. Experimental results on the KITTI benchmark show that our method delivers competitive accuracy at significantly higher speeds---running at 48 frames per second on a modern GPU.


title: Temporal Logics Over Finite Traces with Uncertainty (Technical Report)

abstract: Temporal logics over finite traces have recently seen wide application in a number of areas, from business process modelling, monitoring, and mining to planning and decision making. However, real-life dynamic systems contain a degree of uncertainty which cannot be handled with classical logics. We thus propose a new probabilistic temporal logic over finite traces using superposition semantics, where all possible evolutions are possible, until observed. We study the properties of the logic and provide automata-based mechanisms for deriving probabilistic inferences from its formulas. We then study a fragment of the logic with better computational properties. Notably, formulas in this fragment can be discovered from event log data using off-the-shelf existing declarative process discovery techniques.


title: Computer-assisted proof of ergodicity breaking in expanding coupled maps

abstract: From a dynamical viewpoint, basic phase transitions of statistical mechanics can be regarded as a breaking of ergodicity. While many random models exhibiting such transitions at the thermodynamics limit exist, finite-dimensional examples with deterministic dynamics on a chaotic attractor are rare, if at all existent. Here, the dynamics of a family of $N$ coupled expanding circle maps is investigated in a parameter regime where absolutely continuous invariant measures are known to exist. At first, empirical evidence is given of symmetry breaking of the ergodic components upon increase of the coupling strength, suggesting that breaking of ergodicity should occur for every integer $N>2$. Then, a numerical algorithm is proposed which aims to rigorously construct asymmetric ergodic components of positive Lebesgue measure. Due to the explosive growth of the required computational resources, the algorithm successfully terminates for small values of $N$ only. However, this approach shows that phase transitions should be provable for systems of arbitrary number of particles with erratic dynamics, in a purely deterministic setting, without any reference to random processes.


title: Solitons and Black Holes in 4 and 5 Dimensions

abstract: Two lectures given in Paris in 1985. They were circulated as a preprint Solitons And Black Holes In Four-Dimensions, Five-Dimensions. G.W. Gibbons (Cambridge U.) . PRINT-85-0958 (CAMBRIDGE), (Received Dec 1985). 14pp. and appeared in print in De Vega, H.J. ( Ed.), Sanchez, N. ( Ed.) : Field Theory, Quantum Gravity and Strings*, 46-59 and Preprint - GIBBONS, G.W. (REC.OCT.85) 14p. I have scanned the original, reformatted and and corrected various typos.


title: Prescribing scalar curvatures: non compactness versus critical points at infinity

abstract: We illustrate an example of a generic, positive function K on a Riemannian manifold to be conformally prescribed as the scalar curvature, for which the corresponding Yamabe type L2-gradient flow exhibits non compact flow lines, while a slight modification of it is compact.


title: "SZ spectroscopy" in the coming decade: Galaxy cluster cosmology and astrophysics in the submillimeter

abstract: Sunyaev-Zeldovich (SZ) effects were first proposed in the 1970s as tools to identify the X-ray emitting hot gas inside massive clusters of galaxies and obtain their velocities relative to the cosmic microwave background (CMB). Yet it is only within the last decade that they have begun to significantly impact astronomical research. Thanks to the rapid developments in CMB instrumentation, measurement of the dominant thermal signature of the SZ effects has become a routine tool to find and characterize large samples of galaxy clusters and to seek deeper understanding of several important astrophysical processes via high-resolution imaging studies of many targets. With the notable exception of the Planck satellite and a few combinations of ground-based observatories, much of this "SZ revolution" has happened in the photometric mode, where observations are made at one or two frequencies in the millimeter regime to maximize the cluster detection significance and minimize the foregrounds. Still, there is much more to learn from detailed and systematic analyses of the SZ spectra across multiple wavelengths, specifically in the submillimeter (>300 GHz) domain. The goal of this Science White Paper is to highlight this particular aspect of SZ research, point out what new and potentially groundbreaking insights can be obtained from these studies, and emphasize why the coming decade can be a golden era for SZ spectral measurements.


title: Partial Isometries, Duality, and Determinantal Point Processes

abstract: A determinantal point process (DPP) is an ensemble of random nonnegative-integer-valued Radon measures $\Xi$ on a space $S$ with measure $\lambda$, whose correlation functions are all given by determinants specified by an integral kernel $K$ called the correlation kernel. We consider a pair of Hilbert spaces, $H_{\ell}, \ell=1,2$, which are assumed to be realized as $L^2$-spaces, $L^2(S_{\ell}, \lambda_{\ell})$, $\ell=1,2$, and introduce a bounded linear operator ${\cal W} : H_1 \to H_2$ and its adjoint ${\cal W}^{\ast} : H_2 \to H_1$. We show that if ${\cal W}$ is a partial isometry of locally Hilbert--Schmidt class, then we have a unique DPP on $(\Xi_1, K_1, \lambda_1)$ associated with ${\cal W}^* {\cal W}$. In addition, if ${\cal W}^*$ is also of locally Hilbert--Schmidt class, then we have a unique pair of DPPs, $(\Xi_{\ell}, K_{\ell}, \lambda_{\ell})$, $\ell=1,2$. We also give a practical framework which makes ${\cal W}$ and ${\cal W}^{\ast}$ satisfy the above conditions. Our framework to construct pairs of DPPs implies useful duality relations between DPPs making pairs. For a correlation kernel of a given DPP our formula can provide plural different expressions, which reveal different aspects of the DPP. In order to demonstrate these advantages of our framework as well as to show that the class of DPPs obtained by this method is large enough to study universal structures in a variety of DPPs, we report plenty of examples of DPPs in one-, two-, and higher-dimensional spaces $S$, where several types of weak convergence from finite DPPs to infinite DPPs are given. One-parameter ($d \in \mathbb{N}$) series of infinite DPPs on $S=\mathbb{R}^d$ and $\mathbb{C}^d$ are discussed, which we call the Euclidean and the Heisenberg families of DPPs, respectively, following the terminologies of Zelditch.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Efficient geometric integrators for nonadiabatic quantum dynamics. II. The diabatic representation

abstract: Exact nonadiabatic quantum evolution preserves many geometric properties of the molecular Hilbert space. In a companion paper [S. Choi and J. Van\'{\i}\v{c}ek, 2019], we presented numerical integrators of arbitrary-order of accuracy that preserve these geometric properties exactly even in the adiabatic representation, in which the molecular Hamiltonian is not separable into a kinetic and potential terms. Here, we focus on the separable Hamiltonian in diabatic representation, where the split-operator algorithm provides a popular alternative because it is explicit and easy to implement, while preserving most geometric invariants. Whereas the standard version has only second-order accuracy, we implemented, in an automated fashion, its recursive symmetric compositions, using the same schemes as in the companion paper, and obtained integrators of arbitrary even order that still preserve the geometric properties exactly. Because the automatically generated splitting coefficients are redundant, we reduce the computational cost by pruning these coefficients and lower memory requirements by identifying unique coefficients. The order of convergence and preservation of geometric properties are justified analytically and confirmed numerically on a one-dimensional two-surface model of NaI and a three-dimensional three-surface model of pyrazine. As for efficiency, we find that to reach a convergence error of 10$^{-10}$, a 600-fold speedup in the case of NaI and a 900-fold speedup in the case of pyrazine are obtained with the higher-order compositions instead of the second-order split-operator algorithm. The pyrazine results suggest that the efficiency gain survives in higher dimensions.


title: Noncommutative gauge theories on D-branes in non-geometric backgrounds

abstract: We investigate the noncommutative gauge theories arising on the worldvolumes of D-branes in non-geometric backgrounds obtained by T-duality from twisted tori. We revisit the low-energy effective description of D-branes on three-dimensional T-folds, examining both cases of parabolic and elliptic twists in detail. We give a detailed description of the decoupling limits and explore various physical consequences of the open string non-geometry. The T-duality monodromies of the non-geometric backgrounds lead to Morita duality monodromies of the noncommutative Yang-Mills theories induced on the D-branes. While the parabolic twists recover the well-known examples of noncommutative principal torus bundles from topological T-duality, the elliptic twists give new examples of noncommutative fibrations with non-geometric torus fibres. We extend these considerations to D-branes in backgrounds with R-flux, using the doubled geometry formulation, finding that both the non-geometric background and the D-brane gauge theory necessarily have explicit dependence on the dual coordinates, and so have no conventional formulation in spacetime.


title: Simulation of impedance changes with a FEM model of a myelinated nerve fibre

abstract: Objective: Fast neural Electrical Impedance Tomography (EIT) is a method which permits imaging of neuronal activity in nerves by measuring the associated impedance changes (dZ). Due to the small magnitudes of dZ signals, EIT parameters require optimization, which can be done using in silico modelling: apart from predicting the best parameters for imaging, it can also help to validate experimental data and explain the nature of the observed dZ. This has previously been completed for unmyelinated fibres, but an extension to myelinated fibres is required for the development of a full nerve model which could aid imaging neuronal traffic at the fascicular level and optimise neuromodulation of the supplied internal organs to treat various diseases. Methods: An active FEM model of a myelinated fibre coupled with external space was developed. A spatial dimension was added to the experimentally validated space-clamped model of a human sensory fibre using the double cable paradigm. Electrical parameters of the model were changed so that nodal and internodal membrane potential as well as propagation velocity agreed with experimental values. dZ was simulated during activity under various conditions and the optimal parameters for imaging were determined. Main Results: When using AC, dZ could be recorded only at frequencies above 4 kHz, which is supported by experimental data. Optimal bandwidths for dZ measurement were found to increase with AC frequency. Conclusion and significance: The novel fully bi-directionally coupled FEM model of a myelinated fibre was able to optimize EIT for myelinated fibres and explain the biophysical basis of the measured signals.


title: Representation learning for automated spectroscopic redshift estimation

abstract: Determining the radial positions of galaxies up to a high accuracy depends on the correct identification of salient features in their spectra. Classical techniques for spectroscopic redshift estimation make use of template matching with cross-correlation. These templates are usually constructed from empirical spectra or simulations based on the modeling of local galaxies. We propose two new spectroscopic redshift estimation schemes based on new learning techniques for galaxy spectra representation, using either a dictionary learning technique for sparse representation or denoising autoencoders. We investigate how these representations impact redshift estimation. These methods have been tested on realistic simulated galaxy spectra, with photometry modelled after the Large Synoptic Survey Telescope (LSST) and spectroscopy reproducing properties of the Sloan Digital Sky Survey (SDSS). They were compared to Darth Fader, a robust technique extracting line features and estimating redshift through eigentemplates cross-correlations. We show that both dictionary learning and denoising autoencoders provide improved accuracy and reliability across all signal-to-noise regimes and galaxy types. The representation learning framework for spectroscopic redshift analysis introduced in this work offers high performance in feature extraction and redshift estimation, improving on a classical eigentemplates approach. This is a necessity for next-generation galaxy surveys, and we demonstrate a successful application in realistic simulated survey data.


title: Spectrum of anomalous dimensions in hypercubic theories

abstract: We compute the spectrum of anomalous dimensions of non-derivative composite operators with an arbitrary number of fields $n$ in the $O(N)$ vector model with cubic anisotropy at the one-loop order in the $\epsilon$-expansion. The complete closed-form expression for the anomalous dimensions of the operators which do not undergo mixing effects is derived and the structure of the general solution to the mixing problem is outlined. As examples, the full explicit solution for operators with up to $n=6$ fields is presented and a sample of the OPE coefficients is calculated. The main features of the spectrum are described, including an interesting pattern pointing to the deeper structure.


title: AdS/CFT as a deep Boltzmann machine

abstract: We provide a deep Boltzmann machine (DBM) for the AdS/CFT correspondence. Under the philosophy that the bulk spacetime is a neural network, we give a dictionary between those, and obtain a restricted DBM as a discretized bulk scalar field theory in curved geometries. The probability distribution as training data is the generating functional of the boundary quantum field theory, and it trains neural network weights which are the metric of the bulk geometry. The deepest layer implements black hole horizons, and an employed regularization for the weights is an Einstein action. A large $N_c$ limit in holography reduces the DBM to a folded feed-forward architecture. We also neurally implement holographic renormalization into an autoencoder. The DBM for the AdS/CFT may serve as a platform for studying mechanisms of spacetime emergence in holography.


title: Threshold phenomenon for homogenized fronts in random elastic media

abstract: We investigate the behaviour of solutions of a fractional semilinear partial differential equation that models the evolution of an interface in a random medium. We show a pinning result and apply it to the related homogenizing process.


title: Symmetry breaking with opposite stability between bifurcated asymmetric solitons in parity-time-symmetric potentials

abstract: We report a new type of symmetry-breaking bifurcation of solitons in optical systems with parity-time-symmetric potentials. In this bifurcation, the two bifurcated branches of asymmetric solitons exhibit opposite stability, which contrasts all previous symmetry-breaking bifurcations in conservative and non-conservative systems. We show that this novel symmetry-breaking bifurcation can be exploited to achieve unidirectional propagation of high-intensity light beams in parity-time-symmetric potentials.


title: Frictional Unemployment on Labor Flow Networks

abstract: We develop an alternative theory to the aggregate matching function in which workers search for jobs through a network of firms: the labor flow network. The lack of an edge between two companies indicates the impossibility of labor flows between them due to high frictions. In equilibrium, firms' hiring behavior correlates through the network, generating highly disaggregated local unemployment. Hence, aggregation depends on the topology of the network in non-trivial ways. This theory provides new micro-foundations for the Beveridge curve, wage dispersion, and the employer-size premium. We apply our model to employer-employee matched records and find that network topologies with Pareto-distributed connections cause disproportionately large changes on aggregate unemployment under high labor supply elasticity.


title: ECKO: Ensemble of Clustered Knockoffs for multivariate inference on fMRI data

abstract: Continuous improvement in medical imaging techniques allows the acquisition of higher-resolution images. When these are used in a predictive setting, a greater number of explanatory variables are potentially related to the dependent variable (the response). Meanwhile, the number of acquisitions per experiment remains limited. In such high dimension/small sample size setting, it is desirable to find the explanatory variables that are truly related to the response while controlling the rate of false discoveries. To achieve this goal, novel multivariate inference procedures, such as knockoff inference, have been proposed recently. However, they require the feature covariance to be well-defined, which is impossible in high-dimensional settings. In this paper, we propose a new algorithm, called Ensemble of Clustered Knockoffs, that allows to select explanatory variables while controlling the false discovery rate (FDR), up to a prescribed spatial tolerance. The core idea is that knockoff-based inference can be applied on groups (clusters) of voxels, which drastically reduces the problem's dimension; an ensembling step then removes the dependence on a fixed clustering and stabilizes the results. We benchmark this algorithm and other FDR-controlling methods on brain imaging datasets and observe empirical gains in sensitivity, while the false discovery rate is controlled at the nominal level.


title: The tidal deformability of an anisotropic compact star: Implications of GW170817

abstract: We use gravitational wave (GW) and electromagnetic (EM) observations of GW170817 to constrain the extent of pressure anisotropy in it. While it is quite likely that the pressure inside a neutron star is mostly isotropic, certain physical processes or characteristics, such as phase transitions in nuclear matter or the presence of strong magnetic fields, can introduce pressure anisotropy. In this work, we show that anisotropic pressure in neutron stars can reduce their tidal deformability substantially. For the anisotropy-pressure model of Bowers and Liang and a couple of relativistic EOSs -- DDH$\delta$ and GM1 -- we demonstrate that this reduction in spherical neutron stars with masses in the range of 1 to 2 $M_\odot$ can be 23% to 46%. This suggests that certain EOSs that are ruled out by GW170817 observations, under assumptions of pressure isotropy, can become viable if the stars had a significant enough anisotropic pressure component, but do not violate causality. We also show how the inference of the star radius can be used to rule out certain EOSs (such as GM1), even for high anisotropic pressure, because their radii are larger than what the observations find.


title: Sheer shear: weak lensing with one mode

abstract: 3D data compression techniques can be used to determine the natural basis of radial eigenmodes that encode the maximum amount of information in a tomographic large-scale structure survey. We explore the potential of the Karhunen-Lo\`eve decomposition in reducing the dimensionality of the data vector for cosmic shear measurements, and apply it to the final data from the \cfh survey. We find that practically all of the cosmological information can be encoded in one single radial eigenmode, from which we are able to reproduce compatible constraints with those found in the fiducial tomographic analysis (done with 7 redshift bins) with a factor of ~30 fewer datapoints. This simplifies the problem of computing the two-point function covariance matrix from mock catalogues by the same factor, or by a factor of ~800 for an analytical covariance. The resulting set of radial eigenfunctions is close to ell-independent, and therefore they can be used as redshift-dependent galaxy weights. This simplifies the application of the Karhunen-Lo\`eve decomposition to real-space and Fourier-space data, and allows one to explore the effective radial window function of the principal eigenmodes as well as the associated shear maps in order to identify potential systematics. We also apply the method to extended parameter spaces and verify that additional information may be gained by including a second mode to break parameter degeneracies. The data and analysis code are publicly available at https://github.com/emiliobellini/kl_sample.


title: Real-Time Boiler Control Optimization with Machine Learning

abstract: In coal-fired power plants, it is critical to improve the operational efficiency of boilers for sustainability. In this work, we formulate real-time boiler control as an optimization problem that looks for the best distribution of temperature in different zones and oxygen content from the flue to improve the boiler's stability and energy efficiency. We employ an efficient algorithm by integrating appropriate machine learning and optimization techniques. We obtain a large dataset collected from a real boiler for more than two months from our industry partner, and conduct extensive experiments to demonstrate the effectiveness and efficiency of the proposed algorithm.


title: Deep Multi-Agent Reinforcement Learning with Discrete-Continuous Hybrid Action Spaces

abstract: Deep Reinforcement Learning (DRL) has been applied to address a variety of cooperative multi-agent problems with either discrete action spaces or continuous action spaces. However, to the best of our knowledge, no previous work has ever succeeded in applying DRL to multi-agent problems with discrete-continuous hybrid (or parameterized) action spaces which is very common in practice. Our work fills this gap by proposing two novel algorithms: Deep Multi-Agent Parameterized Q-Networks (Deep MAPQN) and Deep Multi-Agent Hierarchical Hybrid Q-Networks (Deep MAHHQN). We follow the centralized training but decentralized execution paradigm: different levels of communication between different agents are used to facilitate the training process, while each agent executes its policy independently based on local observations during execution. Our empirical results on several challenging tasks (simulated RoboCup Soccer and game Ghost Story) show that both Deep MAPQN and Deep MAHHQN are effective and significantly outperform existing independent deep parameterized Q-learning method.


title: Emissivity of Ammonia Ice

abstract: Bodies in the outer Solar System may consist of, or be covered by, solid ammonia. Their temperature depends on its emissivity. We calculate that emissivity as a function of frequency, angle and polarization and convolve it with a Planck function to obtain its integrated emissivity.


title: Quantitative Susceptibility Inversion Through Parcellated Multiresolution Neural Networks and K-Space Substitution

abstract: Purpose: Quantitative Susceptibility Mapping (QSM) reconstruction is a challenging inverse problem driven by poor conditioning of the field to susceptibility transformation. State-of-art QSM reconstruction methods either suffer from image artifacts or long computation times, which limits QSM clinical translation efforts. To overcome these limitations, a deep-learning-based approach is proposed and demonstrated. Methods: An encoder-decoder neural network was trained to infer susceptibility maps on volume parcellated regions. The training data consisted of fabricated susceptibility distributions modeled to mimic the spatial frequency patterns of in-vivo brain susceptibility distributions. Inferred volume parcels were recombined to form composite QSM. This approach is denoted as ASPEN, standing for Approximated Susceptibility through Parcellated Encoder-decoder Networks. ASPEN performance was evaluated relative to several well-established approaches on a gold-standard challenge dataset and on cohort of 200 study subjects. Results: ASPEN provided similar levels of quantitative accuracy compared to the evaluated established approaches on the gold standard ISMRM Challenge dataset, but qualitatively showed marked reductions in streaking artifacts and map blurring. On the large-cohort dataset, ASPEN achieved the highest score compared with other methods in a multi-rater evaluation of streaking artifacts and map resolution. Conclusion: The proposed ASPEN approach can robustly infer susceptibility maps in near real-time on routine computational hardware. This preliminary study establishes ASPEN's parity with existing approaches for quantitative accuracy on a well-curated gold standard dataset and further demonstrates its robustness to streaking artifacts across a large cohort of subjects.


title: On some recent results concerning non-uniqueness for the transport equation

abstract: In these notes we present some recent results concerning the non-uniqueness of solutions to the transport equation, obtained in collaboration with Gabriel Sattig and Laszlo Szekelyhidi.


title: Discriminative Principal Component Analysis: A REVERSE THINKING

abstract: In this paper, we propose a novel approach named by Discriminative Principal Component Analysis which is abbreviated as Discriminative PCA in order to enhance separability of PCA by Linear Discriminant Analysis (LDA). The proposed method performs feature extraction by determining a linear projection that captures the most scattered discriminative information. The most innovation of Discriminative PCA is performing PCA on discriminative matrix rather than original sample matrix. For calculating the required discriminative matrix under low complexity, we exploit LDA on a converted matrix to obtain within-class matrix and between-class matrix thereof. During the computation process, we utilise direct linear discriminant analysis (DLDA) to solve the encountered SSS problem. For evaluating the performances of Discriminative PCA in face recognition, we analytically compare it with DLAD and PCA on four well known facial databases, they are PIE, FERET, YALE and ORL respectively. Results in accuracy and running time obtained by nearest neighbour classifier are compared when different number of training images per person used. Not only the superiority and outstanding performance of Discriminative PCA showed in recognition rate, but also the comparable results of running time.


title: A quantitative Weinstock inequality

abstract: The paper is devoted to the study of a quantitative Weinstock inequality in higher dimension for the first non trivial Steklov eigenvalue of Laplace operator for convex sets. The key rule is played by a quantitative isoperimetric inequality which involves the boundary momentum, the volume and the perimeter of a convex open set of $\mathbb R^n$, $n \ge 2$.


title: Converting the signal-recycling cavity into an unstable optomechanical filter to enhance the detection bandwidth of gravitational-wave detectors

abstract: Current and future interferometeric gravitational-wave detectors are limited predominantly by shot noise at high frequencies. Shot noise is reduced by introducing arm cavities and signal recycling, however, there exists a tradeoff between the peak sensitivity and bandwidth. This comes from the accumulated phase of signal sidebands when propagating inside the arm cavities. One idea is to cancel such a phase by introducing an unstable optomechanical filter. The original design proposed in [Phys.~Rev.~Lett.~{\bf 115},~211104 (2015)] requires an additional optomechanical filter coupled externally to the main interferometer. Here we consider a simplified design that converts the signal-recycling cavity itself into the unstable filter by using one mirror as a high-frequency mechanical oscillator and introducing an additional pump laser. However, the enhancement in bandwidth of this new design is less than the original design given the same set of optical parameters. The peak sensitivity improvement factor depends on the arm length, the signal-recycling cavity length, and the final detector bandwidth. For a 4~km interferometer, if the final detector bandwidth is around 2~kHz, with a 20~m signal-recycling cavity, the shot noise can be reduced by 10 decibels, in addition to the improvement introduced by squeezed light injection. We also find that the thermal noise of the mechanical oscillator is enhanced at low frequencies relative to the vacuum noise, while having a flat spectrum at high frequencies.


title: Iterated two-phase local search for the Set-Union Knapsack Problem

abstract: The Set-union Knapsack Problem (SUKP) is a generalization of the popular 0-1 knapsack problem. Given a set of weighted elements and a set of items with profits where each item is composed of a subset of elements, the SUKP involves packing a subset of items in a capacity-constrained knapsack such that the total profit of the selected items is maximized while their weights do not exceed the knapsack capacity. In this work, we present an effective iterated two-phase local search algorithm for this NP-hard combinatorial optimization problem. The proposed algorithm iterates through two search phases: a local optima exploration phase that alternates between a variable neighborhood descent search and a tabu search to explore local optimal solutions, and a local optima escaping phase to drive the search to unexplored regions. We show the competitiveness of the algorithm compared to the state-of-the-art methods in the literature. Specifically, the algorithm discovers 18 improved best results (new lower bounds) for the 30 benchmark instances and matches the best-known results for the 12 remaining instances. We also report the first computational results with the general CPLEX solver, including 6 proven optimal solutions. Finally, we investigate the effectiveness of the key ingredients of the algorithm on its performance.


title: Magnetic excitations in the trimeric compounds A$_3$Cu$_3$(PO$_4$)$_4$ (A = Ca, Sr, Pb)

abstract: We study the magnetic excitations of the trimeric magnetic compounds A$_3$Cu$_3$(PO$_4$)$_4$ (A = Ca, Sr, Pb). The spectra are analyzed in terms of the Heisenberg model and a generic spin Hamiltonian that accounts for the changes in valence electrons distribution along the bonds among magnetic ions. The analytical results obtained in the framework of both Hamiltonians are compared to each other and to the available experimental measurements. The results based on our model show better agreement with the experimental data than those obtained with the aid of the Heisenberg model. For all trimers, our analysis reveals the existence of one thin energy band referring to the flatness of observed excitation peaks.


title: A quantitative Lov\'asz criterion for Property B

abstract: A well known observation of Lov\'asz is that if a hypergraph is not $2$-colorable, then at least one pair of its edges intersect at a single vertex. %This very simple criterion turned out to be extremly useful . In this short paper we consider the quantitative version of Lov\'asz's criterion. That is, we ask how many pairs of edges intersecting at a single vertex, should belong to a non $2$-colorable $n$-uniform hypergraph? Our main result is an {\em exact} answer to this question, which further characterizes all the extremal hypergraphs. The proof combines Bollob\'as's two families theorem with Pluhar's randomized coloring algorithm.


title: RocketRML - A NodeJS implementation of a use-case specific RML mapper

abstract: The creation of Linked Data from raw data sources is, in theory, no rocket science (pun intended). Depending on the nature of the input and the mapping technology in use, it can become a quite tedious task. For our work on mapping real-life touristic data to the schema.org vocabulary we used RML but soon encountered, that the existing Java mapper implementations reached their limits and were not sufficient for our use cases. In this paper we describe a new implementation of an RML mapper. Written with the JavaScript based NodeJS framework it performs quite well for our uses cases where we work with large XML and JSON files. The performance testing and the execution of the RML test cases have shown, that the implementation has great potential to perform heavy mapping tasks in reasonable time, but comes with some limitations regarding JOINs, Named Graphs and inputs other than XML and JSON - which is fine at the moment, due to the nature of the given use cases.


title: Unifying paradigms of quantum refrigeration: A universal and attainable bound on cooling

abstract: Cooling quantum systems is arguably one of the most important thermodynamic tasks connected to modern quantum technologies and an interesting question from a foundational perspective. It is thus of no surprise that many different theoretical cooling schemes have been proposed, differing in the assumed control paradigm and complexity, and operating either in a single cycle or in steady state limits. Working out bounds on quantum cooling has since been a highly context dependent task with multiple answers, with no general result that holds independent of assumptions. In this letter we derive a universal bound for cooling quantum systems in the limit of infinite cycles (or steady state regimes) that is valid for any control paradigm and machine size. The bound only depends on a single parameter of the refrigerator and is theoretically attainable in all control paradigms. For qubit targets we prove that this bound is achievable in a single cycle and by autonomous machines.


title: Quantum dynamics in potentials with fast spatial oscillations

abstract: We consider quantum dynamics of systems with fast spatial modulation of the Hamiltonian. Employing the formalism of supersymmetric quantum mechanics and decoupling fast and slow spatial oscillations we demonstrate that the effective dynamics is governed by a Schr\"{o}dinger-like equation of motion and obtain the expression of the resulting effective Hamiltonian. In particular, we show that there exists an attractive effective potential even in the case when the oscillating potential averages to zero.


title: Hybrid Symplectic Integrators for Planetary Dynamics

abstract: Hybrid symplectic integrators such as MERCURY are widely used to simulate complex dynamical phenomena in planetary dynamics that could otherwise not be investigated. A hybrid integrator achieves high accuracy during close encounters by using a high order integration scheme for the duration of the encounter while otherwise using a standard 2nd order Wisdom-Holman scheme, thereby optimizing both speed and accuracy. In this paper we reassess the criteria for choosing the switching function that determines which parts of the Hamiltonian are integrated with the high order integrator. We show that the original motivation for choosing a polynomial switching function in MERCURY is not correct. We explain the nevertheless excellent performance of the MERCURY integrator and then explore a wide range of different switching functions including an infinitely differentiable function and a Heaviside function. We find that using a Heaviside function leads to a significantly simpler scheme compared to MERCURY, while maintaining the same accuracy in short term simulations.


title: Linear algebraic techniques for spanning tree enumeration

abstract: Kirchhoff's Matrix-Tree Theorem asserts that the number of spanning trees in a finite graph can be computed from the determinant of any of its reduced Laplacian matrices. In many cases, even for well-studied families of graphs, this can be computationally or algebraically taxing. We show how two well-known results from linear algebra, the Matrix Determinant Lemma and the Schur complement, can be used to elegantly count the spanning trees in several significant families of graphs.


title: Energy level splitting for weakly interacting bosons in a harmonic trap

abstract: We consider identical quantum bosons with weak contact interactions in a two-dimensional isotropic harmonic trap. When the interactions are turned off, the energy levels are equidistant and highly degenerate. At linear order in the coupling parameter, these degenerate levels split, and we study the patterns of this splitting. It turns out that the problem is mathematically identical to diagonalizing the quantum resonant system of the two-dimensional Gross-Pitaevskii equation, whose classical counterpart has been previously studied in the mathematical literature on turbulence. Our purpose is to explore the implications of the symmetries and energy bounds of this resonant system, previously studied for the classical case, for the quantum level splitting. Simplifications in computing the splitting spectrum numerically result from exploiting the symmetries. The highest energy state emanating from each unperturbed level is explicitly described by our analytics. We furthermore discuss the energy level spacing distributions in the spirit of quantum chaos theory. After separating the eigenvalues into blocks with respect to the known conservation laws, we observe the Wigner-Dyson statistics within specific large blocks, which leaves little room for further integrable structures in the problem beyond the symmetries that are already explicitly known.

categories: cond-mat.quant-gas hep-th math-ph math.AP math.MP quant-ph


title: Proton radius reconstruction from simulated electron-proton elastic scattering cross sections at low transfer momenta

abstract: This note is motivated by preparations of a new $ep$ elastic scattering experiment in the low transfer momentum region to be carried out in the 720 MeV electron beam of the Mainz Microtron MAMI. This experiment will use an innovative method allowing for detection of recoil protons in coincidence with the scattered electrons. The goal is to measure the $ep$ differential cross sections in the $Q^2$ range from 0.001 GeV$^2$ to 0.04 GeV$^2$ and to determine the proton charge radius with sub-percent precision.


title: New feature in the differential cross sections at $13$ TeV be measured at the LHC

abstract: Analysis of $d\sigma/dt$ of the TOTEM Collaboration data, carried out without model assumptions, showed the existence of a new effect in the behavior of the hadron scattering amplitude at a small momentum transfer at a high confidence level. The quantitatively description of the data in the framework of the HEGS model support such phenomenon which can be connect with quark potentials at large distances.


title: GUT Physics in the era of the LHC

abstract: Grand Unified Theories (GUTs) are one of the most interesting high-energy completions of the Standard Model, because they provide a rich, powerful and elegant group-theoretical framework able to resolve a variety of problems remaining in our current understanding of particle physics. They usually act as motivators for many low energy BSM theories, such as left-right symmetric or supersymmetric models, and they serve to fill the gap between the experimentally reachable low energies and the physics in the ultraviolet. In recent years, however, they have fallen slightly from the spotlight, in favour of `simplified' models with more specific phenomenological predictions. The aim of this review is to summarize the state of the art on GUTs and argue for their importance in modern physics. Recent advances in experiments permit to test the predictions of GUTs at different energy scales. First, as GUTs can play a role in the inflationary dynamics of the early Universe, their imprints could be found in the CMB observations by the Planck satellite. Remarkably enough, GUTs could manifest themselves also in terrestrial tests; several planned experiments aim to probe the proton stability and to establish order of magnitude higher bounds on its lifetime. Moreover, the predictions of specific GUT models could be tested even at the LHC thanks to its high energy reach, via searches for exotic states or additional contributions to flavour anomalies.


title: Gravitational-wave-moderated Accretion: The Case of ES Ceti

abstract: We show that recent observations of the compact binary, AM CVn type system, ES Ceti are fully consistent with theoretical predictions of stable mass transfer moderated by angular momentum loss due to gravitational-wave radiation. One of the main predictions of this model (for degenerate donors) is a widening of the binary. The mass transfer rate inferred from the observed rate of change in the orbital frequency is consistent with that inferred from the observed flux using the recent Gaia DR2 parallax


title: Mapping Target Location from Doppler Data

abstract: In this paper, we present an algorithm for determining a curve on the earth's terrain on which a stationary emitter must lie according to a single Doppler shift measured on an unmanned aerial vehicle (UAV) or a low earth orbit satellite (LEOS). The mobile vehicle measures the Doppler shift and uses it to build equations for a particular right circular cone according to the Doppler shift and the vehicle's velocity, then determines a curve consisting of points which represents the intersections of the cone with an ellipsoid that approximately describes the earth's surface. The intersection points of the cone with the ellipsoid are mapped into a digital terrain data set, namely Digital Terrain Elevation Data (DTED), to generate the intersection points on the earth's terrain. The work includes consideration of the possibility that the rotation of the earth could affect the Doppler shift, and of the errors resulting from the non-constant refractive index of the atmosphere and from lack of precise knowledge of the transmitter frequency.


title: Tracing the formation history of galaxy clusters into the epoch of reionization

abstract: The large-scale overdensities of galaxies at z~2-7 known as protoclusters are believed to be the sites of cluster formation, and deep, wide survey projects such as the Large Synoptic Survey Telescope (LSST) and the Wide Field Infrared Survey Telescope (WFIRST) will deliver significant numbers of these interesting structures. Spectroscopic confirmation and interpretation of these targets, however, is still challenging, and will require wide-field multi-plexed spectroscopy on >20 m-class telescopes in the optical and near-infrared. In the coming decade, detailed studies of protoclusters will enable us, for the first time, to systematically connect these cluster progenitors in the early universe to their virialized counterparts at lower redshifts. This will allow us to address observationally the formation of brightest cluster galaxies and other cluster galaxy populations, the buildup of the intra-cluster light, the chemical enrichment history of the intra-cluster medium, and the formation and triggering of supermassive black holes in dense environments, all of which are currently almost exclusively approached either through the fossil record in clusters or through numerical simulations. Furthermore, at the highest redshifts (z~5-10), these large extended overdensities of star-forming galaxies are believed to have played an important role in the reionization of the universe, which needs to be tested by upcoming experiments. Theory and recent simulations also suggest important links between these overdensities and the formation of supermassive black holes, but observational evidence is still lacking. In this white paper we review our current understanding of this important phase of galaxy cluster history that will be explored by the next generation of large aperture ground-based telescopes GMT and TMT.


title: Unified equations of state for cold non-accreting neutron stars with Brussels-Montreal functionals. I. Role of symmetry energy

abstract: The theory of the nuclear energy-density functional is used to provide a unified and thermodynamically consistent treatment of all regions of cold non-accreting neutron stars. In order to assess the impact of our lack of complete knowledge of the density dependence of the symmetry energy on the constitution and the global structure of neutron stars, we employ four different functionals. All of them were precision fitted to essentially all the nuclear-mass data with the Hartree-Fock-Bogoliubov method and two different neutron-matter equations of state based on realistic nuclear forces. For each functional, we calculate the composition, the pressure-density relation, and the chemical potentials throughout the star. We show that uncertainties in the symmetry energy can significantly affect the theoretical results for the composition and global structure of neutron stars. To facilitate astrophysical applications, we construct analytic fits to our numerical results.


title: A Capsule-unified Framework of Deep Neural Networks for Graphical Programming

abstract: Recently, the growth of deep learning has produced a large number of deep neural networks. How to describe these networks unifiedly is becoming an important issue. We first formalize neural networks in a mathematical definition, give their directed graph representations, and prove a generation theorem about the induced networks of connected directed acyclic graphs. Then, using the concept of capsule to extend neural networks, we set up a capsule-unified framework for deep learning, including a mathematical definition of capsules, an induced model for capsule networks and a universal backpropagation algorithm for training them. Finally, we discuss potential applications of the framework to graphical programming with standard graphical symbols of capsules, neurons, and connections.


title: Localisation in 2+1 dimensional SU(3) pure gauge theory at finite temperature

abstract: I study the localisation properties of low Dirac eigenmodes in 2+1 dimensional SU(3) pure gauge theory, both in the low-temperature, confined and chirally-broken phase and in the high-temperature, deconfined and chirally-restored phase, by means of numerical lattice simulations. While these modes are delocalised at low temperature, they become localised at high temperature, up to a critical point in the Dirac spectrum where a BKT-type Anderson transition takes place. All results point to localisation appearing at the deconfinement temperature, and support previous expectations about the close relation between deconfinement, chiral symmetry breaking, and localisation.


title: Density Functional Theory of the Hubbard-Holstein Model

abstract: We present a density functional theory (DFT) for lattice models with local electron-electron (e-e) and electron-phonon (e-ph) interactions. Exchange-correlation potentials are derived via dynamical mean field theory for the infinite-dimensional Bethe lattice, and analytically for an isolated Hubbard-Holstein site. These potentials exhibit discontinuities as a function of the density, which depend on the relative strength of the e-e and e-ph interactions. By comparing to exact benchmarks, we show that the DFT formalism gives a good description of the linear conductance and real-time dynamics.


title: Gelfand-type theorems for dynamical Banach modules

abstract: The representation theorems of Gelfand and Kakutani for commutative C*-algebras and AM- and AL-spaces are the basis for the Koopman linearization of topological and measure-preserving dynamical systems. In this article we prove versions of these results for dynamics on topological and measurable Banach bundles and the corresponding weighted Koopman representations on Banach modules.


title: Unraveling radial dependency effects in fiber thermal drawing

abstract: Fiber-based devices with advanced functionalities are emerging as promising solutions for various applications in flexible electronics and bioengineering. Multimaterial thermal drawing, in particular, has attracted strong interest for its ability to generate fibers with complex architectures. Thus far, however, the understanding of its fluid dynamics has only been applied to single material preforms for which higher order effects, such as the radial dependency of the axial velocity, could be neglected. With complex multimaterial preforms, such effects must be taken into account, as they can affect the architecture and the functional properties of the resulting fiber device. Here, we propose a versatile model of the thermal drawing of fibers, which takes into account a radially varying axial velocity. Unlike the commonly used cross section averaged approach, our model is capable of predicting radial variations of functional properties caused by the deformation during drawing. This is demonstrated for two effects observed, namely, by unraveling the deformation of initially straight, transversal lines in the preform and the dependence on the draw ratio and radial position of the in-fiber electrical conductivity of polymer nanocomposites, an important class of materials for emerging fiber devices. This work sets a thus far missing theoretical and practical understanding of multimaterial fiber processing to better engineer advanced fibers and textiles for sensing, health care, robotics, or bioengineering applications.


title: Pain pathogenesis in rheumatoid arthritis -- what have we learned from animal models

abstract: Rheumatoid arthritis (RA) is a systemic autoimmune disease characterized by joint inflammation and joint pain. Much of RA treatment is focused on suppressing inflammation, with the idea being that if inflammation is controlled other symptoms, such as pain, will disappear. However, pain is the most common complaint of RA patients, is often still present following the resolution of inflammation, and can develop prior to the onset of inflammation. Thus, further research is needed to better understand RA-associated pain mechanisms. A number of preclinical rodent models commonly used in rheumatology research have been developed based on bedside-to-bench and reverse translational approaches. These models include collagen-induced arthritis, antigen-induced arthritis, streptococcal cell wall-induced arthritis, collagen antibody-induced arthritis, serum transfer from K/BxN transgenic mice and tumor necrosis factor (TNF)-transgene mice. They have led to increased understanding of RA pathogenesis and have aided the development of successful RA treatments. More recently, these models have been used to elucidate the complexities of RA associated pain. Several potentially modifiable mechanisms, other than inflammation, have been investigated in these models and may in turn lead to more effective treatments. Furthermore, preclinical research can indicate when specific treatment strategies may benefit specific patient subgroups or at which disease stage they are best used. This review not only highlights RA-associated pain mechanisms, but also suggests the usefulness of preclinical animal research based on a bedside-to-bench approach.


title: Cascaded Projection: End-to-End Network Compression and Acceleration

abstract: We propose a data-driven approach for deep convolutional neural network compression that achieves high accuracy with high throughput and low memory requirements. Current network compression methods either find a low-rank factorization of the features that requires more memory, or select only a subset of features by pruning entire filter channels. We propose the Cascaded Projection (CaP) compression method that projects the output and input filter channels of successive layers to a unified low dimensional space based on a low-rank projection. We optimize the projection to minimize classification loss and the difference between the next layer's features in the compressed and uncompressed networks. To solve this non-convex optimization problem we propose a new optimization method of a proxy matrix using backpropagation and Stochastic Gradient Descent (SGD) with geometric constraints. Our cascaded projection approach leads to improvements in all critical areas of network compression: high accuracy, low memory consumption, low parameter count and high processing speed. The proposed CaP method demonstrates state-of-the-art results compressing VGG16 and ResNet networks with over 4x reduction in the number of computations and excellent performance in top-5 accuracy on the ImageNet dataset before and after fine-tuning.


title: Extending the observation limits of Imaging Air Cherenkov Telescopes toward horizon

abstract: Usually the Imaging Atmospheric Cherenkov Telescopes, used for the ground-based gamma-ray astronomy in the very high energy range 50 GeV - 50 TeV, perform air shower observations till the zenith angle of ~60 deg. Beyond that limit the column density of air increases rapidly and the Cherenkov light absorption starts playing a major role. Absence of a proper calibration method of light transmission restrained researchers performing regular measurements under zenith angles >>60 deg. We extend the observation of air showers in Cherenkov light till almost the horizon. We use an aperture photometry technique for calibrating the Cherenkov light transmission in atmosphere during observations under very large zenith angles. Along with longer in time observations of a given source, this observation technique allows one to strongly increase the collection area and the event statistics of Cherenkov telescopes for the very high energy part of the spectrum. Study of the spectra of the highest energy gamma rays from a handful of candidate sources can provide a clue for the origin of the galactic cosmic rays. We show that MAGIC very large zenith angle observations yield a collection area in excess of a square kilometer. For selected sources this is becoming comparable with the target collection area anticipated with the Cherenkov Telescope Array.


title: In Koenigs' footsteps: Diagonalization of composition operators

abstract: Let $\varphi:\mathbb{D} \to \mathbb{D}$ be a holomorphic map with a fixed point $\alpha\in\mathbb{D}$ such that $0\leq |\varphi'(\alpha)|<1$. We show that the spectrum of the composition operator $C_\varphi$ on the Fr\'echet space $ \textrm{Hol}(\mathbb{D})$ is $\{0\}\cup \{ \varphi'(\alpha)^n:n=0,1,\cdots\}$ and its essential spectrum is reduced to $\{0\}$. This contrasts the situation where a restriction of $C_\varphi$ to Banach spaces such as $H^2(\mathbb{D})$ is considered. Our proofs are based on explicit formulae for the spectral projections associated with the point spectrum found by Koenigs. Finally, as a byproduct, we obtain information on the spectrum for bounded composition operators induced by a Schr\"oder symbol on arbitrary Banach spaces of holomorphic functions.


title: Theory III: Dynamics and Generalization in Deep Networks

abstract: The key to generalization is controlling the complexity of the network. However, there is no obvious control of complexity -- such as an explicit regularization term -- in the training of deep networks for classification. We will show that a classical form of norm control -- but kind of hidden -- is present in deep networks trained with gradient descent techniques on exponential-type losses. In particular, gradient descent induces a dynamics of the normalized weights which converge for $t \to \infty$ to an equilibrium which corresponds to a minimum norm (or maximum margin) solution. For sufficiently large but finite $\rho$ -- and thus finite $t$ -- the dynamics converges to one of several margin maximizers, with the margin monotonically increasing towards a limit stationary point of the flow. In the usual case of stochastic gradient descent, most of the stationary points are likely to be convex minima corresponding to a constrained minimizer -- the network with normalized weights-- which corresponds to vanishing regularization. The solution has zero generalization gap, for fixed architecture, asymptotically for $N \to \infty$, where $N$ is the number of training examples. Our approach extends some of the original results of Srebro from linear networks to deep networks and provides a new perspective on the implicit bias of gradient descent. We believe that the elusive complexity control we describe is responsible for the puzzling empirical finding of good predictive performance by deep networks, despite overparametrization.


title: On-chip thermometry for microwave optomechanics implemented in a nuclear demagnetization cryostat

abstract: We report on microwave optomechanics measurements performed on a nuclear adiabatic demagnetization cryostat, whose temperature is determined by accurate thermometry from below 500$~\mu$K to about 1$~$Kelvin. We describe a method for accessing the on-chip temperature, building on the blue-detuned parametric instability and a standard microwave setup. The capabilities and sensitivity of both the experimental arrangement and the developed technique are demonstrated with a very weakly coupled silicon-nitride doubly-clamped beam mode of about 4$~$MHz and a niobium on-chip cavity resonating around 6$~$GHz. We report on an unstable intrinsic driving force in the coupled microwave-mechanical system acting on the mechanics that appears below typically 100$~$mK. The origin of this phenomenon remains unknown, and deserves theoretical input. It prevents us from performing reliable experiments below typically 10-30$~$mK; however no evidence of thermal decoupling is observed, and we propose that the same features should be present in all devices sharing the microwave technology, at different levels of strengths. We further demonstrate empirically how most of the unstable feature can be annihilated, and speculate how the mechanism could be linked to atomic-scale two level systems. The described microwave/microkelvin facility is part of the EMP platform, and shall be used for further experiments within and below the millikelvin range.


title: On first-order expressibility of satisfiability in submodels

abstract: Let $\kappa,\lambda$ be regular cardinals, $\lambda\le\kappa$, let $\varphi$ be a sentence of the language $\mathcal L_{\kappa,\lambda}$ in a given signature, and let $\vartheta(\varphi)$ express the fact that $\varphi$ holds in a submodel, i.e., any model $\mathfrak A$ in the signature satisfies $\vartheta(\varphi)$ if and only if some submodel $\mathfrak B$ of $\mathfrak A$ satisfies $\varphi$. It was shown in [1] that, whenever $\varphi$ is in $\mathcal L_{\kappa,\omega}$ in the signature having less than $\kappa$ functional symbols (and arbitrarily many predicate symbols), then $\vartheta(\varphi)$ is equivalent to a monadic existential sentence in the second-order language $\mathcal L^{2}_{\kappa,\omega}$, and that for any signature having at least one binary predicate symbol there exists $\varphi$ in $\mathcal L_{\omega,\omega}$ such that $\vartheta(\varphi)$ is not equivalent to any (first-order) sentence in $\mathcal L_{\infty,\omega}$. Nevertheless, in certain cases $\vartheta(\varphi)$ are first-order expressible. In this note, we provide several (syntactical and semantical) characterizations of the case when $\vartheta(\varphi)$ is in $\mathcal L_{\kappa,\kappa}$ and $\kappa$ is $\omega$ or a certain large cardinal.


title: CAFE-R a code that solves the special relativistic radiation hydrodynamics equations

abstract: We present a 3D special-relativistic radiation hydrodynamics code. It uses the radiative inversion scheme with the M1-closure relation for the radiation equations, which allows the treatment of a wide range of optical depth, temperature and opacity. The radiation field is treated in the grey-body approximation. We present the standard 1D and 2D tests that include both optically thin and thick scenarios, as well as hydrodynamical and radiation pressure dominated configurations. As an application in 3D, we show the evolution of a jet driven by radiation-hydrodynamics with a helical perturbation. The code is expected to allow the exploration of scenarios in high-energy astrophysics where the radiation is important, like sources of GRBs.

categories: astro-ph.HE astro-ph.GA gr-qc physics.comp-ph


title: Nuclear timescale mass transfer in models of supergiant and ultra-luminous X-ray binaries

abstract: We investigate how the proximity of supergiant donor stars to the Eddington-limit, and their advanced evolutionary stage, may influence the evolution of massive and ultra-luminous X-ray binaries with supergiant donor stars (SGXBs and ULXs). We construct models of massive stars with different internal hydrogen/helium gradients and different hydrogen-rich envelope masses, and expose them to slow mass loss to probe the response of the stellar radius. In addition, we compute the corresponding Roche-lobe overflow mass-transfer evolution with our detailed binary stellar evolution code, approximating the compact objects as point masses. We find that a hydrogen/helium gradient in the layers beneath the surface, as it is likely present in the well-studied donor stars of observed SGBXs, can enable nuclear timescale mass-transfer in SGXBs with a BH or a NS accretor, even for mass ratios in excess of 20. In our binary evolution models, the donor stars rapidly decrease their thermal equilibrium radius and can therefore cope with the inevitably strong orbital contraction imposed by the high mass ratio. Our results open a new perspective for understanding the large number of Galactic SGXBs, and their almost complete absence in the SMC. They may also offer a way to obtain more ULX systems, to find nuclear timescale mass-transfer in ULX systems even with neutron star accretors, and shed new light on the origin of the strong B-field in these neutron stars.


title: New Dependencies of Hierarchies in Polynomial Optimization

abstract: We compare four key hierarchies for solving Constrained Polynomial Optimization Problems (CPOP): Sum of Squares (SOS), Sum of Diagonally Dominant Polynomials (SDSOS), Sum of Nonnegative Circuits (SONC), and the Sherali Adams (SA) hierarchies. We prove a collection of dependencies among these hierarchies both for general CPOPs and for optimization problems on the Boolean hypercube. Key results include for the general case that the SONC and SOS hierarchy are polynomially incomparable, while SDSOS is contained in SONC. A direct consequence is the non-existence of a Putinar-like Positivstellensatz for SDSOS. On the Boolean hypercube, we show as a main result that Schm\"udgen-like versions of the hierarchies SDSOS*, SONC*, and SA* are polynomially equivalent. Moreover, we show that SA* is contained in any Schm\"udgen-like hierarchy that provides a O(n) degree bound.


title: Optical properties of a semi-Dirac material

abstract: Within a Kubo formalism, we calculate the absorptive part of the dynamic longitudinal conductivity $\sigma(\Omega)$ of a 2D semi-Dirac material. In the clean limit, we provide separate analytic formulas for intraband (Drude) and interband contributions for $\sigma(\Omega)$ in both the relativistic and nonrelativistic directions. At finite doping, in the relativistic direction, a sumrule holds between the increase in optical spectral weight in the Drude component and that lost in the interband optical transitions. For the nonrelativistic direction, no such sumrule applies. Results are also presented when an energy gap opens in the energy dispersion. Numerical results due to finite residual scattering are provided and analytic results for the dc limit are derived. Energy dependence and possible anisotropy in the impurity scattering rate is considered. Throughout, we provide comparison of our results for $\sqrt{\sigma_{xx}\sigma_{yy}}$ with the corresponding results for graphene. A generalization of the 2D Hamiltonian to include powers of higher order than quadratic (nonrelativistic) and linear (relativistic) is considered. We also discuss the modifications introduced when an additional flat band is included via a semi-Dirac version of the $\alpha$-${\cal T}_3$ model, for which an $\alpha$ parameter tunes between the 2D semi-Dirac (graphene-like) limit and the semi-Dirac version of the dice or ${\cal T}_3$ lattice.


title: Asteroseismic constraints on active latitudes of solar-type stars: HD173701 has active bands at higher latitudes than the Sun

abstract: We present a new method for determining the location of active bands of latitude on solar-type stars, which uses stellar-cycle-induced frequency shifts of detectable solar-like oscillations. When near-surface activity is distributed in a non-homogeneous manner, oscillation modes of different angular degree and azimuthal order will have their frequencies shifted by different amounts. We use this simple concept, coupled to a model for the spatial distribution of the near-surface activity, to develop two methods that use the frequency shifts to infer minimum and maximum latitudes for the active bands. Our methods respond to the range in latitude over which there is significant magnetic flux present, over and above weak basal ephemeral flux levels. We verify that we are able to draw accurate inferences in the solar case, using Sun-as-a-star helioseismic data and artificial data. We then apply our methods to Kepler data on the solar analogue HD173701, and find that its active bands straddle a much wider range in latitude than do the bands on the Sun.


title: The conditionally autoregressive hidden Markov model (CarHMM): Inferring behavioural states from animal tracking data exhibiting conditional autocorrelation

abstract: One of the central interests of animal movement ecology is relating movement characteristics to behavioural characteristics. The traditional discrete-time statistical tool for inferring unobserved behaviours from movement data is the hidden Markov model (HMM). While the HMM is an important and powerful tool, sometimes it is not flexible enough to appropriately fit the data. Data for marine animals often exhibit conditional autocorrelation, self-dependence of the step length process which cannot be explained solely by the behavioural state, which violates one of the main assumptions of the HMM. Using a grey seal track as an example, along with multiple simulation scenarios, we motivate and develop the conditionally autoregressive hidden Markov model (CarHMM), which is a generalization of the HMM designed specifically to handle conditional autocorrelation. In addition to introducing and examining the new CarHMM, we provide guidelines for all stages of an analysis using either an HMM or CarHMM. These include guidelines for pre-processing location data to obtain deflection angles and step lengths, model selection, and model checking. In addition to these practical guidelines, we link estimated model parameters to biologically meaningful quantities such as activity budget and residency time. We also provide interpretations of traditional "foraging" and "transiting" behaviours in the context of the new CarHMM parameters.


title: Anisotropic n-dimensional quantum cosmological model with fluid

abstract: In the present work, we discuss the Wheeler-DeWitt quantization scheme for an n-dimensional anisotropic cosmological model with a perfect fluid in presence of a massless scalar field. We identify the time parameter using the generalization of Schutz formalism and find the wavepacket of the universe following standard Wheeler-DeWitt methodology of quantum cosmology. We also calculate the expectation values of scale factors and volume element. We show that quantized model escapes the singularity and supports bouncing universe solutions.


title: Dual topology in Jacutingaite Pt$_2$HgSe$_3$

abstract: Topological phases of electronic systems often coexist in a material, well-known examples being systems which are both strong and weak topological insulators. More recently, a number of materials have been found to have the topological structure of both a weak topological insulator and a mirror-protected topological crystalline insulator. In this work, we first focus on the naturally occurring mineral called Jacutingaite, Pt$_2$HgSe$_3$, and show based on density-functional calculations that it realizes this dual topological phase and that the same conclusion holds for Pd$_2$HgSe$_3$. Second, we introduce tight-binding models that capture the essential topological properties of this dual topological phase in materials with three-fold rotation symmetry and use these models to describe the main features of the surface spectral density of different materials in the class.


title: Quantum Walk and Quantum Billiards. Towards a better understanding of Quantum Chaos

abstract: Quantum billiards have been simulated so far in many ways, but in this work a new aproximation is considerated. This study is based on the quantum billiard already obtained by others authors via a tensor product of two 1-D quantum walks . Chaotic and non chaotic billiards are tested.


title: Finding spin-glass ground states using quantum walks

abstract: Quantum computation using continuous-time evolution under a natural hardware Hamiltonian is a promising near- and mid-term direction toward powerful quantum computing hardware. We investigate the performance of continuous-time quantum walks as a tool for finding spin glass ground states, a problem that serves as a useful model for realistic optimization problems. By performing detailed numerics, we uncover significant ways in which solving spin glass problems differs from applying quantum walks to the search problem. Importantly, unlike for the search problem, parameters such as the hopping rate of the quantum walk do not need to be set precisely for the spin glass ground state problem. Heuristic values of the hopping rate determined from the energy scales in the problem Hamiltonian are sufficient for obtaining a better than square-root scaling. This makes it practical to use quantum walks for solving such problems, and opens the door for a range of applications on suitable quantum hardware.


title: Structural and electronic properties of the spin-filter material CrVTiAl with disorder

abstract: The effects of chemical disorder on the transport properties of the spin-filter material CrVTiAl are investigated experimentally and theoretically. Synchrotron X-ray diffraction experiments on bulk CrVTiAl and the associated Rietveld analysis indicate that the crystal structure consists primarily of a mixture of a partially ordered B2 phase, a fully disordered A2 phase and a small component of an ordered L2\textsubscript{1} or Y phase. High temperature resistivity measurements confirm the existence of a band gap. First-principles, all-electron, self-consistent electronic structure computations show that the chemically disordered A2 and B2 phases are metallic, while the spin-filter properties of the ideal Y-type phase are preserved in the presence of L2\textsubscript{1} disorder. The Hall coefficient is found to decrease with increasing temperature, similar to the measured increase in the conductivity, indicating the presence of thermally activated semiconductor-like carriers.


title: $D$-Magic and Antimagic Labelings of Hypercubes

abstract: For a set of distances $D$, a graph $G$ of order $n$ is said to be $D-$magic if there exists a bijection $f:V\rightarrow \{1,2, \ldots, n\}$ and a constant $k$ such that for any vertex $x$, $\sum_{y\in N_D(x)} f(y) =k$, where $N_D(x)=\{y|d(y,x)=j, j\in D\}$. In this paper we shall find sets of distances $D$s, such that the hypercube is $D-$magic. We shall utilise well-known properties of (bipartite) distance-regular graphs to construct the $D-$magic labelings.


title: An Efficient Augmented Lagrangian Based Method for Constrained Lasso

abstract: Variable selection is one of the most important tasks in statistics and machine learning. To incorporate more prior information about the regression coefficients, the constrained Lasso model has been proposed in the literature. In this paper, we present an inexact augmented Lagrangian method to solve the Lasso problem with linear equality constraints. By fully exploiting second-order sparsity of the problem, we are able to greatly reduce the computational cost and obtain highly efficient implementations. Furthermore, numerical results on both synthetic data and real data show that our algorithm is superior to existing first-order methods in terms of both running time and solution accuracy.


title: The $ss \bar s \bar s$ tetraquark states and the newly observed structure $X(2239)$ by BESIII Collaboration

abstract: We investigate the mass spectrum of the $ss \bar s \bar s$ tetraquark states within the relativized quark model. By solving the Schr\"{o}dinger-like equation with the relativized potential, the masses of the $S-$ and $P-$wave $ss \bar s \bar s$ tetraquarks are obtained. The screening effects are also taken into account. It is found that the observed resonant structure $X(2239)$ in the $e^+e^- \to K^+K^-$ process by BESIII Collaboration can be assigned as a $P-$wave $1^{--}$ $ss \bar s \bar s$ tetraquark state. Furthermore, the radiative transition and strong decay behaviors of this structure are also estimated, which can provide helpful information for future experimental searches.


title: Termite: A System for Tunneling Through Heterogeneous Data

abstract: Data-driven analysis is important in virtually every modern organization. Yet, most data is underutilized because it remains locked in silos inside of organizations; large organizations have thousands of databases, and billions of files that are not integrated together in a single, queryable repository. Despite 40+ years of continuous effort by the database community, data integration still remains an open challenge. In this paper, we advocate a different approach: rather than trying to infer a common schema, we aim to find another common representation for diverse, heterogeneous data. Specifically, we argue for an embedding (i.e., a vector space) in which all entities, rows, columns, and paragraphs are represented as points. In the embedding, the distance between points indicates their degree of relatedness. We present Termite, a prototype we have built to learn the best embedding from the data. Because the best representation is learned, this allows Termite to avoid much of the human effort associated with traditional data integration tasks. On top of Termite, we have implemented a Termite-Join operator, which allows people to identify related concepts, even when these are stored in databases with different schemas and in unstructured data such as text files, webpages, etc. Finally, we show preliminary evaluation results of our prototype via a user study, and describe a list of future directions we have identified.


title: Superconductivity behavior in epitaxial TiN films points at surface magnetic disorder

abstract: We analyze the evolution of the normal and superconducting electronic properties in epitaxial TiN films, characterized by high Ioffe-Regel parameter values, as a function of the film thickness. As the film thickness decreases, we observe an increase of in the residual resistivity, which becomes dominated by diffusive surface scattering for $d\leq20\,$nm. At the same time, a substantial thickness-dependent reduction of the superconducting critical temperature is observed compared to the bulk TiN value. In such a high quality material films, this effect can be explained by a weak magnetic disorder residing in the surface layer with a characteristic magnetic defect density of $\sim10^{12}\,\mathrm{cm}^{-2}$. Our results suggest that surface magnetic disorder is generally present in oxidized TiN films.


title: Multimessenger TeV Dark Matter: a mini review

abstract: We briefly review the general insight into the indirect searches of dark matter. We discuss the primary equation in a three-level multimessenger approach (gamma rays, neutrinos and antiprotons), and we introduce the reader to the main topics and related uncertainties (e.g. dark matter density distribution, cosmic rays, particle physics). As an application of the general concept, we focus on the multi-TeV dark matter candidate among other weak interactive massive particles. We present the state-of-the-art on this sub-field, and we discuss open questions and experimental limitations.


title: Incidence strata of affine varieties with complex multiplicities

abstract: To each affine variety $X$ and $m_1,\ldots,m_k\in \mathbb{C}$ such that no subset of the $m_i$ add to zero, we construct a variety which for $m_1,\ldots,m_k \in \mathbb{N}$ specializes to the closed $(m_1,\ldots,m_k)$-incidence stratum of $Sym^{m_1+\ldots+m_k}X$. These fit into a finite-type family, which is functorial in $X$, and which is topologically a family of $\mathbb{C}$-weighted configuration spaces. We verify our construction agrees with an analogous construction in the Deligne category $Rep(S_{d})$ for $d \in \mathbb{C}$. We next classify the singularity locus and branching behaviour of colored incidence strata for arbitrary smooth curves. As an application, we negatively answer a question of Farb and Wolfson concerning the existence of an isomorphism between two natural moduli spaces.


title: The Importance of 3D General Circulation Models for Characterizing the Climate and Habitability of Terrestrial Extrasolar Planets

abstract: While recently discovered exotic new planet-types have both challenged our imaginations and broadened our knowledge of planetary system workings, perhaps the most compelling objective of exoplanet science is to detect and characterize habitable and possibly inhabited worlds orbiting in other star systems. For the foreseeable future, characterizations of extrasolar planets will be made via remote sensing of planetary spectroscopic and temporal signals, along with careful fitting of this data to advanced models of planets and their atmospheres. Terrestrial planets are small and significantly more challenging to observe compared to their larger gaseous brethren; however observatories coming on-line in the coming decade will begin to allow their characterization. Still, it is not enough to invest only in observational endeavors. Comprehensive modeling of planetary atmospheres is required in order to fully understand what it is that our grand telescopes see in the night-sky. In our quest to characterize habitable, and possibly inhabited worlds, 3D general circulation models (GCMs) should be used to evaluate potential climate states and their associated temporal and spatial dependent observable signals. 3D models allow for coupled, self-consistent, multi-dimensional simulations, which can realistically simulate the climates of terrestrial extrasolar planets. A complete theoretical understanding of terrestrial exoplanetary atmospheres, gained through comprehensive 3D modeling, is critical for interpreting spectra of exoplanets taken from current and planned instruments, and is critical for designing future missions that aim to measure spectra of potentially habitable exoplanets as one of their key science goals. We recommend continued institutional support for 3D GCM modeling teams that focus on planetary and exoplanetary applications.