Search

In this paper, we investigate the transformation laws of the Wigner function under changes of reference frames. By employing the coordinate transformation of the wave functions, we derive an integral representation for the transformed Wigner function in both position and momentum representations. To illustrate our results, we include some basic examples., Comment: 9 pages, no figures

Wave-like dark matter may feature quadratic couplings to ordinary matter. This carries profound consequences for the phenomenologies of such models. It changes the dark matter density around dense objects made from ordinary matter such as planets and stars, thereby changing the sensitivity of direct detection experiments on Earth as well as implying forces on other ordinary matter objects in the vicinity. In this note we study the time dependence of the dark matter field around spherical objects of ordinary matter. This work indicates the time-scale on which accelerating objects settle into a stationary state and delineates the applicability of stationary solutions for experimental dark matter tests. We also use this to understand (and effectively eliminate) the infinities in energies, forces, and pressures that appear when naively comparing the total energy around objects with different size but the same total number of ordinary matter particles., Comment: 31 pages, 10 figures

This paper formulates the completion time $\tau$ of a project network as $ \tau =\|\mathbf{R} \mathbf{t} \|_\infty $ where the rows of $\mathbf{R}$ are simple paths of the network and $\mathbf{t}$ is a column vector representing the duration of the activities. Considering this product as a linear transformation leads to interesting findings on the topological relevance of both paths and activities using singular value decomposition. The notion of spectral networks is introduced to condense the fundamental structure of the project network. A definition of project stress is introduced to establish a comparison index between two alternatives in terms of slack. Additionally, the Moore-Penrose inverse of $\mathbf{R}$ is presented to find the configuration of the durations of the activities resulting in a given simple path duration vector. Then, the systematic mapping review process carried out to assess our claims' novelty is reported. Finally, we reflect on the notion of relevance for paths and activities and the relationship of the incidence matrix with the proposed approach., Comment: 20 pages, 2 figures

Knowledge of the occupation ratio and the energy splitting of a two-level system yields a direct readout of its temperature. Based on this principle, the determination of the temperature of an individual two-level magnetic atom was demonstrated using Electron Spin Resonance (ESR) via Scanning Tunneling Microscopy (ESR-STM). The temperature determination proceeds in two steps. First, energy splitting is determined using ESR-STM. Second, the equilibrium occupation of the two-level atom is determined in a resonance experiment of a second nearby atom, that has now two different resonant peaks, associated to the two states of the magnetic two-level atom. The ratio of the heights of its resonance peaks yields the occupation ratio. Here we present theory work to address three key aspects: first, we find how shot-noise and back-action limit the precision of this thermometry method; second, we study how the geometry of the nearby spins can be used to enhance signal-to-noise ratio. We predict ESR-STM thermometry can achieve a resolution of 10 mK using temperatures in the T= 1K range. Third, we show how ESR-STM thermometry can be used to detect thermal gradients as small as 5 mK/nm.

High-quality datasets of real-world vulnerabilities are enormously valuable for downstream research in software security, but existing datasets are typically small, require extensive manual effort to update, and are missing crucial features that such research needs. In this paper, we introduce ARVO: an Atlas of Reproducible Vulnerabilities in Open-source software. By sourcing vulnerabilities from C/C++ projects that Google's OSS-Fuzz discovered and implementing a reliable re-compilation system, we successfully reproduce more than 5,000 memory vulnerabilities across over 250 projects, each with a triggering input, the canonical developer-written patch for fixing the vulnerability, and the ability to automatically rebuild the project from source and run it at its vulnerable and patched revisions. Moreover, our dataset can be automatically updated as OSS-Fuzz finds new vulnerabilities, allowing it to grow over time. We provide a thorough characterization of the ARVO dataset, show that it can locate fixes more accurately than Google's own OSV reproduction effort, and demonstrate its value for future research through two case studies: firstly evaluating real-world LLM-based vulnerability repair, and secondly identifying over 300 falsely patched (still-active) zero-day vulnerabilities from projects improperly labeled by OSS-Fuzz., Comment: 14 pages, 9 figures

