title: NGC 7457: Evidence for merger-driven cylindrical rotation in disc galaxies

abstract: We construct Schwarzschild orbit-based models of NGC 7457, known as a peculiar low-mass lenticular galaxy. Our best-fitting model successfully retrieves most of the unusual kinematics behaviours of this galaxy, in which, the orbital distribution of stars is dominated by warm and hot orbits. The reconstructed surface brightness of the hot component matches fairly well the photometric bulge and the reconstructed LOSVD map of this component shows clear rotation around the major photometric axis of the galaxy. In the absence of a dominant cold component, the outer part of our model is dominated by warm orbits, representing an exponential thick disc. Our orbital analysis also confirm the existence of a counter-rotating orbital substructure in the very centre, reported in previous observational studies. By comparing our model with a variety of simulation studies, and considering the stellar kinematics and populations properties of this galaxy, we suggest that the thick disc is most likely a dynamically heated structure, formed through the interactions and accretion of satellite(s) with near-polar initial inclination. We also suggest a merger-driven process as the most plausible scenario to explain the observed and dynamically-modelled properties of the bulge of NGC 7457. We conclude that both the high level of cylindrical rotation and unusually low velocity dispersion reported for the NGC 7457 have most-likely external origins. Therefore, NGC 7457 could be considered as a candidate for merger-driven cylindrical rotation in the absence of a strong bar in disc galaxies.


title: Robust Dynamic Hamiltonian Engineering of Many-Body Spin Systems

abstract: We introduce a new approach for the robust control of quantum dynamics of strongly interacting many-body systems. Our approach involves the design of periodic global control pulse sequences to engineer desired target Hamiltonians that are robust against disorder, unwanted interactions and pulse imperfections. It utilizes a matrix representation of the Hamiltonian engineering protocol based on time-domain transformations of the Pauli spin operator along the quantization axis. This representation allows us to derive a concise set of algebraic conditions on the sequence matrix to engineer robust target Hamiltonians, enabling the simple yet systematic design of pulse sequences. We show that this approach provides an efficient framework to (i) treat any secular many-body Hamiltonian and engineer it into a desired form, (ii) target dominant disorder and interaction characteristics of a given system, (iii) achieve robustness against imperfections, (iv) provide optimal sequence length within given constraints, and (v) substantially accelerate numerical searches of pulse sequences. Using this systematic approach, we develop novel sets of pulse sequences for the protection of quantum coherence, optimal quantum sensing and quantum simulation. Finally, we experimentally demonstrate the robust operation of these sequences in a system with the most general interaction form.


title: High Resolution Optical Spectroscopy of Stars in the Sylgr Stellar Stream

abstract: We observe two metal-poor main sequence stars that are members of the recently-discovered Sylgr stellar stream. We present radial velocities, stellar parameters, and abundances for 13 elements derived from high-resolution optical spectra collected using the Magellan Inamori Kyocera Echelle spectrograph. The two stars have identical compositions (within 0.13 dex or 1.2 sigma) among all elements detected. Both stars are very metal poor ([Fe/H] = -2.92 +/- 0.06). Neither star is highly enhanced in C ([C/Fe] < +1.0). Both stars are enhanced in the alpha elements Mg, Si, and Ca ([alpha/Fe] = +0.32 +/- 0.06), and ratios among Na, Al, and all Fe-group elements are typical for other stars in the halo and ultra-faint and dwarf spheroidal galaxies at this metallicity. Sr is mildly enhanced ([Sr/Fe] = +0.22 +/- 0.11), but Ba is not enhanced ([Ba/Fe] < -0.4), indicating that these stars do not contain high levels of neutron-capture elements. The Li abundances match those found in metal-poor unevolved field stars and globular clusters (log epsilon (Li) = 2.05 +/- 0.07), which implies that environment is not a dominant factor in determining the Li content of metal-poor stars. The chemical compositions of these two stars cannot distinguish whether the progenitor of the Sylgr stream was a dwarf galaxy or a globular cluster. If the progenitor was a dwarf galaxy, the stream may originate from a dense region such as a nuclear star cluster. If the progenitor was a globular cluster, it would be the most metal-poor globular cluster known.


title: The State and Future of Genetic Improvement

abstract: We report the discussion session at the sixth international Genetic Improvement workshop, GI-2019 @ ICSE, which was held as part of the 41st ACM/IEEE International Conference on Software Engineering on Tuesday 28th May 2019. Topics included GI representations, the maintainability of evolved code, automated software testing, future areas of GI research, such as co-evolution, and existing GI tools and benchmarks.


title: Renormalisation of linear halo bias in N-body simulations

abstract: The interpretation of redshift surveys requires modeling the relationship between large-scale fluctuations in the observed number density of tracers, $\delta_\mathrm{h}$, and the underlying matter density, $\delta$. Bias models often express $\delta_\mathrm{h}$ as a truncated series of integro-differential operators acting on $\delta$, each weighted by a bias parameter. Due to the presence of `composite operators' (obtained by multiplying fields evaluated at the same spatial location), the linear bias parameter measured from clustering statistics does not coincide with that appearing in the bias expansion. This issue can be cured by re-writing the expansion in terms of `renormalised' operators. After providing a pedagogical and comprehensive review of bias renormalisation in perturbation theory, we generalize the concept to non-perturbative dynamics and successfully apply it to dark-matter haloes extracted from a large suite of N-body simulations. When comparing numerical and perturbative results, we highlight the effect of the window function employed to smooth the random fields. We then measure the bias parameters as a function of halo mass by fitting a non-perturbative bias model (both before and after applying renormalisation) to the cross spectrum $P_{\delta_\mathrm{h}\delta}(k)$. Finally, we employ Bayesian model selection to determine the optimal operator set to describe $P_{\delta_\mathrm{h}\delta}(k)$ for $k<0.2\,h$ Mpc$^{-1}$ at redshift $z=0$. We find that it includes $\delta, \nabla^2\delta, \delta^2$ and the square of the traceless tidal tensor, $s^2$. Considering higher-order terms (in $\delta$) leads to overfitting as they cannot be precisely constrained by our data. We also notice that next-to-leading-order perturbative solutions are inaccurate for $k\gtrsim 0.1\,h$ Mpc$^{-1}$.


title: Screened Fifth Forces Mediated by Dark Matter-Baryon Interactions: Theory and Astrophysical Probes

abstract: We derive the details of a new screening mechanism where the interactions of baryons and dark matter can be screened according to the local dark matter density. In this mechanism, the value of Newton's constant is dark matter density-dependent, allowing for the possibility that astrophysical phenomena are very different in galaxies less dense than the Milky Way. The parameterized post Newtonian parameter $\gamma$, which quantifies the difference between kinematical and lensing probes, also depends on dark matter density. We calculate the effects of varying $G$ on various stages of stellar evolution, focusing on observables that impact cosmology: the Cepheid period--luminosity relation and the supernova Ia magnitude--redshift relation. Other potential tests of the model are also investigated including main-sequence, post-main sequence, and low mass dwarf stars. Finally, we discuss how extragalactic tests of $\gamma$ could provide complementary constraints.


title: Matter-Geometry entanglement in quantum cosmology

abstract: We present a study of the evolution of entanglement entropy of matter and geometry in quantum cosmology. For a variety of Gaussian initial states and their linear combinations, and with evolution defined with respect to a relational time, we show numerically that (i) entanglement entropy increases rapidly at very early times, and subsequently saturates to a constant non-zero value, and (ii) that the saturation value of this entropy is a linear function of the energy associated to the quantum state: $S_{\text{ent}}^\psi = \gamma \langle \hat{H} \rangle_\psi$. These results suggest a remnant of quantum entanglement in the macroscopic Universe from the era of the Big Bang, independent of the initial state parameters, and a "First Law" associated with matter-gravity entanglement entropy in quantum gravity.


title: Distributed Approximation of Functions over Fast Fading Channels with Applications to Distributed Learning and the Max-Consensus Problem

abstract: In this work, we consider the problem of distributed approximation of functions over multiple-access channels with additive noise. In contrast to previous works, we take fast fading into account and give explicit probability bounds for the approximation error allowing us to derive bounds on the number of channel uses that are needed to approximate a function up to a given approximation accuracy. Neither the fading nor the noise process is limited to Gaussian distributions. Instead, we consider sub-gaussian random variables which include Gaussian as well as many other distributions of practical relevance. The results are motivated by and have immediate applications to a) computing predictors in models for distributed machine learning and b) the max-consensus problem in ultra-dense networks.


title: A local resolution of the Hubble tension: The impact of screened fifth forces on the cosmic distance ladder

abstract: The discrepancy between the values of the Hubble constant $H_0$ derived from the local distance ladder and the cosmic microwave background provides a tantalising hint of new physics. We explore a potential resolution involving screened fifth forces in the local Universe, which alter the Cepheid calibration of supernova distances. In particular, if the Cepheids with direct distance measurements from parallax or water masers are screened but a significant fraction of those in other galaxies are not, neglecting the difference between their underlying period--luminosity relations biases the local $H_0$ measurement high. This difference derives from a reduction in the Cepheid pulsation period and possible increase in luminosity under a fifth force. We quantify the internal and environmental gravitational properties of the Riess et al. distance ladder galaxies to assess their degrees of screening under a range of phenomenological models, and propagate this information into the $H_0$ posterior as a function of fifth force strength. We consider well-studied screening models in scalar--tensor gravity theories such as chameleon, K-mouflage and Vainshtein, along with a recently-proposed mechanism based on baryon--dark matter interactions in which screening is governed by local dark matter density. We find that a fifth force strength $\sim5-30\%$ that of gravity can alleviate (though not resolve) the $H_0$ tension in some scenarios, around the sensitivity level at which tests based on other distance ladder data can constrain this strength. Although our analysis is exploratory and based on screening models not necessarily realised in full theories, our results demonstrate that new physics-based local resolutions of the $H_0$ tension are possible, supplementing those already known in the pre-recombination era.


title: Topological orders of monopoles and hedgehogs: From electronic and magnetic spin-orbit coupling to quarks

