title: Dense Voxel 3D Reconstruction Using a Monocular Event Camera

abstract: Event cameras are sensors inspired by biological systems that specialize in capturing changes in brightness. These emerging cameras offer many advantages over conventional frame-based cameras, including high dynamic range, high frame rates, and extremely low power consumption. Due to these advantages, event cameras have increasingly been adapted in various fields, such as frame interpolation, semantic segmentation, odometry, and SLAM. However, their application in 3D reconstruction for VR applications is underexplored. Previous methods in this field mainly focused on 3D reconstruction through depth map estimation. Methods that produce dense 3D reconstruction generally require multiple cameras, while methods that utilize a single event camera can only produce a semi-dense result. Other single-camera methods that can produce dense 3D reconstruction rely on creating a pipeline that either incorporates the aforementioned methods or other existing Structure from Motion (SfM) or Multi-view Stereo (MVS) methods. In this paper, we propose a novel approach for solving dense 3D reconstruction using only a single event camera. To the best of our knowledge, our work is the first attempt in this regard. Our preliminary results demonstrate that the proposed method can produce visually distinguishable dense 3D reconstructions directly without requiring pipelines like those used by existing methods. Additionally, we have created a synthetic dataset with $39,739$ object scans using an event camera simulator. This dataset will help accelerate other relevant research in this field.


title: Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete

abstract: We investigate the decidability of the ${0,\infty}$ fragment of Timed Propositional Temporal Logic (TPTL). We show that the satisfiability checking of TPTL$^{0,\infty}$ is PSPACE-complete. Moreover, even its 1-variable fragment (1-TPTL$^{0,\infty}$) is strictly more expressive than Metric Interval Temporal Logic (MITL) for which satisfiability checking is EXPSPACE complete. Hence, we have a strictly more expressive logic with computationally easier satisfiability checking. To the best of our knowledge, TPTL$^{0,\infty}$ is the first multi-variable fragment of TPTL for which satisfiability checking is decidable without imposing any bounds/restrictions on the timed words (e.g. bounded variability, bounded time, etc.). The membership in PSPACE is obtained by a reduction to the emptiness checking problem for a new "non-punctual" subclass of Alternating Timed Automata with multiple clocks called Unilateral Very Weak Alternating Timed Automata (VWATA$^{0,\infty}$) which we prove to be in PSPACE. We show this by constructing a simulation equivalent non-deterministic timed automata whose number of clocks is polynomial in the size of the given VWATA$^{0,\infty}$.


title: Regular $(2+1)$-dimensional spatially homogeneous $\alpha'$-corrected BTZ-like black hole in string theory

