title: Diagrammatic Multiplet-Sum Method (MSM) Density-Functional Theory (DFT): Investigation of the Transferability of Integrals in "Simple" DFT-Based Approaches to Multi-Determinantal Problems

abstract: Static correlation is a difficult problem for density-functional theory (DFT) as it arises in cases of degenerate or quasi-degenerate states where a multideterminantal wave function provides the simplest reasonable first approximation to the true interacting wave function. This is also where Kohn-Sham DFT may also fail to be noninteracting v-representible (NVR). In contrast, Kohn-Sham DFT typically works well for describing the missing dynamic correlation when a single-determinantal reference wave function provides a good first approximation to the true interacting wave function. Multiplet sum method (MSM) DFT [Theor. Chim. Acta 4, 877 (1977)] provides one of the earliest and simplest ways to include static correlation in DFT. MSM-DFT assumes that DFT provides a good description of single-determant energies and uses symmetry and simple ansatzes to include the effects of static correlation. This is equivalent to determining the off-diagonal matrix elements in a small configuration interaction (CI) eigenvalue problem. We have developed a diagrammatic approach to MS-DFT facilitates comparison with wave function CI and so allows educated guesses of off-diagonal CI matrix elements even in the absence of symmetry. In every case, an additional exchange-only ansatz (EXAN) allows the MSM-DFT formulae to be transformed into wave function formulae. This EXAN also works for transforming time-dependent DFT into time-dependent Hartree-Fock. Although not enough to uniquely guess DFT formulae from wave function formulae, the diagrammatic approach and the EXAN provide important constraints on any guesses that might be used. Some alternative guesses are tried out for problems concerning the ground and excited states of H2 , LiH, and O2 in order to assess how much difference might be involved for different DFT guesses for off-diagonal matrix elements.


title: A large population of strongly lensed faint submillimetre galaxies in future dark energy surveys inferred from JWST imaging

abstract: Bright galaxies at sub-millimetre wavelengths from Herschel are now well known to be predominantly strongly gravitationally lensed. The same models that successfully predicted this strongly lensed population also predict about one percent of faint $450{\mu}$m-selected galaxies from deep James Clerk Maxwell Telescope (JCMT) surveys will also be strongly lensed. Follow-up ALMA campaigns have so far found one potential lens candidate, but without clear compelling evidence e.g. from lensing arcs. Here we report the discovery of a compelling gravitational lens system confirming the lensing population predictions, with a $z_{s} = 3.4 {\pm} 0.4$ submm source lensed by a $z_{spec} = 0.360$ foreground galaxy within the COSMOS field, identified through public JWST imaging of a $450{\mu}$m source in the SCUBA-2 Ultra Deep Imaging EAO Survey (STUDIES) catalogue. These systems will typically be well within the detectable range of future wide-field surveys such as Euclid and Roman, and since sub-millimetre galaxies are predominantly very red at optical/near-infrared wavelengths, they will tend to appear in near-infrared channels only. Extrapolating to the Euclid-Wide survey, we predict tens of thousands of strongly lensed near-infrared galaxies. This will be transformative for the study of dusty star-forming galaxies at cosmic noon, but will be a contaminant population in searches for strongly lensed ultra-high-redshift galaxies in Euclid and Roman.


title: Discovering Predictive Relational Object Symbols with Symbolic Attentive Layers

abstract: In this paper, we propose and realize a new deep learning architecture for discovering symbolic representations for objects and their relations based on the self-supervised continuous interaction of a manipulator robot with multiple objects on a tabletop environment. The key feature of the model is that it can handle a changing number number of objects naturally and map the object-object relations into symbolic domain explicitly. In the model, we employ a self-attention layer that computes discrete attention weights from object features, which are treated as relational symbols between objects. These relational symbols are then used to aggregate the learned object symbols and predict the effects of executed actions on each object. The result is a pipeline that allows the formation of object symbols and relational symbols from a dataset of object features, actions, and effects in an end-to-end manner. We compare the performance of our proposed architecture with state-of-the-art symbol discovery methods in a simulated tabletop environment where the robot needs to discover symbols related to the relative positions of objects to predict the observed effect successfully. Our experiments show that the proposed architecture performs better than other baselines in effect prediction while forming not only object symbols but also relational symbols. Furthermore, we analyze the learned symbols and relational patterns between objects to learn about how the model interprets the environment. Our analysis shows that the learned symbols relate to the relative positions of objects, object types, and their horizontal alignment on the table, which reflect the regularities in the environment.


title: Black Hole - Neutron Star mergers: using kilonovae to constrain the equation of state

abstract: The merging of a binary system involving two neutron stars (NSs), or a black hole (BH) and a NS, often results in the emission of an electromagnetic (EM) transient. One component of this EM transient is the epic explosion known as a kilonova (KN). The characteristics of the KN emission can be used to probe the equation of state (EoS) of NS matter responsible for its formation. We predict KN light curves from computationally simulated BH-NS mergers, by using the 3D radiative transfer code \texttt{POSSIS}. We investigate two EoSs spanning most of the allowed range of the mass-radius diagram. We also consider a soft EoS compatible with the observational data within the so-called 2-families scenario in which hadronic stars coexist with strange stars. Computed results show that the 2-families scenario, characterized by a soft EoS, should not produce a KN unless the mass of the binary components are small ($M_{\rm BH} \leq 6M_{\odot}$, $M_{\rm NS} \leq 1.4M_{\odot}$) and the BH is rapidly spinning ($\chi_{\rm BH} \geq 0.3$). In contrast, a strong KN signal potentially observable from future surveys (e.g. VRO/LSST) is produced in the 1-family scenario for a wider region of the parameter space, and even for non-rotating BHs ($\chi_{\rm BH} = 0$) when $M_{\rm BH} = 4M_{\odot}$ and $M_{\rm NS} = 1.2M_{\odot}$. We also provide a fit that allows for the calculation of the unbound mass from the observed KN magnitude, without running timely and costly radiative transfer simulations. Findings presented in this paper will be used to interpret light curves anticipated during the fourth observing run (O4), of the advanced LIGO, advanced Virgo and KAGRA interferometers and thus to constrain the EoS of NS matter.


title: On semi-classical limit of spatially homogeneous quantum Boltzmann equation: asymptotic expansion

abstract: We continue our previous work [Ling-Bing He, Xuguang Lu and Mario Pulvirenti, Comm. Math. Phys., 386(2021), no. 1, 143223.] on the limit of the spatially homogeneous quantum Boltzmann equation as the Planck constant $\epsilon$ tends to zero, also known as the semi-classical limit. For general interaction potential, we prove the following: (i). The spatially homogeneous quantum Boltzmann equations are locally well-posed in some weighted Sobolev spaces with quantitative estimates uniformly in $\epsilon$. (ii). The semi-classical limit can be further described by the following asymptotic expansion formula: $$ f^\epsilon(t,v)=f_L(t,v)+O(\epsilon^{\vartheta}).$$ This holds locally in time in Sobolev spaces. Here $f^\epsilon$ and $f_L$ are solutions to the quantum Boltzmann equation and the Fokker-Planck-Landau equation with the same initial data.The convergent rate $0<\vartheta \leq 1$ depends on the integrability of the Fourier transform of the particle interaction potential. Our new ingredients lie in a detailed analysis of the Uehling-Uhlenbeck operator from both angular cutoff and non-cutoff perspectives.


title: Room-Temperature Anomalous Hall Effect in Graphene in Interfacial Magnetic Proximity with EuO Grown by Topotactic Reduction

abstract: We show that thin layers of EuO, a ferromagnetic insulator, can be achieved by topotactic reduction under titanium of a Eu2O3 film deposited on top of a graphene template. The reduction process leads to the formation of a 7-nm thick EuO smooth layer, without noticeable structural changes in the underlying chemical vapor deposited (CVD) graphene. The obtained EuO films exhibit ferromagnetism, with a Curie temperature that decreases with the initially deposited Eu2O3 layer thickness. By adjusting the thickness of the Eu2O3 layer below 7 nm, we promote the formation of EuO at the very graphene interface: the EuO/graphene heterostructure demonstrates the anomalous Hall effect (AHE), which is a fingerprint of proximity-induced spin polarization in graphene. The AHE signal moreover persists above Tc up to 350K due to a robust super-paramagnetic phase in EuO. This original high-temperature magnetic phase is attributed to magnetic polarons in EuO: we propose that the high strain in our EuO films grown on graphene stabilizes the magnetic polarons up to room temperature. This effect is different from the case of bulk EuO in which polarons vanish in the vicinity of the Curie temperature Tc= 69K.


title: Electrical conductivity of warm neutron star crust in magnetic fields: Neutron-drip regime

abstract: We compute the anisotropic electrical conductivity tensor of the inner crust of a compact star at non-zero temperature by extending a previous work on the conductivity of the outer crust. The physical scenarios, where such crust is formed, involve proto-neutron stars born in supernova explosions, binary neutron star mergers and accreting neutron stars. The temperature-density range studied covers the transition from a non-degenerate to a highly degenerate electron gas and assumes that the nuclei form a liquid, i.e., the temperature is above the melting temperature of the lattice of nuclei. The electronic transition probabilities include (a) the dynamical screening of electron-ion interaction in the hard-thermal-loop approximation for the QED plasma, (b) the correlations of the ionic component in a one-component plasma, and (c) finite nuclear size effects. The conductivity tensor is obtained from the Boltzmann kinetic equation in relaxation time approximation accounting for the anisotropies introduced by a magnetic field. The sensitivity of the results towards the matter composition of the inner crust is explored by using several compositions of the inner crust which were obtained using different nuclear interactions and methods of solving the many-body problem. The standard deviation of relaxation time and components of the conductivity tensor from the average are below $\le 10\%$ except close to crust-core transition, where non-spherical nuclear structures are expected. Our results can be used in dissipative magneto-hydrodynamics (MHD) simulations of warm compact stars.


title: Regularly Truncated M-estimators for Learning with Noisy Labels

