title: Spectral asymptotics for two-dimensional Dirac operators in thin waveguides

abstract: We consider the two-dimensional Dirac operator with infinite mass boundary conditions posed in a tubular neighborhood of a $C^4$-planar curve. Under generic assumptions on its curvature $\kappa$, we prove that in the thin-width regime the splitting of the eigenvalues is driven by the one dimensional Schr\"odinger operator on $L^2(\mathbb R)$ \[ \mathcal{L}_e := -\frac{d^2}{ds^2} - \frac{\kappa^2}{\pi^2} \] with a geometrically induced potential. The eigenvalues are shown to be at distance of order $\varepsilon$ from the essential spectrum, where $2\varepsilon$ is the width of the waveguide. This is in contrast with the non-relativistic counterpart of this model, for which they are known to be at a finite distance.

categories: math.SP math-ph math.AP math.MP quant-ph


title: Notes on Boolean Read-k and Multilinear Circuits

abstract: A monotone Boolean (OR,AND) circuit computing a monotone Boolean function f is a read-k circuit if the polynomial produced (purely syntactically) by the arithmetic (+,x) version of the circuit has the property that for every prime implicant of f, the polynomial contains at least one monomial with the same set of variables, each appearing with degree at most k. Every monotone circuit is a read-k circuit for some k. We show that already read-1 (OR,AND) circuits are not weaker than monotone arithmetic constant-free (+,x) circuits computing multilinear polynomials, are not weaker than non-monotone multilinear (OR,AND,NOT) circuits computing monotone Boolean functions, and have the same power as tropical (min,+) circuits solving combinatorial minimization problems. Finally, we show that read-2 (OR,AND) circuits can be exponentially smaller than read-1 (OR,AND) circuits.


title: Quantum noise may limit the mechanosensory sensitivity of cilia in the left-right organizer of the vertebrate bodyplan

abstract: Could nature be harnessing quantum mechanics in cilia to optimize the sensitivity of the mechanism of left-right symmetry breaking during development in vertebrates? I evaluate whether mechanosensing -- i.e., the detection of a left-right asymmetric signal through mechanical stimulation of sensory cilia, as opposed to biochemical signalling -- might be functioning in the embryonic left-right organizer of the vertebrate bodyplan through quantum mechanics. I conclude that there is a possible role for quantum biology in mechanosensing in cilia. The system may not be limited by classical thermal noise, but instead by quantum noise, with an amplification process providing active cooling.


title: Rota-Baxter Lie bialgebras, classical Yang-Baxter equations and special L-dendriform bialgebras

abstract: We establish a bialgebra structure on Rota-Baxter Lie algebras following the Manin triple approach to Lie bialgebras. Explicitly, Rota-Baxter Lie bialgebras are characterized by generalizing matched pairs of Lie algebras and Manin triples of Lie algebras to the context of Rota-Baxter Lie algebras. The coboundary case leads to the introduction of the admissible classical Yang-Baxter equation (CYBE) in Rota-Baxter Lie algebras, for which the antisymmetric solutions give rise to Rota-Baxter Lie bialgebras. The notions of $\mathcal{O}$-operators on Rota-Baxter Lie algebras and Rota-Baxter pre-Lie algebras are introduced to produce antisymmetric solutions of the admissible CYBE. Furthermore, extending the well-known property that a Rota-Baxter Lie algebra of weight zero induces a pre-Lie algebra, the Rota-Baxter Lie bialgebra of weight zero induces a bialgebra structure of independent interest, namely the special L-dendriform bialgebra, which is equivalent to a Lie group with a left-invariant flat pseudo-metric in geometry. This induction is also characterized as the inductions between the corresponding Manin triples and matched pairs. Finally, antisymmetric solutions of the admissible CYBE in a Rota-Baxter Lie algebra of weight zero give special L-dendriform bialgebras. In particular, both Rota-Baxter algebras of weight zero and Rota-Baxter pre-Lie algebras of weight zero can be used to construct special L-dendriform algebras.


title: Stability and instability of strange dwarfs

abstract: More than 20 years ago, Glendenning, Kettner and Weber proposed the existence of stable white dwarfs with a core of strange quark matter. More recently, by studying radial modes, Alford, Harris and Sachdeva concluded instead that those objects are unstable. We aim to clarify this issue. We investigate the stability of these objects by looking at their radial oscillations while incorporating boundary conditions at the quark-hadron interface, corresponding to either a rapid or a slow conversion of hadrons into quarks. Our analysis shows that objects of this type are stable if the star is not strongly perturbed, and ordinary matter cannot transform into strange quark matter because of the Coulomb barrier separating the two components. On the other hand, ordinary matter can be transformed into strange quark matter if the star undergoes a violent process, as in the preliminary stages of a type Ia supernova, and this causes the system to become unstable and to collapse into a strange quark star. In this way, accretion-induced collapse of strange dwarfs can be facilitated, and km-sized objects with subsolar masses can be produced.


title: Calorons and constituent monopoles

abstract: We study anti-self-dual Yang-Mills instantons on $\mathbb{R}^{3}\times S^{1}$, also known as calorons, and their behaviour under collapse of the circle factor. In this limit, we make explicit the decomposition of calorons in terms of constituent pieces which are essentially charge $1$ monopoles. We give a gluing construction of calorons in terms of the constituents and use it to compute the dimension of the moduli space. The construction works uniformly for structure group an arbitrary compact semi-simple Lie group.


title: Further Counterexamples to Zarhin's conjecture about micro weights

abstract: We present two new families of Abelian varieties which contradict Zarhin's conjecture about micro weights in positive characteristics. For each of these examples we determine the dimension and the Newton slopes of the ghost Abelian variety in the sense of Cadoret and Tamagawa.


title: The Origin and Distance of the High-Velocity Cloud MI

abstract: The high-velocity, neutral hydrogen feature known as MI may be the result of a supernova that took place about 100,000 years ago at a distance of 163 pc. Low-velocity HI data show a clear cavity, a structure indicative of regions evacuated by old exploding stars, centered on the spatial coordinates of MI, (l,b) = (165o, 65.o5). The invisible companion of the yellow giant star, 56 Ursae Majoris, may be the remains of the supernova that evacuated the cavity and blasted MI itself outward at 120 km/s. The mass and energy of MI are easily in line with what is expected from a supernova. The X-rays seen by ROSAT are consistent with an origin in the resulting bow shock. Ironically, this scenario for MI only came together because we were exploring low-velocity gas in the direction of high-velocity clouds.


title: Shortest polygonal chains covering each planar square grid

abstract: Given any $n \in \mathbb{Z}^{+}$, we constructively prove the existence of covering paths and circuits in the plane which are characterized by the same link length of the minimum-link covering trails for the two-dimensional grid $G_n^2 := \{0,1, \ldots, n-1\} \times \{0, 1, \ldots, n-1\}$. Furthermore, we introduce a general algorithm that returns a covering cycle of analogous link length for any even value of $n$. Finally, we provide the tight upper bound $n^2 - 3 + 5 \cdot \sqrt{2}$ units for the minimum total distance travelled to visit all the nodes of $G_n^2$ with a minimum-link trail (i.e., a trail with $2 \cdot n - 2$ edges if $n$ is above two).


title: Summing Sneddon-Bessel series explicitly

abstract: We sum in a close form the Sneddon-Bessel series \[ \sum_{m=1}^\infty \frac{J_\alpha(x j_{m,\nu})J_\beta(y j_{m,\nu})} {j_{m,\nu}^{2n+\alpha+\beta-2\nu+2} J_{\nu+1}(j_{m,\nu})^2}, \] where $0<x$, $0<y$, $x+y<2$, $n$ is an integer, $\alpha,\beta,\nu\in \mathbb{C}\setminus \{-1,-2,\dots \}$ with $2\operatorname{Re} \nu < 2n+1 + \operatorname{Re} \alpha + \operatorname{Re} \beta$ and $\{j_{m,\nu}\}_{m\geq 0}$ are the zeros of the Bessel function $J_\nu$ of order $\nu$. As an application we prove some extensions of the Kneser-Sommerfeld expansion.


title: Multiplicative automorphisms of certain fields

abstract: This paper studies the structure of multiplicative automorphisms of fields. Our focus centers on providing explicit and complete descriptions of these automorphisms for the real field, complex field, and finite field. We provide a comprehensive examination of the group structure inherent to these automorphism groups and certain essential subgroups.


title: Tachyon condensation in a chromomagnetic background field and the groundstate of QCD

abstract: I consider the chromomagnetic vacuum in SU(2). The effective Lagrangian in one loop approximation is known to have a minimum below zero which results in a spontaneously generated magnetic field. However, this minimum is not stable; the effective action has an imaginary part. Over the past decades, there were many attempts to handle this situation which all were at some point unsatisfactory. I propose an idea for a new solution by assuming that the tachyonic mode, at low temperature, acquires a condensate and, as a result, undergoes a phase transition like in the Higgs model. I consider the approximation where all gluon modes are dropped except for the tachyonic one. For this mode, we have a O(2)-model with quartic self-interaction in two dimensions. I apply the CJT (2PI) formalism in the Hartree approximation. As a result, at zero and low temperatures, a minimum of the effective action at a certain value of the condensate and of the background fields is observed and there is no imaginary part. Raising the temperature, this minimum becomes shallower and at a critical temperature, the perturbative state becomes that with lower effective potential; the symmetry is restored. The physical interpretation says that the unstable mode creates tachyons until these come into equilibrium with their repulsive self-interaction and form a condensate. The relation to the Mermin-Wagner theorem is discussed. }


title: On the robustness of solitons crystals in the Skyrme model

