title: Automorphisms of Hilbert schemes of points on surfaces

abstract: We show that every automorphism of the Hilbert scheme of $n$ points on a weak Fano or general type surface is natural, i.e. induced by an automorphism of the surface, unless the surface is a product of curves and $n=2$. In the exceptional case there exists a unique non-natural automorphism. More generally, we prove that any isomorphism between Hilbert schemes of points on smooth projective surfaces, where one of the surfaces is weak Fano or of general type and not equal to the product of curves, is natural. We also show that every automorphism of the Hilbert scheme of $2$ points on $\mathbb{P}^n$ is natural.


title: Shrinkage in the Time-Varying Parameter Model Framework Using the R Package shrinkTVP

abstract: Time-varying parameter (TVP) models are widely used in time series analysis to flexibly deal with processes which gradually change over time. However, the risk of overfitting in TVP models is well known. This issue can be dealt with using appropriate global-local shrinkage priors, which pull time-varying parameters towards static ones. In this paper, we introduce the R package shrinkTVP (Knaus, Bitto-Nemling, Cadonna, and Fr\"uhwirth-Schnatter 2019), which provides a fully Bayesian implementation of shrinkage priors for TVP models, taking advantage of recent developments in the literature, in particular that of Bitto and Fr\"uhwirth-Schnatter (2019). The package shrinkTVP allows for posterior simulation of the parameters through an efficient Markov Chain Monte Carlo (MCMC) scheme. Moreover, summary and visualization methods, as well as the possibility of assessing predictive performance through log predictive density scores (LPDSs), are provided. The computationally intensive tasks have been implemented in C++ and interfaced with R. The paper includes a brief overview of the models and shrinkage priors implemented in the package. Furthermore, core functionalities are illustrated, both with simulated and real data.


title: Selection Heuristics on Semantic Genetic Programming for Classification Problems

abstract: Individual's semantics have been used for guiding the learning process of Genetic Programming solving supervised learning problems. The semantics has been used to proposed novel genetic operators as well as different ways of performing parent selection. The latter is the focus of this contribution by proposing three heuristics for parent selection that replace the fitness function on the selection mechanism entirely. These heuristics complement previous work by being inspired in the characteristics of the addition, Naive Bayes, and Nearest Centroid functions and applying them only when the function is used to create an offspring. These heuristics use different similarity measures among the parents to decide which of them is more appropriate given a function. The similarity functions considered are the cosine similarity, Pearson's correlation, and agreement. We analyze these heuristics' performance against random selection, state-of-the-art selection schemes, and 18 classifiers, including auto-machine-learning techniques, on 30 classification problems with a variable number of samples, variables, and classes. The result indicated that the combination of parent selection based on agreement and random selection to replace an individual in the population produces statistically better results than the classical selection and state-of-the-art schemes, and it is competitive with state-of-the-art classifiers. Finally, the code is released as open-source software.


title: Equilibrium Microcanonical Annealing for First-Order Phase Transitions

abstract: A framework is presented for carrying out simulations of equilibrium systems in the microcanonical ensemble using annealing in an energy ceiling. The framework encompasses an equilibrium version of simulated annealing, population annealing and hybrid algorithms that interpolate between these extremes. These equilibrium, microcanonical annealing algorithms are applied to the thermal first-order transition in the 20-state, two-dimensional Potts model. All of these algorithms are observed to perform well at the first-order transition though for the system sizes studied here, equilibrium simulated annealing is most efficient.


title: 3D MHD simulations and synthetic radio emission from an oblique rotating magnetic massive star

abstract: We have performed 3D isothermal MHD simulation of a magnetic rotating massive star with a non-zero dipole obliquity and predicted the radio/sub-mm observable lightcurves and continuum spectra for a frequency range compatible with ALMA. From these results we also compare the model input mass-loss to that calculated from the synthetic thermal emission. Spherical and cylindrical symmetry is broken due to the obliquity of the stellar magnetic dipole resulting in an inclination and phase dependence of both the spectral flux and inferred mass-loss rate, providing testable predictions of variability for oblique rotator. Both quantities vary by factors between 2 and 3 over a full rotational period of the star, demonstrating that the role of rotation as critical in understanding the emission. This illustrates the divergence from a symmetric wind, resulting in a two armed spiral structure indicative of a oblique magnetic rotator. We show that a constant spectral index, $\alpha$, model agrees well with our numerical prediction for a spherical wind for $\nu~<~10^{3} \ \mathrm{GHz}$, however it is unable to capture the behavior of emission at $\nu~>~10^{3} \ \mathrm{GHz}$. As such we caution the use of such constant $\alpha$ models for predicting emission from non-spherical winds such as those which form around magnetic massive stars.


title: Demystifying the Lagrangian of classical mechanics

abstract: The Lagrangian formulation of classical mechanics is widely applicable in solving a vast array of physics problems encountered in the undergraduate and graduate physics curriculum. Unfortunately, many treatments of the topic lack explanations of the most basic details that make Lagrangian mechanics so practical. In this paper, we detail the steps taken to arrive at the principle of stationary action, the Euler-Lagrange equations, and the Lagrangian of classical mechanics. These steps are: 1) we derive the Lagrange formalism purely mathematically from the problem of the minimal distance between two points in a plane, introducing the variational principle and deriving the Euler-Lagrange equation; 2) we transform Newton's second law into an Euler-Lagrange equation, proving that the Lagrangian is kinetic minus potential energy; 3) we explain why it is important to reformulate Newton's law. To do so, we prove that the Euler-Lagrange equation is astonishingly the same in any set of coordinates. We demonstrate that because of this feature the role that coordinates play in classical mechanics is much simpler and clearer in the Lagrangian as compared to the Newtonian formulation. This is important because the choice of coordinates is not relevant to physical reality, rather they are arbitrarily chosen to provide a convenient way of analyzing a physical system.


title: Tensor stable moduli stacks and refined representations of quivers

abstract: In this paper, we look at the problem of modular realisations of derived equivalences, and more generally, the problem of recovering a Deligne-Mumford stack $\mathbb{X}$ and a bundle $\mathcal{T}$ on it, via some moduli problem (on $\mathbb{X}$ or $A = \operatorname{End}_{\mathbb{X}} \mathcal{T}$). The key issue is, how does one incorporate some of the monoidal structure of $\operatorname{Coh}(\mathbb{X})$ into the moduli problem. To this end, we introduce a new moduli stack, the tensor stable moduli stack which generalises the notion of the Serre-stable moduli stack. We then show how it can be used both for stack recovery and the modular realisation problem for derived equivalences. We also study the moduli of refined representations and how it addresses these problems. Finally, we relate the two approaches when $\mathcal{T}$ is a tilting bundle which is a direct sum of line bundles.


title: Ring Laser Gyroscope Tests of Lorentz Symmetry

abstract: Interferometric gyroscope systems are being developed with the goal of measuring general-relativistic effects including frame-dragging effects. Such devices are also capable of performing searches for Lorentz violation. We summarize efforts that relate gyroscope measurements to coefficients for Lorentz violation in the gravity sector of the Standard-Model Extension.


title: Propagation of singularities for generalized solutions to nonlinear wave equations

abstract: The paper is devoted to regularity theory of generalized solutions to semilinear wave equations with a small nonlinearity. The setting is the one of Colombeau algebras of generalized functions. It is shown that in one space dimension, an initial singularity at the origin propagates along the characteristic lines emanating from the origin, as in the linear case. The proof relies on a fixed point theorem in the ultra-metric topology on the algebras involved. The paper takes up the initiating research of the 1970s on anomalous singularities in classical solutions to semilinear hyperbolic equations and transplants the methods into the Colombeau setting.


title: RadioTalk: a large-scale corpus of talk radio transcripts

abstract: We introduce RadioTalk, a corpus of speech recognition transcripts sampled from talk radio broadcasts in the United States between October of 2018 and March of 2019. The corpus is intended for use by researchers in the fields of natural language processing, conversational analysis, and the social sciences. The corpus encompasses approximately 2.8 billion words of automatically transcribed speech from 284,000 hours of radio, together with metadata about the speech, such as geographical location, speaker turn boundaries, gender, and radio program information. In this paper we summarize why and how we prepared the corpus, give some descriptive statistics on stations, shows and speakers, and carry out a few high-level analyses.


title: Robust surface states and coherence phenomena in magnetically alloyed SmB6

abstract: Samarium hexaboride is a candidate for the topological Kondo insulator state, in which Kondo coherence is predicted to give rise to an insulating gap spanned by topological surface states. Here we investigate the surface and bulk electronic properties of magnetically alloyed Sm1-xMxB6 (M=Ce, Eu), using angle-resolved photoemission spectroscopy (ARPES) and complementary characterization techniques. Remarkably, topologically nontrivial bulk and surface band structures are found to persist in highly modified samples with up to 30% Sm substitution, and to coexist with antiferromagnetism in the case of Eu doping. The results are interpreted in terms of a hierarchy of energy scales, in which surface state emergence is linked to the formation of a direct Kondo gap, while low temperature transport trends depend on the indirect gap.


title: Prediction of neural network performance by phenotypic modeling

abstract: Surrogate models are used to reduce the burden of expensive-to-evaluate objective functions in optimization. By creating models which map genomes to objective values, these models can estimate the performance of unknown inputs, and so be used in place of expensive objective functions. Evolutionary techniques such as genetic programming or neuroevolution commonly alter the structure of the genome itself. A lack of consistency in the genotype is a fatal blow to data-driven modeling techniques: interpolation between points is impossible without a common input space. However, while the dimensionality of genotypes may differ across individuals, in many domains, such as controllers or classifiers, the dimensionality of the input and output remains constant. In this work we leverage this insight to embed differing neural networks into the same input space. To judge the difference between the behavior of two neural networks, we give them both the same input sequence, and examine the difference in output. This difference, the phenotypic distance, can then be used to situate these networks into a common input space, allowing us to produce surrogate models which can predict the performance of neural networks regardless of topology. In a robotic navigation task, we show that models trained using this phenotypic embedding perform as well or better as those trained on the weight values of a fixed topology neural network. We establish such phenotypic surrogate models as a promising and flexible approach which enables surrogate modeling even for representations that undergo structural changes.


