title: Maximising Influence Spread in Complex Networks by Utilising Community-based Driver Nodes as Seeds

abstract: Finding a small subset of influential nodes to maximise influence spread in a complex network is an active area of research. Different methods have been proposed in the past to identify a set of seed nodes that can help achieve a faster spread of influence in the network. This paper combines driver node selection methods from the field of network control, with the divide-and-conquer approach of using community structure to guide the selection of candidate seed nodes from the driver nodes of the communities. The use of driver nodes in communities as seed nodes is a comparatively new idea. We identify communities of synthetic (i.e., Random, Small-World and Scale-Free) networks as well as twenty-two real-world social networks. Driver nodes from those communities are then ranked according to a range of common centrality measures. We compare the influence spreading power of these seed sets to the results of selecting driver nodes at a global level. We show that in both synthetic and real networks, exploiting community structure enhances the power of the resulting seed sets.


title: Modular nanomagnet design for spin qubits confined in a linear chain

abstract: On-chip micromagnets enable electrically controlled quantum gates on electron spin qubits. Extending the concept to a large number of qubits is challenging in terms of providing large enough driving gradients and individual addressability. Here we present a design aimed at driving spin qubits arranged in a linear chain and strongly confined in directions lateral to the chain. Nanomagnets are placed laterally to one side of the qubit chain, one nanomagnet per two qubits. The individual magnets are "U"-shaped, such that the magnetic shape anisotropy orients the magnetization alternately towards and against the qubit chain even if an external magnetic field is applied along the qubit chain. The longitudinal and transversal stray field components serve as addressability and driving fields. Using micromagnetic simulations we calculate driving and dephasing rates and the corresponding qubit quality factor. The concept is validated with spin-polarized scanning electron microscopy of Fe nanomagnets fabricated on silicon substrates, finding excellent agreement with micromagnetic simulations. Several features required for a scalable spin qubit design are met in our approach: strong driving and weak dephasing gradients, reduced crosstalk and operation at low external magnetic field.


title: DDColor: Towards Photo-Realistic Image Colorization via Dual Decoders

abstract: Image colorization is a challenging problem due to multi-modal uncertainty and high ill-posedness. Directly training a deep neural network usually leads to incorrect semantic colors and low color richness. While transformer-based methods can deliver better results, they often rely on manually designed priors, suffer from poor generalization ability, and introduce color bleeding effects. To address these issues, we propose DDColor, an end-to-end method with dual decoders for image colorization. Our approach includes a pixel decoder and a query-based color decoder. The former restores the spatial resolution of the image, while the latter utilizes rich visual features to refine color queries, thus avoiding hand-crafted priors. Our two decoders work together to establish correlations between color and multi-scale semantic representations via cross-attention, significantly alleviating the color bleeding effect. Additionally, a simple yet effective colorfulness loss is introduced to enhance the color richness. Extensive experiments demonstrate that DDColor achieves superior performance to existing state-of-the-art works both quantitatively and qualitatively. The codes and models are publicly available at https://github.com/piddnad/DDColor.


title: Hybrid Quantum-Classical Generative Adversarial Network for High Resolution Image Generation

abstract: Quantum machine learning (QML) has received increasing attention due to its potential to outperform classical machine learning methods in problems pertaining classification and identification tasks. A subclass of QML methods is quantum generative adversarial networks (QGANs) which have been studied as a quantum counterpart of classical GANs widely used in image manipulation and generation tasks. The existing work on QGANs is still limited to small-scale proof-of-concept examples based on images with significant downscaling. Here we integrate classical and quantum techniques to propose a new hybrid quantum-classical GAN framework. We demonstrate its superior learning capabilities by generating $28 \times 28$ pixels grey-scale images without dimensionality reduction or classical pre/post-processing on multiple classes of the standard MNIST and Fashion MNIST datasets, which achieves comparable results to classical frameworks with three orders of magnitude less trainable generator parameters. To gain further insight into the working of our hybrid approach, we systematically explore the impact of its parameter space by varying the number of qubits, the size of image patches, the number of layers in the generator, the shape of the patches and the choice of prior distribution. Our results show that increasing the quantum generator size generally improves the learning capability of the network. The developed framework provides a foundation for future design of QGANs with optimal parameter set tailored for complex image generation tasks.


title: Reducing the frequency of the Higgs mode in a helical superconductor coupled to an LC-circuit

abstract: We show that the amplitude, or Higgs mode of a superconductor with strong spin-orbit coupling and an exchange field, couples linearly to the electromagnetic field. Furthermore, by coupling such a superconductor to an LC resonator, we demonstrate that the Higgs resonance becomes a regular mode at frequencies smaller than the quasiparticle energy threshold $2\Delta$. We finally propose and discuss a possible experiment based on microwave spectroscopy for an unequivocal detection of the Higgs mode. Our approach may allow visualizing Higgs modes also in more complicated multiband superconductors with a coupling between the charge and other electronic degrees of freedom.


title: Leggett-Garg Macrorealism and temporal correlations

abstract: Leggett and Garg formulated macrorealist models encoding our intuition on classical systems, i.e., physical quantities have a definite value that can be measured with minimal disturbance, and with the goal of testing macroscopic quantum coherence effects. The associated inequalities, involving the statistics of sequential measurements on the system, are violated by quantum mechanical predictions and experimental observations. Such tests, however, are subject to loopholes: a classical explanation can be recovered assuming specific models of measurement disturbance. We review recent theoretical and experimental progress in characterizing macrorealist and quantum temporal correlations, and in closing loopholes associated with Leggett-Garg tests. Finally, we review recent definitions of nonclassical temporal correlations, which go beyond macrorealist models by relaxing the assumption on the measurement disturbance, and their applications in sequential quantum information processing.


title: Viability of rotation sensing using phonon interferometry in Bose-Einstein condensates

abstract: We demonstrate the use of a ring-shaped Bose-Einstein condensate as a rotation sensor by measuring the interference between two counter-propagating phonon modes imprinted azimuthally around the ring. We observe rapid decay of the excitations, quantified by quality factors of at most $Q \approx 27$. We numerically model our experiment using the c-field methodology, allowing us to estimate the parameters that maximise the performance of our sensor. We explore the damping mechanisms underlying the observed phonon decay, and identify two distinct Landau scattering processes that each dominate at different driving amplitudes and temperatures. Our simulations reveal that $Q$ is limited by strong damping of phonons even in the zero temperature limit. We perform an experimental proof-of-principle rotation measurement using persistent currents imprinted around the ring. We demonstrate a rotation sensitivity of up to $\Delta \Omega \approx 0.3$ rad/s from a single image, with a theoretically achievable value of $\Delta \Omega \approx 0.04$ rad/s in the atomic shot-noise limit. This is a significant improvement over the shot-noise-limited $\Delta \Omega \approx 1$ rad/s sensitivity obtained by Marti et al. [Phys. Rev. A 91, 013602 (2015)] for a similar setup.


title: Multi-Wavelength Observations Of A New Redback Millisecond Pulsar 4FGL J1910.7-5320

abstract: We present the study of multi-wavelength observations of an unidentified Fermi Large Area Telescope (LAT) source, 4FGL J1910.7-5320, a new candidate redback millisecond pulsar binary. In the 4FGL 95% error region of 4FGL J1910.7-5320, we find a possible binary with a 8.36-hr orbital period from the Catalina Real-Time Transient Survey (CRTS), confirmed by optical spectroscopy using the SOAR telescope. This optical source was recently independently discovered as a redback pulsar by the TRAPUM project, confirming our prediction. We fit the optical spectral energy distributions of 4FGL J1910.7-5320 with a blackbody model, inferring a maximum distance of 4.1 kpc by assuming that the companion fills its Roche-lobe with a radius of R = 0.7R_sun. Using a 12.6 ks Chandra X-ray observation, we identified an X-ray counterpart for 4FGL J1910.7-5320, with a spectrum that can be described by an absorbed power-law with a photon index of 1.0+/-0.4. The spectrally hard X-ray emission shows tentative evidence for orbital variability. Using more than 12 years of Fermi-LAT data, we refined the position of the {\gamma}-ray source, and the optical candidate still lies within the 68% positional error circle. In addition to 4FGL J1910.7-5320, we find a variable optical source with a periodic signal of 4.28-hr inside the 4FGL catalog 95% error region of another unidentified Fermi source, 4FGL J2029.5-4237. However, the {\gamma}-ray source does not have a significant X-ray counterpart in a 11.7 ks Chandra observation, with a 3-{\sigma} flux upper limit of 2.4*10^-14 erg cm^-2 s^-1 (0.3-7 keV). Moreover, the optical source is outside our updated Fermi-LAT 95% error circle. These observational facts all suggest that this new redback millisecond pulsar powers the {\gamma}-ray source 4FGL J1910.7-5320 while 4FGL J2029.5-4237 is unlikely the {\gamma}-ray counterpart to the 4.28-hr variable.


title: Reviewing Best Practices in Online Conferencing

abstract: The COVID-19 pandemic disrupted the usual ways the networking research community operates. This article reviews experiences organising and participating in virtual conferences during the COVID-19 pandemic between 2020-2021. Thanks to the broader scope of the Dagstuhl seminar on 'Climate Friendly Internet Research' held in July 2021, here we focus the discussion on state-of-the-art in technologies and practices applied in online events such as conferences, teaching, and other meetings and identify approaches that are successful as well as others that need improvement. We also present a set of best practices and recommendations for the community.


title: Equilibrium of slowly rotating polytropes in modified theories of gravity

abstract: A general formalism to find the density profile of a slowly rotating stellar object in modified gravity is presented. We derive a generic Lane-Emden equation and its analytical solution for a wide class of modified theories of gravity.


title: Critical Transitions in D-Concave Nonautonomous Scalar Ordinary Differential Equations Appearing in Population Dynamics