abstract: In this work we analize how the inclusion of extra mesonic degrees of freedom affect the finite density solitons crystals of the Skyrme model. In particular, the first analytic examples of hadronic crystals at finite baryon density in both the Skyrme $\omega$-mesons model as well as for the Skyrme $\rho$-mesons theory are constructed. These configurations have arbitrary topological charge and describe crystals of baryonic tubes surrounded by a cloud of vector-mesons. In the $\omega$-mesons case, it is possible to reduce consistently the complete set of seven coupled non-linear field equations to just two integrable differential equations; one ODE for the Skyrmion profile and one PDE for the $\omega$-mesons field. This analytical construction allows to show explicitly how the inclusion of $\omega$-mesons in the Skyrme model reduces the repulsive interaction energy between baryons. In the Skyrme $\rho$-mesons case, it is possible to construct analytical solutions using a meron-type ansatz and fixing one of the couplings of the $\rho$-mesons action in terms of the others. We show that, quite remarkably, the values obtained for the coupling constants by requiring the consistency of our ansatz are very close to the values used in the literature to reduce nuclei binding energies of the Skyrme model without vector-mesons. Moreover, our analytical results are in qualitative agreement with the available results on the nuclear spaghetti phase.


title: The Impact of Feature Quantity on Recommendation Algorithm Performance: A Movielens-100K Case Study

abstract: Recent model-based Recommender Systems (RecSys) algorithms emphasize on the use of features, also called side information, in their design similar to algorithms in Machine Learning (ML). In contrast, some of the most popular and traditional algorithms for RecSys solely focus on a given user-item-rating relation without including side information. The goal of this case study is to provide a performance comparison and assessment of RecSys and ML algorithms when side information is included. We chose the Movielens-100K data set since it is a standard for comparing RecSys algorithms. We compared six different feature sets with varying quantities of features which were generated from the baseline data and evaluated on a total of 19 RecSys algorithms, baseline ML algorithms, Automated Machine Learning (AutoML) pipelines, and state-of-the-art RecSys algorithms that incorporate side information. The results show that additional features benefit all algorithms we evaluated. However, the correlation between feature quantity and performance is not monotonous for AutoML and RecSys. In these categories, an analysis of feature importance revealed that the quality of features matters more than quantity. Throughout our experiments, the average performance on the feature set with the lowest number of features is about 6% worse compared to that with the highest in terms of the Root Mean Squared Error. An interesting observation is that AutoML outperforms matrix factorization-based RecSys algorithms when additional features are used. Almost all algorithms that can include side information have higher performance when using the highest quantity of features. In the other cases, the performance difference is negligible (<1%). The results show a clear positive trend for the effect of feature quantity as well as the important effects of feature quality on the evaluated algorithms.


title: Learning High Dimensional Demonstrations Using Laplacian Eigenmaps

abstract: This article proposes a novel methodology to learn a stable robot control law driven by dynamical systems. The methodology requires a single demonstration and can deduce a stable dynamics in arbitrary high dimensions. The method relies on the idea that there exists a latent space in which the nonlinear dynamics appears quasi linear. The original nonlinear dynamics is mapped into a stable linear DS, by leveraging on the properties of graph embeddings. We show that the eigendecomposition of the Graph Laplacian results in linear embeddings in two dimensions and quasi-linear in higher dimensions. The nonlinear terms vanish, exponentially as the number of datapoints increase, and for large density of points, the embedding appears linear. We show that this new embedding enables to model highly nonlinear dynamics in high dimension and overcomes alternative techniques in both precision of reconstruction and number of parameters required for the embedding. We demonstrate its applicability to control real robot tasked to perform complex free motion in space.


title: Non-Hermitian Hartman effect

abstract: The Hartman effect refers to the rather paradoxical result that the time spent by a quantum mechanical particle or a photon to tunnel through an opaque potential barrier becomes independent of barrier width for long barriers. Such an effect, which has been observed in different physical settings, raised a lively debate and some controversies, owing to the correct definition and interpretation of tunneling times and the apparent superluminal transmission. A rather open question is whether (and under which conditions) the Hartman effect persists for inelastic scattering, i.e. when the potential becomes non-Hermitian and the scattering matrix is not unitary. Here we consider tunneling through a heterojunction barrier in the tight-binding picture, where the barrier consists of a generally non-Hermitian finite-sized lattice attached to two semi-infinite nearest-neighbor Hermitian lattice leads. We derive a simple and general condition for the persistence of the Hartman effect in non-Hermitian barriers, showing that it can be found rather generally when non-Hermiticity arises from non-reciprocal couplings, i.e. when the barrier displays the non-Hermitian skin effect, without any special symmetry in the system.


title: Development of Massively Parallel Near Peak Performance Solvers for Three-Dimensional Geodynamic Modelling

abstract: We address in this thesis the current need to design new parallel algorithms and tools that ease the development of geodynamic modelling applications that are suited for today's and tomorrow's hardware. We present (1) the MATLAB HPC compiler HPC.m, which greatly simplifies the building of parallel high performance applications and (2) parallel algorithms for the 3D simulation of strongly nonlinear processes as mechanical and reactive porosity waves. To simulate mechanical porosity waves we employ a massively parallel algorithm that permits to resolve the deformation of fluid-filled viscoelastic porous media in 3D. The utilized mathematical model is based on Biot's poroelastic theory, extended to account for viscous deformation and plastic yielding. The modelling results exhibit the impact of decompaction weakening on the formation of three-dimensional solitary-wave-like moving porosity channels. To simulate reactive porosity waves we use a solver for 3D deformation of fluid-filled reactive viscous porous media. The Damk\"ohler number (Da) of the simulations is varied in order to estimate the respective roles of viscous deformation (low Da) and reaction (high Da) on wave propagation. 3D waves are found to propagate independently of their source at constant speed by going through each other for all the investigated Da. Soliton-like wave propagation as a result of metamorphic reaction provides an efficient mechanism for fluid flow in the Earth's crust. We illustrate the great performance and versatility of HPC.m by deploying it to generate solvers for a variety of physics across multiple Earth Science disciplines. All solvers run close to hardware's peak performance and were shown to scale linearly on a institute cluster with 80 GPUs. Moreover, our nonlinear poroviscoelastic two-phase flow solver scales close to ideally on Piz Daint's 5000 GPUs at the Swiss National Supercomputing Centre.


title: Banach spaces which always produce octahedral spaces of operators

abstract: We characterise those Banach spaces $X$ which satisfy that $L(Y,X)$ is octahedral for every non-zero Banach space $Y$. They are those satisfying that, for every finite dimensional subspace $Z$, $\ell_\infty$ can be finitely-representable in a part of $X$ kind of $\ell_1$-orthogonal to $Z$. We also prove that $L(Y,X)$ is octahedral for every $Y$ if, and only if, $L(\ell_p^n,X)$ is octahedral for every $n\in\mathbb N$ and $1<p<\infty$. Finally, we find examples of Banach spaces satisfying the above conditions like $\Lip(M)$ spaces with octahedral norms or $L_1$-preduals with the Daugavet property.


title: Measuring chemical abundances in AGN from infrared nebular lines: HII-CHI-Mistry-IR for AGN

abstract: Future and on-going infrared and radio observatories such as JWST, METIS or ALMA will increase the amount of rest-frame IR spectroscopic data for galaxies by several orders of magnitude. While studies of the chemical composition of the ISM based on optical observations have been widely spread over decades for SFG and, more recently, for AGN, similar studies need to be performed using IR data. This regime can be especially useful in the case of AGN given that it is less affected by temperature and dust extinction, traces higher ionic species and can also provide robust estimations of the chemical abundance ratio N/O. We present a new tool based on a bayesian-like methodology to estimate chemical abundances from IR emission lines in AGN. We use a sample of 58 AGN with IR spectroscopic data retrieved from the literature to probe the validity of our method. The estimations of the chemical abundances based on IR lines in our sample are later compared with the corresponding abundances derived from the optical emission lines in the same objects. HII-CHI-Mistry-IR takes advantage of photoionization models, characterized by the chemical abundance ratios O/H and N/O and the ionization parameter $U$, to compare their predicted emission-line fluxes with a set of observed values. Instead of matching single emission lines, the code uses some specific emission-line ratios sensitive to the above free parameters. We report mainly solar and also subsolar abundances for O/H in the nuclear region for our sample of AGN, whereas N/O clusters around solar values. We find a discrepancy between the chemical abundances derived from IR and optical emission lines, being the latter higher than the former. This discrepancy, also reported by previous studies of the composition of the ISM in AGN from IR observations, is independent from the gas density or the incident radiation field to the gas.


title: A polynomial composites

abstract: Polynomial composites were introduced by Anderson, Anderson, and Zafrullah. In this paper we study many different algebraic properties of polynomial composites like ACCP, atomic, SR property. We study relationships between Noetherian polynomial composites certain field extensions.


title: On Scott power spaces

abstract: In this paper, we mainly discuss some basic properties of Scott power spaces. For a $T_0$ space $X$, let $\mathsf{K}(X)$ be the poset of all nonempty compact saturated subsets of $X$ endowed with the Smyth order. It is proved that the Scott power space $\Sigma \mathsf{K}(X)$ of a well-filtered space $X$ is still well-filtered, and a $T_0$ space $Y$ is well-filtered iff $\Sigma \mathsf{K}(Y)$ is well-filtered and the upper Vietoris topology is coarser than the Scott topology on $\mathsf{K}(Y)$. A sober space is constructed for which its Scott power space is not sober. A few sufficient conditions are given under which a Scott power space is sober. Some other properties, such as local compactness, first-countability, Rudin property and well-filtered determinedness, of Smyth power spaces and Scott power spaces are also investigated.


title: Numerical Radius of Products of Special Matrices

abstract: The purpose of this note is to present upper bounds estimations for the numerical radius of a products and Hadamard products of special matrices, including sectorial and accretive-dissipative matrices.


title: Analysis and design of bistable and thermally reversible metamaterials inspired by shape-memory alloys

abstract: In this work, we study lattice structures that exhibit a bistable behavior, i. e., they can snap from one stable state to another, and are also completely reversible, capable of reverting back to its original state through a heat treatment. We design this behavior by constructing lattice structures using networks of nonlinear springs that display tension-compression asymmetry and have different thermal expansion coefficients. The mismatch in the thermal expansion coefficients induces residual stresses in the springs which results in the lattice structure exhibiting bistability at low temperatures and monostability at high temperatures. This behavior mimics the crystallographic phase transformations of shape memory alloys, but here artificially introduced in a structural lattice. By analyzing a representative unit cell, we quantify the effect that the stiffness and the thermal expansion coefficient of the springs have on the stability of the structural lattice. In addition, for simple 2D lattices, using the concept of universal unfoldings of singularity theory, we perform a perturbation analysis to identify the key variables of the structure where controlling defects is important, as they lead to drastic changes in the bifurcation behavior of the lattice. Finally, we verify numerically our analytical predictions in both 2D and 3D simulations using continuation techniques. The examples proposed confirm that the bistable and reversible features of the unit cell carry on to the macroscale, opening the route for the design of lattice structures for energy absorption applications that can hea} with a heat treatment.


