title: Production of doubly charmed hadron $\Xi_{cc}^{++}$ and $T_{cc}^+$ in relativistic heavy ion collisions

abstract: Heavy ion collisions provide a unique opportunity for studying the properties of exotic hadrons with two charm quarks. The production of $T_{cc}^+$ is significantly enhanced in nuclear collisions compared to proton-proton collisions due to the creation of multiple charm pairs. In this study, we employ the Langevin equation in combination with the Instantaneous Coalescence Model (LICM) to investigate the production of $T_{cc}^+$ and $\Xi_{cc}^{++}$ which consists of two charm quarks. We consider $T_{cc}^+$ as molecular states composed of $D$ and $D^*$ mesons. The Langevin equation is used to calculate the energy loss of charm quarks and $D$ mesons in the hot medium. The hadronization process, where charm quarks transform into each $D$ state as constituents of $T_{cc}^+$ production, is described using the coalescence model. The coalescence probability between $D$ and $D^*$ is determined by the Wigner function, which encodes the information of the $T_{cc}^+$ wave function. Our results show that the $T_{cc}^+$ production varies by approximately one order of magnitude when different widths in the Wigner function, representing distinct binding energies of $T_{cc}^+$, are considered. This variation offers valuable insights into the nature of $T_{cc}^+$ through the analysis of its wave function. The $\Xi_{cc}^{++}$ is treated as a hadronic state produced at the hadronization of the deconfined matter. Its production is also calculated as a comparison with the molecular state $T_{cc}^+$.


title: Fast time-stepping discontinuous Galerkin method for the subdiffusion equation

abstract: The nonlocality of the fractional operator causes numerical difficulties for long time computation of the time-fractional evolution equations. This paper develops a high-order fast time-stepping discontinuous Galerkin finite element method for the time-fractional diffusion equations, which saves storage and computational time. The optimal error estimate $O(N^{-p-1} + h^{m+1} + \varepsilon N^{r\alpha})$ of the current time-stepping discontinuous Galerkin method is rigorous proved, where $N$ denotes the number of time intervals, $p$ is the degree of polynomial approximation on each time subinterval, $h$ is the maximum space step, $r\ge1$, $m$ is the order of finite element space, and $\varepsilon>0$ can be arbitrarily small. Numerical simulations verify the theoretical analysis.


title: Mass density vs. energy density at cosmological scales

abstract: In the presence of the gravitational field, the energy density of matter no longer coincides with its mass density. A discrepancy exists, of course, also between the associated power spectra. Within the $\Lambda$CDM model, we derive a formula that relates the power spectrum of the energy density to that of the mass density and test it with the help of N-body simulations run in comoving boxes of 2.816 Gpc/$h$. The results confirm the validity of the derived formula and simultaneously show that the power spectra diverge significantly from one another at large cosmological scales.


title: Maximal Cliques in Scale-Free Random Graphs

abstract: We investigate the number of maximal cliques, i.e., cliques that are not contained in any larger clique, in three network models: Erd\H{o}s-R\'enyi random graphs, inhomogeneous random graphs (also called Chung-Lu graphs), and geometric inhomogeneous random graphs. For sparse and not-too-dense Erd\H{o}s-R\'enyi graphs, we give linear and polynomial upper bounds on the number of maximal cliques. For the dense regime, we give super-polynomial and even exponential lower bounds. Although (geometric) inhomogeneous random graphs are sparse, we give super-polynomial lower bounds for these models. This comes form the fact that these graphs have a power-law degree distribution, which leads to a dense subgraph in which we find many maximal cliques. These lower bounds seem to contradict previous empirical evidence that (geometric) inhomogeneous random graphs have only few maximal cliques. We resolve this contradiction by providing experiments indicating that, even for large networks, the linear lower-order terms dominate, before the super-polynomial asymptotic behavior kicks in only for networks of extreme size.


title: Measurement of Charge State Distributions using a Scintillation Screen

abstract: Absolute cross sections measured using electromagnetic devices to separate and detect heavy recoiling ions need to be corrected for charge state fractions. Accurate prediction of charge state distributions using theoretical models is not always a possibility, especially in energy and mass regions where data is sparse. As such, it is often necessary to measure charge state fractions directly. In this paper we present a novel method of using a scintillation screen along with a CMOS camera to image the charge dispersed beam after a set of magnetic dipoles. A measurement of the charge state distribution for 88Sr passing through a natural carbon foil is performed. Using a Bayesian model to extract statistically meaningful uncertainties from these images, we find agreement between the new method and a more traditional method using Faraday cups. Future work is need to better understand systematic uncertainties. Our technique offers a viable method to measure charge state distributions.


title: Macroscopic Quantum Response to Gravitational Waves

abstract: We study the excitation of a one-electron quantum cyclotron by gravitational waves. The electron in such as a penning trap is prepared to be at the lowest Landau level, which has an infinite degeneracy parameterized by the size of the wave function. We find that the excitation rate from the ground state to the first excited state is enhanced by the size of the electron wave function: an electron with a larger wave function feels gravitational waves more. As a consequence, we derive a good sensitivity to gravitational waves at a macroscopic one-electron quantum cyclotron.


title: Counting triangles in regular graphs

abstract: In this paper, we investigate the minimum number of triangles, denoted by $t(n,k)$, in $n$-vertex $k$-regular graphs, where $n$ is an odd integer and $k$ is an even integer. The well-known Andr\'asfai-Erd\H{o}s-S\'os Theorem has established that $t(n,k)>0$ if $k>\frac{2n}{5}$. In a striking work, Lo has provided the exact value of $t(n,k)$ for sufficiently large $n$, given that $\frac{2n}{5}+\frac{12\sqrt{n}}{5}<k<\frac{n}{2}$. Here, we bridge the gap between the aforementioned results by determining the precise value of $t(n,k)$ in the entire range $\frac{2n}{5}<k<\frac{n}{2}$. This confirms a conjecture of Cambie, de Joannis de Verclos, and Kang for sufficiently large $n$.


title: An Offline Learning Approach to Propagator Models

abstract: We consider an offline learning problem for an agent who first estimates an unknown price impact kernel from a static dataset, and then designs strategies to liquidate a risky asset while creating transient price impact. We propose a novel approach for a nonparametric estimation of the propagator from a dataset containing correlated price trajectories, trading signals and metaorders. We quantify the accuracy of the estimated propagator using a metric which depends explicitly on the dataset. We show that a trader who tries to minimise her execution costs by using a greedy strategy purely based on the estimated propagator will encounter suboptimality due to so-called spurious correlation between the trading strategy and the estimator and due to intrinsic uncertainty resulting from a biased cost functional. By adopting an offline reinforcement learning approach, we introduce a pessimistic loss functional taking the uncertainty of the estimated propagator into account, with an optimiser which eliminates the spurious correlation, and derive an asymptotically optimal bound on the execution costs even without precise information on the true propagator. Numerical experiments are included to demonstrate the effectiveness of the proposed propagator estimator and the pessimistic trading strategy.

categories: math.OC math.PR q-fin.ST q-fin.TR stat.ML


title: Continual Evidential Deep Learning for Out-of-Distribution Detection

abstract: Uncertainty-based deep learning models have attracted a great deal of interest for their ability to provide accurate and reliable predictions. Evidential deep learning stands out achieving remarkable performance in detecting out-of-distribution (OOD) data with a single deterministic neural network. Motivated by this fact, in this paper we propose the integration of an evidential deep learning method into a continual learning framework in order to perform simultaneously incremental object classification and OOD detection. Moreover, we analyze the ability of vacuity and dissonance to differentiate between in-distribution data belonging to old classes and OOD data. The proposed method, called CEDL, is evaluated on CIFAR-100 considering two settings consisting of 5 and 10 tasks, respectively. From the obtained results, we could appreciate that the proposed method, in addition to provide comparable results in object classification with respect to the baseline, largely outperforms OOD detection compared to several posthoc methods on three evaluation metrics: AUROC, AUPR and FPR95.


title: Mapper of the IGM spin temperature: instrument overview

abstract: The observation of the global 21 cm signal produced by neutral hydrogen gas in the intergalactic medium (IGM) during the Dark Ages, Cosmic Dawn, and Epoch of Reionization requires measurements with extremely well-calibrated wideband radiometers. We describe the design and characterization of the Mapper of the IGM Spin Temperature (MIST), which is a new ground-based, single-antenna, global 21 cm experiment. The design of MIST was guided by the objectives of avoiding systematics from an antenna ground plane and cables around the antenna, as well as maximizing the instrument's on-sky efficiency and portability for operations at remote sites. We have built two MIST instruments, which observe in the range 25-105 MHz. For the 21 cm signal, this frequency range approximately corresponds to redshifts 55.5 > z > 12.5, encompassing the Dark Ages and Cosmic Dawn. The MIST antenna is a horizontal blade dipole of 2.42 m in length, 60 cm in width, and 52 cm in height above the ground. This antenna operates without a metal ground plane. The instruments run on 12 V batteries and have a maximum power consumption of 17 W. The batteries and electronics are contained in a single receiver box located under the antenna. We present the characterization of the instruments using electromagnetic simulations and lab measurements. We also show sample sky measurements from recent observations at remote sites in California, Nevada, and the Canadian High Arctic. These measurements indicate that the instruments perform as expected. Detailed analyses of the sky measurements are left for future work.


title: Multi-log grasping using reinforcement learning and virtual visual servoing

