title: Fast Randomized-MUSIC for mm-Wave Massive MIMO Radars

abstract: Subspace methods are essential to high-resolution environment sensing in the emerging unmanned systems, if further combined with the millimeter-wave (mm-Wave) massive multi-input multi-output (MIMO) technique. The estimation of signal/noise subspace, as one critical step, is yet computationally complex and presents a particular challenge when developing high-resolution yet low-complexity automotive radars. In this work, we develop a fast randomized-MUSIC (R-MUSIC) algorithm, which exploits the random matrix sketching to estimate the signal subspace via approximated computation. Our new approach substantially reduces the time complexity in acquiring a high-quality signal subspace. Moreover, the accuracy of R-MUSIC suffers no degradation unlike others low-complexity counterparts, i.e. the high-resolution angle of arrival (AoA) estimation is attained. Numerical simulations are provided to validate the performance of our R-MUSIC method. As shown, it resolves the long-standing contradiction in complexity and accuracy of MIMO radar signal processing, which hence have great potentials in real-time super-resolution automotive sensing.


title: All-Optical and Microwave-Free Detection of Meissner Screening using Nitrogen-Vacancy Centers in Diamond

abstract: Microscopic studies on thin film superconductors play an important role for probing non-equilibrium phase transitions and revealing dynamics at the nanoscale. However, magnetic sensors with nanometer scale spatial and picosecond temporal resolution are essential for exploring these. Here, we present an all-optical, microwave-free method, that utilizes the negatively charged nitrogen-vacancy (NV) center in diamond as a non-invasive quantum sensor and enables the spatial detection of the Meissner state in a superconducting thin film. We place an NV implanted diamond membrane on a superconducting LSCO thin film. The strong B-field dependence of the NV photoluminescence (PL) allows us to investigate the Meissner screening in LSCO under an externally applied magnetic field in a non-resonant manner.


title: First Cohomology Groups of Minimal Flows

abstract: Our interest in this work is in group extensions of minimal flows with compact abelian groups in the fibres. We study their structure from categorical and algebraic points of view, and describe relations of their dynamics to the one-dimensional algebraic-topological invariants. We determine the first cohomology groups of flows with simply connected acting groups and those of topologically free flows possessing a free cycle. As an application we show that minimal extensions of these flows not only do exist, but they have a rich algebraic structure.


title: Perturbations of copulas and Mixing properties

abstract: This paper explores the impact of perturbations of copulas on the dependence properties of the Markov chains they generate. We consider Markov chains generated by perturbed copulas. Results are provided for the mixing coefficients $\beta_n$, $\psi_n$ and $\phi_n$. Several results are provided on mixing for the considered perturbations. New copula functions are provided in connection with perturbations of variables that induce other types of perturbation of copulas not considered in the literature.


title: Superpixel-based Refinement for Object Proposal Generation

abstract: Precise segmentation of objects is an important problem in tasks like class-agnostic object proposal generation or instance segmentation. Deep learning-based systems usually generate segmentations of objects based on coarse feature maps, due to the inherent downsampling in CNNs. This leads to segmentation boundaries not adhering well to the object boundaries in the image. To tackle this problem, we introduce a new superpixel-based refinement approach on top of the state-of-the-art object proposal system AttentionMask. The refinement utilizes superpixel pooling for feature extraction and a novel superpixel classifier to determine if a high precision superpixel belongs to an object or not. Our experiments show an improvement of up to 26.0% in terms of average recall compared to original AttentionMask. Furthermore, qualitative and quantitative analyses of the segmentations reveal significant improvements in terms of boundary adherence for the proposed refinement compared to various deep learning-based state-of-the-art object proposal generation systems.


title: Sharing pandemic vaccination certificates through blockchain: Case study and performance evaluation