title: Realistic mask generation for matter-wave lithography via machine learning

abstract: Fast production of large area patterns with nanometre resolution is crucial for the established semiconductor industry and for enabling industrial-scale production of next-generation quantum devices. Metastable atom lithography with binary holography masks has been suggested as a higher resolution/low-cost alternative to the current state of the art: extreme ultraviolet (EUV) lithography. However, it was recently shown that the interaction of the metastable atoms with the mask material (SiN) leads to a strong perturbation of the wavefront, not included in existing mask generation theory, which is based on classical scalar waves. This means that the inverse problem (creating a mask based on the desired pattern) cannot be solved analytically even in 1D. Here we present a machine learning approach to mask generation targeted for metastable atoms. Our algorithm uses a combination of genetic optimisation and deep learning to obtain the mask. A novel deep neural architecture is trained to produce an initial approximation of the mask. This approximation is then used to generate the initial population of the genetic optimisation algorithm that can converge to arbitrary precision. We demonstrate the generation of arbitrary 1D patterns for system dimensions within the Fraunhofer approximation limit.


title: Evidence for a Dense, Inhomogeneous Circumstellar Medium in the Type Ia SNR 0519-69.0

abstract: We perform an expansion study of the Balmer dominated outer shock of the SNR 0519$-$69.0 in the LMC by using a combination of new HST WFC3 imagery obtained in 2020 and archival ACS images from 2010 and 2011. Thanks to the very long time baseline, our proper motion measurements are of unprecedented accuracy. We find a wide range of shock velocities, with the fastest shocks averaging 5280 km/s and the slowest grouping of shocks averaging just 1670 km/s. We compare the H_alpha images from HST with X-ray images from Chandra and mid-IR images from Spitzer, finding a clear anti-correlation between the brightness of the remnant in a particular location and the velocity of the blast wave at that location, supporting the idea that the bright knots of X-ray and IR emission result from an interaction with a dense inhomogeneous circumstellar medium. We find no evidence for X-ray emission, thermal or nonthermal, associated with the fastest shocks, as expected if the fastest velocities are the result of the blast wave encountering the lower density ambient medium of the LMC. We derive an age of the remnant of 670 +/- 70 yr, consistent with results derived from previous investigations.


title: Improved bilinear Strichartz estimates with application to the well-posedness of periodic generalized KdV type equations

abstract: We improve our previous result [L. Molinet and T. Tanaka, Unconditional well-posedness for some nonlinear periodic one-dimensional dispersive equations, J. Funct. Anal. 283 (2022), 109490] on the Cauchy problem for one dimensional dispersive equations with a quite general nonlinearity in the periodic setting. Under the same hypotheses that the dispersive operator behaves for high frequencies as a Fourier multiplier by $ i |\xi|^\alpha \xi $, with $ 1 \le \alpha\le 2 $, and that the nonlinear term is of the form $ \partial_x f(u) $ where $f $ is a real analytic function whose Taylor series around the origin has an infinite radius of convergence, we prove the unconditional LWP of the Cauchy problem in $H^s(\mathbb{T}) $ for $ s\ge 1-\frac{\alpha}{4} $ with $ s>1/2 $. It is worth noticing that this result is optimal in the case $\alpha=2$ (generalized KdV equation) in view of the restriction $ s>1/2 $ for the continuous injection of $ H^s(\mathbb{T}) $ into $ L^\infty(\mathbb{T}) $. Our main new ingredient is the remplacement of improved Strichartz estimates by improved bilinear estimates in the treatment of the worst resonant interactions. Such improved bilinear estimates already appeared in the work of Hani in the context of Schr\"odinger equations on a compact manifold. Finally note that this enables us to derive global existence results for $ \alpha \in [4/3,2] $.


title: Radiative pulsed L-mode operation in ARC-class reactors

abstract: A new ARC-class, highly-radiative, pulsed, L-mode, burning plasma scenario is developed and evaluated as a candidate for future tokamak reactors. Pulsed inductive operation alleviates the stringent current drive requirements of steady-state reactors, and operation in L-mode affords ELM-free access to $\sim90\%$ core radiation fractions, significantly reducing the divertor power handling requirements. In this configuration the fusion power density can be maximized despite L-mode confinement by utilizing high-field to increase plasma densities and current. This allows us to obtain high gain in robust scenarios in compact devices with $P_\mathrm{fus} > 1000\,$MW despite low confinement. We demonstrate the feasibility of such scenarios here; first by showing that they avoid violating 0-D tokamak limits, and then by performing self-consistent integrated simulations of flattop operation including neoclassical and turbulent transport, magnetic equilibrium, and RF current drive models. Finally we examine the potential effect of introducing negative triangularity with a 0-D model. Our results show high-field radiative pulsed L-mode scenarios are a promising alternative to the typical steady state advanced tokamak scenarios which have dominated tokamak reactor development.


title: Active Spaces and Non-Orthogonal Configuration Interaction Approaches for Investigating Molecules on Metal Surfaces

abstract: We test a set of multiconfigurational wavefunction approaches for calculating the ground state electron population for a two-site Anderson model representing a molecule on a metal surface. In particular, we compare (i) a Hartree Fock like wavefunction where frontier orbitals are allowed to be nonorthogonal versus (ii) a fully non-orthogonal configuration interaction wavefunction based on constrained Hartree-Fock states. We test both the strong and weak metal-molecule hybridization ($\Gamma$) limits as well as the strong and weak electron-electron repulsion (U) limits. We obtain accurate results as compared with exact numerical renormalization group (NRG) theory, recovering charge transfer states where appropriate. The current framework should open a path to run molecular non-adiabatic dynamics on metal surfaces.


title: Creation and direct laser acceleration of positrons in a single stage

abstract: Relativistic positron beams are required for fundamental research in nonlinear strong field QED, plasma physics, and laboratory astrophysics. Positrons are difficult to create and manipulate due to their short lifetime, and their energy gain is limited by the accelerator size in conventional facilities. Alternative compact accelerator concepts in plasmas are becoming more and more mature for electrons, but positron generation and acceleration remain an outstanding challenge. Here we propose a new setup where we can generate, inject and accelerate them in a single stage during the propagation of an intense laser in a plasma channel. The positrons are created from a laser-electron collision at 90 degrees, where the injection and guiding are made possible by an 800 nC electron beam loading which reverses the sign of the background electrostatic field. We obtain a 20 fC positron beam, with GeV-level central energy within 0.5 mm of plasma.


title: Morphology, color-magnitude and scaling relations of galaxies in Abell 426

abstract: We present photometric properties of 183 member galaxies in the Abell 426 cluster using the Sloan Digital Sky Survey (SDSS) imaging and spectroscopic observation. Detailed morphology based on visual classification followed by multi-component image decomposition of 179 galaxies is presented in the SDSS g, r, i-bands. More than 80 percent of the members are Early-type galaxies (ETGs), with elliptical, dwarf elliptical (dE), and lenticular morphology and follow the red-sequence in the color-magnitude diagram (CMD). With a few dEs and spirals in the blue cloud, the cluster CMD is nearly unimodal.The dEs are $\sim2$-mag fainter and follow a different Sersic index and central velocity dispersion distribution than their bright counterparts. Further, we establish the Kormendy relation (KR) and the Fundamental Plane relation (FPR) for 5 different samples of ETGs constructed based on derived physical parameters such as Sersic index, concentration, central velocity dispersion in g, r, i-bands. The mean r-band slope and zero-point of the KR are $3.02\pm0.1$ and $18.65\pm0.03$ in close agreement to other cluster ellipticals in the local and higher redshift. Kinematics-based ETG sample produces the least scatter in KR with zero-point getting brighter by $\sim1.3$-mag from g to i band. The dEs and other low-mass ETGs follow the KR with a similar slope but with $\sim1.3$-mag fainter zero-point and form a parallel KR. The bright ellipticals follow an FPR with $a=1.37\pm0.003$, $b=0.35\pm0.05$ and $c=- 9.37\pm0.02$ in the r-band; galaxies tend to deviate from this relation at the low-mass end. A catalog with morphology and 2D structural analysis is available online.


title: A framework for online, stabilizing reinforcement learning

abstract: Online reinforcement learning is concerned with training an agent on-the-fly via dynamic interaction with the environment. Here, due to the specifics of the application, it is not generally possible to perform long pre-training, as it is commonly done in off-line, model-free approaches, which are akin to dynamic programming. Such applications may be found more frequently in industry, rather than in pure digital fields, such as cloud services, video games, database management, etc., where reinforcement learning has been demonstrating success. Online reinforcement learning, in contrast, is more akin to classical control, which utilizes some model knowledge about the environment. Stability of the closed-loop (agent plus the environment) is a major challenge for such online approaches. In this paper, we tackle this problem by a special fusion of online reinforcement learning with elements of classical control, namely, based on the Lyapunov theory of stability. The idea is to start the agent at once, without pre-training, and learn approximately optimal policy under specially designed constraints, which guarantee stability. The resulting approach was tested in an extensive experimental study with a mobile robot. A nominal parking controller was used as a baseline. It was observed that the suggested agent could always successfully park the robot, while significantly improving the cost. While many approaches may be exploited for mobile robot control, we suggest that the experiments showed the promising potential of online reinforcement learning agents based on Lyapunov-like constraints. The presented methodology may be utilized in safety-critical, industrial applications where stability is necessary.


title: Network medicine framework reveals generic herb-symptom effectiveness of Traditional Chinese Medicine

