title: On sharp Agmon-Miranda maximum principles

abstract: In this survey we formulate our results on different forms of maximum principles for linear elliptic equations and systems. We start with necessary and sufficient conditions for validity of the classical maximum modulus principle for solutions of second order strongly elliptic systems. This principle holds under rather heavy restrictions on the coefficients of the systems, for instance, it fails for the Stokes and Lam\'e systems. Next, we turn to sharp constants in more general maximum principles due to S. Agmon and C. Miranda. We consider higher order elliptic equations, Stokes and Lam\'e systems in a half-space as well as the system of planar deformed state in a half-plane.


title: A modular $A_4$ symmetric Scotogenic model for Neutrino mass and Dark Matter

abstract: Modular symmetries have been impeccable in neutrino and quark sectors. This motivated us, therefore, to propose a variant of scotogenic model based on modular $A_4$ symmetry to realize the neutrino mass generation at one-loop level through radiative mechanism. Alongside, the lepton flavour violating process $\mu \to e \gamma$ and the muon $g-2$ anomaly are also addressed. The lightest Majorana fermions turn out to be potential dark matter candidates, made stable by suitable assignment of modular weights. The relic density of the same has been computed with annihilations mediated by inert scalars and new $U(1)$ gauge boson.


title: Physics-Consistent Data-driven Waveform Inversion with Adaptive Data Augmentation

abstract: Seismic full-waveform inversion (FWI) is a nonlinear computational imaging technique that can provide detailed estimates of subsurface geophysical properties. Solving the FWI problem can be challenging due to its ill-posedness and high computational cost. In this work, we develop a new hybrid computational approach to solve FWI that combines physics-based models with data-driven methodologies. In particular, we develop a data augmentation strategy that can not only improve the representativity of the training set but also incorporate important governing physics into the training process and therefore improve the inversion accuracy. To validate the performance, we apply our method to synthetic elastic seismic waveform data generated from a subsurface geologic model built on a carbon sequestration site at Kimberlina, California. We compare our physics-consistent data-driven inversion method to both purely physics-based and purely data-driven approaches and observe that our method yields higher accuracy and greater generalization ability.


title: Extremely Dense Gamma-Ray Pulses in Electron Beam-Multifoil Collisions

abstract: Sources of high-energy photons have important applications in almost all areas of research. However, the photon flux and intensity of existing sources is strongly limited for photon energies above a few hundred keV. Here we show that a high-current ultrarelativistic electron beam interacting with multiple submicrometer-thick conducting foils can undergo strong self-focusing accompanied by efficient emission of gamma-ray synchrotron photons. Physically, self-focusing and high-energy photon emission originate from the beam interaction with the near-field transition radiation accompanying the beam-foil collision. This near field radiation is of amplitude comparable with the beam self-field, and can be strong enough that a single emitted photon can carry away a significant fraction of the emitting electron energy. After beam collision with multiple foils, femtosecond collimated electron and photon beams with number density exceeding that of a solid are obtained. The relative simplicity, unique properties, and high efficiency of this gamma-ray source open up new opportunities for both applied and fundamental research including laserless investigations of strong-field QED processes with a single electron beam.


title: A SModelS interface for pyhf likelihoods

abstract: SModelS is an automatized tool enabling the fast interpretation of simplified model results from the LHC within any model of new physics respecting a $\mathbb{Z}_2$ symmetry. We here present a new version of SModelS that can use the full likelihoods now provided by ATLAS in the form of pyhf JSON files. This much improves the statistical evaluation and therefore also the limit setting on new physics scenarios.


title: SEDRo: A Simulated Environment for Developmental Robotics

abstract: Even with impressive advances in application-specific models, we still lack knowledge about how to build a model that can learn in a human-like way and do multiple tasks. To learn in a human-like way, we need to provide a diverse experience that is comparable to humans. In this paper, we introduce our ongoing effort to build a simulated environment for developmental robotics (SEDRo). SEDRo provides diverse human experiences ranging from those of a fetus to a 12th-month-old. A series of simulated tests based on developmental psychology will be used to evaluate the progress of a learning model. We anticipate SEDRo to lower the cost of entry and facilitate research in the developmental robotics community.


title: On complexity and convergence of high-order coordinate descent algorithms for smooth nonconvex box-constrained minimization

abstract: Coordinate descent methods have considerable impact in global optimization because global (or, at least, almost global) minimization is affordable for low-dimensional problems. Coordinate descent methods with high-order regularized models for smooth nonconvex box-constrained minimization are introduced in this work. High-order stationarity asymptotic convergence and first-order stationarity worst-case evaluation complexity bounds are established. The computer work that is necessary for obtaining first-order $\varepsilon$-stationarity with respect to the variables of each coordinate-descent block is $O(\varepsilon^{-(p+1)/p})$ whereas the computer work for getting first-order $\varepsilon$-stationarity with respect to all the variables simultaneously is $O(\varepsilon^{-(p+1)})$. Numerical examples involving multidimensional scaling problems are presented. The numerical performance of the methods is enhanced by means of coordinate-descent strategies for choosing initial points.


title: The Pace of Artificial Intelligence Innovations: Speed, Talent, and Trial-and-Error

abstract: Innovations in artificial intelligence (AI) are occurring at speeds faster than ever witnessed before. However, few studies have managed to measure or depict this increasing velocity of innovations in the field of AI. In this paper, we combine data on AI from arXiv and Semantic Scholar to explore the pace of AI innovations from three perspectives: AI publications, AI players, and AI updates (trial and error). A research framework and three novel indicators, Average Time Interval (ATI), Innovation Speed (IS) and Update Speed (US), are proposed to measure the pace of innovations in the field of AI. The results show that: (1) in 2019, more than 3 AI preprints were submitted to arXiv per hour, over 148 times faster than in 1994. Furthermore, there was one deep learning-related preprint submitted to arXiv every 0.87 hours in 2019, over 1,064 times faster than in 1994. (2) For AI players, 5.26 new researchers entered into the field of AI each hour in 2019, more than 175 times faster than in the 1990s. (3) As for AI updates (trial and error), one updated AI preprint was submitted to arXiv every 41 days, with around 33% of AI preprints having been updated at least twice in 2019. In addition, as reported in 2019, it took, on average, only around 0.2 year for AI preprints to receive their first citations, which is 5 times faster than 2000-2007. This swift pace in AI illustrates the increase in popularity of AI innovation. The systematic and fine-grained analysis of the AI field enabled to portrait the pace of AI innovation and demonstrated that the proposed approach can be adopted to understand other fast-growing fields such as cancer research and nano science.


title: Topological spectrum and perfectoid Tate rings

abstract: We study the topological spectrum of a seminormed ring $R$ which we define as the space of prime ideals $\mathfrak{p}$ such that $\mathfrak{p}$ equals the kernel of some bounded power-multiplicative seminorm. For any seminormed ring $R$ we show that the topological spectrum is a quasi-compact sober topological space. When $R$ is a perfectoid Tate ring we construct a natural homeomorphism between the topological spectrum of $R$ and the topological spectrum of its tilt $R^{\flat}$. As an application, we prove that a perfectoid Tate ring $R$ is an integral domain if and only if its tilt is an integral domain.


title: The importance of charged particle reactions in the r-process on supernovae and neutron stars

abstract: We propose a $(p,xn)$ mechanism with dynamic production as a new set of nuclear reactions that could produce high density neutrons and explain the r- and rp-elements. We calculate the rate of thorium and uranium produced by our proposed mechanism and show that it is compatible with different stellar conditions found in explosive events at an initial temperature of $T \geq 3\times 10^{9} K$ with a "freeze-out" by a neutrino-driven wind. We show that charged particle reactions could explain the discrepancies in the abundances of ${}^{232}Th$ and ${}^{235,238}U$ nucleochronometers. We extend the endpoint of the rapid proton (rp) process far beyond the previous work by showing that $(p,xn)$ reactions could contribute to the nucleosynthesis of heavy stable neutron deficient nuclides, like ${}^{190}Pt$, ${}^{184}Os$, ${}^{180}W$ and ${}^{174}$Hf. This implies in a broader definition of the rp-process and has important consequences for the nucleosynthesis of heavy elements. We show that we did not need to assume an extreme condition for the drip line of super neutron-rich nuclei.


title: A note on the four-dimensional clasp number of knots

abstract: Among the knots that are the connected sum of two torus knots with cobordism distance 1, we characterize those that have 4-dimensional clasp number at least 2, and we show that their n-fold connected self-sum has 4-dimensional clasp number at least 2n. Our proof works in the topological category. To contrast this, we build a family of topologically slice knots for which the n-fold connected self-sum has 4-ball genus n and 4-dimensional clasp number at least 2n.


title: CNN-Based Ultrasound Image Reconstruction for Ultrafast Displacement Tracking

abstract: Thanks to its capability of acquiring full-view frames at multiple kilohertz, ultrafast ultrasound imaging unlocked the analysis of rapidly changing physical phenomena in the human body, with pioneering applications such as ultrasensitive flow imaging in the cardiovascular system or shear-wave elastography. The accuracy achievable with these motion estimation techniques is strongly contingent upon two contradictory requirements: a high quality of consecutive frames and a high frame rate. Indeed, the image quality can usually be improved by increasing the number of steered ultrafast acquisitions, but at the expense of a reduced frame rate and possible motion artifacts. To achieve accurate motion estimation at uncompromised frame rates and immune to motion artifacts, the proposed approach relies on single ultrafast acquisitions to reconstruct high-quality frames and on only two consecutive frames to obtain 2-D displacement estimates. To this end, we deployed a convolutional neural network-based image reconstruction method combined with a speckle tracking algorithm based on cross-correlation. Numerical and in vivo experiments, conducted in the context of plane-wave imaging, demonstrate that the proposed approach is capable of estimating displacements in regions where the presence of side lobe and grating lobe artifacts prevents any displacement estimation with a state-of-the-art technique that relies on conventional delay-and-sum beamforming. The proposed approach may therefore unlock the full potential of ultrafast ultrasound, in applications such as ultrasensitive cardiovascular motion and flow analysis or shear-wave elastography.


