title: Texas Spectroscopic Search for Ly$\alpha$ Emission at the End of Reionization III. the Ly$\alpha$ Equivalent-width Distribution and Ionized Structures at $z > 7$

abstract: Ly$\alpha$ emission from galaxies can be utilized to characterize the ionization state in the intergalactic medium (IGM). We report our search for Ly$\alpha$ emission at $z>7$ using a comprehensive Keck/MOSFIRE near-infrared spectroscopic dataset, as part of the Texas Spectroscopic Search for Ly$\alpha$ Emission at the End of Reionization Survey. We analyze data from 10 nights of MOSFIRE observations which together target 72 high-$z$ candidate galaxies in the GOODS-N field, all with deep exposure times of 4.5-19 hr. Utilizing an improved automated emission-line search, we report 10 Ly$\alpha$ emission lines detected ($>$4$\sigma$) at $z>7$, significantly increasing the spectroscopically confirmed sample. Our sample includes large equivalent-width (EW) Ly$\alpha$ emitters ($>$50\r{A}), and additional tentative Ly$\alpha$ emission lines detected at 3 - 4$\sigma$ from five additional galaxies. We constrain the Ly$\alpha$ EW distribution at $z\sim7.6$, finding a significant drop from $z\lesssim6$, suggesting an increasing fraction of neutral hydrogen (HI) in the IGM in this epoch. We estimate the Ly$\alpha$ transmission through the IGM ($=$EW$_{z\sim\text{7.6}}$/EW$_{z\sim\text{2-6}}$), and infer an IGM HI fraction ($X_{\text{HI}}$) of $49^{+19}_{-19}\%$ at $z\sim7.6$, which is lower in modest tension ($>$1$\sigma$) with recent measurements at $z \sim$ 7.6. The spatial distribution of the detected Ly$\alpha$ emitters implies the presence of a potential highly ionized region at $z\sim7.55$ which hosts four Ly$\alpha$ emitters within a $\sim$ 40 cMpc spatial separation. The prominence of this ionized region in our dataset could explain our lower inferred value of $X_{\text{HI}}$, though our analysis is also sensitive to the chosen reference Ly$\alpha$ EW distribution values and reionization models.


title: Chondrules from high-velocity collisions: thermal histories and the agglomeration problem

abstract: We assess whether chondrules, once-molten mm-sized spheres filling the oldest meteorites, could have formed from super-km/s collisions between planetesimals in the solar nebula. High-velocity collisions release hot and dense clouds of silicate vapor which entrain and heat chondrule precursors. Thermal histories of CB chondrules are reproduced for colliding bodies $\sim$10--100 km in radius. The slower cooling rates of non-CB, porphyritic chondrules point to colliders with radii $\gtrsim$ 500 km. How chondrules, collisionally dispersed into the nebula, agglomerated into meteorite parent bodies remains a mystery. The same orbital eccentricities and inclinations that enable energetic collisions prevent planetesimals from re-accreting chondrules efficiently and without damage; thus the sedimentary laminations of the CB/CH chondrite Isheyevo are hard to explain by direct fallback of collisional ejecta. At the same time, planetesimal surfaces may be littered with the shattered remains of chondrules. The micron-sized igneous particles recovered from comet 81P/Wild-2 may have originated from in-situ collisions and subsequent accretion in the proto-Kuiper belt, obviating the need to transport igneous solids across the nebula. Asteroid sample returns from Hayabusa2 and OSIRIS-REx may similarly contain chondrule fragments.


title: Optimal environment localization

abstract: Quantum channels model many physical processes. For this reason, hypothesis testing between quantum channels is a fundamental task in quantum information theory. Here we consider the paradigmatic case of channel position finding, where the aim is to determine the position of a target quantum channel within a sequence of background channels. We explore this model in the setting of bosonic systems, considering Gaussian channels with the same transmissivity (or gain) but different levels of environmental noise. Thus the goal of the problem becomes detecting the position of a target environment among a number of identical background environments, all acting on an input multi-mode system. We derive bounds for the ultimate error probability affecting this multi-ary discrimination problem and find an analytic condition for quantum advantage over protocols involving classical input states. We also design an explicit protocol that gives numerical bounds on the ultimate error probability and often achieves quantum advantage. Finally, we consider direct applications of the model for tasks of thermal imaging (finding a warmer pixel in a colder background) and quantum communication (for localizing a different level of noise in a sequence of lines or a frequency spectrum).


title: Warm-starting quantum optimization

abstract: There is an increasing interest in quantum algorithms for problems of integer programming and combinatorial optimization. Classical solvers for such problems employ relaxations, which replace binary variables with continuous ones, for instance in the form of higher-dimensional matrix-valued problems (semidefinite programming). Under the Unique Games Conjecture, these relaxations often provide the best performance ratios available classically in polynomial time. Here, we discuss how to warm-start quantum optimization with an initial state corresponding to the solution of a relaxation of a combinatorial optimization problem and how to analyze properties of the associated quantum algorithms. In particular, this allows the quantum algorithm to inherit the performance guarantees of the classical algorithm. We illustrate this in the context of portfolio optimization, where our results indicate that warm-starting the Quantum Approximate Optimization Algorithm (QAOA) is particularly beneficial at low depth. Likewise, Recursive QAOA for MAXCUT problems shows a systematic increase in the size of the obtained cut for fully connected graphs with random weights, when Goemans-Williamson randomized rounding is utilized in a warm start. It is straightforward to apply the same ideas to other randomized-rounding schemes and optimization problems.


title: s-process Enirchment of Ultrafaint Dwarf Galaxies

abstract: We study the production of barium (Ba) and strontium (Sr) in ultrafaint dwarf galaxies (UFDs). Both r- and s- processes produce these elements, and one can infer the contribution of the r-process from the characteristic r-process abundance pattern, whereas the s-process contribution remains largely unknown. We show that the current s-process yield from asymptotic giant branch (AGB) stars is not sufficient to explain the Ba and Sr abundances observed in UFDs. Production of these elements would need to be efficient from the beginning of star formation in the galaxies. The discrepancy of nearly or more than 1 dex is not reconciled even if we consider s-process in super-AGB stars. We consider a possible resolution by assuming rotating massive stars (RMSs) and electron-capture supernovae (ECSNe) as additional contributors. We find that the RMSs could be the origin of Ba in UFDs if ~ 10 per cent of massive stars are rotating at 300 km s^{-1}. As for ECSNe, we argue that their fraction is less than 2 per cent of core-collapse supernova. It narrows the progenitor mass-range to < 0.1 Msun at -3 < [Fe/H] < -2. We also explore another resolution by modifying the stellar initial mass function (IMF) in UFDs and find a top-light IMF model that reproduces the observed level of Ba-enrichment. Future observations that determine or tightly constrain the europium and nitrogen abundances are crucial to identify the origin of Ba and Sr in UFDs.


title: Vertical stellar density distribution in a non-isothermal galactic disc

abstract: The vertical density distribution of stars in a galactic disc is traditionally obtained by assuming an isothermal vertical velocity dispersion of stars. Recent observations from SDSS, LAMOST, RAVE, Gaia etc show that this dispersion increases with height from the mid-plane. Here we study the dynamical effect of such non-isothermal dispersion on the self-consistent vertical density distribution for the thin disc stars in the Galaxy, obtained by solving together the Poisson equation and the equation of hydrostatic equilibrium. We find that in the non-isothermal case the mid-plane density is lower, and the scale height is higher than the corresponding values for the isothermal distribution, due to higher vertical pressure, hence the distribution is vertically more extended. The change is ~35% at the solar radius for a stars-alone disc for the typical observed linear gradient of +6.7 km $s^{-1}kpc^{-1}$ and becomes even higher with increasing radii and increasing gradients explored. The distribution shows a wing at high z, in agreement with observations, and is fitted well by a double $sech^{2}$ , which could be mis-interpreted as the existence of a second, thicker disc, specially in external galaxies. We also consider a more realistic disc consisting of gravitationally coupled stars and gas in the field of dark matter halo. The results show the same trend but the effect of non-isothermal dispersion is reduced due to the opposite, constraining effect of the gas and halo gravity. Further, the non-isothermal dispersion lowers the theoretical estimate of the total mid-plane density i.e, Oort limit value, by 16%.


title: AQUA: A Collection of H$_2$O Equations of State for Planetary Models

abstract: Water is one of the key chemical elements in planetary structure modelling. Due to its complex phase diagram, equations of state cover often only parts of the pressure - temperature space needed in planetary modelling. We construct an equation of state of H$_2$O spanning a very wide range from 0.1 Pa to 400 TPa and 150 K to $10^{5}$ K, which can be used to model the interior of planets. We combine equations of state valid in localised regions to form a continuous equation of state spanning over said pressure and temperature range. We provide tabulated values for the most important thermodynamic quantities, i.e., density, adiabatic temperature gradient, entropy, internal energy and bulk speed of sound of water over this pressure and temperature range. For better usability we also calculated density - temperature and density - internal energy grids. We discuss further the impact of this equation of state on the mass radius relation of planets compared to other popular equation of states like ANEOS and QEOS. AQUA is a combination of existing equation of state useful for planetary models. We show that AQUA is in most regions a thermodynamic consistent description of water. At pressures above 10 GPa AQUA predicts systematic larger densities than ANEOS or QEOS. A feature which was already present in a previously proposed equation of state, which is the main underlying equation of this work. We show that the choice of the equation of state can have a large impact on the mass-radius relation, which highlights the importance of future developments in the field of equation of states and regarding experimental data of water at high pressures.


title: $SL(2,\mathbb{Z})$ action on QFTs with $\mathbb{Z}_2$ symmetry and the Brown-Kervaire invariants

abstract: We consider an analogue of Witten's $SL(2,\mathbb{Z})$ action on three-dimensional QFTs with $U(1)$ symmetry for $2k$-dimensional QFTs with $\mathbb{Z}_2$ $(k-1)$-form symmetry. We show that the $SL(2,\mathbb{Z})$ action only closes up to a multiplication by an invertible topological phase whose partition function is the Brown-Kervaire invariant of the spacetime manifold. We interpret it as part of the $SL(2,\mathbb{Z})$ anomaly of the bulk $(2k+1)$-dimensional $\mathbb{Z}_2$ gauge theory.