abstract: This work proposes a scalable, blockchain-based platform for the secure sharing of COVID-19 or other disease vaccination certificates. As an indicative use case, we simulate a large-scale deployment by considering the countries of the European Union. The proposed platform is evaluated through extensive simulations in terms of computing resource usage, network response time and bandwidth. Based on the results, the proposed scheme shows satisfactory performance across all major evaluation criteria, suggesting that it can set the pace for real implementations. Vis-\`a-vis the related work, the proposed platform is novel, especially through the prism of a large-scale, full-fledged implementation and its assessment.


title: Chemotactic smoothing of collective migration

abstract: Collective migration -- the directed, coordinated motion of many self-propelled agents -- is a fascinating emergent behavior exhibited by active matter that has key functional implications for biological systems. Extensive studies have elucidated the different ways in which this phenomenon may arise. Nevertheless, how collective migration can persist when a population is confronted with perturbations, which inevitably arise in complex settings, is poorly understood. Here, by combining experiments and simulations, we describe a mechanism by which collectively migrating populations smooth out large-scale perturbations in their overall morphology, enabling their constituents to continue to migrate together. We focus on the canonical example of chemotactic migration of Escherichia coli, in which fronts of cells move via directed motion, or chemotaxis, in response to a self-generated nutrient gradient. We identify two distinct modes in which chemotaxis influences the morphology of the population: cells in different locations along a front migrate at different velocities due to spatial variations in (i) the local nutrient gradient and in (ii) the ability of cells to sense and respond to the local nutrient gradient. While the first mode is destabilizing, the second mode is stabilizing and dominates, ultimately driving smoothing of the overall population and enabling continued collective migration. This process is autonomous, arising without any external intervention; instead, it is a population-scale consequence of the manner in which individual cells transduce external signals. Our findings thus provide insights to predict, and potentially control, the collective migration and morphology of cell populations and diverse other forms of active matter.

categories: physics.bio-ph cond-mat.soft nlin.PS q-bio.PE


title: Coherent $\rm{J/\psi}$ and $\rm{\psi'}$ photoproduction at midrapidity in ultra-peripheral Pb-Pb collisions at $\sqrt{s_{\mathrm{NN}}}~=~5.02$ TeV

abstract: The coherent photoproduction of $\rm{J/\psi}$ and $\rm{\psi'}$ mesons was measured in ultra-peripheral Pb-Pb collisions at a center-of-mass energy $\sqrt{s_{\mathrm{NN}}}~=~5.02$ TeV with the ALICE detector. Charmonia are detected in the central rapidity region for events where the hadronic interactions are strongly suppressed. The $\rm{J/\psi}$ is reconstructed using the dilepton ($l^{+} l^{-}$) and proton-antiproton decay channels, while for the $\rm{\psi'}$, the dilepton and the $l^{+} l^{-} \pi^{+} \pi^{-}$ decay channels are studied. The analysis is based on an event sample corresponding to an integrated luminosity of about 233 ${\mu b}^{-1}$. The results are compared with theoretical models for coherent $\rm{J/\psi}$ and $\rm{\psi'}$ photoproduction. The coherent cross section is found to be in a good agreement with models incorporating moderate nuclear gluon shadowing of about 0.65 at a Bjorken-$x$ of around $6\times 10^{-4}$, such as the EPS09 parametrization, however none of the models is able to fully describe the rapidity dependence of the coherent $\rm{J/\psi}$ cross section including ALICE measurements at forward rapidity. The ratio of $\rm{\psi'}$ to $\rm{J/\psi}$ coherent photoproduction cross sections was also measured and found to be consistent with the one for photoproduction off protons.


title: Toward the endoscopic classification of unipotent representations of $p$-adic $G_2$

abstract: We begin this paper by reviewing the Langlands correspondence for unipotent representations of the exceptional group of type $G_2$ over a $p$-adic field $F$ and present it in an explicit form. Then we compute all ABV-packets, as defined in [CFM+21] following ideas from Vogan's 1993 paper The local Langlands Conjecture, and prove that these packets satisfy properties derived from the expectation that they are generalized A-packets. We attach distributions to ABV-packets for $G_2$ and its endoscopic groups and study a geometric endoscopic transfer of these distributions. This paper builds on earlier work by the same authors.


title: An efficient quantum algorithm for the time evolution of parameterized circuits

abstract: We introduce a novel hybrid algorithm to simulate the real-time evolution of quantum systems using parameterized quantum circuits. The method, named "projected - Variational Quantum Dynamics" (p-VQD) realizes an iterative, global projection of the exact time evolution onto the parameterized manifold. In the small time-step limit, this is equivalent to the McLachlan's variational principle. Our approach is efficient in the sense that it exhibits an optimal linear scaling with the total number of variational parameters. Furthermore, it is global in the sense that it uses the variational principle to optimize all parameters at once. The global nature of our approach then significantly extends the scope of existing efficient variational methods, that instead typically rely on the iterative optimization of a restricted subset of variational parameters. Through numerical experiments, we also show that our approach is particularly advantageous over existing global optimization algorithms based on the time-dependent variational principle that, due to a demanding quadratic scaling with parameter numbers, are unsuitable for large parameterized quantum circuits.


title: From dual-unitary to quantum Bernoulli circuits: Role of the entangling power in constructing a quantum ergodic hierarchy

abstract: Deterministic classical dynamical systems have an ergodic hierarchy, from ergodic through mixing, to Bernoulli systems that are "as random as a coin-toss". Dual-unitary circuits have been recently introduced as solvable models of many-body nonintegrable quantum chaotic systems having a hierarchy of ergodic properties. We extend this to include the apex of a putative quantum ergodic hierarchy which is Bernoulli, in the sense that correlations of single and two-particle observables vanish at space-time separated points. We derive a condition based on the entangling power $e_p(U)$ of the basic two-particle unitary building block, $U$, of the circuit, that guarantees mixing, and when maximized, corresponds to Bernoulli circuits. Additionally we show, both analytically and numerically, how local-averaging over random realizations of the single-particle unitaries, $u_i$ and $v_i$ such that the building block is $U^\prime = (u_1 \otimes u_2 ) U (v_1 \otimes v_2 )$ leads to an identification of the average mixing rate as being determined predominantly by the entangling power $e_p(U)$. Finally we provide several, both analytical and numerical, ways to construct dual-unitary operators covering the entire possible range of entangling power. We construct a coupled quantum cat map which is dual-unitary for all local dimensions and a 2-unitary or perfect tensor for odd local dimensions, and can be used to build Bernoulli circuits.

categories: quant-ph cond-mat.stat-mech hep-th nlin.CD


title: How Geometrical Frustrated Systems Challenge our Notion of Thermodynamics

abstract: Although Boltzmann's definition of entropy, and, hence, the existence of negative temperatures, are widely accepted, we will show scenarios which apparently at a first glance are inconsistent with our normal notion of thermodynamics. This is shown in the framework of stochastic thermodynamics for special geometrical frustrated systems (GFSs), which have maximum entropy at its ground state and constant negative temperature. For two GFSs in weak thermal contact and at same temperature, all energetic constellations are equal probable. A hot and a cool GFS in contact is driven by entropic forces via heat transfer to a most probable state in which the hot GFS is in its ground state. The same holds for a GFS in contact with a gas. As this is not a local maximum of entropy both subsystems maintain different temperatures here. Re-parametrization can transform these non-local into local maxima with corresponding equivalence of re-defined temperatures. However, these temperatures cannot be assigned solely to a subsystem but describe combinations of both.The non-local maxima of entropy restrict the naive application of the zeroth law of thermodynamics. Reformulated this law is still valid with the consequence that a GFS at constant negative temperature can measure positive temperatures. A GFS combined with a polarized paramagnetic spin gas may have a local or non-local maxima of entropy, with equivalent or non-equivalent temperatures, respectively. In case of a local maximum the spin gas can measure the temperature of the GFS, however, it does not reveal information about its energetic state.


title: Affine oriented Frobenius Brauer categories

abstract: To any Frobenius superalgebra $A$ we associate an oriented Frobenius Brauer category and an affine oriented Frobenius Brauer category. We define natural actions of these categories on categories of supermodules for general linear Lie superalgebras $\mathfrak{gl}_{m|n}(A)$ with entries in $A$. These actions generalize those on module categories for general linear Lie superalgebras and queer Lie superalgebras, which correspond to the cases where $A$ is the ground field and the two-dimensional Clifford superalgebra, respectively.


title: Multiple Idiopathic Cervical Root Resorption: A Challenge for a Transdisciplinary Medical-Dental Team

abstract: While tooth root resorption is a normal physiological process required for resorption and exfoliation of primary teeth, root resorption of adult teeth is largely pathological. This perspective focuses on multiple idiopathic cervical root resorption (MICRR), an aggressive form of external root resorption that occurs near the cemento-enamel junction (CEJ). The cause of MICRR remains elusive, however, it is mediated primarily by osteoclasts/odontoclasts. Accumulating case studies and experiments in animal models have provided insights into defining the etiologies and pathophysiological mechanisms for MICRR, which include: systemic conditions and syndromes, inherited genetic variants affecting osteoclast/odontoclast activity, altered periodontal structures, drug-induced root resorption and rebound effects after cessation of anti-resorptive treatment, chemotherapy, exposure to pets or viral infections, and other factors such as inflammatory conditions or trauma. To determine the causative factors, at minimum, a comprehensive health history should be collected for all patients by dental care providers, discussed with other health care providers and appropriate collaborations established. The examples highlighted in this perspective emphasize the need for transdisciplinary research collaborations coupled with integrated management strategies between medicine and dentistry in order to identify cause(s) early and improve clinical outcomes.


title: Sharp detection boundaries on testing dense subhypergraph

abstract: We study the problem of testing the existence of a dense subhypergraph. The null hypothesis is an Erdos-Renyi uniform random hypergraph and the alternative hypothesis is a uniform random hypergraph that contains a dense subhypergraph. We establish sharp detection boundaries in both scenarios: (1) the edge probabilities are known; (2) the edge probabilities are unknown. In both scenarios, sharp detectable boundaries are characterized by the appropriate model parameters. Asymptotically powerful tests are provided when the model parameters fall in the detectable regions. Our results indicate that the detectable regions for general hypergraph models are dramatically different from their graph counterparts.


title: Hydrodynamic limit of a coupled Cucker-Smale system with strong and weak internal variable relaxation

abstract: In this paper, we present the hydrodynamic limit of a multiscale system describing the dynamics of two populations of agents with alignment interactions and the effect of an internal variable. It consists of a kinetic equation coupled with an Euler-type equation inspired by the thermomechanical Cucker--Smale (TCS) model. We propose a novel drag force for the fluid-particle interaction reminiscent of Stokes' law. Whilst the macroscopic species is regarded as a self-organized background fluid that affects the kinetic species, the latter is assumed sparse and does not affect the macroscopic dynamics. We propose two hyperbolic scalings, in terms of a strong and weak relaxation regime of the internal variable towards the background population. Under each regime, we prove the rigorous hydrodynamic limit towards a coupled system composed of two Euler-type equations. Inertial effects of momentum and internal variable in the kinetic species disappear for strong relaxation, whereas a nontrivial dynamics for the internal variable appears for weak relaxation. Our analysis covers both the case of Lipschitz and weakly singular influence functions


title: An Early-Stopping Mechanism for DSCF Decoding of Polar Codes

abstract: Polar codes can be decoded with the low-complexity successive-cancellation flip (SCF) algorithm. To improve error-correction performance, the dynamic successive-cancellation flip (DSCF) variant was proposed, where the resulting error-correction performance is similar to that of the successive-cancellation list algorithm with low to moderate list sizes. Regardless of the variant, the SCF algorithm exhibits a variable execution time with a high (worst-case) latency. In this work, we propose an early-stopping metric used to detect codewords that are likely undecodable such that the decoder can be stopped at earlier stages for those codewords. We then propose a modified version of the DSCF algorithm that integrates our early-stopping metric that exploits the specific properties of DSCF. Compared to the original DSCF algorithm, in the region of interest for wireless communications, simulation results show that our proposed modifications can lead to reductions of 22% to the average execution time and of 45% to the execution-time variance at the cost of a minor error-correction loss of approximately 0.05 dB.


title: Locally uniform domains and extension of bmo functions

abstract: We prove that for a domain $\Omega \subset \mathbb{R}^n$, being $(\epsilon,\delta)$ in the sense of Jones is equivalent to being an extension domain for bmo$(\Omega)$, the nonhonomogeneous version of the space of function of bounded mean oscillation on $\Omega$. In the process we demonstrate that these conditions are equivalent to local versions of two other conditions characterizing uniform domains, one involving the presence of length cigars between nearby points and the other a local version of the quasi-hyperbolic uniform condition. Our results show that the definition of bmo$(\Omega)$ is closely connected to the geometry of the domain.


title: Distance $4$ curves on closed surfaces of arbitrary genus

abstract: Let $S_g$ denote a closed, orientable surface of genus $g \geq 2$ and $\mathcal{C}(S_g)$ be the associated curve complex. The mapping class group of $S_g$, $Mod(S_g)$ acts on $\mathcal{C}(S_g)$ by isometries. Since Dehn twists about certain curves generate $Mod(S_g)$, one can ask how Dehn twists move specific vertices in $\mathcal{C}(S_g)$ away from themselves. We show that if two curves represent vertices at a distance $3$ in $\mathcal{C}(S_g)$ then the Dehn twist of one curve about another yields two vertices at distance $4$. This produces many tractable examples of distance $4$ vertices in $\mathcal{C}(S_g)$. We also show that the minimum intersection number of any two curves at a distance $4$ on $S_g$ is at most $(2g-1)^2$.


title: Propagation of rays in 2D and 3D waveguides: a stability analysis with Lyapunov and Reversibility fast indicators

abstract: Propagation of rays in 2D and 3D corrugated waveguides is performed in the general framework of stability indicators. The analysis of stability is based on the Lyapunov and Reversibility error. It is found that the error growth follows a power law for regular orbits and an exponential law for chaotic orbits. A relation with the Shannon channel capacity is devised and an approximate scaling law found for the capacity increase with the corrugation depth.


title: Complete minors in digraphs with given dichromatic number

abstract: The dichromatic number $\vec{\chi}(D)$ of a digraph $D$ is the smallest $k$ for which it admits a $k$-coloring where every color class induces an acyclic subgraph. Inspired by Hadwiger's conjecture for undirected graphs, several groups of authors have recently studied the containment of directed graph minors in digraphs with given dichromatic number. In this short note we improve several of the existing bounds and prove almost linear bounds by reducing the problem to a recent result of Postle on Hadwiger's conjecture.


title: $p$-hyperbolicity of homotopy groups via $K$-theory

abstract: We show that $S^n \vee S^m$ is $\mathbb{Z}/p^r$-hyperbolic for all primes $p$ and all $r \in \mathbb{Z}^+$, provided $n,m \geq 2$, and consequently that various spaces containing $S^n \vee S^m$ as a $p$-local retract are $\mathbb{Z}/p^r$-hyperbolic. We then give a $K$-theory criterion for a suspension $\Sigma X$ to be $p$-hyperbolic, and use it to deduce that the suspension of a complex Grassmannian $\Sigma Gr_{k,n}$ is $p$-hyperbolic for all odd primes $p$ when $n \geq 3$ and $0<k<n$. We obtain similar results for some related spaces.


title: Black hole perturbation theory and gravitational self-force

abstract: Much of the success of gravitational-wave astronomy rests on perturbation theory. Historically, perturbative analysis of gravitational-wave sources has largely focused on post-Newtonian theory. However, strong-field perturbation theory is essential in many cases such as the quasinormal ringdown following the merger of a binary system, tidally perturbed compact objects, and extreme-mass-ratio inspirals. In this review, motivated primarily by small-mass-ratio binaries but not limited to them, we provide an overview of essential methods in (i) black hole perturbation theory, (ii) orbital mechanics in Kerr spacetime, and (iii) gravitational self-force theory. Our treatment of black hole perturbation theory covers most common methods, including the Teukolsky and Regge-Wheeler-Zerilli equations, methods of metric reconstruction, and Lorenz-gauge formulations, presenting them in a new consistent and self-contained form. Our treatment of orbital mechanics covers quasi-Keplerian and action-angle descriptions of bound geodesics and accelerated orbits, osculating geodesics, near-identity averaging transformations, multiscale expansions, and orbital resonances. Our summary of self-force theory's foundations is brief, covering the main ideas and results of matched asymptotic expansions, local expansion methods, puncture schemes, and point particle descriptions. We conclude by combining the above methods in a multiscale expansion of the perturbative Einstein equations, leading to adiabatic and post-adiabatic evolution schemes. Our presentation is intended primarily as a reference for practitioners but includes a variety of new results. In particular, we present the first complete post-adiabatic waveform-generation framework for generic (nonresonant) orbits in Kerr.


title: Quantify Change of Inertia and Its Distribution in High Renewable Power Grids Using PMU

abstract: This paper proposed an approach to identify the change of inertia distribution in high renewable power systems. Using the footprints of electromechanical wave propagation at the distribution level, this approach provides a new and non-invasive way to aware the system inertia distribution for primary frequency response. Actual measurements and high renewable dynamic models validated effectiveness of the approach.


title: Dynamics of interacting bosons: a compact review

abstract: The success of Gross--Pitevskii and Bogoliubov theories in the description of large systems of interacting bosons led to a substantial effort into rigorously deriving these effective theories. In this work we shall review the related existing literature in the context of dynamics of large bosonic systems.


title: Machine Learning for Initial Value Problems of Parameter-Dependent Dynamical Systems

abstract: We consider initial value problems of nonlinear dynamical systems, which include physical parameters. A quantity of interest depending on the solution is observed. A discretisation yields the trajectories of the quantity of interest in many time points. We examine the mapping from the set of parameters to the discrete values of the trajectories. An evaluation of this mapping requires to solve an initial value problem. Alternatively, we determine an approximation, where the evaluation requires low computation work, using a concept of machine learning. We employ feedforward neural networks, which are fitted to data from samples of the trajectories. Results of numerical computations are presented for a test example modelling an electric circuit.


title: Electronic Structure of Cesium-based Photocathode Materials from Density Functional Theory: Performance of PBE, SCAN, and HSE06 functionals

abstract: The development of novel materials for vacuum electron sources in particle accelerators is an active field of research that can greatly benefit from the results of \textit{ab initio} calculations for the characterization of the electronic structure of target systems. As state-of-the-art many-body perturbation theory calculations are too expensive for large-scale material screening, density functional theory offers the best compromise between accuracy and computational feasibility. The quality of the obtained results, however, crucially depends on the choice of the exchange-correlation potential, $v_{xc}$. To address this essential point, we systematically analyze the performance of three popular approximations of $v_{xc}$ (PBE, SCAN, and HSE06) on the structural and electronic properties of bulk Cs$_3$Sb and Cs$_2$Te, two representative materials of Cs-based semiconductors employed in photocathode applications. Among the adopted approximations, PBE shows expectedly the largest discrepancies from the target: the unit cell volume is overestimated compared to the experimental value, while the band gap is severely underestimated. On the other hand, both SCAN and HSE06 perform remarkably well in reproducing both structural and electronic properties. Spin-orbit coupling, which mainly impacts the valence region of both materials inducing a band splitting and, consequently, a band-gap reduction of the order of 0.2 eV, is equally captured by all functionals. Our results indicate SCAN as the best trade-off between accuracy and computational costs, outperforming the considerably more expensive HSE06.


title: Poisson equation for genus two string invariants: a conjecture

abstract: We consider some string invariants at genus two that appear in the analysis of the $D^8\mathcal{R}^4$ and $D^6\mathcal{R}^5$ interactions in type II string theory. We conjecture a Poisson equation involving them and the Kawazumi--Zhang invariant based on their asymptotic expansions around the non--separating node in the moduli space of genus two Riemann surfaces.


title: The Potential in Frege's Theorem

abstract: Is a logicist bound to the claim that as a matter of analytic truth there is an actual infinity of objects? If Hume's Principle is analytic then in the standard setting the answer appears to be yes. Hodes's work pointed to a way out by offering a modal picture in which only a potential infinity was posited. However, this project was abandoned due to apparent failures of cross-world predication. We re-explore this idea and discover that in the setting of the potential infinite one can interpret first-order Peano arithmetic, but not second-order Peano arithmetic. We conclude that in order for the logicist to weaken the metaphysically loaded claim of necessary actual infinities, they must also weaken the mathematics they recover.


title: Superconductivity and strong anharmonicity in novel Nb-S phases

abstract: In this work we explore the phase diagram of the binary Nb-S system from ambient pressures up to 250 GPa using $ab$ $initio$ evolutionary crystal structure prediction. We find several new stable compositions and phases, especially in the high-pressure regime, and investigate their electronic, vibrational, and superconducting properties. Our calculations show that all materials, besides the low-pressure phases of pure sulfur, are metals with low electron-phonon coupling strengths and critical superconducting temperatures below 15 K. Furthermore, we investigate the effects of phonon anharmonicity on lattice dynamics, electron-phonon interactions, and superconductivity for the novel high-pressure phase of $\mathrm{Nb}_2\mathrm{S}$, demonstrating that the inclusion of anharmonicity stabilizes the lattice and enhances the electron-phonon interaction.


title: Chromospheric and coronal heating and jet acceleration due to reconnection driven by flux cancellation. I. At a three-dimensional current sheet

abstract: Context. The recent discovery of much greater magnetic flux cancellation taking place at the photosphere than previously realised has led us in our previous works to suggest magnetic reconnection driven by flux cancellation as the cause of a wide range of dynamic phenomena, including jets of various kinds and solar atmospheric heating. Aims. Previously, the theory considered energy release at a two-dimensional current sheet. Here we develop the theory further by extending it to an axisymmetric current sheet in three dimensions without resorting to complex variable theory. Methods. We analytically study reconnection and treat the current sheet as a three-dimensional structure. We apply the theory to the cancellation of two fragments of equal but opposite flux that approach each another and are located in an overlying horizontal magnetic field. Results. The energy release occurs in two phases. During Phase 1, a separator is formed and reconnection is driven at it as it rises to a maximum height and then moves back down to the photosphere, heating the plasma and accelerating a plasma jet as it does so. During Phase 2 the fluxes cancel in the photosphere and accelerate a mixture of cool and hot plasma upwards.


title: Cyclic stress-dilatancy relations and associated flow for soils based on hypothesis of complementarity of stress-dilatancy conjugates

abstract: Applicability of associated plasticity for particulate materials such as soils does not yield satisfactory results when Coulomb's theory of shear strength of soils is assumed, and the yield function derived accordingly is used to define both the stress state and the direction of plastic flow. The limitation mainly stems from the fact that Coulomb's theory (and its derivatives) is a simplification that intentionally ignores deformation characteristics that manifest from the particulate nature of such materials. It is thus customary to apply a branch of plasticity called non-associated plasticity for soils and similar materials. In the non-associated plasticity framework, yield functions and plastic potential functions are different. The former defines the mobilization of the stress state while the later defines the direction of plastic flow. For soils, stress-dilatancy theories have become central in the formulation of non-associated flow rules. In this paper, cyclic stress-dilatancy relations are derived based on complementarity hypothesis of stress-dilatancy conjugates. Both loading and unloading are explicitly considered. Then, yield functions are derived based on the resulting stress-dilatancy relations. In so doing, the resulting yield functions are rendered with a quality to be used for the modelling of deformation behavior of soils subjected to monotonic and cyclic loading conditions. The newly derived yield functions are called Associated Cyclic Stress Dilatancy yield functions for which the abbreviation ACStD is used. The theoretical framework is established first for special cases of deformation modes-plane strain and axisymmetric. The framework is generalized for considering Lode angle dependency of the yield function and extending the Matusoka-Nakai criterion.


title: Comparison of the physical properties of the L4 and L5 Trojan asteroids from ATLAS data

abstract: Jupiter has nearly 8000~known co-orbital asteroids orbiting in the L4 and L5 Lagrange points called Jupiter Trojan asteroids. Aside from the greater number density of the L4 cloud the two clouds are in many ways considered to be identical. Using sparse photometric data taken by the Asteroid Terrestrial-impact Last Alert System (ATLAS) for 863 L4 Trojans and 380 L5 Trojans we derive the shape distribution for each of the clouds and find that, on average, the L4 asteroids are more elongated than the L5 asteroids. This shape difference is most likely due to the greater collision rate in the L4 cloud that results from its larger population. We additionally present the phase functions and $c-o$ colours of 266~objects.


title: Discovery of the acetyl cation, CH3CO+, in space and in the laboratory

abstract: Using the Yebes 40m and IRAM 30m radiotelescopes, we detected two series of harmonically related lines in space that can be fitted to a symmetric rotor. The lines have been seen towards the cold dense cores TMC-1, L483, L1527, and L1544. High level of theory ab initio calculations indicate that the best possible candidate is the acetyl cation, CH3CO+, which is the most stable product resulting from the protonation of ketene. We have produced this species in the laboratory and observed its rotational transitions Ju = 10 up to Ju = 27. Hence, we report the discovery of CH3CO+ in space based on our observations, theoretical calculations, and laboratory experiments. The derived rotational and distortion constants allow us to predict the spectrum of CH3CO+ with high accuracy up to 500 GHz. We derive an abundance ratio N(H2CCO)/N(CH3CO+) = 44. The high abundance of the protonated form of H2CCO is due to the high proton affinity of the neutral species. The other isomer, H2CCOH+, is found to be 178.9 kJ/mol above CH3CO+. The observed intensity ratio between the K=0 and K=1 lines, 2.2, strongly suggests that the A and E symmetry states have suffered interconversion processes due to collisions with H and/or H2, or during their formation through the reaction of H3+ with H2CCO.


title: Wild Randomness, and the application of Hyperbolic Diffusion in Financial Modelling

abstract: The application of the Cauchy distribution has often been discussed as a potential model of the financial markets. In particular the way in which single extreme, or "Black Swan", events can impact long term historical moments, is often cited. In this article we show how one can construct Martingale processes, which have marginal distributions that tend to the Cauchy distribution in the large volatility limit. This provides financial justification to approaches discussed by other authors, and highlights an example of how quantum probability can be used to construct non-Gaussian Martingales. We go on to illustrate links with hyperbolic diffusion, and discuss the insight this provides.


title: Non-Orthogonal Multiple Access and Network Slicing: Scalable Coexistence of eMBB and URLLC

abstract: The 5G systems will feature three generic services: enhanced Mobile BroadBand (eMBB), massive Machine-Type Communications (mMTC) and Ultra-Reliable and Low-Latency Communications (URLLC). The diverse requirements of these services in terms of data-rates, number of connected devices, latency and reliability can lead to a sub-optimal use of the 5G network, thus network slicing is proposed as a solution that creates customized slices of the network specifically designed to meet the requirements of each service. Under the network slicing, the radio resources can be shared in orthogonal and non-orthogonal schemes. Motivated by Industrial Internet of Things (IIoT) scenarios where a large number of sensors may require connectivity with stringent requirements of latency and reliability, we propose the use of Non-Orthogonal Multiple Access (NOMA) to improve the number of URLLC users that are connected in the uplink to the same base station (BS), for both orthogonal and non-orthogonal network slicing with eMBB users. The multiple URLLC users transmit simultaneously and across multiple frequency channels. We set the reliability requirements for the two services and analyze their pair of sum rates. We show that, even with overlapping transmissions from multiple eMBB and URLLC users, the use of NOMA techniques allows us to guarantee the reliability requirements for both services.


title: The effect of disorder on quenched and averaged large deviations for random walks in random environments: boundary behavior

abstract: For a random walk in a uniformly elliptic and i.i.d. environment on $\mathbb Z^d$ with $d \geq 4$, we show that the quenched and annealed large deviations rate functions agree on any compact set contained in the boundary $\partial \mathbb{D}:=\{ x \in \mathbb R^d : |x|_1 =1\}$ of their domain which does not intersect any of the $(d-2)$-dimensional facets of $\partial \mathbb{D}$, provided that the disorder of the environment is~low~enough. As a consequence, we obtain a simple explicit formula for both rate functions on $\partial \mathbb{D}$ at low disorder. In contrast to previous works, our results do not assume any ballistic behavior of the random walk and are not restricted to neighborhoods of any given point (on the boundary $\partial \mathbb{D}$). In addition, our~results complement those in [BMRS19], where, using different methods, we investigate the equality of the rate functions in the interior of their domain. Finally, for a general parametrized family of environments, we~show that the strength of disorder determines a phase transition in the equality of both rate functions, in the sense that for each $x \in \partial \mathbb{D}$ there exists $\varepsilon_x$ such that the two rate functions agree at $x$ when the disorder is smaller than $\varepsilon_x$ and disagree when its larger. This further reconfirms the idea, introduced in [BMRS19], that the disorder of the environment is in general intimately related with the equality of the rate functions.


title: When is settling important for particle concentrations in wall-bounded turbulent flows?

abstract: We explore the role of gravitational settling on inertial particle concentrations in a wall-bounded turbulent flow. While it may be thought that settling can be ignored when the settling parameter $Sv\equiv v_s/u_\tau$ is small ($v_s$ - Stokes settling velocity, $u_\tau$ - fluid friction velocity), we show that even in this regime the settling may make a leading order contribution to the concentration profiles. This is because the importance of settling is determined, not by the size of $v_s$ compared with $u_\tau$ or any other fluid velocity scale, but by the size of $v_s$ relative to the other mechanisms that control the vertical particle velocity and concentration profile. We explain this in the context of the particle mean-momentum equation, and show that in general, there always exists a region in the boundary layer where settling cannot be neglected, no matter how small $Sv$ is (provided it is finite). Direct numerical simulations confirm the arguments, and show that the near-wall concentration is highly dependent on $Sv$ even when $Sv\ll 1$, and can reduce by an order of magnitude when $Sv$ is increased from $O(10^{-4})$ and $O(10^{-2})$. The results also show that the preferential sampling of ejection events in the boundary layer by inertial particles when $Sv=0$ is profoundly altered as $Sv$ is increased, and is replaced by a preferential sampling of sweep events due to the onset of the preferential sweeping mechanism.


title: Implementation of OpenAirInterface-based real-world channel measurement for evaluating wireless transmission algorithms

abstract: The fourth-generation Wireless Technology (4G) has been adopted by all major operators in the world and has already ruled the cellular landscape for around a decade. A lot of researches and new technologies are being considered as potential elements contributing to the next generation wireless communication (5G). The lack of realistic and flexible experimentation platforms for collecting real communication data has limited and slowed the landing of new approaches. Software Defined Radio (SDR) can provide flexible, upgradable, and long lifetime radio equipment for the wireless communications infrastructure, which can also provide more flexible and possibly cheaper multi-standard-terminals for end users. By altering the open-source code individually, we can freely perform the real value measurement. This paper provides a real Long Term Evolution (LTE) channel measurement method based on the OpenAirInterface (OAI) for the evaluation of the channel prediction algorithm. Firstly, the experimentation platform will be established by using OAI, Universal Software Radio Peripheral (USRP), and commercial User Equipment (UE). Then, some source codes of OAI are analyzed and changed, so that the real-time over-the-air channel measurement can be achieved. The results from the measurement are then trained and tested on the channel prediction algorithm. The results of the test illustrate that the implemented channel measurement method can meet the need for algorithms' verification and can be further extended for more development of algorithms.


title: Idele class groups with modulus

abstract: We prove Bloch's formula for the Chow group of 0-cycles with modulus on smooth projective varieties over finite fields. The proof relies on two new results in global ramification theory.


title: Locating highly connected clusters in large networks with HyperLogLog counters

abstract: In this paper we introduce a new method to locate highly connected clusters in a network. Our proposed approach adapts the HyperBall algorithm to localize regions with a high density of small subgraph patterns in large graphs in a memory-efficient manner. We use this method to evaluate three measures of subgraph connectivity: conductance, the number of triangles, and transitivity. We demonstrate that our algorithm, applied to these measures, helps to identify clustered regions in graphs, and provides good seed sets for community detection algorithms such as PageRank-Nibble. We analytically obtain the performance guarantees of our new algorithms, and demonstrate their effectiveness in a series of numerical experiments on synthetic and real-world networks.


title: Directed Hybrid Random Networks Mixing Preferential Attachment with Uniform Attachment Mechanisms

abstract: Motivated by the complexity of network data, we propose a directed hybrid random network that mixes preferential attachment (PA) rules with uniform attachment (UA) rules. When a new edge is created, with probability $p\in [0,1]$, it follows the PA rule. Otherwise, this new edge is added between two uniformly chosen nodes. Such mixture makes the in- and out-degrees of a fixed node grow at a slower rate, compared to the pure PA case, thus leading to lighter distributional tails. Useful inference methods for the proposed hybrid model are then provided and applied to both synthetic and real datasets. We see that with extra flexibility given by the parameter $p$, the hybrid random network provides a better fit to real-world scenarios, where lighter tails from in- and out-degrees are observed.


title: Comment on "The Winfree model with non-infinitesimal phase-response curve: Ott-Antonsen theory" [Chaos 30, 073139 (2020)]

abstract: In a recent paper [Chaos 30, 073139 (2020)] we analyzed an extension of the Winfree model with nonlinear interactions. The nonlinear coupling function Q was mistakenly identified with the non-infinitesimal phase-response curve (PRC). Here, we asses to what extent Q and the actual PRC differ in practice. By means of numerical simulations, we compute the PRCs corresponding to the Q functions previously considered. The results confirm a qualitative similarity between the PRC and the coupling function Q in all cases.


title: Host-Kra theory for $\bigoplus_{p\in P}\mathbb{F}_p$- Systems and multiple recurrence

abstract: Let $\mathcal{P}$ be an (unbounded) countable multiset of primes (i.e. every prime may appear multiple times) and let $G=\bigoplus_{p\in \mathcal{P}}\mathbb{F}_p$. We develop a Host-Kra structure theory for the universal characteristic factors of an ergodic $G$-system. More specifically, we generalize the main results of Bergelson Tao and Ziegler who studied these factors in the special case $\mathcal{P}=\{p,p,p,...\}$ for some fixed prime $p$. As an application we deduce a Khintchine-type recurrence theorem in the flavor of Bergelson Tao and Ziegler and Bergelson Host and Kra.


title: M\v{e}j P\v{r}ehled / Be informed

abstract: The amount of information available to the general public is enormous, and it is challenging to extract meaningful and reliable content. The availability of news sources and their trustability are the biggest problems for selecting the proper authority. Moreover, news providers' inability to publish good news on social media creates a gap for young people to access trustworthy information. This article describes an automated system that can extract the essential news and publish them in a different form on social media networks.


title: Toward Effective Automated Content Analysis via Crowdsourcing

abstract: Many computer scientists use the aggregated answers of online workers to represent ground truth. Prior work has shown that aggregation methods such as majority voting are effective for measuring relatively objective features. For subjective features such as semantic connotation, online workers, known for optimizing their hourly earnings, tend to deteriorate in the quality of their responses as they work longer. In this paper, we aim to address this issue by proposing a quality-aware semantic data annotation system. We observe that with timely feedback on workers' performance quantified by quality scores, better informed online workers can maintain the quality of their labeling throughout an extended period of time. We validate the effectiveness of the proposed annotation system through i) evaluating performance based on an expert-labeled dataset, and ii) demonstrating machine learning tasks that can lead to consistent learning behavior with 70%-80% accuracy. Our results suggest that with our system, researchers can collect high-quality answers of subjective semantic features at a large scale.


title: Average conservative chaos in quantum dusty plasmas

abstract: We consider a hydrodynamic model of a quantum dusty plasma. We prove mathematically that the resulting dust ion acoustic plasma waves present the property of being conservative on average. Furthermore, we test this property numerically, confirming its validity. Using standard techniques from the study of dynamical systems, as for example the Lyapunov characteristic exponents, we investigate the chaotic dynamics of the plasma and show numerically its existence for a wide range of parameter values. Finally, we illustrate how chaotic dynamics organizes in the parameter space for fixed values of the initial conditions, as the Mach number and the quantum diffraction parameter are continuously varied.


title: AI- and HPC-enabled Lead Generation for SARS-CoV-2: Models and Processes to Extract Druglike Molecules Contained in Natural Language Text

abstract: Researchers worldwide are seeking to repurpose existing drugs or discover new drugs to counter the disease caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). A promising source of candidates for such studies is molecules that have been reported in the scientific literature to be drug-like in the context of coronavirus research. We report here on a project that leverages both human and artificial intelligence to detect references to drug-like molecules in free text. We engage non-expert humans to create a corpus of labeled text, use this labeled corpus to train a named entity recognition model, and employ the trained model to extract 10912 drug-like molecules from the COVID-19 Open Research Dataset Challenge (CORD-19) corpus of 198875 papers. Performance analyses show that our automated extraction model can achieve performance on par with that of non-expert humans.


title: Social Media, Content Moderation, and Technology

abstract: This paper develops a theoretical model to study the economic incentives for a social media platform to moderate user-generated content. We show that a self-interested platform can use content moderation as an effective marketing tool to expand its installed user base, to increase the utility of its users, and to achieve its positioning as a moderate or extreme content platform. The optimal content moderation strategy differs for platforms with different revenue models, advertising or subscription. We also show that a platform's content moderation strategy depends on its technical sophistication. Because of imperfect technology, a platform may optimally throw away the moderate content more than the extreme content. Therefore, one cannot judge how extreme a platform is by just looking at its content moderation strategy. Furthermore, we show that a platform under advertising does not necessarily benefit from a better technology for content moderation, but one under subscription does. This means that platforms under different revenue models can have different incentives to improve their content moderation technology. Finally, we draw managerial and policy implications from our insights.


title: Von Neumann algebra conditional expectations with applications to generalized representing measures for noncommutative function algebras

abstract: We establish several deep existence criteria for conditional expectations on von Neumann algebras, and then apply this theory to develop a noncommutative theory of representing measures of characters of a function algebra. Our main cycle of results describes what may be understood as a `noncommutative Hoffman-Rossi theorem' giving the existence of weak* continuous `noncommutative representing measures' for so-called D-characters. These results may also be viewed as `module' Hahn-Banach extension theorems for weak* continuous `characters' into possibly noninjective von Neumann algebras. In closing we introduce the notion of `noncommutative Jensen measures', and show that as in the classical case representing measures of logmodular algebras are Jensen measures. The proofs of the two main cycles of results rely on the delicate interplay of Tomita-Takesaki theory, noncommutative Radon-Nikodym derivatives, Connes cocycles, Haagerup noncommutative Lp-spaces, Haagerup's reduction theorem, etc.