title: Warped diffusive radio halo around the quiescent spiral edge-on galaxy NGC 4565

abstract: Cosmic rays play a pivotal role in launching galactic winds, particularly in quiescently star-forming galaxies where the hot gas alone is not sufficient to drive a wind. Except for the Milky Way, not much is known about the transport of cosmic rays in galaxies. In this Letter, we present low-frequency observations of the nearby edge-on spiral galaxy NGC 4565 using the LOw-Frequency ARray (LOFAR). With our deep 144-MHz observations, we obtain a clean estimate of the emission originating from old cosmic-ray electrons (CRe), which is almost free from contamination by thermal emission. We measured vertical profiles of the non-thermal radio continuum emission that we fitted with Gaussian and exponential functions. The different profile shapes correspond to 1D cosmic-ray transport models of pure diffusion and advection, respectively. We detect a warp in the radio continuum that is reminiscent of the previously known HI warp. Because the warp is not seen at GHz-frequencies in the radio continuum, its minimum age must be about 100 Myr. The warp also explains the slight flaring of the thick radio disc that can otherwise be well described by a Gaussian profile with an FWHM of 65 arcsec (3.7 kpc). The diffusive radio halo together with the extra-planar X-ray emission may be remnants of enhanced star-forming activity in the past where the galaxy had a galactic wind, as GHz-observations indicate only a weak outflow in the last 40 Myr. NGC 4565 could be in transition from an outflow- to an inflow-dominated phase.


title: Anatomically-Informed Multiple Linear Assignment Problems for White Matter Bundle Segmentation

abstract: Segmenting white matter bundles from human tractograms is a task of interest for several applications. Current methods for bundle segmentation consider either only prior knowledge about the relative anatomical position of a bundle, or only its geometrical properties. Our aim is to improve the results of segmentation by proposing a method that takes into account information about both the underlying anatomy and the geometry of bundles at the same time. To achieve this goal, we extend a state-of-the-art example-based method based on the Linear Assignment Problem (LAP) by including prior anatomical information within the optimization process. The proposed method shows a significant improvement with respect to the original method, in particular on small bundles.


title: On The Termination of a Flooding Process

abstract: Flooding is among the simplest and most fundamental of all distributed network algorithms. A node begins the process by sending a message to all its neighbours and the neighbours, in the next round forward the message to all the neighbours they did not receive the message from and so on. We assume that the nodes do not keep a record of the flooding event. We call this amnesiac flooding (AF). Since the node forgets, if the message is received again in subsequent rounds, it will be forwarded again raising the possibility that the message may be circulated infinitely even on a finite graph. As far as we know, the question of termination for such a flooding process has not been settled - rather, non-termination is implicitly assumed. In this paper, we show that synchronous AF always terminates on any arbitrary finite graph and derive exact termination times which differ sharply in bipartite and non-bipartite graphs. Let $G$ be a finite connected graph. We show that synchronous AF from a single source node terminates on $G$ in $e$ rounds, where $e$ is the eccentricity of the source node, if and only if $G$ is bipartite. For non-bipartite $G$, synchronous AF from a single source terminates in $j$ rounds where $e < j \leq e+d+1$ and $d$ is the diameter of $G$. This limits termination time to at most $d$ and at most $2d + 1$ for bipartite and non-bipartite graphs respectively. If communication/broadcast to all nodes is the motivation, our results show that AF is asymptotically time optimal and obviates the need for construction and maintenance of spanning structures like spanning trees. The clear separation in the termination times of bipartite and non-bipartite graphs also suggests mechanisms for distributed discovery of the topology/distances in arbitrary graphs. For comparison, we show that, in asynchronous networks, an adaptive adversary can force AF to be non-terminating.


title: Simulation methods for open quantum many-body systems

abstract: Coupling a quantum many-body system to an external environment dramatically changes its dynamics and offers novel possibilities not found in closed systems. Of special interest are the properties of the steady state of such open quantum many-body systems, as well as the relaxation dynamics towards the steady state. However, new computational tools are required to simulate open quantum many-body systems, as methods developed for closed systems cannot be readily applied. We review several approaches to simulate open many-body systems and point out the advances made in recent years towards the simulation of large system sizes.


title: Data-driven strategies for optimal bicycle network growth

abstract: Urban transportation networks, from sidewalks and bicycle paths to streets and rail lines, provide the backbone for movement and socioeconomic life in cities. These networks can be understood as layers of a larger multiplex transport network. Because most cities are car-centric, the most developed layer is typically the street layer, while other layers can be highly disconnected. To make urban transport sustainable, cities are increasingly investing to develop their bicycle networks. However, given the usually patchy nature of the bicycle network layer, it is yet unclear how to extend it comprehensively and effectively given a limited budget. Here we develop data-driven, algorithmic network growth strategies and apply them to cities around the world, showing that small but focused investments allow to significantly increase the connectedness and directness of urban bicycle networks. We motivate the development of our algorithms with a network component analysis and with multimodal urban fingerprints that reveal different classes of cities depending on the connectedness between different network layers. We introduce two greedy algorithms to add the most critical missing links in the bicycle layer: The first algorithm connects the two largest connected components, the second algorithm connects the largest with the closest component. We show that these algorithms outmatch both a random approach and a baseline minimum investment strategy that connects the closest components ignoring size. Our computational approach outlines novel pathways from car-centric towards sustainable cities by taking advantage of urban data available on a city-wide scale. It is a first step towards a quantitative consolidation of bicycle infrastructure development that can become valuable for urban planners and stakeholders.


title: Symbolic analytic spread: upper bounds and applications

abstract: The symbolic analytic spread of an ideal $I$ is defined in terms of the rate of growth of the minimal number of generators of its symbolic powers. In this article we find upper bounds for the symbolic analytic spread under certain conditions in terms of other invariants of $I$. Our methods also work for more general systems of ideals. As applications we provide bounds for the (local) Kodaira dimension of divisors, the arithmetic rank, and the Frobenius complexity. We also show sufficient conditions for an ideal to be a set-theoretic complete intersection.


title: A Reduced Order Modeling technique to study bifurcating phenomena: application to the Gross-Pitaevskii equation

abstract: We propose a computationally efficient framework to treat nonlinear partial differential equations having bifurcating solutions as one or more physical control parameters are varied. Our focus is on steady bifurcations. Plotting a bifurcation diagram entails computing multiple solutions of a parametrized, nonlinear problem, which can be extremely expensive in terms of computational time. In order to reduce these demanding computational costs, our approach combines a continuation technique and Newton's method with a Reduced Order Modeling (ROM) technique, suitably supplemented with a hyper-reduction method. To demonstrate the effectiveness of our ROM approach, we trace the steady solution branches of a nonlinear Schr\"{o}dinger equation, called Gross-Pitaevskii equation, as one or two physical parameters are varied. In the two parameter study, we show that our approach is 60 times faster in constructing a bifurcation diagram than a standard Full Order Method.


title: Spectrum Sensing and Resource Allocation for 5G Heterogeneous Cloud Radio Access Networks

abstract: In this paper, the problem of opportunistic spectrum sharing for the next generation of wireless systems empowered by the cloud radio access network (C-RAN) is studied. More precisely, low-priority users employ cooperative spectrum sensing to detect a vacant portion of the spectrum that is not currently used by high-priority users. The design of the scheme is to maximize the overall throughput of the low-priority users while guaranteeing the quality of service of the high-priority users. This objective is attained by optimally adjusting spectrum sensing time with respect to imposed target probabilities of detection and false alarm as well as dynamically allocating and assigning C-RAN resources, i.e., transmit powers, sub-carriers, remote radio heads (RRHs), and base-band units. The presented optimization problem is non-convex and NP-hard that is extremely hard to tackle directly. To solve the problem, a low-complex iterative approach is proposed in which sensing time, user association parameters and transmit powers of RRHs are alternatively assigned and optimized at every step. Numerical results are then provided to demonstrate the necessity of performing sensing time adjustment in such systems as well as balancing the sensing-throughput tradeoff.


title: 2-torsion points on theta divisors

abstract: In this note we prove a sharp bound for the number of 2-torsion points on a theta divisor and show that this is achieved only in the case of products of elliptic curves. This settles in the affirmative a conjecture of Marcucci and Pirola.


title: Variable selection in sparse high-dimensional GLARMA models

abstract: In this paper, we propose a novel variable selection approach in the framework of sparse high-dimensional GLARMA models. It consists in combining the estimation of the autoregressive moving average (ARMA) coefficients of these models with regularized methods designed for Generalized Linear Models (GLM). The properties of our approach are investigated both from a theoretical and a numerical point of view. More precisely, we establish in a specific case the consistency of the ARMA part coefficient estimators. We explain how to implement our approach and we show that it is very attractive since it benefits from a low computational load. We also assess the performance of our methodology using synthetic data and compare it with alternative approaches. Our numerical experiments show that combining the estimation of the ARMA part coefficients with regularized methods designed for GLM dramatically improves the variable selection performance.


title: Stability of force-driven shear flows in nonequilibrium molecular simulations with periodic boundaries

abstract: We analyze the hydrodynamic stability of force-driven parallel shear flows in nonequilibrium molecular simulations with three-dimensional periodic boundary conditions. We show that flows simulated in this way can be linearly unstable, and we derive an expression for the critical Reynolds number as a function of the geometric aspect ratio of the simulation domain. Approximate periodic extensions of Couette and Poiseuille flows are unstable at Reynolds numbers two orders of magnitude smaller than their aperiodic equivalents because the periodic boundaries impose fundamentally different constraints on the flow. This instability has important implications for simulating shear rheology and for designing nonequilibrium simulation methods that are compatible with periodic boundary conditions.


title: Quantum tunneling devices incorporating two-dimensional magnetic semiconductors

abstract: Research in two-dimensional (2D) materials has experienced rapid growth in the past few years. In particular, various layered compounds exhibiting quantum phenomena, such as superconductivity and magnetism, have been isolated in atomically thin form, often in spite of their chemical instability. The nature of the 2D phases can be different than their bulk counterparts, making such systems attractive for fundamental studies. Owing to their high crystallinity and absence of dangling bonds, devices and heterostructures incorporating these materials may also show performance exceeding that of traditional films. In this roadmap article, we focus on a few recent developments in spin-based quantum devices utilizing the 2D magnetic semiconductor, CrI$_3$.


