title: The thickness of galaxy disks from z=5 to 0 probed by JWST

abstract: Although thick disk is a structure prevalent in local disk galaxies and also present in our home Galaxy, its formation and evolution is still unclear. Whether the thick disk is born thick and/or gradually heated to be thick after formation is under debate. To disentangle these two scenarios, one effective approach is to inspect the thickness of young disk galaxies in the high redshift Universe. In this work we study the vertical structure of 191 edge-on galaxies spanning redshift from 0.2 to 5 using JWST NIRCAM imaging observations. For each galaxy, we retrieve the vertical surface brightness profile at 1 ${R_e}$ and fit a sech$^2$ function that has been convolved with the line spread function. The obtained scale height of galaxies at $z>1.5$ show no clear dependence on redshift, with a median value in remarkable agreement with that of the Milky Way's thick disk. This suggests that local thick disks are already thick when they were formed in the early times and secular heating is unlikely the main driver of thick disk formation. For galaxies at $z<1.5$, however, the disk scale height decreases systematically towards lower redshift, with low-redshift galaxies having comparable scale height with that of the Milky Way's thin disk. This cosmic evolution of disk thickness favors an upside-down formation scenario of galaxy disks.


title: Solving Large-Scale Electricity Market Pricing Problems in Polynomial Time

abstract: Electricity market operators worldwide use mixed-integer linear programming to solve the allocation problem in wholesale electricity markets. Prices are typically determined based on the duals of relaxed versions of this optimization problem. The resulting outcomes are efficient, but market operators must pay out-of-market uplifts to some market participants and incur a considerable budget deficit that was criticized by regulators. As the share of renewables increases, the number of market participants will grow, leading to larger optimization problems and runtime issues. At the same time, non-convexities will continue to matter e.g., due to ramping constraints of the generators required to address the variability of renewables or non-convex curtailment costs. We draw on recent theoretical advances in the approximation of competitive equilibrium to compute allocations and prices in electricity markets using convex optimization. The proposed mechanism promises approximate efficiency, no budget deficit, and computational tractability. We present experimental results for this new mechanism in the context of electricity markets, and compare the runtimes, the average efficiency loss of the method, and the uplifts paid with standard pricing rules. We find that the computations with the new algorithm are considerably fast for relevant problem sizes. In general, the computational advantages come at the cost of efficiency losses and a price markup for the demand side. Interestingly, both are small with realistic problem instances. Importantly, the market operator does not incur a budget deficit and the uplifts paid to market participants are significantly lower compared to standard pricing rules.


title: Branching Brownian motion deactivated at the boundary of an expanding ball

abstract: We study a $d$-dimensional branching Brownian motion inside subdiffusively expanding balls, where the boundary of the ball is deactivating in the sense that once a particle hits the moving boundary, it is instantly deactivated but is reactivated later if and when its ancestral line becomes fully inside the expanding ball at that later time. That is, at each time, the process consists of the particles of a normal branching Brownian motion whose ancestral lines are fully inside the expanding ball at that time. We obtain a full limit large-deviation result as time tends to infinity on the probability that the mass of the process inside the expanding ball is aytpically small. A phase transition at a critical rate of expansion for the ball is identified, at which the nature of the optimal strategy to realize the large-deviation event changes, and the Lyapunov exponent giving the decay rate of the associated large-deviation probability is continuous. As a corollary, we also obtain a kind of law of large numbers for the mass of the process inside the expanding ball.


title: The complex heavy quark potential in an anisotropic quark-gluon plasma

abstract: We present a technique to represent anisotropic heavy-quark potentials as effective potentials. This involves employing an effective screening mass linked to the quantum numbers $l$ and $m$ of a specific state. Our approach utilizes the resulting 1D effective potential model, enabling the solution of a 1D Schr\"odinger equation. Remarkably, this model accurately reproduces the energies and binding energies of low-lying heavy-quarkonium bound states in 3D, including the differentiation of various p-wave polarizations. The derived 1D effective model offers a means to incorporate momentum anisotropy effects into simulations of heavy-quarkonium dynamics in the quark-gluon plasma within open quantum systems.


title: Probing the black holes in a dark matter halo of M87 using gravitational wave echoes

abstract: Variations at the event horizon structure of a black hole will emit the signals of the gravitational wave echoes associated with the ringdown phase of the binary black hole merger. In this work, combining the mass model of M87 and the Einasto profile for a dark matter halo, we construct one solution of the black holes in a dark matter halo through the relativistic analysis, which includes black hole for the case $a \leq 2M$ and the travesable wormhole for the case $a>2M$. Then, we test this solution in the axial gravitational perturbation and calculated their gravitational ringings of this black hole, that is the quasinormal mode (QNM). Where, when the geometric parameter $a>2M$, a series of gravitational wave echoes appear after the QNM, and the distinctive feature of the gravitational wave echoes is the double barrier feature. Besides, we also study the impacts of the shape parameters of the Einasto profile both on the QNM and gravitational wave echoes of this black hole, and extract their frequencies using the WKB method and Prony method. In particular, from the perspective that the QNM frequencies between different black hole parameters are distinguishable, we give an upper limit for the shape parameters of the Einasto profile, which is approximately $\alpha<0.20$. These signals of the gravitational wave echoes based on this black hole in a dark matter halo may be detected in the near future, and these characteristics in the time evolution of the gravitational wave echoes can serve as local measurements of dark matter.


title: Motion Planning and Control of A Morphing Quadrotor in Restricted Scenarios

abstract: Morphing quadrotors with four external actuators can adapt to different restricted scenarios by changing their geometric structure. However, previous works mainly focus on the improvements in structures and controllers, and existing planning algorithms don't consider the morphological modifications, which leads to safety and dynamic feasibility issues. In this paper, we propose a unified planning and control framework for morphing quadrotors to deform autonomously and efficiently. The framework consists of a milliseconds-level spatial-temporal trajectory optimizer that takes into account the morphological modifications of quadrotors. The optimizer can generate full-body safety trajectories including position and attitude. Additionally, it incorporates a nonlinear attitude controller that accounts for aerodynamic drag and dynamically adjusts dynamic parameters such as the inertia tensor and Center of Gravity. The controller can also online compute the thrust coefficient during morphing. Benchmark experiments compared with existing methods validate the robustness of the proposed controller. Extensive simulations and real-world experiments are performed to demonstrate the effectiveness of the proposed framework.


title: CSI-Based Cross-Domain Activity Recognition via Zero-Shot Prototypical Networks

abstract: The cross-domain capability of wireless sensing is currently one of the major challenges on human activity recognition (HAR) based on the channel state information (CSI) of wireless signals. The difficulty of labeling samples from new domains has encouraged the use of few and zero shot strategies. In this context, prototype networks have attracted attention due to their reasonable cross-domain transferability. This paper presents a novel zero-shot prototype recurrent convolutional network that implements a zero-shot learning strategy for HAR via CSI. This method extracts the prototypes from an available source domain to classify unseen and unlabeled data from the target domain for the same or similar classes. The experiments have been developed using three datasets with real measurements, and the results include an inter-datasets evaluation. Overall, the results improve the state of the art and make it a promising solution for cross-domain HAR.


title: On the Potential of an Independent Avatar to Augment Metaverse Social Networks

abstract: We present a computational modelling approach which targets capturing the specifics on how to virtually augment a Metaverse user's available social time capacity via using an independent and autonomous version of her digital representation in the Metaverse. We motivate why this is a fundamental building block to model large-scale social networks in the Metaverse, and emerging properties herein. We envision a Metaverse-focused extension of the traditional avatar concept: An avatar can be as well programmed to operate independently when its user is not controlling it directly, thus turning it into an agent-based digital human representation. This way, we highlight how such an independent avatar could help its user to better navigate their social relationships and optimize their socializing time in the Metaverse by (partly) offloading some interactions to the avatar. We model the setting and identify the characteristic variables by using selected concepts from social sciences: ego networks, social presence, and social cues. Then, we formulate the problem of maximizing the user's non-avatar-mediated spare time as a linear optimization. Finally, we analyze the feasible region of the problem and we present some initial insights on the spare time that can be achieved for different parameter values of the avatar-mediated interactions.


title: A generalization of a result of Minakshisundaram and Pleijel

abstract: Minakshisundaram and Pleijel gave an asymptotic formula for the sum of squares of the pointwise values of the eigenfunctions of the Laplace-Beltrami operator on a compact Riemannian manifold, with eigenvalues less than a fixed number. Here, a generalization is given, where the pointwise values are replaced by the Fourier coefficients of a smooth measure supported on a compact submanifold.


title: Spatial-Contextual Discrepancy Information Compensation for GAN Inversion

abstract: Most existing GAN inversion methods either achieve accurate reconstruction but lack editability or offer strong editability at the cost of fidelity. Hence, how to balance the distortioneditability trade-off is a significant challenge for GAN inversion. To address this challenge, we introduce a novel spatial-contextual discrepancy information compensationbased GAN-inversion method (SDIC), which consists of a discrepancy information prediction network (DIPN) and a discrepancy information compensation network (DICN). SDIC follows a "compensate-and-edit" paradigm and successfully bridges the gap in image details between the original image and the reconstructed/edited image. On the one hand, DIPN encodes the multi-level spatial-contextual information of the original and initial reconstructed images and then predicts a spatial-contextual guided discrepancy map with two hourglass modules. In this way, a reliable discrepancy map that models the contextual relationship and captures finegrained image details is learned. On the other hand, DICN incorporates the predicted discrepancy information into both the latent code and the GAN generator with different transformations, generating high-quality reconstructed/edited images. This effectively compensates for the loss of image details during GAN inversion. Both quantitative and qualitative experiments demonstrate that our proposed method achieves the excellent distortion-editability trade-off at a fast inference speed for both image inversion and editing tasks.


title: Proving the stability estimates of variational least-squares Kernel-Based methods