title: Quickest Detection and Forecast of Pandemic Outbreaks: Analysis of COVID-19 Waves

abstract: The COVID-19 pandemic has, worldwide and up to December 2020, caused over 1.7 million deaths, and put the world's most advanced healthcare systems under heavy stress. In many countries, drastic restrictive measures adopted by political authorities, such as national lockdowns, have not prevented the outbreak of new pandemic's waves. In this article, we propose an integrated detection-estimation-forecasting framework that, using publicly available data, is designed to: (i) learn relevant features of the pandemic (e.g., the infection rate); (ii) detect as quickly as possible the onset (or the termination) of an exponential growth of the contagion; and (iii) reliably forecast the pandemic evolution. The proposed solution is validated by analyzing the COVID-19 second and third waves in the USA.


title: Ideal of hypercyclic operators that factor through $\ell^p$

abstract: We study the injective and surjective hull of operator ideals generated by hypercyclic backward weighted shifts that factor through $\ell^p$.


title: Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types

abstract: Modern web programming involves coordinating interactions between browser clients and a server. Typically, the interactions in web-based distributed systems are informally described, making it hard to ensure correctness, especially communication safety, i.e. all endpoints progress without type errors or deadlocks, conforming to a specified protocol. We present STScript, a toolchain that generates TypeScript APIs for communication-safe web development over WebSockets, and RouST, a new session type theory that supports multiparty communications with routing mechanisms. STScript provides developers with TypeScript APIs generated from a communication protocol specification based on RouST. The generated APIs build upon TypeScript concurrency practices, complement the event-driven style of programming in full-stack web development, and are compatible with the Node.js runtime for server-side endpoints and the React.js framework for browser-side endpoints. RouST can express multiparty interactions routed via an intermediate participant. It supports peer-to-peer communication between browser-side endpoints by routing communication via the server in a way that avoids excessive serialisation. RouST guarantees communication safety for endpoint web applications written using STScript APIs. We evaluate the expressiveness of STScript for modern web programming using several production-ready case studies deployed as web applications.