abstract: Traditional Chinese medicine (TCM) relies on natural medical products to treat symptoms and diseases. While clinical data have demonstrated the effectiveness of selected TCM-based treatments, the mechanistic root of how TCM herbs treat diseases remains largely unknown. More importantly, current approaches focus on single herbs or prescriptions, missing the high-level general principles of TCM. To uncover the mechanistic nature of TCM on a system level, in this work we establish a generic network medicine framework for TCM from the human protein interactome. Applying our framework reveals a network pattern between symptoms (diseases) and herbs in TCM. We first observe that genes associated with a symptom are not distributed randomly in the interactome, but cluster into localized modules; furthermore, a short network distance between two symptom modules is indicative of the symptoms' co-occurrence and similarity. Next, we show that the network proximity of a herb's targets to a symptom module is predictive of the herb's effectiveness in treating the symptom. We validate our framework with real-world hospital patient data by showing that (1) shorter network distance between symptoms of inpatients correlates with higher relative risk (co-occurrence), and (2) herb-symptom network proximity is indicative of patients' symptom recovery rate after herbal treatment. Finally, we identified novel herb-symptom pairs in which the herb's effectiveness in treating the symptom is predicted by network and confirmed in hospital data, but previously unknown to the TCM community. These predictions highlight our framework's potential in creating herb discovery or repurposing opportunities. In conclusion, network medicine offers a powerful novel platform to understand the mechanism of traditional medicine and to predict novel herbal treatment against diseases.


title: Implementation of Machine Learning-based DER Local Control Schemes on Measurement Devices for Counteracting Communication Failures

abstract: One of the significant challenges linked with the massive integration of distributed energy resources (DER) in the active distribution grids is the uncertainty it brings along. The grid operation becomes more arduous to avoid voltage or thermal violations. While the Optimal Power Flow (OPF) algorithm is vastly discussed in the literature, little attention has been given to the robustness of such centralised implementation, such as the provision of redundant control solutions during a communication failure. This paper aims to implement a machine learning-based algorithm at each Intelligent Electronic Device (IED) that mimics the centralised OPF used during communication failures using IEC 61850 data models. Under normal circumstances, the IEDs communicate for centralised OPF. In addition, the system is trained offline for all operational conditions and the individual look-up tables linking the actual voltages to the DER setpoints are sent to the respective controllers. The regression models allow for the local reconstruction of the DER setpoints, emulating the overall OPF, in case of a communication failure. In addition to the regression control, the paper also explains an offline learning approach for periodic re-training of the regression models. The implementation is experimentally verified using a Hardware-in-the-loop test setup. The tests showed promising results compared to conventional control strategies during communication failures. When properly trained and coordinated, such an intuitive local control approach for each DER could be very beneficial for the bulk power system. This machine learning-based approach could also replace the existing Q(V) control strategies, to better support the bulk power system.


title: Towards the determination of the gluon helicity distribution in the nucleon from lattice quantum chromodynamics

abstract: We present the first exploratory lattice quantum chromodynamics (QCD) calculation of the polarized gluon Ioffe-time pseudo-distribution in the nucleon. The Ioffe-time pseudo-distribution provides a frame-independent and gauge-invariant framework to determine the gluon helicity in the nucleon from first principles. We employ a high-statistics computation using a $32^3\times 64$ lattice ensemble characterized by a $358$ MeV pion mass and a $0.094$ fm lattice spacing. We establish the pseudo-distribution approach as a feasible method to address the proton spin puzzle with successive improvements in statistical and systematic uncertainties anticipated in the future. Within the statistical precision of our data, we find a good comparison between the lattice determined polarized gluon Ioffe-time distribution and the corresponding expectations from the state-of-the-art global analyses. We find a hint for a nonzero gluon spin contribution to the proton spin from the model-independent extraction of the gluon helicity pseudo-distribution over a range of Ioffe-time, $\nu\lesssim 9$.


title: Temporal Lift Pooling for Continuous Sign Language Recognition

abstract: Pooling methods are necessities for modern neural networks for increasing receptive fields and lowering down computational costs. However, commonly used hand-crafted pooling approaches, e.g., max pooling and average pooling, may not well preserve discriminative features. While many researchers have elaborately designed various pooling variants in spatial domain to handle these limitations with much progress, the temporal aspect is rarely visited where directly applying hand-crafted methods or these specialized spatial variants may not be optimal. In this paper, we derive temporal lift pooling (TLP) from the Lifting Scheme in signal processing to intelligently downsample features of different temporal hierarchies. The Lifting Scheme factorizes input signals into various sub-bands with different frequency, which can be viewed as different temporal movement patterns. Our TLP is a three-stage procedure, which performs signal decomposition, component weighting and information fusion to generate a refined downsized feature map. We select a typical temporal task with long sequences, i.e. continuous sign language recognition (CSLR), as our testbed to verify the effectiveness of TLP. Experiments on two large-scale datasets show TLP outperforms hand-crafted methods and specialized spatial variants by a large margin (1.5%) with similar computational overhead. As a robust feature extractor, TLP exhibits great generalizability upon multiple backbones on various datasets and achieves new state-of-the-art results on two large-scale CSLR datasets. Visualizations further demonstrate the mechanism of TLP in correcting gloss borders. Code is released.


title: An Information-Theoretic Analysis of Bayesian Reinforcement Learning

abstract: Building on the framework introduced by Xu and Raginksy [1] for supervised learning problems, we study the best achievable performance for model-based Bayesian reinforcement learning problems. With this purpose, we define minimum Bayesian regret (MBR) as the difference between the maximum expected cumulative reward obtainable either by learning from the collected data or by knowing the environment and its dynamics. We specialize this definition to reinforcement learning problems modeled as Markov decision processes (MDPs) whose kernel parameters are unknown to the agent and whose uncertainty is expressed by a prior distribution. One method for deriving upper bounds on the MBR is presented and specific bounds based on the relative entropy and the Wasserstein distance are given. We then focus on two particular cases of MDPs, the multi-armed bandit problem (MAB) and the online optimization with partial feedback problem. For the latter problem, we show that our bounds can recover from below the current information-theoretic bounds by Russo and Van Roy [2].


title: Towards Diverse and Faithful One-shot Adaption of Generative Adversarial Networks

abstract: One-shot generative domain adaption aims to transfer a pre-trained generator on one domain to a new domain using one reference image only. However, it remains very challenging for the adapted generator (i) to generate diverse images inherited from the pre-trained generator while (ii) faithfully acquiring the domain-specific attributes and styles of the reference image. In this paper, we present a novel one-shot generative domain adaption method, i.e., DiFa, for diverse generation and faithful adaptation. For global-level adaptation, we leverage the difference between the CLIP embedding of reference image and the mean embedding of source images to constrain the target generator. For local-level adaptation, we introduce an attentive style loss which aligns each intermediate token of adapted image with its corresponding token of the reference image. To facilitate diverse generation, selective cross-domain consistency is introduced to select and retain the domain-sharing attributes in the editing latent $\mathcal{W}+$ space to inherit the diversity of pre-trained generator. Extensive experiments show that our method outperforms the state-of-the-arts both quantitatively and qualitatively, especially for the cases of large domain gaps. Moreover, our DiFa can easily be extended to zero-shot generative domain adaption with appealing results. Code is available at https://github.com/1170300521/DiFa.


title: Integrated Sensing and Communications with Joint Beam Squint and Beam Split for Massive MIMO

abstract: Integrated sensing and communications (ISAC) has attracted tremendous attention for the future 6G wireless communication systems. To improve the transmission rates and sensing accuracy, massive multi-input multi-output (MIMO) technique is leveraged with large transmission bandwidth. However, the growing size of transmission bandwidth and antenna array results in the beam squint effect, which hampers the communications. Moreover, the time overhead of the traditional sensing algorithm is prohibitive for practical systems. In this paper, instead of alleviating the wideband beam squint effect, we take advantage of joint beam squint and beam split effect and propose a novel user directions sensing method integrated with massive MIMO orthogonal frequency division multiplexing (OFDM) systems. Specifically, with the beam squint effect, the BS utilizes the true-time-delay (TTD) lines to steer the beams of different OFDM subcarriers towards different directions simultaneously. The users feedback the subcarrier frequency with the maximum array gain to the BS. Then, the BS calculates the direction based on the subcarrier frequency feedback. Futhermore, the beam split effect introduced by enlarging the inter-antenna spacing is exploited to expand the sensing range. The proposed sensing method operates over frequency-domain, and the intended sensing range is covered by all the subcarriers simultaneously, which reduces the time overhead of the conventional sensing significantly. Simulation results have demonstrated the effectiveness as well as the superior performance of the proposed ISAC scheme.


title: On differentiability of Sobolev functions with respect to the Sobolev norm

abstract: We study connections between the $W^1_p$-differentiability and the $L_p$-differentiability of Sobolev functions. We prove that, $W^1_p$-differentiability implies the $L_p$-differentiability, but the opposite implication is not valid. The notion of approximate differentiability is discussed as well. In addition, we consider the $W^1_p$-differentiability of Sobolev functions $\cp_p$-almost everywhere.


title: Rethinking Data Augmentation for Robust Visual Question Answering

abstract: Data Augmentation (DA) -- generating extra training samples beyond original training set -- has been widely-used in today's unbiased VQA models to mitigate the language biases. Current mainstream DA strategies are synthetic-based methods, which synthesize new samples by either editing some visual regions/words, or re-generating them from scratch. However, these synthetic samples are always unnatural and error-prone. To avoid this issue, a recent DA work composes new augmented samples by randomly pairing pristine images and other human-written questions. Unfortunately, to guarantee augmented samples have reasonable ground-truth answers, they manually design a set of heuristic rules for several question types, which extremely limits its generalization abilities. To this end, we propose a new Knowledge Distillation based Data Augmentation for VQA, dubbed KDDAug. Specifically, we first relax the requirements of reasonable image-question pairs, which can be easily applied to any question types. Then, we design a knowledge distillation (KD) based answer assignment to generate pseudo answers for all composed image-question pairs, which are robust to both in-domain and out-of-distribution settings. Since KDDAug is a model-agnostic DA strategy, it can be seamlessly incorporated into any VQA architectures. Extensive ablation studies on multiple backbones and benchmarks have demonstrated the effectiveness and generalization abilities of KDDAug.


title: Supersizing axions with small size instantons