title: Cross-correlating radio continuum surveys and CMB lensing: constraining redshift distributions, galaxy bias and cosmology

abstract: We measure the harmonic-space auto-power spectrum of the galaxy overdensity in the LOFAR Two-metre Sky Survey (LoTSS) First Data Release and its cross correlation with the map of the lensing convergence of the cosmic microwave background (CMB) from the Planck collaboration. We report a $\sim5\sigma$ detection of the cross-correlation. We show that the combination of the clustering power spectrum and CMB lensing cross-correlation allows us to place constraints on the high-redshift tail of the redshift distribution, one of the largest sources of uncertainty in the use of continuum surveys for cosmology. Our analysis shows a preference for a broader redshift tail than that predicted by the photometric redshifts contained in the LoTSS value added catalog, as expected, and more compatible with predictions from simulations and spectroscopic data. Although the ability of CMB lensing to constrain the width and tail of the redshift distribution could also be valuable for the analysis of current and future photometric weak lensing surveys, we show that its performance relies strongly on the redshift evolution of the galaxy bias. Assuming the redshift distribution predicted by the Square Kilometre Array Design simulations, we use our measurements to place constraints on the linear bias of radio galaxies and the amplitude of matter inhomogeneities $\sigma_8$, finding $\sigma_8=0.69^{+0.14}_{-0.21}$ assuming the galaxy bias scales with the inverse of the linear growth factor, and $\sigma_8=0.79^{+0.17}_{-0.32}$ assuming a constant bias.


title: Should a small robot have a small personal space? Investigating personal spatial zones and proxemic behavior in human-robot interaction

abstract: This paper presents the first study in a series of proxemics experiments concerned with the role of personal spatial zones in human-robot interaction. In the study 40 participants approached a NAO robot positioned approximately at participants' eye level and entered different social zones around the robot (personal and intimate space). When the robot perceived the approaching person entering its personal space, it started gazing at the participant, and upon the intrusion of its intimate space it leaned back. Our research questions were: (1) given the small size of the robot (58 cm tall), will people expect its social zones to shrink by its size? (2) Will the robot behaviors be interpreted as appropriate social behaviors? We found that the average approach distance of the participants was 48 cm, which represents the inner limit of the human-size personal zone (45-120 cm), but is outside of the personal zone scaled to robot size (16-42 cm). This suggests that most participants did not (fully) scale down the extent of these zones to the robot size. We also found that the leaning back behavior of the robot was correctly interpreted by most participants as the robot's reaction to the intrusion of its personal space; however, our implementation of the behavior was often perceived as "unfriendly". We will discuss this and other limitations of the study in detail. Additionally we found positive correlations between participants' personality traits, Godspeed Questionnaire subscales, and the average approach distance. The technical contribution of this work is the real-time perception of 25 keypoints on the human body using a single compact RGB-D camera and the use of these points for accurate interpersonal distance estimation and as gazing targets for the robot.


title: Operator Counting and Soft Blocks in Chiral Perturbation Theory

abstract: Chiral perturbation theory (ChPT) is a low-energy effective field theory of QCD and also a nonlinear sigma model based on the symmetry breaking pattern ${\rm SU}(N_f)\times {\rm SU}(N_f)\to {\rm SU}(N_f)$. In the limit of massless $N_f$ quarks, we enumerate the independent operators without external sources in ChPT using an on-shell method, by counting and presenting the soft blocks at each order in the derivative expansion, up to ${\cal O}(p^{10})$. Given the massless on-shell condition and total momentum conservation, soft blocks are homogeneous polynomials of kinematic invariants exhibiting the Adler's zero when any external momentum becomes soft and vanishing. In addition, soft blocks are seeds for recursively generating all tree amplitudes of Nambu-Goldstone bosons without recourse to ChPT, and in one-to-one correspondence with the "low energy constants" which are the Wilson coefficients. Relations among operators, such as those arising from equations of motion, integration-by-parts, hermiticity, and symmetry structure, manifest themselves in the soft blocks in simple ways. We find agreements with the existing results up to NNNLO, and make a prediction at N$^4$LO.


title: Doped graphene oxide functionalization strategy for synthesis of nanocomposite membranes: electrospun coatings in biomedical field application

abstract: An electrospun membrane for vascular stent coating made of 2-methacryloyloxyethyl phosphorylcholine and butyl methacrylate copolymer (MPC-co-BMA), also known as (PMB), reinforced with functionalized and nitrogen doped reduced graphene oxide (f-NrGO) is presented. This membrane due to the nitrogen doped reduced graphene oxide (NrGO) negative electric charge has the capacity to repeal low density lipoproteins (LDL), which under specific conditions are the main cause of atherosclerotic disease. The NrGO functionalization process is detailed, as it creates strong bonds between NrGO and PMB, avoiding NrGO sheets to detach from the membrane. The copolymer synthesis was characterized by FTIR and chemical bonds between f-NrGO and PMB were proved by XPS and HNMR. Additionally, a simplified test bank that simulates blood flow conditions demonstrated the NrGO functionalization effect over the membrane. For the electrospinning process, optimal parameters were a voltage of 14.5 kV, and a flow rate of 0.3 mL/h, which lead to better properties of the membrane for the application. DMA results confirmed that the best reinforcement percentage of f-NrGO in terms of mechanical properties was 0.1 wt% and AFM images indicated the presence of the f-NrGO sheets over the fibers. Finally, the contact angle revealed the repulsion response to LDL, such behavior is promising to applications like cardiovascular coated stents.


title: Gapless quantum spin liquid and global phase diagram of the spin-1/2 $J_1$-$J_2$ square antiferromagnetic Heisenberg model

abstract: The nature of the zero-temperature phase diagram of the spin-$1/2$ $J_1$-$J_2$ Heisenberg model on a square lattice has been debated in the past three decades, which may hold the key to understand high temperature superconductivity. By using the state-of-the-art tensor network method, specifically, the finite projected entangled pair state (PEPS) algorithm, to simulate the global phase diagram the $J_1$-$J_2$ Heisenberg model up to $24\times 24$ sites, we provide very solid evidences to show that the nature of the intermediate nonmagnetic phase is a gapless quantum spin liquid (QSL), whose spin-spin and dimer-dimer correlations both decay with a power law behavior. There also exists a valence-bond solid (VBS) phase in a very narrow region $0.56\lesssim J_2/J_1\leq0.61$ before the system enters the well known collinear antiferromagnetic phase. The physical nature of the discovered gapless QSL and potential experimental implications are also addressed. We stress that we make the first detailed comparison between the results of PEPS and the well-established density matrix renormalization group (DMRG) method through one-to-one direct benchmark for small system sizes, and thus give rise to a very solid PEPS calculation beyond DMRG. Our numerical evidences explicitly demonstrate the huge power of PEPS for precisely capturing long-range physcis for highly frustrated systems, and also demonstrate the finite PEPS method is a very powerful approach to study strongly corrleated quantum many-body problems.

categories: cond-mat.str-el cond-mat.supr-con physics.comp-ph quant-ph


title: Fine-grained Early Frequency Attention for Deep Speaker Representation Learning

abstract: Deep learning techniques have considerably improved speech processing in recent years. Speaker representations extracted by deep learning models are being used in a wide range of tasks such as speaker recognition and speech emotion recognition. Attention mechanisms have started to play an important role in improving deep learning models in the field of speech processing. Nonetheless, despite the fact that important speaker-related information can be embedded in individual frequency-bins of the input spectral representations, current attention models are unable to attend to fine-grained information items in spectral representations. In this paper we propose Fine-grained Early Frequency Attention (FEFA) for speaker representation learning. Our model is a simple and lightweight model that can be integrated into various CNN pipelines and is capable of focusing on information items as small as frequency-bins. We evaluate the proposed model on three tasks of speaker recognition, speech emotion recognition, and spoken digit recognition. We use Three widely used public datasets, namely VoxCeleb, IEMOCAP, and Free Spoken Digit Dataset for our experiments. We attach FEFA to several prominent deep learning models and evaluate its impact on the final performance. We also compare our work with other related works in the area. Our experiments show that by adding FEFA to different CNN architectures, performance is consistently improved by substantial margins, and the models equipped with FEFA outperform all the other attentive models. We also test our model against different levels of added noise showing improvements in robustness and less sensitivity compared to the backbone networks.


title: The stellar halos of ETGs in the IllustrisTNG simulations: II. Accretion, merger history, and dark halo connection

abstract: Stellar halos in early-type galaxies (ETGs) are shaped by their accretion and merger histories. We use a sample of 1114 ETGs in the TNG100 simulation with stellar masses $10^{10.3}\leq M_{*}/M_\odot\leq 10^{12}$, selected at z=0 within the range of g-r colour and lambda-ellipticity diagram populated by observed ETGs. We study how the rotational support and intrinsic shapes of the stellar halos depend on the fraction of accreted stars, overall and separately by major, minor, and mini mergers. Accretion histories in TNG100 ETGs as well as the radial distributions of ex-situ stars $f_{ex}(R)$ strongly correlate with stellar mass. Low-mass ETGs have characteristic peaked rotation profiles and near-oblate shapes with rounder halos that are completely driven by the in-situ stars. At high $f_{ex}$ major mergers decrease the in-situ peak in rotation velocity, flatten the $V_{*}/\sigma_{*}(R)$ profiles, and increase the triaxiality of the stellar halos. Kinematic transition radii do not trace the transition between in-situ and ex-situ dominated regions, but for systems with $M_{*}>10^{10.6}M_\odot$ the local rotational support decreases with the local ex-situ fraction $f_{ex}(R)$ and triaxiality increases with $f_{ex}$. These correlations are followed by fast and slow rotators alike with a continuous and overlapping sequence of properties. Merger events dynamically couple stars and dark matter: in high mass ETGs and at large radii where $f_{ex}\gtrsim0.5$, both components tend to have similar intrinsic shapes and rotational support, and nearly aligned principal axes and spin directions. Based on these results we suggest that extended photometry and kinematics of massive ETGs ($M_{*}>10^{10.6}M_\odot$) can be used to estimate the local fraction of ex-situ stars and to approximate the intrinsic shapes and rotational support of the co-spatial dark matter component. [abridged]


