title: Quick and Reliable LoRa Physical-layer Data Aggregation through Multi-Packet Reception

abstract: This paper presents a Long Range (LoRa) physical-layer data aggregation system (LoRaPDA) that aggregates data (e.g., sum, average, min, max) directly in the physical layer. In particular, after coordinating a few nodes to transmit their data simultaneously, the gateway leverages a new multi-packet reception (MPR) approach to compute aggregate data from the phase-asynchronous superimposed signal. Different from the analog approach which requires additional power synchronization and phase synchronization, our MRP-based digital approach is compatible with commercial LoRa nodes and is more reliable. Different from traditional MPR approaches that are designed for the collision decoding scenario, our new MPR approach allows simultaneous transmissions with small packet arrival time offsets, and addresses a new co-located peak problem through the following components: 1) an improved channel and offset estimation algorithm that enables accurate phase tracking in each symbol, 2) a new symbol demodulation algorithm that finds the maximum likelihood sequence of nodes' data, and 3) a soft-decision packet decoding algorithm that utilizes the likelihoods of several sequences to improve decoding performance. Trace-driven simulation results show that the symbol demodulation algorithm outperforms the state-of-the-art MPR decoder by 5.3$\times$ in terms of physical-layer throughput, and the soft decoder is more robust to unavoidable adverse phase misalignment and estimation error in practice. Moreover, LoRaPDA outperforms the state-of-the-art MPR scheme by at least 2.1$\times$ for all SNRs in terms of network throughput, demonstrating quick and reliable data aggregation.


title: Acoustic surface modes on metasurfaces with embedded next-nearest neighbor coupling

abstract: We design, simulate, and experimentally characterize an acoustic metasurface comprising of a 1D array of open, sound-hard, cavities, modulated with beyond-nearest-neighbor (BNN) couplings in the form of additional connecting cavities embedded beneath the surface. The hidden complex structure is realized readily with additive manufacturing techniques (3D printing). The dispersive properties of the supported localized acoustic surface waves are influenced by competing power-flow channels provided by the BNN couplings, that generate extrema in the dispersion spectra within the first Brillouin zone. The structure supports negatively dispersing 'backwards' waves that we experimentally verify. Such structures thereby provide a route to enhanced acoustic sensing by acoustic metasurfaces.


title: Pedagogic Challenges in Teaching Cyber Security -- a UK Perspective

abstract: Cyber security has become an issue of national concern in the UK, USA and many other countries worldwide. Universities have reacted to this by launching numerous cyber security degree programmes. In this paper we explore the structure of these degrees and in particular highlight the challenges faced by academics teaching on them. We explore the issues relating to student expectations and the CSI effect in students entering cyber security. We highlight the science vs tools debate to bring focus to some of the pedagogic tensions between students/industry and the academics who teach on the degree courses. Cyber security is subject to numerous ethical issues and nowhere is this more so than in a university environment. We analyse some of the ethical teaching related issues in cyber security. This paper will be of interest to professionals in industry as well as academics interested in exploring the shape, flavour and structure of cyber security related degree courses and also the challenges presented to the academics that teach these degrees.


title: Diffusion of cosmic-ray electrons in M 51 observed with LOFAR at 54 MHz

abstract: Context. The details of cosmic-ray transport have a strong impact on galaxy evolution. The peak of the cosmic-ray energy distribution is observable in the radio continuum using the electrons as proxy. Aims. We measure the length that the cosmic-ray electrons (CRE) are transported during their lifetime in the nearby galaxy M 51 across one order of magnitude in cosmic-ray energy (approximately 1-10 GeV). To this end we use new ultra-low frequency observations from the LOw Frequency ARay (LOFAR) at 54 MHz and ancillary data between 144 and 8350 MHz. Methods. As the the CRE originate from supernova remnants, the radio maps are smoothed in comparison to the distribution of the star formation. By convolving the map of the star-formation rate (SFR) surface density with a Gaussian kernel, we can linearise the radio-SFR relation. The best-fitting convolution kernel is then our estimate of the CRE transport length. Results. We find that the CRE transport length increases at low frequencies, as expected since the CRE have longer lifetimes. The CRE transport length is $l_{\rm CRE} = \sqrt{4Dt_{\rm syn}}$, where $D$ is the isotropic diffusion coefficient and $t_{\rm syn}$ is the CRE lifetime as given by synchrotron and inverse Compton losses. We find that the data can be well fitted by diffusion, where $D=(2.14\pm 0.13) \times 10^{28}~\rm cm^2\,s^{-1}$. With $D\propto E^{0.001\pm 0.185}$, the diffusion coefficient is independent of the CRE energy $E$ in the range considered. Conclusions. Our results suggest that the transport of GeV-cosmic ray electrons in the star-forming discs of galaxies is governed by energy-independent diffusion.


title: PT-symmetric quantum Rabi model

abstract: In this work, we explore the PT-symmetric quantum Rabi model, which describes a PT-symmetric qubit coupled to a quantized light field. By employing the adiabatic approximation (AA), we are able to solve this model analytically in the parameter regime of interest and analyze various physical aspects. We investigate the static and dynamic properties of the model, using both the AA and numerical diagonalization. Our analysis reveals a multitude of exceptional points (EPs) that are closely connected with the exactly solvable points in the Hermitian counterpart of the model. Intriguingly, these EPs vanish and revive depending on the light-matter coupling strength. Furthermore, we discuss the time evolution of physical observables under the non-Hermitian Hamiltonian. Rich and exotic behaviors are observed in both strong and ultra-strong coupling regimes. Our work extends the theory of PT symmetry into the full quantum light-matter interaction regime and provides insights that can be readily enlarged to a broad class of quantum optical systems.


title: Non symmetric Cauchy kernel, crystals and last passage percolation

abstract: We use non-symmetric Cauchy kernel identities to get the law of last passagepercolation models in terms of Demazure characters. The construction is basedon some restrictions of the RSK correspondence that we rephrase in a unifiedway which is compatible with crystal basis theory.


title: First measurement of prompt and non-prompt ${\rm D^{*+}}$ vector meson spin alignment in pp collisions at $\sqrt{s} = 13$ TeV

abstract: This letter reports the first measurement of spin alignment, with respect to the helicity axis, for ${\rm D^{*+}}$ vector mesons and their charge conjugates from charm-quark hadronisation (prompt) and from beauty-meson decays (non-prompt) in hadron collisions. The measurements were performed at midrapidity ($|y|<0.8$) as a function of transverse momentum ($p_{\rm T}$) in proton-proton (pp) collisions collected by ALICE at the centre-of-mass energy $\sqrt{s} = 13$ TeV. The diagonal spin density matrix element $\rho_{00}$ of ${\rm D^{*+}}$ mesons was measured from the angular distribution of the ${\rm D^{*+}} \to {\rm D}^0 (\to {\rm K}^{-}\pi^{+}) \pi^+$ decay products, in the ${\rm D^{*+}}$ rest frame, with respect to the ${\rm D^{*+}}$ momentum direction in the pp centre of mass frame. The $\rho_{00}$ value for prompt ${\rm D^{*+}}$ mesons is consistent with $1/3$, which implies no spin alignment. However, for non-prompt ${\rm D^{*+}}$ mesons an evidence of $\rho_{00}$ larger than $1/3$ is found. The measured value of the spin density element is $\rho_{00}=0.455\pm0.022(\text{stat.})\pm0.035(\text{syst.})$ in the $5 < p_{\rm T} < 20$ GeV/$c$ interval, which is consistent with a PYTHIA 8 Monte Carlo simulation coupled with the EVTGEN package, which implements the helicity conservation in the decay of ${\rm D^{*+}}$ meson from beauty mesons. In non-central heavy-ion collisions, the spin of the ${\rm D^{*+}}$ mesons may be globally aligned with the direction of the initial angular momentum and magnetic field. Based on the results for pp collisions reported in this letter it is shown that alignment of non-prompt ${\rm D^{*+}}$ mesons due to the helicity conservation coupled to the collective anisotropic expansion may mimic the signal of global spin alignment in heavy-ion collisions.


title: Patches of developable surfaces bounded by NURBS curves

abstract: In this talk we review the problem of constructing a developable surface patch bounded by two rational or NURBS (Non-Uniform Rational B-spline) curves.


title: A-D hypersurface of $su(n)$ $\mathcal{N}=2$ supersymmetric gauge theory with $N_f = 2n-2$ flavors

abstract: In the previous letter, arXiv:2210.16738[hep-th], we found a set of flavor mass relations as constraints that the $\beta$-deformed $A_{n-1}$ quiver matrix model restores the maximal symmetry in the massive scaling limit and reported the existence of Argyres-Douglas critical hypersurface. In this letter, we derive the concrete conditions on moduli parameters which maximally degenerates the Seiberg-Witten curve while maintaining the flavor mass relations. These conditions define the A-D hypersurface.


title: Bubble nucleation and gravitational wave from holography

abstract: We investigate the bounce solution in the holographic QCD and electroweak models with first-order phase transition. The strength parameter $\alpha$, inverse duration time $\beta/H$, and bubble wall velocity $v_w$ in the gravitational wave power spectra are calculated by holographic bounce solution. In contrast to the results of field theory, we find the parameter $\alpha$ is about $\mathcal{O}(1)$ and $\beta/H$ is about $10^4$, which imply that the phase transition is fast and strong. The critical, nucleation and percolation temperatures of the phase transition are close to each other in the holographic model. In addition, the velocity $v_w$ is found to be less than the sound speed of the plasma $c_{s}=1/\sqrt{3}$, which corresponds to the deflagration scenario. For QCD phase transition, the gravitational wave power spectrum can reach $10^{-13}-10^{-14}$ around the peak frequency of 0.01 Hz, which can be detected by BBO and Ultimate-DECIGO. For electroweak phase transition, the gravitational wave power spectrum can reach $10^{-12}-10^{-16}$ around the peak frequency $1-10$ Hz. Moreover, the primordial black hole is not favorable for formation due to the large parameter $\beta/H$ and small velocity $v_w$.


title: Central Automorphisms of Zappa-Sz\'{e}p Products