abstract: The sample selection approach is very popular in learning with noisy labels. As deep networks learn pattern first, prior methods built on sample selection share a similar training procedure: the small-loss examples can be regarded as clean examples and used for helping generalization, while the large-loss examples are treated as mislabeled ones and excluded from network parameter updates. However, such a procedure is arguably debatable from two folds: (a) it does not consider the bad influence of noisy labels in selected small-loss examples; (b) it does not make good use of the discarded large-loss examples, which may be clean or have meaningful information for generalization. In this paper, we propose regularly truncated M-estimators (RTME) to address the above two issues simultaneously. Specifically, RTME can alternately switch modes between truncated M-estimators and original M-estimators. The former can adaptively select small-losses examples without knowing the noise rate and reduce the side-effects of noisy labels in them. The latter makes the possibly clean examples but with large losses involved to help generalization. Theoretically, we demonstrate that our strategies are label-noise-tolerant. Empirically, comprehensive experimental results show that our method can outperform multiple baselines and is robust to broad noise types and levels.


title: The Dantzig Selector: Sparse Signals Recovery via l_p-q Minimization

abstract: In the paper, we proposed the Dantzig selector based on the $l_{p-q}$ ($0<p\leq1, 1<q\leq2$) minimization for the signal recovery. First, we establish the convex combination representation of sparse vectors under the $l_{p-q}$ minimization problem. Next, we give the signal recovery guarantees that based on two classes of restricted isometry property frames. Last, some graphical illustrations are presented for the sufficient conditions of the signal recovery.


title: On the stabilization of a kinetic model by feedback-like control fields in a Monte Carlo framework

abstract: The construction of feedback-like control fields for a kinetic model in phase space is investigated. The purpose of these controls is to drive an initial density of particles in the phase space to reach a desired cyclic trajectory and follow it in a stable way. For this purpose, an ensemble optimal control problem governed by the kinetic model is formulated in a way that is amenable to a Monte Carlo approach. The proposed formulation allows to define a one-shot solution procedure consisting in a backward solve of an augmented adjoint kinetic model. Results of numerical experiments demonstrate the effectiveness of the proposed control strategy.


title: A delay analogue of the box and ball system arising from the ultra-discretization of the delay discrete Lotka-Volterra equation

abstract: A delay analogue of the box and ball system (BBS) is presented. This new soliton cellular automaton is constructed by the ultra-discretization of the delay discrete Lotka-Volterra equation, which is an integrable delay analogue of the discrete Lotka-Volterra equation. Soliton patterns generated by this delay BBS are classified into normal solitons and abnormal solitons. Normal solitons have a clear relationship to the solitons of the BBS with K kinds of balls. On the other hand, abnormal solitons show various types of novel soliton patterns, which have not been observed in almost all known BBSs. We obtain them by numerical experiments, and then construct {\tau}-functions of them analytically in 1-soliton cases.


title: CoRD: Converged RDMA Dataplane for High-Performance Clouds

abstract: High-performance networking is often characterized by kernel bypass which is considered mandatory in high-performance parallel and distributed applications. But kernel bypass comes at a price because it breaks the traditional OS architecture, requiring applications to use special APIs and limiting the OS control over existing network connections. We make the case, that kernel bypass is not mandatory. Rather, high-performance networking relies on multiple performance-improving techniques, with kernel bypass being the least effective. CoRD removes kernel bypass from RDMA networks, enabling efficient OS-level control over RDMA dataplane.


title: New Atomic Decompositions of Weighted Local Hardy Spaces

abstract: We introduce a new class of weighted local approximate atoms including classical weighted local atoms. Then we further obtain the weighted local approximate atomic decompositions of weighted local Hardy spaces $h_{\omega} ^p(R^n)$ with $0<p\leq 1$ and weight $\omega\in A_1(R^n)$. As an application, we prove the boundedness of inhomogeneous Calder\'on-Zygmund operators on $h_{\omega}^p(R^n)$ via weighted local approximate atoms and molecules.


title: Large Process Models: Business Process Management in the Age of Generative AI

abstract: The continued success of Large Language Models (LLMs) and other generative artificial intelligence approaches highlights the advantages that large information corpora can have over rigidly defined symbolic models, but also serves as a proof-point of the challenges that purely statistics-based approaches have in terms of safety and trustworthiness. As a framework for contextualizing the potential, as well as the limitations of LLMs and other foundation model-based technologies, we propose the concept of a Large Process Model (LPM) that combines the correlation power of LLMs with the analytical precision and reliability of knowledge-based systems and automated reasoning approaches. LPMs are envisioned to directly utilize the wealth of process management experience that experts have accumulated, as well as process performance data of organizations with diverse characteristics, e.g., regarding size, region, or industry. In this vision, the proposed LPM would allow organizations to receive context-specific (tailored) process and other business models, analytical deep-dives, and improvement recommendations. As such, they would allow to substantially decrease the time and effort required for business transformation, while also allowing for deeper, more impactful, and more actionable insights than previously possible. We argue that implementing an LPM is feasible, but also highlight limitations and research challenges that need to be solved to implement particular aspects of the LPM vision.


title: Differentiating $L_\infty$ groupoids -- Part I

abstract: Differentiating an $n$-groupoid via the differential-geometric fat point a priori only yielads a presheaf of graded manifolds. In this article we prove that this presheaf is representable by the tangent complex of the $n$-groupoid. As an immediate consequence we obtain that the tangent complex carries the structure of a Lie $n$-algebroid.


title: Characterising 4-tangles through a connectivity property