abstract: A function with finite asymptotic limits gives rise to a transition equation between a "past system" and a "future system". This question is analyzed in the case of nonautonomous coercive nonlinear scalar ordinary differential equations with concave derivative with respect to the state variable. The fundamental hypothesis is the existence of three hyperbolic solutions for the limit systems, in which case the upper and lower ones are attractive. All the global dynamical possibilities are described in terms of the internal dynamics of the pullback attractor: cases of tracking of the two hyperbolic attractive solutions or lack of it (tipping) may arise. This analysis, made in the language of processes and also in terms of the skewproduct formulation of the problem, includes cases of rate-induced critical transitions, as well as cases of phase-induced and size-induced tipping. The conclusions are applied in models of mathematical biology and population dynamics. Rate-induced tracking phenomena causing extinction of a native species or invasion of a non-native one are described, as well as population models affected by a Holling type III functional response to predation where tipping due to the changes in the size of the transition may occur. In all these cases, the appearance of a critical transition can be understood as a consequence of the strength of Allee effect.


title: Planar Magnetic Paul Traps for Ferromagnetic Particles

abstract: We present a study on the trapping of hard ferromagnetic particles using alternating magnetic fields, with a focus on planar trap geometries. First, we realize and characterize a magnetic Paul trap design for millimeter-size magnets based on a rotating magnetic potential. Employing a physically rotating platform with two pairs of permanent magnets with opposite poles, we show stable trapping of hard ferromagnets a centimeter above the trap and demonstrate that the particle shape plays a critical role in the trapping. Finally, we propose a chip trap design that will open a path to studies of gyromagnetic effects with ferromagnetic micro-particles.


title: Static and resonant properties of decorated square kagome lattice compound KCu$_7$(TeO$_4$)(SO$_4$)$_5$Cl

abstract: The magnetic subsystem of nabokoite, KCu$_7$(TeO$_4$)(SO$_4$)$_5$Cl, is constituted by copper ions forming a buckled square kagom\'e lattice decorated by quasi-isolated ions. This combination determines peculiar physical properties of this compound evidenced in electron spin resonance (ESR) spectroscopy, dielectric permittivity $\varepsilon$, magnetization $M$ and specific heat $C_p$ measurements. At lowering temperature, the magnetic susceptibility $\chi = M/H$ passes through a broad hump inherent for low-dimensional magnetic systems at about 150 K and a sharp peak at antiferromagnetic phase transition at $T_N = 3.2 $K. The $C_p(T,H)$ curves demonstrate additional peak-like anomaly at $T_{peak}= 5.7$K robust to magnetic field. The latter can be ascribed to low-lying singlet excitations filling the singlet-triplet gap in magnetic excitation spectrum of the square kagom\'e lattice [J.Richter, O.Derzhko and J.Schnack, Phys. Rev. B \textbf{105} (2022) 144427]. ESR spectroscopy provides indications that antiferromagnetic structure below $T_N$ is non-collinear. Separate issue is the observation of antiferroelectric-type behavior in $\varepsilon$ at low temperatures, which tentatively reduces the symmetry and partially lifts frustration of magnetic interactions of decorating copper ions with buckled square kagom\'e lattice. These complex thermodynamic and resonant properties signal the presence of two weakly coupled magnetic subsystems in nabokoite, namely a spin-liquid in square kagom\'e lattice layers and an antiferromagnet represented by decorating ions.


title: Precision calculations of $B_{d, s} \to \pi, K$ decay form factors in soft-collinear effective theory

abstract: We improve QCD calculations of the $B_{d, s} \to \pi, K$ form factors at large hadronic recoil by implementing the next-to-leading-logarithmic resummation for the obtained leading-power light-cone sum rules in the soft-collinear effective theory (SCET) framework. Additionally, we endeavour to investigate a variety of the subleading-power contributions to these heavy-to-light form factors at ${\cal O}(\alpha_s^0)$, by including the higher-order terms in the heavy-quark expansion of the hard-collinear quark propagator, by evaluating the desired effective matrix element of the next-to-leading-order term in the ${\rm SCET_{I}}$ representation of the weak transition current, by taking into account the off-light-cone contributions of the two-body heavy-quark effective theory matrix elements as well as the three-particle higher-twist corrections from the subleading bottom-meson light-cone distribution amplitudes, and by computing the twist-five and twist-six four-body higher-twist effects with the aid of the factorization approximation. Having at our disposal the SCET sum rules for the exclusive $B$-meson decay form factors, we further explore in detail numerical implications of the newly computed subleading-power corrections by employing the three-parameter model for both the leading-twist and higher-twist $B$-meson distribution amplitudes. Taking advantage of the customary Bourrely-Caprini-Lellouch parametrization for the semileptonic $B_{d, s} \to \pi, K$ form factors, we then determine the correlated numerical results for the interesting series coefficients, by carrying out the simultaneous fit of the exclusive $B$-meson decay form factors to both the achieved SCET sum rule predictions and the available lattice QCD results.


title: Taking off with Biodegradable Tensegrities: An Eco-friendly Emergency Medical Delivery Solution

abstract: This paper analyzes how medical supplies can be safely transported through eco-friendly means to areas affected by disasters such as floods using Unmanned Aerial Vehicles. We compared the performance of different bio-degradable tensegrity structures with fragile payloads cushioned with coir padding by conducting drop tests from successively greater heights upto 75 meters on surfaces with different hardness. Our results showed that the bio-degradable tensegrities was able to absorb the shock on impact successively in all cases without any damage to the payload. The results suggest that biodegradable tensegrities are a viable option for fragile payload delivery.


title: A Foundation for Functional Graph Programs: The Graph Transformation Control Algebra (GTA)

abstract: Applications of graph transformation (GT) systems often require control structures that can be used to direct GT processes. Most existing GT tools follow a stateful computational model, where a single graph is repeatedly modified "in-place" when GT rules are applied. The implementation of control structures in such tools is not trivial. Common challenges include dealing with the non-determinism inherent to rule application and transactional constraints when executing compositions of GTs, in particular atomicity and isolation. The complexity of associated transaction mechanisms and rule application search algorithms (e.g., backtracking) complicates the definition of a formal foundation for these control structures. Compared to these stateful approaches, functional graph rewriting presents a simpler (stateless) computational model, which simplifies the definition of a formal basis for (functional) GT control structures. In this paper, we propose the "Graph Transformation control Algebra" (GTA) as such a foundation. The GTA has been used as the formal basis for implementing the control structures in the (functional) GT tool "GrapeVine".


title: A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems

abstract: The complexity class NP of decision problems that can be solved nondeterministically in polynomial time is of great theoretical and practical importance where the notion of polynomial-time reductions between NP-problems is a key concept for the study of NP. As many typical NP-problems are naturally described as graph problems, they and their reductions are obvious candidates to be investigated by graph-transformational means. In this paper, we propose such a graph-transformational approach for proving the correctness of reductions between NP-problems.


title: Topological kagome magnets and superconductors

abstract: A kagome lattice naturally features Dirac fermions, flat bands and van Hove singularities in its electronic structure. The Dirac fermions encode topology, flat bands favour correlated phenomena such as magnetism, and van Hove singularities can lead to instabilities towards long-range many-body orders, altogether allowing for the realization and discovery of a series of topological kagome magnets and superconductors with exotic properties. Recent progress in exploring kagome materials has revealed rich emergent phenomena resulting from the quantum interactions between geometry, topology, spin and correlation. Here we review these key developments in this field, starting from the fundamental concepts of a kagome lattice, to the realizations of Chern and Weyl topological magnetism, to various flat-band many-body correlations, and then to the puzzles of unconventional charge-density waves and superconductivity. We highlight the connection between theoretical ideas and experimental observations, and the bond between quantum interactions within kagome magnets and kagome superconductors, as well as their relation to the concepts in topological insulators, topological superconductors, Weyl semimetals and high-temperature superconductors. These developments broadly bridge topological quantum physics and correlated many-body physics in a wide range of bulk materials and substantially advance the frontier of topological quantum matter.


title: Graph-Based Specification and Automated Construction of ILP Problems

abstract: In the Model-Driven Software Engineering (MDSE) community, the combination of techniques operating on graph-based models (e.g., Pattern Matching (PM) and Graph Transformation (GT)) and Integer Linear Programming (ILP) is a common occurrence, since ILP solvers offer a powerful approach to solve linear optimization problems and help to enforce global constraints while delivering optimal solutions. However, designing and specifying complex optimization problems from more abstract problem descriptions can be a challenging task. A designer must be an expert in the specific problem domain as well as the ILP optimization domain to translate the given problem into a valid ILP problem. Typically, domain-specific ILP problem generators are hand-crafted by experts, to avoid specifying a new ILP problem by hand for each new instance of a problem domain. Unfortunately, the task of writing ILP problem generators is an exercise, which has to be repeated for each new scenario, tool, and approach. For this purpose, we introduce the GIPS (Graph-Based ILP Problem Specification Tool) framework that simplifies the development of ILP problem generators for graph-based optimization problems and a new Domain-Specific Language (DSL) called GIPSL (Graph-Based ILP Problem Specification Language) that integrates GT and ILP problems on an abstract level. Our approach uses GIPSL specifications as a starting point to derive ILP problem generators for a specific application domain automatically. First experiments show that the derived ILP problem generators can compete with hand-crafted programs developed by ILP experts.


title: Towards Mechanised Proofs in Double-Pushout Graph Transformation

abstract: We formalise the basics of the double-pushout approach to graph transformation in the proof assistant Isabelle/HOL and provide associated machine-checked proofs. Specifically, we formalise graphs, graph morphisms and rules, and a definition of direct derivations based on deletion and gluing. We then formalise graph pushouts and prove with Isabelle's help that both deletions and gluings are pushouts. We also prove that pushouts are unique up to isomorphism. The formalisation comprises around 2000 lines of source text. Our motivation is to pave the way for rigorous, machine-checked proofs in the theory of the double-pushout approach, and to lay the foundations for verifying graph transformation systems and rule-based graph programs by interactive theorem proving.


title: On the growth rate of polyregular functions

abstract: We consider polyregular functions, which are certain string-to-string functions that have polynomial output size. We prove that a polyregular function has output size $\mathcal O(n^k)$ if and only if it can be defined by an MSO interpretation of dimension $k$, i.e. a string-to-string transformation where every output position is interpreted, using monadic second-order logic MSO, in some $k$-tuple of input positions. We also show that this characterization does not extend to pebble transducers, another model for describing polyregular functions: we show that for every $k \in \{1,2,\ldots\}$ there is a polyregular function of quadratic output size which needs at least $k$ pebbles to be computed.