abstract: Topological states of matter are, generally, quantum liquids of conserved topological defects. We establish this by constructing and analyzing topological field theories which describe the dynamics of field singularities using gauge fields. Homotopy groups are utilized to identify topologically protected singularities, and the conservation of their protected number is captured by a topological action term that unambiguously obtains from the given set of symmetries. Stable phases of these theories include quantum liquids with emergent massless Abelian and non-Abelian gauge fields, as well as topological orders with long-range quantum entanglement, fractional excitations, boundary modes and unconventional responses to external perturbations. This paper focuses on the derivation of topological field theories and basic phenomenological characterization of topological orders associated with homotopy groups $\pi_n(S^n)$, $n\ge 1$. These homotopies govern monopole and hedgehog topological defects in $d=n+1$ dimensions, and enable the generalization of both weakly-interacting and fractional quantum Hall liquids of vortices to $d>2$. Hedgehogs have not been in the spotlight so far, but they are particularly important defects of magnetic moments because they can be stimulated in realistic systems with spin-orbit coupling, such as chiral magnets and $d=3$ topological materials. We predict novel topological orders in systems with U(1)$\times$Spin($d$) symmetry in which fractional electric charge attaches to hedgehogs. Monopoles, the analogous defects of charge or generic U(1) currents, may bind to hedgehogs via Zeeman effect, or effectively emerge in purely magnetic systems. The latter can lead to spin liquids with different topological orders than that of the RVB spin liquid. Charge fractionalization of quarks in atomic nuclei is also seen as possibly arising from the charge-hedgehog attachment.


title: Linearly polarized gluons at next-to-next-to leading order and the Higgs transverse momentum distribution

abstract: We calculate the small-b (or large-qT) matching of transverse momentum dependent (TMD) distribution for linearly polarized gluons to the integrated gluon distributions at the next-to-next-to-leading order (NNLO). This is the last missing part for the complete NNLO prediction of the Higgs spectrum within TMD factorization. We discuss the numerical impact of the correction so derived to the qT-differential cross-section for Higgs boson production and to the positivity bound for linearly polarized gluon transverse momentum distribution.


title: Scalar Weyl anomalies and the dynamics of the gravitational field

abstract: The generalization of scale invariance when gravitational effects are considered is Weyl invariance, namely, invariance under (global or local) rescalings of the metric. In this work, we discuss in some details the implications of the fact that the value of the anomaly for the global Weyl invariant coupling of scalar fields to gravity is sensitive to the dynamics (or absence thereof) of the gravitational field.


title: Bounds on Cosmic Ray-Boosted Dark Matter in Simplified Models and its Corresponding Neutrino-Floor

abstract: We study direct detection bounds on cosmic ray-upscattered dark matter in simplified models including light mediators. We find that the energy dependence in the scattering cross section is significant, and produces stronger bounds than previously found (which assumed constant cross sections) by many orders of magnitude at low DM mass. Finally, we compute the "neutrino-floor" that will limit future direct detection searches for cosmic ray-upscattered dark matter. While we focus on vector interactions for illustration, we emphasize that the energy dependence is critical in determining accurate bounds on any particle physics model of Dark Matter-CR interactions from experimental data on this scenario.


title: Comparing EM with GD in Mixture Models of Two Components

abstract: The expectation-maximization (EM) algorithm has been widely used in minimizing the negative log likelihood (also known as cross entropy) of mixture models. However, little is understood about the goodness of the fixed points it converges to. In this paper, we study the regions where one component is missing in two-component mixture models, which we call one-cluster regions. We analyze the propensity of such regions to trap EM and gradient descent (GD) for mixtures of two Gaussians and mixtures of two Bernoullis. In the case of Gaussian mixtures, EM escapes one-cluster regions exponentially fast, while GD escapes them linearly fast. In the case of mixtures of Bernoullis, we find that there exist one-cluster regions that are stable for GD and therefore trap GD, but those regions are unstable for EM, allowing EM to escape. Those regions are local minima that appear universally in experiments and can be arbitrarily bad. This work implies that EM is less likely than GD to converge to certain bad local optima in mixture models.


title: Formation of shocks for 2D isentropic compressible Euler

abstract: We consider the 2D isentropic compressible Euler equations, with pressure law $p(\rho) = (\sfrac{1}{\gamma}) \rho^\gamma$, with $\gamma >1$. We provide an elementary constructive proof of shock formation from smooth initial datum of finite energy, with no vacuum regions, and with {nontrivial vorticity}. We prove that for initial data which has minimum slope $- {\sfrac{1}{ \eps}}$, for $ \eps>0$ taken sufficiently small relative to the $\OO(1)$ amplitude, there exist smooth solutions to the Euler equations which form a shock in time $\OO(\eps)$. The blowup time and location can be explicitly computed and solutions at the blowup time are of cusp-type, with H\"{o}lder $C^ {\sfrac{1}{3}}$ regularity. Our objective is the construction of solutions with inherent $\OO(1)$ vorticity at the shock. As such, rather than perturbing from an irrotational regime, we instead construct solutions with dynamics dominated by purely azimuthal wave motion. We consider homogenous solutions to the Euler equations and use Riemann-type variables to obtain a system of forced transport equations. Using a transformation to modulated self-similar variables and pointwise estimates for the ensuing system of transport equations, we show the global stability, in self-similar time, of a smooth blowup profile.


title: Time-average properties of $z \sim 0.6$ major mergers: mergers significantly scatter high-z scaling relations

abstract: Interpreting the scaling relations measured by recent large kinematic surveys of $z < 1$ galaxies has remained hampered by large observational scatter. We show that the observed ISM and morpho-dynamical properties along the average $z \sim 0.6$ major merger describe a very self-consistent picture in which star formation is enhanced during first passage and fusion as a result of gravitational perturbations due to the interaction, while the gas velocity dispersion is simultaneously enhanced through shocks that convert kinematic energy associated with bulk orbital motions into turbulence at small scales. Angular momentum and rotation support in the disc are partly lost during the most perturbing phases, resulting in a morphologically compact phase. The fractions of present-day E/S0 versus later type galaxies can be predicted within only a few per cent, confirming that roughly half of local discs were reformed in the past 8-9 Gyr after gas-rich major mergers. Major mergers are shown to strongly scatter scaling relations involving kinematic quantities (e.g. the Tully-Fisher or Fall relations). Selecting high-z discs relying only on $V/{\sigma}$ turns out to be less efficient than selecting discs from multiple criteria based on their morpho-kinematic properties, which can reduce the scatter of high-z scaling relations down to the values measured in local galaxy samples.


title: Seed and vacuum pair production in strong laser field

abstract: Researches on the electron-positron pair production in the presence of the intense laser field are reviewed, motivated by the theoretical importance of the nonperturbative QED problem and the worldwide development of the strong laser facilities. According to distinct experimental requirements and theoretical methods, two types of pair production are elaborated, which are respectively the pair production in the combination of a seed particle and the strong laser, and vacuum pair production without a seed particle. The origin of the nonperturbative problem caused by the strong field is analyzed. The main ideas, realization, achievements, validity, challenges and bottleneck problems of the nonperturbative methods developed for each type of the pair production problem are discussed.

categories: physics.atom-ph hep-ph physics.optics physics.plasm-ph


title: An analytic solution for the equal-mass banana graph

abstract: We present fully analytic results for all master integrals for the three-loop banana graph with four equal and non-zero masses. The results are remarkably simple and all integrals are expressed as linear combinations of iterated integrals of modular forms of uniform weight for the same congruence subgroup as for the two-loop equal-mass sunrise graph. We also show how to write the results in terms of elliptic polylogarithms evaluated at rational points.


title: Separation of variables and scalar products at any rank

abstract: Separation of variables (SoV) is a special property of integrable models which ensures that the wavefunction has a very simple factorised form in a specially designed basis. Even though the factorisation of the wavefunction was recently established for higher rank models by two of the authors and G. Sizov, the measure for the scalar product was not known beyond the case of rank one symmetry. In this paper we show how this measure can be found, bypassing an explicit SoV construction. A key new observation is that the measure for spin chains in a highest-weight infinite dimensional representation of sl(N) couples Q-functions at different nesting levels in a non-symmetric fashion. We also managed to express a large number of form factors as ratios of determinants in our new approach. We expect our method to be applicable in a much wider setup including the problem of computing correlators in integrable CFTs such as the fishnet theory, N=4 SYM and the ABJM model.

categories: hep-th cond-mat.stat-mech math-ph math.MP math.QA nlin.SI


title: CHANG-ES XVI: An in-depth view of the cosmic-ray transport in the edge-on spiral galaxies NGC 891 and NGC 4565

abstract: Cosmic-ray electrons (CREs) originating from the star-forming discs of spiral galaxies frequently form extended radio haloes that are best observable in edge-on galaxies. For the present study we selected two nearby edge-on galaxies from the CHANG-ES survey, NGC 891 and 4565, which differ largely in halo size and SFR. To figure out how such differences are related to the CRE transport in disc and halo, we use wide-band 1.5 and 6 GHz VLA observations obtained in the B, C, and D configurations, and combine the 6 GHz images with Effelsberg observations to correct for missing short spacings. We study the spatially resolved non-thermal spectral index distribution in terms of CRE spectral ageing, compute total magnetic field strengths assuming energy equipartition between CRs and magnetic fields, and also determine synchrotron scale heights. Based on the vertical profiles of synchrotron intensity and spectral index, we create purely advective and purely diffusive CRE transport models by numerically solving the 1D diffusion-loss equation. In particular, we investigate for the first time the radial dependence of synchrotron and magnetic field scale heights, advection speeds and diffusion coefficients in these two galaxies. We find the spectral index distribution of NGC 891 to be mostly consistent with continuous CRE injection, while in NGC 4565 the local synchrotron spectra are more in line with discrete-epoch CRE injection (JP or KP models). This implies that CRE injection timescales are lower than the synchrotron cooling timescales. The scale height of NGC 891 increases with radius, indicating that synchrotron losses are significant. NGC 891 is probably dominated by advective CRE transport at a velocity of $\gtrsim150\,\mathrm{km\,s^{-1}}$. In contrast, NGC 4565 is diffusion-dominated up to $z=1$ kpc or higher, with a diffusion coefficient of $\geq2\times10^{28}\,\mathrm{cm^2\,s^{-1}}$.


title: Sub-radian-accuracy gravitational waves from coalescing binary neutron stars II: Systematic study on the equation of state, binary mass, and mass ratio