title: Integer patterns in Collatz sequences

abstract: The Collatz conjecture asserts that repeatedly iterating $f(x) = (3x + 1)/2^{a(x)}$, where $a(x)$ is the highest exponent for which $2^{a(x)}$ exactly divides $3x+1$, always lead to $1$ for any odd positive integer $x$. Here, we present an arborescence graph constructed from iterations of $g(x) = (2^{e(x)}x - 1)/3$, which is the inverse of $f(x)$ and where $x \not \equiv [0]_3$ and $e(x)$ is any positive integer satisfying $2^{e(x)}x - 1 \equiv [0]_3$, with $[0]_3$ denoting $0\pmod{3}$. The integer patterns inferred from the resulting arborescence provide new insights into proving the validity of the conjecture.


title: Unifying matrix stability concepts with a view to applications

abstract: Multiplicative and additive $D$-stability, diagonal stability, Schur $D$-stability, $H$-stability are classical concepts which arise in studying linear dynamical systems. We unify these types of stability, as well as many others, in one concept of $({\mathfrak D}, {\mathcal G}, \circ)$-stability, which depends on a stability region ${\mathfrak D} \subset {\mathbb C}$, a matrix class ${\mathcal G}$ and a binary matrix operation $\circ$. This approach allows us to unite several well-known matrix problems and to consider common methods of their analysis. In order to collect these methods, we make a historical review, concentrating on diagonal and $D$-stability. We prove some elementary properties of $({\mathfrak D}, {\mathcal G}, \circ)$-stable matrices, uniting the facts that are common for many partial cases. Basing on the properties of a stability region $\mathfrak D$ which may be chosen to be a concrete subset of $\mathbb C$ (e.g. the unit disk) or to belong to a specified type of regions (e.g. LMI regions) we briefly describe the methods of further development of the theory of $({\mathfrak D}, {\mathcal G}, \circ)$-stability. We mention some applications of the theory of $({\mathfrak D}, {\mathcal G}, \circ)$-stability to the dynamical systems of different types.


title: Ion-induced interactions in a Tomonaga-Luttinger liquid

abstract: We investigate the physics of a Tomonaga-Luttinger liquid of spin-polarized fermions superimposed on an ion chain. This compound system features (attractive) long-range interspecies interactions. By means of density matrix renormalization group techniques we compute the Tomonaga-Luttinger-liquid parameter and speed of sound as a function of the relative atom/ion density and the two quantum defect parameters, namely, the even and odd short-range phases which characterize the short-range part of the atom-ion polarization potential. The presence of ions is found to allow critical tuning of the atom-atom interaction, and the properties of the system are found to depend significantly on the short-range phases due to the atom-ion interaction. These latter dependencies can be controlled, for instance, by manipulating the ions' internal state. This allows modification of the static properties of the quantum liquid via external driving of the ionic impurities.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.str-el quant-ph


title: Massive MU-MIMO-OFDM Uplink with Direct RF-Sampling and 1-Bit ADCs

abstract: Advances in analog-to-digital converter (ADC) technology have opened up the possibility to directly digitize wideband radio frequency (RF) signals, avoiding the need for analog down-conversion. In this work, we consider an orthogonal frequency-division multiplexing (OFDM)-based massive multi-user (MU) multiple-input multiple-output (MIMO) uplink system that relies on direct RF-sampling at the base station and digitizes the received RF signals with 1-bit ADCs. Using Bussgang's theorem, we provide an analytical expression for the error-vector magnitude (EVM) achieved by digital down-conversion and zero-forcing combining. Our results demonstrate that direct RF-sampling 1-bit ADCs enables low EVM and supports high-order constellations in the massive MU-MIMO-OFDM uplink.


title: Isolated Singularities of Yang-Mills-Higgs fields on surfaces

abstract: We study isolated singularities of two dimensional Yang-Mills-Higgs fields defined on a fiber bundle, where the fiber space is a compact Riemannian manifold and the structure group is a compact connected Lie group. In general the singularity can not be removed due to possibly non-vanishing limit holonomy around the singular points. We establish a sharp asymptotic decay estimate of the Yang-Mills-Higgs field near a singular point, where the decay rate is precisely determined by the limit holonomy. Our result can be viewed as a generalization of the classical removable singularity theorem of two dimensional harmonic maps.


title: Measurement of the jet mass in high transverse momentum $Z(\rightarrow b\overline{b})\gamma$ production at $\sqrt{s}= 13$ TeV using the ATLAS detector

abstract: The integrated fiducial cross-section and unfolded differential jet mass spectrum of high transverse momentum $Z\rightarrow b\overline{b}$ decays are measured in $Z\gamma$ events in proton-proton collisions at $\sqrt{s} = 13$ TeV. The data analysed were collected between 2015 and 2016 with the ATLAS detector at the Large Hadron Collider and correspond to an integrated luminosity of 36.1 fb$^{-1}$. Photons are required to have a transverse momentum $p_{\mathrm{T}}>175$ GeV. The $Z\rightarrow b\overline{b}$ decay is reconstructed using a jet with $p_{\mathrm{T}} > 200$ GeV, found with the anti-$k_{t}$ $R = 1.0$ jet algorithm, and groomed to remove soft and wide-angle radiation and to mitigate contributions from the underlying event and additional proton-proton collisions. Two different but related measurements are performed using two jet grooming definitions for reconstructing the $Z\rightarrow b\overline{b}$ decay: trimming and soft drop. These algorithms differ in their experimental and phenomenological implications regarding jet mass reconstruction and theoretical precision. To identify $Z$ bosons, $b$-tagged $R = 0.2$ track-jets matched to the groomed large-$R$ calorimeter jet are used as a proxy for the $b$-quarks. The signal yield is determined from fits of background templates extracted from the data to the different jet mass distributions for the two grooming methods. Integrated fiducial cross-sections and unfolded jet mass spectra for each grooming method are compared with leading-order theoretical predictions. The results are found to be in good agreement with Standard Model expectations within the current statistical and systematic uncertainties.


title: Solitary water waves created by variations in bathymetry

abstract: We study the flow of water waves over bathymetry that varies periodically along one direction. We derive a linearized, homogenized model and show that the periodic bathymetry induces an effective dispersion, distinct from the dispersion inherently present in water waves. We relate this dispersion to the well-known effective dispersion introduced by changes in the bathymetry in non-rectangular channels. Numerical simulations using the (non-dispersive) shallow water equations reveal that a balance between this effective dispersion and nonlinearity can create solitary waves. We derive a KdV-type equation that approximates the behavior of these waves in the weakly-nonlinear regime. We show that, depending on geometry, dispersion due to bathymetry can be much stronger than traditional water wave dispersion and can prevent wave breaking in strongly nonlinear regimes. Computational experiments using depth-averaged water wave models %, as well as confirm the analysis and suggest that experimental observation of these solitary waves is possible.


title: The $\sin (2\phi-\phi_S)$ azimuthal asymmetry in the pion induced Drell-Yan process within TMD factorization

abstract: We investigate the single transverse-spin asymmetry with a $\sin (2\phi-\phi_S)$ modulation in the pion-induced Drell-Yan process within the theoretical framework of the transverse momentum dependent factorization. The asymmetry is contributed by the convolution of the Boer-Mulders function and the transversity. We adopt the model results for the distributions of the pion meson from the light-cone wavefunction approach and the available parametrization for the distributions of the proton to numerically estimate the $\sin (2\phi-\phi_S)$ asymmetry in $\pi^- p$ Drell-Yan at the kinematics of the COMPASS at CERN. To implement the TMD evolution formalism of parton distribution functions, we apply the recently extracted nonperturbative Sudakov form factor associated with the distribution functions of the proton and the pion. It is found that our prediction on the single transverse-spin dependent asymmetry ${\sin (2\phi-\phi_S)}$ as functions of $x_p$, $x_\pi$, $x_F$ and $q_\perp$ is qualitatively consistent with the recent COMPASS measurement in both sign and magnitude.


title: A conjecture on the lengths of filling pairs

abstract: A pair $(\alpha, \beta)$ of simple closed geodesics on a closed and oriented hyperbolic surface $M_g$ of genus $g$ is called a filling pair if the complementary components of $\alpha\cup\beta$ in $M_g$ are simply connected. The length of a filling pair is defined to be the sum of their individual lengths. In \cite{Aou}, Aougab-Huang conjectured that the length of any filling pair on $M$ is at least $\frac{m_{g}}{2}$, where $m_{g}$ is the perimeter of the regular right-angled hyperbolic $\left(8g-4\right)$-gon. In this paper, we prove a generalized isoperimetric inequality for disconnected regions and we prove the Aougab-Huang conjecture as a corollary.


title: Rational points on complete intersections over $\mathbb{F}_q(t)$

abstract: A Kloosterman refinement for function fields $K=\mathbb{F}_q(t)$ is developed and used to establish the quantitative arithmetic of the set of rational points on a smooth complete intersection of two quadrics $X\subset \mathbb{P}^{n-1}_{K}$ , under the assumption that $q$ is odd and $n\geq 9$.


title: Speeds of convergence of orbits of non-elliptic semigroups of holomorphic self-maps of the unit disc

abstract: We introduce three quantities related to orbits of non-elliptic continuous semigroups of holomorphic self-maps of the unit disc, the total speed, the orthogonal speed and the tangential speed and show how they are related and what can be inferred from those.


title: Blockchain Mutability: Challenges and Proposed Solutions

