title: Maximal Information Propagation via Lotteries

abstract: Propagating information to more people through their friends is becoming an increasingly important technology used in domains such as blockchain, advertising, and social media. To incentivize people to broadcast the information, the designer may use a monetary rewarding scheme, which specifies who gets how much, to compensate for the propagation. Several properties are desirable for the rewarding scheme, such as budget feasible, individually rational, incentive compatible, and Sybil-proof. In this work, we design a free market with lotteries, where every participant can decide by herself how much of the reward she wants to withhold before propagating to others. We show that in the free market, the participants have a strong incentive to maximally propagate the information and all the above properties are satisfied automatically.


title: First observation and analysis of DANCE: Dark matter Axion search with riNg Cavity Experiment

abstract: Dark matter Axion search with riNg Cavity Experiment (DANCE) was proposed to search for axion dark matter [Phys. Rev. Lett. 121, 161301 (2018)]. We aim to detect the rotation and oscillation of optical linear polarization caused by axion-photon coupling with a bow-tie cavity. DANCE can improve the sensitivity to axion-photon coupling constant $g_{a \gamma}$ for axion mass $m_a < 10^{-10}~\rm{eV}$ by several orders of magnitude compared to the best upper limits at present. A prototype experiment DANCE Act-1 is ongoing to demonstrate the feasibility of the method and to investigate technical noises. The optics was assembled and the performance of the cavity was evaluated. The first 12-day observation was successfully performed in May 2021. We reached $3 \times 10^{-6}~\rm{rad/\sqrt{Hz}}$ at $10~\rm{Hz}$ in the one-sided amplitude spectral density of the rotation angle of linear polarization.


title: Comment on "A snapshot of the oldest AGN feedback phases"

abstract: We dispute a very recent claim, which is based on new LOFAR radio observations, that mixing does not heat the intragroup medium of the galaxy group Nest200047. We argue to the contrary, namely, that the main heating process is mixing, by showing that the radio morphology of filaments in this galaxy group was qualitatively reproduced by a past three-dimensional hydrodynamical simulation that also showed that the main heating process is by mixing of hot gas from the jet-inflated bubbles with the intracluster (or intragroup) medium.


title: Morrey smoothness spaces: A new approach

abstract: In the recent years so-called Morrey smoothness spaces attracted a lot of interest. They can (also) be understood as generalisations of the classical spaces $A^s_{p,q} (\mathbb{R}^n)$, $A\in \{B,F\}$, in $\mathbb{R}^n$, where the parameters satisfy $s\in \mathbb{R}$ (smoothness), $0<p \le \infty$ (integrability) and $0<q \le \infty$ (summability). In the case of Morrey smoothness spaces additional parameters are involved. In our opinion, among the various approaches at least two scales enjoy special attention, also in view of applications: the scales $\mathcal{A}^s_{u,p,q} (\mathbb{R}^n)$, with $\mathcal{A}\in \{\mathcal{N}, \mathcal{E}\}$, $u\geq p$, and $A^{s, \tau}_{p,q} (\mathbb{R}^n)$, with $\tau\geq 0$. We reorganise these two prominent types of Morrey smoothness spaces by adding to $(s,p,q)$ the so--called slope parameter $\varrho$, preferably (but not exclusively) with $-n \le \varrho <0$. It comes out that $|\varrho|$ replaces $n$, and $\min (|\varrho|,1)$ replaces 1 in slopes of (broken) lines in the $( \frac{1}{p}, s)$--diagram characterising distinguished properties of the spaces $A^s_{p,q} (\mathbb{R}^n)$ and their Morrey counterparts. Special attention will be paid to low--slope spaces with $-1 <\varrho <0$, where corresponding properties are quite often independent of $n\in \mathbb{N}$. Our aim is two--fold. On the one hand we reformulate some assertions already available in the literature (many of them are quite recent). On the other hand we establish on this basis new properties, a few of them became visible only in the context of the offered new approach, governed, now, by the four parameters $(s,p,q,\varrho)$.


title: Motion of charged and spinning particle influenced by dark matter field surrounding a charged dyonic black hole

abstract: We investigate the motion of massive charged and spinning test particles around a charged dyonic black hole spacetime surrounded by perfect fluid scalar dark matter field. We obtain the equations of motion and find the expressions for the four-velocity for the case of a charged particle, and four-momentum components for the case of a spinning particle. The trajectories for various values of electric $Q_{e}$ and magnetic $Q_{m}$ charges are investigated under the influence of dark matter field $\lambda$. We find the equations of motion of a spinning particle that follows a non-geodesic trajectory via Lagrangian approach in addition to the charged and non-spinning particles that follow geodesic motion in this set-up. We study in detail the properties of innermost stable circular orbits (ISCOs) in the equatorial plane. The study of ISCOs of a spinning massive particle is done by using the pole-dipole approximation. We show that, in addition to the particle's spin, the dark matter field parameter $\lambda$ and black hole charges ($Q_{m}\;\text{and}\;Q_{e}$) have a significant influence on the ISCOs of spinning particles. It is observed that if the spin is parallel to the total angular momentum $J$ (i.e. $\mathcal{S}>0$), the ISCO parameters (i.e.$r_{ISCO}, L_{ISCO}\;\text{and}\; E_{ISCO}$) of a spinning particle are smaller than those of a non-spinning particle, whereas if the spin is anti-parallel to total angular momentum $J$ (i.e. $\mathcal{S}<0$), the value of the ISCO parameters is greater than that of the non-spinning particle. We also show that for the corresponding values of spin parameter S, the behaviour of Keplerian angular frequency of ISCO $\Omega_{ISCO}$ is opposite to that of $r_{ISCO}, L_{ISCO}\; \text{and}\; E_{ISCO}$.


title: Analysis of pressure-robust embedded-hybridized discontinuous Galerkin methods for the Stokes problem under minimal regularity

abstract: We present analysis of two lowest-order hybridizable discontinuous Galerkin methods for the Stokes problem, while making only minimal regularity assumptions on the exact solution. The methods under consideration have previously been shown to produce $H(\textrm{div})$-conforming and divergence-free approximate velocities. Using these properties, we derive a priori error estimates for the velocity that are independent of the pressure. These error estimates, which assume only $H^{1+s}$-regularity of the exact velocity fields for any $s \in [0, 1]$, are optimal in a discrete energy norm. Error estimates for the velocity and pressure in the $L^2$-norm are also derived in this minimal regularity setting. Our theoretical findings are supported by numerical computations.


title: Merging of superfluid Helium nanodroplets with vortices

abstract: Within Density Functional Theory, we have investigated the coalescence dynamics of two superfluid helium nanodroplets hosting vortex lines in different relative orientations, which are drawn towards each other by the Van der Waals mutual attraction. We have found a rich phenomenology depending on how the vortex lines are oriented. In particular, when a vortex and anti-vortex lines are present in the merging droplets, a dark soliton develops at the droplet contact region, which eventually decays into vortex rings. Reconnection events are observed between the vortex lines or rings, leading to the creation of more vortices. Our simulations show the interplay between vortex creation and reconnections, as well as the effect of the droplet surface which pins the vortex ends and, by reflecting short-wavelength excitations produced by the interactions between vortices, strongly affects the droplet final state. Additional vorticity is nucleated in the proximity of surface indentations produced in the course of the dynamics, which in turn interact with other vortices present in the droplets. These effects, obviously absent in the case of bulk liquid helium, show that the droplet surface may act as a multiplier of vortex reconnections. The analysis of the energy spectrum shows that vortex-antivortex ring annihilation, as well as vortex-antivortex reconnections, yields roton bursts of different intensity.


title: An algorithm for finding the scaled basis of the supereigenvector space in max-plus algebra

abstract: We present an algorithm for finding a basis of the supereigenvector space in max-plus algebra. The main ideas of the new algorithm are: finding better generators by exploiting the main operation of the tropical double description method and making use of the previously known extremality criteria.


title: Independent Natural Policy Gradient Always Converges in Markov Potential Games

abstract: Multi-agent reinforcement learning has been successfully applied to fully-cooperative and fully-competitive environments, but little is currently known about mixed cooperative/competitive environments. In this paper, we focus on a particular class of multi-agent mixed cooperative/competitive stochastic games called Markov Potential Games (MPGs), which include cooperative games as a special case. Recent results have shown that independent policy gradient converges in MPGs but it was not known whether Independent Natural Policy Gradient converges in MPGs as well. We prove that Independent Natural Policy Gradient always converges in the last iterate using constant learning rates. The proof deviates from the existing approaches and the main challenge lies in the fact that Markov Potential Games do not have unique optimal values (as single-agent settings exhibit) so different initializations can lead to different limit point values. We complement our theoretical results with experiments that indicate that Natural Policy Gradient outperforms Policy Gradient in routing games and congestion games.


title: Semiparametric Efficient G-estimation with Invalid Instrumental Variables

abstract: The instrumental variable method is widely used in the health and social sciences for identification and estimation of causal effects in the presence of potentially unmeasured confounding. In order to improve efficiency, multiple instruments are routinely used, leading to concerns about bias due to possible violation of the instrumental variable assumptions. To address this concern, we introduce a new class of g-estimators that are guaranteed to remain consistent and asymptotically normal for the causal effect of interest provided that a set of at least $\gamma$ out of $K$ candidate instruments are valid, for $\gamma\leq K$ set by the analyst ex ante, without necessarily knowing the identities of the valid and invalid instruments. We provide formal semiparametric efficiency theory supporting our results. Both simulation studies and applications to the UK Biobank data demonstrate the superior empirical performance of our estimators compared to competing methods.


title: Star Cluster Ecology: Revisiting the Origin of Iron and Age Complex Clusters