abstract: We report results of numerical relativity simulations for {\it new} 26 non-spinning binary neutron star systems with 6 grid resolutions using an adaptive mesh refinement numerical re\ lativity code {\tt SACRA-MPI}. The finest grid spacing is $\approx 64$--$85$ m, depending on the systems. First, we derive long-term high-precision inspiral gravitational waveforms and show that the accumulated gravitational-wave phase error due to the finite grid resolution is less than $0.5$ rad during more than $200$ rad phase evolution irrespective of the systems. We also find that the gravitational-wave phase error for a binary system with a tabulated equation of state (EOS) is comparable to that for a piecewise polytropic EOS. Then we validate the SACRA inspiral gravitational waveform template, which will be used to extract tidal deformability from gravitational wave observation, and find that accuracy of \ our waveform modeling is $\lesssim 0.1$ rad in the gravitational-wave phase and $\lesssim 20 \%$ in the gravitational-wave amplitude up to the gravitational-wave frequency $1000$ Hz.\ Finally, we calibrate the proposed universal relations between a post-merger gravitational wave signal and tidal deformability/neutron star radius in the literature and show that th\ ey suffer from systematics and many relations proposed as universal are not very universal. Improved fitting formulae are also proposed.


title: Higher Derivative Scalar Quantum Field Theory in Curved Spacetime

abstract: We study a free scalar field $\phi$ in a fixed curved background spacetime subject to a higher derivative field equation of the form $F(\Box)\phi =0$, where $F$ is a polynomial of the form $F(\Box)= \prod_i (\Box-m_i^2)$ and all masses $m_i$ are distinct and real. Using an auxiliary field method to simplify the calculations, we obtain expressions for the Belinfante-Rosenfeld symmetric energy-momentum tensor and compare it with the canonical energy-momentum tensor when the background is Minkowski spacetime. We also obtain the conserved symplectic current necessary for quantisation and briefly discuss the issue of negative energy versus negative norm and its relation to Reflection Positivity in Euclidean treatments. We study, without assuming spherical symmetry, the possible existence of finite energy static solutions of the scalar equations, in static or stationary background geometries. Subject to various assumptions on the potential, we establish non-existence results including a no-scalar-hair theorem for static black holes. We consider Pais-Uhlenbeck field theories in a cosmological de Sitter background, and show how the Hubble friction may eliminate what would otherwise be unstable behaviour when interactions are included.


title: Asymptotic Bayes risk for Gaussian mixture in a semi-supervised setting

abstract: Semi-supervised learning (SSL) uses unlabeled data for training and has been shown to greatly improve performance when compared to a supervised approach on the labeled data available. This claim depends both on the amount of labeled data available and on the algorithm used. In this paper, we compute analytically the gap between the best fully-supervised approach using only labeled data and the best semi-supervised approach using both labeled and unlabeled data. We quantify the best possible increase in performance obtained thanks to the unlabeled data, i.e. we compute the accuracy increase due to the information contained in the unlabeled data. Our work deals with a simple high-dimensional Gaussian mixture model for the data in a Bayesian setting. Our rigorous analysis builds on recent theoretical breakthroughs in high-dimensional inference and a large body of mathematical tools from statistical physics initially developed for spin glasses.


title: A Hybrid Stochastic Optimization Framework for Stochastic Composite Nonconvex Optimization

abstract: We introduce a new approach to develop stochastic optimization algorithms for a class of stochastic composite and possibly nonconvex optimization problems. The main idea is to combine two stochastic estimators to create a new hybrid one. We first introduce our hybrid estimator and then investigate its fundamental properties to form a foundational theory for algorithmic development. Next, we apply our theory to develop several variants of stochastic gradient methods to solve both expectation and finite-sum composite optimization problems. Our first algorithm can be viewed as a variant of proximal stochastic gradient methods with a single-loop, but can achieve $\mathcal{O}(\sigma^3\varepsilon^{-1} + \sigma \varepsilon^{-3})$-oracle complexity bound, matching the best-known ones from state-of-the-art double-loop algorithms in the literature, where $\sigma > 0$ is the variance and $\varepsilon$ is a desired accuracy. Then, we consider two different variants of our method: adaptive step-size and restarting schemes that have similar theoretical guarantees as in our first algorithm. We also study two mini-batch variants of the proposed methods. In all cases, we achieve the best-known complexity bounds under standard assumptions. We test our methods on several numerical examples with real datasets and compare them with state-of-the-arts. Our numerical experiments show that the new methods are comparable and, in many cases, outperform their competitors.


title: Period integrals from wall structures via tropical cycles, canonical coordinates in mirror symmetry and analyticity of toric degenerations

abstract: We give a simple expression for the integral of the canonical holomorphic volume form in degenerating families of varieties constructed from wall structures and with central fiber a union of toric varieties. The cycles to integrate over are constructed from tropical 1-cycles in the intersection complex of the central fiber. One application is a proof that the mirror map for the canonical formal families of Calabi-Yau varieties constructed by Gross and the second author is trivial. We also show that these families are the completion of an analytic family, without reparametrization, and that they are formally versal as deformations of logarithmic schemes. Other applications include canonical one-parameter type III degenerations of K3 surfaces with prescribed Picard groups. As a technical result of independent interest we develop a theory of period integrals with logarithmic poles on finite order deformations of normal crossing analytic spaces.


title: Damping of density oscillations in neutrino-transparent nuclear matter

abstract: We calculate the bulk-viscous dissipation time for adiabatic density oscillations in nuclear matter at densities of 1-7 times nuclear saturation density and at temperatures ranging from 1 MeV, where corrections to previous low-temperature calculations become important, up to 10 MeV, where the assumption of neutrino transparency is no longer valid. Under these conditions, which are expected to occur in neutron star mergers, damping of density oscillations arises from beta equilibration via weak interactions. We find that for 1 kHz oscillations the shortest dissipation times are in the 5 to 20 ms range, depending on the equation of state, which means that bulk viscous damping could affect the dynamics of a neutron star merger. For higher frequencies the dissipation time can be even shorter.


title: Quenching estimates for a non-Newtonian filtration equation with singular boundary conditions

abstract: In this paper, the quenching behavior of the non-Newtonian filtration equation $(\phi (u))_{t}=(\left \vert u_{x}\right \vert ^{r-2}u_{x})_{x}$ with singular boundary conditions, $u_{x}\left( 0,t\right) =u^{-p}(0,t)$, $u_{x}\left( a,t\right) =(1-u(a,t))^{-q}$ is investigated. Various conditions on the initial condition are shown to guarantee quenching at either the left or right boundary. Theoretical quenching rates and lower bounds to the quenching time are determined when $\phi(u)=u$ and $r=2$. Numerical experiments are provided to illustrate and provide additional validation of the theoretical estimates to the quenching rates and times.


title: Faster Deterministic Distributed Coloring Through Recursive List Coloring

abstract: We provide novel deterministic distributed vertex coloring algorithms. As our main result, we give a deterministic distributed algorithm to compute a $(\Delta+1)$-coloring of an $n$-node graph with maximum degree $\Delta$ in $2^{O(\sqrt{\log\Delta})}\cdot\log n$ rounds. This improves on the best previously known time complexity for a large range of values of $\Delta$. For graphs with arboricity $a$, we obtain a deterministic distributed algorithm to compute a $(2+o(1))a$-coloring in time $2^{O(\sqrt{\log a})}\cdot\log^2 n$. Further, for graphs with bounded neighborhood independence, we show that a $(\Delta+1)$-coloring can be computed more efficiently in time $2^{O(\sqrt{\log\Delta})} + O(\log^* n)$. This in particular implies that also a $(2\Delta-1)$-edge coloring can be computed deterministically in $2^{O(\sqrt{\log\Delta})} + O(\log^* n)$ rounds, which improves the best known time bound for small values of $\Delta$. All results even hold for the list coloring variants of the problems. As a consequence, we also obtain an improved deterministic $2^{O(\sqrt{\log\Delta})}\cdot\log^3 n$-round algorithm for $\Delta$-coloring non-complete graphs with maximum degree $\Delta\geq 3$. Most of our algorithms only require messages of $O(\log n)$ bits (including the $(\Delta+1)$-vertex coloring algorithms). Our main technical contribution is a recursive deterministic distributed list coloring algorithm to solve list coloring problems with lists of size $\Delta^{1+o(1)}$. Given some list coloring problem and an orientation of the edges, we show how to recursively divide the global color space into smaller subspaces, assign one of the subspaces to each node of the graph, and compute a new edge orientation such that for each node, the list size to out-degree ratio degrades at most by a constant factor on each recursion level.


title: Fully Convolutional Network for Removing DCT Artefacts From Images

abstract: Image compression is one of the essential methods of image processing. Its most prominent advantage is the significant reduction of image size allowing for more efficient storage and transfer. However, lossy compression is associated with the loss of some image details in favor of reducing its size. In compressed images, the deficiencies are manifested by noticeable defects in the form of artifacts; the most common are block artifacts, ringing effect, or blur. In this article, we propose three models of fully convolutional networks with different configurations and examine their abilities in reducing compression artifacts. In the experiments, we research the extent to which the results are improved for models that will process the image in a similar way to the compression algorithm, and whether the initialization with predefined filters would allow for better image reconstruction than developed solely during learning.


title: Rehearsal-Free Continual Learning over Small Non-I.I.D. Batches

abstract: Robotic vision is a field where continual learning can play a significant role. An embodied agent operating in a complex environment subject to frequent and unpredictable changes is required to learn and adapt continuously. In the context of object recognition, for example, a robot should be able to learn (without forgetting) objects of never before seen classes as well as improving its recognition capabilities as new instances of already known classes are discovered. Ideally, continual learning should be triggered by the availability of short videos of single objects and performed on-line on on-board hardware with fine-grained updates. In this paper, we introduce a novel continual learning protocol based on the CORe50 benchmark and propose two rehearsal-free continual learning techniques, CWR* and AR1*, that can learn effectively even in the challenging case of nearly 400 small non-i.i.d. incremental batches. In particular, our experiments show that AR1* can outperform other state-of-the-art rehearsal-free techniques by more than 15% accuracy in some cases, with a very light and constant computational and memory overhead across training batches.


title: the center of distances for some multigeometric series