title: Performance enhancement of surface codes via recursive MWPM decoding

abstract: The minimum weight perfect matching (MWPM) decoder is the standard decoding strategy for quantum surface codes. However, it suffers a harsh decrease in performance when subjected to biased or non-identical quantum noise. In this work, we modify the conventional MWPM decoder so that it considers the biases, the non-uniformities and the relationship between $X$, $Y$ and $Z$ errors of the constituent qubits of a given surface code. Our modified approach, which we refer to as the recursive MWPM decoder, obtains an $18\%$ improvement in the probability threshold $p_{th}$ under depolarizing noise. We also obtain significant performance improvements when considering biased noise and independent non-identically distributed (i.ni.d.) error models derived from measurements performed on state-of-the-art quantum processors. In fact, when subjected to i.ni.d. noise, the recursive MWPM decoder yields a performance improvement of $105.5\%$ over the conventional MWPM strategy and, in some cases, it even surpasses the performance obtained over the well-known depolarizing channel.


title: Non-Hermitian topological Fermi superfluid near the $p$-wave unitary limit

abstract: We theoretically discuss the non-Hermitian superfluid phase transition in one-dimensional two-component Fermi gases near the $p$-wave Feshbach resonance accompanied by the two-body loss associated with the dipolar relaxation. For the first time we point out that this system gives us an opportunity to explore the interplay among various non-trivial properties such as universal thermodynamics at divergent $p$-wave scattering length, topological phase transition at vanishing chemical potential, and non-Hermitian Bardeen-Cooper-Schrieffer(BCS) to Bose-Einstein condensate (BEC) transition, in a unified manner. In the BCS phase, the loss-induced superfluid-normal transition occurs when the exceptional point appears in the effective non-Hermitian Hamiltonian. In the BEC phase, the diffusive gapless mode can be regarded as a precursor of the instability of the superfluid state. Moreover, we show that the superfluid state is fragile against the two-body loss near the topological phase transition point.

categories: cond-mat.quant-gas cond-mat.supr-con nucl-th quant-ph


title: Extreme eigenvalues of Log-concave Ensemble

abstract: In this paper, we consider the log-concave ensemble of random matrices, a class of covariance-type matrices $XX^*$ with isotropic log-concave $X$-columns. A main example is the covariance estimator of the uniform measure on isotropic convex body. Non-asymptotic estimates and first order asymptotic limits for the extreme eigenvalues have been obtained in the literature. In this paper, with the recent advancements on log-concave measures \cite{chen, KL22}, we take a step further to locate the eigenvalues with a nearly optimal precision, namely, the spectral rigidity of this ensemble is derived. Based on the spectral rigidity and an additional ``unconditional" assumption, we further derive the Tracy-Widom law for the extreme eigenvalues of $XX^*$, and the Gaussian law for the extreme eigenvalues in case strong spikes are present.


title: Rational points on rank 2 genus 2 bielliptic curves in the LMFDB

abstract: Building on work of Balakrishnan, Dogra, and of the first author, we provide some improvements to the explicit quadratic Chabauty method to compute rational points on genus $2$ bielliptic curves over $\mathbb{Q}$, whose Jacobians have Mordell-Weil rank equal to $2$. We complement this with a precision analysis to guarantee correct outputs. Together with the Mordell-Weil sieve, this bielliptic quadratic Chabauty method is then the main tool that we use to compute the rational points on the $411$ locally solvable curves from the LMFDB which satisfy the aforementioned conditions.


title: Towards Causal Credit Assignment

abstract: Adequately assigning credit to actions for future outcomes based on their contributions is a long-standing open challenge in Reinforcement Learning. The assumptions of the most commonly used credit assignment method are disadvantageous in tasks where the effects of decisions are not immediately evident. Furthermore, this method can only evaluate actions that have been selected by the agent, making it highly inefficient. Still, no alternative methods have been widely adopted in the field. Hindsight Credit Assignment is a promising, but still unexplored candidate, which aims to solve the problems of both long-term and counterfactual credit assignment. In this thesis, we empirically investigate Hindsight Credit Assignment to identify its main benefits, and key points to improve. Then, we apply it to factored state representations, and in particular to state representations based on the causal structure of the environment. In this setting, we propose a variant of Hindsight Credit Assignment that effectively exploits a given causal structure. We show that our modification greatly decreases the workload of Hindsight Credit Assignment, making it more efficient and enabling it to outperform the baseline credit assignment method on various tasks. This opens the way to other methods based on given or learned causal structures.


title: Time and Space Measures for a Complete Graph Computation Model

abstract: We present a computation model based on a subclass of GP 2 graph programs which can simulate any off-line Turing machine of space complexity O(s(n) log s(n)) in space O(s(n)). The simulation only requires a quadratic time overhead. Our model shares this property with Sch\"onhage's storage modification machines and Kolmogorov-Uspenskii machines. These machines use low-level pointer instructions whereas our GP 2-based model uses pattern-based transformation rules and high-level control constructs.


title: A population of faint, old, and massive quiescent galaxies at 3 < z < 4 revealed by JWST NIRSpec Spectroscopy

abstract: Here we present a sample of 12 massive quiescent galaxy candidates at z~3-4 observed with the James Webb Space Telescope (JWST) Near Infrared Spectrograph (NIRSpec). These galaxies were pre-selected from the Hubble Space Telescope imaging and 10 of our sources were unable to be spectroscopically confirmed by ground based spectroscopy. By combining spectroscopic data from NIRSpec with multi-wavelength imaging data from the JWST Near Infrared Camera (NIRCam), we analyse their stellar populations and their formation histories. We find that all of our galaxies classify as quiescent based on the reconstruction of their star formation histories but show a variety of quenching timescales and ages. All our galaxies are massive ($\sim0.1-1.2 \times 10^{11} M\odot$), with masses comparable to massive galaxies in the local Universe. We find that the oldest galaxy in our sample formed $\sim1.0\times10^{11} M\odot$ of mass within the first few hundred million years of the Universe and has been quenched for more than a billion years by the time of observation at z$\sim$3.2 ($\sim$2 billion years after the Big Bang). Our results point to very early formation of massive galaxies requiring a high conversion rate of baryons to stars in the early Universe.


title: Improving metallicity estimates for very metal-poor stars in the Gaia DR3 GSP-Spec catalog

abstract: The Gaia DR3 GSP-Spec parameters, including metallicity, for VMP stars suffer from parameter degeneracy due to a lack of information in their spectra. Furthermore, the recommended quality cuts filter out the majority of the VMP stars because some of them are confused with hot stars or cool K and M-type giants. We aim to provide more precise metallicity estimates for VMP stars analysed by the GSP-Spec module by taking photometric information into account in the analysis. We reanalyzed FGK type stars in the GSP-Spec catalog by computing the Ca triplet equivalent widths from the published set of GSP-Spec stellar parameters. We compare these recovered equivalent widths with the values directly measured from public Gaia RVS spectra and investigate the precision of the recovered values and the parameter range in which the recovered values are reliable. We then convert the recovered equivalent widths to metallicities adopting photometric temperatures and surface gravities. The recovered equivalent widths agree with the directly measured values with a scatter of 0.05 dex for the stars that pass the GSP-Spec quality cuts. At the low metallicity end ([Fe/H]$<-1.5$), our metallicity estimates have a typical uncertainty of 0.18 dex, which is about half of the quoted GSP-Spec metallicity uncertainty at the same metallicity. Our metallicities also show better agreement with the high-resolution literature values than the original GSP-Spec metallicities at low metallicity. While the GSP-Spec metallicities show increasing scatter when misidentified ``hot'' stars and the subsets of the ``cool K and M-type giants'' are included, we can now identify them as FGK-type stars and provide metallicities that show a small scatter in the comparisons. Thanks to the recovery of these originally misclassified stars, we increase the number of VMP stars with reliable metallicity by a factor of $2-3$.


title: Entanglement Entropy in Internal Spaces and Ryu-Takayanagi Surfaces

abstract: We study minimum area surfaces associated with a region, $R$, of an internal space. For example, for a warped product involving an asymptotically $AdS$ space and an internal space $K$, the region $R$ lies in $K$ and the surface ends on $\partial R$. We find that the result of Graham and Karch can be avoided in the presence of warping, and such surfaces can sometimes exist for a general region $R$. When such a warped product geometry arises in the IR from a higher dimensional asymptotic AdS, we argue that the area of the surface can be related to the entropy arising from entanglement of internal degrees of freedom of the boundary theory. We study several examples, including warped or direct products involving $AdS_2$, or higher dimensional $AdS$ spaces, with the internal space, $K=R^m, S^m$; $Dp$ brane geometries and their near horizon limits; and several geometries with a UV cut-off. We find that such RT surfaces often exist and can be useful probes of the system, revealing information about finite length correlations, thermodynamics and entanglement. We also make some preliminary observations about the role such surfaces can play in bulk reconstruction, and their relation to subalgebras of observables in the boundary theory.


title: Low intensity saturation of an ISB transition by a mid-IR quantum cascade laser

abstract: We demonstrate that absorption saturation of a mid-infrared intersubband transition can be engineered to occur at moderate light intensities of the order of 10-20 kW$.$cm$^{-2}$ and at room temperature. The structure consists of an array of metal-semiconductor-metal patches hosting a judiciously designed 253 nm thick GaAs/AlGaAs semiconductor heterostructure. At low incident intensity the structure operates in the strong light-matter coupling regime and exhibits two absorption peaks at wavelengths close to 8.9 $\mu$m. Saturation appears as a transition to the weak coupling regime - and therefore to a single-peaked absorption - when increasing the incident intensity. Comparison with a coupled mode theory model explains the data and permits to infer the relevant system parameters. When the pump laser is tuned at the cavity frequency, the reflectivity decreases with increasing incident intensity. When instead the laser is tuned at the polariton frequencies, the reflectivity non-linearly increases with increasing incident intensity. At those wavelengths the system therefore mimics the behavior of a saturable absorption mirror (SESAM) in the mid-IR range, a technology that is currently missing.


