title: Design and Performance of Resonant Beam Communications -- Part II: Mobile Scenario

abstract: This two-part paper focuses on the system design and performance analysis for a point-to-point resonant beam communication (RBCom) system under both the quasi-static and mobile scenarios. Part I of this paper proposes a synchronization-based information transmission scheme and derives the capacity upper and lower bounds for the quasi-static channel case. In Part II, we address the mobile scenario, where the receiver is in relative motion to the transmitter, and derive a mobile RBCom channel model that jointly considers the Doppler effect, channel variation, and echo interference. With the obtained channel model, we prove that the channel gain of the mobile RBCom decreases as the number of transmitted frames increases, and thus show that the considered mobile RBCom terminates after the transmitter sends a certain number of frames without frequency compensation. By deriving an upper bound on the number of successfully transmitted frames, we formulate the throughput maximization problem for the considered mobile RBCom system, and solve it via a sequential parametric convex approximation (SPCA) method. Finally, simulation results validate the analysis of our proposed method in some typical scenarios.


title: Assessing the Performance of Deep Learning for Automated Gleason Grading in Prostate Cancer

abstract: Prostate cancer is a dominant health concern calling for advanced diagnostic tools. Utilizing digital pathology and artificial intelligence, this study explores the potential of 11 deep neural network architectures for automated Gleason grading in prostate carcinoma focusing on comparing traditional and recent architectures. A standardized image classification pipeline, based on the AUCMEDI framework, facilitated robust evaluation using an in-house dataset consisting of 34,264 annotated tissue tiles. The results indicated varying sensitivity across architectures, with ConvNeXt demonstrating the strongest performance. Notably, newer architectures achieved superior performance, even though with challenges in differentiating closely related Gleason grades. The ConvNeXt model was capable of learning a balance between complexity and generalizability. Overall, this study lays the groundwork for enhanced Gleason grading systems, potentially improving diagnostic efficiency for prostate cancer.


title: BatDeck: Advancing Nano-drone Navigation with Low-power Ultrasound-based Obstacle Avoidance

abstract: Nano-drones, distinguished by their agility, minimal weight, and cost-effectiveness, are particularly well-suited for exploration in confined, cluttered and narrow spaces. Recognizing transparent, highly reflective or absorbing materials, such as glass and metallic surfaces is challenging, as classical sensors, such as cameras or laser rangers, often do not detect them. Inspired by bats, which can fly at high speeds in complete darkness with the help of ultrasound, this paper introduces \textit{BatDeck}, a pioneering sensor-deck employing a lightweight and low-power ultrasonic sensor for nano-drone autonomous navigation. This paper first provides insights about sensor characteristics, highlighting the influence of motor noise on the ultrasound readings, then it introduces the results of extensive experimental tests for obstacle avoidance (OA) in a diverse environment. Results show that \textit{BatDeck} allows exploration for a flight time of 8 minutes while covering 136m on average before crash in a challenging environment with transparent and reflective obstacles, proving the effectiveness of ultrasonic sensors for OA on nano-drones.


title: DPStyler: Dynamic PromptStyler for Source-Free Domain Generalization

abstract: Source-Free Domain Generalization (SFDG) aims to develop a model that works for unseen target domains without relying on any source domain. Recent work, PromptStyler, employs text prompts to simulate different distribution shifts in the joint vision-language space, allowing the model to generalize effectively to unseen domains without using any images. However, 1) PromptStyler's style generation strategy has limitations, as all style patterns are fixed after the first training phase. This leads to the training set in the second training phase being restricted to a limited set of styles. Additionally, 2) the frozen text encoder in PromptStyler result in the encoder's output varying with the style of the input text prompts, making it difficult for the model to learn domain-invariant features. In this paper, we introduce Dynamic PromptStyler (DPStyler), comprising Style Generation and Style Removal modules to address these issues. The Style Generation module refreshes all styles at every training epoch, while the Style Removal module eliminates variations in the encoder's output features caused by input styles. Moreover, since the Style Generation module, responsible for generating style word vectors using random sampling or style mixing, makes the model sensitive to input text prompts, we introduce a model ensemble method to mitigate this sensitivity. Extensive experiments demonstrate that our framework outperforms state-of-the-art methods on benchmark datasets.


title: Boson sampling enhanced quantum chemistry

abstract: In this work, we give a hybrid quantum-classical algorithm for solving electronic structure problems of molecules using only linear quantum optical systems. The variational ansatz we proposed is a hybrid of non-interacting Boson dynamics and classical computational chemistry methods, specifically, the Hartree-Fock method and the Configuration Interaction method. The Boson part is built by a linear optical interferometer which is easier to realize compared with the well-known Unitary Coupled Cluster (UCC) ansatz composed of quantum gates in conventional VQE and the classical part is merely classical processing acting on the Hamiltonian. We called such ansatzes Boson Sampling-Classic (BS-C). The appearance of permanents in the Boson part has its physical intuition to provide different kinds of resources from commonly used single-, double-, and higher-excitations in classical methods and the UCC ansatz to exploring chemical quantum states. Such resources can help enhance the accuracy of methods used in the classical parts. We give a scalable hybrid homodyne and photon number measurement procedure for evaluating the energy value which has intrinsic abilities to mitigate photon loss errors and discuss the extra measurement cost induced by the no Pauli exclusion principle for Bosons with its solutions. To demonstrate our proposal, we run numerical experiments on several molecules and obtain their potential energy curves reaching chemical accuracy.


title: Resonant Beam Communications: A New Design Paradigm and Challenges

abstract: Resonant beam communications (RBCom), which adopt oscillating photons between two separate retroreflectors for information transmission, exhibit potential advantages over other types of wireless optical communications (WOC). However, echo interference generated by the modulated beam reflected from the receiver affects the transmission of the desired information. To tackle this challenge, a synchronization-based point-to-point RBCom system is proposed to eliminate the echo interference, and the design for the transmitter and receiver is discussed. Subsequently, the performance of the proposed RBCom is evaluated and compared with that of visible light communications (VLC) and free space optical communications (FOC). Finally, future research directions are outlined and several implementation challenges of RBCom systems are highlighted.


title: Infinite Grassmann Time-Evolving Matrix Product Operator Method in the Steady State

abstract: We present an infinite Grassmann time-evolving matrix product operator method for quantum impurity problems, which directly works in the steady state. The method embraces the well-established infinite matrix product state algorithms with the recently developed GTEMPO method, and benefits from both sides: it obtains numerically exact real-time Green's functions without sampling noises and bath discretization error, it is applicable for any temperature without the sign problem, its computational cost is independent of the transient dynamics and does not scale with the number of baths. We benchmark the method on the finite-temperature equilibrium Green's function in the noninteracting limit against exact solutions and in the single-orbital Anderson impurity model against GTEMPO calculations. We also study the zero-temperature non-equilibrium steady state of an impurity coupled to two baths with a voltage bias, obtaining consistent particle currents with existing calculations. The method is ideal for studying steady-state quantum transport, and can be readily used as an efficient real-time impurity solver in the dynamical mean field theory and its non-equilibrium extension.


title: Layer Control of Magneto-Optical Effects and Their Quantization in Spin-Valley Splitting Antiferromagnets

abstract: Magneto-optical effects (MOE), interfacing the fundamental interplay between magnetism and light, have served as a powerful probe for magnetic order, band topology, and valley index. Here, based on multiferroic and topological bilayer antiferromagnets (AFMs), we propose a layer control of MOE (L-MOE), which is created and annihilated by layer-stacking or an electric field effect. The key character of L-MOE is the sign-reversible response controlled by ferroelectric polarization, the Neel vector, or the electric field direction. Moreover, the sign-reversible L-MOE can be quantized in topologically insulating AFMs. We reveal that the switchable L-MOE originates from the combined contributions of spin-conserving and spin-flip interband transitions in spin-valley splitting AFMs, a phenomenon not observed in conventional AFMs. Our findings bridge the ancient MOE to the emergent realms of layertronics, valleytronics, and multiferroics and may hold immense potential in these fields.


title: ProCQA: A Large-scale Community-based Programming Question Answering Dataset for Code Search

abstract: Retrieval-based code question answering seeks to match user queries in natural language to relevant code snippets. Previous approaches typically rely on pretraining models using crafted bi-modal and uni-modal datasets to align text and code representations. In this paper, we introduce ProCQA, a large-scale programming question answering dataset extracted from the StackOverflow community, offering naturally structured mixed-modal QA pairs. To validate its effectiveness, we propose a modality-agnostic contrastive pre-training approach to improve the alignment of text and code representations of current code language models. Compared to previous models that primarily employ bimodal and unimodal pairs extracted from CodeSearchNet for pre-training, our model exhibits significant performance improvements across a wide range of code retrieval benchmarks.


title: Consistency of pion form factor and unpolarized transverse momentum dependent parton distributions beyond leading twist in the light-front quark model

abstract: We investigate the interplay among the pion's form factor, transverse momentum dependent distributions (TMDs), and parton distribution functions (PDFs) extending our light-front quark model (LFQM) computation based on the Bakamjian-Thomas construction for the two-point function[41,42] to the three-point and four-point functions. Ensuring the four-momentum conservation at the meson-quark vertex from the Bakamjian-Thomas construction, the meson mass is taken consistently as the corresponding invariant meson mass both in the matrix element and the Lorentz factor in our LFQM computation. We achieve the current-component independence in the physical observables such as the pion form factor and delve into the derivation of unpolarized TMDs and PDFs associated with the forward matrix element. We address the challenges posed by twist-4 TMDs and exhibit the fulfillment of the sum rule. Effectively, our LFQM successfully handles the light-front zero modes and offers insights for broader three-point and four-point functions and related observables.


title: Real-Valued Somewhat-Pseudorandom Unitaries

