title: Valley-free silicon fins by shear strain

abstract: Electron spins confined in silicon quantum dots are promising candidates for large-scale quantum computers. However, the degeneracy of the conduction band of bulk silicon introduces additional levels dangerously close to the window of computational energies, where the quantum information can leak. The energy of the valley states - typically 0.1 meV - depends on hardly controllable atomistic disorder and still constitutes a fundamental limit to the scalability of these architectures. In this work, we introduce designs of CMOS-compatible silicon fin field-effect transistors that enhance the energy gap to non-computational states by more than one order of magnitude. Our devices comprise realistic silicon-germanium nanostructures with a large shear strain, where troublesome valley degrees of freedom are completely removed. The energy of non-computational states is therefore not affected by unavoidable atomistic disorder and can further be tuned in-situ by applied electric fields. Our design ideas are directly applicable to a variety of setups and will offer a blueprint towards silicon-based large-scale quantum processors.


title: The Poison of Alignment

abstract: From the perspective of content safety issues, alignment has shown to limit large language models' (LLMs) harmful content generation. This intentional method of reinforcing models to not respond to certain user inputs seem to be present in many modern open-source instruction tuning datasets such as OpenAssistant or Guanaco. We introduce a novel insight to an instruction-tuned model's performance affected by the presence of alignment in supervised fine-tuning dataset. To be specific, we noticed that alignment acts as if it is poisoning the instruction dataset. Experimentally, we demonstrate that aligned answers significantly worsen the performance of the resulting fine-tuned model's on various reasoning benchmarks such as Big Bench (BBH), Massive Multitask Language Understanding (MMLU), Human Eval, and Discrete Reasoning Over Paragraphs (DROP), performing worse than the counterpart tuned without alignment by 4-33%.


title: Relativistic-kinematic approach to the hydrogen atom. A possible family of two-particle optically-inactive bound states

abstract: The invariant mass of free particles is used to derive a bound-state equation for the hydrogen atom at rest. This equation has the well-known solutions for the single-particle states. Existence of two-particle bound states, for which the electron and proton have different scales of intraatomic motions, is predicted. Two two-particle states are obtained numerically and discussed in detail. Radiative processes involving the two-particle bound state, should result in simultaneous changing the electron and the proton states and occur through the simultaneous two-photon emission. These processes will be extremely improbable, in comparison with electronic two-photon transitions, since they will be additionally suppressed by the large proton mass.


title: Gotta match 'em all: Solution diversification in graph matching matched filters

abstract: We present a novel approach for finding multiple noisily embedded template graphs in a very large background graph. Our method builds upon the graph-matching-matched-filter technique proposed in Sussman et al., with the discovery of multiple diverse matchings being achieved by iteratively penalizing a suitable node-pair similarity matrix in the matched filter algorithm. In addition, we propose algorithmic speed-ups that greatly enhance the scalability of our matched-filter approach. We present theoretical justification of our methodology in the setting of correlated Erdos-Renyi graphs, showing its ability to sequentially discover multiple templates under mild model conditions. We additionally demonstrate our method's utility via extensive experiments both using simulated models and real-world dataset, include human brain connectomes and a large transactional knowledge base.


title: Large-scale error-tolerant programmable interferometer fabricated by femtosecond laser writing

abstract: We introduce a programmable 8-port interferometer with the recently proposed error-tolerant architecture capable of performing a broad class of transformations. The interferometer has been fabricated with femtosecond laser writing and it is the largest programmable interferometer of this kind to date. We have demonstrated its advantageous error tolerance by showing an operation in a broad wavelength range from $920$ to $980$ nm, which is particularly relevant for quantum photonics due to efficient photon sources. Our work highlights the importance of developing novel architectures of programmable photonics for information processing.


title: Learning to Intervene on Concept Bottlenecks

abstract: While deep learning models often lack interpretability, concept bottleneck models (CBMs) provide inherent explanations via their concept representations. Moreover, they allow users to perform interventional interactions on these concepts by updating the concept values and thus correcting the predictive output of the model. Up to this point, these interventions were typically applied to the model just once and then discarded. To rectify this, we present concept bottleneck memory models (CB2Ms), which keep a memory of past interventions. Specifically, CB2Ms leverage a two-fold memory to generalize interventions to appropriate novel situations, enabling the model to identify errors and reapply previous interventions. This way, a CB2M learns to automatically improve model performance from a few initially obtained interventions. If no prior human interventions are available, a CB2M can detect potential mistakes of the CBM bottleneck and request targeted interventions. Our experimental evaluations on challenging scenarios like handling distribution shifts and confounded data demonstrate that CB2Ms are able to successfully generalize interventions to unseen data and can indeed identify wrongly inferred concepts. Hence, CB2Ms are a valuable tool for users to provide interactive feedback on CBMs, by guiding a user's interaction and requiring fewer interventions.


title: The Relevance of Muon Deflections for Neutrino Telescopes

abstract: Large-scale neutrino telescopes have the primary objective to detect and characterize neutrino sources in the universe. These experiments rely on the detection of charged leptons produced in the interaction of neutrinos with nuclei. Angular resolutions are estimated to be better than 1 degree, which is achieved by the reconstruction of muons. This angular resolution is a measure of the accuracy with which the direction of incoming neutrinos can be determined. Since muons can traverse distances of several kilometers through media, the original muon direction can differ from the muon direction inside the detector due to deflections by stochastic interactions and multiple scattering. In this contribution, a recently published study of muon deflections based on the simulation tool PROPOSAL is presented. Muons with various energies are propagated through different media over several distances. Data-Monte-Carlo comparisons as well as comparisons to the simulation tools MUSIC and Geant4 are performed. Finally, the impact of muon deflections on large-scale neutrino telescopes is discussed.


title: Simonovits's theorem in random graphs

abstract: Let $H$ be a graph with $\chi(H) = r+1$. Simonovits's theorem states that, if $H$ is edge-critical, the unique largest $H$-free subgraph of $K_n$ is its largest $r$-partite subgraph, provided that $n$ is sufficiently large. We show that the same holds with $K_n$ replaced by the binomial random graph $G_{n,p}$ whenever $H$ is also strictly $2$-balanced and $p \ge (\theta_H+o(1)) n^{-\frac{1}{m_2(H)}} (\log n)^{\frac{1}{e_H-1}}$ for some explicit constant $\theta_H$, which we believe to be optimal. This (partially) resolves a conjecture of DeMarco and Kahn.


title: $p$-adic Simpson correspondences for principal bundles in abelian settings

abstract: We explore generalizations of the $p$-adic Simpson correspondence on smooth proper rigid spaces to principal bundles under rigid group varieties $G$. For commutative $G$, we prove that such a correspondence exists if and only if the Lie group logarithm is surjective. Second, we treat the case of general $G$ when $X$ is itself an ordinary abelian variety, in which case we prove a generalisation of Faltings' ``small'' correspondence to general rigid groups. On abeloid varieties, we also prove an analog of the classical Corlette-Simpson correspondence for principal bundles under linear algebraic groups.


title: Super FiboCatalan Numbers and their Lucas Analogues

abstract: Catalan observed in 1874 that the numbers $S(m,n) = \frac{(2m)! (2n)!}{m! n! (m+n)!}$, now called the super Catalan numbers, are integers but there is still no known combinatorial interpretation for them in general, although interpretations have been given for the case $m=2$ and for $S(m, m+s)$ for $0 \leq s \leq 4$. In this paper, we define the super FiboCatalan numbers $S(m,n)_F = \frac{F_{2m}! F_{2n}!}{F_m! F_n! F_{m+n}!}$ and the generalized FiboCatalan numbers $J_{r,F} \frac{F_{2n}!}{F_n! F_{n+r+1}!}$ where $J_{r,F} = \frac{F_{2r+1}!}{F_r!}$. In addition, we give Lucas analogues for both of these numbers and use a result of Sagan and Tirrell to prove that the Lucas analogues are polynomials with non-negative integer coefficients which in turn proves that the super FiboCatalan numbers and the generalized FiboCatalan numbers are integers.


title: ARTIST: ARTificial Intelligence for Simplified Text

abstract: Complex text is a major barrier for many citizens when accessing public information and knowledge. While often done manually, Text Simplification is a key Natural Language Processing task that aims for reducing the linguistic complexity of a text while preserving the original meaning. Recent advances in Generative Artificial Intelligence (AI) have enabled automatic text simplification both on the lexical and syntactical levels. However, as applications often focus on English, little is understood about the effectiveness of Generative AI techniques on low-resource languages such as Dutch. For this reason, we carry out empirical studies to understand the benefits and limitations of applying generative technologies for text simplification and provide the following outcomes: 1) the design and implementation for a configurable text simplification pipeline that orchestrates state-of-the-art generative text simplification models, domain and reader adaptation, and visualisation modules; 2) insights and lessons learned, showing the strengths of automatic text simplification while exposing the challenges in handling cultural and commonsense knowledge. These outcomes represent a first step in the exploration of Dutch text simplification and shed light on future endeavours both for research and practice.


title: Reweighting Monte Carlo Predictions and Automated Fragmentation Variations in Pythia 8

abstract: This work reports on a method for uncertainty estimation in simulated collider-event predictions. The method is based on a Monte Carlo-veto algorithm, and extends previous work on uncertainty estimates in parton showers by including uncertainty estimates for the Lund string-fragmentation model. This method is advantageous from the perspective of simulation costs: a single ensemble of generated events can be reinterpreted as though it was obtained using a different set of input parameters, where each event now is accompanied with a corresponding weight. This allows for a robust exploration of the uncertainties arising from the choice of input model parameters, without the need to rerun full simulation pipelines for each input parameter choice. Such explorations are important when determining the sensitivities of precision physics measurements. Accompanying code is available at https://gitlab.com/uchep/mlhad-weights-validation.


title: Learning How to Price Charging in Electric Ride-Hailing Markets