abstract: We explore multi-log grasping using reinforcement learning and virtual visual servoing for automated forwarding in a simulated environment. Automation of forest processes is a major challenge, and many techniques regarding robot control pose different challenges due to the unstructured and harsh outdoor environment. Grasping multiple logs involves various problems of dynamics and path planning, where understanding the interaction between the grapple, logs, terrain, and obstacles requires visual information. To address these challenges, we separate image segmentation from crane control and utilise a virtual camera to provide an image stream from reconstructed 3D data. We use Cartesian control to simplify domain transfer to real-world applications. Since log piles are static, visual servoing using a 3D reconstruction of the pile and its surroundings is equivalent to using real camera data until the point of grasping. This relaxes the limits on computational resources and time for the challenge of image segmentation and allows for collecting data in situations where the log piles are not occluded. The disadvantage is the lack of information during grasping. We demonstrate that this problem is manageable and present an agent that is 95% successful in picking one or several logs from challenging piles of 2--5 logs.


title: Multilevel Particle Filters for a Class of Partially Observed Piecewise Deterministic Markov Processes

abstract: In this paper we consider the filtering of a class of partially observed piecewise deterministic Markov processes (PDMPs). In particular, we assume that an ordinary differential equation (ODE) drives the deterministic element and can only be solved numerically via a time discretization. We develop, based upon the approach in [20], a new particle and multilevel particle filter (MLPF) in order to approximate the filter associated to the discretized ODE. We provide a bound on the mean square error associated to the MLPF which provides guidance on setting the simulation parameter of that algorithm and implies that significant computational gains can be obtained versus using a particle filter. Our theoretical claims are confirmed in several numerical examples.


title: Vote2Cap-DETR++: Decoupling Localization and Describing for End-to-End 3D Dense Captioning

abstract: 3D dense captioning requires a model to translate its understanding of an input 3D scene into several captions associated with different object regions. Existing methods adopt a sophisticated "detect-then-describe" pipeline, which builds explicit relation modules upon a 3D detector with numerous hand-crafted components. While these methods have achieved initial success, the cascade pipeline tends to accumulate errors because of duplicated and inaccurate box estimations and messy 3D scenes. In this paper, we first propose Vote2Cap-DETR, a simple-yet-effective transformer framework that decouples the decoding process of caption generation and object localization through parallel decoding. Moreover, we argue that object localization and description generation require different levels of scene understanding, which could be challenging for a shared set of queries to capture. To this end, we propose an advanced version, Vote2Cap-DETR++, which decouples the queries into localization and caption queries to capture task-specific features. Additionally, we introduce the iterative spatial refinement strategy to vote queries for faster convergence and better localization performance. We also insert additional spatial information to the caption head for more accurate descriptions. Without bells and whistles, extensive experiments on two commonly used datasets, ScanRefer and Nr3D, demonstrate Vote2Cap-DETR and Vote2Cap-DETR++ surpass conventional "detect-then-describe" methods by a large margin. Codes will be made available at https://github.com/ch3cook-fdu/Vote2Cap-DETR.


title: A search for the afterglows, kilonovae, and host galaxies of two short GRBs: GRB 211106A and GRB 211227A

abstract: Context: GRB 211106A and GRB 211227A are recent gamma-ray bursts (GRBs) with initial X-ray positions suggesting associations with nearby galaxies (z < 0.7). Their prompt emission characteristics indicate GRB 211106A is a short-duration GRB and GRB 211227A is a short GRB with extended emission, likely originating from compact binary mergers. However, classifying solely based on prompt emission can be misleading. Aims: These short GRBs in the local Universe offer opportunities to search for associated kilonova (KN) emission and study host galaxy properties in detail. Methods: We conducted deep optical and NIR follow-up using ESO-VLT FORS2, HAWK-I, and MUSE for GRB 211106A, and ESO-VLT FORS2 and X-Shooter for GRB 211227A, starting shortly after the X-ray afterglow detection. We performed photometric analysis to look for afterglow and KN emissions associated with the bursts, along with host galaxy imaging and spectroscopy. Optical/NIR results were compared with Swift X-Ray Telescope (XRT) and other high-energy data. Results: For both GRBs we placed deep limits to the optical/NIR afterglow and KN emission. Host galaxies were identified: GRB 211106A at photometric z = 0.64 and GRB 211227A at spectroscopic z = 0.228. Host galaxy properties aligned with typical short GRB hosts. We also compared the properties of the bursts with the S-BAT4 sample to further examined the nature of these events. Conclusions: Study of prompt and afterglow phases, along with host galaxy analysis, confirms GRB 211106A as a short GRB and GRB 211227A as a short GRB with extended emission. The absence of optical/NIR counterparts is likely due to local extinction for GRB 211106A and a faint kilonova for GRB 211227A.


title: Traceless Texture of Neutrino Mass Matrix

abstract: We study a neutrino mass matrix texture characterized by a vanishing trace. We highlight the role played by the phases, physical and non-physical, and undergo a thorough phenomenological analysis, first (second) when the non-physical (CP) phases are vanishing, then move on to the general case where all phases exist. Finally we present a theoretical realization of the texture based on $A_5$ non-abelian flavor symmetry.


title: A New Way to Look at Regional Survey Data: Differences in Vacancy Rates and Persons per Household by County, 2000-2005

abstract: Regional survey estimates and their significance levels are simultaneously displayed in maps that show all 3,141 U.S. counties and equivalents. An analyst can focus his attention on significant differences (or those with a different, low-valued uncertainty measure) for all but the very smallest counties. Differences between Census 2000 and the 2005 American Community Survey values are shown.


title: Proofs for the New Definitions in Financial Markets

abstract: Constructing theorems can help to determine the shape of certain utility curves that make up the new definitions in financial markets. The aim of this study was to present proofs for these theorems. Basic thoughts of new alternative definitions emerge from the decision-making under uncertainty in economics and finance. Shape of the certain utility curve is central to standard definitions in determining risk attitudes of investors. Shape alone determines risk behavior of investors in standard theory. Although the terms risk-averse, risk-loving, and risk-neutral are equivalent to strict concavity, strict convexity, and linearity, respectively, in standard theory, strict concavity or strict convexity, or linearity are valid for certain new definitions, not being the same as standard theory. Hence, it can be stated that new alternative definitions are broader than standard definitions from the viewpoint of shape. For instance, the certain utility curve of a risk-averse investor can be strictly concave or strictly convex, or linear in alternative definitions.


title: A Theoretical Explanation of Activation Sparsity through Flat Minima and Adversarial Robustness

abstract: A recent empirical observation (Li et al., 2022b) of activation sparsity in MLP blocks offers an opportunity to drastically reduce computation costs for free. Although having attributed it to training dynamics, existing theoretical explanations of activation sparsity are restricted to shallow networks, small training steps and special training, despite its emergence in deep models standardly trained for a large number of steps. To fill these gaps, we propose the notion of gradient sparsity as one source of activation sparsity and a theoretical explanation based on it that sees sparsity a necessary step to adversarial robustness w.r.t. hidden features and parameters, which is approximately the flatness of minima for well-learned models. The theory applies to standardly trained LayerNorm-ed MLPs, and further to Transformers or other architectures trained with weight noises. Eliminating other sources of flatness except for sparsity, we discover the phenomenon that the ratio between the largest and smallest non-zero singular values of weight matrices is small. When discussing the emergence of this spectral concentration, we use random matrix theory (RMT) as a powerful tool to analyze stochastic gradient noises. Validational experiments are conducted to verify our gradient-sparsity-based explanation. We propose two plug-and-play modules for both training and finetuning for sparsity. Experiments on ImageNet-1k and C4 demonstrate their 50% sparsity improvements, indicating further potential cost reduction in both training and inference.


title: On multi-step extended maximum residual Kaczmarz method for solving large inconsistent linear systems

abstract: A multi-step extended maximum residual Kaczmarz method is presented for the solution of the large inconsistent linear system of equations by using the multi-step iterations technique. Theoretical analysis proves the proposed method is convergent and gives an upper bound on its convergence rate. Numerical experiments show that the proposed method is effective and outperforms the existing extended Kaczmarz methods in terms of the number of iteration steps and the computational costs.


title: Fuzz on the Beach: Fuzzing Solana Smart Contracts

abstract: Solana has quickly emerged as a popular platform for building decentralized applications (DApps), such as marketplaces for non-fungible tokens (NFTs). A key reason for its success are Solana's low transaction fees and high performance, which is achieved in part due to its stateless programming model. Although the literature features extensive tooling support for smart contract security, current solutions are largely tailored for the Ethereum Virtual Machine. Unfortunately, the very stateless nature of Solana's execution environment introduces novel attack patterns specific to Solana requiring a rethinking for building vulnerability analysis methods. In this paper, we address this gap and propose FuzzDelSol, the first binary-only coverage-guided fuzzing architecture for Solana smart contracts. FuzzDelSol faithfully models runtime specifics such as smart contract interactions. Moreover, since source code is not available for the large majority of Solana contracts, FuzzDelSol operates on the contract's binary code. Hence, due to the lack of semantic information, we carefully extracted low-level program and state information to develop a diverse set of bug oracles covering all major bug classes in Solana. Our extensive evaluation on 6049 smart contracts shows that FuzzDelSol's bug oracles find bugs with a high precision and recall. To the best of our knowledge, this is the largest evaluation of the security landscape on the Solana mainnet.


title: Prospects for combined analyses of hadronic emission from $\gamma$-ray sources in the Milky Way with CTA and KM3NeT