abstract: Basic properties of the center of distances of a set are investigated. Computation of the center for achievement sets is particularly aimed at. A new sufficient condition for the center of distances of the set of subsums of a fast convergent series to consist of only 0 and the terms of the series is found. A complete description of the center of distances for some particular type of multigeometric series is provided. In particular, the center of distances $C(E)$ is the union of all centers of distances of $C(F_n)$ where $F_n$ is the set of all $n$-initial subsums of the discussed multigeometric series satisfying some special requirements. Several open questions are raised.


title: The multiphase gas structure and kinematics in the circumnuclear region of NGC 5728

abstract: We report on our combined analysis of HST, VLT/MUSE, VLT/SINFONI, and ALMA observations of the local Seyfert 2 galaxy, NGC 5728 to investigate in detail the feeding and feedback of the AGN. The datasets simultaneously probe the morphology, excitation, and kinematics of the stars, ionized gas, and molecular gas over a large range of spatial scales (10 pc--10 kpc). NGC 5728 contains a large stellar bar which is driving gas along prominent dust lanes to the inner 1 kpc where the gas settles into a circumnuclear ring. The ring is strongly star forming and contains a substantial population of young stars as indicated by the lowered stellar velocity dispersion and gas excitation consistent with HII regions. We model the kinematics of the ring using the velocity field of the CO (2--1) emission and stars and find it is consistent with a rotating disk. The outer regions of the disk, where the dust lanes meet the ring, show signatures of inflow at a rate of 1 M$_{\sun}$ yr$^{-1}$. Inside the ring, we observe three molecular gas components corresponding to the circular rotation of the outer ring, a warped disk, and the nuclear stellar bar. The AGN is driving an ionized gas outflow that reaches a radius of 250 pc with a mass outflow rate of 0.08 M$_{\sun}$ yr$^{-1}$ consistent with its luminosity and scaling relations from previous studies. While we observe distinct holes in CO emission which could be signs of molecular gas removal, we find that largely the AGN is not disrupting the structure of the circumnuclear region.


title: Personalised aesthetics with residual adapters

abstract: The use of computational methods to evaluate aesthetics in photography has gained interest in recent years due to the popularization of convolutional neural networks and the availability of new annotated datasets. Most studies in this area have focused on designing models that do not take into account individual preferences for the prediction of the aesthetic value of pictures. We propose a model based on residual learning that is capable of learning subjective, user specific preferences over aesthetics in photography, while surpassing the state-of-the-art methods and keeping a limited number of user-specific parameters in the model. Our model can also be used for picture enhancement, and it is suitable for content-based or hybrid recommender systems in which the amount of computational resources is limited.


title: Amenability and approximation properties for partial actions and Fell bundles

abstract: Building on previous papers by Anantharaman-Delaroche (AD) we introduce and study the notion of AD-amenability for partial actions and Fell bundles over discrete groups. We prove that the cross-sectional C*-algebra of a Fell bundle is nuclear if and only if the underlying unit fibre is nuclear and the Fell bundle is AD-amenable. If a partial action is globalisable, then it is AD-amenable if and only if its globalisation is AD-amenable. Moreover, we prove that AD-amenability is preserved by (weak) equivalence of Fell bundles and, using a very recent idea of Ozawa and Suzuki, we show that AD-amenabity is equivalent to an approximation property introduced by Exel.


title: A numerically exact study of Weyl superconductivity

abstract: We study the interplay of interactions and topology in a pseudo-spin Weyl system, obtained from a minimally modified Hubbard model, using the numerically exact auxiliary-field quantum Monte Carlo method complemented by mean-field theory. We find that the pseudo-spin plays a key role in the pairing mechanism, and its effect is reflected in the structure of the pairing amplitude. An attractive on-site interaction leads to pairing between quasiparticles carrying opposite spin and opposite topological charge, resulting in the formation of real-spin singlet pairs that are a mixture of pseudo-spin singlet and pseudo-spin triplet. Our results provide a detailed characterization of the exotic pairing behavior in this system, and represent an important step towards a more complete understanding of superconductivity in the context of topological band structures, which will help guide searches for topological superconductivity in real materials and ultracold atoms.


title: On QBism and Assumption (Q)

abstract: I correct two misapprehensions, one historical and one conceptual, in the recent literature on extensions of the Wigner's Friend thought-experiment. Perhaps fittingly, both concern the accurate description of some quantum physicists' beliefs by others.


title: Towards a characterization of X-ray galaxy clusters for cosmology

abstract: In the framework of the hierarchical model the intra-cluster medium properties of galaxy clusters are tightly linked to structure formation, which makes X-ray surveys well suited for cosmological studies. To constrain cosmological parameters accurately by use of galaxy clusters in X-ray surveys, a better understanding of selection effects related to the detection method is needed. We aim at a better understanding of galaxy cluster morphologies to include corrections between the different core types and covariances with X-ray luminosities in selection functions. We stress the morphological deviations between a newly described surface brightness (SB) profile characterization and a commonly used single $\beta$-model. We investigate a novel approach to describe SB profiles, where the excess cool-core emission in the galaxy cluster centres is modelled using wavelet decomposition. Morphological parameters and the residuals are compared to classical single $\beta$-models. Using single $\beta$-models to describe the ensemble of overall SB profiles leads on average to a non-zero bias ($0.032 \pm 0.003$) in the outer part of the clusters, i.e. a $\sim 3\%$ systematic difference in the SB at large radii. In addition $\beta$-models show a general trend towards underestimating the flux in the outskirts for smaller core radii. Fixing the $\beta$ parameter to $2/3$ doubles the bias and increases the residuals from a single $\beta$-model up to more than $40\%$. Modelling the core region in the fitting procedure reduces the impact of these two effects significantly. We find a positive scaling between shape parameters and temperature, as well as a negative correlation ($\sim-0.4$) between extent and luminosity. Our non-parametric analysis of the self-similar scaled emission measure profiles indicates no systematic core-type differences of median profiles in the galaxy clusters outskirts.


title: Aggregating Knockoffs for False Discovery Rate Control with an Application to Gut Microbiome Data

abstract: Recent discoveries suggest that our gut microbiome plays an important role in our health and wellbeing. However, the gut microbiome data are intricate; for example, the microbial diversity in the gut makes the data high-dimensional. While there are dedicated high-dimensional methods, such as the lasso estimator, they always come with the risk of false discoveries. Knockoffs are a recent approach to control the number of false discoveries. In this paper, we show that knockoffs can be aggregated to increase power while retaining sharp control over the false discoveries. We support our method both in theory and simulations, and we show that it can lead to new discoveries on microbiome data from the American Gut Project. In particular, our results indicate that several phyla that have been overlooked so far are associated with obesity.


title: False Discovery Rates in Biological Networks

abstract: The increasing availability of data has generated unprecedented prospects for network analyses in many biological fields, such as neuroscience (e.g., brain networks), genomics (e.g., gene-gene interaction networks), and ecology (e.g., species interaction networks). A powerful statistical framework for estimating such networks is Gaussian graphical models, but standard estimators for the corresponding graphs are prone to large numbers of false discoveries. In this paper, we introduce a novel graph estimator based on knockoffs that imitate the partial correlation structures of unconnected nodes. We show that this new estimator guarantees accurate control of the false discovery rate in theory, simulations, and biological applications, and we provide easy-to-use R code.


title: Competing Models

abstract: Different agents need to make a prediction. They observe identical data, but have different models: they predict using different explanatory variables. We study which agent believes they have the best predictive ability -- as measured by the smallest subjective posterior mean squared prediction error -- and show how it depends on the sample size. With small samples, we present results suggesting it is an agent using a low-dimensional model. With large samples, it is generally an agent with a high-dimensional model, possibly including irrelevant variables, but never excluding relevant ones. We apply our results to characterize the winning model in an auction of productive assets, to argue that entrepreneurs and investors with simple models will be over-represented in new sectors, and to understand the proliferation of "factors" that explain the cross-sectional variation of expected stock returns in the asset-pricing literature.


title: The thermo-wetting instability driving Leidenfrost film collapse

abstract: Above a critical temperature known as the Leidenfrost point (LFP), a heated surface can suspend a liquid droplet above a film of its own vapor. The insulating vapor film can be highly detrimental in metallurgical quenching and thermal control of electronic devices, but may also be harnessed to reduce drag and generate power. Manipulation of the LFP has occurred mostly through experiment, giving rise to a variety of semi-empirical models that account for the Rayleigh-Taylor instability, nucleation rates, and superheat limits. However, a truly comprehensive model has been difficult given that the LFP varies dramatically for different fluids and is affected by system pressure, surface roughness and liquid wettability. Here, we identify the vapor film instability for small length scales that ultimately sets the collapse condition at the Leidenfrost point. From a linear stability analysis, it is shown that the main film stabilizing mechanisms are the liquid-vapor surface tension, viscous transport of vapor mass, and evaporation at the liquid-vapor interface. Meanwhile, van der Waals interaction between the bulk liquid and the solid substrate across the vapor phase drives film collapse. This physical insight into vapor film dynamics allows us to derive an ab-initio, mathematical expression for the Leidenfrost point of a fluid. The expression captures the experimental data on the LFP for different fluids under various surface wettabilities and ambient pressures. For fluids that wet the surface (small intrinsic contact angle), the expression can be simplified to a single, dimensionless number that encapsulates the thermo-wetting instability governing the LFP.


title: High-throughput extraction of the anisotropic interdiffusion coefficients in hcp Mg-Al alloys

abstract: A high-throughput experimental approach is presented to extract the anisotropic interdiffusion coefficient by combining information over the composition profiles obtained by the electron probe microanalysis (EPMA) and the grain orientation spectrum by the electron backscatter diffraction (EBSD) on polycrystalline diffusion couples. Following the forward-simulation scheme, the interdiffusion coefficients in grains with diverse orientation are obtained and subsequently used to determine the anisotropic interdiffusion coefficients perpendicular (D_\perp (x)) and parallel (D_\parallel (x)) to the c axis of the hcp Mg lattice in a Mg-Al alloy as a function of the Al solute content at 673 K and 723 K, respectively. It was found that the interdiffusion coefficients generally increased with the Al content and the rotation angle with respect to the c axis with a valley point around {\theta} approx 30 {\deg} at 723 K. And it was noticed that diffusion along the basal plane was always faster than along the c axis. A comprehensive explicit expression of the interdiffusion coefficients was provided as a function of Al content, grain orientation and temperature. The anisotropic impurity diffusion coefficients of Al in hcp Mg derived by the extrapolation of the results in this paper are in good agreement with first principles calculations in the literature.