abstract: We explore a very simple distribution of unitaries: random (binary) phase -- Hadamard -- random (binary) phase -- random computational-basis permutation. We show that this distribution is statistically indistinguishable from random Haar unitaries for any polynomial set of orthogonal input states (in any basis) with polynomial multiplicity. This shows that even though real-valued unitaries cannot be completely pseudorandom (Haug, Bharti, Koh, arXiv:2306.11677), we can still obtain some pseudorandom properties without giving up on the simplicity of a real-valued unitary. Our analysis shows that an even simpler construction: applying a random (binary) phase followed by a random computational-basis permutation, would suffice, assuming that the input is orthogonal and \emph{flat} (that is, has high min-entropy when measured in the computational basis). Using quantum-secure one-way functions (which imply quantum-secure pseudorandom functions and permutations), we obtain an efficient cryptographic instantiation of the above.


title: Combinatorial bases in quantum toroidal $\mathfrak{gl}_2$ modules

abstract: We show that many tame modules of the quantum toroidal $\mathfrak{gl}_2$ algebra can be explicitly constructed in a purely combinatorial way using the theory of $q$-characters. The examples include families of evaluation modules obtained from analytic continuation and automorphism twists of Verma modules of the quantum affine $\mathfrak{gl}_2$ algebra. The combinatorial bases in the modules are labeled by colored plane partitions with various properties.


title: An alternative measure for quantifying the heterogeneity in meta-analysis

abstract: Quantifying the heterogeneity is an important issue in meta-analysis, and among the existing measures, the $I^2$ statistic is most commonly used. In this paper, we first illustrate with a simple example that the $I^2$ statistic is heavily dependent on the study sample sizes, mainly because it is used to quantify the heterogeneity between the observed effect sizes. To reduce the influence of sample sizes, we introduce an alternative measure that aims to directly measure the heterogeneity between the study populations involved in the meta-analysis. We further propose a new estimator, namely the $I_A^2$ statistic, to estimate the newly defined measure of heterogeneity. For practical implementation, the exact formulas of the $I_A^2$ statistic are also derived under two common scenarios with the effect size as the mean difference (MD) or the standardized mean difference (SMD). Simulations and real data analysis demonstrate that the $I_A^2$ statistic provides an asymptotically unbiased estimator for the absolute heterogeneity between the study populations, and it is also independent of the study sample sizes as expected. To conclude, our newly defined $I_A^2$ statistic can be used as a supplemental measure of heterogeneity to monitor the situations where the study effect sizes are indeed similar with little biological difference. In such scenario, the fixed-effect model can be appropriate; nevertheless, when the sample sizes are sufficiently large, the $I^2$ statistic may still increase to 1 and subsequently suggest the random-effects model for meta-analysis.


title: One-Shot Domain Incremental Learning

abstract: Domain incremental learning (DIL) has been discussed in previous studies on deep neural network models for classification. In DIL, we assume that samples on new domains are observed over time. The models must classify inputs on all domains. In practice, however, we may encounter a situation where we need to perform DIL under the constraint that the samples on the new domain are observed only infrequently. Therefore, in this study, we consider the extreme case where we have only one sample from the new domain, which we call one-shot DIL. We first empirically show that existing DIL methods do not work well in one-shot DIL. We have analyzed the reason for this failure through various investigations. According to our analysis, we clarify that the difficulty of one-shot DIL is caused by the statistics in the batch normalization layers. Therefore, we propose a technique regarding these statistics and demonstrate the effectiveness of our technique through experiments on open datasets.


title: Facile synthesis of CoSi alloy with rich vacancy for base- and solvent-free aerobic oxidation of aromatic alcohols

abstract: Rational design and green synthesis of low-cost and robust catalysts efficient for the selective oxidation of various alcohols are full of challenges. Herein, we report a fast and solvent-free arc-melting (AM) method to controllably synthesize semimetal CoSi alloy (abbreviated as AM-CoSi) that is efficient for the base- and solvent-free oxidation of six types of aromatic alcohols. X-ray absorption fine structure (XAFS), electron paramagnetic resonance (EPR), and aberration corrected high angle annular dark field scanning transmission electron microscope (AC HAADF-STEM) confirmed the successful synthesis of AM-CoSi with rich Si vacancy (Siv). The as-prepared CoSi alloy catalysts exhibit an order of magnitude activity enhancement in the oxidation of model reactant benzyl alcohol (BAL) to benzyl benzoate (BBE) compared with its mono counterparts, whereas 70 % yield of BBE which is the highest yield to date. Experimental results and DFT calculations well verify that the CoSi alloy structure improves the BAL conversion and Si vacancy mainly contributes to the generation of BBE. After that, CoSi alloy maintains high stability and a potential pathway is rationally proposed. Besides, CoSi alloy also efficiently works for the selective oxidation of various alcohols with different groups. This work demonstrates for the first time that semimetal CoSi alloy is robust for the green oxidation of various alcohols and provides a vast opportunity for reasonable design and application of other semimetal alloy catalysts.


title: The crossover line in the $(T, \mu)$-phase diagram of QCD

abstract: An efficient way to study the QCD phase diagram at small finite density is to extrapolate thermodynamical observables from imaginary chemical potential. The phase diagram features a crossover line starting from the transition temperature already determined at zero chemical potential. In this work we focus on the Taylor expansion of this line up to $\mu^4$ contributions. We present the continuum extrapolation of the crossover temperature based on different observables at several lattice spacings.


title: A Gauss-Bonnet formula for the renormalized area of minimal submanifolds of Poincar\'e-Einstein manifolds

abstract: Assuming the extrinsic $Q$-curvature admits a decomposition into the Pfaffian, a scalar conformal submanifold invariant, and a tangential divergence, we prove that the renormalized area of an even-dimensional minimal submanifold of a Poincar\'e-Einstein manifold can be expressed as a linear combination of its Euler characteristic and the integral of a scalar conformal submanifold invariant. We derive such a decomposition of the extrinsic $Q$-curvature in dimensions two and four, thereby recovering and generalizing results of Alexakis-Mazzeo and Tyrrell, respectively. We also conjecture such a decomposition for general natural submanifold scalars whose integral over compact submanifolds is conformally invariant, and verify our conjecture in dimensions two and four. Our results also apply to the area of a compact even-dimensional minimal submanifold of an Einstein manifold.


title: Predictable Interval MDPs through Entropy Regularization

abstract: Regularization of control policies using entropy can be instrumental in adjusting predictability of real-world systems. Applications benefiting from such approaches range from, e.g., cybersecurity, which aims at maximal unpredictability, to human-robot interaction, where predictable behavior is highly desirable. In this paper, we consider entropy regularization for interval Markov decision processes (IMDPs). IMDPs are uncertain MDPs, where transition probabilities are only known to belong to intervals. Lately, IMDPs have gained significant popularity in the context of abstracting stochastic systems for control design. In this work, we address robust minimization of the linear combination of entropy and a standard cumulative cost in IMDPs, thereby establishing a trade-off between optimality and predictability. We show that optimal deterministic policies exist, and devise a value-iteration algorithm to compute them. The algorithm solves a number of convex programs at each step. Finally, through an illustrative example we show the benefits of penalizing entropy in IMDPs.


title: Chase Termination Beyond Polynomial Time

abstract: The chase is a widely implemented approach to reason with tuple-generating dependencies (tgds), used in data exchange, data integration, and ontology-based query answering. However, it is merely a semi-decision procedure, which may fail to terminate. Many decidable conditions have been proposed for tgds to ensure chase termination, typically by forbidding some kind of "cycle" in the chase process. We propose a new criterion that explicitly allows some such cycles, and yet ensures termination of the standard chase under reasonable conditions. This leads to new decidable fragments of tgds that are not only syntactically more general but also strictly more expressive than the fragments defined by prior acyclicity conditions. Indeed, while known terminating fragments are restricted to PTime data complexity, our conditions yield decidable languages for any k-ExpTime. We further refine our syntactic conditions to obtain fragments of tgds for which an optimised chase procedure decides query entailment in PSpace or k-ExpSpace, respectively.


title: Design Patterns for Multilevel Modeling and Simulation

abstract: Multilevel modeling and simulation (M&S) is becoming increasingly relevant due to the benefits that this methodology offers. Multilevel models allow users to describe a system at multiple levels of detail. From one side, this can make better use of computational resources, since the more detailed and time-consuming models can be executed only when/where required. From the other side, multilevel models can be assembled from existing components, cutting down development and verification/validation time. A downside of multilevel M&S is that the development process becomes more complex due to some recurrent issues caused by the very nature of multilevel models: how to make sub-models interoperate, how to orchestrate execution, how state variables are to be updated when changing scale, and so on. In this paper, we address some of these issues by presenting a set of design patterns that provide a systematic approach for designing and implementing multilevel models. The proposed design patterns cover multiple aspects, including how to represent different levels of detail, how to combine incompatible models, how to exchange data across models, and so on. Some of the patterns are derived from the general software engineering literature, while others are specific to the multilevel M&S application area.


title: A Mixed Multiscale Spectral Generalized Finite Element Method

abstract: We present a multiscale mixed finite element method for solving second order elliptic equations with general $L^{\infty}$-coefficients arising from flow in highly heterogeneous porous media. Our approach is based on a multiscale spectral generalized finite element method (MS-GFEM) and exploits the superior local mass conservation properties of mixed finite elements. Following the MS-GFEM framework, optimal local approximation spaces are built for the velocity field by solving local eigenvalue problems over generalized harmonic spaces. The resulting global velocity space is then enriched suitably to ensure inf-sup stability. We develop the mixed MS-GFEM for both continuous and discrete formulations, with Raviart-Thomas based mixed finite elements underlying the discrete method. Exponential convergence with respect to local degrees of freedom is proven at both the continuous and discrete levels. Numerical results are presented to support the theory and to validate the proposed method.


title: Modulational electrostatic wave-wave interactions in plasma fluids modeled by asymmetric coupled nonlinear Schr\"odinger (CNLS) equations