title: Predictive Coding Based Multiscale Network with Encoder-Decoder LSTM for Video Prediction

abstract: We present a multi-scale predictive coding model for future video frames prediction. Drawing inspiration on the ``Predictive Coding" theories in cognitive science, it is updated by a combination of bottom-up and top-down information flows, which can enhance the interaction between different network levels. However, traditional predictive coding models only predict what is happening hierarchically rather than predicting the future. To address the problem, our model employs a multi-scale approach (Coarse to Fine), where the higher level neurons generate coarser predictions (lower resolution), while the lower level generate finer predictions (higher resolution). In terms of network architecture, we directly incorporate the encoder-decoder network within the LSTM module and share the final encoded high-level semantic information across different network levels. This enables comprehensive interaction between the current input and the historical states of LSTM compared with the traditional Encoder-LSTM-Decoder architecture, thus learning more believable temporal and spatial dependencies. Furthermore, to tackle the instability in adversarial training and mitigate the accumulation of prediction errors in long-term prediction, we propose several improvements to the training strategy. Our approach achieves good performance on datasets such as KTH, Moving MNIST and Caltech Pedestrian. Code is available at https://github.com/Ling-CF/MSPN.


title: Bounding the multiplicities of eigenvalues of graph matrices in terms of circuit rank using a new approach

abstract: Let $G$ be a simple undirected graph, $\theta(G)$ be the circuit rank of $G$, $\eta_M(G)$ and $m_M(G,\lambda)$ be the nullity and the multiplicity of eigenvalue $\lambda$ of a graph matrix $M(G)$, respectively. In the case $M(G)$ is the adjacency matrix $A(G)$, (the Laplacian matrix $L(G)$, the signless Laplacian matrix $Q(G)$) we find bounds to $m_M(G,\lambda)$ in terms of $\theta(G)$ when $\lambda$ is an integer (even integer, respectively). We also show that when $\alpha$ and $\lambda$ are rational numbers similar bounds can be found for $m_{A_{\alpha}}(G,\lambda)$ where $A_{\alpha}(G)$ is the generalized adjaceny matrix of $G$. Our bounds contain only $\theta(G)$, not a multiple of it. Up to now only bounds of $m_A(G,\lambda)$ (and later $m_{A_\alpha}(G,\lambda)$) have been found in terms of the circuit rank and all of them contains $2\theta(G)$. There is only one exception in the case $\lambda=0$. Wong et al. (2022) showed that $\eta_A(G_c)\leq \theta(G_c)+1$, where $G_c$ is a connected cactus whose blocks are even cycles. Our result, in particular, generalizes and extends this result to the multiplicity of any even eigenvalue of A(G) of any even connected graph $G$, and of any even eigenvalue of $L(G)$ and $Q(G)$ of any connected graph $G$. They also showed that $\eta_A(G_c)\leq 1$ when every block of the cactus is an odd cycle. This also corresponds a special case of our bound.


title: Poset Matrix Structure Via Partial Composition Operations

abstract: This paper examines the structure of poset matrices by formulating a set of new construction rules for this purpose. In this direction, the technique of partial composition operation will be introduced as the basis for the construction of poset matrices of any given size by extending the combinatorial setting of species of structures to poset matrices. More specifically, three new partial composition operations that apply to poset matrices are defined as the foundation for this study. Several new structural properties derived from viewing any poset matrix and its dual in terms of these operations are highlighted.


title: Anharmonic effects on the reflectivity of CaS and MgS: A first-principles based study

abstract: We employ systematic calculations based on density functional theory to model the reflectivity of CaS and MgS in the infrared region. We show that in addition to the modeling using the harmonic approximation, an accurate spectral description requires the inclusion of anharmonic effects. Due to their conceptual simplicity, CaS and MgS are excellent systems for the explicit consideration of the anharmonicity, which we include here using a perturbative approach up to three-phonon scattering processes, and the consideration of isotopic disorder. All physical quantities, such as Born effective charges and dielectric constant, necessary for the calculation of the reflectivity within the Lorentz model are extracted from our first-principles computations. To validate our predicted optical and transversal modes, and reflectivity spectra, we compare them to available experimental results. We find that the overall agreement is good, which supports the importance of the inclusion of anharmonic terms in the modeling of optical properties in the infrared region.


title: Integrability of two-species partially asymmetric exclusion processes

abstract: We work towards the classification of all one-dimensional exclusion processes with two species of particles that can be solved by a nested coordinate Bethe Ansatz. Using the Yang-Baxter equations, we obtain conditions on the model parameters that ensure that the underlying system is integrable. Three classes of integrable models are thus found. Of these, two classes are well known in literature, but the third has not been studied until recently, and never in the context of the Bethe ansatz. The Bethe equations are derived for the latter model as well as for the associated dynamics encoding the large deviation of the currents.


title: Internal aggregation models with multiple sources and obstacle problems on Sierpinski gaskets

abstract: We consider the doubly infinite Sierpinski gasket graph $SG_0$, rescale it by factor $2^{-n}$, and on the rescaled graphs $SG_n=2^{-n}SG_0$, for every $n\in \mathbb{N}$, we investigate the limit shape of three aggregation models with initial configuration $\sigma_n$ of particles supported on multiple vertices. The models under consideration are: divisible sandpile in which the excess mass is distributed among the vertices until each vertex is stable and has mass less or equal to one, internal DLA in which particles do random walks until finding an empty site, and rotor aggregation in which particles perform deterministic counterparts of random walks until finding an empty site. We denote by $SG=cl(\cup_{n=0}^{\infty} SG_n)$ the infinite Sierpinski gasket, which is a closed subset of $\mathbb{R}^2$, for which $SG_n$ represents the level-n approximating graph, and we consider a continuous function $\sigma:SG\to\mathbb{N}$. For $\sigma$ we solve the obstacle problem and we describe the noncoincidence set $D\subset SG$ as the solution of a free boundary problem on the fractal $SG$. If the discrete particle configurations $\sigma_n$ on the approximating graphs $SG_n$ converge pointwise to the continuous function $\sigma$ on the limit set $SG$, we prove that, as $n\to\infty$, the scaling limits of the three aforementioned models on $SG_n$ starting with initial particle configuration $\sigma_n$ converge to the deterministic solution $D$ of the free boundary problem on the limit set $SG\subset\mathbb{R}^2$. For $D$ we also investigate boundary regularity properties.


title: Exact analytical vacuum solutions of $ R^n $-gravity model depending on two variables

abstract: In this paper we consider the metric power-law $f(R)\sim R^n $-gravity model for the four-dimensional metric tensor depending on two coordinates. We obtain exact analytical vacuum solutions for different values of $ n $. These solutions contain both non-stationary configurations of the travelling wave type and stationary ones, in particular, depending on one radial variable.


title: Quantum Coherent Control of a Single Molecular-Polariton Rotation

abstract: We present a combined analytical and numerical study for coherent terahertz control of a single molecular polariton, formed by strongly coupling two rotational states of a molecule with a single-mode cavity. Compared to the bare molecules driven by a single terahertz pulse, the presence of a cavity strongly modifies the post-pulse orientation of the polariton, making it difficult to obtain its maximal degree of orientation. To solve this challenging problem toward achieving complete quantum coherent control, we derive an analytical solution of a pulse-driven quantum Jaynes-Cummings model by expanding the wave function into entangled states and constructing an effective Hamiltonian. We utilize it to design a composite terahertz pulse and obtain the maximum degree of orientation of the polariton by exploiting photon blockade effects. This work offers a new strategy to study rotational dynamics in the strong-coupling regime and provides a method for complete quantum coherent control of a single molecular polariton. It, therefore, has direct applications in polariton chemistry and molecular polaritonics for exploring novel quantum optical phenomena.


title: Best possible bounds on the double-diversity of intersecting hypergraphs

abstract: For a family $\mathcal{F}\subset \binom{[n]}{k}$ and two elements $x,y\in [n]$ define $\mathcal{F}(\bar{x},\bar{y})=\{F\in \mathcal{F}\colon x\notin F,\ y\notin F\}$. The double-diversity $\gamma_2(\mathcal{F})$ is defined as the minimum of $|\mathcal{F}(\bar{x},\bar{y})|$ over all pairs $x,y$. Let $\mathcal{L}\subset\binom{[7]}{3}$ consist of the seven lines of the Fano plane. For $n\geq 7$, $k\geq 3$ one defines the Fano $k$-graph $\mathcal{F}_{\mathcal{L}}$ as the collection of all $k$-subsets of $[n]$ that contain at least one line. It is proven that for $n\geq 13k^2$ the Fano $k$-graph is the essentially unique family maximizing the double diversity over all $k$-graphs without a pair of disjoint edges. Some similar, although less exact results are proven for triple and higher diversity as well.


title: Approximate Autonomous Quantum Error Correction with Reinforcement Learning

abstract: Autonomous quantum error correction (AQEC) protects logical qubits by engineered dissipation and thus circumvents the necessity of frequent, error-prone measurement-feedback loops. Bosonic code spaces, where single-photon loss represents the dominant source of error, are promising candidates for AQEC due to their flexibility and controllability. While existing proposals have demonstrated the in-principle feasibility of AQEC with bosonic code spaces, these schemes are typically based on the exact implementation of the Knill-Laflamme conditions and thus require the realization of Hamiltonian distances $d\geq 2$. Implementing such Hamiltonian distances requires multiple nonlinear interactions and control fields, rendering these schemes experimentally challenging. Here, we propose a bosonic code for approximate AQEC by relaxing the Knill-Laflamme conditions. Using reinforcement learning (RL), we identify the optimal bosonic set of codewords (denoted here by RL code), which, surprisingly, is composed of the Fock states $\vert 2\rangle$ and $\vert 4\rangle$. As we show, the RL code, despite its approximate nature, successfully suppresses single-photon loss, reducing it to an effective dephasing process that well surpasses the break-even threshold. It may thus provide a valuable building block toward full error protection. The error-correcting Hamiltonian, which includes ancilla systems that emulate the engineered dissipation, is entirely based on the Hamiltonian distance $d=1$, significantly reducing model complexity. Single-qubit gates are implemented in the RL code with a maximum distance $d_g=2$.