abstract: Blockchain's evolution during the past decade is astonishing: from bitcoin to over 2.000 altcoins, and from decentralised electronic payments to transactions programmable by smart contracts and complex tokens governed by decentralised organisations. While the new generation of blockchain applications is still evolving, blockchain's technical characteristics are also advancing. Yet, immutability, a hitherto indisputable property according to which blockchain data cannot be edited nor deleted, remains the cornerstone of blockchain's security. Nevertheless, blockchain's immutability is being called into question lately in the light of the new erasing requirements imposed by the GDPR's ``\textit{Right to be Forgotten (RtbF)}'' provision. As the RtbF obliges blockchain data to be editable in order restricted content redactions, modifications or deletions to be applied when requested, blockchains compliance with the regulation is indeed challenging, if not impracticable. Towards resolving this contradiction, various methods and techniques for mutable blockchains have been proposed in an effort to satisfy regulatory erasing requirements while preserving blockchains' security. To this end, this work aims to provide a comprehensive review on the state-of-the-art research approaches, technical workarounds and advanced cryptographic techniques that have been put forward to resolve this conflict and to discuss their potentials, constraints and limitations when applied in the wild to either permissioned or permissionless blockchains.


title: Non-Fermi-liquid fixed point in multi-orbital Kondo impurity model relevant for Hund's metals

abstract: Due to the separation between the spin and the orbital screening scales, the normal state of Hund's metals at ambient temperature can be loosely characterized as a partially coherent state with fluctuating spins and quenched orbital moments. With the aim to characterize this situation more precisely, we investigate the Kondo-Kanamori impurity model that describes the low-energy local physics of three-orbital Hund's metals occupied by two or four electrons. Within this model one can diminish the mixed spin-orbital terms and thereby enhance the separation between the two screening scales, allowing a more precise investigation of the intermediate state. Using the numerical renormalization group we calculate the impurity entropy as well as the temperature and frequency dependence of the spin and the orbital susceptibilities. We uncover a non-Fermi-liquid two-channel overscreened SU(3) fixed point that controls the behavior in the intermediate regime. We discuss its fingerprints in the frequency dependence of local orbital susceptibility and the shape of the spectral function.


title: Location and portfolio selection problems: A unified framework

abstract: Given a set of assets and an investment capital, the classical portfolio selection problem consists in determining the amount of capital to be invested in each asset in order to build the most profitable portfolio. The portfolio optimization problem is naturally modeled as a mean-risk bi-criteria optimization problem where the mean rate of return of the portfolio must be maximized whereas a given risk measure must be minimized. Several mathematical programming models and techniques have been presented in the literature in order to efficiently solve the portfolio problem. A relatively recent promising line of research is to exploit clustering information of an assets network in order to develop new portfolio optimization paradigms. In this paper we endow the assets network with a metric based on correlation coefficients between assets' returns, and show how classical location problems on networks can be used for clustering assets. In particular, by adding a new criterion to the portfolio selection problem based on an objective function of a classical location problem, we are able to measure the effect of clustering on the selected assets with respect to the non-selected ones. Most papers dealing with clustering and portfolio selection models solve these problems in two distinct steps: cluster first and then selection. The innovative contribution of this paper is that we propose a Mixed-Integer Linear Programming formulation for dealing with this problem in a unified phase. The effectiveness of our approach is validated reporting some preliminary computational experiments on some real financial dataset.


title: Harmonic measure and quantitative connectivity: geometric characterization of the $L^p$-solvability of the Dirichlet problem

abstract: It is well-known that quantitative, scale invariant absolute continuity (more precisely, the weak-$A_\infty$ property) of harmonic measure with respect to surface measure, on the boundary of an open set $ \Omega\subset \mathbb{R}^{n+1}$ with Ahlfors-David regular boundary, is equivalent to the solvability of the Dirichlet problem in $\Omega$, with data in $L^p(\partial\Omega)$ for some $p<\infty$. In this paper, we give a geometric characterization of the weak-$A_\infty$ property, of harmonic measure, and hence of solvability of the $L^p$ Dirichlet problem for some finite $p$. This characterization is obtained under background hypotheses (an interior corkscrew condition, along with Ahlfors-David regularity of the boundary) that are natural, and in a certain sense optimal: we provide counter-examples in the absence of either of them (or even one of the two, upper or lower, Ahlfors-David bounds); moreover, the examples show that the upper and lower Ahlfors-David bounds are each quantitatively sharp.


title: Concentration of the matrix-valued minimum mean-square error in optimal Bayesian inference

abstract: We consider Bayesian inference of signals with vector-valued entries. Extending concentration techniques from the mathematical physics of spin glasses, we show that the matrix-valued minimum mean-square error concentrates when the size of the problem increases. Such results are often crucial for proving single-letter formulas for the mutual information when they exist. Our proof is valid in the optimal Bayesian inference setting, meaning that it relies on the assumption that the model and all its hyper-parameters are known. Examples of inference and learning problems covered by our results are spiked matrix and tensor models, the committee machine neural network with few hidden neurons in the teacher-student scenario, or multi-layers generalized linear models.


title: Representation Formula for Viscosity Solutions to Parabolic PDEs with Sublinear Operators

abstract: We provide a representation formula for viscosity solutions to a class of nonlinear second order parabolic PDE problem involving sublinear operators. This is done through a dynamic programming principle derived from [8]. The formula can be seen as a nonlinear extension of the Feynman--Kac formula and is based on the backward stochastic differential equations theory.


title: Newton polyhedrons and $L^p$ Sobolev estimations

abstract: The aim of this study is to provide a perspective to help understand the singular average operator over polynomial hypersurfaces. In particular, this perspective will provide brevity and the possibility of generalizing previous results dealing with the fundamental problem of determining the precise $L^p$ regularity enhancement for the average operators. In previous studies dealing with polynomials, the Newton polyhedron of a polynomial has been utilized to observe dominant monomials. In this study, we go further by discussing the involvements of other monomials in detail, by introducing several geometric values on the Newton polyhedron.


title: One String to Rule Them All: Neutrino Masses and Mixing Angles

abstract: The correct quark and charged lepton mass matrices along with a nearly correct CKM matrix may be naturally accommodated in a Pati-Salam model constructed from intersecting D6 branes on a $T^6/(\Z_2 \times \Z_2)$ orientifold. Furthermore, near-tribimaximal mixing for neutrinos may arise naturally due to the structure of the Yukawa matrices. Consistency with the quark and charged lepton mass matrices in combination with obtaining near-tribimaximal mixing fixes the Dirac neutrino mass matrix completely. Then, applying the seesaw mechanism for different choices of right-handed neutrino masses and running the obtained neutrino parameters down to the electroweak scale via the RGEs, we are able to make predictions for the neutrino masses and mixing angles. We obtain lepton mixing angles which are close to the observed values, $\theta_{12} =33.8^{\circ}\pm1.2^{\circ}$, $\theta_{23}=46.9^{\circ}\pm0.9^{\circ}$, and $\theta_{13}=8.56^{\circ}\pm0.20^{\circ}$. In addition, the neutrino mass-squared differences are found to be $\Delta m^2_{32} = 0.0025\pm0.0001$~eV$^2$ and $\Delta m^2_{21} = 0.000075\pm0.000003$~eV with $m_1=0.0150\pm0.0002$~eV, $m_2=0.0173\pm0.0002$~eV, and $m_3=0.053\pm 0.002$~eV so that $\sum_i m_i = 0.085\pm0.002$~eV, consistent with experimental observations.


title: An efficient method to construct self-dual cyclic codes of length $p^s$ over $\mathbb{F}_{p^m}+u\mathbb{F}_{p^m}$

abstract: Let $p$ be an odd prime number, $\mathbb{F}_{p^m}$ be a finite field of cardinality $p^m$ and $s$ a positive integer. Using some combinatorial identities, we obtain certain properties for Kronecker product of matrices over $\mathbb{F}_p$ with a specific type. On that basis, we give an explicit representation and enumeration for all distinct self-dual cyclic codes of length $p^s$ over the finite chain ring $\mathbb{F}_{p^m}+u\mathbb{F}_{p^m}$ $(u^2=0)$. Moreover, We provide an efficient method to construct every self-dual cyclic code of length $p^s$ over $\mathbb{F}_{p^m}+u\mathbb{F}_{p^m}$ precisely.


title: Nature of thermodynamics equation of state towards economics equation of state

abstract: This work critics on nature of thermodynamics coordinates and on roles of the variables in the equation of state (EoS). Coordinate variables in the EoS are analyzed so that central concepts are noticed and are used to lay a foundation in building of a new EoS or in testing EoS status of a newly constructed empirical equation. With these concepts, we classify EoS into two classes. We find that the EoS of market with unitary price demand and linear price-dependent supply function proposed by \cite{GumjMarket}, is not an EoS because it has only one degree of freedom.


title: A Conserved Discrete Unified Gas-Kinetic Scheme with Unstructured Discrete Velocity Space

abstract: Discrete unified gas-kinetic scheme (DUGKS) is a multi-scale numerical method for flows from continuum limit to free molecular limit, and is especially suitable for the simulation of multi-scale flows, benefiting from its multi-scale property. To reduce integration error of the DUGKS and ensure the conservation property of the collision term in isothermal flow simulations, a Conserved-DUGKS (C-DUGKS) is proposed. On the other hand, both DUGKS and C-DUGKS adopt Cartesian-type discrete velocity space, in which Gaussian and Newton-Cotes numerical quadrature are used for calculating the macroscopic physical variables in low speed and high speed flows, respectively. While, the Cartesian-type discrete velocity space leads to huge computational cost and memory demand. In this paper, the isothermal C-DUGKS is extended to the non-isothermal case by adopting coupled mass and inertial energy distribution functions. Moreover, since the unstructured mesh, such as the triangular mesh in two dimensional case, is more flexible than the structured Cartesian mesh, it is introduced to the discrete velocity space of C-DUGKS, such that more discrete velocity points can be arranged in the velocity regions that enclose large number of molecules, and only a few discrete velocity points need to be arranged in the velocity regions with small amount of molecules in it. By using the unstructured discrete velocity space, the computational efficiency of C-DUGKS is significantly increased. A series of numerical tests in a wide range of Knudsen numbers, such as the Couette flow, lid-driven cavity flow, two-dimensional rarefied Riemann problem and the supersonic cylinder flows, are carried out to examine the validity and efficiency of the present method.


title: DeepRace: Finding Data Race Bugs via Deep Learning