abstract: The interaction between two co-propagating electrostatic wavepackets characterized by arbitrary carrier wavenumber is considered. A one-dimensional (1D) non-magnetized plasma model is adopted, consisting of a cold inertial ion fluid evolving against a thermalized (Maxwell-Boltzmann distributed) electron background. A multiple-scale perturbation method is employed to reduce the original model equations to a pair of coupled nonlinear Schr\"odinger (CNLS) equations governing the dynamics of the wavepacket amplitudes (envelopes). The CNLS equations are in general asymmetric for arbitrary carrier wabvenumbers. Similar CNLS systems have been derived in the past in various physical contexts, and were found to support soliton, breather, and rogue wave solutions, among others. A detailed stability analysis reveals that modulational instability (MI) is possible in a wide range of values in the parameter space. The instability window and the corresponding growth rate are determined, considering different case studies, and their dependence on the carrier and the perturbation wavenumber is investigated from first principles. Wave-wave coupling is shown to favor MI occurrence by extending its range of occurrence and by enhancing its growth rate. Our findings generalize previously known results usually associated with symmetric NLS equations in nonlinear optics, though taking into account the difference between the different envelope wavenumbers and thus group velocities.


title: Superconformal Symmetry and Index Theory

abstract: Formulation and supersymmetry localization of superconformal indices for $\mathcal{N}=2B$ superconformal quantum mechanics are reviewed by providing a generalization to fixed point submanifolds of resolved target space geometries, and future applications to gauged scaling quivers are discussed.


title: Phase Transformation in Lithium Niobate-Lithium Tantalate Solid Solutions (LiNb$_{1-x}$Ta$_x$O$_3$)

abstract: The investigation of the structural phase transition in the vicinity of the Curie temperature $T_c$ of LiNb$_{1-x}$Ta$_x$O$_3$ crystals is motivated by the expected combination of advantageous high-temperature properties of LiNbO$_3$ and LiTaO$_3$, including high piezoelectric modules and remarkable high-temperature stability, respectively. $T_c$ marks the ultimate limit for exploiting the piezoelectric properties, however transition related structural modifications might impact this and other properties even below $T_c$. Remarkably, the phase transition from the ferroelectric to the paraelectric phase, whose temperature strongly depends on the composition $x$, shows a significant drop in the activation energy of the electrical conductivity. The magnitude, temperature dependence and underlying mechanisms of this drop are discussed from a microscopic perspective. Molecular dynamics calculations in the framework of the density functional theory show that substantial displacements of the cations occur below $T_c$ for both the end compounds LiNbO$_3$ and LiTaO$_3$, and might thus affect the electrical conductivity. Above $T_c$, the migration of lithium ions is presumably facilitated by a shortened diffusion path for the most favorable jump of the lithium ions. Electronic contributions to the conductivity, which become important above 900 K, are explained within the polaronic picture by the formation and migration of free small polarons.


title: Unveiling clean two-dimensional discrete time quasicrystals on a digital quantum computer

abstract: In periodically driven (Floquet) systems, evolution typically results in an infinite-temperature thermal state due to continuous energy absorption over time. However, before reaching thermal equilibrium, such systems may transiently pass through a meta-stable state known as a prethermal state. This prethermal state can exhibit phenomena not commonly observed in equilibrium, such as discrete time crystals (DTCs), making it an intriguing platform for exploring out-of-equilibrium dynamics. Here, we investigate the relaxation dynamics of initially prepared product states under periodic driving in a kicked Ising model using the IBM Quantum Heron processor, comprising 133 superconducting qubits arranged on a heavy-hexagonal lattice, over up to $100$ time steps. We identify the presence of a prethermal regime characterised by magnetisation measurements oscillating at twice the period of the Floquet cycle and demonstrate its robustness against perturbations to the transverse field. Our results provide evidence supporting the realisation of a period-doubling DTC in a two-dimensional system. Moreover, we discover that the longitudinal field induces additional amplitude modulations in the magnetisation with a period incommensurate with the driving period, leading to the emergence of discrete time quasicrystals (DTQCs). These observations are further validated through comparison with tensor-network and state-vector simulations. Our findings not only enhance our understanding of clean DTCs in two dimensions but also highlight the utility of digital quantum computers for simulating the dynamics of quantum many-body systems, addressing challenges faced by state-of-the-art classical simulations.


title: Towards a Formalisation of Value-based Actions and Consequentialist Ethics

abstract: Agents act to bring about a state of the world that is more compatible with their personal or institutional values. To formalise this intuition, the paper proposes an action framework based on the STRIPS formalisation. Technically, the contribution expresses actions in terms of Value-based Formal Reasoning (VFR), which provides a set of propositions derived from an Agent's value profile and the Agent's assessment of propositions with respect to the profile. Conceptually, the contribution provides a computational framework for a form of consequentialist ethics which is satisficing, luralistic, act-based, and preferential.


title: Derivation of Jacobian matrices for the error propagation of charged particles traversing magnetic fields and materials

abstract: In high-energy physics experiments, the trajectories of charged particles are reconstructed using track reconstruction algorithms. Such algorithms need to both identify the set of measurements from a single charged particle and to fit the parameters by propagating tracks along the measurements. The propagation of the track parameter uncertainties is an important component in the track fitting to get the optimal precision in the fitted parameters. The error propagation is performed at the surface intersections by calculating a Jacobian matrix corresponding to the surface-to-surface transport. This paper derives the Jacobian matrix in a general manner to harmonize with semi-analytical numerical integration methods developed for inhomogeneous magnetic fields and materials. The Jacobian and transported covariance matrices are validated by simulating the charged particles between two surfaces and comparing with the results of numerical methods.


title: Anti-de Sitter Momentum Space in 3D and 4D Quantum Gravity

abstract: There has been strong interest in the possibility that in the quantum-gravity realm momentum space might be curved, mainly focusing, especially for what concerns phenomenological implications, on the case of a de Sitter momentum space. We here take as starting point the known fact that quantum gravity coupled to matter in $2+1$ spacetime dimensions gives rise to an effective picture characterized by a momentum space with anti-de Sitter geometry, and we point out some key properties of $2+1$-dimensional anti-de Sitter momentum space. We observe that it is impossible to implement all of these properties in theories with a $3+1$-dimensional anti-de Sitter momentum space, and we then investigate, with the aim of providing guidance to the relevant phenomenology focusing on possible modified laws of conservation of momenta, the implications of giving up, in the $3+1$-dimensional case, some of the properties of the $2+1$-dimensional case.


title: The effect of inter-track coupling on H$_2$O$_2$ productions

abstract: Background: Lower production of H$_2$O$_2$ in water is a hallmark of ultra-high dose rate (UHDR) compared to the conventional dose rate (CDR). However, the current computational models based on the predicted yield of H$_2$O$_2$ are in opposite of the experimental data. Methods: We construct an analytical model for the rate equation in the production of H$_2$O$_2$ from \ce{^{.}OH}-radicals and use it as a guide to propose a hypothetical geometrical inhomogeneity in the configuration of particles in the FLASH-UHDR beams. We perform a series of Monte Carlo (MC) simulations of the track structures for a system of charged particles impinging the medium in the form of clusters and/or bunches. Results: We demonstrate the interplay of diffusion, reaction rates, and overlaps in track-spacing attribute to a lower yield of H$_2$O$_2$ at FLASH-UHDR vs. CDR. This trend is reversed if spacing among the tracks becomes larger than a critical value, with a length scale that is proportional to the diffusion length of \ce{^{.}OH}-radicals modulated by a rate of decay due to recombination with other species, available within a track, and the space among the tracks. The latter is substantial on the suppressing of the H$_2$O$_2$ population at FLASH-UHDR relative to CDR. Conclusions: Based on our analysis of the present work, at FLASH-UHDR, the lower yield in H$_2$O$_2$ can be interpreted as a signature of bunching the particles in beams of ionizing radiation. The beams enter the medium in closely packed clusters and form inhomogeneities in the track-structure distribution. Thus the MC simulations based on the assumption of uniformly distributed tracks are unable to explain the experimental data.

categories: physics.med-ph physics.bio-ph physics.chem-ph physics.comp-ph


title: Static equilibrium of multi-black holes in expanding bubbles in five dimensions

abstract: We investigate possible configurations for vacuum multi-black holes that maintain static equilibrium in expanding bubbles. Our analysis assumes a five-dimensional Weyl metric to describe the spacetime, facilitating the derivation of solutions based on the provided rod structure. We consider a spacetime having expanding bubbles caused by one or two acceleration horizons, and show that various configurations such as two bubbles, four bubbles devoid of horizons, a black saturn, a black di-ring, a bicycling black ring (orthogonal black di-ring), and a five-dimensional black hole binary can achieve equilibrium within expanding bubbles. Specifically, we demonstrate that equilibrium requires two acceleration horizons on both sides for the bicycling ring and the five-dimensional black hole binary. However, only one acceleration horizon is necessary for achieving equilibrium in the case of the black saturn and the black di-ring.


title: On Stability Behaviors of 5D M-theory Black Objects

abstract: Using $N = 2$ supergravity formalism, we investigate certain behaviors of five dimensional black objects from the compactification of M-theory on a Calabi-Yau three-fold. The manifold has been constructed as the intersection of two homogeneous polynomials of degrees $ (\omega+2,1)$ and $ (2,1) $ in a product of two weighted projective spaces given by $ \mathbb{WP}^{4}(\omega,1,1,1,1) \times\mathbb{P}^{1}$. First, we determine the allowed electric charge regions of the BPS and non BPS black holes obtained by wrapping M2-branes on appropriate two cycles in such a proposed Calabi-Yau three-fold. After that, we calculate the entropy of these solutions which takes a maximal value corresponding to $\omega=1$ defining the ordinary projective space $\mathbb{P}^{4}$. For generic values of $\omega$, we show that the non BPS states are unstable. Then, we conduct a similar study of five dimensional black strings. Concerning the allowed magnetic charge regions of the BPS and non BPS black stringy solutions derived from M5-branes on dual divisors, we calculate the tension taking a minimal value for $\mathbb{P}^{4}$. By determining the recombination factor, we show that the non-BPS black string states are stable in the allowed regions in the magnetic charge space.


