title: XENONnT and LUX-ZEPLIN constraints on DSNB-boosted dark matter

abstract: We consider a scenario in which dark matter particles are accelerated to semi-relativistic velocities through their scattering with the Diffuse Supernova Neutrino Background. Such a subdominant, but more energetic dark matter component can be then detected via its scattering on the electrons and nucleons inside direct detection experiments. This opens up the possibility to probe the sub-GeV mass range, a region of parameter space that is usually not accessible at such facilities. We analyze current data from the XENONnT and LUX-ZEPLIN experiments and we obtain novel constraints on the scattering cross sections of sub-GeV boosted dark matter with both nucleons and electrons. We also highlight the importance of carefully taking into account Earth's attenuation effects as well as the finite nuclear size into the analysis. By comparing our results to other existing constraints, we show that these effects lead to improved and more robust constraints.


title: Agriculture Credit and Economic Growth in Bangladesh: A Time Series Analysis

abstract: The paper examined the impact of agricultural credit on economic growth in Bangladesh. The annual data of agriculture credit were collected from annual reports of the Bangladesh Bank and other data were collected from the world development indicator (WDI) of the World Bank. By employing Johansen cointegration test and vector error correction model (VECM), the study revealed that there exists a long run relationship between the variables. The results of the study showed that agriculture credit had a positive impact on GDP growth in Bangladesh. The study also found that gross capital formation had a positive, while inflation had a negative association with economic growth in Bangladesh. Therefore, the government and policymakers should continue their effort to increase the volume of agriculture credit to achieve sustainable economic growth.


title: Penetrating Shields: A Systematic Analysis of Memory Corruption Mitigations in the Spectre Era

abstract: This paper provides the first systematic analysis of a synergistic threat model encompassing memory corruption vulnerabilities and microarchitectural side-channel vulnerabilities. We study speculative shield bypass attacks that leverage speculative execution attacks to leak secrets that are critical to the security of memory corruption mitigations (i.e., the shields), and then use the leaked secrets to bypass the mitigation mechanisms and successfully conduct memory corruption exploits, such as control-flow hijacking. We start by systematizing a taxonomy of the state-of-the-art memory corruption mitigations focusing on hardware-software co-design solutions. The taxonomy helps us to identify 10 likely vulnerable defense schemes out of 20 schemes that we analyze. Next, we develop a graph-based model to analyze the 10 likely vulnerable defenses and reason about possible countermeasures. Finally, we present three proof-of-concept attacks targeting an already-deployed mitigation mechanism and two state-of-the-art academic proposals.


title: Boltzmann sampling with quantum annealers via fast Stein correction

abstract: Despite the attempts to apply a quantum annealer to Boltzmann sampling, it is still impossible to perform accurate sampling at arbitrary temperatures. Conventional distribution correction methods such as importance sampling and resampling cannot be applied, because the analytical expression of sampling distribution is unknown for a quantum annealer. Stein correction (Liu and Lee, 2017) can correct the samples by weighting without the knowledge of the sampling distribution, but the naive implementation requires the solution of a large-scale quadratic program, hampering usage in practical problems. In this letter, a fast and approximate method based on random feature map and exponentiated gradient updates is developed to compute the sample weights, and used to correct the samples generated by D-Wave quantum annealers. In benchmarking problems, it is observed that the residual error of thermal average calculations is reduced significantly. If combined with our method, quantum annealers may emerge as a viable alternative to long-established Markov chain Monte Carlo methods.


title: Permutation Rational Functions over Quadratic Extensions of Finite Fields

abstract: Permutation rational functions over finite fields have attracted much attention in recent years. In this paper, we introduce a class of permutation rational functions over $\mathbb F_{q^2}$, whose numerators are so-called $q$-quadratic polynomials. To this end, we will first determine the exact number of zeros of a special $q$-quadratic polynomial in $\mathbb F_{q^2}$, by calculating character sums related to quadratic forms of $\mathbb F_{q^2}/\mathbb F_q$. Then given some rational function, we can demonstrate whether it induces a permutation of $\mathbb F_{q^2}$.


title: A study of the stellar photosphere-hydrogen ionization front interaction in $\delta$ Scuti stars

abstract: Pulsating variable $\delta$ Scuti stars are intermediate-mass stars with masses in the range of $1-3$ $M_{\odot}$ and spectral types between $A2$ and $F2$. They can be found at the intersection of the Cepheid instability strip with the main sequence. They can be used as astrophysical laboratories to test theories of stellar evolution and pulsation. In this contribution, we investigate the observed period-colour and amplitude-colour (PCAC) relations at maximum/mean/minimum light of Galactic bulge and Large Magellanic Cloud $\delta$ Scuti stars for the first time and test the hydrogen ionization front (HIF)-photosphere interaction theory using the MESA- RSP code. The PCAC relations, as a function of pulsation phase, are crucial probes of the structure of the outer stellar envelope and provide insight into the physics of stellar pulsation and evolution. The observed behaviour of the $\delta$ Scuti PCAC relations is consistent with the theory of the interaction between the HIF and the stellar photosphere.


title: BMT Independence

abstract: We introduce the notion of BMT independence, allowing us to take arbitrary mixtures of boolean, monotone, and tensor independence and generalizing the notion of BM independence of Wysoczanski. Pair-wise independence relations are encoded through a directed graph, which in turn determines the way mixed moments must be computed. Corresponding Central and Poisson-Type Limit Theorems are provided along with an explicit construction to realize BMT independent random variables as bounded operators on certain Hilbert space.


title: On a Class of Permutation Rational Functions Involving Trace Maps

abstract: Permutation rational functions over finite fields have attracted high interest in recent years. However, only a few of them have been exhibited. This article studies a class of permutation rational functions constructed using trace maps on extensions of finite fields, especially for the cases of quadratic and cubic extensions. Our achievements are obtained by investigating absolute irreducibility of some polynomials in two indeterminates.


title: Blockchain-enabled Data Governance for Privacy-Preserved Sharing of Confidential Data

abstract: In a traditional cloud storage system, users benefit from the convenience it provides but also take the risk of certain security and privacy issues. To ensure confidentiality while maintaining data sharing capabilities, the Ciphertext-Policy Attribute-based Encryption (CP-ABE) scheme can be used to achieve fine-grained access control in cloud services. However, existing approaches are impaired by three critical concerns: illegal authorization, key disclosure, and privacy leakage. To address these, we propose a blockchain-based data governance system that employs blockchain technology and attribute-based encryption to prevent privacy leakage and credential misuse. First, our ABE encryption system can handle multi-authority use cases while protecting identity privacy and hiding access policy, which also protects data sharing against corrupt authorities. Second, applying the Advanced Encryption Standard (AES) for data encryption makes the whole system efficient and responsive to real-world conditions. Furthermore, the encrypted data is stored in a decentralized storage system such as IPFS, which does not rely on any centralized service provider and is, therefore, resilient against single-point failures. Third, illegal authorization activity can be readily identified through the logged on-chain data. Besides the system design, we also provide security proofs to demonstrate the robustness of the proposed system.


title: Hyperfine spectroscopy and fast, all-optical arbitrary state initialization and readout of a single, ten-level ${}^{73}$Ge vacancy nuclear spin qudit in diamond

abstract: A high-spin nucleus coupled to a color center can act as a long-lived memory qudit in a spin-photon interface. The germanium vacancy (GeV) in diamond has attracted recent attention due to its excellent spectral properties and provides access to the ten-dimensional Hilbert space of the $I=9/2$ ${}^{73}$Ge nucleus. Here, we observe the ${}^{73}$GeV hyperfine structure, perform nuclear spin readout, and optically initialize the ${}^{73}$Ge spin into any eigenstate on a $\mu$s timescale and with a fidelity of up to $\sim 84\%$. Our results establish the ${}^{73}$GeV as an optically addressable high-spin quantum platform for a high-efficiency spin-photon interface as well as for foundational quantum physics and metrology.


title: Equilibrium and Nonequilibrium phase transitions in continuous symmetric classical magnets

abstract: The magnetism is an old problem of Physics. Most interesting part of the research on magnetism is its thermodynamic behaviour. In this review, the thermodynamic phase transitions, mainly in ferromagnetic model systems, are discussed. The model system has a characteristic of continuous symmetry. In this context, the classical XY and Heisenberg model are chosen for discussion. With a historical survey of such phase transition observed in such models, the results of the recent (over two decades) studies are collected and reviewed. The equilibrium phase transition in such systems are discussed to highlight the dependence of the critical temperatures on the anisotropy, dilution etc. On the other hand, the nonequilibrium results of such systems driven by time dependent magnetic field, are also reviewed. We believe, this review is a modern documentation and collection of works in the field of theoretical magnetism which may be extremely useful for the researcher working in this field.


title: Two-Dimensional Dynamic Fusion for Continuous Authentication

abstract: Continuous authentication has been widely studied to provide high security and usability for mobile devices by continuously monitoring and authenticating users. Recent studies adopt multibiometric fusion for continuous authentication to provide high accuracy even when some of captured biometric data are of a low quality. However, existing continuous fusion approaches are resource-heavy as they rely on all classifiers being activated all the time and may not be suitable for mobile devices. In this paper, we propose a new approach to multibiometric continuous authentication: two-dimensional dynamic fusion. Our key insight is that multibiometric continuous authentication calculates two-dimensional matching scores over classifiers and over time. Based on this, we dynamically select a set of classifiers based on the context in which authentication is taking place, and fuse matching scores by multi-classifier fusion and multi-sample fusion. Through experimental evaluation, we show that our approach provides a better balance between resource usage and accuracy than the existing fusion methods. In particular, we show that our approach provides higher accuracy than the existing methods with the same number of score calculations by adopting multi-sample fusion.


title: Impact of Self-shielding Minihalos on the Ly$\alpha$ Forest at High Redshift