title: First measurement of the ${\mathbf{|\textit t|}}$-dependence of coherent $\mathbf{\rm{J/\psi}}$ photonuclear production

abstract: The first measurement of the cross section for coherent J/$\psi$ photoproduction as a function of $|t|$, the square of the momentum transferred between the incoming and outgoing target nucleus, is presented. The data were measured with the ALICE detector in ultra-peripheral Pb-Pb collisions at a centre-of-mass energy per nucleon pair $\sqrt{s_{\rm NN}} = 5.02$ TeV with the J/$\psi$ produced in the central rapidity region $|y|<0.8$, which corresponds to the small Bjorken-$x$ range $(0.3-1.4) \times 10^{-3}$. The measured $|t|$-dependence is not described by computations based only on the Pb nuclear form factor, while the photonuclear cross section is better reproduced by models including shadowing according to the leading-twist approximation, or gluon-saturation effects from the impact-parameter dependent Balitsky-Kovchegov equation. These new results are therefore a valid tool to constrain the relevant model parameters and to investigate the transverse gluonic structure at very low Bjorken-$x$.


title: Reconstructing the Bulk Dual of ABJM from Holographic Entanglement Entropy

abstract: Recent work has shown that entanglement and the structure of spacetime are intimately related. One way to investigate this is to begin with an entanglement entropy in a conformal field theory (CFT) and use the AdS/CFT correspondence to calculate the bulk metric. We perform this calculation for ABJM, a particular 3-dimensional supersymmetric CFT (SCFT), in its ground state. In particular we are able to reconstruct the pure AdS4 metric from the holographic entanglement entropy of the boundary ABJM theory in its ground state. Moreover, we are able to predict the correct AdS radius purely from entanglement. We also address the general philosophy of relating entanglement and spacetime through the Holographic Principle, as well as some of the philosophy behind our calculations.