abstract: The Cherenkov Telescope Array and the KM3NeT neutrino telescopes are major upcoming facilities in the fields of $\gamma$-ray and neutrino astronomy, respectively. Possible simultaneous production of $\gamma$ rays and neutrinos in astrophysical accelerators of cosmic-ray nuclei motivates a combination of their data. We assess the potential of a combined analysis of CTA and KM3NeT data to determine the contribution of hadronic emission processes in known Galactic $\gamma$-ray emitters, comparing this result to the cases of two separate analyses. In doing so, we demonstrate the capability of Gammapy, an open-source software package for the analysis of $\gamma$-ray data, to also process data from neutrino telescopes. For a selection of prototypical $\gamma$-ray sources within our Galaxy, we obtain models for primary proton and electron spectra in the hadronic and leptonic emission scenario, respectively, by fitting published $\gamma$-ray spectra. Using these models and instrument response functions for both detectors, we employ the Gammapy package to generate pseudo data sets, where we assume 200 hours of CTA observations and 10 years of KM3NeT detector operation. We then apply a three-dimensional binned likelihood analysis to these data sets, separately for each instrument and jointly for both. We find that the largest benefit of the combined analysis lies in the possibility of a consistent modelling of the $\gamma$-ray and neutrino emission. Assuming a purely leptonic scenario as input, we obtain, for the most favourable source, an average expected 68% credible interval that constrains the contribution of hadronic processes to the observed $\gamma$-ray emission to below 15%.


title: Sparse 3D Reconstruction via Object-Centric Ray Sampling

abstract: We propose a novel method for 3D object reconstruction from a sparse set of views captured from a 360-degree calibrated camera rig. We represent the object surface through a hybrid model that uses both an MLP-based neural representation and a triangle mesh. A key contribution in our work is a novel object-centric sampling scheme of the neural representation, where rays are shared among all views. This efficiently concentrates and reduces the number of samples used to update the neural model at each iteration. This sampling scheme relies on the mesh representation to ensure also that samples are well-distributed along its normals. The rendering is then performed efficiently by a differentiable renderer. We demonstrate that this sampling scheme results in a more effective training of the neural representation, does not require the additional supervision of segmentation masks, yields state of the art 3D reconstructions, and works with sparse views on the Google's Scanned Objects, Tank and Temples and MVMC Car datasets. Code available at: https://github.com/llukmancerkezi/ROSTER


title: Doppler confirmation of TESS planet candidate TOI1408.01: grazing transit and likely eccentric orbit

abstract: We report an independent Doppler confirmation of the TESS planet candidate orbiting an F-type main sequence star TOI-1408 located 140 pc away. We present a set of radial velocities obtained with a high-resolution fiber-optic spectrograph FFOREST mounted at the SAO RAS 6-m telescope (BTA-6). Our self-consistent analysis of these Doppler data and TESS photometry suggests a grazing transit such that the planet obscures its host star by only a portion of the visible disc. Because of this degeneracy, the radius of TOI-1408.01 appears ill-determined with lower limit about $\sim$1 R$_{\rm Jup}$, significantly larger than in the current TESS solution. We also derive the planet mass of $1.69\pm0.20$~$M_{\rm Jup}$ and the orbital period $\sim4.425$ days, thus making this object a typical hot Jupiter, but with a significant orbital eccentricity of $0.259\pm0.026$. Our solution may suggest the planet is likely to experience a high tidal eccentricity migration at the stage of intense orbital rounding, or may indicate possible presence of other unseen companions in the system, yet to be detected.


title: Topological Quantum Computation on a Chiral Kondo Chain

abstract: We describe the chiral Kondo chain model based on the symplectic Kondo effect and demonstrate that it has a quantum critical ground state populated by non-Abelian anyons. We show that the fusion channel of two arbitrary anyons can be detected by locally coupling the two anyons to an extra single channel of chiral current and measuring the corresponding conductance at finite frequency. Based on such measurements, we propose that the chiral Kondo chain model with symplectic symmetry can be used for implementation of measurement-only topological quantum computations, and it possesses a number of distinct features favorable for such applications. The sources and effects of errors in the proposed system are analyzed, and possible material realizations are discussed.


title: X-ray eruptions every 22 days from the nucleus of a nearby galaxy

abstract: Galactic nuclei showing recurrent phases of activity and quiescence have recently been discovered, with recurrence times as short as a few hours to a day -- known as quasi-periodic X-ray eruption (QPE) sources -- to as long as hundreds to a thousand days for repeating nuclear transients (RNTs). Here we present a multi-wavelength overview of Swift J023017.0+283603 (hereafter Swift J0230+28), a source that exhibits repeating and quasi-periodic X-ray flares from the nucleus of a previously unremarkable galaxy at $\sim$ 165 Mpc, with a recurrence time of approximately 22 days, an intermediary timescale between known RNTs and QPE sources. The source also shows transient radio emission, likely associated with the X-ray emission. Such recurrent soft X-ray eruptions, with no accompanying UV/optical emission, are strikingly similar to QPE sources. However, in addition to having a recurrence time that is $\sim 25$ times longer than the longest-known QPE source, Swift J0230+28's eruptions exhibit somewhat distinct shapes and temperature evolution than the known QPE sources. Scenarios involving extreme mass ratio inspirals are favored over disk instability models. The source reveals an unexplored timescale for repeating extragalactic transients and highlights the need for a wide-field, time-domain X-ray mission to explore the parameter space of recurring X-ray transients.


title: Holographic superfluid with excited states

abstract: We construct a novel family of solutions of the holographic superfluid model with the excited states in the probe limit. We observe that the higher excited state or larger superfluid velocity will make the scalar hair more difficult to be developed, and the higher excited state or smaller mass of the scalar field makes it easier for the emergence of translating point from the second-order transition to the first-order one. We note that the difference of the critical chemical potential between the consecutive states increases as the superfluid velocity increases. Interestingly, the "Cave of Winds" phase structure will disappear but the first-order phase transition occurs for the excited states, which is completely different from the holographic superfluid model with the ground state. This means that the excited state will hinder the appearance of the Cave of Winds. Moreover, we find that there exist additional poles in Im[$\sigma(\omega)$] and delta functions in Re[$\sigma(\omega)$] arising at low temperature for the excited states, and the higher excited state or larger superfluid velocity results in the larger deviation from the expected relation in the gap frequency.


title: Evolution of capacity of entanglement and modular entropy in harmonic chains and scalar fields

abstract: We examine the temporal evolution of the modular entropy and capacity (in particular, the fluctuation of the entanglement entropy) for systems of time-dependent oscillators coupled by a (time-dependent) parameter. Such models, through the discretization procedure, fit into field theory problems arising from quench phenomena or non-static spacetimes. First, we compare the dynamics of the modular and Renyi entropies and derive the form of the modular capacity for the single time-dependent oscillator as well as chains with bipartite decompositions. In the latter case we analyse distinguished periodicities during the evolution and the role of various boundary conditions. Next, we focus on the dynamics of the capacity (fluctuation) of entanglement. We compare the results obtained with the predictions of quasiparticles models; in particular, we obtain a theoretical value of the initial slope of the capacity for abrupt quenches. We study also continuous protocols with the frequency that vanishes at plus (and minus) infinity, including a model in which the frequency tends to the Dirac delta. All the above issues are discussed with the emphasis on the analytical methods.


title: SymED: Adaptive and Online Symbolic Representation of Data on the Edge

abstract: The edge computing paradigm helps handle the Internet of Things (IoT) generated data in proximity to its source. Challenges occur in transferring, storing, and processing this rapidly growing amount of data on resource-constrained edge devices. Symbolic Representation (SR) algorithms are promising solutions to reduce the data size by converting actual raw data into symbols. Also, they allow data analytics (e.g., anomaly detection and trend prediction) directly on symbols, benefiting large classes of edge applications. However, existing SR algorithms are centralized in design and work offline with batch data, which is infeasible for real-time cases. We propose SymED - Symbolic Edge Data representation method, i.e., an online, adaptive, and distributed approach for symbolic representation of data on edge. SymED is based on the Adaptive Brownian Bridge-based Aggregation (ABBA), where we assume low-powered IoT devices do initial data compression (senders) and the more robust edge devices do the symbolic conversion (receivers). We evaluate SymED by measuring compression performance, reconstruction accuracy through Dynamic Time Warping (DTW) distance, and computational latency. The results show that SymED is able to (i) reduce the raw data with an average compression rate of 9.5%; (ii) keep a low reconstruction error of 13.25 in the DTW space; (iii) simultaneously provide real-time adaptability for online streaming IoT data at typical latencies of 42ms per symbol, reducing the overall network traffic.


title: Examining the position of building information modeling (BIM) technology in different dimensions of building smartness

abstract: Due to the fact that the construction industry is one of the high-risk industries, it is inevitable to pay sufficient attention to the safety category in this industry. Currently, due to the development of modern technologies, the traditional methods used in safety management have given way to the mentioned technologies. Therefore, the use of modern technologies such as BIM can be a practical step in reducing financial losses while increasing productivity. The purpose of this research is to investigate the role and place of using building information modeling in different sectors, such as improving smartness, and safety, and its application in reducing energy consumption. Considering that a significant share of the capital of different countries is spent in the construction sector, it is necessary for the builders to seriously consider the vital factors affecting the success of the project. It is necessary to allocate resources appropriately to the activities, and at the same time, there should be proper coordination between different team members. This coordination is considered necessary for teamwork and will have major benefits in the process of implementing construction projects. Considering the special place of building information modeling technology in the construction industry and its remarkable advantages in this industry, facilitating the implementation process of the project, identifying interferences, and speeding up the implementation process, it is necessary to have different aspects of this technology. Furthermore, its role and position in the construction industry and its impact on building management should be investigated. Finally, the results obtained from this research show the positive impact of using building information modeling technology in risk management, safety, reducing energy consumption, and the possibility of intelligent project management.


title: Bell non-locality in two-mode Gaussian states revealed via local squeezing

abstract: Local unitary transforms cannot affect the quantum correlations between two systems sharing an entangled state although they do influence the outcomes of local measurements. By considering local squeezing operations we introduce an extended family of observables allowing violation of the CHSH Bell inequality for two-mode Gaussian systems. We show that local squeezing can enable or enhance the identification of non-local two-mode states. In particular, we show that local squeezing followed by photons/no-photons discrimination can suffice to reveal non-locality in a broad ensemble of pure and mixed two-mode Gaussian states.