abstract: Motivated by the need for the rigorous analysis of the numerical stability of variational least-squares kernel-based methods for solving second-order elliptic partial differential equations, we provide previously lacking stability inequalities. This fills a significant theoretical gap in the previous work [Comput. Math. Appl. 103 (2021) 1-11], which provided error estimates based on a conjecture on the stability. With the stability estimate now rigorously proven, we complete the theoretical foundations and compare the convergence behavior to the proven rates. Furthermore, we establish another stability inequality involving weighted-discrete norms, and provide a theoretical proof demonstrating that the exact quadrature weights are not necessary for the weighted least-squares kernel-based collocation method to converge. Our novel theoretical insights are validated by numerical examples, which showcase the relative efficiency and accuracy of these methods on data sets with large mesh ratios. The results confirm our theoretical predictions regarding the performance of variational least-squares kernel-based method, least-squares kernel-based collocation method, and our new weighted least-squares kernel-based collocation method. Most importantly, our results demonstrate that all methods converge at the same rate, validating the convergence theory of weighted least-squares in our proven theories.


title: Giant X-ray circular dichroism in a time-reversal invariant altermagnet

abstract: X-ray circular dichroism, arising from the contrast in X-ray absorption between opposite photon helicities, serves as a spectroscopic tool to measure the magnetization of ferromagnetic materials and identify the handedness of chiral crystals. Antiferromagnets with crystallographic chirality typically lack X-ray magnetic circular dichroism because of time-reversal symmetry, yet exhibit weak X-ray natural circular dichroism. Here, we report the observation of giant natural circular dichroism in the Ni $L_3$-edge X-ray absorption of Ni$_3$TeO$_6$, a polar and chiral antiferromagnet with effective time-reversal symmetry. To unravel this intriguing phenomenon, we propose a phenomenological model that classifies the movement of photons in a chiral crystal within the same symmetry class as that of a magnetic field. The coupling of X-ray polarization with the induced magnetization yields giant X-ray natural circular dichroism, revealing the altermagnetism of Ni$_3$TeO$_6$. Our findings provide evidence for the interplay between magnetism and crystal chirality in natural optical activity. Additionally, we establish the first example of a new class of magnetic materials exhibiting circular dichroism with time-reversal symmetry.


title: Continual Learning through Networks Splitting and Merging with Dreaming-Meta-Weighted Model Fusion

abstract: It's challenging to balance the networks stability and plasticity in continual learning scenarios, considering stability suffers from the update of model and plasticity benefits from it. Existing works usually focus more on the stability and restrict the learning plasticity of later tasks to avoid catastrophic forgetting of learned knowledge. Differently, we propose a continual learning method named Split2MetaFusion which can achieve better trade-off by employing a two-stage strategy: splitting and meta-weighted fusion. In this strategy, a slow model with better stability, and a fast model with better plasticity are learned sequentially at the splitting stage. Then stability and plasticity are both kept by fusing the two models in an adaptive manner. Towards this end, we design an optimizer named Task-Preferred Null Space Projector(TPNSP) to the slow learning process for narrowing the fusion gap. To achieve better model fusion, we further design a Dreaming-Meta-Weighted fusion policy for better maintaining the old and new knowledge simultaneously, which doesn't require to use the previous datasets. Experimental results and analysis reported in this work demonstrate the superiority of the proposed method for maintaining networks stability and keeping its plasticity. Our code will be released.


title: GNBG: A Generalized and Configurable Benchmark Generator for Continuous Numerical Optimization

abstract: As optimization challenges continue to evolve, so too must our tools and understanding. To effectively assess, validate, and compare optimization algorithms, it is crucial to use a benchmark test suite that encompasses a diverse range of problem instances with various characteristics. Traditional benchmark suites often consist of numerous fixed test functions, making it challenging to align these with specific research objectives, such as the systematic evaluation of algorithms under controllable conditions. This paper introduces the Generalized Numerical Benchmark Generator (GNBG) for single-objective, box-constrained, continuous numerical optimization. Unlike existing approaches that rely on multiple baseline functions and transformations, GNBG utilizes a single, parametric, and configurable baseline function. This design allows for control over various problem characteristics. Researchers using GNBG can generate instances that cover a broad array of morphological features, from unimodal to highly multimodal functions, various local optima patterns, and symmetric to highly asymmetric structures. The generated problems can also vary in separability, variable interaction structures, dimensionality, conditioning, and basin shapes. These customizable features enable the systematic evaluation and comparison of optimization algorithms, allowing researchers to probe their strengths and weaknesses under diverse and controllable conditions.


title: A probabilistic representation of the derivative of a one dimensional killed diffusion semigroup

abstract: We provide a probabilistic representation for the derivative of the semigroup corresponding to a diffusion process killed at the boundary of a half interval. In particular, we show that the derivative of the semi-group can be expressed as the expected value of a functional of a reflected diffusion process. Furthermore, as an application, we obtain a Bismut-Elworthy-Li formula which is also valid at the boundary.


title: Optical to microwave frequency conversion with Rydberg excitons

abstract: A novel, copper-based plasmonic system is presented to provide optical to microwave photon conversion. The process uses highly excited levels in Cu2O Rydberg excitons and takes advantage of spoof plasmons, which allow for significant enhancement of the transition probability between specific excitonic energy levels. The theoretical results are verified with numerical simulations. The proposed system is very flexible, allowing for emission of microwaves wavelength from 0.1 mm to 10 mm.


title: The AI Assessment Scale (AIAS): A Framework for Ethical Integration of Generative AI in Educational Assessment

abstract: Recent developments in Generative Artificial Intelligence (GenAI) have created a paradigm shift in multiple areas of society, and the use of these technologies is likely to become a defining feature of education in coming decades. GenAI offers transformative pedagogical opportunities, while simultaneously posing ethical and academic challenges. Against this backdrop, we outline a practical, simple, and sufficiently comprehensive tool to allow for the integration of GenAI tools into educational assessment: the AI Assessment Scale (AIAS). The AIAS empowers educators to select the appropriate level of GenAI usage in assessments based on the learning outcomes they seek to address. The AIAS offers greater clarity and transparency for students and educators, provides a fair and equitable policy tool for institutions to work with, and offers a nuanced approach which embraces the opportunities of GenAI while recognising that there are instances where such tools may not be pedagogically appropriate or necessary. By adopting a practical, flexible approach that can be implemented quickly, the AIAS can form a much-needed starting point to address the current uncertainty and anxiety regarding GenAI in education. As a secondary objective, we engage with the current literature and advocate for a refocused discourse on GenAI tools in education, one which foregrounds how technologies can help support and enhance teaching and learning, which contrasts with the current focus on GenAI as a facilitator of academic misconduct.


title: Toward Robustness in Multi-label Classification: A Data Augmentation Strategy against Imbalance and Noise

abstract: Multi-label classification poses challenges due to imbalanced and noisy labels in training data. We propose a unified data augmentation method, named BalanceMix, to address these challenges. Our approach includes two samplers for imbalanced labels, generating minority-augmented instances with high diversity. It also refines multi-labels at the label-wise granularity, categorizing noisy labels as clean, re-labeled, or ambiguous for robust optimization. Extensive experiments on three benchmark datasets demonstrate that BalanceMix outperforms existing state-of-the-art methods. We release the code at https://github.com/DISL-Lab/BalanceMix.


title: BED: Bi-Encoder-Decoder Model for Canonical Relation Extraction

abstract: Canonical relation extraction aims to extract relational triples from sentences, where the triple elements (entity pairs and their relationship) are mapped to the knowledge base. Recently, methods based on the encoder-decoder architecture are proposed and achieve promising results. However, these methods cannot well utilize the entity information, which is merely used as augmented training data. Moreover, they are incapable of representing novel entities, since no embeddings have been learned for them. In this paper, we propose a novel framework, Bi-Encoder-Decoder (BED), to solve the above issues. Specifically, to fully utilize entity information, we employ an encoder to encode semantics of this information, leading to high-quality entity representations. For novel entities, given a trained entity encoder, their representations can be easily generated. Experimental results on two datasets show that, our method achieves a significant performance improvement over the previous state-of-the-art and handle novel entities well without retraining.


title: Enhanced Drude weight in a 1D system of fermions with pair hopping events

abstract: In one dimension density-density interactions of particles reduce their mobility and hence the Drude weight, which controls the divergence of the optical conductivity at zero frequency, decreases. We study effects of pair hopping events on this result in a 1D system of spinless fermions. The considered model consists of the usual single-particle hopping and pair hopping terms. In the absence of the density-density interactions, we first show that a variation of the pair hopping amplitude results in a monotonic change of the Drude weight. We next demonstrate that weak nearest-neighbor density-density interactions increase the Drude weight, whereas in the regime of strong interactions the Drude weight decreases as expected. Our numerical findings are supported by bosonization results.


title: Scaling a Variant Calling Genomics Pipeline with FaaS

abstract: With the escalating complexity and volume of genomic data, the capacity of biology institutions' HPC faces limitations. While the Cloud presents a viable solution for short-term elasticity, its intricacies pose challenges for bioinformatics users. Alternatively, serverless computing allows for workload scalability with minimal developer burden. However, porting a scientific application to serverless is not a straightforward process. In this article, we present a Variant Calling genomics pipeline migrated from single-node HPC to a serverless architecture. We describe the inherent challenges of this approach and the engineering efforts required to achieve scalability. We contribute by open-sourcing the pipeline for future systems research and as a scalable user-friendly tool for the bioinformatics community.


title: K2 results for "young" $\alpha$-rich stars in the Galaxy