abstract: In this paper, the central automorphism group of the Zappa-Sz\'{e}p product of two groups is obtained.


title: FastMIM: Expediting Masked Image Modeling Pre-training for Vision

abstract: The combination of transformers and masked image modeling (MIM) pre-training framework has shown great potential in various vision tasks. However, the pre-training computational budget is too heavy and withholds the MIM from becoming a practical training paradigm. This paper presents FastMIM, a simple and generic framework for expediting masked image modeling with the following two steps: (i) pre-training vision backbones with low-resolution input images; and (ii) reconstructing Histograms of Oriented Gradients (HOG) feature instead of original RGB values of the input images. In addition, we propose FastMIM-P to progressively enlarge the input resolution during pre-training stage to further enhance the transfer results of models with high capacity. We point out that: (i) a wide range of input resolutions in pre-training phase can lead to similar performances in fine-tuning phase and downstream tasks such as detection and segmentation; (ii) the shallow layers of encoder are more important during pre-training and discarding last several layers can speed up the training stage with no harm to fine-tuning performance; (iii) the decoder should match the size of selected network; and (iv) HOG is more stable than RGB values when resolution transfers;. Equipped with FastMIM, all kinds of vision backbones can be pre-trained in an efficient way. For example, we can achieve 83.8%/84.1% top-1 accuracy on ImageNet-1K with ViT-B/Swin-B as backbones. Compared to previous relevant approaches, we can achieve comparable or better top-1 accuracy while accelerate the training procedure by $\sim$5$\times$. Code can be found in https://github.com/ggjy/FastMIM.pytorch.


title: A Hausdorff-measure boundary element method for acoustic scattering by fractal screens

abstract: Sound-soft fractal screens can scatter acoustic waves even when they have zero surface measure. To solve such scattering problems we make what appears to be the first application of the boundary element method (BEM) where each BEM basis function is supported in a fractal set, and the integration involved in the formation of the BEM matrix is with respect to a non-integer order Hausdorff measure rather than the usual (Lebesgue) surface measure. Using recent results on function spaces on fractals, we prove convergence of the Galerkin formulation of this ``Hausdorff BEM'' for acoustic scattering in $\mathbb{R}^{n+1}$ ($n=1,2$) when the scatterer, assumed to be a compact subset of $\mathbb{R}^n\times\{0\}$, is a $d$-set for some $d\in (n-1,n]$, so that, in particular, the scatterer has Hausdorff dimension $d$. For a class of fractals that are attractors of iterated function systems, we prove convergence rates for the Hausdorff BEM and superconvergence for smooth antilinear functionals, under certain natural regularity assumptions on the solution of the underlying boundary integral equation. We also propose numerical quadrature routines for the implementation of our Hausdorff BEM, along with a fully discrete convergence analysis, via numerical (Hausdorff measure) integration estimates and inverse estimates on fractals, estimating the discrete condition numbers. Finally, we show numerical experiments that support the sharpness of our theoretical results, and our solution regularity assumptions, including results for scattering in $\mathbb{R}^2$ by Cantor sets, and in $\mathbb{R}^3$ by Cantor dusts.


title: OAMixer: Object-aware Mixing Layer for Vision Transformers

abstract: Patch-based models, e.g., Vision Transformers (ViTs) and Mixers, have shown impressive results on various visual recognition tasks, alternating classic convolutional networks. While the initial patch-based models (ViTs) treated all patches equally, recent studies reveal that incorporating inductive bias like spatiality benefits the representations. However, most prior works solely focused on the location of patches, overlooking the scene structure of images. Thus, we aim to further guide the interaction of patches using the object information. Specifically, we propose OAMixer (object-aware mixing layer), which calibrates the patch mixing layers of patch-based models based on the object labels. Here, we obtain the object labels in unsupervised or weakly-supervised manners, i.e., no additional human-annotating cost is necessary. Using the object labels, OAMixer computes a reweighting mask with a learnable scale parameter that intensifies the interaction of patches containing similar objects and applies the mask to the patch mixing layers. By learning an object-centric representation, we demonstrate that OAMixer improves the classification accuracy and background robustness of various patch-based models, including ViTs, MLP-Mixers, and ConvMixers. Moreover, we show that OAMixer enhances various downstream tasks, including large-scale classification, self-supervised learning, and multi-object recognition, verifying the generic applicability of OAMixer


title: Broadband Digital Over-the-Air Computation for Wireless Federated Edge Learning

abstract: This paper presents the first orthogonal frequency-division multiplexing(OFDM)-based digital over-the-air computation (AirComp) system for wireless federated edge learning, where multiple edge devices transmit model data simultaneously using non-orthogonal OFDM subcarriers, and the edge server aggregates data directly from the superimposed signal. Existing analog AirComp systems often assume perfect phase alignment via channel precoding and utilize uncoded analog transmission for model aggregation. In contrast, our digital AirComp system leverages digital modulation and channel codes to overcome phase asynchrony, thereby achieving accurate model aggregation for phase-asynchronous multi-user OFDM systems. To realize a digital AirComp system, we develop a medium access control (MAC) protocol that allows simultaneous transmissions from different users using non-orthogonal OFDM subcarriers, and put forth joint channel decoding and aggregation decoders tailored for convolutional and LDPC codes. To verify the proposed system design, we build a digital AirComp prototype on the USRP software-defined radio platform, and demonstrate a real-time LDPC-coded AirComp system with up to four users. Trace-driven simulation results on test accuracy versus SNR show that: 1) analog AirComp is sensitive to phase asynchrony in practical multi-user OFDM systems, and the test accuracy performance fails to improve even at high SNRs; 2) our digital AirComp system outperforms two analog AirComp systems at all SNRs, and approaches the optimal performance when SNR $\geq$ 6 dB for two-user LDPC-coded AirComp, demonstrating the advantage of digital AirComp in phase-asynchronous multi-user OFDM systems.


title: Design guidelines for two-dimensional transition metal dichalcogenide alloys

abstract: Two-dimensional (2D) materials and Transition Metal Dichalcogenides (TMD) in particular are at the forefront of nanotechnology. To tailor properties for engineering applications, alloying strategies used for bulk metals in the last century need to be extended to this novel class of materials. Here we present a systematic analysis of the phase behaviour of substitutional 2D alloys in the TMD family on both the metal and chalcogenide site. The phase behaviour is quantified in terms of a metastability metric and benchmarked against systematic computational screening of configurational energy landscapes. The resulting Pettifor maps can be used to identify broad trends across chemical spaces and as starting point for setting up rational search strategies in phase space, thus allowing for targeted computational analysis of properties on likely thermodynamically stable compounds. The results presented here also constitute a useful guideline for synthesis of binary metal 2D TMDs alloys via a range of synthesis techniques.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.app-ph physics.chem-ph


title: Synthetic dust polarization emission maps at 353 GHz for an observer placed inside a Local Bubble-like cavity

abstract: We present a study of synthetic observations of polarized dust emission at 353 GHz as seen by an observer within a cavity in the interstellar medium (ISM). The cavity is selected from a magnetohydrodynamic simulation of the local ISM with time-dependent chemistry, star formation, and stellar feedback in form of supernova explosions with physical properties comparable to the Local Bubble ones. We find that the local density enhancement together with the coherent magnetic field in the cavity walls makes the selected candidate a translucent polarization filter to the emission coming from beyond its domains. This underlines the importance of studying the Local Bubble in further detail. The magnetic field lines inferred from synthetic dust polarization data are qualitatively in agreement with the all-sky maps of polarized emission at 353 GHz from the Planck satellite in the latitudes interval 15deg <= |b| <= 65deg. As our numerical simulation allows us to track the Galactic midplane only out to distances of 250 pc, we exclude the region |b|<15deg from our analysis. At large Galactic latitudes, our model exhibits a high degree of small-scale structures. On the contrary, the observed polarization pattern around the Galactic poles is relatively coherent and regular, and we argue that the global toroidal magnetic field of the Milky Way is important for explaining the data at |b| > 65deg. We show that from our synthetic polarization maps, it is difficult to distinguish between an open and a closed Galactic cap using the inferred magnetic field morphology alone.


title: Generation of subcycle isolated attosecond pulses by pumping ionizing gating

abstract: We present a novel approach named as pumping ionizing gating (PIG) for the generation of isolated attosecond pulses (IAPs). In this regime, a short laser is used to ionize a pre-existing gas grating, creating a fast-extending plasma grating(FEPG) having an ionization front propagating with the velocity of light. A low-intensity long counterpropagating pump pulse is then reflected by a very narrow region of the ionization front, only where the Bragg conditions for resonant reflection is satisfied. Consequently, the pump reflection is confined within a sub-cycle region called PIG, and forms a wide-band coherent IAP in combination with the frequency up-conversion effect due to the plasma gradient. This approach results in a new scheme to generate IAPs fromlong picosecond pump pulses. Three-dimensional (3D) simulations show that a 1.6-ps, 1-{\mu}m pump pulse can be used to generate a 330 as laser pulse with a peak intensity approximately 33 times that of the pump and a conversion efficiency of around 0.1%.These results highlight the potential of the PIG method for generating IAPs with high conversion efficiency and peak intensity.


title: Trajectory Privacy Protection Mechanism based on Social Attributes

abstract: The current trajectory privacy protection technology only considers the temporal and spatial attributes of trajectory data, but ignores the social attributes. However, there is an intrinsic relationship between social attributes and human activity trajectories, which brings new challenges to trajectory privacy protection, making existing trajectory privacy protection technologies unable to resist trajectory privacy attacks based on social attributes. To this end, this paper first studies the social privacy attack in the trajectory data, builds a social privacy attack model based on the fusion of "space-time" features, and reveals the internal impact of the spatial and temporal features in the trajectory data on social privacy leaks. -Anonymous algorithm and trajectory release privacy protection provide theoretical support. On this basis, integrate social attributes into trajectory privacy protection technology, design trajectory k-anonymity algorithm based on "space-time-social" three-dimensional mobile model, and construct trajectory data based on "space-time-social-semantic" multi-dimensional correlation Publish privacy-preserving models.


title: A fast and Accurate Sketch Method for Estimating User Similarities over Trajectory Data