The Space Industry Responsive Intelligent Thermal (SpIRIT) 6U CubeSat is a mission led by The University of Melbourne in cooperation with the Italian Space Agency. Launched in a 510 km Polar Sun Synchronous Orbit in December 2023, SpIRIT carries multiple subsystems for scientific and technology demonstration. The main payload is the HERMES instrument for detection of high-energy astrophysics transients (Gamma Ray Bursts), and for studies of their variability at scales below 1 ms. The satellite includes a novel thermal management system for its class, based on a Stirling-cycle cooler and deployable thermal radiator, designed to cool HERMES to reduce instrumental background noise. A low-latency communication subsystem based on a sat-phone network is supporting rapid transmission of time-critical data and telecommands. SpIRIT is also equipped with a set of RGB and thermal IR cameras, connected to an on-board image processing unit with artificial intelligence capabilities for autonomous feature recognition. To effectively manage all interfaces between different subsystems and mission stakeholders, the University of Melbourne developed an instrument control unit (PMS) which operates all payloads. PMS also provides backup uninterruptible power to the HERMES instrument through a supercapacitor-based UPS for safe instrument shutdown in case of platform power interruptions. This paper first presents a mission and payload overview, and early in-orbit results, along with lessons learned throughout the mission. This work not only sheds light on the novelty of some of the on-board technologies onboard and on their potential impact to enable greater utilization of CubeSats for scientific missions, but also offers insights into the practical challenges and accomplishments related to developing and operating a multi-organization CubeSat with a complex array of instruments and systems., Comment: 12 pages, 38th Annual Small Satellite Conference

The Thermal Management Integrated System (TheMIS) is a key element of the Australia-Italy Space Industry Responsive Intelligent Thermal (SpIRIT) mission, launched in a 510km Polar Sun-Synchronous orbit in December 2023. SpIRIT is a 6U CubeSat led by The University of Melbourne in cooperation with ASI, with support from ASA and with contributions from Australian space industry and international research organizations. The TheMIS subsystem actively cools and controls the temperature of sensitive instruments, increasing the potential range of payloads supported on small spacecraft systems. TheMIS core functionality is based on a commercial Stirling Cycle Cryocooler in-principle capable of reaching cold-tip temperatures below T=100K. The cooler is operated by customized control electronics and is connected to deployable radiators through pyrolytic graphite sheet thermal straps, all developed by the University of Melbourne. Until now, this level of thermal control has been relatively uncommon in nanosatellites. TheMIS aims to validate the design and performance by controlling the thermal environment of SpIRIT's HERMES payload, an X-ray instrument provided by ASI which has a noise background strongly sensitive to temperature. Beyond SpIRIT, TheMIS has the potential to support a broad range of applications, including holding infrared focal plane arrays at cryogenic temperatures, and increasing resilience of electronics to space weather. This paper provides an overview of TheMIS's design, implementation, and operational performance, detailing the commissioning phase and the early results obtained from its operations in orbit, with comparison to the thermal model developed during the mission environmental testing campaign. Finally, the paper discusses ongoing challenges for thermal management of payloads in small satellite systems and potential future strategies for continuous improvement, Comment: Smallsats 2024

It has become routine to report research results where Large Language Models (LLMs) outperform average humans in a wide range of language-related tasks, and creative text writing is no exception. It seems natural, then, to raise the bid: Are LLMs ready to compete in creative writing skills with a top (rather than average) novelist? To provide an initial answer for this question, we have carried out a contest between Patricio Pron (an awarded novelist, considered one of the best of his generation) and GPT-4 (one of the top performing LLMs), in the spirit of AI-human duels such as DeepBlue vs Kasparov and AlphaGo vs Lee Sidol. We asked Pron and GPT-4 to provide thirty titles each, and then to write short stories for both their titles and their opponent's. Then, we prepared an evaluation rubric inspired by Boden's definition of creativity, and we collected 5,400 manual assessments provided by literature critics and scholars. The results of our experimentation indicate that LLMs are still far from challenging a top human creative writer, and that reaching such level of autonomous creative writing skills probably cannot be reached simply with larger language models., Comment: 9 pages 6 figures

State-of-the-art techniques in generative artificial intelligence are employed for the first time to construct a surrogate model for plasma turbulence that enables long time transport simulations. The proposed GAIT (Generative Artificial Intelligence Turbulence) model is based on the coupling of a convolutional variational auto-encoder, that encodes precomputed turbulence data into a reduce latent space, and a deep neural network and decoder that generate new turbulence states 400 times faster than the direct numerical integration. The model is applied to the Hasegawa-Wakatani (HW) plasma turbulence model, that is closely related to the quasigeostrophic model used in geophysical fluid dynamics. Very good agreement is found between the GAIT and the HW models in the spatio-temporal Fourier and Proper Orthogonal Decomposition spectra as well as in the flow topology characterized by the Okubo-Weiss decomposition. Agreement is also found in the probability distribution function of particle displacements and the effective turbulent diffusivity.

We present a novel method for generating sequential parameter estimates and quantifying epistemic uncertainty in dynamical systems within a data-consistent (DC) framework. The DC framework differs from traditional Bayesian approaches due to the incorporation of the push-forward of an initial density, which performs selective regularization in parameter directions not informed by the data in the resulting updated density. This extends a previous study that included the linear Gaussian theory within the DC framework and introduced the maximal updated density (MUD) estimate as an alternative to both least squares and maximum a posterior (MAP) estimates. In this work, we introduce algorithms for operational settings of MUD estimation in real or near-real time where spatio-temporal datasets arrive in packets to provide updated estimates of parameters and identify potential parameter drift. Computational diagnostics within the DC framework prove critical for evaluating (1) the quality of the DC update and MUD estimate and (2) the detection of parameter value drift. The algorithms are applied to estimate (1) wind drag parameters in a high-fidelity storm surge model, (2) thermal diffusivity field for a heat conductivity problem, and (3) changing infection and incubation rates of an epidemiological model., Comment: 29 pages, 9 Figures, Code available at https://github.com/UT-CHG/pyDCI