abstract: With the electrification of ride-hailing fleets, there will be a need to incentivize where and when the ride-hailing vehicles should charge. In this work, we assume that a central authority wants to control the distribution of the vehicles and can do so by selecting charging prices. Since there will likely be more than one ride-hailing company in the market, we model the problem as a single-leader multiple-follower Stackelberg game. The followers, i.e., the companies, compete about the charging resources under given prices provided by the leader. We present a learning algorithm based on the concept of contextual bandits that allows the central authority to find an efficient pricing strategy. We also show how the exploratory phase of the learning can be improved if the leader has some partial knowledge about the companies' objective functions. The efficiency of the proposed algorithm is demonstrated in a simulated case study for the city of Shenzhen, China.


title: Cluster halo shapes in CDM and SIDM models: Unveiling the DM particle nature using a weak lensing approach

abstract: Self-interacting dark matter (SIDM) is an alternative to the standard collisionless cold dark matter model (CDM), allowing for interactions between the dark matter particles through the introduction of a self-scattering cross-section. However, the observable effects between these two scenarios are hard to detect. In this work we present a detailed analysis of an application of galaxy-galaxy lensing to measure with high precision the shapes of cluster halos and how this approach can be used to obtain information regarding the nature of the dark matter particle. Using two sets of simulated data, SIDM and CDM simulations, we compute stacked shear maps centred on several subsets of halos with masses $\gtrsim 10^{13.5} M_\odot$. From these maps, we obtain the quadrupole profiles related to the mean projected elongation of the particle distribution from which the shape parameters are derived. Accounting for a radial shape variation, this technique provides an enhancement of the observed differences between the simulated data-sets. In particular, we obtain a higher slope of the power law for the shape-radial relation for the halos identified in the SIDM simulation, which are rounder towards the centre. Also, as approaching to the mean virial radius, the projected semi-axis ratios converge to similar values than in the CDM simulation. Moreover, we account for the impact of the neighbouring mass, where more strongly elongated distributions are found for the halos in the SIDM simulation, indicating that under dark matter self interaction, the large scale structure imprints a more coherent accretion process.


title: Randomness and imprecision: from supermartingales to randomness tests

abstract: We generalise the randomness test definitions in the literature for both the Martin-L\"of and Schnorr randomness of a series of binary outcomes, in order to allow for interval-valued rather than merely precise forecasts for these outcomes, and prove that under some computability conditions on the forecasts, our definition of Martin-L\"of test randomness can be seen as a special case of Levin's uniform randomness. We show that the resulting randomness notions are, under some computability and non-degeneracy conditions on the forecasts, equivalent to the martingale-theoretic versions we introduced in earlier papers. In addition, we prove that our generalised notion of Martin-L\"of randomness can be characterised by universal supermartingales and universal randomness tests.


title: Invariant Ruelle Distributions on Convex-Cocompact Hyperbolic Surfaces -- A Numerical Algorithm via Weighted Zeta Functions

abstract: We present a numerical algorithm for the computation of invariant Ruelle distributions on convex co-compact hyperbolic surfaces. This is achieved by exploiting the connection between invariant Ruelle distributions and residues of meromorphically continued weighted zeta functions established by the authors together with Barkhofen (2021). To make this applicable for numerics we express the weighted zeta as the logarithmic derivative of a suitable parameter dependent Fredholm determinant similar to Borthwick (2014). As an additional difficulty our transfer operator has to include a contracting direction which we account for with techniques developed by Rugh (1992). We achieve a further improvement in convergence speed for our algorithm in the case of surfaces with additional symmetries by proving and applying a symmetry reduction of weighted zeta functions.


title: Symmetry-group-protected microfluidics for multiplexed stress-free manipulations

abstract: Modern micromanipulation techniques typically involve trapping using electromagnetic, acoustic or flow fields that produce stresses on the trapped particles thereby precluding stress-free manipulations. Here, we show that by employing polyhedral symmetries in a multichannel microfluidic design, we can separate the tasks of displacing and trapping a particle into two distinct sets of flow operations, each characterized and protected by their unique groups of symmetries. By combining only the displacing uniform flow modes to entrain and move targeted particles in arbitrary directions, we were able to realize symmetry-protected, stress-free micromanipulation in 3D. Furthermore, we engineered complex, microscale paths by programming and controlling the flow within each channel in real-time, resulting in multiple particles simultaneously following desired paths in the absence of any supervision or feedback. Our work therefore provides a general symmetry-group-based framework for understanding and engineering microfluidics and a novel platform for 3D stress-free manipulations.


title: Ptychographic nanoscale imaging of the magnetoelectric coupling in freestanding BiFeO$_3$

abstract: Soft X-ray ptychography was employed to simultaneously image the ferroelectric and antiferromagnetic domains in an 80 nm thick freestanding multiferroic BiFeO$_3$. The antiferromagnetic spin cycloid was resolved by reconstructing the resonant elastic X-ray scattering and visualised together with mosaic-like ferroelectric domains in a linear dichroic contrast image at the Fe L$_3$ edge. The measurements reveal a near perfect coupling between the magnetic and ferroelectric ordering by which the propagation direction of the spin cycloid is locked orthogonally to the ferroelectric polarisation. The results provide a direct visualisation of the strong magnetoelectric coupling in BiFeO$_3$ and of its fine multiferroic domain structure, emphasising the potential of high resolution ptychographic imaging in opening new possibilities for the study of multiferroics and non-collinear magnetic materials with soft X-rays.


title: Staleness-Alleviated Distributed GNN Training via Online Dynamic-Embedding Prediction

abstract: Despite the recent success of Graph Neural Networks (GNNs), it remains challenging to train GNNs on large-scale graphs due to neighbor explosions. As a remedy, distributed computing becomes a promising solution by leveraging abundant computing resources (e.g., GPU). However, the node dependency of graph data increases the difficulty of achieving high concurrency in distributed GNN training, which suffers from the massive communication overhead. To address it, Historical value approximation is deemed a promising class of distributed training techniques. It utilizes an offline memory to cache historical information (e.g., node embedding) as an affordable approximation of the exact value and achieves high concurrency. However, such benefits come at the cost of involving dated training information, leading to staleness, imprecision, and convergence issues. To overcome these challenges, this paper proposes SAT (Staleness-Alleviated Training), a novel and scalable distributed GNN training framework that reduces the embedding staleness adaptively. The key idea of SAT is to model the GNN's embedding evolution as a temporal graph and build a model upon it to predict future embedding, which effectively alleviates the staleness of the cached historical embedding. We propose an online algorithm to train the embedding predictor and the distributed GNN alternatively and further provide a convergence analysis. Empirically, we demonstrate that SAT can effectively reduce embedding staleness and thus achieve better performance and convergence speed on multiple large-scale graph datasets.


title: Leveraging Knowledge and Reinforcement Learning for Enhanced Reliability of Language Models

abstract: The Natural Language Processing(NLP) community has been using crowd sourcing techniques to create benchmark datasets such as General Language Understanding and Evaluation(GLUE) for training modern Language Models such as BERT. GLUE tasks measure the reliability scores using inter annotator metrics i.e. Cohens Kappa. However, the reliability aspect of LMs has often been overlooked. To counter this problem, we explore a knowledge-guided LM ensembling approach that leverages reinforcement learning to integrate knowledge from ConceptNet and Wikipedia as knowledge graph embeddings. This approach mimics human annotators resorting to external knowledge to compensate for information deficits in the datasets. Across nine GLUE datasets, our research shows that ensembling strengthens reliability and accuracy scores, outperforming state of the art.


title: Sobolev instability in the cubic NLS equation with convolution potentials on irrational tori

abstract: In this paper we prove the existence of solutions to the cubic NLS equation with convolution potentials on two dimensional irrational tori undergoing an arbitrarily large growth of Sobolev norms as time evolves. Our results apply also to the case of square (and rational) tori. We weaken the regularity assumptions on the convolution potentials, required in a previous work by Guardia (Comm. Math. Phys., 2014) for the square case, to obtain the $H^s$-instability ($s>1$) of the elliptic equilibrium $u=0$. We also provide the existence of solutions $u(t)$ with arbitrarily small $L^2$ norm which achieve a prescribed growth, say $\| u(T)\|_{H^s}\geq K \| u(0)\|_{H^s}, K\gg 1$, within a time $T$ satisfying polynomial estimates, namely $0<T\le K^c$ for some $c>0$.


title: RestNet: Boosting Cross-Domain Few-Shot Segmentation with Residual Transformation Network

abstract: Cross-domain few-shot segmentation (CD-FSS) aims to achieve semantic segmentation in previously unseen domains with a limited number of annotated samples. Although existing CD-FSS models focus on cross-domain feature transformation, relying exclusively on inter-domain knowledge transfer may lead to the loss of critical intra-domain information. To this end, we propose a novel residual transformation network (RestNet) that facilitates knowledge transfer while retaining the intra-domain support-query feature information. Specifically, we propose a Semantic Enhanced Anchor Transform (SEAT) module that maps features to a stable domain-agnostic space using advanced semantics. Additionally, an Intra-domain Residual Enhancement (IRE) module is designed to maintain the intra-domain representation of the original discriminant space in the new space. We also propose a mask prediction strategy based on prototype fusion to help the model gradually learn how to segment. Our RestNet can transfer cross-domain knowledge from both inter-domain and intra-domain without requiring additional fine-tuning. Extensive experiments on ISIC, Chest X-ray, and FSS-1000 show that our RestNet achieves state-of-the-art performance. Our code will be available soon.


title: Optimal Planning in Habit Formation Models with Multiple Goods

abstract: In this paper, on the line e.g. of [COW00]) we investigate a model with habit formation and two types of substitute goods. Such family of models, even in the case of 1 good, are difficult to study since their utility function is not concave in the interesting cases (see e.g. [BG20]), hence the first order conditions are not sufficient. We introduce and explain the model and provide some first results using the dynamic programming approach. Such results will form a solid ground over which a deep study of the features of the solutions can be performed.


title: A Fast Minimization Algorithm for the Euler Elastica Model Based on a Bilinear Decomposition