abstract: Every large $k$-connected graph-minor induces a $k$-tangle in its ambient graph. The converse holds for $k\le 3$, but fails for $k\ge 4$. This raises the question whether `$k$-connected' can be relaxed to obtain a characterisation of $k$-tangles through highly cohesive graph-minors. We show that this can be achieved for $k=4$ by proving that internally 4-connected graphs have unique 4-tangles, and that every graph with a 4-tangle $\tau$ has an internally 4-connected minor whose unique 4-tangle lifts to~$\tau$.


title: An explainable three dimension framework to uncover learning patterns: A unified look in variable sulci recognition

abstract: Detecting the significant features of the learning process of an artificial intelligence framework in the entire training and validation dataset can be determined as 'global' explanations. Studies in the literature lack of accurate, low-complexity, and three-dimensional (3D) global explanations which are crucial in neuroimaging, a field with a complex representational space that demands more than basic two-dimensional interpretations. To fill this gap, we developed a novel explainable artificial intelligence (XAI) 3D-Framework that provides robust, faithful, and low-complexity global explanations. We evaluated our framework on various 3D deep learning networks trained, validated, and tested on a well-annotated cohort of 596 subjects from the TOP-OSLO study. The focus was on the presence and absence of the paracingulate sulcus, a variable feature of brain morphology correlated with psychotic conditions. Our proposed 3D-Framework outperforms traditional XAI methods in terms of faithfulness for global explanations. As a result, we were able to use these robust explanations to uncover new patterns that not only enhance the credibility and reliability of the training process but also reveal promising new biomarkers and significantly related sub-regions. For the first time, our developed 3D-Framework proposes a way for the scientific community to utilize global explanations to discover novel patterns in this specific neuroscientific application and beyond. This study can helps improve the trustworthiness of AI training processes and push the boundaries of our understanding by revealing new patterns in neuroscience and beyond.


title: Developmental Scaffolding with Large Language Models

abstract: Exploratoration and self-observation are key mechanisms of infant sensorimotor development. These processes are further guided by parental scaffolding accelerating skill and knowledge acquisition. In developmental robotics, this approach has been adopted often by having a human acting as the source of scaffolding. In this study, we investigate whether Large Language Models (LLMs) can act as a scaffolding agent for a robotic system that aims to learn to predict the effects of its actions. To this end, an object manipulation setup is considered where one object can be picked and placed on top of or in the vicinity of another object. The adopted LLM is asked to guide the action selection process through algorithmically generated state descriptions and action selection alternatives in natural language. The simulation experiments that include cubes in this setup show that LLM-guided (GPT3.5-guided) learning yields significantly faster discovery of novel structures compared to random exploration. However, we observed that GPT3.5 fails to effectively guide the robot in generating structures with different affordances such as cubes and spheres. Overall, we conclude that even without fine-tuning, LLMs may serve as a moderate scaffolding agent for improving robot learning, however, they still lack affordance understanding which limits the applicability of the current LLMs in robotic scaffolding tasks.


title: Gravitational Lensing by Transparent Janis-Newman-Winicour Naked Singularities

abstract: The Janis-Newman-Winicour (JNW) spacetime can describe a naked singularity with a photon sphere that smoothly transforms into a Schwarzschild black hole. Our analysis reveals that photons, upon entering the photon sphere, converge to the singularity in a finite coordinate time. Furthermore, if the singularity is subjected to some regularization, these photons can traverse the regularized singularity. Subsequently, we investigate the gravitational lensing of distant sources and show that new images emerge within the critical curve formed by light rays escaping from the photon sphere. These newfound images offer a powerful tool for the detection and study of JNW naked singularities.


title: Friezes of cluster algebras of geometric type

abstract: For a cluster algebra $\mathcal{A}$ over $\mathbb{Q}$ of geometric type, a $\textit{frieze}$ of $\mathcal{A}$ is defined to be a $\mathbb{Q}$-algebra homomorphism from $\mathcal{A}$ to $\mathbb{Q}$ that takes positive integer values on all cluster variables and all frozen variables. We present some basic facts on friezes, including frieze testing criteria, the notion of $\textit{frieze points}$ when $\mathcal{A}$ is finitely generated, and pullbacks of friezes under certain $\mathbb{Q}$-algebra homomorphisms. When the cluster algebra $\mathcal{A}$ is acyclic, we define $\textit{frieze patterns associated to acyclic seeds of }\mathcal{A}$, generalizing the $\textit{ frieze patterns with coefficients of type } A$ studied by J. Propp and by M. Cuntz, T. Holm, and P. Jorgensen, and we give a sufficient condition for such frieze patterns to be equivalent to friezes. For the special cases when $\mathcal{A}$ has an acyclic seed with either trivial coefficients, principal coefficients, or what we call the $\textit{BFZ coefficients}$ (named after A. Berenstein, S. Fomin, and A. Zelevinsky), we identify frieze points of $\mathcal{A}$ both geometrically as certain positive integral points in explicitly described affine varieties and Lie theoretically (in the finite case) in terms of reduced double Bruhat cells and generalized minors on the associated semi-simple Lie groups. Furthermore, extending the gliding symmetry of the classical Coxeter frieze patterns of type $A$, we determine the symmetry of frieze patterns of any finite type with arbitrary coefficients.


title: A Multi-Head Ensemble Multi-Task Learning Approach for Dynamical Computation Offloading

abstract: Computation offloading has become a popular solution to support computationally intensive and latency-sensitive applications by transferring computing tasks to mobile edge servers (MESs) for execution, which is known as mobile/multi-access edge computing (MEC). To improve the MEC performance, it is required to design an optimal offloading strategy that includes offloading decision (i.e., whether offloading or not) and computational resource allocation of MEC. The design can be formulated as a mixed-integer nonlinear programming (MINLP) problem, which is generally NP-hard and its effective solution can be obtained by performing online inference through a well-trained deep neural network (DNN) model. However, when the system environments change dynamically, the DNN model may lose efficacy due to the drift of input parameters, thereby decreasing the generalization ability of the DNN model. To address this unique challenge, in this paper, we propose a multi-head ensemble multi-task learning (MEMTL) approach with a shared backbone and multiple prediction heads (PHs). Specifically, the shared backbone will be invariant during the PHs training and the inferred results will be ensembled, thereby significantly reducing the required training overhead and improving the inference performance. As a result, the joint optimization problem for offloading decision and resource allocation can be efficiently solved even in a time-varying wireless environment. Experimental results show that the proposed MEMTL outperforms benchmark methods in both the inference accuracy and mean square error without requiring additional training data.


title: MagicProp: Diffusion-based Video Editing via Motion-aware Appearance Propagation

abstract: This paper addresses the issue of modifying the visual appearance of videos while preserving their motion. A novel framework, named MagicProp, is proposed, which disentangles the video editing process into two stages: appearance editing and motion-aware appearance propagation. In the first stage, MagicProp selects a single frame from the input video and applies image-editing techniques to modify the content and/or style of the frame. The flexibility of these techniques enables the editing of arbitrary regions within the frame. In the second stage, MagicProp employs the edited frame as an appearance reference and generates the remaining frames using an autoregressive rendering approach. To achieve this, a diffusion-based conditional generation model, called PropDPM, is developed, which synthesizes the target frame by conditioning on the reference appearance, the target motion, and its previous appearance. The autoregressive editing approach ensures temporal consistency in the resulting videos. Overall, MagicProp combines the flexibility of image-editing techniques with the superior temporal consistency of autoregressive modeling, enabling flexible editing of object types and aesthetic styles in arbitrary regions of input videos while maintaining good temporal consistency across frames. Extensive experiments in various video editing scenarios demonstrate the effectiveness of MagicProp.


title: There is power in general equilibrium

abstract: The article develops a general equilibrium model where power relations are central in the determination of unemployment, profitability, and income distribution. The paper contributes to the market forces versus institutions debate by providing a unified model capable of identifying key interrelations between technical and institutional changes in the economy. Empirically, the model is used to gauge the relative roles of technology and institutions in the behavior of the labor share, the unemployment rate, the capital-output ratio, and business profitability and demonstrates how they complement each other in providing an adequate narrative to the structural changes of the US economy.


title: Electric-field induced droplet vertical vibration and horizontal motion: Experiments and simulations

abstract: In this work, Electrowetting on Dielectric (EWOD) and electrostatic induction (ESI) are employed to manipulate droplet on the PDMS-ITO substrate. Firstly, we report large vertical vibrations of the droplet, induced by EWOD, within a voltage range of 40 to 260 V. The droplet's transition from a vibrating state to a static equilibrium state are investigated in detail. It is indicated that the contact angle changes synchronously with voltage during the vibration. The electric signal in the circuit is measured to analyze the vibration state that varies with time. By studying the influence of driving voltage on the contact angle and the amplitude in the vibration, it is shown that the saturation voltage of both contact angle and amplitude is about 120 V. The intrinsic connection between contact angle saturation and amplitude saturation is clarified by studying the surface energy of the droplet. A theoretical model is constructed to numerically simulate the vibration morphology and amplitude of the droplet. Secondly, we realize the horizontal motion of droplets by ESI at the voltage less than 1000 V. The charge and electric force on the droplet are numerically calculated. The frictional resistance coefficients of the droplet are determined by the deceleration of the droplet. Under consideration of frictional resistance of the substrate and viscous resistance of the liquid, the motion of the droplet is calculated at 400 V and 1000 V, respectively. This work introduces a new method for manipulating various forms of droplet motion using the single apparatus.


title: A novel framework employing deep multi-attention channels network for the autonomous detection of metastasizing cells through fluorescence microscopy

abstract: We developed a transparent computational large-scale imaging-based framework that can distinguish between normal and metastasizing human cells. The method relies on fluorescence microscopy images showing the spatial organization of actin and vimentin filaments in normal and metastasizing single cells, using a combination of multi-attention channels network and global explainable techniques. We test a classification between normal cells (Bj primary fibroblast), and their isogenically matched, transformed and invasive counterpart (BjTertSV40TRasV12). Manual annotation is not trivial to automate due to the intricacy of the biologically relevant features. In this research, we utilized established deep learning networks and our new multi-attention channel architecture. To increase the interpretability of the network - crucial for this application area - we developed an interpretable global explainable approach correlating the weighted geometric mean of the total cell images and their local GradCam scores. The significant results from our analysis unprecedently allowed a more detailed, and biologically relevant understanding of the cytoskeletal changes that accompany oncogenic transformation of normal to invasive and metastasizing cells. We also paved the way for a possible spatial micrometre-level biomarker for future development of diagnostic tools against metastasis (spatial distribution of vimentin).


title: Enable people to identify science news based on retracted articles on social media

abstract: For many people, social media is an important way to consume news on important topics like health. Unfortunately, some influential health news is misinformation because it is based on retracted scientific work. Ours is the first work to explore how people can understand this form of misinformation and how an augmented social media interface can enable them to make use of information about retraction. We report a between subjects think-aloud study with 44 participants, where the experimental group used our augmented interface. Our results indicate that this helped them consider retraction when judging the credibility of news. Our key contributions are foundational insights for tackling the problem, revealing the interplay between people's understanding of scientific retraction, their prior beliefs about a topic, and the way they use a social media interface that provides access to retraction information.


title: Advanced spike sorting approaches in implantable VLSI wireless brain computer interfaces: a survey

abstract: Brain Computer/Machine Interfaces (BCI/BMIs) have substantial potential for enhancing the lives of disabled individuals by restoring functionalities of missing body parts or allowing paralyzed individuals to regain speech and other motor capabilities. Due to severe health hazards arising from skull incisions required for wired BCI/BMIs, scientists are focusing on developing VLSI wireless BCI implants using biomaterials. However, significant challenges, like power efficiency and implant size, persist in creating reliable and efficient wireless BCI implants. With advanced spike sorting techniques, VLSI wireless BCI implants can function within the power and size constraints while maintaining neural spike classification accuracy. This study explores advanced spike sorting techniques to overcome these hurdles and enable VLSI wireless BCI/BMI implants to transmit data efficiently and achieve high accuracy.


title: On pro-p Cappitt groups with finite exponent

abstract: A pro-p Cappitt group is a pro-p group G such that the subgroup topologically generated by all non-normal closed subgroups is a proper subgroup of G. In this paper we prove that non-abelian pro-p Cappitt groups whose torsion subgroup is closed has finite exponent. We also prove that in a pro-p Cappitt group its subgroup commutator is a procyclic central subgroup. Finally we show that pro-2 Cappitt groups of exponent 4 are pro-2 Dedekind groups. These results are pro-p versions of the generalized Dedekind groups studied by Cappitt.


title: Manifesting Unobtainable Secrets: Threshold Elliptic Curve Key Generation using Nested Shamir Secret Sharing

abstract: We present a mechanism to manifest unobtainable secrets using a nested Shamir secret sharing scheme to create public/private key pairs for elliptic curves. A threshold secret sharing scheme can be used as a decentralised trust mechanism with applications in identity validation, message decryption, and agreement empowerment. Decentralising trust means that there is no single point vulnerability which could enable compromise of a system. Our primary interest is in twisted Edwards curves as used in EdDSA, and the related Diffie-Hellman key-exchange algorithms. The key generation is also decentralised, so can be used as a decentralised secret RNG suitable for use in other algorithms. The algorithms presented could be used to fill a ``[TBS]'' in the draft IETF specification ``Threshold modes in elliptic curves'' published in 2020 and updated in 2022.


title: BLSP: Bootstrapping Language-Speech Pre-training via Behavior Alignment of Continuation Writing

abstract: The emergence of large language models (LLMs) has sparked significant interest in extending their remarkable language capabilities to speech. However, modality alignment between speech and text still remains an open problem. Current solutions can be categorized into two strategies. One is a cascaded approach where outputs (tokens or states) of a separately trained speech recognition system are used as inputs for LLMs, which limits their potential in modeling alignment between speech and text. The other is an end-to-end approach that relies on speech instruction data, which is very difficult to collect in large quantities. In this paper, we address these issues and propose the BLSP approach that Bootstraps Language-Speech Pre-training via behavior alignment of continuation writing. We achieve this by learning a lightweight modality adapter between a frozen speech encoder and an LLM, ensuring that the LLM exhibits the same generation behavior regardless of the modality of input: a speech segment or its transcript. The training process can be divided into two steps. The first step prompts an LLM to generate texts with speech transcripts as prefixes, obtaining text continuations. In the second step, these continuations are used as supervised signals to train the modality adapter in an end-to-end manner. We demonstrate that this straightforward process can extend the capabilities of LLMs to speech, enabling speech recognition, speech translation, spoken language understanding, and speech conversation, even in zero-shot cross-lingual scenarios.


title: Knowledge Graph Embeddings for Multi-Lingual Structured Representations of Radiology Reports

abstract: The way we analyse clinical texts has undergone major changes over the last years. The introduction of language models such as BERT led to adaptations for the (bio)medical domain like PubMedBERT and ClinicalBERT. These models rely on large databases of archived medical documents. While performing well in terms of accuracy, both the lack of interpretability and limitations to transfer across languages limit their use in clinical setting. We introduce a novel light-weight graph-based embedding method specifically catering radiology reports. It takes into account the structure and composition of the report, while also connecting medical terms in the report through the multi-lingual SNOMED Clinical Terms knowledge base. The resulting graph embedding uncovers the underlying relationships among clinical terms, achieving a representation that is better understandable for clinicians and clinically more accurate, without reliance on large pre-training datasets. We show the use of this embedding on two tasks namely disease classification of X-ray reports and image classification. For disease classification our model is competitive with its BERT-based counterparts, while being magnitudes smaller in size and training data requirements. For image classification, we show the effectiveness of the graph embedding leveraging cross-modal knowledge transfer and show how this method is usable across different languages.


title: Electron beams traversing spherical nanoparticles: analytic and numerical treatment

abstract: We present an analytic, Mie theory-based solution for the energy-loss and the photon-emission probabilities in the interaction of spherical nanoparticles with electrons passing nearby and through them, in both cathodoluminescence and electron energy-loss spectroscopies. In particular, we focus on the case of penetrating electron trajectories, for which the complete fully electrodynamic and relativistic formalism has not been reported as yet. We exhibit the efficiency of this method in describing collective excitations in matter through calculations for a dispersive and lossy system, namely a sphere described by a Drude permittivity. Subsequently, we use the analytic solution to corroborate the implementation of electron-beam sources in a state-of-the-art numerical method for problems in electrodynamics, the discontinuous Galerkin time-domain (DGTD) method. We show that the two approaches produce spectra in good mutual agreement, and demonstrate the versatility of DGTD via simulations of spherical nanoparticles characterized by surface roughness. The possibility of simultaneously employing both kinds of calculations (analytic and numerical) facilitates a better understanding of the rich optical response of nanophotonic architectures excited by fast electron beams.


title: Electron Spin Polarization as a Predictor of Chiroptical Activity in Helical Molecules

abstract: Chiral structures, breaking spatial inversion symmetry, exhibit non-zero chiroptical activity (COA) due to the interaction between their electric and magnetic responses under external electromagnetic fields, an effect that is otherwise absent in achiral systems. Non-magnetic chiral structures also exhibit Chiral Induced Spin Selectivity (CISS), where spin-polarization (SP) emerges without external magnetic influence. We have obtained a COA-SP connection for a model system of an electron constrained to a helix including spin-orbit coupling (SOC), and in the presence of an external electromagnetic field. Despite its simplicity, this model captures the relevant physics required to address the problem. In particular, our results reveal that the norm of the SP vector can be used as a predictor of COA. In addition to SOC and the breaking of space inversion, a non-vanishing SP requires the breaking of time-reversal symmetry (TRS), as demanded by Onsager's reciprocity. Beyond the relationship between SP and COA, we obtain the novel result that TRS breaking is also necessary to yield a non-vanishing contribution of the SOC to the COA.


title: Trustworthy Distributed Average Consensus based on Locally Assessed Trust Evaluations

abstract: This paper proposes a distributed algorithm for average consensus in a multi-agent system under a fixed bidirectional communication topology, in the presence of malicious agents (nodes) that may try to influence the average consensus outcome by manipulating their updates. The proposed algorithm converges asymptotically to the average of the initial values of the non-malicious nodes, which we refer to as the trustworthy average, as long as the underlying topology that describes the information exchange among the non-malicious nodes is connected. We first present a distributed iterative algorithm that assumes that each node receives (at each iteration or periodically) side information about the trustworthiness of the other nodes, and it uses such trust assessments to determine whether or not to incorporate messages received from its neighbors, as well as to make proper adjustments in its calculation depending on whether a previously trustworthy neighbor becomes untrustworthy or vice-versa. We show that, as long as the trust assessments for each non-malicious node eventually reflect correctly the status (malicious or non-malicious) of its neighboring nodes, the algorithm guarantees asymptotic convergence to the trustworthy average. We subsequently discuss how the proposed algorithm can be enhanced with functionality that enables each node to obtain trust assessments about its neighbors by utilizing information that it receives from its two-hop neighbors at infrequent, perhaps randomly chosen, time instants.


title: An iterative scheme for finite horizon model reduction of continuous-time linear time-varying systems

abstract: In this paper, we obtain the functional derivatives of a finite horizon error norm between a full-order and a reduced-order continuous-time linear time-varying (LTV) system. Based on the functional derivatives, first-order necessary conditions for optimality of the error norm are derived, and a projection-based iterative scheme for model reduction is proposed. The iterative scheme upon convergence produces reduced-order models satisfying the optimality conditions. Finally, through a numerical example, we demonstrate the better performance of the proposed model reduction scheme in comparison to the finite horizon balanced truncation algorithm for continuous-time LTV systems.


title: Resolving vertices of graphs with differences

abstract: The classical (vertex) metric dimension of a graph G is defined as the cardinality of a smallest set S in V (G) such that any two vertices x and y from G have different distances to least one vertex from S: The k-metric dimension is a generalization of that notion where it is required that any pair of vertices has different distances to at least k vertices from S: In this paper, we introduce the weak k-metric dimension of a graph G; which is defined as the cardinality of a smallest set of vertices S such that the sum of the distance differences from any pair of vertices to all vertices of S is at least k: This dimension is "stronger" than the classical metric dimension, yet "weaker" than k-metric dimension, and it can be formulated as an ILP problem. The maximum k for which the weak k-metric dimension is defined is denoted by kappa(G). We first prove several properties of the weak k-metric dimension regarding the presence of true or false twin vertices in a graph. Using those properties, the kappa(G) is found for some basic graph classes, such as paths, stars, cycles, and complete (bipartite) graphs. We also find kappa(G) for trees and grid graphs using the observation that the distance difference increases by the increase of the cardinality of a set S. For all these graph classes we further establish the exact value of the weak k-metric dimension for all k <= kappa(G).


title: GBE-MLZSL: A Group Bi-Enhancement Framework for Multi-Label Zero-Shot Learning

abstract: This paper investigates a challenging problem of zero-shot learning in the multi-label scenario (MLZSL), wherein, the model is trained to recognize multiple unseen classes within a sample (e.g., an image) based on seen classes and auxiliary knowledge, e.g., semantic information. Existing methods usually resort to analyzing the relationship of various seen classes residing in a sample from the dimension of spatial or semantic characteristics, and transfer the learned model to unseen ones. But they ignore the effective integration of local and global features. That is, in the process of inferring unseen classes, global features represent the principal direction of the image in the feature space, while local features should maintain uniqueness within a certain range. This integrated neglect will make the model lose its grasp of the main components of the image. Relying only on the local existence of seen classes during the inference stage introduces unavoidable bias. In this paper, we propose a novel and effective group bi-enhancement framework for MLZSL, dubbed GBE-MLZSL, to fully make use of such properties and enable a more accurate and robust visual-semantic projection. Specifically, we split the feature maps into several feature groups, of which each feature group can be trained independently with the Local Information Distinguishing Module (LID) to ensure uniqueness. Meanwhile, a Global Enhancement Module (GEM) is designed to preserve the principal direction. Besides, a static graph structure is designed to construct the correlation of local features. Experiments on large-scale MLZSL benchmark datasets NUS-WIDE and Open-Images-v4 demonstrate that the proposed GBE-MLZSL outperforms other state-of-the-art methods with large margins.


title: Entanglement phase transitions in non-Hermitian quasicrystals

abstract: The scaling law of entanglement entropy could undergo qualitative changes during the nonunitary evolution of a quantum many-body system. In this work, we uncover such entanglement phase transitions in one-dimensional non-Hermitian quasicrystals (NHQCs). We identify two types of entanglement transitions with different scaling laws and critical behaviors due to the interplay between non-Hermitian effects and quasiperiodic potentials. The first type represents a typical volume-law to area-law transition, which happens together with a PT-symmetry breaking and a localization transition. The second type features an abnormal log-law to area-law transition, which is mediated by a critical phase with a volume-law scaling in the steady-state entanglement entropy. These entangling phases and transitions are demonstrated in two representative models of NHQCs. Our results thus advanced the study of entanglement transitions in non-Hermitian disordered systems and further disclosed the rich entanglement patterns in NHQCs.


title: Poisson limit theorem for the number of excursions above high and medium levels by Gaussian stationary sequences

abstract: Asymptotic behavior of the point process of high and medium values of a Gaussian stationary process with discrete time is considered. An approximation by a Poisson cluster point process is given for the point process.


title: Time-bin entanglement at telecom wavelengths from a hybrid photonic integrated circuit

abstract: Mass-deployable implementations for quantum communication require compact, reliable, and low-cost hardware solutions for photon generation, control and analysis. We present a fiber-pigtailed hybrid photonic circuit comprising nonlinear waveguides for photon-pair generation and a polymer interposer reaching 68dB of pump suppression and photon separation with >25dB polarization extinction ratio. The optical stability of the hybrid assembly enhances the quality of the entanglement, and the efficient background suppression and photon routing further reduce accidental coincidences. We thus achieve a 96(-8,+3)% concurrence and a 96(-5,+2)% fidelity to a Bell state. The generated telecom-wavelength, time-bin entangled photon pairs are ideally suited for distributing Bell pairs over fiber networks with low dispersion.


title: A practical guide to loss measurements using the Fourier transform of the transmission spectrum

abstract: Analyzing the internal loss characteristics and multimodedness of (integrated) optical devices can prove difficult. One technique to recover this information is to Fourier transform the transmission spectrum of optical components. This article gives instruction on how to perform the transmission measurement, prepare the data, and interpret the Fourier spectrum. Our guide offers insights into the influence of sampling, windowing, zero padding as well as Fourier spectrum peak heights and shapes which are previously neglected in the literature but have considerable impact on the results of the method. For illustration, we apply the method to a Bragg-reflection waveguide. We find that the waveguide is multimodal with two modes having very similar group refractive indices but different optical losses.


title: S$^3$-MonoDETR: Supervised Shape&Scale-perceptive Deformable Transformer for Monocular 3D Object Detection

abstract: Recently, transformer-based methods have shown exceptional performance in monocular 3D object detection, which can predict 3D attributes from a single 2D image. These methods typically use visual and depth representations to generate query points on objects, whose quality plays a decisive role in the detection accuracy. However, current unsupervised attention mechanisms without any geometry appearance awareness in transformers are susceptible to producing noisy features for query points, which severely limits the network performance and also makes the model have a poor ability to detect multi-category objects in a single training process. To tackle this problem, this paper proposes a novel "Supervised Shape&Scale-perceptive Deformable Attention" (S$^3$-DA) module for monocular 3D object detection. Concretely, S$^3$-DA utilizes visual and depth features to generate diverse local features with various shapes and scales and predict the corresponding matching distribution simultaneously to impose valuable shape&scale perception for each query. Benefiting from this, S$^3$-DA effectively estimates receptive fields for query points belonging to any category, enabling them to generate robust query features. Besides, we propose a Multi-classification-based Shape$\&$Scale Matching (MSM) loss to supervise the above process. Extensive experiments on KITTI and Waymo Open datasets demonstrate that S$^3$-DA significantly improves the detection accuracy, yielding state-of-the-art performance of single-category and multi-category 3D object detection in a single training process compared to the existing approaches. The source code will be made publicly available at https://github.com/mikasa3lili/S3-MonoDETR.


title: Timbre-reserved Adversarial Attack in Speaker Identification

abstract: As a type of biometric identification, a speaker identification (SID) system is confronted with various kinds of attacks. The spoofing attacks typically imitate the timbre of the target speakers, while the adversarial attacks confuse the SID system by adding a well-designed adversarial perturbation to an arbitrary speech. Although the spoofing attack copies a similar timbre as the victim, it does not exploit the vulnerability of the SID model and may not make the SID system give the attacker's desired decision. As for the adversarial attack, despite the SID system can be led to a designated decision, it cannot meet the specified text or speaker timbre requirements for the specific attack scenarios. In this study, to make the attack in SID not only leverage the vulnerability of the SID model but also reserve the timbre of the target speaker, we propose a timbre-reserved adversarial attack in the speaker identification. We generate the timbre-reserved adversarial audios by adding an adversarial constraint during the different training stages of the voice conversion (VC) model. Specifically, the adversarial constraint is using the target speaker label to optimize the adversarial perturbation added to the VC model representations and is implemented by a speaker classifier joining in the VC model training. The adversarial constraint can help to control the VC model to generate the speaker-wised audio. Eventually, the inference of the VC model is the ideal adversarial fake audio, which is timbre-reserved and can fool the SID system.


title: Tensor Loop Reduction via the Baikov Representation and an Auxiliary Vector

abstract: In this paper, we introduce a simple and efficient approach for the general reduction of one-loop integrals. Our method employs the introduction of an auxiliary vector and the identification of the tensor structure as an auxiliary propagator. This key insight allows us to express a wide range of one-loop integrals, encompassing both tensor structures and higher poles, in the Baikov representation. By establishing an integral-by-parts (IBP) relation, we derive a recursive formula that systematically solves the one-loop reduction problem, even in the presence of various degenerate cases. Our proposed strategy is characterized by its simplicity and effectiveness, offering a significant advancement in the field of one-loop calculations.


title: Parametric Finite Element Discretization of the Surface Stokes Equations

abstract: We study a higher-order surface finite element (SFEM) penalty-based discretization of the tangential surface Stokes problem. Several discrete formulations are investigated which are equivalent in the continuous setting. The impact of the choice of discretization of the diffusion term and of the divergence term on numerical accuracy and convergence, as well as on implementation advantages, is discussed. We analyze the inf-sup stability of the discrete scheme in a generic approach by lifting stable finite element pairs known from the literature. A discretization error analysis in tangential norms then shows optimal order convergence of an isogeometric setting that requires only geometric knowledge of the discrete surface.


title: Deep supervised hashing for fast retrieval of radio image cubes

abstract: The shear number of sources that will be detected by next-generation radio surveys will be astronomical, which will result in serendipitous discoveries. Data-dependent deep hashing algorithms have been shown to be efficient at image retrieval tasks in the fields of computer vision and multimedia. However, there are limited applications of these methodologies in the field of astronomy. In this work, we utilize deep hashing to rapidly search for similar images in a large database. The experiment uses a balanced dataset of 2708 samples consisting of four classes: Compact, FRI, FRII, and Bent. The performance of the method was evaluated using the mean average precision (mAP) metric where a precision of 88.5\% was achieved. The experimental results demonstrate the capability to search and retrieve similar radio images efficiently and at scale. The retrieval is based on the Hamming distance between the binary hash of the query image and those of the reference images in the database.


title: Two-in-One Depth: Bridging the Gap Between Monocular and Binocular Self-supervised Depth Estimation

abstract: Monocular and binocular self-supervised depth estimations are two important and related tasks in computer vision, which aim to predict scene depths from single images and stereo image pairs respectively. In literature, the two tasks are usually tackled separately by two different kinds of models, and binocular models generally fail to predict depth from single images, while the prediction accuracy of monocular models is generally inferior to binocular models. In this paper, we propose a Two-in-One self-supervised depth estimation network, called TiO-Depth, which could not only compatibly handle the two tasks, but also improve the prediction accuracy. TiO-Depth employs a Siamese architecture and each sub-network of it could be used as a monocular depth estimation model. For binocular depth estimation, a Monocular Feature Matching module is proposed for incorporating the stereo knowledge between the two images, and the full TiO-Depth is used to predict depths. We also design a multi-stage joint-training strategy for improving the performances of TiO-Depth in both two tasks by combining the relative advantages of them. Experimental results on the KITTI, Cityscapes, and DDAD datasets demonstrate that TiO-Depth outperforms both the monocular and binocular state-of-the-art methods in most cases, and further verify the feasibility of a two-in-one network for monocular and binocular depth estimation. The code is available at https://github.com/ZM-Zhou/TiO-Depth_pytorch.


title: Strongly outer actions of certain torsion-free amenable groups on the Razak-Jacelon algebra

abstract: Let $\mathfrak{C}$ be the smallest class of countable discrete groups with the following properties: (i) $\mathfrak{C}$ contains the trivial group, (ii) $\mathfrak{C}$ is closed under isomorphisms, countable increasing unions and extensions by $\mathbb{Z}$. Note that $\mathfrak{C}$ contains all countable discrete torsion-free abelian groups and poly-$\mathbb{Z}$ groups. Also, $\mathfrak{C}$ is a subclass of the class of countable discrete torsion-free elementary amenable groups. In this paper, we show that if $\Gamma\in \mathfrak{C}$, then all strongly outer actions of $\Gamma$ on the Razak-Jacelon algebra $\mathcal{W}$ are cocycle conjugate to each other. This can be regarded as an analogous result of Szab\'o's result for strongly self-absorbing C$^*$-algebras.


title: Effect of cholesterol on the mechanical stability of gel-phase phospholipid bilayers studied by AFM force spectroscopy

abstract: The low sliding friction of articular cartilage in the major joints , which is crucial for its homeostasis and for joint health, has been attributed to lipid bilayers forming lubricious boundary layers at its surface. The robustness of such layers, and thus their lubrication efficiency at joint pressures, depends on the lipids forming them, including cholesterol, which may act to strengthen of weaken the bilayer. A systematic study using an Atomic Force Microscope (AFM) was carried out to understand the effect of cholesterol on the nanomechanical stability of two saturated phospholipids, DSPC (1,2-distearoyl-sn-glycero-3-phosphatidlycholine) and DPPC (1,2-dipalmitoyl-sn-glycero-phosphatidylcholine), that differ in acyl chain lengths. Measurements were carried out both in water and in phosphate buffer solution (PBS). The nanomechanical stability of the lipid bilayers was quantitatively evaluated by measuring the breakthrough force needed to puncture the bilayer by the AFM tip. The molar fractions of cholesterol incorporated in the bilayers were 10% and 40%. We found that for both DSPC and DPPC, cholesterol significantly decreases the mechanical stability of the bilayers in solid ordered (SO) phase. In accordance with the literature, the strengthening effect of salt on the lipid bilayers was also observed. For DPPC with 10 mol % cholesterol, the effect of tip properties and the experimental procedure parameters on the breakthrough forces were also studied. Tip radius (2 - 42 nm), material (Si, Si3N4, Au) and loading rate (40 - 1000 nm/s) were varied systematically. The values of the breakthrough forces measured were not significantly affected by any of these parameters, showing that the weakening effect of cholesterol does not result from such changes in experimental conditions. This study helps to shed light on the mechanism of physiological lubrication.


title: Fabrication of low-loss III-V Bragg-reflection waveguides for parametric down-conversion

abstract: Entangled photon pairs are an important resource for quantum cryptography schemes that go beyond point-to-point communication. Semiconductor Bragg-reflection waveguides are a promising photon-pair source due to mature fabrication, integrability, large transparency window in the telecom wavelength range, integration capabilities for electro-optical devices as well as a high second-order nonlinear coefficient. To increase performance we improved the fabrication of Bragg-reflection waveguides by employing fixed-beam-moving-stage optical lithography, low pressure and low chlorine concentration etching, and resist reflow. The reduction in sidewall roughness yields a low optical loss coefficient for telecom wavelength light of alpha_reflow = 0.08(6)mm^(-1). Owing to the decreased losses, we achieved a photon pair production rate of 8800(300)(mW*s*mm)^(-1) which is 15-fold higher than in previous samples.


title: Spectroscopic Observations of Selected Planetary Nebulae from the HASH Database

abstract: We conducted research on the classification and physical properties of 10 objects from the HASH (Hong Kong/Australian Astronomical Observatory/Strasbourg Observatory H-alpha Planetary Nebula (PN)) database with small angular sizes (< 8\arcsec) in the northern hemisphere. The sample consisted of 6 Likely PNe, 2 new candidates, one emission-line star, and one object of unknown nature. Among them, we observed 4 objects for the first time using the medium-resolution TFOSC spectrograph located on the RTT150 cm of the T\"UB\.ITAK National Observatory (TUG). To investigate the classification of the observed objects, we utilized the emission line ratios of [O III]/H$_{\gamma}$, [O III]/H$_{\beta}$, [N II]/H$_{\alpha}$ and [S II]/H$_{\alpha}$ and diagnostic diagrams such as the Sabbadin-Minello-Bianchini (SMB) and Baldwin-Phillips-Terlevich (BPT). When considering a broader range of diagnostic criteria compared to those provided in the literature, our analyses resulted in the reclassification of 4 objects from Likely PNe to True PNe and the retention of the previous classification for the remaining 6 objects. In addition, we obtained various physical conditions such as electron temperatures, electron densities, logarithmic extinction coefficients, and excitation classes for the 10 objects under study. Our analysis revealed that the ionic abundances of the majority of these objects were in agreement with Galactic PNe. Our spectral observations have led to the updating of 10 PNe in the HASH database.


title: Exploring the Robustness of Human Parsers Towards Common Corruptions

abstract: Human parsing aims to segment each pixel of the human image with fine-grained semantic categories. However, current human parsers trained with clean data are easily confused by numerous image corruptions such as blur and noise. To improve the robustness of human parsers, in this paper, we construct three corruption robustness benchmarks, termed LIP-C, ATR-C, and Pascal-Person-Part-C, to assist us in evaluating the risk tolerance of human parsing models. Inspired by the data augmentation strategy, we propose a novel heterogeneous augmentation-enhanced mechanism to bolster robustness under commonly corrupted conditions. Specifically, two types of data augmentations from different views, i.e., image-aware augmentation and model-aware image-to-image transformation, are integrated in a sequential manner for adapting to unforeseen image corruptions. The image-aware augmentation can enrich the high diversity of training images with the help of common image operations. The model-aware augmentation strategy that improves the diversity of input data by considering the model's randomness. The proposed method is model-agnostic, and it can plug and play into arbitrary state-of-the-art human parsing frameworks. The experimental results show that the proposed method demonstrates good universality which can improve the robustness of the human parsing models and even the semantic segmentation models when facing various image common corruptions. Meanwhile, it can still obtain approximate performance on clean data.


title: Data Repurposing through Compatibility: A Computational Perspective

abstract: Reuse of data in new contexts beyond the purposes for which it was originally collected has contributed to technological innovation and reducing the consent burden on data subjects. One of the legal mechanisms that makes such reuse possible is purpose compatibility assessment. In this paper, I offer an in-depth analysis of this mechanism through a computational lens. I moreover consider what should qualify as repurposing apart from using data for a completely new task, and argue that typical purpose formulations are an impediment to meaningful repurposing. Overall, the paper positions compatibility assessment as a constructive practice beyond an ineffective standard.


title: Content Prompting: Modeling Content Provider Dynamics to Improve User Welfare in Recommender Ecosystems

abstract: Users derive value from a recommender system (RS) only to the extent that it is able to surface content (or items) that meet their needs/preferences. While RSs often have a comprehensive view of user preferences across the entire user base, content providers, by contrast, generally have only a local view of the preferences of users that have interacted with their content. This limits a provider's ability to offer new content to best serve the broader population. In this work, we tackle this information asymmetry with content prompting policies. A content prompt is a hint or suggestion to a provider to make available novel content for which the RS predicts unmet user demand. A prompting policy is a sequence of such prompts that is responsive to the dynamics of a provider's beliefs, skills and incentives. We aim to determine a joint prompting policy that induces a set of providers to make content available that optimizes user social welfare in equilibrium, while respecting the incentives of the providers themselves. Our contributions include: (i) an abstract model of the RS ecosystem, including content provider behaviors, that supports such prompting; (ii) the design and theoretical analysis of sequential prompting policies for individual providers; (iii) a mixed integer programming formulation for optimal joint prompting using path planning in content space; and (iv) simple, proof-of-concept experiments illustrating how such policies improve ecosystem health and user welfare.


title: Emergent Linear Representations in World Models of Self-Supervised Sequence Models

abstract: How do sequence models represent their decision-making process? Prior work suggests that Othello-playing neural network learned nonlinear models of the board state (Li et al., 2023). In this work, we provide evidence of a closely related linear representation of the board. In particular, we show that probing for "my colour" vs. "opponent's colour" may be a simple yet powerful way to interpret the model's internal state. This precise understanding of the internal representations allows us to control the model's behaviour with simple vector arithmetic. Linear representations enable significant interpretability progress, which we demonstrate with further exploration of how the world model is computed.


title: Tracking without Label: Unsupervised Multiple Object Tracking via Contrastive Similarity Learning

abstract: Unsupervised learning is a challenging task due to the lack of labels. Multiple Object Tracking (MOT), which inevitably suffers from mutual object interference, occlusion, etc., is even more difficult without label supervision. In this paper, we explore the latent consistency of sample features across video frames and propose an Unsupervised Contrastive Similarity Learning method, named UCSL, including three contrast modules: self-contrast, cross-contrast, and ambiguity contrast. Specifically, i) self-contrast uses intra-frame direct and inter-frame indirect contrast to obtain discriminative representations by maximizing self-similarity. ii) Cross-contrast aligns cross- and continuous-frame matching results, mitigating the persistent negative effect caused by object occlusion. And iii) ambiguity contrast matches ambiguous objects with each other to further increase the certainty of subsequent object association through an implicit manner. On existing benchmarks, our method outperforms the existing unsupervised methods using only limited help from ReID head, and even provides higher accuracy than lots of fully supervised methods.


title: iCOS: Option-Implied COS Method

abstract: This paper proposes the option-implied Fourier-cosine method, iCOS, for non-parametric estimation of risk-neutral densities, option prices, and option sensitivities. The iCOS method leverages the Fourier-based COS technique, proposed by Fang and Oosterlee (2008), by utilizing the option-implied cosine series coefficients. Notably, this procedure does not rely on any model assumptions about the underlying asset price dynamics, it is fully non-parametric, and it does not involve any numerical optimization. These features make it rather general and computationally appealing. Furthermore, we derive the asymptotic properties of the proposed non-parametric estimators and study their finite-sample behavior in Monte Carlo simulations. Our empirical analysis using S&P 500 index options and Amazon equity options illustrates the effectiveness of the iCOS method in extracting valuable information from option prices under different market conditions. Additionally, we apply our methodology to dissect and quantify observation and discretization errors in the VIX index.


title: Pressmatch: Automated journalist recommendation for media coverage with Nearest Neighbor search

abstract: Slating a product for release often involves pitching journalists to run stories on your press release. Good media coverage often ensures greater product reach and drives audience engagement for those products. Hence, ensuring that those releases are pitched to the right journalists with relevant interests is crucial, since they receive several pitches daily. Keeping up with journalist beats and curating a media contacts list is often a huge and time-consuming task. This study proposes a model to automate and expedite the process by recommending suitable journalists to run media coverage on the press releases provided by the user.


title: Spectral analysis and phase transitions for long-range interactions in harmonic chains of oscillators

abstract: We consider chains of $N$ harmonic oscillators in two dimensions coupled to two Langevin heat reservoirs at different temperatures - a classical model for heat conduction introduced by Lebowitz, Lieb, and Rieder \cite{RLL67}. We extend our previous results \cite{BM20} significantly by providing a full spectral description of the full Fokker-Planck operator allowing also for the presence of a constant external magnetic field for charged oscillators. We then study oscillator chains with additional next-to-nearest-neighbor interactions and find that the spectral gap undergoes a phase transition if the next-to-nearest-neighbour interactions are sufficiently strong and may even cease to exist for oscillator chains of finite length.


title: From Specific to Generic Learned Sorted Set Dictionaries: A Theoretically Sound Paradigm Yelding Competitive Data Structural Boosters in Practice

abstract: This research concerns Learned Data Structures, a recent area that has emerged at the crossroad of Machine Learning and Classic Data Structures. It is methodologically important and with a high practical impact. We focus on Learned Indexes, i.e., Learned Sorted Set Dictionaries. The proposals available so far are specific in the sense that they can boost, indeed impressively, the time performance of Table Search Procedures with a sorted layout only, e.g., Binary Search. We propose a novel paradigm that, complementing known specialized ones, can produce Learned versions of any Sorted Set Dictionary, for instance, Balanced Binary Search Trees or Binary Search on layouts other that sorted, i.e., Eytzinger. Theoretically, based on it, we obtain several results of interest, such as (a) the first Learned Optimum Binary Search Forest, with mean access time bounded by the Entropy of the probability distribution of the accesses to the Dictionary; (b) the first Learned Sorted Set Dictionary that, in the Dynamic Case and in an amortized analysis setting, matches the same time bounds known for Classic Dictionaries. This latter under widely accepted assumptions regarding the size of the Universe. The experimental part, somewhat complex in terms of software development, clearly indicates the nonobvious finding that the generalization we propose can yield effective and competitive Learned Data Structural Booster, even with respect to specific benchmark models.


title: On modelling and stabilizability of voltage-controlled piezoelectric material

abstract: In this paper, we present a new piezoelectric actuator and piezoelectric composite model and show the well-posedness of these systems. Furthermore, we show that the piezoelectric composite is stabilizable for certain system parameters. In this work, we also review several piezoelectric beams, actuators, and composite models and provide improved definitions of the different electromagnetic considerations, i.e. fully dynamic electromagnetic field, quasi-static electric field, and the static lectric field assumption.


title: Marginalised Normal Regression: Unbiased curve fitting in the presence of x-errors

abstract: The history of the seemingly simple problem of straight line fitting in the presence of both $x$ and $y$ errors has been fraught with misadventure, with statistically ad hoc and poorly tested methods abounding in the literature. The problem stems from the emergence of latent variables describing the "true" values of the independent variables, the priors on which have a significant impact on the regression result. By analytic calculation of maximum a posteriori values and biases, and comprehensive numerical mock tests, we assess the quality of possible priors. In the presence of intrinsic scatter, the only prior that we find to give reliably unbiased results in general is a mixture of one or more Gaussians with means and variances determined as part of the inference. We find that a single Gaussian is typically sufficient and dub this model Marginalised Normal Regression (MNR). We illustrate the necessity for MNR by comparing it to alternative methods on an important linear relation in cosmology, and extend it to nonlinear regression and an arbitrary covariance matrix linking $x$ and $y$. We publicly release a Python/Jax implementation of MNR and its Gaussian mixture model extension that is coupled to Hamiltonian Monte Carlo for efficient sampling, which we call ROXY (Regression and Optimisation with X and Y errors).


title: Multilingual Text Representation

abstract: Modern NLP breakthrough includes large multilingual models capable of performing tasks across more than 100 languages. State-of-the-art language models came a long way, starting from the simple one-hot representation of words capable of performing tasks like natural language understanding, common-sense reasoning, or question-answering, thus capturing both the syntax and semantics of texts. At the same time, language models are expanding beyond our known language boundary, even competitively performing over very low-resource dialects of endangered languages. However, there are still problems to solve to ensure an equitable representation of texts through a unified modeling space across language and speakers. In this survey, we shed light on this iterative progression of multilingual text representation and discuss the driving factors that ultimately led to the current state-of-the-art. Subsequently, we discuss how the full potential of language democratization could be obtained, reaching beyond the known limits and what is the scope of improvement in that space.


title: Plancherel formula for the attenuated Radon transform

abstract: Motivated by stereology, based on Novikov's inversion formula, we prove a Plancherel-type formula for the attenuated Radon transform.


title: A nanoporous capacitive electrochemical ratchet for continuous ion separations

abstract: Directed ion transport in liquid electrolyte solutions underlies numerous phenomena in nature and industry including neuronal signaling, photosynthesis and respiration, electrodialysis for desalination, and recovery of critical materials. Here, we report the first demonstration of an ion pump that drives ions in aqueous electrolytes against a force using a capacitive ratchet mechanism. Our ratchet-based ion pumps utilize the non-linear capacitive nature of electric double layers for symmetry breaking which drives a net time-averaged ion flux in response to a time varying input signal. Since the devices are driven by a non-linear charging and discharging of double layers, they do not require redox reactions for continual operation. Ratchet-based ion pumps were fabricated by depositing thin gold layers on the two surfaces of anodized alumina wafers, forming nanoporous capacitor-like structures. Pumping occurs when a wafer is placed between two compartments of aqueous electrolyte and the electric potential across it is modulated. In response to various input signals, persistent ionic voltages and sustained currents were observed, consistent with net unidirectional ion transport, even though conduction through the membrane was non-rectifying. The generated ionic power was used in conjunction with an additional shunt pathway to demonstrate electrolyte demixing.


title: Bridge Diffusion Model: bridge non-English language-native text-to-image diffusion model with English communities

abstract: Text-to-Image generation (TTI) technologies are advancing rapidly, especially in the English language communities. However, English-native TTI models inherently carry biases from English world centric training data, which creates a dilemma for development of other language-native TTI models. One common choice is fine-tuning the English-native TTI model with translated samples from non-English communities. It falls short of fully addressing the model bias problem. Alternatively, training non-English language native models from scratch can effectively resolve the English world bias, but diverges from the English TTI communities, thus not able to utilize the strides continuously gaining in the English TTI communities any more. To build non-English language native TTI model meanwhile keep compatability with the English TTI communities, we propose a novel model structure referred as "Bridge Diffusion Model" (BDM). The proposed BDM employs a backbone-branch network structure to learn the non-English language semantics while keep the latent space compatible with the English-native TTI backbone, in an end-to-end manner. The unique advantages of the proposed BDM are that it's not only adept at generating images that precisely depict non-English language semantics, but also compatible with various English-native TTI plugins, such as different checkpoints, LoRA, ControlNet, Dreambooth, and Textual Inversion, etc. Moreover, BDM can concurrently generate content seamlessly combining both non-English native and English-native semantics within a single image, fostering cultural interaction. We verify our method by applying BDM to build a Chinese-native TTI model, whereas the method is generic and applicable to any other language.


title: A time-fractional optimal transport and mean-field planning: Formulation and algorithm

abstract: The time-fractional optimal transport (OT) and mean-field planning (MFP) models are developed to describe the anomalous transport of the agents in a heterogeneous environment such that their densities are transported from the initial density distribution to the terminal one with the minimal cost. We derive a strongly coupled nonlinear system of a time-fractional transport equation and a backward time-fractional Hamilton-Jacobi equation based on the first-order optimality condition. The general-proximal primal-dual hybrid gradient (G-prox PDHG) algorithm is applied to discretize the OT and MFP formulations, in which a preconditioner induced by the numerical approximation to the time-fractional PDE is derived to accelerate the convergence of the algorithm for both problems. Numerical experiments for OT and MFP problems between Gaussian distributions and between image densities are carried out to investigate the performance of the OT and MFP formulations. Those numerical experiments also demonstrate the effectiveness and flexibility of our proposed algorithm.


title: On Decidability and Expressive Power of Fusion Grammars

abstract: We prove decidability of the non-emptiness problems for fusion grammars and decidability of the membership problem for fusion grammars without markers and connectors. Additionally, we prove the Parikh theorem for connection-preserving fusion grammars.


title: Similarity between compact extremely red objects discovered with JWST in cosmic dawn and blue-excess dust-obscured galaxies known in cosmic noon

abstract: Spatially compact objects with extremely red color in the rest-frame optical to near-infrared (0.4--1 ${\rm \mu m}$) and blue color in the rest-frame ultraviolet (UV; 0.2--0.4 ${\rm \mu m}$) have been discovered at $5 < z < 9$ using the James Webb Space Telescope (JWST). These extremely red objects (JWST-EROs) exhibit spectral energy distributions (SEDs) that are difficult to explain using a single component of either star-forming galaxies or quasars, leading to two-component models in which the blue UV and extremely red optical are explained using less-dusty and dusty spectra of galaxies or quasars, respectively. Here, we report the remarkable similarity in SEDs between JWST-EROs and blue-excess dust-obscured galaxies (BluDOGs) identified at $2 < z < 3$. BluDOGs are a population of active galactic nuclei (AGNs) with blackhole masses of $\sim10^{8-9}$ M$_\odot$, which are one order of magnitude larger than those in some JWST-EROs. The Eddington ratios of BluDOGs are one or higher, whereas those of JWST-EROs are in the range of 0.1--1. Therefore, JWST-EROs are less massive, less active, and more common counterparts in higher-$z$ of BluDOGs in cosmic noon. Conversely, JWST-EROs have a significantly higher fraction of those with blue-excess than DOGs. We present the average UV spectra of BluDOGs as a comparison to JWST-EROs and discuss a coherent evolutionary scenario for dusty AGN populations.


title: ASF-Net: Robust Video Deraining via Temporal Alignment and Online Adaptive Learning

abstract: In recent times, learning-based methods for video deraining have demonstrated commendable results. However, there are two critical challenges that these methods are yet to address: exploiting temporal correlations among adjacent frames and ensuring adaptability to unknown real-world scenarios. To overcome these challenges, we explore video deraining from a paradigm design perspective to learning strategy construction. Specifically, we propose a new computational paradigm, Alignment-Shift-Fusion Network (ASF-Net), which incorporates a temporal shift module. This module is novel to this field and provides deeper exploration of temporal information by facilitating the exchange of channel-level information within the feature space. To fully discharge the model's characterization capability, we further construct a LArge-scale RAiny video dataset (LARA) which also supports the development of this community. On the basis of the newly-constructed dataset, we explore the parameters learning process by developing an innovative re-degraded learning strategy. This strategy bridges the gap between synthetic and real-world scenes, resulting in stronger scene adaptability. Our proposed approach exhibits superior performance in three benchmarks and compelling visual quality in real-world scenarios, underscoring its efficacy. The code is available at https://github.com/vis-opt-group/ASF-Net.


title: Visual-Kinematics Graph Learning for Procedure-agnostic Instrument Tip Segmentation in Robotic Surgeries

abstract: Accurate segmentation of surgical instrument tip is an important task for enabling downstream applications in robotic surgery, such as surgical skill assessment, tool-tissue interaction and deformation modeling, as well as surgical autonomy. However, this task is very challenging due to the small sizes of surgical instrument tips, and significant variance of surgical scenes across different procedures. Although much effort has been made on visual-based methods, existing segmentation models still suffer from low robustness thus not usable in practice. Fortunately, kinematics data from the robotic system can provide reliable prior for instrument location, which is consistent regardless of different surgery types. To make use of such multi-modal information, we propose a novel visual-kinematics graph learning framework to accurately segment the instrument tip given various surgical procedures. Specifically, a graph learning framework is proposed to encode relational features of instrument parts from both image and kinematics. Next, a cross-modal contrastive loss is designed to incorporate robust geometric prior from kinematics to image for tip segmentation. We have conducted experiments on a private paired visual-kinematics dataset including multiple procedures, i.e., prostatectomy, total mesorectal excision, fundoplication and distal gastrectomy on cadaver, and distal gastrectomy on porcine. The leave-one-procedure-out cross validation demonstrated that our proposed multi-modal segmentation method significantly outperformed current image-based state-of-the-art approaches, exceeding averagely 11.2% on Dice.


title: Index-aware learning of circuits

abstract: Electrical circuits are present in a variety of technologies, making their design an important part of computer aided engineering. The growing number of parameters that affect the final design leads to a need for new approaches to quantify their impact. Machine learning may play a key role in this regard, however current approaches often make suboptimal use of existing knowledge about the system at hand. In terms of circuits, their description via modified nodal analysis is well-understood. This particular formulation leads to systems of differential-algebraic equations (DAEs) which bring with them a number of peculiarities, e.g. hidden constraints that the solution needs to fulfill. We use the recently introduced dissection index that can decouple a given system of DAEs into ordinary differential equations, only depending on differential variables, and purely algebraic equations, that describe the relations between differential and algebraic variables. The idea is to then only learn the differential variables and reconstruct the algebraic ones using the relations from the decoupling. This approach guarantees that the algebraic constraints are fulfilled up to the accuracy of the nonlinear system solver, and it may also reduce the learning effort as only the differential variables need to be learned.


title: Electromagnetic properties of the $\Sigma_{c}(2800)^+$ and $\Lambda_c(2940)^+$ states via light-cone QCD

abstract: The $\Sigma_{c}(2800)^+$ and $\Lambda_c(2940)^+$ states are among the most interesting and intriguing particles whose internal structures have not yet been elucidated. Inspired by this, the magnetic dipole moments of the $\Sigma_{c}(2800)^+$ and $\Lambda_c(2940)^+$ states with quantum numbers $J^P = \frac{1}{2}^-$ and $J^P = \frac{3}{2}^-$, respectively, are analyzed in the framework of QCD light-cone sum rules, assuming that they have a molecule composed of a nucleon and a $D^{(*)}$ meson. The magnetic dipole moments are obtained as $\mu_{\Sigma_c^{+}}=0.26 \pm 0.05~\mu_N$ and $\mu_{\Lambda_c^{+}}=-0.31 \pm 0.04~\mu_N$. The magnetic dipole moment is the leading-order response of a bound system to a weak external magnetic field. It therefore offers an excellent platform to explore the inner organization of hadrons governed by the quark-gluon dynamics of QCD. Comparison of the findings of this analysis with future experimental results on the magnetic dipole moments of the $\Sigma_{c}(2800)^+$ and $\Lambda_c(2940)^+$ states may shed light on the nature and internal organization of these states. The electric quadrupole and magnetic octupole moments of the $\Lambda_c(2940)^+$ states have also been calculated, and these values are determined to be $\mathcal Q_{\Lambda_c^+} = (0.65 \pm 0.25) \times 10^{-3}$~fm$^2$ and $ \mathcal O_{\Lambda_c^+} = -(0.38 \pm 0.10) \times 10^{-3}$~fm$^3$, respectively. The values of the electric quadrupole and magnetic octupole moments show a non-spherical charge distribution. We hope that our estimates of the electromagnetic properties of the $\Sigma_{c}(2800)^+$ and $\Lambda_c(2940)^+$ states, together with the results of other theoretical studies of the spectroscopic parameters of these states, will be useful for their search in future experiments and will help us to define the exact internal structures of these states.


title: Network Topology Inference with Sparsity and Laplacian Constraints

abstract: We tackle the network topology inference problem by utilizing Laplacian constrained Gaussian graphical models, which recast the task as estimating a precision matrix in the form of a graph Laplacian. Recent research \cite{ying2020nonconvex} has uncovered the limitations of the widely used $\ell_1$-norm in learning sparse graphs under this model: empirically, the number of nonzero entries in the solution grows with the regularization parameter of the $\ell_1$-norm; theoretically, a large regularization parameter leads to a fully connected (densest) graph. To overcome these challenges, we propose a graph Laplacian estimation method incorporating the $\ell_0$-norm constraint. An efficient gradient projection algorithm is developed to solve the resulting optimization problem, characterized by sparsity and Laplacian constraints. Through numerical experiments with synthetic and financial time-series datasets, we demonstrate the effectiveness of the proposed method in network topology inference.


title: Asymptotes of macroscopic observables in Gibbs measures of general interacting particle systems

abstract: This paper studies the Gibbs measure of an interacting particle system with a general interaction kernel at various temperature regimes. We are particularly interested in fine features of the convergence to the mean-field density as the number of particles tends to infinity. Our main results are concentration bounds, and estimates on the Laplace transform of fluctuations. The main technique is a regularization procedure for general interaction kernels, based on an associated parabolic flow.


title: NTU4DRadLM: 4D Radar-centric Multi-Modal Dataset for Localization and Mapping

abstract: Simultaneous Localization and Mapping (SLAM) is moving towards a robust perception age. However, LiDAR- and visual- SLAM may easily fail in adverse conditions (rain, snow, smoke and fog, etc.). In comparison, SLAM based on 4D Radar, thermal camera and IMU can work robustly. But only a few literature can be found. A major reason is the lack of related datasets, which seriously hinders the research. Even though some datasets are proposed based on 4D radar in past four years, they are mainly designed for object detection, rather than SLAM. Furthermore, they normally do not include thermal camera. Therefore, in this paper, NTU4DRadLM is presented to meet this requirement. The main characteristics are: 1) It is the only dataset that simultaneously includes all 6 sensors: 4D radar, thermal camera, IMU, 3D LiDAR, visual camera and RTK GPS. 2) Specifically designed for SLAM tasks, which provides fine-tuned ground truth odometry and intentionally formulated loop closures. 3) Considered both low-speed robot platform and fast-speed unmanned vehicle platform. 4) Covered structured, unstructured and semi-structured environments. 5) Considered both middle- and large- scale outdoor environments, i.e., the 6 trajectories range from 246m to 6.95km. 6) Comprehensively evaluated three types of SLAM algorithms. Totally, the dataset is around 17.6km, 85mins, 50GB and it will be accessible from this link: https://github.com/junzhang2016/NTU4DRadLM


title: Quantitative observability for one-dimensional Schr\"odinger equations with potentials

abstract: In this note, we prove the quantitative observability with an explicit control cost for the 1D Schr\"odinger equation over $\mathbb{R}$ with real-valued, bounded continuous potential on thick sets. Our proof relies on different techniques for low-frequency and high-frequency estimates. In particular, we extend the large time observability result for the 1D free Schrodinger equation in Theorem 1.1 of Huang-Wang-Wang [20] to any short time. As another byproduct, we extend the spectral inequality of Lebeau-Moyano [27] for real-analytic potentials to bounded continuous potentials in the one-dimensional case.


title: eDKM: An Efficient and Accurate Train-time Weight Clustering for Large Language Models

abstract: Since Large Language Models or LLMs have demonstrated high-quality performance on many complex language tasks, there is a great interest in bringing these LLMs to mobile devices for faster responses and better privacy protection. However, the size of LLMs (i.e., billions of parameters) requires highly effective compression to fit into storage-limited devices. Among many compression techniques, weight-clustering, a form of non-linear quantization, is one of the leading candidates for LLM compression, and supported by modern smartphones. Yet, its training overhead is prohibitively significant for LLM fine-tuning. Especially, Differentiable KMeans Clustering, or DKM, has shown the state-of-the-art trade-off between compression ratio and accuracy regression, but its large memory complexity makes it nearly impossible to apply to train-time LLM compression. In this paper, we propose a memory-efficient DKM implementation, eDKM powered by novel techniques to reduce the memory footprint of DKM by orders of magnitudes. For a given tensor to be saved on CPU for the backward pass of DKM, we compressed the tensor by applying uniquification and sharding after checking if there is no duplicated tensor previously copied to CPU. Our experimental results demonstrate that \prjname can fine-tune and compress a pretrained LLaMA 7B model from 12.6 GB to 2.5 GB (3bit/weight) with the Alpaca dataset by reducing the train-time memory footprint of a decoder layer by 130$\times$, while delivering good accuracy on broader LLM benchmarks (i.e., 77.7% for PIQA, 66.1% for Winograde, and so on).


title: Inequivalent $Z_2^n$-graded brackets, $n$-bit parastatistics and statistical transmutations of supersymmetric quantum mechanics

abstract: Given an associative ring of $Z_2^n$-graded operators, the number of inequivalent brackets of Lie-type which are compatible with the grading and satisfy graded Jacobi identities is $b_n= n+\lfloor n/2\rfloor+1$. This follows from the Rittenberg-Wyler and Scheunert analysis of "color" Lie (super)algebras which is revisited here in terms of Boolean logic gates. The inequivalent brackets, recovered from $Z_2^n\times Z_2^n\rightarrow Z_2$ mappings, are defined by consistent sets of commutators/anticommutators describing particles accommodated into an $n$-bit parastatistics (ordinary bosons/fermions correspond to $1$ bit). Depending on the given graded Lie (super)algebra, its graded sectors can fall into different classes of equivalence expressing different types of (para)bosons and/or (para)fermions. As a first application we construct $Z_2^2$ and $ Z_2^3$-graded quantum Hamiltonians which respectively admit $b_2=4$ and $b_3=5$ inequivalent multiparticle quantizations (the inequivalent parastatistics are discriminated by measuring the eigenvalues of certain observables in some given states). As a main physical application we prove that the $N$-extended, $1D$ supersymmetric and superconformal quantum mechanics, for $N=1,2,4,8$, are respectively described by $s_{N}=2,6,10,14 $ alternative formulations based on the inequivalent graded Lie (super)algebras. These numbers correspond to all possible "statistical transmutations" of a given set of supercharges which, for ${N}=1,2,4,8$, are accommodated into a $Z_2^n$-grading with $n=1,2,3,4$ (the identification is $N= 2^{n-1}$). In the simplest ${N}=2$ setting (the $2$-particle sector of the de DFF deformed oscillator with $sl(2|1)$ spectrum-generating superalgebra), the $Z_2^2$-graded parastatistics imply a degeneration of the energy levels which cannot be reproduced by ordinary bosons/fermions statistics.

categories: hep-th cond-mat.stat-mech math-ph math.MP quant-ph


title: Compositional Diffusion-Based Continuous Constraint Solvers

abstract: This paper introduces an approach for learning to solve continuous constraint satisfaction problems (CCSP) in robotic reasoning and planning. Previous methods primarily rely on hand-engineering or learning generators for specific constraint types and then rejecting the value assignments when other constraints are violated. By contrast, our model, the compositional diffusion continuous constraint solver (Diffusion-CCSP) derives global solutions to CCSPs by representing them as factor graphs and combining the energies of diffusion models trained to sample for individual constraint types. Diffusion-CCSP exhibits strong generalization to novel combinations of known constraints, and it can be integrated into a task and motion planner to devise long-horizon plans that include actions with both discrete and continuous parameters. Project site: https://diffusion-ccsp.github.io/