title: Skyrmionic device for three dimensional magnetic field sensing enabled by spin-orbit torques

abstract: Magnetic skyrmions are topologically protected local magnetic solitons that are promising for storage, logic or general computing applications. In this work, we demonstrate that we can use a skyrmion device based on [W/CoFeB/MgO] 1 0 multilayers for three-dimensional magnetic field sensing enabled by spin-orbit torques (SOT). We stabilize isolated chiral skyrmions and stripe domains in the multilayers, as shown by magnetic force microscopy images and micromagnetic simulations. We perform magnetic transport measurements to show that we can sense both in-plane and out-of-plane magnetic fields by means of a differential measurement scheme in which the symmetry of the SOT leads to cancelation of the DC offset. With the magnetic parameters obtained by vibrating sample magnetometry and ferromagnetic resonance measurements, we perform finite-temperature micromagnetic simulations, where we investigate the fundamental origin of the sensing signal. We identify the topological transformation between skyrmions, stripes and type-II bubbles that leads to a change in the resistance that is read-out by the anomalous Hall effect. Our study presents a novel application for skyrmions, where a differential measurement sensing concept is applied to quantify external magnetic fields paving the way towards more energy efficient applications in skyrmionics based spintronics.


title: A primary study of CMB delensing for future CMB observations

abstract: Recognizing the growing significance of contamination from weak gravitational lensing B-modes induced by Large Scale Structure, we investigate a thorough examination of delensing methods aiming at enhancing the sensitivity of r in primordial B-mode detection experiments. In this study, we focus on two specific delensing approaches. One approach involves computing the gradient-order lensing B-mode template by cross-correlating the E-mode with the lensing potential, and subsequently subtracting it from the observed B-mode signal. Another method entails remapping the observations using the estimated deflection angle. Then demonstrate the delensing efficiency using the simulated maps from future CMB polarization experiments, including two ground-based observations: sub-1 m small aperture telescope and 6 m large aperture telescope, and one future space mission with medium aperture telescope. The results reveal that delensing efficiency will be 40% with ground-based small-aperture only, and increases to 65% when combined with a large-aperture telescope. Furthermore, the future satellite experiment achieves an impressive delensing efficiency of approximately 80%.


title: SIS epidemics on open networks: A replacement-based approximation

abstract: In this paper we analyze continuous-time SIS epidemics subject to arrivals and departures of agents, by using an approximated process based on replacements. In defining the SIS dynamics in an open network, we consider a stochastic setting in which arrivals and departures take place according to Poisson processes with similar rates, and the new value of the infection probability of an arriving agent is drawn from a continuous distribution. Since the system size changes with time, we define an approximated process, in which replacements take place instead of arrivals and departures, and we focus on the evolution of an aggregate measure of the level of infection. So long as the reproduction number is less than one, the long-term behavior of this function measures the impact of the changes of the set of agents in the epidemic. We derive upper bounds for the expectation and variance of this function and we include a numerical example to show that the approximated process is close to the original SIS process.


title: Improving Diffusion Models's Data-Corruption Resistance using Scheduled Pseudo-Huber Loss

abstract: Diffusion models are known to be vulnerable to outliers in training data. In this paper we study an alternative diffusion loss function, which can preserve the high quality of generated data like the original squared $L_{2}$ loss while at the same time being robust to outliers. We propose to use pseudo-Huber loss function with a time-dependent parameter to allow for the trade-off between robustness on the most vulnerable early reverse-diffusion steps and fine details restoration on the final steps. We show that pseudo-Huber loss with the time-dependent parameter exhibits better performance on corrupted datasets in both image and audio domains. In addition, the loss function we propose can potentially help diffusion models to resist dataset corruption while not requiring data filtering or purification compared to conventional training algorithms.


title: Quantum State Preparation for Probability Distributions with Mirror Symmetry Using Matrix Product States

abstract: Quantum circuits for loading probability distributions into quantum states are essential subroutines in quantum algorithms used in physics, finance engineering, and machine learning. The ability to implement these with high accuracy in shallow quantum circuits is a critical issue. We propose a novel quantum state preparation method for probability distribution with mirror symmetry using matrix product states. By considering mirror symmetry, our method reduces the entanglement of probability distributions and improves the accuracy of approximations by matrix product states. As a result, we improved the accuracy by two orders of magnitude over existing methods using matrix product states. Our approach, characterized by a shallow quantum circuit primarily comprising nearest-neighbor qubit gates and linear scalability with qubit count, is highly advantageous for noisy quantum devices. Also, our experimental findings reveal that the approximation accuracy in tensor networks depends heavily on the bond dimension, with minimal reliance on the number of qubits. Our method is experimentally demonstrated for a normal distribution encoded into 10 and 20 qubits on a real quantum processor.


title: A Robotic Skill Learning System Built Upon Diffusion Policies and Foundation Models

abstract: In this paper, we build upon two major recent developments in the field, Diffusion Policies for visuomotor manipulation and large pre-trained multimodal foundational models to obtain a robotic skill learning system. The system can obtain new skills via the behavioral cloning approach of visuomotor diffusion policies given teleoperated demonstrations. Foundational models are being used to perform skill selection given the user's prompt in natural language. Before executing a skill the foundational model performs a precondition check given an observation of the workspace. We compare the performance of different foundational models to this end as well as give a detailed experimental evaluation of the skills taught by the user in simulation and the real world. Finally, we showcase the combined system on a challenging food serving scenario in the real world. Videos of all experimental executions, as well as the process of teaching new skills in simulation and the real world, are available on the project's website.


title: A generalization of Boole's formula derived from a system of linear equations

abstract: We analyze a system of linear algebraic equations whose solutions lead to a proof of a generalization of Boole's formula. In particular, our approach provides an elementary and short alternative to Katsuura's proof of this generalization.


title: Enabling Uncertainty Estimation in Iterative Neural Networks

abstract: Turning pass-through network architectures into iterative ones, which use their own output as input, is a well-known approach for boosting performance. In this paper, we argue that such architectures offer an additional benefit: The convergence rate of their successive outputs is highly correlated with the accuracy of the value to which they converge. Thus, we can use the convergence rate as a useful proxy for uncertainty. This results in an approach to uncertainty estimation that provides state-of-the-art estimates at a much lower computational cost than techniques like Ensembles, and without requiring any modifications to the original iterative model. We demonstrate its practical value by embedding it in two application domains: road detection in aerial images and the estimation of aerodynamic properties of 2D and 3D shapes.


title: Direct activation of PMS by highly dispersed amorphous CoOx clusters in anatase TiO2 nanosheets for efficient oxidation of biomass-derived alcohols

abstract: Developing a green and cost-effective catalytic system for the selective oxidation of biomass-derived alcohols is vital for the sustainable synthesis of fine chemicals. Herein, highly dispersed subnanometric amorphous CoOx clusters in anatase TiO2 nanosheets (Co-TiO2) fabricated by green solvent CO2 assisted approach could directly activate peroxymonosulfate (PMS) for the highly selective oxidation of various biomass-derived alcohols. Advanced characterizations (e.g., EXAFS, EPR, AC HAADF-STEM) reveal that a strong interaction of CoOx clusters and the anatase TiO2 support exist in Co-TiO2 and Co atom in Co-TiO2 is mainly consisted of Co2+ and Co3+. The Co-TiO2 catalyst offers superior catalytic performance in the conversion of six types of alcohols (e.g., benzyl alcohol (BAL), 5-hydroxymethylfurfural (HMF)) with high selectivity to produce corresponding aldehydes. Highly dispersed CoOx clusters and the interaction between CoOx clusters and TiO2 support contribute to the superior performance. Mechanism studies show that SO4 radicals play the dominant role in the selective oxidation of model reactant BAL and 1O2 participates in the non-radical pathway. DFT calculations are well matched with experiment and decipher that the strong interaction between CoOx clusters and TiO2 support promotes the formation of SO4 and SO5.


title: Anderson Acceleration Without Restart: A Novel Method with $n$-Step Super Quadratic Convergence Rate

abstract: In this paper, we propose a novel Anderson's acceleration method to solve nonlinear equations, which does \emph{not} require a restart strategy to achieve numerical stability. We propose the greedy and random versions of our algorithm. Specifically, the greedy version selects the direction to maximize a certain measure of progress for approximating the current Jacobian matrix. In contrast, the random version chooses the random Gaussian vector as the direction to update the approximate Jacobian. Furthermore, our algorithm, including both greedy and random versions, has an $n$-step super quadratic convergence rate, where $n$ is the dimension of the objective problem. For example, the explicit convergence rate of the random version can be presented as $ \norm{\vx_{k+n+1} - \vx_*} / \norm{\vx_k- \vx_*}^2 = \cO\left(\left(1-\frac{1}{n}\right)^{kn}\right)$ for any $k\geq 0$ where $\vx_*$ is the optimum of the objective problem. This kind of convergence rate is new to Anderson's acceleration and quasi-Newton methods. The experiments also validate the fast convergence rate of our algorithm.


title: New congruences for Partitions where the Even Parts are Distinct

abstract: We denote the number of partitions of $n$ wherein the even parts are distinct (and the odd parts are unrestricted) by $ped(n)$. In this paper, we will use generating function manipulations to obtain new congruences for $ped(n)$ modulo $24$.


title: Creating a Digital Twin of Spinal Surgery: A Proof of Concept