title: A Note on Alexander Polynomials of 2-Bridge Links

abstract: A formula for the Alexander polynomial of a 2-bridge knot or link given by Hartley and also by Minkus has a beautiful interpretation as a walk on the integers. We extend this to the 2-variable Alexander polynomial of a 2-bridge link, obtaining a formula that corresponds to a walk on the 2-dimensional integer lattice.


title: Statistical Analysis of Nearest Neighbor Methods for Anomaly Detection

abstract: Nearest-neighbor (NN) procedures are well studied and widely used in both supervised and unsupervised learning problems. In this paper we are concerned with investigating the performance of NN-based methods for anomaly detection. We first show through extensive simulations that NN methods compare favorably to some of the other state-of-the-art algorithms for anomaly detection based on a set of benchmark synthetic datasets. We further consider the performance of NN methods on real datasets, and relate it to the dimensionality of the problem. Next, we analyze the theoretical properties of NN-methods for anomaly detection by studying a more general quantity called distance-to-measure (DTM), originally developed in the literature on robust geometric and topological inference. We provide finite-sample uniform guarantees for the empirical DTM and use them to derive misclassification rates for anomalous observations under various settings. In our analysis we rely on Huber's contamination model and formulate mild geometric regularity assumptions on the underlying distribution of the data.


title: Road Maintenance Operation Start Time Optimization Based on Real-time Traffic Map Data

abstract: Optimizing the maintenance operation start time can greatly reduce the delays caused by the maintenance operations. A real-time traffic status data acquisition method based on real-time traffic map was first proposed, and then a method that can convert real-time traffic status into real-time traffic volume was put forward. Based on this real-time traffic volume data and the classic delay calculation method based on queuing theory, the delays caused by maintenance operations at different start time can be calculated and compared, and therefore the optimal maintenance operation start time can be obtained. The feasibility of the real-time traffic status data to real-time traffic volume data conversion method and the feasibility of optimizing the maintenance operation start time based on real-time traffic map data are verified by actual cases.


title: Scaling properties of direct photon yields in heavy ion collisions

abstract: A recent analysis from the PHENIX collaboration of available direct photon measurement results in collisions of various systems such as Au+Au, Cu+Cu, and Pb+Pb, at different beam energies ranging from 39 to 2760 GeV, has shown a universal, within experimental uncertainties, $multiplicity$ scaling, in which direct photon $p_{T}$-spectra for transverse momenta up to 2 GeV/$c$ are scaled with charged hadron pseudorapidity density at midrapidity raised to power $\alpha=1.25$. On the other hand, those direct photon $p_{T}$-spectra also exhibit $geometrical$ scaling in the similar $p_{T}$ range. Assuming power-law dependence of the scaled photon spectra for both scaling laws, we formulate two independent conditions for the power $\alpha$, which overshoot experimental data by $\sim 10\%$ on average. We discuss possible sources that might improve this estimate.


title: The Power of Comparisons for Actively Learning Linear Classifiers

abstract: In the world of big data, large but costly to label datasets dominate many fields. Active learning, a semi-supervised alternative to the standard PAC-learning model, was introduced to explore whether adaptive labeling could learn concepts with exponentially fewer labeled samples. While previous results show that active learning performs no better than its supervised alternative for important concept classes such as linear separators, we show that by adding weak distributional assumptions and allowing comparison queries, active learning requires exponentially fewer samples. Further, we show that these results hold as well for a stronger model of learning called Reliable and Probably Useful (RPU) learning. In this model, our learner is not allowed to make mistakes, but may instead answer "I don't know." While previous negative results showed this model to have intractably large sample complexity for label queries, we show that comparison queries make RPU-learning at worst logarithmically more expensive in both the passive and active regimes.


title: Towards the Internet of Robotic Things: Analysis, Architecture, Components and Challenges

abstract: Internet of Things (IoT) and robotics cannot be considered two separate domains these days. Internet of Robotics Things (IoRT) is a concept that has been recently introduced to describe the integration of robotics technologies in IoT scenarios. As a consequence, these two research fields have started interacting, and thus linking research communities. In this paper we intend to make further steps in joining the two communities and broaden the discussion on the development of this interdisciplinary field. The paper provides an overview, analysis and challenges of possible solutions for the Internet of Robotic Things, discussing the issues of the IoRT architecture, the integration of smart spaces and robotic applications.


title: Optimal Control and Analysis of a Modified Trojan Y-Chromosome Strategy

abstract: The Trojan Y Chromosome (TYC) Strategy is a promising eradication method that attempts to manipulate the female to male ratio to promote the reduction of the population of an invasive species. The manipulation stems from an introduction of sex-reversed males, called supermales, into an ecosystem. The offspring of the supermales is guaranteed to be male. Mathematical models have shown that the population can be driven to extinction with a continuous supply of supermales. In this paper, a new model of the TYC strategy is introduced and analyzed that includes two important modeling characteristics, that are neglected in all previous models. First, the new model includes intraspecies competition for mates. Second, a strong Allee effect is included. Several conclusions about the strategy via optimal control are established. These results have large scale implications for the biological control of invasive species.


title: Classification of generalized K\"ahler-Ricci solitons on complex surfaces

abstract: Using toric geometry we give an explicit construction of the compact steady solitons for pluriclosed flow first constructed in arXiv:1802.00170. This construction also reveals that these solitons are generalized K\"ahler in two distinct ways, with vanishing and nonvanishing Poisson structure. This gives the first examples of generalized K\"ahler structures with nonvanishing Poisson structure on non-standard Hopf surfaces, completing the existence question for such structures. Moreover this gives a complete answer to the existence question for generalized K\"ahler-Ricci solitons on compact complex surfaces. In the setting of generalized K\"ahler geometry with vanishing Poisson structure, we show that these solitons are unique. We show that these solitons are global attractors for the generalized K\"ahler-Ricci flow among metrics with maximal symmetry.


title: Excitations of the Myers-Perry Black Holes

abstract: We demonstrate separability of the dynamical equations for all p-form fluxes in the Myers-Perry-(A)dS geometry, extending the earlier results for electromagnetic field. In the physically important cases of p=(1,2,3,4), we explicitly write the ODEs governing the dynamics of separable solutions.


title: Thompson Sampling on Symmetric $\alpha$-Stable Bandits

abstract: Thompson Sampling provides an efficient technique to introduce prior knowledge in the multi-armed bandit problem, along with providing remarkable empirical performance. In this paper, we revisit the Thompson Sampling algorithm under rewards drawn from symmetric $\alpha$-stable distributions, which are a class of heavy-tailed probability distributions utilized in finance and economics, in problems such as modeling stock prices and human behavior. We present an efficient framework for posterior inference, which leads to two algorithms for Thompson Sampling in this setting. We prove finite-time regret bounds for both algorithms, and demonstrate through a series of experiments the stronger performance of Thompson Sampling in this setting. With our results, we provide an exposition of symmetric $\alpha$-stable distributions in sequential decision-making, and enable sequential Bayesian inference in applications from diverse fields in finance and complex systems that operate on heavy-tailed features.


title: Graph Policy Gradients for Large Scale Robot Control

abstract: In this paper, we consider the problem of learning policies to control a large number of homogeneous robots. To this end, we propose a new algorithm we call Graph Policy Gradients (GPG) that exploits the underlying graph symmetry among the robots. The curse of dimensionality one encounters when working with a large number of robots is mitigated by employing a graph convolutional neural (GCN) network to parametrize policies for the robots. The GCN reduces the dimensionality of the problem by learning filters that aggregate information among robots locally, similar to how a convolutional neural network is able to learn local features in an image. Through experiments on formation flying, we show that our proposed method is able to scale better than existing reinforcement methods that employ fully connected networks. More importantly, we show that by using our locally learned filters we are able to zero-shot transfer policies trained on just three robots to over hundred robots.


title: New results on the local linear convergence of ADMM: a joint approach

abstract: Thanks to its versatility, its simplicity, and its fast convergence, ADMM is among the most widely used approaches for solving a convex problem in distributed form. However, making it running efficiently is an art that requires a fine tuning of system parameters according to the specific application scenario, and which ultimately calls for a thorough understanding of the hidden mechanisms that control the convergence behaviour. In this framework we aim at providing new theoretical insights on the convergence process and specifically on some constituent matrices of ADMM whose eigenstructure provides a close link with the algorithm's convergence speed. One of the key technique that we develop allows to effectively locate the eigenvalues of a (symmetric) matrix product, thus being able to estimate the contraction properties of ADMM. In the comparison with the results available from the literature, we are able to strengthen the precision of our speed estimate thanks to the fact that we are solving a joint problem (i.e., we are identifying the spectral radius of the product of two matrices) in place of two separate problems (the product of two matrix norms).


title: Right-angled Artin groups and enhanced Koszul properties

abstract: Let F be a finite field. We prove that the cohomology algebra with coefficients in F of a right-angled Artin group is a strongly Koszul algebra for every finite graph ${\Gamma}$. Moreover, the same algebra is a universally Koszul algebra if, and only if, the graph ${\Gamma}$ associated to the right-angled Artin group has the diagonal property. From this we obtain several new examples of pro-p groups, for a prime number p, whose continuous cochain cohomology algebra with coefficients in the field of p elements is strongly and universally (or strongly and non-universally) Koszul. This provides new support to a conjecture on Galois cohomology of maximal prop Galois groups of fields formulated by J. Min\'a\v{c} et al.


title: Fubini Type Theorems for the strong McShane and strong Henstock-Kurzweil integrals

abstract: In this paper, we will prove Fubini type theorems for the strong McShane and strong Henstock-Kurzweil integrals of Banach spaces valued functions defined on a closed non-degenerate interval $[a,b] =[a_{1}, b_{1}] \times [a_{2}, b_{2}] \subset \mathbb{R}^{2}$.


title: Control of Status Updates for Energy Harvesting Devices that Monitor Processes with Alarms

abstract: In this work, we derive optimal transmission policies in an energy harvesting status update system. The system monitors a stochastic process which can be either in a normal or in an alarm state of operation. We capture the freshness of status updates for each state of the stochastic process by introducing two Age of Information (AoI) variables and extend the definition of AoI to account for the state changes of the stochastic process. We formulate the problem at hand as a Markov Decision Process which, under the assumption that the demand for status updates is higher when the stochastic process is in the alarm state, utilizes a transition cost function that applies linear and non-linear penalties based on AoI and the state of the stochastic process. Finally, we evaluate numerically the derived policies and illustrate their effectiveness for reserving energy in anticipation of future alarm states.