abstract: The origin of apparently young $\alpha$-rich stars in the Galaxy is still a matter of debate in Galactic archaeology, whether they are genuinely young or might be products of binary evolution and merger/mass accretion. We aim to shed light on the nature of young $\alpha$-rich stars in the Milky Way by studying their distribution in the Galaxy thanks to an unprecedented sample of giant stars that cover different Galactic regions and have precise asteroseismic ages, chemical, and kinematic measurements. We analyze a new sample of $\sim$ 6000 stars with precise ages coming from asteroseismology. Our sample combines the global asteroseismic parameters measured from light curves obtained by the K2 mission with stellar parameters and chemical abundances obtained from APOGEE DR17 and GALAH DR3, then cross-matched with Gaia DR3. We define our sample of young $\alpha$-rich stars and study their chemical, kinematic, and age properties. We investigate young $\alpha$-rich stars in different parts of the Galaxy and we find that the fraction of young $\alpha$-rich stars remains constant with respect to the number of high-$\alpha$ stars at $\sim$ 10%. Furthermore, young $\alpha$-rich stars have kinematic and chemical properties similar to high-$\alpha$ stars, except for [C/N] ratios. This suggests that these stars are not genuinely young, but products of binary evolution and merger/mass accretion. Under that assumption, we find the fraction of these stars in the field to be similar to that found recently in clusters. This fact suggests that $\sim$ 10% of the low-$\alpha$ field stars could also have their ages underestimated by asteroseismology. This should be kept in mind when using asteroseismic ages to interpret results in Galactic archaeology.


title: Normalized ground states for Schr\"odinger equations on metric graphs with nonlinear point defects

abstract: We investigate the existence of normalized ground states for Schr\"odinger equations on noncompact metric graphs in presence of nonlinear point defects, described by nonlinear $\delta$-interactions at some of the vertices of the graph. For graphs with finitely many vertices, we show that ground states exist for every mass and every $L^2$-subcritical power. For graphs with infinitely many vertices, we focus on periodic graphs and, in particular, on $\mathbb{Z}$-periodic graphs and on a prototypical $\mathbb{Z}^2$-periodic graph, the two-dimensional square grid. We provide a set of results unravelling nontrivial threshold phenomena both on the mass and on the nonlinearity power, showing the strong dependence of the ground state problem on the interplay between the degree of periodicity of the graph, the total number of point defects and their dislocation in the graph.


title: TT-RecS: The Taxonomic Trace Recommender System

abstract: Traditional trace links are established directly between source and target artefacts. This requires that the target artefact exists when the trace is established. We introduce the concept of indirect trace links between a source artefact and a knowledge organization structure, e.g. a taxonomy. This allows the creation of links (we call them taxonomic traces) before target artefacts are created. To gauge the viability of this concept and approach, we developed a prototype, TT-RecS, that allows to create such trace links either manually or with the help of a recommender system.


title: Bifurcations of Periodic Orbits in the Generalised Nonlinear Schr\"{o}dinger Equation