title: Reducible Conformal Minimal Immersion with Constant Curvature from S^2 to Q_6

abstract: The geometry of conformal minimal two-spheres immersed in G(2,6;R) is studied in this paper by harmonic maps. Then in most cases, we determine the linearly full reducible conformal minimal immersions from S^2 to G(2,8;R) identified with the complex hyperquadric Q_6. We also give some examples, up to an isometry of G(2,8;R), in which none of the spheres are congruent, with the same Gaussian curvature.


title: Amortised Inference in Bayesian Neural Networks

abstract: Meta-learning is a framework in which machine learning models train over a set of datasets in order to produce predictions on new datasets at test time. Probabilistic meta-learning has received an abundance of attention from the research community in recent years, but a problem shared by many existing probabilistic meta-models is that they require a very large number of datasets in order to produce high-quality predictions with well-calibrated uncertainty estimates. In many applications, however, such quantities of data are simply not available. In this dissertation we present a significantly more data-efficient approach to probabilistic meta-learning through per-datapoint amortisation of inference in Bayesian neural networks, introducing the Amortised Pseudo-Observation Variational Inference Bayesian Neural Network (APOVI-BNN). First, we show that the approximate posteriors obtained under our amortised scheme are of similar or better quality to those obtained through traditional variational inference, despite the fact that the amortised inference is performed in a single forward pass. We then discuss how the APOVI-BNN may be viewed as a new member of the neural process family, motivating the use of neural process training objectives for potentially better predictive performance on complex problems as a result. Finally, we assess the predictive performance of the APOVI-BNN against other probabilistic meta-models in both a one-dimensional regression problem and in a significantly more complex image completion setting. In both cases, when the amount of training data is limited, our model is the best in its class.


title: Leveraging ASR Pretrained Conformers for Speaker Verification through Transfer Learning and Knowledge Distillation

abstract: This paper explores the use of ASR-pretrained Conformers for speaker verification, leveraging their strengths in modeling speech signals. We introduce three strategies: (1) Transfer learning to initialize the speaker embedding network, improving generalization and reducing overfitting. (2) Knowledge distillation to train a more flexible speaker verification model, incorporating frame-level ASR loss as an auxiliary task. (3) A lightweight speaker adaptor for efficient feature conversion without altering the original ASR Conformer, allowing parallel ASR and speaker verification. Experiments on VoxCeleb show significant improvements: transfer learning yields a 0.48% EER, knowledge distillation results in a 0.43% EER, and the speaker adaptor approach, with just an added 4.92M parameters to a 130.94M-parameter model, achieves a 0.57% EER. Overall, our methods effectively transfer ASR capabilities to speaker verification tasks.


title: SEAL: A Framework for Systematic Evaluation of Real-World Super-Resolution

abstract: Real-world Super-Resolution (Real-SR) methods focus on dealing with diverse real-world images and have attracted increasing attention in recent years. The key idea is to use a complex and high-order degradation model to mimic real-world degradations. Although they have achieved impressive results in various scenarios, they are faced with the obstacle of evaluation. Currently, these methods are only assessed by their average performance on a small set of degradation cases randomly selected from a large space, which fails to provide a comprehensive understanding of their overall performance and often yields inconsistent and potentially misleading results. To overcome the limitation in evaluation, we propose SEAL, a framework for systematic evaluation of real-SR. In particular, we cluster the extensive degradation space to create a set of representative degradation cases, which serves as a comprehensive test set. Next, we propose a coarse-to-fine evaluation protocol to measure the distributed and relative performance of real-SR methods on the test set. The protocol incorporates two new metrics: acceptance rate (AR) and relative performance ratio (RPR), derived from acceptance and excellence lines. Under SEAL, we benchmark existing real-SR methods, obtain new observations and insights into their performance, and develop a new strong baseline. We consider SEAL as the first step towards creating a comprehensive real-SR evaluation platform, which can promote the development of real-SR. The source code is available at https://github.com/XPixelGroup/SEAL


title: Cosmological Parameter Forecasts for a CMB-HD Survey

abstract: We present forecasts on cosmological parameters for a CMB-HD survey. For a $\Lambda$CDM + $N_{eff}$ + $\sum m_\nu$ model, we find $\sigma(n_s) = 0.0013$ and $\sigma(N_{eff}) = 0.014$ using CMB and CMB lensing multipoles in the range of $\ell \in [30, 20000]$, after adding anticipated residual foregrounds, delensing the acoustic peaks, and adding DESI BAO data. This is about a factor of two improvement in ability to probe inflation via $n_s$ compared to precursor CMB surveys. The $N_{eff}$ constraint can rule out light thermal particles back to the end of inflation with 95% CL; for example, it can rule out the QCD axion in a model-independent way assuming the Universe's reheating temperature was high enough that the axion thermalized. We find that delensing the acoustic peaks and adding DESI BAO tightens parameter constraints. We also find that baryonic effects can bias parameters if not marginalized over, and that uncertainties in baryonic effects can increase parameter error bars; however, the latter can be mitigated by including information about baryonic effects from kinetic and thermal Sunyaev-Zel'dovich measurements by CMB-HD. The CMB-HD likelihood and Fisher estimation codes used here are publicly available; the likelihood is integrated with Cobaya to facilitate parameter forecasting.


title: A Rigorous Study of Hawking Radiation on Collapsing Charged Spherically Symmetric Spacetimes

abstract: In this paper, we give a rigorous mathematical treatment of the late time Hawking radiation of massless bosons emitted by a class of collapsing, spherically symmetric, charged models of black hole formation, including both extremal and sub-extremal black holes. We will also prove a bound on the rate at which the radiation emitted approaches this late time limit. This includes an integrable decay rate of radiation emitted by extremal black holes, for which the late time limit vanishes. Thus, we show that the total expected quantity of any massless boson emitted by an extremal \RNS black hole is finite.


title: Universal Preprocessing Operators for Embedding Knowledge Graphs with Literals

abstract: Knowledge graph embeddings are dense numerical representations of entities in a knowledge graph (KG). While the majority of approaches concentrate only on relational information, i.e., relations between entities, fewer approaches exist which also take information about literal values (e.g., textual descriptions or numerical information) into account. Those which exist are typically tailored towards a particular modality of literal and a particular embedding method. In this paper, we propose a set of universal preprocessing operators which can be used to transform KGs with literals for numerical, temporal, textual, and image information, so that the transformed KGs can be embedded with any method. The results on the kgbench dataset with three different embedding methods show promising results.


title: From static to Vaidya solutions in scalar tensor theories

abstract: We consider some classes of Horndeski theories in four dimensions for which a certain combination of the Einstein equations within a spherical ansatz splits into two distinct branches. Recently, for these theories, some integrability and compatibility conditions have been established which have made it possible to obtain black hole solutions depending on a single integration constant identified as the mass. Here, we will show that these compatibility conditions can be generalized to accommodate a time dependence by promoting the constant mass to an arbitrary function of the retarded (advanced) time. As a direct consequence, we prove that all the static black hole solutions can be naturally promoted to non static Vaidya-like solutions. We extend this study in arbitrary higher dimensions where the pure gravity part is now described by the Lovelock theory and, where the scalar field action enjoyed the conformal invariance. For these theories, the splitting in two branches is also effective, and we show that their known static black hole solutions can as well be promoted to Vaidya-like solutions.


title: The Scattering Map on Collapsing Charged Spherically Symmetric Spacetimes

abstract: In this paper we generalise our previous results [1] concerning scattering on the exterior of collapsing dust clouds to the charged case, including in particular the extremal case. We analyse the energy boundedness of solutions $\phi$ to the wave equation on the exterior of collapsing spherically symmetric charged matter clouds. We then proceed to define the scattering map on this spacetime, and look at the implications of our boundedness results on this map. More specifically, we first construct a class of spherically symmetric charged collapsing matter cloud exteriors, and then consider solutions to the wave equation with Dirichlet (reflective) boundary conditions on the surface of these clouds. We then show that the energy of $\phi$ remains uniformly bounded going forwards or backwards in time, and that the scattering map is bounded going forwards but not backwards. Therefore, the scattering map is not surjective onto the space of finite energy on $\mathcal{I}^+\cup\mathcal{H}^+$. Thus there does not exist a backwards scattering map from finite energy radiation fields on $\mathcal{I}^+\cup\mathcal{H}^+$ to finite energy radiation fields on $\mathcal{I}^-$ for these models. These results will be used to give a treatment of Hawking radiation in a companion paper [2].


title: On envelopes of circle families in the plane

abstract: In this paper we investigate the relationships between envelopes of circle families and some special curves in the plane, such as evolutes, pedals, evolutoids and pedaloids.


title: Embedded unbounded order convergent sequences in topologically convergent nets in vector lattices

abstract: We show that, for a class of locally solid topologies on vector lattices, a topologically convergent net has an embedded sequence that is unbounded order convergent to the same limit. Our result implies, and often improves, many of the known results in this vein in the literature. A study of metrisability and submetrisability of locally solid topologies on vector lattices is included.


title: A high-performance deep reservoir computing experimentally demonstrated with ion-gating reservoirs

abstract: While physical reservoir computing (PRC) is a promising way to achieve low power consumption neuromorphic computing, its computational performance is still insufficient at a practical level. One promising approach to improving PRC performance is deep reservoir computing (deep-RC), in which the component reservoirs are multi-layered. However, all of the deep-RC schemes reported so far have been effective only for simulation reservoirs and limited PRCs, and there have been no reports of nanodevice implementations. Here, as the first nanodevice implementation of Deep-RC, we report a demonstration of deep physical reservoir computing using an ion gating reservoir (IGR), which is a small and high-performance physical reservoir. While previously reported Deep-RC scheme did not improve the performance of IGR, our Deep-IGR achieved a normalized mean squared error of 0.0092 on a second-order nonlinear autoregressive moving average task, with is the best performance of any physical reservoir so far reported. More importantly, the device outperformed full simulation reservoir computing. The dramatic performance improvement of the IGR with our deep-RC architecture paves the way for high-performance, large-scale, physical neural network devices.