title: Thermal Evolution and Axion Emission Properties of Strongly Magnetized Neutron Stars

abstract: Emission properties of compact astrophysical objects such as Neutron stars (NSs) are associated with crucial astronomical observables. In the current work, we obtain the mass, pressure profiles of the non-rotating NSs using the modified Tolman Oppenheimer Volkoff (TOV) system of equations in the presence of intense magnetic field. We obtain the profiles by using a specific distance-dependent magnetic field in the modified TOV equations. We employ three different equations of states (EoS) to solve the TOV equations by assuming the core of NSs comprises a hadronic matter. Employing the above profiles, we determine the cooling rates of spherically symmetric NSs as a function of time with and without including the magnetic field using the NSCool code. We have also determined the cooling rates as a function of radius for three different NSs. Furthermore, we determine the luminosity of neutrinos, axions, and photons emitting from the NSs in the presence and absence of a magnetic field for an axion mass $16$ meV and three different EoS. Our comparative study indicates that the cooling rate and luminosities of neutrinos, axions, and photons change significantly due to the impact of the strong magnetic field. We also find that due to the magnetic field, the axion mass bound increases slightly compared to without a magnetic field..


title: Parameterizing Path Partitions

abstract: We study the algorithmic complexity of partitioning the vertex set of a given (di)graph into a small number of paths. The Path Partition problem (PP) has been studied extensively, as it includes Hamiltonian Path as a special case. The natural variants where the paths are required to be either \emph{induced} (Induced Path Partition, IPP) or \emph{shortest} (Shortest Path Partition, SPP), have received much less attention. Both problems are known to be NP-complete on undirected graphs; we strengthen this by showing that they remain so even on planar bipartite directed acyclic graphs (DAGs), and that SPP remains \NP-hard on undirected bipartite graphs. When parameterized by the natural parameter ``number of paths'', both SPP and IPP are shown to be W{1}-hard on DAGs. We also show that SPP is in \XP both for DAGs and undirected graphs for the same parameter, as well as for other special subclasses of directed graphs (IPP is known to be NP-hard on undirected graphs, even for two paths). On the positive side, we show that for undirected graphs, both problems are in FPT, parameterized by neighborhood diversity. We also give an explicit algorithm for the vertex cover parameterization of PP. When considering the dual parameterization (graph order minus number of paths), all three variants, IPP, SPP and PP, are shown to be in FPT for undirected graphs. We also lift the mentioned neighborhood diversity and dual parameterization results to directed graphs; here, we need to define a proper novel notion of directed neighborhood diversity. As we also show, most of our results also transfer to the case of covering by edge-disjoint paths, and purely covering.


title: Active SLAM: A Review On Last Decade

abstract: This article presents a comprehensive review of the Active Simultaneous Localization and Mapping (A-SLAM) research conducted over the past decade. It explores the formulation, applications, and methodologies employed in A-SLAM, particularly in trajectory generation and control-action selection, drawing on concepts from Information Theory (IT) and the Theory of Optimal Experimental Design (TOED). This review includes both qualitative and quantitative analyses of various approaches, deployment scenarios, configurations, path-planning methods, and utility functions within A-SLAM research. Furthermore, this article introduces a novel analysis of Active Collaborative SLAM (AC-SLAM), focusing on collaborative aspects within SLAM systems. It includes a thorough examination of collaborative parameters and approaches, supported by both qualitative and statistical assessments. This study also identifies limitations in the existing literature and suggests potential avenues for future research. This survey serves as a valuable resource for researchers seeking insights into A-SLAM methods and techniques, offering a current overview of A-SLAM formulation.


title: Polarized tip-enhanced Raman spectroscopy at liquid He temperature in ultrahigh vacuum using an off-axis parabolic mirror

abstract: Tip-enhanced Raman spectroscopy (TERS) combines inelastic light scattering well below the diffraction limit down to the nanometer range and scanning probe microscopy and, possibly, spectroscopy. In this way, topographic and spectroscopic as well as single- and two-particle information may simultaneously be collected. While single molecules can now be studied successfully, bulk solids are still not meaningfully accessible. It is the purpose of the work presented here to outline approaches toward this objective. We describe a home-built, liquid helium cooled, ultrahigh vacuum tip-enhanced Raman spectroscopy system (LHe-UHV-TERS). The setup is based on a scanning tunneling microscope and, as an innovation, an off-axis parabolic mirror having a high numerical aperture of approximately $0.85$ and a large working distance. The system is equipped with a fast load-lock chamber, a chamber for the \textit{in situ} preparation of tips, substrates, and samples, and a TERS chamber. Base pressure and temperature in the TERS chamber were approximately $3\times 10^{-11}$~mbar and 15~K, respectively. Polarization dependent tip-enhanced Raman spectra of the vibration modes of carbon nanotubes were successfully acquired at cryogenic temperature. Enhancement factors in the range of $10^7$ were observed. The new features described here including very low pressure and temperature and the external access to the light polarizations, thus the selection rules, may pave the way towards the investigation of bulk and surface materials.


title: Monolith Development History for Microservices Identification: a Comparative Analysis

abstract: Recent research has proposed different approaches on the automated identification of candidate microservices on monolith systems, which vary on the monolith representation, similarity criteria, and quality metrics used. On the other hand, they are generally limited in the number of codebases and decompositions evaluated, and few comparisons between approaches exist. Considering the emerging trend in software engineering in techniques based on the analysis of codebases' evolution, we compare a representation based on the monolith code structure, in particular the sequences of accesses to domain entities, with representations based on the monolith development history (file changes and changes authorship). From the analysis on a total of 468k decompositions of 28 codebases, using five quality metrics that evaluate modularity, minimization of the number of transactions per functionality, and reduction of teams and communication, we conclude that the best decompositions on each metric were made by combining data from the sequences of accesses and the development history representations. We also found that the changes authorship representation of codebases with many authors achieves comparable or better results than the sequence of accesses representation of codebases with few authors with respect to minimization of the number of transactions per functionality and the reduction of teams.


title: Code Vectorization and Sequence of Accesses Strategies for Monolith Microservices Identification

abstract: Migrating a monolith application into a microservices architecture can benefit from automation methods, which speed up the migration and improve the decomposition results. One of the current approaches that guide software architects on the migration is to group monolith domain entities into microservices, using the sequences of accesses of the monolith functionalities to the domain entities. In this paper, we enrich the sequence of accesses solution by applying code vectorization to the monolith, using the \textit{Code2Vec} neural network model. We apply \textit{Code2Vec} to vectorize the monolith functionalities. We propose two strategies to represent a functionality, one by aggregating its call graph methods vectors, and the other by extending the sequence of accesses approach with vectorization of the accessed entities. To evaluate these strategies, we compare the proposed strategies with the sequence of accesses strategy and an existing approach that uses class vectorization. We run all these strategies over a large set of codebases, and then compare the results of their decompositions in terms of cohesion, coupling, and complexity.


title: Towards Transactional Causal Consistent Microservices Business Logic

abstract: Microservices architecture has been widely adopted to develop software systems, but some of its trade-offs are often ignored. In particular, the introduction of eventual consistency has a huge impact on the complexity of the application business logic design. Recent proposals to use transactional causal consistency in serverless computing seems promising, because it reduces the number of possible concurrent execution anomalies that can occur due to the lack of isolation. We propose an extension of the aggregate concept, the basic building block of microservices design, that is transactional causal consistent compliant. A simulator for the enriched aggregates is developed to allow the experimentation of this approach with a business logic rich system. The experiment results shown a reduction of the implementation complexity. The simulator is a publicly available reusable artifact that can be used in other experiments.


title: A note on the essential numerical range of block diagonal operators

abstract: In this note we characterize the essential numerical range of a block diagonal o\-pe\-ra\-tor $T=\bigoplus_i T_i$ in terms of the numerical ranges $\{W(T_i)\}_i$ of its components. Specifically, the essential numerical range of $T$ is the convex hull of the limit superior of $\{W(T_i)\}_i$. This characterization can be simplified further. In fact, we prove the existence of a decomposition of $T$ for which the convex hull is not required.


title: A Palm Space Approach to Non-Linear Hawkes Processes

abstract: A Hawkes process on $\R$ is a point process whose intensity function at time $t$ is a functional of its past activity before time $t$. It is defined by its activation function $\Phi$ and its memory function $h$. In this paper, the Hawkes property is expressed as an operator on the sub-space of non-negative sequences associated to distances between its points. By using the classical correspondence between a stationary point process and its Palm measure, we establish a characterization of the corresponding Palm measure as an invariant distribution of a Markovian kernel. We prove that if $\Phi$ is continuous and its growth rate is at most linear with a rate below some constant, then there exists a stationary Hawkes point process. The classical Lipschitz condition of the literature for an unbounded function $\Phi$ is relaxed. Our proofs rely on a combination of coupling methods, monotonicity properties of linear Hawkes processes and classical results on Palm distributions. An investigation of the Hawkes process starting from the null measure, the empty state, on $\R_-$ plays also an important role. The linear case of Hawkes and Oakes is revisited at this occasion. If the memory function $h$ is an exponential function, under a weak condition it is shown that there exists a unique stationary Hawkes point process. In this case, its Palm measure is expressed in terms of the invariant distribution of a one-dimensional Harris ergodic Markov chain. When the activation function is a polynomial $\Phi$ with degree ${>}1$, there does not exist a stationary Hawkes process and if the Hawkes process starts from the empty state, a scaling result for the accumulation of its points is obtained.


title: The Death of the Short-Form Physics Essay in the Coming AI Revolution