abstract: We focus on the existence and persistence of families of saddle periodic orbits in a four-dimensional Hamiltonian reversible ordinary differential equation derived using a travelling wave ansatz from a generalised nonlinear Schr{\"o}dinger equation (GNLSE) with quartic dispersion. In this way, we are able to characterise different saddle periodic orbits with different signatures that serve as organising centres of homoclinic orbits in the ODE and solitons in the GNLSE. To achieve our objectives, we employ numerical continuation techniques to compute these saddle periodic orbits, and study how they organise themselves as surfaces in phase space that undergo changes as a single parameter is varied. Notably, different surfaces of saddle periodic orbits can interact with each other through bifurcations that can drastically change their overall geometry or even create new surfaces of periodic orbits. Particularly we identify three different bifurcations: symmetry-breaking, period-$k$ multiplying, and saddle-node bifurcations. Each bifurcation exhibits a degenerate case, which subsequently gives rise to two bifurcations of the same type that occurs at particular energy levels that vary as a parameter is gradually increased. Additionally, we demonstrate how these degenerate bifurcations induce structural changes in the periodic orbits that can support homoclinic orbits by computing sequences of period-$k$ multiplying bifurcations.


title: Dual Brunn-Minkowski inequality for C-star bodies

abstract: In this paper, we consider the concept of $C$-star body in a fixed pointed closed convex cone $C$ and study the dual mixed volume for $C$-star bodies. For $C$-star bodies, we establish the corresponding dual Brunn-Minkowski inequality, the dual Minkowski inequality and the dual Aleksandrov-Fenchel inequality. Our dual Brunn-Minkowski inequality for $C$-star bodies strengthens Schneider's Brunn-Minkowski inequality for $C$-coconvex sets.


title: Probabilistic representation of the gradient of a killed diffusion semigroup: The half-space case

abstract: We introduce a probabilistic representation of the derivative of the semigroup associated to a multidimensional killed diffusion process defined on the half-space. The semigroup derivative is expressed as a functional of a process that is normally reflected when it hits the hyperplane. The representation of the derivative also involves a matrix-valued process which replaces the Jacobian of the underlying process that appears in the traditional pathwise derivative of a classical diffusion. The components of this matrix-valued process become zero except for those on the first row every time the reflected process touches the boundary. The results in this paper extend those in recent work of the authors, where the one-dimensional case was studied.


title: Asymptotically homogeneous solutions of the supercritical Lane-Emden system

abstract: We consider the Lane-Emden system-$\Delta$u = |v| p-1 v,-$\Delta$v = |u| q-1 u in R d. When p $\ge$ q $\ge$ 1, it is known that there exists a positive radial stable solution (u, v) $\in$ C 2 (R d) if and only if d $\ge$ 11 and (p, q) lies on or above the so-called Joseph-Lundgren curve introduced in [5]. In this paper, we prove that for d $\le$ 10, there is no positive stable solution (or merely stable outside a compact set and (p, q) does not lie on the critical Sobolev hyperbola), while for d $\ge$ 11, the Joseph-Lundgren curve is indeed the dividing line for the existence of such solutions, if one assumes in addition that they are asymptotically homogeneous (see Definition 1 below). Most of our results are optimal improvements of previous works in the litterature.


title: On near orthogonality of certain $k$-vectors involving generalized Ramanujan sums

abstract: The near orthgonality of certain $k$-vectors involving the Ramanujan sums were studied by E. Alkan in [J. Number Theory, 140:147--168 (2014)]. Here we undertake the study of similar vectors involving a generalization of the Ramanujan sums defined by E. Cohen in [Duke Math. J., 16(2):85--90 (1949)]. We also prove that the weighted average $\frac{1}{k^{s(r+1)}}\sum \limits_{j=1}^{k^s}j^rc_k^{(s)}(j)$ remains positve for all $r\geq 1$. Further, we give a lower bound for $\max\limits_{N}\left|\sum \limits_{j=1}^{N^s}c_k^{(s)}(j) \right|$.


title: The compressible Euler system with nonlocal pressure: Global existence and relaxation

abstract: We here investigate a modification of the compressible barotropic Euler system with friction, involving a fuzzy nonlocal pressure term in place of the conventional one. This nonlocal term is parameterized by $\epsilon$ > 0 and formally tends to the classical pressure when $\epsilon$ approaches zero. The central challenge is to establish that this system is a reliable approximation of the classical compressible Euler system. We establish the global existence and uniqueness of regular solutions in the neighborhood of the static state with density 1 and null velocity. Our results are demonstrated independently of the parameter $\epsilon$, which enable us to prove the convergence of solutions to those of the classical Euler system. Another consequence is the rigorous justification of the convergence of the mass equation to various versions of the porous media equation in the asymptotic limit where the friction tends to infinity. Note that our results are demonstrated in the whole space, which necessitates the use of a suitable L^1-in-time space framework.


title: Lightweight high-resolution Subject Matting in the Real World

abstract: Existing saliency object detection (SOD) methods struggle to satisfy fast inference and accurate results simultaneously in high resolution scenes. They are limited by the quality of public datasets and efficient network modules for high-resolution images. To alleviate these issues, we propose to construct a saliency object matting dataset HRSOM and a lightweight network PSUNet. Considering efficient inference of mobile depolyment framework, we design a symmetric pixel shuffle module and a lightweight module TRSU. Compared to 13 SOD methods, the proposed PSUNet has the best objective performance on the high-resolution benchmark dataset. Evaluation results of objective assessment are superior compared to U$^2$Net that has 10 times of parameter amount of our network. On Snapdragon 8 Gen 2 Mobile Platform, inference a single 640$\times$640 image only takes 113ms. And on the subjective assessment, evaluation results are better than the industry benchmark IOS16 (Lift subject from background).


title: Meta-survey on outlier and anomaly detection

abstract: The impact of outliers and anomalies on model estimation and data processing is of paramount importance, as evidenced by the extensive body of research spanning various fields over several decades: thousands of research papers have been published on the subject. As a consequence, numerous reviews, surveys, and textbooks have sought to summarize the existing literature, encompassing a wide range of methods from both the statistical and data mining communities. While these endeavors to organize and summarize the research are invaluable, they face inherent challenges due to the pervasive nature of outliers and anomalies in all data-intensive applications, irrespective of the specific application field or scientific discipline. As a result, the resulting collection of papers remains voluminous and somewhat heterogeneous. To address the need for knowledge organization in this domain, this paper implements the first systematic meta-survey of general surveys and reviews on outlier and anomaly detection. Employing a classical systematic survey approach, the study collects nearly 500 papers using two specialized scientific search engines. From this comprehensive collection, a subset of 56 papers that claim to be general surveys on outlier detection is selected using a snowball search technique to enhance field coverage. A meticulous quality assessment phase further refines the selection to a subset of 25 high-quality general surveys. Using this curated collection, the paper investigates the evolution of the outlier detection field over a 20-year period, revealing emerging themes and methods. Furthermore, an analysis of the surveys sheds light on the survey writing practices adopted by scholars from different communities who have contributed to this field. Finally, the paper delves into several topics where consensus has emerged from the literature. These include taxonomies of outlier types, challenges posed by high-dimensional data, the importance of anomaly scores, the impact of learning conditions, difficulties in benchmarking, and the significance of neural networks. Non-consensual aspects are also discussed, particularly the distinction between local and global outliers and the challenges in organizing detection methods into meaningful taxonomies.


title: Calibration-free quantitative phase imaging in multi-core fiber endoscopes using end-to-end deep learning

abstract: Quantitative phase imaging (QPI) through multi-core fibers (MCFs) has been an emerging in vivo label-free endoscopic imaging modality with minimal invasiveness. However, the computational demands of conventional iterative phase retrieval algorithms have limited their real-time imaging potential. We demonstrate a learning-based MCF phase imaging method, that significantly reduced the phase reconstruction time to 5.5 ms, enabling video-rate imaging at 181 fps. Moreover, we introduce an innovative optical system that automatically generated the first open-source dataset tailored for MCF phase imaging, comprising 50,176 paired speckle and phase images. Our trained deep neural network (DNN) demonstrates robust phase reconstruction performance in experiments with a mean fidelity of up to 99.8\%. Such an efficient fiber phase imaging approach can broaden the applications of QPI in hard-to-reach areas.

categories: physics.optics cs.AI physics.bio-ph physics.comp-ph


title: The Computational Complexity of Concise Hypersphere Classification

abstract: Hypersphere classification is a classical and foundational method that can provide easy-to-process explanations for the classification of real-valued and binary data. However, obtaining an (ideally concise) explanation via hypersphere classification is much more difficult when dealing with binary data than real-valued data. In this paper, we perform the first complexity-theoretic study of the hypersphere classification problem for binary data. We use the fine-grained parameterized complexity paradigm to analyze the impact of structural properties that may be present in the input data as well as potential conciseness constraints. Our results include stronger lower bounds and new fixed-parameter algorithms for hypersphere classification of binary data, which can find an exact and concise explanation when one exists.


title: SGLang: Efficient Execution of Structured Language Model Programs

abstract: Large language models (LLMs) are increasingly used for complex tasks that require multiple generation calls, advanced prompting techniques, control flow, and structured inputs/outputs. However, efficient systems are lacking for programming and executing these applications. We introduce SGLang, a system for efficient execution of complex language model programs. SGLang consists of a frontend language and a runtime. The frontend simplifies programming with primitives for generation and parallelism control. The runtime accelerates execution with novel optimizations like RadixAttention for KV cache reuse and compressed finite state machines for faster structured output decoding. Experiments show that SGLang achieves up to 6.4x higher throughput compared to state-of-the-art inference systems on various large language and multi-modal models on tasks including agent control, logical reasoning, few-shot learning benchmarks, JSON decoding, retrieval-augmented generation pipelines, and multi-turn chat. The code is publicly available at https://github.com/sgl-project/sglang


title: A coarse geometric approach to graph layout problems

abstract: We define a range of new coarse geometric invariants based on various graph-theoretic measures of complexity for finite graphs, including: treewidth, pathwidth, cutwidth, search number, topological bandwidth, bandwidth, minimal linear arrangment, sumcut, profile, vertex and edge separation. We prove that, for bounded degree graphs, these invariants can be used to define functions which satisfy a strong monotonicity property, namely they are monotonically non-decreasing with respect to regular maps, and as such have potential applications in coarse geometry and geometric group theory. On the graph-theoretic side, we prove asymptotically optimal upper bounds on the treewidth, pathwidth, cutwidth, search number, topological bandwidth, vertex separation, edge separation, minimal linear arrangement, sumcut and profile for the family of all finite subgraphs of any bounded degree graph whose separation profile is known to be of the form $r^a\log(r)^b$ for some $a>0$. This large class includes the Diestel-Leader graph, all Cayley graphs of non-virtually cyclic polycyclic groups, uniform lattices in almost all connected unimodular Lie groups, and certain hyperbolic groups.


title: A Progression Model of Software Engineering Goals, Challenges, and Practices in Start-Ups

abstract: Context: Software start-ups are emerging as suppliers of innovation and software-intensive products. However, traditional software engineering practices are not evaluated in the context, nor adopted to goals and challenges of start-ups. As a result, there is insufficient support for software engineering in the start-up context. Objective: We aim to collect data related to engineering goals, challenges, and practices in start-up companies to ascertain trends and patterns characterizing engineering work in start-ups. Such data allows researchers to understand better how goals and challenges are related to practices. This understanding can then inform future studies aimed at designing solutions addressing those goals and challenges. Besides, these trends and patterns can be useful for practitioners to make more informed decisions in their engineering practice. Method: We use a case survey method to gather first-hand, in-depth experiences from a large sample of software start-ups. We use open coding and cross-case analysis to describe and identify patterns, and corroborate the findings with statistical analysis. Results: We analyze 84 start-up cases and identify 16 goals, 9 challenges, and 16 engineering practices that are common among start-ups. We have mapped these goals, challenges, and practices to start-up life-cycle stages (inception, stabilization, growth, and maturity). Thus, creating the progression model guiding software engineering efforts in start-ups. Conclusions: We conclude that start-ups to a large extent face the same challenges and use the same practices as established companies. However, the primary software engineering challenge in start-ups is to evolve multiple process areas at once, with a little margin for serious errors.


title: The Logic of Doxastic Strategies

abstract: In many real-world situations, there is often not enough information to know that a certain strategy will succeed in achieving the goal, but there is a good reason to believe that it will. The paper introduces the term ``doxastic'' for such strategies. The main technical contribution is a sound and complete logical system that describes the interplay between doxastic strategy and belief modalities.


title: Plasma-Based Etching Approach for GEM Detector Microfabrication at FBK for X-ray polarimetry in space

abstract: Gas Electron Multiplier (GEM) detectors are crucial for enabling high-resolution X-ray polarisation of astrophysical sources when coupled to custom pixel readout ASIC in Gas Pixel Detectors (GPD), as in the Imaging X-ray Polarimetry Explorer (IXPE), the Polarlight cubesat pathfinder and the PFA telescope onboard the future large enhanced X-ray Timing and Polarimetry (eXTP) Chinese mission. The R&D efforts of the IXPE collaboration have resulted in mature GPD technology. However, limitations in the classical wet-etch or laser-drilled fabrication process of GEMs motivated our exploration of alternative methods. This work focuses on investigating a plasma-based etching approach for fabricating GEM patterns at Fondazione Bruno Kessler (FBK). The objective is to improve the aspect ratio of the GEM holes, to mitigate the charging of the GEM dielectric which generates rate-dependent gain changes. Unlike the traditional wet-etch process, Reactive Ion Etching (RIE) enables more vertical etching profiles and thus better aspect ratios. Moreover, the RIE process promises to overcome non-uniformities in the GEM hole patterns which are believed to cause systemic effects in the azimuthal response of GPDs equipped with either laser-drilled or wet-etch GEMs. We present a GEM geometry with 20 micrometers in diameter and 50 micrometers pitch, accompanied by extensive characterisation (SEM and PFIB) of the structural features and aspect ratios. The collaboration with INFN Pisa and Turin enabled us to compare the electrical properties of these detectors and test their performance in their use as electron multipliers in GPDs. Although this R&D work is in its initial stages, it holds promise for enhancing the sensitivity of the IXPE mission in X-ray polarimetry measurements through GEM pattern with more vertical hole profiles.


title: On multifold perfect codes and some other completely regular codes in the Doob graphs and quaternary Hamming graphs

abstract: We consider the problem of existence of perfect $2$-colorings in the Doob graphs $D(m,n)$ and $4$-ary Hamming graphs $H(n,4)$. We characterize all parameters for which multifold $1$-perfect code in $D(m,n)$ exists. Also, we prove that for any pair $(b,c)$ that satisfy standard conditions (Lloyd's and sphere-packing conditions) there is perfect $(b,c)$-coloring in Doob graphs and Hamming graphs if diameter of graph and $n$ are sufficiently large ($n$ not less than $0$, $1$ or $8$ for some cases). Also we obtain some completely regular codes with covering radius $2$.


title: LLMs Perform Poorly at Concept Extraction in Cyber-security Research Literature

abstract: The cybersecurity landscape evolves rapidly and poses threats to organizations. To enhance resilience, one needs to track the latest developments and trends in the domain. It has been demonstrated that standard bibliometrics approaches show their limits in such a fast-evolving domain. For this purpose, we use large language models (LLMs) to extract relevant knowledge entities from cybersecurity-related texts. We use a subset of arXiv preprints on cybersecurity as our data and compare different LLMs in terms of entity recognition (ER) and relevance. The results suggest that LLMs do not produce good knowledge entities that reflect the cybersecurity context, but our results show some potential for noun extractors. For this reason, we developed a noun extractor boosted with some statistical analysis to extract specific and relevant compound nouns from the domain. Later, we tested our model to identify trends in the LLM domain. We observe some limitations, but it offers promising results to monitor the evolution of emergent trends.


title: $g_{\rm A}$-sensitive $\beta$ spectral shapes in the mass $A=86-99$ region assessed by the nuclear shell model

abstract: Recent years have witnessed an expanding interest in experimental studies of $\beta$ electrons (electrons emitted in $\beta^-$ decay transitions) and their energy distributions, the so-called $\beta$-electron spectra. These experiments are interested mainly in $\beta$ transitions with electron spectra sensitive to the effective value of the weak axial coupling $g_{\rm A}$. In the present paper we make an extensive search for $g_{\rm A}$ sensitive $\beta$ spectral shapes in the $A=86-99$ region using the nuclear shell model with the well established Hamiltonians $\textit{glekpn}$ and $\textit{jj45pnb}$, designed to render a good description of the spectroscopic properties of nuclei in this mass region. We have found eight $\beta^-$ decay transitions with various degrees of $g_{\rm A}$ sensitivity. Moreover, these transitions are also important in pinning down the value of the so-called small relativistic vector nuclear matrix element, sNME. In addition, some of the corresponding mother nuclei are important contributors to the antineutrino flux from nuclear reactors. All this means that the found $\beta$ transitions are potentially of great interest for future rare-events experiments.


title: Generating High-Resolution Regional Precipitation Using Conditional Diffusion Model

abstract: Climate downscaling is a crucial technique within climate research, serving to project low-resolution (LR) climate data to higher resolutions (HR). Previous research has demonstrated the effectiveness of deep learning for downscaling tasks. However, most deep learning models for climate downscaling may not perform optimally for high scaling factors (i.e., 4x, 8x) due to their limited ability to capture the intricate details required for generating HR climate data. Furthermore, climate data behaves differently from image data, necessitating a nuanced approach when employing deep generative models. In response to these challenges, this paper presents a deep generative model for downscaling climate data, specifically precipitation on a regional scale. We employ a denoising diffusion probabilistic model (DDPM) conditioned on multiple LR climate variables. The proposed model is evaluated using precipitation data from the Community Earth System Model (CESM) v1.2.2 simulation. Our results demonstrate significant improvements over existing baselines, underscoring the effectiveness of the conditional diffusion model in downscaling climate data.


title: Hybrid stars in light of the HESS J1731-347 remnant and the PREX-II experiment

abstract: The recent analysis on the central compact object in the HESS J1731-347 remnant suggests interestingly small values for its mass and radius. Such an observation favors soft nuclear models that may be challenged by the observation of massive compact stars. In contrast, the recent PREX-II experiment, concerning the neutron skin thickness of $^{208}$Pb, points towards stiff equations of state that favor larger compact star radii. In the present study, we aim to explore the compatibility between stiff hadronic equations of state (favored by PREX-II) and the HESS J1731-347 remnant in the context of hybrid stars. For the construction of hybrid equations of state we use three widely employed Skyrme models combined with the well-known vector MIT bag model. Furthermore we consider two different scenarios concerning the energy density of the bag. In the first case, that of a constant bag parameter, we find that the resulting hybrid equations of state are strongly disfavored by the observation of $\sim2 M_\odot$ pulsars. However, the introduction of a Gaussian density dependence yields results that are compatible with the conservative $2 M_\odot$ constraint. The utilization of recent data based on the observation of PSR J0030+0451, PSR J0952-0607 and GW190814 allows for the imposition of additional constraints on the relevant parameters and the stiffness of the two phases. Interestingly, we find that the derived hybrid equations of state do not satisfy the PSR J0030+0451 constraints in $1\sigma$ and only marginally agree with the $2\sigma$ estimations. In addition, we estimate that the observation of massive pulsars, like PSR~J0952-0607, in combination with the existence of HESS J1731-347, may require a strong phase transition below $\sim 1.7n_0$. Finally, we show that the supermassive compact object involved in GW190814 could potentially be explained as a rapidly rotating hybrid star.


title: STM in the fractional quantum Hall effect: Spectroscopy of composite-fermion bound states

abstract: The fractional quantum Hall states are non-Fermi liquids of electrons, in that their ground states and low energy excitations are described not in terms of electrons but in terms of composite fermions which are bound states of electrons and $2p$ quantized vortices. An electron or a hole at filling factor $\nu=n/(2pn+1)$, where $p,n$ are integers, is a complex molecule of $2pn+ 1$ quasiparticles (excited composite fermions) or quasiholes (missing composite fermions) and has its own internal excitations. Recent scanning tunneling microscopy experiments have succeeded in measuring the electron spectral functions of these states, which provides valuable information on the nature of these strongly correlated molecules and thereby on the short-distance correlations in the fractional quantum Hall liquids. These experiments exhibit several sharp peaks in the tunneling spectra. Detailed calculations based on the composite-fermion theory demonstrate multiple peaks in the local density of states, and we argue that the separation between the peaks represents interaction-corrected composite-fermion cyclotron energy. We discuss what aspects of experiments are explained by our model and which ones remain to be explained.


title: Quantum topological data analysis via the estimation of the density of states

abstract: We develop a quantum topological data analysis (QTDA) protocol based on the estimation of the density of states (DOS) of the combinatorial Laplacian. Computing topological features of graphs and simplicial complexes is crucial for analyzing datasets and building explainable AI solutions. This task becomes computationally hard for simplicial complexes with over sixty vertices and high-degree topological features due to a combinatorial scaling. We propose to approach the task by embedding underlying hypergraphs as effective quantum Hamiltonians and evaluating their density of states from the time evolution. Specifically, we compose propagators as quantum circuits using the Cartan decomposition of effective Hamiltonians and sample overlaps of time-evolved states using multi-fidelity protocols. Next, we develop various post-processing routines and implement a Fourier-like transform to recover the rank (and kernel) of Hamiltonians. This enables us to estimate the Betti numbers, revealing the topological features of simplicial complexes. We test our protocol on noiseless and noisy quantum simulators and run examples on IBM quantum processors. We observe the resilience of the proposed QTDA approach to real-hardware noise even in the absence of error mitigation, showing the promise to near-term device implementations and highlighting the utility of global DOS-based estimators.


title: Sliding Dynamics of Current-Driven Skyrmion Crystal and Helix in Chiral Magnets

abstract: The skyrmion crystal (SkX) and helix (HL) phases, present in typical chiral magnets, can each be considered as forms of density waves but with distinct topologies. The SkX exhibits gyrodynamics analogous to electrons under a magnetic field, while the HL state resembles topological trivial spin density waves. However, unlike the charge density waves, the theoretical analysis of the sliding motion of SkX and HL remains unclear, especially regarding the similarities and differences in sliding dynamics between these two spin density waves. In this work, we systematically explore the sliding dynamics of SkX and HL in chiral magnets in the limit of large current density. We demonstrate that the sliding dynamics of both SkX and HL can be unified within the same theoretical framework as density waves, despite their distinct microscopic orders. Furthermore, we highlight the significant role of gyrotropic sliding induced by impurity effects in the SkX state, underscoring the impact of nontrivial topology on the sliding motion of density waves. Our theoretical analysis shows that the effect of impurity pinning is much stronger in HL compared with SkX, i.e., $\chi^{SkX}/\chi^{HL}\sim \alpha^2$ ($\chi^{SkX}$, $\chi^{HL}$: susceptibility to the impurity potential, $\alpha$ ($\ll 1$) is the Gilbert damping). Moreover, the velocity correction is mostly in the transverse direction to the current in SkX. These results are further substantiated by realistic Landau-Lifshitz-Gilbert simulations.


title: On inefficiently connecting temporal networks

abstract: A temporal graph can be represented by a graph with an edge labelling, such that an edge is present in the network if and only if the edge is assigned the corresponding time label. A journey is a labelled path in a temporal graph such that labels on successive edges of the path are increasing, and if all vertices admit journeys to all other vertices, the temporal graph is temporally connected. A temporal spanner is a sublabelling of the temporal graph such that temporal connectivity is maintained. The study of temporal spanners has raised interest since the early 2000's. Essentially two types of studies have been conducted: the positive side where families of temporal graphs are shown to (deterministically or stochastically) admit sparse temporal spanners, and the negative side where constructions of temporal graphs with no sparse spanners are of importance. Often such studies considered temporal graphs with happy or simple labellings, which associate exactly one label per edge. In this paper, we focus on the negative side and consider proper labellings, where multiple labels per edge are allowed. More precisely, we aim to construct dense temporally connected graphs such that all labels are necessary for temporal connectivity. Our contributions are multiple: we present the first labellings maximizing a local density measure; exact or asymptotically tight results for basic graph families, which are then extended to larger graph families; an extension of an efficient temporal graph labelling generator; and overall denser labellings than previous work even when restricted to happy labellings.


title: On the $PGL_2(q)$-orbits of lines of $PG(3,q)$ and binary quartic forms

abstract: We study the problem of classifying the lines of the projective $3$-space $PG(3,q)$ over a finite field $GF(q)$ into orbits of the group $G=PGL(2,q)$ of linear symmetries of the twisted cubic $C$. A generic line neither intersects $C$ nor lies in any of its osculating planes. While the non-generic lines have been classified into $G$-orbits in literature, it has been an open problem to classify the generic lines into $G$-orbits. For a general field $F$ of characteristic different from $2$ and $3$, the twisted cubic determines a symplectic polarity on $\mathbb P^3$. In the Klein representation of lines of $\mathbb P^3$, the tangent lines of $C$ are represented by a degree $4$ rational normal curve in a hyperplane $\mathcal H$ of the second exterior power $\mathbb P^5$ of $\mathbb P^3$. Atiyah studied the lines of $\mathbb P^3$ with respect to $C$, in terms of the geometries of these two curves. Polar duality of lines on $\mathbb P^3$ corresponds to Hodge duality on $\mathbb P^5$, and $\mathcal H$ is the hyperplane of Hodge self-dual elements of $\mathbb P^5$. We show that $\mathcal H$ can be identified in a $PGL_2$-equivariant way with the space of binary quartic forms over $F$, and that pairs of polar dual lines of $\mathbb P^3$ correspond to binary quartic forms whose apolar invariant is a square. We first solve the open problem of classifying binary quartic forms over $GF(q)$ into $G$-orbits, and then use it to solve the main problem.


title: The Siegel-Bruno linearization Theorem

abstract: The purpose of this paper is to provide a short and self-contained account on Siegel's Theorem, as improved by Bruno, which states that a holomorphic map f of C which fixes 0 can be locally linearized, under certain conditions on the multiplier.


title: Non-degeneracy of closed orbits for generic potentials

abstract: We prove that Ma{\~n}{\'e} generic convex Hamiltonians have only non-degenerate periodic orbits on a given energy level. This result was stated, but not proved, in the literature.


title: Derivation of the bacterial run-and-tumble kinetic model : quantitative and strong convergence results

abstract: During the past century, biologists and mathematicians investigated two mechanisms underlying bacteria motion: the run phase during which bacteria move in straight lines and the tumble phase in which they change their orientation. When surrounded by a chemical attractant, experiments show that bacteria increase their run time as moving up concentration gradients, leading to a biased random walk towards favorable regions. This observation raises the following question, which has drawn intense interest from both biological and mathematical communities: what cellular mechanisms enable bacteria to feel concentration gradients ? In this article, we investigate an asymptotic regime that was proposed to explain this ability thanks to internal mechanisms. More precisely, we derive the run-and-tumble kinetic equation with concentration's gradient dependent tumbling rate from a more comprehensive model, which incorporates internal cellular mechanisms. Our result improves on previous investigations, as we obtain strong convergence towards the gradient dependent kinetic model with quantitative and formally optimal convergence rates. The main ingredient consists in identifying a set of coordinates for the internal cellular dynamics in which concentration gradients arise explicitly. Then, we use relative entropy methods in order to capture quantitative measurement of the distance between the model incorporating cellular mechanisms and the one with concentration gradient dependent tumbling rate.


title: Neural Reasoning About Agents' Goals, Preferences, and Actions

abstract: We propose the Intuitive Reasoning Network (IRENE) - a novel neural model for intuitive psychological reasoning about agents' goals, preferences, and actions that can generalise previous experiences to new situations. IRENE combines a graph neural network for learning agent and world state representations with a transformer to encode the task context. When evaluated on the challenging Baby Intuitions Benchmark, IRENE achieves new state-of-the-art performance on three out of its five tasks - with up to 48.9% improvement. In contrast to existing methods, IRENE is able to bind preferences to specific agents, to better distinguish between rational and irrational agents, and to better understand the role of blocking obstacles. We also investigate, for the first time, the influence of the training tasks on test performance. Our analyses demonstrate the effectiveness of IRENE in combining prior knowledge gained during training for unseen evaluation tasks.


title: Triplet Excitation-Energy Transfer Couplings from Subsystem Time-Dependent Density-Functional Theory

abstract: We present an implementation of Triplet Excitation-Energy Transfer (TEET) couplings based on subsystem-based Time-Dependent Density-Functional Theory (sTDDFT). TEET couplings are systematically investigated by comparing "exact" and approximate variants of sTDDFT. We demonstrate that, while sTDDFT utilizing explicit approximate Non-Additive Kinetic Energy (NAKE) density functionals is well-suited for describing Singlet Excitation-Energy Transfer (SEET) processes, it is inadequate for characterizing TEET. However, we show that Projection-based Embedding (PbE)-based sTDDFT addresses the challenges faced by NAKE-sTDDFT and emerges as a promising method for accurately describing electronic couplings in TEET processes. We also introduce the mixed PbE-/NAKE-embedding procedure to investigate TEET effects in solvated pairs of chromophores. This approach offers a good balance between accuracy and efficiency, enabling comprehensive studies of TEET processes in complex environments.


title: A robust finite strain isogeometric solid-beam element

abstract: In this work, an efficient and robust isogeometric three-dimensional solid-beam finite element is developed for large deformations and finite rotations with merely displacements as degrees of freedom. The finite strain theory and hyperelastic constitutive models are considered and B-Spline and NURBS are employed for the finite element discretization. Similar to finite elements based on Lagrange polynomials, also NURBS-based formulations are affected by the non-physical phenomena of locking, which constrains the field variables and negatively impacts the solution accuracy and deteriorates convergence behavior. To avoid this problem within the context of a Solid-Beam formulation, the Assumed Natural Strain (ANS) method is applied to alleviate membrane and transversal shear locking and the Enhanced Assumed Strain (EAS) method against Poisson thickness locking. Furthermore, the Mixed Integration Point (MIP) method is employed to make the formulation more efficient and robust. The proposed novel isogeometric solid-beam element is tested on several single-patch and multi-patch benchmark problems, and it is validated against classical solid finite elements and isoparametric solid-beam elements. The results show that the proposed formulation can alleviate the locking effects and significantly improve the performance of the isogeometric solid-beam element. With the developed element, efficient and accurate predictions of mechanical properties of lattice-based structured materials can be achieved. The proposed solid-beam element inherits both the merits of solid elements e.g. flexible boundary conditions and of the beam elements i.e. higher computational efficiency.


title: TransMed: Large Language Models Enhance Vision Transformer for Biomedical Image Classification

abstract: Few-shot learning has been studied to adapt models to tasks with very few samples. It holds profound significance, particularly in clinical tasks, due to the high annotation cost of medical images. Several works have explored few-shot learning on medical images, yet they still require a large number of medical images for pre-training models to gain domain-specific priors. Vision foundation models recently have achieved remarkable success in natural images. Hence, adapting rapidly advancing vision foundation models from natural images to few-shot clinical tasks holds great promise. MedFMC has recently organized a challenge to shed more light on this topic at NeurIPS 2023. In this work, we present our challenge solution. We observe that a simple variant of fine-tuning with partial freezing shows remarkable performance. Empirical evidence demonstrates that this approach could outperform various common fine-tuning methods under limited sample sizes. Additionally, we explore enhanced utilization of semantic supervision to boost performance. We propose a novel approach that contextualizes labels via large language models (LLMs). Our findings reveal that the context generated by LLMs significantly enhances the discrimination of semantic embeddings for similar categories, resulting in a notable performance improvement of 3%-5% in 1-shot settings compared to commonly employed one-hot labels and other semantic supervision methods. Our solution secures the 1st place in the MedFMC challenge.


title: Deep Hierarchical Video Compression

abstract: Recently, probabilistic predictive coding that directly models the conditional distribution of latent features across successive frames for temporal redundancy removal has yielded promising results. Existing methods using a single-scale Variational AutoEncoder (VAE) must devise complex networks for conditional probability estimation in latent space, neglecting multiscale characteristics of video frames. Instead, this work proposes hierarchical probabilistic predictive coding, for which hierarchal VAEs are carefully designed to characterize multiscale latent features as a family of flexible priors and posteriors to predict the probabilities of future frames. Under such a hierarchical structure, lightweight networks are sufficient for prediction. The proposed method outperforms representative learned video compression models on common testing videos and demonstrates computational friendliness with much less memory footprint and faster encoding/decoding. Extensive experiments on adaptation to temporal patterns also indicate the better generalization of our hierarchical predictive mechanism. Furthermore, our solution is the first to enable progressive decoding that is favored in networked video applications with packet loss.


title: First order corrections to black hole thermodynamics: a simple approach enhanced

abstract: Perturbation theory plays an essential role in the realm of physics, especially when it is difficult or impossible to obtain exact solutions. Incorporating higher derivative terms into the gravitational action leads to an important perturbation problem. In this paper, we demonstrate that the first order corrections to black hole thermodynamics, caused by any higher derivative terms, can be achieved without explicitly solving the modified metric. This enhances a simple approach discovered two decades ago and resolves the controversy surrounding it. Astonishingly, we observe that the perturbation theory of quantum mechanics also exhibits a similar behavior, which reveals the existence of a universal theoretical structure underlying the perturbation theories of black hole thermodynamics, quantum mechanics and even other disciplines.


title: MS-Twins: Multi-Scale Deep Self-Attention Networks for Medical Image Segmentation

abstract: Although transformer is preferred in natural language processing, few studies have applied it in the field of medical imaging. For its long-term dependency, the transformer is expected to contribute to unconventional convolution neural net conquer their inherent spatial induction bias. The lately suggested transformer-based partition method only uses the transformer as an auxiliary module to help encode the global context into a convolutional representation. There is hardly any study about how to optimum bond self-attention (the kernel of transformers) with convolution. To solve the problem, the article proposes MS-Twins (Multi-Scale Twins), which is a powerful segmentation model on account of the bond of self-attention and convolution. MS-Twins can better capture semantic and fine-grained information by combining different scales and cascading features. Compared with the existing network structure, MS-Twins has made significant progress on the previous method based on the transformer of two in common use data sets, Synapse and ACDC. In particular, the performance of MS-Twins on Synapse is 8% higher than SwinUNet. Even compared with nnUNet, the best entirely convoluted medical image segmentation network, the performance of MS-Twins on Synapse and ACDC still has a bit advantage.


title: Permutation Entropy as a Conceptual Model to Analyse Brain Activity in Sleep

abstract: Sleep stage classification is a widely discussed topic, due to its importance in the diagnosis of sleep disorders, e.g. insomnia. Analysis of the brain activity during sleep is necessary to gain further insight into the processing that occurs in our brains. We want to use permutation entropy as a model for this analysis. Therefore, the signal processing in terms of electroencephalography is described. This results in a time discrete signal, that can be further processed by applying the method of permutation entropy, which is a modification of the Shannon entropy as a measure of information processing. The method is applied to 18 data sets, nine electroencephalography measurements of patients suffering from insomnia and nine of people without a sleep disorder. A strong correlation between the permutation entropy value and the sleep stages was found during the simulation runs. The results are analysed and presented using boxplot diagrams of the permutation entropy over the sleep stages. Furthermore, it is investigated that there is a steady decrease in the value when the patient is in a deeper sleep. This suggests that the method is a good parameter for sleep stage classification. Finally, we propose an extension of the conceptual model to other pathological conditions and also to the analysis of brain activity during surgery.


title: Divide-and-Conquer Attack: Harnessing the Power of LLM to Bypass Safety Filters of Text-to-Image Models

abstract: Text-to-image (TTI) models offer many innovative services but also raise ethical concerns due to their potential to generate unethical images. Most public TTI services employ safety filters to prevent unintended images. In this work, we introduce the Divide-and-Conquer Attack to circumvent the safety filters of state-of the-art TTI models, including DALL-E 3 and Midjourney. Our attack leverages LLMs as text transformation agents to create adversarial prompts. We design attack helper prompts that effectively guide LLMs to break down an unethical drawing intent into multiple benign descriptions of individual image elements, allowing them to bypass safety filters while still generating unethical images. Because the latent harmful meaning only becomes apparent when all individual elements are drawn together. Our evaluation demonstrates that our attack successfully circumvents multiple strong closed-box safety filters. The comprehensive success rate of DACA bypassing the safety filters of the state-of-the-art TTI engine DALL-E 3 is above 85%, while the success rate for bypassing Midjourney V6 exceeds 75%. Our findings have more severe security implications than methods of manual crafting or iterative TTI model querying due to lower attack barrier, enhanced interpretability , and better adaptation to defense. Our prototype is available at: https://github.com/researchcode001/Divide-and-Conquer-Attack


title: Electrostatically controlled spin polarization in Graphene-CrSBr magnetic proximity heterostructures

abstract: The magnetic proximity effect can induce a spin dependent exchange shift in the band structure of graphene. This produces a magnetization and a spin polarization of the electron/hole carriers in this material, paving the way for its use as an active component in spintronics devices. The electrostatic control of this spin polarization in graphene has however never been demonstrated so far. We show that interfacing graphene with the van der Waals antiferromagnet CrSBr results in an unconventional manifestation of the quantum Hall effect, which can be attributed to the presence of counterflowing spin-polarized edge channels originating from the spin-dependent exchange shift in graphene. We extract an exchange shift ranging from 27 to 32 meV, and show that it also produces an electrostatically tunable spin polarization of the electron/hole carriers in graphene ranging from -50 % to +69 % in the absence of a magnetic field. This proof of principle provides a starting point for the use of graphene as an electrostatically tunable source of spin current and could allow this system to generate a large magnetoresistance in gate tunable spin valve devices.


title: Image Content Generation with Causal Reasoning

abstract: The emergence of ChatGPT has once again sparked research in generative artificial intelligence (GAI). While people have been amazed by the generated results, they have also noticed the reasoning potential reflected in the generated textual content. However, this current ability for causal reasoning is primarily limited to the domain of language generation, such as in models like GPT-3. In visual modality, there is currently no equivalent research. Considering causal reasoning in visual content generation is significant. This is because visual information contains infinite granularity. Particularly, images can provide more intuitive and specific demonstrations for certain reasoning tasks, especially when compared to coarse-grained text. Hence, we propose a new image generation task called visual question answering with image (VQAI) and establish a dataset of the same name based on the classic \textit{Tom and Jerry} animated series. Additionally, we develop a new paradigm for image generation to tackle the challenges of this task. Finally, we perform extensive experiments and analyses, including visualizations of the generated content and discussions on the potentials and limitations. The code and data are publicly available under the license of CC BY-NC-SA 4.0 for academic and non-commercial usage. The code and dataset are publicly available at: https://github.com/IEIT-AGI/MIX-Shannon/blob/main/projects/VQAI/lgd_vqai.md.


title: LatentMan: Generating Consistent Animated Characters using Image Diffusion Models

abstract: We propose a zero-shot approach for generating consistent videos of animated characters based on Text-to-Image (T2I) diffusion models. Existing Text-to-Video (T2V) methods are expensive to train and require large-scale video datasets to produce diverse characters and motions. At the same time, their zero-shot alternatives fail to produce temporally consistent videos with continuous motion. We strive to bridge this gap, and we introduce LatentMan, which leverages existing text-based motion diffusion models to generate diverse continuous motions to guide the T2I model. To boost the temporal consistency, we introduce the Spatial Latent Alignment module that exploits cross-frame dense correspondences that we compute to align the latents of the video frames. Furthermore, we propose Pixel-Wise Guidance to steer the diffusion process in a direction that minimizes visual discrepancies between frames. Our proposed approach outperforms existing zero-shot T2V approaches in generating videos of animated characters in terms of pixel-wise consistency and user preference. Project page https://abdo-eldesokey.github.io/latentman/.


title: On sporadic sequences

abstract: In this note, we prove the last remaining case of the original 15 two-term supercongruence conjectures for sporadic sequences. The proof utilizes a new representation for this sequence (due to Gorodetsky) as the constant term of powers of a Laurent polynomial.


title: MINDS. JWST-MIRI Reveals a Dynamic Gas-Rich Inner Disk Inside the Cavity of SY Cha

abstract: SY Cha is a T Tauri star surrounded by a protoplanetary disk with a large cavity seen in the millimeter continuum but has the spectral energy distribution (SED) of a full disk. Here we report the first results from JWST-MIRI Medium Resolution Spectrometer (MRS) observations taken as part of the MIRI mid-INfrared Disk Survey (MINDS) GTO Program. The much improved resolution and sensitivity of MIRI-MRS compared to Spitzer enables a robust analysis of the previously detected H2O, CO, HCN, and CO2 emission as well as a marginal detection of C2H2. We also report the first robust detection of mid-infrared OH and ro-vibrational CO emission in this source. The derived molecular column densities reveal the inner disk of SY Cha to be rich in both oxygen and carbon bearing molecules. This is in contrast to PDS 70, another protoplanetary disk with a large cavity observed with JWST, which displays much weaker line emission. In the SY Cha disk, the continuum, and potentially the line, flux varies substantially between the new JWST observations and archival Spitzer observations, indicative of a highly dynamic inner disk.


title: Robust End-to-End Diarization with Domain Adaptive Training and Multi-Task Learning

abstract: Due to the scarcity of publicly available diarization data, the model performance can be improved by training a single model with data from different domains. In this work, we propose to incorporate domain information to train a single end-to-end diarization model for multiple domains. First, we employ domain adaptive training with parameter-efficient adapters for on-the-fly model reconfiguration. Second, we introduce an auxiliary domain classification task to make the diarization model more domain-aware. For seen domains, the combination of our proposed methods reduces the absolute DER from 17.66% to 16.59% when compared with the baseline. During inference, adapters from ground-truth domains are not available for unseen domains. We demonstrate our model exhibits a stronger generalizability to unseen domains when adapters are removed. For two unseen domains, this improves the DER performance from 39.91% to 23.09% and 25.32% to 18.76% over the baseline, respectively.


title: Plug-and-play imaging with model uncertainty quantification in radio astronomy

abstract: Plug-and-Play (PnP) algorithms are appealing alternatives to proximal algorithms when solving inverse imaging problems. By learning a Deep Neural Network (DNN) behaving as a proximal operator, one waives the computational complexity of optimisation algorithms induced by sophisticated image priors, and the sub-optimality of handcrafted priors compared to DNNs. At the same time, these methods inherit the versatility of optimisation algorithms allowing the minimisation of a large class of objective functions. Such features are highly desirable in radio-interferometric (RI) imaging in astronomy, where the data size, the ill-posedness of the problem and the dynamic range of the target reconstruction are critical. In a previous work, we introduced a class of convergent PnP algorithms, dubbed AIRI, relying on a forward-backward algorithm, with a differentiable data-fidelity term and dynamic range-specific denoisers trained on highly pre-processed unrelated optical astronomy images. Here, we show that AIRI algorithms can benefit from a constrained data fidelity term at the mere cost of transferring to a primal-dual forward-backward algorithmic backbone. Moreover, we show that AIRI algorithms are robust to strong variations in the nature of the training dataset: denoisers trained on MRI images yield similar reconstructions to those trained on astronomical data. We additionally quantify the model uncertainty introduced by the randomness in the training process and suggest that AIRI algorithms are robust to model uncertainty. Finally, we propose an exhaustive comparison with methods from the radio-astronomical imaging literature and show the superiority of the proposed method over the current state-of-the-art.


title: Hecke algebras for the 1st congruence subgroup and bundles on ${\mathbb P}^1$ I: the case of finite field

abstract: Let $G$ be a split reductive group over a finite field $k$. In this note we study the space $V$ of finitely supported functions on the set of isomorphism classes $G$-bundles on the projective line ${\mathbb P}^1$ endowed with a trivialization at $0$ and $\infty$. We show that $V$ is naturally isomorphic to the regular bimodule over the Hecke algebra $A$ of the group $G(k((t)))$ with respect to the first congruence subgroup. As a byproduct we show that Hecke operators at points different from $0$ and $\infty$ to generate the "stable center" of $A$. We provide an expression of the character of the lifting of an irreducible cuspidal representation of $GL(N,k)$ to $GL(N,k')$ where $k'$ is a finite extension of $k$ in terms of these generators. In a subsequent publication we plan to develop analogous constructions in the case when $k$ is replaced by a local non-archimedian field.


title: Practical considerations on using private sampling for synthetic data

abstract: Artificial intelligence and data access are already mainstream. One of the main challenges when designing an artificial intelligence or disclosing content from a database is preserving the privacy of individuals who participate in the process. Differential privacy for synthetic data generation has received much attention due to the ability of preserving privacy while freely using the synthetic data. Private sampling is the first noise-free method to construct differentially private synthetic data with rigorous bounds for privacy and accuracy. However, this synthetic data generation method comes with constraints which seem unrealistic and not applicable for real-world datasets. In this paper, we provide an implementation of the private sampling algorithm and discuss the realism of its constraints in practical cases.


title: Exploiting Automorphisms of Temporal Graphs for Fast Exploration and Rendezvous

abstract: Temporal graphs are dynamic graphs where the edge set can change in each time step, while the vertex set stays the same. Exploration of temporal graphs whose snapshot in each time step is a connected graph, called connected temporal graphs, has been widely studied. In this paper, we extend the concept of graph automorphisms from static graphs to temporal graphs for the first time and show that symmetries enable faster exploration: We prove that a connected temporal graph with $n$ vertices and orbit number $r$ (i.e., $r$~is the number of automorphism orbits) can be explored in $O(r n^{1+\epsilon})$ time steps, for any fixed $\epsilon>0$. For $r=O(n^c)$ for constant $c<1$, this is a significant improvement over the known tight worst-case bound of $\Theta(n^2)$ time steps for arbitrary connected temporal graphs. We also give two lower bounds for temporal exploration, showing that $\Omega(n \log n)$ time steps are required for some inputs with $r=O(1)$ and that $\Omega(rn)$ time steps are required for some inputs for any $r$ with $1\le r\le n$. Moreover, we show that the techniques we develop for fast exploration can be used to derive the following result for rendezvous: Two agents with different programs and without communication ability are placed by an adversary at arbitrary vertices and given full information about the connected temporal graph, except that they do not have consistent vertex labels. Then the two agents can meet at a common vertex after $O(n^{1+\epsilon})$ time steps, for any constant $\epsilon>0$. For some connected temporal graphs with the orbit number being a constant, we also present a complementary lower bound of $\Omega(n\log n)$ time steps.


title: Multilingual large language models leak human stereotypes across language boundaries

abstract: Multilingual large language models have been increasingly popular for their proficiency in processing and generating text across various languages. Previous research has shown that the presence of stereotypes and biases in monolingual large language models can be attributed to the nature of their training data, which is collected from humans and reflects societal biases. Multilingual language models undergo the same training procedure as monolingual ones, albeit with training data sourced from various languages. This raises the question: do stereotypes present in one social context leak across languages within the model? In our work, we first define the term ``stereotype leakage'' and propose a framework for its measurement. With this framework, we investigate how stereotypical associations leak across four languages: English, Russian, Chinese, and Hindi. To quantify the stereotype leakage, we employ an approach from social psychology, measuring stereotypes via group-trait associations. We evaluate human stereotypes and stereotypical associations manifested in multilingual large language models such as mBERT, mT5, and GPT-3.5. Our findings show a noticeable leakage of positive, negative, and non-polar associations across all languages. Notably, Hindi within multilingual models appears to be the most susceptible to influence from other languages, while Chinese is the least. Additionally, GPT-3.5 exhibits a better alignment with human scores than other models. WARNING: This paper contains model outputs which could be offensive in nature.


title: General Tail Bounds for Non-Smooth Stochastic Mirror Descent

abstract: In this paper, we provide novel tail bounds on the optimization error of Stochastic Mirror Descent for convex and Lipschitz objectives. Our analysis extends the existing tail bounds from the classical light-tailed Sub-Gaussian noise case to heavier-tailed noise regimes. We study the optimization error of the last iterate as well as the average of the iterates. We instantiate our results in two important cases: a class of noise with exponential tails and one with polynomial tails. A remarkable feature of our results is that they do not require an upper bound on the diameter of the domain. Finally, we support our theory with illustrative experiments that compare the behavior of the average of the iterates with that of the last iterate in heavy-tailed noise regimes.


title: Revisiting the convergence of the perturbative QCD expansions based on conformal mapping of the Borel plane

abstract: The difference between fixed-order (FO) and contour-improved (CI) formulations of QCD perturbation theory limits the precision of the strong coupling determined from the hadronic decay of the $\tau$ lepton. Recently, several attempts to understand the mathematical origin of the difference and to solve it by subtracting the dominant infrared renormalon divergence have been made. Motivated by these studies, we review in this paper an improved perturbative QCD expansion, defined some time ago, which also exploits the renormalons by means of a suitable conformal mapping of the Borel plane. In particular, we revisit the convergence of the new expansion, by completing the proof presented in a previous paper and showing that the domain of convergence is larger than stated before. We also check the validity of the convergence conditions for the Adler function and the CI and FO expansions of the $\tau$ hadronic spectral function moments, and compare the approach based on conformal mapping with recent solutions to the CIPT-FOPT discrepancy proposed in the literature.


title: The Parameterized Complexity of Coordinated Motion Planning

abstract: In Coordinated Motion Planning (CMP), we are given a rectangular-grid on which $k$ robots occupy $k$ distinct starting gridpoints and need to reach $k$ distinct destination gridpoints. In each time step, any robot may move to a neighboring gridpoint or stay in its current gridpoint, provided that it does not collide with other robots. The goal is to compute a schedule for moving the $k$ robots to their destinations which minimizes a certain objective target - prominently the number of time steps in the schedule, i.e., the makespan, or the total length traveled by the robots. We refer to the problem arising from minimizing the former objective target as CMP-M and the latter as CMP-L. Both CMP-M and CMP-L are fundamental problems that were posed as the computational geometry challenge of SoCG 2021, and CMP also embodies the famous $(n^2-1)$-puzzle as a special case. In this paper, we settle the parameterized complexity of CMP-M and CMP-L with respect to their two most fundamental parameters: the number of robots, and the objective target. We develop a new approach to establish the fixed-parameter tractability of both problems under the former parameterization that relies on novel structural insights into optimal solutions to the problem. When parameterized by the objective target, we show that CMP-L remains fixed-parameter tractable while CMP-M becomes para-NP-hard. The latter result is noteworthy, not only because it improves the previously-known boundaries of intractability for the problem, but also because the underlying reduction allows us to establish - as a simpler case - the NP-hardness of the classical Vertex Disjoint and Edge Disjoint Paths problems with constant path-lengths on grids.


title: Contextual Bandits with Online Neural Regression

abstract: Recent works have shown a reduction from contextual bandits to online regression under a realizability assumption [Foster and Rakhlin, 2020, Foster and Krishnamurthy, 2021]. In this work, we investigate the use of neural networks for such online regression and associated Neural Contextual Bandits (NeuCBs). Using existing results for wide networks, one can readily show a ${\mathcal{O}}(\sqrt{T})$ regret for online regression with square loss, which via the reduction implies a ${\mathcal{O}}(\sqrt{K} T^{3/4})$ regret for NeuCBs. Departing from this standard approach, we first show a $\mathcal{O}(\log T)$ regret for online regression with almost convex losses that satisfy QG (Quadratic Growth) condition, a generalization of the PL (Polyak-\L ojasiewicz) condition, and that have a unique minima. Although not directly applicable to wide networks since they do not have unique minima, we show that adding a suitable small random perturbation to the network predictions surprisingly makes the loss satisfy QG with unique minima. Based on such a perturbed prediction, we show a ${\mathcal{O}}(\log T)$ regret for online regression with both squared loss and KL loss, and subsequently convert these respectively to $\tilde{\mathcal{O}}(\sqrt{KT})$ and $\tilde{\mathcal{O}}(\sqrt{KL^*} + K)$ regret for NeuCB, where $L^*$ is the loss of the best policy. Separately, we also show that existing regret bounds for NeuCBs are $\Omega(T)$ or assume i.i.d. contexts, unlike this work. Finally, our experimental results on various datasets demonstrate that our algorithms, especially the one based on KL loss, persistently outperform existing algorithms.


title: CompdVision: Combining Near-Field 3D Visual and Tactile Sensing Using a Compact Compound-Eye Imaging System

abstract: As automation technologies advance, the need for compact and multi-modal sensors in robotic applications is growing. To address this demand, we introduce CompdVision, a novel sensor that employs a compound-eye imaging system to combine near-field 3D visual and tactile sensing within a compact form factor. CompdVision utilizes two types of vision units to address diverse sensing needs, eliminating the need for complex modality conversion. Stereo units with far-focus lenses can see through the transparent elastomer for depth estimation beyond the contact surface. Simultaneously, tactile units with near-focus lenses track the movement of markers embedded in the elastomer to obtain contact deformation. Experimental results validate the sensor's superior performance in 3D visual and tactile sensing, proving its capability for reliable external object depth estimation and precise measurement of tangential and normal contact forces. The dual modalities and compact design make the sensor a versatile tool for robotic manipulation.


title: Local dynamics and detection of topology in spin-1 chains

abstract: Antiferromagnetic spin-1 chains host the celebrated symmetry protected topological Haldane phase, whose spin-1/2 edge states were evidenced in bulk by, e.g., Electron Spin Resonance (ESR). Recent success in assembling effective spin-1 antiferromagnetic chains from nanographene and porphyrin molecules opens the possibility of local, site-by-site, characterization. The nascent technique of combined ESR-STM is able to measure the spin dynamics with atomic real-space resolution, and could fully reveal and manipulate the spin-1/2 degree of freedom. In this work, we combine exact diagonalization and DMRG to investigate the local dynamic spin structure factor of the different phases of the bilinear-biquadratic Hamiltonian with single-ion anisotropy in presence of an external magnetic field. We find that the signature of the Haldane phase is a low-energy peak created by singlet-triplet transitions in the edge-state manifold. We predict that the signature peak is experimentally observable, although for chains of length above N = 30 its energy should be first tuned by application of external magnetic field. We fully characterize the peak in real-space and energy, and further show its robustness to weak anisotropy and a relevant range of temperatures.


title: Exploring Thixotropic Timescale: Phenomenological Insights and Analytical Perspectives

abstract: Thixotropy is characterized by an increase in viscosity when a material is subjected to no flow (quiescent) or weak flow conditions and a decrease in viscosity when it is subjected to strong flow conditions. The characteristic timescale associated with the thixotropic phenomenon, particularly how the viscosity increases with time, has been termed the thixotropic timescale. In the literature, several approaches have been suggested for estimating the thixotropic timescale. The most prominent approach, however, infers it from a specific form of a kinetic expression for structure parameter evolution. In this paper, we study the various kinds of structural kinetic models, and by carrying out a careful analysis of the same, we propose a parameter for the thixotropic timescale that is associated with the most generic form of the kinetic expression for structure parameter evolution. We observe that when the viscosity of the structural kinetic model undergoes continuous increase with time and eventually diverges under quiescent conditions, which we believe is the most practical scenario, our analysis suggests that increasing the thixotropic timescale weakens the thixotropic character of a system. We also propose a new phenomenological measure of the thixotropic timescale: ${{\tau }_{thix}}={{\left( d\text{ln}\eta /dt \right)}^{-1}}$, where $\eta $ is viscosity and $t$ is time. The proposed definition allows a straightforward and unique way to determine thixotropic timescale through experiments and agrees well with the conventional notion of thixotropy.