abstract: We construct a new framework to calculate the enhancement of axion masses and concomitant effects on axion-meson mixing arising from small size instantons (SSIs), which originate in models featuring an extended color gauge symmetry. The framework is based on an explicit evaluation of 't Hooft determinantal operators that partition into instanton amplitudes, affording a more precise determination of the axion-diphoton coupling than previous results. Using an explicit model first presented in Ref. arXiv:1805.06465, we demonstrate that axions solving the strong CP problem can have electroweak scale masses and higher, driven by SSI effects. Such collider axions are prime targets for resonance searches at the Large Hadron Collider and afford a unique anchor for motivating extended color symmetries.


title: Topological properties of definable sets in ordered Abelian groups of burden 2

abstract: We obtain some new results on the topology of unary definable sets in densely ordered Abelian groups of burden groups of burden 2. In the special case in which the structure has dp-rank 2, we show that the existence of an infinite definable discrete set precludes the definability of a set which is dense and codense in an interval, or of a set which is topologically like the Cantor middle-third set. If the structure has burden 2 and both an infinite discrete set D and a dense-codense set X are definable, then translates of X must witness the Independence Property. In the last section, an explicit example of an ordered Abelian group of burden 2 is given in which both an infinite discrete set and a dense-codense set are definable.


title: Sub-stellar Companions of Intermediate-mass Stars with CoRoT: CoRoT-34b, CoRoT-35b, and CoRoT-36b

abstract: Theories of planet formation give contradicting results of how frequent close-in giant planets of intermediate mass stars (IMSs; $\rm 1.3\leq M_{\star}\leq 3.2\,M_{\rm \odot}$) are. Some theories predict a high rate of IMSs with close-in gas giants, while others predict a very low rate. Thus, determining the frequency of close-in giant planets of IMSs is an important test for theories of planet formation. We use the CoRoT survey to determine the absolute frequency of IMSs that harbour at least one close-in giant planet and compare it to that of solar-like stars. The CoRoT transit survey is ideal for this purpose, because of its completeness for gas-giant planets with orbital periods of less than 10 days and its large sample of main-sequence IMSs. We present a high precision radial velocity follow-up programme and conclude on 17 promising transit candidates of IMSs, observed with CoRoT. We report the detection of CoRoT-34b, a brown dwarf close to the hydrogen burning limit, orbiting a 1.1 Gyr A-type main-sequence star. We also confirm two inflated giant planets, CoRoT-35b, part of a possible planetary system around a metal-poor star, and CoRoT-36b on a misaligned orbit. We find that $0.12 \pm 0.10\,\%$ of IMSs between $1.3\leq M_{\star}\leq 1.6 M_{\rm \odot}$ observed by CoRoT do harbour at least one close-in giant planet. This is significantly lower than the frequency ($0.70 \pm 0.16\,\%$) for solar-mass stars, as well as the frequency of IMSs harbouring long-period planets ($\rm \sim 8\,\%$).


title: On k-rational and k-Du Bois local complete intersections

abstract: We show that k-rational singularities of local complete intersections are k-Du Bois. For hypersurfaces, we characterize k-rationality in terms of the minimal exponent. We also establish some local vanishing results for k-rational and k-Du Bois singularities. Some of these results have been independently obtained in [FL2].


title: Kondo destruction and fixed-point annihilation in a Bose-Fermi Kondo model

abstract: Quantum criticality that goes beyond the Landau framework of order-parameter fluctuations is playing a central role in elucidating the behavior of strange metals. A prominent case appears in Kondo lattice systems, which have been extensively analysed in terms of an effective Bose-Fermi Kondo model. Here, a spin is simultaneously coupled to conduction electron bands and gapless vector bosons that represent magnetic fluctuations. The Bose-Fermi Kondo model features interacting fixed points of Kondo destruction with such properties as dynamical Planckian ($\hbar \omega / k_{\rm B} T$) scaling and loss of quasiparticles. Here we carry out a renormalization-group analysis of the model with spin isotropy and identify pair-wise annihilations of the fixed points as the spectrum of the bosonic bath evolves. Our analysis not only provides an essentially complete understanding of the previous numerical results of an SU(2)-symmetric model, but also reveals a surprising feature of sequential fixed-point annihilation. Our results lay the foundation for the understanding of quantum criticality in spin-isotropic heavy-fermion metals as well as in doped Mott-Hubbard systems.


title: Amplitude Scintillation Forecasting Using Bagged Trees

abstract: Electron density irregularities present within the ionosphere induce significant fluctuations in global navigation satellite system (GNSS) signals. Fluctuations in signal power are referred to as amplitude scintillation and can be monitored through the S4 index. Forecasting the severity of amplitude scintillation based on historical S4 index data is beneficial when real-time data is unavailable. In this work, we study the possibility of using historical data from a single GPS scintillation monitoring receiver to train a machine learning (ML) model to forecast the severity of amplitude scintillation, either weak, moderate, or severe, with respect to temporal and spatial parameters. Six different ML models were evaluated and the bagged trees model was the most accurate among them, achieving a forecasting accuracy of $81\%$ using a balanced dataset, and $97\%$ using an imbalanced dataset.


title: Performance of quantum batteries with correlated and uncorrelated chargers

abstract: Energy can be stored in quantum batteries by electromagnetic fields as chargers. In this paper, the performance of a quantum battery with single and double chargers is studied. It is shown that by using two independent charging fields, prepared in coherent states, charging power of the quantum battery can be significantly improved, though the average number of embedded photons are kept the same in both scenarios. Then the results reveal that for the case of initially correlated states of the chargers the amount of extractable energy, measured by ergotropy, is more than initially uncorrelated ones, with appropriate degrees of field's intensities. Though the correlated chargers lead to greater reduction in purity of quantum battery, more energy and in turn, more ergotropy is stored in this case. In addition, we study the battery-charger mutual information and Von Neumann entropy and by using their relation, we find that both quantum and classical correlations are generated between the quantum battery and chargers. Then we study quantum consonance of the battery as the non-local coherence among it's cells and find some qualitative relations between the generation of such correlations and the capability of energy storage in the quantum battery.


title: Photon generation and entanglement in a double superconducting cavity

abstract: We study the dynamical Casimir effect in a double superconducting cavity in a circuit quantum electrodynamics architecture. Parameters in the quantum circuit are chosen in such a way the superconducting cavity can mimic a double cavity, formed by two perfectly conducting outer walls and a dielectric one, with arbitrary permittivity separating both halves. We undertake a spectral analysis of the cavity, showing that the spectrum varies significantly depending on the values of the susceptibility of the dielectric mirror and the relative lengths of both cavities. We study the creation of photons when the walls oscillate harmonically with a small amplitude. Furthermore, we explore the possibility of entangling two uncoupled cavities, starting from a symmetric double cavity and having both of its halves become uncoupled at a later given instant. We consider both cases: (i) when the field is initially in a vacuum state and (ii) the situation in which photon creation via the dynamical Casimir effect has already taken place. We show that the cavities become entangled in both cases but, in the latter, the quantum correlation between individual modes can be greatly increased at the cost of diminishing the entanglement between most pairs of modes.


title: Leading Order Triple Collinear Splitting Functions Revisited

abstract: I review the factorisation properties of tree level amplitudes when three particles $i$, $j$, $k$ are collinear. The triple collinear splitting functions contain both iterated single unresolved contributions, and genuine double unresolved contributions. I make this explicit by rewriting the known triple collinear splitting functions for a quark and two gluons in terms of products of two-particle splitting functions, and a remainder that is explicitly finite when any two of $\{i,j,k\}$ are collinear.


title: An open scattering model in polymerized quantum mechanics

abstract: We derive a quantum master equation in the context of a polymerized open quantum mechanical system for the scattering of a Brownian particle in an ideal gas environment. The model is formulated in a top-down approach by choosing a Hamiltonian with a coupling between the system and environment that is generally associated with spatial decoherence. We extend the existing work on such models by using a non-standard representation of the canonical commutation relations, inspired by the quantization procedure applied in loop quantum gravity, which yields a model in which position operators are replaced by holonomies. The derivation of the master equation in a top-down approach opens up the possibility to investigate in detail whether the assumptions, usually used in such models in order to obtain a tractable form of the dissipator, hold also in the polymerized case or whether they need to be dropped or modified. Furthermore, we discuss some physical properties of the master equation associated to effective equations for the expectation values of the fundamental operators and compare our results to the already existing models of collisional decoherence.


title: Exploiting anisotropic particle shape to electrostatically assemble colloidal molecules with high yield and purity

abstract: Hypothesis: Colloidal molecules with anisotropic shapes and interactions are powerful model systems for deciphering the behavior of real molecules and building units for creating materials with designed properties. While many strategies for their assembly have been developed, they typically yield a broad distribution or are limited to a specific type. We hypothesize that the shape and relative sizes of colloidal particles can be exploited to efficiently direct their assembly into colloidal molecules of desired valence. Experiments: We exploit electrostatic self-assembly of negatively charged spheres made from either polystyrene or silica onto positively charged hematite cubes. We thoroughly analyze the role of the shape and size ratio of particles on the cluster size and yield of colloidal molecules. Findings: Using a combination of experiments and simulations, we demonstrate that cubic particle shape is crucial to generate high yields of distinct colloidal molecules over a wide variety of size ratios. We find that electrostatic repulsion between the satellite spheres is important to leverage the templating effect of the cubes, leading the spheres to preferentially assemble on the facets rather than the edges and corners of the cube. Furthermore, we reveal that our protocol is not affected by the specific choice of the material of the colloidal particles. Finally, we show that the permanent magnetic dipole moment of the hematite cubes can be utilized to separate colloidal molecules from non-assembled satellite particles. Our simple and effective strategy might be extended to other templating particle shapes, thereby greatly expanding the library of colloidal molecules that can be achieved with high yield and purity.


title: Cluster pictures for Hitchin fibers of rank two Higgs bundles