abstract: In a complex urban environment, due to the unavoidable interruption of GNSS positioning signals and the accumulation of errors during vehicle driving, the collected vehicle trajectory data is likely to be inaccurate and incomplete. A weighted trajectory reconstruction algorithm based on a bidirectional RNN deep network is proposed. GNSS/OBD trajectory acquisition equipment is used to collect vehicle trajectory information, and multi-source data fusion is used to realize bidirectional weighted trajectory reconstruction. At the same time, the neural arithmetic logic unit (NALU) is introduced into the trajectory reconstruction model to strengthen the extrapolation ability of the deep network and ensure the accuracy of trajectory prediction, which can improve the robustness of the algorithm in trajectory reconstruction when dealing with complex urban road sections. The actual urban road section was selected for testing experiments, and a comparative analysis was carried out with existing methods. Through root mean square error (RMSE, root-mean-square error) and using Google Earth to visualize the reconstructed trajectory, the experimental results demonstrate the effectiveness and reliability of the proposed algorithm.


title: Precision cosmology with primordial GW backgrounds in presence of astrophysical foregrounds

abstract: The era of Gravitational-Wave (GW) astronomy will grant the detection of the astrophysical GW background from unresolved mergers of binary black holes, and the prospect of probing the presence of primordial GW backgrounds. In particular, the low-frequency tail of the GW spectrum for causally-generated primordial signals (like a phase transition) offers an excellent opportunity to measure unambiguously cosmological parameters as the equation of state of the universe, or free-streaming particles at epochs well before recombination. We discuss whether this programme is jeopardised by the uncertainties on the astrophysical GW foregrounds that coexist with a primordial background. We detail the motivated assumptions under which the astrophysical foregrounds can be assumed to be known in shape, and only uncertain in their normalisation. In this case, the sensitivity to a primordial signal can be computed by a simple and numerically agile procedure, where the optimal filter function subtracts the components of the astrophysical foreground that are close in spectral shape to the signal. We show that the degradation of the sensitivity to the signal in presence of astrophysical foregrounds is limited to a factor of a few, and only around the frequencies where the signal is closer to the foregrounds. Our results highlight the importance of modelling the contributions of eccentric or intermediate-mass black hole binaries to the GW background, to consolidate the prospects to perform precision cosmology with primordial GW backgrounds.


title: Tropical descendant invariants with line constraints

abstract: Via correspondence theorems, rational log Gromov--Witten invariants of the plane can be computed in terms of tropical geometry. For many cases, there exists a range of algorithms to compute tropically: for instance, there are (generalized) lattice path counts and floor diagram techniques. So far, the cases for which there exist algorithms do not extend to non-stationary rational descendant log Gromov--Witten invariants, i.e.\ those where Psi-conditions do not have to be matched up with the evaluation of a point. The case of rational descendant log Gromov--Witten invariants satisfying point conditions (without Psi-conditions) and one Psi-condition of any power combined with a line plays a particularly important role, since it shows up in mirror symmetry as coefficients of the $J$-function. We provide recursive formulas to compute those numbers via tropical methods. Our method is inspired by the tropical proof of the WDVV equations. We also extend our study to counts involving two lines, both paired up with a Psi-condition, appearing with power one.


title: Plausible deniability for privacy-preserving data synthesis

abstract: In the field of privacy protection, publishing complete data (especially high-dimensional data sets) is one of the most challenging problems. The common encryption technology can not deal with the attacker to take differential attack to obtain sensitive information, while the existing differential privacy protection algorithm model takes a long time for high-dimensional calculation and needs to add noise to reduce data accuracy, which is not suitable for high-dimensional large data sets. In view of this situation, this paper designs a complete data synthesis scheme to protect data privacy around the concept of "plausible denial". Firstly, the paper provides the theoretical support for the difference between "plausible data" and "plausible data". In the process of scheme designing, this paper decomposes the scheme design into construction data synthesis module and privacy test module, then designs algorithm models for them respectively and realizes the function of privacy protection. When evaluating the feasibility of the scheme, the paper selects the Results of the 2013 community census in the United States as the high-dimensional data set, uses the simulation program that is based on Python to test and analyzes the efficiency and reliability of the data synthesis scheme. This portion focuses on the evaluation of the privacy protection effectiveness of the scheme.


title: Dimensionality reduction on complex vector spaces for Euclidean distance with dynamic weights

abstract: The weighted Euclidean norm $\|x\|_w$ of a vector $x\in \mathbb{R}^d$ with weights $w\in \mathbb{R}^d$ is the Euclidean norm where the contribution of each dimension is scaled by a given weight. Approaches to dimensionality reduction that satisfy the Johnson-Lindenstrauss (JL) lemma can be easily adapted to the weighted Euclidean distance if weights are fixed: it suffices to scale each dimension of the input vectors according to the weights, and then apply any standard approach. However, this is not the case when weights are unknown during the dimensionality reduction or might dynamically change. We address this issue by providing an approach that maps vectors into a smaller complex vector space, but still allows to satisfy a JL-like property for the weighted Euclidean distance when weights are revealed. Specifically, let $\Delta\geq 1, \epsilon \in (0,1)$ be arbitrary values, and let $S\subset \mathbb{R}^d$ be a set of $n$ vectors. We provide a weight-oblivious linear map $g:\mathbb{R}^d \rightarrow \mathbb{C}^k$, with $k=\Theta(\epsilon^{-2}\Delta^4 \ln{n})$, to reduce vectors in $S$, and an estimator $\rho: \mathbb{C}^k \times \mathbb{R}^d \rightarrow \mathbb R$ with the following property. For any $x\in S$, the value $\rho(g(x), w)$ is an unbiased estimate of $\|x\|^2_w$, and $\rho$ is computed from the reduced vector $g(x)$ and the weights $w$. Moreover, the error of the estimate $\rho((g(x), w)$ depends on the norm distortion due to weights and parameter $\Delta$: for any $x\in S$, the estimate has a multiplicative error $\epsilon$ if $\|x\|_2\|w\|_2/\|x\|_w\leq \Delta$, otherwise the estimate has an additive $\epsilon \|x\|^2_2\|w\|^2_2/\Delta^2$ error. Finally, we consider the estimation of weighted Euclidean norms in streaming settings: we show how to estimate the weighted norm when the weights are provided either after or concurrently with the input vector.


title: OpenAPI Specification Extended Security Scheme: A method to reduce the prevalence of Broken Object Level Authorization

abstract: APIs have become the prominent technology of choice for achieving inter-service communications. The growth of API deployments has driven the urgency in addressing its lack of security standards. API Security is a topic for concern given the absence of standardized authorization in the OpenAPI standard, improper authorization opens the possibility for known and unknown vulnerabilities, which in the past years have been exploited by malicious actors resulting in data loss. This paper examines the number one vulnerability in API Security: Broken Object Level Authorization(BOLA), and proposes methods and tools to reduce the prevalence of this vulnerability. BOLA affects various API frameworks, our scope is fixated on the OpenAPI Specification(OAS). The OAS is a standard for describing and implementing APIs; popular OAS Implementations are FastAPI, Connexion (Flask), and many more. These implementations carry the pros and cons that are associated with the OASs knowledge of API properties. The Open API Specifications security properties do not address object authorization and provide no standardized approach to define such object properties. This leaves object-level security at the mercy of developers, which presents an increased risk of unintentionally creating attack vectors. Our aim is to tackle this void by introducing 1) the OAS ESS (OpenAPI Specification Extended Security Scheme) which includes declarative security controls for objects in OAS (design-based approach), and 2) an authorization module that can be imported to API services (Flask/FastAPI) to enforce authorization checks at the object level (development-based approach). When building an API service, a developer can start with the API design (specification) or its code. In both cases, a set of mechanisms are introduced to help developers mitigate and reduce the prevalence of BOLA.


title: Model-driven Engineering of Manufacturing Automation Software Projects -- A SysML-based Approach

abstract: This paper comprises a SysML-based approach to support the model-driven engineering (MDE) of Manufacturing Automation Software Projects (MASP). The Systems Modeling Language (SysML) is adapted to define the SysML-AT (SysML for automation), a specialized language profile that covers (non-)functional requirements, corresponding software applications and properties of proprietary hardware components. Furthermore, SysML-AT supports an automated software generation for run-time environments conforming to IEC 61131-3. A prototypical tool support was realized for adapted SysML Parametric Diagrams (PD) inside an industrial automation software development tool. Coupling the model editor and online data from the provided run-time environment enables direct debugging inside the model. The approach was evaluated by several case studies and additional usability experiments. With the latter, the suitability of the MDE approach for future users was proven.


title: Optimal control of nonlocal continuity equations: numerical solution

abstract: The paper addresses an optimal ensemble control problem for nonlocal continuity equations on the space of probability measures. We admit the general nonlinear cost functional, and an option to directly control the nonlocal terms of the driving vector field. For this problem, we design a descent method based on Pontryagin's maximum principle (PMP). To this end, we derive a new form of PMP with a decoupled Hamiltonian system. Specifically, we extract the adjoint system of linear nonlocal balance laws on the space of signed measures and prove its well-posedness. As an implementation of the designed descent method, we propose an indirect deterministic numeric algorithm with backtracking. We prove the convergence of the algorithm and illustrate its modus operandi by treating a simple case involving a Kuramoto-type model of a population of interacting oscillators.


title: Leftward, Rightward and Complete Exit Time Distributions of Jump Processes

abstract: First-passage properties of continuous stochastic processes confined in a 1--dimensional interval are well described. However, for jump processes (discrete random walks), the characterization of the corresponding observables remains elusive, despite their relevance in various contexts. Here we derive exact asymptotic expressions for the leftward, rightward and complete exit time distributions from the interval $[0,x]$ for symmetric jump processes starting from $x_0=0$, in the large $x$ and large time limit. We show that both the leftward probability $F_{\underline{0},x}(n)$ to exit through $0$ at step $n$ and rightward probability $F_{0,\underline{x}}(n)$ to exit through $x$ at step $n$ exhibit a universal behavior dictated by the large distance decay of the jump distribution parameterized by the Levy exponent $\mu$. In particular, we exhaustively describe the $n\ll x^\mu$ and $n\gg x^\mu$ limits and obtain explicit results in both regimes. Our results finally provide exact asymptotics for exit time distributions of jump processes in regimes where continuous limits do not apply.


