title: Emergence of complex network topologies from flow-weighted optimization of network efficiency

abstract: Transportation and distribution networks are a class of spatial networks that have been of interest in recent years. These networks are often characterized by the presence of complex structures such as central loops paired with peripheral branches, which can appear both in natural and man-made systems, such as subway and railway networks. In this study, we investigate the conditions for the emergence of these non-trivial topological structures in the context of human transportation in cities. We propose a minimal model for spatial networks generation, where a network lattice acts as a spatial substrate and edge velocities and distances define an effective temporal distance which quantifies the efficiency in exploring the urban space. Complex network topologies can be recovered from the optimization of joint network paths and we study how the interplay between a flow probability between two nodes in space and the associated travel cost influences the resulting optimal network. In the perspective of urban transportation we simulate these flows by means of human mobility models to obtain Origin-Destination matrices. We find that when using simple lattices, the obtained optimal topologies transition from tree-like structures to more regular networks, depending on the spatial range of flows. Remarkably, we find that branches paired to large loops structures appear as optimal structures when the network is optimized for an interplay between heterogeneous mobility patterns of small range travels and longer range ones typical of commuting. Finally, we show that our framework is able to recover the statistical spatial properties of the Greater London Area subway network.


title: Identification and existence of Boltzmann processes

abstract: The stochastic differential equation of McKean-Vlasov type is identified such that the Fokker-Planck equation associated to it is the Boltzmann equation. Hence, we call its solutions as Boltzmann processes. They describe the dynamics (in position and velocity) of particles expanding in vacuum in accordance with the Boltzmann equation. Given a solution $f:=$ $\{f(t,x,v\}_{0 \leq t \leq T} $ of the Boltzmann equation, the existence of solutions to the McKean-Vlasov SDE is established for the non-cutoff hard sphere case.


title: Uniqueness of the inverse conductivity problem once-differentiable complex conductivities in three dimensions

abstract: We prove uniqueness of the inverse conductivity problem in three dimensions for complex conductivities in $W^{1,\infty}$. We apply quaternionic analysis to transform the inverse problem into an inverse Dirac scattering problem, as established in two dimensions by Brown and Uhlmann. This is a novel methodology that allows to extend the uniqueness result from once-differentiable real conductivities to complex ones.


title: AccDecoder: Accelerated Decoding for Neural-enhanced Video Analytics

abstract: The quality of the video stream is key to neural network-based video analytics. However, low-quality video is inevitably collected by existing surveillance systems because of poor quality cameras or over-compressed/pruned video streaming protocols, e.g., as a result of upstream bandwidth limit. To address this issue, existing studies use quality enhancers (e.g., neural super-resolution) to improve the quality of videos (e.g., resolution) and eventually ensure inference accuracy. Nevertheless, directly applying quality enhancers does not work in practice because it will introduce unacceptable latency. In this paper, we present AccDecoder, a novel accelerated decoder for real-time and neural-enhanced video analytics. AccDecoder can select a few frames adaptively via Deep Reinforcement Learning (DRL) to enhance the quality by neural super-resolution and then up-scale the unselected frames that reference them, which leads to 6-21% accuracy improvement. AccDecoder provides efficient inference capability via filtering important frames using DRL for DNN-based inference and reusing the results for the other frames via extracting the reference relationship among frames and blocks, which results in a latency reduction of 20-80% than baselines.


title: MTGP: Combining Metamorphic Testing and Genetic Programming

abstract: Genetic programming is an evolutionary approach known for its performance in program synthesis. However, it is not yet mature enough for a practical use in real-world software development, since usually many training cases are required to generate programs that generalize to unseen test cases. As in practice, the training cases have to be expensively hand-labeled by the user, we need an approach to check the program behavior with a lower number of training cases. Metamorphic testing needs no labeled input/output examples. Instead, the program is executed multiple times, first on a given (randomly generated) input, followed by related inputs to check whether certain user-defined relations between the observed outputs hold. In this work, we suggest MTGP, which combines metamorphic testing and genetic programming and study its performance and the generalizability of the generated programs. Further, we analyze how the generalizability depends on the number of given labeled training cases. We find that using metamorphic testing combined with labeled training cases leads to a higher generalization rate than the use of labeled training cases alone in almost all studied configurations. Consequently, we recommend researchers to use metamorphic testing in their systems if the labeling of the training data is expensive.


title: Haves and Have-Nots: A Theory of Economic Sufficientarianism

abstract: We introduce a generalization of the concept of sufficientarianism, intended to rank allocations involving multiple consumption goods. In ranking allocations of goods for a fixed society of agents, sufficientarianism posits that allocations are compared according to the number of individuals whose consumption is deemed sufficient. We base our analysis on a novel ethical concept, which we term sufficientarian judgment. Sufficientarian judgment asserts that if in starting from an allocation in which all agents have identical consumption, a change in one agent's consumption hurts society, then there is no change in any other agent's consumption which could subsequently benefit society. Sufficientarianism is shown to be equivalent to sufficientarian judgment, symmetry, and separability. We investigate our axioms in an abstract environment, and in specific economic environments. Finally, we argue formally that sufficientarian judgment is closely related to the leximin principle.


title: Opaque prior distributions in Bayesian latent variable models

abstract: We review common situations in Bayesian latent variable models where the prior distribution that a researcher specifies differs from the prior distribution used during estimation. These situations can arise from the positive definite requirement on correlation matrices, from sign indeterminacy of factor loadings, and from order constraints on threshold parameters. The issue is especially problematic for reproducibility and for model checks that involve prior distributions, including prior predictive assessment and Bayes factors. In these cases, one might be assessing the wrong model, casting doubt on the relevance of the results. The most straightforward solution to the issue sometimes involves use of informative prior distributions. We explore other solutions and make recommendations for practice.


title: Key-and-Signature Compact Multi-Signatures for Blockchain: A Compiler with Realizations

abstract: Multi-signature is a protocol where a set of signatures jointly sign a message so that the final signature is significantly shorter than concatenating individual signatures together. Recently, it finds applications in blockchain, where several users want to jointly authorize a payment through a multi-signature. However, in this setting, there is no centralized authority and it could suffer from a rogue key attack where the attacker can generate his own keys arbitrarily. Further, to minimize the storage on blockchain, it is desired that the aggregated public-key and the aggregated signature are both as short as possible. In this paper, we find a compiler that converts a kind of identification (ID) scheme (which we call a linear ID) to a multi-signature so that both the aggregated public-key and the aggregated signature have a size independent of the number of signers. Our compiler is provably secure. The advantage of our results is that we reduce a multi-party problem to a weakly secure two-party problem. We realize our compiler with two ID schemes. The first is Schnorr ID. The second is a new lattice-based ID scheme, which via our compiler gives the first regular lattice-based multi-signature scheme with key-and-signature compact without a restart during signing process.


title: Holistically Explainable Vision Transformers

abstract: Transformers increasingly dominate the machine learning landscape across many tasks and domains, which increases the importance for understanding their outputs. While their attention modules provide partial insight into their inner workings, the attention scores have been shown to be insufficient for explaining the models as a whole. To address this, we propose B-cos transformers, which inherently provide holistic explanations for their decisions. Specifically, we formulate each model component - such as the multi-layer perceptrons, attention layers, and the tokenisation module - to be dynamic linear, which allows us to faithfully summarise the entire transformer via a single linear transform. We apply our proposed design to Vision Transformers (ViTs) and show that the resulting models, dubbed Bcos-ViTs, are highly interpretable and perform competitively to baseline ViTs on ImageNet. Code will be made available soon.


title: Distributed quantum incompatibility

abstract: Incompatible, i.e. non-jointly measurable quantum measurements are a necessary resource for many information processing tasks. It is known that increasing the number of distinct measurements usually enhances the incompatibility of a measurement scheme. However, it is generally unclear how large this enhancement is and on what it depends. Here, we show that the incompatibility which is gained via additional measurements is upper and lower bounded by certain functions of the incompatibility of subsets of the available measurements. We prove the tightness of some of our bounds by providing explicit examples based on mutually unbiased bases. Finally, we discuss the consequences of our results for the nonlocality that can be gained by enlarging the number of measurements in a Bell experiment.


title: Near-onset dynamics in natural doubly diffusive convection

abstract: Doubly diffusive convection is considered in a vertical slot where horizontal temperature and solutal variations provide competing effects to the fluid density while allowing the existence of a conduction state. In this configuration, the linear stability of the conductive state is known, but the convection patterns arising from the primary instability have only been studied for specific parameter values. We have extended this by determining the nature of the primary bifurcation for all values of the Lewis and Prandtl numbers using a weakly nonlinear analysis. The resulting convection branches are extended using numerical continuation and we find large-amplitude steady convection states can coexist with the stable conduction state for sub- and supercritical primary bifurcations. The stability of the convection states is investigated and attracting travelling waves and periodic orbits are identified using time-stepping when these steady states are unstable.


title: Admissibility of Localizations of Crossed Modules

abstract: The correspondence between the concept of conditional flatness and admissibility in the sense of Galois appears in the context of localization functors in any semi-abelian category admitting a fiberwise localization. It is then natural to wonder what happens in the category of crossed modules where fiberwise localization is not always available. In this article, we establish an equivalence between conditional flatness and admissibility in the sense of Galois (for the class of regular epimorphisms) for regular-epi localization functors. We use this equivalence to prove that nullification functors are admissible for the class of regular epimorphisms, even if the kernels of their localization morphisms are not acyclic.


title: Disintegration of Long-Period Comet C/2021 A1 (Leonard)

abstract: We present imaging observations of the disintegrating long-period comet C/2021 A1 (Leonard). High resolution observations with Hubble Space Telescope show no evidence for surviving fragments, and place a 3 sigma upper limit to their possible radius about 60 m (albedo 0.1 assumed). In contrast, wide field observations from the Swan Hill Observatory, Australia, show an extensive debris cloud, the cross-section and estimated mass of which are consistent with complete disintegration of the nucleus near mid- December 2021 (at about 0.8 au). Two methods give the pre-disruption nucleus radius, r = 0.6+/-0.2 km. Tidal, collisional, sublimation and pressure-confined explosion models provide implausible explanations of the disintegration. However, rotational instability driven by outgassing torques has a very short timescale (of order 0.1 year) given the orbit and size of the C/2021 A1 nucleus, and offers the most plausible mechanism for the disruption. Initial rotational breakup is accelerated by the exposure and strong sublimation of previously buried volatiles, leading to catastrophic destruction of the nucleus.


title: Phonon-mediated room-temperature quantum Hall transport in graphene

abstract: The quantum Hall (QH) effect in two-dimensional electron systems (2DESs) is conventionally observed at liquid-helium temperatures, where lattice vibrations are strongly suppressed and bulk carrier scattering is dominated by disorder. However, due to large Landau level (LL) separation (~2000 K at B = 30 T), graphene can support the QH effect up to room temperature (RT), concomitant with a non-negligible population of acoustic phonons with a wave-vector commensurate to the inverse electronic magnetic length. Here, we demonstrate that graphene encapsulated in hexagonal boron nitride (hBN) realizes a novel transport regime, where dissipation in the QH phase is governed predominantly by electron-phonon scattering. Investigating thermally-activated transport at filling factor 2 up to RT in an ensemble of back-gated devices, we show that the high B-field behaviour correlates with their zero B-field transport mobility. By this means, we extend the well-accepted notion of phonon-limited resistivity in ultra-clean graphene to a hitherto unexplored high-field realm.


title: Kinematic differences between multiple populations in Galactic globular clusters

abstract: The formation process of multiple populations in globular clusters is still up for debate. Kinematic differences between the populations are particularly interesting in this respect, because they allow us to distinguish between single-epoch formation scenarios and multi-epoch formation scenarios. We analyze the kinematics of 25 globular clusters and aim to find kinematic differences between multiple populations to constrain their formation process. We split red-giant branch (RGB) stars in each cluster into three populations (P1, P2, P3) for the type-II clusters and two populations (P1 and P2) otherwise using Hubble photometry. We derive the rotation and dispersion profiles for each cluster and its populations by using all stars with radial velocity measurements obtained from MUSE spectroscopy. Based on these profiles, we calculate the rotation strength in terms of ordered-over-random motion $\left(v/\sigma\right)_\mathrm{HL}$ evaluated at the half-light radius of the cluster. We detect rotation in all but four clusters. For NGC~104, NGC~1851, NGC~2808, NGC~5286, NGC~5904, NGC~6093, NGC~6388, NGC~6541, NGC~7078 and NGC~7089 we also detect rotation for P1 and/or P2 stars. For NGC~2808, NGC~6093 and NGC~7078 we find differences in $\left(v/\sigma\right)_\mathrm{HL}$ between P1 and P2 that are larger than $1\sigma$. Whereas we find that P2 rotates faster than P1 for NGC~6093 and NGC~7078, the opposite is true for NGC~2808. However, even for these three clusters, the differences are still of low significance. We find that the strength of rotation of a cluster generally scales with its median relaxation time. For P1 and P2, the corresponding relation is very weak at best. We observe no correlation between the difference in rotation strength between P1 and P2 and cluster relaxation time. The MUSE stellar radial velocities that this analysis is based on are made publicly available.


title: Boundary Symmetry Breaking in CFT and the String Order Parameter

abstract: We consider the ground state of a one-dimensional critical quantum system carrying a global symmetry in the bulk, which is explicitly broken by its boundary conditions. We probe the system via a string-order parameter, showing how it detects the symmetry breaking pattern. We give a precise characterization of the mechanism depicted above in Boundary CFT, and we find a general logarithmic scaling for the order parameter. As a first example we analyze the breaking of a $U(1)$ symmetry for complex free theories induced by a boundary pairing term. Moreover, we give predictions for the breaking of $U(N)$ in free theories, arising from a boundary mixing. We test our predictions with numerical calculations for some lattice realizations of free fermionic system with boundary symmetry breaking, finding a good agreement.


title: White dwarf mass-radius relation in theories beyond general relativity

abstract: We explore the internal structures of the white dwarfs in two different modified theories of gravity: (i) scalar-tensor-vector gravity and (ii) beyond Horndeski theories of $G_3$ type. The modification of the gravitational force inside the white dwarf results in the modification of the mass and radius of the white dwarf. We use observational data from various astrophysical probes including $\textit{Gaia}$ to test the validity of these two classes of modified theories of gravity. We update the constraints on the parameters controlling the deviation from general relativity (and Newtonian gravity in the weak field limit) as : $0.007 \le \alpha$ for the scalar-tensor-vector gravity and $-0.08 \le \gamma \le 0.007$ for the beyond Horndeski theories of $G_3$ type. Finally, we demonstrate the selection effect of the astrophysical data on the tests of the nature of gravity using white dwarf mass-radius relations specially in cases where the number of data-points are not many.


title: Symmetries in non-relativistic quantum electrodynamics

abstract: We define symmetries in non-relativistic quantum electrodynamics, which have the physical interpretation of rotation, parity and time reversal symmetry. We collect transformation properties related to these symmetries in Fock space representation as well as in the Schr\"odinger representation. As an application, we generalize and improve theorems about Kramer's degeneracy in non-relativistic quantum electrodynamics.


title: Uncertainty from the Aharonov-Vaidman Identity

abstract: In this article, I show how the Aharonov-Vaidman identity $A \left \vert \psi\right \rangle = \left \langle A \right \rangle \left \vert \psi\right \rangle + \Delta A \left \vert \psi^{\perp}_A \right \rangle$ can be used to prove relations between the standard deviations of observables in quantum mechanics. In particular, I review how it leads to a more direct and less abstract proof of the Robertson uncertainty relation $\Delta A \Delta B \geq \frac{1}{2} \left \vert \left \langle [A,B] \right \rangle \right \vert$ than the textbook proof. I discuss the relationship between these two proofs and show how the Cauchy-Schwarz inequality can be derived from the Aharonov-Vaidman identity. I give Aharonov-Vaidman based proofs of the Maccone-Pati uncertainty relations and I show how the Aharonov-Vaidman identity can be used to handle propagation of uncertainty in quantum mechanics. Finally, I show how the Aharonov-Vaidman identity can be extended to mixed states and discuss how to generalize the results to the mixed case.


title: Online Dependent Rounding Schemes

abstract: We study the abstract problem of rounding fractional bipartite $b$-matchings online. The input to the problem is an unknown fractional bipartite $b$-matching, exposed node-by-node on one side. The objective is to maximize the \emph{rounding ratio} of the output matching $\mathcal{M}$, which is the minimum over all fractional $b$-matchings $\mathbf{x}$, and edges $e$, of the ratio $\Pr[e\in \mathcal{M}]/x_e$. In offline settings, many dependent rounding schemes achieving a ratio of one and strong negative correlation properties are known (e.g., Gandhi et al., J.ACM'06 and Chekuri et al., FOCS'10), and have found numerous applications. Motivated by online applications, we present \emph{online dependent-rounding schemes} (ODRSes) for $b$-matching. For the special case of uniform matroids (single offline node), we present a simple online algorithm with a rounding ratio of one. Interestingly, we show that our algorithm yields \emph{the same distribution} as its classic offline counterpart, pivotal sampling (Srinivasan, FOCS'01), and so inherits the latter's strong correlation properties. In arbitrary bipartite graphs, an online rounding ratio of one is impossible, and we show that a combination of our uniform matroid ODRS with repeated invocations of \emph{offline} contention resolution schemes (CRSes) yields a rounding ratio of $1-1/e\approx 0.632$. Our main technical contribution is an ODRS breaking this pervasive bound, yielding rounding ratios of $0.646$ and $0.652$ for $b$-matchings and simple matchings, respectively. We obtain these results by grouping nodes and using CRSes for negatively-correlated distributions, together with a new method we call \emph{group discount and individual markup}, analyzed using the theory of negative association. We present a number of applications of our ODRSes to online edge coloring, several stochastic optimization problems, and algorithmic fairness.


title: A structural view of maximal green sequences

abstract: We study the structure of the set of all maximal green sequences of a finite-dimensional algebra. There is a natural equivalence relation on this set, which we show can be interpreted in several different ways, underscoring its significance. There are three partial orders on the equivalence classes, analogous to the partial orders on silting complexes and generalising the higher Stasheff--Tamari orders on triangulations of three-dimensional cyclic polytopes. We conjecture that these partial orders are in fact equal, just as the orders in the silting case have the same Hasse diagram. This can be seen as a refined and more widely applicable version of the No-Gap Conjecture of Br\"ustle, Dupont, and Perotin. We prove our conjecture in the case of Nakayama algebras.


title: Using Ensemble Monte Carlo Methods to Evaluate Non-Equilibrium Green's Functions

abstract: The use of ensemble Monte Carlo (EMC) methods for the simulation of transport in semiconductor devices has become extensive over the past few decades. This method allows for simulation utilizing particles while addressing the full physics within the device, leaving the computational difficulties to the computer. More recently, the study of quantum mechanical effects within the devices, effects which also strongly affect the carrier transport itself, have become important. While particles have continued to be useful in quantum simulations using Wigner functions, interest in analytical solutions based upon the non-equilibrium Green's functions (NEGF) have become of greater interest in device simulation. While NEGF has been adopted by many commercial semiconductor, there remains considerable computational difficulty in this approach. Here, a particle approach to NEGF is discussed, and preliminary results presented illustrating the computational efficiency that remains with the use of particles. This approach adopts the natural basis functions for use in a high electric field and the preliminary results are obtained for quantum transport in Si at 300 K. This approach appears to offer significant advantages for the use of NEGF.


title: A classification of metacyclic groups by group invariants

abstract: We obtain a new classification of the finite metacyclic group in terms of group invariants. We present an algorithm to compute these invariants, and hence to decide if two given finite metacyclic groups are isomorphic, and another algorithm which computes all the metacyclic groups of a given order. A GAP implementation of these algorithms is given.


title: State-constrained Optimization Problems under Uncertainty: A Tensor Train Approach

abstract: We propose an algorithm to solve optimization problems constrained by partial (ordinary) differential equations under uncertainty, with almost sure constraints on the state variable. To alleviate the computational burden of high-dimensional random variables, we approximate all random fields by the tensor-train decomposition. To enable efficient tensor-train approximation of the state constraints, the latter are handled using the Moreau-Yosida penalty, with an additional smoothing of the positive part (plus/ReLU) function by a softplus function. We derive theoretical bounds on the constraint violation in terms of the Moreau-Yosida regularization parameter and smoothing width of the softplus function. This result also proposes a practical recipe for selecting these two parameters. When the optimization problem is strongly convex, we establish strong convergence of the regularized solution to the optimal control. We develop a second order Newton type method with a fast matrix-free action of the approximate Hessian to solve the smoothed Moreau-Yosida problem. This algorithm is tested on benchmark elliptic problems with random coefficients, optimization problems constrained by random elliptic variational inequalities, and a real-world epidemiological model with 20 random variables. These examples demonstrate mild (at most polynomial) scaling with respect to the dimension and regularization parameters.


title: Quantum oscillations in a doped Mott insulator beyond Onsager's relation

abstract: The kinetic energy of electrons in a magnetic field is quenched resulting in a discrete set of highly degenerate Landau levels (LL) which gives rise to fascinating phenomena like the de Haas-van Alphen effect (dHvAe) or the integer and fractional quantum Hall effects. The latter is a result of interactions partially lifting the degeneracy within a given LL while inter-LL interactions are usually assumed to be unimportant. Here, we study the LL spectrum of the Hatsugai-Kohmoto model, a Hubbard-like model which is exactly soluble on account of infinite range interactions. For the doped Mott insulator phase in a magnetic field we find that the degeneracy of LLs is preserved but inter-LL interactions are important leading to a non-monotonous reconstruction of the spectrum. As a result, strong LL repulsion leads to aperiodic quantum oscillations of the dHvAe in contrast to Onsager's famous relation connecting oscillation frequencies with the Fermi surface areas at zero field. In addition, we find unconventional temperature dependencies of quantum oscillations and interaction-induced effective mass renormalizations. We discuss the general importance of inter-LL interactions for understanding doped Mott insulators in magnetic fields.


title: Finite-Size Security for Discrete-Modulated Continuous-Variable Quantum Key Distribution Protocols

abstract: Discrete-Modulated (DM) Continuous-Variable Quantum Key Distribution (CV-QKD) protocols are promising candidates for commercial implementations of quantum communication networks due to their experimental simplicity. While tight security analyses in the asymptotic limit exist, proofs in the finite-size regime are still subject to active research. We present a composable finite-size security proof against independently and identically distributed collective attacks for a general DM CV-QKD protocol. We introduce a new energy testing theorem to bound the effective dimension of Bob's system and rigorously prove security within Renner's epsilon-security framework and address the issue of acceptance sets in protocols and their security proof. We want to highlight, that our method also allows for nonunique acceptance statistics, which is necessary in practise. Finally, we extend and apply a numerical security proof technique to calculate tight lower bounds on the secure key rate. To demonstrate our method, we apply it to a quadrature phase-shift keying protocol, both for untrusted, ideal and trusted nonideal detectors. The results show that our security proof method yields secure finite-size key rates under experimentally viable conditions up to at least 72km transmission distance.


title: Counterexample Guided Abstraction Refinement with Non-Refined Abstractions for Multi-Agent Path Finding

abstract: Counterexample guided abstraction refinement (CEGAR) represents a powerful symbolic technique for various tasks such as model checking and reachability analysis. Recently, CEGAR combined with Boolean satisfiability (SAT) has been applied for multi-agent path finding (MAPF), a problem where the task is to navigate agents from their start positions to given individual goal positions so that the agents do not collide with each other. The recent CEGAR approach used the initial abstraction of the MAPF problem where collisions between agents were omitted and were eliminated in subsequent abstraction refinements. We propose in this work a novel CEGAR-style solver for MAPF based on SAT in which some abstractions are deliberately left non-refined. This adds the necessity to post-process the answers obtained from the underlying SAT solver as these answers slightly differ from the correct MAPF solutions. Non-refining however yields order-of-magnitude smaller SAT encodings than those of the previous approach and speeds up the overall solving process making the SAT-based solver for MAPF competitive again in relevant benchmarks.


title: Asynchronous Deep Double Duelling Q-Learning for Trading-Signal Execution in Limit Order Book Markets

abstract: We employ deep reinforcement learning (RL) to train an agent to successfully translate a high-frequency trading signal into a trading strategy that places individual limit orders. Based on the ABIDES limit order book simulator, we build a reinforcement learning OpenAI gym environment and utilise it to simulate a realistic trading environment for NASDAQ equities based on historic order book messages. To train a trading agent that learns to maximise its trading return in this environment, we use Deep Duelling Double Q-learning with the APEX (asynchronous prioritised experience replay) architecture. The agent observes the current limit order book state, its recent history, and a short-term directional forecast. To investigate the performance of RL for adaptive trading independently from a concrete forecasting algorithm, we study the performance of our approach utilising synthetic alpha signals obtained by perturbing forward-looking returns with varying levels of noise. Here, we find that the RL agent learns an effective trading strategy for inventory management and order placing that outperforms a heuristic benchmark trading strategy having access to the same signal.


title: Measuring the variability of directly imaged exoplanets using vector Apodizing Phase Plates combined with ground-based differential spectrophotometry

abstract: Clouds and other features in exoplanet and brown dwarf atmospheres cause variations in brightness as they rotate in and out of view. Ground-based instruments reach the high contrasts and small inner working angles needed to monitor these faint companions, but their small fields-of-view lack simultaneous photometric references to correct for non-astrophysical variations. We present a novel approach for making ground-based light curves of directly imaged companions using high-cadence differential spectrophotometric monitoring, where the simultaneous reference is provided by a double-grating 360{\deg} vector Apodizing Phase Plate (dgvAPP360) coronagraph. The dgvAPP360 enables high-contrast companion detections without blocking the host star, allowing it to be used as a simultaneous reference. To further reduce systematic noise, we emulate exoplanet transmission spectroscopy, where the light is spectrally-dispersed and then recombined into white-light flux. We do this by combining the dgvAPP360 with the infrared ALES integral field spectrograph on the Large Binocular Telescope Interferometer. To demonstrate, we observed the red companion HD 1160 B (separation ~780 mas) for one night, and detect $8.8\%$ semi-amplitude sinusoidal variability with a ~3.24 h period in its detrended white-light curve. We achieve the greatest precision in ground-based high-contrast imaging light curves of sub-arcsecond companions to date, reaching $3.7\%$ precision per 18-minute bin. Individual wavelength channels spanning 3.59-3.99 $\mu$m further show tentative evidence of increasing variability with wavelength. We find no evidence yet of a systematic noise floor, hence additional observations can further improve the precision. This is therefore a promising avenue for future work aiming to map storms or find transiting exomoons around giant exoplanets.


title: PDE constrained shape optimisation with first-order and Newton-type methods in the $W^{1,\infty}$ topology

abstract: We present a general shape optimisation framework based on the method of mappings in the $W^{1,\infty}$ topology. We propose steepest descent and Newton-like minimisation algorithms for the numerical solution of the respective shape optimisation problems. Our work is built upon previous work of the authors in (Deckelnick, Herbert, and Hinze, ESAIM: COCV 28 (2022)), where a $W^{1,\infty}$ framework for star-shaped domains is proposed. To illustrate our approach we present a selection of PDE constrained shape optimisation problems and compare our findings to results from so far classical Hilbert space methods and recent $p$-approximations.


title: Performance of three model-based iterative reconstruction algorithms using a CT task-based image quality metric

abstract: In this study we evaluated the task-based image quality of a low contrast clinical task for the abdomen protocol (e.g., pancreatic tumour) of three different CT vendors, exploiting three model-based iterative reconstruction (MBIR) levels. We used three CT systems equipped with a full, partial, advanced MBIR algorithms. Acquisitions were performed on a phantom at three dose levels. Acquisitions were reconstructed with a standard kernel, using filtered back projection algorithm (FBP) and three levels of the MBIR. The noise power spectrum (NPS), the normalized one (nNPS) and the task-based transfer function (TTF) were computed following the method proposed by the American Association of Physicists in Medicine task group report-233 (AAPM TG-233). Detectability index (d') of a small lesion (small feature; 100 HU and 5-mm diameter) was calculated using non-prewhitening with eye-filter model observer (NPWE).The nNPS, NPS and TTF changed differently depending on CT system. Higher values of d' were obtained with advanced-MBIR, followed by full-MBIR and partial-MBIR.Task-based image quality was assessed for three CT scanners of different vendors, considering a clinical question. Detectability can be a tool for protocol optimisation and dose reduction since the same dose levels on different scanners correspond to different d' values.


title: Constraints on $S_8$ from a full-scale and full-shape analysis of redshift-space clustering and galaxy-galaxy lensing in BOSS

abstract: We present a novel simulation-based cosmological analysis of galaxy-galaxy lensing and galaxy redshift-space clustering. Compared to analysis methods based on perturbation theory, our simulation-based approach allows us to probe a much wider range of scales, $0.4 \, h^{-1} \, \mathrm{Mpc}$ to $63 \, h^{-1} \, \mathrm{Mpc}$, including highly non-linear scales, and marginalises over astrophysical effects such as assembly bias. We apply this framework to data from the Baryon Oscillation Spectroscopic Survey LOWZ sample cross-correlated with state-of-the-art gravitational lensing catalogues from the Kilo Degree Survey and the Dark Energy Survey. We show that gravitational lensing and redshift-space clustering when analysed over a large range of scales place tight constraints on the growth-of-structure parameter $S_8 = \sigma_8 \sqrt{\Omega_{\rm m} / 0.3}$. Overall, we infer $S_8 = 0.792 \pm 0.022$ when analysing the combination of galaxy-galaxy lensing and projected galaxy clustering and $S_8 = 0.771 \pm 0.027$ for galaxy redshift-space clustering. These findings highlight the potential constraining power of full-scale studies over studies analysing only large scales, and also showcase the benefits of analysing multiple large-scale structure surveys jointly. Our inferred values for $S_8$ fall below the value inferred from the CMB, $S_8 = 0.834 \pm 0.016$. While this difference is not statistically significant by itself, our results mirror other findings in the literature whereby low-redshift large scale structure probes infer lower values for $S_8$ than the CMB, the so-called $S_8$-tension.


title: Self-supervised learning for a nonlinear inverse problem with forward operator involving an unknown function arising in photoacoustic tomography

abstract: In this article, we are concerned with a nonlinear inverse problem with a forward operator involving an unknown function. The problem arises in diverse applications and is challenging in the presence of an unknown function, which makes it ill-posed. Additionally, the nonlinear nature of the problem makes it difficult to use traditional methods, and thus, the study addresses a simplified version of the problem by either linearizing it or assuming knowledge of the unknown function. Here, we propose self-supervised learning to directly tackle a nonlinear inverse problem involving an unknown function. In particular, we focus on an inverse problem derived in photoacoustic tomograpy (PAT), which is a hybrid medical imaging with high resolution and contrast. PAT can be modeled based on the wave equation. The measured data provide the solution to an equation restricted to surface and initial pressure of an equation that contains biological information on the object of interest. The speed of a sound wave in the equation is unknown. Our goal is to determine the initial pressure and the speed of the sound wave simultaneously. Under a simple assumption that sound speed is a function of the initial pressure, the problem becomes a nonlinear inverse problem involving an unknown function. The experimental results demonstrate that the proposed framework performs successfully.


title: Almost everywhere continuity of conditional expectations

abstract: A necessary and sufficient condition on a sequence $\{\mathfrak{A}_n\}_{n\in \mathbb{N}}$ of $\sigma$-subalgebras that assures convergence almost every where of conditional expectations is given.


title: Baechi: Fast Device Placement of Machine Learning Graphs

abstract: Machine Learning graphs (or models) can be challenging or impossible to train when either devices have limited memory, or models are large. To split the model across devices, learning-based approaches are still popular. While these result in model placements that train fast on data (i.e., low step times), learning-based model-parallelism is time-consuming, taking many hours or days to create a placement plan of operators on devices. We present the Baechi system, the first to adopt an algorithmic approach to the placement problem for running machine learning training graphs on small clusters of memory-constrained devices. We integrate our implementation of Baechi into two popular open-source learning frameworks: TensorFlow and PyTorch. Our experimental results using GPUs show that: (i) Baechi generates placement plans 654 X - 206K X faster than state-of-the-art learning-based approaches, and (ii) Baechi-placed model's step (training) time is comparable to expert placements in PyTorch, and only up to 6.2% worse than expert placements in TensorFlow. We prove mathematically that our two algorithms are within a constant factor of the optimal. Our work shows that compared to learning-based approaches, algorithmic approaches can face different challenges for adaptation to Machine learning systems, but also they offer proven bounds, and significant performance benefits.


title: An update of Euclidean windows of the hadronic vacuum polarization

abstract: We compute the standard Euclidean window of the hadronic vacuum polarization using multiple independent blinded analyses. We improve the continuum and infinite-volume extrapolations of the dominant quark-connected light-quark isospin-symmetric contribution and address additional sub-leading systematic effects from sea-charm quarks and residual chiral-symmetry breaking from first principles. We find $a_\mu^{\rm W} = 235.56(65)(50) \times 10^{-10}$, which is in $3.8\sigma$ tension with the recently published dispersive result of Colangelo et al., $a_\mu^{\rm W} = 229.4(1.4) \times 10^{-10}$, and in agreement with other recent lattice determinations. We also provide a result for the standard short-distance window. The results reported here are unchanged compared to our presentation at the Edinburgh workshop of the g-2 Theory Initiative in 2022.


title: Chiral topologically ordered states on a lattice from vertex operator algebras

abstract: We propose a class of pure states of two-dimensional lattice systems realizing topological order associated with unitary rational vertex operator algebras. We show that the states are well-defined in the thermodynamic limit and have exponential decay of correlations. The construction provides a natural way to insert anyons and compute certain topological invariants. It also gives candidates for bosonic states in non-trivial invertible phases, including the $E_8$ phase.

categories: cond-mat.str-el math-ph math.MP quant-ph


title: Geometric approach for non pharmaceutical interventions in epidemiology

abstract: Various non pharmaceutical interventions have been settled to minimise the burden of the COVID-19 outbreak. We build a framework to analyse the dynamics of non pharmaceutical interventions, to distinguish between mitigations measures leading to objective scientific improvements and mitigations based on both political and scientific considerations. We analyse two possible strategies within this framework. Namely, we consider mitigations driven by the limited resources of the health system and mitigations where a constant set of measures is applied at different moments. We describe the optimal interventions for these scenarios. Our approach is mathematical and involves sir differential systems, it is qualitative and geometrical rather than computational. Along with the analysis of these scenarios, we collect several results that may be useful on their own, in particular on the ground when the variables are not known in real time.


title: Athermal Phonon Sensors in Searches for Light Dark Matter

abstract: In recent years, theoretical and experimental interest in dark matter (DM) candidates have shifted focus from primarily Weakly-Interacting Massive Particles (WIMPs) to an entire suite of candidates with masses from the zeV-scale to the PeV-scale to 30 solar masses. One particular recent development has been searches for light dark matter (LDM), which is typically defined as candidates with masses in the range of keV to GeV. In searches for LDM, eV-scale and below detector thresholds are needed to detect the small amount of kinetic energy that is imparted to nuclei in a recoil. One such detector technology that can be applied to LDM searches is that of Transition-Edge Sensors (TESs). Operated at cryogenic temperatures, these sensors can achieve the required thresholds, depending on the optimization of the design. In this thesis, I will motivate the evidence for DM and the various DM candidates beyond the WIMP. I will then detail the basics of TES characterization, expand and apply the concepts to an athermal phonon sensor--based Cryogenic PhotoDetector (CPD), and use this detector to carry out a search for LDM at the surface. The resulting exclusion analysis provides the most stringent limits in DM-nucleon scattering cross section (comparing to contemporary searches) for a cryogenic detector for masses from 93 to 140 MeV, showing the promise of athermal phonon sensors in future LDM searches. Furthermore, unknown excess background signals are observed in this LDM search, for which I rule out various possible sources and motivate stress-related microfractures as an intriguing explanation. Finally, I will shortly discuss the outlook of future searches for LDM for various detection channels beyond nuclear recoils.


title: Blind Spots: Automatically detecting ignored program inputs

abstract: A blind spot is any input to a program that can be arbitrarily mutated without affecting the program's output. Blind spots can be used for steganography or to embed malware payloads. If blind spots overlap file format keywords, they indicate parsing bugs that can lead to exploitable differentials. For example, one could craft a document that renders one way in one viewer and a completely different way in another viewer. They have also been used to circumvent code signing in Android binaries, to coerce certificate authorities to misbehave, and to execute HTTP request smuggling and parameter pollution attacks. This paper formalizes the operational semantics of blind spots, leading to a technique based on dynamic information flow tracking that automatically detects blind spots. An efficient implementation is introduced and evaluated against a corpus of over a thousand diverse PDFs parsed through MuPDF, revealing exploitable bugs in the parser. All of the blind spot classifications are confirmed to be correct and the missed detection rate is no higher than 11%. On average, at least 5% of each PDF file is completely ignored by the parser. Our results show promise that this technique is an efficient automated means to detect exploitable parser bugs, over-permissiveness and differentials. Nothing in the technique is tied to PDF in general, so it can be immediately applied to other notoriously difficult-to-parse formats like ELF, X.509, and XML.


title: Smallest posets with given cyclic automorphism group

abstract: For each $n\ge 1$ we determine the minimum number of points in a poset with cyclic automorphism group of order $n$.


title: Inhibited spontaneous emission of quantum dots weakly coupled to off resonant silver nanoplatelets and silver nanowires

abstract: Spontaneous emission (SE) rate of any light emitters directly scales with the locally available modes for photons. The emission rate can be modified, by changing the dielectric environment of light emitters. Generally cavities with modes in resonance to light emission frequency, are used to amplify the light emission rate. The Fermi golden rule predicts that if the cavity modes are offresonant to the emission frequency, then the SE rate is suppressed. In this study, we demonstrate that the SE of colloidal alloyed quantum dots is inhibited by coupling them to chemically synthesized Silver nanowires and Silver nanoplatelet systems. The silver nanoplatelet and silver nanowire plasmonic resonance modes are in ultraviolet and infrared regions of the electromagnetic spectrum. The quantum dots emit in visible region of light. This off-resonant weak coupling of emitters and cavities results in emission rate suppression and is quantified by time resolved photoluminescence (TRPL) measurements. TRPL decay profiles show that the emission rate can be suppressed by coupling self assembled quantum dot monolayers to a single silver nanoplatelet and a single silver nanowire respectively.


title: Quenched lattice fluctuations in optically driven SrTiO3

abstract: Many functionally relevant ferroic phenomena in quantum materials can be manipulated by driving the lattice coherently with optical and terahertz pulses. New physical phenomena and non-equilibrium phases that have no equilibrium counterpart have been discovered following these protocols. The underlying structural dynamics has been mostly studied by recording the average atomic position along dynamical structural coordinates with elastic scattering methods. However, crystal lattice fluctuations, which are known to influence phase transitions in equilibrium, are also expected to determine these dynamics but have rarely been explored. Here, we study the driven dynamics of the quantum paraelectric SrTiO3, in which mid-infrared drives have been shown to induce a metastable ferroelectric state. Crucial in these physics is the competition between the polar instability and antiferrodistortive rotations, which in equilibrium frustrate the formation of long-range ferroelectricity. We make use of high intensity mid-infrared optical pulses to resonantly drive a Ti-O stretching mode at 17 THz, and we measure the resulting change in lattice fluctuations using time-resolved x-ray diffuse scattering at a free electron laser. After a prompt increase, we observe a long-lived quench in R-point antiferrodistortive lattice fluctuations. The enhancement and reduction in lattice fluctuations are explained theoretically by considering fourth-order nonlinear phononic interactions and third-order coupling to the driven optical phonon and to lattice strain, respectively. These observations provide a number of new and testable hypotheses for the physics of light-induced ferroelectricity.


title: Open filters and measurable cardinals

abstract: In this paper, we investigate the poset $\mathbf{OF}(X)$ of free open filters on a given space $X$. In particular, we characterize spaces for which $\mathbf{OF}(X)$ is a lattice. For each $n\in\mathbb{N}$ we construct a scattered space $X$ such that $\mathbf{OF}(X)$ is order isomorphic to the $n$-element chain, which implies the affirmative answer to two questions of Mooney. Assuming CH we construct a scattered space $X$ such that $\mathbf{OF}(X)$ is order isomorphic to $(\omega+1,\geq)$. To prove the latter facts we introduce and investigate a new stratification of ultrafilters which depends on scattered subspaces of $\beta(\kappa)$. Assuming the existence of $n$ measurable cardinals, for every $m_0,\ldots,m_{n}\in\mathbb N$ we construct a space $X$ such that $\mathbf{OF}(X)$ is order isomorphic to $\prod_{i=0}^nm_i$. Also, we show that the existence of a metric space possessing a free $\omega_1$-complete closed, $G_\delta$, $F_{\sigma}$ or Borel ultrafilter is equivalent to the existence of a measurable cardinal.


title: Multi-soliton solutions of the sine-Gordon equation with elliptic-function background

abstract: The multi-soliton solution of the sine-Gordon equation in the presence of elliptic-function background is derived by the inverse scattering method. The key tool in our formulation is the Lax pair written by $4\times4$ matrix differential operators given by Takhtadzhyan and Faddeev in 1974, which enables us to use the conventional form of the integral representation of the Jost solutions and Krichever's theory of commuting differential operators. As a by-product we also provide generalized orthogonality and completeness relations for eigenfunctions associated with indefinite inner product. The multi-soliton solution is expressed by a determinant of theta functions and the shift of the background lattice due to solitons is also determined using addition formula. One kink and one breather solutions are presented by animated gifs.


title: Nash resolutions of singular foliations with a view towards affine varieties

abstract: We use the universal Lie $\infty$-algebroid of a singular foliation to construct several notions of resolution of singularities. For instance, we recover Nash modification or the monoidal transformation of an affine variety and a resolution method due to O. Mohsen. One of the important features is that any singular foliation becomes a Debord foliation after one blowup. Some examples are also given.


title: Separating the edges of a graph by a linear number of paths

abstract: Recently, Letzter proved that any graph of order $n$ contains a collection $\mathcal{P}$ of $O(n\log^\star n)$ paths with the following property: for all distinct edges $e$ and $f$ there exists a path in $\mathcal{P}$ which contains $e$ but not $f$. We improve this upper bound to $19 n$, thus answering a question of G.O.H. Katona and confirming a conjecture independently posed by Balogh, Csaba, Martin, and Pluh\'ar and by Falgas-Ravry, Kittipassorn, Kor\'andi, Letzter, and Narayanan. Our proof is elementary and self-contained.


title: How an exact discrete symmetry can preserve black hole information or Turning a black hole inside out

abstract: To apply the laws of General Relativity to quantum black holes, one first needs to remove the horizon singularity by means of Kruskal-Szekeres coordinates. This however doubles spacetime, which thereby is equipped with an exact binary symmetry. All particles near a black hole share the same symmetry, and conservation of this symmetry may completely remove the information paradox: the quantum black hole has no interior, or equivalently, the black hole interior is a quantum clone of the exterior region. These observations, totally overlooked in most of the literature on quantum black holes, resolve some issues concerning conservation of information. Some other problems do remain.


title: Fermion soliton stars

abstract: A real scalar field coupled to a fermion via a Yukawa term can evade no-go theorems preventing solitonic solutions. For the first time, we study this model within General Relativity without approximations, finding static and spherically symmetric solutions that describe fermion soliton stars. The Yukawa coupling provides an effective mass for the fermion, which is key to the existence of self-gravitating relativistic solutions. We systematically study this novel family of solutions and present their mass-radius diagram and maximum compactness, which is close to (but smaller than) that of the corresponding Schwarzschild photon sphere. Finally, we discuss the ranges of the parameters of the fundamental theory in which the latter might have interesting astrophysical implications, including compact (sub)solar and supermassive fermion soliton stars for a standard gas of degenerate neutrons and electrons, respectively.


title: Turbulence Driving by Interstellar Pickup Ions in the Outer Solar Wind

abstract: We revisit the question of how the unstable scattering of interstellar pickup ions (PUIs) may drive turbulence in the outer solar wind, and why the energy released into fluctuations by this scattering appears to be significantly less than the standard bispherical prediction. We suggest that energization of the newly picked-up ions by the ambient turbulence during the scattering process can result in a more spherical distribution of PUIs, and reduce the generated fluctuation energy to a level consistent with the observations of turbulent intensities and core solar wind heating. This scenario implies the operation of a self-regulation mechanism that maintains the observed conditions of turbulence and heating in the PUI-dominated solar wind.


title: Robust, Private and Secure Cache-Aided Scalar Linear Function Retrieval from Blind Servers

abstract: This work investigates a system composed of multiple distributed servers and users, where each user is equiped with a local cache, and aims to retrieve a scalar linear function of the files of a library from the servers. The files are stored at the servers such that any $I$ colluding servers can not obtain any information about the files, while any $I+L$ servers can together recover all files. In addition, the system are designed to satisfy: (a) Each user's demand must be satisfied upon receiving the signals from any $I+L$ servers; (b) The content of the library must be kept secure from a wiretapper who obtains all the signals from the servers; (c) Any subset of users together with all the servers can not obtain any information about the demands of the remaining users. A coded scheme is derived to satisfy the above constraints by incoporating the idea of secret sharing and key superposition into the framework of Placement Delivery Array (PDA), originally proposed to characterize the single-server coded caching system without any security or privacy constraints, where the memory size at each user, the storage size at each server and the total communication load over all servers are characterized by the PDA parameters. It is shown that the PDAs describing the original Maddah-Ali and Niesen's coded caching scheme result in an achievable memory-storage-communication region, such that the storage size and the communication load are optimal to within a constant multiplicative gap, except for the small memory regime when the number of files is smaller than the number of users.


title: An efficient and low-cost method to create high-density nitrogen-vacancy centers in CVD diamond for sensing applications

abstract: The negatively charged Nitrogen-Vacancy (NV-) center in diamond is one of the most versatile and robust quantum sensors suitable for quantum technologies, including magnetic field and temperature sensors. For precision sensing applications, densely packed NV- centers within a small volume are preferable due to benefiting from 1/N^1/2 sensitivity enhancement (N is the number of sensing NV centers) and efficient excitation of NV centers. However, methods for quickly and efficiently forming high concentrations of NV- centers are in development stage. We report an efficient, low-cost method for creating high-density NV- centers production from a relatively low nitrogen concentration based on high-energy photons from Ar+ plasma. This study was done on type-IIa, single crystal, CVD-grown diamond substrates with an as-grown nitrogen concentration of 1 ppm. We estimate an NV- density of ~ 0.57 ppm (57%) distributed homogeneously over 200 um deep from the diamond surface facing the plasma source based on optically detected magnetic resonance and fluorescence confocal microscopy measurements. The created NV-s have a spin-lattice relaxation time (T1) of 5 ms and a spin-spin coherence time (T2) of 4 us. We measure a DC magnetic field sensitivity of ~ 104 nT Hz^-1/2, an AC magnetic field sensitivity of ~ 0.12 pT Hz^-1/2, and demonstrate real-time magnetic field sensing at a rate over 10 mT s-1 using an active sample volume of 0.2 um3.


title: Massively Parallel Genetic Optimization through Asynchronous Propagation of Populations

abstract: We present Propulate, an evolutionary optimization algorithm and software package for global optimization and in particular hyperparameter search. For efficient use of HPC resources, Propulate omits the synchronization after each generation as done in conventional genetic algorithms. Instead, it steers the search with the complete population present at time of breeding new individuals. We provide an MPI-based implementation of our algorithm, which features variants of selection, mutation, crossover, and migration and is easy to extend with custom functionality. We compare Propulate to the established optimization tool Optuna. We find that Propulate is up to three orders of magnitude faster without sacrificing solution accuracy, demonstrating the efficiency and efficacy of our lazy synchronization approach. Code and documentation are available at https://github.com/Helmholtz-AI-Energy/propulate


title: Verse: A Python library for reasoning about multi-agent hybrid system scenarios

abstract: We present the Verse library with the aim of making hybrid system verification more usable for multi-agent scenarios. In Verse, decision making agents move in a map and interact with each other through sensors. The decision logic for each agent is written in a subset of Python and the continuous dynamics is given by a black-box simulator. Multiple agents can be instantiated and they can be ported to different maps for creating scenarios. Verse provides functions for simulating and verifying such scenarios using existing reachability analysis algorithms. We illustrate several capabilities and use cases of the library with heterogeneous agents, incremental verification, different sensor models, and the flexibility of plugging in different subroutines for post computations.


title: Degradation of crude oil and pure hydrocarbon fractions by some wild bacterial and fungal species

abstract: The use of biodegradation as a method for cleaning up soil that has been contaminated by spilt petroleum can be an effective strategy. So, this study investigated the existence of the wild microorganism in soil contaminated with oil and study their ability to degrade petroleum in vitro. Nineteen samples were collected from various locations near Taq Taq (TTOPCO) natural seeps in the Kurdistan Region of Iraq. Morphological, cultural, biochemical tests and molecular identification were used to identify the microbial communities, in addition, spore texture and the colour of the fungal isolates were investigated on the fungal isolates. Out of the19 samples, 17 indigenous bacterial strains and 5 fungal strains were successfully isolated. From the absorption spectrophotometry, Bacillus anthracis, Bacillus cereus, Achromobacter sp. and Pseudomonas aeruginosa for the bacterial isolates grew well on a minimal salt medium supplemented with 1% crude oil. Results showed that these isolates mentioned above had a strong ability to degrade crude oil by reducing the colour of 2,6-dichlorophenol indophenol (DCPIP) from deep blue to colourless. However, for the fractions of hydrocarbon, the bacterial isolates failed and did not affect the colour of any of the fractions. The results for fungi showed that Aspergillus lentulus and Rhizopus arrhizus had a strong ability to degrade both crude oil and fraction F1 by reducing the colour of DCPIP. Each fungal isolates also had a great tolerance to different concentrations of crude oil when grown on solid MSM. This study showed these microorganisms have a strong ability to degrade crude oil and can be used to clean up soil and the environment.


title: Minimum Time Control of a Gantry Crane System with Rate Constraints

abstract: This paper focuses on the development of minimum time control profiles for point-to-point motion of a gantry crane system in the presence of uncertainties in modal parameters. Assuming that the velocity of the trolley of the crane can be commanded and is subject to limits, an optimal control problem is posed to determine the bang-off-bang control profile to transition the system from a point of rest to the terminal states with no residual vibrations. Both undamped and underdamped systems are considered and the variation of the structure of the optimal control profiles as a function of the final displacement is studied. As the magnitude of the rigid body displacement is increased, the collapse and birthing of switches in the optimal control profile are observed and explained. Robustness to uncertainties in modal parameters is accounted for by forcing the state sensitivities at the terminal time to zero. The observation that the time-optimal control profile merges with the robust time-optimal control is noted for specific terminal displacements and the migration of zeros of the time-delay filter parameterizing the optimal control profile are used to explain this counter intuitive result. A two degree of freedom gantry crane system is used to experimentally validate the observations of the numerical studies and the tradeoff of increase in maneuver time to the reduction of residual vibrations is experimentally illustrated.


title: Accelerated paths and Unruh effect II: finite time detector response in (Anti) de Sitter spacetime and Huygen's Principle

abstract: We study the finite time response of an Unruh-DeWitt particle detector described by a qubit (two-level system) moving with uniform constant acceleration in maximally symmetric spacetimes. The $D$ dimensional massless fermionic response function in de Sitter (dS) background is found to be identical to that of a detector linearly coupled to a massless scalar field in $2D$ dimensional dS background. Furthermore, we visit the status of Huygen's principle in the Unruh radiation observed by the detector.


title: Reversing The Twenty Questions Game

abstract: Twenty questions is a widely popular verbal game. In recent years, many computerized versions of this game have been developed in which a user thinks of an entity and a computer attempts to guess this entity by asking a series of boolean-type (yes/no) questions. In this research, we aim to reverse this game by making the computer choose an entity at random. The human aims to guess this entity by quizzing the computer with natural language queries which the computer will then attempt to parse using a boolean question answering model. The game ends when the human is successfully able to guess the entity of the computer's choice.


title: The stochastic digital human is now enrolling for in silico imaging trials -- Methods and tools for generating digital cohorts

abstract: Randomized clinical trials, while often viewed as the highest evidentiary bar by which to judge the quality of a medical intervention, are far from perfect. In silico imaging trials are computational studies that seek to ascertain the performance of a medical device by collecting this information entirely via computer simulations. The benefits of in silico trials for evaluating new technology include significant resource and time savings, minimization of subject risk, the ability to study devices that are not achievable in the physical world, allow for the rapid and effective investigation of new technologies and ensure representation from all relevant subgroups. To conduct in silico trials, digital representations of humans are needed. We review the latest developments in methods and tools for obtaining digital humans for in silico imaging studies. First, we introduce terminology and a classification of digital human models. Second, we survey available methodologies for generating digital humans with healthy and diseased status and examine briefly the role of augmentation methods. Finally, we discuss the trade-offs of four approaches for sampling digital cohorts and the associated potential for study bias with selecting specific patient distributions.


title: Operators induced by certain hypercomplex systems

abstract: In this paper, we consider natural Hilbert-space representations $\left\{ \left(\mathbb{C}^{2},\pi_{t}\right)\right\} _{t\in\mathbb{R}}$ of the hypercomplex system $\left\{ \mathbb{H}_{t}\right\} _{t\in\mathbb{R}}$, and study the realizations $\pi_{t}\left(h\right)$ of hypercomplex numbers $h\in\mathbb{H}_{t}$, as $\left(2\times2\right)$-matrices acting on $\mathbb{C}^{2}$, for an arbitrarily fixed scale $t\in\mathbb{R}$. Algebraic, operator-theoretic, spectral-analytic, and free-probabilistic properties of them are considered.


title: Batch Prompting: Efficient Inference with Large Language Model APIs

abstract: Performing inference on large volumes of samples with large language models (LLMs) can be computationally and financially costly in industry and real-world use. We propose batch prompting, a simple yet effective prompting approach that enables the LLM to run inference in batches, instead of one sample at a time. Our method reduces both token and time costs while retaining downstream performance. We theoretically demonstrate that under a few-shot in-context learning setting, the inference costs decrease almost inverse linearly with the number of samples in each batch. We extensively validate the effectiveness of batch prompting on ten datasets across commonsense QA, arithmetic reasoning, and NLI/NLU: batch prompting significantly~(up to 5x with six samples in batch) reduces the LLM (Codex) inference token and time costs while achieving better or comparable performance. For state-of-the-art Chat-based LLMs, e.g., GPT-3.5 and GPT-4, we show the benefits of batch prompting also hold. Further analysis shows that the number of samples in each batch and the complexity of tasks affect its performance. Moreover, batch prompting can be applied across different reasoning methods using LLMs. Our code can be found at the site https://github.com/xlang-ai/batch-prompting.


title: Optimizing the sensitivity of high repetition rate broadband transient optical spectroscopy with modified shot-to-shot detection

abstract: A major limitation of transient optical spectroscopy is that relatively high laser fluences are required to enable broadband, multichannel detection with acceptable signal-to-noise levels. Under typical experimental conditions, many condensed phase and nanoscale materials exhibit fluence-dependent dynamics, including higher-order effects such as carrier-carrier annihilation. With the proliferation of commercial laser systems, offering both high repetition rates and high pulse energies, has come new opportunities for high sensitivity pump-probe measurements at low pump fluences. However, experimental considerations needed to fully leverage the statistical advantage of these laser systems has not been fully described. Here we demonstrate a high repetition rate, broadband transient spectrometer capable of multichannel shot-to-shot detection at 90 kHz. Importantly, we find that several high-speed cameras exhibit a time-domain fixed pattern noise resulting from interleaved analog-to-digital converters that is particularly detrimental to the conventional "ON/OFF" modulation scheme used in pump-probe spectroscopy. Using a modified modulation and data processing scheme, we achieve a noise level of $10^{-5}$ OD for an integration time of four seconds, an order of magnitude lower than for commercial 1 kHz transient spectrometers. We leverage the high sensitivity of this system to measure the differential transmission of monolayer graphene at low pump fluence. We show that signals on the order of $10^{-6}$ OD can be measured, enabling a new data acquisition regime for low-dimensional materials.


title: Multiplication between elements in Martingale Hardy spaces and their duals

abstract: In this paper, we establish continuous bilinear decompositions that arise in the study of products between elements in martingale Hardy spaces $ H^p\ (0<p\leqslant 1) $ and functions in their dual spaces. Our decompositions are based on martingale paraproducts. As a consequence of our work, we also obtain analogous results for dyadic martingales on spaces of homogeneous type equipped with a doubling measure.


title: W-potentials in nonlinear biophysics of microtubules

abstract: In the present article we investigate the nonlinear dynamics of microtubules, the basic components of the eukaryotic cytoskeleton, and rely on the known general model. A crucial interaction among constitutive particles is modelled using W-potential. Three kinds of this potential are studied, symmetrical and two non-symmetrical. We demonstrate an advantage of the latter ones.


title: Using Gamma Functions in the Mathematical Formulation of the Impact Crater Size-Age Frequency Distribution on Earth and Mars

abstract: A review of a mathematical formulation that describes the number of impact craters as function of diameter and time of formation is presented, where the use of Gamma functions is emphasized. The application of this formalism for the description of the impact crater data of Planets Earth and Mars is also discussed.


title: Continuous Newton-like Methods featuring Inertia and Variable Mass

abstract: We introduce a new dynamical system, at the interface between second-order dynamics with inertia and Newton's method. This system extends the class of inertial Newton-like dynamics by featuring a time-dependent parameter in front of the acceleration, called variable mass. For strongly convex optimization, we provide guarantees on how the Newtonian and inertial behaviors of the system can be non-asymptotically controlled by means of this variable mass. A connection with the Levenberg--Marquardt (or regularized Newton's) method is also made. We then show the effect of the variable mass on the asymptotic rate of convergence of the dynamics, and in particular, how it can turn the latter into an accelerated Newton method. We provide numerical experiments supporting our findings. This work represents a significant step towards designing new algorithms that benefit from the best of both first- and second-order optimization methods.


title: Neural Architecture Search: Insights from 1000 Papers

abstract: In the past decade, advances in deep learning have resulted in breakthroughs in a variety of areas, including computer vision, natural language understanding, speech recognition, and reinforcement learning. Specialized, high-performing neural architectures are crucial to the success of deep learning in these areas. Neural architecture search (NAS), the process of automating the design of neural architectures for a given task, is an inevitable next step in automating machine learning and has already outpaced the best human-designed architectures on many tasks. In the past few years, research in NAS has been progressing rapidly, with over 1000 papers released since 2020 (Deng and Lindauer, 2021). In this survey, we provide an organized and comprehensive guide to neural architecture search. We give a taxonomy of search spaces, algorithms, and speedup techniques, and we discuss resources such as benchmarks, best practices, other surveys, and open-source libraries.


title: Spectral Asymptotics of Elliptic Operators on Manifolds

abstract: The study of spectral properties of natural geometric elliptic partial differential operators acting on smooth sections of vector bundles over Riemannian manifolds is a central theme in global analysis, differential geometry and mathematical physics. Instead of studying the spectrum of a differential operator $L$ directly one usually studies its spectral functions, that is, spectral traces of some functions of the operator, such as the spectral zeta function $\zeta(s)=\Tr L^{-s}$ and the heat trace $\Theta(t)=\Tr\exp(-tL)$. The kernel $U(t;x,x')$ of the heat semigroup $\exp(-tL)$, called the heat kernel, plays a major role in quantum field theory and quantum gravity, index theorems, non-commutative geometry, integrable systems and financial mathematics. We review some recent progress in the study of spectral asymptotics. We study more general spectral functions, such as $\Tr f(tL)$, that we call quantum heat traces. Also, we define new invariants of differential operators that depend not only on the their eigenvalues but also on the eigenfunctions, and, therefore, contain much more information about the geometry of the manifold. Furthermore, we study some new invariants, such as $\Tr\exp(-tL_+)\exp(-sL_-)$, that contain relative spectral information of two differential operators. Finally we show how the convolution of the semigroups of two different operators can be computed by using purely algebraic methods.


title: Joint Observatories Kavli Science Forum

abstract: The Joint Observatories Kavli Science Forum in Chile was organised in a hybrid mode with the aim of encouraging collaborations, not only with the Chilean institutions but also between the different observing facilities based in Chile. The meeting featured scientific talks showing results obtained with the astronomical facilities based in Chile, but significant time was also dedicated to round-table discussions on Life Balance, Diversity-Equity-Inclusion, and the Road Ahead (i.e., the future of those Chile-based facilities).


title: Novel-View Acoustic Synthesis

abstract: We introduce the novel-view acoustic synthesis (NVAS) task: given the sight and sound observed at a source viewpoint, can we synthesize the sound of that scene from an unseen target viewpoint? We propose a neural rendering approach: Visually-Guided Acoustic Synthesis (ViGAS) network that learns to synthesize the sound of an arbitrary point in space by analyzing the input audio-visual cues. To benchmark this task, we collect two first-of-their-kind large-scale multi-view audio-visual datasets, one synthetic and one real. We show that our model successfully reasons about the spatial cues and synthesizes faithful audio on both datasets. To our knowledge, this work represents the very first formulation, dataset, and approach to solve the novel-view acoustic synthesis task, which has exciting potential applications ranging from AR/VR to art and design. Unlocked by this work, we believe that the future of novel-view synthesis is in multi-modal learning from videos.


title: Can Peanuts Fall in Love with Distributional Semantics?

abstract: Context changes expectations about upcoming words - following a story involving an anthropomorphic peanut, comprehenders expect the sentence the peanut was in love more than the peanut was salted, as indexed by N400 amplitude (Nieuwland & van Berkum, 2006). This updating of expectations has been explained using Situation Models - mental representations of a described event. However, recent work showing that N400 amplitude is predictable from distributional information alone raises the question whether situation models are necessary for these contextual effects. We model the results of Nieuwland and van Berkum (2006) using six computational language models and three sets of word vectors, none of which have explicit situation models or semantic grounding. We find that a subset of these can fully model the effect found by Nieuwland and van Berkum (2006). Thus, at least some processing effects normally explained through situation models may not in fact require explicit situation models.


title: Controlling Uncertainty of Empirical First-Passage Times in the Small-Sample Regime

abstract: We derive general bounds on the probability that the empirical first-passage time $\overline{\tau}_n\equiv \sum_{i=1}^n\tau_i/n$ of a reversible ergodic Markov process inferred from a sample of $n$ independent realizations deviates from the true mean first-passage time by more than any given amount in either direction. We construct non-asymptotic confidence intervals that hold in the elusive small-sample regime and thus fill the gap between asymptotic methods and the Bayesian approach that is known to be sensitive to prior belief and tends to underestimate uncertainty in the small-sample setting. We prove sharp bounds on extreme first-passage times that control uncertainty even in cases where the mean alone does not sufficiently characterize the statistics. Our concentration-of-measure-based results allow for model-free error control and reliable error estimation in kinetic inference, and are thus important for the analysis of experimental and simulation data in the presence of limited sampling.

categories: cond-mat.stat-mech cond-mat.soft math-ph math.MP math.PR math.ST stat.TH


title: Kudla-Millson forms and one-variable degenerations of Hodge structure

abstract: We consider arbitrary polarized variations of Hodge structure of weight two and $h^{2,0}=1$ over a non--singular complex algebraic curve $S$ and analyze the boundary behaviour of the associated Kudla--Millson theta series using Schmid's theorems on degenerations of Hodge structure. This allows us to prove that this theta series is always integrable over $S$ and to describe explicitly the non-holomorphic part of the Kudla--Millson generating series in terms of the mixed Hodge structures at infinity.


title: Force-Field-Enhanced Neural Network Interactions: from Local Equivariant Embedding to Atom-in-Molecule properties and long-range effects

abstract: We introduce FENNIX (Force-Field-Enhanced Neural Network InteraXions), a hybrid approach between machine-learning and force-fields. We leverage state-of-the-art equivariant neural networks to predict local energy contributions and multiple atom-in-molecule properties that are then used as geometry-dependent parameters for physically-motivated energy terms which account for long-range electrostatics and dispersion. Using high-accuracy ab initio data (small organic molecules/dimers), we trained a first version of the model. Exhibiting accurate gas-phase energy predictions, FENNIX is transferable to the condensed phase. It is able to produce stable Molecular Dynamics simulations, including nuclear quantum effects, for water predicting accurate liquid properties. The extrapolating power of the hybrid physically-driven machine learning FENNIX approach is exemplified by computing: i) the solvated alanine dipeptide free energy landscape; ii) the reactive dissociation of small molecules.


title: Thermal production of cold "hot dark matter" around eV

abstract: A very simple production mechanism of feebly interacting dark matter (DM) that rarely annihilates is thermal production, which predicts the DM mass around eV. This has been widely known as the hot DM scenario. Despite there are several observational hints from background lights suggesting a DM in this mass range, the hot DM scenario has been considered strongly in tension with the structure formation of our Universe because the free-streaming length of the DM produced from thermal reactions was thought to be too long. In this paper, I show that the previous conclusions are not always true depending on the reaction for bosonic DM because of the Bose-enhanced reaction at very low momentum. By using the simple $1\leftrightarrow 2$ decay/inverse decay process to produce the DM, I demonstrate that the eV range bosonic DM can be thermally produced $coldly$ from a hot plasma by performing a model-independent analysis applicable to axion, hidden photon, and other bosonic DM candidates. Therefore, the bosonic DM in the eV mass range may still be special and theoretically well-motivated.


title: First search for ultralight dark matter with a space-based gravitational-wave antenna: LISA Pathfinder

abstract: We present here results from the first-ever search for dark photon dark matter that could have coupled to baryons in LISA Pathfinder, the technology demonstrator for a space-based gravitational-wave antenna. After analyzing approximately three months of data taken by LISA Pathfinder in the frequency range $[2\times 10^{-5},5]$ Hz, corresponding to dark photon masses of $[8\times 10^{-20},2\times 10^{-14}]$ eV/$c^2$, we find no evidence of a dark-matter signal, and set upper limits on the strength of the dark photon/baryon coupling. To perform this search, we leveraged methods that search for quasi-monochromatic gravitational-wave signals in ground-based interferometers, and are robust against non-Gaussianities and gaps in the data. Our work therefore represents a proof-of-concept test of search methods in LISA to find persistent, quasi-monochromatic signals, and shows our ability to handle non-Guassian artifacts and gaps while maintaining good sensitivity compared to the optimal matched filter. The results also indicate that these methods can be powerful tools in LISA to not only find dark matter, but also look for other persistent signals from e.g. intermediate-mass black hole inspirals and galactic white dwarf binaries.


title: Space-charge region recombination in monocrystalline silicon-based barrier structures with long lifetimes and its impact on key characteristics of high-efficiency solar cells

abstract: The recombination rate in the space charge region (SCR) of a silicon-based barrier structure with long Shockley-Reed-Hall lifetime is calculated theoretically taking into account the concentration gradient of excess electron-hole pairs in the base region. The effects of the SCR lifetime and the applied voltage on the structure's ideality factor are analyzed. The ideality factor is significantly reduced by the concentration gradient of electron-hole pairs. This mechanism provides an increase of the effective lifetime compared to the case when it is insignificant, which is realized at sufficiently low pair concentrations. The theoretical results are shown to be in agreement with experimental data.


title: Renormalization view on resonance proliferation between many-body localized phases

abstract: Topology and many-body localization (MBL) have opened new avenues for preserving quantum information at finite energy density. Resonant delocalization plays a crucial role in destabilizing these phenomena. In this work, we study the statistical properties of many-body resonances in a disordered interacting Ising model - which can host symmetry protected topological order - using a Clifford circuit encoding of the real space renormalization group which allows the resonant properties of the wave functions to be efficiently characterized. Our findings show that both the trivial and topologically ordered MBL phases remain stable to the resonances, but in the vicinity of the transition between them localization is destabilized by resonance proliferation. Diverging susceptibility towards the development of an avalanche instability suggests an intervening ergodic phase. We are also able to access the local integrals of motion in the MBL phases and identify the topological edge-mode operators in the ordered phase. Our results have important implications for the stability of MBL and phase transitions between distinct MBL phases with and without symmetries.


title: FlatFormer: Flattened Window Attention for Efficient Point Cloud Transformer

abstract: Transformer, as an alternative to CNN, has been proven effective in many modalities (e.g., texts and images). For 3D point cloud transformers, existing efforts focus primarily on pushing their accuracy to the state-of-the-art level. However, their latency lags behind sparse convolution-based models (3x slower), hindering their usage in resource-constrained, latency-sensitive applications (such as autonomous driving). This inefficiency comes from point clouds' sparse and irregular nature, whereas transformers are designed for dense, regular workloads. This paper presents FlatFormer to close this latency gap by trading spatial proximity for better computational regularity. We first flatten the point cloud with window-based sorting and partition points into groups of equal sizes rather than windows of equal shapes. This effectively avoids expensive structuring and padding overheads. We then apply self-attention within groups to extract local features, alternate sorting axis to gather features from different directions, and shift windows to exchange features across groups. FlatFormer delivers state-of-the-art accuracy on Waymo Open Dataset with 4.6x speedup over (transformer-based) SST and 1.4x speedup over (sparse convolutional) CenterPoint. This is the first point cloud transformer that achieves real-time performance on edge GPUs and is faster than sparse convolutional methods while achieving on-par or even superior accuracy on large-scale benchmarks.


title: Scaling approaches to steady wall-induced turbulence

abstract: The problem of discerning key features of steady turbulent flow adjacent to a wall has drawn the attention of some of the most noted fluid dynamicists of all time. Standard examples of such features are found in the mean velocity profiles of turbulent flow in channels, pipes or boundary layers. The aim of this review article is to expound the essence of some elementary theoretical efforts in this regard. Possibly the best known of them, and certainly the simplest, is the argument (obtained independently) by Izakson (1937) and Millikan (1939). They showed that if an inner scaling and an outer scaling for the profile are valid near the wall and near the center of the flow (or the edge of the boundary layer), respectively, and if there is an overlap region where both scalings are valid, then the profile must be logarithmic in that common region. That theoretical justification has been used and expanded upon by innumerable authors for over 60 years, and at the present time is still rightly enjoying popularity. Although background discussions of several related topics are included in the present article, for example the classical ideas of Prandtl and von Karman, the main foci will be on (i) a careful examination of the Izakson-Millikan argument, together with a presentation of a better mathematical justification for its conclusion; and (ii) a detailed clarification of a newer approach to gaining theoretical understanding of the mean velocity and Reynolds stress profiles based on the search for scaling patches. The two approaches share common goals, they are both heavily involved with scaling concepts, and many results are similar, but the logical trains of thought are entirely different. The first, as mentioned, dates back to the 30's and the second was introduced in a series of recent papers by Fife, Wei and Klewicki et al.


title: Enactive Artificial Intelligence: Subverting Gender Norms in Robot-Human Interaction

abstract: This paper introduces Enactive Artificial Intelligence (eAI) as an intersectional gender-inclusive stance towards AI. AI design is an enacted human sociocultural practice that reflects human culture and values. Unrepresentative AI design could lead to social marginalisation. Section 1, drawing from radical enactivism, outlines embodied cultural practices. In Section 2, explores how intersectional gender intertwines with technoscience as a sociocultural practice. Section 3 focuses on subverting gender norms in the specific case of Robot-Human Interaction in AI. Finally, Section 4 identifies four vectors of ethics: explainability, fairness, transparency, and auditability for adopting an intersectionality-inclusive stance in developing gender-inclusive AI and subverting existing gender norms in robot design.


title: Unifying Consciousness and Time to Enhance Artificial Intelligence

abstract: Consciousness is a sequential process of awareness which can focus on one piece of information at a time. This process of awareness experiences causation which underpins the notion of time while it interplays with matter and energy, forming reality. The study of Consciousness, time and reality is complex and evolving fast in many fields, including metaphysics and fundamental physics. Reality composes patterns in human Consciousness in response to the regularities in nature. These regularities could be physical (e.g., astronomical, environmental), biological, chemical, mental, social, etc. The patterns that emerged in Consciousness were correlated to the environment, life and social behaviours followed by constructed frameworks, systems and structures. The complex constructs evolved as cultures, customs, norms and values, which created a diverse society. In the evolution of responsible AI, it is important to be attuned to the evolved cultural, ethical and moral values through Consciousness. This requires the advocated design of self-learning AI aware of time perception and human ethics.


title: Cosmological implications of an interacting model of dark matter \& dark energy

abstract: In this paper, we have studied an interacting dark energy model. We have assumed the gravitational interaction between the matter fields i.e. between barotropic fluid and the dark energy. The dark energy evolution within the framework of spatially homogeneous and isotropic Friedmann-Robertson-Walker space-time. Therefore, we examine the cosmic evolution from the perspective of interacting scenario by selecting a suitable ansatz for the scale factor resulting from a parametrization of Hubble parameter. The evolution of the cosmological parameters are discussed in some details in the considered interacting scenario by calculating parameters and quantities such as deceleration parameter, energy density, pressure, equation of state (EoS) etc. Also, we have performed some cosmological tests and analysis in support of our obtained interacting model. Finally, we reconstruct the potential of the scalar field and refute the refined swampland conjecture using the equation of state of dark energy and the relationship between energy density and pressure with the scalar field and potential, and then thoroughly describe the findings.


title: PODIUM:A Pulsar Navigation Unit for Science Missions

abstract: PODIUM is a compact spacecraft navigation unit, currently being designed to provide interplanetary missions with autonomous position and velocity estimations. The unit will make use of Pulsar X-ray observations to measure the distance and distance rate from the host spacecraft to the Solar System Barycenter. Such measurements will then be used by the onboard orbit determination function to estimate the complete orbital elements of the spacecraft. The design aims at 6 kg of mass and 20 W of power, in a volume of 150 mm by 240 mm by 600 mm. PODIUM is designed to minimize the impact on the mission operational and accommodation constraints. The architecture is based on a grazing incidence X-ray telescope with focal distance limited to 50 cm. The effective area shall be in the range 25 to 50 cm2 for photon energies in the range 0.2-10 keV, requiring nesting of several mirrors in the Wolter-1 geometry. Grazing incidence angles will be very small, below 2 deg. The current target FOV is 0.25 deg. The pulsars photon arrivals are detected with a single pixel Silicon Drift Detector (SDD) sensor with timing accuracy below 1usec. The unit has no gimbaling to meet the applicable power, size and mass requirements. Instead, the host spacecraft shall slew and point to allow pulsar observation. The avionics architecture is based on a radiation hardened LEON4 processor, to allow a synchronous propagation task and measurement generation and orbit determination step in an asynchronous task. PODIUM will enable higher autonomy and lower cost for interplanetary missions. L2 space observatories and planetary flybys are the current reference use cases. Onboard autonomous state estimation can reduce the ground support effort required for navigation and orbit correction/maintenance computation, and reduce the turnaround time, thus enabling more accurate maneuvers, reducing the orbit maintenance mass budget.


title: Is ChatGPT A Good Translator? Yes With GPT-4 As The Engine

abstract: This report provides a preliminary evaluation of ChatGPT for machine translation, including translation prompt, multilingual translation, and translation robustness. We adopt the prompts advised by ChatGPT to trigger its translation ability and find that the candidate prompts generally work well with minor performance differences. By evaluating on a number of benchmark test sets, we find that ChatGPT performs competitively with commercial translation products (e.g., Google Translate) on high-resource European languages but lags behind significantly on low-resource or distant languages. As for the translation robustness, ChatGPT does not perform as well as the commercial systems on biomedical abstracts or Reddit comments but exhibits good results on spoken language. Further, we explore an interesting strategy named $\mathbf{pivot~prompting}$ for distant languages, which asks ChatGPT to translate the source sentence into a high-resource pivot language before into the target language, improving the translation performance noticeably. With the launch of the GPT-4 engine, the translation performance of ChatGPT is significantly boosted, becoming comparable to commercial translation products, even for distant languages. Human analysis on Google Translate and ChatGPT suggests that ChatGPT with GPT-3.5 tends to generate more hallucinations and mis-translation errors while that with GPT-4 makes the least errors. In other words, ChatGPT has already become a good translator. Please refer to our Github project for more details: https://github.com/wxjiao/Is-ChatGPT-A-Good-Translator


title: Characterization of a deep-depletion 4K x 4K CCD Detector System designed for ADFOSC

abstract: We present the characterization of the CCD system developed for the ADFOSC instrument on the 3.6m Devasthal Optical Telescope (DOT). We describe various experiments performed to tune the CCD controller parameters to obtain optimum performance in single and four-port readout modes. Different methodologies employed for characterizing the performance parameters of the CCD, including bias stability, noise, defects, linearity, and gain, are described here. The CCD has grade-0 characteristics at temperatures close to its nominal operating temperature of $-120^\circ$C. The overall system is linear with a regression coefficient of 0.9999, readout noise of 6 electrons, and a gain value close to unity. We demonstrate a method to calculate the dark signal using the gradient in the bias frames at lower temperatures. Using the optimized setting, we verify the performance of the CCD detector system on-sky using the ADFOSC instrument mounted on the 3.6m DOT. Some science targets were observed to evaluate the detector's performance in both imaging and spectroscopic modes.


title: Drawing Diestel-Leader graphs in 3D

abstract: In this short note we give some code to represent Diestel-Leader graphs in 3D. The code is written in TikZ.


title: Rotation of galaxies and dark matter

abstract: In a previous paper by the author was proposed a new metric for the gravitational field of a thin rotating disk physically different from the Kerr metric. The metric is admissible for any angular momentum of the disk. As demonstrated in the present paper the parameter determining the angular momentum of the Milky Way greatly exceeds its gravitational radius so that the Kerr metric physically admissible only if the angular momentum is sufficiently small is completely inapplicable to the Milky Way. It is shown on the basis of the new metric that the rotation of the Milky Way plays a decisive role in the motion of satellites in its gravitational field. The effects due to the rotation can imitate the presence of hypothetical dark matter.