abstract: Surgery digitalization is the process of creating a virtual replica of real-world surgery, also referred to as a surgical digital twin (SDT). It has significant applications in various fields such as education and training, surgical planning, and automation of surgical tasks. In addition, SDTs are an ideal foundation for machine learning methods, enabling the automatic generation of training data. In this paper, we present a proof of concept (PoC) for surgery digitalization that is applied to an ex-vivo spinal surgery. The proposed digitalization focuses on the acquisition and modelling of the geometry and appearance of the entire surgical scene. We employ five RGB-D cameras for dynamic 3D reconstruction of the surgeon, a high-end camera for 3D reconstruction of the anatomy, an infrared stereo camera for surgical instrument tracking, and a laser scanner for 3D reconstruction of the operating room and data fusion. We justify the proposed methodology, discuss the challenges faced and further extensions of our prototype. While our PoC partially relies on manual data curation, its high quality and great potential motivate the development of automated methods for the creation of SDTs.


title: Integrating Port-Hamiltonian Systems with Neural Networks: From Deterministic to Stochastic Frameworks

abstract: This article presents an innovative approach to integrating port-Hamiltonian systems with neural network architectures, transitioning from deterministic to stochastic models. The study presents novel mathematical formulations and computational models that extend the understanding of dynamical systems under uncertainty and complex interactions. It emphasizes the significant progress in learning and predicting the dynamics of non-autonomous systems using port-Hamiltonian neural networks (pHNNs). It also explores the implications of stochastic neural networks in various dynamical systems.


title: A data-based comparison of methods for reducing the peak volume flow rate in a district heating system

abstract: This work concerns reduction of the peak flow rate of a district heating grid, a key system property which is bounded by pipe dimensions and pumping capacity. The peak flow rate constrains the number of additional consumers that can be connected, and may be a limiting factor in reducing supply temperatures when transitioning to the 4th generation of district heating. We evaluate a full year of operational data from a subset of customer meters in a district heating system in Germany. We consider the peak flow rate reduction that could be achieved with full a posteriori knowledge of this data. Three strategies for reducing the peak flow rate are investigated: A load shifting demand response strategy, an upper limitation in substation return temperatures, and an upper limitation on each substation's volume flow rate. We show that imposing up to to 18 % load flexibility for the customers provides an equal reduction in the peak system flow rate under the load shifting strategy. The limited return temperature strategy is less efficient at curtailing the peak flow rate, but provides an overall reduction of volume flow rates. Finally, the flow rate limitation method can introduce new, higher flow rate peaks, reducing performance.


title: Emergent strength-dependent scale-free mobility edge in a non-reciprocal long-range Aubry-Andr\'e-Harper model

abstract: We investigate the properties of mobility edge in an Aubry-Andr\'e-Harper model with non-reciprocal long-range hopping. The results reveal that there can be a new type of mobility edge featuring both strength-dependent and scale-free properties. By calculating the fractal dimension, we find that the positions of mobility edges are robust to the strength of non-reciprocal long-range hopping. Furthermore, through scale analysis of the observables such as fractal dimension, eigenenergy and eigenstate, etc., we prove that four different specific mobility edges can be observed in the system. This paper extends the family tree of mobility edges and hopefully it will shed more light on the related theory and experiment.


title: Looking back and forward: A retrospective and future directions on Software Engineering for systems-of-systems

abstract: Modern systems are increasingly connected and more integrated with other existing systems, giving rise to \textit{systems-of-systems} (SoS). An SoS consists of a set of independent, heterogeneous systems that interact to provide new functionalities and accomplish global missions through emergent behavior manifested at runtime. The distinctive characteristics of SoS, when contrasted to traditional systems, pose significant research challenges within Software Engineering. These challenges motivate the need for a paradigm shift and the exploration of novel approaches for designing, developing, deploying, and evolving these systems. The \textit{International Workshop on Software Engineering for Systems-of-Systems} (SESoS) series started in 2013 to fill a gap in scientific forums addressing SoS from the Software Engineering perspective, becoming the first venue for this purpose. This article presents a study aimed at outlining the evolution and future trajectory of Software Engineering for SoS based on the examination of 57 papers spanning the 11 editions of the SESoS workshop (2013-2023). The study combined scoping review and scientometric analysis methods to categorize and analyze the research contributions concerning temporal and geographic distribution, topics of interest, research methodologies employed, application domains, and research impact. Based on such a comprehensive overview, this article discusses current and future directions in Software Engineering for SoS.


title: Spherically symmetric configurations in the quadratic $f(R)$ gravity

abstract: We study spherically symmetric configurations of the quadratic $f(R)$ gravity in the Einstein frame. In case of a purely gravitational system, we have determined the global qualitative behavior of the metric and the scalaron field for all static solutions satisfying the conditions of asymptotic flatness. These solutions are proved to be regular everywhere except for a naked singularity at the center; they are uniquely determined by the total mass $\mathfrak{M}$ and the "scalar charge" $Q$ characterizing the strength of the scalaron field at spatial infinity. The case $Q=0$ yields the Schwarzschild solution, but an arbitrarily small $Q\ne 0$ leads to the appearance of a central naked singularity having a significant effect on the neighboring region, even when the space-time metric in the outer region is practically insensitive to the scalaron field. Approximation procedures are developed to derive asymptotic relations near the naked singularity and at spatial infinity, and the leading terms of the solutions are presented. We investigate the linear stability of the static solutions with respect to radial perturbations satisfying the null Dirichlet boundary condition at the center and numerically estimate the range of parameters corresponding to stable/unstable configurations. In particular, the configurations with sufficiently small $Q$ turn out to be linearly unstable.


title: A Branch and Bound method for the exact parameter identification of the PK/PD model for anesthetic drugs

abstract: We address the problem of parameter identification for the standard pharmacokinetic/pharmacodynamic (PK/PD) model for anesthetic drugs. Our main contribution is the development of a global optimization method that guarantees finding the parameters that minimize the one-step ahead prediction error. The method is based on a branch-and-bound algorithm, that can be applied to solve a more general class of nonlinear regression problems. We present some simulation results, based on a dataset of twelve patients. In these simulations, we are always able to identify the exact parameters, despite the non-convexity of the overall identification problem.


title: Influence of primary hair and plasma on intensity distribution of black hole shadows

abstract: In this paper, we investigate the influence of primary hair ($l$) on the shadows of hairy Schwarzschild and Reissner-Nordstr\"om black holes obtained through gravitational decoupling. In the context of hairy Schwarzschild black holes, $l$ either has no effect or consistently enlarges the photon sphere radius. Notably, even when it violates the strong energy condition, it can decrease the radius. For Reissner-Nordstr\"om black holes, an additional matter field consistently expands the photon sphere radius, potentially reaching $3M$, akin to the pure Schwarzschild case. Remarkably, we demonstrate that black holes can exist even when overcharged ($Q^2 > M^2$), casting shadows. Specific intensity calculations reveal $l$ consistently reduces it in both scenarios. Furthermore, we investigate the impact of pressureless plasma, finding $l$ exerts a stronger influence on visible size than plasma. These results can help in our understanding of theoretical models of black hole shadows and can be tested by comparison with the images obtained by EHT collaboration.


title: Dimerizing hard spherocylinders in porous media

abstract: This research focuses on the unique phase behavior of non-spherical patchy colloids in porous environments. Based on the theory of scaled particle (SPT), methods have been refined and applied to analyze the thermodynamic properties of non-spherical patchy particles in a disordered porous medium. Utilizing the associative theory of liquids in conjunction with SPT, we investigated the impact of associative interactions and connections between the functional nodes of particles on the formation of the nematic phase. Calculations of orientational and spatial distributions were conducted, which helped to understand the phase behavior of particles during the transition from isotropic to nematic phase under the spatial constraints imposed by the disordered matrix of the porous medium.


title: Multilevel Modeling as a Methodology for the Simulation of Human Mobility

abstract: Multilevel modeling is increasingly relevant in the context of modelling and simulation since it leads to several potential benefits, such as software reuse and integration, the split of semantically separated levels into sub-models, the possibility to employ different levels of detail, and the potential for parallel execution. The coupling that inevitably exists between the sub-models, however, implies the need for maintaining consistency between the various components, more so when different simulation paradigms are employed (e.g., sequential vs parallel, discrete vs continuous). In this paper we argue that multilevel modelling is well suited for the simulation of human mobility, since it naturally leads to the decomposition of the model into two layers, the "micro" and "macro" layer, where individual entities (micro) and long-range interactions (macro) are described. In this paper we investigate the challenges of multilevel modeling, and describe some preliminary results using prototype implementations of multilayer simulators in the context of epidemic diffusion and vehicle pollution.


title: Polarisation properties of X-ray emission from accreting supermassive black holes

abstract: This dissertation elaborates on X-ray polarisation features of astrophysical environments near accreting black holes. Although the work was originally assigned to supermassive black holes in active galactic nuclei, the results are also largely applicable to stellar-mass black holes in X-ray binary systems. Several numerical models predicting the X-ray polarisation from these sources are presented, including their immediate applications in the interpretation of the latest discoveries achieved thanks to the Imaging X-ray Polarimetry Explorer (IXPE) mission that began operating in December 2021. The modeling ranges from radiative transfer effects in atmospheres of accretion discs to general-relativistic signatures of X-rays travelling in vacuum near the central black holes to reprocessing events in distant, circumnuclear components. Various scales in physical and computational complexity are examined. A unifying element of this dissertation is the focus on reflection of X-rays from partially ionized matter.


title: K-moduli of Fano threefolds and genus four curves

abstract: In this article, we study the K-moduli space of Fano threefolds obtained by blowing up $\mathbb{P}^3$ along $(2,3)$-complete intersection curves. This K-moduli space is a two-step birational modification of the GIT moduli space of $(3,3)$-curves on $\mathbb{P}^1 \times \mathbb{P}^1$. As an application, we show that our K-moduli space appears as one model of the Hassett--Keel program for $\overline{M}_4$. In particular, we classify all K-(semi/poly)stable members in this deformation family of Fano varieties. We follow the moduli continuity method with moduli of lattice-polarized K3 surfaces, general elephants and Sarkisov links as new ingredients.


title: Arthur packets for pure real forms of symplectic and special orthogonal groups