abstract: With the proliferation of multi-core hardware, parallel programs have become ubiquitous. These programs have their own type of bugs known as concurrency bugs and among them, data race bugs have been mostly in the focus of researchers over the past decades. In fact, detecting data races is a very challenging and important task. There have been several research paths in this area with many sophisticated tools designed and utilized that focus on detecting data race at the file level. In this paper, we propose DeepRace, a novel approach toward detecting data races in the source code. We build a deep neural network model to find data races instead of creating a data race detector manually. Our model uses a one-layer convolutional neural network (CNN) with different window size to find data races method. Then we adopt the class activation map function with global average pooling to extract the weights of the last convolutional layer and backpropagate it with the input source code to extract the line of codes with a data race. Thus, the DeepRace model can detect the data race bugs on a file and line of code level. In addition, we noticed that DeepRace successfully detects several buggy lines of code at different locations of the file. We tested the model with OpenMP and POSIX source code datasets which consist of more than 5000 and 8000 source code files respectively. We were able to successfully classify buggy source code files and achieve accuracies ranging from 81% and 86%. We also measured the performance of detecting and visualizing the data race at the line of code levels and our model achieved promising results. We only had a small number of false positives and false, ranging from 1 to 10. Furthermore, we used the intersection of union to measure the accuracy of the buggy lines of code, our model achieved promising results of 66 percent.


title: Construction and enumeration for self-dual cyclic codes of even length over $\mathbb{F}_{2^m} + u\mathbb{F}_{2^m}$

abstract: Let $\mathbb{F}_{2^m}$ be a finite field of cardinality $2^m$, $R=\mathbb{F}_{2^m}+u\mathbb{F}_{2^m}$ $(u^2=0)$ and $s,n$ be positive integers such that $n$ is odd. In this paper, we give an explicit representation for every self-dual cyclic code over the finite chain ring $R$ of length $2^sn$ and provide a calculation method to obtain all distinct codes. Moreover, we obtain a clear formula to count the number of all these self-dual cyclic codes. As an application, self-dual and $2$-quasi-cyclic codes over $\mathbb{F}_{2^m}$ of length $2^{s+1}n$ can be obtained from self-dual cyclic code over $R$ of length $2^sn$ and by a Gray map preserving orthogonality and distances from $R$ onto $\mathbb{F}_{2^m}^2$.


title: K\"ahler-Ricci flow on horospherical manifold

abstract: In this paper, we prove the existence of a Kahler Ricci soliton on any smooth Fano horospherical manifold by a study of the Kahler-Ricci flow. Indeed, we prove that the renormalized Kahler Ricci flow converges in the sense of Cheeger Gromov and that this limit is a Kahler-Ricci soliton.


title: Introducing Control Flow in Qubit Allocation for Quantum Turing Machines

abstract: Different platforms for quantum computation are currently being developed with a steadily increasing number of physical qubits. To make today's devices practical for quantum software engineers, novel programming tools with maximal flexibility have to be developed. One example to extend the applicability of quantum computers to more complex computational problems is quantum control flow. The concept of control flow allows for expanded algorithmic power of the programming language in the form of conditional statements and loops, which a linearly-executed program is incapable of computing. In this work, we introduce a framework to reconcile the non-deterministic properties of quantum control flow when allocating logical qubits from a given quantum circuit to a specific NISQ device in the pre-processing and compiling stage. We consider the respective connectivity and fidelity constraints, with the goal of reducing the expected error rate of the computation. This work will allow for quantum developers and NISQ devices together to more efficiently exploit the compelling algorithmic power that the quantum Turing machine model provides.


title: Contribution of magnetism to the Saturn rings origin

abstract: The magnetization relationships for magnetically uniform spherical particles of the Saturn rings are derived. The problem of a solitary magnetized sphere and spherical particle among identical particles scattered in a disk-like structure is solved. The differential equations of motion of particles in the gravitational and magnetic field are derived. Special cases of these equations are solved exactly, and their solutions suggest that the superposition of the gravitational attraction and repulsion by a magnetic field of the iced particles which possess diamagnetism can account for the stability of Saturn rings.


title: Soliton resolution for the modified KdV equation

abstract: The soliton resolution for the focusing modified Korteweg-de vries (mKdV) equation is established for initial conditions in some weighted Sobolev spaces. Our approach is based on the nonlinear steepest descent method and its reformulation through $\bar{\partial}$-derivatives. From the view of stationary points, we give precise asymptotic formulas along trajectory $x=\textrm{v}t$ for any fixed $ \textrm{v} $. To extend the asymptotics to solutions with initial data in low regularity spaces, we apply a global approximation via PDE techniques. As byproducts of our long-time asymptotics, we also obtain the asymptotic stability of nonlinear structures involving solitons and breathers.


title: Current-driven Rashba Field in a Magnetic Quantum Well

abstract: In materials lacking inversion symmetry, the spin-orbit coupling enables the direct connection between the electron's spin and its linear momentum, a phenomenon called inverse spin galvanic effect. In magnetic materials, this effect promotes current-driven torques that can be used to control the magnetization direction electrically. In this work, we investigate the current-driven inverse spin galvanic effect in a quantum well consisting in a magnetic material embedded between dissimilar insulators. Assuming the presence of Rashba spin-orbit coupling at the interfaces, we investigate the nature of the non-equilibrium spin density and the influence of the quantum well parameters. We find that the torque is governed by the interplay between the number of states participating to the transport and their spin chirality, the penetration of the wave function into the tunnel barriers, and the strength of the Rashba term.


title: ALMA Detection of Vibrationally Excited ($v\mathrm{_t} = 1,2$) Acetic Acid toward NGC 6334I

abstract: Vibrationally excited states of detected interstellar molecules have been shown to account for a large portion of unidentified spectral lines in observed interstellar spectra toward chemically rich sources. Here, we present the first interstellar detection of the first and second vibrationally excited torsional states of acetic acid ($v_\mathrm{t} = 1, 2$) toward the high-mass star-forming region NGC 6334I. The observations presented were taken with the Atacama Large Millimeter/submillimeter Array in bands 4, 6, and 7 covering a frequency range of 130 - 352 GHz. By comparing a single excitation temperature model to the observations, the best-fit excitation temperature and column density are obtained to be 142(25) K and $1.12(7) \times 10^{17} \mathrm{cm^{-2}}$ respectively. Based on the intensity maps of the vibrationally excited CH$_3$COOH transitions, we found that the CH$_3$COOH emissions are compact and concentrated toward the MM1 and MM2 regions with a source size smaller than 2 arcsec. After locating the emission from different CH$_3$COOH transitions, which cover a large range of excitation energies, we are able to explain the variation of the CH$_3$COOH emission peak within the MM2 core by invoking continuum absorption or outflows.


title: Primarily Undergraduate Institutions and the Astronomy Community

abstract: This White Paper highlights the role Primarily Undergraduate Institutions (PUIs) play within the astronomy profession, addressing issues related to employment, resources and support, research opportunities and productivity, and educational and societal impacts, among others. Astronomers working at PUIs are passionate about teaching and mentoring undergraduate students through substantive astronomy experiences, all while working to continue research programs that contribute to the advancement of the professional field of astronomy. PUIs are where the majority of undergraduate students pursue post-secondary education, and as such, understanding the unique challenges and opportunities associated with PUIs is critical to fostering an inclusive astronomy community throughout the next decade. We provide a view of the profession as lived and experienced by faculty and students of PUIs, while highlighting the unique opportunities, challenges, and obstacles routinely faced. A variety of recommendations are outlined to provide the supporting structures and resources needed for astronomy to thrive at PUIs over the next decade and beyond - a critical step for a profession focused on fostering and maintaining an inclusive, supportive, and diverse community.


title: On the smallest singular value of multivariate Vandermonde matrices with clustered nodes

abstract: We prove lower bounds for the smallest singular value of rectangular, multivariate Vandermonde matrices with nodes on the complex unit circle. The nodes are ``off the grid'', groups of nodes cluster, and the studied minimal singular value is bounded below by the product of inverted distances of a node to all other nodes in the specific cluster. By providing also upper bounds for the smallest singular value, this completely settles the univariate case and pairs of nodes in the multivariate case, both including reasonable sharp constants. For larger clusters, we show that the smallest singular value depends also on the geometric configuration within a cluster.


title: Measuring I2P Censorship at a Global Scale

abstract: The prevalence of Internet censorship has prompted the creation of several measurement platforms for monitoring filtering activities. An important challenge faced by these platforms revolves around the trade-off between depth of measurement and breadth of coverage. In this paper, we present an opportunistic censorship measurement infrastructure built on top of a network of distributed VPN servers run by volunteers, which we used to measure the extent to which the I2P anonymity network is blocked around the world. This infrastructure provides us with not only numerous and geographically diverse vantage points, but also the ability to conduct in-depth measurements across all levels of the network stack. Using this infrastructure, we measured at a global scale the availability of four different I2P services: the official homepage, its mirror site, reseed servers, and active relays in the network. Within a period of one month, we conducted a total of 54K measurements from 1.7K network locations in 164 countries. With different techniques for detecting domain name blocking, network packet injection, and block pages, we discovered I2P censorship in five countries: China, Iran, Oman, Qatar, and Kuwait. Finally, we conclude by discussing potential approaches to circumvent censorship on I2P.


title: $L^q$ dimensions of self-similar measures, and applications: a survey