title: FairST: Equitable Spatial and Temporal Demand Prediction for New Mobility Systems

abstract: Emerging transportation modes, including car-sharing, bike-sharing, and ride-hailing, are transforming urban mobility but have been shown to reinforce socioeconomic inequities. Spatiotemporal demand prediction models for these new mobility regimes must therefore consider fairness as a first-class design requirement. We present FairST, a fairness-aware model for predicting demand for new mobility systems. Our approach utilizes 1D, 2D and 3D convolutions to integrate various urban features and learn the spatial-temporal dynamics of a mobility system, but we include fairness metrics as a form of regularization to make the predictions more equitable across demographic groups. We propose two novel spatiotemporal fairness metrics, a region-based fairness gap (RFG) and an individual-based fairness gap (IFG). Both quantify equity in a spatiotemporal context, but vary by whether demographics are labeled at the region level (RFG) or whether population distribution information is available (IFG). Experimental results on real bike share and ride share datasets demonstrate the effectiveness of the proposed model: FairST not only reduces the fairness gap by more than 80%, but can surprisingly achieve better accuracy than state-of-the-art yet fairness-oblivious methods including LSTMs, ConvLSTMs, and 3D CNN.


title: The Gromov-Hausdorff Distances between Simplexes and Ultrametric Spaces

abstract: In the present paper we investigate the Gromov--Hausdorff distances between a bounded metric space $X$ and so called simplex, i.e., a metric space all whose non-zero distances are the same. In the case when the simplex's cardinality does not exceed the cardinality of $X$, a new formula for this distance is obtained. The latter permits to derive an exact formula for the distance between a simplex and an ultrametric space.


title: Empirical Bayesian Learning in AR Graphical Models

abstract: We address the problem of learning graphical models which correspond to high dimensional autoregressive stationary stochastic processes. A graphical model describes the conditional dependence relations among the components of a stochastic process and represents an important tool in many fields. We propose an empirical Bayes estimator of sparse autoregressive graphical models and latent-variable autoregressive graphical models. Numerical experiments show the benefit to take this Bayesian perspective for learning these types of graphical models.


title: Continuous time random walk and diffusion with generalized fractional Poisson process

abstract: A non-Markovian counting process, the `generalized fractional Poisson process' (GFPP) introduced by Cahoy and Polito in 2013 is analyzed. The GFPP contains two index parameters $0<\beta\leq 1$, $\alpha >0$ and a time scale parameter. Generalizations to Laskin's fractional Poisson distribution and to the fractional Kolmogorov-Feller equation are derived. We develop a continuous time random walk subordinated to a GFPP in the infinite integer lattice $\mathbb{Z}^d$. For this stochastic motion, we deduce a `generalized fractional diffusion equation'. In a well-scaled diffusion limit this motion is governed by the same type of fractional diffusion equation as with the fractional Poisson process exhibiting subdiffusive $t^{\beta}$-power law for the mean-square displacement. In the special cases $\alpha=1$ with $0<\beta<1$ the equations of the Laskin fractional Poisson process and for $\alpha=1$ with $\beta=1$ the classical equations of the standard Poisson process are recovered. The remarkably rich dynamics introduced by the GFPP opens a wide field of applications in anomalous transport and in the dynamics of complex systems.


title: Transition polynomial as a weight system for binary delta-matroids

abstract: To a singular knot K with n double points, one can associate a chord diagram with n chords. A chord diagram can also be understood as a 4-regular graph endowed with an oriented Euler circuit. L. Traldi introduced a polynomial invariant for such graphs, called a transition polynomial. We specialize this polynomial to a multiplicative weight system, that is, a function on chord diagrams satisfying 4-term relations and determining thus a finite type knot invariant. We prove a similar statement for the transition polynomial of general ribbon graphs and binary delta-matroids defined by R. Brijder and H. J. Hoogeboom, which defines, as a consequence, a finite type invariant of links.


title: Estimates of the asymptotic Nikolskii constants for spherical polynomials

abstract: Let $\Pi_n^d$ denote the space of spherical polynomials of degree at most $n$ on the unit sphere $\mathbb{S}^d\subset \mathbb{R}^{d+1}$ that is equipped with the surface Lebesgue measure $d\sigma$ normalized by $\int_{\mathbb{S}^d} \, d\sigma(x)=1$. This paper establishes a close connection between the asymptotic Nikolskii constant, $$ \mathcal{L}^\ast(d):=\lim_{n\to \infty} \frac 1 {\dim \Pi_n^d} \sup_{f\in \Pi_n^d} \frac { \|f\|_{L^\infty(\mathbb{S}^d)}}{\|f\|_{L^1(\mathbb{S}^d)}},$$ and the following extremal problem: $$ \mathcal{I}_\alpha:=\inf_{a_k} \Bigl\| j_{\alpha+1} (t)- \sum_{k=1}^\infty a_k j_{\alpha} \bigl( q_{\alpha+1,k}t/q_{\alpha+1,1}\bigr)\Bigr\|_{L^\infty(\mathbb{R}_+)} $$ with the infimum being taken over all sequences $\{a_k\}_{k=1}^\infty\subset \mathbb{R}$ such that the infinite series converges absolutely a.e. on $\mathbb{R}_+$. Here $j_\alpha $ denotes the Bessel function of the first kind normalized so that $j_\alpha(0)=1$, and $\{q_{\alpha+1,k}\}_{k=1}^\infty$ denotes the strict increasing sequence of all positive zeros of $j_{\alpha+1}$. We prove that for $\alpha\ge -0.272$, $$\mathcal{I}_\alpha= \frac{\int_{0}^{q_{\alpha+1,1}}j_{\alpha+1}(t)t^{2\alpha+1}\,dt}{\int_{0}^{q_{\alpha+1,1}}t^{2\alpha+1}\,dt}= {}_{1}F_{2}\Bigl(\alpha+1;\alpha+2,\alpha+2;-\frac{q_{\alpha+1,1}^{2}}{4}\Bigr). $$ As a result, we deduce that the constant $\mathcal{L}^\ast(d)$ goes to zero exponentially fast as $d\to\infty$: \[ 0.5^d\le \mathcal{L}^{*}(d)\le (0.857\cdots)^{d\,(1+\varepsilon_d)} \ \ \ \ \ \text{with $\varepsilon_d =O(d^{-2/3})$.} \]


title: Tailored Morphologies in 2D Ferronematic Wells

abstract: We focus on a dilute uniform suspension of magnetic nanoparticles in a nematic-filled micron-sized shallow well with tangent boundary conditions, as a paradigm system with two coupled order parameters. This system exhibits spontaneous magnetization without magnetic fields. We numerically obtain the stable nematic and associated magnetization morphologies, induced purely by the geometry, boundary conditions and the coupling between the magnetic nanoparticles and the host nematic medium. Our most striking observations pertain to domain walls in the magnetization profile whose location can be manipulated by the coupling and material properties, and stable interior and boundary nematic defects, whose location and multiplicity can be tailored by the coupling too. These novel morphologies are not accessible in uncoupled systems and can be used for new multistable systems with singularities and stable interfaces.


title: Differences in Online Course Usage and IP Geolocation Bias by Local Economic Profile

abstract: Although Massive Online Open Courses (MOOCs) have the promise to make rigorous higher education accessible to everyone, prior research has shown that registrants tend to come from backgrounds of higher socioeconomic status. In this work, I study geographically granular economic patterns in registration for HarvardX and MITx courses, and in the accuracy of identifying users' locations from their IP addresses. Using ZIP Codes identified by the MaxMind IP geolocation database, I find that per-capita registration rates correlate with economic prosperity and population density. Comparing these ZIP Codes with user-provided mailing addresses, I find evidence of bias in MaxMind geolocation: it makes greater errors, both geographically and economically, for users from more economically distressed areas; it disproportionately geolocates users to prosperous areas; and it underestimates the regressive pattern in MOOC registration. Similar economic biases may affect IP geolocation in other academic, commercial, and legal contexts.


title: Assembly Planning by Subassembly Decomposition Using Blocking Reduction

abstract: The sequence in which a complex product is assembled directly impacts the ease and efficiency of the assembly process, whether executed by a human or a robot. A sequence that gives the assembler the greatest freedom of movement is therefore desirable. Our main contribution is an expression of obstruction relationships between parts as a disassembly interference graph (DIG). We validate this heuristic by developing a disassembly sequence planner that partitions assemblies in a way that prioritizes access to parts, resulting in plans that are comparable in efficiency to two state-of-the-art assembly methods in terms of total plan length. Using DIG, our method generates successive subassembly decompositions, yielding a tree structure that makes parallization opportunities apparent. Our planner generates viable disassembly plans by minimizing our part blockage measure, and thereby demonstrates that this measure is a valuable addition to the Assembly Sequence Planning toolkit.


title: Localization theory in an $\infty$-topos

abstract: We develop the theory of reflective subfibrations on an $\infty$-topos $\mathcal{E}$. A reflective subfibration $L_\bullet$ on $\mathcal{E}$ is a pullback-compatible assignment of a reflective subcategory $\mathcal{D}_X\subseteq \mathcal{E}{/X}$, for every $X \in \mathcal{E}$. Reflective subfibrations abound in homotopy theory, albeit often disguised, e.g., as stable factorization systems. We prove that $L$-local maps (i.e., those maps that belong to some $\mathcal{D}_X$) admit a classifying map, and we introduce the class of $L$-separated maps, that is, those maps with $L$-local diagonal. $L$-separated maps are the local class of maps for a reflective subfibration $L'_\bullet$ on $\mathcal{E}$. We prove this fact in the compantion paper "$L'$-localization in an $\infty$-topos". In this paper, we investigate some interactions between $L_\bullet$ and $L'_\bullet$ and explain when the two reflective subfibrations coincide.


title: $L'$-localization in an $\infty$-topos

abstract: We prove that, given any reflective subfibration $L_\bullet$ on an $\infty$-topos $\mathcal{E}$, there exists a reflective subfibration $L'_\bullet$ on $\mathcal{E}$ whose local maps are the $L$-separated maps, that is, the maps whose diagonals are $L$-local. This is the companion paper to "Localization theory in an $\infty$-topos".


