title: Entanglement hamiltonians in 1D free lattice models after a global quantum quench

abstract: We study the temporal evolution of the entanglement hamiltonian of an interval after a global quantum quenchin free lattice models in one spatial dimension. In a harmonic chain we explore a quench of the frequency parameter. In a chain of free fermions at half filling we consider the evolution of the ground state of a fully dimerised chain through the homogeneous hamiltonian. We focus on critical evolution hamiltonians. The temporal evolutions of the gaps in the entanglement spectrum are analysed. The entanglement hamiltonians in these models are characterised by matrices that provide also contours for the entanglement entropies. The temporal evolution of these contours for the entanglement entropy is studied, also by employing existing conformal field theory results for the semi-infinite line and the quasi-particle picture for the global quench.


title: Three-Stage Subspace Clustering Framework with Graph-Based Transformation and Optimization

abstract: Subspace clustering (SC) refers to the problem of clustering high-dimensional data into a union of low-dimensional subspaces. Based on spectral clustering, state-of-the-art approaches solve SC problem within a two-stage framework. In the first stage, data representation techniques are applied to draw an affinity matrix from the original data. In the second stage, spectral clustering is directly applied to the affinity matrix so that data can be grouped into different subspaces. However, the affinity matrix obtained in the first stage usually fails to reveal the authentic relationship between data points, which leads to inaccurate clustering results. In this paper, we propose a universal Three-Stage Subspace Clustering framework (3S-SC). Graph-Based Transformation and Optimization (GBTO) is added between data representation and spectral clustering. The affinity matrix is obtained in the first stage, then it goes through the second stage, where the proposed GBTO is applied to generate a reconstructed affinity matrix with more authentic similarity between data points. Spectral clustering is applied after GBTO, which is the third stage. We verify our 3S-SC framework with GBTO through theoretical analysis. Experiments on both synthetic data and the real-world data sets of handwritten digits and human faces demonstrate the universality of the proposed 3S-SC framework in improving the connectivity and accuracy of SC methods based on $\ell_0$, $\ell_1$, $\ell_2$ or nuclear norm regularization.


title: Emission cross sections for energetic O$^+$($^4S,^2D,^2P$)-N$_2$ collisions

abstract: We report measurements of excitation functions for the O$^{+}-$N$_{2}$ process with the incident beam of $1-10$ keV O$^{+}$ in the ground O$^{+}(^{4}S)$ and metastable O$^{+}(^{2}D)$ and O$^{+}(^{2}P)$ states. The measurements are performed with the sufficiently high energy resolution of 0.001 eV, which allows to distinguish the excitation channels. The excitation cross section induced by incident ions in the metastable state O$^{+}(^{2}P)$ is much larger than that for the ground O$^{+}(^{4}S)$. The excitation cross section of N$_{2}^{+}$ ion for (0,0), (0,1) and (1,2) bands system is measured and the ratio of intensities for these bands is established as $10:3:1.$ It is shown that the cross sections for the N$^{+^{\ast }}$ions excitations in the dissociative charge exchange processes increase with the increase of the incident ion energy. The energy dependence of the excitation cross section of the band (0,0) $\lambda=391.4$ nm of the first negative system of the N$_{2}^{+}$ and degree of polarization of radiation in O$^{+}-$N$_{2}$ collision are measured for the first time. An influence of an admixture of the ion metastable state on a degree of polarization is revealed. It is demonstrated that for O$^{+}-$N$_{2}$ collision system the degree of polarization by metastable O$^{+}$($^{2}P$) ions is less compared to those that are in the ground O$^{+}$($^{4}S$) state and the sign of polarization degree of excited molecular ions does not change.


title: Topological transition in measurement-induced geometric phases

abstract: The state of a quantum system, adiabatically driven in a cycle, may acquire a measurable phase depending only on the closed trajectory in parameter space. Such geometric phases are ubiquitous, and also underline the physics of robust topological phenomena such as the quantum Hall effect. Equivalently, a geometric phase may be induced through a cyclic sequence of quantum measurements. We show that the application of a sequence of weak measurements renders the closed trajectories, hence the geometric phase, stochastic. We study the concomitant probability distribution and show that, when varying the measurement strength, the mapping between the measurement sequence and the geometric phase undergoes a topological transition. Our finding may impact measurement-induced control and manipulation of quantum states---a promising approach to quantum information processing. It also has repercussions on understanding the foundations of quantum measurement.


title: Wide subcategories and lattices of torsion classes

abstract: In this paper, we study the relationship between wide subcategories and torsion classes of an abelian length category $\mathcal{A}$ from the point of view of lattice theory. Motivated by $\tau$-tilting reduction of Jasso, we mainly focus on intervals $[\mathcal{U},\mathcal{T}]$ in the lattice $\operatorname{\mathsf{tors}} \mathcal{A}$ of torsion classes in $\mathcal{A}$ such that $\mathcal{W}:=\mathcal{U}^\perp \cap \mathcal{T}$ is a wide subcategory of $\mathcal{A}$; we call these intervals wide intervals. We prove that a wide interval $[\mathcal{U},\mathcal{T}]$ is isomorphic to the lattice $\operatorname{\mathsf{tors}} \mathcal{W}$ of torsion classes in the abelian category $\mathcal{W}$. We also characterize wide intervals in two ways: First, in purely lattice theoretic terms based on the brick labeling established by Demonet--Iyama--Reading--Reiten--Thomas; and second, in terms of the Ingalls--Thomas correspondences between torsion classes and wide subcategories, which were further developed by Marks--\v{S}\v{t}ov\'{i}\v{c}ek.


title: Threading the spindle: a geometric study of chiral liquid crystal polymer microparticles

abstract: Polymeric particles are strong candidates for designing artificial materials capable of emulating the complex twisting-based functionality observed in biological systems. In this letter, we provide the first detailed investigation of the swelling behavior of bipolar polymer liquid crystalline microparticles. Deswelling from the spherical bipolar configuration causes the microparticle to contract anisotropically and twist in the process, resulting in a twisted spindle shaped structure. We propose a model to describe the observed spiral patterns and twisting behavior.


title: A Right-of-Way Based Strategy to Implement Safe and Efficient Driving at Non-Signalized Intersections for Automated Vehicles

abstract: Non-signalized intersection is a typical and common scenario for connected and automated vehicles (CAVs). How to balance safety and efficiency remains difficult for researchers. To improve the original Responsibility Sensitive Safety (RSS) driving strategy on the non-signalized intersection, we propose a new strategy in this paper, based on right-of-way assignment (RWA). The performances of RSS strategy, cooperative driving strategy, and RWA based strategy are tested and compared. Testing results indicate that our strategy yields better traffic efficiency than RSS strategy, but not satisfying as the cooperative driving strategy due to the limited range of communication and the lack of long-term planning. However, our new strategy requires much fewer communication costs among vehicles.


title: Betti numbers of monomial ideals in four variables

abstract: We express the multigraded Betti numbers of monomial ideals in 4 variables in terms of the multigraded Betti numbers of 66 squarefree monomial ideals, also in 4 variables. We use this class of 66 ideals to prove that monomial resolutions in 4 variables are independent of the base field. In addition, we give a formula for the Betti numbers of an arbitrary monomial ideal in 4 variables.


title: Semi-supervised Sequence-to-sequence ASR using Unpaired Speech and Text

abstract: Sequence-to-sequence automatic speech recognition (ASR) models require large quantities of data to attain high performance. For this reason, there has been a recent surge in interest for unsupervised and semi-supervised training in such models. This work builds upon recent results showing notable improvements in semi-supervised training using cycle-consistency and related techniques. Such techniques derive training procedures and losses able to leverage unpaired speech and/or text data by combining ASR with Text-to-Speech (TTS) models. In particular, this work proposes a new semi-supervised loss combining an end-to-end differentiable ASR$\rightarrow$TTS loss with TTS$\rightarrow$ASR loss. The method is able to leverage both unpaired speech and text data to outperform recently proposed related techniques in terms of \%WER. We provide extensive results analyzing the impact of data quantity and speech and text modalities and show consistent gains across WSJ and Librispeech corpora. Our code is provided in ESPnet to reproduce the experiments.


title: Wavelet based detection of scaling behaviour in noisy experimental data

abstract: The detection of power-laws in real data is a demanding task for several reasons. The two, more frequently met, being: (i) real data possess noise which affects significantly the power-law tails and (ii) there is no solid tool for the discrimination between a power-law, valid in a specific range of scales, from other functional forms like log-normal or stretched exponential distributions. In the present report we demonstrate, employing simulated and real data, that using wavelets it is possible to overcome both of the above mentioned difficulties and achieve a secure detection of a power-law and an accurate estimation of the associated exponent.


title: Positioning and Location-Aware Communications for Modern Railways with 5G New Radio

abstract: Providing high-capacity radio connectivity for high-speed trains (HSTs) is one of the most important use cases of emerging 5G New Radio (NR) networks. In this article, we show that 5G NR technology can also facilitate high-accuracy continuous localization and tracking of HSTs. Furthermore, we describe and demonstrate how the NR network can utilize the continuous location information for efficient beam-management and beamforming, as well as for downlink Doppler precompensation in the single-frequency network context. Additionally, with particular focus on millimeter wave networks, novel concepts for low-latency intercarrier interference (ICI) estimation and compensation, due to residual Doppler and oscillator phase noise, are described and demonstrated. The provided numerical results at 30 GHz operating band show that sub-meter positioning and sub-degree beam-direction accuracies can be obtained with very high probabilities in the order of 95-99%. The results also show that the described Doppler precompensation and ICI estimation and cancellation methods substantially improve the throughput of the single-frequency HST network.


title: Superconductor-semiconductor hybrid cavity quantum electrodynamics