abstract: The Euler Elastica (EE) model with surface curvature can generate artifact-free results compared with the traditional total variation regularization model in image processing. However, strong nonlinearity and singularity due to the curvature term in the EE model pose a great challenge for one to design fast and stable algorithms for the EE model. In this paper, we propose a new, fast, hybrid alternating minimization (HALM) algorithm for the EE model based on a bilinear decomposition of the gradient of the underlying image and prove the global convergence of the minimizing sequence generated by the algorithm under mild conditions. The HALM algorithm comprises three sub-minimization problems and each is either solved in the closed form or approximated by fast solvers making the new algorithm highly accurate and efficient. We also discuss the extension of the HALM strategy to deal with general curvature-based variational models, especially with a Lipschitz smooth functional of the curvature. A host of numerical experiments are conducted to show that the new algorithm produces good results with much-improved efficiency compared to other state-of-the-art algorithms for the EE model. As one of the benchmarks, we show that the average running time of the HALM algorithm is at most one-quarter of that of the fast operator-splitting-based Deng-Glowinski-Tai algorithm.


title: Controlling Dual-Comb Soliton Motion inside a single Fiber Laser Cavity

abstract: Ultrafast science builds on dynamic compositions of precisely timed light pulses1 and evolving sequences of pulses are observed inside almost every mode-locked laser. However, the underlying physics remains barely controlled and utilized until now. Here, we demonstrate the fast and deterministic control of soliton motion for the generation of programmable ultrashort pulse patterns from a dual-comb mode-locked Er:fiber laser. Specifically, we harness intra-cavity modulation of individual solitons and their laser-intrinsic dynamics to facilitate the rapid tuning of two interlaced soliton combs. Upon extra-cavity temporal recombination of both combs, we obtain reconfigurable pulse patterns at arbitrary delays. Using high-throughput real-time spectral interferometry, we resolve the short-range inter-soliton motion upon external stimuli and we demonstrate the high-speed sweeping of picosecond pump-probe-delays and programmable free-form trajectories. This work introduces a novel approach to soliton control and paves the way for ultrafast instruments at unprecedented high tuning, cycling and acquisition speeds.


title: Unlocking the Performance of Proximity Sensors by Utilizing Transient Histograms

abstract: We provide methods which recover planar scene geometry by utilizing the transient histograms captured by a class of close-range time-of-flight (ToF) distance sensor. A transient histogram is a one dimensional temporal waveform which encodes the arrival time of photons incident on the ToF sensor. Typically, a sensor processes the transient histogram using a proprietary algorithm to produce distance estimates, which are commonly used in several robotics applications. Our methods utilize the transient histogram directly to enable recovery of planar geometry more accurately than is possible using only proprietary distance estimates, and consistent recovery of the albedo of the planar surface, which is not possible with proprietary distance estimates alone. This is accomplished via a differentiable rendering pipeline, which simulates the transient imaging process, allowing direct optimization of scene geometry to match observations. To validate our methods, we capture 3,800 measurements of eight planar surfaces from a wide range of viewpoints, and show that our method outperforms the proprietary-distance-estimate baseline by an order of magnitude in most scenarios. We demonstrate a simple robotics application which uses our method to sense the distance to and slope of a planar surface from a sensor mounted on the end effector of a robot arm.


title: OCTAL: Graph Representation Learning for LTL Model Checking