title: Multiplicity and symmetry breaking for supercritical elliptic problems in exterior domains

abstract: We deal with the following semilinear equation in exterior domains \[-\Delta u + u = a(x)|u|^{p-2}u,\qquad u\in H^1_0({A_R}), \] where ${A_R} := \{x\in\mathbb{R}^N:\, |x|>{R}\}$, $N\ge 3$, $R>0$. Assuming that the weight $a$ is positive and satisfies some symmetry and monotonicity properties, we exhibit a positive solution having the same features as $a$, for values of $p>2$ in a suitable range that includes exponents greater than the standard Sobolev critical one. In the special case of radial weight $a$, our existence result ensures multiplicity of nonradial solutions. We also provide an existence result for supercritical $p$ in nonradial exterior domains.


title: Auxiliary free constructions for explicit embeddings of recursive groups

abstract: An auxiliary free construction based on HNN-extensions and on free product of groups with amalgamated subgroups is suggested, and some of its basic properties are displayed. This construction is a generalization for many of constructions used by Higman in embeddings of recursive groups into finitely presented groups, as well as for constructions we used in research on embeddings of recursive groups recently. Usage of this auxiliary technical construction simplifies some embedding methods for recursive groups. A few other results on specific subgroups of HNN-extensions of groups and of free product of groups with amalgamated subgroup are obtained.


title: MCM: Multi-condition Motion Synthesis Framework for Multi-scenario

abstract: The objective of the multi-condition human motion synthesis task is to incorporate diverse conditional inputs, encompassing various forms like text, music, speech, and more. This endows the task with the capability to adapt across multiple scenarios, ranging from text-to-motion and music-to-dance, among others. While existing research has primarily focused on single conditions, the multi-condition human motion generation remains underexplored. In this paper, we address these challenges by introducing MCM, a novel paradigm for motion synthesis that spans multiple scenarios under diverse conditions. The MCM framework is able to integrate with any DDPM-like diffusion model to accommodate multi-conditional information input while preserving its generative capabilities. Specifically, MCM employs two-branch architecture consisting of a main branch and a control branch. The control branch shares the same structure as the main branch and is initialized with the parameters of the main branch, effectively maintaining the generation ability of the main branch and supporting multi-condition input. We also introduce a Transformer-based diffusion model MWNet (DDPM-like) as our main branch that can capture the spatial complexity and inter-joint correlations in motion sequences through a channel-dimension self-attention module. Quantitative comparisons demonstrate that our approach achieves SoTA results in both text-to-motion and competitive results in music-to-dance tasks, comparable to task-specific methods. Furthermore, the qualitative evaluation shows that MCM not only streamlines the adaptation of methodologies originally designed for text-to-motion tasks to domains like music-to-dance and speech-to-gesture, eliminating the need for extensive network re-configurations but also enables effective multi-condition modal control, realizing "once trained is motion need".


title: Angle between two random segments

abstract: The study of "random segments" is a classic issue in geometrical probability, whose complexity depends on how it is defined. But in apparently simple models, the random behavior is not immediate. In the present manuscript the following setting is considered. Let four independent random points that follow a uniform distribution on the unit disk. Two random segments are built with them, which always are inside of the disk. We compute the density function of the angle between these two random segments when they intersect each other. This type of problem tends to be complex due to the high stochastic dependency that exists between the elements that form them. The expression obtained is in terms of integrals, however it allows us to understand the behavior of the distribution of the random angle between the two random segments.


title: Deep Learning for Polycystic Kidney Disease: Utilizing Neural Networks for Accurate and Early Detection through Gene Expression Analysis

abstract: With Polycystic Kidney Disease (PKD) potentially leading to fatal complications in patients due to the formation of cysts in kidneys, early detection of PKD is crucial for effective management of the condition. However, the various patient-specific factors that play a role in the diagnosis make it an intricate puzzle for clinicians to solve, leading to possible kidney failure. Therefore, in this study we aim to utilize a deep learning-based approach for early disease detection through gene expression analysis. The devised neural network is able to achieve accurate and robust prediction results for possible PKD in kidneys, thereby improving patient outcomes. Furthermore, by conducting a gene ontology analysis, we were able to predict the top gene processes and functions that PKD may affect.


title: On the triple pulsar profiles generated by ordinary mode

abstract: A detailed study of the refraction of an ordinary wave in the magnetosphere of radio pulsars was carried out. For this, a consistent theory of the generation of secondary particles was constructed, which essentially takes into account the dependence of the number density and the energy spectrum of secondary particles on the distance from the magnetic axis. This made it possible to determine with high accuracy the refraction of the ordinary O-mode in the central region of the outflowing plasma, which makes it possible to explain the central peak of three-humped mean radio profiles. As shown by detailed numerical calculations, in most cases it is possible to reproduce quite well the observed mean profiles of radio pulsars.


title: Optimized strategies for the quantum-state preparation of single trapped nitrogen molecular ions

abstract: This work examines optimized strategies for the preparation of single molecular ions in well-defined rotational quantum states in an ion trap with the example of the molecular nitrogen ion N2+. It advances a two-step approach consisting of an initial threshold-photoionization stage which produces molecular ions with a high probability in the target state, followed by a measurement-based state purification of the sample. For this purpose, a resonance-enhanced threshold photoionization scheme for producing N2+ in its rovibrational ground state proposed by Gardner et al. [Sci. Rep. 9, 506 (2019)] was characterized. The molecular state was measured using a recently developed quantum-non-demolition state-detection method finding a total fidelity of 38(7)% for producing ground-state N2+ under the present experimental conditions. By discarding ions from the trap not found to be in the target state, essentially state-pure samples of single N2+ ions can be generated for subsequent state-specific experiments.


title: An Efficient Temporary Deepfake Location Approach Based Embeddings for Partially Spoofed Audio Detection

abstract: Partially spoofed audio detection is a challenging task, lying in the need to accurately locate the authenticity of audio at the frame level. To address this issue, we propose a fine-grained partially spoofed audio detection method, namely Temporal Deepfake Location (TDL), which can effectively capture information of both features and locations. Specifically, our approach involves two novel parts: embedding similarity module and temporal convolution operation. To enhance the identification between the real and fake features, the embedding similarity module is designed to generate an embedding space that can separate the real frames from fake frames. To effectively concentrate on the position information, temporal convolution operation is proposed to calculate the frame-specific similarities among neighboring frames, and dynamically select informative neighbors to convolution. Extensive experiments show that our method outperform baseline models in ASVspoof2019 Partial Spoof dataset and demonstrate superior performance even in the crossdataset scenario.


title: A Micro-Macro parallel-in-time Implementation for the 2D Navier-Stokes Equations

abstract: In this paper the Micro-Macro Parareal algorithm was adapted to PDEs. The parallel-in-time approach requires two meshes of different spatial resolution in order to compute approximations in an iterative way to a predefined reference solution. When fast convergence in few iterations can be accomplished the algorithm is able to generate wall-time reduction in comparison to the serial computation. We chose the laminar flow around a cylinder benchmark on 2-dimensional domain which was simulated with the open-source software OpenFoam. The numerical experiments presented in this work aim to approximate states local in time and space and the diagnostic lift coefficient. The Reynolds number is gradually increased from 100 to 1,000, before the transition to turbulent flows sets in. After the results are presented the convergence behavior is discussed with respect to the Reynolds number and the applied interpolation schemes.


title: Cellular Wireless Networks in the Upper Mid-Band

abstract: The upper mid-band - roughly from 7 to 24 GHz - has attracted considerable recent interest for new cellular services. This frequency range has vastly more spectrum than the highly congested bands below 7 GHz while offering more favorable propagation and coverage than the millimeter wave (mmWave) frequencies. The upper mid-band can thus provide a powerful and complementary frequency range to balance coverage and capacity. Realizing the full potential of these bands, however, will require fundamental changes to the design of cellular systems. Most importantly, spectrum will likely need to be shared with incumbents including communication satellites, military RADAR, and radio astronomy. Also, the upper mid-band is simply a vast frequency range. Due to this wide bandwidth, combined with the directional nature of transmission and intermittent occupancy of incumbents, cellular systems will need to be agile to sense and intelligently use large spatial and frequency degrees of freedom. This paper attempts to provide an initial assessment of the feasibility and potential gains of wideband cellular systems operating in the upper mid-band. The study includes: (1) a system study to assess potential gains of multi-band systems in a representative dense urban environment and illustrate the value of wide band system with dynamic frequency selectivity; (2) an evaluation of potential cross interference between satellites and terrestrial cellular services and interference nulling to reduce that interference; and (3) design and evaluation of a compact multi-band antenna array structure. Leveraging these preliminary results, we identify potential future research directions to realize next-generation systems in these frequencies.


title: Topological edge states in a Rydberg composite

abstract: We examine topological phases and symmetry-protected electronic edge states in the context of a Rydberg composite: a Rydberg atom interfaced with a structured arrangement of ground-state atoms. The electronic Hamiltonian of such a composite possesses a direct mapping to a tight-binding Hamiltonian, which enables the realization and study of a variety of systems with non-trivial topology by tuning the arrangement of ground-state atoms and the excitation of the Rydberg atom. The Rydberg electron moves in a combined potential including the long-ranged Coulomb interaction with the Rydberg core and short-ranged interactions with each neutral atom; the effective interactions between sites are determined by this combination. We first confirm the existence of topologically-protected edge states in a Rydberg composite by mapping it to the paradigmatic Su-Schrieffer-Heeger dimer model. Following that, we study more complicated systems with trimer unit cells which can be easily simulated with a Rydberg composite.