title: Excitation of resonant surface plasmons for evanescent waves refocusing by a superlens

abstract: The amplification of evanescent waves by flat superlens requires a near-resonance coupling which has been linked to resonant surface plasmons. A subtle interplay has been proposed to exist between the excitation of well-defined resonant surface plasmons and the focusing capability of a superlens. To gain insights into these resonant modes and their contributions to the amplification and recovery of evanescent waves, we performed simple but robust full-wave FDTD simulations on causal negative index Lorentz models. We found that well-defined pair of resonant surface plasmons is excited whenever a coupling of a diverging transmitted beam and a converging refracted beam occurs at the second interface. The resonant coupling of these modes at the interface led to the excitation of a single interface resonance predicted by the theory. The physical consequence of this resonance is that incident wave energy is pumped into the negative-index material medium and beyond it. These phenomena contribute substantially to the amplification and recovery of the near-fields in the image plane. It is noteworthy that, for evanescent wave refocusing to be achieved in a flat superlens, its thickness, and the source-to-superlens distance should be optimized. This optimization is critical in that an optimal thickness alongside optimal source-to-superlens distance will allow evanescent wave refocusing to dominate material lost. The FDTD simulated result showed an image of the point source inside the superlens and beyond it when its thickness was optimized. The resolution of the image beyond the superlens was $\sim.58\lambda$ and this superlens behaves like a near-perfect lens. Overall, these numerically simulated results could serve as useful approximations to the degree of resonant amplification and refocusing of near-fields that can be achieved by flat superlens in near-fields experimental imaging setups.


title: Predicting Relative Depth between Objects from Semantic Features

abstract: Vision and language tasks such as Visual Relation Detection and Visual Question Answering benefit from semantic features that afford proper grounding of language. The 3D depth of objects depicted in 2D images is one such feature. However it is very difficult to obtain accurate depth information without learning the appropriate features, which are scene dependent. The state of the art in this area are complex Neural Network models trained on stereo image data to predict depth per pixel. Fortunately, in some tasks, its only the relative depth between objects that is required. In this paper the extent to which semantic features can predict course relative depth is investigated. The problem is casted as a classification one and geometrical features based on object bounding boxes, object labels and scene attributes are computed and used as inputs to pattern recognition models to predict relative depth. i.e behind, in-front and neutral. The results are compared to those obtained from averaging the output of the monodepth neural network model, which represents the state-of-the art. An overall increase of 14% in relative depth accuracy over relative depth computed from the monodepth model derived results is achieved.


title: Queue-Learning: A Reinforcement Learning Approach for Providing Quality of Service

abstract: End-to-end delay is a critical attribute of quality of service (QoS) in application domains such as cloud computing and computer networks. This metric is particularly important in tandem service systems, where the end-to-end service is provided through a chain of services. Service-rate control is a common mechanism for providing QoS guarantees in service systems. In this paper, we introduce a reinforcement learning-based (RL-based) service-rate controller that provides probabilistic upper-bounds on the end-to-end delay of the system, while preventing the overuse of service resources. In order to have a general framework, we use queueing theory to model the service systems. However, we adopt an RL-based approach to avoid the limitations of queueing-theoretic methods. In particular, we use Deep Deterministic Policy Gradient (DDPG) to learn the service rates (action) as a function of the queue lengths (state) in tandem service systems. In contrast to existing RL-based methods that quantify their performance by the achieved overall reward, which could be hard to interpret or even misleading, our proposed controller provides explicit probabilistic guarantees on the end-to-end delay of the system. The evaluations are presented for a tandem queueing system with non-exponential inter-arrival and service times, the results of which validate our controller's capability in meeting QoS constraints.


title: Intersection cohomology of rank two character varieties of surface groups