title: Deciphering Colour Building Blocks of Massive Multiparton Amplitudes at 4-loops and beyond

abstract: The soft function in non-abelian gauge theories exponentiate, and their logarithms can be organised in terms of the collections of Feynman diagrams called Cwebs. The colour factors that appear in the logarithm are controlled by the web mixing matrices. Direct construction of the diagonal blocks of Cwebs using the new concepts of Normal ordering, basis Cweb and Fused-Web was recently carried out in~\cite{Agarwal:2022wyk}. In this article we establish correspondence between the boomerang webs introduced in ~\cite{Gardi:2021gzz} and non-boomerang Cwebs. We use this correspondence together with Uniqueness theorem and Fused web formalism introduced in ~\cite{Agarwal:2022wyk} to obtain the diagonal blocks of four general classes of Cwebs to all orders in perturbation theory which also cover all the four loop Boomerang Cwebs connecting four Wilson lines. We also fully construct the mixing matrix of a special Cweb to all orders in perturbation theory.


title: The steady states of strong-KPP reactions in general domains

abstract: We study the uniqueness of steady states of strong-KPP reaction--diffusion equations in general domains under various boundary conditions. We show that positive bounded steady states are unique provided the domain satisfies a certain spectral nondegeneracy condition. We also formulate a number of open problems and conjectures.


title: Land use/land cover dynamics on vulnerable regions in Uruguay approached by a method combining Maximum Entropy and Population Dynamics

abstract: We present an exploratory population dynamics approach, described by Lotka-Volterra (LV) generalized equations, to explain/predict the dynamics and competition between land use/land cover (LULC) classes over vulnerable regions in Uruguay. We use the Mapbiomas-Pampa dataset composed by 20 annual LULC maps from 2000-2019. From these LULC maps we extract the main LULC classes, their spatial distribution and the time series of areas covered for each class. The interaction coefficients between species are inferred through the pairwise maximum entropy (PME) method from the spatial covariance matrices for different training periods. The main finding is that this LVPME method globally outperforms the more traditional Markov chains approach at predicting the trajectories of areas of LULC classes.


title: On a Navier-Stokes-Cahn-Hilliard System for Viscous Incompressible Two-phase Flows with Chemotaxis, Active Transport and Reaction

abstract: We analyze a Navier-Stokes-Cahn-Hilliard model for viscous incompressible two-phase flows where the mechanisms of chemotaxis, active transport and reaction are taken into account. The evolution system couples the Navier-Stokes equations for the volume-averaged fluid velocity, a convective Cahn-Hilliard equation for the phase-field variable, and an advection-diffusion equation for the density of certain chemical substance. This system is thermodynamically consistent and generalizes the well-known ``Model H'' for viscous incompressible binary fluids. For the initial-boundary value problem with a physically relevant singular potential in a general bounded smooth domain $\Omega\subset \mathbb{R}^3$, we first prove the existence and uniqueness of a local strong solution. When the initial velocity is small and the initial phase-field function as well as the initial chemical density are small perturbations of a local minimizer of the free energy, we establish the existence of a unique global strong solution. Afterwards, we show the uniqueness of asymptotic limit for any global strong solution as time goes to infinity and provide an estimate on the convergence rate. The proofs for global well-posedness and long-time behavior are based on the dissipative structure of the system and the Lojasiewicz-Simon approach. Our analysis reveals the effects of chemotaxis, active transport and a long-range interaction of Oono's type on the global dynamics of the coupled system.


title: Gradient boosting decision trees classification of blazars of uncertain type in the fourth Fermi-LAT catalog

abstract: The deepest all-sky survey available in the $\gamma$-ray band - the last release of the Fermi-LAT catalogue (4FGL-DR3) based on the data accumulated in 12 years, contains more than 6600 sources. The largest population among the sources is blazar subclass - 3743, $60.1\%$ of which are classified as BL Lacertae objects (BL Lacs) or Flat Spectrum Radio Quasars (FSRQs), while the rest are listed as blazar candidates of uncertain type (BCU) as their firm optical classification is lacking. The goal of this study is to classify BCUs using different machine learning algorithms which are trained on the spectral and temporal properties of already classified BL Lacs and FSRQs. Artificial Neural Networks, \textit{XGBoost} and LightGBM algorithms are employed to construct predictive models for BCU classification. Using 18 input parameters of 2219 BL Lacs and FSRQs, we train (80\% of the sample) and test (20\%) these algorithms and find that LightGBM model, state-of-the-art classification algorithm based on gradient boosting decision trees, provides the highest performance. Based on our best model, we classify 825 BCUs as BL Lac candidates and 405 as FSRQ candidates, however, 190 remain without a clear prediction but the percentage of BCUs in 4FGL is reduced to 5.1\%. The $\gamma$-ray photon index, synchrotron peak frequency, and high energy peak frequency of a large sample are used to investigate the relationship between FSRQs and BL Lacs (LBLs, IBLs, and HBLs).


title: Category Theory for Quantum Natural Language Processing

abstract: This thesis introduces quantum natural language processing (QNLP) models based on a simple yet powerful analogy between computational linguistics and quantum mechanics: grammar as entanglement. The grammatical structure of text and sentences connects the meaning of words in the same way that entanglement structure connects the states of quantum systems. Category theory allows to make this language-to-qubit analogy formal: it is a monoidal functor from grammar to vector spaces. We turn this abstract analogy into a concrete algorithm that translates the grammatical structure onto the architecture of parameterised quantum circuits. We then use a hybrid classical-quantum algorithm to train the model so that evaluating the circuits computes the meaning of sentences in data-driven tasks. The implementation of QNLP models motivated the development of DisCoPy (Distributional Compositional Python), the toolkit for applied category theory of which the first chapter gives a comprehensive overview. String diagrams are the core data structure of DisCoPy, they allow to reason about computation at a high level of abstraction. We show how they can encode both grammatical structures and quantum circuits, but also logical formulae, neural networks or arbitrary Python code. Monoidal functors allow to translate these abstract diagrams into concrete computation, interfacing with optimised task-specific libraries. The second chapter uses DisCopy to implement QNLP models as parameterised functors from grammar to quantum circuits. It gives a first proof-of-concept for the more general concept of functorial learning: generalising machine learning from functions to functors by learning from diagram-like data. In order to learn optimal functor parameters via gradient descent, we introduce the notion of diagrammatic differentiation: a graphical calculus for computing the gradients of parameterised diagrams.


title: Quark-antiquark states of the lightest scalar mesons within the Nambu-Jona-Lasinio model with flavor-dependent coupling constants

abstract: The quark antiquark components of the U(3) lightest scalar meson nonet are investigated by considering the Nambu-Jona-Lasinio model with flavor-dependent coupling constants that were derived by considering (non-perturbative) gluon exchange.The strange quark effective mass ($M_s^*$) is varied such that the strangeness content of these scalar mesons can be analyzed further. The neutral states $S_0$, $S_8$ and $S_3$, are adopted as the most relevant quark-antiquark components respectively of the $\sigma(500)$, $f_0(980)$ and $A_0^0(980)$ mesons. As a result, the mass hierarchy between states $S_0$ and $S_8$, and $K^*_0(700) - A_0(980)$ mesons, can be respectively inverted and corrected for quite low values of the strange quark constituent mass. Besides that, for some particular values of $M_s^*$, the masses of $\sigma(500)$ and $f_0(980)$ can also be obtained by considering the mixing coupling constant $G_{08}$. However, the masses of all the nine mesons are not described simultaneously in a self-consistent procedure and this goes along with the need of non-quark-antiquark states to completely describe their masses. A neutral-meson mixing matrix is defined and the leading mixing angle is found by fitting a correct value of the $\sigma(500)$-$f_0(980)$ mass difference. Two different estimates for the strengths of the mixings $A_0^0 \to f_0$ and $f_0 \to A_0^0$ are proposed, leading to somewhat different behaviors. Firstly, by assuming leading transitions to intermediary flavor eigenstates and secondly by considering a dynamical evolution. Results may be in good agreement with experimental values from BESS-III depending on the value of the strange quark effective mass.


title: The Objective Deformation Component of a Velocity Field

abstract: For an arbitrary velocity field $\mathbf{v}$ defined on a finite, fixed spatial domain, we find the closest rigid-body velocity field $\mathbf{v}_{RB}$ to $\mathbf{v}$ in the $L^2$ norm. The resulting deformation velocity component, $\mathbf{v}_{d}=\mathbf{v-\mathbf{v}}_{RB}$, turns out to be frame-indifferent and physically observable. Specifically, if $\mathbf{Q}_{\text{RB}}(t)$ is the rotation tensor describing the motion of the closest rigid body frame, then $\mathbf{v}$ is seen as $\mathbf{Q}_{\text{RB}}^{T}\mathbf{v}_{d}$ by an observer in that frame. As a consequence, the momentum, energy, vorticity, enstrophy, and helicity of the flow all become frame-indifferent when computed from the deformation velocity component $\mathbf{v}_{d}$.


title: The $\mathbb Z/p$-equivariant cohomology of genus zero Deligne-Mumford space with $1+p$ marked points

abstract: We prove that the Serre spectral sequence of the fibration $\overline{\mathcal M}_{0, 1+p} \to E\mathbb Z/p \times_{\mathbb Z/p} \overline{\mathcal M}_{0, 1+p} \to B \mathbb Z/p$ collapses at the $E_2$ page. We use this to prove that: for any element of the $\mathbb Z/p$-equivariant cohomology with $\mathbb F_p$-coefficients of genus zero Deligne-Mumford space with $1+p$ marked points, if this element is torsion then it is non-equivariant. This concludes that the only "interesting" $\mathbb Z/p$-equivariant operations are quantum Steenrod power operations.


title: Assessing the saturation of Krylov complexity as a measure of chaos