abstract: Light-matter interactions at the single particle level have generally been explored in the context of atomic, molecular, and optical physics. Recent advances motivated by quantum information science have made it possible to explore coherent interactions between photons trapped in superconducting cavities and superconducting qubits. Spins in semiconductors can have exceptionally long spin coherence times and can be isolated in silicon, the workhorse material of the semiconductor microelectronic industry. Here, we review recent advances in hybrid "super-semi" quantum systems that coherently couple superconducting cavities to semiconductor quantum dots. We first present an overview of the underlying physics that governs the behavior of superconducting cavities, semiconductor quantum dots, and their modes of interaction. We then survey experimental progress in the field, focusing on recent demonstrations of cavity quantum electrodynamics in the strong coupling regime with a single charge and a single spin. Finally, we broadly discuss promising avenues of future research.


title: The thermal, mechanical, structural, and dielectric properties of cometary nuclei after Rosetta

abstract: The physical properties of cometary nuclei observed today relate to their complex history and help to constrain their formation and evolution. In this article, we review some of the main physical properties of cometary nuclei and focus in particular on the thermal, mechanical, structural and dielectric properties, emphasizing the progress made during the Rosetta mission. Comets have a low density of 480 $\pm$ 220 kg m-3 and a low permittivity of 1.9 - 2.0, consistent with a high porosity of 70 - 80 %, are weak with a very low global tensile strength $<$100 Pa, and have a low bulk thermal inertia of 0 - 60 J K-1 m-2 s-1/2 that allowed them to preserve highly volatiles species (e.g. CO, CO2, CH4, N2) into their interior since their formation. As revealed by 67P/Churyumov-Gerasimenko, the above physical properties vary across the nucleus, spatially at its surface but also with depth. The broad picture is that the bulk of the nucleus consists of a weakly bonded, rather homogeneous material that preserved primordial properties under a thin shell of processed material, and possibly covered by a granular material; this cover might in places reach a thickness of several meters. The properties of the top layer (the first meter) are not representative of that of the bulk nucleus. More globally, strong nucleus heterogeneities at a scale of a few meters are ruled out on 67P small lobe.


title: A survey of Kolmogorov quotients

abstract: Every topological space has a Kolmogorov quotient that is obtained by identifying topologically indistinguishable points, that is, points that are contained in exactly the same open sets. In this survey, we look at the relationship between topological spaces and their Kolmogorov quotients. In most natural examples of spaces, the Kolmogorov quotient is homeomorphic to the original space. A non-trivial relationship occurs, for example, in the case of pseudometric spaces, where the Kolmogorov quotient is a metric space. We also look at the topological indistinguishability relation in the context of topological groups and uniform spaces.


title: A Two-Dose Vaccine Epidemic Model with Power Incidence Rate

abstract: The dynamics of a SIVR model with power relationship incidence rates $(\beta I^p S^q)$ is investigated. It is assumed an individual can be susceptible after receiving the first dose of the vaccine, hence a second dose is required to attain permanent immunity. The steady states conditions of the disease-free equilibrium and the endemic equilibrium are critically presented. Numerical simulations are carried out to determine the impact of the exponential parameters $(p;q)$ on infection.


title: Correcting the measured values of the rate of change of the spin and orbital periods of rotation powered pulsars