title: Could Uranus and Neptune form by collisions of planetary embryos?

abstract: The origin of Uranus and Neptune remains a challenge for planet formation models. A potential explanation is that the planets formed from a population of a few planetary embryos with masses of a few Earth masses which formed beyond Saturn's orbit and migrated inwards. These embryos can collide and merge to form Uranus and Neptune. In this work we revisit this formation scenario and study the outcomes of such collisions using 3D hydrodynamical simulations. We investigate under what conditions the perfect-merging assumption is appropriate, and infer the planets' final masses, obliquities and rotation periods, as well as the presence of proto-satellite disks. We find that the total bound mass and obliquities of the planets formed in our simulations generally agree with N-body simulations therefore validating the perfect-merging assumption. The inferred obliquities, however, are typically different from those of Uranus and Neptune, and can be roughly matched only in a few cases. In addition, we find that in most cases the planets formed in this scenario rotate faster than Uranus and Neptune, close to break-up speed, and have massive disks. We therefore conclude that forming Uranus and Neptune in this scenario is challenging, and further research is required. We suggest that future planet formation models should aim to explain the various physical properties of the planets such as their masses, compositions, obliquities, rotation rates and satellite systems.


title: Cryogenic microwave loss in epitaxial Al/GaAs/Al trilayers for superconducting circuits

abstract: Epitaxially-grown superconductor/dielectric/superconductor trilayers have the potential to form high-performance superconducting quantum devices and may even allow scalable superconducting quantum computing with low-surface-area qubits such as the merged-element transmon. In this work, we measure the power-independent loss and two-level-state (TLS) loss of epitaxial, wafer-bonded, and substrate-removed Al/GaAs/Al trilayers by measuring lumped element superconducting microwave resonators at millikelvin temperatures and down to single photon powers. The power-independent loss of the device is $(4.8 \pm 0.1) \times 10^{-5}$ and resonator-induced intrinsic TLS loss is $(6.4 \pm 0.2) \times 10^{-5}$. Dielectric loss extraction is used to determine a lower bound of the intrinsic TLS loss of the trilayer of $7.2 \times 10^{-5}$. The unusually high power-independent loss is attributed to GaAs's intrinsic piezoelectricity.


title: Note on an elementary inequality and its application to the regularity of $p$-harmonic functions

abstract: We study the Sobolev regularity of $p$-harmonic functions. We show that $|Du|^{\frac{p-2+s}{2}}Du$ belongs to the Sobolev space $W^{1,2}_{loc}$, $s>-1-\frac{p-1}{n-1}$, for any $p$-harmonic function $u$. The proof is based on an elementary inequality.


title: Recent Developments on Factor Models and its Applications in Econometric Learning

abstract: This paper makes a selective survey on the recent development of the factor model and its application on statistical learnings. We focus on the perspective of the low-rank structure of factor models, and particularly draws attentions to estimating the model from the low-rank recovery point of view. The survey mainly consists of three parts: the first part is a review on new factor estimations based on modern techniques on recovering low-rank structures of high-dimensional models. The second part discusses statistical inferences of several factor-augmented models and applications in econometric learning models. The final part summarizes new developments dealing with unbalanced panels from the matrix completion perspective.


title: Scrambling and Lyapunov Exponent in Unitary Networks with Tunable Interactions

abstract: Scrambling of information in a quantum many-body system, quantified by the out-of-time-ordered correlator (OTOC), is a key manifestation of quantum chaos. A regime of exponential growth in the OTOC, characterized by a Lyapunov exponent, has so far mostly been observed in systems with a high-dimensional local Hilbert space and in weakly-coupled systems. Here, we propose a general criterion for the existence of a well-defined regime of exponential growth of the OTOC in spatially extended systems with local interactions. In such systems, we show that a parametrically long period of exponential growth requires the butterfly velocity to be much larger than the Lyapunov exponent times a microscopic length scale, such as the lattice spacing. As an explicit example, we study a random unitary circuit with tunable interactions. In this model, we show that in the weakly interacting limit the above criterion is satisfied, and there is a prolonged window of exponential growth. Our results are based on numerical simulations of both Clifford and universal random circuits supported by an analytical treatment.

categories: cond-mat.str-el cond-mat.stat-mech hep-th quant-ph


title: Influence matrix approach to many-body Floquet dynamics

abstract: In this work, we introduce an approach to study quantum many-body dynamics, inspired by the Feynman-Vernon influence functional. Focusing on a family of interacting, Floquet spin chains, we consider a Keldysh path-integral description of the dynamics. The central object in our approach is the influence matrix (IM), which describes the effect of the system on the dynamics of a local subsystem. For translationally invariant models, we formulate a self-consistency equation for the influence matrix. For certain special values of the model parameters, we obtain an exact solution which represents a perfect dephaser (PD). Physically, a PD corresponds to a many-body system that acts as a perfectly Markovian bath on itself: at each period, it measures every spin. For the models considered here, we establish that PD points include dual-unitary circuits investigated in recent works. In the vicinity of PD points, the system is not perfectly Markovian, but rather acts as a bath with a short memory time. In this case, we demonstrate that the self-consistency equation can be solved using matrix-product states (MPS) methods, as the IM temporal entanglement is low. A combination of analytical insights and MPS computations allows us to characterize the structure of the influence matrix in terms of an effective "statistical-mechanics" description. We finally illustrate the predictive power of this description by analytically computing how quickly an embedded impurity spin thermalizes. The influence matrix approach formulated here provides an intuitive view of the quantum many-body dynamics problem, opening a path to constructing models of thermalizing dynamics that are solvable or can be efficiently treated by MPS-based methods, and to further characterizing quantum ergodicity or lack thereof.

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


title: Constraints on the curvature of the Universe and dynamical dark energy from the Full-shape and BAO data

abstract: We present limits on the parameters of the o$\Lambda$CDM, $w_0$CDM, and $w_0 w_a$CDM models obtained from the joint analysis of the full-shape, baryon acoustic oscillations (BAO), big bang nucleosynthesis (BBN) and supernovae data. Our limits are fully independent of the data on the cosmic microwave background (CMB) anisotropies, but rival the CMB constraints in terms of parameter error bars. We find the spatial curvature consistent with a flat universe $\Omega_k=-0.043_{-0.036}^{+0.036}$ ($68\%$ C.L.); the dark-energy equation of state parameter $w_0$ is measured to be $w_0=-1.031_{-0.048}^{+0.052}$ ($68\%$ C.L.), consistent with a cosmological constant. This conclusion also holds for the time-varying dark energy equation of state, for which we find $w_0=-0.98_{-0.11}^{+0.099}$ and $w_a=-0.33_{-0.48}^{+0.63}$ (both at $68\%$ C.L.). The exclusion of the supernovae data from the analysis does not significantly weaken our bounds. This shows that using a single external BBN prior, the full-shape and BAO data can provide strong CMB-independent constraints on the non-minimal cosmological models.


title: Data-driven Selection of Coarse-Grained Models of Coupled Oscillators

abstract: Systematic discovery of reduced-order closure models for multi-scale processes remains an important open problem in complex dynamical systems. Even when an effective lower-dimensional representation exists, reduced models are difficult to obtain using solely analytical methods. Rigorous methodologies for finding such coarse-grained representations of multi-scale phenomena would enable accelerated computational simulations and provide fundamental insights into the complex dynamics of interest. We focus on a heterogeneous population of oscillators of Kuramoto type as a canonical model of complex dynamics, and develop a data-driven approach for inferring its coarse-grained description. Our method is based on a numerical optimization of the coefficients in a general equation of motion informed by analytical derivations in the thermodynamic limit. We show that certain assumptions are required to obtain an autonomous coarse-grained equation of motion. However, optimizing coefficient values enables coarse-grained models with conceptually disparate functional forms, yet comparable quality of representation, to provide accurate reduced-order descriptions of the underlying system.


title: Low energy limit for the resolvent of some fibered boundary operators

abstract: For certain Dirac operators $\eth_{\phi}$ associated to a fibered boundary metric $g_{\phi}$, we provide a pseudodifferential characterization of the limiting behavior of $(\eth_{\phi}+k\gamma)^{-1}$ as $k\searrow 0$, where $\gamma$ is a self-adjoint operator anti-commuting with $\eth_{\phi}$ and whose square is the identity. This yields in particular a pseudodifferential characterization of the low energy limit of the resolvent of $\eth_{\phi}^2$, generalizing a result of Guillarmou and Sher about the low energy limit of the resolvent of the Hodge Laplacian of an asymptotically conical metric. As an application, we use our result to give a pseudodifferential characterization of the inverse of some suspended version of the operator $\eth_{\phi}$. One important ingredient in the proof of our main theorem is that the Dirac operator $\eth_{\phi}$ is Fredholm when acting on suitable weighted Sobolev spaces. This result has been known to experts for some time and we take this as an occasion to provide a complete explicit proof.


title: Design and Implementation of Low Complexity Reconfigurable Filtered-OFDM based LDACS

abstract: L-band Digital Aeronautical Communication System (LDACS) aims to exploit vacant spectrum in L-band via spectrum sharing, and orthogonal frequency division multiplexing (OFDM) is the currently accepted LDACS waveform. Recently, various works dealing with improving the spectrum utilization of LDACS via filtering/windowing are being explored. In this direction, we propose an improved and low complexity reconfigurable filtered OFDM (LRef-OFDM) based LDACS using novel interpolation and masking based multi-stage digital filter. The proposed filter is designed to meet the stringent non-uniform spectral attenuation requirements of LDACS standard. It offers significantly lower complexity as well as higher transmission bandwidth than state-of-the-art approaches. We also integrate the proposed filter in our end-to-end LDACS testbed realized using Zynq System on Chip and analyze the performance in the presence of $L$-band legacy user interference as well as LDACS specific wireless channels. Via extensive experimental results, we demonstrate the superiority of the proposed LRef-OFDM over OFDM and Filtered-OFDM based LDACS in terms of power spectral density, bit error rate, implementation complexity, and group delay parameters.