abstract: The latest AI language modules can produce original, high quality full short-form ($300$-word) Physics essays within seconds. These technologies such as ChatGPT and davinci-003 are freely available to anyone with an internet connection. In this work, we present evidence of AI generated short-form essays achieving first-class grades on an essay writing assessment from an accredited, current university Physics module. The assessment requires students answer five open-ended questions with a short, $300$-word essay each. Fifty AI answers were generated to create ten submissions that were independently marked by five separate markers. The AI generated submissions achieved an average mark of $71 \pm 2 \%$, in strong agreement with the current module average of $71 \pm 5 %$. A typical AI submission would therefore most-likely be awarded a First Class, the highest classification available at UK universities. Plagiarism detection software returned a plagiarism score between $2 \pm 1$% (Grammarly) and $7 \pm 2$% (TurnitIn). We argue that these results indicate that current AI MLPs represent a significant threat to the fidelity of short-form essays as an assessment method in Physics courses.


title: Universal truth of operator statements via ideal membership

abstract: We introduce a framework for proving statements about linear operators by verification of ideal membership in a free algebra. More specifically, arbitrary first-order statements about identities of morphisms in preadditive semicategories can be treated. We present a semi-decision procedure for validity of such formulas based on computations with noncommutative polynomials. These algebraic computations automatically incorporate linearity and benefit from efficient ideal membership procedures. In the framework, domains and codomains of operators are modelled using many-sorted first-order logic. To eliminate quantifiers and function symbols from logical formulas, we apply Herbrand's theorem and Ackermann's reduction. The validity of the resulting formulas is shown to be equivalent to finitely many ideal memberships of noncommutative polynomials. We explain all relevant concepts and discuss computational aspects. Furthermore, we illustrate our framework by proving concrete operator statements assisted by our computer algebra software.


title: Grothendieck bound in a single quantum system

abstract: Grothendieck's bound is used in the context of a single quantum system, in contrast to previous work which used it for multipartite entangled systems and the violation of Bell-like inequalities. Roughly speaking the Grothendieck theorem considers a `classical' quadratic form ${\cal C}$ that uses complex numbers in the unit disc, and takes values less than $1$. It then proves that if the complex numbers are replaced with vectors in the unit ball of the Hilbert space, then the `quantum' quadratic form ${\cal Q}$ might take values greater than $1$, up to the complex Grothendieck constant $k_G$. The Grothendieck theorem is reformulated here in terms of arbitrary matrices (which are multiplied with appropriate normalisation prefactors), so that it is directly applicable to quantum quantities. The emphasis in the paper is in the `Grothendieck region' $(1,k_G)$, which is a classically forbidden region in the sense that ${\cal C}$ cannot take values in it. Necessary (but not sufficient) conditions for ${\cal Q}$ taking values in the Grothendieck region are given. Two examples that involve physical quantities in systems with $6$ and $12$-dimensional Hilbert space, are shown to lead to ${\cal Q}$ in the Grothendieck region $(1,k_G)$. They involve projectors of the overlaps of novel generalised coherent states that resolve the identity and have a discrete isotropy.


title: Spectral analysis of a family of nonsymmetric fractional elliptic operators

abstract: In this work, we investigate the spectral problem $Au = {\lambda}u$ where $A$ is a fractional elliptic operator involving left- and right-sided Riemann-Liouville derivatives. These operators are nonlocal and nonsymmetric, however, share certain classic elliptic properties. The eigenvalues correspond to the roots of a class of certain special functions. Compared with classic Sturm-Liouville problems, the most challenging part is to set up the framework for analyzing these nonlocal operators, which requires developing new tools. We prove the existence of the real eigenvalues, find the range for all possible complex eigenvalues, explore the graphs of eigenfunctions, and show numerical findings on the distribution of eigenvalues on the complex plane.


title: Metadynamics Surfing on Topology Barriers in the Schwinger Model

abstract: Topological freezing is a well known problem in lattice simulations: with shrinking lattice spacing a transition between topological sectors becomes increasingly improbable, leading to a problematic increase of the autocorrelation time regarding several observables. We present our investigation of metadynamics as a solution for topological freezing in the Schwinger model. Specifically, we take a closer look at the collective variable and its scaling behaviour, visualize the effects of topological freezing and how metadynamics helps in that respect and explore alternatives for a more efficient building process. Possible implications for and differences to four-dimensional SU(3) theory are briefly discussed.


title: Channel Simulation: Finite Blocklengths and Broadcast Channels

abstract: We study channel simulation under common randomness-assistance in the finite-blocklength regime and identify the smooth channel max-information as a linear program one-shot converse on the minimal simulation cost for fixed error tolerance. We show that this one-shot converse can be achieved exactly using no-signaling assisted codes, and approximately achieved using common randomness-assisted codes. Our one-shot converse thus takes on an analogous role to the celebrated meta-converse in the complementary problem of channel coding, and find tight relations between these two bounds. We asymptotically expand our bounds on the simulation cost for discrete memoryless channels, leading to the second-order as well as the moderate deviation rate expansion, which can be expressed in terms of the channel capacity and channel dispersion known from noisy channel coding. Our techniques extend to discrete memoryless broadcast channels. In stark contrast to the elusive broadcast channel capacity problem, we show that the reverse problem of broadcast channel simulation under common randomness-assistance allows for an efficiently computable single-letter characterization of the asymptotic rate region in terms of the broadcast channel's multi-partite mutual information. Finally, we present a Blahut-Arimoto type algorithm to compute the rate region efficiently.


title: On macroscopic residual QCD force of electrodynamics

abstract: We explore a connection between virtual particles of quantum electrodynamics and quantum chromodynamics (QCD) which is predicted to give rise to a residual attractive interaction measurable as a macroscopic force. We calculate the asymptotic behavior of relevant scattering amplitudes, perform their resummation, and analyze the sign of the resulting interaction. Then, we calculate the primary experimentally observable consequences of this Standard Model force. We discuss the impact of this force at terrestrial scales and at astrophysical scales. In particular, we quantify the impact of this force on the warm ionized medium present in galaxies and the intracluster medium present in cluster of galaxies.


title: Optimal Elastostatic Cloaks

abstract: An elastic cloak hides a hole or an inhomogeneity from elastic fields. In this paper, a formulation of the optimal design of elastic cloaks based on the adjoint state method, in which the balance of linear momentum is enforced as a constraint, is presented. The design parameters are the elastic moduli of the cloak, while the objective function is a measure of the distance between the solutions in the physical and in the virtual bodies. Both the elastic medium and the cloak are assumed to be made of isotropic linear elastic materials. In order to guarantee smooth inhomogeneous elastic moduli within the cloak a penalization term is added to the objective function. Mixed finite elements are used for discretizing the weak formulation of the optimization problem. Several numerical examples of optimal elastic cloaks designed for both single and multiple loads are presented. We consider different geometries and loading types and observe that in some cases the optimal elastic cloaks for cloaking holes (cavities) are made of auxetic materials.


title: Mathematicians and Ethical Engagement

abstract: Building on Chiodo and Bursill-Hall (2018), we outline that mathematicians can demonstrate what we term the "four levels of ethical engagement."


title: Evaluation for Change

abstract: Evaluation is the central means for assessing, understanding, and communicating about NLP models. In this position paper, we argue evaluation should be more than that: it is a force for driving change, carrying a sociological and political character beyond its technical dimensions. As a force, evaluation's power arises from its adoption: under our view, evaluation succeeds when it achieves the desired change in the field. Further, by framing evaluation as a force, we consider how it competes with other forces. Under our analysis, we conjecture that the current trajectory of NLP suggests evaluation's power is waning, in spite of its potential for realizing more pluralistic ambitions in the field. We conclude by discussing the legitimacy of this power, who acquires this power and how it distributes. Ultimately, we hope the research community will more aggressively harness evaluation for change.


title: Set-Transformer BeamsNet for AUV Velocity Forecasting in Complete DVL Outage Scenarios

abstract: Autonomous underwater vehicles (AUVs) are regularly used for deep ocean applications. Commonly, the autonomous navigation task is carried out by a fusion between two sensors: the inertial navigation system and the Doppler velocity log (DVL). The DVL operates by transmitting four acoustic beams to the sea floor, and once reflected back, the AUV velocity vector can be estimated. However, in real-life scenarios, such as an uneven seabed, sea creatures blocking the DVL's view and, roll/pitch maneuvers, the acoustic beams' reflection is resulting in a scenario known as DVL outage. Consequently, a velocity update is not available to bind the inertial solution drift. To cope with such situations, in this paper, we leverage our BeamsNet framework and propose a Set-Transformer-based BeamsNet (ST-BeamsNet) that utilizes inertial data readings and previous DVL velocity measurements to regress the current AUV velocity in case of a complete DVL outage. The proposed approach was evaluated using data from experiments held in the Mediterranean Sea with the Snapir AUV and was compared to a moving average (MA) estimator. Our ST-BeamsNet estimated the AUV velocity vector with an 8.547% speed error, which is 26% better than the MA approach.


title: Trustworthy Social Bias Measurement

abstract: How do we design measures of social bias that we trust? While prior work has introduced several measures, no measure has gained widespread trust: instead, mounting evidence argues we should distrust these measures. In this work, we design bias measures that warrant trust based on the cross-disciplinary theory of measurement modeling. To combat the frequently fuzzy treatment of social bias in NLP, we explicitly define social bias, grounded in principles drawn from social science research. We operationalize our definition by proposing a general bias measurement framework DivDist, which we use to instantiate 5 concrete bias measures. To validate our measures, we propose a rigorous testing protocol with 8 testing criteria (e.g. predictive validity: do measures predict biases in US employment?). Through our testing, we demonstrate considerable evidence to trust our measures, showing they overcome conceptual, technical, and empirical deficiencies present in prior measures.


title: Questions of Responsibility: Modelling in the Age of COVID-19

abstract: When conducting COVID-19-related research, mathematicians may find themselves in public service roles. They might engage in policy discussions, collaborate with politicians and other non-scientists, and use the predictive power of mathematics to shape substantial decisions. We aim to promote good practice for ethical mathematical modelling in these difficult times. We begin with some observations about mathematical modellers, then derive eight questions that all mathematicians should constantly ask themselves, in order to develop their mathematics responsibly and ethically.


title: Multi muon/anti-muon signals via productions of gauge and scalar bosons in a $U(1)_{L_\mu-L_\tau}$ model at muonic colliders