abstract: Krylov complexity is a novel approach to study how an operator spreads over a specific basis. Recently, it has been stated that this quantity has a long-time saturation that depends on the amount of chaos in the system. Since this quantity not only depends on the Hamiltonian but also on the chosen operator, in this work we study the level of generality of this hypothesis by studying how the saturation value varies in the integrability to chaos transition when different operators are expanded. To do this, we work with an Ising chain with a transverse-longitudinal magnetic field and compare the saturation of the Krylov complexity with the standard spectral measure of quantum chaos. Our numerical results show that the usefulness of this quantity as a predictor of the chaoticity is strongly dependent on the chosen operator.


title: Improving Accuracy Without Losing Interpretability: A ML Approach for Time Series Forecasting

abstract: In time series forecasting, decomposition-based algorithms break aggregate data into meaningful components and are therefore appreciated for their particular advantages in interpretability. Recent algorithms often combine machine learning (hereafter ML) methodology with decomposition to improve prediction accuracy. However, incorporating ML is generally considered to sacrifice interpretability inevitably. In addition, existing hybrid algorithms usually rely on theoretical models with statistical assumptions and focus only on the accuracy of aggregate predictions, and thus suffer from accuracy problems, especially in component estimates. In response to the above issues, this research explores the possibility of improving accuracy without losing interpretability in time series forecasting. We first quantitatively define interpretability for data-driven forecasts and systematically review the existing forecasting algorithms from the perspective of interpretability. Accordingly, we propose the W-R algorithm, a hybrid algorithm that combines decomposition and ML from a novel perspective. Specifically, the W-R algorithm replaces the standard additive combination function with a weighted variant and uses ML to modify the estimates of all components simultaneously. We mathematically analyze the theoretical basis of the algorithm and validate its performance through extensive numerical experiments. In general, the W-R algorithm outperforms all decomposition-based and ML benchmarks. Based on P50_QL, the algorithm relatively improves by 8.76% in accuracy on the practical sales forecasts of JD.com and 77.99% on a public dataset of electricity loads. This research offers an innovative perspective to combine the statistical and ML algorithms, and JD.com has implemented the W-R algorithm to make accurate sales predictions and guide its marketing activities.


title: Asymptotic regularity of invariant chains of edge ideals

abstract: We study chains of nonzero edge ideals that are invariant under the action of the monoid $\mathrm{Inc}$ of increasing functions on the positive integers. We prove that the sequence of Castelnuovo--Mumford regularity of ideals in such a chain is eventually constant with limit either 2 or 3, and we determine explicitly when the constancy behaviour sets in. This provides further evidence to a conjecture on the asymptotic linearity of the regularity of $\mathrm{Inc}$-invariant chains of homogeneous ideals. The proofs reveal unexpected combinatorial properties of $\mathrm{Inc}$-invariant chains of edge ideals.


title: Possible discrimination of black hole origins from the lensing rate of DECIGO and B-DECIGO sources

abstract: In this paper, we forecast the expected detection rates and redshift distributions of gravitationally lensed gravitational waves (GWs) from three different mass distributions of primordial black holes (PBHs) and two stellar formation models of astrophysical black holes (ABHs) in the context of DECi-hertz Interferometer Gravitational wave Observatory (DECIGO) and it's smaller scale version B-DECIGO. It suggests that DECIGO will be able to detect $10^4-10^5$ GW signals from such binary black holes (BBHs) each year and the event rate distributions for PBHs will differ from those for ABHs due to their different merger rate with respect to redshift. The large number of event rates make $5-100$ detections of lensed GW signals being possible. After considering the gravitational lensing effect, the difference between the detection rates and distributions for PBHs and ABHs will be more significant. Therefore, this can be served as a complementary method to distinguish PBHs from ABHs.


title: Interaction of a high-mass X-ray binary with the interstellar medium through stellar wind. The case of GX 301-2

abstract: GX 301-2 is a high-mass X-ray binary (HMXB) with strong stellar outflows. The evolution of these binaries can be closely related with the interstellar environment due to strong wind interactions. We try to constrain the energy injected in the interstellar medium by GX 301-2 through stellar wind using HAWK-I and Herschel data. We analysed HAWK-I images in four different filters (Br$\gamma$, H$_2$, J, and Ks) and tried to retrieve signatures of the impact of GX 301-2 on its environment. We used Herschel data to outline the interstellar medium and the Gaia DR3 catalogue to infer the proper motion of GX 301-2. Finally, we estimated the energy injected in the interstellar medium since the first supernova event of the HMXB. Using both HAWK-I and Herschel images, we deduce an approximation of the total mass injected from GX~301-2 in the interstellar medium of $M_{\rm inj} = 3.05 ^{+0.05}_{-0.03} 10^{-2} M_{\odot}$.


title: Polyharmonic equations involving surface measures

abstract: This article studies (optimal) $W^{2m-1,\infty}$-regularity for the polyharmonic equation $(-\Delta)^m u = Q \; \mathcal{H}^{n-1} \llcorner \Gamma$, where $\Gamma$ is a (suitably regular) $(n-1)$-dimensional submanifold of $\mathbb{R}^n$, $\mathcal{H}^{n-1}$ is the Hausdorff measure, and $Q$ is some suitably regular density. We extend findings in [9], where the second-order equation $-\mathrm{div}(A(x)\nabla u) = Q \; \mathcal{H}^{n-1} \llcorner \Gamma$ is studied. As an application we derive (optimal) $W^{3,\infty}$-regularity for solutions of the biharmonic Alt-Caffarelli problem in two dimensions.


title: NNLO jet production in neutral and charged current polarized deep inelastic scattering

abstract: We perform the calculation of the fully differential single-jet production in longitudinally polarized deep inelastic scattering (DIS) at the next-to-next-to-leading order (NNLO) accuracy, featuring both neutral current and charged current processes. The computation is done with the projection-to-Born method (P2B), using the next-to-leading order (NLO) dijet calculation and the NNLO DIS structure functions as its main ingredients. We also analyze its phenomenological consequences in the kinematics of the future Electron-Ion Collider (EIC).


title: DELS-MVS: Deep Epipolar Line Search for Multi-View Stereo

abstract: We propose a novel approach for deep learning-based Multi-View Stereo (MVS). For each pixel in the reference image, our method leverages a deep architecture to search for the corresponding point in the source image directly along the corresponding epipolar line. We denote our method DELS-MVS: Deep Epipolar Line Search Multi-View Stereo. Previous works in deep MVS select a range of interest within the depth space, discretize it, and sample the epipolar line according to the resulting depth values: this can result in an uneven scanning of the epipolar line, hence of the image space. Instead, our method works directly on the epipolar line: this guarantees an even scanning of the image space and avoids both the need to select a depth range of interest, which is often not known a priori and can vary dramatically from scene to scene, and the need for a suitable discretization of the depth space. In fact, our search is iterative, which avoids the building of a cost volume, costly both to store and to process. Finally, our method performs a robust geometry-aware fusion of the estimated depth maps, leveraging a confidence predicted alongside each depth. We test DELS-MVS on the ETH3D, Tanks and Temples and DTU benchmarks and achieve competitive results with respect to state-of-the-art approaches.


title: Soliton versus single photon quantum dynamics in arrays of superconducting qubits

abstract: Superconducting circuits constitute a promising platform for future implementation of quantum processors and simulators. Arrays of capacitively coupled transmon qubits naturally implement the Bose-Hubbard model with attractive on-site interaction. The spectrum of such many-body systems is characterised by low-energy localised states defining the lattice analog of bright solitons. Here, we demonstrate that these bright solitons can be pinned in the system, and we find that a soliton moves while maintaining its shape. Its velocity obeys a scaling law in terms of the combined interaction and number of constituent bosons. In contrast, the source-to-drain transport of photons through the array occurs through extended states that have higher energy compared to the bright soliton. For weak coupling between the source/drain and the array, the populations of the source and drain oscillate in time, with the chain remaining nearly unpopulated at all times. Such a phenomenon is found to be parity dependent. Implications of our results for the actual experimental realisations are discussed.


title: Target Defense against Sequentially Arriving Intruders

abstract: We consider a variant of the target defense problem where a single defender is tasked to capture a sequence of incoming intruders. The intruders' objective is to breach the target boundary without being captured by the defender. As soon as the current intruder breaches the target or gets captured by the defender, the next intruder appears at a random location on a fixed circle surrounding the target. Therefore, the defender's final location at the end of the current game becomes its initial location for the next game. Thus, the players pick strategies that are advantageous for the current as well as for the future games. Depending on the information available to the players, each game is divided into two phases: partial information and full information phase. Under some assumptions on the sensing and speed capabilities, we analyze the agents' strategies in both phases. We derive equilibrium strategies for both the players to optimize the capture percentage using the notions of engagement surface and capture circle. We quantify the percentage of capture for both finite and infinite sequences of incoming intruders.


title: Aligning Visual and Lexical Semantics

abstract: We discuss two kinds of semantics relevant to Computer Vision (CV) systems - Visual Semantics and Lexical Semantics. While visual semantics focus on how humans build concepts when using vision to perceive a target reality, lexical semantics focus on how humans build concepts of the same target reality through the use of language. The lack of coincidence between visual and lexical semantics, in turn, has a major impact on CV systems in the form of the Semantic Gap Problem (SGP). The paper, while extensively exemplifying the lack of coincidence as above, introduces a general, domain-agnostic methodology to enforce alignment between visual and lexical semantics.


title: Differentially Private Tree-Based Redescription Mining

abstract: Differential privacy provides a strong form of privacy and allows preserving most of the original characteristics of the dataset. Utilizing these benefits requires one to design specific differentially private data analysis algorithms. In this work, we present three tree-based algorithms for mining redescriptions while preserving differential privacy. Redescription mining is an exploratory data analysis method for finding connections between two views over the same entities, such as phenotypes and genotypes of medical patients, for example. It has applications in many fields, including some, like health care informatics, where privacy-preserving access to data is desired. Our algorithms are the first differentially private redescription mining algorithms, and we show via experiments that, despite the inherent noise in differential privacy, it can return trustworthy results even in smaller datasets where noise typically has a stronger effect.