abstract: Model Checking is widely applied in verifying the correctness of complex and concurrent systems against a specification. Pure symbolic approaches while popular, suffer from the state space explosion problem due to cross product operations required that make them prohibitively expensive for large-scale systems and/or specifications. In this paper, we propose to use graph representation learning (GRL) for solving linear temporal logic (LTL) model checking, where the system and the specification are expressed by a B{\"u}chi automaton and an LTL formula, respectively. A novel GRL-based framework \model, is designed to learn the representation of the graph-structured system and specification, which reduces the model checking problem to binary classification. Empirical experiments on two model checking scenarios show that \model achieves promising accuracy, with up to $11\times$ overall speedup against canonical SOTA model checkers and $31\times$ for satisfiability checking alone.


title: A modest redirection of quantum field theory solves all current problems

abstract: Standard quantization using, for example, path integration of field theory models, includes paths of momentum and field reach infinity in the Hamiltonian density, while the Hamiltonian itself remains finite. That fact causes considerable difficulties. In this paper, we represent $\pi(x)$ by $k(x)/\phi(x)$. To insure proper values for $\pi(x)$ it is necessary to restrict $0<|\phi(x)|<\infty$ as well as $0\leq|k(x)|<\infty$. Indeed that leads to Hamiltonian densities in which $\phi(x)^p$, where $p$ can be even integers between $4$ and $\infty$. This leads to a completely satisfactory quantization of field theories using situations that involve scaled behavior leading to an unexpected, $\hbar^2/\hat{\phi}(x)^2$ which arises only in the quantum aspects. Indeed, it is fair to claim that this symbol change leads to valid field theory quantizations.


title: Stand-alone Multigrid for Helmholtz Revisited: Towards Convergence Using Standard Components

abstract: Getting standard multigrid to work efficiently for the high-frequency Helmholtz equation has been an open problem in applied mathematics for years. Much effort has been dedicated to finding solution methods which can use multigrid components to obtain solvers with a linear time complexity. In this work we present one among the first stand-alone multigrid solvers for the 2D Helmholtz equation using both a constant and non-constant wavenumber model problem. We use standard smoothing techniques and do not impose any restrictions on the number of grid points per wavelength on the coarse-grid. As a result we are able to obtain a full V- and W-cycle algorithm. The key features of the algorithm are the use of higher-order inter-grid transfer operators combined with a complex constant in the coarsening process. Using weighted-Jacobi smoothing, we obtain a solver which is $h-$independent and scales linearly with the wavenumber $k$. Numerical results using 1 to 5 GMRES(3) smoothing steps approach $k-$ and $h-$ independent convergence, when combined with the higher-order inter-grid transfer operators and a small or even zero complex shift. The proposed algorithm provides an important step towards the perpetuating branch of research in finding scalable solvers for challenging wave propagation problems.


title: EUSO-SPB2 Fluorescence Telescope in-flight performance and preliminary results

abstract: The Extreme Universe Space Observatory on a Super Pressure Balloon II (EUSO-SPB2) launched from Wanaka, New Zealand on May 13th 2023. Consisting of two optical telescopes, EUSO-SPB2 aimed to search for very high energy neutrinos (E>PeV) via Cherenkov radiation, and ultra high energy cosmic rays (UHECRs, E>EeV) via ultraviolet fluorescence. Building on the EUSO-Balloon (2014) and EUSO-SPB1 (2017) missions, the Fluorescence Telescope (FT) comprises 108 multi-anode photomultiplier tubes at the focus of a one meter entrance diameter Schmidt telescope. The FT pointed down at the atmosphere below the SPB's altitude of 33 km. The mission duration was planned to reach up to 100 days. Prior to flight, the instrument was extensively tested in the laboratory and in the field. These measurements, combined with simulations led to an expected peak energy sensitivity around 3 EeV. Combined with a three-times-larger field-of-view than previous EUSO balloon missions, this resulted in an expected observation rate of one UHECR shower per ten hours of observation. The FT was expected to perform the first measurement of UHECRs via fluorescence from sub-orbital space, but was unable to, due to a shortened flight. Nonetheless, these observations of EUSO-SPB2 serve as a stepping stone to future satellite-based missions, such as the Probe of Extreme MultiMessenger Astrophysics (POEMMA), with enormous exposure to the highest energy cosmic rays with all sky coverage. In this contribution we will discuss the performance of the FT in flight as well as preliminary results.


title: Generalized cardinal invariants for an inaccessible $\kappa$ with compactness at $\kappa^{++}$

abstract: We study the relationship between non-trivial values of generalized cardinal invariants at an inaccessible cardinal $\kappa$ and compactness principles at $\kappa^{++}$. We show that if the existence of a supercompact cardinal $\kappa$ with a weakly compact cardinal $\lambda$ above $\kappa$ is consistent, then the following are consistent as well (where $\mathfrak{t}(\kappa)$ and $\mathfrak{u}(\kappa)$ are the tower number and the ultrafilter number, respectively): (i) There is an inaccessible cardinal $\kappa$ such that $\kappa^+ < \mathfrak{t}(\kappa)= \mathfrak{u}(\kappa)< 2^\kappa$ and stationary reflection and the disjoint stationary sequence property at $\kappa^{++}$ hold. (ii) There is an inaccessible cardinal $\kappa$ such that $\kappa^+ = \mathfrak{t}(\kappa) < \mathfrak{u}(\kappa)< 2^\kappa$ and the principles in (i) hold plus the tree property at $\kappa^{++}$ and the negation of the weak Kurepa Hypothesis at $\kappa^+$. The cardinals $\mathfrak{u}(\kappa)$ and $2^\kappa$ can have any reasonable values in these models. We compute several other values of cardinal invariants, such $\mathfrak{a}(\kappa)$ and $\mathfrak{b}(\kappa)$, and the invariants of the meager ideal (they are all equal to $\mathfrak{u}(\kappa)$). In (ii), we compute $\mathfrak{p}(\kappa) = \mathfrak{t}(\kappa) = \kappa^+$ by observing that the $\kappa^+$-distributive quotient of the Mitchell forcing adds a tower of size $\kappa^+$. As a corollary of the construction, we obtain that (i) and (ii) are also true for $\kappa = \omega$ (starting with a weakly compact cardinal in the ground model).


title: Prompting a Large Language Model to Generate Diverse Motivational Messages: A Comparison with Human-Written Messages

abstract: Large language models (LLMs) are increasingly capable and prevalent, and can be used to produce creative content. The quality of content is influenced by the prompt used, with more specific prompts that incorporate examples generally producing better results. On from this, it could be seen that using instructions written for crowdsourcing tasks (that are specific and include examples to guide workers) could prove effective LLM prompts. To explore this, we used a previous crowdsourcing pipeline that gave examples to people to help them generate a collectively diverse corpus of motivational messages. We then used this same pipeline to generate messages using GPT-4, and compared the collective diversity of messages from: (1) crowd-writers, (2) GPT-4 using the pipeline, and (3 & 4) two baseline GPT-4 prompts. We found that the LLM prompts using the crowdsourcing pipeline caused GPT-4 to produce more diverse messages than the two baseline prompts. We also discuss implications from messages generated by both human writers and LLMs.


title: Communicating on Security within Software Development Issue Tracking

abstract: During software development, balancing security and non security issues is challenging. We focus on security awareness and approaches taken by non-security experts using software development issue trackers when considering security. We first analyse interfaces from prominent issue trackers to see how they support security communication and how they integrate security scoring. Then, we investigate through a small scale user study what criteria developers take when prioritising issues, in particular observing their attitudes to security. We find projects make reference to CVSS summaries (Common Vulnerability Scoring System), often alongside CVE reports (Common Vulnerabilities and Exposures), but issue trackers do not often have interfaces designed for this. Users in our study were not comfortable with CVSS analysis, though were able to reason in a manner compatible with CVSS. Detailed explanations and advice were seen as helpful in making security decisions. This suggests that adding improvements to communication through CVSS-like questioning in issue tracking software can elicit better security interactions.


title: Machine Learning for the EUSO-SPB2 Fluorescence Telescope Data Analysis

abstract: The Extreme Universe Space Observatory on a Super Pressure Balloon 2 (EUSO-SPB2) is the most advanced balloon mission undertaken by the JEM-EUSO collaboration. EUSO-SPB2 is built on the experience of previous stratosphere missions, EUSO-Balloon and EUSO-SPB, and of the Mini-EUSO space mission currently active onboard the International Space Station. EUSO- SPB2 is equipped with two instruments: a fluorescence telescope aimed at registering ultra-high energy cosmic rays (UHECRs) with an energy above 2 EeV and a Cherenkov telescope built to measure direct Cherenkov emission from cosmic rays with energies above 1 PeV. The EUSO-SPB2 mission will provide pioneering observations on the path towards a space-based multi-messenger observatory. As such, a special attention was paid to the development of triggers and other software aimed at comprehensive data analysis. A whole number of methods based on machine learning (ML) and neural networks was developed during the construction of the experiment and a few others are under active development. Here we provide a brief review of the ML-based methods already implemented in the instrument and the ground software and report preliminary results on the ML-based reconstruction of UHECR parameters for the fluorescence telescope.


title: Torsion in linearized contact homology for Legendrian knots

abstract: We present examples of Legendrian knots in $\mathbb{R}^3$ that have linearized Legendrian contact homology over $\mathbb{Z}$ containing torsion. As a consequence, we show that there exist augmentations of Legendrian knots over $\mathbb{Z}$ that are not induced by exact Lagrangian fillings, even though their mod $2$ reductions are.


title: Highlights on top quark physics with the ATLAS experiment at the LHC

abstract: The large top-quark samples collected with the ATLAS experiment at the LHC have yielded measurements of the inclusive \ttbar production cross section of unprecedented precision and differential measurements in new kinematic regimes.They have also enabled new measurements of top-quark properties that were previously inaccessible, enabled the observation of many rare top-quark production processes predicted by the Standard Model and boosted searches for flavour-changing-neutral-current interactions of the top-quark, that are heavily suppressed in the SM. In this contribution the highlights of the ATLAS top-quark physics program are presented, as well as projections of the expected sensitivity after the High Luminosity phase of the LHC. Talk presented at the International Workshop on Future Linear Colliders (LCWS 2023), 15-19 May 2023. C23-05-15.3.


title: Ultra-clean assembly of van der Waals heterostructures

abstract: Layer-by-layer assembly of van der Waals (vdW) heterostructures underpins new discoveries in solid state physics, material science and chemistry. Despite the successes, all current 2D material (2DM) transfer techniques rely on the use of polymers which limit the cleanliness, ultimate electronic performance, and potential for optoelectronic applications of the heterostructures. In this article, we present a novel polymer-free platform for rapid and facile heterostructure assembly which utilises re-usable flexible silicon nitride membranes. We demonstrate that this allows fast and reproducible production of 2D heterostructures using both exfoliated and CVD-grown materials with perfect interfaces free from interlayer contamination and correspondingly excellent electronic behaviour, limited only by the size and intrinsic quality of the crystals used. Furthermore, removing the need for polymeric carriers allows new possibilities for vdW heterostructure fabrication: assembly at high temperatures up to 600{\deg}C, and in different environments including ultra-high vacuum (UHV) and when the materials are fully submerged in liquids. We demonstrate UHV heterostructure assembly for the first time, and show the reliable creation of graphene moir\'e superlattices with more than an order of magnitude improvement in their structural homogeneity. We believe that broad adaptation of our novel inorganic 2D materials assembly strategy will allow realisation of the full potential of vdW heterostructures as a platform for new physics and advanced optoelectronic technologies.


title: On nonrepetitive colorings of paths and cycles

abstract: We say that a sequence $a_1 \cdots a_{2t}$ of integers is repetitive if $a_i = a_{i+t}$ for every $i\in\{1,\ldots,t\}$. A walk in a graph $G$ is a sequence $v_1 \cdots v_r$ of vertices of $G$ in which $v_iv_{i+1}\in E(G)$ for every $i\in\{1,\ldots,r-1\}$. Given a $k$-coloring $c\colon V(G)\to\{1,\ldots,k\}$ of $V(G)$, we say that $c$ is walk-nonrepetitive (resp. stroll-nonrepetitive) if for every $t\in\mathbb{N}$ and every walk $v_1\cdots v_{2t}$ the sequence $c(v_1) \cdots c(v_{2t})$ is not repetitive unless $v_i = v_{i+t}$ for every $i\in\{1,\ldots,t\}$ (resp. unless $v_i = v_{i+t}$ for some $i\in\{1,\ldots,t\}$). The walk (resp. stroll) chromatic number $\sigma(G)$ (resp. $\rho(G)$) of $G$ is the minimum $k$ for which $G$ has a walk-nonrepetitive (resp. stroll-nonrepetitive) $k$-coloring. Let $C_n$ and $P_n$ denote, respectively, the cycle and the path with $n$ vertices. In this paper we present three results that answer questions posed by Bar\'at and Wood in 2008: (i) $\sigma(C_n) = 4$ whenever $n\geq 4$ and $n \notin\{5,7\}$; (ii) $\rho(P_n) = 3$ if $3\leq n\leq 21$ and $\rho(P_n) = 4$ otherwise; and (iii) $\rho(C_n) = 4$, whenever $n \notin\{3,4,6,8\}$, and $\rho(C_n) = 3$ otherwise. In particular, (ii) improves bounds on $n$ obtained by Tao in 2023.


title: On the Practicality of Dynamic Updates in Fast Searchable Encryption

abstract: Searchable encrypted (SE) indexing systems are a useful tool for utilizing cloud services to store and manage sensitive information. However, much of the work on SE systems to date has remained theoretical. In order to make them of practical use, more work is needed to develop optimal protocols and working models for them. This includes, in particular, the creation of a working update model in order to maintain an encrypted index of a dynamic document set such as an email inbox. I have created a working, real-world end-to-end SE implementation that satisfies these needs, including the first empirical performance evaluation of the dynamic SE update operation. In doing so, I show a viable path to move from the theoretical concepts described by previous researchers to a future production-worthy implementation and identify issues for follow-on investigation.


title: Multi-Focus Querying of the Human Genome Information on Desktop and in Virtual Reality: an Evaluation

abstract: The human genome is incredibly information-rich, consisting of approximately 25,000 protein-coding genes spread out over 3.2 billion nucleotide base pairs contained within 24 unique chromosomes. The genome is important in maintaining spatial context, which assists in understanding gene interactions and relationships. However, existing methods of genome visualization that utilize spatial awareness are inefficient and prone to limitations in presenting gene information and spatial context. This study proposed an innovative approach to genome visualization and exploration utilizing virtual reality. To determine the optimal placement of gene information and evaluate its essentiality in a VR environment, we implemented and conducted a user study with three different interaction methods. Two interaction methods were developed in virtual reality to determine if gene information is better suited to be embedded within the chromosome ideogram or separate from the ideogram. The final ideogram interaction method was performed on a desktop and served as a benchmark to evaluate the potential benefits associated with the use of VR. Our study findings reveal a preference for VR, despite longer task completion times. In addition, the placement of gene information within the visualization had a notable impact on the ability of a user to complete tasks. Specifically, gene information embedded within the chromosome ideogram was better suited for single target identification and summarization tasks, while separating gene information from the ideogram better supported region comparison tasks.


title: Temporal Uncertainty Localization to Enable Human-in-the-loop Analysis of Dynamic Contrast-enhanced Cardiac MRI Datasets

abstract: Dynamic contrast-enhanced (DCE) cardiac magnetic resonance imaging (CMRI) is a widely used modality for diagnosing myocardial blood flow (perfusion) abnormalities. During a typical free-breathing DCE-CMRI scan, close to 300 time-resolved images of myocardial perfusion are acquired at various contrast "wash in/out" phases. Manual segmentation of myocardial contours in each time-frame of a DCE image series can be tedious and time-consuming, particularly when non-rigid motion correction has failed or is unavailable. While deep neural networks (DNNs) have shown promise for analyzing DCE-CMRI datasets, a "dynamic quality control" (dQC) technique for reliably detecting failed segmentations is lacking. Here we propose a new space-time uncertainty metric as a dQC tool for DNN-based segmentation of free-breathing DCE-CMRI datasets by validating the proposed metric on an external dataset and establishing a human-in-the-loop framework to improve the segmentation results. In the proposed approach, we referred the top 10% most uncertain segmentations as detected by our dQC tool to the human expert for refinement. This approach resulted in a significant increase in the Dice score (p<0.001) and a notable decrease in the number of images with failed segmentation (16.2% to 11.3%) whereas the alternative approach of randomly selecting the same number of segmentations for human referral did not achieve any significant improvement. Our results suggest that the proposed dQC framework has the potential to accurately identify poor-quality segmentations and may enable efficient DNN-based analysis of DCE-CMRI in a human-in-the-loop pipeline for clinical interpretation and reporting of dynamic CMRI datasets.


title: Vector space Ramsey numbers and weakly Sidorenko affine configurations

abstract: For $B \subseteq \mathbb F_q^m$, the $n$-th affine extremal number of $B$ is the maximum cardinality of a set $A \subseteq \mathbb F_q^n$ with no subset which is affinely isomorphic to $B$. Furstenberg and Katznelson proved that for any $B \subseteq \mathbb F_q^m$, the $n$-th affine extremal number of $B$ is $o(q^n)$ as $n \to \infty$. By counting affine homomorphisms between subsets of $\mathbb F_q^n$, we derive new bounds and give new proofs of some previously known bounds for certain affine extremal numbers. At the same time, we establish corresponding supersaturation results. We connect these bounds to certain Ramsey-type numbers in vector spaces over finite fields. For $s,t \geq 1$, let $R_q(s,t)$ denote the minimum $n$ such that in every red-blue coloring of the one-dimensional subspaces of $\mathbb F_q^n$, there is either a red $s$-dimensional subspace or a blue $t$-dimensional subspace of $\mathbb F_q^n$. The existence of these numbers is a special case of a well-known theorem of Graham, Leeb, Rothschild. We improve the best known upper bounds on $R_2(2,t)$, $R_3(2,t)$, $R_2(t,t)$, and $R_3(t,t)$.


title: TpuGraphs: A Performance Prediction Dataset on Large Tensor Computational Graphs

abstract: Precise hardware performance models play a crucial role in code optimizations. They can assist compilers in making heuristic decisions or aid autotuners in identifying the optimal configuration for a given program. For example, the autotuner for XLA, a machine learning compiler, discovered 10-20% speedup on state-of-the-art models serving substantial production traffic at Google. Although there exist a few datasets for program performance prediction, they target small sub-programs such as basic blocks or kernels. This paper introduces TpuGraphs, a performance prediction dataset on full tensor programs, represented as computational graphs, running on Tensor Processing Units (TPUs). Each graph in the dataset represents the main computation of a machine learning workload, e.g., a training epoch or an inference step. Each data sample contains a computational graph, a compilation configuration, and the execution time of the graph when compiled with the configuration. The graphs in the dataset are collected from open-source machine learning programs, featuring popular model architectures, e.g., ResNet, EfficientNet, Mask R-CNN, and Transformer. TpuGraphs provides 25x more graphs than the largest graph property prediction dataset (with comparable graph sizes), and 770x larger graphs on average compared to existing performance prediction datasets on machine learning programs. This graph-level prediction task on large graphs introduces new challenges in learning, ranging from scalability, training efficiency, to model quality.


title: Towards Optimal Head-to-head Autonomous Racing with Curriculum Reinforcement Learning

abstract: Head-to-head autonomous racing is a challenging problem, as the vehicle needs to operate at the friction or handling limits in order to achieve minimum lap times while also actively looking for strategies to overtake/stay ahead of the opponent. In this work we propose a head-to-head racing environment for reinforcement learning which accurately models vehicle dynamics. Some previous works have tried learning a policy directly in the complex vehicle dynamics environment but have failed to learn an optimal policy. In this work, we propose a curriculum learning-based framework by transitioning from a simpler vehicle model to a more complex real environment to teach the reinforcement learning agent a policy closer to the optimal policy. We also propose a control barrier function-based safe reinforcement learning algorithm to enforce the safety of the agent in a more effective way while not compromising on optimality.


title: Ultrafast-and-Ultralight ConvNet-Based Intelligent Monitoring System for Diagnosing Early-Stage Mpox Anytime and Anywhere

abstract: Due to the absence of more efficient diagnostic tools, the spread of mpox continues to be unchecked. Although related studies have demonstrated the high efficiency of deep learning models in diagnosing mpox, key aspects such as model inference speed and parameter size have always been overlooked. Herein, an ultrafast and ultralight network named Fast-MpoxNet is proposed. Fast-MpoxNet, with only 0.27M parameters, can process input images at 68 frames per second (FPS) on the CPU. To detect subtle image differences and optimize model parameters better, Fast-MpoxNet incorporates an attention-based feature fusion module and a multiple auxiliary losses enhancement strategy. Experimental results indicate that Fast-MpoxNet, utilizing transfer learning and data augmentation, produces 98.40% classification accuracy for four classes on the mpox dataset. Furthermore, its Recall for early-stage mpox is 93.65%. Most importantly, an application system named Mpox-AISM V2 is developed, suitable for both personal computers and smartphones. Mpox-AISM V2 can rapidly and accurately diagnose mpox and can be easily deployed in various scenarios to offer the public real-time mpox diagnosis services. This work has the potential to mitigate future mpox outbreaks and pave the way for developing real-time diagnostic tools in the healthcare field.


title: A Restriction Norm Problem for Siegel Modular Forms

abstract: We establish an asymptotic formula with a power-saving error of the $L^2$-norm of Siegel cusp forms of degree 2 in an average sense when restricted to the imaginary axis. The result is consistent with the Mass Equidistribution Conjecture for Siegel modular forms and the Lindel\"of Hypothesis for some twisted Koecher-Maass series. Along the way, we perform a careful analysis of the Kitaoka formula of degree 2.


title: Eventful Transformers: Leveraging Temporal Redundancy in Vision Transformers

abstract: Vision Transformers achieve impressive accuracy across a range of visual recognition tasks. Unfortunately, their accuracy frequently comes with high computational costs. This is a particular issue in video recognition, where models are often applied repeatedly across frames or temporal chunks. In this work, we exploit temporal redundancy between subsequent inputs to reduce the cost of Transformers for video processing. We describe a method for identifying and re-processing only those tokens that have changed significantly over time. Our proposed family of models, Eventful Transformers, can be converted from existing Transformers (often without any re-training) and give adaptive control over the compute cost at runtime. We evaluate our method on large-scale datasets for video object detection (ImageNet VID) and action recognition (EPIC-Kitchens 100). Our approach leads to significant computational savings (on the order of 2-4x) with only minor reductions in accuracy.


title: Open Gaze: Open Source eye tracker for smartphone devices using Deep Learning

abstract: Eye tracking has been a pivotal tool in diverse fields such as vision research, language analysis, and usability assessment. The majority of prior investigations, however, have concentrated on expansive desktop displays employing specialized, costly eye tracking hardware that lacks scalability. Remarkably little insight exists into ocular movement patterns on smartphones, despite their widespread adoption and significant usage. In this manuscript, we present an open-source implementation of a smartphone-based gaze tracker that emulates the methodology proposed by a GooglePaper (whose source code remains proprietary). Our focus is on attaining accuracy comparable to that attained through the GooglePaper's methodology, without the necessity for supplementary hardware. Through the integration of machine learning techniques, we unveil an accurate eye tracking solution that is native to smartphones. Our approach demonstrates precision akin to the state-of-the-art mobile eye trackers, which are characterized by a cost that is two orders of magnitude higher. Leveraging the vast MIT GazeCapture dataset, which is available through registration on the dataset's website, we successfully replicate crucial findings from previous studies concerning ocular motion behavior in oculomotor tasks and saliency analyses during natural image observation. Furthermore, we emphasize the applicability of smartphone-based gaze tracking in discerning reading comprehension challenges. Our findings exhibit the inherent potential to amplify eye movement research by significant proportions, accommodating participation from thousands of subjects with explicit consent. This scalability not only fosters advancements in vision research, but also extends its benefits to domains such as accessibility enhancement and healthcare applications.


title: Choice Architecture, Privacy Valuations, and Selection Bias in Consumer Data

abstract: We study how choice architecture that companies deploy during data collection influences consumers' privacy valuations. Further, we explore how this influence affects the quality of data collected, including both volume and representativeness. To this end, we run a large-scale choice experiment to elicit consumers' valuation for their Facebook data while randomizing two common choice frames: default and price anchor. An opt-out default decreases valuations by 14-22% compared to opt-in, while a \$0-50 price anchor decreases valuations by 37-53% compared to a \$50-100 anchor. Moreover, in some consumer segments, the susceptibility to frame influence negatively correlates with consumers' average valuation. We find that conventional frame optimization practices that maximize the volume of data collected can have opposite effects on its representativeness. A bias-exacerbating effect emerges when consumers' privacy valuations and frame effects are negatively correlated. On the other hand, a volume-maximizing frame may also mitigate the bias by getting a high percentage of consumers into the sample data, thereby improving its coverage. We demonstrate the magnitude of the volume-bias trade-off in our data and argue that it should be a decision-making factor in choice architecture design.


title: Ngambay-French Neural Machine Translation (sba-Fr)

abstract: In Africa, and the world at large, there is an increasing focus on developing Neural Machine Translation (NMT) systems to overcome language barriers. NMT for Low-resource language is particularly compelling as it involves learning with limited labelled data. However, obtaining a well-aligned parallel corpus for low-resource languages can be challenging. The disparity between the technological advancement of a few global languages and the lack of research on NMT for local languages in Chad is striking. End-to-end NMT trials on low-resource Chad languages have not been attempted. Additionally, there is a dearth of online and well-structured data gathering for research in Natural Language Processing, unlike some African languages. However, a guided approach for data gathering can produce bitext data for many Chadian language translation pairs with well-known languages that have ample data. In this project, we created the first sba-Fr Dataset, which is a corpus of Ngambay-to-French translations, and fine-tuned three pre-trained models using this dataset. Our experiments show that the M2M100 model outperforms other models with high BLEU scores on both original and original+synthetic data. The publicly available bitext dataset can be used for research purposes.


title: Efficient Epistemic Uncertainty Estimation in Regression Ensemble Models Using Pairwise-Distance Estimators

abstract: This work introduces an efficient novel approach for epistemic uncertainty estimation for ensemble models for regression tasks using pairwise-distance estimators (PaiDEs). Utilizing the pairwise-distance between model components, these estimators establish bounds on entropy. We leverage this capability to enhance the performance of Bayesian Active Learning by Disagreement (BALD). Notably, unlike sample-based Monte Carlo estimators, PaiDEs exhibit a remarkable capability to estimate epistemic uncertainty at speeds up to 100 times faster while covering a significantly larger number of inputs at once and demonstrating superior performance in higher dimensions. To validate our approach, we conducted a varied series of regression experiments on commonly used benchmarks: 1D sinusoidal data, $\textit{Pendulum}$, $\textit{Hopper}$, $\textit{Ant}$ and $\textit{Humanoid}$. For each experimental setting, an active learning framework was applied to demonstrate the advantages of PaiDEs for epistemic uncertainty estimation. We compare our approach to existing active learning methods and find that our approach outperforms on high-dimensional regression tasks.


title: MRNAV: Multi-Robot Aware Planning and Control Stack for Collision and Deadlock-free Navigation in Cluttered Environments

abstract: Multi-robot collision-free and deadlock-free navigation in cluttered environments with static and dynamic obstacles is a fundamental problem for many applications. We introduce MRNAV, a framework for planning and control to effectively navigate in such environments. Our design utilizes short, medium, and long horizon decision making modules with qualitatively different properties, and defines the responsibilities of them. The decision making modules complement each other and provide the effective navigation capability. MRNAV is the first hierarchical approach combining these three levels of decision making modules and explicitly defining their responsibilities. We implement our design for simulated multi-quadrotor flight. In our evaluations, we show that all three modules are required for effective navigation in diverse situations. We show the long-term executability of our approach in an eight hour long wall time (six hour long simulation time) uninterrupted simulation without collisions or deadlocks.


title: Localized Virtual Purification

abstract: Analog and digital quantum simulators can efficiently simulate quantum many-body systems that appear in natural phenomena. However, experimental limitations of near-term devices still make it challenging to perform the entire process of quantum simulation. The purification-based quantum simulation methods can alleviate the limitations in experiments such as the cooling temperature and noise from the environment, while this method has the drawback that it requires global entangled measurement with a prohibitively large number of measurements that scales exponentially with the system size. In this Letter, we propose that we can overcome these problems by restricting the entangled measurements to the vicinity of the local observables to be measured, when the locality of the system can be exploited. We provide theoretical guarantees that the global purification operation can be replaced with local operations under some conditions, in particular for the task of cooling and error mitigation. We furthermore give a numerical verification that the localized purification is valid even when conditions are not satisfied. Our method bridges the fundamental concept of locality with quantum simulators, and therefore expected to open a path to unexplored quantum many-body phenomena.


title: On the boundedness of the geodesic curvature measure of a regular curve passing through a cross cap singularity

abstract: In 2015, Hasegawa, Honda, Naokawa, Saji, Umehara, and Yamada defined intrinsic cross cap singularities, which are generalizations of cross cap singularities, and proved the Gauss-Bonnet type formula for surfaces without boundary that admit these singularities. In this paper, we prove the boundedness of geodesic curvature measures of a regular curve passing through an intrinsic cross cap singularity and generalize the Gauss-Bonnet type formula by Hasegawa et al. to the case of surfaces with boundary. Also, we give conditions for the boundedness of the geodesic curvature at an intrinsic cross cap singularity.


title: Real-Time Simulations To Validate The Impact Of M-SSSC Devices On Protection Coordination In Power Systems

abstract: This paper analyzes the impact of the integration of the Modular Static Synchronous Series Compensator (M-SSSC) solution that will be deployed in the Santa Marta 220 kV (Colombian substation) by using real-time simulations with Hardware in the Loop (HIL) technique, over the protection coordination schemes in the area of influence. The results show that the M-SSSC devices can be successfully coordinated with the protection schemes, mitigating overloads through the transmission lines during steady state and contingencies, while avoiding potential harmful interactions with the grid and, most importantly, with protection devices. This behavior is achieved by using overcurrent detection logics implemented on M-SSSC devices that trip fast-acting Silicon Controlled Rectifiers (SCRs) that cease the voltage injection in less than 5 ms


title: Attending Generalizability in Course of Deep Fake Detection by Exploring Multi-task Learning

abstract: This work explores various ways of exploring multi-task learning (MTL) techniques aimed at classifying videos as original or manipulated in cross-manipulation scenario to attend generalizability in deep fake scenario. The dataset used in our evaluation is FaceForensics++, which features 1000 original videos manipulated by four different techniques, with a total of 5000 videos. We conduct extensive experiments on multi-task learning and contrastive techniques, which are well studied in literature for their generalization benefits. It can be concluded that the proposed detection model is quite generalized, i.e., accurately detects manipulation methods not encountered during training as compared to the state-of-the-art.


title: A2Q: Accumulator-Aware Quantization with Guaranteed Overflow Avoidance

abstract: We present accumulator-aware quantization (A2Q), a novel weight quantization method designed to train quantized neural networks (QNNs) to avoid overflow when using low-precision accumulators during inference. A2Q introduces a unique formulation inspired by weight normalization that constrains the L1-norm of model weights according to accumulator bit width bounds that we derive. Thus, in training QNNs for low-precision accumulation, A2Q also inherently promotes unstructured weight sparsity to guarantee overflow avoidance. We apply our method to deep learning-based computer vision tasks to show that A2Q can train QNNs for low-precision accumulators while maintaining model accuracy competitive with a floating-point baseline. In our evaluations, we consider the impact of A2Q on both general-purpose platforms and programmable hardware. However, we primarily target model deployment on FPGAs because they can be programmed to fully exploit custom accumulator bit widths. Our experimentation shows accumulator bit width significantly impacts the resource efficiency of FPGA-based accelerators. On average across our benchmarks, A2Q offers up to a 2.3x reduction in resource utilization over 32-bit accumulator counterparts with 99.2% of the floating-point model accuracy.


title: Joint Modeling of Feature, Correspondence, and a Compressed Memory for Video Object Segmentation

abstract: Current prevailing Video Object Segmentation (VOS) methods usually perform dense matching between the current and reference frames after extracting their features. One on hand, the decoupled modeling restricts the targets information propagation only at high-level feature space. On the other hand, the pixel-wise matching leads to a lack of holistic understanding of the targets. To overcome these issues, we propose a unified VOS framework, coined as JointFormer, for joint modeling the three elements of feature, correspondence, and a compressed memory. The core design is the Joint Block, utilizing the flexibility of attention to simultaneously extract feature and propagate the targets information to the current tokens and the compressed memory token. This scheme allows to perform extensive information propagation and discriminative feature learning. To incorporate the long-term temporal targets information, we also devise a customized online updating mechanism for the compressed memory token, which can prompt the information flow along the temporal dimension and thus improve the global modeling capability. Under the design, our method achieves a new state-of-art performance on DAVIS 2017 val/test-dev (89.7% and 87.6%) and YouTube-VOS 2018/2019 val (87.0% and 87.0%) benchmarks, outperforming existing works by a large margin.


title: Training and Meta-Evaluating Machine Translation Evaluation Metrics at the Paragraph Level

abstract: As research on machine translation moves to translating text beyond the sentence level, it remains unclear how effective automatic evaluation metrics are at scoring longer translations. In this work, we first propose a method for creating paragraph-level data for training and meta-evaluating metrics from existing sentence-level data. Then, we use these new datasets to benchmark existing sentence-level metrics as well as train learned metrics at the paragraph level. Interestingly, our experimental results demonstrate that using sentence-level metrics to score entire paragraphs is equally as effective as using a metric designed to work at the paragraph level. We speculate this result can be attributed to properties of the task of reference-based evaluation as well as limitations of our datasets with respect to capturing all types of phenomena that occur in paragraph-level translations.


title: Large Language Models Should Ask Clarifying Questions to Increase Confidence in Generated Code

abstract: Large language models (LLMs) have significantly improved the ability to perform tasks in the field of code generation. However, there is still a gap between LLMs being capable coders and being top-tier software engineers. Based on the observation that toplevel software engineers often ask clarifying questions to reduce ambiguity in both requirements and coding solutions, I argue that the same should be applied to LLMs for code generation tasks. By asking probing questions in various topics before generating the final code, the challenges of programming with LLMs, such as unclear intent specification, lack of computational thinking, and undesired code quality, may be alleviated. This, in turn, increases confidence in the generated code. In this work, I explore how to leverage better communication skills to achieve greater confidence in generated code. I propose a communication-centered process that uses an LLM-generated communicator to identify issues with high ambiguity or low confidence in problem descriptions and generated code. I then ask clarifying questions to obtain responses from users for refining the code.


title: CECILIA: The Faint Emission Line Spectrum of z~2-3 Star-forming Galaxies

abstract: We present the first results from CECILIA, a Cycle 1 JWST NIRSpec/MSA program that uses ultra-deep ~30 hour G235M/F170LP observations to target multiple electron temperature-sensitive auroral lines in the spectra of 33 galaxies at z~1-3. Using a subset of 23 galaxies, we construct two ~600 object-hour composite spectra, both with and without the stellar continuum, and use these to investigate the characteristic rest-optical (5700-8500 Angstrom) spectrum of star-forming galaxies at the peak epoch of cosmic star formation. Emission lines of eight different elements (H, He, N, O, Si, S, Ar, and Ni) are detected, with most of these features observed to be <3% the strength of H-alpha. We report the characteristic strength of three auroral lines ([NII]5756, [SIII]6313, and [OII]7322,7332), as well as other semi-strong and faint emission lines, including forbidden [NiII]7380,7414 and the OI 8449 recombination line, some of which have never before been observed outside of the local universe. Using these measurements, we find T_e[NII]=13630+/-2540 K, representing the first measurement of electron temperature using [NII] in the high-redshift universe. We also see evidence for broad line emission with a FWHM of ~536 km/s; the broad component of H-alpha is 6.01-28.31% the strength of the narrow component and likely arises from star-formation driven outflows. Finally, we briefly comment on the feasibility of obtaining large samples of faint emission lines using JWST in the future.


title: A sharp sufficient condition for mobile sampling in terms of surface density

abstract: We provide the sharp surface density threshold to guarantee mobile sampling in terms of the surface density of the set.


title: Optimizing Hierarchical Queries for the Attribution Reporting API

abstract: We study the task of performing hierarchical queries based on summary reports from the {\em Attribution Reporting API} for ad conversion measurement. We demonstrate that methods from optimization and differential privacy can help cope with the noise introduced by privacy guardrails in the API. In particular, we present algorithms for (i) denoising the API outputs and ensuring consistency across different levels of the tree, and (ii) optimizing the privacy budget across different levels of the tree. We provide an experimental evaluation of the proposed algorithms on public datasets.


title: MOG as symmetry breaking in Scalar-Vector-Tensor gravity

abstract: The Modified Gravity Model (MOG) has been proposed as a solution to the dark matter problem, but it does not meet the gauge invariant condition. The aim of this work is to propose a gauge-invariant theory, which suggests that symmetry can break at a low temperature in the Universe, leading to the MOG theory. This theory has the potential to alter the dynamics of the early and late Universe and naturally produce cosmological inflation.


title: A Poisson-Based Approximation Algorithm for Stochastic Bin Packing of Bernoulli Items

abstract: A cloud scheduler packs tasks onto machines with contradictory goals of (1) using the machines as efficiently as possible while (2) avoiding overloading that might result in CPU throttling or out-of-memory errors. We take a stochastic approach that models the uncertainty of tasks' resource requirements by random variables. We focus on a little-explored case of items, each having a Bernoulli distribution that corresponds to tasks that are either idle or need a certain CPU share. RPAP, our online approximation algorithm, upper-bounds a subset of items by Poisson distributions. Unlike existing algorithms for Bernoulli items that prove the approximation ratio only up to a multiplicative constant, we provide a closed-form expression. We derive RPAPC, a combined approach having the same theoretical guarantees as RPAP. In simulations, RPAPC's results are close to FFR, a greedy heuristic with no worst-case guarantees; RPAPC slightly outperforms FFR on datasets with small items.


title: Unveiling the Role of Message Passing in Dual-Privacy Preservation on GNNs

abstract: Graph Neural Networks (GNNs) are powerful tools for learning representations on graphs, such as social networks. However, their vulnerability to privacy inference attacks restricts their practicality, especially in high-stake domains. To address this issue, privacy-preserving GNNs have been proposed, focusing on preserving node and/or link privacy. This work takes a step back and investigates how GNNs contribute to privacy leakage. Through theoretical analysis and simulations, we identify message passing under structural bias as the core component that allows GNNs to \textit{propagate} and \textit{amplify} privacy leakage. Building upon these findings, we propose a principled privacy-preserving GNN framework that effectively safeguards both node and link privacy, referred to as dual-privacy preservation. The framework comprises three major modules: a Sensitive Information Obfuscation Module that removes sensitive information from node embeddings, a Dynamic Structure Debiasing Module that dynamically corrects the structural bias, and an Adversarial Learning Module that optimizes the privacy-utility trade-off. Experimental results on four benchmark datasets validate the effectiveness of the proposed model in protecting both node and link privacy while preserving high utility for downstream tasks, such as node classification.


title: Towards more scientific meta-analyses

abstract: Meta-analysis can be a critical part of the research process, often serving as the primary analysis on which the practitioners, policymakers, and individuals base their decisions. However, current literature synthesis approaches to meta-analysis typically estimate a different quantity than what is implicitly intended; concretely, standard approaches estimate the average effect of a treatment for a population of imperfect studies, rather than the true scientific effect that would be measured in a population of hypothetical perfect studies. We advocate for an alternative method, called response-surface meta-analysis, which models the relationship between the quality of the study design as predictor variables and its reported estimated effect size as the outcome variable in order to estimate the effect size obtained by the hypothetical ideal study. The idea was first introduced by Rubin several decades ago, and here we provide a practical implementation. First, we reintroduce the idea of response-surface meta-analysis, highlighting its focus on a scientifically-motivated estimand while proposing a straightforward implementation. Then we compare the approach to traditional meta-analysis techniques used in practice. We then implement response-surface meta-analysis and contrast its results with existing literature-synthesis approaches on both simulated data and a real-world example published by the Cochrane Collaboration. We conclude by detailing the primary challenges in the implementation of response-surface meta-analysis and offer some suggestions to tackle these challenges.


title: Robust Core-Periphery Constrained Transformer for Domain Adaptation

abstract: Unsupervised domain adaptation (UDA) aims to learn transferable representation across domains. Recently a few UDA works have successfully applied Transformer-based methods and achieved state-of-the-art (SOTA) results. However, it remains challenging when there exists a large domain gap between the source and target domain. Inspired by humans' exceptional transferability abilities to adapt knowledge from familiar to uncharted domains, we try to apply the universally existing organizational structure in the human functional brain networks, i.e., the core-periphery principle to design the Transformer and improve its UDA performance. In this paper, we propose a novel brain-inspired robust core-periphery constrained transformer (RCCT) for unsupervised domain adaptation, which brings a large margin of performance improvement on various datasets. Specifically, in RCCT, the self-attention operation across image patches is rescheduled by an adaptively learned weighted graph with the Core-Periphery structure (CP graph), where the information communication and exchange between images patches are manipulated and controlled by the connection strength, i.e., edge weight of the learned weighted CP graph. Besides, since the data in domain adaptation tasks can be noisy, to improve the model robustness, we intentionally add perturbations to the patches in the latent space to ensure generating robust learned weighted core-periphery graphs. Extensive evaluations are conducted on several widely tested UDA benchmarks. Our proposed RCCT consistently performs best compared to existing works, including 88.3\% on Office-Home, 95.0\% on Office-31, 90.7\% on VisDA-2017, and 46.0\% on DomainNet.


title: A teleportation protocol in Schwarzschild-de Sitter space

abstract: We propose a new information transfer protocol for de Sitter space, using black holes as energy reservoirs. We consider antipodal observers in pure de Sitter space in the Bunch-Davis state. They can store Hawking modes from the cosmological horizon in a box. Alternatively, due to thermal fluctuations in de Sitter space, pair-creation black holes can proceed and form the needed energy reservoir. We focus on the Nariai case, corresponding to an equilibrium state. Once it happens, energy pulses can be then released into the black hole's interior, opening a traversable wormhole. We provide bounds for the amount of information that can be transferred. Specializing to (1+1)-dimensions, we explore how the teleportation protocol leads to an explicit geometric description of the information transmitted through an island region. The protocol uncovers quantum information aspects of de Sitter space, independent of a particular realization of de Sitter space holography.


title: ChatGPT as Data Augmentation for Compositional Generalization: A Case Study in Open Intent Detection

abstract: Open intent detection, a crucial aspect of natural language understanding, involves the identification of previously unseen intents in user-generated text. Despite the progress made in this field, challenges persist in handling new combinations of language components, which is essential for compositional generalization. In this paper, we present a case study exploring the use of ChatGPT as a data augmentation technique to enhance compositional generalization in open intent detection tasks. We begin by discussing the limitations of existing benchmarks in evaluating this problem, highlighting the need for constructing datasets for addressing compositional generalization in open intent detection tasks. By incorporating synthetic data generated by ChatGPT into the training process, we demonstrate that our approach can effectively improve model performance. Rigorous evaluation of multiple benchmarks reveals that our method outperforms existing techniques and significantly enhances open intent detection capabilities. Our findings underscore the potential of large language models like ChatGPT for data augmentation in natural language understanding tasks.


title: Holographic Euclidean thermal correlator

abstract: In this paper, we compute holographic Euclidean thermal correlators of the stress tensor and $U(1)$ current from the AdS planar black hole. To this end, we set up perturbative boundary value problems for Einstein's gravity and Maxwell theory in the spirit of Gubser-Klebanov-Polyakov-Witten, with appropriate gauge fixing and regularity boundary conditions at the horizon of the black hole. The linearized Einstein equation and Maxwell equation in the black hole background are related to the Heun equation of degenerate local monodromy. Leveraging the connection relation of local solutions of the Heun equation, we partly solve the boundary value problem and obtain exact two-point thermal correlators for $U(1)$ current and stress tensor in the scalar and shear channels.


title: Spectral rigidity for infinitesimal generators of representations of twisted $S_{\nu}U(2)$

abstract: We prove spectral rigidity theorems for the infinitesimal generators of representations of twisted $S_\nu U(2)$ groups


title: Tracing the Origins of Mass Segregation in M35: Evidence for Primordially Segregated Binaries

abstract: M35 is a young open cluster and home to an extensive binary population. Using Gaia DR3, Pan-STARRS, and 2MASS photometry with the Bayesian statistical software, BASE-9, we derive precise cluster parameters, identify single and binary cluster members, and extract their masses. We identify 571 binaries down to Gaia G = 20.3 and a lower-limit on the binary frequency of f_b = 0.41 +/- 0.02. We extend the binary demographics by many magnitudes faint-ward of previous (radial-velocity) studies of this cluster and further away from the cluster center (1.78-degrees, roughly 10 core radii). We find the binary stars to be more centrally concentrated than the single stars in the cluster. Furthermore, we find strong evidence for mass segregation within the binary population itself, with progressively more massive binary samples becoming more and more centrally concentrated. For the single stars, we find weaker evidence for mass segregation; only the most massive single stars (> 2.5MSun) appear more centrally concentrated. Given the cluster age of ~200 Myr, and our derived half-mass relaxation time for the cluster of 230 +/- 84 Myr, we estimate ~47% of the binary stars and ~12% of single stars in the cluster have had time to become dynamically mass segregated. Importantly, when we investigate only stars with mass segregation timescales greater than the cluster age, we still find the binaries to be more centrally concentrated than the singles, suggesting the binaries may have formed with a primordially different spatial distribution than the single stars.


title: Cantorvals as sets of subsums for a series connected with trigonometric functions

abstract: We study properties of the set of subsums for a convergent series $ k_1 \sin x + \dots + k_m \sin x +\dots + k_1\sin x^n +\dots + k_m \sin x^n + \dots $, where $k_1, k_2, k_3,\dots,k_m$ are fixed positive integers and $0<x<1$. Depends on parameter $x$ this set can be a finite union of closed intervals or Cantor-type set or even Cantorval.


title: Two-way quantum computers adding CPT analog of state preparation

abstract: Standard one-way quantum computers (1WQC) combine time symmetric unitary evolution, with asymmetric treatment of boundaries: state preparation allows to enforce a chosen initial state, however, for the final state measurement chooses a random value instead. As e.g. pull/push, negative/positive pressure, stimulated emission/absorption causing deexcitation/excitation are CPT analogs, and one can be used for state preparation, the second should allow for its CPT analog, referred here as CPT(state preparation) - allowing for additional chosen enforcement of the final state, its more active treatment than measurement. It should act similarly to postselection, but through applied physical constraints (instead of running multiple times). Like pumped to $|1\rangle$ prepared state vs its "unpumped" $\langle 0|$ CPT analog, hopefully allowing to construct two-way quantum computers (2WQC) e.g. hydrodynamical, and hopefully photonic: seen as $\langle \Phi_{\textrm{final}}|U_{\textrm{quantum gates}}|\Phi_{\textrm{initial}}\rangle$ like for scattering matrix, with influenced both initial and final states. If possible, for example for an instance of 3-SAT problem on $n$ variables, we could prepare ensemble of $2^n$ inputs with Hadamard gates, calculate 3-SAT alternatives for them, and use CPT(state preparation) to enforce outcomes of all these alternatives to '1'. This way hopefully restricting this ensemble to satisfying given 3-SAT problem: $\sum_{a:\textrm{SAT}(a)} |a\rangle$, in theory allowing to attack NP problems by simultaneously pushing and pulling information through the system for better control.


title: On the Particle and Field nature of $\gamma^\mu$ matrices in the Dirac Equation and the Nature's intrinsic fifth force

abstract: The Dirac equation is a cornerstone of modern particle physics, which integrates special relativity and quantum mechanics into a consistent framework, yielding the prediction of electron and its antiparticle counterpart, positron. The Dirac equation also lays the foundation of quantum electrodynamics, such that QED phenomenon is supported by fundamental Dirac Algebras calculation. In this article, we will introduce new perspectives of the $\gamma^\mu$ matrix in the Dirac Algebra, by realizing the $\gamma^\mu$ matrices are actual formal quantum fields, the excitation of $\gamma^\mu$ fields correspond to a new particle with both boson and fermion nature. Thus, we show that $\gamma^{\mu}$ is a particle in nature, and can be referred as the nature's intrinsic fifth force. The $\gamma^\mu$ field also serves as the boson-fermion connector in QED interaction.


title: Numerical Simulations Unveil Superradiant Coherence in a Lattice of Charged Quantum Oscillators

abstract: A system of ${N_{osc}}$ charged oscillators interacting with the electromagnetic field, spatially confined in a 3D lattice of sub-wavelength dimension, can condense into a superradiant coherent state if appropriate density and frequency conditions are met. In this state, the common frequency $\omega$ of the oscillators and the plasma frequency $\omega_p$ of the charges are combined into a frequency $\omega'=\sqrt{\omega^2+\omega_p^2}$ that is off-shell with respect to the wavelength of the photon modes involved, preventing them from propagating outside the material. Unlike other atomic cavity systems, the frequency $\omega$ in this case is not determined by the cavity itself but is defined by the periodic electrostatic potential that confines the charged particles in the lattice. Additionally, the electromagnetic modes involved have wave vectors distributed in all spatial directions, resulting in a significant increase in coupling. The analytical study of this system can be carried out in the limit of large ${N_{osc}}$ by searching for an approximation of the ground state via suitable coherent trial states. Alternatively, numerical simulations can be employed for smaller ${N_{osc}}$. In the numerical approach, it is possible to go beyond the Rotating Wave Approximation (RWA) and introduce a dissipation term for the photon modes. This dissipation term can account for the ohmic quench in a metal and also consider photon losses at the boundary of the material. By utilizing numerical solutions and Monte Carlo simulations, the presence of condensation has been confirmed, and an energy gap of a few electron volts (eV) per particle has been observed in typical metal crystals with protons bound to tetrahedral or octahedral sites.


title: Electrochemical Measurement of the Electronic Structure of Graphene via Quantum Mechanical Rate Spectroscopy

abstract: Quantum-rate theory defines a quantum mechanical rate $\nu$ that complies with the Planck--Einstein relationship $E = h\nu$, where $\nu = e^2/hC_q$ is a frequency associated with the quantum capacitance $C_q$, and $E = e^2/C_q$ is the energy associated with $\nu$. Previously, this definition of $\nu$ was successfully employed to define a quantum mechanical meaning for the electron-transfer (ET) rate constant of redox reactions, wherein faradaic electric currents involved with ET reactions were demonstrated to be governed by relativistic quantum electrodynamics at room temperature~\citep{Bueno-2023-3}. This study demonstrated that the definition of $\nu$ entails the relativistic quantum electrodynamics phenomena intrinsically related to the perturbation of the density-of-states $\left( dn/dE \right) = C_q/e^2$ by an external harmonic oscillatory potential energy variation. On this basis, the electronic structure of graphene embedded in an electrolyte environment was computed. The electronic structure measured using quantum-rate spectroscopy (QRS) is in good agreement with that measured through angle-resolved photo-emission spectroscopy (ARPES) or calculated via computational density-functional theory (DFT) methods. Electrochemical QRS has evident experimental advantages over ARPES. For instance, QRS enables obtaining the electronic structure of graphene at room temperature and in an electrolyte environment, whereas ARPES requires low temperature and ultrahigh-vacuum conditions. Furthermore, QRS can operate \textit{in-situ} using a hand-held, inexpensive piece of equipment, whereas ARPES necessarily requires expensive and cumbersome apparatus.


title: Interstellar radiation as a Maxwell field: improved numerical scheme and application to the spectral energy density

abstract: The existing models of the interstellar radiation field (ISRF) do not produce a Maxwell field. Here, the recent model of the ISRF as a Maxwell field is improved by considering separately the different frequencies at the stage of the fitting. Using this improved procedure: (i) It is checked in detail that the model does predict extremely high values of the spectral energy density (SED) on the axis of a galaxy, that however decrease very rapidly when $\rho $, the distance to the axis, is increased from zero. (ii) The difference between the SED values (with $\rho =1\,$kpc or $8\,$kpc), as predicted either by this model or by a recent radiation transfer model, is reduced significantly. (iii) The slower decrease of the SED with increasing altitude $z$, as compared with the radiation transfer model, is confirmed. We also calculate the evolutions of the SED at large $\rho $. We interpret these evolutions by determining asymptotic expansions of the SED at large $z$, and also ones at large $\rho $.


title: The congruence of spacelike curves of tachyons with respective energy-momentum tensor of perfect fluid type

abstract: The Special Relativity allows the possibility of a class of particles, known tachyons, that have spacelike 4-velocities, i.e., which move with velocity greater than speed of light in vacuum. In this existence frame, the tachyons have energy and momentum and they must contribute to the gravitational field through by the means of the energy-momentum tensor. The superluminal perfect fluid tensor is obtained assuming the framework Lagrangian formalism and spacelike 4-velocities flowlines of tachyons with energy density. The perfect fluid of tachyons gives rise a positive energy density and a form of negative pressure, which according to various cosmological theoretical results, it is associated with dark energy.


title: Generalised Proper Time and the Universal Bootstrap

abstract: The generalisation of proper time, as an alternative to models with extra dimensions of space, has been proposed as the source of the elementary structures of matter. Direct connections with the Standard Model of particle physics together with dark sector candidates can be attained in this manner, through the additional components and symmetry breaking pattern identified on extracting the substructure of the local 4-dimensional spacetime form. In this paper we focus more on the extended and global properties of the theory, both in relation to amalgamating gravity with quantum theory and to broader cosmological issues. Contrast will be made with both early S-matrix bootstrap models and more recent cosmological bootstrap techniques. With time playing a central role in the new theory we describe how a 'universal bootstrap' can be constructed and elaborate upon the implications.


title: A unified perspective on Poincar\'e and Galilei relativity: I. Special relativity

abstract: A semantic adjustment to what physicists mean by the terms `special relativity' and `general relativity' is suggested, which prompts a conceptual shift to a more unified perspective on physics governed by the Poincar\'e group and physics governed by the Galilei group. After exploring the limits of a unified perspective available in the setting of 4-dimensional spacetime, a particular central extension of the Poincar\'e group -- analogous to the Bargmann group that is a central extension of the Galilei group -- is presented that deepens a unified perspective on Poincar\'e and Galilei physics in a 5-dimensional spacetime setting. The immediate focus of this paper is classical physics on affine 4-dimensional and 5-dimensional spacetimes (`special relativity' as redefined here), including the electrodynamics that gave rise to Poincar\'e physics in the first place; but the results here may suggest the existence of a `Galilei general relativity' more extensive than generally known, to be pursued in the sequel.