abstract: Dense gas in minihalos with masses of $10^6-10^8~M_\odot$ can shield themselves from reionization for $\sim100$ Myr after being exposed to the UV background. These self-shielded systems, often unresolved in cosmological simulations, can introduce strong absorption in quasar spectra. This paper is the first systematic study on the impact of these systems on the Ly$\alpha$ forest. We first derive the HI column density profile of photoevaporating minihalos by conducting 1D radiation-hydrodynamics simulations. We utilize these results to estimate the Ly$\alpha$ opacity from minihalos in a large-scale simulation that cannot resolve self-shielding. When the ionization rate of the background radiation is $0.03\times10^{-12}~{\rm s}^{-1}$, as expected near the end of reionization at $z\sim5.5$, we find that the incidence rate of damped Ly$\alpha$ absorbers increases by a factor of $\sim2-4$ compared to at $z=4.5$. The Ly$\alpha$ flux is, on average, suppressed by $\sim 3\%$ of its mean due to minihalos. The absorption features enhance the 1D power spectrum up to $\sim5\%$ at $k\sim0.1~h~{\rm Mpc}^{-1}~({\rm or}~10^{-3}~{\rm km}^{-1}~{\rm s})$, which is comparable to the enhancement caused by inhomogeneous reionization. The flux is particularly suppressed in the vicinity of large halos along the line-of-sight direction at separations of up to $10~h^{-1}~{\rm Mpc}$ at $r_\perp\lesssim2~h^{-1}~{\rm Mpc}$. However, these effects become much smaller for higher ionizing rates ($\gtrsim0.3\times10^{-12}~{\rm s}^{-1}$) expected in the post-reionization Universe. Our findings highlight the need to consider minihalo absorption when interpreting the Ly$\alpha$ forest at $z\gtrsim5.5$. Moreover, the sensitivity of these quantities to the ionizing background intensity can be exploited to constrain the intensity itself.


title: Gravitational wave memory for a class of static and spherically symmetric spacetimes

abstract: This article aims at comparing gravitational wave memory effect in a Schwarzschild spacetime with that of other compact objects with static and spherically symmetric spacetime, with the purpose of proposing a procedure for differentiating between various compact object geometries. We do this by considering the relative evolution of two nearby test geodesics with in different backgrounds in the presence and absence of a gravitational wave pulse and comparing them. Memory effect due to a gravitational wave would ensure that there is a permanent effect on each spacetime and the corresponding geodesic evolution, being metric dependent, would display distinct results in each case. For a complete picture, we have considered both displacement and velocity memory effect in each geometry.


title: Efimov states in excited nuclear halos

abstract: Universality -- an essential concept in physics -- implies that different systems show the same phenomenon and can be described by a unified theory. A prime example of the universal quantum phenomena is the Efimov effect, which is the appearance of multiples of low-energy three-body bound states with progressively large sizes dictated by the discrete scale invariance. The Efimov effect, originally proposed in the nuclear physics context, has been observed in cold atoms and $^4\mathrm{He}$ molecules. The search for the Efimov effect in nuclear physics, however, has been a long-standing challenge owing to the difficulty in identifying ideal nuclides with a large $s$-wave scattering length; such nuclides can be unambiguously considered as Efimov states. Here, we propose a systematic method to identify nuclides that exhibit Efimov states in their excited states in the vicinity of the neutron separation threshold. These nuclei are characterised by their enormous low-energy neutron capture cross-sections, hence giant $s$-wave scattering length. Using our protocol, we identified $^{90}$Zr and $^{159}$Gd as novel candidate nuclides that show the Efimov states. They are well inside the valley of stability in the nuclear chart, and are suited for experimental realisation of the Efimov states in nuclear physics.


title: A Two-Stage Training Framework for Joint Speech Compression and Enhancement