Artificial intelligence (AI) and autonomous edge computing in space are emerging areas of interest to augment capabilities of nanosatellites, where modern sensors generate orders of magnitude more data than can typically be transmitted to mission control. Here, we present the hardware and software design of an onboard AI subsystem hosted on SpIRIT. The system is optimised for on-board computer vision experiments based on visible light and long wave infrared cameras. This paper highlights the key design choices made to maximise the robustness of the system in harsh space conditions, and their motivation relative to key mission requirements, such as limited compute resources, resilience to cosmic radiation, extreme temperature variations, distribution shifts, and very low transmission bandwidths. The payload, called Loris, consists of six visible light cameras, three infrared cameras, a camera control board and a Graphics Processing Unit (GPU) system-on-module. Loris enables the execution of AI models with on-orbit fine-tuning as well as a next-generation image compression algorithm, including progressive coding. This innovative approach not only enhances the data processing capabilities of nanosatellites but also lays the groundwork for broader applications to remote sensing from space., Comment: AI4Space 2024, 3rd Workshop on AI for Space, CVPR 2024

Nanoparticles (NPs) based on the polymer poly (lactide-co-glycolide) acid (PLGA) have been widely studied in developing delivery systems for drugs and therapeutic biomolecules, due to the biocompatible and biodegradable properties of the PLGA. In this work, a synthesis method for bone morphogenetic protein (BMP-2)-loaded PLGA NPs was developed and optimized, in order to carry out and control the release of BMP-2, based on the double-emulsion (water/oil/water,W/O/W) solvent evaporation technique. The polymeric surfactant Pluronic F68 was used in the synthesis procedure, as it is known to have an effect on the reduction of the size of the NPs, the enhancement of their stability, and the protection of the encapsulated biomolecule. Spherical solid polymeric NPs were synthesized, showing a reproducible multimodal size distribution, with diameters between 100 and 500 nm. This size range appears to allow the protein to act on the cell surface and at the cytoplasm level. The effect of carrying BMP-2 co-adsorbed with bovine serum albumin on the NP surface was analyzed. The colloidal properties of these systems (morphology by SEM, hydrodynamic size, electrophoretic mobility, temporal stability, protein encapsulation, and short-term release profile) were studied. The effect of both BMP2-loaded NPs on the proliferation, migration, and osteogenic differentiation of mesenchymal stromal cells from human alveolar bone (ABSC) was also analyzed in vitro., Comment: 18 pages, 8 figures

The main aim of this study is to report basic knowledge on how a protein corona (PC) could affect or modify the way in which multifunctionalized nanoparticles interact with cells. With this purpose, we have firstly optimized the development of a target-specific nanocarrier by coupling a specific fluorescent antibody on the surface of functionalized lipid liquid nanocapsules (LLNCs). Thus, an anti-HER2-FITC antibody ({\alpha}HER2) has been used, HER2 being a surface receptor that is overexpressed in several tumor cells. Subsequently, the in vitro formation of a PC has been developed using fetal bovine serum supplemented with human fibrinogen. Dynamic Light Scattering (DLS), Nanoparticle Tracking Analysis (NTA), Laser Doppler Electrophoresis (LDE), and Gel Chromatography techniques have been used to assure a complete physico-chemical characterization of the nano-complexes with (LLNCs-{\alpha}HER2-PC) and without (LLNCs-{\alpha}HER2) the surrounding PC. In addition, cellular assays were performed to study the cellular uptake and the specific cellular-nanocarrier interactions using the SKBR3 (high expression of HER2) breast cancer cell line and human dermal fibroblasts (HDFa) (healthy cell line without expression of HER2 receptors as control), showing that the SKBR3 cell line had a higher transport rate (50-fold) than HDFa at 60 min with LLNCs-{\alpha}HER2. Moreover, the SKBR3 cell line incubated with LLNCs-{\alpha}HER2-PC suffered a significant reduction (40%) in the uptake. These results suggest that the formation of a PC onto LLNCs does not prevent specific cell targeting, although it does have an important influence on cell uptake., Comment: 19 pages, 7 figures