title: On Gluing CFT Correlators to Higher-Spin Amplitudes in AdS

abstract: We demonstrate how three-point correlation functions of the free scalar U(N) model involving two scalar operators and one spin-$s$ conserved current organize themselves into corresponding AdS amplitudes involving two scalar and one spin-$s$ bulk to boundary propagators, coupled via the bulk gauge invariant interaction vertex. Our analysis relies on the general program advocated in hep-th/0308184 and some features of the embedding space formalism also play an important role.


title: An $\alpha$-number characterization of $L^{p}$ spaces on uniformly rectifiable sets

abstract: We give a characterization of $L^{p}(\sigma)$ for uniformly rectifiable measures $\sigma$ using Tolsa's $\alpha$-numbers, by showing, for $1<p<\infty$ and $f\in L^{p}(\sigma)$, that \[ \lVert f\rVert_{L^{p}(\sigma)}\sim \left\lVert\left(\int_{0}^{\infty} \left(\alpha_{f\sigma}(x,r)+|f|_{x,r}\alpha_{\sigma}(x,r)\right)^2\ \frac{dr}{r} \right)^{\frac{1}{2}}\right\rVert_{L^{p}(\sigma)}. \]


title: The topological K-theory of crystallographic groups with holonomy $\mathbb{Z}/2$

abstract: In this note we present a complete computation of the topological K-theory of the reduced C*-algebra of a semidirect product of the form $\Gamma=\mathbb{Z}^n\rtimes_\rho\mathbb{Z}/2$ with no further assumptions about of the conjugacy action $\rho$. For this, we use some results for $\mathbb{Z}/2$-equivariant K-theory proved by Rosenberg and previous results of Davis and Luck when the conjugacy action $\rho$ is free outside the origin.


title: Curved Schemes for SDEs on Manifolds

abstract: Given a stochastic differential equation (SDE) in $\mathbb{R}^n$ whose solution is constrained to lie in some manifold $M \subset \mathbb{R}^n$, we propose a class of numerical schemes for the SDE whose iterates remain close to $M$ to high order. Our schemes are geometrically invariant, and can be chosen to give perfect solutions for any SDE which is diffeomorphic to $n$-dimensional Brownian motion. Unlike projection-based methods, our schemes may be implemented without explicit knowledge of M. Our approach does not require simulating any iterated It\^{o} interals beyond those needed to implement the Euler--Maryuama scheme. We prove that the schemes converge under a standard set of assumptions, and illustrate their practical advantages by considering a stochastic version of the Kepler problem.


title: On Polytopes and Generalizations of the KLT Relations

abstract: We combine the technology of the theory of polytopes and twisted intersection theory to derive a large class of double copy relations that generalize the classical relations due to Kawai, Lewellen and Tye (KLT) . To do this, we first study a generalization of the scattering equations of Cachazo, He and Yuan. While the scattering equations were defined on $\mathcal{M}_{0,n}$ - the moduli space of marked Riemann spheres - the new scattering equations are defined on polytopes known as accordiohedra, realized as hyperplane arrangements. These polytopes encode as patterns of intersection the scattering amplitudes of generic scalar theories. The twisted period relations of such intersection numbers provide a vast generalization of the KLT relations. Differential forms dual to the bounded chambers of the hyperplane arrangements furnish a natural generalization of the Bern-Carrasco-Johansson (BCJ) basis, the number of which can be determined by counting the number of solutions of the generalized scattering equations. In this work the focus is on a generalization of the BCJ expansion to generic scalar theories, although we use the labels KLT and BCJ interchangeably.


title: Extreme compression of grayscale images

abstract: Given an grayscale digital image, and a positive integer $n$, how well can we store the image at a compression ratio of $n:1$? In this paper we address the above question in extreme cases when $n>>50$ using "$\mathbf{V}$-variable image compression".


title: Electroweak symmetry breaking in the inverse seesaw mechanism

abstract: We investigate the stability of Higgs potential in inverse seesaw models. We derive the full two-loop RGEs of the relevant parameters, such as the quartic Higgs self-coupling, taking thresholds into account. We find that for relatively large Yukawa couplings the Higgs quartic self-coupling goes negative well below the Standard Model instability scale $\sim 10^{10}$ GeV. We show, however, that the ``dynamical'' inverse seesaw with spontaneous lepton number violation can lead to a completely consistent and stable Higgs vacuum up to the Planck scale.


title: Sample Size Calculation for Cluster Randomized Trials with Zero-inflated Count Outcomes

abstract: Cluster randomized trails (CRT) have been widely employed in medical and public health research. Many clinical count outcomes, such as the number of falls in nursing homes, exhibit excessive zero values. In the presence of zero inflation, traditional power analysis methods for count data based on Poisson or negative binomial distribution may be inadequate. In this study, we present a sample size method for CRTs with zero-inflated count outcomes. It is developed based on GEE regression directly modeling the marginal mean of a ZIP outcome, which avoids the challenge of testing two intervention effects under traditional modeling approaches. A closed-form sample size formula is derived which properly accounts for zero inflation, ICCs due to clustering, unbalanced randomization, and variability in cluster size. Robust approaches, including t-distribution-based approximation and Jackknife re-sampling variance estimator, are employed to enhance trial properties under small sample sizes. Extensive simulations are conducted to evaluate the performance of the proposed method. An application example is presented in a real clinical trial setting.


title: Morse theory for $S$-balanced configurations in the Newtonian $n$-body problem

abstract: For the Newtonian (gravitational) $n$-body problem in the Euclidean $d$-dimensional space, the simplest possible solutions are provided by those rigid motions (homographic solutions) in which each body moves along a Keplerian orbit and the configuration of the $n$-body is a constant up to rotations and scalings named \textit{central configuration}. For $d\leq 3$, the only possible homographic motions are those given by central configurations. For $d \geq 4$ instead, new possibilities arise due to the higher complexity of the orthogonal group $O(d)$, as observed by Albouy and Chenciner. For instance, in $\mathbb R^4$ it is possible to rotate in two mutually orthogonal planes with different angular velocities. This produces a new balance between gravitational forces and centrifugal forces providing new periodic and quasi-periodic motions. So, for $d\geq 4$ there is a wider class of $S$-\textit{balanced configurations} (containing the central ones) providing simple solutions of the $n$-body problem, which can be characterized as well through critical point theory. In this paper, we first provide a lower bound on the number of balanced (non-central) configurations in $\mathbb R^d$, for arbitrary $d\geq 4$, and establish a version of the $45^\circ$-theorem for balanced configurations, thus answering some questions raised by Moeckel. Also, a careful study of the asymptotics of the coefficients of the Poincar\'e polynomial of the collision free configuration sphere will enable us to derive some rather unexpected qualitative consequences on the count of $S$-balanced configurations. In the last part of the paper, we focus on the case $d=4$ and provide a lower bound on the number of periodic and quasi-periodic motions of the gravitational $n$-body problem which improves a previous celebrated result of McCord.


title: Analysis of Light Neutrino Exchange and Short-Range Mechanisms in $0\nu\beta\beta$ Decay

abstract: Neutrinoless double beta decay ($0\nu\beta\beta$) is a crucial test for lepton number violation. Observation of this process would have fundamental implications for neutrino physics, theories beyond the Standard Model and cosmology. Focussing on so called short-range operators of $0\nu\beta\beta$ and their potential interplay with the standard light Majorana neutrino exchange, we present the first complete calculation of the relevant nuclear matrix elements, performed within the interacting boson model (IBM-2). Furthermore, we calculate the relevant phase space factors using exact Dirac electron wavefunctions, taking into account the finite nuclear size and screening by the electron cloud. The obtained numerical results are presented together with up-to-date limits on the standard mass mechanism and effective $0\nu\beta\beta$ short-range operators in the IBM-2 framework. Finally, we interpret the limits in the particle physics scenarios incorporating heavy sterile neutrinos, Left-Right symmetry and R-parity violating supersymmetry.


title: $K$-theoretic torsion and the zeta function

abstract: We generalize to higher algebraic $K$-theory an identity (originally due to Milnor) that relates the Reidemeister torsion of an infinite cyclic cover to its Lefschetz zeta function. Our identity involves a higher torsion invariant, the endomorphism torsion, of a parametrized family of endomorphisms as well as a higher zeta function of such a family. We also exhibit several examples of families of endomorphisms having non-trivial endomorphism torsion.


title: On finiteness of verbal subgroups

abstract: Given a group-word $w$ and a group $G$, the set of $w$-values in $G$ is denoted by $G_w$ and the verbal subgroup $w(G)$ is the one generated by $G_w$. The word $w$ is concise if $w(G)$ is finite for all groups $G$ in which $G_w$ is finite. We obtain several results supporting the conjecture that the word $[u_1,\dots,u_s]$ is concise whenever the words $u_1,\dots,u_s$ are non-commutator.


title: HORuS transmission spectroscopy of 55 Cnc e

abstract: The High Optical Resolution Spectrograph (HORuS) is a new high-resolution echelle spectrograph available on the 10.4 m Gran Telescopio Canarias (GTC). We report on the first HORuS observations of a transit of the super-Earth planet 55 Cnc e. We investigate the presence of Na I and H$\alpha$ in its transmission spectrum and explore the capabilities of HORuS for planetary transmission spectroscopy. Our methodology leads to residuals in the difference spectrum between the in-transit and out-of-transit spectra for the Na I doublet lines of (3.4 $\pm$ 0.4) $\times$ 10$^{-4}$, which sets an upper limit to the detection of line absorption from the planetary atmosphere that is one order of magnitude more stringent that those reported in the literature. We demonstrate that we are able to reach the photon-noise limit in the residual spectra using HORuS to a degree that we would be able to easily detect giant planets with larger atmospheres. In addition, we modelled the structure, chemistry and transmission spectrum of 55 Cnc e using state-of-the-art open source tools.


title: Marginal operators and supersymmetry enhancement in 3d $S$-fold SCFTs