abstract: Arthur packets have been defined for pure real forms of symplectic and special orthogonal groups following two different approaches. The first approach, due to Arthur, Moeglin and Renard uses harmonic analysis. The second approach, due to Adams, Barbasch and Vogan uses microlocal geometry. We prove that the two approaches produce essentially equivalent Arthur packets. This extends previous work of the authors and J. Adams for the quasisplit real forms.


title: Enhancing Software Effort Estimation through Reinforcement Learning-based Project Management-Oriented Feature Selection

abstract: Purpose: The study aims to investigate the application of the data element market in software project management, focusing on improving effort estimation by addressing challenges faced by traditional methods. Design/methodology/approach: This study proposes a solution based on feature selection, utilizing the data element market and reinforcement learning-based algorithms to enhance the accuracy of software effort estimation. It explores the application of the MARLFS algorithm, customizing improvements to the algorithm and reward function. Findings: This study demonstrates that the proposed approach achieves more precise estimation compared to traditional methods, leveraging feature selection to guide project management in software development. Originality/value: This study contributes to the field by offering a novel approach that combines the data element market, machine learning, and feature selection to improve software effort estimation, addressing limitations of traditional methods and providing insights for future research in project management.


title: All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification

abstract: Modern hardware designs have grown increasingly efficient and complex. However, they are often susceptible to Common Weakness Enumerations (CWEs). This paper is focused on the formal verification of CWEs in a dataset of hardware designs written in SystemVerilog from Regenerative Artificial Intelligence (AI) powered by Large Language Models (LLMs). We applied formal verification to categorize each hardware design as vulnerable or CWE-free. This dataset was generated by 4 different LLMs and features a unique set of designs for each of the 10 CWEs we target in our paper. We have associated the identified vulnerabilities with CWE numbers for a dataset of 60,000 generated SystemVerilog Register Transfer Level (RTL) code. It was also found that most LLMs are not aware of any hardware CWEs; hence they are usually not considered when generating the hardware code. Our study reveals that approximately 60% of the hardware designs generated by LLMs are prone to CWEs, posing potential safety and security risks. The dataset could be ideal for training LLMs and Machine Learning (ML) algorithms to abstain from generating CWE-prone hardware designs.


title: Recent advances on CO2-assisted synthesis of metal nanoparticles for the upgrading of biomass-derived compounds

abstract: Nanostructured catalysts have attracted the increased attention for biomass conversion into high-valued chemicals due to the rapid depletion of fossil resources and increasingly severe environmental issues. Supercritical carbon dioxide (scCO2) fluid is an attractive medium for synthesizing nanostructured materials due to its favorable properties. In this review, the properties of scCO2 and the roles of scCO2 in the fabrication of metal nanoparticles were assessed in detailed. A general overview of the synthesis of different types of metal nanoparticles (including metal oxide nanoparticles) using scCO2 and the relationship between the structure of the obtained metal nanoparticles and the preparation conditions such as reaction temperature and pressure, types of metal precursors, and deposition time are system summarized and compared in tables. Besides, compared to the meatal catalysts using the conventional methods, the catalysts obtained using scCO2 exhibited excellent catalytic performance on biomass conversion reactions, mainly focused on oxidation, hydrogenation reactions. Finally, opportunities and challenges of metal nanoparticle preparation using scCO2 for biomass valorization to chemicals and liquid fuels are highlighted. This review could be helpful for the rational design of more efficient metal catalysts for the selective synthesis of fine chemicals and fuels from biomass-derived chemicals.


title: Action of the axial $U(1)$ non-invertible symmetry on the 't~Hooft line operator: A lattice gauge theory study

abstract: We study how the symmetry operator of the axial $U(1)$ non-invertible symmetry acts on the 't~Hooft line operator in the $U(1)$ gauge theory by employing the modified Villain-type lattice formulation. We model the axial anomaly by a compact scalar boson, the ``QED axion''. For the gauge invariance, the simple 't~Hooft line operator, which is defined by a line integral of the dual $U(1)$ gauge potential, must be ``dressed'' by the scalar and $U(1)$ gauge fields. A careful consideration on the basis of the anomalous Ward--Takahashi identity containing the 't~Hooft operator with the dressing factor and a precise definition of the symmetry operator on the lattice shows that the symmetry operator leaves no effect when it sweeps out a 't~Hooft loop operator. This result appears inequivalent with the phenomenon concluded in the continuum theory. The same result is obtained for the axion string operator.


title: Modeling the secular evolution of embedded protoplanetary discs

abstract: Context: Protoplanetary discs are known to form around nascent stars from their parent molecular cloud as a result of angular momentum conservation. As they progressively evolve and dissipate, they also form planets. While a lot of modeling efforts have been dedicated to their formation, the question of their secular evolution, from the so-called class 0 embedded phase to the class II phase where discs are believed to be isolated, remains poorly understood. Aims: We aim to explore the evolution between the embedded stages and the class II stage. We focus on the magnetic field evolution and the long-term interaction between the disc and the envelope. Methods: We use the GPU-accelerated code \textsc{Idefix} to perform a 3D, barotropic, non-ideal magnetohydrodynamic (MHD) secular core collapse simulation that covers the system evolution from the collapse of the pre-stellar core until 100 kyr after the first hydrostatic core formation and the disc settling while ensuring sufficient vertical and azimuthal resolutions (down to $10^{-2}$ au) to properly resolve the disc internal dynamics and non-axisymmetric perturbations. Results: The disc evolution leads to a power-law gas surface density in Keplerian rotation that extends up to a few 10 au. The magnetic flux trapped in the disc during the initial collapse decreases from 100 mG at disc formation down to 1 mG by the end of the simulation. After the formation of the first hydrostatic core, the system evolves in three phases. A first phase with a small ($\sim 10$ au), unstable, strongly accreting ($\sim10^{-5}$ $\mathrm{M_\odot \, yr^{-1}}$) disc that loses magnetic flux over the first 15 kyr, a second phase where the magnetic flux is advected with a smooth, expanding disc fed by the angular momentum of the infalling material...


title: Radial Acceleration Relation of HI-rich Low Surface Brightness Galaxies

abstract: We investigate the radial acceleration relation (RAR) in low surface brightness galaxies selected from the Arecibo Legacy Fast ALFA survey. We find that the dynamical acceleration $g_{\rm obs}$ and baryonic gravitational acceleration $g_{\rm bar}$ of the HI-rich low surface brightness galaxies still follow the universal RAR of typical late-type galaxies. The universal RAR signifies a consistent correlation between the distribution of baryonic matter and dark matter across galaxies with diverse morphologies and properties. Our findings suggest that the matter distributions in low surface brightness galaxies may indeed resemble that of general late-type galaxies. This implies that low surface brightness galaxies may not originate from dark matter halos with lower densities; instead, they may originate from the dark matter halos with high spins or form through feedback processes.


title: A Blotto Game Approach to Ride-hailing Markets with Electric Vehicles

abstract: When a centrally operated ride-hailing company considers to enter a market already served by another company, it has to make a strategic decision about how to distribute its fleet among different regions in the area. This decision will be influenced by the market share the company can secure and the costs associated with charging the vehicles in each region, all while competing with the company already operating in the area. In this paper, we propose a Colonel Blotto-like game to model this decision-making. For the class of games that we study, we first prove the existence and uniqueness of a Nash Equilibrium. Subsequently, we provide its general characterization and present an algorithm for computing the ones in the feasible set's interior. Additionally, for a simplified scenario involving two regions, which would correspond to a city area with a downtown and a suburban region, we also provide a method to check for the equilibria on the feasible set's boundary. Finally, through a numerical case study, we illustrate the impact of charging prices on the position of the Nash equilibrium.


title: RKFNet: A Novel Neural Network Aided Robust Kalman Filter

abstract: Driven by the filtering challenges in linear systems disturbed by non-Gaussian heavy-tailed noise, the robust Kalman filters (RKFs) leveraging diverse heavy-tailed distributions have been introduced. However, the RKFs rely on precise noise models, and large model errors can degrade their filtering performance. Also, the posterior approximation by the employed variational Bayesian (VB) method can further decrease the estimation precision. Here, we introduce an innovative RKF method, the RKFNet, which combines the heavy-tailed-distribution-based RKF framework with the deep learning (DL) technique and eliminates the need for the precise parameters of the heavy-tailed distributions. To reduce the VB approximation error, the mixing-parameter-based function and the scale matrix are estimated by the incorporated neural network structures. Also, the stable training process is achieved by our proposed unsupervised scheduled sampling (USS) method, where a loss function based on the Student's t (ST) distribution is utilised to overcome the disturbance of the noise outliers and the filtering results of the traditional RKFs are employed as reference sequences. Furthermore, the RKFNet is evaluated against various RKFs and recurrent neural networks (RNNs) under three kinds of heavy-tailed measurement noises, and the simulation results showcase its efficacy in terms of estimation accuracy and efficiency.


title: Bi-objective Optimization in Role Mining

abstract: Role mining is a technique used to derive a role-based authorization policy from an existing policy. Given a set of users $U$, a set of permissions $P$ and a user-permission authorization relation $\mahtit{UPA}\subseteq U\times P$, a role mining algorithm seeks to compute a set of roles $R$, a user-role authorization relation $\mathit{UA}\subseteq U\times R$ and a permission-role authorization relation $\mathit{PA}\subseteq R\times P$, such that the composition of $\mathit{UA}$ and $\mathit{PA}$ is close (in some appropriate sense) to $\mathit{UPA}$. In this paper, we first introduce the Generalized Noise Role Mining problem (GNRM) -- a generalization of the MinNoise Role Mining problem -- which we believe has considerable practical relevance. Extending work of Fomin et al., we show that GNRM is fixed parameter tractable, with parameter $r + k$, where $r$ is the number of roles in the solution and $k$ is the number of discrepancies between $\mathit{UPA}$ and the relation defined by the composition of $\mathit{UA}$ and $\mathit{PA}$. We further introduce a bi-objective optimization variant of GNRM, where we wish to minimize both $r$ and $k$ subject to upper bounds $r\le \bar{r}$ and $k\le \bar{k}$, where $\bar{r}$ and $\bar{k}$ are constants. We show that the Pareto front of this bi-objective optimization problem (BO-GNRM) can be computed in fixed-parameter tractable time with parameter $\bar{r}+\bar{k}$. We then report the results of our experimental work using the integer programming solver Gurobi to solve instances of BO-GNRM. Our key findings are that (a) we obtained strong support that Gurobi's performance is fixed-parameter tractable, (b) our results suggest that our techniques may be useful for role mining in practice, based on our experiments in the context of three well-known real-world authorization policies.