abstract: For $G = \mathrm{GL}_2, \mathrm{SL}_2, \mathrm{PGL}_2$ we compute the intersection E-polynomials and the intersection Poincar\'e polynomials of the $G$-character variety of a compact Riemann surface $C$ and of the moduli space of $G$-Higgs bundles on $C$ of degree zero. We derive several results concerning the P=W conjectures for these singular moduli spaces.


title: A parsec-scale faint jet in the nearby changing-look Seyfert galaxy Mrk 590

abstract: Broad Balmer emission lines in active galactic nuclei (AGN) may display dramatic changes in amplitude, even disappearance and re-appearance in some sources. As a nearby galaxy at a redshift of z = 0.0264, Mrk 590 suffered such a cycle of Seyfert type changes between 2006 and 2017. Over the last fifty years, Mrk 590 also underwent a powerful continuum outburst and a slow fading from X-rays to radio wavelengths with a peak bolometric luminosity reaching about ten per cent of the Eddington luminosity. To track its past accretion and ejection activity, we performed very long baseline interferometry (VLBI) observations with the European VLBI Network (EVN) at 1.6 GHz in 2015. The EVN observations reveal a faint (~1.7 mJy) radio jet extending up to ~2.8 mas (projected scale ~1.4 pc) toward north, and probably resulting from the very intensive AGN activity. To date, such a parsec-scale jet is rarely seen in the known changing-look AGN. The finding of the faint jet provides further strong support for variable accretion as the origin of the type changes in Mrk 590.


title: 3D tomography of the nucleon: transverse-momentum-dependent gluon distributions

abstract: We perform explorative analyses of the 3D gluon content of the proton via a study of (un)polarized twist-2 gluon TMDs, calculated in a spectator model for the parent nucleon. Our approach encodes a flexible parametrization for the spectator-mass density, suited to describe both moderate and small-$x$ effects. All these prospective developments are relevant in the investigation of the gluon dynamics inside nucleons and nuclei, which constitutes one of the major goals of new-generation colliding machines, as the EIC, the HL-LHC and NICA.


title: Deep Gaussian Denoiser Epistemic Uncertainty and Decoupled Dual-Attention Fusion

abstract: Following the performance breakthrough of denoising networks, improvements have come chiefly through novel architecture designs and increased depth. While novel denoising networks were designed for real images coming from different distributions, or for specific applications, comparatively small improvement was achieved on Gaussian denoising. The denoising solutions suffer from epistemic uncertainty that can limit further advancements. This uncertainty is traditionally mitigated through different ensemble approaches. However, such ensembles are prohibitively costly with deep networks, which are already large in size. Our work focuses on pushing the performance limits of state-of-the-art methods on Gaussian denoising. We propose a model-agnostic approach for reducing epistemic uncertainty while using only a single pretrained network. We achieve this by tapping into the epistemic uncertainty through augmented and frequency-manipulated images to obtain denoised images with varying error. We propose an ensemble method with two decoupled attention paths, over the pixel domain and over that of our different manipulations, to learn the final fusion. Our results significantly improve over the state-of-the-art baselines and across varying noise levels.


title: Context Matters: Self-Attention for Sign Language Recognition

abstract: This paper proposes an attentional network for the task of Continuous Sign Language Recognition. The proposed approach exploits co-independent streams of data to model the sign language modalities. These different channels of information can share a complex temporal structure between each other. For that reason, we apply attention to synchronize and help capture entangled dependencies between the different sign language components. Even though Sign Language is multi-channel, handshapes represent the central entities in sign interpretation. Seeing handshapes in their correct context defines the meaning of a sign. Taking that into account, we utilize the attention mechanism to efficiently aggregate the hand features with their appropriate spatio-temporal context for better sign recognition. We found that by doing so the model is able to identify the essential Sign Language components that revolve around the dominant hand and the face areas. We test our model on the benchmark dataset RWTH-PHOENIX-Weather 2014, yielding competitive results.


title: Diverse Collections in Matroids and Graphs

abstract: We investigate the parameterized complexity of finding diverse sets of solutions to three fundamental combinatorial problems, two from the theory of matroids and the third from graph theory. The input to the Weighted Diverse Bases problem consists of a matroid $M$, a weight function $\omega:E(M)\to\mathbb{N}$, and integers $k\geq 1, d\geq 0$. The task is to decide if there is a collection of $k$ bases $B_{1}, \dotsc, B_{k}$ of $M$ such that the weight of the symmetric difference of any pair of these bases is at least $d$. This is a diverse variant of the classical matroid base packing problem. The input to the Weighted Diverse Common Independent Sets problem consists of two matroids $M_{1},M_{2}$ defined on the same ground set $E$, a weight function $\omega:E\to\mathbb{N}$, and integers $k\geq 1, d\geq 0$. The task is to decide if there is a collection of $k$ common independent sets $I_{1}, \dotsc, I_{k}$ of $M_{1}$ and $M_{2}$ such that the weight of the symmetric difference of any pair of these sets is at least $d$. This is motivated by the classical weighted matroid intersection problem. The input to the Diverse Perfect Matchings problem consists of a graph $G$ and integers $k\geq 1, d\geq 0$. The task is to decide if $G$ contains $k$ perfect matchings $M_{1},\dotsc,M_{k}$ such that the symmetric difference of any two of these matchings is at least $d$. We show that Weighted Diverse Bases and Weighted Diverse Common Independent Sets are both NP-hard, and derive fixed-parameter tractable (FPT) algorithms for all three problems with $(k,d)$ as the parameter.


title: Quantum Algorithmic Measurement

abstract: We initiate the systematic study of experimental quantum physics from the perspective of computational complexity. To this end, we define the framework of quantum algorithmic measurements (QUALMs), a hybrid of black box quantum algorithms and interactive protocols. We use the QUALM framework to study two important experimental problems in quantum many-body physics: determining whether a system's Hamiltonian is time-independent or time-dependent, and determining the symmetry class of the dynamics of the system. We study abstractions of these problem and show for both cases that if the experimentalist can use her experimental samples coherently (in both space and time), a provable exponential speedup is achieved compared to the standard situation in which each experimental sample is accessed separately. Our work suggests that quantum computers can provide a new type of exponential advantage: exponential savings in resources in quantum experiments.


title: Automated Respiratory Event Detection Using Deep Neural Networks

abstract: The gold standard to assess respiration during sleep is polysomnography; a technique that is burdensome, expensive (both in analysis time and measurement costs), and difficult to repeat. Automation of respiratory analysis can improve test efficiency and enable accessible implementation opportunities worldwide. Using 9,656 polysomnography recordings from the Massachusetts General Hospital (MGH), we trained a neural network (WaveNet) based on a single respiratory effort belt to detect obstructive apnea, central apnea, hypopnea and respiratory-effort related arousals. Performance evaluation included event-based and recording-based metrics - using an apnea-hypopnea index analysis. The model was further evaluated on a public dataset, the Sleep-Heart-Health-Study-1, containing 8,455 polysomnographic recordings. For binary apnea event detection in the MGH dataset, the neural network obtained an accuracy of 95%, an apnea-hypopnea index $r^2$ of 0.89 and area under the curve for the receiver operating characteristics curve and precision-recall curve of 0.93 and 0.74, respectively. For the multiclass task, we obtained varying performances: 81% of all labeled central apneas were correctly classified, whereas this metric was 46% for obstructive apneas, 29% for respiratory effort related arousals and 16% for hypopneas. The majority of false predictions were misclassifications as another type of respiratory event. Our fully automated method can detect respiratory events and assess the apnea-hypopnea index with sufficient accuracy for clinical utilization. Differentiation of event types is more difficult and may reflect in part the complexity of human respiratory output and some degree of arbitrariness in the clinical thresholds and criteria used during manual annotation.


title: Diabatic description of charmoniumlike mesons II: mass corrections and strong decay widths

abstract: From a diabatic bound state approach to $J^{PC}=1^{--}$ and $(0,1,2)^{++}$ charmoniumlike resonances below $4.1$ GeV, formulated in terms of ${c\overline{c}}$ and closed meson-meson channels, we calculate mass shifts and widths due to open meson-meson channels. This calculation does not involve any new free parameter, so comparison of our predictions with existing data provides a direct test of our approach. Further mass corrections are also estimated and good agreement with the measured masses comes out. As for the calculated widths, overall reasonable, they point out to the need of some refinement of our current bound state approximation for an accurate description of data. These results give additional support to the diabatic approach in QCD as an adequate framework for a complete unified description of conventional and unconventional charmoniumlike resonances. In this respect, the experimental discovery of a predicted $2^{++}$ resonance with a mass around $4$ GeV would be of special relevance.


title: On the topology of the space of bi-orderings of a free group on two generators

abstract: Let $G$ be a group. We can topologize the spaces of left-orderings $LO(G)$ and bi-orderings $O(G)$ of $G$ with the product topology. These spaces may or may not have isolated points. It is known that $LO(F_n)$ has no isolated points, where $F_n$ is a free group on $n\geq 2$ generators. In this paper, we show that $O(F_n)$ has no isolated points as well.


title: Effective uniform approximation by $L$-functions in the Selberg class

abstract: Recently, Garunk\v{s}tis, Laurin\v{c}ikas, Matsumoto, J. & R. Steuding showed an effective universality-type theorem for the Riemann zeta-function by using an effective multi-dimensional denseness result of Voronin. We will generalize Voronin's effective result and their theorem to the elements of the Selberg class satisfying some conditions.


title: The Multimodal Driver Monitoring Database: A Naturalistic Corpus to Study Driver Attention