abstract: Typical globular clusters (GCs - young and old) host stellar populations with little or no star-to-star variations in heavy elements (e.g., Ca, Fe) nor in age. Nuclear star clusters (NSCs), on the other hand, host complex stellar populations that show multi-modal distributions in Fe and often in age, presumably due to their unique location at the centre of a large galactic potential well. However, recently a new class of clusters have been discovered, exemplified by the clusters Terzan~5 and Liller~1, two high mass, high metallicity clusters in the inner Galactic regions. It has been suggested that these are not true GCs, but rather represent left over fragments of the formation of the Galactic Bulge. Here, we critically assess this scenario and find that the role of dynamical friction likely makes it untenable and that the method used to estimate the initial masses of the clumps was invalid. Instead, it appears more likely that these clusters represent a relatively rare phenomenon of existing GCs accreting gas and forming a 2nd generation, as has been previously suggested.


title: Colosseum: Large-Scale Wireless Experimentation Through Hardware-in-the-Loop Network Emulation

abstract: Colosseum is an open-access and publicly-available large-scale wireless testbed for experimental research via virtualized and softwarized waveforms and protocol stacks on a fully programmable, "white-box" platform. Through 256 state-of-the-art software-defined radios and a massive channel emulator core, Colosseum can model virtually any scenario, enabling the design, development and testing of solutions at scale in a variety of deployments and channel conditions. These Colosseum radio-frequency scenarios are reproduced through high-fidelity FPGA-based emulation with finite-impulse response filters. Filters model the taps of desired wireless channels and apply them to the signals generated by the radio nodes, faithfully mimicking the conditions of real-world wireless environments. In this paper, we introduce Colosseum as a testbed that is for the first time open to the research community. We describe the architecture of Colosseum and its experimentation and emulation capabilities. We then demonstrate the effectiveness of Colosseum for experimental research at scale through exemplary use cases including prevailing wireless technologies (e.g., cellular and Wi-Fi) in spectrum sharing and unmanned aerial vehicle scenarios. A roadmap for Colosseum future updates concludes the paper.


title: Length density and numerical semigroups

abstract: Length density is a recently introduced factorization invariant, assigned to each element $n$ of a cancellative commutative atomic semigroup $S$, that measures how far the set of factorization lengths of $n$ is from being a full interval. We examine length density of elements of numerical semigroups (that is, additive subsemigroups of the non-negative integers).


title: SMX and front-end board tester for CBM readout chain

abstract: The STS-MUCH-XYTER (SMX) chip is a front-end ASIC dedicated to the readout of Silicon Tracking System (STS) and Muon Chamber (MUCH) detectors in the Compressed Baryonic Matter (CBM) experiment. The production of the ASIC and the front-end boards based on it is just being started and requires thorough testing to assure quality. The paper describes the SMX tester based on a standard commercial Artix-7 FPGA module with an additional simple baseboard. In the standalone configuration, the tester is controlled via IPbus and enables full functional testing of connected SMX, front-end board (FEB), or a full detector module. The software written in Python may easily be integrated with higher-level testing software.


title: Reciprocal polynomials and curves with many points over a finite field

abstract: Let $\mathbb F_{q^2}$ be the finite field with $q^2$ elements. We provide a simple and effective method, using reciprocal polynomials, for the construction of algebraic curves over $\mathbb F_{q^2}$ with many rational points. The curves constructed are Kummer covers or fibre products of Kummer covers of the projective line. Further, we compute the exact number of rational points for some of the curves.


title: Nodal gaps from local interactions in Sr$_2$RuO$_4$

abstract: Sr$_2$RuO$_4$ has been under intensive scrutiny over the past years after new NMR measurements unveiled that the superconducting state might be a spin singlet. One of the best order parameter candidates in light of these new experiments is a chiral d-wave state with $d_{xz}+id_{yz}$ symmetry. This order parameter has been overlooked given the strong two-dimensional character of the normal state electronic structure. Recently, a phenomenological proposal based on local interactions with a three-dimensional electronic structure showed that a chiral d-wave state can be stable in Sr$_2$RuO$_4$ once momentum-dependent spin-orbit coupling is properly taken into account. Here we discuss the origin of the nodes and dips in this order parameter as inherited from the normal state Hamiltonian, showing that a nodal gap can emerge out of purely local interactions and connect the presence of nodes with the superconducting fitness measure.


title: Local Statistics for Spatial Panel Models with Application to the US Electorate

abstract: The spatial panel regression model has shown great success in modelling econometric and other types of data that are observed both spatially and temporally with associated predictor variables. However, model checking via testing for spatial correlations in spatial-temporal residuals is still lacking. We propose a general methodology for fast permutation testing of local and global indicators of spatial association. This methodology extends past statistics for univariate spatial data that can be written as a gamma index for matrix similarity to the multivariate and panel data settings. This includes Moran's $I$ and Geary's $C$ among others. Spatial panel models are fit and our methodology is tested on county-wise electoral results for the five US presidential elections from 2000 to 2016 inclusive. County-wise exongenous predictor variables included in this analysis are voter population density, median income, and percentage of the population that is non-Hispanic white.


title: Chaos inspired Particle Swarm Optimization with Levy Flight for Genome Sequence Assembly

abstract: With the advent of Genome Sequencing, the field of Personalized Medicine has been revolutionized. From drug testing and studying diseases and mutations to clan genomics, studying the genome is required. However, genome sequence assembly is a very complex combinatorial optimization problem of computational biology. PSO is a popular meta-heuristic swarm intelligence optimization algorithm, used to solve combinatorial optimization problems. In this paper, we propose a new variant of PSO to address this permutation-optimization problem. PSO is integrated with the Chaos and Levy Flight (A random walk algorithm) to effectively balance the exploration and exploitation capability of the algorithm. Empirical experiments are conducted to evaluate the performance of the proposed method in comparison to the other variants of the PSO proposed in the literature. The analysis is conducted on four DNA coverage datasets. The conducted analysis demonstrates that the proposed model attain a better performance with better reliability and consistency in comparison to other competitive methods in all cases.


title: Statistical topology of the streamlines of a two-dimensional flow

abstract: Recent experiments on mucociliary clearance, an important defense against airborne pathogens, have raised questions about the topology of two-dimensional (2D) flows. We introduce a framework for studying ensembles of 2D time-invariant flow fields and estimating the probability for a particle to leave a finite area (to clear out). We establish two upper bounds on this probability by leveraging different insights about the distribution of flow velocities on the closed and open streamlines. We also deduce an exact power-series expression for the trapped area based on the asymptotic dynamics of flow-field trajectories and complement our analytical results with numerical simulations.


title: Machine learning approaches to identify thresholds in a heat-health warning system context

abstract: During the last two decades, a number of countries or cities established heat-health warning systems in order to alert public health authorities when some heat indicator exceeds a predetermined threshold. Different methods were considered to establish thresholds all over the world, each with its own strengths and weaknesses. The common ground is that current methods are based on exposure-response function estimates that can fail in many situations. The present paper aims at proposing several data-driven methods to establish thresholds using historical data of health issues and environmental indicators. The proposed methods are model-based regression trees (MOB), multivariate adaptive regression splines (MARS), the patient rule-induction method (PRIM) and adaptive index models (AIM). These methods focus on finding relevant splits in the association between indicators and the health outcome but do it in different fashions. A simulation study and a real-world case study hereby compare the discussed methods. Results show that proposed methods are better at predicting adverse days than current thresholds and benchmark methods. The results nonetheless suggest that PRIM is overall the more reliable method with low variability of results according to the scenario or case.


title: Isoscalar electromagnetic form factors of the nucleon in $N_\mathrm{f} = 2 + 1$ lattice QCD

abstract: We present results for the isoscalar electromagnetic form factors of the nucleon computed on the Coordinated Lattice Simulations (CLS) ensembles with $N_\mathrm{f} = 2 + 1$ flavors of $\mathcal{O}(a)$-improved Wilson fermions and an $\mathcal{O}(a)$-improved conserved vector current. In order to estimate the excited-state contamination, we employ several source-sink separations and apply the summation method. For the computation of the quark-disconnected diagrams, a stochastic estimation based on the one-end trick is performed, in combination with a frequency-splitting technique and the hopping parameter expansion. By these means, we obtain a clear signal for the form factors including the quark-disconnected contributions, which have a statistically significant effect on our results.


title: Path-Following Methods for Generalized Nash Equilibrium Problems