title: Automated CVE Analysis for Threat Prioritization and Impact Prediction

abstract: The Common Vulnerabilities and Exposures (CVE) are pivotal information for proactive cybersecurity measures, including service patching, security hardening, and more. However, CVEs typically offer low-level, product-oriented descriptions of publicly disclosed cybersecurity vulnerabilities, often lacking the essential attack semantic information required for comprehensive weakness characterization and threat impact estimation. This critical insight is essential for CVE prioritization and the identification of potential countermeasures, particularly when dealing with a large number of CVEs. Current industry practices involve manual evaluation of CVEs to assess their attack severities using the Common Vulnerability Scoring System (CVSS) and mapping them to Common Weakness Enumeration (CWE) for potential mitigation identification. Unfortunately, this manual analysis presents a major bottleneck in the vulnerability analysis process, leading to slowdowns in proactive cybersecurity efforts and the potential for inaccuracies due to human errors. In this research, we introduce our novel predictive model and tool (called CVEDrill) which revolutionizes CVE analysis and threat prioritization. CVEDrill accurately estimates the CVSS vector for precise threat mitigation and priority ranking and seamlessly automates the classification of CVEs into the appropriate CWE hierarchy classes. By harnessing CVEDrill, organizations can now implement cybersecurity countermeasure mitigation with unparalleled accuracy and timeliness, surpassing in this domain the capabilities of state-of-the-art tools like ChaptGPT.


title: A Refutation of Shapley Values for Explainability

abstract: Recent work demonstrated the existence of Boolean functions for which Shapley values provide misleading information about the relative importance of features in rule-based explanations. Such misleading information was broadly categorized into a number of possible issues. Each of those issues relates with features being relevant or irrelevant for a prediction, and all are significant regarding the inadequacy of Shapley values for rule-based explainability. This earlier work devised a brute-force approach to identify Boolean functions, defined on small numbers of features, and also associated instances, which displayed such inadequacy-revealing issues, and so served as evidence to the inadequacy of Shapley values for rule-based explainability. However, an outstanding question is how frequently such inadequacy-revealing issues can occur for Boolean functions with arbitrary large numbers of features. It is plain that a brute-force approach would be unlikely to provide insights on how to tackle this question. This paper answers the above question by proving that, for any number of features, there exist Boolean functions that exhibit one or more inadequacy-revealing issues, thereby contributing decisive arguments against the use of Shapley values as the theoretical underpinning of feature-attribution methods in explainability.


title: Reduced dynamics of a PT-symmetric evolution

abstract: Evolutions under non-Hermitian Hamiltonians with unbroken PT-symmetry can be considered unitary under appropriate choices of inner products, facilitated by the so-called metric operator. While it is understood that the choice of the metric operator has no bearing on the description of the system, in this work we show that this choice does dictate the properties of the subsystem. Subsystem dynamics therefore does depend on the choice of the metric. We argue that this result is a reformulation of the previously known result that the set of observables, chosen to characterize the state, determines its decomposition into subsystems. In this work we take a non-Hermitian PT-symmetric quantum walk with an internal and external degree of freedom to show this. The Hamiltonian of the quantum walk is chosen to not allow a metric operator with a tensor product structure over these subspaces. Under these constraints, we investigate the properties of the internal state of the system under different choices of the metric operator and show that properties like bipartite entanglement and non-Markovianity depend on the choice of the metric operator.


title: Numerical analysis of voltage-controlled magnetization switching operation in magnetic-topological-insulator-based devices

abstract: We theoretically investigate influences of electronic circuit delay, noise and temperature on write-error-rate (WER) in voltage-controlled magnetization switching operation of a magnetic-topological-insulator-based (MTI) device by means of the micromagnetic simulation. This device realizes magnetization switching via spin-orbit torque(SOT) and voltage-controlled magnetic anisotropy (VCMA) which originate from 2D-Dirac electronic structure. We reveal that the device operation is extremely robust against circuit delay and signal-to-noise ratio. We demonstrate that the WER on the order of approximately $10^{-4}$ or below is achieved around room temperature due to steep change in VCMA. Also, we show that the larger SOT improves thermal stability factor. This study provides a next perspective for developing voltage-driven spintronic devices with ultra-low power consumption.


title: Method-Level Bug Severity Prediction using Source Code Metrics and LLMs

abstract: In the past couple of decades, significant research efforts are devoted to the prediction of software bugs. However, most existing work in this domain treats all bugs the same, which is not the case in practice. It is important for a defect prediction method to estimate the severity of the identified bugs so that the higher-severity ones get immediate attention. In this study, we investigate source code metrics, source code representation using large language models (LLMs), and their combination in predicting bug severity labels of two prominent datasets. We leverage several source metrics at method-level granularity to train eight different machine-learning models. Our results suggest that Decision Tree and Random Forest models outperform other models regarding our several evaluation metrics. We then use the pre-trained CodeBERT LLM to study the source code representations' effectiveness in predicting bug severity. CodeBERT finetuning improves the bug severity prediction results significantly in the range of 29%-140% for several evaluation metrics, compared to the best classic prediction model on source code metric. Finally, we integrate source code metrics into CodeBERT as an additional input, using our two proposed architectures, which both enhance the CodeBERT model effectiveness.


title: An Evaluation of Software Sketches

abstract: This work presents a detailed evaluation of Rust (software) implementations of several popular sketching solutions, as well as recently proposed optimizations. We compare these solutions in terms of computational speed, memory consumption, and several approximation error metrics. Overall, we find a simple hashing based solution employed with the Nitro sampling technique [22] gives the best trade-off between memory, error and speed. Our findings also include some novel insights about how to best combine sampling with Counting Cuckoo filters depending on the application.


title: Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version)

abstract: Grove is a concurrent separation logic library for verifying distributed systems. Grove is the first to handle time-based leases, including their interaction with reconfiguration, crash recovery, thread-level concurrency, and unreliable networks. This paper uses Grove to verify several distributed system components written in Go, including GroveKV, a realistic distributed multi-threaded key-value store. GroveKV supports reconfiguration, primary/backup replication, and crash recovery, and uses leases to execute read-only requests on any replica. GroveKV achieves high performance (67-73% of Redis on a single core), scales with more cores and more backup replicas (achieving about 2x the throughput when going from 1 to 3 servers), and can safely execute reads while reconfiguring.


title: Combining pre-trained Vision Transformers and CIDER for Out Of Domain Detection

abstract: Out-of-domain (OOD) detection is a crucial component in industrial applications as it helps identify when a model encounters inputs that are outside the training distribution. Most industrial pipelines rely on pre-trained models for downstream tasks such as CNN or Vision Transformers. This paper investigates the performance of those models on the task of out-of-domain detection. Our experiments demonstrate that pre-trained transformers models achieve higher detection performance out of the box. Furthermore, we show that pre-trained ViT and CNNs can be combined with refinement methods such as CIDER to improve their OOD detection performance even more. Our results suggest that transformers are a promising approach for OOD detection and set a stronger baseline for this task in many contexts


title: Exploring Semantic Consistency in Unpaired Image Translation to Generate Data for Surgical Applications

abstract: In surgical computer vision applications, obtaining labeled training data is challenging due to data-privacy concerns and the need for expert annotation. Unpaired image-to-image translation techniques have been explored to automatically generate large annotated datasets by translating synthetic images to the realistic domain. However, preserving the structure and semantic consistency between the input and translated images presents significant challenges, mainly when there is a distributional mismatch in the semantic characteristics of the domains. This study empirically investigates unpaired image translation methods for generating suitable data in surgical applications, explicitly focusing on semantic consistency. We extensively evaluate various state-of-the-art image translation models on two challenging surgical datasets and downstream semantic segmentation tasks. We find that a simple combination of structural-similarity loss and contrastive learning yields the most promising results. Quantitatively, we show that the data generated with this approach yields higher semantic consistency and can be used more effectively as training data.The code is available at https://gitlab.com/nct_tso_public/constructs.


title: Adaptive Growth: Real-time CNN Layer Expansion

abstract: Deep Neural Networks (DNNs) have shown unparalleled achievements in numerous applications, reflecting their proficiency in managing vast data sets. Yet, their static structure limits their adaptability in ever-changing environments. This research presents a new algorithm that allows the convolutional layer of a Convolutional Neural Network (CNN) to dynamically evolve based on data input, while still being seamlessly integrated into existing DNNs. Instead of a rigid architecture, our approach iteratively introduces kernels to the convolutional layer, gauging its real-time response to varying data. This process is refined by evaluating the layer's capacity to discern image features, guiding its growth. Remarkably, our unsupervised method has outstripped its supervised counterparts across diverse datasets like MNIST, Fashion-MNIST, CIFAR-10, and CIFAR-100. It also showcases enhanced adaptability in transfer learning scenarios. By introducing a data-driven model scalability strategy, we are filling a void in deep learning, leading to more flexible and efficient DNNs suited for dynamic settings. Code:(https://github.com/YunjieZhu/Extensible-Convolutional-Layer-git-version).


title: On Relative Convex Sequences

abstract: In this paper, we introduce the concept of relative convex sequences and establish their fundamental properties, highlighting their similarities to those of convex sequences. Additionally, we prove new inequalities of the Lupas and Hermite-Hadamard-Fej\'er type for relative convex sequences. In certain cases, and as an application, we show how the concept of relative convexity can facilitate the derivation of new inequalities for convex sequences.


title: Feasibility of Local Trajectory Planning for Level-2+ Semi-autonomous Driving without Absolute Localization