abstract: A smart vehicle should be able to monitor the actions and behaviors of the human driver to provide critical warnings or intervene when necessary. Recent advancements in deep learning and computer vision have shown great promise in monitoring human behaviors and activities. While these algorithms work well in a controlled environment, naturalistic driving conditions add new challenges such as illumination variations, occlusions and extreme head poses. A vast amount of in-domain data is required to train models that provide high performance in predicting driving related tasks to effectively monitor driver actions and behaviors. Toward building the required infrastructure, this paper presents the multimodal driver monitoring (MDM) dataset, which was collected with 59 subjects that were recorded performing various tasks. We use the Fi- Cap device that continuously tracks the head movement of the driver using fiducial markers, providing frame-based annotations to train head pose algorithms in naturalistic driving conditions. We ask the driver to look at predetermined gaze locations to obtain accurate correlation between the driver's facial image and visual attention. We also collect data when the driver performs common secondary activities such as navigation using a smart phone and operating the in-car infotainment system. All of the driver's activities are recorded with high definition RGB cameras and time-of-flight depth camera. We also record the controller area network-bus (CAN-Bus), extracting important information. These high quality recordings serve as the ideal resource to train various efficient algorithms for monitoring the driver, providing further advancements in the field of in-vehicle safety systems.


title: Dimensions of Commonsense Knowledge

abstract: Commonsense knowledge is essential for many AI applications, including those in natural language processing, visual processing, and planning. Consequently, many sources that include commonsense knowledge have been designed and constructed over the past decades. Recently, the focus has been on large text-based sources, which facilitate easier integration with neural (language) models and application to textual tasks, typically at the expense of the semantics of the sources and their harmonization. Efforts to consolidate commonsense knowledge have yielded partial success, with no clear path towards a comprehensive solution. We aim to organize these sources around a common set of dimensions of commonsense knowledge. We survey a wide range of popular commonsense sources with a special focus on their relations. We consolidate these relations into 13 knowledge dimensions. This consolidation allows us to unify the separate sources and to compute indications of their coverage, overlap, and gaps with respect to the knowledge dimensions. Moreover, we analyze the impact of each dimension on downstream reasoning tasks that require commonsense knowledge, observing that the temporal and desire/goal dimensions are very beneficial for reasoning on current downstream tasks, while distinctness and lexical knowledge have little impact. These results reveal preferences for some dimensions in current evaluation, and potential neglect of others.


title: Interdependent scaling of long-range oxygen and magnetic ordering in non-stoichiometric Nd${}_2$NiO${}_{4.10}$

abstract: Hole doping in Nd${}_{2}$NiO${}_{4.00}$ can be either achieved by substituting the trivalent Nd atoms by bivalent alkaline earth metals or by oxygen doping, yielding Nd${}_{2}$NiO${}_{4+\delta}$. In this study, we investigated the interplay between oxygen and spin ordering for a low oxygen doping concentration i.e. Nd${}_{2}$NiO${}_{4.10}$. Although the extra oxygen doping level remains rather modest with only one out of 20 possible interstitial tetrahedral lattice sites occupied, we observed by single crystal neutron diffraction the presence of a complex 3D modulated structure related to oxygen ordering already at ambient, the modulation vectors being $\pm$2/13\textit{\textbf{a*}}$\pm$3/13\textit{\textbf{b*}}, $\pm$3/13\textit{\textbf{b*}}$\pm$2/13\textit{\textbf{b*}} and $\pm$1/5\textit{\textbf{a*}}$\pm$1/2\textit{\textbf{c*}} and satellite reflections up to fourth order. Temperature dependent neutron diffraction studies indicate the coexistence of oxygen and magnetic ordering below T${}_{N}$ $\simeq$ 48 K, the wave vector of the Ni sublattice being \textbf{\textit{k}}=(100). In addition, magnetic satellite reflections adapt exactly the same modulation vectors as found for the oxygen ordering, evidencing a unique coexistence of 3D modulated ordering for spin and oxygen ordering in Nd${}_{2}$NiO${}_{4.10}$. Temperature dependent measurements of magnetic intensities suggest two magnetic phase transitions below 48 K and 20 K, indicating two distinct onsets of magnetic ordering for the Ni and Nd sublattice, respectively.


title: A novel computational paradigm for a precise determination of the hadronic contribution to $(g_\mu-2)$ from lattice QCD

abstract: The hadronic contribution to the muon anomalous magnetic moment $a_\mu=(g_\mu-2)/2$ has to be determined at the per-mille level for the Standard Model prediction to match the expected final uncertainty of the ongoing E989 experiment. That is 3 times better than the current precision from the dispersive approach, and 5-15 times smaller than the uncertainty based on the purely theoretical determinations from lattice QCD. So far the stumbling-block is the large statistical error in the Monte Carlo evaluation of the required correlation functions which can hardly be tamed by brute force. In this talk we present our proposal to solve this problem by multi-level Monte Carlo integration, a technique which reduces the variance of correlators exponentially in the distance of the fields. We report the results of our feasibility tests for the computation of the Hadronic Vacuum Polarization on a lattice with a linear extension of 3~fm, a spacing of 0.065 fm, and a pion mass of 270 MeV. Indeed the two-level integration makes the contribution to the statistical error from long-distances de-facto negligible by accelerating its inverse scaling with the cost of the simulation. These findings establish multi-level Monte Carlo as a solid and efficient method for a precise lattice determination of the hadronic contribution to $a_\mu$.


title: Project ThaiPASS: International Outreach Blending Astronomy and Python

abstract: $\textit{Thailand-UK Python+Astronomy Summer School}$ (ThaiPASS), a collaborative project comprising UK and Thai institutions and assess its impact and possible application to schools in the United Kingdom. Since its inception in 2018, the annual ThaiPASS have trained around 60 Thai high-school students in basic data handling skills using Python in the context of various astronomy topics, using current research from the teaching team. Our impact assessment of the 5 day summer schools show an overwhelmingly positive response from students in both years, with over $80\%$ of students scoring the activities above average in all activities but one. We use this data to suggest possible future improvements. We also discuss how ThaiPASS may inspire further outreach and engagement activities within the UK and beyond.


title: On Gauss-bonnet gravity and boundary conditions in Lorentzian path-integral quantization

abstract: Recently there has been a surge of interest in studying Lorentzian quantum cosmology using Picard-Lefschetz methods. The present paper aims to explore the Lorentzian path-integral of Gauss-Bonnet gravity in four spacetime dimensions with metric as the field variable. We employ mini-superspace approximation and study the variational problem exploring different boundary conditions. It is seen that for mixed boundary conditions non-trivial effects arise from Gauss-Bonnet sector of gravity leading to additional saddle points for lapse in some case. As an application of this we consider the No-boundary proposal of the Universe with two different settings of boundary conditions, and compute the transition amplitude using Picard-Lefschetz formalism. In first case the transition amplitude is a superposition of a Lorentzian and a Euclidean geometrical configuration leading to interference incorporating non-perturbative effects coming from Gauss-Bonnet sector of gravity. In the second case involving complex initial momentum we note that the transition amplitude is an analogue of Hartle-Hawking wave-function with non-perturbative correction coming from Gauss-Bonnet sector of gravity.


title: Double-Adversarial Activation Anomaly Detection: Adversarial Autoencoders are Anomaly Generators

abstract: Anomaly detection is a challenging task for machine learning algorithms due to the inherent class imbalance. It is costly and time-demanding to manually analyse the observed data, thus usually only few known anomalies if any are available. Inspired by generative models and the analysis of the hidden activations of neural networks, we introduce a novel unsupervised anomaly detection method called DA3D. Here, we use adversarial autoencoders to generate anomalous counterexamples based on the normal data only. These artificial anomalies used during training allow the detection of real, yet unseen anomalies. With our novel generative approach, we transform the unsupervised task of anomaly detection to a supervised one, which is more tractable by machine learning and especially deep learning methods. DA3D surpasses the performance of state-of-the-art anomaly detection methods in a purely data-driven way, where no domain knowledge is required.


title: Interstellar Interferometry: Precise Curvature Measurement from Pulsar Secondary Spectra

abstract: The parabolic structure of the secondary or conjugate spectra of pulsars is often the result of isolated one-dimensional (or at least highly anisotropic) lenses in the ISM. The curvature of these features contains information about the velocities of the Earth, ISM, and pulsar along the primary axis of the lens. As a result, measuring variations in the curvature over the course of a year, or the orbital period for pulsars in binaries, can constrain properties of the screen and pulsar. In particular the pulsar distance and orbital inclination for binary systems can be found for multiple screens or systems with prior information on $\sin(i)$. By mapping the conjugate spectra into a space where the main arc and inverted arclets are straight lines, we are able to make use of the full information content from the inverted arclet curvatures, amplitudes, and phases using eigenvectors to uniquely and optimally retrieve phase information. This allows for a higher precision measurement than the standard Hough transform for systems where these features are available. Our technique also directly yields the best fit 1D impulse response function for the interstellar lens given in terms of the Doppler shift, time delay, and magnification of images on the sky as seen from a single observatory. This can be extended for use in holographic imaging of the lens by combining multiple telescopes. We present examples of this new method for both simulated data and actual observations of PSR B0834+06.


title: Direction-Dependent Turning Leads to Anisotropic Diffusion and Persistence

abstract: Cells and organisms follow aligned structures in their environment, a process that can generate persistent migration paths. Kinetic transport equations are a popular modelling tool for describing biological movements at the mesoscopic level, yet their formulations usually assume a constant turning rate. Here we relax this simplification, extending to include a turning rate that varies according to the anisotropy of a heterogeneous environment. We extend known methods of parabolic and hyperbolic scaling and apply the results to cell movement on micro-patterned domains. We show that inclusion of orientation dependence in the turning rate can lead to persistence of motion in an otherwise fully symmetric environment, and generate enhanced diffusion in structured domains.


title: Quantum process tomography of a M{\o}lmer-S{\o}rensen gate via a global beam

abstract: We present a framework for quantum process tomography of two-ion interactions that leverages modulations of the trapping potential and composite pulses from a global laser beam to achieve individual-ion addressing. Tomographic analysis of identity and delay processes reveals dominant error contributions from laser decoherence and slow qubit frequency drift during the tomography experiment. We use this framework on two co-trapped $^{40}$Ca$^+$ ions to analyze both an optimized and an overpowered M{\o}lmer-S{\o}rensen gate and to compare the results of this analysis to a less informative Bell-state tomography measurement and to predictions based on a simplified noise model. These results show that the technique is effective for the characterization of two-ion quantum processes and for the extraction of meaningful information about the errors present in the system. The experimental convenience of this method will allow for more widespread use of process tomography for characterizing entangling gates in trapped-ion systems.