abstract: This paper considers the joint compression and enhancement problem for speech signal in the presence of noise. Recently, the SoundStream codec, which relies on end-to-end joint training of an encoder-decoder pair and a residual vector quantizer by a combination of adversarial and reconstruction losses,has shown very promising performance, especially in subjective perception quality. In this work, we provide a theoretical result to show that, to simultaneously achieve low distortion and high perception in the presence of noise, there exist an optimal two-stage optimization procedure for the joint compression and enhancement problem. This procedure firstly optimizes an encoder-decoder pair using only distortion loss and then fixes the encoder to optimize a perceptual decoder using perception loss. Based on this result, we construct a two-stage training framework for joint compression and enhancement of noisy speech signal. Unlike existing training methods which are heuristic, the proposed two-stage training method has a theoretical foundation. Finally, experimental results for various noise and bit-rate conditions are provided. The results demonstrate that a codec trained by the proposed framework can outperform SoundStream and other representative codecs in terms of both objective and subjective evaluation metrics. Code is available at \textit{https://github.com/jscscloris/SEStream}.


title: A multiphase study of classical Cepheids in the Magellanic Clouds- Models and Observations

abstract: This work presents the study of multiphase relations of classical Cepheids in the Magellanic Clouds for short periods (log P < 1) and long periods (log P > 1). From the analysis, it has been found that the multiphase relations obtained using the models as well as observations are highly dynamic with pulsational phase. The multiphase relations for short and long periods are found to display contrasting behaviour for both LMC and SMC. It has been observed that the multiphase relations obtained using the models agree better with the observations in the PC plane in most phases in comparison to the PL plane. Multiphase relations obtained using the models display a clear distinction among different convection sets in most phases. Comparison of models and observations in the multiphase plane is one way to test the models with the observations and to constrain the theory of stellar pulsation.


title: A Grounded Conceptual Model for Ownership Types in Rust

abstract: Programmers learning Rust struggle to understand ownership types, Rust's core mechanism for ensuring memory safety without garbage collection. This paper describes our attempt to systematically design a pedagogy for ownership types. First, we studied Rust developers' misconceptions of ownership to create the Ownership Inventory, a new instrument for measuring a person's knowledge of ownership. We found that Rust learners could not connect Rust's static and dynamic semantics, such as determining why an ill-typed program would (or would not) exhibit undefined behavior. Second, we created a conceptual model of Rust's semantics that explains borrow checking in terms of flow-sensitive permissions on paths into memory. Third, we implemented a Rust compiler plugin that visualizes programs under the model. Fourth, we integrated the permissions model and visualizations into a broader pedagogy of ownership by writing a new ownership chapter for The Rust Programming Language, a popular Rust textbook. Fifth, we evaluated an initial deployment of our pedagogy against the original version, using reader responses to the Ownership Inventory as a point of comparison. Thus far, the new pedagogy has improved learner scores on the Ownership Inventory by an average of 9% ($N = 342, d = 0.56$).


title: An Adjunction Between Boolean Algebras and a Subcategory of Stone Algebras

abstract: We consider Stone algebras with a distinguished element $e$ satisfying the identity $e \to x = \neg \neg x$ for all elements $x$ of the algebra. We provide an adjunction between the category of such algebras and that of Boolean algebras.


title: Shape-Morphing Dynamics of Soft Compliant Membranes for Drag and Turbulence Modulation

abstract: We study the kinematics and dynamics of a highly compliant membrane disk placed head-on in a uniform flow. With increasing flow velocity, the membrane deforms nonlinearly into increasingly parachute-like shapes. These aerodynamically elongated materials exhibit a modified drag law, which is linked to the elastohydrodynamic interactions. We predict the unsteady structural response of the membranes using a nonlinear, aeroelastic model -- in excellent agreement with experimental measurements of deformations and force fluctuations. With simultaneous membrane interface tracking, force measurements and flow tracing, we reveal that a peculiar skewness in the membrane's oscillations triggers turbulence production in the wake, thereby modulating the drag. The present work provides a demonstration of the complex interplay between soft materials and fluid turbulence, leading to new, emergent system properties.


title: Two mini-Neptunes Transiting the Adolescent K-star HIP 113103 Confirmed with TESS and CHEOPS

abstract: We report the discovery of two mini-Neptunes in near 2:1 resonance orbits ($P=7.610303$ d for HIP 113103 b and $P=14.245651$ d for HIP 113103 c) around the adolescent K-star HIP 113103 (TIC 121490076). The planet system was first identified from the TESS mission, and was confirmed via additional photometric and spectroscopic observations, including a $\sim$17.5 hour observation for the transits of both planets using ESA CHEOPS. We place $\leq4.5$ min and $\leq2.5$ min limits on the absence of transit timing variations over the three year photometric baseline, allowing further constraints on the orbital eccentricities of the system beyond that available from the photometric transit duration alone. With a planetary radius of $R_{p}=1.829^{+0.096}_{-0.067}\,R_{\oplus}$, HIP 113103 b resides within the radius gap, and this might provide invaluable information on the formation disparities between super-Earths and mini-Neptunes. Given the larger radius $R_{p}=2.40^{+0.10}_{-0.08}\,R_{\oplus}$ for HIP 113103 c, and close proximity of both planets to HIP 113103, it is likely that HIP 113103 b might have lost (or is still losing) its primordial atmosphere. We therefore present simulated atmospheric transmission spectra of both planets using JWST, HST, and Twinkle. It demonstrates a potential metallicity difference (due to differences in their evolution) would be a challenge to detect if the atmospheres are in chemical equilibrium. As one of the brightest multi sub-Neptune planet systems suitable for atmosphere follow up, HIP 113103 b and HIP 113103 c could provide insight on planetary evolution for the sub-Neptune K-star population.


title: Proprioceptive External Torque Learning for Floating Base Robot and its Applications to Humanoid Locomotion

abstract: The estimation of external joint torque and contact wrench is essential for achieving stable locomotion of humanoids and safety-oriented robots. Although the contact wrench on the foot of humanoids can be measured using a force-torque sensor (FTS), FTS increases the cost, inertia, complexity, and failure possibility of the system. This paper introduces a method for learning external joint torque solely using proprioceptive sensors (encoders and IMUs) for a floating base robot. For learning, the GRU network is used and random walking data is collected. Real robot experiments demonstrate that the network can estimate the external torque and contact wrench with significantly smaller errors compared to the model-based method, momentum observer (MOB) with friction modeling. The study also validates that the estimated contact wrench can be utilized for zero moment point (ZMP) feedback control, enabling stable walking. Moreover, even when the robot's feet and the inertia of the upper body are changed, the trained network shows consistent performance with a model-based calibration. This result demonstrates the possibility of removing FTS on the robot, which reduces the disadvantages of hardware sensors. The summary video is available at https://youtu.be/gT1D4tOiKpo.


title: Novel method to extract the femtometer structure of strange baryons using the vacuum polarization effect

abstract: One of the fundamental goals of particle physics is to gain microscopic understanding of the strong interaction. Electromagnetic form factors quantify the structure of hadrons in terms of charge and magnetization distributions. While the nucleon structure has been investigated extensively, data on hyperons is still scarce. It has recently been demonstrated that electron-positron annihilations into hyperon-antihyperon pairs provide a powerful tools to investigate their inner structure. We present a novel method useful for hyperon-antihyperon pairs of different types which exploits the cross section enhancement due to the vacuum polarization effect at the $J/\psi$ resonance. Using the 10 billion $J/\psi$ events collected with the BESIII detector, this allows a thorough determination of the hyperon structure . The result is essentially a precise snapshot of a $\bar\Lambda\Sigma^0$~($\Lambda\bar\Sigma^0$) pair in the making, encoded in the form factor ratio and the phase. Their values are measured to be $R = 0.860\pm0.029({\rm stat.})\pm0.010({\rm syst.})$, $\Delta\Phi_1=(1.011\pm0.094({\rm stat.})\pm0.010({\rm syst.}))~\rm rad$ for $\bar\Lambda\Sigma^0$ and $\Delta\Phi_2=(2.128\pm0.094({\rm stat.})\pm0.010({\rm syst.}))~\rm rad$ for $\Lambda\bar\Sigma^0$, respectively. Furthermore, charge-parity (CP) breaking is investigated for the first time in this reaction and found to be consistent with CP symmetry.


title: How close are the classical two-body potentials to ab initio calculations? Insights from linear machine learning based force matching

abstract: In this work, we propose a linear machine learning force matching approach that can directly extract pair atomic interactions from ab initio calculations in amorphous structures. The local feature representation is specifically chosen to make the linear weights a force field as a force/potential function of the atom pair distance. Consequently, this set of functions is the closest representation of the ab initio forces given the two-body approximation and finite scanning in the configurational space. We validate this approach in amorphous silica. Potentials in the new force field (consisting of tabulated Si-Si, Si-O, and O-O potentials) are significantly softer than existing potentials that are commonly used for silica, even though all of them produce the tetrahedral network structure and roughly similar glass properties. This suggests that those commonly used classical force fields do not offer fundamentally accurate representations of the atomic interaction in silica. The new force field furthermore produces a lower glass transition temperature ($T_g\sim$1800 K) and a positive liquid thermal expansion coefficient, suggesting the extraordinarily high $T_g$ and negative liquid thermal expansion of simulated silica could be artifacts of previously developed classical potentials. Overall, the proposed approach provides a fundamental yet intuitive way to evaluate two-body potentials against ab initio calculations, thereby offering an efficient way to guide the development of classical force fields.


title: RST-style Discourse Parsing Guided by Document-level Content Structures

abstract: Rhetorical Structure Theory based Discourse Parsing (RST-DP) explores how clauses, sentences, and large text spans compose a whole discourse and presents the rhetorical structure as a hierarchical tree. Existing RST parsing pipelines construct rhetorical structures without the knowledge of document-level content structures, which causes relatively low performance when predicting the discourse relations for large text spans. Recognizing the value of high-level content-related information in facilitating discourse relation recognition, we propose a novel pipeline for RST-DP that incorporates structure-aware news content sentence representations derived from the task of News Discourse Profiling. By incorporating only a few additional layers, this enhanced pipeline exhibits promising performance across various RST parsing metrics.


title: Trustworthy and Synergistic Artificial Intelligence for Software Engineering: Vision and Roadmaps

abstract: For decades, much software engineering research has been dedicated to devising automated solutions aimed at enhancing developer productivity and elevating software quality. The past two decades have witnessed an unparalleled surge in the development of intelligent solutions tailored for software engineering tasks. This momentum established the Artificial Intelligence for Software Engineering (AI4SE) area, which has swiftly become one of the most active and popular areas within the software engineering field. This Future of Software Engineering (FoSE) paper navigates through several focal points. It commences with a succinct introduction and history of AI4SE. Thereafter, it underscores the core challenges inherent to AI4SE, particularly highlighting the need to realize trustworthy and synergistic AI4SE. Progressing, the paper paints a vision for the potential leaps achievable if AI4SE's key challenges are surmounted, suggesting a transition towards Software Engineering 2.0. Two strategic roadmaps are then laid out: one centered on realizing trustworthy AI4SE, and the other on fostering synergistic AI4SE. While this paper may not serve as a conclusive guide, its intent is to catalyze further progress. The ultimate aspiration is to position AI4SE as a linchpin in redefining the horizons of software engineering, propelling us toward Software Engineering 2.0.


title: On several problems in p-Bergman theory

abstract: In this paper, we first answer Chen-Zhang's problem on $p$-Bergman metric proposed in \cite{CZ22}. Second, we prove the off-diagonal p-Bergman kernel function $K_p(z,w)$ is H\"older continuous of order (1-$\varepsilon$) about the second component when $p>1$ for any $\varepsilon>0$, which improves the corresponding result of Chen-Zhang. Moreover, we prove the asymptotic behavior of the maximizer of $p$-Bergman kernel as $p\rightarrow 1^-$. Finally, we give a characterization of a class of holomorphic functions on $\mathbb{B}^1$ to be $L^p$-integrable.


title: Tapping into Permutation Symmetry for Improved Detection of k-Symmetric Extensions

abstract: Symmetric extensions are essential in quantum mechanics, providing a lens to investigate the correlations of entangled quantum systems and to address challenges like the quantum marginal problem. Though semi-definite programming (SDP) is a recognized method for handling symmetric extensions, it grapples with computational constraints, especially due to the large real parameters in generalized qudit systems. In this study, we introduce an approach that adeptly leverages permutation symmetry. By fine-tuning the SDP problem for detecting \( k \)-symmetric extensions, our method markedly diminishes the searching space dimensionality and trims the number of parameters essential for positive definiteness tests. This leads to an algorithmic enhancement, reducing the complexity from \( O(d^{2k}) \) to \( O(k^{d^2}) \) in the qudit \( k \)-symmetric extension scenario. Additionally, our approach streamlines the process of verifying the positive definiteness of the results. These advancements pave the way for deeper insights into quantum correlations, highlighting potential avenues for refined research and innovations in quantum information theory.


title: Depth Completion with Multiple Balanced Bases and Confidence for Dense Monocular SLAM

abstract: Dense SLAM based on monocular cameras does indeed have immense application value in the field of AR/VR, especially when it is performed on a mobile device. In this paper, we propose a novel method that integrates a light-weight depth completion network into a sparse SLAM system using a multi-basis depth representation, so that dense mapping can be performed online even on a mobile phone. Specifically, we present a specifically optimized multi-basis depth completion network, called BBC-Net, tailored to the characteristics of traditional sparse SLAM systems. BBC-Net can predict multiple balanced bases and a confidence map from a monocular image with sparse points generated by off-the-shelf keypoint-based SLAM systems. The final depth is a linear combination of predicted depth bases that can be optimized by tuning the corresponding weights. To seamlessly incorporate the weights into traditional SLAM optimization and ensure efficiency and robustness, we design a set of depth weight factors, which makes our network a versatile plug-in module, facilitating easy integration into various existing sparse SLAM systems and significantly enhancing global depth consistency through bundle adjustment. To verify the portability of our method, we integrate BBC-Net into two representative SLAM systems. The experimental results on various datasets show that the proposed method achieves better performance in monocular dense mapping than the state-of-the-art methods. We provide an online demo running on a mobile phone, which verifies the efficiency and mapping quality of the proposed method in real-world scenarios.


title: NESTLE: a No-Code Tool for Statistical Analysis of Legal Corpus

abstract: The statistical analysis of large scale legal corpus can provide valuable legal insights. For such analysis one needs to (1) select a subset of the corpus using document retrieval tools, (2) structure text using information extraction (IE) systems, and (3) visualize the data for the statistical analysis. Each process demands either specialized tools or programming skills whereas no comprehensive unified "no-code" tools have been available. Here we provide NESTLE, a no-code tool for large-scale statistical analysis of legal corpus. Powered by a Large Language Model (LLM) and the internal custom end-to-end IE system, NESTLE can extract any type of information that has not been predefined in the IE system opening up the possibility of unlimited customizable statistical analysis of the corpus without writing a single line of code. We validate our system on 15 Korean precedent IE tasks and 3 legal text classification tasks from LexGLUE. The comprehensive experiments reveal NESTLE can achieve GPT-4 comparable performance by training the internal IE module with 4 human-labeled, and 192 LLM-labeled examples.


title: Robot Localization and Mapping Final Report -- Sequential Adversarial Learning for Self-Supervised Deep Visual Odometry

abstract: Visual odometry (VO) and SLAM have been using multi-view geometry via local structure from motion for decades. These methods have a slight disadvantage in challenging scenarios such as low-texture images, dynamic scenarios, etc. Meanwhile, use of deep neural networks to extract high level features is ubiquitous in computer vision. For VO, we can use these deep networks to extract depth and pose estimates using these high level features. The visual odometry task then can be modeled as an image generation task where the pose estimation is the by-product. This can also be achieved in a self-supervised manner, thereby eliminating the data (supervised) intensive nature of training deep neural networks. Although some works tried the similar approach [1], the depth and pose estimation in the previous works are vague sometimes resulting in accumulation of error (drift) along the trajectory. The goal of this work is to tackle these limitations of past approaches and to develop a method that can provide better depths and pose estimates. To address this, a couple of approaches are explored: 1) Modeling: Using optical flow and recurrent neural networks (RNN) in order to exploit spatio-temporal correlations which can provide more information to estimate depth. 2) Loss function: Generative adversarial network (GAN) [2] is deployed to improve the depth estimation (and thereby pose too), as shown in Figure 1. This additional loss term improves the realism in generated images and reduces artifacts.