abstract: Let $\varphi\colon X\rightarrow Y$ be a degree two Galois cover of smooth curves over a local field $F$ of odd characteristic. Assuming that $Y$ has good reduction, we describe a semi-stability criterion for the curve $X$, using the data of the branch locus of the covering $\varphi$. In the case that $X$ has semi-stable reduction, we describe the dual graph of the minimal regular model of $X$ over $F.$ We do this by adopting the notion of cluster picture defined for hyperelliptic curves for the case where $Y$ is not necessarily a rational curve. Using these results, we describe the variation of the p-adic volume of Hitchin fibers over the semi-stable locus of the moduli space of rank 2 twisted Higgs bundles.


title: Strain compatibility and gradient elasticity in morphing origami metamaterials

abstract: The principles of origami design have proven useful in a number of technological applications. Origami tessellations in particular constitute a class of morphing metamaterials with unusual geometric and elastic properties. Although inextensible in principle, fine creases allow origami metamaterials to effectively deform non-isometrically. Determining the strains that are compatible with coarse-grained origami kinematics as well as the corresponding elasticity functionals is paramount to understanding and controlling the morphing paths of origami metamaterials. Here, within a unified theory, we solve this problem for a wide array of well-known origami tessellations including the Miura-ori as well as its more formidable oblique, non-developable and non-flat-foldable variants. We find that these patterns exhibit two universal properties. On one hand, they all admit equal but opposite in-plane and out-of-plane Poisson's ratios. On the other hand, their bending energy detaches from their in-plane strain and depends instead on the strain gradient. The results are illustrated over a case study of the self-equilibrium geometry of origami pillars.


title: Conformational dynamics modulating electron transfer

abstract: Diffusional dynamics of the donor-acceptor distance in electron-transfer reactions are responsible for the appearance of a new time scale of diffusion over the distance of falloff of electronic tunneling. The distance dynamics compete with the medium polarization dynamics in the solvent-controlled electron transfer kinetics. A new solution incorporating the medium and donor-acceptor dynamics into the electron-transfer rate constant is proposed. The pre-exponential factor of the rate constant switches between a distance-independent solvent-controlled regime and exponential distance decay. The crossover between two regimes is controlled by an effective relaxation time slowed down by a factor exponentially depending on the variance of the donor-acceptor displacement. Flexible donor-acceptor complexes must show a greater tendency for solvent-controlled electron transfer. Electron-transfer energy chains are best designed by placing the redox cofactors near the crossover distance.


title: Countable ranks at the first and second projective levels

abstract: A rank is a notion in descriptive set theory that describes ranks such as the Cantor-Bendixson rank on the set of closed subsets of a Polish space, differentiability ranks on the set of differentiable functions in $C[0,1]$ such as the Kechris-Woodin rank and many other ranks in descriptive set theory and real analysis. The complexity of many natural ranks is $\Pi^1_1$ or $\Sigma^1_2$. We propose to understand the least length of ranks on a set as a measure of its complexity. Therefore, the aim is to understand which lengths such ranks may have. The main result determines the suprema of lengths of countable ranks at the first and second projective levels. Furthermore, we characterise the existence of countable ranks on specific classes of $\Sigma^1_2$ sets. The connections arising between $\Sigma^1_2$ sets with countable ranks on the one hand and $\Sigma^1_2$ Borel sets on the other lead to a conjecture that unifies several results in descriptive set theory such as the Mansfield-Solovay theorem and a recent result of Kanovei and Lyubetsky.


title: Guiding the self-assembly of colloidal diamond

abstract: The assembly of colloidal cubic diamond is a challenging process since the shape and interaction parameters and the thermodynamic conditions where this structure is stable are elusive. The simultaneous use of shape-anisotropic particles and strong directional interactions has proven to be a successful path to exclusively nucleate this structure. Here, using molecular dynamics simulations, we explore in detail the conditions where nucleation of cubic diamond from tetrahedral building blocks is favored. In particular, we focus on the effect of depletion and DNA-mediated interactions to form and stabilize this cubic diamond crystal. We find that a particular balance between the strength and range of the depletion interactions enhances the self-assembly of stable cubic diamond, leading to a narrow region where this structure is nucleated. Moreover, we determine that stronger short-range depletion attractions may arrest the system leading to the formation of percolating diamond networks or fully disordered gel structures. Accordingly, the internal arrangements of these structures exhibit a distinct variation in terms of fractal dimension and the presence of six-membered rings that increasingly acquire internal strain as the arrest gets more pronounced. With these results we provide a clear route for the self-assembly of cubic colloidal diamond, towards the realization of crystals with superior photonic properties.


title: A Scintillation Arc Survey of 22 Pulsars with Low to Moderate Dispersion Measures

abstract: Context: By providing information about the location of scattering material along the line of sight (LoS) to pulsars, scintillation arcs are a powerful tool for exploring the distribution of ionized material in the interstellar medium. Here, we present observations that probe the ionized ISM on scales of $\sim$~0.001 -- 30~au. Aims: We have surveyed pulsars for scintillation arcs in a relatively unbiased sample with DM < 100 pc cm-3. We present multi-frequency observations of 22 low to moderate DM pulsars. Many of the 54 observations were also observed at another frequency within a few days. Methods: For all observations we present dynamic spectra, autocorrelation functions, and secondary spectra. We analyze these data products to obtain scintillation bandwidths, pulse broadening times, and arc curvatures. Results: We detect definite or probable scintillation arcs in 19 of the 22 pulsars and 34 of the 54 observations, showing that scintillation arcs are a prevalent phenomenon. The arcs are better defined in low DM pulsars. We show that well-defined arcs do not directly imply anisotropy of scattering. Only the presence of reverse arclets and a deep valley along the delay axis, which occurs in about 20\% of the pulsars in the sample, indicates substantial anisotropy of scattering. Conclusions: The survey demonstrates substantial patchiness of the ionized ISM on both au size scales transverse to the line of sight and on $\sim$~100~pc scales along it. We see little evidence for distributed scattering along most lines of sight in the survey.


title: Preventing Inferences through Data Dependencies on Sensitive Data

abstract: Simply restricting the computation to non-sensitive part of the data may lead to inferences on sensitive data through data dependencies. Inference control from data dependencies has been studied in the prior work. However, existing solutions either detect and deny queries which may lead to leakage -- resulting in poor utility, or only protects against exact reconstruction of the sensitive data -- resulting in poor security. In this paper, we present a novel security model called full deniability. Under this stronger security model, any information inferred about sensitive data from non-sensitive data is considered as a leakage. We describe algorithms for efficiently implementing full deniability on a given database instance with a set of data dependencies and sensitive cells. Using experiments on two different datasets, we demonstrate that our approach protects against realistic adversaries while hiding only minimal number of additional non-sensitive cells and scales well with database size and sensitive data.


title: A dual color, frequency, pulse duration and shape agile laser system for particle spectroscopy and manipulation

abstract: A dual color, frequency and pulse duration agile laser system, capable of delivering laser pulses in arbitrary temporal profiles with ~1 ns to ~1 us pulse duration, chirping rates of ~27 MHz/ns with an achievable chirping range of several GHz across the pulse duration, and with energies ranging from a few nJ to hundreds of mJ per pulse has been developed. The flexibility and capability of this laser system provide a wide range of laser parameters that can be exploited to optimize operational conditions in various experiments ranging from laser diagnostics to spectroscopy and optical manipulation of matter. The developed system is successfully demonstrated to obtain coherent Rayleigh-Brillouin scattering (CRBS) in both single and dual color configuration, in an effort to expand the non-intrusive accessibility towards lower pressure regime for neutral gas and plasma diagnostics.


title: Style Transfer of Audio Effects with Differentiable Signal Processing

abstract: We present a framework that can impose the audio effects and production style from one recording to another by example with the goal of simplifying the audio production process. We train a deep neural network to analyze an input recording and a style reference recording, and predict the control parameters of audio effects used to render the output. In contrast to past work, we integrate audio effects as differentiable operators in our framework, perform backpropagation through audio effects, and optimize end-to-end using an audio-domain loss. We use a self-supervised training strategy enabling automatic control of audio effects without the use of any labeled or paired training data. We survey a range of existing and new approaches for differentiable signal processing, showing how each can be integrated into our framework while discussing their trade-offs. We evaluate our approach on both speech and music tasks, demonstrating that our approach generalizes both to unseen recordings and even to sample rates different than those seen during training. Our approach produces convincing production style transfer results with the ability to transform input recordings to produced recordings, yielding audio effect control parameters that enable interpretability and user interaction.


title: Theoretical study of small signal modulation behavior of Fabry-Perot Germanium-on-Silicon lasers

abstract: This work investigated the small signal performance of Fabry-Perot Ge-on-Si lasers by modeling and simulations. The 3dB bandwidth dependence on the structure parameters such as poly-Si cladding thickness, Ge cavity width and thickness, and minority carrier lifetime were studied. A 3dB bandwidth of 33.94 GHz at a biasing current of 270.5 mA is predicted after Ge laser structure optimization with a defect limited carrier lifetime of 1 ns.


title: On the volume of a unit vector field in 3 dimensions via calibrations

abstract: We give a new proof of the well-known result that the minimal volume vector fields on $\mathbb{S}^3(r)$ are the Hopf vector fields. Such proof relies again on calibration theory, arising here from a systematic point of view given by a natural source of differential forms. Our results serve in particular for all $r$. A classification of relevant calibrations on $T^1M$ for every oriented 3-manifold $M$ of constant sectional curvature is given, continuing the study of the \textit{usual} fundamental differential system of Riemannian geometry. Showing applications of this differential system is also one of the purposes of this article. We deduce new properties of the geodesic flow vector field of space forms, which interacts with the solutions of the minimal volume problem both in elliptic and hyperbolic geometry, in any dimension. The solution -- unknown -- for the hyperbolic case in 3-dimensions being most dependent on the homology class of the domain and boundary values of the vector fields. This is illustrated with a noteworthy example which ironically works just for curvature $-1$.


title: Deformations of the Fano scheme of a cubic hypersurface

abstract: We study the deformation theory of the Fano scheme $\mathrm{F}(\mathrm{X})$ of a smooth cubic hypersurface $\mathrm{X}$ of dimension $d$. In contrast to a well-known result of Beauville and Donagi in the case $d=4$, we show that for $d\geqslant 5$ every infinitesimal deformation of $\mathrm{F}(\mathrm{X})$ is induced by an infinitesimal deformation of $\mathrm{X}$.