title: Hypocoercivity in algebraically constrained partial differential equations with application to Oseen equations

abstract: The long-time behavior of solutions to different versions of Oseen equations of fluid flow on the 2D torus is analyzed using the concept of hypocoercivity. The considered models are isotropic Oseen equations where the viscosity acts uniformly in all directions and anisotropic Oseen-type equations with different viscosity directions. The hypocoercivity index is determined (if it exists) and it is shown that similar to the finite dimensional case of ordinary differential equations and differential-algebraic equations it characterizes its decay behavior.


title: Chaotic renormalization group flow and entropy gradients over Haros graphs

abstract: Haros graphs have been recently introduced as a set of graphs bijectively related to real numbers in the unit interval. Here we consider the iterated dynamics of a graph operator $\cal R$ over the set of Haros graphs. This operator was previously defined in the realm of graph-theoretical characterisation of low-dimensional nonlinear dynamics, and has a renormalization group (RG) structure. We find that the dynamics of $\cal R$ over Haros graphs is complex and includes unstable periodic orbits or arbitrary period and non-mixing aperiodic orbits, overall portraiting a chaotic RG flow. We identify a single RG stable fixed point whose basin of attraction is the set of rational numbers, associate periodic RG orbits with (pure) quadratic irrationals and aperiodic RG orbits with (non-mixing) families of non-quadratic algebraic irrationals and trascendental numbers. Finally, we show that the entropy gradients inside periodic RG orbits are constant. We discuss the possible physical interpretation of such chaotic RG flow and speculate on the entropy-constant periodic orbits as a possible confirmation of a (quantum field-theoretic) $c$-theorem applied inside the invariant set of a RG flow.

categories: cond-mat.stat-mech cond-mat.str-el math.NT nlin.CD


title: Towards Efficient Dynamic Uplink Scheduling over Multiple Unknown Channels

abstract: Age-of-Information (AoI) is a critical metric for network applications. Existing works mostly address optimization with homogeneous AoI requirements, which is different from practice. In this work, we optimize uplink scheduling for an access point (AP) over multiple unknown channels with heterogeneous AoI requirements defined by AoI-dependent costs. The AP serves $N$ users by using $M$ channels without the channel state information. Each channel serves only one user in each decision epoch. The optimization objective is to minimize the time-averaged AoI-dependent costs plus additional communication transmission costs over an infinite horizon. This decision-making problem can be formulated as a Markov decision process, but it is computationally intractable because the size of the state space grows exponentially with respect to the number of users. To alleviate the challenge, we reformulate the problem as a variant of the restless multi-armed bandit (RMAB) problem and leverage Whittle's index theory to design an index-based scheduling policy algorithm. We derive an analytic formula for the indices, which reduces the computational overhead and facilitates online adaptation. Our numerical examples show that our index-based scheduling policy achieves comparable performance to the optimal policy and outperforms several other heuristics.


title: Units in Blocks of Defect 1 and the Zassenhaus Conjecture

abstract: Building on previous work by Caicedo and the second author, we develop a method that decides the existence of units of finite order in blocks of $\mathbb{Z}_p G$ of defect 1. This allows us to prove that if $p$ is a prime and $G$ is a finite group whose Sylow $p$-subgroup has order $p$, then any unit $u\in \mathbb{Z} G$ of order $p$ is conjugate to an element of $\pm G$. This is a special case of the Zassenhaus conjecture. We also prove some new results on units of finite order in $\mathbb{Z} \mathrm{PSL}(2,q)$ for certain $q$, and construct a unit of order $15$ in $V(\mathbb{Z}_{(3,5)}\mathrm{PSL}(2,16))$ which is a $3$- and $5$-local counterexample to the Zassenhaus conjecture, raising the hope that our methods may lead to a global counterexample amongst simple groups.


title: Twisted mass ensemble generation on GPU machines

abstract: We present how we ported the Hybrid Monte Carlo implementation in the tmLQCD software suite to GPUs through offloading its most expensive parts to the QUDA library. We discuss our motivations and some of the technical challenges that we encountered as we added the required functionality to both tmLQCD and QUDA. We further present some performance details, focussing in particular on the usage of QUDA's multigrid solver for poorly conditioned light quark monomials as well as the multi-shift solver for the non-degenerate strange and charm sector in $N_f=2+1+1$ simulations using twisted mass clover fermions, comparing the efficiency of state-of-the-art simulations on CPU and GPU machines. We also take a look at the performance-portability question through preliminary tests of our HMC on a machine based on AMD's MI250 GPU, finding good performance after a very minor additional porting effort. Finally, we conclude that we should be able to achieve GPU utilisation factors acceptable for the current generation of (pre-)exascale supercomputers with subtantial efficiency improvements and real time speedups compared to just running on CPUs. At the same time, we find that future challenges will require different approaches and, most importantly, a very significant investment of personnel for software development.


title: Categorical Tools for Natural Language Processing

abstract: This thesis develops the translation between category theory and computational linguistics as a foundation for natural language processing. The three chapters deal with syntax, semantics and pragmatics. First, string diagrams provide a unified model of syntactic structures in formal grammars. Second, functors compute semantics by turning diagrams into logical, tensor, neural or quantum computation. Third, the resulting functorial models can be composed to form games where equilibria are the solutions of language processing tasks. This framework is implemented as part of DisCoPy, the Python library for computing with string diagrams. We describe the correspondence between categorical, linguistic and computational structures, and demonstrate their applications in compositional natural language processing.


title: The gateway from Centaurs to Jupiter-family Comets: thermal and dynamical evolution

abstract: It was recently proposed that there exists a "gateway" in the orbital parameter space through which Centaurs transition to Jupiter-family Comets (JFCs). Further studies have implied that the majority of objects that eventually evolve into JFCs should leave the Centaur population through this gateway. This may be naively interpreted as gateway Centaurs being pristine progenitors of JFCs. This is the point we want to address in this work. We show that the opposite is true: gateway Centaurs are, on average, more thermally processed than the rest of the population of Centaurs crossing Jupiter's orbit. Using a dynamically-validated JFC population, we find that only $\sim 20\%$ of Centaurs pass through the gateway prior to becoming JFCs, in accordance with previous studies. We show that more than half of JFC dynamical clones entering the gateway for the first time have already been JFCs -they simply avoided the gateway on their first pass into the inner solar system. By coupling a thermal evolution model to the orbital evolution of JFC dynamical clones, we find a higher than 50\% chance that the layer currently contributing to the observed activity of gateway objects has been physically and chemically altered, due to previously sustained thermal processing. We further illustrate this effect by examining dynamical clones that match the present-day orbits of 29P/Schwassmann-Wachmann 1, P/2019 LD2 (ATLAS), and P/2008 CL94 (Lemmon).


title: On averaging eccentric orbits: Implications for the long-term thermal evolution of comets

abstract: One of the common approximations in long-term evolution studies of small bodies is the use of circular orbits averaging the actual eccentric ones, facilitating the coupling of processes with very different timescales, such as the orbital changes and the thermal processing. Here we test a number of averaging schemes for elliptic orbits in the context of the long-term evolution of comets, aiming to identify the one that best reproduces the elliptic orbits' heating patterns and the surface and subsurface temperature distributions. We use a simplified thermal evolution model applied on simulated comets both on elliptic and on their equivalent averaged circular orbits, in a range of orbital parameter space relevant to the inner solar system. We find that time averaging schemes are more adequate than spatial averaging ones. Circular orbits created by means of a time average of the equilibrium temperature approximate efficiently the subsurface temperature distributions of elliptic orbits in a large area of the orbital parameter space, rendering them a powerful tool for averaging elliptic orbits.


title: The extremal point process for branching random walk with stretched exponential displacements

abstract: We investigate a branching random walk where the displacements are independent from the branching mechanism and have a stretched exponential distribution. We describe the positions of the particles in the vicinity of the rightmost particle in terms of point process convergence. As a consequence we give a~new limit theorem for the position of the rightmost particle. Our methods rely on providing precise large deviations for sums of i.i.d. random variables with stretched exponential distributions outside the so-called one big jump regime.


title: Interaction graph-based characterization of quantum benchmarks for improving quantum circuit mapping techniques

abstract: To execute quantum circuits on a quantum processor, they must be modified to meet the physical constraints of the quantum device. This process, called quantum circuit mapping, results in a gate/circuit depth overhead that depends on both the circuit properties and the hardware constraints, being the limited qubit connectivity a crucial restriction. In this paper, we propose to extend the characterization of quantum circuits by including qubit interaction graph properties using graph theory-based metrics in addition to previously used circuit-describing parameters. This approach allows for in-depth analysis and clustering of quantum circuits and a comparison of performance when run on different quantum processors, aiding in developing better mapping techniques. Our study reveals a correlation between interaction graph-based parameters and mapping performance metrics for various existing configurations of quantum devices. We also provide a comprehensive collection of quantum circuits and algorithms for benchmarking future compilation techniques and quantum devices.


title: Simplicity Bias Leads to Amplified Performance Disparities

abstract: Which parts of a dataset will a given model find difficult? Recent work has shown that SGD-trained models have a bias towards simplicity, leading them to prioritize learning a majority class, or to rely upon harmful spurious correlations. Here, we show that the preference for "easy" runs far deeper: A model may prioritize any class or group of the dataset that it finds simple-at the expense of what it finds complex-as measured by performance difference on the test set. When subsets with different levels of complexity align with demographic groups, we term this difficulty disparity, a phenomenon that occurs even with balanced datasets that lack group/label associations. We show how difficulty disparity is a model-dependent quantity, and is further amplified in commonly-used models as selected by typical average performance scores. We quantify an amplification factor across a range of settings in order to compare disparity of different models on a fixed dataset. Finally, we present two real-world examples of difficulty amplification in action, resulting in worse-than-expected performance disparities between groups even when using a balanced dataset. The existence of such disparities in balanced datasets demonstrates that merely balancing sample sizes of groups is not sufficient to ensure unbiased performance. We hope this work presents a step towards measurable understanding of the role of model bias as it interacts with the structure of data, and call for additional model-dependent mitigation methods to be deployed alongside dataset audits.