title: Quantitative analysis of secondary Bjerkenes forces in various liquids

abstract: Numerically calculating the interaction forces between two free bubbles under the action of a background of random acoustic radiation, we highlight the contributions of radiative coefficient and absorption damping coefficient to the size of these forces.It is quantitatively demonstrated, for different radii of the oscillating bubbles, that the scattering absorption forces and the scattering scattering forces are close in magnitude.For superfluid helium, the forces change direction, oscillatingly, and the ratio of the forces is much less than one.


title: Some spin textures relevant to magnetic moments in the octonion spaces

abstract: The paper aims to apply the octonions to explore the contribution of some influence factors to magnetic moments, revealing the connection among the influence factors and spin texture. J. C. Maxwell was the first to introduce the quaternions to describe the electromagnetic theory. The subsequent scholars utilize the quaternions and octonions to study the gravitational and electromagnetic theories and so forth. The paper adopts the octonions to research the gravitational and electromagnetic fields, including the octonion angular momentum, torque, and force and so on. When the octonion force is equal to zero under some circumstances, it is able to achieve eight equations independent of each other. In particular, one of eight independent equations reveals the interrelation between the second-torque and the divergence of magnetic moments. One of its deductions is that the directions, magnitudes and frequencies of some terms are capable of impacting the orientation and vortex of magnetic moments, altering the frequency of magnetic vortex clusters. It means that the spin textures are relevant to some external influence factors. Some terms may have an influence on the arrangements of spin textures. The study will be helpful for understanding the physical properties of magnetic skyrmions and merons.


title: Filtered Calculus and crossed products by R-actions

abstract: We show an isomorphism between the kernel of the C*-algebra of the tangent groupoid of a filtered manifold and the crossed product of the order 0 pseudodifferential operators in the associated filtered calculus by a natural R-action. This isomorphism is constructed in the same way as in the classical pseudodifferential calculus by Debord and Skandalis. The proof however relies on a structure result for the C*-algebra of graded nilpotent Lie groups which did not appear in the commutative case. A consequence of this structure result is a decomposition of the principal symbol algebra, generalizing the decomposition of Epstein and Melrose in the case of contact manifolds.