abstract: The study of exactly marginal deformations of superconformal field theories is a topic that has received considerable attention due to their rich properties. We investigate the $\mathcal{N}=2$ preserving exactly marginal operators of 3d $S$-fold SCFTs. Two families of such theories are considered: one is constructed by gauging the diagonal flavour symmetry of the $T(U(2))$ and $T(U(3))$ theories, and the other by gauging the diagonal flavour symmetry of the $T^{[2,1^2]}_{[2,1^2]}(SU(4))$ theory. In both families, it is possible to turn on a Chern--Simons level for each gauge group and to couple to each theory various numbers of hypermultiplets. The detailed analysis of the exactly marginal operators, along with the superconformal indices, allows us to determine whether supersymmetry gets enhanced in the infrared and to deduce the amount of supersymmetry of the corresponding SCFT.


title: Absence of fast scrambling in thermodynamically stable long-range interacting systems

abstract: In this study, we investigate out-of-time-order correlators (OTOCs) in systems with power-law decaying interactions such as $R^{-\alpha}$, where $R$ is the distance. In such systems, the fast scrambling of quantum information or the exponential growth of information propagation can potentially occur according to the decay rate $\alpha$. In this regard, a crucial open challenge is to identify the optimal condition for $\alpha$ such that fast scrambling cannot occur. In this study, we disprove fast scrambling in generic long-range interacting systems with $\alpha>D$ ($D$: spatial dimension), where the total energy is extensive in terms of system size and the thermodynamic limit is well-defined. We rigorously demonstrate that the OTOC shows a polynomial growth over time as long as $\alpha>D$ and the necessary scrambling time over a distance $R$ is larger than $t\gtrsim R^{\frac{2\alpha-2D}{2\alpha-D+1}}$.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech hep-th math-ph math.MP


title: Spectral geometry on manifolds with fibred boundary metrics I: Low energy resolvent

abstract: We study the low energy resolvent of the Hodge Laplacian on a manifold equipped with a fibred boundary metric. We determine the precise asymptotic behavior of the resolvent as a fibred boundary (aka $\phi$-) pseudodifferential operator when the resolvent parameter tends to zero. This generalizes previous work by Guillarmou and Sher who considered asymptotically conic metrics, which correspond to the special case when the fibres are points. The new feature in the case of non-trivial fibres is that the resolvent has different asymptotic behavior on the subspace of forms that are fibrewise harmonic and on its orthogonal complement. To deal with this, we introduce an appropriate 'split' pseudodifferential calculus, building on and extending work by Grieser and Hunsicker. Our work sets the basis for the discussion of spectral invariants on $\phi$-manifolds.


title: Evaluating phase synchronization methods in fMRI: a comparison study and new approaches

abstract: In recent years there has been growing interest in measuring time-varying functional connectivity between different brain regions using resting-state functional magnetic resonance imaging (rs-fMRI) data. One way to assess the relationship between signals from different brain regions is to measure their phase synchronization (PS) across time. There are several ways to perform such analyses, and here we compare methods that utilize a PS metric together with a sliding window, referred to here as windowed phase synchronization (WPS), with those that directly measure the instantaneous phase synchronization (IPS). In particular, IPS has recently gained popularity as it offers single time-point resolution of time-resolved fMRI connectivity. In this paper, we discuss the underlying assumptions required for performing PS analyses and emphasize the necessity of band-pass filtering the data to obtain valid results. We review various methods for evaluating PS and introduce a new approach within the IPS framework denoted the cosine of the relative phase (CRP). We contrast methods through a series of simulations and application to rs-fMRI data. Our results indicate that CRP outperforms other tested methods and overcomes issues related to undetected temporal transitions from positive to negative associations common in IPS analysis. Further, in contrast to phase coherence, CRP unfolds the distribution of PS measures, which benefits subsequent clustering of PS matrices into recurring brain states.


title: On uncertainty inequalities related to subcube partitions and additive energy

abstract: The additive energy plays a central role in combinatorial number theory. We show an uncertainty inequality which indicates how the additive energy of support of a Boolean function, its degree and subcube partition are related.


title: Claraprint: a chord and melody based fingerprint for western classical music cover detection

abstract: Cover song detection has been an active field in the Music Information Retrieval (MIR) community during the past decades. Most of the research community focused in solving it for a wide range of music genres with diverse characteristics. Western classical music, a genre heavily based on the recording of "cover songs", or musical works, represents a large heritage, offering immediate application for an efficient fingerprint algorithm. We propose an engineering approach for retrieving a cover song from a reference database thanks to a fingerprint designed for classical musical works. We open a new data set to encourage the scientific community to use it for further researches regarding this genre.


title: Anomaly in the differential cross sections at 13 TeV

abstract: The analysis of the new TOTEM data at 13 TeV in a wide momentum transfer region reveals the unusual phenomenon - the presence in the elastic scattering amplitude of a term with a very large slope that is responsible for the behaviour of hadron scattering at a very small momentum transfer. This term can be connected with hadron interactions at large distances.


title: Forward modelling of particle acceleration and transport in an individual solar flare

abstract: The aim of this study is to generate maps of the hard X-ray emission produced by energetic electrons in a solar flare and compare them with observations. The ultimate goal is to test the viability of the combined MHD/test-particle approach for data-driven modelling of active events in the solar corona and their impact on the heliosphere. Based on an MHD model of X-class solar flare observed on the 8th of September 2017, we calculate trajectories of a large number of electrons and protons using the relativistic guiding-centre approach. Using the obtained particle trajectories, we deduce the spatial and energy distributions of energetic electrons and protons, and calculate bremsstrahlung hard X-ray emission using the 'thin target' approximation. Our approach predicts some key characteristics of energetic particles in the considered flare, including the size and location of the acceleration region, energetic particle trajectories and energy spectra. Most importantly, the hard X-ray bremsstrahlung intensity maps predicted by the model are in a good agreement with those observed by RHESSI. Furthermore, the locations of proton and electron precipitation appear to be close to the sources of helioseismic response detected in this flare. Therefore, the adopted approach can be used for observationally-driven modelling of individual solar flares, including manifestations of energetic particles in the corona, as well as inner heliosphere.


title: Modeling Techniques for Logic Locking

abstract: Logic locking is a method to prevent intellectual property (IP) piracy. However, under a reasonable attack model, SAT-based methods have proven to be powerful in obtaining the secret key. In response, many locking techniques have been developed to specifically resist this form of attack. In this paper, we demonstrate two SAT modeling techniques that can provide many orders of magnitude speed up in discovering the correct key. Specifically, we consider relaxed encodings and symmetry breaking. To demonstrate their impact, we model and attack a state-of-the-art logic locking technique, Full-Lock. We show that circuits previously unbreakable within 15 days of run time can be solved in seconds. Consequently, in assessing the strength of any given locking, it is imperative that these modeling techniques be considered. To remedy this vulnerability in the considered locking technique, we demonstrate an extended version, logic-enhanced Banyan locking, that is resistant to our proposed modeling techniques.


title: Deep Learning Applied to Chest X-Rays: Exploiting and Preventing Shortcuts

abstract: While deep learning has shown promise in improving the automated diagnosis of disease based on chest X-rays, deep networks may exhibit undesirable behavior related to shortcuts. This paper studies the case of spurious class skew in which patients with a particular attribute are spuriously more likely to have the outcome of interest. For instance, clinical protocols might lead to a dataset in which patients with pacemakers are disproportionately likely to have congestive heart failure. This skew can lead to models that take shortcuts by heavily relying on the biased attribute. We explore this problem across a number of attributes in the context of diagnosing the cause of acute hypoxemic respiratory failure. Applied to chest X-rays, we show that i) deep nets can accurately identify many patient attributes including sex (AUROC = 0.96) and age (AUROC >= 0.90), ii) they tend to exploit correlations between such attributes and the outcome label when learning to predict a diagnosis, leading to poor performance when such correlations do not hold in the test population (e.g., everyone in the test set is male), and iii) a simple transfer learning approach is surprisingly effective at preventing the shortcut and promoting good generalization performance. On the task of diagnosing congestive heart failure based on a set of chest X-rays skewed towards older patients (age >= 63), the proposed approach improves generalization over standard training from 0.66 (95% CI: 0.54-0.77) to 0.84 (95% CI: 0.73-0.92) AUROC. While simple, the proposed approach has the potential to improve the performance of models across populations by encouraging reliance on clinically relevant manifestations of disease, i.e., those that a clinician would use to make a diagnosis.


title: Barrow black hole corrected-entropy model and Tsallis nonextensivity

abstract: The quantum scenario concerning Hawking radiation, gives us a precious clue that a black hole has its temperature directly connected to its area gravity and that its entropy is proportional to the horizon area. These results have shown that there exist a deep association between thermodynamics and gravity. The recently introduced Barrow formulation of back holes entropy, influenced by the spacetime geometry, shows the quantum fluctuations effects through Barrow exponent, $\Delta$, where $\Delta=0$ represents the usual spacetime and its maximum value, $\Delta=1$, characterizes a fractal spacetime. The quantum fluctuations are responsible for such fractality. Loop quantum gravity approach provided the logarithmic corrections to the entropy. This correction arises from quantum and thermal equilibrium fluctuations. In this paper we have analyzed the nonextensive thermodynamical effects of the quantum fluctuations upon the geometry of a Barrow black hole. We discussed the Tsallis' formulation of this logarithmically corrected Barrow entropy to construct the equipartition law. Besides, we obtained a master equation that provides the equipartition law for any value of the Tsallis $q$-parameter and we analyzed several different scenarios. After that, the heat capacity were calculated and the thermal stability analysis was carried out as a function of the main parameters, namely, one of the so-called pre-factors, $q$ and $\Delta$.


title: Permanent alterations in a water-filled silica microcapillary induced by optical whispering-gallery modes

abstract: Silica and water are known as exceptionally inert chemical materials whose interaction is not completely understood. Here we show that the effect of this interaction can be significantly enhanced by optical whispering gallery modes (WGMs) propagating in a silica microcapillary filled with water. Our experiments demonstrate that WGMs, which evanescently heat liquid water over several hours, induce permanent alterations in silica material characterized by the subnanometer variation of the WGM spectrum. We use the discovered effect to fabricate optical WGM microresonators having potential applications in optical signal processing and microfluidic sensing. Our results pave a way for ultra-precise fabrication of resonant optical microdevices and ultra-accurate characterization of physical and chemical processes at solid-liquid interfaces.