title: AWT -- Clustering Meteorological Time Series Using an Aggregated Wavelet Tree

abstract: Both clustering and outlier detection play an important role for meteorological measurements. We present the AWT algorithm, a clustering algorithm for time series data that also performs implicit outlier detection during the clustering. AWT integrates ideas of several well-known K-Means clustering algorithms. It chooses the number of clusters automatically based on a user-defined threshold parameter, and it can be used for heterogeneous meteorological input data as well as for data sets that exceed the available memory size. We apply AWT to crowd sourced 2-m temperature data with an hourly resolution from the city of Vienna to detect outliers and to investigate if the final clusters show general similarities and similarities with urban land-use characteristics. It is shown that both the outlier detection and the implicit mapping to land-use characteristic is possible with AWT which opens new possible fields of application, specifically in the rapidly evolving field of urban climate and urban weather.


title: Boosting Semi-Supervised Learning with Contrastive Complementary Labeling

abstract: Semi-supervised learning (SSL) has achieved great success in leveraging a large amount of unlabeled data to learn a promising classifier. A popular approach is pseudo-labeling that generates pseudo labels only for those unlabeled data with high-confidence predictions. As for the low-confidence ones, existing methods often simply discard them because these unreliable pseudo labels may mislead the model. Nevertheless, we highlight that these data with low-confidence pseudo labels can be still beneficial to the training process. Specifically, although the class with the highest probability in the prediction is unreliable, we can assume that this sample is very unlikely to belong to the classes with the lowest probabilities. In this way, these data can be also very informative if we can effectively exploit these complementary labels, i.e., the classes that a sample does not belong to. Inspired by this, we propose a novel Contrastive Complementary Labeling (CCL) method that constructs a large number of reliable negative pairs based on the complementary labels and adopts contrastive learning to make use of all the unlabeled data. Extensive experiments demonstrate that CCL significantly improves the performance on top of existing methods. More critically, our CCL is particularly effective under the label-scarce settings. For example, we yield an improvement of 2.43% over FixMatch on CIFAR-10 only with 40 labeled data.


title: Fast Number Parsing Without Fallback

abstract: In recent work, Lemire (2021) presented a fast algorithm to convert number strings into binary floating-point numbers. The algorithm has been adopted by several important systems: e.g., it is part of the runtime libraries of GCC 12, Rust 1.55, and Go 1.16. The algorithm parses any number string with a significand containing no more than 19 digits into an IEEE floating-point number. However, there is a check leading to a fallback function to ensure correctness. This fallback function is never called in practice. We prove that the fallback is unnecessary. Thus we can slightly simplify the algorithm and its implementation.


title: Do Text-to-Text Multi-Task Learners Suffer from Task Conflict?

abstract: Traditional multi-task learning architectures train a single model across multiple tasks through a shared encoder followed by task-specific decoders. Learning these models often requires specialized training algorithms that address task-conflict in the shared parameter updates, which otherwise can lead to negative transfer. A new type of multi-task learning within NLP homogenizes multi-task architectures as a shared encoder and language model decoder, which does surprisingly well across a range of diverse tasks. Does this new architecture suffer from task-conflicts that require specialized training algorithms? We study how certain factors in the shift towards text-to-text models affects multi-task conflict and negative transfer, finding that both directional conflict and transfer are surprisingly constant across architectures.


title: Profit Maximization in Social Networks and Non-monotone DR-submodular Maximization

abstract: In this paper, we study the non-monotone DR-submodular function maximization over integer lattice. Functions over integer lattice have been defined submodular property that is similar to submodularity of set functions. DR-submodular is a further extended submodular concept for functions over the integer lattice, which captures the diminishing return property. Such functions find many applications in machine learning, social networks, wireless networks, etc. The techniques for submodular set function maximization can be applied to DR-submodular function maximization, e.g., the double greedy algorithm has a $1/2$-approximation ratio, whose running time is $O(nB)$, where $n$ is the size of the ground set, $B$ is the integer bound of a coordinate. In our study, we design a $1/2$-approximate binary search double greedy algorithm, and we prove that its time complexity is $O(n\log B)$, which significantly improves the running time. Specifically, we consider its application to the profit maximization problem in social networks with a bipartite model, the goal of this problem is to maximize the net profit gained from a product promoting activity, which is the difference of the influence gain and the promoting cost. We prove that the objective function is DR-submodular over integer lattice. We apply binary search double greedy algorithm to this problem and verify the effectiveness.


title: Interrogating Solar Flare Loop Models with IRIS Observations 1: Overview of the Models, and Mass flows

abstract: Solar flares are transient yet dramatic events in the atmosphere of the Sun, during which a vast amount of magnetic energy is liberated. This energy is subsequently transported through the solar atmosphere or into the heliosphere, and together with coronal mass ejections flares comprise a fundamental component of space weather. Thus, understanding the physical processes at play in flares is vital. That understanding often requires the use of forward modelling in order to predict the hydrodynamic and radiative response of the solar atmosphere. Those predictions must then be critiqued by observations to show us where our models are missing ingredients. While flares are of course 3D phenomenon, simulating the flaring atmosphere including an accurate chromosphere with the required spatial scales in 3D is largely beyond current computational capabilities, and certainly performing parameter studies of energy transport mechanisms is not yet tractable in 3D. Therefore, field-aligned 1D loop models that can resolve the relevant scales have a crucial role to play in advancing our knowledge of flares. In recent years, driven in part by the spectacular observations from the Interface Region Imaging Spectrograph (IRIS), flare loop models have revealed many interesting features of flares. For this review I highlight some important results that illustrate the utility of attacking the problem of solar flares with a combination of high quality observations, and state-of-the-art flare loop models, demonstrating: (1) how models help to interpret flare observations from IRIS, (2) how those observations show us where we are missing physics from our models, and (3) how the ever increasing quality of solar observations drives model improvements. Here in Paper 1 of this two part review I provide an overview of modern flare loop models, and of electron-beam driven mass flows during solar flares.


title: Analysis of a fully-discrete, non-conforming approximation of evolution equations and applications

abstract: In this paper, we consider a fully-discrete approximation of an abstract evolution equation deploying a non-conforming spatial approximation and finite differences in time (Rothe-Galerkin method). The main result is the convergence of the discrete solutions to a weak solution of the continuous problem. Therefore, the result can be interpreted either as a justification of the numerical method or as an alternative way of constructing weak solutions. We formulate the problem in the very general and abstract setting of so-called non-conforming Bochner pseudo-monotone operators, which allows for a unified treatment of several evolution problems. Our abstract results for non-conforming Bochner pseudo-monotone operators allow to establish (weak) convergence just by verifying a few natural assumptions on the operators time-by-time and on the discretization spaces. Hence, applications and extensions to several other evolution problems can be performed easily. We exemplify the applicability of our approach on several DG schemes for the unsteady $p$-Navier-Stokes problem. The results of some numerical experiments are reported in the final section.


title: A robust method for fitting degree distributions of complex networks

abstract: This work introduces a method for fitting to the degree distributions of complex network datasets, such that the most appropriate distribution from a set of candidate distributions is chosen while maximizing the portion of the distribution to which the model is fit. Current methods for fitting to degree distributions in the literature are inconsistent and often assume a priori what distribution the data are drawn from. Much focus is given to fitting to the tail of the distribution, while a large portion of the distribution below the tail is ignored. It is important to account for these low degree nodes, as they play crucial roles in processes such as percolation. Here we address these issues, using maximum likelihood estimators to fit to the entire dataset, or close to it. This methodology is applicable to any network dataset (or discrete empirical dataset), and we test it on over 25 network datasets from a wide range of sources, achieving good fits in all but a few cases. We also demonstrate that numerical maximization of the likelihood performs better than commonly used analytical approximations. In addition, we have made available a Python package which can be used to apply this methodology.


title: Positivity of Sylow branching coefficients of symmetric groups

abstract: In this article we investigate the positivity of Sylow branching coefficients for symmetric groups when $p = 3$. In particular, we complete the discussion begun by Giannelli and the author in arXiv:1712.02642 (J. Algebra) and developed in arXiv:1909.09446 (J. London Math. Soc.) concerning the case of odd primes.


title: Control of Active Brownian Particles: An exact solution

abstract: Control of stochastic systems is a challenging open problem in statistical physics, with potential applications in a wealth of systems from biology to granulates. Unlike most cases investigated so far, we aim here at controlling a genuinely out-of-equilibrium system, the two dimensional Active Brownian Particles model in a harmonic potential, a paradigm for the study of self-propelled bacteria. We search for protocols for the driving parameters (stiffness of the potential and activity of the particles) bringing the system from an initial passive-like stationary state to a final active-like one, within a chosen time interval. The exact analytical results found for this prototypical system of self-propelled particles brings control techniques to a wider class of out-of-equilibrium systems.


title: On extending C^k functions from an open set to R, with applications

abstract: For $k\in \N\cup \{\infty\}$ and $U$ open in $ \R$, let $\C^{\,k}(U)$ be the ring of real valued functions on $U$ with the first $k$ derivatives continuous. It is shown for $f\in \C^{\,k}(U)$ there is $g\in \ck{\infty}$ with $U\sbq \coz g$ and $h\in \ck{k}$ with $fg\res_U=h\res_U$. The function $f$ and its $k$ derivatives are not assumed to be bounded on $U$. The function $g$ is constructed using splines based on the Mollifier function. Some consequences about the ring $\ck{k}$ are deduced from this, in particular that $\qcl(\ck{k}) = \text{Q}(\ck{k})$.


title: Scalable Dynamic Mixture Model with Full Covariance for Probabilistic Traffic Forecasting

abstract: Deep learning-based multivariate and multistep-ahead traffic forecasting models are typically trained with the mean squared error (MSE) or mean absolute error (MAE) as the loss function in a sequence-to-sequence setting, simply assuming that the errors follow an independent and isotropic Gaussian or Laplacian distributions. However, such assumptions are often unrealistic for real-world traffic forecasting tasks, where the probabilistic distribution of spatiotemporal forecasting is very complex with strong concurrent correlations across both sensors and forecasting horizons in a time-varying manner. In this paper, we model the time-varying distribution for the matrix-variate error process as a dynamic mixture of zero-mean Gaussian distributions. To achieve efficiency, flexibility, and scalability, we parameterize each mixture component using a matrix normal distribution and allow the mixture weight to change and be predictable over time. The proposed method can be seamlessly integrated into existing deep-learning frameworks with only a few additional parameters to be learned. We evaluate the performance of the proposed method on a traffic speed forecasting task and find that our method not only improves model performance but also provides interpretable spatiotemporal correlation structures.