abstract: We discuss the discovery potential of a promising signals, $3 \times \mu^+ \mu^-$ at a $\mu^+ \mu^-$ collider and $\mu^+ \mu^+ \mu^+ \mu^+ \mu^- \mu^- $ at a $\mu^+ \mu^+$ collider, that are obtained via production of $Z'$ and a new scalar boson $\phi$ in a spontaneously broken local $U(1)_{L_\mu - L_\tau}$ model. We consider the $Z'$ associated production from the process $\mu^+ \mu^- \to \phi Z'$ in addition to a muonphilic $Z'$ fusion process $\mu^+ \mu^\pm \to \phi \mu^+ \mu^\pm$. The scalar boson is associated with $U(1)_{L_\mu - L_\tau}$ symmetry breaking and dominantly decays into $Z' Z'$ mode. We carry out numerical simulation analysis for signal and background processes to estimate a discovery significance for different benchmark points. It is shown that our signal can be observed with integrated luminosity less than $\mathcal{O}(100)$ fb$^{-1}$ for both $\mu^+ \mu^-$ and $\mu^+ \mu^+$ colliders with more than 5-$\sigma$ significance.


title: The Gaia AVU-GSR parallel solver: preliminary studies of a LSQR-based application in perspective of exascale systems

abstract: The Gaia Astrometric Verification Unit-Global Sphere Reconstruction (AVU-GSR) Parallel Solver aims to find the astrometric parameters for $\sim$10$^8$ stars in the Milky Way, the attitude and the instrumental specifications of the Gaia satellite, and the global parameter $\gamma$ of the post Newtonian formalism. The code iteratively solves a system of linear equations, $\mathbf{A} \times \vec{x} = \vec{b}$, where the coefficient matrix $\mathbf{A}$ is large ($\sim$$10^{11} \times 10^8$ elements) and sparse. To solve this system of equations, the code exploits a hybrid implementation of the iterative PC-LSQR algorithm, where the computation related to different horizontal portions of the coefficient matrix is assigned to separate MPI processes. In the original code, each matrix portion is further parallelized over the OpenMP threads. To further improve the code performance, we ported the application to the GPU, replacing the OpenMP parallelization language with OpenACC. In this port, $\sim$95% of the data is copied from the host to the device at the beginning of the entire cycle of iterations, making the code $compute$ $bound$ rather than $data$$-$$transfer$ $bound$. The OpenACC code presents a speedup of $\sim$1.5 over the OpenMP version but further optimizations are in progress to obtain higher gains. The code runs on multiple GPUs and it was tested on the CINECA supercomputer Marconi100, in anticipation of a port to the pre-exascale system Leonardo, that will be installed at CINECA in 2022.


title: Weighted projections of alternating sign matrices: Latin-like squares and the ASM polytope

abstract: The weighted projection of an alternating sign matrix (ASM) was introduced by Brualdi and Dahl (2018) as a step towards characterising a generalisation of Latin squares they introduced using alternating sign hypermatrices. If $z_n = (n,\dots,2,1)$, then the weighted projection of an ASM $A$ is equal to $z_n^TA$. Brualdi and Dahl proved that the weighted projection of an $n \times n$ ASM is majorized by the vector $z_n$, and conjectured that any positive integer vector majorized by $z_n$ is the weighted projection of some ASM. The main result of this paper presents a proof of this conjecture, via monotone triangles. A relaxation of a monotone triangle, called a row-increasing triangle, is introduced. It is shown that for any row-increasing triangle $T$, there exists a monotone triangle $M$ such that each entry of $M$ occurs the same number of times as in $T$. A construction is also outlined for an ASM with given weighted projection. The relationship of the main result to existing results concerning the ASM polytope $ASM_n$ is examined, and a characterisation is given for the relationship between elements of $ASM_n$ corresponding to the same point in the permutohedron of order $n$. Finally, the limitations of the main result for characterising alternating sign hypermatrix Latin-like squares is considered.


title: DuAT: Dual-Aggregation Transformer Network for Medical Image Segmentation

abstract: Transformer-based models have been widely demonstrated to be successful in computer vision tasks by modelling long-range dependencies and capturing global representations. However, they are often dominated by features of large patterns leading to the loss of local details (e.g., boundaries and small objects), which are critical in medical image segmentation. To alleviate this problem, we propose a Dual-Aggregation Transformer Network called DuAT, which is characterized by two innovative designs, namely, the Global-to-Local Spatial Aggregation (GLSA) and Selective Boundary Aggregation (SBA) modules. The GLSA has the ability to aggregate and represent both global and local spatial features, which are beneficial for locating large and small objects, respectively. The SBA module is used to aggregate the boundary characteristic from low-level features and semantic information from high-level features for better preserving boundary details and locating the re-calibration objects. Extensive experiments in six benchmark datasets demonstrate that our proposed model outperforms state-of-the-art methods in the segmentation of skin lesion images, and polyps in colonoscopy images. In addition, our approach is more robust than existing methods in various challenging situations such as small object segmentation and ambiguous object boundaries.


title: Nanostructuring Strategies for Silicon-based Anodes in Lithium-ion Batteries: Tuning Areal Silicon Loading, SEI Formation/Irreversible Capacity Loss, Rate Capability Retention and Electrode Durability

abstract: Silicon is one of the most promising anode materials for Lithium-ion batteries. Silicon endures volume changes upon cycling, which leads to subsequent pulverization and capacity fading. These drawbacks lead to a poor lifespan and hamper the commercialization of silicon anodes. In this work, a hybrid nanostructured anode based on silicon nanoparticles (SiNPs) anchored on vertically aligned carbon nanotubes (VACNTs) with defined spacing to accommodate volumetric changes is synthesized on commercial macroscopic current collector. Achieving electrodes with good stability and excellent electrochemical properties remain a challenge. Therefore, we herein tune the active silicon areal loading either through the modulation of the SiNPs volume by changing the silicon deposition time at a fixed VACNTs carpet length or through the variation of the VACNT length at a fixed SiNPs volume. The low areal loading of SiNPs improves capacity stability during cycling but triggers large irreversible capacity losses due to the formation of the solid electrolyte interphase (SEI) layer. By contrast, higher areal loading electrode reduces the quantity of the SEI formed, but negatively impacts the capacity stability of the electrode during the subsequent cycles. A higher gravimetric capacity and higher areal loading mass of silicon is achieved via an increase of VACNTs carpet length without compromising cycling stability. This hybrid nanostructured electrode shows an excellent stability with reversible capacity of 1330 mAh g-1 after 2000 cycles.


title: Some reflections on the test-negative design

abstract: We discuss some philosophical, methodological and practical problems concerning the use of the test-negative design for COVID-19 vaccines. These problems limit the use of this design considerably.


title: Smooth Sailing: Improving Active Learning for Pre-trained Language Models with Representation Smoothness Analysis

abstract: Developed to alleviate prohibitive labeling costs, active learning (AL) methods aim to reduce label complexity in supervised learning. While recent work has demonstrated the benefit of using AL in combination with large pre-trained language models (PLMs), it has often overlooked the practical challenges that hinder the effectiveness of AL. We address these challenges by leveraging representation smoothness analysis to ensure AL is feasible, that is, both effective and practicable. Firstly, we propose an early stopping technique that does not require a validation set -- often unavailable in realistic AL conditions -- and observe significant improvements over random sampling across multiple datasets and AL methods. Further, we find that task adaptation improves AL, whereas standard short fine-tuning in AL does not provide improvements over random sampling. Our work demonstrates the usefulness of representation smoothness analysis for AL and introduces an AL stopping criterion that reduces label complexity.


title: Variational Quantum Soft Actor-Critic for Robotic Arm Control

abstract: Deep Reinforcement Learning is emerging as a promising approach for the continuous control task of robotic arm movement. However, the challenges of learning robust and versatile control capabilities are still far from being resolved for real-world applications, mainly because of two common issues of this learning paradigm: the exploration strategy and the slow learning speed, sometimes known as "the curse of dimensionality". This work aims at exploring and assessing the advantages of the application of Quantum Computing to one of the state-of-art Reinforcement Learning techniques for continuous control - namely Soft Actor-Critic. Specifically, the performance of a Variational Quantum Soft Actor-Critic on the movement of a virtual robotic arm has been investigated by means of digital simulations of quantum circuits. A quantum advantage over the classical algorithm has been found in terms of a significant decrease in the amount of required parameters for satisfactory model training, paving the way for further promising developments.


title: Exploring Student Engagement and Outcomes: Experiences from Three Cycles of an Undergraduate Module

abstract: Many studies in educational data mining address specific learner groups, such as first-in-family to attend Higher Education, or focus on differences in characteristics such as gender or ethnicity, with the aim of predicting performance and designing interventions to improve outcomes. For Higher Education, this is reflected in significant interest in institutional-level analysis of student cohorts and in tools being promoted to Higher Education Institutions to support collection, integration and analysis of data. For those leading modules/units on degree programmes, however, the reality can be far removed from the seemingly well-supported and increasingly sophisticated approaches advocated in centrally-led data analysis. Module leaders often find themselves working with a number of student-data systems that are not integrated, may contain conflicting data and where significant effort is required to extract, clean and meaningfully analyse the data. This paper suggests that important lessons may be learned from experiences at module level in this context and from subsequent analysis of related data collected across multiple years. The changes made each year are described and a range of data analysis methods are applied, post hoc, to identify findings in relation to the four areas of focus. The key findings are that non-engagement with the Virtual Learning Environment in the first three weeks was the strongest predictor of failure and that early engagement correlated most strongly with final grade. General recommendations are drawn from the findings which should be valuable to module leaders in environments where access to integrated, up-to-date student information remains a day-to-day challenge, and insights will be presented into how such bottom-up activities might inform institutional/top-down planning in the use of relevant technologies.


title: Extraction of spin-averaged rovibrational transition frequencies in HD$^+$ for the determination of fundamental constants