abstract: We consider a $(2+1)$-dimensional spacetime whose two-dimensional space part is Weyl-related to a surface of arbitrary negative constant Gaussian curvature with symmetries of two-dimensional Lie algebra. It is shown that the geometry is a Lobachevsky-type geometry described by deformed hyperbolic function. At leading order string effective action with the source given by dilaton and antisymmetric $B$-field in the presence of central charge deficit term $\Lambda$, we obtained a solution whose line element is Weyl-related to this homogeneous spacetime with arbitrary negative Gaussian curvature. The solution can be transformed to the BTZ-like black hole by coordinate redefinition, while the BTZ black hole can be recovered by choosing a special set of parameters. The solutions appear to be in the high curvature limit $R\alpha'\gtrsim1$, with emphasis on including the higher order $\alpha'$ corrections. Considering the two-loop (first order $\alpha'$) $\beta$-function equations of $\sigma$-model, we also present the $\alpha'$-corrected black hole solutions.


title: On conformally flat cubic metrics with weakly isotropic scalar curvature

abstract: The conformal properties of metrics are meaningful in Riemannian and Finsler geometry, and cubic metrics are useful in physics and biology. In this paper, we study the conformally flat cubic metrics with weakly isotropic scalar curvature. We also prove that such metrics must be Minkowski metrics.


title: Building and Managing a Tropical Fish Facility: A Do-It-Yourself Guide

abstract: At the core of most research in zoological disciplines, ranging from developmental biology to genetics to behavioral biology, is the ability to keep animals in captivity. While facilities for traditional model organisms often benefit from well-established designs, construction of a facility for less commonly studied organisms can present a challenge. Here, we detail the process of designing, constructing, and operating a specialized 10,000-liter aquatic facility dedicated to housing cichlid fishes for research purposes. The facility, comprising 42 aquaria capable of division into up to 126 compartments, a flow-through rack for juveniles, egg tumblers for eggs and embryos, and a microinjection setup, provides a comprehensive environment for all life stages of cichlid fishes. We anticipate that a similar design can be also used also for other tropical teleost fishes. This resource is designed to promote increased efficiency and success in cichlid fish breeding and research, thereby offering significant insights for aquatic research labs seeking to build or optimize their own infrastructures.


title: Chance or Chaos? Fractal geometry aimed to inspect the nature of Bitcoin

abstract: The aim of this paper is to analyse the Bitcoin in order to shed some light on its nature and behaviour. We select 9 cryptocurrencies that account for almost 75\% of total market capitalisation and compare their evolution with that of a wide variety of traditional assets: commodities with spot and futures contracts, treasury bonds, stock indices, growth and value stocks. Fractal geometry will be applied to carry out a careful statistical analysis of the performance of the Bitcoin returns. As a main conclusion, we have detected a high degree of persistence in its prices, which decreases the efficiency but increases its predictability. Moreover, we observe that the underlying technology influences price dynamics, with fully decentralised cryptocurrencies being the only ones to exhibit self-similarity features at any time scale.


title: Achievable Rate Region and Path-Based Beamforming for Multi-User Single-Carrier Delay Alignment Modulation

abstract: Delay alignment modulation (DAM) is a novel wideband transmission technique for mmWave massive MIMO systems, which exploits the high spatial resolution and multi-path sparsity to mitigate ISI, without relying on channel equalization or multi-carrier transmission. In particular, DAM leverages the delay pre-compensation and path-based beamforming to effectively align the multi-path components, thus achieving the constructive multi-path combination for eliminating the ISI while preserving the multi-path power gain. Different from the existing works only considering single-user DAM, this paper investigates the DAM technique for multi-user mmWave massive MIMO communication. First, we consider the asymptotic regime when the number of antennas Mt at BS is sufficiently large. It is shown that by employing the simple delay pre-compensation and per-path-based MRT beamforming, the single-carrier DAM is able to perfectly eliminate both ISI and IUI. Next, we consider the general scenario with Mt being finite. In this scenario, we characterize the achievable rate region of the multi-user DAM system by finding its Pareto boundary. Specifically, we formulate a rate-profile-constrained sum rate maximization problem by optimizing the per-path-based beamforming. Furthermore, we present three low-complexity per-path-based beamforming strategies based on the MRT, zero-forcing, and regularized zero-forcing principles, respectively, based on which the achievable sum rates are studied. Finally, we provide simulation results to demonstrate the performance of our proposed strategies as compared to two benchmark schemes based on the strongest-path-based beamforming and the prevalent OFDM, respectively. It is shown that DAM achieves higher spectral efficiency and/or lower peak-to-average-ratio, for systems with high spatial resolution and multi-path diversity.


title: A decidable expansion of $(\Gamma,+,F)$ with the independence property

abstract: Let $(\Gamma,+,F)$ be a finitely generated $\mathbb Z[F]$-module where $F$ is an injective endomorphism of the abelian group $\Gamma$. We restrict ourselves to a finite automa presentable subclass, introduced by J. Bell and R. Moosa in "F-sets and finite automata. J. Th\'eor. Nombres Bordeaux 31 (2019), no. 1, 101-130" and define an expansion containing the $\mathcal F$-sets defined by R. Moosa and T. Scanlon in "Am. J. Math. 126 (2004), no. 3, p. 473-522", where every automatic subset is definable.


title: A survey on the boundary behavior of the double layer potential in Schauder spaces in the frame of an abstract approach

abstract: We provide a summary of the continuity properties of the boundary integral operator corresponding to the double layer potential associated to the fundamental solution of a {\em nonhomogeneous} second order elliptic differential operator with constant coefficients in H\"{o}lder and Schauder spaces on the boundary of a bounded open subset of ${\mathbb{R}}^n$. The purpose is two-fold. On one hand we try present in a single paper all the known continuity results on the topic with the best known exponents in a H\"{o}lder and Schauder space setting and on the other hand we show that many of the properties we present can be deduced by applying results that hold in an abstract setting of metric spaces with a measure that satisfies certain growth conditions that include non-doubling measures as in a series of papers by Garc\'{\i}a-Cuerva and Gatto in the frame of H\"{o}lder spaces and later by the author.


title: Normal approximation for Gibbs processes via disagreement couplings

abstract: This work improves the existing central limit theorems (CLTs) for geometric functionals of Gibbs processes in three aspects. First, we derive a CLT for weakly stabilizing functionals, thereby improving on the previously used assumption of exponential stabilization. Second, we show that this CLT holds for interaction ranges up to the percolation threshold of the dominating Poisson process. This avoids imprecise branching bounds from graphical construction. Third, by constructing simultaneous couplings of several Palm processes for Gibbs functionals, we provide a quantitative CLT in terms of Kolmogorov bounds for normal approximation. An important conceptual ingredient in these advances is the extension of disagreement coupling adapted to unbounded windows and to the comparison at multiple spatial locations.


title: Simultaneous detection of boosted dark matter and neutrinos from the semi-annihilation at DUNE

abstract: Dark matter direct detection experiments impose the strong bounds on thermal dark matter scenarios. The bound can naturally be evaded if the cross section is momentum transfer or velocity dependent. One can test such thermal dark matter scenarios if dark matter particles are boosted by some mechanism. In this work, we consider a specific semi-annihilation $\chi\chi\to \nu\overline{\chi}$ where $\chi$ ($\overline{\chi}$) is dark matter (anti-dark matter), and search for simultaneous detection of the neutrino and the boosted dark matter in the final state at DUNE. We find that the energies of the neutrino and boosted dark matter are reconstructed by kinematics. In addition, we find that both signals can be testable at DUNE if the dark matter mass is below $8~\mathrm{GeV}$, and the scattering cross section is momentum transfer dependent. Even for larger dark matter masses, the two signals can be tested by combination of DUNE and the other experiments such as IceCube/DeepCore and Hyper-Kamiokande.


title: Denture reinforcement via topology optimization

abstract: We present a computational design method that optimizes the reinforcement of dental prostheses and increases the durability and fracture resistance of dentures. Our approach optimally places reinforcement, which could be implemented by modern multi-material, three-dimensional printers. The study focuses on reducing deformation by identifying regions within the structure that require reinforcement (E-glass material). Our method is applied to a three-dimensional removable lower jaw dental prosthesis and aims to improve the living quality of denture patients and pretend fracture of dental reinforcement in clinical studies. To do this, we compare the deformation results of a non-reinforced denture and a reinforced denture that has two materials. The results indicate the maximum deformation is lower and node-based displacement distribution demonstrates that the average displacement distribution is much better in the reinforced denture.


title: Learning the tensor network model of a quantum state using a few single-qubit measurements

abstract: The constantly increasing dimensionality of artificial quantum systems demands for highly efficient methods for their characterization and benchmarking. Conventional quantum tomography fails for larger systems due to the exponential growth of the required number of measurements. The conceptual solution for this dimensionality curse relies on a simple idea - a complete description of a quantum state is excessive and can be discarded in favor of experimentally accessible information about the system. The probably approximately correct (PAC) learning theory has been recently successfully applied to a problem of building accurate predictors for the measurement outcomes using a dataset which scales only linearly with the number of qubits. Here we present a constructive and numerically efficient protocol which learns a tensor network model of an unknown quantum system. We discuss the limitations and the scalability of the proposed method.


title: VideoGen: A Reference-Guided Latent Diffusion Approach for High Definition Text-to-Video Generation

abstract: In this paper, we present VideoGen, a text-to-video generation approach, which can generate a high-definition video with high frame fidelity and strong temporal consistency using reference-guided latent diffusion. We leverage an off-the-shelf text-to-image generation model, e.g., Stable Diffusion, to generate an image with high content quality from the text prompt, as a reference image to guide video generation. Then, we introduce an efficient cascaded latent diffusion module conditioned on both the reference image and the text prompt, for generating latent video representations, followed by a flow-based temporal upsampling step to improve the temporal resolution. Finally, we map latent video representations into a high-definition video through an enhanced video decoder. During training, we use the first frame of a ground-truth video as the reference image for training the cascaded latent diffusion module. The main characterises of our approach include: the reference image generated by the text-to-image model improves the visual fidelity; using it as the condition makes the diffusion model focus more on learning the video dynamics; and the video decoder is trained over unlabeled video data, thus benefiting from high-quality easily-available videos. VideoGen sets a new state-of-the-art in text-to-video generation in terms of both qualitative and quantitative evaluation. See \url{https://videogen.github.io/VideoGen/} for more samples.


title: Fine-grained Recognition with Learnable Semantic Data Augmentation

abstract: Fine-grained image recognition is a longstanding computer vision challenge that focuses on differentiating objects belonging to multiple subordinate categories within the same meta-category. Since images belonging to the same meta-category usually share similar visual appearances, mining discriminative visual cues is the key to distinguishing fine-grained categories. Although commonly used image-level data augmentation techniques have achieved great success in generic image classification problems, they are rarely applied in fine-grained scenarios, because their random editing-region behavior is prone to destroy the discriminative visual cues residing in the subtle regions. In this paper, we propose diversifying the training data at the feature-level to alleviate the discriminative region loss problem. Specifically, we produce diversified augmented samples by translating image features along semantically meaningful directions. The semantic directions are estimated with a covariance prediction network, which predicts a sample-wise covariance matrix to adapt to the large intra-class variation inherent in fine-grained images. Furthermore, the covariance prediction network is jointly optimized with the classification network in a meta-learning manner to alleviate the degenerate solution problem. Experiments on four competitive fine-grained recognition benchmarks (CUB-200-2011, Stanford Cars, FGVC Aircrafts, NABirds) demonstrate that our method significantly improves the generalization performance on several popular classification networks (e.g., ResNets, DenseNets, EfficientNets, RegNets and ViT). Combined with a recently proposed method, our semantic data augmentation approach achieves state-of-the-art performance on the CUB-200-2011 dataset. The source code will be released.


title: Enhancing thermal mixing in turbulent bubbly flow by adding salt

abstract: The presence of bubbles in a turbulent flow changes the flow drastically and enhances the mixing. Adding salt to the bubbly aqueous flow changes the bubble coalescence properties as compared to pure water. Here we provide direct experimental evidence that also the turbulent thermal energy spectra are strongly changed. Experiments were performed in the Twente Mass and Heat Transfer water tunnel,in which we can measure the thermal spectra in bubbly turbulence in salty water. We find that the mean bubble diameter decreases with increasing concentration of salt (NaCl), due to the inhibition of bubble coalescence. With increasing salinity, the transition frequency from the classical $-5/3$ scaling of the thermal energy spectrum to the bubble induced $-3$ scaling shifts to higher frequencies, thus enhancing the overall thermal energy. We relate this frequency shift to the smaller size of the bubbles for the salty bubbly flow. Finally we measure the heat transport in the bubbly flow, and show how it varies with changing void fraction and salinity: Increases in both result into increases in the number of extreme events.


title: Early Dark Energy beyond slow-roll: implications for cosmic tensions

abstract: In this work, we explore the possibility that Early Dark Energy (EDE) is dynamical in nature and study its effect on cosmological observables. We introduce a parameterization of the equation of state allowing for an equation of state $w$ differing considerably from cosmological constant (cc, $w={-1}$) and vary both the initial $w_i$ as well final $w_f$ equation of state of the EDE fluid. This idea is motivated by the fact that in many models of EDE, the scalar field may have some kinetic energy when it starts to behave like EDE before the CMB decoupling. We find that the present data have a mild preference for non-cc early dark energy $( w_i= -0.78)$ using Planck+BAO+Pantheon+S$H_0$ES data sets, leading to $\Delta \chi^2_{\rm min}$ improvement of -2.5 at the expense of one more parameter. However, $w_i$ is only weakly constrained, with $w_i < -0.56$ at $1\sigma$. We argue that allowing for $w_i\neq -1$ can play a role in decreasing the $\sigma_8$ parameter. Yet, in practice the decrease is only $\sim0.4\sigma$ and $\sigma_8$ is still larger than weak lensing measurements. We conclude that while promising, a dynamical EDE cannot resolve both $H_0$ and $\sigma_8$ tensions simultaneously.


title: Characterization of the hyperbolic step of parabolic functions

abstract: A classical problem in Complex Dynamics on hyperbolic domains is to characterize the hyperbolic step of parabolic functions. This topic has been studied by several authors, leading to different results and providing characterizations that depend on the behaviour of the iterates of such function. In this work we provide new characterizations in terms of intrinsic properties of the function.


title: Kinematic anisotropies and pulsar timing arrays

abstract: Doppler anisotropies, induced by our relative motion with respect to the source rest frame, are a guaranteed property of stochastic gravitational wave backgrounds of cosmological origin. If detected by future pulsar timing array measurements, they will provide interesting information on the physics sourcing gravitational waves, which is hard or even impossible to extract from measurements of the isotropic part of the background only. We analytically determine the pulsar response function to kinematic anisotropies, including possible effects due to parity violation, to features in the frequency dependence of the isotropic part of the spectrum, as well as to the presence of extra scalar and vector polarizations. For the first time, we show how the sensitivity to different effects crucially depends on the pulsar configuration with respect to the relative motion among frames. Correspondingly, we propose examples of strategies of detection, each aimed at exploiting future measurements of kinematic anisotropies for characterizing distinct features of the cosmological gravitational wave background.


title: Colliding winds in WR21 and WR31 -- I. The X-ray view

abstract: WR21 and WR31 are two WR+O binaries with short periods, quite similar to the case of V444 Cyg. The XMM-Newton observatory has monitored these two objects and clearly revealed phase-locked variations as expected from colliding winds. The changes are maximum in the soft band (0.5--2.keV, variations by a factor 3--4) where they are intrinsically linked to absorption effects. The increase in absorption due to the dense WR wind is confirmed by the spectral analysis. The flux maximum is however not detected exactly at conjunction with the O star in front but slightly afterwards, suggesting Coriolis deflection of the collision zone as in V444 Cyg. In the hard band (2.--10. keV), the variations (by a factor of 1.5--2.0) are much more limited. Because of the lower orbital inclinations, eclipses as observed for V444 Cyg are not detected in these systems.


title: Hamiltonian for the Hilbert-P\'olya Conjecture

abstract: We introduce a Hamiltonian to address the Hilbert-P\'olya conjecture. The eigenfunctions of the introduced Hamiltonian, subject to the Dirichlet boundary conditions on the positive half-line, vanish at the origin by the nontrivial zeros of the Riemann zeta function. Consequently, the eigenvalues are determined by these nontrivial Riemann zeros. If the Riemann hypothesis (RH) is true, the eigenvalues become real and represent the imaginary parts of the nontrivial zeros. Conversely, if the Hamiltonian is self-adjoint, or more generally, admits only real eigenvalues, then the RH follows. In our attempt to demonstrate the latter, we establish the existence of a similarity transformation of the introduced Hamiltonian that is self-adjoint on the domain specified by an appropriate boundary condition, which is satisfied by the eigenfunctions through the vanishing of the Riemann zeta function. Our result can be extended to a broader class of functions whose zeros lie on the critical line.


title: Constraining X-ray variability of the blazar 3C 273 using XMM-Newton observations over two decades

abstract: Blazars exhibit relentless variability across diverse spatial and temporal frequencies. The study of long- and short-term variability properties observed in the X-ray band provides insights into the inner workings of the central engine. In this work, we present timing and spectral analyses of the blazar 3C 273 using the X-ray observations from the $\textit{XMM-Newton}$ telescope covering the period from 2000 to 2020. The methods of timing analyses include estimation of fractional variability, long- and short-term flux distribution, rms-flux relation, and power spectral density analysis. The spectral analysis include estimating a model independent flux hardness ratio and fitting the observations with multiplicative and additive spectral models such as \textit{power-law}, \textit{log-parabola}, \textit{broken power-law}, and \textit{black body}. The \textit{black body} represents the thermal emission from the accretion disk, while the other models represent the possible energy distributions of the particles emitting synchrotron radiation in the jet. During the past two decades, the source flux changed by of a factor of three, with a considerable fractional variability of 27\%. However, the intraday variation was found to be moderate. Flux distributions of the individual observations were consistent with a normal or log-normal distribution, while the overall flux distribution including entire observations appear to be rather multi-modal and of a complex shape. The spectral analyses indicate that \textit{log-parabola} added with a \textit{black body} gives the best fit for most of the observations. The results indicate a complex scenario in which the variability can be attributed to the intricate interaction between the disk/corona system and the jet.


title: PoCL-R: An Open Standard Based Offloading Layer for Heterogeneous Multi-Access Edge Computing with Server Side Scalability

abstract: We propose a novel computing runtime that exposes remote compute devices via the cross-vendor open heterogeneous computing standard OpenCL and can execute compute tasks on the MEC cluster side across multiple servers in a scalable manner. Intermittent UE connection loss is handled gracefully even if the device's IP address changes on the way. Network-induced latency is minimized by transferring data and signaling command completions between remote devices in a peer-to-peer fashion directly to the target server with a streamlined TCP-based protocol that yields a command latency of only 60 microseconds on top of network round-trip latency in synthetic benchmarks. The runtime can utilize RDMA to speed up inter-server data transfers by an additional 60% compared to the TCP-based solution. The benefits of the proposed runtime in MEC applications are demonstrated with a smartphone-based augmented reality rendering case study. Measurements show up to 19x improvements to frame rate and 17x improvements to local energy consumption when using the proposed runtime to offload AR rendering from a smartphone. Scalability to multiple GPU servers in real-world applications is shown in a computational fluid dynamics simulation, which scales with the number of servers at roughly 80% efficiency which is comparable to an MPI port of the same simulation.


title: Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO

abstract: Scientific computing has experienced a surge empowered by advancements in technologies such as neural networks. However, certain important tasks are less amenable to these technologies, benefiting from innovations to traditional inference schemes. One such task is protein re-design. Recently a new re-design algorithm, AOBB-K*, was introduced and was competitive with state-of-the-art BBK* on small protein re-design problems. However, AOBB-K* did not scale well. In this work we focus on scaling up AOBB-K* and introduce three new versions: AOBB-K*-b (boosted), AOBB-K*-DH (with dynamic heuristics), and AOBB-K*-UFO (with underflow optimization) that significantly enhance scalability.


title: Multiple Mellin-Barnes integrals and triangulations of point configurations

abstract: We present a novel technique for the analytic evaluation of multifold Mellin-Barnes (MB) integrals, which commonly appear in physics, as for instance in the calculations of multi-loop multi-scale Feynman integrals. Our approach is based on triangulating a set of points which can be assigned to a given MB integral, and yields the final analytic results in terms of linear combinations of multiple series, each triangulation allowing the derivation of one of these combinations. When this technique is applied to the computation of Feynman integrals, the involved series are of the (multivariable) hypergeometric type. We implement our method in the Mathematica package MBConicHulls.wl, an already existing software dedicated to the analytic evaluation of multiple MB integrals, based on a recently developed computational approach using intersections of conic hulls. The triangulation method is remarkably faster than the conic hulls approach and can thus be used for the calculation of higher-fold MB integrals as we show here by computing triangulations for highly complicated objects such as the off-shell massless scalar one-loop 15-point Feynman integral whose MB representation has 104 folds. As other applications we show how this technique can provide new results for the off-shell massless conformal hexagon and double box Feynman integrals, as well as for the hard diagram of the two loop hexagon Wilson loop.


title: Selective Scene Text Removal

abstract: Scene text removal (STR) is the image transformation task to remove text regions in scene images. The conventional STR methods remove all scene text. This means that the existing methods cannot select text to be removed. In this paper, we propose a novel task setting named selective scene text removal (SSTR) that removes only target words specified by the user. Although SSTR is a more complex task than STR, the proposed multi-module structure enables efficient training for SSTR. Experimental results show that the proposed method can remove target words as expected.


title: Strongly interacting Bose-Fermi mixture: mediated interaction, phase diagram and sound propagation

abstract: Motivated by recent surprising experimental findings, we develop a strong-coupling theory for Bose-Fermi mixtures capable of treating resonant inter-species interactions while satisfying the compressibility sum rule. We show that the mixture can be stable at large interaction strengths close to resonance, in agreement with the experiment but at odds with the widely used perturbation theory. We also calculate the sound velocity of the Bose gas in the $^{133}$Cs-$^6$Li mixture, again finding good agreement with the experimental observations both at weak and strong interactions. A central ingredient of our theory is the generalization of a fermion mediated interaction to strong Bose-Fermi scatterings and to finite frequencies. This further leads to a predicted hybridization of the sound modes of the Bose and Fermi gases, which can be directly observed using Bragg spectroscopy.


title: RXCJ1111.6+4050 galaxy cluster: the observational evidence of a transitional fossil group

abstract: We present a detailed kinematical and dynamical study of the galaxy cluster RXCJ1111.6+4050 (RXCJ1111), at z = 0.0756 using 104 new spectroscopic redshifts of galaxies observed at the TNG 3.5m telescope and SDSS DR16 public archive. Our analysis is performed in a multiwavelength context in order to study and compare mainly optical and X-ray properties using XMM-Newton data. We find that RXCJ1111 is a galaxy cluster showing a velocity distribution with clear deviations from Gaussianity, that we are able to explain by the presence of a substructure within the cluster. The two cluster components show velocity dispersions of $644 \pm 56$ km/s and $410 \pm 123$ km/s, which yield dynamical masses of M$_{200}$=$1.9 \pm 0.4 \times10^{14}$ M$_{\odot}$ and $0.6 \pm 0.4 \times 10^{14}$ M$_{\odot}$ for the main system and substructure, respectively. RXCJ1111 presents an elongation in the North-South direction and a gradient of 250-350 km/s/Mpc in the velocity field, suggest that the merger axis between the main system and substructure is slightly tilted with respect to the line-of-sight. The substructure is characterized by a magnitude gap $\Delta m_{12} \ge 1.8$, so it fits the "fossil-like" definition of a galaxy group. Mass estimates derived from X-ray and optical are in good agreement when two galaxy components are considered separately. We propose a 3D merging model and find that the fossil group is in an early phase of collision with the RXCJ1111 main cluster and almost aligned with the line-of-sight. This merging model would explain the slight increase found in the T$_X$ with respect to what we would expect for relaxed clusters. Due to the presence of several brightest galaxies, after this collision, the substructure would presumably lose its fossil condition. Therefore, RXCJ1111 represents the observational evidence that the fossil stage of a system can be temporary and transitional.


title: The manifold rheology of fluidized granular media

abstract: Fluidized granular media have a rich rheology: measuring shear stress $\sigma$ as a function of shear rate $\dot\gamma$, they exhibit Newtonian behavior $\sigma\sim\dot\gamma$ for low densities and shear rates, develop a yield stress for intermediate shear rates and densities approaching the granular glass transition, and finally, cross over to shear-thickening Bagnold scaling, $\sigma\sim\dot\gamma^2$. This wealth of flow-behaviors makes fluidized beds a fascinating material, but also one that is challenging to encompass into a global theory, despite its relevance for optimizing industrial processes and predicting natural hazards. We provide careful measurements spanning eight orders of magnitude in shear rate, and show that all these rheological regimes can be described qualitatively and quantitatively using the granular integration through transient formalism, a theory for glassy dynamics under shear adapted to granular fluids.


title: Melting of olive oil in immiscible surroundings: experiments and theory

abstract: We report on the melting dynamics of frozen olive oil in quiescent water for Rayleigh numbers up to $10^9$. The density difference results in an upward buoyancy-driven flow of liquid oil forming a thin film around the frozen oil. We experimentally investigate flat, cylindrical, and spherical shapes and we derive theoretical expressions for the local film thickness, velocity, and the local melt rate for these three canonical geometries. Our theoretical models compare favourably with our experimental findings.


title: Bennequin-Plamenevskaya-Shumakovitch Type Inequalities for Kronheimer-Mrowka's Concordance Invariant

abstract: We give Bennequin-Plamenevskaya-Shumakovich type lower bounds for the concordance invariant $s^{\#}$ introduced by Kronheimer and Mrowka. The proof is a consequence of computations for torus knots and the cobordism inequality of $s^{\#}$ due to Gong, combined with well-known arguments used for slice-torus invariants.


title: Advancing Personalized Federated Learning: Group Privacy, Fairness, and Beyond

abstract: Federated learning (FL) is a framework for training machine learning models in a distributed and collaborative manner. During training, a set of participating clients process their data stored locally, sharing only the model updates obtained by minimizing a cost function over their local inputs. FL was proposed as a stepping-stone towards privacy-preserving machine learning, but it has been shown vulnerable to issues such as leakage of private information, lack of personalization of the model, and the possibility of having a trained model that is fairer to some groups than to others. In this paper, we address the triadic interaction among personalization, privacy guarantees, and fairness attained by models trained within the FL framework. Differential privacy and its variants have been studied and applied as cutting-edge standards for providing formal privacy guarantees. However, clients in FL often hold very diverse datasets representing heterogeneous communities, making it important to protect their sensitive information while still ensuring that the trained model upholds the aspect of fairness for the users. To attain this objective, a method is put forth that introduces group privacy assurances through the utilization of $d$-privacy (aka metric privacy). $d$-privacy represents a localized form of differential privacy that relies on a metric-oriented obfuscation approach to maintain the original data's topological distribution. This method, besides enabling personalized model training in a federated approach and providing formal privacy guarantees, possesses significantly better group fairness measured under a variety of standard metrics than a global model trained within a classical FL template. Theoretical justifications for the applicability are provided, as well as experimental validation on real-world datasets to illustrate the working of the proposed method.


title: Area-norm COBRA on Conditional Survival Prediction

abstract: The paper explores a different variation of combined regression strategy to calculate the conditional survival function. We use regression based weak learners to create the proposed ensemble technique. The proposed combined regression strategy uses proximity measure as area between two survival curves. The proposed model shows a construction which ensures that it performs better than the Random Survival Forest. The paper discusses a novel technique to select the most important variable in the combined regression setup. We perform a simulation study to show that our proposition for finding relevance of the variables works quite well. We also use three real-life datasets to illustrate the model.


title: Subsonic steady-states for bipolar hydrodynamic model for semiconductors

abstract: In this paper, we study the well-posedness, ill-posedness and uniqueness of the stationary 3-D radial solution to the bipolar isothermal hydrodynamic model for semiconductors. The density of electron is imposed with sonic boundary and interiorly subsonic case and the density of hole is fully subsonic case.


title: Optimal Scaling transformations to model non-linear relations in GLMs with ordered and unordered predictors

abstract: In Generalized Linear Models (GLMs) it is assumed that there is a linear effect of the predictor variables on the outcome. However, this assumption is often too strict, because in many applications predictors have a nonlinear relation with the outcome. Optimal Scaling (OS) transformations combined with GLMs can deal with this type of relations. Transformations of the predictors have been integrated in GLMs before, e.g. in Generalized Additive Models. However, the OS methodology has several benefits. For example, the levels of categorical predictors are quantified directly, such that they can be included in the model without defining dummy variables. This approach enhances the interpretation and visualization of the effect of different levels on the outcome. Furthermore, monotonicity restrictions can be applied to the OS transformations such that the original ordering of the category values is preserved. This improves the interpretation of the effect and may prevent overfitting. The scaling level can be chosen for each individual predictor such that models can include mixed scaling levels. In this way, a suitable transformation can be found for each predictor in the model. The implementation of OS in logistic regression is demonstrated using three datasets that contain a binary outcome variable and a set of categorical and/or continuous predictor variables.


title: Well-separated soliton-antisoliton pairs with an adjoint Higgs field in 4D space

abstract: We present single soliton states and soliton-antisoliton states with an adjoint Higgs field in 4D flat space. The action of a single soliton state diverges, while the action of soliton-antisoliton states converges. This means such solitons can exist in soliton-antisoliton states, although they cannot exist individually. The interaction in a soliton-antisoliton state takes a logarithmic dependence on separation. Such soliton-antisoliton states exhibit stability under a scaling transformation.


title: A fast algorithm for Stallings foldings over virtually free groups

abstract: We give a simple algorithm to solve the subgroup membership problem for virtually free groups. For a fixed virtually free group with a fixed generating set $X$, the subgroup membership problem is uniformly solvable in time $O(n\log^*(n))$ where $n$ is the sum of the word lengths of the inputs with respect to $X$. For practical purposes, this can be considered to be linear time. The algorithm itself is simple and concrete examples are given to show how it can be used for computations in $\mathrm{SL}(2,\mathbb Z)$ and $\mathrm{GL}(2,\mathbb Z)$. We also give an algorithm to decide whether a finitely generated subgroup is isomorphic to a free group.


title: Declarative Reasoning on Explanations Using Constraint Logic Programming

abstract: Explaining opaque Machine Learning (ML) models is an increasingly relevant problem. Current explanation in AI (XAI) methods suffer several shortcomings, among others an insufficient incorporation of background knowledge, and a lack of abstraction and interactivity with the user. We propose REASONX, an explanation method based on Constraint Logic Programming (CLP). REASONX can provide declarative, interactive explanations for decision trees, which can be the ML models under analysis or global/local surrogate models of any black-box model. Users can express background or common sense knowledge using linear constraints and MILP optimization over features of factual and contrastive instances, and interact with the answer constraints at different levels of abstraction through constraint projection. We present here the architecture of REASONX, which consists of a Python layer, closer to the user, and a CLP layer. REASONX's core execution engine is a Prolog meta-program with declarative semantics in terms of logic theories.


title: Strong solutions for the Navier-Stokes-Voigt equations with non-negative density

abstract: The aim of this work is to study the Navier-Stokes-Voigt equations that govern flows with non-negative density of incompressible fluids with elastic properties. For the associated non-linear initial-and boundary-value problem, we prove the global-in-time existence of strong solutions (velocity, density and pressure). We also establish some other regularity properties of these solutions and find the conditions that guarantee the uniqueness of velocity and density. The main novelty of this work is the hypothesis that, in some subdomain of space, there may be a vacuum at the initial moment, that is, the possibility of the initial density vanishing in some part of the space domain.


title: Learning Speech Representation From Contrastive Token-Acoustic Pretraining

abstract: For fine-grained generation and recognition tasks such as minimally-supervised text-to-speech (TTS), voice conversion (VC), and automatic speech recognition (ASR), the intermediate representations extracted from speech should serve as a "bridge" between text and acoustic information, containing information from both modalities. The semantic content is emphasized, while the paralinguistic information such as speaker identity and acoustic details should be de-emphasized. However, existing methods for extracting fine-grained intermediate representations from speech suffer from issues of excessive redundancy and dimension explosion. Contrastive learning is a good method for modeling intermediate representations from two modalities. However, existing contrastive learning methods in the audio field focus on extracting global descriptive information for downstream audio classification tasks, making them unsuitable for TTS, VC, and ASR tasks. To address these issues, we propose a method named "Contrastive Token-Acoustic Pretraining (CTAP)", which uses two encoders to bring phoneme and speech into a joint multimodal space, learning how to connect phoneme and speech at the frame level. The CTAP model is trained on 210k speech and phoneme pairs, achieving minimally-supervised TTS, VC, and ASR. The proposed CTAP method offers a promising solution for fine-grained generation and recognition downstream tasks in speech processing. We provide a website with audio samples.


title: On primes in arithmetic progressions and bounded gaps between many primes

abstract: We prove that the primes below $x$ are, on average, equidistributed in arithmetic progressions to smooth moduli of size up to $x^{1/2+1/40-\epsilon}$. The exponent of distribution $\tfrac{1}{2} + \tfrac{1}{40}$ improves on a result of Polymath, who had previously obtained the exponent $\tfrac{1}{2} + \tfrac{7}{300}$. As a consequence, we improve results on intervals of bounded length which contain many primes, showing that $\liminf_{n \rightarrow \infty} (p_{n+m}-p_n) = O(\exp(3.8075 m))$. The main new ingredient of our proof is a modification of the q-van der Corput process. It allows us to exploit additional averaging for the exponential sums which appear in the Type I estimates of Polymath.


title: A lattice on Dyck paths close to the Tamari lattice

abstract: We introduce a new poset structure on Dyck paths where the covering relation is a particular case of the relation inducing the Tamari lattice. We prove that the transitive closure of this relation endows Dyck paths with a lattice structure. We provide a trivariate generating function counting the number of Dyck paths with respect to the semilength, the numbers of outgoing and incoming edges in the Hasse diagram. We deduce the numbers of coverings, meet and join irreducible elements. As a byproduct, we present a new involution on Dyck paths that transports the bistatistic of the numbers of outgoing and incoming edges into its reverse. Finally, we give a generating function for the number of intervals, and we compare this number with the number of intervals in the Tamari lattice.


title: Infinite families of solutions for $A^3 + B^3 = C^3 + D^3$ and $A^4 + B^4 + C^4 + D^4 + E^4 = F^4$

abstract: Ramanujan, in his lost notebook, gave an interesting identity, which generates infinite families of solutions to Euler's Diophantine equation $A^3 + B^3 = C^3 + D^3$. In this paper, we produce a few infinite families of solutions to the aforementioned Diophantine equation as well as for the Diophantine equation $A^4 + B^4 + C^4 + D^4 + E^4 = F^4$ in the spirit of Ramanujan.


title: A Locality-based Neural Solver for Optical Motion Capture

abstract: We present a novel locality-based learning method for cleaning and solving optical motion capture data. Given noisy marker data, we propose a new heterogeneous graph neural network which treats markers and joints as different types of nodes, and uses graph convolution operations to extract the local features of markers and joints and transform them to clean motions. To deal with anomaly markers (e.g. occluded or with big tracking errors), the key insight is that a marker's motion shows strong correlations with the motions of its immediate neighboring markers but less so with other markers, a.k.a. locality, which enables us to efficiently fill missing markers (e.g. due to occlusion). Additionally, we also identify marker outliers due to tracking errors by investigating their acceleration profiles. Finally, we propose a training regime based on representation learning and data augmentation, by training the model on data with masking. The masking schemes aim to mimic the occluded and noisy markers often observed in the real data. Finally, we show that our method achieves high accuracy on multiple metrics across various datasets. Extensive comparison shows our method outperforms state-of-the-art methods in terms of prediction accuracy of occluded marker position error by approximately 20%, which leads to a further error reduction on the reconstructed joint rotations and positions by 30%. The code and data for this paper are available at https://github.com/non-void/LocalMoCap.


title: Cohomology of complete unordered flag manifolds

abstract: We consider quotients of complete flag manifolds in Cn and Rn by an action of the symmetric group on n objects. We compute their cohomology with field coefficients of any characteristic. Specifically, we show that these topological spaces exhibit homological stability and we provide a closed-form description of their stable cohomology rings. We also describe a simple algorithmic procedure to determine their unstable cohomology additively.


title: Torsion birational motives of surfaces and unramified cohomology

abstract: Let $S$ and $T$ be smooth projective varieties over an algebraically closed field. Suppose that $S$ is a surface admitting a decomposition of the diagonal. We show that, away from the characteristic of $k$, if an algebraic correspondence $T \to S$ acts trivially on the unramified cohomology, then it acts trivially on any normalized, birational, and motivic functor. This generalizes Kahn's result on the torsion order of $S$. We also exhibit an example of $S$ over $\mathbb{C}$ for which $S \times S$ violates the integral Hodge conjecture.


title: Proof of the Einstein quadrupole formula for solutions of the Einstein-Vlasov system close to Minkowski spacetime

abstract: We rigorously derive the quadrupole formula within the context of the Einstein-Vlasov system. The main contribution of this work is an estimate of the remainder terms, derived from well-defined assumptions, with explicitly stated error terms that depend on the solution's boundedness and decay properties, and the distance to the source. The assumptions are linked to established properties of global solutions of the Einstein-Vlasov system as in \cite{LT}. Prior derivations of the quadrupole formula have relied on post-Newtonian analysis and lacked comparisons with global solution properties. The importance of the no-incoming-radiation condition is emphasized underscoring the need for solutions satisfying this condition. This work thus addresses the limitations of existing results and provides motivation for further research on global solution properties of the Einstein-Vlasov system.


title: Drinfeld Modular Curves Subordinate to Conjugacy Classes of Nilpotent Upper-Triangular Matrices

abstract: We introduce normalized Drinfeld modular curves that parameterize rank $m$ Drinfeld modules compatible with a $T$-torsion structure arising from a given conjugacy class of nilpotent upper-triangular $n\times n$ matrices with rank $\geqslant n-m$ over a finite field $\mathbb{F}_q$. This creates a deep link connecting the classification of nilpotent upper-triangular matrices and the decomposition of Drinfeld modular curves. The conjugacy classes of nilpotent upper-triangular matrices one-to-one corresponds to certain $T$-torsion flags, and form a tree structure. As a result, the associated Drinfeld modular curves are organized in the same tree. This generalizes the tower structure introduced by Bassa, Beelen, Garcia, Stichtenoth, and others. Additionally,we prove the geometric irreducibility of $(3,2)$-type normalized Drinfeld modular curves, and characterize their associated function fields.


title: Melting, bubble-like expansion and explosion of superheated plasmonic nanoparticles

abstract: We report on time-resolved coherent diffraction imaging of gas-phase silver nanoparticles, strongly heated via their plasmon resonance. The x-ray diffraction images reveal a broad range of phenomena for different excitation strengths, from simple melting over strong cavitation to explosive disintegration. Molecular dynamics simulations fully reproduce this behavior and show that the heating induces rather similar trajectories through the phase diagram in all cases, with the very different outcomes being due only to whether and where the stability limit of the metastable superheated liquid is crossed.

categories: physics.atm-clus cond-mat.mes-hall cond-mat.mtrl-sci physics.comp-ph physics.optics


title: Improving the matching of deformable objects by learning to detect keypoints

abstract: We propose a novel learned keypoint detection method to increase the number of correct matches for the task of non-rigid image correspondence. By leveraging true correspondences acquired by matching annotated image pairs with a specified descriptor extractor, we train an end-to-end convolutional neural network (CNN) to find keypoint locations that are more appropriate to the considered descriptor. For that, we apply geometric and photometric warpings to images to generate a supervisory signal, allowing the optimization of the detector. Experiments demonstrate that our method enhances the Mean Matching Accuracy of numerous descriptors when used in conjunction with our detection method, while outperforming the state-of-the-art keypoint detectors on real images of non-rigid objects by 20 p.p. We also apply our method on the complex real-world task of object retrieval where our detector performs on par with the finest keypoint detectors currently available for this task. The source code and trained models are publicly available at https://github.com/verlab/LearningToDetect_PRL_2023


title: Initial Trajectory Assessment of the RAMSES Mission to (99942) Apophis

abstract: (99942) Apophis is a potentially hazardous asteroid that will closely approach the Earth on April 13, 2029. Although the likelihood of an impact has been ruled out, this close encounter represents a unique opportunity for planetary science and defense. By investigating the physical and dynamical changes induced by this interaction, valuable insights into asteroid cohesion, strength, and internal structure can be obtained. In light of these circumstances, a fast mission to Apophis holds great scientific importance and potential for understanding potentially hazardous asteroids. To this aim, ESA proposed the mission RAMSES (Rapid Apophis Mission for SEcurity and Safety) to reach Apophis before its close encounter. In this context, the paper focuses on the reachability analysis of (99942) Apophis, examining thousands of trajectories departing from Earth and reaching the asteroid before the fly-by, using a low-thrust spacecraft. A two-layer approach combining direct sequential convex programming and an indirect method is employed for fast and reliable trajectory optimization. The results reveal multiple feasible launch windows and provide essential information for mission planning and system design.

categories: astro-ph.EP astro-ph.IM math.OC physics.space-ph


title: Hyperfine splitting in $^{6,7}$Li$^+$

abstract: We present a detailed derivation of the QED effects of order $\alpha^7\,m$ to the hyperfine structure (hfs) of the $^3S$ states of helium-like ions and perform numerical calculations for $^6$Li$^+$ and $^7$Li$^+$. By comparing the theoretical point-nucleus results with the measured hfs of Li$^+$, we determine the nuclear-structure contribution parameterized in terms of the effective Zemach radius. Using the experimental hfs results for Li$^+$, we obtain accurate predictions for the hfs of $^6$Li$^{2+}$ and $^7$Li$^{2+}$, for which no experimental data is available so far. By examining the normalized differences of the hfs of Li$^{+}$ and Li and of the corresponding isotope-shift differences, we test the consistency of the hfs measurements in $^{6,7}$Li$^{+}$ and $^{6,7}$Li.


title: A Useful Formula for Periodic Jacobi Matrices on Trees

abstract: We introduce a function of the density of states for periodic Jacobi matrices on trees and prove a useful formula for it. This allows new, streamlined proofs of the gap labeling and Aomoto index theorems. We prove a version of this new formula for the Anderson model on trees.


title: A shape-based heuristic for the detection of urban block artifacts in street networks

abstract: Street networks are ubiquitous components of cities, guiding their development and enabling movement from place to place; street networks are also the critical components of many urban analytical methods. However, their graph representation is often designed primarily for transportation purposes. This representation is less suitable for other use cases where transportation networks need to be simplified as a mandatory pre-processing step, e.g., in the case of morphological analysis, visual navigation, or drone flight routing. While the urgent demand for automated pre-processing methods comes from various fields, it is still an unsolved challenge. In this article, we tackle this challenge by proposing a cheap computational heuristic for the identification of "face artifacts", i.e., geometries that are enclosed by transportation edges but do not represent urban blocks. The heuristic is based on combining the frequency distributions of shape compactness metrics and area measurements of street network face polygons. We test our method on 131 globally sampled large cities and show that it successfully identifies face artifacts in 89\% of analyzed cities. Our heuristic of detecting artifacts caused by data being collected for another purpose is the first step towards an automated street network simplification workflow. Moreover, the proposed face artifact index uncovers differences in structural rules guiding the development of cities in different world regions.


title: f-mode oscillations of anisotropic neutron stars in full general relativity

abstract: We investigate f-mode oscillations of static anisotropic stable neutron stars within the framework of full general relativity. We present equations governing unperturbed stellar structures and oscillations with an ansatz to account for the anisotropy. We solve those equations for two different equations of states. We see that, moderately anisotropic neutron stars with the tangential pressure larger than the radial pressure can give more massive neutron stars than the isotropic or very anisotropic ones. We find that the frequency of the f-mode exhibits a linear relationship with the square root of the average density of the stars and the slope of the fit depends on the anisotropic strength. For any given value of the anisotropic strength, the frequency increases with the increase of the mass of the neutron star, linearly for lower masses, and rapidly at higher masses. However, this non-linear rise in the frequency with the mass is not prominent when the radial pressure is larger than the tangential pressure. For a fixed value of a small mass, higher anisotropy leads to a larger value of the frequency, but when the fixed mass is above a threshold value, higher anisotropy leads to a smaller value of the frequency. The nature of the variation in the frequency with the change in the anisotropic strength is similar for the two equations of state, but for a fixed mass and the same amount of the anisotropy, the softer equations of state gives higher frequency. We also find that the damping time of the f-mode oscillation decreases as the mass of the neutron star increases for all values of the anisotropic strength. For a fixed mass of the neutron star and for the same amount of the anisotropy, the value of the damping time is lower for the softer equation of state, but the nature of the variation in the damping time with the change in the anisotropic strength is similar.


title: Yet another Improvement of Plantard Arithmetic for Faster Kyber on Low-end 32-bit IoT Devices

abstract: This paper presents another improved version of Plantard arithmetic that could speed up Kyber implementations on two low-end 32-bit IoT platforms (ARM Cortex-M3 and RISC-V) without SIMD extensions. Specifically, we further enlarge the input range of the Plantard arithmetic without modifying its computation steps. After tailoring the Plantard arithmetic for Kyber's modulus, we show that the input range of the Plantard multiplication by a constant is at least 2.14 times larger than the original design in TCHES2022. Then, two optimization techniques for efficient Plantard arithmetic on Cortex-M3 and RISC-V are presented. We show that the Plantard arithmetic supersedes both Montgomery and Barrett arithmetic on low-end 32-bit platforms. With the enlarged input range and the efficient implementation of the Plantard arithmetic on these platforms, we propose various optimization strategies for NTT/INTT. We minimize or entirely eliminate the modular reduction of coefficients in NTT/INTT by taking advantage of the larger input range of the proposed Plantard arithmetic on low-end 32-bit platforms. Furthermore, we propose two memory optimization strategies that reduce 23.50% to 28.31% stack usage for the speed-version Kyber implementation when compared to its counterpart on Cortex-M4. The proposed optimizations make the speed-version implementation more feasible on low-end IoT devices. Thanks to the aforementioned optimizations, our NTT/INTT implementation shows considerable speedups compared to the state-of-the-art work. Overall, we demonstrate the applicability of the speed-version Kyber implementation on memory-constrained IoT platforms and set new speed records for Kyber on these platforms.


title: Continuity estimates for doubly degenerate parabolic equations with lower order terms via nonlinear potentials

abstract: This article studies the continuity of bounded nonnegative weak solutions to inhomogeneous doubly nonlinear parabolic equations. A model equation is \begin{equation*}\partial_t u-\operatorname{div}(u^{m-1}|Du|^{p-2}Du)=f\qquad \text{in}\quad\Omega\times(-T,0)\subset \mathbb{R}^{n+1}.\end{equation*} Here, we consider the case $m>1$ and $2<p<n$. We establish a continuity estimate for $u$ in terms of elliptic Riesz potentials of the right-hand side of the equation.


title: Loophole-free Bell tests with randomly chosen subsets of measurement settings

abstract: There are bipartite quantum nonlocal correlations requiring very low detection efficiency to reach the loophole-free regime but that need too many measurement settings to be practical for actual experiments. This leads to the general problem of what can be concluded about loophole-free Bell nonlocality if only a random subset of these settings is tested. Here we develop a method to address this problem. We show that, in some cases, it is possible to detect loophole-free Bell nonlocality testing only a small random fraction of the settings. The prize to pay is a higher detection efficiency. The method allows for a novel approach to the design of loophole-free Bell tests in which, given the dimension of the local system, the visibility, and the detection efficiency available, one can calculate the fraction of the contexts needed to reach the detection-loophole-free regime. The results also enforce a different way of thinking about the costs of classically simulating quantum nonlocality, as it shows that the amount of resources that are needed can be made arbitrarily large simply by considering more contexts.


title: Early Planet Formation in Embedded Disks (eDisk) IX: High-resolution ALMA Observations of the Class 0 Protostar R CrA IRS5N and its surrounding

abstract: We present high-resolution, high-sensitivity observations of the Class 0 protostar RCrA IRS5N as part of the Atacama Large Milimeter/submilimeter Array (ALMA) large program Early Planet Formation in Embedded Disks (eDisk). The 1.3 mm continuum emission reveals a flattened continuum structure around IRS5N, consistent with a protostellar disk in the early phases of evolution. The continuum emission appears smooth and shows no substructures. However, a brightness asymmetry is observed along the minor axis of the disk, suggesting the disk is optically and geometrically thick. We estimate the disk mass to be between 0.007 and 0.02 M$_{\odot}$. Furthermore, molecular emission has been detected from various species, including C$^{18}$O (2$-$1), $^{12}$CO (2$-$1), $^{13}$CO (2$-$1), and H$_2$CO (3$_{0,3}-2_{0,2}$, 3$_{2,1}-2_{2,0}$, and 3$_{2,2}-2_{2,1}$). By conducting a position-velocity analysis of the C$^{18}$O (2$-$1) emission, we find that the disk of IRS5N exhibits characteristics consistent with Keplerian rotation around a central protostar with a mass of approximately 0.3 M$_{\odot}$. Additionally, we observe dust continuum emission from the nearby binary source, IRS5a/b. The emission in $^{12}$CO toward IRS5a/b seems to emanate from IRS5b and flow into IRS5a, suggesting material transport between their mutual orbits. The lack of a detected outflow and large-scale negatives in \tlvco~observed toward IRS5N suggests that much of the flux from IRS5N is being resolved out. Due to this substantial surrounding envelope, the central IRS5N protostar is expected to be significantly more massive in the future.


title: Correlation function for the $T_{bb}$ state: Determination of the binding, scattering lengths, effective ranges and molecular probabilities

abstract: We perform a study of the $B^{*+}B^0,B^{*0}B^+$ correlation functions using an extension of the local hidden gauge approach which provides the interaction from the exchange of light vector mesons and gives rise to a bound state of these components in $I=0$ with a binding energy of about $21$~MeV. After that, we face the inverse problem of determining the low energy observables, scattering length and effective range for each channel, the possible existence of a bound state, and, if found, the couplings of such a state to each $B^{*+}B^0,B^{*0}B^+$ component as well as the molecular probabilities of each of the channels. We use the bootstrap method to determine these magnitudes and find that, with errors in the correlation function typical of present experiments, we can determine all these magnitudes with acceptable precision. In addition, the size of the source function of the experiment from where the correlation functions are measured can be also determined with a high precision.


title: A Phenomenological Approach to Interactive Knot Diagrams

abstract: Knot diagrams are among the most common visual tools in topology. Computer programs now make it possible to draw, manipulate and render them digitally, which proves to be useful in knot theory teaching and research. Still, an openly available tool to manipulate knot diagrams in a real-time, interactive way is yet to be developed. We introduce a method of operating on the geometry of the knot diagram itself without any underlying three-dimensional structure that can underpin such an application. This allows us to directly interact with vector graphics knot diagrams while at the same time computing knot invariants in ways proposed by previous work. An implementation of this method is provided.


title: Quantum Walk Comb in a Fast Gain Laser

abstract: Synthetic lattices in photonics enable the exploration of light states in new dimensions, transcending phenomena common only to physical space. We propose and demonstrate a Quantum Walk Laser in synthetic frequency space formed by externally modulating a ring-shaped semiconductor laser with ultrafast recovery times. In this device, the initially ballistic quantum walk does not dissipate into low supermode states of the synthetic lattice; instead, thanks to the fast-gain nonlinearity of our quantum cascade laser active material, the state stabilizes in a broad frequency comb, unlocking the full potential of the lattice. This device produces a low-noise, nearly-flat broadband comb (reaching 100 cm$^{-1}$ bandwidth), well predicted by our models. The proposed Quantum Walk Laser offers a promising platform to generate broadband, tunable and stable frequency combs.


title: Fermionic quantum computation with Cooper pair splitters

abstract: We propose a practical implementation of a universal quantum computer that uses local fermionic modes (LFM) rather than qubits. The device layout consists of quantum dots tunnel coupled by a hybrid superconducting island and a tunable capacitive coupling between the dots. We show that coherent control of Cooper pair splitting, elastic cotunneling, and Coulomb interactions allows us to implement the universal set of quantum gates defined by Bravyi and Kitaev. Due to the similarity with charge qubits, we expect charge noise to be the main source of decoherence. For this reason, we also consider an alternative design where the quantum dots have tunable coupling to the superconductor. In this second device design, we show that there is a sweetspot for which the local fermionic modes are charge neutral, making the device insensitive to charge noise effects. Finally, we compare both designs and their experimental limitations and suggest future efforts to overcome them.


title: Account Abstraction, Analysed

abstract: Ethereum recently unveiled its upcoming roadmap's \textit{Splurge} phase, highlighting the integration of EIP-\hlhref{https://eips.ethereum.org/EIPS/eip-3074}{4337} as a foundational standard for account abstraction (AA). AA aims to enhance user accessibility and facilitate the expansion of functionalities. Anticipatedly, the deployment of AA is poised to attract a broad spectrum of new users and ignite further innovation in DApps. In this paper, we elucidate the underlying operating mechanisms of this new concept, as well as provide a review of concurrent advancements in accounts, wallets, and standards related to its development. We step further by conducting a preliminary security evaluation to qualitatively assess the extent of security enhancements achieved through AA updates.


title: The evolution of the cold gas fraction in nearby clusters ram-pressure stripped galaxies

abstract: Cluster galaxies are affected by the surrounding environment, which influences, in particular, their gas, stellar content and morphology. In particular, the ram-pressure exerted by the intracluster medium promotes the formation of multi-phase tails of stripped gas detectable both at optical wavelengths and in the sub-mm and radio regimes, tracing the cold molecular and atomic gas components, respectively. In this work we analyze a sample of sixteen galaxies belonging to clusters at redshift $\sim 0.05$ showing evidence of an asymmetric HI morphology (based on MeerKAT observations) with and without a star forming tail. To this sample we add three galaxies with evidence of a star forming tail and no HI detection. Here we present the galaxies $\rm H_{2}$ gas content from APEX observations of the CO(2-1) emission. We find that in most galaxies with a star forming tail the $\rm H_{2}$ global content is enhanced with respect to undisturbed field galaxies with similar stellar masses, suggesting an evolutionary path driven by the ram-pressure stripping. As galaxies enter into the clusters their HI is displaced but also partially converted into $\rm H_{2}$, so that they are $\rm H_{2}$ enriched when they pass close to the pericenter, i. e. when they develop the star forming tails that are visible in UV/B broad bands and in H$\alpha$ emission. An inspection of the phase-space diagram for our sample suggests an anticorrelation between the HI and $\rm H_{2}$ gas phases as galaxies fall into the cluster potential. This peculiar behaviour is a key signature of the ram-pressure stripping in action.


title: When is the inverse of an invertible convex function itself convex?

abstract: We provide a sufficient condition for an invertible (locally strongly) convex vector-valued function on $\mathbb{R}^N$ to have a (locally strongly) convex inverse. We show under suitable conditions that if the gradient of each component of the inverse has negative entries, then this inverse is (locally strongly) convex if the original is.


title: Unsupervised bias discovery in medical image segmentation

abstract: It has recently been shown that deep learning models for anatomical segmentation in medical images can exhibit biases against certain sub-populations defined in terms of protected attributes like sex or ethnicity. In this context, auditing fairness of deep segmentation models becomes crucial. However, such audit process generally requires access to ground-truth segmentation masks for the target population, which may not always be available, especially when going from development to deployment. Here we propose a new method to anticipate model biases in biomedical image segmentation in the absence of ground-truth annotations. Our unsupervised bias discovery method leverages the reverse classification accuracy framework to estimate segmentation quality. Through numerical experiments in synthetic and realistic scenarios we show how our method is able to successfully anticipate fairness issues in the absence of ground-truth labels, constituting a novel and valuable tool in this field.


title: Improving NLO QCD event generators with high-energy EW corrections

abstract: In this work we present a new approach for the combination of electroweak (EW) corrections at high energies, the so-called EW Sudakov logarithms (EWSL), and next-to-leading-order QCD predictions matched to parton-shower simulations (NLO+PS). Our approach is based on a reweighting procedure of NLO+PS events. In particular, both events with and without an extra hard emission from matrix elements are consistently reweighted via the inclusion of the corresponding EWSL contribution. We describe the technical details and the implementation in the MadGraph5_aMC@NLO framework. Via a completely automated procedure, events at this new level of accuracy can be obtained for a vast class of hadroproduction processes. As a byproduct we provide results for phenomenologically relevant physical distributions from top-quark pair and Higgs boson associated production ($t\overline{t}H$) and from the associated production of three $Z$ gauge bosons ($ZZZ$).


title: Learning the Imaging Model of Speed-of-Sound Reconstruction via a Convolutional Formulation

abstract: Speed-of-sound (SoS) is an emerging ultrasound contrast modality, where pulse-echo techniques using conventional transducers offer multiple benefits. For estimating tissue SoS distributions, spatial domain reconstruction from relative speckle shifts between different beamforming sequences is a promising approach. This operates based on a forward model that relates the sought local values of SoS to observed speckle shifts, for which the associated image reconstruction inverse problem is solved. The reconstruction accuracy thus highly depends on the hand-crafted forward imaging model. In this work, we propose to learn the SoS imaging model based on data. We introduce a convolutional formulation of the pulse-echo SoS imaging problem such that the entire field-of-view requires a single unified kernel, the learning of which is then tractable and robust. We present least-squares estimation of such convolutional kernel, which can further be constrained and regularized for numerical stability. In experiments, we show that a forward model learned from k-Wave simulations improves the median contrast of SoS reconstructions by 63%, compared to a conventional hand-crafted line-based wave-path model. This simulation-learned model generalizes successfully to acquired phantom data, nearly doubling the SoS contrast compared to the conventional hand-crafted alternative. We demonstrate equipment-specific and small-data regime feasibility by learning a forward model from a single phantom image, where our learned model quadruples the SoS contrast compared to the conventional hand-crafted model. On in-vivo data, the simulation- and phantom-learned models respectively exhibit impressive 7 and 10 folds contrast improvements over the conventional model.


title: CoNeTTE: An efficient Audio Captioning system leveraging multiple datasets with Task Embedding

abstract: Automated Audio Captioning (AAC) involves generating natural language descriptions of audio content, using encoder-decoder architectures. An audio encoder produces audio embeddings fed to a decoder, usually a Transformer decoder, for caption generation. In this work, we describe our model, which novelty, compared to existing models, lies in the use of a ConvNeXt architecture as audio encoder, adapted from the vision domain to audio classification. This model, called CNext-trans, achieved state-of-the-art scores on the AudioCaps (AC) dataset and performed competitively on Clotho (CL), while using four to forty times fewer parameters than existing models. We examine potential biases in the AC dataset due to its origin from AudioSet by investigating unbiased encoder's impact on performance. Using the well-known PANN's CNN14, for instance, as an unbiased encoder, we observed a 1.7% absolute reduction in SPIDEr score (where higher scores indicate better performance). To improve cross-dataset performance, we conducted experiments by combining multiple AAC datasets (AC, CL, MACS, WavCaps) for training. Although this strategy enhanced overall model performance across datasets, it still fell short compared to models trained specifically on a single target dataset, indicating the absence of a one-size-fits-all model. To mitigate performance gaps between datasets, we introduced a Task Embedding (TE) token, allowing the model to identify the source dataset for each input sample. We provide insights into the impact of these TEs on both the form (words) and content (sound event types) of the generated captions. The resulting model, named CoNeTTE, an unbiased CNext-trans model enriched with dataset-specific Task Embeddings, achieved SPIDEr scores of 44.1% and 30.5% on AC and CL, respectively. Code available: https://github.com/Labbeti/conette-audio-captioning.


title: Ordering kinetics and steady states of XY-model with ferromagnetic and nematic interaction

abstract: Previous studies on the generalized XY model have concentrated on the equilibrium phase diagram and the equilibrium nature of distinct phases under varying parameter conditions. We direct our attention towards examining the systems evolution towards equilibrium states across different parameter values, specifically by varying the relative strengths of ferromagnetic and nematic interactions. We study the kinetics of the system, using the temporal annihilation of defects at varying temperatures and its impact on the coarsening behavior of the system. For both pure polar and pure nematic systems, we observe temperature-dependent decay of the exponent, leading to a decelerated growth of domains within the system. At parameter values where both ferromagnetic and nematic interactions are simultaneously present, we show a phase diagram highlighting three low-temperature phases : polar, nematic, and coexistence, alongside a high-temperature disordered phase. Our study provides valuable insights into the complex interplay of interactions, offering a comprehensive understanding of the systems behavior during its evolution towards equilibrium.


title: Evaluating Animation Parameters for Morphing Edge Drawings

abstract: Partial edge drawings (PED) of graphs avoid edge crossings by subdividing each edge into three parts and representing only its stubs, i.e., the parts incident to the end-nodes. The morphing edge drawing model (MED) extends the PED drawing style by animations that smoothly morph each edge between its representation as stubs and the one as a fully drawn segment while avoiding new crossings. Participants of a previous study on MED (Misue and Akasaka, GD19) reported eye straining caused by the animation. We conducted a user study to evaluate how this effect is influenced by varying animation speed and animation dynamic by considering an easing technique that is commonly used in web design. Our results provide indications that the easing technique may help users in executing topology-based tasks accurately. The participants also expressed appreciation for the easing and a preference for a slow animation speed.


title: Magnetism, non-Fermi-liquid behavior and deconfinement in Kondo lattices

abstract: A formulation of the effective hybridization model is developed which describes Fermi-liquid Kondo and fractionalized Fermi-liquid (deconfinement spin-liquid-like) states with account of possible magnetic ordering. A unified consideration of charge and magnetic fluctuation is performed within perturbation theory in hybridization and within gauge field treatment. The corresponding contributions to specific heat and resistivity are compared.


title: Aerodynamic Characterization of a Fan Array Wind Generator

abstract: Experimental assessment of safe and precise flight control algorithms for unmanned aerial vehicles (UAVs) under gusty wind conditions requires the capability to generate a large range of velocity profiles. In this study, we employ a small fan array wind generator which can generate flows with large spatial and temporal variability. We perform a thorough aerodynamic characterization operating the fans uniformly from a low to the maximum level. PIV and hot-wire measurements indicate a jet-like flow with nearly uniform core which monotonously contracts in streamwise direction and surrounding growing unsteady shear-layers. These complex dynamics results in a limited region with desired flow profile and turbulence level. The experimental results shed light on the flow generated by a full-scale fan array wind generator, and indicate the need for further improvements via properly designed add-ons and dedicated control algorithms.


title: Faint [CI](1-0) emission in z $\sim$ 3.5 radio galaxies

abstract: We present Atacama Large Millimeter/sub-millimeter Array (ALMA) neutral carbon, [C I](1-0), line observations that probe molecular hydrogen gas (H$_2$) within seven radio galaxies at $z = 2.9 - 4.5$ surrounded by extended ($\gtrsim100$ kpc) Ly-$\alpha$ nebulae. We extract [C I](1-0) emission from the radio-active galactic nuclei (AGN) host galaxies whose positions are set by near-infrared detections and radio detections of the cores. Additionally, we place constraints on the galaxies' systemic redshifts via He II $\lambda$1640 lines seen with the Multi-Unit Spectroscopic Explorer (MUSE). We detect faint [C I] emission in four out of seven sources. In two of these galaxies, we discover narrow line emission of full width at half maximum $\lesssim100$ km s$^{-1}$ which may trace emission from bright kpc-scale gas clouds within the ISM. In the other two [C I]-detected galaxies, line dispersions range from $\sim100 - 600$ km s$^{-1}$ and may be tracing the rotational component of the cold gas. Overall, the [C I] line luminosities correspond to H$_2$ masses of M$_{\rm H_2,[C I]} \simeq (0.5 - 3) \times 10^{10} M_\odot$ for the detections and M$_{H_2,[C I]} < 0.65 \times 10^{10} M_\odot$ for the [C I] non-detections in three out of seven galaxies within the sample. The molecular gas masses in our sample are relatively low in comparison to previously reported measures for similar galaxies which are M$_{H_2,[C I]} \simeq (3 - 4) \times 10^{10}.$ Our results imply that the observed faintness in carbon emission is representative of a decline in molecular gas supply from previous star-formation epochs and/or a displacement of molecular gas from the ISM due to jet-powered outflows.


title: dacl10k: Benchmark for Semantic Bridge Damage Segmentation

abstract: Reliably identifying reinforced concrete defects (RCDs)plays a crucial role in assessing the structural integrity, traffic safety, and long-term durability of concrete bridges, which represent the most common bridge type worldwide. Nevertheless, available datasets for the recognition of RCDs are small in terms of size and class variety, which questions their usability in real-world scenarios and their role as a benchmark. Our contribution to this problem is "dacl10k", an exceptionally diverse RCD dataset for multi-label semantic segmentation comprising 9,920 images deriving from real-world bridge inspections. dacl10k distinguishes 12 damage classes as well as 6 bridge components that play a key role in the building assessment and recommending actions, such as restoration works, traffic load limitations or bridge closures. In addition, we examine baseline models for dacl10k which are subsequently evaluated. The best model achieves a mean intersection-over-union of 0.42 on the test set. dacl10k, along with our baselines, will be openly accessible to researchers and practitioners, representing the currently biggest dataset regarding number of images and class diversity for semantic segmentation in the bridge inspection domain.


title: The miniJPAS survey quasar selection IV: Classification and redshift estimation with SQUEzE

abstract: We present a list of quasar candidates including photometric redshift estimates from the miniJPAS Data Release constructed using SQUEzE. This work is based on machine-learning classification of photometric data of quasar candidates using SQUEzE. It has the advantage that its classification procedure can be explained to some extent, making it less of a `black box' when compared with other classifiers. Another key advantage is that using user-defined metrics means the user has more control over the classification. While SQUEzE was designed for spectroscopic data, here we adapt it for multi-band photometric data, i.e. we treat multiple narrow-band filters as very low-resolution spectra. We train our models using specialized mocks from Queiroz et al. (2022). We estimate our redshift precision using the normalized median absolute deviation, $\sigma_{\rm NMAD}$ applied to our test sample. Our test sample returns an $f_1$ score (effectively the purity and completeness) of 0.49 for quasars down to magnitude $r=24.3$ with $z\geq2.1$ and 0.24 for quasars with $z<2.1$. For high-z quasars, this goes up to 0.9 for $r<21.0$. We present two catalogues of quasar candidates including redshift estimates: 301 from point-like sources and 1049 when also including extended sources. We discuss the impact of including extended sources in our predictions (they are not included in the mocks), as well as the impact of changing the noise model of the mocks. We also give an explanation of SQUEzE reasoning. Our estimates for the redshift precision using the test sample indicate a $\sigma_{NMAD}=0.92\%$ for the entire sample, reduced to 0.81\% for $r<22.5$ and 0.74\% for $r<21.3$. Spectroscopic follow-up of the candidates is required in order to confirm the validity of our findings.


title: New metrics for analyzing continual learners

abstract: Deep neural networks have shown remarkable performance when trained on independent and identically distributed data from a fixed set of classes. However, in real-world scenarios, it can be desirable to train models on a continuous stream of data where multiple classification tasks are presented sequentially. This scenario, known as Continual Learning (CL) poses challenges to standard learning algorithms which struggle to maintain knowledge of old tasks while learning new ones. This stability-plasticity dilemma remains central to CL and multiple metrics have been proposed to adequately measure stability and plasticity separately. However, none considers the increasing difficulty of the classification task, which inherently results in performance loss for any model. In that sense, we analyze some limitations of current metrics and identify the presence of setup-induced forgetting. Therefore, we propose new metrics that account for the task's increasing difficulty. Through experiments on benchmark datasets, we demonstrate that our proposed metrics can provide new insights into the stability-plasticity trade-off achieved by models in the continual learning environment.


title: On the flow of perfect energy tensors

abstract: The necessary and sufficient conditions are obtained for a unit time-like vector field $u$ to be the unit velocity of a divergence-free perfect fluid energy tensor. This plainly kinematic description of a conservative perfect fluid requires considering eighteen classes defined by differential concomitants of $u$. For each of these classes, we get the additional constraints that label the flow of a conservative energy tensor, and we obtain the pairs of functions $\{\rho,p\}$, energy density and pressure, which complete a solution to the conservation equations.


title: A Theoretical and Practical Framework for Evaluating Uncertainty Calibration in Object Detection

abstract: The proliferation of Deep Neural Networks has resulted in machine learning systems becoming increasingly more present in various real-world applications. Consequently, there is a growing demand for highly reliable models in many domains, making the problem of uncertainty calibration pivotal when considering the future of deep learning. This is especially true when considering object detection systems, that are commonly present in safety-critical applications such as autonomous driving, robotics and medical diagnosis. For this reason, this work presents a novel theoretical and practical framework to evaluate object detection systems in the context of uncertainty calibration. This encompasses a new comprehensive formulation of this concept through distinct formal definitions, and also three novel evaluation metrics derived from such theoretical foundation. The robustness of the proposed uncertainty calibration metrics is shown through a series of representative experiments.


title: A FAIR File Format for Mathematical Software

abstract: We describe a generic JSON based file format which is suitable for computations in computer algebra. This is implemented in the computer algebra system OSCAR, but we also indicate how it can be used in a different context.


title: Submanifolds with constant Moebius curvature and flat normal bundle

abstract: We classify isometric immersions $f\colon M^{n}\to \mathbb{R}^{n+p}$, $n \geq 5$ and $2p \leq n$, with constant Moebius curvature and flat normal bundle.


title: Bumpless pipe dreams meet Puzzles

abstract: Knutson and Zinn-Justin recently found a puzzle rule for the expansion of the product $\mathfrak{G}_{u}(x,t)\cdot \mathfrak{G}_{v}(x,t)$ of two double Grothendieck polynomials indexed by permutations with separated descents. We establish its triple Schubert calculus version in the sense of Knutson and Tao, namely, a formula for expanding $\mathfrak{G}_{u}(x,y)\cdot \mathfrak{G}_{v}(x,t)$ in different secondary variables. Our rule is formulated in terms of pipe puzzles, incorporating both the structures of bumpless pipe dreams and classical puzzles. As direct applications, we recover the separated-descent puzzle formula by Knutson and Zinn-Justin (by setting $y=t$) and the bumpless pipe dream model of double Grothendieck polynomials by Weigandt (by setting $v=\operatorname{id}$ and $x=t$). Moreover, we utilize the formula to partially confirm a positivity conjecture of Kirillov about applying a skew operator to a Schubert polynomial.


title: An Improved Encoder-Decoder Framework for Food Energy Estimation

abstract: Dietary assessment is essential to maintaining a healthy lifestyle. Automatic image-based dietary assessment is a growing field of research due to the increasing prevalence of image capturing devices (e.g. mobile phones). In this work, we estimate food energy from a single monocular image, a difficult task due to the limited hard-to-extract amount of energy information present in an image. To do so, we employ an improved encoder-decoder framework for energy estimation; the encoder transforms the image into a representation embedded with food energy information in an easier-to-extract format, which the decoder then extracts the energy information from. To implement our method, we compile a high-quality food image dataset verified by registered dietitians containing eating scene images, food-item segmentation masks, and ground truth calorie values. Our method improves upon previous caloric estimation methods by over 10\% and 30 kCal in terms of MAPE and MAE respectively.


title: Impact of Se concentration and distribution on topological transition in FeTe1-xSex crystals

abstract: A topological transition in high-temperature superconductors FeTe1-xSex, occurring at a critical range of Se concentration x, underlies their intrinsic topological superconductivity and emergence of Majorana states within vortices. Nonetheless, the influence of Se concentration and distribution on the electronic states in FeTe1-xSex remains unclear, particularly concerning their relationship with the presence or absence of Majorana states. In this study, we combine density functional theory (DFT) calculations, pz-dxz/yz-based and Wannier-based Hamiltonian analysis to systematically explore the electronic structures of diverse FeTe1-xSex compositions. Our investigation reveals a nonlinear variation of the spin-orbit coupling (SOC) gap between pz and dxz/yz bands in response to x, with the maximum gap occurring at x = 0.5. The pz-pz and dx2-y2-pz interactions are found to be critical for pd band inversion. Furthermore, we ascertain that the distribution of Se significantly modulates the SOC gap, thereby influencing the presence or absence of Majorana states within local vortices.


title: Deep Joint Source-Channel Coding for Adaptive Image Transmission over MIMO Channels

abstract: This paper introduces a vision transformer (ViT)-based deep joint source and channel coding (DeepJSCC) scheme for wireless image transmission over multiple-input multiple-output (MIMO) channels, denoted as DeepJSCC-MIMO. We consider DeepJSCC-MIMO for adaptive image transmission in both open-loop and closed-loop MIMO systems. The novel DeepJSCC-MIMO architecture surpasses the classical separation-based benchmarks with robustness to channel estimation errors and showcases remarkable flexibility in adapting to diverse channel conditions and antenna numbers without requiring retraining. Specifically, by harnessing the self-attention mechanism of ViT, DeepJSCC-MIMO intelligently learns feature mapping and power allocation strategies tailored to the unique characteristics of the source image and prevailing channel conditions. Extensive numerical experiments validate the significant improvements in transmission quality achieved by DeepJSCC-MIMO for both open-loop and closed-loop MIMO systems across a wide range of scenarios. Moreover, DeepJSCC-MIMO exhibits robustness to varying channel conditions, channel estimation errors, and different antenna numbers, making it an appealing solution for emerging semantic communication systems.


title: Lithium depletion in solar analogs: age and mass effects

abstract: The main goal of this work is to evaluate the correlation between Li abundance, age, and mass. Using high-quality ESO/HARPS data (R $\simeq$ 115 000; 270 $\leq$ SNR $\leq$ 1000), we measured Li abundances via spectral synthesis of the 6707.8 \r{A} $^7$Li line in 74 solar twins and analogs. Our joint analysis of 151 Sun-like stars (72 from our sample plus 79 solar twins from a previous study) confirms the strong Li abundance-age correlation reported by other works. Mass and convective envelope size also seem to be connected with Li abundance but with lower significance. We have found a link between the presence of planets and low Li abundances in a sample of 192 stars with a high significance. Our results agree qualitatively with non-standard models, and indicate that several extra transport mechanisms must be taken into account to explain the behaviour of Li abundance for stars with different masses and ages.


title: General and Practical Tuning Method for Off-the-Shelf Graph-Based Index: SISAP Indexing Challenge Report by Team UTokyo

abstract: Despite the efficacy of graph-based algorithms for Approximate Nearest Neighbor (ANN) searches, the optimal tuning of such systems remains unclear. This study introduces a method to tune the performance of off-the-shelf graph-based indexes, focusing on the dimension of vectors, database size, and entry points of graph traversal. We utilize a black-box optimization algorithm to perform integrated tuning to meet the required levels of recall and Queries Per Second (QPS). We applied our approach to Task A of the SISAP 2023 Indexing Challenge and got second place in the 10M and 30M tracks. It improves performance substantially compared to brute force methods. This research offers a universally applicable tuning method for graph-based indexes, extending beyond the specific conditions of the competition to broader uses.


title: A Retrofit Sensing Strategy for Soft Fluidic Robots

abstract: Soft robots are intrinsically capable of adapting to different environments by changing their shape in response to interaction forces with the environment. However, sensing and feedback are still required for higher level decisions and autonomy. Most sensing technologies developed for soft robots involve the integration of separate sensing elements in soft actuators, which presents a considerable challenge for both the fabrication and robustness of soft robots due to the interface between hard and soft components and the complexity of the assembly. To circumvent this, here we present a versatile sensing strategy that can be retrofitted to existing soft fluidic devices without the need for design changes. We achieve this by measuring the fluidic input that is required to activate a soft actuator and relating this input to its deformed state during interaction with the environment. We demonstrate the versatility of our sensing strategy by tactile sensing of the size, shape, surface roughness and stiffness of objects. Moreover, we demonstrate our approach by retrofitting it to a range of existing pneumatic soft actuators and grippers powered by positive and negative pressure. Finally, we show the robustness of our fluidic sensing strategy in closed-loop control of a soft gripper for practical applications such as sorting, fruit picking and ripeness detection. Based on these results, we conclude that as long as the interaction of the actuator with the environment results in a shape change of the interval volume, soft fluidic actuators require no embedded sensors and design modifications to implement useful sensing. We believe that the relative simplicity, versatility, broad applicability and robustness of our sensing strategy will catalyze new functionalities in soft interactive devices and systems, thereby accelerating the use of soft robotics in real world applications.