abstract: Building upon the results in [Hinterm\"uller et al., SIAM J. Optim, '15], generalized Nash equilibrium problems are considered, in which the feasible set of each player is influenced by the decisions of their competitors. This is realized via the existence of one (or more) state constraint(s) establishing a link between the players. Special emphasis is put on the situation of a state encoded in a possibly non-linear operator equation. First order optimality conditions under a constraint qualification are derived. Aiming at a practically meaningful method, an approximation scheme using a penalization technique leading to a sequence of (Nash) equilibrium problems without dependence of the constraint set on the other players' strategies is established. An associated path-following strategy related to a value function is then proposed. This happens at first on the most abstract level and is subsequently established to a narrower framework geared to the presence of partial differential equations in the constraint. Our findings are illustrated with examples having distributed and boundary controls - both involving semi-linear elliptic PDEs.


title: PyPSA meets Africa: Developing an open source electricity network model of the African continent

abstract: Electricity network modelling and grid simulations form a key enabling element for the integration of newer and cleaner technologies such as renewable energy generation and electric vehicles into the existing grid and energy system infrastructure. This paper reviews the models of the African electricity systems and highlights the gaps in the open model landscape. Using PyPSA (an open Power System Analysis package), the paper outlines the pathway to a fully open model and data to increase the transparency in the African electricity system planning. Optimisation and modelling can reveal viable pathways to a sustainable energy system, aiding strategic planning for upgrades and policy-making for accelerated integration of renewable energy generation and smart grid technologies such as battery storage in Africa.


title: Rational configurations in K3 surfaces and simply-connected $p_g=1$ surfaces for $K^2=1,2,3,4,5,6,7,8,9$

abstract: We prove the existence of $(20-2K^2)$-dimensional families of simply-connected surfaces with ample canonical class, $p_g=1$, and $1 \leq K^2 \leq 9$, and we study the relation with configurations of rational curves in K3 surfaces via $\mathbb Q$-Gorenstein smoothings. Our surfaces with $K^2=7$ and $K^2=9$ are the first surfaces known in the literature, together with the existence of a $4$-dimensional family for $K^2=8$.


title: The Complex Ball-quotient Structure of the Moduli Space of Certain Sextic Curves

abstract: We study moduli spaces of certain sextic curves with a singularity of multiplicity 3 from both perspectives of Deligne-Mostow theory and periods of K3 surfaces. In both ways we can describe the moduli spaces via arithmetic quotients of complex hyperbolic balls. We show in Theorem 7.4 that the two ball-quotient constructions can be unified in a geometric way.


title: Convergence of Ninomiya-Victoir Splitting Scheme to Schramm-Loewner Evolutions

abstract: In the first part of the paper we study the approximation of the $SLE_\kappa$ traces via the Ninomiya-Victoir Splitting Scheme. We prove a strong convergence in probability \textit{w.r.t.} the $sup$-norm to the distance between the $SLE$ trace and the output of the Ninomiya-Victoir Splitting Scheme when applied in the context of the Loewner differential equation. We show also that an $L^p$ convergence of the scheme can be achieved under a set of assumptions. In the last section, we show the uniform convergence of the approximation of the $SLE$ trace obtained using a different scheme that is based on the linear interpolation of the Brownian driving force.


title: More Efficient Exploration with Symbolic Priors on Action Sequence Equivalences

abstract: Incorporating prior knowledge in reinforcement learning algorithms is mainly an open question. Even when insights about the environment dynamics are available, reinforcement learning is traditionally used in a tabula rasa setting and must explore and learn everything from scratch. In this paper, we consider the problem of exploiting priors about action sequence equivalence: that is, when different sequences of actions produce the same effect. We propose a new local exploration strategy calibrated to minimize collisions and maximize new state visitations. We show that this strategy can be computed at little cost, by solving a convex optimization problem. By replacing the usual epsilon-greedy strategy in a DQN, we demonstrate its potential in several environments with various dynamic structures.


title: Mitigating stellar activity jitter with different line lists for least-squares deconvolution: analysis of a parametric and a randomised line selection

abstract: Stellar activity limits the radial velocity search and characterisation of exoplanets, as it introduces spurious jitter in the data sets and prevents the correct retrieval of a planetary signal. This is key for M dwarfs, considering that they manifest high activity levels and are primary targets for present and future searches of habitable Earth-like planets. Effective filtering of activity is crucial to achieve the sensitivity required for small planet detections. Here, we analyse the impact of selecting different line lists for least-squares deconvolution on the dispersion in our RV data sets, to identify the line list that most effectively reduces the jitter. We employ optical observations of the active M dwarf EV Lac collected with ESPaDOnS and NARVAL, and study two line selection approaches: a parametric one based on line properties and a randomised algorithm that samples the line combination space. We test the latter further to find the line list that singles out the activity signal from other sources of noise, and on AD Leo and DS Leo to examine its consistency at mitigating jitter for different activity levels. The analysis is complemented with planetary injection tests. The parametric selection yields a RV RMS reduction of less than 10%, while the randomised selection a systematic >50% improvement, regardless of the activity level of the star examined. Furthermore, if activity is the dominant source of noise, this approach allows the construction of lists containing mainly activity-sensitive lines, which could be used to enhance the rotational modulation of the resulting data sets and determine the stellar rotation period more robustly. Finally, the output line lists allow the recovery of a synthetic planet (0.3-0.6 MJup on a 10 d orbit) in the presence of both moderate (20 m/s semi-amplitude) and high (200 m/s) activity levels, without affecting the planet signal substantially.


title: Analysis of two-nucleon transfer reactions in the 20Ne + 116Cd system at 306 MeV

abstract: Background: Heavy-ion induced two-nucleon transfer reactions are powerful tools to reveal peculiar aspects of the atomic nucleus, such as pairing correlations, single-particle and collective degrees of freedom, and more. Also, these processes are in competition with the direct meson exchange in the double charge exchange reactions, which have recently attracted great interest due to their possible connection to neutrinoless double-beta decay. In this framework, the exploration of two-nucleon transfer reactions in the 20Ne+116Cd collision at energies above the Coulomb barrier is particularly relevant since the 116Cd nucleus is a candidate for the double-beta decay. Methods: We measured the excitation energy spectra and absolute cross sections for the two reactions using the MAGNEX large acceptance magnetic spectrometer to detect the ejectiles. We performed direct coupled reaction channels and sequential distorted wave Born approximation calculations using the double folding S\~ao Paulo potential to model the initial and final state interactions. The spectroscopic amplitudes for two- and singleparticle transitions were derived by different nuclear structure approaches: microscopic large-scale shell model, interacting boson model-2 and quasiparticle random phase approximation. Results: The calculations are able to reproduce the experimental cross sections for both two-neutron and twoproton transfer reactions. The role of couplings with the inelastic channels are found to be important in the two-proton transfer case. A competition between the direct and the sequential process is found in the reaction mechanism. For the two-proton transfer case, the inclusion of the 1g7/2 and 2d5/2 orbitals in the model space is crucial.


title: IsoDAR@Yemilab: A Conceptual Design Report for the Deployment of the Isotope Decay-At-Rest Experiment in Korea's New Underground Laboratory, Yemilab

abstract: This Conceptual Design Report addresses the site-specific issues associated with the deployment of the IsoDAR experiment at the Yemilab site. IsoDAR@Yemilab pairs the IsoDAR cyclotron-driven $\bar{\nu}_e$ source with the proposed Liquid Scintillator Counter (LSC) 2.5 kton detector. This document describes the proposed siting: requirements for the caverns to house the cyclotron, beam transport line, and target systems; issues associated with transport and assembly of components on the site; electrical power, cooling and ventilation; as well as issues associated with radiation protection of the environment and staff of Yemilab who will be interfacing with IsoDAR during its operational phases. The onset of construction of the IsoDAR area at Yemilab, in tandem with the release of this design report, represents a key step forward in establishing IsoDAR@Yemilab.


title: Convergence of solutions of a rescaled evolution nonlocal cross-diffusion problem to its local diffusion counterpart

abstract: We prove that, under a suitable rescaling of the integrable kernel defining the nonlocal diffusion terms, the corresponding sequence of solutions of the Shigesada-Kawasaki-Teramoto nonlocal cross-diffusion problem converges to a solution of the usual problem with local diffusion. In particular, the result may be regarded as a new proof of existence of solutions for the local diffusion problem.


title: Dust entrainment in photoevaporative winds: Densities and imaging

abstract: X-ray- and EUV- (XEUV-) driven photoevaporative winds acting on protoplanetary disks around young T-Tauri stars may crucially impact disk evolution, affecting both gas and dust distributions. We constrain the dust densities in a typical XEUV-driven outflow, and determine whether these winds can be observed at $\mu\mathrm{m}$-wavelengths in scattered and polarised light. For an XEUV-driven outflow around a $M_* = 0.7\,\mathrm{M}_\odot$ T-Tauri star with $L_X = 2 \cdot 10^{30}\,\mathrm{erg/s}$, we find a dust mass-loss rate $\dot{M}_\mathrm{dust} \lesssim 4.1 \cdot 10^{-11}\,\mathrm{M_\odot / yr}$ for an optimistic estimate of dust densities in the wind (compared to $\dot{M}_\mathrm{gas} \approx 3.7 \cdot 10^{-8}\,\mathrm{M_\odot / yr}$). The synthesised scattered-light images suggest a distinct chimney structure emerging at intensities $I/I_{\max} < 10^{-4.5}$ ($10^{-3.5}$) at $\lambda_\mathrm{obs} = 1.6$ ($0.4$) $\mu\mathrm{m}$, while the features in the polarised-light images are even fainter. Observations synthesised from our model do not exhibit clear features for SPHERE IRDIS, but show a faint wind signature for JWST NIRCam under optimal conditions. In conclusion, unambiguous detections of photoevaporative XEUV winds launched from primordial disks are at least challenging with current instrumentation; this provides a possible explanation as to why disk winds are not routinely detected in scattered or polarised light.


title: Simulability transitions in continuous-time dynamics of local open quantum systems

abstract: We analyze the complexity of classically simulating continuous-time dynamics of locally interacting quantum spin systems with a constant rate of entanglement breaking noise. We prove that a polynomial time classical algorithm can be used to sample from the state of the spins when the rate of noise is higher than a threshold determined by the strength of the local interactions. Furthermore, by encoding a 1D fault tolerant quantum computation into the dynamics of spin systems arranged on two or higher dimensional grids, we show that for several noise channels, the problem of weakly simulating the output state of both purely Hamiltonian and purely dissipative dynamics is expected to be hard in the low-noise regime.


title: Semi-supervised Domain Adaptation for Semantic Segmentation

abstract: Deep learning approaches for semantic segmentation rely primarily on supervised learning approaches and require substantial efforts in producing pixel-level annotations. Further, such approaches may perform poorly when applied to unseen image domains. To cope with these limitations, both unsupervised domain adaptation (UDA) with full source supervision but without target supervision and semi-supervised learning (SSL) with partial supervision have been proposed. While such methods are effective at aligning different feature distributions, there is still a need to efficiently exploit unlabeled data to address the performance gap with respect to fully-supervised methods. In this paper we address semi-supervised domain adaptation (SSDA) for semantic segmentation, where a large amount of labeled source data as well as a small amount of labeled target data are available. We propose a novel and effective two-step semi-supervised dual-domain adaptation (SSDDA) approach to address both cross- and intra-domain gaps in semantic segmentation. The proposed framework is comprised of two mixing modules. First, we conduct a cross-domain adaptation via an image-level mixing strategy, which learns to align the distribution shift of features between the source data and target data. Second, intra-domain adaptation is achieved using a separate student-teacher network which is built to generate category-level data augmentation by mixing unlabeled target data in a way that respects predicted object boundaries. We demonstrate that the proposed approach outperforms state-of-the-art methods on two common synthetic-to-real semantic segmentation benchmarks. An extensive ablation study is provided to further validate the effectiveness of our approach.


title: OSS-Net: Memory Efficient High Resolution Semantic Segmentation of 3D Medical Data

abstract: Convolutional neural networks (CNNs) are the current state-of-the-art meta-algorithm for volumetric segmentation of medical data, for example, to localize COVID-19 infected tissue on computer tomography scans or the detection of tumour volumes in magnetic resonance imaging. A key limitation of 3D CNNs on voxelised data is that the memory consumption grows cubically with the training data resolution. Occupancy networks (O-Nets) are an alternative for which the data is represented continuously in a function space and 3D shapes are learned as a continuous decision boundary. While O-Nets are significantly more memory efficient than 3D CNNs, they are limited to simple shapes, are relatively slow at inference, and have not yet been adapted for 3D semantic segmentation of medical data. Here, we propose Occupancy Networks for Semantic Segmentation (OSS-Nets) to accurately and memory-efficiently segment 3D medical data. We build upon the original O-Net with modifications for increased expressiveness leading to improved segmentation performance comparable to 3D CNNs, as well as modifications for faster inference. We leverage local observations to represent complex shapes and prior encoder predictions to expedite inference. We showcase OSS-Net's performance on 3D brain tumour and liver segmentation against a function space baseline (O-Net), a performance baseline (3D residual U-Net), and an efficiency baseline (2D residual U-Net). OSS-Net yields segmentation results similar to the performance baseline and superior to the function space and efficiency baselines. In terms of memory efficiency, OSS-Net consumes comparable amounts of memory as the function space baseline, somewhat more memory than the efficiency baseline and significantly less than the performance baseline. As such, OSS-Net enables memory-efficient and accurate 3D semantic segmentation that can scale to high resolutions.


title: Anaphora and Ellipsis in Lambek Calculus with a Relevant Modality: Syntax and Semantics

abstract: Lambek calculus with a relevant modality $!\mathbf{L^*}$ of arXiv:1601.06303 syntactically resolves parasitic gaps in natural language. It resembles the Lambek calculus with anaphora $\mathbf{LA}$ of (J\"ager, 1998) and the Lambek calculus with controlled contraction, $\mathbf{L}_{\Diamond}$, of arXiv:1905.01647v1 which deal with anaphora and ellipsis. What all these calculi add to Lambek calculus is a copying and moving behaviour. Distributional semantics is a subfield of Natural Language Processing that uses vector space semantics for words via co-occurrence statistics in large corpora of data. Compositional vector space semantics for Lambek Calculi are obtained via the DisCoCat models arXiv:1003.4394v1. $\mathbf{LA}$ does not have a vector space semantics and the semantics of $\mathbf{L}_{\Diamond}$ is not compositional. Previously, we developed a DisCoCat semantics for $!\mathbf{L^*}$ and focused on the parasitic gap applications. In this paper, we use the vector space instance of that general semantics and show how one can also interpret anaphora, ellipsis, and for the first time derive the sloppy vs strict vector readings of ambiguous anaphora with ellipsis cases. The base of our semantics is tensor algebras and their finite dimensional variants: the Fermionic Fock spaces of Quantum Mechanics. We implement our model and experiment with the ellipsis disambiguation task of arXiv:1905.01647.


title: Study of one-proton transfer reaction for the $^{18}$O + $^{48}$Ti system at 275 MeV

abstract: Single-nucleon transfer reactions are processes that selectively probe single-particle components of the populated many-body nuclear states. In this context, recent efforts have been made to build a unified description of the rich nuclear spectroscopy accessible in heavy-ion collisions. An example of this multichannel approach is the study of the competition between successive nucleon transfer and charge exchange reactions, the latter being of particular interest in the context of single and double beta decay studies. To this extent, the one-proton pickup reaction $^{48}$Ti($^{18}$O,$^{19}$F)$^{47}$Sc at 275 MeV was measured for the first time, under the NUMEN experimental campaign. Differential cross-section angular distribution measurements for the $^{19}$F ejectiles were performed at INFN-LNS in Catania by using the MAGNEX large acceptance magnetic spectrometer. The data were analyzed within the distorted-wave and coupled-channels Born approximation frameworks. The initial and final-state interactions were described adopting the S\~ao Paulo potential, whereas the spectroscopic amplitudes for the projectile and target overlaps were derived from shell-model calculations. The theoretical cross sections are found to be in very good agreement with the experimental data, suggesting the validity of the optical potentials and the shell-model description of the involved nuclear states within the adopted model space.


title: EXPRES. III. Revealing the Stellar Activity Radial Velocity Signature of $\epsilon$ Eridani with Photometry and Interferometry

abstract: The distortions of absorption line profiles caused by photospheric brightness variations on the surfaces of cool, main-sequence stars can mimic or overwhelm radial velocity (RV) shifts due to the presence of exoplanets. The latest generation of precision RV spectrographs aims to detect velocity amplitudes $\lesssim 10$ cm s$^{-1}$, but requires mitigation of stellar signals. Statistical techniques are being developed to differentiate between Keplerian and activity-related velocity perturbations. Two important challenges, however, are the interpretability of the stellar activity component as RV models become more sophisticated, and ensuring the lowest-amplitude Keplerian signatures are not inadvertently accounted for in flexible models of stellar activity. For the K2V exoplanet host $\epsilon$ Eridani, we separately use ground-based photometry to constrain Gaussian processes for modeling RVs and TESS photometry with a light-curve inversion algorithm to reconstruct the stellar surface. From the reconstructions of TESS photometry, we produce an activity model, which reduces the rms scatter in RVs obtained with EXPRES from 4.72 m s$^{-1}$ to 1.98 m s$^{-1}$. We present a pilot study using the CHARA Array and MIRC-X beam combiner to directly image the starspots seen in the TESS photometry. With the limited phase coverage, our spot detections are marginal with current data but a future dedicated observing campaign should allow for imaging, as well as the stellar inclination and orientation with respect to its debris disk to be definitely determined. This work shows that stellar surface maps obtained with high cadence, time-series photometric and interferometric data can provide the constraints needed to accurately reduce RV scatter.


title: Higgs bundles and flat connections over compact Sasakian manifolds, II: quasi-regular bundles

abstract: In this continuation of \cite{BK} we investigate the non-abelian Hodge correspondence on compact Sasakian manifolds with emphasis on the quasi-regular case. On quasi-regular Sasakian manifolds, we introduce the notions of quasi-regularity and regularity of basic vector bundles. These notions are useful in relating the vector bundles over a quasi-regular Sasakian manifold with the orbibundles over the orbifold defined by the orbits of the Reeb foliation of the Sasakian manifold. We note that the non-abelian Hodge correspondence on quasi-regular Sasakian manifolds gives a canonical correspondence between the semi-simple representations of the orbifold fundamental groups and the Higgs orbibundles on locally cyclic complex orbifolds admitting Hodge metrics. Under the quasi-regularity of Sasakian manifolds and vector bundles, we extend this correspondence to one between the flat bundles and the basic Higgs bundles. We also prove a Sasakian analogue of the characterization of numerically flat bundles given by Demailly, Peternell and Schneider.


title: Combining Different V1 Brain Model Variants to Improve Robustness to Image Corruptions in CNNs

abstract: While some convolutional neural networks (CNNs) have surpassed human visual abilities in object classification, they often struggle to recognize objects in images corrupted with different types of common noise patterns, highlighting a major limitation of this family of models. Recently, it has been shown that simulating a primary visual cortex (V1) at the front of CNNs leads to small improvements in robustness to these image perturbations. In this study, we start with the observation that different variants of the V1 model show gains for specific corruption types. We then build a new model using an ensembling technique, which combines multiple individual models with different V1 front-end variants. The model ensemble leverages the strengths of each individual model, leading to significant improvements in robustness across all corruption categories and outperforming the base model by 38% on average. Finally, we show that using distillation, it is possible to partially compress the knowledge in the ensemble model into a single model with a V1 front-end. While the ensembling and distillation techniques used here are hardly biologically-plausible, the results presented here demonstrate that by combining the specific strengths of different neuronal circuits in V1 it is possible to improve the robustness of CNNs for a wide range of perturbations.


title: Quantifying incompatibility of quantum measurements through non-commutativity

abstract: The existence of incompatible measurements, i.e. measurements which cannot be performed simultaneously on a single copy of a quantum state, constitutes an important distinction between quantum mechanics and classical theories. While incompatibility might at first glance seem like an obstacle, it turns to be a necessary ingredient to achieve the so-called quantum advantage in various operational tasks like random access codes or key distribution. To improve our understanding of how to quantify incompatibility of quantum measurements, we define and explore a family of incompatibility measures based on non-commutativity. We investigate some basic properties of these measures, we show that they satisfy some natural information-processing requirements and we fully characterize the pairs which achieve the highest incompatibility (in a fixed dimension). We also consider the behavior of our measures under different types of compositions. Finally, to link our new measures to existing results, we relate them to a robustness-based incompatibility measure and two operational scenarios: random access codes and entropic uncertainty relations.


title: Low regularity ill-posedness and shock formation for 3D ideal compressible MHD

abstract: The study of magnetohydrodynamics (MHD) significantly boosts the understanding and development of solar physics, planetary dynamics and controlled nuclear fusion. Dynamical properties of the MHD system involve nonlinear interactions of waves with multiple travelling speeds (the fast and slow magnetosonic waves, the Alfv\'{e}n wave and the entropy wave). One intriguing topic is the shock phenomena accompanied by the magnetic field, which have been affirmed by astronomical observations. However, permitting the residence of all above multi-speed waves, mathematically, whether one can prove shock formation for 3D MHD is still open. The multiple-speed nature of the MHD system makes it fascinating and challenging. In this paper, we give an affirmative answer to the above question. For 3D ideal compressible MHD, we construct examples of shock formation allowing the presence of all characteristic waves with multiple wave speeds. Building on our construction, we further prove that the Cauchy problem for 3D ideal MHD is $H^2$ ill-posed. And this is caused by the instantaneous shock formation. In particular, when the magnetic field is absent, we also provide a desired low-regularity ill-posedness result for the 3D compressible Euler equations, and it is sharp with respect to the regularity of the fluid velocity. Our proof for 3D MHD is based on a coalition of a carefully designed algebraic approach and a geometric approach. To trace the nonlinear interactions of various waves, we algebraically decompose the 3D ideal MHD equations into a $7\times 7$ non-strictly hyperbolic system. Via detailed calculations, we reveal its hidden subtle structures. With them we give a complete description of MHD dynamics up to the earliest singular event, when a shock forms.


title: Altering the magnetic ordering of Fe$_{3}$Ga$_{4}$ via thermal annealing and hydrostatic pressure

abstract: The effects of post-synthesis annealing temperature on arc-melted samples of Fe$_{3}$Ga$_{4}$ has been studied to investigate changes in crystallographic and magnetic properties induced by annealing. Results show a significant trend in the evolution of the (incommensurate spin density wave) ISDW-FM (ferromagnetic) transition temperature as a function of the refined unit cell volume in annealed samples. Strikingly, this trend allowed for the tuning of the transition temperature down to room-temperature (300 K) whilst maintaining a sharp transition in temperature, opening the door to the use of Fe$_{3}$Ga$_{4}$ in functional devices. Crystallographic analysis through Rietveld refinement of high-resolution x-ray diffraction data has showed that arc-melted stoichiometric Fe$_{3}$Ga$_{4}$ is multi-phase regardless of annealing temperature with a minor phase of FeGa$_{3}$ decreasing in phase fraction at higher annealing temperature. In order to validate the trend in ISDW-FM transition temperature with regard to unit cell volume, high pressure magnetometry was performed. This showed that the FM-ISDW ($\sim$ 68 K) and ISDW-FM ($\sim$ 360 K) transition temperatures could be tuned, increased and decreased respectively, linearly with external pressure. Thus, external pressure and the ensuing crystallographic changes minimize the temperature range of the stability of the ISDW pointing toward the importance of structural properties on the mechanism for the formation of the intermediate ISDW phase. These results show how this model system can be tuned as well as highlighting the need for future high-pressure crystallography and related single crystal measurements to understand the mechanism and nature of the intermediate ISDW phase to be exploited in future devices.


title: Machine-learning techniques applied to three-year exposure of ANAIS-112

abstract: ANAIS is a direct dark matter detection experiment aiming at the confirmation or refutation of the DAMA/LIBRA positive annual modulation signal in the low energy detection rate, using the same target and technique. ANAIS-112, located at the Canfranc Underground Laboratory in Spain, is operating an array of 3$\times$3 ultrapure NaI(Tl) crystals with a total mass of 112.5 kg since August 2017. The trigger rate in the region of interest (1-6 keV) is dominated by non-bulk scintillation events. In order to discriminate these noise events from bulk scintillation events, robust filtering protocols have been developed. Although this filtering procedure works very well above 2 keV, the measured rate from 1 to 2 keV is about 50% higher than expected according to our background model, and we cannot discard non-bulk scintillation events as responsible of that excess. In order to improve the rejection of noise events, a Boosted Decision Tree has been developed and applied. With this new PMT-related noise rejection algorithm, the ANAIS-112 background between 1 and 2 keV is reduced by almost 30%, leading to an increase in sensitivity to the annual modulation signal. The reanalysis of the three years of ANAIS-112 data with this technique is also presented.


title: Attention Overload

abstract: We introduce an Attention Overload Model that captures the idea that alternatives compete for the decision maker's attention, and hence the attention that each alternative receives decreases as the choice problem becomes larger. We provide testable implications on the observed choice behavior that can be used to (point or partially) identify the decision maker's preference and attention frequency. We then enhance our attention overload model to accommodate heterogeneous preferences based on the idea of List-based Attention Overload, where alternatives are presented to the decision makers as a list that correlates with both heterogeneous preferences and random attention. We show that preference and attention frequencies are (point or partially) identifiable under nonparametric assumptions on the list and attention formation mechanisms, even when the true underlying list is unknown to the researcher. Building on our identification results, we develop econometric methods for estimation and inference.


title: Nudging-based data assimilation of the turbulent flow around a square cylinder

abstract: We investigate the prediction of the turbulent flow around a canonical square cylinder at Re= 22000 solving the unsteady Reynolds-averaged Navier-Stokes (URANS) equations. The limitations of URANS modelling are overcome through the application of a data assimilation technique involving a feedback control term, allowing to drive the URANS predictions towards reference data. Using regularly-spaced temporally-resolved reference data that are extracted from DNS, we assess the abilities of the data assimilation methodology in improving the unsteady URANS predictions. While improving the low-frequency oscillations of the wake flow, we also demonstrate the ability to recover the high-frequency dynamics of Kelvin-Helmholtz instabilities. The influence of spatial resolution of reference data is systematically investigated. The data resolution which is required to improve the prediction of flow structures of interest is related to their wavelength. Using a spacing of the order of one cylinder length between data points, we already observe synchronisation of the low-frequency vortex shedding that leads to a significant decrease in temporal and spectral errors as computed by spectral proper orthogonal decomposition. Furthermore,improved accuracy in terms of mean flow prediction of URANS is achieved. Using spacing of the order of the wavelength of the Kelvin-Helmholtz vortices, we even recover those shear layer structures which are absent in the baseline simulation.


title: Evolutionary clustering of Lagrangian trajectories in turbulent Rayleigh-B\'enard convection flows

abstract: We explore the transport mechanisms of heat in two- and three-dimensional turbulent convection flows by means of the long-term evolution of Lagrangian coherent sets. They are obtained from the spectral clustering of trajectories of massless fluid tracers that are advected in the flow. Coherent sets result from trajectories that stay closely together under the dynamics of the turbulent flow. For longer times, they are always destroyed by the intrinsic turbulent dispersion of material transport. Here, this constraint is overcome by the application of evolutionary clustering algorithms that add a time memory to the coherent set detection and allow individual trajectories to leak in or out of evolving clusters. Evolutionary clustering thus also opens the possibility to monitor the splits and mergers of coherent sets. These rare dynamic events leave clear footprints in the evolving eigenvalue spectrum of the Laplacian matrix of the trajectory network in both convection flows. The Lagrangian trajectories reveal the individual pathways of convective heat transfer across the fluid layer. We identify the long-term coherent sets as those fluid flow regions that contribute least to heat transfer. Thus, our evolutionary framework defines a complementary perspective on the slow dynamics of turbulent superstructure patterns in convection flows that were recently discussed in the Eulerian frame of reference. The presented framework might be well suited for studies in natural flows which are typically based on sparse information from drifters and probes.


title: Virtual domination of 3-manifolds II

abstract: For any closed oriented 3-manifold $M$ with positive simplicial volume and any closed oriented 3-manifold $N$, we prove that there exists a finite cover $M'$ of $M$ that admits a degree-1 map $f:M'\to M$, i.e. M virtually 1-dominates N. This result generalizes previous virtual domination results with closed hyperbolic domain to more general domains.


title: TES Detector for ALPS II

abstract: The application of cryogenic single photon detectors has found great use in high precision particle physics experiments such as ALPS (Any Light Particle Search) II, which implements it for fundamental studies to search for new particles. ALPS II is a light-shining-through-a-wall experiment searching for axion-like-particles, which couple to photons. The extremely low rate of photons generated by the conversion of such axion-like-particles necessitates a detector setup capable of low energy (~ 1 eV; as dictated by cavity optics) single photon detection with high efficiency and an ultra-low background level, with long-term stability. This can be realised by a Transition Edge Sensor (TES) setup with low-temperature SQUID readout.


title: Socialbots on Fire: Modeling Adversarial Behaviors of Socialbots via Multi-Agent Hierarchical Reinforcement Learning

abstract: Socialbots are software-driven user accounts on social platforms, acting autonomously (mimicking human behavior), with the aims to influence the opinions of other users or spread targeted misinformation for particular goals. As socialbots undermine the ecosystem of social platforms, they are often considered harmful. As such, there have been several computational efforts to auto-detect the socialbots. However, to our best knowledge, the adversarial nature of these socialbots has not yet been studied. This begs a question "can adversaries, controlling socialbots, exploit AI techniques to their advantage?" To this question, we successfully demonstrate that indeed it is possible for adversaries to exploit computational learning mechanism such as reinforcement learning (RL) to maximize the influence of socialbots while avoiding being detected. We first formulate the adversarial socialbot learning as a cooperative game between two functional hierarchical RL agents. While one agent curates a sequence of activities that can avoid the detection, the other agent aims to maximize network influence by selectively connecting with right users. Our proposed policy networks train with a vast amount of synthetic graphs and generalize better than baselines on unseen real-life graphs both in terms of maximizing network influence (up to +18%) and sustainable stealthiness (up to +40% undetectability) under a strong bot detector (with 90% detection accuracy). During inference, the complexity of our approach scales linearly, independent of a network's structure and the virality of news. This makes our approach a practical adversarial attack when deployed in a real-life setting.


title: On the dynamics of spicules and mass flows in the solar atmosphere

abstract: Popular scientific summary -- The atmosphere of the Sun is envisioned as composed of inherently complex, non-homogeneous, and dynamic layers. A detailed understanding of the physical processes involved in these layers is still lacking. For example, it is largely unknown why the outermost layer of the Sun's atmosphere (the solar corona) is so much hotter than the photosphere by millions of degrees. Astrophysicists think that the layer sandwiched between the photosphere and the corona, known as the interface region, may hold the key to a better understanding of the nature of this enigma. With the help of coordinated high-resolution, ground- and space-based observations from the Swedish 1-m Solar Telescope (SST) on La Palma, Spain, and NASA's Interface Region Imaging Spectrograph (IRIS) and Solar Dynamics Observatory (SDO), along with the support from an advanced numerical simulation, I aim to unlock some of the mysteries surrounding the dynamics of the interface region with a focus on small-scale jets, known as "spicules". Spicules are found almost everywhere on the Sun's surface and at any given moment there can be as many as 10 million of them rapidly shooting outwards. They are often found to be heated beyond chromospheric temperatures and appear in the transition region and (even) coronal passbands. Because of their "omnipresence", it is suggested that they play a major role in energizing the outer atmospheric layers of the Sun. This thesis focuses on the physical characteristics and dynamics of spicules, along with their role in mass-balance and heating of the solar atmosphere.


title: Theorems of Carath\'{e}odory, Minkowski-Weyl, and Gordan up to symmetry

abstract: In this paper we extend three classical and fundamental results in polyhedral geometry, namely, Carath\'{e}odory's theorem, the Minkowski-Weyl theorem, and Gordan's lemma to infinite dimensional spaces, in which considered cones and monoids are invariant under actions of symmetric groups.


title: Geometry of radio pulsar signals: The origin of pulsation modes and nulling

abstract: Radio pulsars exhibit an enormous diversity of single pulse behaviour that involves sudden changes in pulsation mode and nulling occurring on timescales of tens or hundreds of spin periods. The pulsations appear both chaotic and quasi-regular, which has hampered their interpretation for decades. Here I show that the pseudo-chaotic complexity of single pulses is caused by the viewing of a relatively simple radio beam that has a sector structure traceable to the magnetospheric charge distribution. The slow ExB drift of the sector beam, when sampled by the line of sight, produces the classical drift-period-folded patterns known from observations. The drifting azimuthal zones of the beam produce the changes in pulsation modes and both the intermodal and sporadic nulling at timescales of beating between the drift and the star spin. The axially symmetric conal beams are thus a superficial geometric illusion, and the standard carousel model of pulsar radio beams does not apply. The beam suggests a particle flow structure that involves inward motions with possible inward emission.


title: OMB-Py: Python Micro-Benchmarks for Evaluating Performance of MPI Libraries on HPC Systems

abstract: Python has become a dominant programming language for emerging areas like Machine Learning (ML), Deep Learning (DL), and Data Science (DS). An attractive feature of Python is that it provides easy-to-use programming interface while allowing library developers to enhance performance of their applications by harnessing the computing power offered by High Performance Computing (HPC) platforms. Efficient communication is key to scaling applications on parallel systems, which is typically enabled by the Message Passing Interface (MPI) standard and compliant libraries on HPC hardware. mpi4py is a Python-based communication library that provides an MPI-like interface for Python applications allowing application developers to utilize parallel processing elements including GPUs. However, there is currently no benchmark suite to evaluate communication performance of mpi4py -- and Python MPI codes in general -- on modern HPC systems. In order to bridge this gap, we propose OMB-Py -- Python extensions to the open-source OSU Micro-Benchmark (OMB) suite -- aimed to evaluate communication performance of MPI-based parallel applications in Python. To the best of our knowledge, OMB-Py is the first communication benchmark suite for parallel Python applications. OMB-Py consists of a variety of point-to-point and collective communication benchmark tests that are implemented for a range of popular Python libraries including NumPy, CuPy, Numba, and PyCUDA. Our evaluation reveals that mpi4py introduces a small overhead when compared to native MPI libraries. We plan to publicly release OMB-Py to benefit the Python HPC community.


title: Event-triggered Control for Nonlinear Systems with Center Manifolds

abstract: In this work, we consider the problem of event-triggered implementation of control laws designed for the local stabilization of nonlinear systems with center manifolds. We propose event-triggering conditions which are derived from a local input-to-state stability characterization of such systems. The triggering conditions ensure local ultimate boundedness of the trajectories and the existence of a uniform positive lower bound for the inter-event times. The ultimate bound can be made arbitrarily small, but by allowing for smaller inter-event times. Under certain assumptions on the controller structure, local asymptotic stability of the origin is also guaranteed. Two sets of triggering conditions are proposed, that cater to the cases where the exact center manifold and only an approximation of the center manifold is computable. The closed-loop system exhibits some desirable properties when the exact knowledge of the center manifold is employed in checking the triggering conditions. Three illustrative examples that explore different scenarios are presented and the applicability of the proposed methods is demonstrated. The third example concerns the event-triggered implementation of a position stabilizing controller for the open-loop unstable Mobile Inverted Pendulum (MIP) robot.


title: SILG: The Multi-environment Symbolic Interactive Language Grounding Benchmark

abstract: Existing work in language grounding typically study single environments. How do we build unified models that apply across multiple environments? We propose the multi-environment Symbolic Interactive Language Grounding benchmark (SILG), which unifies a collection of diverse grounded language learning environments under a common interface. SILG consists of grid-world environments that require generalization to new dynamics, entities, and partially observed worlds (RTFM, Messenger, NetHack), as well as symbolic counterparts of visual worlds that require interpreting rich natural language with respect to complex scenes (ALFWorld, Touchdown). Together, these environments provide diverse grounding challenges in richness of observation space, action space, language specification, and plan complexity. In addition, we propose the first shared model architecture for RL on these environments, and evaluate recent advances such as egocentric local convolution, recurrent state-tracking, entity-centric attention, and pretrained LM using SILG. Our shared architecture achieves comparable performance to environment-specific architectures. Moreover, we find that many recent modelling advances do not result in significant gains on environments other than the one they were designed for. This highlights the need for a multi-environment benchmark. Finally, the best models significantly underperform humans on SILG, which suggests ample room for future work. We hope SILG enables the community to quickly identify new methodologies for language grounding that generalize to a diverse set of environments and their associated challenges.


title: Massive Two-Loop Heavy Particle Diagrams

abstract: We determine the master integrals for vertex and propagator diagrams that appear in effective field theories containing heavy fields. The integrals involve at least one heavy line, and the standard lines include an arbitrary mass scale. The evaluation is done analytically with modern techniques. We employ the methods of differential equations and dimensional recurrence relations to evaluate said integrals up to two-loop order.


title: On the Rouquier dimension of wrapped Fukaya categories and a conjecture of Orlov

abstract: We study the Rouquier dimension of wrapped Fukaya categories of Liouville manifolds and pairs, and apply this invariant to various problems in algebraic and symplectic geometry. On the algebro-geometric side, we introduce a new method based on symplectic flexibility and mirror symmetry to bound the Rouquier dimension of derived categories of coherent sheaves on certain complex algebraic varieties and stacks. These bounds are sharp in dimension at most $3$. As a result, we resolve a well-known conjecture of Orlov for a large class of new examples, including all toric $3$-folds and certain log Calabi--Yau surfaces. On the symplectic side, we study various quantitative questions such as: (1) given a Weinstein manifold, what is the minimal number of intersection points between the skeleton and its image under a generic compactly-supported Hamiltonian diffeomorphism? (2) what is the minimal number of critical points of a Lefschetz fibration on a Liouville manifold with Weinstein fibers? We give lower bounds for these quantities which are to our knowledge the first to go beyond the basic flexible/rigid dichotomy.


title: Reducing runtime and error in VQE using deeper and noisier quantum circuits

abstract: The rapid development of noisy intermediate-scale quantum (NISQ) devices has raised the question of whether or not these devices will find commercial use. Unfortunately, a major shortcoming of many proposed NISQ-amenable algorithms, such as the variational quantum eigensolver (VQE), is coming into view: the algorithms require too many independent quantum measurements to solve practical problems in a reasonable amount of time. This motivates the central question of our work: how might we speed up such algorithms in spite of the impact of error on NISQ computations? We demonstrate on quantum hardware that the estimation of expectation values, a core subroutine of many quantum algorithms including VQE, can be improved in terms of precision and accuracy by using a technique we call Robust Amplitude Estimation. Consequently, this method reduces the runtime to achieve the same mean-squared error compared to the standard prepare-and-measure estimation method. The surprising result is that by using deeper, and therefore more error-prone, quantum circuits, we realize more accurate quantum computations in less time. As the quality of quantum devices improves, this method will provide a proportional reduction in estimation runtime. This technique may be used to speed up quantum computations into the regime of early fault-tolerant quantum computation and aid in the realization of quantum advantage.


title: On adiabatic cycles of quantum spin systems

abstract: Motivated by the $\Omega$-spectrum proposal of unique gapped ground states by Kitaev, we study adiabatic cycles in gapped quantum spin systems from various perspectives. We give a few exactly solvable models in one and two spatial dimensions and discuss how nontrivial adiabatic cycles are detected. For one spatial dimension, we study the adiabatic cycle in detail with the matrix product state and show that the symmetry charge can act on the space of matrices without changing the physical states, which leads to nontrivial loops with symmetry charges. For generic spatial dimensions, based on the Bockstein isomorphism $H^d(G,U(1)) \cong H^{d+1}(G,\mathbb{Z})$, we study a group cohomology model of the adiabatic cycle that pumps a symmetry-protected topological phase on the boundary by one period. It is shown that the spatial texture of the adiabatic Hamiltonian traps a symmetry-protected topological phase in one dimension lower.


title: Efficient Consensus-Free Weight Reassignment for Atomic Storage (Extended Version)

abstract: Weighted voting is a conventional approach to improving the performance of replicated systems based on commonly-used majority quorum systems in heterogeneous environments. In long-lived systems, a weight reassignment protocol is required to reassign weights over time in order to accommodate performance variations accordingly. The weight reassignment protocol should be consensus-free in asynchronous failure-prone systems because of the impossibility of solving consensus in such systems. This paper presents an efficient consensus-free weight reassignment protocol for atomic storage systems in heterogeneous, dynamic, and asynchronous message-passing systems. An experimental evaluation shows that the proposed protocol improves the performance of atomic read/write storage implemented by majority quorum systems compared with previous solutions.


title: Scalar curvature operator for models of loop quantum gravity on a cubical graph

abstract: In this article we introduce a new operator representing the three-dimensional scalar curvature in loop quantum gravity. Our construction does not apply to the entire kinematical Hilbert space of loop quantum gravity; instead, the operator is defined on the Hilbert space of a fixed cubical graph. The starting point of our work is to write the spatial Ricci scalar classically as a function of the densitized triad and its SU(2)-covariant derivatives. We pass from the classical expression to a quantum operator through a regularization procedure, in which covariant derivatives of the triad are discretized as finite differences of gauge covariant flux variables on the cubical lattice provided by the graph. While more work is needed in order to extend our construction to encompass states based on all possible graphs, the operator presented here can be applied in models such as quantum-reduced loop gravity and effective dynamics, which are derived from the kinematical framework of full loop quantum gravity, and are formulated in terms of states defined on cubical graphs.


title: Evaluating the Evaluation Metrics for Style Transfer: A Case Study in Multilingual Formality Transfer

abstract: While the field of style transfer (ST) has been growing rapidly, it has been hampered by a lack of standardized practices for automatic evaluation. In this paper, we evaluate leading ST automatic metrics on the oft-researched task of formality style transfer. Unlike previous evaluations, which focus solely on English, we expand our focus to Brazilian-Portuguese, French, and Italian, making this work the first multilingual evaluation of metrics in ST. We outline best practices for automatic evaluation in (formality) style transfer and identify several models that correlate well with human judgments and are robust across languages. We hope that this work will help accelerate development in ST, where human evaluation is often challenging to collect.


title: A new automated tool for the spectral classification of OB stars

abstract: (abridged) We develop a tool for the automated spectral classification of OB stars according to their sub-types. We use the regular Random Forest (RF) algorithm, the Probabilistic RF (PRF), and we introduce the KDE-RF method which is a combination of the Kernel-Density Estimation and the RF algorithm. We train the algorithms on the Equivalent Width (EW) of characteristic absorption lines (features) measured in high-quality spectra from large Galactic (LAMOST,GOSSS) and extragalactic surveys (2dF,VFTS) with available spectral-types and luminosity classes. We find that the overall accuracy score is $\sim$70% with similar results across all approaches. We show that the full set of 17 spectral lines is needed to reach the maximum performance per spectral class. We apply our model in other observational data sets providing examples of potential application of our classifier on real science cases. We find that it performs well for both single massive stars and for the companion massive stars in Be X-ray binaries. In addition, we propose a reduced 10-features scheme that can be applied to large data sets with lower S/N. The similarity in the performances of our models indicates the robustness and the reliability of the RF algorithm when it is used for the spectral classification of early-type stars. The score of $\sim$70% is high if we consider (a) the complexity of such multi-class classification problems, (b) the intrinsic scatter of the EW distributions within the examined spectral classes, and (c) the diversity of the training set since we use data obtained from different surveys with different observing strategies. In addition, the approach presented in this work, is applicable to data of different quality and of different format (e.g.,absolute or normalized flux) while our classifier is agnostic to the Luminosity Class of a star and, as much as possible, metallicity independent.


title: Complex critical points and curved geometries in four-dimensional Lorentzian spinfoam quantum gravity

abstract: This paper focuses on the semiclassical behavior of the spinfoam quantum gravity in 4 dimensions. There has been long-standing confusion, known as the flatness problem, about whether the curved geometry exists in the semiclassical regime of the spinfoam amplitude. The confusion is resolved by the present work. By numerical computations, we explicitly find curved Regge geometries from the large-$j$ Lorentzian Engle-Pereira-Rovelli-Livine (EPRL) spinfoam amplitudes on triangulations. These curved geometries are with small deficit angles and relate to the complex critical points of the amplitude. The dominant contribution from the curved geometry to the spinfoam amplitude is proportional to $e^{i \mathcal{I}}$, where $\mathcal{I}$ is the Regge action of the geometry plus corrections of higher order in curvature. As a result, the spinfoam amplitude reduces to an integral over Regge geometries weighted by $e^{i \mathcal{I}}$ in the semiclassical regime. As a byproduct, our result also provides a mechanism to relax the cosine problem in the spinfoam model. Our results provide important evidence supporting the semiclassical consistency of the spinfoam quantum gravity.


title: Adaptive Gradient Descent for Optimal Control of Parabolic Equations with Random Parameters

abstract: In this paper we extend the adaptive gradient descent (AdaGrad) algorithm to the optimal distributed control of parabolic partial differential equations with uncertain parameters. This stochastic optimization method achieves an improved convergence rate through adaptive scaling of the gradient step size. We prove the convergence of the algorithm for this infinite dimensional problem under suitable regularity, convexity, and finite variance conditions, and relate these to verifiable properties of the underlying system parameters. Finally, we apply our algorithm to the optimal thermal regulation of lithium battery systems under uncertain loads.


title: Boole's probability bounding problem, linear programming aggregations, and nonnegative quadratic pseudo-Boolean functions

abstract: George Boole first proposed the union bounding problem, which is a class of probabilistic satisfiability problems. Based on Hailperin's linear programming formulation of the problem, a very large body of research was conducted to provide good bounds by considering a relaxation that is either polynomial dimension in $n$ or is at least polynomially computable. We study monotone linear mappings $\mathcal{L}$ to a lower $N$ dimensional space such that $\mathcal{L}(\mathbb{R}_+^{2^n-1}) \subseteq \mathbb{R}_+^N$ and provide a complete characterization of the cone $L_\mathcal{E}(\mathbb{R}_+^\Omega)$ for three aggregation models from the literature. This characterization leads to strictly improved bounds in two of these cases as a result. We also obtain an $O(n^2)$ dimensional linear program that is equivalent with Hailperin's model. An interesting side result is that there exists a connection between Hailperin's model and the cut-polytope.


title: Engineering atomic polarization with microwave-assisted optical pumping

abstract: Polarized atomic ensembles play a crucial role in precision measurements. We demonstrate a novel method of creating atomic polarization in an alkali vapor in a continuous-wave regime. The method relies on a combination of optical pumping by a laser beam and microwave transitions due to a cavity-enhanced magnetic field. With this approach, atomic internal angular momentum can be oriented along a static magnetic field at an arbitrary angle with respect to the laser beam. Furthermore, the atomic polarization depends on the microwave parameters, which can be used for microwave-to-optical transduction and microwave-controlled nonlinear magneto-optical rotation.


title: SEA: Graph Shell Attention in Graph Neural Networks

abstract: A common issue in Graph Neural Networks (GNNs) is known as over-smoothing. By increasing the number of iterations within the message-passing of GNNs, the nodes' representations of the input graph align with each other and become indiscernible. Recently, it has been shown that increasing a model's complexity by integrating an attention mechanism yields more expressive architectures. This is majorly contributed to steering the nodes' representations only towards nodes that are more informative than others. Transformer models in combination with GNNs result in architectures including Graph Transformer Layers (GTL), where layers are entirely based on the attention operation. However, the calculation of a node's representation is still restricted to the computational working flow of a GNN. In our work, we relax the GNN architecture by means of implementing a routing heuristic. Specifically, the nodes' representations are routed to dedicated experts. Each expert calculates the representations according to their respective GNN workflow. The definitions of distinguishable GNNs result from k-localized views starting from the central node. We call this procedure Graph Shell Attention (SEA), where experts process different subgraphs in a transformer-motivated fashion. Intuitively, by increasing the number of experts, the models gain in expressiveness such that a node's representation is solely based on nodes that are located within the receptive field of an expert. We evaluate our architecture on various benchmark datasets showing competitive results compared to state-of-the-art models.


title: The First Airborne Experiment of Sparse Microwave Imaging: Prototype System Design and Result Analysis

abstract: In this paper we report the first airborne experiments of sparse microwave imaging, conducted in September 2013 and May 2014, using our prototype sparse microwave imaging radar system. This is the first reported imaging radar system and airborne experiment that specially designed for sparse microwave imaging. Sparse microwave imaging is a novel concept of radar imaging, it is mainly the combination of traditional radar imaging technology and newly developed sparse signal processing theory, achieving benefits in both improving the imaging quality of current microwave imaging systems and designing optimized sparse microwave imaging radar system to reduce system sampling rate towards the sparse target scenes. During recent years, many researchers focus on related topics of sparse microwave imaging, but rarely few paid attention to prototype system design and experiment. We introduce our prototype sparse microwave imaging radar system, including its system design, hardware considerations and signal processing methods. Several design principles should be considered during the system designing, including the sampling scheme, antenna, SNR, waveform, resolution, etc. We select jittered sampling in azimuth and uniform sampling in range to balance the system complexity and performance. The imaging algorithm is accelerated $\ell_q$ regularization algorithm. To test the prototype radar system and verify the effectiveness of sparse microwave imaging framework, airborne experiments are carried out using our prototype system and we achieve the first sparse microwave image successfully. We analyze the imaging performance of prototype sparse microwave radar system with different sparsities, sampling rates, SNRs and sampling schemes, using three-dimensional phase transit diagram as the evaluation tool.


title: Potent preservers of incidence algebras

abstract: Let $X$ be a finite connected poset, $F$ a field and $I(X,F)$ the incidence algebra of $X$ over $F$. We describe the bijective linear idempotent preservers $\varphi:I(X,F)\to I(X,F)$. Namely, we prove that, whenever $\mathrm{char}(F)\ne 2$, $\varphi$ is either an automorphism or an anti-automorphism of $I(X,F)$. If $\mathrm{char}(F)=2$ and $|F|>2$, then $\varphi$ is a (in general, non-proper) Lie automorphism of $I(X,F)$. Finally, if $F=\mathbb{Z}_2$, then $\varphi$ is the composition of a bijective shift map and a Lie automorphism of $I(X,F)$. Under certain restrictions on the characteristic of $F$ we also obtain descriptions of the bijective linear maps which preserve tripotents and, more generally, $k$-potents of $I(X,F)$ for $k\ge 3$.


title: Anomalous Hall effect from gapped nodal line in Co2FeGe Heusler compound

abstract: Full Heusler compounds with Cobalt as a primary element show anomalous transport properties owing to the Weyl fermions and broken time-reversal symmetry. We present here the study of anomalous Hall effect (AHE) in Co2FeGe Heusler compound. The experiment reveals anomalous Hall conductivity (AHC) 100 S/cm at room temperature with an intrinsic contribution of 78 S/cm . The analysis of anomalous Hall resistivity suggests the scattering independent intrinsic mechanism dominates the overall behaviour of anomalous Hall resistivity. The first principles calculation reveals that the Berry curvature originated by gapped nodal line near EF is the main source of AHE in Co2FeGe Heusler compound. The theoretically calculated AHC is in agreement with the experiment.


title: Resilient Time-Varying Formation Tracking for Mobile Robot Networks under Deception Attacks on Positioning

abstract: This paper investigates the resilient control, analysis, recovery, and operation of mobile robot networks in time-varying formation tracking under deception attacks on global positioning. Local and global tracking control algorithms are presented to ensure redundancy of the mobile robot network and to retain the desired functionality for better resilience. Lyapunov stability analysis is utilized to show the boundedness of the formation tracking error and the stability of the network under various attack modes. A performance index is designed to compare the efficiency of the proposed formation tracking algorithms in situations with or without positioning attacks. Subsequently, a communication-free decentralized cooperative localization approach based on extended information filters is presented for positioning estimate recovery where the identification of the positioning attacks is based on Kullback-Leibler divergence. A gain-tuning resilient operation is proposed to strategically synthesize the formation control and cooperative localization for accurate and rapid system recovery from positioning attacks. The proposed methods are tested using both numerical simulation and experimental validation with a team of quadrotors.


title: Using a market basket analysis in tourism studies

abstract: Understanding tourist visitation patterns is crucial for decision makers in order to create smart tourism industry. A growing body of tourism research uses geo-location data in order to better understand tourism demand. In this paper, we present a new approach based on a market basket analysis. This approach uses geo-location data shared by tourists on tourism platforms in order to bundle the range of available tourism services and understand which experiences are consumed together. The approach was tested on the case of Vienna, Austria. Based on our analyses we argue that the proposed approach has potential for use at the destination level and provides relevant information on tourism demand patterns important for smart tourism decision-making.


title: A Critique of a Variety of "Memory-Based'' Process Monitoring Methods

abstract: Many extensions and modifications have been made to standard process monitoring methods such as the exponentially weighted moving average (EWMA) chart and the cumulative sum (CUSUM) chart. In addition, new schemes have been proposed based on alternative weighting of past data, usually to put greater emphasis on past data and less weight on current and recent data. In other cases, the output of one process monitoring method, such as the EWMA statistic, is used as the input to another method, such as the CUSUM chart. Often the recursive formula for a control chart statistic is itself used recursively to form a new control chart statistic. We find the use of these ad hoc methods to be unjustified. Statistical performance comparisons justifying the use of these methods have been either flawed by focusing only on zero-state run length metrics or by making comparisons to an unnecessarily weak competitor.


title: Neighborhoods and Functionality in Metals

abstract: The fundamental construct of organic chemistry involves understanding molecular behavior through functional groups. Much of computational chemistry focuses on this very principle, but metallic materials are rarely analyzed using these techniques owing to the assumption that they are delocalized and do not possess inherent functionality. In this paper, we propose a methodology that recovers functional groups in metallic materials from an energy perspective. We characterize neighborhoods associated with functional groups in metals by observing the evolution of Bader energy of the central cluster as a function of cluster size. This approach can be used to conceptually decompose metallic structure into meaningful chemical neighborhoods allowing for localization of energy-dependent properties. The generalizability of this approach is assessed by determining neighborhoods for crystalline materials of different structure types, and significant structural defects such as grain boundaries and dislocations. In all cases, we observe that the neighborhood size may be universal - around 2-3 atomic diameters. In its practical sense, this approach opens the door to the application of chemical concepts, e.g., orbital methods, to investigate a broad range of metallurgical phenomena, one neighborhood at a time


title: Investigating The Cross-section of Coronal Mass Ejections Through the Study of Non-Radial Flows with STEREO/PLASTIC

abstract: The solar wind, when measured close to 1 au, is found to flow mostly radially outward. There are, however, periods when the flow makes angles up to 15$^\circ$ away from the radial direction, both in the east-west and north-south directions. Stream interaction regions (SIRs) are a common cause of east-west flow deflections. Coronal mass ejections (CMEs) may be associated with non-radial flows in at least two different ways: 1) the deflection of the solar wind in the sheath region, especially close to the magnetic ejecta front boundary, may result in large non-radial flows, 2) the expansion of the magnetic ejecta may include a non-radial component which should be easily measured when the ejecta is crossed away from its central axis. In this work, we first present general statistics of non-radial solar wind flows as measured by STEREO/PLASTIC throughout the first 13 years of the mission, focusing on solar cycle variation. We then focus on the larger deflection flow angles and determine that most of these are associated with SIRs near solar minimum and with CMEs near solar maximum. However, we find no clear evidence of strongly deflected flows, as would be expected if large deflections around the magnetic ejecta or ejecta with elliptical cross-sections with large eccentricities are common. We use these results to develop a better understanding of CME expansion and the nature of magnetic ejecta, and point to shortcomings in our understanding of CMEs.


title: On the $p$-adic pro-\'etale cohomology of Drinfeld symmetric spaces

abstract: Via the relative fundamental exact sequence of $p$-adic Hodge theory, we determine the geometric $p$-adic pro-\'etale cohomology of the Drinfeld symmetric spaces defined over a $p$-adic field, thus giving an alternative proof of a theorem of Colmez-Dospinescu-Niziol. Along the way, we describe, in terms of differential forms, the geometric pro-\'etale cohomology of the positive de Rham period sheaf on any connected, paracompact, smooth rigid-analytic variety over a $p$-adic field, and we do it with coefficients. A key new ingredient is the condensed mathematics recently developed by Clausen-Scholze.


title: A numerical approach to stochastic inflation and primordial black holes

abstract: Certain models of cosmic inflation produce strong cosmological perturbations at short length scales, which may later collapse into primordial black holes. To find the statistics of these strong perturbations and the ensuing black holes, it is necessary to go beyond linear perturbation theory. Stochastic inflation provides a way to take the leading non-linear effects into account. In this contribution, I discuss recent progress in numerical computations of stochastic inflation. A numerical approach can include more of the non-linearities than an analytical calculation, and can be applied to single-field inflationary models with any potential.


title: Predicting parameters for the Quantum Approximate Optimization Algorithm for MAX-CUT from the infinite-size limit

abstract: Combinatorial optimization is regarded as a potentially promising application of near and long-term quantum computers. The best-known heuristic quantum algorithm for combinatorial optimization on gate-based devices, the Quantum Approximate Optimization Algorithm (QAOA), has been the subject of many theoretical and empirical studies. Unfortunately, its application to specific combinatorial optimization problems poses several difficulties: among these, few performance guarantees are known, and the variational nature of the algorithm makes it necessary to classically optimize a number of parameters. In this work, we partially address these issues for a specific combinatorial optimization problem: diluted spin models, with MAX-CUT as a notable special case. Specifically, generalizing the analysis of the Sherrington-Kirkpatrick model by Farhi et al., we establish an explicit algorithm to evaluate the performance of QAOA on MAX-CUT applied to random Erdos-Renyi graphs of expected degree $d$ for an arbitrary constant number of layers $p$ and as the problem size tends to infinity. This analysis yields an explicit mapping between QAOA parameters for MAX-CUT on Erdos-Renyi graphs of expected degree $d$, in the limit $d \to \infty$, and the Sherrington-Kirkpatrick model, and gives good QAOA variational parameters for MAX-CUT applied to Erdos-Renyi graphs. We then partially generalize the latter analysis to graphs with a degree distribution rather than a single degree $d$, and finally to diluted spin-models with $D$-body interactions ($D \geq 3$). We validate our results with numerical experiments suggesting they may have a larger reach than rigorously established; among other things, our algorithms provided good initial, if not nearly optimal, variational parameters for very small problem instances where the infinite-size limit assumption is clearly violated.


title: Weyl Nodal-Ring Semimetallic Behavior and Topological Superconductivity in Crystalline Forms of Su-Schrieffer-Heeger Chains

abstract: We consider a three-dimensional model of coupled Su-Schrieffer-Heeger (SSH) chains. The analytically soluble model discussed here reliably reproduces the features of the band structure of crystalline polyacetylene as obtained from density-functional theory. We show that when a certain inter-chain coupling is sufficiently increased, the system develops a ring of Weyl nodes. We argue that such an increase could be achieved experimentally by intercalation or extreme pressure. With the addition of a simple intra-orbital pairing term we find that the system supports an exotic superconducting state with drumhead surface states and annular Majorana states localized on the surface. In addition to suggesting a novel real material realization of a nodal ring semimetal and possibly topological superconductivity, our results provide a new perspective on the SSH model, demonstrating that a simple extension of this broadly-impacting model can once again provide fundamental insights on the topological behavior of condensed matter systems.


title: Revisiting the [C II]$_{158 \mu \text{m}}$ line-intensity mapping power spectrum from the EoR using non-uniform line-luminosity scatter

abstract: Detecting the line-intensity mapping (LIM) signal from the galaxies of the Epoch of Reionization is an emerging tool to constrain their role in reionization. Ongoing and upcoming experiments target the signal fluctuations across the sky to reveal statistical and astrophysical properties of these galaxies via signal statistics, e.g., the power spectrum. Here, we revisit the [C II]$_{158 \mu \text{m}}$ LIM power spectrum under non-uniform line-luminosity scatter, which has a halo-mass variation of statistical properties. Line-luminosity scatter from a cosmological hydrodynamic and radiative transfer simulation of galaxies at $z=6$ is considered in this study. We test the robustness of different model frameworks that interpret the impact of the line-luminosity scatter on the signal statistics. We use a simple power-law model to fit the scatter and demonstrate that the mean luminosity-halo mass correlation fit cannot preserve the mean intensity of the LIM signal (hence the clustering power spectrum) under non-uniform scatter. In our case, the mean intensity changes by $\sim 48$ per cent compared to the mean correlation fit in contrast to the general case with semi-analytic scatter. However, we find that the prediction for the mean intensity from the most-probable fit can be modelled robustly, considering the generalized and more realistic non-uniform scatter. We also explore the possibility of diminishing luminosity bias under non-uniform scatter, affecting the clustering power spectrum, although this phenomenon might not be statistically significant. Therefore, we should adopt appropriate approaches that can consistently interpret the LIM power spectrum from observations.