title: Spectral continuum in the Rabi-Stark model

abstract: The Rabi-Stark model is a non-linear generalization of the quantum Rabi model including the dynamical Stark shift as a tunable term, which can be realized via quantum simulation on a cavity QED platform. When the Stark coupling becomes equal to the mode frequency, the spectrum changes drastically, a transition usually termed "spectral collapse" because numerical studies indicate an infinitely degenerate ground state. We show that the spectrum extends continuously from a threshold value up to infinity. A set of normalizable states are embedded in the continuum which furnishes an unexpected analogy to the atomic Stark effect. Bound states and continuum can be obtained analytically through two equally justified, but different confluence processes of the associated differential equation in Bargmann space. Moreover, these results are obtained independently using a method based on adiabatic elimination of the spin degree of freedom and corroborated through large-scale numerical checks.

categories: quant-ph cond-mat.quant-gas math-ph math.MP


title: A spectacular galactic scale magnetohydrodynamic powered wind in ESO 320-G030

abstract: How galaxies regulate nuclear growth through gas accretion by supermassive black holes (SMBHs) is one of the most fundamental questions in galaxy evolution. One potential way to regulate nuclear growth is through a galactic wind that removes gas from the nucleus. It is unclear whether galactic winds are powered by jets, mechanical winds, radiation, or via magnetohydrodynamic (MHD) processes. Compact obscured nuclei (CONs) represent a significant phase of galactic nuclear growth. These galaxies hide growing SMBHs or unusual starbursts in their very opaque, extremely compact (r $<$ 100 pc) centres. They are found in approximately 30 % of the luminous and ultra-luminous infrared galaxy (LIRG and ULIRG) population. Here, we present high-resolution ALMA observations ($\sim$30 mas, $\sim$5 pc) of ground-state and vibrationally excited HCN towards ESO 320-G030 (IRAS 11506-3851). ESO 320-G030 is an isolated luminous infrared galaxy known to host a compact obscured nucleus and a kiloparsec-scale molecular wind. Our analysis of these high-resolution observations excludes the possibility of a starburst-driven wind, a mechanically or energy driven active galactic nucleus (AGN) wind, and exposes a molecular MDH wind. These results imply that the nuclear evolution of galaxies and the growth of SMBHs are similar to the growth of hot cores or protostars where gravitational collapse of the nuclear torus drives a MHD wind. These results mean galaxies are capable, in part, of regulating the evolution of their nuclei without feedback.


title: As Good As A Coin Toss: Human detection of AI-generated images, videos, audio, and audiovisual stimuli

abstract: As synthetic media becomes progressively more realistic and barriers to using it continue to lower, the technology has been increasingly utilized for malicious purposes, from financial fraud to nonconsensual pornography. Today, the principal defense against being misled by synthetic media relies on the ability of the human observer to visually and auditorily discern between real and fake. However, it remains unclear just how vulnerable people actually are to deceptive synthetic media in the course of their day to day lives. We conducted a perceptual study with 1276 participants to assess how accurate people were at distinguishing synthetic images, audio only, video only, and audiovisual stimuli from authentic. To reflect the circumstances under which people would likely encounter synthetic media in the wild, testing conditions and stimuli emulated a typical online platform, while all synthetic media used in the survey was sourced from publicly accessible generative AI technology. We find that overall, participants struggled to meaningfully discern between synthetic and authentic content. We also find that detection performance worsens when the stimuli contains synthetic content as compared to authentic content, images featuring human faces as compared to non face objects, a single modality as compared to multimodal stimuli, mixed authenticity as compared to being fully synthetic for audiovisual stimuli, and features foreign languages as compared to languages the observer is fluent in. Finally, we also find that prior knowledge of synthetic media does not meaningfully impact their detection performance. Collectively, these results indicate that people are highly susceptible to being tricked by synthetic media in their daily lives and that human perceptual detection capabilities can no longer be relied upon as an effective counterdefense.


title: On the Continued Fraction Expansion of Almost All Real Numbers

abstract: By a classical result of Gauss and Kuzmin, the continued fraction expansion of a ``random'' real number contains each digit $a\in\mathbb{N}$ with asymptotic frequency $\log_2(1+1/(a(a+2)))$. We generalize this result in two directions: First, for certain sets $A\subset\mathbb{N}$, we establish simple explicit formulas for the frequency with which the continued fraction expansion of a random real number contains a digit from the set $A$. For example, we show that digits of the form $p-1$, where $p$ is prime, appear with frequency $\log_2(\pi^2/6)$. Second, we obtain a simple formula for the frequency with which a string of $k$ consecutive digits $a$ appears in the continued fraction expansion of a random real number. In particular, when $a=1$, this frequency is given by $|\log_2(1+(-1)^k/F_{k+2})|$, where $F_n$ is the $n$th Fibonacci number. Finally, we compare the frequencies predicted by these results with actual frequencies found among the first 300 million continued fraction digits of $\pi$, and we provide strong statistical evidence that the continued fraction expansion of $\pi$ behaves like that of a random real number.


title: Foulis-Holland theorem for implicative-orthomodular lattices

abstract: We introduce the notion of distributivity for implicative-orthomodular lattices, proving an analogue result of the Foulis-Holland theorem. Based on this result, we characterize the distributive implicative-orthomodular lattices. Moreover, we define the center of an implicative-orthomodular lattice as the set of all elements that commute with all other elements, and we prove that the center is an implicative-Boolean algebra. Additionally, we give new characterizations of implicative-orthomodular lattices.


title: LiteBIRD Science Goals and Forecasts: Primordial Magnetic Fields

abstract: We present detailed forecasts for the constraints on primordial magnetic fields (PMFs) that will be obtained with the LiteBIRD satellite. The constraints are driven by the effects of PMFs on the CMB anisotropies: the gravitational effects of magnetically-induced perturbations; the effects on the thermal and ionization history of the Universe; the Faraday rotation imprint on the CMB polarization; and the non-Gaussianities induced in polarization anisotropies. LiteBIRD represents a sensitive probe for PMFs and by exploiting all the physical effects, it will be able to improve the current limit coming from Planck. In particular, thanks to its accurate $B$-mode polarization measurement, LiteBIRD will improve the constraints on infrared configurations for the gravitational effect, giving $B_{\rm 1\,Mpc}^{n_{\rm B} =-2.9} < 0.8$ nG at 95% C.L., potentially opening the possibility to detect nanogauss fields with high significance. We also observe a significant improvement in the limits when marginalized over the spectral index, $B_{1\,{\rm Mpc}}^{\rm marg}< 2.2$ nG at 95% C.L. From the thermal history effect, which relies mainly on $E$-mode polarization data, we obtain a significant improvement for all PMF configurations, with the marginalized case, $\sqrt{\langle B^2\rangle}^{\rm marg}<0.50$ nG at 95% C.L. Faraday rotation constraints will take advantage of the wide frequency coverage of LiteBIRD and the high sensitivity in $B$ modes, improving the limits by orders of magnitude with respect to current results, $B_{1\,{\rm Mpc}}^{n_{\rm B} =-2.9} < 3.2$ nG at 95% C.L. Finally, non-Gaussianities of the $B$-mode polarization can probe PMFs at the level of 1 nG, again significantly improving the current bounds from Planck. Altogether our forecasts represent a broad collection of complementary probes, providing conservative limits on PMF characteristics that will be achieved with LiteBIRD.


title: Low-Cost Teleoperation with Haptic Feedback through Vision-based Tactile Sensors for Rigid and Soft Object Manipulation

abstract: Haptic feedback is essential for humans to successfully perform complex and delicate manipulation tasks. A recent rise in tactile sensors has enabled robots to leverage the sense of touch and expand their capability drastically. However, many tasks still need human intervention/guidance. For this reason, we present a teleoperation framework designed to provide haptic feedback to human operators based on the data from camera-based tactile sensors mounted on the robot gripper. Partial autonomy is introduced to prevent slippage of grasped objects during task execution. Notably, we rely exclusively on low-cost off-the-shelf hardware to realize an affordable solution. We demonstrate the versatility of the framework on nine different objects ranging from rigid to soft and fragile ones, using three different operators on real hardware.


title: The stability of the multivariate geometric Brownian motion as a bilinear matrix inequality problem

abstract: In this manuscript, we study the stability of the origin for the multivariate geometric Brownian motion. More precisely, under suitable sufficient conditions, we construct a Lyapunov function such that the origin of the multivariate geometric Brownian motion is globally asymptotically stable in probability. Moreover, we show that such conditions can be rewritten as a Bilinear Matrix Inequality (BMI) feasibility problem. We stress that no commutativity relations between the drift matrix and the noise dispersion matrices are assumed and therefore the so-called Magnus representation of the solution of the multivariate geometric Brownian motion is complicated. In addition, we exemplify our method in numerous specific models from the literature such as random linear oscillators, satellite dynamics, inertia systems, diagonal noise systems, cancer self-remission and smoking.


title: Models, constructive heuristics, and benchmark instances for the flexible job shop scheduling problem with sequencing flexibility and position-based learning effect