title: Modeling of Thermal Magnetic Fluctuations in Nanoparticle Enhanced Magnetic Resonance Detection

abstract: We present a systematic numerical modeling investigation of magnetization dynamics and thermal magnetic moment fluctuations of single magnetic domain nanoparticles in a configuration applicable to enhancing inductive magnetic resonance detection signal to noise ratio (SNR). Previous proposals for oriented anisotropic single magnetic domain nanoparticle amplification of magnetic flux in MRI coil focused only on the coil pick-up voltage signal enhancement. Here we extend the analysis to the numerical evaluation of the SNR by modeling the inherent thermal magnetic noise introduced into the detection coil by the insertion of such anisotropic nanoparticle-filled coil core. We utilize the Landau-Lifshitz-Gilbert equation under the Stoner-Wohlfarth single magnetic domain (macrospin) assumption to simulate the magnetization dynamics in such nanoparticles due to AC drive field as well as thermal noise. These simulations are used to evaluate the nanoparticle configurations and shape effects on enhancing SNR. Finally, we explore the effect of narrow band filtering of the broadband magnetic moment thermal fluctuation noise on the SNR. Our results provide the impetus for relatively simple modifications to existing MRI systems for achieving enhanced detection SNR in scanners with modest polarizing magnetic fields.


title: Particle-in-Cell modeling of a potential demonstration experiment for double pulse enhanced target normal sheath acceleration

abstract: Ultra intense lasers are a promising source of energetic ions for various applications. An interesting approach described in Ferri et al. 2019 argues from Particle-in-Cell simulations that using two laser pulses of half energy (half intensity) arriving with close to 45 degrees angle of incidence is significantly more effective at accelerating ions than one pulse at full energy (full intensity). For a variety of reasons, at the time of this writing there has not yet been a true experimental confirmation of this enhancement. In this paper we perform 2D Particle-in-Cell simulations to examine if a milliJoule class, 5x10^18 W cm^-2 peak intensity laser system could be used for such a demonstration experiment. Laser systems in this class can operate at a kHz rate which should be helpful for addressing some of the challenges of performing this experiment. Despite investigating a 3.5 times lower intensity than Ferri et al. 2019 did, we find that the double pulse approach enhances the peak proton energy and the energy conversion to protons by a factor of about three compared to a single laser pulse with the same total laser energy. We also comment on the nature of the enhancement and describe simulations that examine how the enhancement may depend on the spatial or temporal alignment of the two pulses.


title: Moving sum data segmentation for stochastics processes based on invariance

abstract: The segmentation of data into stationary stretches also known as multiple change point problem is important for many applications in time series analysis as well as signal processing. Based on strong invariance principles, we analyse data segmentation methodology using moving sum (MOSUM) statistics for a class of regime-switching multivariate processes where each switch results in a change in the drift. In particular, this framework includes the data segmentation of multivariate partial sum, integrated diffusion and renewal processes even if the distance between change points is sublinear. We study the asymptotic behaviour of the corresponding change point estimators, show consistency and derive the corresponding localisation rates which are minimax optimal in a variety of situations including an unbounded number of changes in Wiener processes with drift. Furthermore, we derive the limit distribution of the change point estimators for local changes - a result that can in principle be used to derive confidence intervals for the change points.


title: Experience gravity in the classroom using the rubber sheet: an educational proposal from the collaboration between University and School

abstract: Teaching modern physics in high school is of increasingly importance as it can offer students a more realistic and updated vision of the world, and can provide an opportunity to understand the most recent scientific discoveries. In this context, General Relativity (GR) occupies a prominent place, since it is related to astonishing scientific results, such as the first image of a black hole or the discovery of gravitational waves. In this paper we describe an educational proposal aimed at teaching GR in high school in a fun and playful way using the so-called rubber sheet analogy. We present a set of instructions to build a simple and low-cost space-time simulator, and a series of related educational cards that guide the teacher in the implementation of the activities step by step. This work is the result of a long and productive debate among Italian high school teachers who collaborate since many years with the Department of Mathematics and Physics of Roma Tre University in Rome. As our proposal relies on the collaboration with the final users, we believe that it will meet their needs and expectations, and it will help to treat GR in high school more and more over time.


title: Benchmarking Simulation-Based Inference

abstract: Recent advances in probabilistic modelling have led to a large number of simulation-based inference algorithms which do not require numerical evaluation of likelihoods. However, a public benchmark with appropriate performance metrics for such 'likelihood-free' algorithms has been lacking. This has made it difficult to compare algorithms and identify their strengths and weaknesses. We set out to fill this gap: We provide a benchmark with inference tasks and suitable performance metrics, with an initial selection of algorithms including recent approaches employing neural networks and classical Approximate Bayesian Computation methods. We found that the choice of performance metric is critical, that even state-of-the-art algorithms have substantial room for improvement, and that sequential estimation improves sample efficiency. Neural network-based approaches generally exhibit better performance, but there is no uniformly best algorithm. We provide practical advice and highlight the potential of the benchmark to diagnose problems and improve algorithms. The results can be explored interactively on a companion website. All code is open source, making it possible to contribute further benchmark tasks and inference algorithms.


title: On the growth and zeros of polynomials attached to arithmetic functions

abstract: In this paper we investigate growth properties and the zero distribution of polynomials attached to arithmetic functions $g$ and $h$, where $g$ is normalized, of moderate growth, and $0<h(n) \leq h(n+1)$. We put $P_0^{g,h}(x)=1$ and \begin{equation*} P_n^{g,h}(x) := \frac{x}{h(n)} \sum_{k=1}^{n} g(k) \, P_{n-k}^{g,h}(x). \end{equation*} As an application we obtain the best known result on the domain of the non-vanishing of the Fourier coefficients of powers of the Dedekind $\eta$-function. Here, $g$ is the sum of divisors and $h$ the identity function. Kostant's result on the representation of simple complex Lie algebras and Han's results on the Nekrasov--Okounkov hook length formula are extended. The polynomials are related to reciprocals of Eisenstein series, Klein's $j$-invariant, and Chebyshev polynomials of the second kind.


title: PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement

abstract: Numerical tools for constraints solving are a cornerstone to control verification problems. This is evident by the plethora of research that uses tools like linear and convex programming for the design of control systems. Nevertheless, the capability of linear and convex programming is limited and is not adequate to reason about general nonlinear polynomials constraints that arise naturally in the design of nonlinear systems. This limitation calls for new solvers that are capable of utilizing the power of linear and convex programming to reason about general multivariate polynomials. In this paper, we propose PolyAR, a highly parallelizable solver for polynomial inequality constraints. PolyAR provides several key contributions. First, it uses convex relaxations of the problem to accelerate the process of finding a solution to the set of the non-convex multivariate polynomials. Second, it utilizes an iterative convex abstraction refinement process which aims to prune the search space and identify regions for which the convex relaxation fails to solve the problem. Third, it allows for a highly parallelizable usage of off-the-shelf solvers to analyze the regions in which the convex relaxation failed to provide solutions. We compared the scalability of PolyAR against Z3 8.9 and Yices 2.6 on control designing problems. Finally, we demonstrate the performance of PolyAR on designing switching signals for continuous-time linear switching systems.


title: The complex interplay between tidal inertial waves and zonal flows in differentially rotating stellar and planetary convective regions I. Free waves

abstract: Quantifying tidal interactions in close-in two-body systems is of prime interest since they have a crucial impact on the architecture and on the rotational history of the bodies. Various studies have shown that the dissipation of tides in either body is very sensitive to its structure and to its dynamics, like differential rotation which exists in the outer convective enveloppe of solar-like stars and giant gaseous planets. In particular, tidal waves may strongly interact with zonal flows at the so-called corotation resonances, where the wave's Doppler-shifted frequency cancels out. We aim to provide a deep physical understanding of the dynamics of tidal inertial waves at corotation resonances, in the presence of differential rotation profiles typical of low-mass stars and giant planets. By developping an inclined shearing box, we investigate the propagation and the transmission of free inertial waves at corotation, and more generally at critical levels, which are singularities in the governing wave differential equation. Through the construction of an invariant called the wave action flux, we identify different regimes of wave transmission at critical levels, which are confirmed with a one-dimensional three-layer numerical model. We find that inertial waves can be either fully transmitted, strongly damped, or even amplified after crossing a critical level. The occurrence of these regimes depends on the assumed profile of differential rotation, on the nature as well as the latitude of the critical level, and on wave parameters such as the inertial frequency and the longitudinal and vertical wavenumbers. Waves can thus either deposit their action flux to the fluid when damped at critical levels, or they can extract action flux to the fluid when amplified at critical levels. Both situations could lead to significant angular momentum exchange between the tidally interacting bodies.


title: Two Luminous Post-AGB Stars in the Galactic Globular Cluster M19

abstract: We report the discovery of a luminous "yellow" post-asymptotic-giant-branch (PAGB) star in the globular cluster (GC) M19 (NGC 6273), identified during our uBVI survey of Galactic GCs. The uBVI photometric system is optimized to detect stars with large Balmer discontinuities, indicating very low surface gravities and high luminosities. The spectral-energy distribution (SED) of the star is consistent with an effective temperature of about 6250 K and a surface gravity of $\log g=0.5$. We use Gaia data to show that the star's proper motion and radial velocity are consistent with cluster membership. One aim of our program is to test yellow PAGB stars as candidate Population II standard candles for determining extragalactic distances. We derive a visual absolute magnitude of $M_V=-3.39\pm0.09$ for the M19 star. This is in close agreement with the $M_V$ values found for yellow PAGB stars in the GCs omega Cen, NGC 5986, and M79, indicating a very narrow luminosity function. These objects are four magnitudes brighter than RR Lyrae variables, and they can largely avoid the issues of interstellar extinction that are a problem for Population I distance indicators. We also identified a second luminous PAGB object in M19, this one a hotter "UV-bright" star. Its SED is consistent with an effective temperature of about 11,750 K and $\log g=2.0$. The two objects have nearly identical bolometric luminosities, $\log L/L_\odot=3.24$ and 3.22, respectively.