abstract: We present a self-contained proof of a formula for the $L^q$ dimensions of self-similar measures on the real line under exponential separation (up to the proof of an inverse theorem for the $L^q$ norm of convolutions). This is a special case of a more general result of the author from [Shmerkin, Pablo. On Furstenberg's intersection conjecture, self-similar measures, and the $L^q$ norms of convolutions. Ann. of Math., 2019], and one of the goals of this survey is to present the ideas in a simpler, but important, setting. We also review some applications of the main result to the study of Bernoulli convolutions and intersections of self-similar Cantor sets.


title: An Introduction to the Holstein-Primakoff Transformation, with Applications in Magnetic Resonance

abstract: We have witnessed an impressive advancement in computer performance in the last couple of decades. One would therefore expect a trickling down of the benefits of this technological advancement to the borough of computational simulation of multispin magnetic resonance spectra, but that has not been quite the case. Though some significant progress has been made, chiefly by Kuprov and collaborators, one cannot help but observe that there is still much to be done. In our view, the difficulties are not to be entirely ascribed to technology, but, rather, may mostly stem from the inadequacy of the conventional theoretical tools commonly used. We introduce in this paper a set of theoretical tools which can be employed in the description and efficient simulation of multispin magnetic resonance spectra. The so-called Holstein-Primakoff transformation lies at the heart of these, and provides a very close connection to discrete mathematics (from graph theory to number theory). The aim of this paper is to provide a reasonably comprehensive and easy-to-understand introduction to the Holstein-Primakoff (HP) transformation (and related bosons) to researchers and students working in the field of magnetic resonance. We also focus on how through the use of the HP transformation, we can reformulate many challenging computing problems encountered in multispin systems as enumerative combinatoric problems. This, one could say, is the HP transformation's primary forte. As a matter of illustration, our main concern here will be on the use of the HP bosons to characterize and eigendecompose a class of multispin Hamiltonians often employed in high-resolution magnetic resonance.

categories: cond-mat.other math-ph math.MP physics.chem-ph quant-ph


title: Quasi-Noether systems and quasi-Lagrangians

abstract: We study differential systems for which it is possible to establish a correspondence between symmetries and conservation laws based on Noether identity: quasi-Noether systems. We analyze Noether identity and show that it leads to the same conservation laws as Lagrange (Green-Lagrange) identity. We discuss quasi-Noether systems, and some of their properties, and generate classes of quasi-Noether differential equations of the second order. We next introduce a more general version of quasi-Lagrangians which allows us to extend Noether theorem. Here, variational symmetries are only sub-symmetries, not true symmetries. We finally introduce the critical point condition for evolution equations with a conserved integral, demonstrate examples of its compatibility, and compare the invariant submanifolds of quasi-Lagrangian systems with those of Hamiltonian systems.


title: Uniformization with infinitesimally metric measures

abstract: We consider extensions of quasiconformal maps and the uniformization theorem to the setting of metric spaces $X$ homeomorphic to $\mathbb R^2$. Given a measure $\mu$ on such a space, we introduce $\mu$-quasiconformal maps $f:X \to \mathbb R^2$, whose definition involves deforming lengths of curves by $\mu$. We show that if $\mu$ is an infinitesimally metric measure, i.e., it satisfies an infinitesimal version of the metric doubling measure condition of David and Semmes, then such a $\mu$-quasiconformal map exists. We apply this result to give a characterization of the metric spaces admitting an infinitesimally quasisymmetric parametrization.


title: Robust Pixel Gain Calibration with Limited Statistics

abstract: Pixel detectors typically display pixel-to-pixel gain variation of a few percent which result in reduced spectroscopic performance. We have developed a calibration method which relies on cross-correlating histograms of many pixel pairs and obtaining large sets of relative shifts. These were subsequently used to calculate absolute pixel shifts and corresponding pixel gains. We demonstrate that this method yields stable gain calibration maps with an order of magnitude less statistics than required by typical approaches. Finally, we demonstrate the accuracy of the method by comparing with gain maps obtained with good statistics and monochromatic radiation at a synchrotron beamline.


title: Maximal Efficiency of Collisional Penrose Process with Spinning Particle II

abstract: We analyze the collisional Penrose process between a particle on the ISCO orbit around an extreme Kerr black hole and a particle impinging from infinity. We consider both cases with non-spinning and spinning particles. We evaluate the maximal efficiency, $\eta_{\text{max}}=(\text{extracted energy})/(\text{input energy})$, for the elastic collision of two massive particles and for the photoemission process, in which the ISCO particle will escape to infinity after the collision with a massless impinging particle. For non-spinning particles, the maximum efficiency is $\eta_{\text{max}} \approx 2.562$ for the elastic collision and $\eta_{\text{max}} \approx 7$ for the photoemission process. While for spinning particles we obtain the maximal efficiency $\eta_{\text{max}} \approx 8.442$ for the elastic collision and $\eta_{\text{max}} \approx 12.54$ for the photoemission process.


title: Acoustic Scene Classification Using Fusion of Attentive Convolutional Neural Networks for DCASE2019 Challenge

abstract: In this report, the Brno University of Technology (BUT) team submissions for Task 1 (Acoustic Scene Classification, ASC) of the DCASE-2019 challenge are described. Also, the analysis of different methods is provided. The proposed approach is a fusion of three different Convolutional Neural Network (CNN) topologies. The first one is a VGG like two-dimensional CNNs. The second one is again a two-dimensional CNN network which uses Max-Feature-Map activation and called Light-CNN (LCNN). The third network is a one-dimensional CNN which mainly used for speaker verification and called x-vector topology. All proposed networks use self-attention mechanism for statistic pooling. As a feature, we use a 256-dimensional log Mel-spectrogram. Our submissions are a fusion of several networks trained on 4-folds generated evaluation setup using different fusion strategies.


title: High-Quality Protein Force Fields with Noisy Quantum Processors

abstract: A central problem in biophysics and computational drug design is accurate modeling of biomolecules. The current molecular dynamics simulation methods can answer how a molecule inhibits a cancerous cell signaling pathway, or the role of protein misfolding in neurodegenerative diseases. However, the accuracy of current force fields (interaction potential) limits the reliability of computer simulations. Fundamentally a quantum chemistry problem, here we discuss optimizing force fields using scalable ab initio quantum chemistry calculations on quantum computers and estimate the quantum resources required for this task. For a list of dipeptides for local parameterizations, we estimate the required number of qubits to be 1576 to 3808 with cc-pVTZ(-f) orbital basis and 88 to 276 with active space reduction. Using a linear depth ansatz with active-space reduction, we estimate a quantum circuit with a circuit depth of few thousands can be used to simulate these dipeptides. The estimated number of 100s of qubits and a few thousand long circuit depth puts the pharmaceutical application of near-term quantum processors in a realistic perspective.


title: Topology Based Scalable Graph Kernels

abstract: We propose a new graph kernel for graph classification and comparison using Ollivier Ricci curvature. The Ricci curvature of an edge in a graph describes the connectivity in the local neighborhood. An edge in a densely connected neighborhood has positive curvature and an edge serving as a local bridge has negative curvature. We use the edge curvature distribution to form a graph kernel which is then used to compare and cluster graphs. The curvature kernel uses purely the graph topology and thereby works for settings when node attributes are not available.


title: Effect of the Solar dark matter wake on planets

abstract: The Galaxy is conventionally thought to be surrounded by a massive dark matter (DM) halo. As the Sun goes through this halo, it excites a DM wake behind it. This local asymmetry in the DM distribution would gravitationally affect the motions of Solar System planets, potentially allowing the DM wake to be detected or ruled out. Hernandez (2019) recently calculated that the DM-induced perturbation to Saturn's position is 252 metres net of the effect on the Sun. No such anomaly is seen in Saturn's motion despite very accurate tracking of the Cassini spacecraft, which orbited Saturn for >13 years. Here, we revisit the calculation of how much Saturn would deviate from Keplerian motion if we fix its position and velocity at some particular time. The DM wake induces a nearly resonant perturbation whose amplitude grows almost linearly with time. We show that the Hernandez (2019) result applies only for an observing duration comparable to the ${\approx 250}$ million year period of the Sun's orbit around the Galaxy. Over a 100 year period, the perturbation to Saturn's orbit amounts to <1 cm, which is quite consistent with existing observations. Even smaller perturbations are expected for the terrestrial planets.


title: Boosting Resolution and Recovering Texture of micro-CT Images with Deep Learning

abstract: Digital Rock Imaging is constrained by detector hardware, and a trade-off between the image field of view (FOV) and the image resolution must be made. This can be compensated for with super resolution (SR) techniques that take a wide FOV, low resolution (LR) image, and super resolve a high resolution (HR), high FOV image. The Enhanced Deep Super Resolution Generative Adversarial Network (EDSRGAN) is trained on the Deep Learning Digital Rock Super Resolution Dataset, a diverse compilation 12000 of raw and processed uCT images. The network shows comparable performance of 50% to 70% reduction in relative error over bicubic interpolation. GAN performance in recovering texture shows superior visual similarity compared to SRCNN and other methods. Difference maps indicate that the SRCNN section of the SRGAN network recovers large scale edge (grain boundaries) features while the GAN network regenerates perceptually indistinguishable high frequency texture. Network performance is generalised with augmentation, showing high adaptability to noise and blur. HR images are fed into the network, generating HR-SR images to extrapolate network performance to sub-resolution features present in the HR images themselves. Results show that under-resolution features such as dissolved minerals and thin fractures are regenerated despite the network operating outside of trained specifications. Comparison with Scanning Electron Microscope images shows details are consistent with the underlying geometry of the sample. Recovery of textures benefits the characterisation of digital rocks with a high proportion of under-resolution micro-porous features, such as carbonate and coal samples. Images that are normally constrained by the mineralogy of the rock (coal), by fast transient imaging (waterflooding), or by the energy of the source (microporosity), can be super resolved accurately for further analysis downstream.


title: Pathways to Good Healthcare Services and Patient Satisfaction: An Evolutionary Game Theoretical Approach

abstract: Spending by the UK's National Health Service (NHS) on independent healthcare treatment has been increased in recent years and is predicted to sustain its upward trend with the forecast of population growth. Some have viewed this increase as an attempt not to expand the patients' choices but to privatize public healthcare. This debate poses a social dilemma whether the NHS should stop cooperating with Private providers. This paper contributes to healthcare economic modelling by investigating the evolution of cooperation among three proposed populations: Public Healthcare Providers, Private Healthcare Providers and Patients. The Patient population is included as a main player in the decision-making process by expanding patient's choices of treatment. We develop a generic basic model that measures the cost of healthcare provision based on given parameters, such as NHS and private healthcare providers' cost of investments in both sectors, cost of treatments and gained benefits. A patient's costly punishment is introduced as a mechanism to enhance cooperation among the three populations. Our findings show that cooperation can be improved with the introduction of punishment (patient's punishment) against defecting providers. Although punishment increases cooperation, it is very costly considering the small improvement in cooperation in comparison to the basic model.

categories: physics.soc-ph cs.GT cs.MA econ.TH math.DS


title: Higher genus relative Gromov--Witten theory and DR-cycles

abstract: We extend the definition of relative Gromov--Witten invariants with negative contact orders to all genera. Then we show that relative Gromov--Witten theory forms a partial CohFT. Some cycle relations on the moduli space of stable maps are also proved.