abstract: Autonomous driving has long grappled with the need for precise absolute localization, making full autonomy elusive and raising the capital entry barriers for startups. This study delves into the feasibility of local trajectory planning for level-2+ (L2+) semi-autonomous vehicles without the dependence on accurate absolute localization. Instead, we emphasize the estimation of the pose change between consecutive planning frames from motion sensors and integration of relative locations of traffic objects to the local planning problem under the ego car's local coordinate system, therefore eliminating the need for an absolute localization. Without the availability of absolute localization for correction, the measurement errors of speed and yaw rate greatly affect the estimation accuracy of the relative pose change between frames. We proved that the feasibility/stability of the continuous planning problem under such motion sensor errors can be guaranteed at certain defined conditions. This was achieved by formulating it as a Lyapunov-stability analysis problem. Moreover, a simulation pipeline was developed to further validate the proposed local planning method. Simulations were conducted at two traffic scenes with different error settings for speed and yaw rate measurements. The results substantiate the proposed framework's functionality even under relatively inferior sensor errors. We also experiment the stability limits of the planned results under abnormally larger motion sensor errors. The results provide a good match to the previous theoretical analysis. Our findings suggested that precise absolute localization may not be the sole path to achieving reliable trajectory planning, eliminating the necessity for high-accuracy dual-antenna GPS as well as the high-fidelity maps for SLAM localization.


title: Dilation, Discrimination and Uhlmann's Theorem of Link Products of Quantum Channels

abstract: The study of quantum channels is the most fundamental theoretical problem in quantum information and quantum communication theory. The link product theory of quantum channels is an important tool for studying quantum networks. In this paper, we establish the Stinespring dilation theorem of the link product of quantum channels in two different ways, discuss the discrimination of quantum channels and show that the distinguishability can be improved by self-linking each quantum channel n times as n grows. We also find that the maximum value of Uhlmann's theorem can be achieved for diagonal channels.


title: An update on site search activities for SWGO

abstract: The Southern Wide-field Gamma-ray Observatory (SWGO) is a project by scientists and engineers from 14 countries and 78 institutions to design and build the first wide-field, ground-based gamma-ray observatory in the Southern Hemisphere, with high duty cycle and covering an energy range rom hundreds of GeV to the PeV scale. The observatory will cover the Southern sky and aims to map the Galaxy's large-scale emission, as well as detecting transient and variable phenomena. The host sites under consideration are at a minimum altitude of 4400 m.a.s.l. and comprise two types: flat plateaus of at least 1 km$^{2}$ for the installation of an array of tank-based water Cherenkov detectors (WCD), or large natural lakes for the direct deployment of WCD units. Four South American countries proposed excellent sites to host the observatory meeting these requirements. Argentina proposed two locations in the Salta province, Bolivia presented one site in Chacaltaya, Chile two locations within the Atacama Astronomical Park, and Peru two ground-based locations in the Arequipa district as well as lakes in the Cuzco region. The SWGO collaboration is currently conducting a site characterization study, gathering all the necessary information for site shortlisting and final site selection by the end of 2023. The process has reached the shortlisting phase, in which primary and backup sites for each country have been identified. The primary sites were visited by a team of experts from the collaboration, to investigate and validate the proposed site characteristics. Here we present an update on these site selection activities.


title: Fractional Particle and Sigma Model

abstract: We introduce a classical fractional particle model in $\mathbb{R}^{n}$, extending the Newtonian particle concept with the incorporation of the fractional Laplacian. A comprehensive discussion on kinetic properties, including linear momentum and kinetic energy, is provided. We further derive the equations of motion and discuss the symmetries of the system. The Green's function method is employed to solve the equations of motion in a general case. We illustrate the theory with three important examples: the free fractional particle, the fractional harmonic oscillator, and the charged fractional particle that interacts locally with the electromagnetic field. We use the results of the extension problem by Caffarelli and Silvestre, to construct the associated classical local sigma model for the fractional particle. The sigma model is then quantized using the canonical quantization method, and we compute the vacuum energy at the boundary.


title: Lagrangian supersaturation fluctuations at the cloud edge

abstract: Evaporation of cloud droplets accelerates when turbulence mixes dry air into the cloud, affecting droplet-size distributions in atmospheric clouds, combustion sprays, and jets of exhaled droplets. The challenge is to model local correlations between droplet numbers, sizes, and supersaturation, which determine supersaturation fluctuations along droplet paths (Lagrangian fluctuations). We derived a statistical model that accounts for these correlations. Its predictions are in quantitative agreement with results of direct numerical simulations, and it explains the key mechanisms at play.


title: In-plane dominant anisotropy stochastic magnetic tunnel junction for probabilistic computing: A Fokker-Planck study

abstract: Recently there is considerable interest to realize efficient and low-cost true random number generators (RNGs) for practical applications. One important way is through the use of bistable magnetic tunnel junctions (MTJs). Here we study the magnetization dynamics of an MTJ, with a focus to realize efficient random bit generation under the assumption that the orientation dependence of the energy of the nanomagnet is described by two perpendicular in-plane anisotropies. We find that a high rate of random bit generation is achievable away from the pure easy-axis situation by tuning a single parameter $H_z$ so that it is either (a) toward a barrierless-like single easy plane situation when $H_z$ reduces to zero, or (b) toward a stronger easy plane situation when $H_z$ becomes increasingly negative where transitions between low energy states are confined in the stronger easy plane that contains the saddle points. We find that the MTJs maintain their fast magnetization dynamical characteristics even in the presence of a magnetic field. Our findings provide a valuable guide to achieving efficient generation of probabilistic bits for applications in probabilistic computing.


title: Hide and Seek (HaS): A Lightweight Framework for Prompt Privacy Protection

abstract: Numerous companies have started offering services based on large language models (LLM), such as ChatGPT, which inevitably raises privacy concerns as users' prompts are exposed to the model provider. Previous research on secure reasoning using multi-party computation (MPC) has proven to be impractical for LLM applications due to its time-consuming and communication-intensive nature. While lightweight anonymization techniques can protect private information in prompts through substitution or masking, they fail to recover sensitive data replaced in the LLM-generated results. In this paper, we expand the application scenarios of anonymization techniques by training a small local model to de-anonymize the LLM's returned results with minimal computational overhead. We introduce the HaS framework, where "H(ide)" and "S(eek)" represent its two core processes: hiding private entities for anonymization and seeking private entities for de-anonymization, respectively. To quantitatively assess HaS's privacy protection performance, we propose both black-box and white-box adversarial models. Furthermore, we conduct experiments to evaluate HaS's usability in translation and classification tasks. The experimental findings demonstrate that the HaS framework achieves an optimal balance between privacy protection and utility.


title: Uncertainty Quantification in Deep Learning Based Kalman Filters

abstract: Various algorithms combine deep neural networks (DNNs) and Kalman filters (KFs) to learn from data to track in complex dynamics. Unlike classic KFs, DNN-based systems do not naturally provide the error covariance alongside their estimate, which is of great importance in some applications, e.g., navigation. To bridge this gap, in this work we study error covariance extraction in DNN-aided KFs. We examine three main approaches that are distinguished by the ability to associate internal features with meaningful KF quantities such as the Kalman gain (KG) and prior covariance. We identify the differences between these approaches in their requirements and their effect on the training of the system. Our numerical study demonstrates that the above approaches allow DNN-aided KFs to extract error covariance, with most accurate error prediction provided by model-based/data-driven designs.


title: Reconfigurable Intelligent Surface Aided Space Shift Keying With Imperfect CSI

abstract: In this paper, we investigate the performance of reconfigurable intelligent surface (RIS)-aided spatial shift keying (SSK) wireless communication systems with imperfect channel state information (CSI). Specifically, we study the average bit error probability (ABEP) of two RIS-SSK systems based on intelligent reflection and blind reflection modes. For the intelligent RIS-SSK scheme, we first derive the conditional pairwise error probability of the composite channel through maximum likelihood (ML) detection. Subsequently, we derive the probability density function of the combined channel. Due to the intricacies of the composite channel formulation, an exact closed-form ABEP expression is unattainable through direct derivation. To this end, we resort to employing the Gaussian-Chebyshev quadrature method to estimate the results. Additionally, we employ Q-function approximation to derive the non-exact closed-form expression in the presence of channel estimation errors. For the blind RIS-SSK scheme, we derive both closed-form ABEP expression and asymptotic ABEP expression with imperfect CSI by adopting the ML detector. To offer deeper insights, we explore the impact of discrete reflection phase shifts on the performance of the RIS-SSK system. Lastly, we extensively validate all the analytical derivations via Monte Carlo simulations.


title: CoLA: Exploiting Compositional Structure for Automatic and Efficient Numerical Linear Algebra

abstract: Many areas of machine learning and science involve large linear algebra problems, such as eigendecompositions, solving linear systems, computing matrix exponentials, and trace estimation. The matrices involved often have Kronecker, convolutional, block diagonal, sum, or product structure. In this paper, we propose a simple but general framework for large-scale linear algebra problems in machine learning, named CoLA (Compositional Linear Algebra). By combining a linear operator abstraction with compositional dispatch rules, CoLA automatically constructs memory and runtime efficient numerical algorithms. Moreover, CoLA provides memory efficient automatic differentiation, low precision computation, and GPU acceleration in both JAX and PyTorch, while also accommodating new objects, operations, and rules in downstream packages via multiple dispatch. CoLA can accelerate many algebraic operations, while making it easy to prototype matrix structures and algorithms, providing an appealing drop-in tool for virtually any computational effort that requires linear algebra. We showcase its efficacy across a broad range of applications, including partial differential equations, Gaussian processes, equivariant model construction, and unsupervised learning.


title: Learning Active Subspaces for Effective and Scalable Uncertainty Quantification in Deep Neural Networks