title: Continuity of robustness measures in quantum resource theories

abstract: Robustness measures are increasingly prominent resource quantifiers that have been introduced for quantum resource theories such as entanglement and coherence. Despite the generality of these measures, their usefulness is hindered by the fact that some of their mathematical properties remain unclear, especially when the set of resource-free states is non-convex. In this paper, we investigate continuity properties of different robustness functions. We show that their continuity depends on the shape of the set of free states. In particular, we demonstrate that in many cases, star-convexity is sufficient for Lipschitz-continuity of the robustness, and we provide specific examples of sets leading to non-continuous measures. Finally, we illustrate the applicability of our results by defining a robustness of teleportability and of quantum discord.


title: The Hateful Memes Challenge Next Move

abstract: State-of-the-art image and text classification models, such as Convolutional Neural Networks and Transformers, have long been able to classify their respective unimodal reasoning satisfactorily with accuracy close to or exceeding human accuracy. However, images embedded with text, such as hateful memes, are hard to classify using unimodal reasoning when difficult examples, such as benign confounders, are incorporated into the data set. We attempt to generate more labeled memes in addition to the Hateful Memes data set from Facebook AI, based on the framework of a winning team from the Hateful Meme Challenge. To increase the number of labeled memes, we explore semi-supervised learning using pseudo-labels for newly introduced, unlabeled memes gathered from the Memotion Dataset 7K. We find that the semi-supervised learning task on unlabeled data required human intervention and filtering and that adding a limited amount of new data yields no extra classification performance.


title: A programming language characterizing quantum polynomial time

abstract: We introduce a first-order quantum programming language, named FOQ, whose terminating programs are reversible. We restrict FOQ to a strict and tractable subset, named PFOQ, of terminating programs with bounded width, that provides a first programming language-based characterization of the quantum complexity class FBQP. Finally, we present a tractable semantics-preserving algorithm compiling a PFOQ program to a quantum circuit of size polynomial in the number of input qubits.


title: Running HMC Simulation with Python via QUDA

abstract: Lyncs-API is a Python API for Lattice QCD applications. It is designed as a Python toolkit that allows the user to use and run various lattice QCD libraries while programming in Python. The goal is to provide the user an easy programming experience without scarifying performance across multiple platforms, by preparing a common framework for various softwares for lattice QCD calculations. As such, it contains interfaces to, e.g., c-lime, DDalphaAMG, tmLQCD, and QUDA. In this proceeding, we focus on a Lyncs interface to QUDA, named Lyncs-QUDA, and present a small tutorial on how to use this Python interface to perform a HMC simulation using QUDA.


title: Enabling the Reflex Plane with the nanoPU

abstract: Many recent papers have demonstrated fast in-network computation using programmable switches, running many orders of magnitude faster than CPUs. The main limitation of writing software for switches is the constrained programming model and limited state. In this paper we explore whether a new type of CPU, called the nanoPU, offers a useful middle ground, with a familiar C/C++ programming model, and potentially many terabits/second of packet processing on a single chip, with an RPC response time less than 1 $\mu$s. To evaluate the nanoPU, we prototype and benchmark three common network services: packet classification, network telemetry report processing, and consensus protocols on the nanoPU. Each service is evaluated using cycle-accurate simulations on FPGAs in AWS. We found that packets are classified 2$\times$ faster and INT reports are processed more than an order of magnitude quickly than state-of-the-art approaches. Our production quality Raft consensus protocol, running on the nanoPU, writes to a 3-way replicated key-value store (MICA) in 3 $\mu$s, twice as fast as the state-of-the-art, with 99\% tail latency of only 3.26 $\mu$s. To understand how these services can be combined, we study the design and performance of a {\em network reflex plane}, designed to process telemetry data, make fast control decisions, and update consistent, replicated state within a few microseconds.


title: Digital cities and the spread of COVID-19: characterizing the impact of non-pharmaceutical interventions in five cities in Spain

abstract: Mathematical modeling has been fundamental to achieving near real-time accurate forecasts of the spread of COVID-19. Similarly, the design of non-pharmaceutical interventions has played a key role in the application of policies to contain the spread. However, there is less work done regarding quantitative approaches to characterize the impact of each intervention, which can greatly vary depending on the culture, region, and specific circumstances of the population under consideration. In this work, we develop a high-resolution, data-driven agent-based model of the spread of COVID-19 among the population in five Spanish cities. These populations synthesize multiple data sources that summarize the main interaction environments leading to potential contacts. We simulate the spreading of COVID-19 in these cities and study the effect of several non-pharmaceutical interventions. We illustrate the potential of our approach through a case study and derive the impact of the most relevant interventions through scenarios where they are suppressed. Our framework constitutes a first tool to simulate different intervention scenarios for decision-making.


title: A Compact Rejection Filter Based on 2.5-D Spoof Surface Plasmon Polaritons and Folded Spilt-Ring Resonators

abstract: In this paper, a compact rejection filter is proposed based on 2.5-D spoof surface plasmon polariton (SSPP) structure and folded spilt-ring resonators (SRRs). By embedding the folded SRRs into periodic grooves of the 2.5-D SSPP transmission line, a rejection band is created in the ultra-wide passband, resulting in pass-rejection-pass frequency characteristics. The rejection band and the cut-off frequency of the filter can be adjusted independently by changing the geometrical parameters of the 2.5-D SSPP rejection unit. Because of the compact folding structure, the lateral size is reduced by 54% compared with the conventional 2-D SSPP rejection filter.


title: Hierarchies in relative Picard-Lefschetz theory

abstract: We prove a relative version of the Picard-Lefschetz theorem, describing the variation of relative homology groups $H_d(Y_t \setminus A_t,B_t\setminus A_t)$ in the fibers of a smooth fiber bundle $Y \to T$ of complex manifolds with $A\cup B \subset Y$ transverse. From this we derive the vanishing of certain iterated variations, a system of constraints dubbed "hierarchy". As applications, we rederive the known analytic structure of Aomoto polylogarithms and massive one loop Feynman integrals. Moreover, we introduce the "simple type" to prove hierarchy constraints in degenerate cases where the Picard-Lefschetz formula does not apply, e.g. the massless triangle or the ice cream cone Feynman diagram. We compare our findings with a "classical" hierarchy of iterated variations (from 1960's $S$-matrix theory) and show how our setup not only explains, but also refines the latter. In order to do so, we need to further resolve the geometry of Feynman motives: We boldly blow up what no one has blown up before.


title: Selected Trends in Artificial Intelligence for Space Applications

abstract: The development and adoption of artificial intelligence (AI) technologies in space applications is growing quickly as the consensus increases on the potential benefits introduced. As more and more aerospace engineers are becoming aware of new trends in AI, traditional approaches are revisited to consider the applications of emerging AI technologies. Already at the time of writing, the scope of AI-related activities across academia, the aerospace industry and space agencies is so wide that an in-depth review would not fit in these pages. In this chapter we focus instead on two main emerging trends we believe capture the most relevant and exciting activities in the field: differentiable intelligence and on-board machine learning. Differentiable intelligence, in a nutshell, refers to works making extensive use of automatic differentiation frameworks to learn the parameters of machine learning or related models. Onboard machine learning considers the problem of moving inference, as well as learning, onboard. Within these fields, we discuss a few selected projects originating from the European Space Agency's (ESA) Advanced Concepts Team (ACT), giving priority to advanced topics going beyond the transposition of established AI techniques and practices to the space domain.


title: Quantum Policy Gradient Algorithm with Optimized Action Decoding

abstract: Quantum machine learning implemented by variational quantum circuits (VQCs) is considered a promising concept for the noisy intermediate-scale quantum computing era. Focusing on applications in quantum reinforcement learning, we propose a specific action decoding procedure for a quantum policy gradient approach. We introduce a novel quality measure that enables us to optimize the classical post-processing required for action selection, inspired by local and global quantum measurements. The resulting algorithm demonstrates a significant performance improvement in several benchmark environments. With this technique, we successfully execute a full training routine on a 5-qubit hardware device. Our method introduces only negligible classical overhead and has the potential to improve VQC-based algorithms beyond the field of quantum reinforcement learning.


title: Boundedness of Schr{\"o}dinger operator in energy space

abstract: On a complete weighted Riemannian manifold $(M^n,g,\mu)$ satisfying the doubling condition and the Poincar{\'e} inequalities, we characterize the class of function $V$ such that the Schr{\"o}dinger operator $\Delta-V$ maps the homogeneous Sobolev space $W_o^{1,2} (M)$ to its dual space. On Euclidean space, this result is due to Maz'ya and Verbitsky. In the proof of our result, we investigate the weighted $L^2$-boundedness of the Hodge projector.


title: Adsorption at Nanoconfined Solid-Water Interfaces

abstract: Reactions at solid-water interfaces play a foundational role in water treatment systems, catalysis, chemical separations, and in predicting chemical fate and transport in the environment. Over the last century, experimental measurements and computational models have made tremendous progress in capturing reactions at solid surfaces. The interfacial reactivity of a solid surface, however, can change dramatically and unexpectedly when it is confined to the nanoscale. Nanoconfinement can arise in different geometries such as pores/cages (3-D confinement), channels (2-D confinement) and slits (1-D confinement). Therefore, measurements on unconfined surfaces, and molecular models parameterized based on these measurements, fail to capture chemical behaviors under nanoconfinement. This review evaluates recent experimental and theoretical advances, with a focus on adsorption at solid-water interfaces. We review how nanoconfinement alters the physico-chemical properties of water, and how the structure and dynamics of nanoconfined water dictate energetics, pathways, and products of adsorption in nanopores. The implications of these findings and future research directions are discussed.