abstract: We present a comprehensive analysis of all currently available high-accuracy frequency measurements of rotational and rovibrational transitions in the hydrogen molecular ion HD$^+$. Our analysis utilises the theoretically calculated hyperfine structure to extract the values of three spin-averaged transition frequencies through a global linear least-squares adjustment that takes into account theory-induced correlations between the different transitions. We subsequently use the three spin-averaged transition frequencies as input data in a second adjustment which employs precise theoretical expressions for the transition frequencies, written as a function of the proton, deuteron and electron relative atomic masses, the Rydberg constant, and the proton and deuteron charge radii. Our analysis shows that the HD$^+$ data may significantly improve the value of the electron relative atomic mass and the proton-electron mass ratio, in particular if combined with recent high-precision measurements of particle atomic masses and mass ratios obtained from Penning traps.


title: Scene-aware Egocentric 3D Human Pose Estimation

abstract: Egocentric 3D human pose estimation with a single head-mounted fisheye camera has recently attracted attention due to its numerous applications in virtual and augmented reality. Existing methods still struggle in challenging poses where the human body is highly occluded or is closely interacting with the scene. To address this issue, we propose a scene-aware egocentric pose estimation method that guides the prediction of the egocentric pose with scene constraints. To this end, we propose an egocentric depth estimation network to predict the scene depth map from a wide-view egocentric fisheye camera while mitigating the occlusion of the human body with a depth-inpainting network. Next, we propose a scene-aware pose estimation network that projects the 2D image features and estimated depth map of the scene into a voxel space and regresses the 3D pose with a V2V network. The voxel-based feature representation provides the direct geometric connection between 2D image features and scene geometry, and further facilitates the V2V network to constrain the predicted pose based on the estimated scene geometry. To enable the training of the aforementioned networks, we also generated a synthetic dataset, called EgoGTA, and an in-the-wild dataset based on EgoPW, called EgoPW-Scene. The experimental results of our new evaluation sequences show that the predicted 3D egocentric poses are accurate and physically plausible in terms of human-scene interaction, demonstrating that our method outperforms the state-of-the-art methods both quantitatively and qualitatively.


title: Text Generation with Diffusion Language Models: A Pre-training Approach with Continuous Paragraph Denoise

abstract: In this paper, we introduce a novel dIffusion language modEl pre-training framework for text generation, which we call GENIE. GENIE is a large-scale pretrained diffusion language model that consists of an encoder and a diffusion-based decoder, which can generate text by gradually transforming a random noise sequence into a coherent text sequence. To pre-train GENIE on a large-scale language corpus, we design a new continuous paragraph denoise objective, which encourages the diffusion-decoder to reconstruct a clean text paragraph from a corrupted version, while preserving the semantic and syntactic coherence. We evaluate GENIE on four downstream text generation benchmarks, namely XSum, CNN/DailyMail, Gigaword, and CommonGen. Our experimental results show that GENIE achieves comparable performance with the state-of-the-art autoregressive models on these benchmarks, and generates more diverse text samples. The code and models of GENIE are available at https://github.com/microsoft/ProphetNet/tree/master/GENIE.


title: The spin Hall effect

abstract: In metallic systems with spin-orbit coupling a longitudinal charge current may generate a transverse pure spin current; vice-versa an injected pure spin current may result in a transverse charge current. Such direct and inverse spin Hall effects share the same microscopic origin: intrinsic band/device structure properties, external factors such as impurities, or a combination of both. They allow all-electrical manipulation of the electronic spin degrees of freedom,i.e. without magnetic elements, and their transverse nature makes them potentially dissipationless. It is customary to talk of spin Hall effects in plural form, referring to a group of related phenomena typical of spin-orbit coupled systems of lowered symmetry.


title: Role of predator-prey reversal in Rock-Paper-Scissors models

abstract: In this letter we consider a single parameter generalization of the standard three species Rock-Paper-Scissors (RPS) model allowing for predator-prey reversal. This model, which shall be referred to as $\kappa$RPS model, incorporates bidirectional predator-prey interactions between all the species in addition to the unidirectional predator-prey interactions of the standard RPS model. We study the dynamics of a May-Leonard formulation of the $\kappa$RPS model using lattice based spatial stochastic simulations with random initial conditions. We find that if the simulation lattices are sufficiently large for the coexistence of all three species to be maintained, the model asymptotically leads to the formation of spiral patterns whose evolution is qualitatively similar to that of the standard RPS model, albeit with larger characteristic length and time scales. We show that there are in general two distinct scaling regimes: one transient curvature dominated regime in which the characteristic length of the population network grows with time and another where it becomes a constant. We also estimate the dependence of the asymptotic value of the characteristic length of the population network on the likelihood of predator-prey reversal and show that if the simulation lattices are not sufficiently large then predator-prey reversal can have a significant negative impact on coexistence. Finally, we interpret these results by considering the much simpler dynamics of circular domains.


title: Some new observations for the Georgi-Machacek scenario with triplet Higgs

abstract: The Georgi-Machacek model, introducing a complex and a real scalar triplet as additional components of the electroweak symmetry breaking sector, enables substantial triplet contributions to the weak gauge boson masses, subject to the equality of the complex and the real triplet vacuum expectation values (vev) via a custodial SU(2) symmetry. We present an updated set of constraints on this scenario, from collider data (including those from 137/139~fb$^{-1}$ of luminosity at the Large Hadron Collider), available data on the 125-GeV scalar, indirect limits and also theoretical restrictions from vacuum stability and unitarity. It is found that some bounds get relaxed, and the phenomenological potential of the scenario is more diverse, if the doubly charged scalar in the spectrum can decay not only into two like-sign $W$'s but also into one or two singly charged scalars. Other interesting features are noticed in a general approach, such as substantial $\gamma\gamma$ and $Z\gamma$ branching ratios of the additional custodial singlet scalar, and appreciable strength of the trilinear interaction of a charged scalar, the $W$ and the $Z$. Finally,, we take into account the possibility of custodial SU(2) breaking, resulting in inequality of the real and the complex scalar vevs which too in principle may allow large triplet contribution to weak boson masses. Illustrative numerical results on the modified limits and predictions are presented, once more taking into account all the constraints mentioned above.


title: The floor quotient partial order

abstract: A positive integer $d$ is a floor quotient of $n$ if there is a positive integer $k$ such that $d = \lfloor n/k \rfloor$. The floor quotient relation defines a partial order on the positive integers. This paper studies the internal structure of this partial order and its M\"{o}bius function.


title: Geometric genuine multipartite entanglement for four-qubit systems

abstract: Xie and Eberly introduced a genuine multipartite entanglement (GME) measure `concurrence fill'(\textit{Phys. Rev. Lett., \textbf{127}, 040403} (2021)) for three-party systems. It is defined as the area of a triangle whose side lengths represent squared concurrence in each bi-partition. However, it has been recently shown that concurrence fill is not monotonic under LOCC, hence not a faithful measure of entanglement. Though it is not a faithful entanglement measure, it encapsulates an elegant geometric interpretation of bipartite squared concurrences. There have been a few attempts to generalize GME measure to four-party settings and beyond. However, some of them are not faithful, and others simply lack an elegant geometric interpretation. The recent proposal from Xie et al. constructs a concurrence tetrahedron, whose volume gives the amount of GME for four-party systems; with generalization to more than four parties being the hypervolume of the simplex structure in that dimension. Here, we show by construction that to capture all aspects of multipartite entanglement, one does not need a more complex structure, and the four-party entanglement can be demonstrated using \textit{2D geometry only}. The subadditivity together with the Araki-Lieb inequality of linear entropy is used to construct a direct extension of the geometric GME to four-party systems resulting in quadrilateral geometry. Our measure can be geometrically interpreted as a combination of three quadrilaterals whose sides result from the concurrence in one-to-three bi-partition, and diagonal as concurrence in two-to-two bipartition.


title: Resolving spin currents and spin densities generated by charge-spin interconversion in systems with reduced crystal symmetry

abstract: The ability to control the generation of spins in arbitrary directions is a long-sought goal in spintronics. Charge-to-spin interconversion (CSI) phenomena depend strongly on symmetry. Systems with reduced crystal symmetry allow anisotropic CSI with unconventional components, where charge and spin currents and the spin polarization are not mutually perpendicular to each other. Here, we demonstrate experimentally that the CSI in graphene-WTe2 induces spins with components in all three spatial directions. By performing multi-terminal nonlocal spin precession experiments, with specific magnetic field orientations, we discuss how to disentangle the CSI from the spin Hall and inverse spin galvanic effects.


title: Morpheus: An A-sized AUV with morphing fins and algorithms for agile maneuvering

abstract: We designed and constructed an A-sized base autonomous underwater vehicle (AUV), augmented with a stack of modular and extendable hardware and software, including autonomy, navigation, control and high fidelity simulation capabilities (A-size stands for the standard sonobuoy form factor, with a maximum diameter of 124 mm). Subsequently, we extended this base vehicle with a novel tuna-inspired morphing fin payload module (referred to as the Morpheus AUV), to achieve good directional stability and exceptional maneuverability; properties that are highly desirable for rigid hull AUVs, but are presently difficult to achieve because they impose contradictory requirements. The morphing fin payload allows the base AUV to dynamically change its stability-maneuverability qualities by using morphing fins, which can be deployed, deflected and retracted, as needed. The base vehicle and Morpheus AUV were both extensively field tested in-water in the Charles river, Massachusetts, USA; by conducting hundreds of hours of operations over a period of two years. The maneuvering capability of the Morpheus AUV was evaluated with and without the use of morphing fins to quantify the performance improvement. The Morpheus AUV was able to showcase an exceptional turning rate of around 25-35 deg/s. A maximum turn rate improvement of around 35% - 50% was gained through the use of morphing fins.


title: Fibred sites and existential toposes

abstract: In the context of relative topos theory via stacks, we introduce the notion of existential fibred site and of existential topos of such a site. These notions allow us to develop relative topos theory in a way which naturally generalizes the construction of toposes of sheaves on locales, and also provides a framework for investigating the connections between Grothendieck toposes as built from sites and elementary toposes as built from triposes. Then we focus on fibred preorder sites and establish a fibred generalisation of the ideal-completion of a preorder site. Lastly, we provide an explicit description of the hyperconnected-localic factorization of a geometric morphism in terms of internal locales.