title: Bandits Under The Influence (Extended Version)

abstract: Recommender systems should adapt to user interests as the latter evolve. A prevalent cause for the evolution of user interests is the influence of their social circle. In general, when the interests are not known, online algorithms that explore the recommendation space while also exploiting observed preferences are preferable. We present online recommendation algorithms rooted in the linear multi-armed bandit literature. Our bandit algorithms are tailored precisely to recommendation scenarios where user interests evolve under social influence. In particular, we show that our adaptations of the classic LinREL and Thompson Sampling algorithms maintain the same asymptotic regret bounds as in the non-social case. We validate our approach experimentally using both synthetic and real datasets.


title: Comment on `Phase transition in a network model of social balance with Glauber dynamics'

abstract: In a recent work [R. Shojaei et al, Physical Review E 100, 022303 (2019)] the Authors calculate numerically the critical temperature $T_c$ of the balanced-imbalanced phase transition in a fully connected graph. According to their findings, $T_c$ decreases with the number of nodes $N$. Here we calculate the same critical temperature using the heat-bath algorithm. We show that $T_c$ increases with $N$ as $N^{\gamma}$, with $\gamma$ close to 0.5 or 1.0. This value depends on the initial fraction of positive bonds.


title: Finite groups, minimal bases and the intersection number

abstract: Let $G$ be a finite group and recall that the Frattini subgroup ${\rm Frat}(G)$ is the intersection of all the maximal subgroups of $G$. In this paper, we investigate the intersection number of $G$, denoted $\alpha(G)$, which is the minimal number of maximal subgroups whose intersection coincides with ${\rm Frat}(G)$. In earlier work, we studied $\alpha(G)$ in the special case where $G$ is simple and here we extend the analysis to almost simple groups. In particular, we prove that $\alpha(G) \leqslant 4$ for every almost simple group $G$, which is best possible. We also establish new results on the intersection number of arbitrary finite groups, obtaining upper bounds that are defined in terms of the chief factors of the group. Finally, for almost simple groups $G$ we present best possible bounds on a related invariant $\beta(G)$, which we call the base number of $G$. In this setting, $\beta(G)$ is the minimal base size of $G$ as we range over all faithful primitive actions of the group and we prove that the bound $\beta(G) \leqslant 4$ is optimal. Along the way, we study bases for the primitive action of the symmetric group $S_{ab}$ on the set of partitions of $[1,ab]$ into $a$ parts of size $b$, determining the exact base size for $a \geqslant b$. This extends earlier work of Benbenishty, Cohen and Niemeyer.


title: The Simons Observatory: Modeling Optical Systematics in the Large Aperture Telescope

abstract: We present geometrical and physical optics simulation results for the Simons Observatory Large Aperture Telescope. This work was developed as part of the general design process for the telescope; allowing us to evaluate the impact of various design choices on performance metrics and potential systematic effects. The primary goal of the simulations was to evaluate the final design of the reflectors and the cold optics which are now being built. We describe non-sequential ray tracing used to inform the design of the cold optics, including absorbers internal to each optics tube. We discuss ray tracing simulations of the telescope structure that allow us to determine geometries that minimize detector loading and mitigate spurious near-field effects that have not been resolved by the internal baffling. We also describe physical optics simulations, performed over a range of frequencies and field locations, that produce estimates of monochromatic far field beam patterns which in turn are used to gauge general optical performance. Finally, we describe simulations that shed light on beam sidelobes from panel gap diffraction.


title: Small Quotients of Braid Groups

abstract: We prove that the symmetric group $S_n$ is the smallest non-cyclic quotient of the braid group $B_n$ for $n=5,6$ and that the alternating group $A_n$ is the smallest non-trivial quotient of the commutator subgroup $B_n'$ for $n = 5,6,7,8$. We also give an improved lower bound on the order of any non-cyclic quotient of $B_n$.


title: The role of dimensionality and geometry in quench-induced nonequilibrium forces

abstract: We present an analytical formalism, supported by numerical simulations, for studying forces that act on curved walls following temperature quenches of the surrounding ideal Brownian fluid. We show that, for curved surfaces, the post-quench forces initially evolve rapidly to an extremal value, whereafter they approach their steady state value algebraically in time. In contrast to the previously-studied case of flat boundaries (lines or planes), the algebraic decay for the curved geometries depends on the dimension of the system. Specifically, the steady-state values of the force are approached in time as $t^{-d/2}$ in d-dimensional spherical (curved) geometries. For systems consisting of concentric circles or spheres, the exponent does not change for the force on the outer circle or sphere. However, the force exerted on the inner circle or sphere experiences an overshoot and, as a result, does not evolve towards the steady state in a simple algebraic manner. The extremal value of the force also depends on the dimension of the system, and originates from the curved boundaries and the fact that particles inside a sphere or circle are locally more confined, and diffuse less freely than particles outside the circle or sphere.


title: CCBlock: An Effective Use of Deep Learning for Automatic Diagnosis of COVID-19 Using X-Ray Images

abstract: Propose: Troubling countries one after another, the COVID-19 pandemic has dramatically affected the health and well-being of the world's population. The disease may continue to persist more extensively due to the increasing number of new cases daily, the rapid spread of the virus, and delay in the PCR analysis results. Therefore, it is necessary to consider developing assistive methods for detecting and diagnosing the COVID-19 to eradicate the spread of the novel coronavirus among people. Based on convolutional neural networks (CNNs), automated detection systems have shown promising results of diagnosing patients with the COVID-19 through radiography; thus, they are introduced as a workable solution to the COVID-19 diagnosis. Materials and Methods: Based on the enhancement of the classical visual geometry group (VGG) network with the convolutional COVID block (CCBlock), an efficient screening model was proposed in this study to diagnose and distinguish patients with the COVID-19 from those with pneumonia and the healthy people through radiography. The model testing dataset included 1,828 x-ray images available on public platforms. 310 images were showing confirmed COVID-19 cases, 864 images indicating pneumonia cases, and 654 images showing healthy people. Results: According to the test results, enhancing the classical VGG network with radiography provided the highest diagnosis performance and overall accuracy of 98.52% for two classes as well as accuracy of 95.34% for three classes. Conclusions: According to the results, using the enhanced VGG deep neural network can help radiologists automatically diagnose the COVID-19 through radiography.


title: Stereopagnosia: Fooling Stereo Networks with Adversarial Perturbations

abstract: We study the effect of adversarial perturbations of images on the estimates of disparity by deep learning models trained for stereo. We show that imperceptible additive perturbations can significantly alter the disparity map, and correspondingly the perceived geometry of the scene. These perturbations not only affect the specific model they are crafted for, but transfer to models with different architecture, trained with different loss functions. We show that, when used for adversarial data augmentation, our perturbations result in trained models that are more robust, without sacrificing overall accuracy of the model. This is unlike what has been observed in image classification, where adding the perturbed images to the training set makes the model less vulnerable to adversarial perturbations, but to the detriment of overall accuracy. We test our method using the most recent stereo networks and evaluate their performance on public benchmark datasets.


title: Key ideas behind perturbing any completely integrable Hamiltonian system obtaining volume entropy non-expansiveness

abstract: This paper is an announcement of a result followed with explanations of some ideas behind. The proofs will appear elsewhere. Our goal is to construct a Hamiltonian perturbation of any completely integrable Hamiltonian system with $2n$ degrees of freedom ($n\geq 2$). The perturbation is $C^{\infty}$ small but the resulting flow has positive metric entropy and it satisfies KAM non-degeneracy conditions. The key point is that positive entropy can be generated in an arbitrarily small tubular neighborhood of one trajectory.


title: Sharp upper bounds on the length of the shortest closed geodesic on complete punctured spheres of finite area

abstract: We establish sharp universal upper bounds on the length of the shortest closed geodesic on a punctured sphere with three or four ends endowed with a complete Riemannian metric of finite area. These sharp curvature-free upper bounds are expressed in terms of the area of the punctured sphere. In both cases, we describe the extremal metrics, which are modeled on the Calabi-Croke sphere or the tetrahedral sphere. We also extend these optimal inequalities for reversible and non-necessarily reversible Finsler metrics. In this setting, we obtain optimal bounds for spheres with a larger number of punctures. Finally, we present a roughly asymptotically optimal upper bound on the length of the shortest closed geodesic for spheres/surfaces with a large number of punctures in terms of the area.


title: Model of Boson and Fermion Particle Masses

abstract: The boson and fermion particle masses are calculated in a finite quantum field theory. The field theory satisfies Poincar\'e invariance, unitarity and microscopic causality, and all loop graphs are finite to all orders of perturbation theory. The infinite derivative nonlocal field interactions are regularized with a mass (length) scale parameter $\Lambda_i$. The $W$, $Z$ and Higgs boson masses are calculated from finite one-loop self-energy graphs. The $W^{\pm}$ mass is predicted to be $M_W=80.05$ GeV, and the higher order radiative corrections to the Higgs boson mass $m_H=125$ GeV are damped out above the regulating mass scale parameter $\Lambda_H=1.57$ TeV. The three generations of quark and lepton masses are calculated from finite one-loop self-interactions, and there is an exponential spacing in mass between the quarks and leptons.


title: The Classical and Quantum Monodromy of the Champagne bottle potential

abstract: The Champagne bottle is one of the simplest and typical examples of Liouville integrable systems that exhibit a non-trivial classical monodromy. This geometrical invariant perturbs globally the existence of action-angle coordinates on the phrase space. However, our work shows a new way to detect the geometric modification on the phrase space by looking at the spectrum of a single operator, that is small non-selfadjoint perturbation of a selfadjoint semiclassical operator accepting the Hamiltonian of the Champagne bottle as its principal symbol.


title: The W. Thurston Algorithm for Real Quadratic Rational Maps

abstract: A study of real quadratic maps with real critical points, emphasizing the effective construction of critically finite maps with specified combinatorics. We discuss the behavior of the Thurston algorithm in obstructed cases, and in one exceptional badly behaved case, and provide a new description of the appropriate moduli spaces. There is also an application to topological entropy.


title: Topological Sensing with Photonic Arrays of Resonant Circular Waveguides

abstract: We propose that a photonic array of resonant circular dielectric waveguides with subwavelength grating can be designed as a robust and sensitive topological chemical sensor. The device can detect trace amounts of a given chemical species through photonic edge modes that are impervious to most sources of disorder. We perform a simulation in the mid-infrared that accounts for the absorption loss introduced by chemical molecules in contact with a strongly coupled photonic lattice of resonators. Due to the topological nature of the device, its chemical sensitivity scales linearly with the system size and can reach parts-per-billion range at the millimeter scale. Our findings suggest that topological chemical sensors could empower the development of novel on-chip integrated photonic sensing technologies.


title: Crafting Adversarial Examples for Deep Learning Based Prognostics (Extended Version)

abstract: In manufacturing, unexpected failures are considered a primary operational risk, as they can hinder productivity and can incur huge losses. State-of-the-art Prognostics and Health Management (PHM) systems incorporate Deep Learning (DL) algorithms and Internet of Things (IoT) devices to ascertain the health status of equipment, and thus reduce the downtime, maintenance cost and increase the productivity. Unfortunately, IoT sensors and DL algorithms, both are vulnerable to cyber attacks, and hence pose a significant threat to PHM systems. In this paper, we adopt the adversarial example crafting techniques from the computer vision domain and apply them to the PHM domain. Specifically, we craft adversarial examples using the Fast Gradient Sign Method (FGSM) and Basic Iterative Method (BIM) and apply them on the Long Short-Term Memory (LSTM), Gated Recurrent Unit (GRU), and Convolutional Neural Network (CNN) based PHM models. We evaluate the impact of adversarial attacks using NASA's turbofan engine dataset. The obtained results show that all the evaluated PHM models are vulnerable to adversarial attacks and can cause a serious defect in the remaining useful life estimation. The obtained results also show that the crafted adversarial examples are highly transferable and may cause significant damages to PHM systems.


title: Adversary Models for Mobile Device Authentication

abstract: Mobile device authentication has been a highly active research topic for over 10 years, with a vast range of methods having been proposed and analyzed. In related areas such as secure channel protocols, remote authentication, or desktop user authentication, strong, systematic, and increasingly formal threat models have already been established and are used to qualitatively and quantitatively compare different methods. Unfortunately, the analysis of mobile device authentication is often based on weak adversary models, suggesting overly optimistic results on their respective security. In this article, we first introduce a new classification of adversaries to better analyze and compare mobile device authentication methods. We then apply this classification to a systematic literature survey. The survey shows that security is still an afterthought and that most proposed protocols lack a comprehensive security analysis. Our proposed classification of adversaries provides a strong uniform adversary model that can offer a comparable and transparent classification of security properties in mobile device authentication methods.


title: TIGER: Topology-aware Assignment using Ising machines Application to Classical Algorithm Tasks and Quantum Circuit Gates

abstract: Optimally mapping a parallel application to compute and communication resources is increasingly important as both system size and heterogeneity increase. A similar mapping problem exists in gate-based quantum computing where the objective is to map tasks to gates in a topology-aware fashion. This is an NP-complete graph isomorphism problem, and existing task assignment approaches are either heuristic or based on physical optimization algorithms, providing different speed and solution quality trade-offs. Ising machines such as quantum and digital annealers have recently become available and offer an alternative hardware solution to solve this type of optimization problems. In this paper, we propose an algorithm that allows solving the topology-aware assignment problem using Ising machines. We demonstrate the algorithm on two use cases, i.e. classical task scheduling and quantum circuit gate scheduling. TIGER---topology-aware task/gate assignment mapper tool---implements our proposed algorithms and automatically integrates them into the quantum software environment. To address the limitations of physical solver, we propose and implement a domain-specific partition strategy that allows solving larger-scale problems and a weight optimization algorithm that allows tuning Ising model parameters to achieve better restuls. We use D-Wave's quantum annealer to demonstrate our algorithm and evaluate the proposed tool flow in terms of performance, partition efficiency, and solution quality. Results show significant speed-up compared to classical solutions, better scalability, and higher solution quality when using TIGER together with the proposed partition method. It reduces the data movement cost by 68\% in average for quantum circuit assignment compared to the IBM QX optimizer.


title: Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem

abstract: Augmenting a base constraint model with additional constraints can strengthen the inferences made by a solver and therefore reduce search effort. We focus on the automatic addition of streamliner constraints, derived from the types present in an abstract Essence specification of a problem class of interest, which trade completeness for potentially very significant reduction in search. The refinement of streamlined Essence specifications into constraint models suitable for input to constraint solvers gives rise to a large number of modelling choices in addition to those required for the base Essence specification. Previous automated streamlining approaches have been limited in evaluating only a single default model for each streamlined specification. In this paper we explore the effect of model selection in the context of streamlined specifications. We propose a new best-first search method that generates a portfolio of Pareto Optimal streamliner-model combinations by evaluating for each streamliner a portfolio of models to search and explore the variability in performance and find the optimal model. Various forms of racing are utilised to constrain the computational cost of training.


title: Crepuscular Rays from the Highly Inclined Active Galactic Nucleus in IC 5063

abstract: On Earth near sunset, the sun may cast "crepuscular rays" such that clouds near the horizon obscure the origin of light scattered in bright rays. In principle, AGN should be able to produce similar effects. Using new Hubble Space Telescope (HST) near-infrared and optical observations, we show that the active galaxy IC 5063 contains broad radial rays extending to $\gtrsim$11 kpc from the nucleus. We argue that the bright rays may arise from dusty scattering of continuum emission from the active nucleus, while the dark rays are due to shadowing near the nucleus, possibly by a warped torus. We also consider alternative AGN-related and stellar origins for the extended light.


title: The Rumin complex on nilpotent Lie groups

abstract: In this paper an alternative definition of the Rumin complex $(E_0^\bullet,d_c)$ is presented, one that relies on a different concept of weights of forms. In this way, the Rumin complex can be constructed on any nilpotent Lie group equipped with a Carnot-Carath\'eodory metric. Moreover, this construction allows for the direct application of previous non-vanishing results of $\ell^{q,p}$ cohomology to all nilpotent Lie groups that admit a positive grading.


title: "When they say weed causes depression, but it's your fav antidepressant": Knowledge-aware Attention Framework for Relationship Extraction

abstract: With the increasing legalization of medical and recreational use of cannabis, more research is needed to understand the association between depression and consumer behavior related to cannabis consumption. Big social media data has potential to provide deeper insights about these associations to public health analysts. In this interdisciplinary study, we demonstrate the value of incorporating domain-specific knowledge in the learning process to identify the relationships between cannabis use and depression. We develop an end-to-end knowledge infused deep learning framework (Gated-K-BERT) that leverages the pre-trained BERT language representation model and domain-specific declarative knowledge source (Drug Abuse Ontology (DAO)) to jointly extract entities and their relationship using gated fusion sharing mechanism. Our model is further tailored to provide more focus to the entities mention in the sentence through entity-position aware attention layer, where ontology is used to locate the target entities position. Experimental results show that inclusion of the knowledge-aware attentive representation in association with BERT can extract the cannabis-depression relationship with better coverage in comparison to the state-of-the-art relation extractor.


title: Exploring Instance Generation for Automated Planning

abstract: Many of the core disciplines of artificial intelligence have sets of standard benchmark problems well known and widely used by the community when developing new algorithms. Constraint programming and automated planning are examples of these areas, where the behaviour of a new algorithm is measured by how it performs on these instances. Typically the efficiency of each solving method varies not only between problems, but also between instances of the same problem. Therefore, having a diverse set of instances is crucial to be able to effectively evaluate a new solving method. Current methods for automatic generation of instances for Constraint Programming problems start with a declarative model and search for instances with some desired attributes, such as hardness or size. We first explore the difficulties of adapting this approach to generate instances starting from problem specifications written in PDDL, the de-facto standard language of the automated planning community. We then propose a new approach where the whole planning problem description is modelled using Essence, an abstract modelling language that allows expressing high-level structures without committing to a particular low level representation in PDDL.


title: Two critical times for the SIR model

abstract: We consider the SIR model and study the first time the number of infected individuals begins to decrease and the first time this population is below a given threshold. We interpret these times as functions of the initial susceptible and infected populations and characterize them as solutions of a certain partial differential equation. This allows us to obtain integral representations of these times and in turn to estimate them precisely for large populations.


title: Proposal of a Novel Bug Bounty Implementation Using Gamification

abstract: Despite significant popularity, the bug bounty process has remained broadly unchanged since its inception, with limited implementation of gamification aspects. Existing literature recognises that current methods generate intensive resource demands, and can encounter issues impacting program effectiveness. This paper proposes a novel bug bounty process aiming to alleviate resource demands and mitigate inherent issues. Through the additional crowdsourcing of report verification where fellow hackers perform vulnerability verification and reproduction, the client organisation can reduce overheads at the cost of rewarding more participants. The incorporation of gamification elements provides a substitute for monetary rewards, as well as presenting possible mitigation of bug bounty program effectiveness issues. Collectively, traits of the proposed process appear appropriate for resource and budget-constrained organisations - such Higher Education institutions.


title: Operator-valued formulas for Riemannian Gradient and Hessian and families of tractable metrics

abstract: We provide an explicit formula for the Levi-Civita connection and Riemannian Hessian for a Riemannian manifold that is a quotient of a manifold embedded in an inner product space with a non-constant metric function. Together with a classical formula for projection, this allows us to evaluate Riemannian gradient and Hessian for several families of metrics on classical manifolds, including a family of metrics on Stiefel manifolds connecting both the constant and canonical ambient metrics with closed-form geodesics. Using these formulas, we derive Riemannian optimization frameworks on quotients of Stiefel manifolds, including flag manifolds, and a new family of complete quotient metrics on the manifold of positive-semidefinite matrices of fixed rank, considered as a quotient of a product of Stiefel and positive-definite matrix manifold with affine-invariant metrics. The method is procedural, and in many instances, the Riemannian gradient and Hessian formulas could be derived by symbolic calculus. The method extends the list of potential metrics that could be used in manifold optimization and machine learning.


title: On rooted $k$-connectivity problems in quasi-bipartite digraphs

abstract: We consider the directed Min-Cost Rooted Subset $k$-Edge-Connection problem: given a digraph $G=(V,E)$ with edge costs, a set $T \subseteq V$ of terminals, a root node $r$, and an integer $k$, find a min-cost subgraph of $G$ that contains $k$ edge disjoint $rt$-paths for all $t \in T$. The case when every edge of positive cost has head in $T$ admits a polynomial time algorithm due to Frank [Discret. Appl. Math. 157(6):1242-1254, 2009], and the case when all positive cost edges are incident to $r$ is equivalent to the $k$-Multicover problem. Chan, Laekhanukit, Wei, and Zhang [APPROX/RANDOM, 63:1-63:20, 2020] gave an LP-based $O(\ln k \ln |T|)$-approximation algorithm for quasi-bipartite instances, when every edge in $G$ has an end (tail or head) in $T \cup \{r\}$. We give a simple combinatorial algorithm with the same ratio for a more general problem of covering an arbitrary $T$-intersecting supermodular set function by a minimum cost edge set, and for the case when only every positive cost edge has an end in $T \cup \{r\}$.


title: Realistic mock observations of the sizes and stellar mass surface densities of massive galaxies in FIRE-2 zoom-in simulations

abstract: The galaxy size-stellar mass and central surface density-stellar mass relationships are observational constraints on galaxy formation models. However, inferring the physical size of a galaxy from observed stellar emission is non-trivial due to various observational effects. Consequently, forward-modeling light-based sizes from simulations is desirable. In this work, we use the {\skirt} dust radiative transfer code to generate synthetic observations of massive galaxies ($M_{*}\sim10^{11}\,\rm{M_{\odot}}$ at $z=2$, hosted by haloes of mass $M_{\rm{halo}}\sim10^{12.5}\,\rm{M_{\odot}}$) from high-resolution cosmological zoom-in simulations that form part of the Feedback In Realistic Environments (FIRE) project. The simulations used in this paper include explicit stellar feedback but no active galactic nucleus (AGN) feedback. From each mock observation, we infer the effective radius ($R_e$), as well as the stellar mass surface density within this radius and within $1\,\rm{kpc}$ ($\Sigma_e$ and $\Sigma_1$, respectively). We first investigate how well the intrinsic half-mass radius and stellar mass surface density can be inferred from observables. The predicted sizes and surface densities are within a factor of two of the intrinsic values. We then compare our predictions to the observed size-mass relationship and the $\Sigma_1-M_\star$ and $\Sigma_e-M_\star$ relationships. At $z\gtrsim2$, the simulated massive galaxies are in general agreement with observational scaling relations. At $z\lesssim2$, they evolve to become too compact but still star-forming, in the stellar mass and redshift regime where many of them should be quenched. Our results suggest that some additional source of feedback, such as AGN driven outflows, is necessary in order to decrease the central densities of the simulated massive galaxies to bring them into agreement with observations at $z\lesssim2$.


title: Odometer Based Systems

abstract: Construction sequences are a general method of building symbolic shifts that capture cut-and-stack constructions and are general enough to give symbolic representations of Anosov-Katok diffeomorphisms. We show here that any finite entropy system that has an odometer factor can be represented as a special class of construction sequences, the odometer based construction sequences which correspond to those cut-and-stack constructions that do not use spacers. We also show that any additional property called the "small word condition" can also be satisfied in a uniform way.


title: Segmentation and Defect Classification of the Power Line Insulators: A Deep Learning-based Approach

abstract: Power transmission networks physically connect the power generators to the electric consumers. Such systems extend over hundreds of kilometers. There are many components in the transmission infrastructure that require a proper inspection to guarantee flawless performance and reliable delivery, which, if done manually, can be very costly and time consuming. One essential component is the insulator. Its failure can cause an interruption of the entire transmission line or a widespread power failure. Automated fault detection could significantly decrease inspection time and related costs. Recently, several works have been proposed based on convolutional neural networks, which address the issue mentioned above. However, existing studies focus on a specific type of insulator faults. Thus, in this study, we introduce a two-stage model that segments insulators from their background to then classify their states based on four different categories, namely: healthy, broken, burned/corroded and missing cap. The test results show that the proposed approach can realize the effective segmentation of insulators and achieve high accuracy in detecting several types of faults.


title: The application of the adiabatic compression scenario to the radio relic in the galaxy cluster Abell 3411-3412

abstract: Although radio relics are understood to originate in intracluster shock waves resulting from merger shocks, the most widely used model for describing this (re-)acceleration process at shock fronts, the diffusive shock acceleration (DSA) model, has several challenges, including the fact that it is inefficient at low shock Mach numbers. In light of these challenges, it is worthwhile to consider alternative mechanisms. One possibility is the adiabatic compression by a shock wave of a residual fossil electron population which has been left over from a radio galaxy jet. This paper applies this model to the relic hosted in the merging galaxy cluster Abell 3411-3412, where a radio bridge between the relic and a radio galaxy has been observed, with the aim to reproduce the spatial structure of the spectral index of the relic. Four scenarios are presented, in which different effects are investigated, such as effects behind the shock front and different shock strengths. The results show that the adiabatic compression model can reproduce the observed spectral indices across the relic for a shock Mach number that is lower than the value required by the DSA-type modelling of this relic and is in accordance with the values derived from X-ray observations, if other mechanisms, such as an expansion phase or post-shock turbulence, are effective behind the shock front.


title: Neutrino flavor oscillations without flavor states

abstract: We analyze the problem of neutrino oscillations via a fermionic particle detector model inspired by the physics of the Fermi theory of weak interactions. The model naturally leads to a description of emission and absorption of neutrinos in terms of localized two-level systems. By explicitly including source and detector as part of the dynamics, the formalism is shown to recover the standard results for neutrino oscillations without mention to "flavor states", which are ill defined in quantum field theory. This illustrates how particle detector models provide a powerful theoretical tool to approach the measurement issue in quantum field theory and emphasizes that the notion of flavor states, although sometimes useful, must not play any crucial role in neutrino phenomenology.


title: Schur--Weyl duality over commutative rings

abstract: The classical case of Schur--Weyl duality states that the actions of the group algebras of $GL_n$ and $S_d$ on the $d^{th}$-tensor power of a free module of finite rank centralize each other. We show that Schur--Weyl duality holds for commutative rings where enough scalars can be chosen whose non-zero differences are invertible. This implies all the known cases of Schur--Weyl duality so far. We also show that Schur--Weyl duality fails for $\mathbb{Z}$ and for any finite field when $d$ is sufficiently large.


title: Ejection of supermassive black holes and implications for merger rates in fuzzy dark matter haloes

abstract: Fuzzy dark matter (FDM) consisting of ultra-light axions has been invoked to alleviate galactic-scale problems in the cold dark matter scenario. FDM fluctuations, created via the superposition of waves, can impact the motion of a central supermassive black hole (SMBH) immersed in an FDM halo. The SMBH will undergo a random walk, induced by FDM fluctuations, that can result in its ejection from the central region. This effect is strongest in dwarf galaxies, accounting for wandering SMBHs and the low detection rate of AGN in dwarf spheroidal galaxies. In addition, a lower bound on the allowed axion masses is inferred both for Sagittarius $A^*$ and heavier SMBH; to avoid ejection from the galactic centres, axion masses of the order of $10^{-22}{\rm eV}$ or lighter are excluded. Stronger limits are inferred for merging galaxies. We find that the event rate of SMBH mergers in FDM haloes and the associated SMBH growth rates can be reduced by at least an order of magnitude.


title: Extension and trace theorems for noncompact doubling spaces

abstract: We generalize the extension and trace results of Bj\"orn-Bj\"orn-Shanmugalingam \cite{BBS21} to the setting of complete noncompact doubling metric measure spaces and their uniformized hyperbolic fillings. This is done through a uniformization procedure introduced by the author that uniformizes a Gromov hyperbolic space using a Busemann function instead of the distance functions considered in the work of Bonk-Heinonen-Koskela \cite{BHK}. We deduce several corollaries for the Besov spaces that arise as trace spaces in this fashion, including the existence of representatives that are quasicontinuous with respect to the Besov capacity, the existence of $L^p$-Lebesgue points quasieverywhere with respect to the Besov capacity, embeddings into H\"older spaces for appropriate exponents, and a stronger Lebesgue point result under an additional reverse doubling hypothesis on the measure. We also obtain several Poincar\'e-type inequalities relating integrals of Besov functions over balls to integrals of upper gradients of extension of these functions to a uniformized hyperbolic filling of the space.


title: Interpretation of Coupled-Cluster Many-Electron Dynamics in Terms of Stationary States

abstract: We demonstrate theoretically and numerically that laser-driven many-electron dynamics, as described by bivariational time-dependent coupled-cluster theory, may be analyzed in terms of stationary-state populations. Projectors heuristically defined from linear response theory and equation-of-motion coupled-cluster theory are proposed for the calculation of stationary-state populations during interaction with laser pulses or other external forces, and conservation laws of the populations are discussed. Numerical tests of the proposed projectors, involving both linear and nonlinear optical processes for the He and Be atoms, and for the LiH, CH$^+$, and LiF molecules, show that the laser-driven evolution of the stationary-state populations at the coupled-cluster singles-and-doubles (CCSD) level is very close to that obtained by full configuration-interaction theory provided all stationary states actively participating in the dynamics are sufficiently well approximated. When double-excited states are important for the dynamics, the quality of the CCSD results deteriorate. Observing that populations computed from the linear-response projector may show spurious small-amplitude, high-frequency oscillations, the equation-of-motion projector emerges as the most promising approach to stationary-state populations.


title: Time-of-Flight LiDAR-based Precise Mapping

abstract: Last two decades, the problem of robotic mapping has made a lot of progress in the research community. However, since the data provided by the sensor still contains noise, how to obtain an accurate map is still an open problem. In this note, we analyze the problem from the perspective of mathematical analysis and propose a probabilistic map update method based on multiple explorations. The proposed method can help us estimate the number of rounds of robot exploration, which is meaningful for the hardware and time costs of the task.


title: A Technical Review of Wireless security for the Internet of things: Software Defined Radio perspective

abstract: The increase of cyberattacks using IoT devices has exposed the vulnerabilities in the infrastructures that make up the IoT and have shown how small devices can affect networks and services functioning. This paper presents a review of the vulnerabilities of the wireless technologies that bear the IoT and assessing the experiences in implementing wireless attacks targeting the Internet of Things using Software-Defined Radio (SDR) technologies. A systematic literature review was conducted. The types of vulnerabilities and attacks that can affect the wireless technologies that stand the IoT ecosystem and SDR radio platforms were compared. On the IoT system model layer, perception layer was identified as the most vulnerable. Most attacks at this level occur due to limitations in hardware, physical exposure of devices, and heterogeneity of technologies. Future cybersecurity systems based on SDR radios have notable advantages due to their flexibility to adapt to new communication technologies and their potential for the development of advanced tools. However, cybersecurity challenges for the Internet of Things are so complex that it is needed to merge SDR hardware with cognitive techniques and intelligent techniques such as deep learning to adapt to rapid technological changes.


title: Radiation Damage Monitoring System of The CMS HF Detector

abstract: Hadronic Forward(HF) detector is one of the sub-detectors of the CMS. It plays an important role in the measurement of forward jets and missing energy. HF is situated on both sides of the CMS interaction point, at about $\pm$11 m, covers the very forward angles of CMS, in the pseudorapidity range (3.0 < | $\eta$ | < 5.0), leaving only clearance for the beam pipes. This calorimeter consists of quartz fibers embedded in the iron absorber. Cherenkov light created by the charged particles is transmitted to PMTs by the fibers. Fibers due to the proton-proton collisions are exposed to high radiation. This radiation causes deterioration of the fibers over the time. Special channels are placed in the HF detector to observe the changes in the fibers due to radiation. It is possible to monitor radiation damage online using the data taken for these channels. In this study, radiation damage of HF is analyzed using the local data which was taken during 2010 run period. A number of innovations and modifications have been proposed for the analysis method.


title: Broadband model-based inversion enables optoacoustic microscopy beyond the acoustic diffraction limit

abstract: Acoustic-resolution optoacoustic microscopy (AR-OAM) retrieves anatomical and functional contrast from living tissues at depths not reachable with optical microscopy. The imaging performance of AR-OAM has been advanced with image reconstruction algorithms providing high lateral resolution ultimately limited by acoustic diffraction. In this work, we suggest a new model-based framework efficiently exploiting scanning symmetries for high-resolution reconstruction of AR-OAM images. The model accurately accounts for the spatial impulse response and large detection bandwidth of a spherical polyvinylidene difluoride sensor, which facilitates significantly outperforming synthetic aperture focusing technique commonly employed in AR-OAM image reconstruction in terms of image contrast and resolution. Furthermore, reconstructions based on L1-norm regularization enabled resolving structures indistinguishable with other methods, which was confirmed by numerical simulations as well as phantom and in vivo experiments. The achieved performance demonstrates the applicability of AR-OAM as a super-resolution imaging method capable of breaking through the limits imposed by acoustic diffraction, thus opening unprecedented capabilities for the microscopic interrogation of optically opaque tissues in preclinical and clinical studies.

categories: physics.med-ph physics.bio-ph physics.ins-det physics.optics


title: Recommending Stack Overflow Posts for Fixing Runtime Exceptions using Failure Scenario Matching

abstract: Using online Q&A forums, such as Stack Overflow (SO), for guidance to resolve program bugs, among other development issues, is commonplace in modern software development practice. Runtime exceptions (RE) is one such important class of bugs that is actively discussed on SO. In this work we present a technique and prototype tool called MAESTRO that can automatically recommend an SO post that is most relevant to a given Java RE in a developer's code. MAESTRO compares the exception-generating program scenario in the developer's code with that discussed in an SO post and returns the post with the closest match. To extract and compare the exception scenario effectively, MAESTRO first uses the answer code snippets in a post to implicate a subset of lines in the post's question code snippet as responsible for the exception and then compares these lines with the developer's code in terms of their respective Abstract Program Graph (APG) representations. The APG is a simplified and abstracted derivative of an abstract syntax tree, proposed in this work, that allows an effective comparison of the functionality embodied in the high-level program structure, while discarding many of the low-level syntactic or semantic differences. We evaluate MAESTRO on a benchmark of 78 instances of Java REs extracted from the top 500 Java projects on GitHub and show that MAESTRO can return either a highly relevant or somewhat relevant SO post corresponding to the exception instance in 71% of the cases, compared to relevant posts returned in only 8% - 44% instances, by four competitor tools based on state-of-the-art techniques. We also conduct a user experience study of MAESTRO with 10 Java developers, where the participants judge MAESTRO reporting a highly relevant or somewhat relevant post in 80% of the instances. In some cases the post is judged to be even better than the one manually found by the participant.


title: Consequences of the existence of exceptional collections in arithmetic and rationality

abstract: A well-known conjecture of Orlov asks whether the existence of a full exceptional collection implies rationality of the underlying variety. We prove this conjecture for arithmetic toric varieties over general fields. We also investigate a slight generalization of this conjecture, where the endomorphism algebras of the exceptional objects are allowed to be separable field extensions of the base field. We show this generalization is false by exhibiting a geometrically rational, smooth, projective threefold over the the field of rational numbers that possesses a full \'etale-exceptional collection but not a rational point. The counterexample comes from twisting a non-retract rational variety with a rational point and full \'etale-exceptional collection by a torsor that is invisible to Brauer invariants. Along the way, we develop some tools for linearizing objects, including a group that controls linearizations.


title: Deformations of $\mathbb{E}_{\infty}$-groups of units and logarithmic derivatives of $\mathbb{E}_{\infty}$-rings

abstract: We extend a classical fact about deformations of groups of units of commutative rings to $\mathbb{E}_{\infty}$-ring spectra, and we use this result to provide a map of spectra generalizing the ordinary logarithmic derivative induced by an $R$-module derivation.


title: Dark Energy: is it `just' Einstein's Cosmological Constant Lambda?