title: Supersymmetric Wilson Loops, Instantons, and Deformed ${\cal W}$-Algebras

abstract: Let $\mathfrak{g}$ be a simple Lie algebra. We study 1/2-BPS Wilson loops of supersymmetric 5d $\mathfrak{g}$-type quiver gauge theories on a circle, in a non-trivial instanton background. The Wilson loops are codimension 4 defects of the gauge theory, and their interaction with self-dual instantons is captured by a modified 1d ADHM quantum mechanics. We compute the partition function as its Witten index. This index is a "$qq$-character" of a finite-dimensional irreducible representation of the quantum affine algebra $U_q(\hat{\mathfrak{g}})$. Using gauge/vortex duality, we can understand the 5d physics in 3d gauge theory terms. Namely, we reinterpret the 5d theory with vortex flux from the point of view of the vortices themselves. This vortex perspective has an advantage: it has yet another dual description in terms of deformed $\mathfrak{g}$-type Toda Theory on a cylinder, in free field formalism. We show that the gauge theory partition function is equal to a chiral correlator of the deformed Toda Theory, with stress tensor and higher spin operator insertions. We derive all the above results from type IIB string theory, compactified on a resolved $ADE$ singularity times a cylinder with punctures, with various branes wrapping the blown-up 2-cycles.


title: Coexisting spin resonance and long-range magnetic order of Eu in EuRbFe$_4$As$_4$

abstract: Magnetic excitations and magnetic structure of EuRbFe$_4$As$_4$ were investigated by inelastic neutron scattering (INS), neutron diffraction, and random phase approximation (RPA) calculations. Below the superconducting transition temperature $T_\text{c}=36.5$~K, the INS spectra exhibit the neutron spin resonances at $Q_\text{res}=1.27(2)$~$\text{\AA}^{-1}$ and $1.79(3)$~$\text{\AA}^{-1}$. They correspond to the $\mathbf{Q}=(0.5,0.5,1)$ and $(0.5,0.5,3)$ nesting wave vectors, showing three dimensional nature of the band structure. The characteristic energy of the neutron spin resonance is $E_\text{res}=17.7(3)$~meV corresponding to $5.7(1)k_\text{B}T_\text{c}$. Observation of the neutron spin resonance mode and our RPA calculations in conjunction with the recent optical conductivity measurements are indicative of the $s_\pm$ superconducting pairing symmetry in EuRbFe$_4$As$_4$. In addition to the neutron spin resonance mode, upon decreasing temperature below the magnetic transition temperature $T_\text{N}=15$~K, the spin wave excitation originating in the long-range magnetic order of the Eu sublattice was observed in the low-energy inelastic channel. Single-crystal neutron diffraction measurements demonstrate that the magnetic propagation vector of the Eu sublattice is $\mathbf{k}=(0, 0, 0.25)$, representing the three-dimensional antiferromagnetic order. Linear spin wave calculations assuming the obtained magnetic structure with the intra- and inter-plane nearest neighbor exchange couplings of $J_1/k_\text{B}=-1.31$~K and $J_c/k_\text{B}=0.08$~K can reproduce quantitatively the observed spin wave excitation. Our results show that superconductivity and long-range magnetic order of Eu coexist in EuRbFe$_4$As$_4$ whereas the coupling between them is rather weak.


title: Diverse Agents for Ad-Hoc Cooperation in Hanabi

abstract: In complex scenarios where a model of other actors is necessary to predict and interpret their actions, it is often desirable that the model works well with a wide variety of previously unknown actors. Hanabi is a card game that brings the problem of modeling other players to the forefront, but there is no agreement on how to best generate a pool of agents to use as partners in ad-hoc cooperation evaluation. This paper proposes Quality Diversity algorithms as a promising class of algorithms to generate populations for this purpose and shows an initial implementation of an agent generator based on this idea. We also discuss what metrics can be used to compare such generators, and how the proposed generator could be leveraged to help build adaptive agents for the game.


title: The Advent of Technological Singularity: a Formal Metric

abstract: The Technological Singularity; that is, the possibility of achieving a General Artificial Intelligence (AGI) that surpasses human intelligence, is one of the vital paradigms of today's humanity. However, until now only opinions about its possibility and/or achievement were issued, therefore, in this work, a metric is presented, for the first time, to objectively measure the actual state in which the advent of technological singularity is found.


title: Barriers towards no-reference metrics application to compressed video quality analysis: on the example of no-reference metric NIQE

abstract: This paper analyses the application of no-reference metric NIQE to the task of video-codec comparison. A number of issues in the metric behaviour on videos was detected and described. The metric has outlying scores on black and solid-coloured frames. The proposed averaging technique for metric quality scores helped to improve the results in some cases. Also, NIQE has low-quality scores for videos with detailed textures and higher scores for videos of lower bitrates due to the blurring of these textures after compression. Although NIQE showed natural results for many tested videos, it is not universal and currently can not be used for video-codec comparisons.


title: Norms for Beneficial A.I.: A Computational Analysis of the Societal Value Alignment Problem

abstract: The rise of artificial intelligence (A.I.) based systems is already offering substantial benefits to the society as a whole. However, these systems may also enclose potential conflicts and unintended consequences. Notably, people will tend to adopt an A.I. system if it confers them an advantage, at which point non-adopters might push for a strong regulation if that advantage for adopters is at a cost for them. Here we propose an agent-based game-theoretical model for these conflicts, where agents may decide to resort to A.I. to use and acquire additional information on the payoffs of a stochastic game, striving to bring insights from simulation to what has been, hitherto, a mostly philosophical discussion. We frame our results under the current discussion on ethical A.I. and the conflict between individual and societal gains: the societal value alignment problem. We test the arising equilibria in the adoption of A.I. technology under different norms followed by artificial agents, their ensuing benefits, and the emergent levels of wealth inequality. We show that without any regulation, purely selfish A.I. systems will have the strongest advantage, even when a utilitarian A.I. provides significant benefits for the individual and the society. Nevertheless, we show that it is possible to develop A.I. systems following human conscious policies that, when introduced in society, lead to an equilibrium where the gains for the adopters are not at a cost for non-adopters, thus increasing the overall wealth of the population and lowering inequality. However, as shown, a self-organised adoption of such policies would require external regulation.


title: Enumerating Dihedral Hopf-Galois Structures Acting on Dihedral Extensions

abstract: The work of Greither and Pareigis details the enumeration of the Hopf-Galois structures (if any) on a given separable field extension. For an extension $L/K$ which is classically Galois with $G=Gal(L/K)$ the Hopf algebras in question are of the form $(L[N])^{G}$ where $N\leq B=Perm(G)$ is a regular subgroup that is normalized by the left regular representation $\lambda(G)\leq B$. We consider the case where both $G$ and $N$ are isomorphic to a dihedral group $D_n$ for any $n\geq 3$. Using the normal block systems inherent to the left regular representation of each $D_n$,(and every other regular permutation group isomorphic to $D_n$) we explicitly enumerate all possible such $N$ which arise.


title: On Higher {g_n, h_n}-derivations

abstract: In this article, we introduce the concepts of higher {g_n, h_n}-derivation and Jordan higher {g_n, h_n}-derivation, and then we give a characterization of higher {g_n, h_n}-derivations in terms of {g, h}-derivations. Using this result, we prove that every Jordan higher {g_n, h_n}-derivation on a semiprime algebra is a higher {g_n, h_n}-derivation.


title: Observational constraints on dust disk sizes in tidally truncated protoplanetary disks in multiple systems in the Taurus region

abstract: The impact of stellar multiplicity on the evolution of planet-forming disks is still the subject of debate. Here we present and analyze disk structures around ten multiple stellar systems that were included in an unbiased, high spatial resolution survey performed with ALMA of 32 protoplanetary disks in the Taurus star-forming region. At the unprecedented spatial resolution of ~0.12" we detect and spatially resolve the disks around all primary stars, and those around eight secondary and one tertiary star. The dust radii of disks around multiple stellar systems are smaller than those around single stars in the same stellar mass range and in the same region. The disks in multiple stellar systems also show a steeper decay of the millimeter continuum emission at the outer radius than disks around single stars, suggestive of the impact of tidal truncation on the shape of the disks in multiple systems. However, the observed ratio between the dust disk radii and the observed separation of the stars in the multiple systems is consistent with analytic predictions of the effect of tidal truncation only if the eccentricities of the binaries are rather high (typically >0.5), or if the observed dust radii are a factor of two smaller than the gas radii, as is typical for isolated systems. Similar high-resolution studies targeting the gaseous emission from disks in multiple stellar systems are required to resolve this question.


title: Spin Distributions for Generic Spherical Spin Glasses

abstract: This paper investigates p-spin distributions for a generic spherical p-spin model; we give a representation of spin distributions in terms of a stochastic process. In order to do this, we find a novel double limit scheme that allows us to treat the sphere as a product space and perform cavity computations. The decomposition into a product space involves the creation of a renormalized sphere, whose scale $R$ will be taken to infinity.


title: Artificial Intelligence Governance and Ethics: Global Perspectives

abstract: Artificial intelligence (AI) is a technology which is increasingly being utilised in society and the economy worldwide, and its implementation is planned to become more prevalent in coming years. AI is increasingly being embedded in our lives, supplementing our pervasive use of digital technologies. But this is being accompanied by disquiet over problematic and dangerous implementations of AI, or indeed, even AI itself deciding to do dangerous and problematic actions, especially in fields such as the military, medicine and criminal justice. These developments have led to concerns about whether and how AI systems adhere, and will adhere to ethical standards. These concerns have stimulated a global conversation on AI ethics, and have resulted in various actors from different countries and sectors issuing ethics and governance initiatives and guidelines for AI. Such developments form the basis for our research in this report, combining our international and interdisciplinary expertise to give an insight into what is happening in Australia, China, Europe, India and the US.


title: Interpretability logics and generalized Veltman semantics

abstract: We obtain modal completeness of the interpretability logics ILP_0 and ILR w.r.t. generalized Veltman semantics. Our proofs are based on the notion of smart (full) labels. We also give shorter proofs of completeness w.r.t. generalized semantics for many classical interpretability logics. We obtain decidability and finite model property w.r.t. generalized semantics for ILP_0 and ILR. Finally, we develop a construction that might be useful for proofs of completeness of extensions of ILW w.r.t. generalized semantics in the future, and demonstrate its usage with ILW* = ILM_0W.