abstract: For rotation powered pulsars, the rate of change of the spin period is expected to be positive. On the other hand, for a clean binary system (where gravity is the only force acting on the pulsar) the rate of change of the orbital period is expected to be negative. There are, however, some pulsars with the measurements of the rate of change of the spin period as negative quantities. Likewise, there are some pulsars with positive measurements of the rate of change of the orbital period. We investigate these cases by eliminating the external dynamical effects. We also look at those cases where at first, the measured values possess the correct sign, but on subtracting the dynamical effects, the sign changes. We use `GalDynPsr' package to perform these tasks. Moreover, we investigate possible reasons for such anomalies.


title: Optics robustness of the ATLAS Tile Calorimeter

abstract: TileCal, the central hadronic calorimeter of the ATLAS detector is composed of plastic scintillators interleaved by steel plates, and wavelength shifting optical fibres. The optical properties of these components are known to suffer from natural ageing and degrade due to exposure to radiation. The calorimeter was designed for 10 years of LHC operating at the design luminosity of $10^{34}$cm$^{-2}$s$^{-1}$. Irradiation tests of scintillators and fibres have shown that their light yield decrease by about 10% for the maximum dose expected after 10 years of LHC operation. The robustness of the TileCal optics components is evaluated using the calibration systems of the calorimeter: Cs-137 gamma source, laser light, and integrated photomultiplier signals of particles from proton-proton collisions. It is observed that the loss of light yield increases with exposure to radiation as expected. The decrease in the light yield during the years 2015-2017 corresponding to the LHC Run 2 will be reported. The current LHC operation plan foresees a second high luminosity LHC (HL-LHC) phase extending the experiment lifetime for 10 years more. The results obtained in Run 2 indicate that following the light yield response of TileCal is an essential step for predicting the calorimeter performance in future runs. Preliminary studies attempt to extrapolate these measurements to the HL-LHC running conditions.


title: Absence of a dissipative quantum phase transition in Josephson junctions

abstract: Half a century after its discovery, the Josephson junction has become the most important nonlinear quantum electronic component at our disposal. It has helped reshape the SI system around quantum effects and is used in scores of quantum devices. By itself, the use of Josephson junctions in the volt metrology seems to imply an exquisite understanding of the component in every aspect. Yet, surprisingly, there have been long-standing subtle issues regarding the modeling of the interaction of a junction with its electromagnetic environment. Here, we find that a Josephson junction connected to a resistor does not become insulating beyond a given value of the resistance due to a dissipative quantum phase transition, as is commonly believed. Our work clarifies how this key quantum component behaves in the presence of a dissipative environment and provides a comprehensive and consistent picture, notably regarding the treatment of its phase.


title: Precoded Cluster Hopping in Multi-Beam High Throughput Satellite Systems

abstract: Beam-Hopping (BH) and precoding are two trending technologies for the satellite community. While BH enables flexibility to adapt the offered capacity to the heterogeneous demand, precoding aims at boosting the spectral efficiency. In this paper, we consider a high throughput satellite (HTS) system that employs BH in conjunction with precoding. In particular, we propose the concept of Cluster-Hopping (CH) that seamlessly combines the BH and precoding paradigms and utilize their individual competencies. The cluster is defined as a set of adjacent beams that are simultaneously illuminated. In addition, we propose an efficient time-space illumination pattern design, where we determine the set of clusters that can be illuminated simultaneously at each hopping event along with the illumination duration. We model the CH time-space illumination pattern design as an integer programming problem which can be efficiently solved. Supporting results based on numerical simulations are provided which validate the effectiveness of the proposed CH concept and time-space illumination pattern design.


title: Charging control of electric vehicles using contextual bandits considering the electrical distribution grid

abstract: With the proliferation of electric vehicles, the electrical distribution grids are more prone to overloads. In this paper, we study an intelligent pricing and power control mechanism based on contextual bandits to provide incentives for distributing charging load and preventing network failure. The presented work combines the microscopic mobility simulator SUMO with electric network simulator SIMONA and thus produces reliable electrical distribution load values. Our experiments are carefully conducted under realistic conditions and reveal that conditional bandit learning outperforms context-free reinforcement learning algorithms and our approach is suitable for the given problem. As reinforcement learning algorithms can be adapted rapidly to include new information we assume these to be suitable as part of a holistic traffic control scenario.


title: SinGAN: Learning a Generative Model from a Single Natural Image

abstract: We introduce SinGAN, an unconditional generative model that can be learned from a single natural image. Our model is trained to capture the internal distribution of patches within the image, and is then able to generate high quality, diverse samples that carry the same visual content as the image. SinGAN contains a pyramid of fully convolutional GANs, each responsible for learning the patch distribution at a different scale of the image. This allows generating new samples of arbitrary size and aspect ratio, that have significant variability, yet maintain both the global structure and the fine textures of the training image. In contrast to previous single image GAN schemes, our approach is not limited to texture images, and is not conditional (i.e. it generates samples from noise). User studies confirm that the generated samples are commonly confused to be real images. We illustrate the utility of SinGAN in a wide range of image manipulation tasks.


title: Tilt Dependence of Alignment in Accretion Disks Subjected to Lense--Thirring Torques

abstract: We consider the effects of black hole tilt on accretion disk alignment, studying three initial black hole tilts,6 degrees, 12 degrees and 24 degrees, with both magnetohydrodynamic and (inviscid) hydrodynamic evolution. In a number of ways, but not all, the dynamics are homologous in the sense that the alignment fronts resulting from different initial tilts are very similar when analyzed in terms of the fraction of the initial tilt angle. Even when the initial misalignment is 24 degrees, which, for the sound speed studied, is 4 vertical scale heights at the disk fiducial radius, the surface density remains a smooth function of radius; i.e., we find no examples in which the disk inner aligned and outer misaligned regions separate, or "break".


title: Algorithms and Complexity for some Multivariate Problems

abstract: We study multivariate problems like function approximation, numerical integration, global optimization and dispersion. We obtain new results on the information complexity $n(\varepsilon,d)$ of these problems. The information complexity is the amount of information (e.g. the number of function values) that is needed to solve the $d$-dimensional problem up to a prescribed error $\varepsilon>0$. We present optimal algorithms for some of these problems. An extended abstract can be found in the section "Introduction and Results".


title: Fourth Moment of the Charge Density Induced Around A Guest Charge in Two-Dimensional Jellium

abstract: The model under consideration is the classical two-dimensional one-component plasma (jellium) of pointlike particles with charge $e$, interacting pairwisely via the logarithmic Coulomb potential and immersed in a uniform neutralizing background charge density. The system is in thermal equilibrium at the inverse temperature $\beta$, its thermodynamics depends only on the coupling constant $\Gamma=\beta e^2$. We put into an infinite (homogeneous and translationally invariant) plasma a guest particle of charge $Ze$ with $Z>-2/\Gamma$ in order to prevent from the collapse of the jellium charges onto it. The guest particle induces a screening cloud (the excess charge density) in the plasma. The zeroth and second moments of this screening cloud were derived previously for any fluid value of $\Gamma$. In this paper, we propose a formula for the fourth moment of the screening cloud. The derivation is based on the assumption that the fourth moment is, similarly as the second moment, analytic in $Z$ around $Z=0$. An exact treatment of the limit $Z\to\infty$ shows that it is a finite (cube) polynomial in $Z$. The $\Gamma$-dependence of the polynomial coefficients is determined uniquely by considering the limits $Z\to 0$ and $Z\to\infty$, and the compressibility sum rule for $Z=1$. The formula for the fourth moment of screening cloud is checked in the leading and first correction orders of the Debye-H\"uckel limit $\Gamma\to 0$ and at the exactly solvable free-fermion point $\Gamma=2$. Sufficient conditions for sign oscillations of the induced charge density which follow from the second-moment and fourth-moment sum rules are discussed.


title: Distance Metric Learned Collaborative Representation Classifier

abstract: Any generic deep machine learning algorithm is essentially a function fitting exercise, where the network tunes its weights and parameters to learn discriminatory features by minimizing some cost function. Though the network tries to learn the optimal feature space, it seldom tries to learn an optimal distance metric in the cost function, and hence misses out on an additional layer of abstraction. We present a simple effective way of achieving this by learning a generic Mahalanabis distance in a collaborative loss function in an end-to-end fashion with any standard convolutional network as the feature learner. The proposed method DML-CRC gives state-of-the-art performance on benchmark fine-grained classification datasets CUB Birds, Oxford Flowers and Oxford-IIIT Pets using the VGG-19 deep network. The method is network agnostic and can be used for any similar classification tasks.


title: Degenerations of spherical subalgebras and spherical roots

abstract: We obtain several structure results for a class of spherical subgroups of connected reductive complex algebraic groups that extends the class of strongly solvable spherical subgroups. Based on these results, we construct certain one-parameter degenerations of the Lie algebras corresponding to such subgroups. As an application, we exhibit explicit algorithms for computing the set of spherical roots of such a spherical subgroup.


title: Interface induced exchange bias effect in La$_{0.67}$Sr$_{0.33}$MnO$_3$/SrIrO$_3$ multilayer

abstract: Epitaxial superlattices of ferromagnetic/paramagnetic La$_{0.67}$Sr$_{0.33}$MnO$_3$/SrIrO$_3$ materials have been prepared on SrTiO$_3$ (100) substrate using pulse laser deposition technique. An unexpected onset of interface magnetic interaction has been observed around 40 K. Interestingly, magnetic exchange bias effect has been observed in both field cooled and zero field cooled magnetization loops, however, the shifting of loop is opposite in both measurements. Exchange bias field vanishes as temperature increases to interface magnetic ordering temperature. Moreover, exchange bias field is found to decrease with increasing cooling field. We believe that tuning of magnetic exchange at interface during field cooling induces this evolution in nature of exchange bias field.


title: Odd-frequency superconducting pairing in Kitaev-based junctions

abstract: We investigate odd-frequency superconducting correlations in normal-superconductor (NS) and short superconductor-normal-superconductor (SNS) junctions with the S region described by the Kitaev model of spinless fermions in one dimension. We demonstrate that, in both the trivial and topological phases, Andreev reflection is responsible for the coexistence of even- and odd-frequency pair amplitudes at interfaces, while normal reflections solely contribute to odd-frequency pairing. At NS interfaces we find that the odd-frequency pair amplitude exhibits large, but finite, values in the topological phase at low frequencies. This enhancement is due to the emergence of a Majorana zero mode at the interface, but notably there is no divergence and a finite odd-frequency pair amplitude also exists outside the topological phase. We also show that the local density of states and local odd-frequency pairing can be characterized solely by Andreev reflections deep in the topological phase. Moreover, in the topological phase of short SNS junctions, we find that both even- and odd-frequency amplitudes capture the emergence of topological Andreev bound states. For a superconducting phase difference $0<\phi<\pi$ the odd-frequency magnitude exhibits a linear frequency ($\sim |\omega|$) dependence at low-frequencies, while at $\phi=\pi$ it develops a resonance peak ($\sim 1/|\omega|$) due to the protected Majorana zero modes.


title: A Constructive Proof of a Concentration Bound for Real-Valued Random Variables

abstract: Almost 10 years ago, Impagliazzo and Kabanets (2010) gave a new combinatorial proof of Chernoff's bound for sums of bounded independent random variables. Unlike previous methods, their proof is constructive. This means that it provides an efficient randomized algorithm for the following task: given a set of Boolean random variables whose sum is not concentrated around its expectation, find a subset of statistically dependent variables. However, the algorithm of Impagliazzo and Kabanets (2010) is given only for the Boolean case. On the other hand, the general proof technique works also for real-valued random variables, even though for this case, Impagliazzo and Kabanets (2010) obtain a concentration bound that is slightly suboptimal. Herein, we revisit both these issues and show that it is relatively easy to extend the Impagliazzo-Kabanets algorithm to real-valued random variables and to improve the corresponding concentration bound by a constant factor.


title: Computational analysis of laminar structure of the human cortex based on local neuron features

abstract: In this paper, we present a novel method for analysis and segmentation of laminar structure of the cortex based on tissue characteristics whose change across the gray matter underlies distinctive between cortical layers. We develop and analyze features of individual neurons to investigate changes in cytoarchitectonic differentiation and present a novel high-performance, automated framework for neuron-level histological image analysis. Local tissue and cell descriptors such as density, neuron size and other measures are used for development of more complex neuron features used in machine learning model trained on data manually labeled by three human experts. Final neuron layer classifications were obtained by training a separate model for each expert and combining their probability outputs. Importances of developed neuron features on both global model level and individual prediction level are presented and discussed.


title: Existence and uniqueness results for double phase problems with convection term

abstract: In this paper we consider quasilinear elliptic equations with double phase phenomena and a reaction term depending on the gradient. Under quite general assumptions on the convection term we prove the existence of a weak solution by applying the theory of pseudomonotone operators. Imposing some linear conditions on the gradient variable the uniqueness of the solution is obtained.


title: Full-field mode sorter using two optimized phase transformations for high-dimensional quantum cryptography

abstract: High-dimensional encoding schemes have emerged as a novel way to perform quantum information tasks. For high dimensionality, temporal and transverse spatial modes of photons are the two paradigmatic degrees of freedom commonly used in such experiments. Nevertheless, general devices for multi-outcome measurements are still needed to take full advantage of the high-dimensional nature of encoding schemes. We propose a general full-field mode sorting scheme consisting only of up to two optimized phase elements based on evolutionary algorithms that allows for joint sorting of azimuthal and radial modes in a wide range of bases. We further study the performance of our scheme through simulations in the context of high-dimensional quantum cryptography, where high-fidelity measurement schemes are crucial.


title: Linking multipole vectors and pseudoentropies for CMB analysis

abstract: Multipole vectors and pseudoentropies provide powerful tools for a numerically fast and vivid investigation of possible statistically anisotropic, respectively non-Gaussian signs in CMB temperature fluctuations. After reviewing and linking these two conceptions we compare their application to data analysis using the Planck 2015 NILC full sky map.


title: To square root the Lagrangian or not: an underlying geometrical analysis on classical and relativistic mechanical models

abstract: The geodesic has a fundamental role in physics and in mathematics: roughly speaking, it represents the curve that minimizes the arc length between two points on a manifold. We analyze a basic but misinterpreted difference between the Lagrangian that gives the arc length of a curve and the one that describes the motion of a free particle in curved space. Although they provide the same formal equations of motion, they are not equivalent. We explore this difference from a geometrical point of view, where we observe that the non-equivalence is nothing more than a matter of symmetry. As applications, some distinct models are studied. In particular, we explore the standard free relativistic particle, a couple of spinning particle models and also the forceless mechanics formulated by Hertz.


title: Radiative corrections of order O(alpha E_e/m_N) to Sirlin's radiative corrections of order O(alpha/pi) to neutron lifetime

abstract: We calculate the radiative corrections of order O(alpha E_e/m_N) as next-to-leading order corrections in the large nucleon mass expansion to Sirlin's radiative corrections of order O(alpha/pi) to the neutron lifetime. The calculation is carried out within a quantum field theoretic model of strong low-energy pion--nucleon interactions described by the linear sigma-model (LsM) with chiral SU(2)xSU(2) symmetry and electroweak hadron-hadron, hadron-lepton and lepton-lepton interactions for the electron-lepton family with SU(2)_L x U(1)_Y symmetry of the Standard Electroweak Model (SEM). Such a quantum field theoretic model is some kind a hadronized version of the Standard Model (SM). From a gauge invariant set of the Feynman diagrams with one-photon exchanges we reproduce Sirlin's radiative corrections of order O(alpha/pi), calculated to leading order in the large nucleon mass expansion, and calculate next-to-leading corrections of order O(alpha E_e/m_N). This confirms Sirlin's confidence level of the radiative corrections O(alpha E_e/m_N). The contributions of the LsM are taken in the limit of the infinite mass of the scalar isoscalar sigma-meson. In such a limit the LsM reproduces the results of the current algebra (Weinberg, Phys. Rev. Lett. {\bf 18}, 188 (1967)) in the form of effective chiral Lagrangians of pion-nucleon interactions with non--linear realization of chiral SU(2)xSU(2) symmetry. In such a limit the L$\sigma$M is also equivalent to Gasser-Leutwyler's chiral quantum field theory or chiral perturbation theory (ChPT) with chiral SU(2)xSU(2)symmetry and the exponential parametrization of a pion-field (Ecker, Prog. Part. Nucl. Phys. {\bf 35}, 1 (1995)).


title: Cosmic Structure Formation with Kinetic Field Theory

abstract: Kinetic Field Theory (KFT) is a statistical field theory for an ensemble of point-like classical particles in or out of equilibrium. We review its application to cosmological structure formation. Beginning with the construction of the generating functional of the theory, we describe in detail how the theory needs to be adapted to reflect the expanding spatial background and the homogeneous and isotropic, correlated initial conditions for cosmic structures. Based on the generating functional, we develop three main approaches to non-linear, late-time cosmic structures, which rest either on the Taylor expansion of an interaction operator, suitable averaging procedures for the interaction term, or a resummation of perturbation terms. We show how an analytic, parameter-free equation for the non-linear cosmic power spectrum can be derived. We explain how the theory can be used to derive the density profile of gravitationally bound structures and use it to derive power spectra of cosmic velocity densities. We further clarify how KFT relates to the BBGKY hierarchy. We then proceed to apply kinetic field theory to fluids, introduce a reformulation of KFT in terms of macroscopic quantities which leads to a resummation scheme, and use this to describe mixtures of gas and dark matter. We discuss how KFT can be applied to study cosmic structure formation with modified theories of gravity. As an example for an application to a non-cosmological particle ensemble, we show results on the spatial correlation function of cold Rydberg atoms derived from KFT.


title: Efficient computation of the second-Born self-energy using tensor-contraction operations

abstract: In the nonequilibrium Green's function approach, the approximation of the correlation self-energy at the second-Born level is of particular interest, since it allows for a maximal speed-up in computational scaling when used together with the Generalized Kadanoff-Baym Ansatz for the Green's function. The present day numerical time-propagation algorithms for the Green's function are able to tackle first principles simulations of atoms and molecules, but they are limited to relatively small systems due to unfavourable scaling of self-energy diagrams with respect to the basis size. We propose an efficient computation of the self-energy diagrams by using tensor-contraction operations to transform the internal summations into functions of external low-level linear algebra libraries. We discuss the achieved computational speed-up in transient electron dynamics in selected molecular systems.

categories: physics.comp-ph cond-mat.str-el physics.atm-clus physics.chem-ph


title: Optimal interplay between synaptic strengths and network structure enhances activity fluctuations and information propagation in hierarchical modular networks

abstract: In network models of spiking neurons, the joint impact of network structure and synaptic parameters on activity propagation is still an open problem. Here we use an information-theoretical approach to investigate activity propagation in spiking networks with hierarchical modular topology. We observe that optimized pairwise information propagation emerges due to the increase of either (i) the global synaptic strength parameter or (ii) the number of modules in the network, while the network size remains constant. At the population level, information propagation of activity among adjacent modules is enhanced as the number of modules increases until a maximum value is reached and then decreases, showing that there is an optimal interplay between synaptic strength and modularity for population information flow. This is in contrast to information propagation evaluated among pairs of neurons, which attains maximum value at the maximum values of these two parameter ranges. By examining the network behavior under increase of synaptic strength and number of modules we find that these increases are associated with two different effects: (i) increase of autocorrelations among individual neurons, and (ii) increase of cross-correlations among pairs of neurons. The second effect is associated with better information propagation in the network. Our results suggest roles that link topological features and synaptic strength levels to the transmission of information in cortical networks.v


title: Multifractality at the Weyl semimetal-diffusive metal transition for generic disorder

abstract: A Weyl semimetal is a three dimensional topological gapless phase. In the presence of strong enough disorder it undergoes a quantum transition towards a diffusive metal phase whose universality class depends on the range of disorder correlations. Similar to other quantum transitions driven by disorder, the critical wave functions at the semimetal-diffusive metal transition exhibit multifractality. Using renormalization group methods we study the corresponding multifractal spectrum as a function of the range of disorder correlations for generic disorder including random scalar and vector potentials. We also discuss the relation between the geometric fluctuations of critical wave functions and the broad distribution of the local density of states (DOS) at the transition. We derive a new scaling relation for the typical local DOS and argue that it holds for other disorder-driven transitions in which both the average and typical local DOS vanish on one side of the transition. As an illustration we apply it to the recently discussed unconventional quantum transition in disordered semiconductors with power-law dispersion relation near the band edge.


title: Some remarks on blueprints and ${\mathbb F}_1$-schemes

abstract: Over the past two decades several different approaches to defining a geometry over ${\mathbb F}_1$ have been proposed. In this paper, relying on To\"en and Vaqui\'e's formalism, we investigate a new category ${\mathsf{Sch}}_{\widetilde{\mathsf B}}$ of schemes admitting a Zariski cover by affine schemes relative to the category of blueprints introduced by Lorscheid. A blueprint, that may be thought of as a pair consisting of a monoid $M$ and a relation on the semiring $M \otimes_{{\mathbb F}_1} \mathbb N$, is a monoid object in a certain symmetric monoidal category $\mathsf B$, which is shown to be complete, cocomplete, and closed. We prove that every $\widetilde{\mathsf B}$-scheme $\Sigma$ can be associated, through adjunctions, with both a classical scheme $\Sigma_{\mathbb Z}$ and a scheme $\underline{\Sigma}$ over ${\mathbb F}_1$ in the sense of Deitmar, together with a natural transformation $\Lambda\colon \Sigma_{\mathbb Z}\to \underline{\Sigma}\otimes_{{\mathbb F}_1} {\mathbb Z}$. Furthermore, as an application, we show that the category of "${\mathbb F}_1$-schemes" defined by A. Connes and C. Consani can be naturally merged with that of $\widetilde{\mathsf B}$-schemes to obtain a larger category, whose objects we call "${\mathbb F}_1$-schemes with relations".


title: Toward a direct measurement of the cosmic acceleration: roadmap and forecast on FAST

abstract: HI absorption systems are great targets for direct measurement of the Sandage-Loeb (SL) effect throughout a wide range of redshift for ground-based radio telescopes. We demonstrate the significance of improving the accuracy of SL effect measurement in cosmological model selection. With its wide sky coverage and high sensitivity, we forecast that for 1 year of the upcoming commensal survey (CRAFTS) the FAST telescope is capable of discovering about 800 HI absorption systems thereby improving the SL measurement accuracy. Aiming to measurement the cosmic redshift drift rate at the precision of $\dot{z} \sim 10^{-10} \mathrm{decade^{-1}}$, we propose combined observation mode with blind-searching and targeted observation. For a decade of consecutive targeted spectroscopic observation with the frequency resolution at a level of sub-$0.1\ \rm Hz$, we could detect the first-order derivative of the cosmological redshift with the expected precision.


title: Most vital segment barriers

abstract: We study continuous analogues of "vitality" for discrete network flows/paths, and consider problems related to placing segment barriers that have highest impact on a flow/path in a polygonal domain. This extends the graph-theoretic notion of "most vital arcs" for flows/paths to geometric environments. We give hardness results and efficient algorithms for various versions of the problem, (almost) completely separating hard and polynomially-solvable cases.


title: Determination of chaotic behaviour in time series generated by charged particle motion around magnetized Schwarzschild black holes

abstract: We study behaviour of ionized region of a Keplerian disk orbiting a Schwarzschild black hole immersed in an asymptotically uniform magnetic field. In dependence on the magnetic parameter ${\cal B}$, and inclination angle $\theta$ of the disk plane with respect to the magnetic field direction, the charged particles of the ionized disk can enter three regimes: a) regular oscillatory motion, b) destruction due to capture by the magnetized black hole, c) chaotic regime of the motion. In order to study transition between the regular and chaotic type of the charged particle motion, we generate time series of the solution of equations of motion under various conditions, and study them by non-linear (box counting, correlation dimension, Lyapunov exponent, recurrence analysis, machine learning) methods of chaos determination. We demonstrate that the machine learning method appears to be the most efficient in determining the chaotic region of the $\theta-r$ space. We show that the chaotic character of the ionized particle motion increases with the inclination angle. For the inclination angles $\theta \sim 0$ whole the ionized internal part of the Keplerian disk is captured by the black hole.


title: Joint Vision-Based Navigation, Control and Obstacle Avoidance for UAVs in Dynamic Environments

abstract: This work addresses the problem of coupling vision-based navigation systems for Unmanned Aerial Vehicles (UAVs) with robust obstacle avoidance capabilities. The former problem is solved by maximizing the visibility of the points of interest, while the latter is modeled by means of ellipsoidal repulsive areas. The whole problem is transcribed into an Optimal Control Problem (OCP), and solved in a few milliseconds by leveraging state-of-the-art numerical optimization. The resulting trajectories are well suited for reaching the specified goal location while avoiding obstacles with a safety margin and minimizing the probability of losing the route with the target of interest. Combining this technique with a proper ellipsoid shaping (i.e., by augmenting the shape proportionally with the obstacle velocity or with the obstacle detection uncertainties) results in a robust obstacle avoidance behavior. We validate our approach within extensive simulated experiments that show effective capabilities to satisfy all the constraints even in challenging conditions. We release with this paper the open source implementation.


title: Characterization of the traces on the boundary of functions in magnetic Sobolev spaces

abstract: We characterize the trace of magnetic Sobolev spaces defined in a half-space or in a smooth bounded domain in which the magnetic field $A$ is differentiable and its exterior derivative corresponding to the magnetic field $dA$ is bounded. In particular, we prove that, for $d \ge 1$ and $p>1$, the trace of the magnetic Sobolev space $W^{1, p}_A(\mathbb{R}^{d+1}_+)$ is exactly $W^{1-1/p, p}_{A^{\shortparallel}}(\mathbb{R}^d)$ where $A^{\shortparallel}(x) =( A_1, \dotsc, A_d)(x, 0)$ for $x \in \mathbb{R}^d$ with the convention $A = (A_1, \dotsc, A_{d+1})$ when $A \in C^1(\overline{\mathbb{R}^{d+1}_+}, \mathbb{R}^{d+1})$. We also characterize fractional magnetic Sobolev spaces as interpolation spaces and give extension theorems from a half-space to the entire space.


title: Comprehensive Eliashberg analysis of microwave conductivity and penetration depth of K-, Co-, and P-substituted BaFe2As2

abstract: We report on the combined experimental and theoretical analysis of the microwave-frequency electromagnetic response of BaFe2As2 single crystals with different substitutions: K in the Ba site (hole doping), Co in the Fe site (electron doping), and P in the As site (isovalent substitution). Measurements using a coplanar resonator technique lead to the experimental determination of the penetration depth and microwave conductivity as a function of temperature. The whole set of data is analyzed within a self-consistent three-band $s_{\pm}$-wave Eliashberg approach, able to account for all the main observed features in the different properties. Besides the validation of the model itself, the comparison between experiment and theory allows discussing the possible role of the Fe-As planes in defining the superconducting properties of these compounds, the relevance of coherence effects, and the presence of nodes in the superconducting order parameter.


title: The on-axis view of GRB 170817A

abstract: The peculiar short gamma-ray burst GRB 170817A has been firmly associated to the gravitational wave event GW170817, which has been unaninmously interpreted as due to the coalescence of a double neutron star binary. The unprecedented behaviour of the non-thermal afterglow led to a debate about its nature, which was eventually settled by high-resolution VLBI observations, which strongly support the off-axis structured jet scenario. Using information on the jet structure derived from multi-wavelength fitting of the afterglow emission and of the apparent VLBI image centroid motion, we compute the appearance of a GRB 170817A-like jet as seen by an on-axis observer and we compare it to the previously observed population of SGRB afterglows and prompt emission events. We find that the intrinsic properties of the GRB 170817A jet are representative of a typical event in the SGRB population, hinting at a quasi-universal jet structure. The diversity in the SGRB afterglow population could therefore be ascribed in large part to extrinsic (redshift, density of the surrounding medium, viewing angle) rather than intrinsic properties. Although more uncertain, the comparison can be extended to the prompt emission properties, leading to similar conclusions.


title: Ionization correction factors for ionized nebulae

abstract: In this paper we discuss the calculation of chemical abundances in planetary nebulae and H II regions through ionization correction factors (ICFs). We review the first ICFs proposed in the literature based on ionization potential similarities and we present the most recent ICFs derived from large sample of photoionization models. We also discuss some of the considerations that have to be kept in mind when using ICFs to compute the chemical composition of ionized nebulae.


title: Alternative coalescence model for deuteron, tritium, helium-3 and their antinuclei

abstract: Antideuteron and antihelium nuclei have been proposed as a detection channel for dark matter annihilations and decays in the Milky Way, due to the low astrophysical background expected. To estimate both the signal for various dark matter models and the astrophysical background, one employs usually the coalescence model in a Monte Carlo framework. This allows one to treat the production of antinuclei on an event-by-event basis, taking thereby into account momentum correlations between the antinucleons involved in the process. This approach lacks however an underlying microscopic picture, and the numerical value of the coalescence parameter obtained from fits to different reactions varies considerably. Here we propose instead to combine event-by-event Monte Carlo simulations with a microscopic coalescence picture based on the Wigner function representations of the produced antinuclei states. This approach allows us to include in a semi-classical picture both the size of the formation region, which is process dependent, and momentum correlations. The model contains a single, universal parameter which is fixed by fitting the production spectra of antideuterons in proton-proton interactions, measured at the Large Hadron Collider. Using this value, the model describes well the production of various antinuclei both in electron-positron annihilation and in proton-proton collisions.


title: Statistical detection of a tidal stream associated with the globular cluster M68 using Gaia data

abstract: A method to search for tidal streams and to fit their orbits based on maximum likelihood is presented and applied to the Gaia data. Tests of the method are performed showing how a simulated stream produced by tidal stripping of a star cluster is recovered when added to a simulation of the Gaia catalogue. The method can be applied to search for streams associated with known progenitors or to do blind searches in a general catalogue. As the first example, we apply the method to the globular cluster M68 and detect its clear tidal stream stretching over the whole North Galactic hemisphere, and passing within 5 kpc of the Sun. This is one of the closest tidal streams to us detected so far, and is highly promising to provide new constraints on the Milky Way gravitational potential, for which we present preliminary fits finding a slightly oblate dark halo consistent with other observations. We identify the M68 tidal stream with the previously discovered Fj\"orm stream by Ibata et al. The tidal stream is confirmed to contain stars that are consistent with the HR-diagram of M68. We provide a list of 115 stars that are most likely to be stream members, and should be prime targets for follow-up spectroscopic studies.


title: Exploration of TCP Parameters for Enhanced Performance in a Datacenter Environment

abstract: TCP parameters in most of the operating systems are optimized for generic home and office environments having low latencies in their internal networks. However, this arrangement invariably results in a compromized network performance when same parameters are straight away slotted into a datacenter environment. We identify key TCP parameters that have a major impact on network performance based on the study and comparative analysis of home and datacenter environments. We discuss certain criteria for the modification of TCP parameters and support our analysis with simulation results that validate the performance improvement in case of datacenter environment.


title: Causality without potential outcomes and the dynamic approach

abstract: Several approaches to causal inference from observational studies have been proposed. Since the proposal of Rubin (1974) many works have developed a counterfactual approach to causality, statistically formalized by potential outcomes. Pearl (2000) has put forward a theory of structural causal models which gives an important role to graphical models and do not necessarily use potential outcomes. On the other hand, several authors have developed a dynamical approach in line with Granger (1969). We analyze prospective and retrospective causal questions and their different modalities. Following Dawid (2000) we develop criticisms about the potential outcome approach and we show that causal effects can be estimated without potential outcomes: in particular direct computation of the marginal effect can be done by a change of probability measure. Finally, we highlight the need to adopt a dynamic approach to causality through two examples, "truncation by death" and the "obesity paradox".


title: On The Bj\"orling Problem For Lightlike Curves In $\mathbb{R}^4_1$

abstract: In this work we provide necessary and sufficient conditions for the existence of a minimal timelike strip in Lorentz-Minkowski space $\mathbb{R}^4_1$ containing a given lightlike curve and prescribed normal bundle. We also discuss uniqueness of solutions.


title: Phase transitions in titanium with an analytic bond-order potential

abstract: Titanium is the base material for a number of technologically important alloys for energy conversion and structural applications. Atomic-scale studies of Ti-based metals employing first-principles methods, such as density functional theory, are limited to ensembles of a few hundred atoms. To perform large-scale and/or finite temperature simulations, computationally more efficient interatomic potentials are required. In this work, we coarse grain the tight-binding (TB) approximation to the electronic structure and develop an analytic bond-order potential (BOP) for Ti by fitting to the energies and forces of elementary deformations of simple structures. The BOP predicts the structural properties of the stable and defective phases of Ti with a quality comparable to previous TB parametrizations at a much lower computational cost. The predictive power of the model is demonstrated for simulations of martensitic transformations.


title: 99% beta factor and directional coupling of quantum dots to fast light in photonic crystal waveguides determined by hyperspectral imaging

abstract: Spontaneous emission from excitonic transitions in InAs/GaAs quantum dots embedded in photonic crystal waveguides at 5K into non-guided and guided modes is determined by direct hyperspectral imaging. This enables measurement of the absolute coupling efficiency into the guided modes, the beta-factor, directly, without assumptions on decay rates used previously. Notably, we found beta-factors above 90% over a wide spectral range of 40meV in the fast light regime, reaching a maximum of (99 $\pm$ 1)%. We measure the directional emission of the circularly polarized transitions in a magnetic field into counter-propagating guided modes, to deduce the mode circularity at the quantum dot sites. We find that points of high directionality, up to 97%, correlate with a reduced beta-factor, consistent with their positions away from the mode field antinode. By comparison with calibrated finite-difference time-domain simulations, we use the emission energy, mode circularity and beta-factor to estimate the quantum dot position inside the photonic crystal waveguide unit cell.


title: Total Variation Bayesian Learning via Synthesis

abstract: This paper presents a sparse Bayesian learning algorithm for inverse problems in signal and image processing with a total variation (TV) sparsity prior. Because of the prior used, and the fact that the prior parameters are estimated directly from the data, sparse Bayesian learning often produces more accurate results than the typical maximum a posteriori Bayesian estimates for sparse signal recovery. It also provides a full posterior distribution. However, sparse Bayesian learning is only available to problems with a direct sparsity prior or those formed via synthesis. This paper demonstrates how a problem with a TV sparsity prior can be formulated in a synthesis approach. We then develop a method that combines this synthesis-based TV with the sparse Bayesian learning algorithm and provide numerical examples to demonstrate how our new technique is effectively employed.


title: An Efficient Approach to Achieve Compositionality using Optimized Multi-Version Object Based Transactional Systems

abstract: In the modern era of multi-core systems, the main aim is to utilize the cores properly. This utilization can be done by concurrent programming. But developing a flawless and well-organized concurrent program is difficult. Software Transactional Memory Systems (STMs) are a convenient programming interface which assist the programmer to access the shared memory concurrently without worrying about consistency issues such as priority-inversion, deadlock, livelock, etc. Another important feature that STMs facilitate is compositionality of concurrent programs with great ease. It composes different concurrent operations in a single atomic unit by encapsulating them in a transaction. Many STMs available in the literature execute read/write primitive operations on memory buffers. We represent them as Read-Write STMs or RWSTMs. Whereas, there exist some STMs (transactional boosting and its variants) which work on higher level operations such as insert, delete, lookup, etc. on a hash-table. We refer these STMs as Object Based STMs or OSTMs. The literature of databases and RWSTMs say that maintaining multiple versions ensures greater concurrency. This motivates us to maintain multiple version at higher level with object semantics and achieves greater concurrency. So, this paper pro-poses the notion of Optimized Multi-version Object Based STMs or OPT-MVOSTMs which encapsulates the idea of multiple versions in OSTMs to harness the greater concurrency efficiently.


title: The plasmoid instability in a confined solar flare

abstract: Eruptive flares (EFs) are associated with erupting filaments and, in some models, filament eruption drives flare reconnection. Recently, however, observations of a confined flare (CF) have revealed all the hallmarks of an EF (impulsive phase, flare ribbons, etc.) without the filament eruption itself. Therefore, if the filament is not primarily responsible for impulsive flare reconnection, what is? In this Letter, we argue, based on mimimal requirements, that the plasmoid instability is a strong candidate for explaining the impulsive phase in the observed CF. We present magnetohydrodynamic simulation results of the nonlinear development of the plasmoid instability, in a model active region magnetic field geometry, to strengthen our claim. We also discuss how the ideas described in this Letter can be generalised to other situations, including EFs.


title: (h; k)-Dichotomy and Lyapunov Type Norms

abstract: The paper considers a general concept of nonuniform (h; k)- dichotomy for evolution operators in Banach spaces. Two characterizations of this concept in terms of some families of norms compatible with the dichotomy projectors are given.


title: Query-guided End-to-End Person Search

abstract: Person search has recently gained attention as the novel task of finding a person, provided as a cropped sample, from a gallery of non-cropped images, whereby several other people are also visible. We believe that i. person detection and re-identification should be pursued in a joint optimization framework and that ii. the person search should leverage the query image extensively (e.g. emphasizing unique query patterns). However, so far, no prior art realizes this. We introduce a novel query-guided end-to-end person search network (QEEPS) to address both aspects. We leverage a most recent joint detector and re-identification work, OIM [37]. We extend this with i. a query-guided Siamese squeeze-and-excitation network (QSSE-Net) that uses global context from both the query and gallery images, ii. a query-guided region proposal network (QRPN) to produce query-relevant proposals, and iii. a query-guided similarity subnetwork (QSimNet), to learn a query-guided reidentification score. QEEPS is the first end-to-end query-guided detection and re-id network. On both the most recent CUHK-SYSU [37] and PRW [46] datasets, we outperform the previous state-of-the-art by a large margin.


title: Field-induced incommensurate ordering in the Heisenberg chains coupled by Ising interaction: Model for the ytterbium aluminum perovskite YbAlO$_3$

abstract: We study isotropic antiferromagnetic Heisenberg chains coupled by antiferromagnetic Ising interaction as an effective spin model for the ytterbium aluminum perovskite YbAlO$_3$. Using the density-matrix renormalization group (DMRG) method we calculate the magnetization curve, local spin, central charge, and dynamical spin structure factors in the presence of magnetic field. From the fitting of the experimental magnetization curve, the effective intrachain and interchain couplings are estimated as $J=2.3$K and $J_{\rm ic}=0.8$K, respectively. We can quantitatively explain the experimental observations: (i) phase transition from antiferromagnetic to incommensurate order at field 0.35T, and (ii) quantum critical behaviors at the saturation field of 1.21T. Furthermore, the low-energy excitations in the experimental inelastic neutron scattering spectra can be well described by our DMRG results of the dynamical structure factors.


title: Learning in Modal Space: Solving Time-Dependent Stochastic PDEs Using Physics-Informed Neural Networks

abstract: One of the open problems in scientific computing is the long-time integration of nonlinear stochastic partial differential equations (SPDEs). We address this problem by taking advantage of recent advances in scientific machine learning and the dynamically orthogonal (DO) and bi-orthogonal (BO) methods for representing stochastic processes. Specifically, we propose two new Physics-Informed Neural Networks (PINNs) for solving time-dependent SPDEs, namely the NN-DO/BO methods, which incorporate the DO/BO constraints into the loss function with an implicit form instead of generating explicit expressions for the temporal derivatives of the DO/BO modes. Hence, the proposed methods overcome some of the drawbacks of the original DO/BO methods: we do not need the assumption that the covariance matrix of the random coefficients is invertible as in the original DO method, and we can remove the assumption of no eigenvalue crossing as in the original BO method. Moreover, the NN-DO/BO methods can be used to solve time-dependent stochastic inverse problems with the same formulation and computational complexity as for forward problems. We demonstrate the capability of the proposed methods via several numerical examples: (1) A linear stochastic advection equation with deterministic initial condition where the original DO/BO method would fail; (2) Long-time integration of the stochastic Burgers' equation with many eigenvalue crossings during the whole time evolution where the original BO method fails. (3) Nonlinear reaction diffusion equation: we consider both the forward and the inverse problem, including noisy initial data, to investigate the flexibility of the NN-DO/BO methods in handling inverse and mixed type problems. Taken together, these simulation results demonstrate that the NN-DO/BO methods can be employed to effectively quantify uncertainty propagation in a wide range of physical problems.

categories: cs.LG cs.NA math.NA physics.comp-ph stat.ML


title: Superconducting circuit protected by two-Cooper-pair tunneling

abstract: We present a protected superconducting qubit based on an effective circuit element that only allows pairs of Cooper pairs to tunnel. These dynamics give rise to a nearly degenerate ground state manifold indexed by the parity of tunneled Cooper pairs. We show that, when the circuit element is shunted by a large capacitance, this manifold can be used as a logical qubit that we expect to be insensitive to multiple relaxation and dephasing mechanisms.


title: Offline Writer Identification based on the Path Signature Feature

abstract: In this paper, we propose a novel set of features for offline writer identification based on the path signature approach, which provides a principled way to express information contained in a path. By extracting local pathlets from handwriting contours, the path signature can also characterize the offline handwriting style. A codebook method based on the log path signature---a more compact way to express the path signature---is used in this work and shows competitive results on several benchmark offline writer identification datasets, namely the IAM, Firemaker, CVL and ICDAR2013 writer identification contest dataset.


title: Approximation spaces of deep neural networks

abstract: We study the expressivity of deep neural networks. Measuring a network's complexity by its number of connections or by its number of neurons, we consider the class of functions for which the error of best approximation with networks of a given complexity decays at a certain rate when increasing the complexity budget. Using results from classical approximation theory, we show that this class can be endowed with a (quasi)-norm that makes it a linear function space, called approximation space. We establish that allowing the networks to have certain types of "skip connections" does not change the resulting approximation spaces. We also discuss the role of the network's nonlinearity (also known as activation function) on the resulting spaces, as well as the role of depth. For the popular ReLU nonlinearity and its powers, we relate the newly constructed spaces to classical Besov spaces. The established embeddings highlight that some functions of very low Besov smoothness can nevertheless be well approximated by neural networks, if these networks are sufficiently deep.


title: A Statistically Principled and Computationally Efficient Approach to Speech Enhancement using Variational Autoencoders

abstract: Recent studies have explored the use of deep generative models of speech spectra based of variational autoencoders (VAEs), combined with unsupervised noise models, to perform speech enhancement. These studies developed iterative algorithms involving either Gibbs sampling or gradient descent at each step, making them computationally expensive. This paper proposes a variational inference method to iteratively estimate the power spectrogram of the clean speech. Our main contribution is the analytical derivation of the variational steps in which the en-coder of the pre-learned VAE can be used to estimate the varia-tional approximation of the true posterior distribution, using the very same assumption made to train VAEs. Experiments show that the proposed method produces results on par with the afore-mentioned iterative methods using sampling, while decreasing the computational cost by a factor 36 to reach a given performance .


title: Non-Orthogonal Contention-Based Access for URLLC Devices with Frequency Diversity

abstract: We study coded multichannel random access schemes for ultra-reliable low-latency uplink transmissions. We concentrate on non-orthogonal access in the frequency domain, where users transmit over multiple orthogonal subchannels and inter-user collisions limit the available diversity. Two different models for contention-based random access over Rayleigh fading resources are investigated. First, a collision model is considered, in which the packet is replicated onto $K$ available resources, $K' \leq K$ of which are received without collision, and treated as diversity branches by a maximum-ratio combining (MRC) receiver. The resulting diversity degree $K'$ depends on the arrival process and coding strategy. In the second model, the slots subject to collisions are also used for MRC, such that the number of diversity branches $K$ is constant, but the resulting combined signal is affected by multiple access interference. In both models, the performance of random and deterministic repetition coding is compared. The results show that the deterministic coding approach can lead to a significantly superior performance when the arrival rate of the intermittent URLLC transmissions is low.


title: Effects of Coronal Density and Magnetic Field Distributions on a Global Solar EUV Wave

abstract: We investigate a global extreme-ultraviolet (EUV) wave associated with a coronal mass ejection (CME)-driven shock on 2017 September 10. The EUV wave is transmitted by north- and south-polar coronal holes (CHs), which is observed by the Solar Dynamics Observatory (SDO) and Solar Terrestrial Relations Observatory A (STEREO-A) from opposite sides of the Sun. We obtain key findings on how the EUV wave interacts with multiple coronal structures, and on its connection with the CME-driven shock: (1) the transmitted EUV wave is still connected with the shock that is incurvated to the Sun, after the shock has reached the opposite side of the eruption; (2) the south CH transmitted EUV wave is accelerated inside an on-disk, low-density region with closed magnetic fields, which implies that an EUV wave can be accelerated in both open and closed magnetic field regions; (3) part of the primary EUV wavefront turns around a bright point (BP) with a bipolar magnetic structure when it approaches a dim, low-density filament channel near the BP; (4) the primary EUV wave is diffused and apparently halted near the boundaries of remote active regions (ARs) that are far from the eruption, and no obvious AR related secondary waves are detected; (5) the EUV wave extends to an unprecedented scale of ~360{\deg} in latitudes, which is attributed to the polar CH transmission. These results provide insights into the effects of coronal density and magnetic field distributions on the evolution of an EUV wave, and into the connection between the EUV wave and the associated CME-driven shock.


title: Theory for the stationary polariton response in the presence of vibrations

abstract: We construct a model describing the response of a hybrid system where the electromagnetic field - in particular, surface plasmon polaritons - couples strongly with electronic excitations of atoms or molecules. Our approach is based on the input-output theory of quantum optics, and in particular it takes into account the thermal and quantum vibrations of the molecules. The latter is described within the $P(E)$ theory analogous to that used in the theory of dynamical Coulomb blockade. As a result, we are able to include the effect of the molecular Stokes shift on the strongly coupled response of the system. Our model then accounts for the asymmetric emission from upper and lower polariton modes. It also allows for an accurate description of the partial decoherence of the light emission from the strongly coupled system. Our results can be readily used to connect the response of the hybrid modes to the emission and fluorescence properties of the individual molecules, and thus are relevant in understanding any utilization of such systems, like coherent light harvesting.


title: Matlab vs. OpenCV: A Comparative Study of Different Machine Learning Algorithms

abstract: Scientific Computing relies on executing computer algorithms coded in some programming languages. Given a particular available hardware, algorithms speed is a crucial factor. There are many scientific computing environments used to code such algorithms. Matlab is one of the most tremendously successful and widespread scientific computing environments that is rich of toolboxes, libraries, and data visualization tools. OpenCV is a (C++)-based library written primarily for Computer Vision and its related areas. This paper presents a comparative study using 20 different real datasets to compare the speed of Matlab and OpenCV for some Machine Learning algorithms. Although Matlab is more convenient in developing and data presentation, OpenCV is much faster in execution, where the speed ratio reaches more than 80 in some cases. The best of two worlds can be achieved by exploring using Matlab or similar environments to select the most successful algorithm; then, implementing the selected algorithm using OpenCV or similar environments to gain a speed factor.


title: Dark matter from scalar field fluctuations

abstract: Dark matter (DM) may have its origin in a pre-Big Bang epoch, the cosmic inflation. Here, we consider for the first time a broad class of scenarios where a massive free scalar field unavoidably reaches an equilibrium between its classical and quantum dynamics in a characteristic time scale during inflation and sources the DM density. The study gives the abundance and perturbation spectrum of any DM component sourced by the scalar field. We show that this class of scenarios generically predicts enhanced structure formation, allowing one to test models where DM interacts with matter only gravitationally.


title: Collective Dynamics and Control for Multiple Unmanned Surface Vessels

abstract: A multi-unmanned surface vessel (USV) formation control system is established on a novel platform composed of three 1.2 meter-long hydraulic jet propulsion surface vessels, a differential GPS reference station, and inter-vessel Zigbee communication modules. The system is also equipped with an upper level collective multi-USV protocol and a lower level vessel dynamics controller. The system is capable of chasing and surrounding a target vessel. The results are supported by rigorous theoretical analysis in terms of asymptotical surrounding behavior and trajectory regulation. Extensive experiments are conducted to demonstrate the effectiveness and efficiency of the proposed hardware and software architectures.


title: Fully Dynamic Single-Source Reachability in Practice: An Experimental Study

abstract: Given a directed graph and a source vertex, the fully dynamic single-source reachability problem is to maintain the set of vertices that are reachable from the given vertex, subject to edge deletions and insertions. It is one of the most fundamental problems on graphs and appears directly or indirectly in many and varied applications. While there has been theoretical work on this problem, showing both linear conditional lower bounds for the fully dynamic problem and insertions-only and deletions-only upper bounds beating these conditional lower bounds, there has been no experimental study that compares the performance of fully dynamic reachability algorithms in practice. Previous experimental studies in this area concentrated only on the more general all-pairs reachability or transitive closure problem and did not use real-world dynamic graphs. In this paper, we bridge this gap by empirically studying an extensive set of algorithms for the single-source reachability problem in the fully dynamic setting. In particular, we design several fully dynamic variants of well-known approaches to obtain and maintain reachability information with respect to a distinguished source. Moreover, we extend the existing insertions-only or deletions-only upper bounds into fully dynamic algorithms. Even though the worst-case time per operation of all the fully dynamic algorithms we evaluate is at least linear in the number of edges in the graph (as is to be expected given the conditional lower bounds) we show in our extensive experimental evaluation that their performance differs greatly, both on generated as well as on real-world instances.


title: A low-mass triple system with a wide L/T transition brown dwarf component: NLTT 51469AB/SDSS 2131-0119

abstract: We demonstrate that the previously identified L/T transition brown dwarf SDSS J213154.43-011939.3 (SDSS 2131-0119) is a widely separated (82.3'', $\sim$3830 au) common proper motion companion to the low-mass star NLTT 51469, which we reveal to be a close binary itself, separated by 0.64''$\pm$0.01'' ($\sim$30 au). We find the proper motion of SDSS 2131-0119 of $\mu_{\alpha}\cos\delta=-100\pm20$, $\mu_{\delta}=-230\pm20$ mas/yr consistent with the proper motion of the primary provided by Gaia DR2: $\mu_{\alpha}\cos\delta=-95.49\pm0.96$, $\mu_{\delta}=-239.38\pm0.96$ mas/yr. Based on optical and near-infrared spectroscopy we classify NLTT 51469A as a M3$\pm$1 dwarf, estimate photometrically the spectral type of its close companion NLTT 51469B at $\sim$M6 and confirm the spectral type of the brown dwarf to be L9$\pm$1. Using radial velocity, proper motion and parallax we derived the $UVW$ space velocities of NLTT 51469A, showing that the system does not belong to any known young stellar moving group. The high $V, W$ velocities, lack of 670.8 nm Li I absorption line, and absence of H$\alpha$ emission, detected X-rays or UV excess, indicate that the system is likely a member of the thin disk population and is older than 1 Gyr. For the parallactic distance of $46.6\pm1.6$ pc from Gaia DR2 we determined luminosities of $-1.50^{+0.02}_{-0.04}$ and $-4.4\pm0.1$ dex of the M3 and L9, respectively. Considering the spectrophotometric estimation which yields a slightly lower distance of $34^{+10}_{-13}$ pc the obtained luminosities are $-1.78^{+0.02}_{-0.04}$ and $-4.7^{+0.3}_{-0.5}$ dex. We also estimated their effective temperatures and masses, and obtained 3410$^{+140}_{-210}$ K and $0.42\pm0.02 M_{\odot}$ for the primary, and 1400-1650 K and $0.05-0.07 M_{\odot}$ for the wide companion. For the $\sim$M6 component we estimated $T_{eff}=2850\pm200 K$ and $m=0.10^{+0.06}_{-0.01} M_{\odot}$.


title: Characterizing functional relationships between anthropogenic and biological sounds: A western New York state soundscape case study

abstract: Roads are a widespread feature of landscapes worldwide, and road traffic sound potentially makes nearby habitat unsuitable for acoustically communicating organisms. It is important to understand the influence of roads at the soundscape level to mitigate negative impacts of road sound on individual species as well as subsequent effects on the surrounding landscape. We seek to characterize the relationship between anthropogenic and biological sounds in western New York and assess the extent to which available traffic data explains variability in anthropogenic noise. Recordings were obtained in the spring of 2016 at 18 sites throughout western New York. We used the Welch Power Spectral Density (PSD) at low frequencies (0.5-2 kHz) to represent anthropogenic noise and PSD values at higher frequencies (2-11 kHz) to represent biological sound. Relationships were modeled using a novel two-stage hierarchical Bayesian model utilizing beta regression and basis splines. Model results and map predictions illustrate that anthropogenic noise and biological sound have an inverse relationship, and anthropogenic noise is greatest in close proximity to high traffic volume roads. The predictions have large uncertainty, resulting from the temporal coarseness of public road data used as a proxy for traffic sound. Results suggest that finer temporal resolution traffic sound data, such as crowd-sourced time-indexed traffic data from geographic positioning systems, might better account for observed temporal changes in the soundscape. The use of such data, in combination with the proposed modeling framework, could have important implications for the development of sound management policies.


title: Performance Optimization on Model Synchronization in Parallel Stochastic Gradient Descent Based SVM

abstract: Understanding the bottlenecks in implementing stochastic gradient descent (SGD)-based distributed support vector machines (SVM) algorithm is important in training larger data sets. The communication time to do the model synchronization across the parallel processes is the main bottleneck that causes inefficiency in the training process. The model synchronization is directly affected by the mini-batch size of data processed before the global synchronization. In producing an efficient distributed model, the communication time in training model synchronization has to be as minimum as possible while retaining a high testing accuracy. The effect from model synchronization frequency over the convergence of the algorithm and accuracy of the generated model must be well understood to design an efficient distributed model. In this research, we identify the bottlenecks in model synchronization in parallel stochastic gradient descent (PSGD)-based SVM algorithm with respect to the training model synchronization frequency (MSF). Our research shows that by optimizing the MSF in the data sets that we used, a reduction of 98\% in communication time can be gained (16x - 24x speed up) with respect to high-frequency model synchronization. The training model optimization discussed in this paper guarantees a higher accuracy than the sequential algorithm along with faster convergence.


title: Seamless Scene Segmentation

abstract: In this work we introduce a novel, CNN-based architecture that can be trained end-to-end to deliver seamless scene segmentation results. Our goal is to predict consistent semantic segmentation and detection results by means of a panoptic output format, going beyond the simple combination of independently trained segmentation and detection models. The proposed architecture takes advantage of a novel segmentation head that seamlessly integrates multi-scale features generated by a Feature Pyramid Network with contextual information conveyed by a light-weight DeepLab-like module. As additional contribution we review the panoptic metric and propose an alternative that overcomes its limitations when evaluating non-instance categories. Our proposed network architecture yields state-of-the-art results on three challenging street-level datasets, i.e. Cityscapes, Indian Driving Dataset and Mapillary Vistas.


title: Non-linear $IV$ characteristics in two-dimensional superconductors: Berezinskii-Kosterlitz-Thouless physics vs inhomogeneity

abstract: One of the hallmarks of the Berezinskii-Kosterlitz-Thouless (BKT) transition in two-dimensional (2D) superconductors is the universal jump of the superfluid density, that can be indirectly probed via the non-linear exponent of the current-voltage $IV$ characteristics. Here, we compare the experimental measurements of $IV$ characteristics in two cases, namely NbN thin films and SrTiO$_3$-based interfaces. While the former display a paradigmatic example of BKT-like non-linear effects, the latter do not seem to justify a BKT analysis. Rather, the observed $IV$ characteristics can be well reproduced theoretically by modelling the effect of mesoscopic inhomogeneity of the superconducting state. Our results offer an alternative perspective on the spontaneous fragmentation of the superconducting background in confined 2D systems.


title: Optimal Investment with Vintage Capital:Equilibrium Distributions

abstract: The paper concerns the study of equilibrium points, or steady states, of economic systems arising in modeling optimal investment with \textit{vintage capital}, namely, systems where all key variables (capitals, investments, prices) are indexed not only by time $\tau$ but also by age $s$. Capital accumulation is hence described as a partial differential equation (briefly, PDE), and equilibrium points are in fact equilibrium distributions in the variable $s$ of ages. Investments in frontier as well as non-frontier vintages are possible. Firstly a general method is developed to compute and study equilibrium points of a wide range of infinite dimensional, infinite horizon boundary control problems for linear PDEs with convex criterion, possibly applying to a wide variety of economic problems. Sufficient and necessary conditions for existence of equilibrium points are derived in this general context. In particular, for optimal investment with vintage capital, existence and uniqueness of a long run equilibrium distribution is proved for general concave revenues and convex investment costs, and analytic formulas are obtained for optimal controls and trajectories in the long run, definitely showing how effective the theoretical machinery of optimal control in infinite dimension is in computing explicitly equilibrium distributions, and suggesting that the same method can be applied in examples yielding the same abstract structure. To this extent, the results of this work constitutes a first crucial step towards a thorough understanding of the behavior of optimal controls and trajectories in the long run.


title: Levy Laplacian on manifold and Yang-Mills heat flow

abstract: A covariant definition of the Levy Laplacian on an infinite dimensional manifold is introduced. It is shown that a time-depended connection in a finite dimensional vector bundle is a solution of the Yang-Mills heat equations if and only if the associated flow of the parallel transports is a solution of the heat equation for the covariant Levy Laplacian on the infinite dimensional manifold.


title: Reachable Sets from Toy Models to Controlled Markovian Quantum Systems

abstract: In the framework of bilinear control systems, we present reachable sets of coherently controllable open quantum systems with switchable coupling to a thermal bath of arbitrary temperature $T geq 0$. The core problem boils down to studying points in the standard simplex amenable to two types of controls that can be used interleaved: (i) permutations within the simplex, (ii) contractions by a dissipative one-parameter semigroup. Our work illustrates how the solutions of the core problem pertain to the reachable set of the original controlled Markovian quantum system. We completely characterize the case $T=0$ and present inclusions for $T>0$.


title: On the rank of the $2$-class group of some imaginary triquadratic number fields

abstract: Let $d$ be an odd square-free integer and $\zeta_8$ a primitive $8$-th root of unity. The purpose of this paper is to investigate the rank of the $2$-class group of the fields $L_d=\mathbb{Q}(\zeta_8,\sqrt{d})$.


title: Numerical Analysis of Sparse Initial Data Identification for Parabolic Problems

abstract: In this paper we consider a problem of initial data identification from the final time observation for homogeneous parabolic problems. It is well-known that such problems are exponentially ill-posed due to the strong smoothing property of parabolic equations. We are interested in a situation when the initial data we intend to recover is known to be sparse, i.e. its support has Lebesgue measure zero. We formulate the problem as an optimal control problem and incorporate the information on the sparsity of the unknown initial data into the structure of the objective functional. In particular, we are looking for the control variable in the space of regular Borel measures and use the corresponding norm as a regularization term in the objective functional. This leads to a convex but non-smooth optimization problem. For the discretization we use continuous piecewise linear finite elements in space and discontinuous Galerkin finite elements of arbitrary degree in time. For the general case we establish error estimates for the state variable. Under a certain structural assumption, we show that the control variable consists of a finite linear combination of Dirac measures. For this case we obtain error estimates for the locations of Dirac measures as well as for the corresponding coefficients. The key to the numerical analysis are the sharp smoothing type pointwise finite element error estimates for homogeneous parabolic problems, which are of independent interest. Moreover, we discuss an efficient algorithmic approach to the problem and show several numerical experiments illustrating our theoretical results.


title: Dynamical renormalization group approach to the collective behaviour of swarms

abstract: We study the critical behaviour of a model with non-dissipative couplings aimed at describing the collective behaviour of natural swarms, using the dynamical renormalization group. At one loop, we find a crossover between a conservative yet unstable fixed point, characterized by a dynamical critical exponent $z=d/2$, and a dissipative stable fixed point with $z=2$, a result we confirm through numerical simulations. The crossover is regulated by a conservation length scale that is larger the smaller the effective friction, so that in finite-size biological systems with low dissipation, dynamics is ruled by the conservative fixed point. In three dimensions this mechanism gives $z=3/2$, a value significantly closer to the experimental result $z\approx 1$ than the value $z\approx 2$ found in fully dissipative models, either at or off equilibrium. This result indicates that non-dissipative dynamical couplings are necessary to develop a theory of natural swarms fully consistent with experiments


title: Renormalization group crossover in the critical dynamics of field theories with mode coupling terms

abstract: Motivated by the collective behaviour of biological swarms, we study the critical dynamics of field theories with coupling between order parameter and conjugate momentum in the presence of dissipation. By performing a dynamical renormalization group calculation at one loop, we show that the violation of momentum conservation generates a crossover between a conservative yet IR-unstable fixed point, characterized by a dynamic critical exponent $z=d/2$, and a dissipative IR-stable fixed point with $z=2$. Interestingly, the two fixed points have different upper critical dimensions. The interplay between these two fixed points gives rise to a crossover in the critical dynamics of the system, characterized by a crossover exponent $\kappa=4/d$. Such crossover is regulated by a conservation length scale, $\mathcal R_0$, which is larger the smaller the dissipation: beyond $\mathcal R_0$ the dissipative fixed point dominates, while at shorter distances dynamics is ruled by the conservative fixed point and critical exponent, a behaviour which is all the more relevant in finite-size systems with weak dissipation. We run numerical simulations in three dimensions and find a crossover between the exponents $z=3/2$ and $z=2$ in the critical slowing down of the system, confirming the renormalization group results. From the biophysical point of view, our calculation indicates that in finite-size biological groups mode-coupling terms in the equation of motion can significantly change the dynamical critical exponents even in the presence of dissipation, a step towards reconciling theory with experiments in natural swarms. Moreover, our result provides the scale within which fully conservative Bose-Einstein condensation is a good approximation in systems with weak symmetry-breaking terms violating number conservation, as quantum magnets or photon gases.


title: A randomly weighted minimum spanning tree with a random cost constraint

abstract: We study the minimum spanning tree problem on the complete graph $K_n$ where an edge $e$ has a weight $W_e$ and a cost $C_e$, each of which is an independent copy of the random variable $U^\gamma$ where $\gamma\leq 1$ and $U$ is the uniform $[0,1]$ random variable. There is also a constraint that the spanning tree $T$ must satisfy $C(T)\leq c_0$. We establish, for a range of values for $c_0,\gamma$, the asymptotic value of the optimum weight via the consideration of a dual problem.


title: The primordial black hole formation criterion re-examined: parameterisation, timing, and the choice of window function

abstract: In this paper, the criterion used to determine whether a density perturbation will collapse to form a primordial black hole (PBH) is re-examined, in respect of its use to determine the abundance of PBHs. There is particular focus on which parameter to use, the time at which the abundance should be calculated, and the use of different smoothing functions. It is concluded that, with the tools currently available, the smoothed density contrast should be used rather than the peak value, and should be calculated from the time-independent component of the density contrast in the super-horizon limit (long before perturbations enter the horizon) rather than at horizon crossing. For the first time the effect of the choice of smoothing function upon the formation criterion is calculated, and, for a given abundance of PBHs, it is found that the uncertainty in the amplitude of the power spectrum due to this is $\mathcal{O}(10\%)$, an order of magnitude smaller than previous calculations suggest. The relation between the formation criterion stated in terms of the density contrast and the curvature perturbation $\mathcal{R}$ is also discussed.


title: Conformal Killing Initial Data

abstract: We find necessary and sufficient conditions ensuring that the vacuum development of an initial data set of the Einstein's field equations admits a conformal Killing vector. We refer to these conditions as conformal Killing initial data (CKID) and they extend the well-known Killing initial data (KID) that have been known for a long time. The procedure used to find the CKID is a classical argument, which is reviewed and presented in a form that may have an independent interest, based on identifying a suitable propagation identity and checking the well-posedness of the corresponding initial value problem. As example applications, we review the derivation of the KID conditions, as well as give a more thorough treatment of the homothetic Killing initial data (HKID) conditions than was previously available in the literature.


title: The tree property at first and double successors of singular cardinals with an arbitrary gap

abstract: Let $\mathrm{cof}(\mu)=\mu$ and $\kappa$ be a supercompact cardinal with $\mu<\kappa$. Assume that there is an increasing and continuous sequence of cardinals $\langle\kappa_\xi\mid \xi<\mu\rangle$ with $\kappa_0:=\kappa$ and such that, for each $\xi<\mu$, $\kappa_{\xi+1}$ is supercompact. Besides, assume that $\lambda$ is a weakly compact cardinal with $\sup_{\xi<\mu}\kappa_\xi<\lambda$. Let $\Theta\geq\lambda$ be a cardinal with $\mathrm{cof}(\Theta)>\kappa$. Assuming the $\mathrm{GCH}_{\geq\kappa}$, we construct a generic extension where $\kappa$ is strong limit, $\mathrm{cof}(\kappa)=\mu$, $2^\kappa= \Theta$ and both $\mathrm{TP}(\kappa^+)$ and $\mathrm{TP}(\kappa^{++})$ hold. Further, in this model there is a very good and a bad scale at $\kappa$. This generalizes the main results of [Sin16a] and [FHS18].


title: A Hybrid Approach to Secure Function Evaluation Using SGX

abstract: A protocol for two-party secure function evaluation (2P-SFE) aims to allow the parties to learn the output of function $f$ of their private inputs, while leaking nothing more. In a sense, such a protocol realizes a trusted oracle that computes $f$ and returns the result to both parties. There have been tremendous strides in efficiency over the past ten years, yet 2P-SFE protocols remain impractical for most real-time, online computations, particularly on modestly provisioned devices. Intel's Software Guard Extensions (SGX) provides hardware-protected execution environments, called enclaves, that may be viewed as trusted computation oracles. While SGX provides native CPU speed for secure computation, previous side-channel and micro-architecture attacks have demonstrated how security guarantees of enclaves can be compromised. In this paper, we explore a balanced approach to 2P-SFE on SGX-enabled processors by constructing a protocol for evaluating $f$ relative to a partitioning of $f$. This approach alleviates the burden of trust on the enclave by allowing the protocol designer to choose which components should be evaluated within the enclave, and which via standard cryptographic techniques. We describe SGX-enabled SFE protocols (modeling the enclave as an oracle), and formalize the strongest-possible notion of 2P-SFE for our setting. We prove our protocol meets this notion when properly realized. We implement the protocol and apply it to two practical problems: privacy-preserving queries to a database, and a version of Dijkstra's algorithm for privacy-preserving navigation. Our evaluation shows that our SGX-enabled SFE scheme enjoys a 38x increase in performance over garbled-circuit-based SFE. Finally, we justify modeling of the enclave as an oracle by implementing protections against known side-channels.