abstract: The Cosmological Constant Lambda, a concept introduced by Einstein in 1917, has been with us ever since in different variants and incarnations, including the broader concept of Dark Energy. Current observations are consistent with a value of Lambda corresponding to about present-epoch 70% of the critical density of the Universe. This is causing the speeding up (acceleration) of the expansion of the Universe over the past 6 billion years, a discovery recognised by the 2011 Nobel Prize in Physics. Coupled with the flatness of the Universe and the amount of 30% matter (5% baryonic and 25% Cold Dark Matter), this forms the so-called Lambda-CDM standard model, which has survived many observational tests over about 30 years. However, there are currently indications of inconsistencies (`tensions' ) within Lambda-CDM on different values of the Hubble Constant and the clumpiness factor. Also, time variation of Dark Energy and slight deviations from General Relativity are not ruled out yet. Several grand projects are underway to test Lambda-CDM further and to estimate the cosmological parameters to sub-percent level. If Lambda-CDM will remain the standard model, then the ball is back in the theoreticians' court, to explain the physical meaning of Lambda. Is Lambda an alteration to the geometry of the Universe, or the energy of the vacuum? Or maybe it is something different, that manifests a yet unknown higher-level theory?


title: Industry-Relevant Implicit Large-Eddy Simulation of a High-Performance Road Car via Spectral/hp Element Methods

abstract: We present a successful deployment of high-fidelity Large-Eddy Simulation (LES) technologies based on spectral/hp element methods to industrial flow problems, which are characterized by high Reynolds numbers and complex geometries. In particular, we describe the numerical methods, software development and steps that were required to perform the implicit LES of a real automotive car, namely the Elemental Rp1 model. To the best of the authors' knowledge, this simulation represents the first fifth-order accurate transient LES of an entire real car geometry. Moreover, this constitutes a key milestone towards considerably expanding the computational design envelope currently allowed in industry, where steady-state modelling remains the standard. To this end, a number of novel developments had to be made in order to overcome obstacles in mesh generation and solver technology to achieve this simulation, which we detail in this paper. The main objective is to present to the industrial and applied mathematics community, a viable pathway to translate academic developments into industrial tools, that can substantially advance the analysis and design capabilities of high-end engineering stakeholders. The novel developments and results were achieved using the academic-driven open-source framework Nektar++.


title: Photocurrent Imaging of Multi-Memristive Charge Density Wave Switching in Two-Dimensional 1T-TaS2

abstract: Transport studies of atomically thin 1T-TaS2 have demonstrated the presence of intermediate resistance states across the nearly commensurate (NC) to commensurate (C) charge density wave (CDW) transition, which can be further switched electrically. While this presents exciting opportunities for the material in memristor applications, the switching mechanism has remained elusive and could be potentially attributed to the formation of inhomogeneous C and NC domains across the 1T-TaS2 flake. Here, we present simultaneous electrical driving and scanning photocurrent imaging of CDWs in ultrathin 1T-TaS2 using a vertical heterostructure geometry. While micron-sized CDW domains form upon changing temperature, electrically driven transitions result in largely uniform changes, indicating that states of intermediate resistance for the latter likely correspond to true metastable CDW states in between the NC and C phases, which we then explain by a free energy analysis. Additionally, we are able to perform repeatable and bidirectional switching across the multiple CDW states without changing sample temperature, demonstrating that atomically thin 1T-TaS2 can be further used as a robust and reversible multi-memristor material.


title: Energy Estimates for the Tracefree Curvature of Willmore Surfaces and Applications

abstract: We prove an $\epsilon$-regularity result for the tracefree curvature of a Willmore surface with bounded second fundamental form. For such a surface, we obtain a pointwise control of the tracefree second fundamental form from a small control of its $L^2$-norm.Several applications are investigated. Notably, we derive a gap statement for surfaces of the aforementioned type. We further apply our results to deduce regularity results for conformal minimal spacelike immersions into the de Sitter space $S^{4,1}$.