title: Revisiting the complex nuclear region of NGC 6240 with Chandra

abstract: We present a reanalysis of the cumulative ACIS S Chandra data set pointed at the double AGNs of the NGC 6240 merging galaxy, focusing on the hard energy bands containing the hard spectral continuum (5.5-5.9 keV), the redshifted Fe I K alpha line (6.0-6.4 keV), and the redshifted Fe XXV line (6.4-6.7 keV). We have used to the full the Chandra telescope angular resolution, and we have modeled the Chandra PSF by comparing pre-flight calibration model to the data for the two bright AGNs. With two complementary approaches: (1) studying the residuals after PSF subtraction, and (2) producing reconstructed Expectation through Markov Chain Monte Carlo (EMC2) images, we are able to resolve structures extending from 1 kpc to <200 pc in the S AGN. The latter are within the sphere of influence of this BH. We find significant extended emission in both continuum and Fe lines in the 2'' (1 kpc) region surrounding the nuclei, in the region between the N and S AGN, and in a sector of PA 120-210 deg. extending to the SE from the centroid of the S AGN surface brightness. The extended Fe I K alpha emission is likely to originate from fluorescence of X-ray photons interacting with dense molecular clouds, providing a complementary view to recent high-resolution ALMA studies. The non-thermal emission is more prevalent in the region in between the two active X-ray nuclei, and in the N AGN. We do not find strong evidence of X-ray emission associated with the 3rd nucleus recently proposed for NGC 6240.


title: Low Mass Black Holes from Dark Core Collapse

abstract: Unusual masses of black holes being discovered by gravitational wave experiments pose fundamental questions about the origin of these black holes. Black holes with masses smaller than the Chandrasekhar limit $\approx1.4\,M_\odot$ are essentially impossible to produce through stellar evolution. We propose a new channel for production of low mass black holes: stellar objects catastrophically accrete non-annihilating dark matter, and the small dark core subsequently collapses, eating up the host star and transmuting it into a black hole. The wide range of allowed dark matter masses allows a smaller effective Chandrasekhar limit, and thus smaller mass black holes. We point out several avenues to test our proposal, focusing on the redshift dependence of the merger rate. We show that redshift dependence of the merger rate can be used as a probe of the transmuted origin of low mass black holes.


title: A Python Library for Exploratory Data Analysis on Twitter Data based on Tokens and Aggregated Origin-Destination Information

abstract: Twitter is perhaps the social media more amenable for research. It requires only a few steps to obtain information, and there are plenty of libraries that can help in this regard. Nonetheless, knowing whether a particular event is expressed on Twitter is a challenging task that requires a considerable collection of tweets. This proposal aims to facilitate, to a researcher interested, the process of mining events on Twitter by opening a collection of processed information taken from Twitter since December 2015. The events could be related to natural disasters, health issues, and people's mobility, among other studies that can be pursued with the library proposed. Different applications are presented in this contribution to illustrate the library's capabilities: an exploratory analysis of the topics discovered in tweets, a study on similarity among dialects of the Spanish language, and a mobility report on different countries. In summary, the Python library presented is applied to different domains and retrieves a plethora of information in terms of frequencies by day of words and bi-grams of words for Arabic, English, Spanish, and Russian languages. As well as mobility information related to the number of travels among locations for more than 200 countries or territories.


title: Tree Neural Networks in HOL4

abstract: We present an implementation of tree neural networks within the proof assistant HOL4. Their architecture makes them naturally suited for approximating functions whose domain is a set of formulas. We measure the performance of our implementation and compare it with other machine learning predictors on the tasks of evaluating arithmetical expressions and estimating the truth of propositional formulas.


title: Regularization of the Nambu-Jona Lasinio model under a uniform magnetic field and the role of the anomalous magnetic moments

abstract: The vacuum contribution to quark matter under a uniform magnetic field within the SU(3) version of the Nambu and Jona-Lasinio model is studied. The standard regularization procedure is examined and a new prescription is proposed. For this purpose analytic regularization and a subtraction scheme are used to deal with divergencies depending on the magnetic intensity. This scheme is combined with the standard three momentum cutoff recipe, and reduces to it for vanishing magnetic intensity. Furthermore, the effects of a direct coupling between the anomalous magnetic moments of the quarks and the magnetic field is considered. Single particle properties as well as bulk thermodynamical quantities are studied for a configuration of matter found in neutron stars. A wide range of baryonic densities and magnetic intensities are examined at zero temperature.


title: Moving away from singly-magic nuclei with Gorkov Green's function theory

abstract: Ab initio calculations of bulk nuclear properties (ground-state energies, root mean square charge radii and charge density distributions) are presented for seven complete isotopic chains around calcium, from argon to chromium. Calculations are performed within the Gorkov self-consistent Green's function approach at second order and make use of two state-of-the-art two- plus three-nucleon Hamiltonians, $NN$+$3N\text{(lnl)}$ and NNLO$_{\text{sat}}$. An overall good agreement with available experimental data is found, in particular for differential energies (charge radii) when the former (latter) interaction is employed. Remarkably, neutron magic numbers $N=28,32,34$ emerge and evolve following experimental trends. In contrast, pairing gaps are systematically underestimated. General features of the isotopic dependence of charge radii are also reproduced, as well as charge density distributions. A deterioration of the theoretical description is observed for certain nuclei and ascribed to the inefficient account of (static) quadrupole correlation in the present many-body truncation scheme. In order to resolve these limitations, we advocate the extension of the formalism towards incorporating breaking of rotational symmetry or, alternatively, performing a stochastic sampling of the self-energy.


title: On the Spectrum of Pure Higher Spin Gravity

abstract: We study the spectrum of pure massless higher spin theories in $AdS_3$. The light spectrum is given by a tower of massless particles of spin $s=2,\cdots,N$ and their multi-particles states. Their contribution to the torus partition function organises into the vacuum character of the ${\cal W}_N$ algebra. Modular invariance puts constraints on the heavy spectrum of the theory, and in particular leads to negative norm states, which would be inconsistent with unitarity. This negativity can be cured by including additional light states, below the black hole threshold but whose mass grows with the central charge. We show that these states can be interpreted as conical defects with deficit angle $2\pi(1-1/M)$. Unitarity allows the inclusion of such defects into the path integral provided $M \geq N$.


title: Good reduction and cyclic covers

abstract: We prove finiteness results for sets of varieties over number fields with good reduction outside a given finite set of places using cyclic covers. We obtain a version of the Shafarevich conjecture for weighted projective surfaces, double covers of abelian varieties, and reduce the Shafarevich conjecture for hypersurfaces to the case of hypersurfaces of high dimension. These are special cases of a general set-up for integral points on moduli stacks of cyclic covers, and our arithmetic results are achieved via a version of the Chevalley-Weil theorem for stacks.


title: A geometric origin for quasi-periodic oscillations in black hole X-ray binaries