title: Representation Synthesis by Probabilistic Many-Valued Logic Operation in Self-Supervised Learning

abstract: In this paper, we propose a new self-supervised learning (SSL) method for representations that enable logic operations. Representation learning has been applied to various tasks, such as image generation and retrieval. The logical controllability of representations is important for these tasks. Although some methods have been shown to enable the intuitive control of representations using natural languages as the inputs, representation control via logic operations between representations has not been demonstrated. Some SSL methods using representation synthesis (e.g., elementwise mean and maximum operations) have been proposed, but the operations performed in these methods do not incorporate logic operations. In this work, we propose a logic-operable self-supervised representation learning method by replacing the existing representation synthesis with the OR operation on the probabilistic extension of many-valued logic. The representations comprise a set of feature-possession degrees, which are truth values indicating the presence or absence of each feature in the image, and realize the logic operations (e.g., OR and AND). Our method can generate a representation that has the features of both representations or only those features common to both representations. In addition, the expression of the ambiguous presence of a feature is realized by indicating the feature-possession degree by the probability distribution of truth values of the many-valued logic. We showed that our method performs competitively in single and multi-label classification tasks compared with prior SSL methods using synthetic representations. Moreover, experiments on image retrieval using MNIST and PascalVOC showed that the representations of our method can be operated by OR and AND operations.


title: Sparse-DFT and WHT Precoding with Iterative Detection for Highly Frequency-Selective Channels

abstract: Various precoders have been recently studied by the wireless community to combat the channel fading effects. Two prominent precoders are implemented with the discrete Fourier transform (DFT) and Walsh-Hadamard transform (WHT). The WHT precoder is implemented with less complexity since it does not need complex multiplications. Also, spreading can be applied sparsely to decrease the transceiver complexity, leading to sparse DFT (SDFT) and sparse Walsh-Hadamard (SWH). Another relevant topic is the design of iterative receivers that deal with inter-symbol-interference (ISI). In particular, many detectors based on expectation propagation (EP) have been proposed recently for channels with high levels of ISI. An alternative is the maximum a-posterior (MAP) detector, although it leads to unfeasible high complexity in many cases. In this paper, we provide a relatively low-complexity \textcolor{black}{computation} of the MAP detector for the SWH. We also propose two \textcolor{black}{feasible methods} based on the Log-MAP and Max-Log-MAP. Additionally, the DFT, SDFT and SWH precoders are compared using an EP-based receiver with one-tap FD equalization. Lastly, SWH-Max-Log-MAP is compared to the (S)DFT with EP-based receiver in terms of performance and complexity. The results show that the proposed SWH-Max-Log-MAP has a better performance and complexity trade-off for QPSK and 16-QAM under highly selective channels, but has unfeasible complexity for higher QAM orders.


title: Recovering Obstacles from their Travelling Times

abstract: Noakes and Stoyanov (2021) introduced a method of recovering strictly convex planar obstacles from their set of travelling times. We provide an extension of this construction for obstacles on Riemannian surfaces under some general curvature conditions. It is required that no smooth geodesic intersect more than two obstacles.


title: Complete analysis of a realistic fiber-based quantum repeater scheme

abstract: We present a quantum repeater protocol for distributing entanglement over long distances, where each repeater node contains several qubits that can couple to one single-photon emitter. Photons from the emitters perform heralded entanglement generation between qubits in neighboring nodes. The protocol leaves the emitters disentangled from the qubits and photons, thus allowing them to be reused to entangle other qubits. The protocol can therefore be time multiplexed, which increases the rate of generated EPR pairs. Deterministic entanglement swapping and heralded entanglement purification are used to extend the distance of the entanglement and reduce the error of the entangled qubits, respectively. We perform a complete protocol analysis by considering all relevant error sources, such as initialization, two-qubit gate, and qubit measurement errors, as well as the exponential decoherence of the qubits with time. The latter is particularly important since we analyze the protocol performance for a broad range of experimental parameters and obtain secret key rates ranging from $1 \rightarrow 1000$ Hz at a distance of $1000$ km. Our results suggest that it is important to reach a qubit memory coherence time of around one second, and two-qubit gate and measurement errors in the order of $10^{-3}$ to obtain reasonable secret key rates over distances longer than achievable with direct transmission.


title: Ultraviolet Resonant Nanogap Antennas with Rhodium Nanocube Dimers for Enhancing Protein Intrinsic Autofluorescence

abstract: Plasmonic optical nanoantennas offer compelling solutions for enhancing light-matter interactions at the nanoscale. However, until now, their focus has been mainly limited to the visible and near-infrared regions, overlooking the immense potential of the ultraviolet (UV) range, where molecules exhibit their strongest absorption. Here, we present the realization of UV resonant nanogap antennas constructed from paired rhodium nanocubes. Rhodium emerges as a robust alternative to aluminum, offering enhanced stability in wet environments and ensuring reliable performance in the UV range. Our results showcase the nanoantenna ability to enhance the UV autofluorescence of label-free streptavidin and hemoglobin proteins. We achieve significant enhancements of the autofluorescence brightness per protein by up to 120-fold, and reach zeptoliter detection volumes enabling UV autofluorescence correlation spectroscopy (UV-FCS) at high concentrations of several tens of micromolar. We investigate the modulation of fluorescence photokinetic rates and report excellent agreement between experimental results and numerical simulations. This work expands the applicability of plasmonic nanoantennas into the deep UV range, unlocking the investigation of label-free proteins at physiological concentrations.


title: Mapping EEG Signals to Visual Stimuli: A Deep Learning Approach to Match vs. Mismatch Classification

abstract: Existing approaches to modeling associations between visual stimuli and brain responses are facing difficulties in handling between-subject variance and model generalization. Inspired by the recent progress in modeling speech-brain response, we propose in this work a "match-vs-mismatch" deep learning model to classify whether a video clip induces excitatory responses in recorded EEG signals and learn associations between the visual content and corresponding neural recordings. Using an exclusive experimental dataset, we demonstrate that the proposed model is able to achieve the highest accuracy on unseen subjects as compared to other baseline models. Furthermore, we analyze the inter-subject noise using a subject-level silhouette score in the embedding space and show that the developed model is able to mitigate inter-subject noise and significantly reduce the silhouette score. Moreover, we examine the Grad-CAM activation score and show that the brain regions associated with language processing contribute most to the model predictions, followed by regions associated with visual processing. These results have the potential to facilitate the development of neural recording-based video reconstruction and its related applications.


title: A novel model for layer jamming-based continuum robots

abstract: Continuum robots with variable stiffness have gained wide popularity in the last decade. Layer jamming (LJ) has emerged as a simple and efficient technique to achieve tunable stiffness for continuum robots. Despite its merits, the development of a control-oriented dynamical model tailored for this specific class of robots remains an open problem in the literature. This paper aims to present the first solution, to the best of our knowledge, to close the gap. We propose an energy-based model that is integrated with the LuGre frictional model for LJ-based continuum robots. Then, we take a comprehensive theoretical analysis for this model, focusing on two fundamental characteristics of LJ-based continuum robots: shape locking and adjustable stiffness. To validate the modeling approach and theoretical results, a series of experiments using our \textit{OctRobot-I} continuum robotic platform was conducted. The results show that the proposed model is capable of interpreting and predicting the dynamical behaviors in LJ-based continuum robots.


title: Driven Majorana Modes: A Route to Synthetic $p_x+ip_y$ Superconductivity

abstract: We propose a protocol to realize synthetic $p_x+ip_y$ superconductors in one-dimensional topological systems that host Majorana fermions. By periodically driving a localized Majorana mode across the system, our protocol realizes a topological pumping of Majorana fermions, analogous to the adiabatic Thouless pumping of electrical charges. Importantly, similar to the realization of a Chern insulator through Thouless pumping, we show that pumping of Majorana zero modes could lead to a $p_x + ip_y$ superconductor in the two dimensions of space and synthetic time. The Floquet theory is employed to map the driven one-dimensional system to a two-dimensional synthetic system by considering frequency as a new dimension. We demonstrate such Floquet $p_x + i p_y$ superconductors using the Kitaev $p$-wave superconductor chain, a prototypical 1D topological system, as well as its more realistic realization in the 1D Kondo lattice model as examples. We further show the appearance of a new $\pi$ Majorana mode at the Floquet zone boundary in an intermediate drive frequency region. Our work suggests a driven magnetic spiral coupled to a superconductor as a promising platform for the realization of novel topological superconductors.


title: Cross-Utterance Conditioned VAE for Speech Generation

abstract: Speech synthesis systems powered by neural networks hold promise for multimedia production, but frequently face issues with producing expressive speech and seamless editing. In response, we present the Cross-Utterance Conditioned Variational Autoencoder speech synthesis (CUC-VAE S2) framework to enhance prosody and ensure natural speech generation. This framework leverages the powerful representational capabilities of pre-trained language models and the re-expression abilities of variational autoencoders (VAEs). The core component of the CUC-VAE S2 framework is the cross-utterance CVAE, which extracts acoustic, speaker, and textual features from surrounding sentences to generate context-sensitive prosodic features, more accurately emulating human prosody generation. We further propose two practical algorithms tailored for distinct speech synthesis applications: CUC-VAE TTS for text-to-speech and CUC-VAE SE for speech editing. The CUC-VAE TTS is a direct application of the framework, designed to generate audio with contextual prosody derived from surrounding texts. On the other hand, the CUC-VAE SE algorithm leverages real mel spectrogram sampling conditioned on contextual information, producing audio that closely mirrors real sound and thereby facilitating flexible speech editing based on text such as deletion, insertion, and replacement. Experimental results on the LibriTTS datasets demonstrate that our proposed models significantly enhance speech synthesis and editing, producing more natural and expressive speech.