abstract: This paper addresses the flexible job shop scheduling problem with sequencing flexibility and position-based learning effect. In this variant of the flexible job shop scheduling problem, precedence constraints of the operations constituting a job are given by an arbitrary directed acyclic graph, in opposition to the classical case in which a total order is imposed. Additionally, it is assumed that the processing time of an operation in a machine is subject to a learning process such that the larger the position of the operation in the machine, the faster the operation is processed. Mixed integer programming and constraint programming models are presented and compared in the present work. In addition, constructive heuristics are introduced to provide an initial solution to the models' solvers. Sets of benchmark instances are also introduced. The problem considered corresponds to modern problems of great relevance in the printing industry. The models and instances presented are intended to support the development of new heuristic and metaheuristics methods for this problem.


title: Policy Gradient-based Model Free Optimal LQG Control with a Probabilistic Risk Constraint

abstract: In this paper, we investigate a model-free optimal control design that minimizes an infinite horizon average expected quadratic cost of states and control actions subject to a probabilistic risk or chance constraint using input-output data. In particular, we consider linear time-invariant systems and design an optimal controller within the class of linear state feedback control. Three different policy gradient (PG) based algorithms, natural policy gradient (NPG), Gauss-Newton policy gradient (GNPG), and deep deterministic policy gradient (DDPG), are developed, and compared with the optimal risk-neutral linear-quadratic regulator (LQR) and a scenario-based model predictive control (MPC) technique via numerical simulations. The convergence properties and the accuracy of all the algorithms are compared numerically. We also establish analytical convergence properties of the NPG and GNPG algorithms under the known model scenario, while the proof of convergence for the unknown model scenario is part of our ongoing work.


title: DeepKnowledge: Generalisation-Driven Deep Learning Testing

abstract: Despite their unprecedented success, DNNs are notoriously fragile to small shifts in data distribution, demanding effective testing techniques that can assess their dependability. Despite recent advances in DNN testing, there is a lack of systematic testing approaches that assess the DNN's capability to generalise and operate comparably beyond data in their training distribution. We address this gap with DeepKnowledge, a systematic testing methodology for DNN-based systems founded on the theory of knowledge generalisation, which aims to enhance DNN robustness and reduce the residual risk of 'black box' models. Conforming to this theory, DeepKnowledge posits that core computational DNN units, termed Transfer Knowledge neurons, can generalise under domain shift. DeepKnowledge provides an objective confidence measurement on testing activities of DNN given data distribution shifts and uses this information to instrument a generalisation-informed test adequacy criterion to check the transfer knowledge capacity of a test set. Our empirical evaluation of several DNNs, across multiple datasets and state-of-the-art adversarial generation techniques demonstrates the usefulness and effectiveness of DeepKnowledge and its ability to support the engineering of more dependable DNNs. We report improvements of up to 10 percentage points over state-of-the-art coverage criteria for detecting adversarial attacks on several benchmarks, including MNIST, SVHN, and CIFAR.


title: Dynamics of primitive elements under group actions

abstract: We investigate group actions in which certain primitive elements fix a point, while not all group elements possess this property when acting upon some space. Using similar dynamical tools, we introduce the notion of Nielsen girth and prove the existence of groups with infinite girth but having finite Nielsen girth.


title: Chemical homogenization for non-mixing reactive interfaces in porous media

abstract: Porous media, while ubiquitous across many engineering disciplines, is inherently difficult to characterize due to their innate stochasticity and heterogeneity. The key for predicting porous material behavior comes down to the structuring of its microstructure, where the linkages of microstructural properties to mesoscale effects remain as one of the key questions in unlocking understanding of this class of materials. One proposed method of linking scales comes down to using Minkowski functionals -- geometric morphometers that describe the spatial and topological features of a convex space -- to draw connections from microstructural form to mesoscale features. In this work, chemical equilibrium and kinetics on a microstructure surface were explored, with Minkowski functionals used as the basis for relating microstructural geometry to chemical performance. Using surface CRNs to model chemical behavior -- a novel asynchronous cellular automaton -- linkages were found between the Minkowski functionals and equilibrium equilibrium constant, as well as properties related to the dynamics of the system's reaction quotient.


title: Synthetic Data Generation and Joint Learning for Robust Code-Mixed Translation

abstract: The widespread online communication in a modern multilingual world has provided opportunities to blend more than one language (aka code-mixed language) in a single utterance. This has resulted a formidable challenge for the computational models due to the scarcity of annotated data and presence of noise. A potential solution to mitigate the data scarcity problem in low-resource setup is to leverage existing data in resource-rich language through translation. In this paper, we tackle the problem of code-mixed (Hinglish and Bengalish) to English machine translation. First, we synthetically develop HINMIX, a parallel corpus of Hinglish to English, with ~4.2M sentence pairs. Subsequently, we propose RCMT, a robust perturbation based joint-training model that learns to handle noise in the real-world code-mixed text by parameter sharing across clean and noisy words. Further, we show the adaptability of RCMT in a zero-shot setup for Bengalish to English translation. Our evaluation and comprehensive analyses qualitatively and quantitatively demonstrate the superiority of RCMT over state-of-the-art code-mixed and robust translation methods.


title: The cubic nonlinear Schr\"odinger equation with rough potential

abstract: We consider the cubic nonlinear Schr\"odinger equation with a spatially rough potential, a key equation in the mathematical setup for nonlinear Anderson localization. Our study comprises two main parts: new optimal results on the well-posedness analysis on the PDE level, and subsequently a new efficient numerical method, its convergence analysis and simulations that illustrate our analytical results. In the analysis part, our results focus on understanding how the regularity of the solution is influenced by the regularity of the potential, where we provide quantitative and explicit characterizations. Ill-posedness results are also established to demonstrate the sharpness of the obtained regularity characterizations and to indicate the minimum regularity required from the potential for the NLS to be solvable. Building upon the obtained regularity results, we design an appropriate numerical discretization for the model and establish its convergence with an optimal error bound. The numerical experiments in the end not only verify the theoretical regularity results, but also confirm the established convergence rate of the proposed scheme. Additionally, a comparison with other existing schemes is conducted to demonstrate the better accuracy of our new scheme in the case of a rough potential.


title: Privacy-Protected Spatial Autoregressive Model

abstract: Spatial autoregressive (SAR) models are important tools for studying network effects. However, with an increasing emphasis on data privacy, data providers often implement privacy protection measures that make classical SAR models inapplicable. In this study, we introduce a privacy-protected SAR model with noise-added response and covariates to meet privacy-protection requirements. However, in this scenario, the traditional quasi-maximum likelihood estimator becomes infeasible because the likelihood function cannot be formulated. To address this issue, we first consider an explicit expression for the likelihood function with only noise-added responses. However, the derivatives are biased owing to the noise in the covariates. Therefore, we develop techniques that can correct the biases introduced by noise. Correspondingly, a Newton-Raphson-type algorithm is proposed to obtain the estimator, leading to a corrected likelihood estimator. To further enhance computational efficiency, we introduce a corrected least squares estimator based on the idea of bias correction. These two estimation methods ensure both data security and the attainment of statistically valid estimators. Theoretical analysis of both estimators is carefully conducted, and statistical inference methods are discussed. The finite sample performances of different methods are demonstrated through extensive simulations and the analysis of a real dataset.


title: A gate tunable transmon qubit in planar Ge

abstract: Gate-tunable transmons (gatemons) employing semiconductor Josephson junctions have recently emerged as building blocks for hybrid quantum circuits. In this study, we present a gatemon fabricated in planar Germanium. We induce superconductivity in a two-dimensional hole gas by evaporating aluminum atop a thin spacer, which separates the superconductor from the Ge quantum well. The Josephson junction is then integrated into an Xmon circuit and capacitively coupled to a transmission line resonator. We showcase the qubit tunability in a broad frequency range with resonator and two-tone spectroscopy. Time-domain characterizations reveal energy relaxation and coherence times up to 75 ns. Our results, combined with the recent advances in the spin qubit field, pave the way towards novel hybrid and protected qubits in a group IV, CMOS-compatible material.


title: Stochastic Inertial Dynamics Via Time Scaling and Averaging

abstract: Our work is part of the close link between continuous-time dissipative dynamical systems and optimization algorithms, and more precisely here, in the stochastic setting. We aim to study stochastic convex minimization problems through the lens of stochastic inertial differential inclusions that are driven by the subgradient of a convex objective function. This will provide a general mathematical framework for analyzing the convergence properties of stochastic second-order inertial continuous-time dynamics involving vanishing viscous damping and measurable stochastic subgradient selections. Our chief goal in this paper is to develop a systematic and unified way that transfers the properties recently studied for first-order stochastic differential equations to second-order ones involving even subgradients in lieu of gradients. This program will rely on two tenets: time scaling and averaging, following an approach recently developed in the literature by one of the co-authors in the deterministic case. Under a mild integrability assumption involving the diffusion term and the viscous damping, our first main result shows that almost surely, there is weak convergence of the trajectory towards a minimizer of the objective function and fast convergence of the values and gradients. We also provide a comprehensive complexity analysis by establishing several new pointwise and ergodic convergence rates in expectation for the convex, strongly convex, and (local) Polyak-Lojasiewicz case. Finally, using Tikhonov regularization with a properly tuned vanishing parameter, we can obtain almost sure strong convergence of the trajectory towards the minimum norm solution.


title: Diff-Def: Diffusion-Generated Deformation Fields for Conditional Atlases

abstract: Anatomical atlases are widely used for population analysis. Conditional atlases target a particular sub-population defined via certain conditions (e.g. demographics or pathologies) and allow for the investigation of fine-grained anatomical differences - such as morphological changes correlated with age. Existing approaches use either registration-based methods that are unable to handle large anatomical variations or generative models, which can suffer from training instabilities and hallucinations. To overcome these limitations, we use latent diffusion models to generate deformation fields, which transform a general population atlas into one representing a specific sub-population. By generating a deformation field and registering the conditional atlas to a neighbourhood of images, we ensure structural plausibility and avoid hallucinations, which can occur during direct image synthesis. We compare our method to several state-of-the-art atlas generation methods in experiments using 5000 brain as well as whole-body MR images from UK Biobank. Our method generates highly realistic atlases with smooth transformations and high anatomical fidelity, outperforming the baselines.