abstract: We expand the relativistic precession model to include nonequatorial and eccentric trajectories and apply it to quasi-periodic oscillations (QPOs) in black hole X-ray binaries (BHXRBs) and associate their frequencies with the fundamental frequencies of the general case of nonequatorial (with Carter's constant, $Q\neq 0$) and eccentric ($e\neq 0$) particle trajectories, around a Kerr black hole. We study cases with either two or three simultaneous QPOs and extract the parameters \{$e$, $r_p$, $a$, $Q$\}, where $r_p$ is the periastron distance of the orbit, and $a$ is the spin of the black hole. We find that the orbits with $\left[Q=0-4\right]$ should have $e\lesssim 0.5$ and $r_p \sim 2-20$ for the observed range of QPO frequencies, where $a \in [0,1]$, and that the spherical trajectories \{$e=0$, $Q \neq0$\} with $Q=2-4$ should have $r_s \sim 3-20$. We find nonequatorial eccentric solutions for both M82 X-1 and GROJ 1655-40. We see that these trajectories, when taken together, span a torus region and give rise to a strong QPO signal. For two simultaneous QPO cases, we found equatorial eccentric orbit solutions for XTEJ 1550-564, 4U 1630-47, and GRS 1915+105, and spherical orbit solutions for BHXRBs M82 X-1 and XTEJ 1550-564. We also show that the eccentric orbit solution fits the Psaltis-Belloni-Klis correlation observed in BHXRB GROJ 1655-40. Our analysis of the fluid flow in the relativistic disk edge suggests that instabilities cause QPOs to originate in the torus region. We also present some useful formulae for trajectories and frequencies of spherical and equatorial eccentric orbits.


title: Dynamics of magnetic collective modes in the square and triangular lattice Mott insulators at finite temperature

abstract: We study the equilibrium dynamics of magnetic moments in the Mott insulating phase of the Hubbard model on the square and triangular lattice. We rewrite the Hubbard interaction in terms of an auxiliary vector field and use a recently developed Langevin scheme to study its dynamics. A thermal `noise', derivable approximately from the Keldysh formalism, allows us to study the effect of finite temperature. At strong coupling, $U \gg t$, where $U$ is the local repulsion and $t$ the nearest neighbour hopping, our results reproduce the well known dynamics of the nearest neighbour Heisenberg model with exchange $J \sim {\cal O}(t^2/U)$. These include crossover from weakly damped dispersive modes at temperature $T \ll J$ to strong damping at $T \sim {\cal O}(J)$, and diffusive dynamics at $T \gg J$. The crossover temperatures are naturally proportional to $J$. To highlight the progressive deviation from Heisenberg physics as $U/t$ reduces we compute an effective exchange scale $J_{eff}(U)$ from the low temperature spin wave velocity. We discover two features in the dynamical behaviour with decreasing $U/t$: (i)~the low temperature dispersion deviates from the Heisenberg result, as expected, due to longer range and multispin interactions, and (ii)~the crossovers between weak damping, strong damping, and diffusion take place at noticeably lower values of $T/J_{eff}$. We relate this to enhanced mode coupling, in particular to thermal amplitude fluctuations, at weaker $U/t$. A comparison of the square and triangular lattice reveals the additional effect of geometric frustration on damping.


title: Certain non-homogeneous matricial domains and Pick-Nevanlinna interpolation problem

abstract: In this article, we consider certain matricial domains that are naturally associated to a given domain of the complex plane. A particular example of such domains is the spectral unit ball. We present several results for these matricial domains. Our first result shows, generalizing a result of Ransford-White for the spectral unit ball, that the holomorphic automorphism group of these matricial domains does not act transitively. We also consider $2$-point and $3$-point Pick-Nevanlinna interpolation problem from the unit disc to these matricial domains. We present results providing necessary conditions for the existence of a holomorphic interpolant for these problems. In particular, we shall observe that these results are generalizations of the results provided by Bharali and Chandel related to these problems.


title: Flow-edge Guided Video Completion

abstract: We present a new flow-based video completion algorithm. Previous flow completion methods are often unable to retain the sharpness of motion boundaries. Our method first extracts and completes motion edges, and then uses them to guide piecewise-smooth flow completion with sharp edges. Existing methods propagate colors among local flow connections between adjacent frames. However, not all missing regions in a video can be reached in this way because the motion boundaries form impenetrable barriers. Our method alleviates this problem by introducing non-local flow connections to temporally distant frames, enabling propagating video content over motion boundaries. We validate our approach on the DAVIS dataset. Both visual and quantitative results show that our method compares favorably against the state-of-the-art algorithms.


title: Entropic evidence for a Pomeranchuk effect in magic angle graphene

abstract: In the 1950's, Pomeranchuk predicted that, counterintuitively, liquid 3He may solidify upon heating, due to a high excess spin entropy in the solid phase. Here, using both local and global electronic entropy and compressibility measurements, we show that an analogous effect occurs in magic angle twisted bilayer graphene. Near a filling of one electron per moir'e unit cell, we observe a dramatic increase in the electronic entropy to about 1kB per unit cell. This large excess entropy is quenched by an in-plane magnetic field, pointing to its magnetic origin. A sharp drop in the compressibility as a function of the electron density, associated with a reset of the Fermi level back to the vicinity of the Dirac point, marks a clear boundary between two phases. We map this jump as a function of electron density, temperature, and magnetic field. This reveals a phase diagram that is consistent with a Pomeranchuk-like temperature- and field-driven transition from a low-entropy electronic liquid to a high-entropy correlated state with nearly-free magnetic moments. The correlated state features an unusual combination of seemingly contradictory properties, some associated with itinerant electrons, such as the absence of a thermodynamic gap, metallicity, and a Dirac-like compressibility, and others associated with localized moments, such as a large entropy and its disappearance with magnetic field. Moreover, the energy scales characterizing these two sets of properties are very different: whereas the compressibility jump onsets at T~30K, the bandwidth of magnetic excitations is ~3K or smaller. The hybrid nature of the new correlated state and the large separation of energy scales have key implications for the physics of correlated states in twisted bilayer graphene.


title: Effective Infection Opportunity Population (EIOP) Hypothesis in Applying SIR Infection Theory

abstract: The SIR infection theory initiated by Kermack-Mckendrick in 1927 discusses the infection in an isolated population with uniform properties such as the uniform population distribution. In the infection, there exist two aspects: (1) The quantitative aspect and (2) the temporal aspect. Since the SIR theory is a mean-field theory, it can't match both aspects simultaneously. If the quantitative aspect is matched, the temporal aspect can't be matched, versa. The infection starts from a cluster, and it spreads to different places increasing the size of the infection. In general, even in the case of the infection in a big city, the infection grows within a limited population. Namiki found and named this kind of population as an effective population. He proposes that if the hypothesis is adopted, the quantitative and temporal aspects can be matched simultaneously.


title: Quantisation ideals of nonabelian integrable systems

abstract: We consider dynamical systems on the space of functions taking values in a free associative algebra. The system is said to be integrable if it possesses an infinite dimensional Lie algebra of commuting symmetries. In this paper we propose a new approach to the problem of quantisation of dynamical systems, introduce the concept of quantisation ideals and provide meaningful examples.


title: On Cauchy-Schwarz type inequalities and applications to numerical radius inequalities

abstract: In this work, a refinement of the Cauchy--Schwarz inequality in inner product space is proved. A more general refinement of the Kato's inequality or the so called mixed Schwarz inequality is established. Refinements of some famous numerical radius inequalities are also pointed out. As shown in this work, these refinements generalize and refine some recent and old results obtained in literature. Among others, it is proved that if $T\in\mathscr{B}\left(\mathscr{H}\right)$, then \begin{align*} \omega^{2}\left(T\right) &\le \frac{1}{12} \left\| \left| T \right|+\left| {T^* } \right|\right\|^2 + \frac{1}{3} \omega\left(T\right)\left\| \left| T \right|+\left| {T^* } \right|\right\| \\ &\le\frac{1}{6} \left\| \left| T \right|^2+ \left| {T^* } \right|^2 \right\| + \frac{1}{3} \omega\left(T\right)\left\| \left| T \right|+\left| {T^* } \right|\right\|, \end{align*} which refines the recent inequality obtained by Kittaneh and Moradi in \cite{KM}.


title: Computed extended depth of field optical-resolution photoacoustic microscope

abstract: Photoacoustic microscopy with large depth of focus is significant to the biomedical research. The conventional optical-resolution photoacoustic microscope (OR-PAM) suffers from limited depth of field (DoF) since the employed focused Gaussian beam only has a narrow depth range in focus, little details in depth direction can be revealed. Here, we developed a computed extended depth of field method for photoacoustic microscope by using wavelet transform image fusion rules. Wavelet transform is performed on the max amplitude projection (MAP) images acquired at different axial positions by OR-PAM to separate the low and high frequencies, respectively. The fused low frequency coefficients is taking the average of the low-frequency coefficients of the low-frequency part of the images. And maximum selection rule is used in high frequency coefficients. Wavelet coefficient of the MAP images are compared and select the maximum value coefficient is taken as fused high-frequency coefficients. And finally the wavelet inverse transform is performed to achieve large DoF. Simulation was performed to demonstrate that this method can extend the depth of field of PAM two times without the sacrifice of lateral resolution. And the in vivo imaging of the mouse cerebral vasculature with intact skull further demonstrates the feasibility of our method.


title: Direct characterization of young giant exoplanets at high spectral resolution by coupling SPHERE and CRIRES+

abstract: Studies of atmospheres of directly imaged exoplanets with high-resolution spectrographs have shown that their characterization is predominantly limited by noise on the stellar halo at the location of the studied exoplanet. An instrumental combination of high-contrast imaging and high spectral resolution that suppresses this noise and resolves the spectral lines can therefore yield higher quality spectra. We study the performance of the proposed HiRISE fiber coupling between the SPHERE and CRIRES+ at the VLT for spectral characterization of directly imaged planets. Using end-to-end simulations of HiRISE we determine the S/N of the detection of molecular species for known exoplanets in $H$ and $K$ bands, and compare them to CRIRES+. We investigate the ultimate detection limits of HiRISE as a function of stellar magnitude, and we quantify the impact of different coronagraphs and of the system transmission. We find that HiRISE largely outperforms CRIRES+ for companions around bright hosts like $\beta$ Pic or 51 Eri. For an $H=3.5$ host, we observe a gain of a factor of up to 16 in observing time with HiRISE to reach the same S/N on a companion at 200 mas. More generally, HiRISE provides better performance than CRIRES+ in two-hour integration times between 50-350 mas for hosts with $H<8.5$ and between 50-700 mas for $H<7$. For fainter hosts like PDS 70 and HIP 65426, no significant improvements are observed. We find that using no coronagraph yields the best S/N when characterizing known exoplanets due to higher transmission and fiber-based starlight suppression. We demonstrate that the overall transmission of the system is in fact the main driver of performance. Finally, we show that HiRISE outperforms the best detection limits of SPHERE for bright stars, opening major possibilities for the characterization of future planetary companions detected by other techniques.


title: Molecular Gas Properties on Cloud Scales Across the Local Star-forming Galaxy Population

abstract: Using the PHANGS-ALMA CO (2-1) survey, we characterize molecular gas properties on ${\sim}$100 pc scales across 102,778 independent sightlines in 70 nearby galaxies. This yields the best synthetic view of molecular gas properties on cloud scales across the local star-forming galaxy population obtained to date. Consistent with previous studies, we observe a wide range of molecular gas surface densities (3.4 dex), velocity dispersions (1.7 dex), and turbulent pressures (6.5 dex) across the galaxies in our sample. Under simplifying assumptions about sub-resolution gas structure, the inferred virial parameters suggest that the kinetic energy of the molecular gas typically exceeds its self-gravitational binding energy at ${\sim}$100 pc scales by a modest factor (1.3 on average). We find that the cloud-scale surface density, velocity dispersion, and turbulent pressure (1) increase towards the inner parts of galaxies, (2) are exceptionally high in the centers of barred galaxies (where the gas also appears less gravitationally bound), and (3) are moderately higher in spiral arms than in inter-arm regions. The galaxy-wide averages of these gas properties also correlate with the integrated stellar mass, star formation rate, and offset from the star-forming main sequence of the host galaxies. These correlations persist even when we exclude regions with extraordinary gas properties in galaxy centers, which contribute significantly to the inter-galaxy variations. Our results provide key empirical constraints on the physical link between molecular cloud populations and their galactic environment.


title: Multi-Dimensional Solution of Fast Neutrino Conversions in Binary Neutron Star Merger Remnants

abstract: Fast pairwise conversions of neutrinos are predicted to be ubiquitous in neutron star merger remnants with potentially major implications on the nucleosynthesis of the elements heavier than iron. We present the first sophisticated numerical solution of the neutrino flavor evolution above the remnant disk within a (2+1+1) dimensional setup: two spatial coordinates, one angular variable, and time. We look for a steady-state flavor configuration above the remnant disk. Albeit the linear stability analysis predicts flavor instabilities at any location above the remnant disk, our simulations in the non-linear regime show that fast pairwise conversions lead to minimal neutrino mixing (<1%); flavor equilibration is never achieved in our models. Importantly, fast neutrino conversions are more prominent within localized regions near the edges of the (anti)neutrino decoupling surfaces and almost negligible in the polar region of the remnant. Our findings on the role of fast pairwise conversions should be interpreted with caution because of the approximations intrinsic to our setup and advocate for further work within a more realistic framework.


title: Mapping the Escape Fraction of Ionizing Photons Using Resolved Stars: A Much Higher Escape Fraction for NGC 4214

abstract: We demonstrate a new method for measuring the escape fraction of ionizing photons using Hubble Space Telescope imaging of resolved stars in NGC 4214, a local analog of high-redshift starburst galaxies that are thought to be responsible for cosmic reionization. Specifically, we forward model the UV through near-IR spectral energy distributions of $\sim$83,000 resolved stars to infer their individual ionizing flux outputs. We constrain the local escape fraction by comparing the number of ionizing photons produced by stars to the number that are either absorbed by dust or consumed by ionizing the surrounding neutral hydrogen in individual star-forming regions. We find substantial spatial variation in the escape fraction (0-40%). Integrating over the entire galaxy yields a global escape fraction of 25% (+16%/-15%). This value is much higher than previous escape fractions of zero reported for this galaxy. We discuss sources of this apparent tension, and demonstrate that the viewing angle and the 3D ISM geometric effects are the cause. If we assume the NGC 4214 has no internal dust, like many high-redshift galaxies, we find an escape fraction of 59% (an upper-limit for NGC 4214). This is the first non-zero escape fraction measurement for UV-faint (M$_{\rm FUV}$ = -15.9) galaxies at any redshift, and supports the idea that starburst UV-faint dwarf galaxies can provide a sufficient amount of ionizing photons to the intergalactic medium.


title: Qibo: a framework for quantum simulation with hardware acceleration

abstract: We present Qibo, a new open-source software for fast evaluation of quantum circuits and adiabatic evolution which takes full advantage of hardware accelerators. The growing interest in quantum computing and the recent developments of quantum hardware devices motivates the development of new advanced computational tools focused on performance and usage simplicity. In this work we introduce a new quantum simulation framework that enables developers to delegate all complicated aspects of hardware or platform implementation to the library so they can focus on the problem and quantum algorithms at hand. This software is designed from scratch with simulation performance, code simplicity and user friendly interface as target goals. It takes advantage of hardware acceleration such as multi-threading CPU, single GPU and multi-GPU devices.


title: A comparative analysis of denoising algorithms for extragalactic imaging surveys

abstract: We present a comprehensive analysis of the performance of noise-reduction (``denoising'') algorithms to determine whether they provide advantages in source detection on extragalactic survey images. The methods under analysis are Perona-Malik filtering, Bilateral filter, Total Variation denoising, Structure-texture image decomposition, Non-local means, Wavelets, and Block-matching. We tested the algorithms on simulated images of extragalactic fields with resolution and depth typical of the Hubble, Spitzer, and Euclid Space Telescopes, and of ground-based instruments. After choosing their best internal parameters configuration, we assess their performance as a function of resolution, background level, and image type, also testing their ability to preserve the objects fluxes and shapes. We analyze in terms of completeness and purity the catalogs extracted after applying denoising algorithms on a simulated Euclid Wide Survey VIS image, on real H160 (HST) and K-band (HAWK-I) observations of the CANDELS GOODS-South field. Denoising algorithms often outperform the standard approach of filtering with the Point Spread Function (PSF) of the image. Applying Structure-Texture image decomposition, Perona-Malik filtering, the Total Variation method by Chambolle, and Bilateral filtering on the Euclid-VIS image, we obtain catalogs that are both more pure and complete by 0.2 magnitudes than those based on the standard approach. The same result is achieved with the Structure-Texture image decomposition algorithm applied on the H160 image. The advantage of denoising techniques with respect to PSF filtering increases at increasing depth. Moreover, these techniques better preserve the shape of the detected objects with respect to PSF smoothing. Denoising algorithms provide significant improvements in the detection of faint objects and enhance the scientific return of current and future extragalactic surveys.


title: Interplay between neutrino and gravity portals for FIMP dark matter

abstract: In the classic type I seesaw mechanism with very heavy right-handed (RH) neutrinos, it is possible to account for dark matter via RH neutrino portal couplings to a feebly interacting massive particle (FIMP) dark sector. However, for large RH neutrino masses, gravity can play an important role. We study the interplay between the neutrino portal through the right-handed neutrinos and the gravity portal through the massless spin-2 graviton in producing dark matter particles in the early universe. As a concrete example, we consider the minimal and realistic Littlest Seesaw model with two RH neutrinos, augmented with a dark scalar and a dark fermion charged under a global $U(1)_D$ dark symmetry. In the model, the usual seesaw neutrino Yukawa couplings and the right-handed neutrino masses (the lightest being about $5\times 10^{10}$ GeV) are fixed by neutrino oscillations data and leptogenesis. Hence, we explore the parameter space of the two RH neutrino portal couplings, the two dark particle masses and the reheating temperature of the universe, where the correct dark matter relic abundance is achieved through the freeze-in mechanism. In particular, we highlight which class of processes dominate the dark matter production. We find that, despite the presence of the gravity portal, the dark matter production relies on the usual seesaw neutrino Yukawa coupling in some regions of the parameter space, so realising a direct link between dark matter and neutrino phenomenology. Finally, we report the threshold values for the neutrino portal couplings below which the neutrino portal is irrelevant and the Planckian Interacting Dark Matter paradigm is preserved.


title: Neutrino Masses and Hubble Tension via a Majoron in MFV

abstract: The recent tension between local and early measurements of the Hubble constant can be explained in a particle physics context. A mechanism is presented where this tension is alleviated due to the presence of a Majoron, arising from the spontaneous breaking of Lepton Number. The lightness of the active neutrinos is consistently explained. Moreover, this mechanism is shown to be embeddable in the Minimal (Lepton) Flavour Violating context, providing a correct description of fermion masses and mixings, and protecting the flavour sector from large deviations from the Standard Model predictions. A QCD axion is also present to solve the Strong CP problem. The Lepton Number and the Peccei-Quinn symmetries naturally arise in the Minimal (Lepton) Flavour Violating setup and their spontaneous breaking is due to the presence of two extra scalar singlets. The Majoron phenomenology is also studied in detail. Decays of the heavy neutrinos and the invisible Higgs decay provide the strongest constraints in the model parameter space.


title: On the nature of massive helium star winds and Wolf-Rayet-type mass loss

abstract: The mass-loss rates of massive helium stars are one of the major uncertainties in modern astrophysics. Regardless of whether they were stripped by a binary companion or managed to peel off their outer layers by themselves, the influence and final fate of helium stars -- in particular the resulting black hole mass -- highly depends on their wind mass loss as stripped-envelope objects. While empirical mass-loss constraints for massive helium stars have improved over the last decades, the resulting recipes are limited to metallicities with the observational ability to sufficiently resolve individual stars. Yet, theoretical efforts have been hampered by the complexity of Wolf-Rayet (WR) winds arising from the more massive helium stars. In an unprecedented effort, we calculate next-generation stellar atmosphere models resembling massive helium main sequence stars with Fe-bump driven winds up to $500\,M_\odot$ over a wide metallicity range between $2.0$ and $0.02\,Z_\odot$. We uncover a complex $\Gamma_\text{e}$-dependency of WR-type winds and their metallicity-dependent breakdown. The latter can be related to the onset of multiple scattering, requiring higher $L/M$-ratios at lower metallicity. Based on our findings, we derive the first ever theoretically-motivated mass-loss recipe for massive helium stars. We also provide estimates for LyC and He II ionizing fluxes, finding stripped helium stars to contribute considerably at low metallicity. In sharp contrast to OB-star winds, the mass loss for helium stars scales with the terminal velocity. While limited to the helium main sequence, our study marks a major step towards a better theoretical understanding of helium star evolution.


title: Super-resolution Optical Fluctuation Imaging -- fundamental estimation theory perspective

abstract: We provide a quantitative analysis of super-resolution imaging techniques which exploit temporal fluctuations of luminosity of the sources in order to beat the Rayleigh limit. We define an operationally justified resolution gain figure of merit, that allows us to connect the estimation theory concepts with the ones typically used in the imaging community, and derive fundamental resolution limits that scale at most as the fourth-root of the mean luminosity of the sources. We fine-tune and benchmark the performance of state-of-the-art methods, focusing on the cumulant-based image processing techniques (known under the common acronym SOFI), taking into account the impact of limited photon number and sampling time.


title: Detailed Characterization of Heartbeat Stars and their Tidally Excited Oscillations

abstract: Heartbeat stars are a class of eccentric binary stars with short-period orbits and characteristic "heartbeat" signals in their light curves at periastron, caused primarily by tidal distortion. In many heartbeat stars, tidally excited oscillations can be observed throughout the orbit, with frequencies at exact integer multiples of the orbital frequency. Here, we characterize the tidally excited oscillations in the heartbeat stars KIC 6117415, KIC 11494130, and KIC 5790807. Using Kepler light curves and radial velocity measurements, we first model the heartbeat stars using the binary modeling software ELLC, including gravity darkening, limb darkening, Doppler boosting, and reflection. We then conduct a frequency analysis to determine the amplitudes and frequencies of the tidally excited oscillations. Finally, we apply tidal theories to stellar structure models of each system to determine whether chance resonances can be responsible for the observed tidally excited oscillations, or whether a resonance locking process is at work. We find that resonance locking is likely occurring in KIC 11494130, but not in KIC 6117415 or KIC 5790807.


title: Kinematic signatures of nuclear discs and bar-driven secular evolution in nearby galaxies of the MUSE TIMER project

abstract: The central regions of disc galaxies hold clues to the processes that dominate their formation and evolution. The TIMER project has obtained high signal-to-noise and spatial resolution integral-field spectroscopy data of the inner few kpc of 21 nearby massive barred galaxies, allowing studies of the stellar kinematics with unprecedented spatial resolution. We confirm theoretical predictions of the effects of bars on stellar kinematics, and identify box/peanuts through kinematic signatures in mildly and moderately inclined galaxies, finding a lower limit to the fraction of massive barred galaxies with box/peanuts at ~62%. Further, we provide kinematic evidence of the connection between barlenses, box/peanuts and bars. We establish the presence of nuclear discs in 19 galaxies and show that their kinematics are characterised by near-circular orbits with low pressure support, and are consistent with the bar-driven secular evolution picture for their formation. In fact, we show that these nuclear discs have, in the region where they dominate, larger rotational support than the underlying main galaxy disc. We define a kinematic radius for the nuclear discs and show that it relates to bar radius, ellipticity and strength, and bar-to-total ratio. Comparing our results with photometric studies, we find that state-of-the-art galaxy image decompositions are able to discern nuclear discs from classical bulges, if the images employed have enough physical spatial resolution. In fact, we show that nuclear discs are typically identified in such image decompositions as photometric bulges with (near-)exponential profiles. However, we find that the presence of composite bulges (galaxies hosting both a classical bulge and a nuclear disc) can often be unnoticed in studies based on photometry alone, and suggest a more stringent threshold to the Sersic index to identify galaxies with pure classical bulges.


title: FLEET: A Redshift-Agnostic Machine Learning Pipeline to Rapidly Identify Hydrogen-Poor Superluminous Supernovae

abstract: Over the past decade wide-field optical time-domain surveys have increased the discovery rate of transients to the point that $\lesssim 10\%$ are being spectroscopically classified. Despite this, these surveys have enabled the discovery of new and rare types of transients, most notably the class of hydrogen-poor superluminous supernovae (SLSN-I), with about 150 events confirmed to date. Here we present a machine-learning classification algorithm targeted at rapid identification of a pure sample of SLSN-I to enable spectroscopic and multi-wavelength follow-up. This algorithm is part of the FLEET (Finding Luminous and Exotic Extragalactic Transients) observational strategy. It utilizes both light curve and contextual information, but without the need for a redshift, to assign each newly-discovered transient a probability of being a SLSN-I. This classifier can achieve a maximum purity of about 85\% (with 20\% completeness) when observing a selection of SLSN-I candidates. Additionally, we present two alternative classifiers that use either redshifts or complete light curves and can achieve an even higher purity and completeness. At the current discovery rate, the FLEET algorithm can provide about $20$ SLSN-I candidates per year for spectroscopic follow-up with 85\% purity; with the Legacy Survey of Space and Time we anticipate this will rise to more than $\sim 10^3$ events per year.


title: Thermodynamically stable asymptotically flat hairy black holes with a dilaton potential: the general case

abstract: We extend the analysis, initiated in arXiv:1901.01269, of the thermodynamic stability of four-dimensional asymptotically flat hairy black holes by considering a general class of exact solutions in Einstein-Maxwell-dilaton theory with a non-trivial dilaton potential. We find that, regardless of the values of the parameters of the theory, there always exists a sub-class of hairy black holes that are thermodynamically stable and have the extremal limit well defined. This generic feature that makes the equilibrium configurations locally stable should be related to the properties of the dilaton potential that is decaying towards the spatial infinity, but behaves as a box close to the horizon. We prove that these thermodynamically stable solutions are also dynamically stable under spherically symmetric perturbations.


title: A revised view of the Canis Major stellar overdensity with DECam and Gaia: new evidence of a stellar warp of blue stars

abstract: We present DECam imaging combined with Gaia DR2 data to study the Canis Major overdensity. The presence of the so-called Blue Plume stars in a low-pollution area of the color-magnitude diagram allows us to derive the distance and proper motions of this stellar feature along the line of sight of its hypothetical core. The stellar overdensity extends on a large area of the sky at low Galactic latitudes, below the plane, and between 230$^\circ < \ell < 255^\circ$. According to the orbit derived for Canis Major, it presents an on-plane rotation around the Milky Way. Moreover, additional overdensities of Blue Plume stars are found around the plane and across the Galaxy, proving that these objects are not only associated with that structure. The spatial distribution of these stars, derived using Gaia astrometric data, confirms that the detection of the Canis Major overdensity results more from the warped structure of the Milky Way disk than from the accretion of a dwarf galaxy.


title: The inside-out formation of nuclear discs and the absence of old central spheroids in barred galaxies of the TIMER survey

abstract: The centres of disc galaxies host a variety of structures built via both internal and external processes. In this study, we constrain the formation and evolution of these central structures, in particular nuclear rings and nuclear discs, by deriving maps of mean stellar ages, metallicities and [$\alpha$/Fe] abundances. We use observations obtained with the MUSE integral-field spectrograph for the TIMER sample of 21 massive barred galaxies. Our results indicate that nuclear discs and nuclear rings are part of the same physical component, with nuclear rings constituting the outer edge of nuclear discs. All nuclear discs in the sample are clearly distinguished based on their stellar population properties. As expected in the picture of bar-driven secular evolution, nuclear discs are younger, more metal-rich, and show lower [$\alpha$/Fe] enhancements, as compared to their immediate surroundings. Moreover, nuclear discs exhibit well-defined radial gradients, with ages and metallicities decreasing, and [$\alpha$/Fe] abundances increasing with radius out to the nuclear ring. Often, these gradients show no breaks from the edge of the nuclear disc until the centre, suggesting that these structures extend to the very centres of the galaxies. We argue that continuous (stellar) nuclear discs may form from a series of bar-built (initially gas-rich) nuclear rings that grow in radius, as the bar evolves. In this picture, nuclear rings are simply the (often) star-forming outer edge of nuclear discs. Finally, by combining our results with those from a accompanying kinematic study, we do not find evidence for the presence of large, dispersion-dominated components in the centres of these galaxies. This could be a result of quiet merger histories, despite the large galaxy masses, or perhaps high angular momentum and strong feedback processes preventing the formation of these kinematically hot components.


title: Canonical X-Ray Fluorescence Line Intensities as Column Density Indicators

abstract: X-ray line fluorescence is ubiquitous around powerful accretion sources, namely active galactic nuclei and X-ray binaries. The brightest and best-studied line is the Fe K$\alpha$ line at $\lambda = 1.937$\AA (6.4\,keV). This paper presents a survey of all well-measured Chandra/HETG grating spectra featuring several K$\alpha$ fluorescence lines from elements between Mg and Ni. Despite the variety of sources and physical conditions, we identify a common trend that dictates the K$\alpha$ line intensity ratios between elements. For the most part, the line intensities are well described by a simple, plane-parallel approximation of a near-neutral, solar-abundance, high column density ($N_{\textrm{H}} > 10^{24}$ cm$^{-2}$) medium. This approximation gives canonical photon-intensity line ratios for the K$\alpha$ fluorescence of all elements, e.g., 0.104:\,0.069:\,1.0:\,0.043 for Si:\,S:\,Fe:\,Ni, respectively. Deviations from these ratios are shown to be primarily due to excess column density along the line of sight beyond the Galactic column. Therefore, measured fluorescence line ratios provide an independent estimate of $N_{\textrm{H}}$ and insight into the environment of accretion sources. Residual discrepancies with the canonical ratios could be due to a variety of effects such as a fluorescing medium with $N_{\textrm{H}} < 10^{24}$\,cm$^{-2}$, a non-neutral medium, variations in the illuminating spectrum, non-solar abundances, or an irregular source geometry. However, evidently and perhaps surprisingly, these are uncommon, and their effect remains minor.


title: HMcode-2020: Improved modelling of non-linear cosmological power spectra with baryonic feedback

abstract: We present an updated version of the HMcode augmented halo model that can be used to make accurate predictions of the non-linear matter power spectrum over a wide range of cosmologies. Major improvements include modelling of BAO damping in the power spectrum and an updated treatment of massive neutrinos. We fit our model to simulated power spectra and show that we can match the results with an RMS error of 2.5 per cent across a range of cosmologies, scales $k < 10\,h\mathrm{Mpc}^{-1}$, and redshifts $z<2$. The error rarely exceeds 5 per cent and never exceeds 16 per cent. The worst-case errors occur at $z\simeq2$, or for cosmologies with unusual dark-energy equations of state. This represents a significant improvement over previous versions of HMcode, and over other popular fitting functions, particularly for massive-neutrino cosmologies with high neutrino mass. We also present a simple halo model that can be used to model the impact of baryonic feedback on the power spectrum. This six-parameter physical model includes gas expulsion by AGN feedback and encapsulates star formation. By comparing this model to data from hydrodynamical simulations we demonstrate that the power spectrum response to feedback is matched at the $<1$ per cent level for $z<1$ and $k<20\,h\mathrm{Mpc}^{-1}$. We also present a single-parameter variant of this model, parametrized in terms of feedback strength, which is only slightly less accurate. We make code available for our non-linear and baryon models at https://github.com/alexander-mead/HMcode and it is also available within CAMB and soon within CLASS.


title: Dynamically important magnetic fields near the event horizon of Sgr A*

abstract: We study the time-variable linear polarisation of Sgr A* during a bright NIR flare observed with the GRAVITY instrument on July 28, 2018. Motivated by the time evolution of both the observed astrometric and polarimetric signatures, we interpret the data in terms of the polarised emission of a compact region ('hotspot') orbiting a black hole in a fixed, background magnetic field geometry. We calculated a grid of general relativistic ray-tracing models, created mock observations by simulating the instrumental response, and compared predicted polarimetric quantities directly to the measurements. We take into account an improved instrument calibration that now includes the instrument's response as a function of time, and we explore a variety of idealised magnetic field configurations. We find that the linear polarisation angle rotates during the flare, which is consistent with previous results. The hotspot model can explain the observed evolution of the linear polarisation. In order to match the astrometric period of this flare, the near horizon magnetic field is required to have a significant poloidal component, which is associated with strong and dynamically important fields. The observed linear polarisation fraction of $\simeq 30\%$ is smaller than the one predicted by our model ($\simeq 50\%$). The emission is likely beam depolarised, indicating that the flaring emission region resolves the magnetic field structure close to the black hole.


title: A Comprehensive Pipeline for Hotel Recommendation System

abstract: This paper addresses a comprehensive pipeline to build a hotel recommendation system with the raw data collected by Apps in users' smartphones. The pipeline mainly consists of pre-processing of the raw data and training prediction models. We use two methods, Support Vector Machine (SVM) and Recurrent Neural Network (RNN). The results show that two methods achieved a reasonable accuracy with the pre-processing of the raw data. Therefore, we conclude that this paper provides a comprehensive pipeline, in which a hotel recommendation system was successfully built from the raw data to specific applications.


title: Merger rate of black hole binaries from globular clusters: theoretical error bars and comparison to gravitational wave data from GWTC-2

abstract: Black hole binaries formed dynamically in globular clusters are believed to be one of the main sources of gravitational waves in the Universe. Here, we use our new population synthesis code, cBHBd, to determine the redshift evolution of the merger rate density and masses of black hole binaries formed in globular clusters. We simulate $\sim 2$ million models to explore the parameter space that is relevant to real clusters and over all mass scales. We show that when uncertainties on the initial cluster mass function and density are properly taken into account, they become the two dominant factors in setting the theoretical error bars on merger rates. Other model parameters (e.g., natal kicks, black hole masses, metallicity) have virtually no effect on the local merger rate density, although they affect the masses of the merging black holes. Modelling the merger rate density as a function of redshift as $R(z)=R_0(1+z)^\kappa$ at $z<2$, and marginalizing over uncertainties, we find: $R_0=7.2^{+21.5}_{-5.5}{\rm Gpc^{-3}yr^{-1}}$ and $\kappa=1.6^{+0.4}_{-0.6}$ ($90\%$ credibility). The rate parameters for binaries that merge inside the clusters are ${R}_{\rm 0,in}=1.6^{+1.9}_{-1.0}{\rm Gpc^{-3}yr^{-1}}$ and $\kappa_{\rm in}=2.3^{+1.3}_{-1.0}$; $\sim 20\%$ of these form as the result of a gravitational-wave capture, implying that eccentric mergers from globular clusters contribute $\lesssim 0.4 \rm Gpc^{-3}yr^{-1}$ to the local rate. A comparison to the merger rate reported by LIGO-Virgo shows that a scenario in which most of the detected black hole mergers are formed in globular clusters is consistent with current constraints, and requires initial cluster half-mass densities $\gtrsim 10^4 M_\odot \rm pc^{-3}$. Such models also reproduce the inferred primary black hole mass distribution for masses $13-30 M_\odot$, but under-predict the data outside this range.


title: Operator complexity: a journey to the edge of Krylov space

abstract: Heisenberg time evolution under a chaotic many-body Hamiltonian $H$ transforms an initially simple operator into an increasingly complex one, as it spreads over Hilbert space. Krylov complexity, or `K-complexity', quantifies this growth with respect to a special basis, generated by $H$ by successive nested commutators with the operator. In this work we study the evolution of K-complexity in finite-entropy systems for time scales greater than the scrambling time $t_s>\log (S)$. We prove rigorous bounds on K-complexity as well as the associated Lanczos sequence and, using refined parallelized algorithms, we undertake a detailed numerical study of these quantities in the SYK$_4$ model, which is maximally chaotic, and compare the results with the SYK$_2$ model, which is integrable. While the former saturates the bound, the latter stays exponentially below it. We discuss to what extent this is a generic feature distinguishing between chaotic vs. integrable systems.


title: Multicellularity of delicate topological insulators

abstract: Being Wannierizable is not the end of the story for topological insulators. We introduce a family of topological insulators that would be considered trivial in the paradigm set by the tenfold way, topological quantum chemistry, and the method of symmetry-based indicators. Despite having a symmetric, exponentially-localized Wannier representation, each Wannier function cannot be completely localized to a single primitive unit cell in the bulk. Such multicellular topology is shown to be neither stable, nor fragile, but delicate, i.e., the topology can be nullified by adding trivial bands to either valence or conduction band.


title: Developing Enterprise Cyber Situational Awareness

abstract: The topic will focus on the U.S. Department of Defense strategy towards improving their network security defenses for the department and the steps they have taken at the agency level where components under DOD such as The Defense Information Systems Agency are working towards adding tools that provides additional capabilities in the cyber space. This approach will be analyzed to determine if DOD goals address any of their vulnerabilities towards protecting their networks. One of the agencies under the DOD umbrella called The Defense Information Systems Agency provides DOD a template on how to build a network that relies upon layers of security to help it combat cyber attacks against its network. Whether that provides an effective solution to DOD remains a question due to the many components that operate under its direction. Managing these networks is the principle responsibilities for the Department of Defense. Nevertheless, it does demonstrates that there are tools available to help DOD build an strong enterprise cyber network of situational awareness that strengthens the ability to protect their network infrastructure.


title: A general approach to bridge the reality-gap

abstract: Employing machine learning models in the real world requires collecting large amounts of data, which is both time consuming and costly to collect. A common approach to circumvent this is to leverage existing, similar data-sets with large amounts of labelled data. However, models trained on these canonical distributions do not readily transfer to real-world ones. Domain adaptation and transfer learning are often used to breach this "reality gap", though both require a substantial amount of real-world data. In this paper we discuss a more general approach: we propose learning a general transformation to bring arbitrary images towards a canonical distribution where we can naively apply the trained machine learning models. This transformation is trained in an unsupervised regime, leveraging data augmentation to generate off-canonical examples of images and training a Deep Learning model to recover their original counterpart. We quantify the performance of this transformation using pre-trained ImageNet classifiers, demonstrating that this procedure can recover half of the loss in performance on the distorted data-set. We then validate the effectiveness of this approach on a series of pre-trained ImageNet models on a real world data set collected by printing and photographing images in different lighting conditions.


title: Interstellar communication network. II. Deep space nodes with gravitational lensing

abstract: Data rates in an interstellar communication network suffer from the inverse square law due to the vast distances between the stars. To achieve high (Gbits/s) data rates, some combination of large apertures and high power is required. Alternatively, signals can be focused by the gravitational lenses of stars to yield gains of order $10^{9}$, compared to the direct path. Gravitational lens physics imposes a set of constraints on the sizes and locations of receivers and apertures. These characteristics include the minimum and maximum receiver size, the maximum transmitter size, and the heliocentric receiver distance. Optimal sizes of receivers and transmitters are of order meters. Such small devices allow for the capture of the main lobe in the beam while avoiding the temporal smearing which affects larger apertures. These and other properties can be used to describe the most likely parameters of a lensed communication network, and to determine exact position of communication nodes in the heliocentric reference frame.


title: ESMFL: Efficient and Secure Models for Federated Learning

abstract: Nowadays, Deep Neural Networks are widely applied to various domains. However, massive data collection required for deep neural network reveals the potential privacy issues and also consumes large mounts of communication bandwidth. To address these problems, we propose a privacy-preserving method for the federated learning distributed system, operated on Intel Software Guard Extensions, a set of instructions that increase the security of application code and data. Meanwhile, the encrypted models make the transmission overhead larger. Hence, we reduce the commutation cost by sparsification and it can achieve reasonable accuracy with different model architectures.


title: High-speed varifocal optical-resolution photoacoustic microscope to achieve large depth of field based on a tunable acoustic gradient lens

abstract: We developed an optical-resolution photoacoustic microscope (OR-PAM) capable of changing focal plane with high-speed by using a tunable acoustic gradient (TAG) lens. In our system, a TAG lens is designed to continuously changing the focal plane of OR-PAM by modulating its refractive power with fast-changing ultrasonic standing wave. The raster-scanning of the microscope and laser pulses are synchronized to the same phase of the driving signal of TAG lens. By selecting the synchronized phase, arbitrary focal plane can be chosen in a range of about 1 millimeter in 1.4 microseconds in our system. A phantom composed by tungsten wires is used to verified the varifocal capability of the system. In-vivo study was carried out, to further demonstrate the large depth-of-field (DoF) achieved by our method without any moving part.


title: Enclave-Aware Compartmentalization and Secure Sharing with Sirius

abstract: Hardware-assisted trusted execution environments (TEEs) are critical building blocks of many modern applications. However, they have a one-way isolation model that introduces a semantic gap between a TEE and its outside world. This lack of information causes an ever-increasing set of attacks on TEE-enabled applications that exploit various insecure interactions with the host OSs, applications, or other enclaves. We introduce Sirius, the first compartmentalization framework that achieves strong isolation and secure sharing in TEE-assisted applications by controlling the dataflows within primary kernel objects (e.g. threads, processes, address spaces, files, sockets, pipes) in both the secure and normal worlds. Sirius replaces ad-hoc interactions in current TEE systems with a principled approach that adds strong inter- and intra-address space isolation and effectively eliminates a wide range of attacks. We evaluate Sirius on ARM platforms and find that it is lightweight ($\approx 15K$ LoC) and only adds $\approx 10.8\%$ overhead to enable TEE support on applications such as httpd, and improves the performance of existing TEE-enabled applications such as the Darknet ML framework and ARM's LibDDSSec by $0.05\%-5.6\%$.


title: $\mathbb{Z}$-gradings of full support on the Grassmann algebra

abstract: Let $E$ be the infinite dimensional Grassmann algebra over a field $F$ of characteristic zero. In this paper we investigate the structures of $\mathbb{Z}$-gradings on $E$ of full support. Using methods of elementary number theory, we describe the $\mathbb{Z}$-graded polynomial identities for the so-called $2$-induced $\mathbb{Z}$-gradings on $E$ of full support. As a consequence of this fact we provide examples of $\mathbb{Z}$-gradings on $E$ which are PI-equivalent but not $\mathbb{Z}$-isomorphic. This is the first example of graded algebras with infinite support that are PI-equivalent and not isomorphic as graded algebras. We also present the notion of central $\mathbb{Z}$-gradings on $E$ and we show that its $\mathbb{Z}$-graded polynomial identities are closely related to the $\mathbb{Z}_{2}$-graded polynomial identities of $\mathbb{Z}_{2}$-gradings on $E$.


title: Federated Learning for Breast Density Classification: A Real-World Implementation

abstract: Building robust deep learning-based models requires large quantities of diverse training data. In this study, we investigate the use of federated learning (FL) to build medical imaging classification models in a real-world collaborative setting. Seven clinical institutions from across the world joined this FL effort to train a model for breast density classification based on Breast Imaging, Reporting & Data System (BI-RADS). We show that despite substantial differences among the datasets from all sites (mammography system, class distribution, and data set size) and without centralizing data, we can successfully train AI models in federation. The results show that models trained using FL perform 6.3% on average better than their counterparts trained on an institute's local data alone. Furthermore, we show a 45.8% relative improvement in the models' generalizability when evaluated on the other participating sites' testing data.


title: Quantum HF/DFT-Embedding Algorithms for Electronic Structure Calculations: Scaling up to Complex Molecular Systems

abstract: In the near future, material and drug design may be aided by quantum computer assisted simulations. These have the potential to target chemical systems intractable by the most powerful classical computers. However, the resources offered by contemporary quantum computers are still limited, restricting the chemical simulations to very simple molecules. In order to rapidly scale up to more interesting molecular systems, we propose the embedding of the quantum electronic structure calculation into a classically computed environment obtained at the Hartree-Fock (HF) or Density Functional Theory (DFT) level of theory. We achieve this by constructing an effective Hamiltonian that incorporates a mean field potential describing the action of the inactive electrons on a selected Active Space (AS). The ground state of the AS Hamiltonian is determined by means of the Variational Quantum Eigensolver (VQE) algorithm. With the proposed iterative DFT embedding scheme we are able to obtain energy correction terms for a single pyridine molecule that outperform the Complete Active Space Self Consistent Field (CASSCF) results regardless of the chosen AS.


title: Disorder broadening of even denominator fractional quantum Hall states in the presence of a short-range alloy potential

abstract: We study energy gaps of the $\nu=7/2$ and $\nu=5/2$ fractional quantum Hall states in a series of two-dimensional electron gases containing alloy disorder. We found that gaps at these two filling factors have the same suppression rate with alloy disorder. The dimensionless intrinsic gaps in our alloy samples obtained from the model proposed by Morf and d'Ambrumenil are consistent with numerical results, but are larger than those obtained from experiments on pristine samples published in the literature. The disorder broadening parameter has large uncertainties. However, a modified analysis relying on shared intrinsic gaps yields consistent results for both the $\nu=5/2$ and $7/2$ fractional quantum Hall states and establishes a linear relationship between the disorder broadening parameter and alloy concentration. Furthermore, we find that we can separate contributions to the disorder broadening of the long-range and short-range scattering.


title: Sum-of-Squares Lower Bounds for Sherrington-Kirkpatrick via Planted Affine Planes

abstract: The Sum-of-Squares (SoS) hierarchy is a semi-definite programming meta-algorithm that captures state-of-the-art polynomial time guarantees for many optimization problems such as Max-$k$-CSPs and Tensor PCA. On the flip side, a SoS lower bound provides evidence of hardness, which is particularly relevant to average-case problems for which NP-hardness may not be available. In this paper, we consider the following average case problem, which we call the \emph{Planted Affine Planes} (PAP) problem: Given $m$ random vectors $d_1,\ldots,d_m$ in $\mathbb{R}^n$, can we prove that there is no vector $v \in \mathbb{R}^n$ such that for all $u \in [m]$, $\langle v, d_u\rangle^2 = 1$? In other words, can we prove that $m$ random vectors are not all contained in two parallel hyperplanes at equal distance from the origin? We prove that for $m \leq n^{3/2-\epsilon}$, with high probability, degree-$n^{\Omega(\epsilon)}$ SoS fails to refute the existence of such a vector $v$. When the vectors $d_1,\ldots,d_m$ are chosen from the multivariate normal distribution, the PAP problem is equivalent to the problem of proving that a random $n$-dimensional subspace of $\mathbb{R}^m$ does not contain a boolean vector. As shown by Mohanty--Raghavendra--Xu [STOC 2020], a lower bound for this problem implies a lower bound for the problem of certifying energy upper bounds on the Sherrington-Kirkpatrick Hamiltonian, and so our lower bound implies a degree-$n^{\Omega(\epsilon)}$ SoS lower bound for the certification version of the Sherrington-Kirkpatrick problem.


title: Depth Completion via Inductive Fusion of Planar LIDAR and Monocular Camera

abstract: Modern high-definition LIDAR is expensive for commercial autonomous driving vehicles and small indoor robots. An affordable solution to this problem is fusion of planar LIDAR with RGB images to provide a similar level of perception capability. Even though state-of-the-art methods provide approaches to predict depth information from limited sensor input, they are usually a simple concatenation of sparse LIDAR features and dense RGB features through an end-to-end fusion architecture. In this paper, we introduce an inductive late-fusion block which better fuses different sensor modalities inspired by a probability model. The proposed demonstration and aggregation network propagates the mixed context and depth features to the prediction network and serves as a prior knowledge of the depth completion. This late-fusion block uses the dense context features to guide the depth prediction based on demonstrations by sparse depth features. In addition to evaluating the proposed method on benchmark depth completion datasets including NYUDepthV2 and KITTI, we also test the proposed method on a simulated planar LIDAR dataset. Our method shows promising results compared to previous approaches on both the benchmark datasets and simulated dataset with various 3D densities.


title: Low-code Engineering for Internet of things: A state of research

abstract: Developing Internet of Things (IoT) systems has to cope with several challenges mainly because of the heterogeneity of the involved sub-systems and components. With the aim of conceiving languages and tools supporting the development of IoT systems, this paper presents the results of the study, which has been conducted to understand the current state of the art of existing platforms, and in particular low-code ones, for developing IoT systems. By analyzing sixteen platforms, a corresponding set of features has been identified to represent the functionalities and the services that each analyzed platform can support. We also identify the limitations of already existing approaches and discuss possible ways to improve and address them in the future.


title: Spin-state estimation using the Stern-Gerlach experiment

abstract: We propose a state estimation scheme for spins, using a modified setup of the Stern-Gerlach experiment, in which a beam of neutral spin-1/2 point particles interacts with a quadrupolar magnetic field. The proposed linear inversion estimation procedure, based on a quadrant intensity detector, requires a suitable initial spatial state of the beam. The statistical characterization of the estimator of the initial spin state allows us not only to associate an error to the estimated parameters, but also to define a measure for comparing estimation procedures corresponding to different Stern-Gerlach setups.


title: An enriched second-order method for nonconvex composite sparse optimization problems

abstract: In this paper we propose a second--order method for solving \emph{linear composite sparse optimization problems} consisting of minimizing the sum of a differentiable (possibly nonconvex function) and a nondifferentiable convex term. The composite nondifferentiable convex penalizer is given by $\ell_1$--norm of a matrix multiplied with the coefficient vector. The algorithm that we propose for the case of the linear composite $\ell_1$ problem relies on the three main ingredients that power the OESOM algorithm \cite{dlrlm07}: the minimum norm subgradient, a projection step and, in particular, the second--order information associated to the nondifferentiable term. By extending these devices, we obtain a full second--order method for solving composite sparse optimization problems which includes a wide range of applications. For instance, problems involving the minimization of a general class \emph{differential graph operators} can be solved with the proposed algorithm. We present several computational experiments to show the efficiency of our approach for different application examples.


title: The Manifold Of Variations: hazard assessment for short-term impactors

abstract: When an asteroid has a few observations over a short time span the information contained in the observational arc could be so little that a full orbit determination may be not possible. One of the methods developed in recent years to overcome this problem is based on the systematic ranging and combined with the Admissible Region theory to constrain the poorly-determined topocentric range and range-rate. The result is a set of orbits compatible with the observations, the Manifold Of Variations, a 2-dimensional compact manifold parametrized over the Admissible Region. Such a set of orbits represents the asteroid confidence region and is used for short-term hazard predictions. In this paper we review the Manifold Of Variations method and make a detailed analysis of the related probabilistic formalism.


title: A Haystack Full of Needles: Scalable Detection of IoT Devices in the Wild

abstract: Consumer Internet of Things (IoT) devices are extremely popular, providing users with rich and diverse functionalities, from voice assistants to home appliances. These functionalities often come with significant privacy and security risks, with notable recent large scale coordinated global attacks disrupting large service providers. Thus, an important first step to address these risks is to know what IoT devices are where in a network. While some limited solutions exist, a key question is whether device discovery can be done by Internet service providers that only see sampled flow statistics. In particular, it is challenging for an ISP to efficiently and effectively track and trace activity from IoT devices deployed by its millions of subscribers --all with sampled network data. In this paper, we develop and evaluate a scalable methodology to accurately detect and monitor IoT devices at subscriber lines with limited, highly sampled data in-the-wild. Our findings indicate that millions of IoT devices are detectable and identifiable within hours, both at a major ISP as well as an IXP, using passive, sparsely sampled network flow headers. Our methodology is able to detect devices from more than 77% of the studied IoT manufacturers, including popular devices such as smart speakers. While our methodology is effective for providing network analytics, it also highlights significant privacy consequences.


title: Astrophysical Simulations and Data Analyses on the Formation, Detection, and Habitability of Moons Around Extrasolar Planets

abstract: While the solar system contains as many as about 20 times more moons than planets, no moon has been definitively detected around any of the thousands of extrasolar planets so far. The question naturally arises why an exomoon detection has not yet been achieved. This cumulative habilitation thesis covers three of the key aspects related to the ongoing search for extrasolar moons: 1. the possible formation scenarios for moons around extrasolar planets; 2. new detection strategies for these moons; and 3. the potential of exomoons as hosts to extrasolar life. This work is structured as follows. Part I gives a broad introduction to the field of extrasolar moons with special attention to their formation, detection, and habitability. Part II presents the cumulative part of this thesis with a total of 16 peer-reviewed journal publications listing the author of this thesis as a lead author, and six publications with the author of this thesis as a co-author. Part III shares some insights into our ongoing research on exomoons in collaboration with master student Anina Timmermann at the Georg-August University of G\"ottingen and former PhD student Kai Rodenbeck at the International Max Planck Research School for Solar System Science and the University of G\"ottingen. The Appendix is a collection of non-peer-reviewed conference proceedings and popular science publications by the author that further disseminate our research of extrasolar moons.


title: Fractional free convolution powers

abstract: The extension $k \mapsto \mu^{\boxplus k}$ of the concept of a free convolution power to the case of non-integer $k \geq 1$ was introduced by Bercovici-Voiculescu and Nica-Speicher, and related to the minor process in random matrix theory. In this paper we give two proofs of the monotonicity of the free entropy and free Fisher information of the (normalized) free convolution power in this continuous setting, and also establish an intriguing variational description of this process.