title: Energy Conditions in Non-local Gravity

abstract: We investigate the different energy conditions in nonlocal gravity, which is obtained by adding an arbitrary function of d'Alembertian operator, $f(\Box^{-1})$, to the Hilbert- Einstein action. We analyze the validity of four different energy conditions and illustrate the different constraints over parameters of the power law solution as well as de Sitter solution.


title: Brans-Dicke Scalar Field Cosmological Model in Lyra's Geometry

abstract: In this paper, we have developed a new cosmological model in Einstein's modified gravity theory using two types of modification.(i) Geometrical modification, in which we have used Lyra's geometry in the left hand side of the Einstein field equations (EFE) and (ii) Modification in gravity (energy momentum tensor) on right hand side of EFE, as per Brans-Dicke (BD) model. With these two modifications, we have investigated a spatially homogeneous and anisotropic Bianchi type-I cosmological models of Einstein's Brans-Dicke theory of gravitation in Lyra geometry. The model represents accelerating universe at present and decelerating in past and is considered to be dominated by dark energy. Gauge function $\beta$ and BD-scalar field $\phi$ are considered as a candidate for the dark energy and is responsible for the present acceleration. The derived model agrees at par with the recent supernovae (SN Ia) observations. We have set BD-coupling constant $\omega$ to be greater than 40000, seeing the solar system tests and evidences. We have discussed the various physical and geometrical properties of the models and have compared them with the corresponding relativistic models.


title: Low Power Receiver Front Ends: Scaling Laws and Applications

abstract: In this paper, we combine communication-theoretic laws with known, practically verified results from circuit theory. As a result, we obtain closed-form theoretical expressions linking fundamental system design and environment parameters with the power consumption of analog front ends for communication receivers. This collection of scaling laws and bounds is meant to serve as a theoretical reference for practical low power front end design. In one set of results, we first find that the front end power consumption scales at least as SNDR^3/2 if environment parameters (fading and blocker levels) are static. The obtained scaling law is subsequently used to derive relations between front end power consumption and several other important communication system parameters, namely, digital modulation constellation size, symbol error probability, error control coding gain and coding rate. Such relations, in turn, can be used when deciding which system design strategies to adopt for low-power applications. For example, if error control coding is employed, the most energy-efficient strategy for the entire receiver is to use codes with moderate coding gain and simple decoding algorithms, such as convolutional codes. In another collection of results, we find how front end power scales with environment parameters if the performance is kept constant. This yields bounds on average power reduction of receivers that adapt to the communication environment. For instance, if a receiver front end adapts to fading fluctuations while keeping the performance above some given minimum requirement, power can theoretically be reduced at least 20x compared to a non-adaptive front end.


title: Hydrodynamic Simulations using GPGPU Architectures

abstract: Simulating the flow of different fluids can be a highly computational intensive process, which requires large amounts of resources. Recently there has been a lot of research effort directed towards GPU processing, which can greatly increase the performance of different applications, such as Smoothed Particle Hydrodynamics (SPH), which is most commonly used for hydrodynamic simulations. Smoothed particle hydrodynamics (SPH) is a numerical method commonly used in Computational Fluid Dynamics (CFD). It is a method that can simulate particle flow and interaction with structures and highly deformable bodies. It replaces the fluid with a set of particles that carry properties such as mass, speed and position that move according to the governing dynamics. The dynamics of fluids are based on the Navier-Stokes equations. These describe the physical properties of continuous fields in the fluid. SPH approximates these equations using an integral interpolant that is then solved numerically. This article addresses the current state of technologies available that can be used to speed up the algorithm and proposes a set of optimizations that can be achieved by using different frameworks. We also draw conclusions regarding the equilibrium between performance and accuracy, using different numerical algorithms, frameworks and hardware optimizations.


title: Exact sequence between real and complex bivariant K theories and application to the Z2 pairing

abstract: We give some formulas for the ZZ pairing in KO theory using a long exact sequence for bivariant K theory which links real and complex theories. This is discussed under the framework of real structures given by antilinear operators verifying some symmetries. Topological phases protected by time reversal symmetry from condensed matter physics will be discussed.


title: Area Estimates for High genus Lawson surfaces via DPW

abstract: Starting at a saddle tower surface, we give a new existence proof of the Lawson surfaces $\xi_{m,k}$ of high genus by deforming the corresponding DPW potential. As a byproduct, we obtain for fixed $m$ estimates on the area of $ \xi_{m,k}$ in terms of their genus $g=m k \gg1$.


title: The HST Key Project galaxies NGC 1326A, NGC 1425 and NGC 4548: New variable stars and massive star population

abstract: Studies on the massive star population in galaxies beyond the Local Group are the key to understand the link between their numbers and modes of star formation in different environments. We present the analysis of the massive star population of the galaxies NGC 1326A, NGC 1425 and NGC 4548 using archival Hubble Space Telescope Wide Field Planetary Camera 2 images in the F555W and F814W filters. Through high precision point spread function fitting photometry for all sources in the three fields we identified 7640 candidate blue supergiants, 2314 candidate yellow supergiants, and 4270 candidate red supergiants. We provide an estimation the ratio of blue to red supergiants for each field as a function of galactocentric radius. Using Modules for Experiments in Stellar Astrophysics (MESA) at solar metallicity, we defined the luminosity function and estimated the star formation history of each galaxy. We carried out a variability search in the V and I filters using three variability indexes: the median absolute deviation, the interquartile range, and the inverse von-Neumann ratio. This analysis yielded 243 new variable candidates with absolute magnitudes ranging from Mv= -4 to -10 mag. We classified the variable stars based on their absolute magnitude and their position on the color-magnitude diagram using the MESA evolutionary tracks at solar metallicity. Our analysis yielded 8 candidate variable blue supergiants, 12 candidate variable yellow supergiants, 21 candidate variable red supergiants, and 4 candidate periodic variables.


title: Variable degeneracy on toroidal graphs

abstract: Let $f$ be a nonnegative integer valued function on the vertex-set of a graph. A graph is {\bf strictly $f$-degenerate} if each nonempty subgraph $\Gamma$ has a vertex $v$ such that $\deg_{\Gamma}(v) < f(v)$. A {\bf cover} of a graph $G$ is a graph $H$ with vertex set $V(H) = \bigcup_{v \in V(G)} L_{v}$, where $L_{v} = \{\,(v, 1), (v, 2), \dots, (v, \kappa)\,\}$; the edge set $\mathscr{M} = \bigcup_{uv \in E(G)}\mathscr{M}_{uv}$, where $\mathscr{M}_{uv}$ is a matching between $L_{u}$ and $L_{v}$. A vertex set $R \subseteq V(H)$ is a {\bf transversal} of $H$ if $|R \cap L_{v}| = 1$ for each $v \in V(G)$. A transversal $R$ is a {\bf strictly $f$-degenerate transversal} if $H[R]$ is strictly $f$-degenerate. In this paper, we give some structural results on planar and toroidal graphs with forbidden configurations, and give some sufficient conditions for the existence of strictly $f$-degenerate transversal by using these structural results.


title: Two-stage sample robust optimization

abstract: We investigate a simple approximation scheme, based on overlapping linear decision rules, for solving data-driven two-stage distributionally robust optimization problems with the type-$\infty$ Wasserstein ambiguity set. Our main result establishes that this approximation scheme is asymptotically optimal for two-stage stochastic linear optimization problems; that is, under mild assumptions, the optimal cost and optimal first-stage decisions obtained by approximating the robust optimization problem converge to those of the underlying stochastic problem as the number of data points grows to infinity. These guarantees notably apply to two-stage stochastic problems that do not have relatively complete recourse, which arise frequently in applications. In this context, we show through numerical experiments that the approximation scheme is practically tractable and produces decisions which significantly outperform those obtained from state-of-the-art data-driven alternatives.


title: Entropic considerations on the Universe and Universe-Black Hole Systems

abstract: We study the entropic considerations on the Universe system and the Universe-Black hole system, filled by cosmological constant or exotic quintessence-like and phantom-like fields having negative pressure, using their relevant entropic bounds. It turns out that for both systems these considerations single out the cosmological constant, among the negative pressure candidate fields, as the viable cosmological field.


title: Geometric Convergence of Distributed Gradient Play in Games with Unconstrained Action Sets

abstract: We provide a distributed algorithm to learn a Nash equilibrium in a class of non-cooperative games with strongly monotone mappings and unconstrained action sets. Each player has access to her own smooth local cost function and can communicate to her neighbors in some undirected graph. We consider a distributed communication-based gradient algorithm. For this procedure, we prove geometric convergence to a Nash equilibrium. In contrast to our previous works [15], [16], where the proposed algorithms required two parameters to be set up and the analysis was based on a so called augmented game mapping, the procedure in this work corresponds to a standard distributed gradient play and, thus, only one constant step size parameter needs to be chosen appropriately to guarantee fast convergence to a game solution. Moreover, we provide a rigorous comparison between the convergence rate of the proposed distributed gradient play and the rate of the GRANE algorithm presented in [15]. It allows us to demonstrate that the distributed gradient play outperforms the GRANE in terms of convergence speed.


title: Creating Oscillons and Oscillating Kinks in Two Scalar Field Theories

abstract: Oscillons are time-dependent, localized in space, extremely long-lived states in nonlinear scalar-field models, while kinks are topological solitons in one spatial dimension. In the present work, we show new classes of oscillons and oscillating kinks in a system of two nonlinearly coupled scalar fields in $1 + 1$ spatiotemporal dimensions. The solutions contain a control parameter, the variation of which produces oscillons and kinks with a flat-top shape. The model finds applications to condensed matter, cosmology, and high-energy physics.


title: Superconducting qubits beyond the dispersive regime