title: Observations of Orbiting Hot Spots around Naked Singularities

abstract: Recently, it has been reported that photons can traverse naked singularities in the Janis-Newman-Winicour and Born-Infeld spacetimes when these singularities are appropriately regularized. In this paper, we investigate observational signatures of hot spots orbiting these naked singularities, with a focus on discerning them from black holes. In contrast to Schwarzschild black holes, we unveil the presence of multiple additional image tracks within critical curves in time integrated images capturing a complete orbit of hot spots. Moreover, these new images manifest as a more pronounced second-highest peak in temporal magnitudes when observed at low inclinations.


title: Context-Aware Prompt Tuning for Vision-Language Model with Dual-Alignment

abstract: Large-scale vision-language models (VLMs), e.g., CLIP, learn broad visual concepts from tedious training data, showing superb generalization ability. Amount of prompt learning methods have been proposed to efficiently adapt the VLMs to downstream tasks with only a few training samples. We introduce a novel method to improve the prompt learning of vision-language models by incorporating pre-trained large language models (LLMs), called Dual-Aligned Prompt Tuning (DuAl-PT). Learnable prompts, like CoOp, implicitly model the context through end-to-end training, which are difficult to control and interpret. While explicit context descriptions generated by LLMs, like GPT-3, can be directly used for zero-shot classification, such prompts are overly relying on LLMs and still underexplored in few-shot domains. With DuAl-PT, we propose to learn more context-aware prompts, benefiting from both explicit and implicit context modeling. To achieve this, we introduce a pre-trained LLM to generate context descriptions, and we encourage the prompts to learn from the LLM's knowledge by alignment, as well as the alignment between prompts and local image features. Empirically, DuAl-PT achieves superior performance on 11 downstream datasets on few-shot recognition and base-to-new generalization. Hopefully, DuAl-PT can serve as a strong baseline. Code will be available.


title: Anti-phase synchronization in a population of swarmalators

abstract: Swarmalators are oscillatory systems endowed with a spatial component, whose spatial and phase dynamics affect each other. Such systems can demonstrate fascinating collective dynamics resembling many real-world processes. Through this work, we study a population of swarmalators where they are divided into different communities. The strengths of spatial attraction, repulsion as well as phase interaction differ from one group to another. Also, they vary from inter-community to intra-community. We encounter, as a result of variation in the phase coupling strength, different routes to achieve the static synchronization state by choosing several parameter combinations. We observe that when the inter-community phase coupling strength is sufficiently large, swarmalators settle in the static synchronization state. On the other hand, with a significant small phase coupling strength the state of anti-phase synchronization as well as chimera-like coexistence of sync and async are realized. Apart from rigorous numerical results, we have been successful to provide semi-analytical treatment for the existence and stability of global static sync and the anti-phase sync states.


title: PRISM: Leveraging Prototype Patient Representations with Feature-Missing-Aware Calibration for EHR Data Sparsity Mitigation

abstract: Electronic Health Records (EHRs) contain a wealth of patient data; however, the sparsity of EHRs data often presents significant challenges for predictive modeling. Conventional imputation methods inadequately distinguish between real and imputed data, leading to potential inaccuracies of patient representations. To address these issues, we introduce PRISM, a framework that indirectly imputes data by leveraging prototype representations of similar patients, thus ensuring compact representations that preserve patient information. PRISM also includes a feature confidence learner module, which evaluates the reliability of each feature considering missing statuses. Additionally, PRISM introduces a new patient similarity metric that accounts for feature confidence, avoiding overreliance on imprecise imputed values. Our extensive experiments on the MIMIC-III, MIMIC-IV, PhysioNet Challenge 2012, eICU datasets demonstrate PRISM's superior performance in predicting in-hospital mortality and 30-day readmission tasks, showcasing its effectiveness in handling EHR data sparsity. For the sake of reproducibility and further research, we have made the code publicly available at https://github.com/yhzhu99/PRISM.


title: Performance Analysis of OTSM under Hardware Impairments and Imperfect CSI

abstract: Orthogonal time sequency multiplexing (OTSM) has been recently proposed as a single-carrier waveform offering similar bit error rate to orthogonal time frequency space (OTFS) and outperforms orthogonal frequency division multiplexing (OFDM) in doubly-spread channels (DSCs); however, with a much lower complexity making it a potential candidate for 6G wireless networks. In this paper, the performance of OTSM is explored by considering the joint effects of multiple hardware impairments (HWIs) such as in-phase and quadrature imbalance (IQI), direct current offset (DCO), phase noise, power amplifier non-linearity, carrier frequency offset, and synchronization timing offset for the first time in the area. First, the discrete-time baseband signal model is obtained in vector form under all mentioned HWIs. Second, the system input-output relations are derived in time, delay-time, and delay-sequency (DS) domains in which the parameters of all mentioned HWIs are incorporated. Third, analytical expressions are derived for the pairwise and average bit error probability under imperfect channel state information (CSI) as a function of the parameters of all mentioned HWIs. Analytical results demonstrate that under all mentioned HWIs, noise stays additive white Gaussian, effective channel matrix is sparse, DCO appears as a DC signal at the receiver interfering with only the zero sequency, and IQI redounds to self-conjugated sequency interference in the DS domain. Simulation results reveal the fact that by considering the joint effects of all mentioned HWIs and imperfect CSI not only OTSM outperforms OFDM by 29% in terms of energy of bit per noise but it performs same as OTFS in high mobility DSCs.


title: GLS-CSC: A Simple but Effective Strategy to Mitigate Chinese STM Models' Over-Reliance on Superficial Clue

abstract: Pre-trained models have achieved success in Chinese Short Text Matching (STM) tasks, but they often rely on superficial clues, leading to a lack of robust predictions. To address this issue, it is crucial to analyze and mitigate the influence of superficial clues on STM models. Our study aims to investigate their over-reliance on the edit distance feature, commonly used to measure the semantic similarity of Chinese text pairs, which can be considered a superficial clue. To mitigate STM models' over-reliance on superficial clues, we propose a novel resampling training strategy called Gradually Learn Samples Containing Superficial Clue (GLS-CSC). Through comprehensive evaluations of In-Domain (I.D.), Robustness (Rob.), and Out-Of-Domain (O.O.D.) test sets, we demonstrate that GLS-CSC outperforms existing methods in terms of enhancing the robustness and generalization of Chinese STM models. Moreover, we conduct a detailed analysis of existing methods and reveal their commonality.


title: Statistical models for nucleic acids

abstract: ds-RNA and standard ds-DNA show specific structural differences in their di-nucleotide steps, piled along the helical axis. Modeling the helices of short fragments by a 3D mesoscopic Hamiltonian model, I use path integral techniques to compute the average helical repeat and show that these structural features are at the origin of the opposite twist-stretch patterns of the A- and B- form.


title: Radiation hardness study of BC408 plastic scintillator under 80 MeV proton beam irradiations

abstract: To investigate the 1.6 GeV high-energy proton beam detector utilized in the CSNS Phase-II upgrade project, a plastic scintillator detector presents a viable option due to its superior radiation hardness. This study investigates the effects of irradiation damage on a BC408 plastic scintillator induced by 80 MeV protons, including absorption and fluorescence spectroscopy, and light yield tests of BC408 pre- and post-proton irradiation, with a focus on determining the radiation resistance threshold of BC408. The results indicate that the performance of BC408 remains unimpaired at absorbed doses up to 5.14*10^3 Gy/cm3, demonstrating its ability to absorb 1.63*10^13 p/cm3 1.6 GeV protons while maintaining stability. This suggests that BC408 could potentially be used as the 1.6 GeV high-energy proton beam detector in the CSNS Phase-II upgrade project.


title: Pair-Interactions of Self-Propelled SiO2-Pt Janus Colloids: Chemically Mediated Interactions

abstract: Driven by the necessity to achieve a thorough comprehension of the bottom-up fabrication process of functional materials, this experimental study investigates the pair-wise interactions or collisions between chemically active SiO2-Pt Janus Colloids. These collisions are categorized based on the Janus colloids orientations before and after they make physical contact. In addition to the hydrodynamic interactions, the Janus colloids are also known to affect each others chemical field, resulting in chemophoretic interactions, which depend on the degree of surface anisotropy in reactivity and solute-surface interaction. These interactions lead to a noticeable decrease in particle speed and changes in orientation that correlate with the contact duration and yield different collision types. Our findings reveal distinct configurations of contact during collisions, whose mechanisms and likelihood is found to be dependent primarily on the chemical interactions. Such estimates of collision and their characterization in dilute suspensions shall have key impact in determining the arrangement and time scales of dynamical structures and assemblies of denser suspensions, and potentially the functional materials of the future.


title: Metastable Charge Distribution Between Degenerate Landau Levels

abstract: We study two dimensional electron systems confined in wide quantum wells whose subband separation is comparable with the Zeeman energy. Two N = 0 Landau levels from different subbands and with opposite spins are pinned in energy when they cross each other and electrons can freely transfer between them. When the disorder is strong, we observe clear hysteresis in our data corresponding to instability of the electron distribution in the two crossing levels. When the intra-layer interaction dominates, multiple minima appear when a Landau level is 1/3 or 2/3 filled and fractional quantum hall effect can be stabilized.


title: The three channels of many-body perturbation theory: $GW$, particle-particle, and electron-hole $T$-matrix self-energies

abstract: We derive the explicit expression of the three self-energies that one encounters in many-body perturbation theory: the well-known $GW$ self-energy, as well as the particle-particle and electron-hole $T$-matrix self-energies. Each of these can be easily computed via the eigenvalues and eigenvectors of a different random-phase approximation (RPA) linear eigenvalue problem that completely defines their corresponding response function. For illustrative and comparative purposes, we report the principal ionization potentials of a set of small molecules computed at each level of theory. The performance of these schemes on strongly correlated systems (\ce{B2} and \ce{C2}) is also discussed.