title: Counting and Finding Homomorphisms is Universal for Parameterized Complexity Theory

abstract: Counting homomorphisms from a graph $H$ into another graph $G$ is a fundamental problem of (parameterized) counting complexity theory. In this work, we study the case where \emph{both} graphs $H$ and $G$ stem from given classes of graphs: $H\in \mathcal{H}$ and $G\in \mathcal{G}$. By this, we combine the structurally restricted version of this problem, with the language-restricted version. Our main result is a construction based on Kneser graphs that associates every problem $\tt P$ in $\#\mathsf{W[1]}$ with two classes of graphs $\mathcal{H}$ and $\mathcal{G}$ such that the problem $\tt P$ is \emph{equivalent} to the problem $\#{\tt HOM}(\mathcal{H}\to \mathcal{G})$ of counting homomorphisms from a graph in $\mathcal{H}$ to a graph in $\mathcal{G}$. In view of Ladner's seminal work on the existence of $\mathsf{NP}$-intermediate problems [J.ACM'75] and its adaptations to the parameterized setting, a classification of the class $\#\mathsf{W[1]}$ in fixed-parameter tractable and $\#\mathsf{W[1]}$-complete cases is unlikely. Hence, obtaining a complete classification for the problem $\#{\tt HOM}(\mathcal{H}\to \mathcal{G})$ seems unlikely. Further, our proofs easily adapt to $\mathsf{W[1]}$. In search of complexity dichotomies, we hence turn to special graph classes. Those classes include line graphs, claw-free graphs, perfect graphs, and combinations thereof, and $F$-colorable graphs for fixed graphs $F$: If the class $\mathcal{G}$ is one of those classes and the class $\mathcal{H}$ is closed under taking minors, then we establish explicit criteria for the class $\mathcal{H}$ that partition the family of problems $\#{\tt HOM}(\mathcal{H}\to\mathcal{G})$ into polynomial-time solvable and $\#\mathsf{W[1]}$-hard cases. In particular, we can drop the condition of $\mathcal{H}$ being minor-closed for $F$-colorable graphs.


title: Constructions in minimal amenable dynamics and applications to the classification of $\mathrm{C}^*$-algebras

abstract: We study the existence of minimal dynamical systems, their orbit and minimal orbit-breaking equivalence relations, and their applications to C*-algebras and K-theory. We show that given any finite CW-complex there exists a space with the same K-theory and cohomology that admits a minimal homeomorphism. The proof relies on the existence of homeomorphisms on point-like spaces constructed by the authors in previous work, together with existence results for skew product systems due to Glasner and Weiss. To any minimal dynamical system one can associate minimal equivalence relations by breaking orbits at small subsets. Using Renault's groupoid C*-algebra construction we can associate K-theory groups to minimal dynamical systems and orbit-breaking equivalence relations. We show that given arbitrary countable abelian groups $G_0$ and $G_1$ we can find a minimal orbit-breaking relation such that the K-theory of the associated C*-algebra is exactly this pair. These results have important applications to the Elliott classification program for C*-algebras. In particular, we make a step towards determining the range of the Elliott invariant of the C*-algebras associated to minimal dynamical systems with mean dimension zero and their minimal orbit-breaking relations


title: Quasi-optimal adaptive mixed finite element methods for controlling natural norm errors

abstract: For a generalized Hodge Laplace equation, we prove the quasi-optimal convergence rate of an adaptive mixed finite element method. This adaptive method can control the error in the natural mixed variational norm when the space of harmonic forms is trivial. In particular, we obtain new quasi-optimal adaptive mixed methods for the Hodge Laplace, Poisson, and Stokes equations. Comparing to existing adaptive mixed methods, the new methods control errors in both variables.


title: Purely long-range polar molecules composed of identical lanthanide atoms

abstract: Doubly polar molecules, possessing an electric dipole moment and a magnetic dipole moment, can strongly couple to both an external electric field and a magnetic field, providing unique opportunities to exert full control of the system quantum state at ultracold temperatures. We propose a method for creating a purely long-range doubly polar homonuclear molecule from a pair of strongly magnetic lanthanide atoms, one atom being in its ground level and the other in a superposition of quasi-degenerate opposite-parity excited levels [Phys.~Rev.~Lett.~\textbf{121}, 063201 (2018)]. The electric dipole moment is induced by coupling the excited levels with an external electric field. We derive the general expression of the long-range, Stark, and Zeeman interaction energies in the properly symmetrized and fully-coupled basis describing the diatomic complex. Taking the example of holmium, our calculations predict shallow long-range wells in the potential energy curves that may support vibrational levels accessible by direct photoassociation from pairs of ground-level atoms.


title: Molecular gas and dust properties of galaxies from the Great Observatories All-sky LIRG Survey

abstract: We present IRAM-30m Telescope $^{12}$CO and $^{13}$CO observations of a sample of 55 luminous and ultraluminous infrared galaxies (LIRGs and ULIRGs) in the local universe. This sample is a subset of the Great Observatory All-Sky LIRG Survey (GOALS), for which we use ancillary multi-wavelength data to better understand their interstellar medium and star formation properties. Fifty-three (96%) of the galaxies are detected in $^{12}$CO, and 29 (52%) are also detected in $^{13}$CO above a 3$\sigma$ level. The median full width at zero intensity (FWZI) velocity of the CO line emission is 661km s$^{-1}$, and $\sim$54% of the galaxies show a multi-peak CO profile. Herschel photometric data is used to construct the far-IR spectral energy distribution of each galaxy, which are fit with a modified blackbody model that allows us to derive dust temperatures and masses, and infrared luminosities. We make the assumption that the gas-to-dust mass ratio of (U)LIRGs is comparable to local spiral galaxies with a similar stellar mass (i.e., gas/dust of mergers is comparable to their progenitors) to derive a CO-to-H$_2$ conversion factor of $\langle\alpha\rangle=1.8^{+1.3}_{-0.8}M_\odot$(K km s$^{-1}$pc$^{2}$)$^{-1}$; such a value is comparable to that derived for (U)LIRGs based on dynamical mass arguments. We derive gas depletion times of $400-600$Myr for the (U)LIRGs, compared to the 1.3Gyr for local spiral galaxies. Finally, we re-examine the relationship between the $^{12}$CO/$^{13}$CO ratio and dust temperature, confirming a transition to elevated ratios in warmer systems.


title: The dihedral rigidity conjecture for n-prisms

abstract: We prove the following comparison theorem for metrics with nonnegative scalar curvature, also known as the dihedral rigidity conjecture by Gromov: for $n\le 7$, if an $n$-dimensional prism has nonnegative scalar curvature and weakly mean convex faces, then its dihedral angle cannot be everywhere not larger than its Euclidean model, unless it is isometric to an Euclidean prism. The proof relies on constructing certain free boundary minimal hypersurface in a Riemannian polyhedron, and extending a dimension descent idea of Schoen-Yau. Our result is a localization of the positive mass theorem.


title: On the EKL-Degree of a Weyl Cover

abstract: More than four decades ago, Eisenbud, Khim\v{s}ia\v{s}vili, and Levine introduced an analogue in the algebro-geometric setting of the notion of local degree from differential topology. Their notion of degree, which we call the EKL-degree, can be thought of as a refinement of the usual notion of local degree in algebraic geometry that works over non-algebraically closed base fields, taking values in the Grothendieck-Witt ring. In this note, we compute the EKL-degree at the origin of certain finite covers $f\colon \mathbb{A}^n\to \mathbb{A}^n$ induced by quotients under actions of Weyl groups. We use knowledge of the cohomology ring of partial flag varieties as a key input in our proofs, and our computations give interesting explicit examples in the field of $\mathbb{A}^1$-enumerative geometry.


title: Self-Localized Solitons of the Nonlinear Wave Blocking Problem

abstract: In this paper, we propose a numerical framework to study the shapes, dynamics and the stabilities of the self-localized solutions of the nonlinear wave blocking problem. With this motivation, we use the nonlinear Schr\"odinger equation (NLSE) derived by Smith as a model for the nonlinear wave blocking. We propose a spectral renormalization method (SRM) to find the self-localized solitons of this model. We show that for constant, linearly varying or sinusoidal current gradient, i.e. dU/dx, the self-localized solitons of the Smith's NLSE do exist. Additionally, we propose a spectral scheme with 4th order Runge-Kutta time integrator to study the temporal dynamics and stabilities of such solitons. We observe that self-localized solitons are stable for the cases of constant or linearly varying current gradient however, they are unstable for sinusoidal current gradient, at least for the selected parameters. We comment on our findings and discuss the importance and the applicability of the proposed approach.


title: Proof compression and NP versus PSPACE. Part 2

abstract: We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]: L. Gordeev, E. H. Haeusler, Proof Compression and NP Versus PSPACE, Studia Logica (107) (1): 55-83 (2019)


title: On numerical stabilization in modeling double-diffusive viscous fingering

abstract: A firm understanding and control of viscous fingering (VF) and miscible displacement will be vital to a wide range of industrial, environmental, and pharmaceutical applications, such as geological carbon-dioxide sequestration, enhanced oil recovery, and drug delivery. We restrict our study to VF, a well-known hydrodynamic instability, in miscible fluid systems but consider double-diffusive (DD) effects---the combined effect of compositional changes because of solute transport and temperature. One often uses numerical formulations to study VF with DD effects. The primary aim of the current study is to show that popular formulations have limitations to study VF with DD effect. These limitations include exhibiting node-to-node spurious oscillations, violating physical constraints such as the non-negativity of the concentration field or mathematical principles such as the maximum principle, and suppressing physical instabilities. We will use several popular stabilized finite element formulations---the SUPG formulations and three modifications based on the SOLD approach---in our study. Using representative numerical results, we will illustrate two critical limitations. First, we document that these formulations do not respect the non-negative constraint and the maximum principle for the concentration field. We will also show the impact of these violations on how viscous fingers develop. Second, we show that these stabilized formulations, often used to suppress numerical instabilities, may also suppress physical instabilities, such as viscous fingering. Our study will be valuable to practitioners who use existing numerical formulations and to computational mathematicians who develop new formulations.