We revisit the evolution of generalised parton distributions (GPDs) at the leading order in the strong coupling constant $\alpha_s$ for all of the twist-2 quark and gluon operators. We rederive the relevant one-loop evolution kernels, expressing them in a form suitable for implementation, and check analytically that some basic properties, such as DGLAP/ERBL limits and polynomiality conservation, are fulfilled. We also present a number of numerical results obtained with a public implementation of the evolution in the library {\tt APFEL++} and available within the {\tt PARTONS} framework., Comment: Updated list of references

The aim of this study is to analyze the effect of the neutral beam injector (NBI) operation regime on the saturation phase of the Alfven Eigenmodes (AEs) in DIII-D plasma. The analysis is done using the linear and nonlinear versions of the gyro-fluid code FAR3d. A set of parametric analyses are performed modifying the nonlinear simulation EP \b{eta} (NBI injection power), EP energy (NBI voltage) and the radial location of the EP density profile gradient (NBI radial deposition). The analysis indicates a transition from the soft (local plasma relaxation) to the hard MHD (global plasma relaxation) limit if the simulation EP \b{eta} >= 0.02, leading to bursting MHD activity caused by radial AEs overlapping. MHD bursts cause an enhancement of the EP transport showing ballistic-like features as avalanche-like events. Simulations in the soft MHD limit show an increment of the EP density gradient as the EP \b{eta} increases. On the other hand, there is a gradient upper limit in the hard MHD limit, consistent with the critical-gradient behavior. AEs induce shear flows and zonal current leading to the deformation of the flux surfaces and the safety factor profile, respectively, particularly strong for the simulation in the hard MHD limit. Simulations in the hard MHD regime show a decrease of the AE frequency in the saturation phase; this is caused by the destabilization of a transitional mode between a 9/3-10/3 TAE and a 9/3 RSAE that may explain the AE frequency down-sweeping observed in some DIII-D discharges. Reducing the EP energy in the nonlinear simulations leads to a weakening of the plasma perturbation. On the other hand, increasing the EP energy causes the opposite effect. Nonlinear simulations of off-axis NBI profiles indicate a lower plasma perturbation as the EP density gradient is located further away from the magnetic axis.

The Q&U Bolometric Interferometer for Cosmology (QUBIC) is the first bolometric interferometer designed to measure the primordial B-mode polarization of the Cosmic Microwave Background (CMB). Bolometric interferometry is a novel technique that combines the sensitivity of bolometric detectors with the control of systematic effects that is typical of interferometry, both key features in the quest for the faint signal of the primordial B-modes. A unique feature is the so-called "spectral imaging", i.e., the ability to recover the sky signal in several sub-bands within the physical band during data analysis. This feature provides an in-band spectral resolution of \Delta{\nu}/{\nu} \sim 0.04 that is unattainable by a traditional imager. This is a key tool for controlling the Galactic foregrounds contamination. In this paper, we describe the principles of bolometric interferometry, the current status of the QUBIC experiment and future prospects., Comment: To appear in Proc. of the mm Universe 2023 conference, Grenoble (France), June 2023, published by F. Mayet et al. (Eds), EPJ Web of conferences, EDP Sciences

The ability to rapidly test a variety of algorithms for an arbitrary state estimation task is valuable in the prototyping phase of navigation systems. Lie group theory is now mainstream in the robotics community, and hence estimation prototyping tools should allow state definitions that belong to manifolds. A new package, called navlie, provides a framework that allows a user to model a large class of problems by implementing a set of classes complying with a generic interface. Once accomplished, navlie provides a variety of on-manifold estimation algorithms that can run directly on these classes. The package also provides a built-in library of common models, as well as many useful utilities. The open-source project can be found at https://github.com/decargroup/navlie., Comment: 6 pages, 8 figures, presented at the 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

This paper considers homography estimation in a Bayesian filtering framework using rate gyro and camera measurements. The use of rate gyro measurements facilitates a more reliable estimate of homography in the presence of occlusions, while a Bayesian filtering approach generates both a homography estimate along with an uncertainty. Uncertainty information opens the door to adaptive filtering approaches, post-processing procedures, and safety protocols. In particular, herein an iterative extended Kalman filter and an interacting multiple model (IMM) filter are tested using both simulated and experimental datasets. The IMM is shown to have good consistency properties and better overall performance when compared to the state-of-the-art homography nonlinear deterministic observer in both simulations and experiments., Comment: 8 pages and 6 figures, to be published in IEEE Robotics and Automation Letters

We propose a method for providing communication network infrastructure in autonomous multi-agent teams. In particular, we consider a set of communication agents that are placed alongside regular agents from the system in order to improve the rate of information transfer between the latter. In order to find the optimal positions to place such agents, we define a flexible performance function that adapts to network requirements for different systems. We provide an algorithm based on shadow prices of a related convex optimization problem in order to drive the configuration of the complete system towards a local maximum. We apply our method to three different performance functions associated with three practical scenarios in which we show both the performance of the algorithm and the flexibility it allows for optimizing different network requirements., Comment: (c) 2023 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works