categories: physics.chem-ph cond-mat.mtrl-sci cond-mat.str-el nucl-th


title: Bayesian optimization with active learning of Ta-Nb-Hf-Zr-Ti system for spin transport properties

abstract: Designing materials with enhanced spin charge conversion, i.e., with high spin Hall conductivity (SHC) and low longitudinal electric conductivity (hence large spin Hall angle (SHA)), is a challenging task, especially in the presence of a vast chemical space for compositionally complex alloys (CCAs). In this work, focusing on the Ta-Nb-Hf-Zr-Ti system, we confirm that CCAs exhibit significant spin Hall conductivities and propose a multi-objective Bayesian optimization approach (MOBO) incorporated with active learning (AL) in order to screen for the optimal compositions with significant SHC and SHA. As a result, within less than 5 iterations we are able to target the TaZr-dominated systems displaying both high magnitudes of SHC (~-2.0 (10$^{-3}$ $\Omega$ cm)$^{-1}$) and SHA (~0.03). The SHC is mainly ascribed to the extrinsic skew scattering mechanism. Our work provides an efficient route for identifying new materials with significant SHE, which can be straightforwardly generalized to optimize other properties in a vast chemical space.


title: Grouping Boundary Proposals for Fast Interactive Image Segmentation

abstract: Geodesic models are known as an efficient tool for solving various image segmentation problems. Most of existing approaches only exploit local pointwise image features to track geodesic paths for delineating the objective boundaries. However, such a segmentation strategy cannot take into account the connectivity of the image edge features, increasing the risk of shortcut problem, especially in the case of complicated scenario. In this work, we introduce a new image segmentation model based on the minimal geodesic framework in conjunction with an adaptive cut-based circular optimal path computation scheme and a graph-based boundary proposals grouping scheme. Specifically, the adaptive cut can disconnect the image domain such that the target contours are imposed to pass through this cut only once. The boundary proposals are comprised of precomputed image edge segments, providing the connectivity information for our segmentation model. These boundary proposals are then incorporated into the proposed image segmentation model, such that the target segmentation contours are made up of a set of selected boundary proposals and the corresponding geodesic paths linking them. Experimental results show that the proposed model indeed outperforms state-of-the-art minimal paths-based image segmentation approaches.


title: Comment on "Extending the Laws of Thermodynamics for Arbitrary Autonomous Quantum Systems"

abstract: Recently, Elouard and Lombard Latune [PRX Quantum 4, 020309 (2023)] claimed to extend the laws of thermodynamics to "arbitrary quantum systems" valid "at any scale" using "consistent" definitions allowing them to "recover known results" from the literature. I show that their definitions are in conflict with textbook thermodynamics and over- or underestimate the real entropy production by orders of magnitude. The cause of this problem is traced back to problematic definitions of entropy and temperature, the latter, for instance, violates the zeroth law. It is pointed out that another framework presented in PRX Quantum 2, 030202 (2021) does not suffer from these problems, while Elouard and Lombard Latune falsely claim that it only provides a positive entropy production for a smaller class of initial states. A simple way to unify both approaches is also presented.


title: PRISTA-Net: Deep Iterative Shrinkage Thresholding Network for Coded Diffraction Patterns Phase Retrieval