abstract: Superconducting circuits consisting of a few low-anharmonic transmons coupled to readout and bus resonators can perform basic quantum computations. Since the number of qubits in such circuits is limited to not more than a few tens, the qubits can be designed to operate within the dispersive regime, where frequency detuning are much stronger than coupling strengths. However, scaling up the number of qubits will bring the circuit out of this regime and invalidates current theories. We develop a formalism that allows to consistently diagonalize superconducting circuit hamiltonian beyond dispersive regime. This will allow to study qubit-qubit interaction unperturbatively, therefore our formalism remains valid and accurate at small or even negligible frequency detuning; thus our formalism serves as a theoretical ground for designing qubit characteristics for scaling up the number of qubits in superconducting circuits. We study the most important circuits with single- and two-qubit gates, i.e. a single transmon coupled to a resonator and two transmons sharing a bus resonator. Surprisingly our formalism allows to determine the circuit characteristics, such as dressed frequencies and Kerr couplings, in closed-form formulas that not only reproduce perturbative results but also extrapolate beyond the dispersive regime and can ultimately reproduce (and even modify) the Jaynes-Cumming results at resonant frequencies.


title: Skew-Hermitian operators in real Banach spaces of self-adjoint compact operators

abstract: Let $\mathcal H$ be a complex infinite-dimensional separable Hilbert space, and let $\mathcal K(\mathcal H)$ be the $C^*$-algebra of compact linear operators in $\mathcal H$. Let $(E,\|\cdot\|_E)$ be a symmetric sequence space. If $\{\mu(n,x)\}$ are the singular values of $x\in\mathcal K(\mathcal H)$, let $\mathcal C_E=\{x\in\mathcal K(\mathcal H): \{\mu(n,x)\}\in E\}$ with $\|x\|_{\mathcal C_E}=\|\{\mu(n,x)\}\|_E$, $x\in\mathcal C_E$, be the Banach ideal of compact operators generated by $E$. Let $\mathcal C_E^h=\{x\in\mathcal C_E : x=x^*\}$ be the real Banach subspace of self-adjoint operators in $(\mathcal C_E, \|\cdot\|_{\mathcal C_E})$. We show that in the case when $\mathcal C_E$ is a separable or perfect Banach symmetric ideal, $\mathcal C_E \neq \mathcal C_{l_2}$, for any skew-Hermitian operator $H\colon\mathcal C_E^h \to \mathcal C_E^h$ there exists self-adjoint bounded linear operator $a$ in $\mathcal H$ such that $H(x)=i(xa - ax)$ for all $x\in\mathcal C_E^h$.


title: A Two-Stage Approach to Multivariate Linear Regression with Sparsely Mismatched Data

abstract: A tacit assumption in linear regression is that (response, predictor)-pairs correspond to identical observational units. A series of recent works have studied scenarios in which this assumption is violated under terms such as ``Unlabeled Sensing and ``Regression with Unknown Permutation''. In this paper, we study the setup of multiple response variables and a notion of mismatches that generalizes permutations in order to allow for missing matches as well as for one-to-many matches. A two-stage method is proposed under the assumption that most pairs are correctly matched. In the first stage, the regression parameter is estimated by handling mismatches as contaminations, and subsequently the generalized permutation is estimated by a basic variant of matching. The approach is both computationally convenient and equipped with favorable statistical guarantees. Specifically, it is shown that the conditions for permutation recovery become considerably less stringent as the number of responses $m$ per observation increase. Particularly, for $m = \Omega(\log n)$, the required signal-to-noise ratio no longer depends on the sample size $n$. Numerical results on synthetic and real data are presented to support the main findings of our analysis.


title: Step-by-Step Community Detection in Volume-Regular Graphs

abstract: Spectral techniques have proved amongst the most effective approaches to graph clustering. However, in general they require explicit computation of the main eigenvectors of a suitable matrix (usually the Laplacian matrix of the graph). Recent work (e.g., Becchetti et al., SODA 2017) suggests that observing the temporal evolution of the power method applied to an initial random vector may, at least in some cases, provide enough information on the space spanned by the first two eigenvectors, so as to allow recovery of a hidden partition without explicit eigenvector computations. While the results of Becchetti et al. apply to perfectly balanced partitions and/or graphs that exhibit very strong forms of regularity, we extend their approach to graphs containing a hidden $k$ partition and characterized by a milder form of volume-regularity. We show that the class of $k$-volume-regular graphs is the largest class of undirected (possibly weighted) graphs whose transition matrix admits $k$ "stepwise" eigenvectors (i.e., vectors that are constant over each set of the hidden partition). To obtain this result, we highlight a connection between volume regularity and lumpability of Markov chains. Moreover, we prove that if the stepwise eigenvectors are those associated to the first $k$ eigenvalues and the gap between the $k$-th and the ($k$+1)-th eigenvalues is sufficiently large, the averaging dynamics of Becchetti et al. recovers the underlying community structure of the graph in logarithmic time, with high probability.


title: The Kuramoto model on a sphere: Explaining its low-dimensional dynamics with group theory and hyperbolic geometry

abstract: We study a system of $N$ interacting particles moving on the unit sphere in $d$-dimensional space. The particles are self-propelled and coupled all to all, and their motion is heavily overdamped. For $d=2$, the system reduces to the classic Kuramoto model of coupled oscillators; for $d=3$, it has been proposed to describe the orientation dynamics of swarms of drones or other entities moving about in three-dimensional space. Here we use group theory to explain the recent discovery that the model shows low-dimensional dynamics for all $N \ge 3$, and to clarify why it admits the analog of the Ott-Antonsen ansatz in the continuum limit $N \rightarrow \infty$. The underlying reason is that the system is intimately connected to the natural hyperbolic geometry on the unit ball $B^d$. In this geometry, the isometries form a Lie group consisting of higher-dimensional generalizations of the M\"obius transformations used in complex analysis. Once these connections are realized, the reduced dynamics and the generalized Ott-Antonsen ansatz follow immediately. This framework also reveals the seamless connection between the finite and infinite-$N$ cases. Finally, we show that special forms of coupling yield gradient dynamics with respect to the hyperbolic metric, and use that fact to obtain global stability results about convergence to the synchronized state.


title: Atmospheric Electricity at the Ice Giants

abstract: Lightning was detected by Voyager 2 at Uranus and Neptune, and weaker electrical processes also occur throughout planetary atmospheres from galactic cosmic ray (GCR) ionisation. Lightning is an indicator of convection, whereas electrical processes away from storms modulate cloud formation and chemistry, particularly if there is little insolation to drive other mechanisms. The ice giants appear to be unique in the Solar System in that they are distant enough from the Sun for GCR-related mechanisms to be significant for clouds and climate, yet also convective enough for lightning to occur. This paper reviews observations (both from Voyager 2 and Earth), data analysis and modelling, and considers options for future missions. Radio, energetic particle and magnetic instruments are recommended for future orbiters, and Huygens-like atmospheric electricity sensors for in situ observations. Uranian lightning is also expected to be detectable from terrestrial radio telescopes.


title: Pictures from Super Chern-Simons Theory

abstract: We study super-Chern-Simons theory on a generic supermanifold. After a self-contained review of integration on supermanifolds, the complexes of forms (superforms, pseudo-forms and integral forms) and the extended Cartan calculus are discussed. We then introduce Picture Changing Operators. We provide several examples of computation of PCO's acting on different type of forms. We illustrate also the action of the $\eta$ operator, crucial ingredient to define the interactions of super Chern-Simons theory. Then, we discuss the action for super Chern-Simons theory on any supermanifold, first in the factorized form (3-form $\times$ PCO) and then, we consider the most general expression. The latter is written in term of psuedo-forms containing an infinite number of components. We show that the free equations of motion reduce to the usual Chern-Simons equations yielding the proof of the equivalence between the formulations at different pictures of the same theory. Finally, we discuss the interaction terms. They require a suitable definition in order to take into account the picture number. That implies the construction of a 2-product which is not associative that inherits an $A_\infty$ algebra structure. That shares several similarities with a recent construction of a super string field theory action by Erler, Konopka and Sachs.


title: Vacuum Stability and Symmetry Breaking in Left-Right Symmetric Model

abstract: We derive analytic necessary and sufficient conditions for the vacuum stability of the left-right symmetric model by using the concepts of copositivity and gauge orbit spaces. We also derive the conditions sufficient for successful symmetry breaking and the existence of a correct vacuum. We then compare results obtained from the derived conditions with those from numerical minimization of the scalar potential. Finally, we discuss the renormalization group analysis of the scalar quartic couplings through an example study that satisfies vacuum stability, perturbativity, unitarity and experimental bounds on the physical scalar masses.


title: Object-Capability as a Means of Permission and Authority in Software Systems

abstract: The object-capability model is a security measure that consists in encoding access rights in individual objects to restrict its interactions with other objects. Since its introduction in 2013, different approaches to object-capability have been formalized and implemented. In this paper, we present the object-capability model, and present and discuss the state-of-the-art research in the area. In the end, we conclude, that object capabilities can help in increasing the security of software, although this concept is not widely spread.


title: Direct Calculation of Mutual Information of Distant Regions

abstract: We consider the (Renyi) mutual information, $I^{(n)}(A,B) = S^{(n)}_A+S^{(n)}_{B} - S^{(n)}_{A \cup B}$, of distant compact spatial regions A and B in the vacuum state of a free scalar field. The distance r between A and B is much greater than their sizes $R_{A,B}$. It is known that $I^{(n)}(A,B) \sim C^{(n)}_{AB} \left<0| \phi(r)\phi(0) |0\right>^2$ . We obtain the direct expression of $C^{(n)}_{AB}$ for arbitrary regions A and B. We perform the analytical continuation of $n$ and obtain the mutual information. The direct expression is useful for the numerical computation. By using the direct expression, we can compute directly $I(A,B)$ without computing $S_A, S_B$ and $S_{A \cup B}$ respectively, so it reduces significantly the amount of computation.


title: Efficient Segmentation: Learning Downsampling Near Semantic Boundaries

abstract: Many automated processes such as auto-piloting rely on a good semantic segmentation as a critical component. To speed up performance, it is common to downsample the input frame. However, this comes at the cost of missed small objects and reduced accuracy at semantic boundaries. To address this problem, we propose a new content-adaptive downsampling technique that learns to favor sampling locations near semantic boundaries of target classes. Cost-performance analysis shows that our method consistently outperforms the uniform sampling improving balance between accuracy and computational efficiency. Our adaptive sampling gives segmentation with better quality of boundaries and more reliable support for smaller-size objects.