title: Universal Rigidity of Ladders on the line

abstract: In "Universal rigidity on the line, point orde" it is shown, answering a question of Jord\'an and Nguyen, that universal rigidity of a generic bar-joint framework in R^1 depends on more than the ordering of the vertices. The graph G that was used in that paper is a ladder with three rungs. Here we provide a general answer when that ladder with three rungs in the line is universally rigid and when it is not.


title: The Bergman fan of a polymatroid

abstract: We introduce the Bergman fan of a polymatroid and prove that the Chow ring of the Bergman fan is isomorphic to the Chow ring of the polymatroid. Using the Bergman fan, we establish the K\"ahler package for the Chow ring of the polymatroid, recovering and strengthening a result of Pagaria-Pezzoli.


title: A Novel Design and Evaluation of a Dactylus-Equipped Quadruped Robot for Mobile Manipulation

abstract: Quadruped robots are usually equipped with additional arms for manipulation, negatively impacting price and weight. On the other hand, the requirements of legged locomotion mean that the legs of such robots often possess the needed torque and precision to perform manipulation. In this paper, we present a novel design for a small-scale quadruped robot equipped with two leg-mounted manipulators inspired by crustacean chelipeds and knuckle-walker forelimbs. By making use of the actuators already present in the legs, we can achieve manipulation using only 3 additional motors per limb. The design enables the use of small and inexpensive actuators relative to the leg motors, further reducing cost and weight. The moment of inertia impact on the leg is small thanks to an integrated cable/pulley system. As we show in a suite of tele-operation experiments, the robot is capable of performing single- and dual-limb manipulation, as well as transitioning between manipulation modes. The proposed design performs similarly to an additional arm while weighing and costing 5 times less per manipulator and enabling the completion of tasks requiring 2 manipulators.


title: Word Play for Playing Othello (Reverses)

abstract: Language models like OpenAI's Generative Pre-Trained Transformers (GPT-2/3) capture the long-term correlations needed to generate text in a variety of domains (such as language translators) and recently in gameplay (chess, Go, and checkers). The present research applies both the larger (GPT-3) and smaller (GPT-2) language models to explore the complex strategies for the game of Othello (or Reverses). Given the game rules for rapid reversals of fortune, the language model not only represents a candidate predictor of the next move based on previous game moves but also avoids sparse rewards in gameplay. The language model automatically captures or emulates championship-level strategies. The fine-tuned GPT-2 model generates Othello games ranging from 13-71% completion, while the larger GPT-3 model reaches 41% of a complete game. Like previous work with chess and Go, these language models offer a novel way to generate plausible game archives, particularly for comparing opening moves across a larger sample than humanly possible to explore. A primary contribution of these models magnifies (by two-fold) the previous record for player archives (120,000 human games over 45 years from 1977-2022), thus supplying the research community with more diverse and original strategies for sampling with other reinforcement learning techniques.


title: Negative polarization properties of regolith simulants -- Systematic experimental evaluation of composition effects

abstract: Polarization phase curves of asteroids and other small airless bodies are influenced by the compositional and physical properties of their regolith. The mixing of minerals composing the regolith influences the negative polarization at small phase angles because it changes the multiple scattering properties of the medium. This work aims to demonstrate experimentally how the mixing effect influences the polarization phase curve at small phase angles for different mineralogies relevant for asteroids, and to determine how different aggregate sizes affect the negative polarization. We prepared a set of binary and ternary mixtures with different common minerals on asteroids and one set of the same mixture with different aggregate sizes. We measured their reflected light at 530 nm with full Stokes polarimetry at phase angles ranging from 0.8{\deg} to 30{\deg}. The mixing effect of the mixtures with both bright and dark minerals significantly changes the behavior of the phase curves in terms of minimum polarization, phase angle of the minimum, and inversion angle with respect to the mineral components that are mixed together. The changes in phase curve could explain the polarization observation of particular classes of asteroids (F and L class) and other asteroids with peculiar polarization curves or photometric properties. Furthermore, we demonstrate that the negative polarization is invariant to the presence of dust aggregates up to centimeter sizes.


title: Rank-based Decomposable Losses in Machine Learning: A Survey

abstract: Recent works have revealed an essential paradigm in designing loss functions that differentiate individual losses vs. aggregate losses. The individual loss measures the quality of the model on a sample, while the aggregate loss combines individual losses/scores over each training sample. Both have a common procedure that aggregates a set of individual values to a single numerical value. The ranking order reflects the most fundamental relation among individual values in designing losses. In addition, decomposability, in which a loss can be decomposed into an ensemble of individual terms, becomes a significant property of organizing losses/scores. This survey provides a systematic and comprehensive review of rank-based decomposable losses in machine learning. Specifically, we provide a new taxonomy of loss functions that follows the perspectives of aggregate loss and individual loss. We identify the aggregator to form such losses, which are examples of set functions. We organize the rank-based decomposable losses into eight categories. Following these categories, we review the literature on rank-based aggregate losses and rank-based individual losses. We describe general formulas for these losses and connect them with existing research topics. We also suggest future research directions spanning unexplored, remaining, and emerging issues in rank-based decomposable losses.


title: Numerical stability and tensor nuclear norm

abstract: We present a notion of bilinear stability, which is to numerical stability what bilinear complexity is to time complexity. In bilinear complexity, an algorithm for evaluating a bilinear operator $\beta : \mathbb{U} \times \mathbb{V} \to \mathbb{W}$ is a decomposition $\beta = \varphi_1 \otimes \psi_1 \otimes w_1 + \dots + \varphi_r \otimes \psi_r \otimes w_r $; the number of terms $r$ captures the speed of the algorithm; and its smallest possible value, i.e., the tensor rank of $\beta$, quantifies the speed of a fastest algorithm. Bilinear stability introduces norms to the mix: The growth factor of the algorithm $\lVert \varphi_1 \rVert_* \lVert \psi_1 \rVert_* \lVert w_1 \rVert + \dots + \lVert \varphi_r \rVert_* \lVert \psi_r \rVert_* \lVert w_r \rVert$ captures the accuracy of the algorithm; and its smallest possible value, i.e., the tensor nuclear norm of $\beta$, quantifies the accuracy of a stablest algorithm. To substantiate this notion, we establish a bound for the forward error in terms of the growth factor and present numerical evidence comparing various fast algorithms for matrix and complex multiplications, showing that larger growth factors correlate with less accurate results. Compared to similar studies of numerical stability, bilinear stability is more general, applying to any bilinear operators and not just matrix or complex multiplications; is more simplistic, bounding forward error in terms of a single (growth) factor; and is truly tensorial like bilinear complexity, invariant under any orthogonal change of coordinates. As an aside, we study a new algorithm for computing complex multiplication in terms of real, much like Gauss's, but is optimally fast and stable in that it attains both tensor rank and nuclear norm.


title: Package for Fast ABC-Boost

abstract: This report presents the open-source package which implements the series of our boosting works in the past years. In particular, the package includes mainly three lines of techniques, among which the following two are already the standard implementations in popular boosted tree platforms: (i) The histogram-based (feature-binning) approach makes the tree implementation convenient and efficient. In Li et al (2007), a simple fixed-length adaptive binning algorithm was developed. In this report, we demonstrate that such a simple algorithm is still surprisingly effective compared to more sophisticated variants in popular tree platforms. (ii) The explicit gain formula in Li (20010) for tree splitting based on second-order derivatives of the loss function typically improves, often considerably, over the first-order methods. Although the gain formula in Li (2010) was derived for logistic regression loss, it is a generic formula for loss functions with second-derivatives. For example, the open-source package also includes $L_p$ regression for $p\geq 1$. The main contribution of this package is the ABC-Boost (adaptive base class boosting) for multi-class classification. The initial work in Li (2008) derived a new set of derivatives of the classical multi-class logistic regression by specifying a "base class". The accuracy can be substantially improved if the base class is chosen properly. The major technical challenge is to design a search strategy to select the base class. The prior published works implemented an exhaustive search procedure to find the base class which is computationally too expensive. Recently, a new report (Li and Zhao, 20022) presents a unified framework of "Fast ABC-Boost" which allows users to efficiently choose the proper search space for the base class. The package provides interfaces for linux, windows, mac, matlab, R, python.


title: PI control of stable nonlinear plants using projected dynamical systems

abstract: This paper presents a novel anti-windup proportional-integral controller for stable multi-input multi-output nonlinear plants. We use tools from projected dynamical systems theory to force the integrator state to remain in a desired (compact and convex) region, such that the plant input steady-state values satisfy the operational constraints of the problem. Under suitable monotonicity assumptions on the plant steady-state input-output map, we use singular perturbation theory results to prove the existence of a sufficiently small controller gain ensuring closed-loop (local) exponential stability and reference tracking for a feasible set of constant references. We suggest a particular controller design, which embeds (when possible) the right inverse of the plant steady-state input-output map. The relevance of the proposed controller scheme is validated through an application in the power systems domain, namely, the output (active and reactive) power regulation for a grid-connected synchronverter.


title: Josephson Diode Effect in High Mobility InSb Nanoflags

abstract: We report evidence of non-reciprocal dissipation-less transport in single ballistic InSb nanoflag Josephson junctions, owing to a strong spin-orbit coupling. Applying an in-plane magnetic field, we observe an inequality in supercurrent for the two opposite current propagation directions. This demonstrates that these devices can work as Josephson diodes, with dissipation-less current flowing in only one direction. For small fields, the supercurrent asymmetry increases linearly with the external field, then it saturates as the Zeeman energy becomes relevant, before it finally decreases to zero at higher fields. We show that the effect is maximum when the in-plane field is perpendicular to the current vector, which identifies Rashba spin-orbit coupling as the main symmetry-breaking mechanism. While a variation in carrier concentration in these high-quality InSb nanoflags does not significantly influence the diode effect, it is instead strongly suppressed by an increase in temperature. Our experimental findings are consistent with a model for ballistic short junctions and show that the diode effect is intrinsic to this material. Our results establish InSb Josephson diodes as a useful element in superconducting electronics.


title: Having your Privacy Cake and Eating it Too: Platform-supported Auditing of Social Media Algorithms for Public Interest