abstract: Bayesian inference for neural networks, or Bayesian deep learning, has the potential to provide well-calibrated predictions with quantified uncertainty and robustness. However, the main hurdle for Bayesian deep learning is its computational complexity due to the high dimensionality of the parameter space. In this work, we propose a novel scheme that addresses this limitation by constructing a low-dimensional subspace of the neural network parameters-referred to as an active subspace-by identifying the parameter directions that have the most significant influence on the output of the neural network. We demonstrate that the significantly reduced active subspace enables effective and scalable Bayesian inference via either Monte Carlo (MC) sampling methods, otherwise computationally intractable, or variational inference. Empirically, our approach provides reliable predictions with robust uncertainty estimates for various regression tasks.


title: Hydrodynamics of passive and active rods in a temperature gradient

abstract: Temperature plays a very important role in various biological processes like the evolution of life, as it is anticipated that early life existed in a very hot environment that eventually cooled down with time. In vitro experiments, conducted with various active matter systems in anisotropic temperature environments, show several interesting outcomes. Motivated by these experiments and some simulation results, we study the collective behavior of self-propelled hard rods with excluded volume interactions, moving on a substrate in two dimensions and subjected to a small but finite external temperature gradient. Using a coarse-grained hydrodynamic approach, we explore the behavior of the system in the steady state and the stability both in the passive and active limits.


title: Prompt-based Ingredient-Oriented All-in-One Image Restoration

abstract: Image restoration aims to recover the high-quality images from their degraded observations. Since most existing methods have been dedicated into single degradation removal, they may not yield optimal results on other types of degradations, which do not satisfy the applications in real world scenarios. In this paper, we propose a novel data ingredient-oriented approach that leverages prompt-based learning to enable a single model to efficiently tackle multiple image degradation tasks. Specifically, we utilize a encoder to capture features and introduce prompts with degradation-specific information to guide the decoder in adaptively recovering images affected by various degradations. In order to model the local invariant properties and non-local information for high-quality image restoration, we combined CNNs operations and Transformers. Simultaneously, we made several key designs in the Transformer blocks (multi-head rearranged attention with prompts and simple-gate feed-forward network) to reduce computational requirements and selectively determines what information should be persevered to facilitate efficient recovery of potentially sharp images. Furthermore, we incorporate a feature fusion mechanism further explores the multi-scale information to improve the aggregated features. The resulting tightly interlinked hierarchy architecture, named as CAPTNet, extensive experiments demonstrate that our method performs competitively to the state-of-the-art.


title: A Multimodal Analysis of Influencer Content on Twitter

abstract: Influencer marketing involves a wide range of strategies in which brands collaborate with popular content creators (i.e., influencers) to leverage their reach, trust, and impact on their audience to promote and endorse products or services. Because followers of influencers are more likely to buy a product after receiving an authentic product endorsement rather than an explicit direct product promotion, the line between personal opinions and commercial content promotion is frequently blurred. This makes automatic detection of regulatory compliance breaches related to influencer advertising (e.g., misleading advertising or hidden sponsorships) particularly difficult. In this work, we (1) introduce a new Twitter (now X) dataset consisting of 15,998 influencer posts mapped into commercial and non-commercial categories for assisting in the automatic detection of commercial influencer content; (2) experiment with an extensive set of predictive models that combine text and visual information showing that our proposed cross-attention approach outperforms state-of-the-art multimodal models; and (3) conduct a thorough analysis of strengths and limitations of our models. We show that multimodal modeling is useful for identifying commercial posts, reducing the amount of false positives, and capturing relevant context that aids in the discovery of undisclosed commercial posts.


title: Quasi-quintessence inflation with non-minimal coupling to curvature in the Jordan and Einstein frames

abstract: We here explore a specific class of scalar field, dubbed quasi-quintessence which exhibits characteristics akin to ordinary matter. Specifically, we investigate under which conditions this fluid can mitigate the classical cosmological constant problem. We remark that, assuming a phase transition, it is possible to predict inflationary dynamics within the metastable phase triggered by the symmetry breaking mechanism. During this phase, we study inflationary models incorporating this cancellation mechanism for vacuum energy within the context of quasi-quintessence. There, we introduce four novel potentials, categorized into two main groups, \emph{i.e.}, the Starobinsky-like and symmetry breaking paradigms. Afterwards, we consider two distinct cases, the first without coupling with the curvature, while the second exhibiting a Yukawa-like interacting term. Hence, we compute the inflationary dynamics within both the Jordan and Einstein frames and discuss the objective to unify old with chaotic inflation into a single scheme. We therefore find the tensor-to-scalar ratio and the spectral terms and conclude that the most suited approach involves the Starobinsky-like class of solution. Indeed, our findings show that small field inflationary scenarios appear disfavored and propose \emph{de facto} a novel technique to reobtain the Starobinsky potential without passing through generalizations of Einstein's gravity. Last but not least, we conjecture that vacuum energy may be converted into particles by virtue of the geometric interacting term and speculate about the physics associated with the Jordan and Einstein frames.


title: Cosection Localization for D-Manifolds and $(-2)$-Shifted Symplectic Derived Schemes, Revisited

abstract: This is a continuation of prior work of the author on cosection localization for d-manifolds. We construct reduced virtual fundamental classes for derived manifolds with surjective cosections and cosection localized virtual fundamental classes for $(-2)$-shifted symplectic derived schemes in larger generality. Moreover, using recent results of Oh-Thomas, we show that the algebraic and differential geometric constructions of reduced and cosection localized virtual fundamental classes of $(-2)$-shifted symplectic derived schemes yield the same result in homology. We obtain applications towards the construction and integrality of reduced invariants in Donaldson-Thomas theory of Calabi-Yau fourfolds.


title: A modelling framework for detecting and leveraging node-level information in Bayesian network inference

abstract: Bayesian graphical models are powerful tools to infer complex relationships in high dimension, yet are often fraught with computational and statistical challenges. If exploited in a principled way, the increasing information collected alongside the data of primary interest constitutes an opportunity to mitigate these difficulties by guiding the detection of dependence structures. For instance, gene network inference may be informed by the use of publicly available summary statistics on the regulation of genes by genetic variants. Here we present a novel Gaussian graphical modelling framework to identify and leverage information on the centrality of nodes in conditional independence graphs. Specifically, we consider a fully joint hierarchical model to simultaneously infer (i) sparse precision matrices and (ii) the relevance of node-level information for uncovering the sought-after network structure. We encode such information as candidate auxiliary variables using a spike-and-slab submodel on the propensity of nodes to be hubs, which allows hypothesis-free selection and interpretation of a sparse subset of relevant variables. As efficient exploration of large posterior spaces is needed for real-world applications, we develop a variational expectation conditional maximisation algorithm that scales inference to hundreds of samples, nodes and auxiliary variables. We illustrate and exploit the advantages of our approach in simulations and in a gene network study which identifies hub genes involved in biological pathways relevant to immune-mediated diseases.


title: On the Fourier decay of multiplicative convolutions

abstract: We prove the following. Let $\mu_{1},\ldots,\mu_{n}$ be Borel probability measures on $[-1,1]$ such that $\mu_{j}$ has finite $s_j$-energy for certain indices $s_{j} \in (0,1]$ with $s_{1} + \ldots + s_{n} > 1$. Then, the multiplicative convolution of the measures $\mu_{1},\ldots,\mu_{n}$ has power Fourier decay: there exists a constant $\tau = \tau(s_{1},\ldots,s_{n}) > 0$ such that \[ \left| \int e^{-2\pi i \xi \cdot x_{1}\cdots x_{n}} \, d\mu_{1}(x_{1}) \cdots \, d\mu_{n}(x_{n}) \right| \leq |\xi|^{-\tau} \] for sufficiently large $|\xi|$. This verifies a suggestion of Bourgain from 2010. We also obtain a quantitative Fourier decay exponent under a stronger assumption on the exponents $s_{j}$.


title: A New Smoothing Technique for Bang-Bang Optimal Control Problems

abstract: Bang-bang control is ubiquitous for Optimal Control Problems (OCPs) where the constrained control variable appears linearly in the dynamics and cost function. Based on the Pontryagin's Minimum Principle, the indirect method is widely used to numerically solve OCPs because it enables to derive the theoretical structure of the optimal control. However, discontinuities in the bang-bang control structure may result in numerical difficulties for gradient-based indirect method. In this case, smoothing or regularization procedures are usually applied to eliminating the discontinuities of bang-bang controls. Traditional smoothing or regularization procedures generally modify the cost function by adding a term depending on a small parameter, or introducing a small error into the state equation. Those procedures may complexify the numerical algorithms or degenerate the convergence performance. To overcome these issues, we propose a bounded smooth function, called normalized L2-norm function, to approximate the sign function in terms of the switching function. The resulting optimal control is smooth and can be readily embedded into the indirect method. Then, the simplicity and improved performance of the proposed method over some existing methods are numerically demonstrated by a minimal-time oscillator problem and a minimal-fuel low-thrust trajectory optimization problem that involves many revolutions.


title: The diaspora model for human migration

abstract: Migration's impact spans various social dimensions, including demography, sustainability, politics, economy and gender disparities. Yet, the decision-making process behind migrants choosing their destination remains elusive. Existing models primarily rely on population size and travel distance to explain flow fluctuations, overlooking significant population heterogeneities. Paradoxically, migrants often travel long distances and to smaller destinations if their diaspora is present in those locations. To address this gap, we propose the diaspora model of migration, incorporating intensity (the number of people moving to a country) and assortativity (the destination within the country). Our model considers only the existing diaspora sizes in the destination country, influencing the probability of migrants selecting a specific residence. Despite its simplicity, our model accurately reproduces the observed stable flow and distribution of migration in Austria (postal code level) and US metropolitan areas, yielding precise estimates of migrant inflow at various geographic scales. Given the increase in international migrations due to recent natural and societal crises, this study enlightens our understanding of migration flow heterogeneities, helping design more inclusive, integrated cities.