abstract: The problem of phase retrieval (PR) involves recovering an unknown image from limited amplitude measurement data and is a challenge nonlinear inverse problem in computational imaging and image processing. However, many of the PR methods are based on black-box network models that lack interpretability and plug-and-play (PnP) frameworks that are computationally complex and require careful parameter tuning. To address this, we have developed PRISTA-Net, a deep unfolding network (DUN) based on the first-order iterative shrinkage thresholding algorithm (ISTA). This network utilizes a learnable nonlinear transformation to address the proximal-point mapping sub-problem associated with the sparse priors, and an attention mechanism to focus on phase information containing image edges, textures, and structures. Additionally, the fast Fourier transform (FFT) is used to learn global features to enhance local information, and the designed logarithmic-based loss function leads to significant improvements when the noise level is low. All parameters in the proposed PRISTA-Net framework, including the nonlinear transformation, threshold parameters, and step size, are learned end-to-end instead of being manually set. This method combines the interpretability of traditional methods with the fast inference ability of deep learning and is able to handle noise at each iteration during the unfolding stage, thus improving recovery quality. Experiments on Coded Diffraction Patterns (CDPs) measurements demonstrate that our approach outperforms the existing state-of-the-art methods in terms of qualitative and quantitative evaluations. Our source codes are available at \emph{https://github.com/liuaxou/PRISTA-Net}.


title: Unsupervised Object Localization with Representer Point Selection

abstract: We propose a novel unsupervised object localization method that allows us to explain the predictions of the model by utilizing self-supervised pre-trained models without additional finetuning. Existing unsupervised and self-supervised object localization methods often utilize class-agnostic activation maps or self-similarity maps of a pre-trained model. Although these maps can offer valuable information for localization, their limited ability to explain how the model makes predictions remains challenging. In this paper, we propose a simple yet effective unsupervised object localization method based on representer point selection, where the predictions of the model can be represented as a linear combination of representer values of training points. By selecting representer points, which are the most important examples for the model predictions, our model can provide insights into how the model predicts the foreground object by providing relevant examples as well as their importance. Our method outperforms the state-of-the-art unsupervised and self-supervised object localization methods on various datasets with significant margins and even outperforms recent weakly supervised and few-shot methods.


title: Magnetic Fields and Velocity Gradients in L1551: The Role of Stellar Feedback

abstract: Magnetic fields play a crucial role in star formation, yet tracing them becomes particularly challenging, especially in the presence of outflow feedback in protostellar systems. We targeted the star-forming region L1551, notable for its apparent outflows, to investigate the magnetic fields. These fields were probed using polarimetry observations from the Planck satellite at 353 GHZ/849 $\mu$m, the SOFIA/HAWC+ measurement at 214 $\mu$m, and the JCMT/SCUPOL 850 $\mu$m survey. Consistently, all three measurements show that the magnetic fields twist towards the protostar IRS 5. Additionally, we utilized the Velocity Gradients Technique (VGT) on the $^{12}$CO (J = 1-0) emission data to distinguish the magnetic fields directly associated with the protostellar outflows. These were then compared with the polarization results. Notably, in the outskirts of the region, these measurements generally align. However, as one approaches the center of IRS 5, the measurements tend to yield mostly perpendicular relative orientations. This suggests that the outflows might be dynamically significant from a scale of approximately $\sim0.2$~pc, causing the velocity gradient to change direction by 90 degrees. Furthermore, we discovered that the polarization fraction $p$ and the total intensity $I$ correlate as $p \propto I^{-\alpha}$. Specifically, $\alpha$ is approximately $1.044\pm0.06$ for SCUPOL and around $0.858\pm0.15$ for HAWC+. This indicates that the outflows could significantly impact the alignment of dust grains and magnetic fields in the L1551 region.


title: Manifold-based Verbalizer Space Re-embedding for Tuning-free Prompt-based Classification

abstract: Prompt-based classification adapts tasks to a cloze question format utilizing the [MASK] token and the filled tokens are then mapped to labels through pre-defined verbalizers. Recent studies have explored the use of verbalizer embeddings to reduce labor in this process. However, all existing studies require a tuning process for either the pre-trained models or additional trainable embeddings. Meanwhile, the distance between high-dimensional verbalizer embeddings should not be measured by Euclidean distance due to the potential for non-linear manifolds in the representation space. In this study, we propose a tuning-free manifold-based space re-embedding method called Locally Linear Embedding with Intra-class Neighborhood Constraint (LLE-INC) for verbalizer embeddings, which preserves local properties within the same class as guidance for classification. Experimental results indicate that even without tuning any parameters, our LLE-INC is on par with automated verbalizers with parameter tuning. And with the parameter updating, our approach further enhances prompt-based tuning by up to 3.2%. Furthermore, experiments with the LLaMA-7B&13B indicate that LLE-INC is an efficient tuning-free classification approach for the hyper-scale language models.


title: Knowledge-tuning Large Language Models with Structured Medical Knowledge Bases for Reliable Response Generation in Chinese

abstract: Large Language Models (LLMs) have demonstrated remarkable success in diverse natural language processing (NLP) tasks in general domains. However, LLMs sometimes generate responses with the hallucination about medical facts due to limited domain knowledge. Such shortcomings pose potential risks in the utilization of LLMs within medical contexts. To address this challenge, we propose knowledge-tuning, which leverages structured medical knowledge bases for the LLMs to grasp domain knowledge efficiently and facilitate reliable response generation. We also release cMedKnowQA, a Chinese medical knowledge question-answering dataset constructed from medical knowledge bases to assess the medical knowledge proficiency of LLMs. Experimental results show that the LLMs which are knowledge-tuned with cMedKnowQA, can exhibit higher levels of accuracy in response generation compared with vanilla instruction-tuning and offer a new reliable way for the domain adaptation of LLMs.


title: Collapsing of Mean Curvature Flow of Hypersurfaces to Complex Submanifolds

abstract: In this paper, we produce explicit examples of mean curvature flow of (2m-1)-dimensional submanifolds which converge to (2m-2)-dimensional submanifolds at a finite time. These examples are a special class of hyperspheres in $\mathbb{C}^{m}$ with a $U(m)$-invariant K\"ahler metrics. We first discuss the mean curvature flow problem and then investigate the type of singularities for them.


title: Generative inverse design of multimodal resonant structures for locally resonant metamaterials

abstract: In the development of locally resonant metamaterials, the physical resonator design is often omitted and replaced by an idealized mass-spring system. This paper presents a novel approach for designing multimodal resonant structures, which give rise to multi-bandgap metamaterials with predefined band gaps. Our method uses a conditional variational autoencoder to identify nontrivial patterns between design variables of complex-shaped resonators and their modal effective parameters. After training, the cost of generating designs satisfying arbitrary criteria - frequency and mass of multiple modes - becomes negligible. An example of a resonator family with six geometric variables and two targeted modes is further elaborated. We find that the autoencoder performs well even when trained with a limited dataset, resulting from a few hundred numerical modal analyses. The method generates several designs that very closely approximate the desired modal characteristics. The accuracy of the best designs, proposed by the auto-encoder, is confirmed in tests of 3D-printed resonator prototypes. Further experiments demonstrate the close agreement between the measured and desired dispersion relation of a sample metamaterial beam.


title: Double RIS-Assisted MIMO Systems Over Spatially Correlated Rician Fading Channels and Finite Scatterers

abstract: This paper investigates double RIS-assisted MIMO communication systems over Rician fading channels with finite scatterers, spatial correlation, and the existence of a double-scattering link between the transceiver. First, the statistical information is driven in closed form for the aggregated channels, unveiling various influences of the system and environment on the average channel power gains. Next, we study two active and passive beamforming designs corresponding to two objectives. The first problem maximizes channel capacity by jointly optimizing the active precoding and combining matrices at the transceivers and passive beamforming at the double RISs subject to the transmitting power constraint. In order to tackle the inherently non-convex issue, we propose an efficient alternating optimization algorithm (AO) based on the alternating direction method of multipliers (ADMM). The second problem enhances communication reliability by jointly training the encoder and decoder at the transceivers and the phase shifters at the RISs. Each neural network representing a system entity in an end-to-end learning framework is proposed to minimize the symbol error rate of the detected symbols by controlling the transceiver and the RISs phase shifts. Numerical results verify our analysis and demonstrate the superior improvements of phase shift designs to boost system performance.


title: Less Power for More Learning: Restricting OCaml Features for Effective Teaching

abstract: We present a framework for sandboxing and restricting features of the OCaml programming language to effectively automate the grading of programming exercises, scaling to hundreds of submissions. We describe how to disable language and library features that should not be used to solve a given exercise. We present an overview of an implementation of a mock IO system to allow testing of IO-related exercises in a controlled environment. Finally, we detail a number of security considerations to ensure submitted code remains sandboxed, allowing automatic grading to be trusted without manual verification. The source code of our implementation is publicly available.


title: The geometric constraints on Filippov algebroids

abstract: Filippov n-algebroids are introduced by Grabowski and Marmo as a natural generalization of Lie algebroids. On this note, we characterized Filippov n-algebroid structures by considering certain multi-input connections, which we called Filippov connections, on the underlying vector bundle. Through this approach, we could express the n-ary bracket of any Filippov n-algebroid using a torsion-free type formula. Additionally, we transformed the generalized Jacobi identity of the Filippov n-algebroid into the Bianchi-Filippov identity. Furthermore, in the case of rank n vector bundles, we provided a characterization of linear Nambu-Poisson structures using Filippov connections.


title: Concave many-to-one matching

abstract: We propose a notion of concavity in two-sided many-to-one matching, which is an analogue to the balancedness condition in cooperative games. A stable matching exists when the market is concave. We provide a class of concave markets. In the proof of the existence theorem, we use Scarf's algorithm to find a stable schedule matching, which is of independent interest.


title: A Long-Tail Friendly Representation Framework for Artist and Music Similarity

abstract: The investigation of the similarity between artists and music is crucial in music retrieval and recommendation, and addressing the challenge of the long-tail phenomenon is increasingly important. This paper proposes a Long-Tail Friendly Representation Framework (LTFRF) that utilizes neural networks to model the similarity relationship. Our approach integrates music, user, metadata, and relationship data into a unified metric learning framework, and employs a meta-consistency relationship as a regular term to introduce the Multi-Relationship Loss. Compared to the Graph Neural Network (GNN), our proposed framework improves the representation performance in long-tail scenarios, which are characterized by sparse relationships between artists and music. We conduct experiments and analysis on the AllMusic dataset, and the results demonstrate that our framework provides a favorable generalization of artist and music representation. Specifically, on similar artist/music recommendation tasks, the LTFRF outperforms the baseline by 9.69%/19.42% in Hit Ratio@10, and in long-tail cases, the framework achieves 11.05%/14.14% higher than the baseline in Consistent@10.


title: Stereo Matching in Time: 100+ FPS Video Stereo Matching for Extended Reality

abstract: Real-time Stereo Matching is a cornerstone algorithm for many Extended Reality (XR) applications, such as indoor 3D understanding, video pass-through, and mixed-reality games. Despite significant advancements in deep stereo methods, achieving real-time depth inference with high accuracy on a low-power device remains a major challenge. One of the major difficulties is the lack of high-quality indoor video stereo training datasets captured by head-mounted VR/AR glasses. To address this issue, we introduce a novel video stereo synthetic dataset that comprises photorealistic renderings of various indoor scenes and realistic camera motion captured by a 6-DoF moving VR/AR head-mounted display (HMD). This facilitates the evaluation of existing approaches and promotes further research on indoor augmented reality scenarios. Our newly proposed dataset enables us to develop a novel framework for continuous video-rate stereo matching. As another contribution, our dataset enables us to proposed a new video-based stereo matching approach tailored for XR applications, which achieves real-time inference at an impressive 134fps on a standard desktop computer, or 30fps on a battery-powered HMD. Our key insight is that disparity and contextual information are highly correlated and redundant between consecutive stereo frames. By unrolling an iterative cost aggregation in time (i.e. in the temporal dimension), we are able to distribute and reuse the aggregated features over time. This approach leads to a substantial reduction in computation without sacrificing accuracy. We conducted extensive evaluations and comparisons and demonstrated that our method achieves superior performance compared to the current state-of-the-art, making it a strong contender for real-time stereo matching in VR/AR applications.


title: Receiving an algorithmic recommendation based on documentary filmmaking techniques

abstract: This article analyzes the reception of a novel algorithmic recommendation of documentary films by a panel of moviegoers of the T{\"e}nk platform. In order to propose an alternative to recommendations based on a thematic classification, the director or the production period, a set of metadata has been elaborated within the framework of this experimentation in order to characterize the great variety of ``documentary filmmaking dispositifs'' . The goal is to investigate the different ways in which the platform's film lovers appropriate a personalized recommendation of 4 documentaries with similar or similar filmmaking dispositifs. To conclude, the contributions and limits of this proof of concept are discussed in order to sketch out avenues of reflection for improving the instrumented mediation of documentary films.


title: Predictive and Robust Robot Assistance for Sequential Manipulation

abstract: This paper presents a novel concept to support physically impaired humans in daily object manipulation tasks with a robot. Given a user's manipulation sequence, we propose a predictive model that uniquely casts the user's sequential behavior as well as a robot support intervention into a hierarchical multi-objective optimization problem. A major contribution is the prediction formulation, which allows to consider several different future paths concurrently. The second contribution is the encoding of a general notion of constancy constraints, which allows to consider dependencies between consecutive or far apart keyframes (in time or space) of a sequential task. We perform numerical studies, simulations and robot experiments to analyse and evaluate the proposed method in several table top tasks where a robot supports impaired users by predicting their posture and proactively re-arranging objects.


title: The Prime Geodesic Theorem in Arithmetic Progressions

abstract: We address the prime geodesic theorem in arithmetic progressions, and resolve conjectures of Golovchanski\u{\i}-Smotrov (1999). In particular, we prove that the traces of closed geodesics on the modular surface do not equidistribute in the reduced residue classes of a given modulus.


title: Extraction of Work via a Thermalization Protocol

abstract: This extended abstract contains an outline of the work reported at the conference IQIS2018. We show that it is possible to exploit a thermalization process to extract work from a resource system $R$ to a bipartite system $S$. To do this, we propose a simple protocol in a general setting in the presence of a single bath at temperature $T$ and then examine it when $S$ is described by the quantum Rabi model at $T=0$. We find the theoretical bounds of the protocol in the general case and we show that when applied to the Rabi model it gives rise to a satisfactory extraction of work and efficiency.


title: The State of Disappearing Frameworks in 2023

abstract: Disappearing frameworks represent a new type of thinking for web development. In the current mainstream JavaScript frameworks, the focus has been on developer experience at the cost of user experience. Disappearing frameworks shift the focus by aiming to deliver as little, even zero, JavaScript to the client. In this paper, we look at the options available in the ecosystem in mid-2023 and characterize them in terms of functionality and features to provide a state-of-the-art view of the trend. We found that the frameworks rely heavily on compilers, often support progressive enhancement, and most of the time support static output. While solutions like Astro are UI library agnostic, others, such as Marko, are more opinionated.


title: High-power intracavity single-cycle THz pulse generation using thin lithium niobate

abstract: Ultrafast laser driven, single-cycle THz pulsed sources hold immense potential for scientific and industrial applications; however, their limited average power hinders their widespread application. In particular, applications where high repetition rates in the multi-MHz region and beyond are required are more severely affected, due to the lower pulse energies available for frequency conversion. In this respect, resonant enhancement both in passive and active resonators is a well-known technique for boosting the efficiency of nonlinear frequency conversion; however, this route has remained poorly explored for the generation of broadband THz pulses due to the inadequacy of typically employed nonlinear crystals. Here, we demonstrate that thin lithium niobate crystals used intracavity of multimode diode-pumped mode-locked thin-disk lasers are a promising platform to circumvent these difficulties. Using a 50-{\mu}m thin lithium niobate plate intracavity of a compact high-power mode-locked thin-disk laser, we generate milliwatt-level broadband THz pulses with a spectrum extending up to 3 THz at 44.8 MHz repetition rate, driven by 264 W of intracavity average power. This approach opens the door to efficient high-power single-cycle THz generation using affordable nonlinear crystals at very high repetition rates, scalable to kilowatt-level driving power with low cost and complexity.


title: SegmentAnything helps microscopy images based automatic and quantitative organoid detection and analysis

abstract: Organoids are self-organized 3D cell clusters that closely mimic the architecture and function of in vivo tissues and organs. Quantification of organoid morphology helps in studying organ development, drug discovery, and toxicity assessment. Recent microscopy techniques provide a potent tool to acquire organoid morphology features, but manual image analysis remains a labor and time-intensive process. Thus, this paper proposes a comprehensive pipeline for microscopy analysis that leverages the SegmentAnything to precisely demarcate individual organoids. Additionally, we introduce a set of morphological properties, including perimeter, area, radius, non-smoothness, and non-circularity, allowing researchers to analyze the organoid structures quantitatively and automatically. To validate the effectiveness of our approach, we conducted tests on bright-field images of human induced pluripotent stem cells (iPSCs) derived neural-epithelial (NE) organoids. The results obtained from our automatic pipeline closely align with manual organoid detection and measurement, showcasing the capability of our proposed method in accelerating organoids morphology analysis.


title: Gravitational waves from high-power twisted light

abstract: Recent advances in high-energy and high-peak-power laser systems have opened up new possibilities for fundamental physics research. In this work, the potential of twisted light for the generation of gravitational waves in the high frequency regime is explored for the first time. Focusing on Bessel beams, novel analytic expressions and numerical computations for the generated metric perturbations and associated powers are presented. Compelling evidence is provided that the properties of the generated gravitational waves, such as frequency, polarisation states and direction of emission, are controllable by the laser pulse parameters and optical arrangements.


title: Optimal strategies for mosquitoes replacement techniques: influence of the carrying capacity on spatial releases

abstract: This work is devoted to the mathematical study of an optimization problem regarding control strategies of mosquito population in a heterogeneous environment. Mosquitoes are well known to be vectors of diseases, but, in some cases, they have a reduced vector capacity when carrying the endosymbiotic bacterium Wolbachia. We consider a mathematical model of a replacement strategy, consisting in rearing and releasing Wolbachia-infected mosquitoes to replace the wild population. We investigate the question of optimizing the release protocol to have the most effective replacement when the environment is heterogeneous. In other words we focus on the question: where to release, given an inhomogeneous environment, in order to maximize the replacement across the domain. To do so, we consider a simple scalar model in which we assume that the carrying capacity is space dependent. Then, we investigate the existence of an optimal release profile and prove some interesting properties. In particular, neglecting the mobility of mosquitoes and under some assumptions on the biological parameters, we characterize the optimal releasing strategy for a short time horizon, and provide a way to reduce to a one-dimensional optimization problem the case of a long time horizon. Our theoretical results are illustrated with several numerical simulations.


title: Robust equilibria in cheap-talk games with fairly transparent motives

abstract: For cheap-talk games with a binary state space in which the sender has state-independent preferences, we characterize equilibria that are robust to introducing slight state-dependence on the side of the sender. Not all equilibria are robust, but the sender-optimum is always achieved at some robust equilibrium.


title: Spatial Modulation with Energy Detection: Diversity Analysis and Experimental Evaluation

abstract: In this paper, we present a non-coherent energy detection scheme for spatial modulation (SM) systems. In particular, the use of SM is motivated by its low-complexity implementation in comparison to multiple-input multiple-output (MIMO) systems, achieved through the activation of a single antenna during transmission. Moreover, energy detection-based communications restrict the channel state information to the magnitude of the fading gains. This consideration makes the design applicable for low-cost low-powered devices since phase estimation and its associated circuitry are avoided. We derive an energy detection metric for a multi-antenna receiver based on the maximum-likelihood (ML) criterion. By considering a biased pulse amplitude modulation, we develop an analytical framework for the SM symbol error rate at high signal-to-noise ratios. Numerical results show that the diversity order is proportional to half the number of receive antennas; this result stems from having partial receiver channel knowledge. In addition, we compare the performance of the proposed scheme with that of the coherent ML receiver and show that the SM energy detector outperforms its coherent counterpart in certain scenarios, particularly when utilizing non-negative constellations. Ultimately, we implement an SM testbed using software-defined radio devices and provide experimental error rate measurements that validate our theoretical contribution.


title: Towards Mitigating Architecture Overfitting in Dataset Distillation

abstract: Dataset distillation methods have demonstrated remarkable performance for neural networks trained with very limited training data. However, a significant challenge arises in the form of architecture overfitting: the distilled training data synthesized by a specific network architecture (i.e., training network) generates poor performance when trained by other network architectures (i.e., test networks). This paper addresses this issue and proposes a series of approaches in both architecture designs and training schemes which can be adopted together to boost the generalization performance across different network architectures on the distilled training data. We conduct extensive experiments to demonstrate the effectiveness and generality of our methods. Particularly, across various scenarios involving different sizes of distilled data, our approaches achieve comparable or superior performance to existing methods when training on the distilled data using networks with larger capacities.


title: A Genetic Algorithm-Based Approach to Power Allocation in Rate-Splitting Multiple Access Systems

abstract: We consider the problem of power allocation in Rate-Splitting Multiple Access (RSMA) systems, where messages are split into common and private messages. The common and private streams are jointly transmitted to allow efficient use of the bandwidth, and decoded by Successive Interference Cancellation (SIC) at the receiver. However, the power allocation between streams significantly affects the overall performance. In this letter, we address this problem. We develop a novel algorithm, dubbed Power Allocation in RSMA systems using Genetic Algorithm (PARGA), to allocate the power between streams in RSMA systems in order to maximize the user sum-rate. Simulation results demonstrate the high efficiency of PARGA compared to existing methods.


title: Lessons from the Long Tail: Analysing Unsafe Dependency Updates across Software Ecosystems

abstract: A risk in adopting third-party dependencies into an application is their potential to serve as a doorway for malicious code to be injected (most often unknowingly). While many initiatives from both industry and research communities focus on the most critical dependencies (i.e., those most depended upon within the ecosystem), little is known about whether the rest of the ecosystem suffers the same fate. Our vision is to promote and establish safer practises throughout the ecosystem. To motivate our vision, in this paper, we present preliminary data based on three representative samples from a population of 88,416 pull requests (PRs) and identify unsafe dependency updates (i.e., any pull request that risks being unsafe during runtime), which clearly shows that unsafe dependency updates are not limited to highly impactful libraries. To draw attention to the long tail, we propose a research agenda comprising six key research questions that further explore how to safeguard against these unsafe activities. This includes developing best practises to address unsafe dependency updates not only in top-tier libraries but throughout the entire ecosystem.


title: Don't Ignore Dual Logic Ability of LLMs while Privatizing: A Data-Intensive Analysis in Medical Domain

abstract: Extensive studies have been devoted to privatizing general-domain Large Language Models (LLMs) as Domain-Specific LLMs via feeding specific-domain data. However, these privatization efforts often ignored a critical aspect: Dual Logic Ability, which is a core reasoning ability for LLMs. The dual logic ability of LLMs ensures that they can maintain a consistent stance when confronted with both positive and negative statements about the same fact. Our study focuses on how the dual logic ability of LLMs is affected during the privatization process in the medical domain. We conduct several experiments to analyze the dual logic ability of LLMs by examining the consistency of the stance in responses to paired questions about the same fact. In our experiments, interestingly, we observed a significant decrease in the dual logic ability of existing LLMs after privatization. Besides, our results indicate that incorporating general domain dual logic data into LLMs not only enhances LLMs' dual logic ability but also further improves their accuracy. These findings underscore the importance of prioritizing LLMs' dual logic ability during the privatization process. Our study establishes a benchmark for future research aimed at exploring LLMs' dual logic ability during the privatization process and offers valuable guidance for privatization efforts in real-world applications.


title: Numerical simulation and analytical modelling of self-heating in FDSOI MOSFETs down to very deep cryogenic temperatures

abstract: Self-heating (SHE) TCAD numerical simulations have been performed, for the first time, on 30nm FDSOI MOS transistors at extremely low temperatures. The self-heating temperature rise dTmax and the thermal resistance Rth are computed as functions of the ambient temperature Ta and the dissipated electrical power (Pd), considering calibrated silicon and oxide thermal conductivities. The characteristics of the SHE temperature rise dTmax(Pd) display sub-linear behavior at sufficiently high levels of dissipated power, in line with standard FDSOI SHE experimental data. It has been observed that the SHE temperature rise dTmax can significantly exceed the ambient temperature more easily at very low temperatures. Furthermore, a detailed thermal analysis of the primary heat flows in the FDSOI device has been conducted, leading to the development of an analytical SHE model calibrated against TCAD simulation data. This SHE analytical model accurately describes the dTmax(Pd) and Rth(Ta) characteristics of an FDSOI MOS device operating at extreme low ambient temperatures. These TCAD simulations and analytical models hold great promise for predicting the SHE and electro-thermal performance of FDSOI MOS transistors against ambient temperature and dissipated power.


title: Cyclic Operator Precedence Grammars for Parallel Parsing

abstract: Operator precedence languages (OPL) enjoy the local parsability property, which essentially means that a code fragment enclosed within a pair of markers -- playing the role of parentheses -- can be compiled with no knowledge of its external context. Such a property has been exploited to build parallel compilers for languages formalized as OPLs. It has been observed, however, that when the syntax trees of the sentences have a linear substructure, its parsing must necessarily proceed sequentially making it impossible to split such a subtree into chunks to be processed in parallel. Such an inconvenience is due to the fact that so far much literature on OPLs has assumed the hypothesis that equality precedence relation cannot be cyclic. This hypothesis was motivated by the need to keep the mathematical notation as simple as possible. We present an enriched version of operator precedence grammars, called cyclic, that allows to use a simplified version of regular expressions in the right hand sides of grammar's rules; for this class of operator precedence grammars the acyclicity hypothesis of the equality precedence relation is no more needed to guarantee the algebraic properties of the generated languages. The expressive power of the cyclic grammars is now fully equivalent to that of other formalisms defining OPLs such as operator precedence automata, monadic second order logic and operator precedence expressions. As a result cyclic operator precedence grammars now produce also unranked syntax trees and sentences with flat unbounded substructures that can be naturally partitioned into chunks suitable for parallel parsing.