abstract: Social media platforms curate access to information and opportunities, and so play a critical role in shaping public discourse today. The opaque nature of the algorithms these platforms use to curate content raises societal questions. Prior studies have used black-box methods to show that these algorithms can lead to biased or discriminatory outcomes. However, existing auditing methods face fundamental limitations because they function independent of the platforms. Concerns of potential harm have prompted proposal of legislation in both the U.S. and the E.U. to mandate a new form of auditing where vetted external researchers get privileged access to social media platforms. Unfortunately, to date there have been no concrete technical proposals to provide such auditing, because auditing at scale risks disclosure of users' private data and platforms' proprietary algorithms. We propose a new method for platform-supported auditing that can meet the goals of the proposed legislation. Our first contribution is to enumerate the challenges of existing auditing methods to implement these policies at scale. Second, we suggest that limited, privileged access to relevance estimators is the key to enabling generalizable platform-supported auditing by external researchers. Third, we show platform-supported auditing need not risk user privacy nor disclosure of platforms' business interests by proposing an auditing framework that protects against these risks. For a particular fairness metric, we show that ensuring privacy imposes only a small constant factor increase (6.34x as an upper bound, and 4x for typical parameters) in the number of samples required for accurate auditing. Our technical contributions, combined with ongoing legal and policy efforts, can enable public oversight into how social media platforms affect individuals and society by moving past the privacy-vs-transparency hurdle.


title: Modulo Sampling of FRI Signals

abstract: The dynamic range of an analog-to-digital converter (ADC) is critical during sampling of analog signals. A modulo operation prior to sampling can be used to enhance the effective dynamic range of the ADC. Further, sampling rate of ADC too plays a crucial role and it is desirable to reduce it. Finite-rate-of-innovation (FRI) signal model, which is ubiquitous in many applications, can be used to reduce the sampling rate. In the context of modulo folding for FRI sampling, existing works operate at a very high sampling rate compared to the rate of innovation (RoI) and require a large number of samples compared to the degrees of freedom (DoF) of the FRI signal. Moreover, these approaches use infinite length filters that are practically infeasible. We consider the FRI sampling problem with a compactly supported kernel under the modulo framework. We derive theoretical guarantees and show that FRI signals could be uniquely identified by sampling above the RoI. The number of samples for identifiability is equal to the DoF. We propose a practical algorithm to estimate the FRI parameters from the modulo samples. We show that the proposed approach has the lowest error in estimating the FRI parameters while operating with the lowest number of samples and sampling rates compared to existing techniques. The results are helpful in designing cost-effective, high-dynamic-range ADCs for FRI signals.


title: Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach

abstract: Satisfiability Modulo Theories (SMT) solvers have been successfully applied to solve many problems in formal verification such as bounded model checking (BMC) for many classes of systems from integrated circuits to cyber-physical systems. Typically, BMC is performed by checking satisfiability of a possibly long, but quantifier-free formula. However, BMC problems can naturally be encoded as quantified formulas over the number of BMC steps. In this approach, we then use decision procedures supporting quantifiers to check satisfiability of these quantified formulas. This approach has previously been applied to perform BMC using a Quantified Boolean Formula (QBF) encoding for purely discrete systems, and then discharges the QBF checks using QBF solvers. In this paper, we present a new quantified encoding of BMC for rectangular hybrid automata (RHA), which requires using more general logics due to the real (dense) time and real-valued state variables modeling continuous states. We have implemented a preliminary experimental prototype of the method using the HyST model transformation tool to generate the quantified BMC (QBMC) queries for the Z3 SMT solver. We describe experimental results on several timed and hybrid automata benchmarks, such as the Fischer and Lynch-Shavit mutual exclusion algorithms. We compare our approach to quantifier-free BMC approaches, such as those in the dReach tool that uses the dReal SMT solver, and the HyComp tool built on top of nuXmv that uses the MathSAT SMT solver. Based on our promising experimental results, QBMC may in the future be an effective and scalable analysis approach for RHA and other classes of hybrid automata as further improvements are made in quantifier handling in SMT solvers such as Z3.


title: Milky Way-like galaxies: stellar population properties of dynamically defined disks, bulges and stellar halos

abstract: The formation of galaxies can be understood in terms of the assembly patterns of each type of galactic component. To perform this kind of analysis, is necessary to define some criteria to separate those components. Decomposition methods based on dynamical properties are more physically motivated than photometry-based ones. We use the unsupervised Gaussian Mixture model of \texttt{galactic structure finder} to extract the components of a sub-sample of galaxies with Milky Way-like masses from the EAGLE simulations. A clustering in the space of first and second order dynamical moments of all identified substructures reveals five types of galaxy components: thin and thick disks, stellar halos, bulges and spheroids. We analyse the dynamical, morphological and stellar population properties of these five component types, exploring to what extent these properties correlate with each other, and how much they depend on the total galaxy stellar and dark matter halo masses. All galaxies contain a bulge, a stellar halo and a disk. 60% of objects host two disks (thin and thick), and 68% host also a spheroid. The dynamical disk-to-total ratio does not depend on stellar mass, but the median rotational velocities of the two disks do. Thin disks are well separated in stellar ages, [Fe/H] and $\alpha$-enhancement from the three dispersion-dominated components, while thick disks are in between. Except for thin disks, all components show correlations among their stellar population properties: older ages mean lower metallicities and larger $\alpha$-enhancement. Finally, we quantify the weak dependence of stellar population properties on each component's dynamics.


title: Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus

abstract: This paper studies normalisation by evaluation for typed lambda calculus from a categorical and algebraic viewpoint. The first part of the paper analyses the lambda definability result of Jung and Tiuryn via Kripke logical relations and shows how it can be adapted to unify definability and normalisation, yielding an extensional normalisation result. In the second part of the paper the analysis is refined further by considering intensional Kripke relations (in the form of Artin glueing) and shown to provide a function for normalising terms, casting normalisation by evaluation in the context of categorical glueing. The technical development includes an algebraic treatment of the syntax and semantics of the typed lambda calculus that allows the definition of the normalisation function to be given within a simply typed metatheory. A normalisation-by-evaluation program in a dependently-typed functional programming language is synthesised.


title: A first look at the SMACS0723 JWST ERO: spectroscopic redshifts, stellar masses and star-formation histories

abstract: We present a first-look analysis of the JWST ERO data in the SMACS J0723.3-7327 cluster field. We begin by reporting 10 new spectroscopic redshifts from $\lambda_\mathrm{obs}=1.8-5.2\mu$m NIRSpec medium-resolution ($R=\lambda/\Delta\lambda = 1000$) data. These are determined via multiple high-SNR emission line detections, with 5 objects at $1 < z < 3$ displaying multiple rest-frame near-infrared Hydrogen Paschen lines, and 5 objects at $5 < z < 9$ displaying rest-frame optical Oxygen and Hydrogen Balmer lines. For the 5 higher-redshift galaxies we extract fluxes in 6 NIRCam bands spanning $\lambda_\mathrm{obs}=0.8-5\mu$m and perform spectral energy distribution fitting, in combination with existing HST photometry. The $7 < z < 9$ objects exhibit a U-shaped pattern across the F277W, F356W and F444W bands, indicating a Balmer break seen in emission (Balmer jump) and high-equivalent-width [O\,\textsc{iii}] emission. This indicates an extremely young stellar population, with the bulk of the current mass having formed within the past 10 Myr. We report robust stellar masses and mean stellar ages from our spectral fitting, with the four $z > 6$ galaxies exhibiting low stellar masses from log$_{10}(M_*/$M$_\odot)=7.1-8.2$ and correspondingly young mean stellar ages of only a few Myr. This work highlights the critical importance of combining large upcoming NIRCam surveys with NIRSpec follow-up to measure the spectroscopic redshifts necessary to robustly constrain physical parameters.


title: Simplifying Clustering with Graph Neural Networks

abstract: The objective functions used in spectral clustering are usually composed of two terms: i) a term that minimizes the local quadratic variation of the cluster assignments on the graph and; ii) a term that balances the clustering partition and helps avoiding degenerate solutions. This paper shows that a graph neural network, equipped with suitable message passing layers, can generate good cluster assignments by optimizing only a balancing term. Results on attributed graph datasets show the effectiveness of the proposed approach in terms of clustering performance and computation time.


title: The quasi-Keplerian motion in the regular Bardeen spacetime

abstract: The second post-Newtonian solution for the quasi-Keplerian motion of a test particle in the gravitational field of regular Bardeen black hole is derived. The solution is formulated in terms of the test particle's orbital energy and angular momentum, as well as the mass and magnetic charge of the Bardeen black hole. The leading effects of the magnetic charge on the test particle's orbit and motion including perihelion precession are displayed explicitly. In particular, it is shown that to the second post-Newtonian order the magnetic charge does not affect the test particle's orbital period.


title: Density Functional Theory Study of the Hydrogen Evolution Reaction in Haeckelite Boron Nitride Quantum Dots

abstract: To satisfy rising energy needs and to handle the forthcoming worldwide climate transformation, major research attention has been drawn to environmentally friendly, renewable, and abundant energy resources. Hydrogen plays an ideal and significant role is such resources, due to its non-carbon-based energy and production through clean energy. In this work, we have explored the catalytic activity of a newly predicted haeckelite boron nitride quantum dot (haeck-BNQD), constructed from the infinite BN sheet, for its utilization in hydrogen production. Density functional theory calculations are employed to investigate geometry optimization, electronic and adsorption mechanism of haeck-BNQD using Gaussian16 package, employing the hybrid B3LYP and wB97XD functionals, along with 6- 31G(d,p) basis set. A number of physical quantities such as HOMO/LUMO energies, the density of states, hydrogen atom adsorption energies, Mulliken populations, Gibbs free energy, work functions, overpotentials, etc., have been computed and analyzed in the context of the catalytic performance of haeck-BNQD for the hydrogen-evolution reaction (HER). Based on our calculations, we predict that the best catalytic performance will be obtained for H adsorption on top of the squares or the octagons of haeck-BNQD. We hope that our prediction of the most active catalytic sites on haeck-BNQD for HER will be put to test in future experiments.