title: Iterative missing value imputation based on feature importance

abstract: Many datasets suffer from missing values due to various reasons,which not only increases the processing difficulty of related tasks but also reduces the accuracy of classification. To address this problem, the mainstream approach is to use missing value imputation to complete the dataset. Existing imputation methods estimate the missing parts based on the observed values in the original feature space, and they treat all features as equally important during data completion, while in fact different features have different importance. Therefore, we have designed an imputation method that considers feature importance. This algorithm iteratively performs matrix completion and feature importance learning, and specifically, matrix completion is based on a filling loss that incorporates feature importance. Our experimental analysis involves three types of datasets: synthetic datasets with different noisy features and missing values, real-world datasets with artificially generated missing values, and real-world datasets originally containing missing values. The results on these datasets consistently show that the proposed method outperforms the existing five imputation algorithms.To the best of our knowledge, this is the first work that considers feature importance in the imputation model.


title: Nuclear spin ratios of deuterated ammonia in prestellar cores. LAsMA observations of H-MM1 and Oph D

abstract: We determine the ortho/para ratios of NH2D and NHD2 in two dense, starless cores, where their formation is supposed to be dominated by gas-phase reactions, which, in turn, is predicted to result in deviations from the statistical spin ratios. The Large APEX sub-Millimeter Array (LAsMA) multibeam receiver of the Atacama Pathfinder EXperiment (APEX) telescope was used to observe the prestellar cores H-MM1 and Oph D in Ophiuchus in the ground-state lines of ortho and para NH2D and NHD2. The fractional abundances of these molecules were derived employing 3D radiative transfer modelling, using different assumptions about the abundance profiles as functions of density. We also ran gas-grain chemistry models with different scenarios concerning proton or deuteron exchanges and chemical desorption from grains to find out if one of these models can reproduce the observed spin ratios. The observationally deduced ortho/para ratios of NH2D and NHD2 are in both cores within 10% of their statistical values 3 and 2, respectively, and taking 3-sigma limits, deviations from these of about 20% are allowed. Of the chemistry models tested here, the model that assumes proton hop (as opposed to full scrambling) in reactions contributing to ammonia formation, and a constant efficiency of chemical desorption, comes nearest to the observed abundances and spin ratios. The nuclear spin ratios derived here are in contrast with spin-state chemistry models that assume full scrambling in proton donation and hydrogen abstraction reactions leading to deuterated ammonia. The efficiency of chemical desorption influences strongly the predicted abundances of NH3, NH2D, and NHD2, but has a lesser effect on their ortho/para ratios. For these the proton exchange scenario in the gas is decisive. We suggest that this is because of rapid re-processing of ammonia and related cations by gas-phase ion-molecule reactions.


title: Clearer Frames, Anytime: Resolving Velocity Ambiguity in Video Frame Interpolation

abstract: Existing video frame interpolation (VFI) methods blindly predict where each object is at a specific timestep t ("time indexing"), which struggles to predict precise object movements. Given two images of a baseball, there are infinitely many possible trajectories: accelerating or decelerating, straight or curved. This often results in blurry frames as the method averages out these possibilities. Instead of forcing the network to learn this complicated time-to-location mapping implicitly together with predicting the frames, we provide the network with an explicit hint on how far the object has traveled between start and end frames, a novel approach termed "distance indexing". This method offers a clearer learning goal for models, reducing the uncertainty tied to object speeds. We further observed that, even with this extra guidance, objects can still be blurry especially when they are equally far from both input frames (i.e., halfway in-between), due to the directional ambiguity in long-range motion. To solve this, we propose an iterative reference-based estimation strategy that breaks down a long-range prediction into several short-range steps. When integrating our plug-and-play strategies into state-of-the-art learning-based models, they exhibit markedly sharper outputs and superior perceptual quality in arbitrary time interpolations, using a uniform distance indexing map in the same format as time indexing. Additionally, distance indexing can be specified pixel-wise, which enables temporal manipulation of each object independently, offering a novel tool for video editing tasks like re-timing.


title: Schur powers of the cokernel of a graded morphism

abstract: Let $\varphi: F\longrightarrow G$ be a graded morphism between free $R$-modules of rank $t$ and $t+c-1$, respectively, and let $I_j(\varphi)$ be the ideal generated by the $j \times j$ minors of a matrix representing $\varphi$. In this short note: (1) We show that the canonical module of $R/I_j(\varphi)$ is up to twist equal to a suitable Schur power $\Sigma ^I M$ of $M=\coker (\varphi ^*)$; thus equal to $\wedge ^{t+1-j}M$ if $c=2$ in which case we find a minimal free $R$-resolution of $\wedge ^{t+1-j}M$ for any $j$, (2) For $c = 3$, we construct a free $R$-resolution of $\wedge ^2M$ which starts almost minimally (i.e. the first three terms are minimal up to a precise summand), and (3) For $c \ge 4$, we construct under a certain depth condition the first three terms of a free $R$-resolution of $\wedge ^2M$ which are minimal up to a precise summand. As a byproduct we answer the first open case of a question posed by Buchsbaum and Eisenbud.


title: From Human to Robot Interactions: A Circular Approach towards Trustworthy Social Robots

abstract: Human trust research uncovered important catalysts for trust building between interaction partners such as appearance or cognitive factors. The introduction of robots into social interactions calls for a reevaluation of these findings and also brings new challenges and opportunities. In this paper, we suggest approaching trust research in a circular way by drawing from human trust findings, validating them and conceptualizing them for robots, and finally using the precise manipulability of robots to explore previously less-explored areas of trust formation to generate new hypotheses for trust building between agents.


title: Distantly-Supervised Named Entity Recognition with Uncertainty-aware Teacher Learning and Student-student Collaborative Learning

abstract: Distantly-Supervised Named Entity Recognition (DS-NER) effectively alleviates the burden of annotation, but meanwhile suffers from the label noise. Recent works attempt to adopt the teacher-student framework to gradually refine the training labels and improve the overall robustness. However, we argue that these teacher-student methods achieve limited performance because poor network calibration produces incorrectly pseudo-labeled samples, leading to error propagation. Therefore, we attempt to mitigate this issue by proposing: (1) Uncertainty-aware Teacher Learning that leverages the prediction uncertainty to guide the selection of pseudo-labels, avoiding the number of incorrect pseudo-labels in the self-training stage. (2) Student-student Collaborative Learning that allows the transfer of reliable labels between two student networks instead of completely relying on all pseudo-labels from its teacher. Meanwhile, this approach allows a full exploration of mislabeled samples rather than simply filtering unreliable pseudo-labeled samples. Extensive experimental results on five DS-NER datasets demonstrate that our method is superior to state-of-the-art teacher-student methods.


title: Forgetting before Learning: Utilizing Parametric Arithmetic for Knowledge Updating in Large Language Models

abstract: Recent advancements in Large Language Models (LLMs) have showcased their remarkable capabilities in text understanding and generation. However, even stronger LLMs are susceptible to acquiring erroneous or obsolete information from the training corpus. Direct secondary fine-tuning with data containing new knowledge may be ineffective in updating knowledge due to the conflict between old and new knowledge. In this paper, we propose a new paradigm for fine-tuning called F-Learning (Forgetting before Learning), which employs parametric arithmetic to facilitate the forgetting of old knowledge and learning of new knowledge. Experimental results on two publicly available datasets demonstrate that our proposed F-Learning can obviously improve the knowledge updating performance of both full fine-tuning and LoRA fine-tuning, simultaneously outperforming the existing baselines in most cases. Moreover, we have also discovered that forgetting old knowledge by subtracting the parameters of LoRA can yield a similar effect to subtracting the parameters of full fine-tuning, and occasionally even surpass it significantly.


title: A new characterization for the Lucas-Carmichael Integers and sums of base-$p$ digits

abstract: In this paper, we prove a necessary and sufficient condition for the Lucas-Carmichael integers in terms of the sum of base-$p$ digits. We also study some interesting properties of such integers. Finally, we prove that there are infinitely many Lucas-Carmichael integers assuming the prime $k$-tuples conjecture.


title: CP-SLAM: Collaborative Neural Point-based SLAM System

abstract: This paper presents a collaborative implicit neural simultaneous localization and mapping (SLAM) system with RGB-D image sequences, which consists of complete front-end and back-end modules including odometry, loop detection, sub-map fusion, and global refinement. In order to enable all these modules in a unified framework, we propose a novel neural point based 3D scene representation in which each point maintains a learnable neural feature for scene encoding and is associated with a certain keyframe. Moreover, a distributed-to-centralized learning strategy is proposed for the collaborative implicit SLAM to improve consistency and cooperation. A novel global optimization framework is also proposed to improve the system accuracy like traditional bundle adjustment. Experiments on various datasets demonstrate the superiority of the proposed method in both camera tracking and mapping.


title: Engineering of a Low-Entropy Quantum Simulator for Strongly Correlated Electrons Using SU($\mathcal{N}$)-Symmetric Cold Atom Mixtures

abstract: An advanced cooling scheme, incorporating entropy engineering, is vital for isolated artificial quantum systems designed to emulate the low-temperature physics of strongly correlated electron systems (SCESs). This study theoretically demonstrates a cooling method employing multi-component Fermi gases with SU($\mathcal{N}$)-symmetric interactions, focusing on the case of $^{173}$Yb atoms in a two-dimensional optical lattice. Adiabatically introducing a nonuniform state-selective laser gives rise to two distinct subsystems: a central low-temperature region, exclusively composed of two specific spin components, acts as a quantum simulator for SCESs, while the surrounding $\mathcal{N}$-component mixture retains a significant portion of the entropy of the system. The SU($\mathcal{N}$)-symmetric interactions ensure that the total particle numbers for each component become good quantum numbers, creating a sharp boundary for the two-component region. The cooling efficiency is assessed through extensive finite-temperature Lanczos calculations. The results lay the foundation for quantum simulations of two-dimensional systems of Hubbard or Heisenberg type, offering crucial insights into intriguing low-temperature phenomena in condensed-matter physics.


title: Lattice fluctuations, not excitonic correlations, mediated electronic localization in TiSe$_2$

abstract: TiSe$_2$ is thought to be an insulator with a bandgap of ~0.1eV. It has attracted a much interest because, among of a rich array of unique properties, many have thought TiSe$_2$ is a rare realisation of an excitonic insulator. Below 200 K, TiSe$_2$ undergoes a transition from a high-symmetry ({P-3m1}) phase to a low-symmetry ({P-3c1}) phase. Here we establish that TiSe$_2$ is indeed an insulator in both {P-3m1} and {P-3c1} phases. However, the insulating state is driven not by excitonic effects but by symmetry-breaking of the {P-3m1} phase. In the CDW phase the symmetry breaking is static. At high temperature, thermally driven instantaneous deviations from {P-3m1} break the symmetry on the characteristic time scale of a phonon. Even while the time-averaged \emph{lattice} structure assumes {P-3m1} symmetry, the time-averaged \emph{energy band} structure is closer to the CDW phase -- a rare instance of a metal-insulator transition induced by dynamical symmetry breaking. We establish these conclusions from a high-fidelity, self-consistent form of many body perturbation theory, in combination with molecular dynamics simulations to capture the effects of thermal disorder. The many-body theory includes explicitly ladder diagrams in the polarizability, which incorporates excitonic effects in an \emph{ab initio} manner. The excitonic modification to the potential is slight, ruling out the possibility that TiSe$_2$ is an excitonic insulator. Charge self-consistency is essential distinguish the metallic from insulating state.


title: Velocity-Based Channel Charting with Spatial Distribution Map Matching

abstract: Fingerprint-based localization improves the positioning performance in challenging, non-line-of-sight (NLoS) dominated indoor environments. However, fingerprinting models require an expensive life-cycle management including recording and labeling of radio signals for the initial training and regularly at environmental changes. Alternatively, channel-charting avoids this labeling effort as it implicitly associates relative coordinates to the recorded radio signals. Then, with reference real-world coordinates (positions) we can use such charts for positioning tasks. However, current channel-charting approaches lag behind fingerprinting in their positioning accuracy and still require reference samples for localization, regular data recording and labeling to keep the models up to date. Hence, we propose a novel framework that does not require reference positions. We only require information from velocity information, e.g., from pedestrian dead reckoning or odometry to model the channel charts, and topological map information, e.g., a building floor plan, to transform the channel charts into real coordinates. We evaluate our approach on two different real-world datasets using 5G and distributed single-input/multiple-output system (SIMO) radio systems. Our experiments show that even with noisy velocity estimates and coarse map information, we achieve similar position accuracies


title: The Hardy constant: a review

abstract: We present a review of results that have been obtained in the past twenty-five years concerning the $L^p$-Hardy inequality with distance to the boundary. We concentrate on results where the best Hardy constant is either computed exactly or estimated from below.


title: The unitary Cayley graph of a semiring

abstract: We study the unitary Cayley graph of a matrix semiring. We find bounds for its diameter, clique number and independence number, and determine its girth. We also find the relationship between the diameter and the clique number of a unitary Cayley graph of a semiring $S$ and a matrix semiring over $S$.


title: Visual Servoing NMPC Applied to UAVs for Photovoltaic Array Inspection

abstract: The photovoltaic (PV) industry is seeing a significant shift toward large-scale solar plants, where traditional inspection methods have proven to be time-consuming and costly. Currently, the predominant approach to PV inspection using unmanned aerial vehicles (UAVs) is based on photogrammetry. However, the photogrammetry approach presents limitations, such as an increased amount of useless data during flights, potential issues related to image resolution, and the detection process during high-altitude flights. In this work, we develop a visual servoing control system applied to a UAV with dynamic compensation using a nonlinear model predictive control (NMPC) capable of accurately tracking the middle of the underlying PV array at different frontal velocities and height constraints, ensuring the acquisition of detailed images during low-altitude flights. The visual servoing controller is based on the extraction of features using RGB-D images and the Kalman filter to estimate the edges of the PV arrays. Furthermore, this work demonstrates the proposal in both simulated and real-world environments using the commercial aerial vehicle (DJI Matrice 100), with the purpose of showcasing the results of the architecture. Our approach is available for the scientific community in: https://github.com/EPVelasco/VisualServoing_NMPC


title: A signed $e$-expansion of the chromatic quasisymmetric function

abstract: We prove a new signed elementary symmetric function expansion of the chromatic quasisymmetric function of any natural unit interval graph. We then use a sign-reversing involution to prove a new combinatorial formula for K-chains, which are graphs formed by joining cliques at single vertices. This formula immediately implies $e$-positivity and $e$-unimodality for K-chains. We also prove a version of our signed $e$-expansion for arbitrary graphs.


title: Silhouettes and generic properties of subgroups of the modular group

abstract: We show that the probability for a finitely generated subgroup of the modular group, of size $n$, to be almost malnormal or non-parabolic, tends to 0 as $n$ tends to infinity -- where the notion of the size of a subgroup is based on a natural graph-theoretic representation of the subgroup. The proofs of these results rely on the combinatorial and asymptotic study of a natural map, which associates with any finitely generated subgroup of $\textsf{PSL}(2,\mathbb{Z})$ a graph which we call its silhouette, which can be interpreted as a conjugacy class of free finite index subgroups of $\textsf{PSL}(2,\mathbb{Z})$.


title: Two-Stage Predict+Optimize for Mixed Integer Linear Programs with Unknown Parameters in Constraints

abstract: Consider the setting of constrained optimization, with some parameters unknown at solving time and requiring prediction from relevant features. Predict+Optimize is a recent framework for end-to-end training supervised learning models for such predictions, incorporating information about the optimization problem in the training process in order to yield better predictions in terms of the quality of the predicted solution under the true parameters. Almost all prior works have focused on the special case where the unknowns appear only in the optimization objective and not the constraints. Hu et al.~proposed the first adaptation of Predict+Optimize to handle unknowns appearing in constraints, but the framework has somewhat ad-hoc elements, and they provided a training algorithm only for covering and packing linear programs. In this work, we give a new \emph{simpler} and \emph{more powerful} framework called \emph{Two-Stage Predict+Optimize}, which we believe should be the canonical framework for the Predict+Optimize setting. We also give a training algorithm usable for all mixed integer linear programs, vastly generalizing the applicability of the framework. Experimental results demonstrate the superior prediction performance of our training framework over all classical and state-of-the-art methods.


title: On naturally labelled posets and permutations avoiding 12-34

abstract: A partial order $\prec$ on $[n]$ is naturally labelled (NL) if $x\prec y$ implies $x<y$. We establish a bijection between {3, 2+2}-free NL posets and 12-34-avoiding permutations, determine functional equations satisfied by their generating function, and use series analysis to investigate their asymptotic growth. We also exhibit bijections between 3-free NL posets and various other objects, and determine their generating function. The connection between our results and a hierarchy of combinatorial objects related to interval orders is described.


title: MD-IQA: Learning Multi-scale Distributed Image Quality Assessment with Semi Supervised Learning for Low Dose CT

abstract: Image quality assessment (IQA) plays a critical role in optimizing radiation dose and developing novel medical imaging techniques in computed tomography (CT). Traditional IQA methods relying on hand-crafted features have limitations in summarizing the subjective perceptual experience of image quality. Recent deep learning-based approaches have demonstrated strong modeling capabilities and potential for medical IQA, but challenges remain regarding model generalization and perceptual accuracy. In this work, we propose a multi-scale distributions regression approach to predict quality scores by constraining the output distribution, thereby improving model generalization. Furthermore, we design a dual-branch alignment network to enhance feature extraction capabilities. Additionally, semi-supervised learning is introduced by utilizing pseudo-labels for unlabeled data to guide model training. Extensive qualitative experiments demonstrate the effectiveness of our proposed method for advancing the state-of-the-art in deep learning-based medical IQA. Code is available at: https://github.com/zunzhumu/MD-IQA.


title: Relaxation dynamics in the alternating XY chain following a quantum quench

abstract: We investigate the relaxation dynamics of the fermion two-point correlation function $C_{mn}(t)=\langle\psi(t)|c_{m}^{\dag}c_{n}|\psi(t)\rangle$ in the XY chain with staggered nearest-neighbor hopping interaction after a quench. We find that the deviation $\delta C_{mn}(t)=C_{mn}(t)-C_{mn}(\infty)$ decays with time following the power law behavior $t^{-\mu}$, where the exponent $\mu$ depends on whether the quench is to the commensurate phase ($\mu=1$) and incommensurate phase ($\mu=\frac{1}{2}$). This decay of $\delta C_{mn}(t)$ arises from the transient behavior of the double excited quasiparticle occupations and the transitions between different excitation spectra. Furthermore, we find that the steady value $C_{mn}(\infty)$, which is different from the ground state expectation value, only involves the average fermion occupation numbers (i.e. the average excited single particle). We also observe nonanalytic singularities in the steady value $C_{mn}(\infty)$ for the quench to the critical points of the quantum phase transitions (QPTs), suggesting its potential use as a signature of QPTs.


title: Magnetic fields of the starless core L 1512

abstract: We present JCMT POL-2 850 um dust polarization observations and Mimir H band stellar polarization observations toward the starless core L1512. We detect the highly-ordered core-scale magnetic field traced by the POL-2 data, of which the field orientation is consistent with the parsec-scale magnetic fields traced by Planck data, suggesting the large-scale fields thread from the low-density region to the dense core region in this cloud. The surrounding magnetic field traced by the Mimir data shows a wider variation in the field orientation, suggesting there could be a transition of magnetic field morphology at the envelope scale. L1512 was suggested to be presumably older than 1.4 Myr in a previous study via time-dependent chemical analysis, hinting that the magnetic field could be strong enough to slow the collapse of L1512. In this study, we use the Davis-Chandrasekhar-Fermi method to derive a plane-of-sky magnetic field strength ($B_{pos}$) of 18$\pm$7 uG and an observed mass-to-flux ratio ($\lambda_{obs}$) of 3.5$\pm$2.4, suggesting that L1512 is magnetically supercritical. However, the absence of significant infall motion and the presence of an oscillating envelope are inconsistent with the magnetically supercritical condition. Using a Virial analysis, we suggest the presence of a hitherto hidden line-of-sight magnetic field strength of ~27 uG with a mass-to-flux ratio ($\lambda_{tot}$) of ~1.6, in which case both magnetic and kinetic pressures are important in supporting the L1512 core. On the other hand, L1512 may have just reached supercriticality and will collapse at any time.


title: A practical key-recovery attack on LWE-based key-encapsulation mechanism schemes using Rowhammer

abstract: Physical attacks are serious threats to cryptosystems deployed in the real world. In this work, we propose a microarchitectural end-to-end attack methodology on generic lattice-based post-quantum key encapsulation mechanisms to recover the long-term secret key. Our attack targets a critical component of a Fujisaki-Okamoto transform that is used in the construction of almost all lattice-based key encapsulation mechanisms. We demonstrate our attack model on practical schemes such as Kyber and Saber by using Rowhammer. We show that our attack is highly practical and imposes little preconditions on the attacker to succeed. As an additional contribution, we propose an improved version of the plaintext checking oracle, which is used by almost all physical attack strategies on lattice-based key-encapsulation mechanisms. Our improvement reduces the number of queries to the plaintext checking oracle by as much as $39\%$ for Saber and approximately $23\%$ for Kyber768. This can be of independent interest and can also be used to reduce the complexity of other attacks.


title: Spin-phonon coupling suppressing the structural transition in perovskite-like oxide

abstract: Multifunctional properties in quantum systems require the interaction between different degrees of freedom. As such, spin-phonon coupling emerges as an ideal mechanism to tune multiferroicity, magnetism, and magnetoelectric response. In this letter, we demonstrate and explain, based on theoretical and experimental analyses, an unusual manifestation of spin-phonon coupling, i.e., prevention of a ferroelastic structural transition, and locking of high-temperature R-3m phase in a magnetically frustrated perovskite-like oxide Ba2NiTeO6. We present Ba2NiTeO6 as a prototype example among its family where long-range antiferromagnetic structure couples with a low-frequency Eg mode (at 55 cm-1) that exhibits a large anharmonicity. Our findings establish that spin-phonon coupling clearly suppresses the phonon anharmonicity preventing the structural phase transition from the R-3m to the C2/m phase in Ba2NiTeO6.


title: Unified Quantification of Quantum Defects in Small-Diameter Single-Walled Carbon Nanotubes by Raman Spectroscopy

abstract: The covalent functionalization of single-walled carbon nanotubes (SWCNTs) with luminescent quantum defects enables their application as near-infrared single-photon sources, as optical sensors, and for in-vivo tissue imaging. Tuning the emission wavelength and defect density are crucial for these applications. While the former can be controlled by different synthetic protocols and is easily measured, defect densities are still determined as relative rather than absolute values, limiting the comparability between different nanotube batches and chiralities. Here, we present an absolute and unified quantification metric for the defect density in SWCNT samples based on Raman spectroscopy. It is applicable to a range of small-diameter nanotubes and for arbitrary laser wavelengths. We observe a clear inverse correlation of the D/G$^{+}$ ratio increase with nanotube diameter, indicating that curvature effects contribute significantly to the defect-activation of Raman modes. Correlation of intermediate frequency modes with defect densities further corroborates their activation by defects and provides additional quantitative metrics for the characterization of functionalized SWCNTs.


title: Transition-State Theory Revisited

abstract: Two quantum systems, each described as a random-matrix ensemble. are coupled to each other via a number of transition states. Each system is strongly coupled to a large number of channels. The average transmission probability is the product of three factors describing, respectively, formation of the first system from the entrance channel, decay of the second system through the exit channel, and transport through the transition states. Each of the transition states contributes a Breit-Wigner resonance. In general, the resonances overlap.


title: Constraints on metric-affine gravity black holes from the stellar motion at the Galactic Center

abstract: We consider a static, spherically symmetric space-time with an electric field arising from a quadratic metric-affine extension of General Relativity. Such a space-time is free of singularities in the centre of the black holes, while at large distances it quickly boils down to the usual Reissner-Nordstr\"om solution. We probe this space-time metric, which is uniquely characterized by two length scales, $r_q$ and $\ell$, using the astrometric and spectroscopic measurements of the orbital motion of the S2 star around the Galactic Center. Our analysis constrains $r_q$ to be below $2.7M$ for values $\ell<120 AU$, strongly favouring a central object that resembles a Schwarzschild black hole.


title: ELF: An End-to-end Local and Global Multimodal Fusion Framework for Glaucoma Grading

abstract: Glaucoma is a chronic neurodegenerative condition that can lead to blindness. Early detection and curing are very important in stopping the disease from getting worse for glaucoma patients. The 2D fundus images and optical coherence tomography(OCT) are useful for ophthalmologists in diagnosing glaucoma. There are many methods based on the fundus images or 3D OCT volumes; however, the mining for multi-modality, including both fundus images and data, is less studied. In this work, we propose an end-to-end local and global multi-modal fusion framework for glaucoma grading, named ELF for short. ELF can fully utilize the complementary information between fundus and OCT. In addition, unlike previous methods that concatenate the multi-modal features together, which lack exploring the mutual information between different modalities, ELF can take advantage of local-wise and global-wise mutual information. The extensive experiment conducted on the multi-modal glaucoma grading GAMMA dataset can prove the effiectness of ELF when compared with other state-of-the-art methods.


title: Eccentricity-induced systematic error on parametrized tests of general relativity: Hierarchical Bayesian inference applied to a binary black hole population

abstract: One approach to testing general relativity (GR) introduces free parameters in the post-Newtonian (PN) expansion of the gravitational-wave (GW) phase. If systematic errors on these testing GR (TGR) parameters exceed the statistical errors, this may signal a false violation of GR. Here, we consider systematic errors produced by unmodeled binary eccentricity. Since the eccentricity of GW events in ground-based detectors is expected to be small or negligible, the use of quasicircular waveform models for testing GR may be safe when analyzing a small number of events. However, as the catalog size of GW detections increases, more stringent bounds on GR deviations can be placed by combining information from multiple events. In that case, even small systematic biases may become significant. We apply the approach of hierarchical Bayesian inference to model the posterior probability distributions of the TGR parameters inferred from a population of eccentric binary black holes (BBHs). We assume each TGR parameter value varies across the BBH population according to a Gaussian distribution. We compute the posterior distributions for these Gaussian hyperparameters. This is done for LIGO and Cosmic Explorer (CE). We find that systematic biases from unmodeled eccentricity can signal false GR violations for both detectors when considering constraints set by a catalog of events. We also compute the projected bounds on the $10$ TGR parameters when eccentricity is included as a parameter in the waveform model. We find that the first four dimensionless TGR deformation parameters can be bounded at $90\%$ confidence to $\delta \hat{\varphi}_i \lesssim 10^{-2}$ for LIGO and $\lesssim 10^{-3}$ for CE [where $i=(0,1,2,3)$]. In comparison to the circular orbit case, the combined bounds on the TGR parameters worsen by a modest factor of $\lesssim 2$ when eccentricity is included in the waveform.


title: Keplerian disks and outflows in binary post-AGB stars

abstract: There is a class of binary post-AGB stars that are surrounded by Keplerian disks and that often present outflows resulting from gas escaping from the disk. We present maps and complex models of 12CO and 13CO J=2-1 emission lines for four objects: AC Herculis, 89 Herculis, IRAS 19125+0343, and R Scuti. Our maps and models allow us to study their morphology, kinematics, and mass distribution. Our maps and modeling of AC Her reveal that 95% of the total nebular mass is located in the disk. So this source is a disk-dominated source (like the Red Rectangle, IW Carinae, IRAS 08544-4431). On the contrary, our maps and modeling of 89 Herculis, IRAS 19125+0343, and R Scuti suggest that the outflow is the dominant component of the nebula, resulting in a new subclass nebulae around binary post-AGB stars: the outflow-dominated ones. Besides CO, the molecular content of this kind of sources was barely known. We also present the first and very deep single-dish radio molecular survey in the 1.3, 2, 3, 7, and 13 mm bands. Our results allow us to classify our sources as O- or C-rich. We also conclude that these sources present in general a low molecular richness, especially those that are disk-dominated, compared to circumstellar envelopes around AGB stars and other post-AGB stars. This thesis presents a comprehensive study at millimetre wavelengths. On the one hand, we perform a detailed kinetic study of these objects through NOEMA interferometric observations and complex models. On the other hand, we study the chemistry of these sources, thanks to our sensitive single-dish observations. The union of these different methods yields a comprehensive study of the molecular gas present in these sources. Hopefully, this Ph.D. thesis will become a reference for future studies of molecular gas in nebulae around binary post-AGB stars.


title: Data-driven building energy efficiency prediction using physics-informed neural networks

abstract: The analytical prediction of building energy performance in residential buildings based on the heat losses of its individual envelope components is a challenging task. It is worth noting that this field is still in its infancy, with relatively limited research conducted in this specific area to date, especially when it comes for data-driven approaches. In this paper we introduce a novel physics-informed neural network model for addressing this problem. Through the employment of unexposed datasets that encompass general building information, audited characteristics, and heating energy consumption, we feed the deep learning model with general building information, while the model's output consists of the structural components and several thermal properties that are in fact the basic elements of an energy performance certificate (EPC). On top of this neural network, a function, based on physics equations, calculates the energy consumption of the building based on heat losses and enhances the loss function of the deep learning model. This methodology is tested on a real case study for 256 buildings located in Riga, Latvia. Our investigation comes up with promising results in terms of prediction accuracy, paving the way for automated, and data-driven energy efficiency performance prediction based on basic properties of the building, contrary to exhaustive energy efficiency audits led by humans, which are the current status quo.


title: Time-efficient combined morphologic and quantitative joint MRI based on clinical image contrasts -- An exploratory in-situ study of standardized cartilage defects

abstract: OBJECTIVES: Quantitative MRI techniques such as T2 and T1$\rho$ mapping are beneficial in evaluating cartilage and meniscus. We aimed to evaluate the MIXTURE (Multi-Interleaved X-prepared Turbo-Spin Echo with IntUitive RElaxometry) sequences that provide morphologic images with clinical turbo spin-echo (TSE) contrasts and additional parameter maps versus reference TSE sequences in an in-situ model of human cartilage defects. MATERIALS AND METHODS: Prospectively, standardized cartilage defects of 8mm, 5mm, and 3mm diameter were created in the lateral femora of 10 human cadaveric knee specimens (81$\pm$10 years, nine male/one female). Using a clinical 3T MRI scanner and knee coil, MIXTURE sequences combining (i) proton-density weighted fat-saturated (PD-w FS) images and T2 maps and (ii) T1-weighted images and T1$\rho$ maps were acquired before and after defect creation, alongside the corresponding 2D TSE and 3D TSE reference sequences. Defect delineability, bone texture, and cartilage relaxation times were quantified. Inter-sequence comparisons were made using appropriate parametric and non-parametric tests. RESULTS: Overall, defect delineability and texture features were not significantly different between the MIXTURE and reference sequences. After defect creation, relaxation times increased significantly in the central femur (for T2) and all regions combined (for T1$\rho$). CONCLUSION: MIXTURE sequences permit time-efficient simultaneous morphologic and quantitative joint assessment based on clinical image contrasts. While providing T2 or T1$\rho$ maps in clinically feasible scan time, morphologic image features, i.e., cartilage defect delineability and bone texture, were comparable between MIXTURE and corresponding reference sequences.


title: Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization

abstract: This article studies a combination of the two state-of-the-art algorithms for the exact solution of linear programs (LPs) over the rational numbers, i.e., without any roundoff errors or numerical tolerances. By integrating the method of precision boosting inside an LP iterative refinement loop, the combined algorithm is able to leverage the strengths of both methods: the speed of LP iterative refinement, in particular in the majority of cases when a double-precision floating-point solver is able to compute approximate solutions with small errors, and the robustness of precision boosting whenever extended levels of precision become necessary. We compare the practical performance of the resulting algorithm with both puremethods on a large set of LPs and mixed-integer programs (MIPs). The results show that the combined algorithm solves more instances than a pure LP iterative refinement approach, while being faster than pure precision boosting. When embedded in an exact branch-and-cut framework for MIPs, the combined algorithm is able to reduce the number of failed calls to the exact LP solver to zero, while maintaining the speed of the pure LP iterative refinement approach.


title: Linking QKD testbeds across Europe

abstract: Quantum-key-distribution (QKD) networks are gaining importance and it has become necessary to analyze the most appropriate methods for their long-distance interconnection. In this paper, four different methods of interconnecting remote QKD networks are proposed. The methods are used to link three different QKD testbeds in Europe, located in Berlin, Madrid, and Poznan. Although long-distance QKD links are only emulated, the used methods can serve as a blueprint for a secure interconnection of distant QKD networks in the future. Specifically, the presented approaches combine, in a transparent way, different fiber and satellite physical media, as well as common standards of key-delivery interfaces. The testbed interconnections are designed to increase the security by utilizing multipath techniques and multiple hybridizations of QKD and post quantum cryptography (PQC) algorithms.


title: The statistical signal for Milgrom's critical acceleration boundary being an objective characteristic of the optical disk

abstract: The various successes of Milgrom's MOND have led to suggestions that its critical acceleration parameter $a_0 \approx 1.2\times 10^{-10}\,mtrs/sec^2$ is a fundamental physical constant in the same category as the gravitational constant (for example), and therefore requiring no further explanation. There is no independent evidence supporting this conjecture. Motivated by empirical indications of self-similarities on the exterior part of the optical disk (the optical annulus), we describe a statistical analysis of four large samples of optical rotation curves and find that quantitative indicators of self-similar dynamics on the optical annulus are irreducibly present in each of the samples. These symmetries lead to the unambiguous identification of a characteristic point, $(R_c,V_c)$, on each annular rotation curve where $R_c \approx f(M,S)$ and $V_c \approx g(M)$ for absolute magnitude $M$ and surface brightness $S$. This opens the door to an investigation of the behaviour of the associated characteristic acceleration $a_c \equiv V_c^2/R_c$ across each sample. The first observation is that since $a_c \approx g^2(M)/f(M,S)$, then $a_c$ is a constant within any given disk, but varies between disks. Calculation then shows that $a_c$ varies in the approximate range $(1.2\pm0.5)\times 10^{-10}\,mtrs/sec^2$ for each sample. It follows that Milgrom's $a_0$ is effectively identical to $a_c$, and his critical acceleration boundary is actually the characteristic boundary, $R=R_c$, on any given disk. Since $a_c$ varies between galaxies, then so must $a_0$ also. In summary,Milgrom's critical acceleration boundary is an objective characteristic of the optical disk and $a_0$ cannot be a fundamental physical constant.


title: On the Masking-Friendly Designs for Post-Quantum Cryptography

abstract: Masking is a well-known and provably secure countermeasure against side-channel attacks. However, due to additional redundant computations, integrating masking schemes is expensive in terms of performance. The performance overhead of integrating masking countermeasures is heavily influenced by the design choices of a cryptographic algorithm and is often not considered during the design phase. In this work, we deliberate on the effect of design choices on integrating masking techniques into lattice-based cryptography. We select Scabbard, a suite of three lattice-based post-quantum key-encapsulation mechanisms (KEM), namely Florete, Espada, and Sable. We provide arbitrary-order masked implementations of all the constituent KEMs of the Scabbard suite by exploiting their specific design elements. We show that the masked implementations of Florete, Espada, and Sable outperform the masked implementations of Kyber in terms of speed for any order masking. Masked Florete exhibits a $73\%$, $71\%$, and $70\%$ performance improvement over masked Kyber corresponding to the first-, second-, and third-order. Similarly, Espada exhibits $56\%$, $59\%$, and $60\%$ and Sable exhibits $75\%$, $74\%$, and $73\%$ enhanced performance for first-, second-, and third-order masking compared to Kyber respectively. Our results show that the design decisions have a significant impact on the efficiency of integrating masking countermeasures into lattice-based cryptography.


title: ColorFloat: Constant space token coloring

abstract: We present ColorFloat, a family of O(1) space complexity algorithms that solve the problem of attributing (coloring) fungible tokens to the entity that minted them (minter). Tagging fungible tokens with metadata is not a new problem and was first formalized in the Colored Coins protocol. In certain contexts, practical solutions to this challenge have been implemented and deployed such as NFT. We define the fungible token coloring problem, one specific aspect of the Colored Coins problem, to be the problem of retaining fungible characteristics of the underlying token while accurately tracking the attribution of fungible tokens to their respective minters. Fungible token coloring has a wide range of Web3 applications. One application which we highlight in this paper is the onchain yield-sharing collateral-based stablecoin.


title: Quantum Algorithms for Graph Coloring and other Partitioning, Covering, and Packing Problems

abstract: Let U be a universe on n elements, let k be a positive integer, and let F be a family of (implicitly defined) subsets of U. We consider the problems of partitioning U into k sets from F, covering U with k sets from F, and packing k non-intersecting sets from F into U. Classically, these problems can be solved via inclusion-exclusion in O*(2^n) time [BjorklundHK09]. Quantumly, there are faster algorithms for graph coloring with running time O(1.9140^n) [ShimizuM22] and for Set Cover with a small number of sets with running time O(1.7274^n |F|^O(1)) [AmbainisBIKPV19]. In this paper, we give a quantum speedup for Set Partition, Set Cover, and Set Packing whenever there is a classical enumeration algorithm that lends itself to a quadratic quantum speedup, which, for any subinstance on a subset X of U, enumerates at least one member of a k-partition, k-cover, or k-packing (if one exists) restricted to (or projected onto, in the case of k-cover) the set X in O*(c^{|X|}) time with c<2. Our bounded-error quantum algorithm runs in O*((2+c)^(n/2)) for Set Partition, Set Cover, and Set Packing. When c<=1.147899, our algorithm is slightly faster than O*((2+c)^(n/2)); when c approaches 1, it matches the running time of [AmbainisBIKPV19] for Set Cover when |F| is subexponential in n. For Graph Coloring, we further improve the running time to O(1.7956^n) by leveraging faster algorithms for coloring with a small number of colors to better balance our divide-and-conquer steps. For Domatic Number, we obtain a O((2-\epsilon)^n) running time for some \epsilon>0.


title: Contrastive Learning for Multi-Object Tracking with Transformers

abstract: The DEtection TRansformer (DETR) opened new possibilities for object detection by modeling it as a translation task: converting image features into object-level representations. Previous works typically add expensive modules to DETR to perform Multi-Object Tracking (MOT), resulting in more complicated architectures. We instead show how DETR can be turned into a MOT model by employing an instance-level contrastive loss, a revised sampling strategy and a lightweight assignment method. Our training scheme learns object appearances while preserving detection capabilities and with little overhead. Its performance surpasses the previous state-of-the-art by +2.6 mMOTA on the challenging BDD100K dataset and is comparable to existing transformer-based methods on the MOT17 dataset.


title: Pre-weight structures, pseudo-identities and canonical derived equivalences

abstract: We introduce the notion of pre-weight structure on a triangulated category and study the corresponding pseudo-identities. We propose the notion of canonical derived equivalence between algebras that are not necessarily flat, which is associated to a tilting complex. In the flat situation, canonical derived equivalences coincide with standard derived equivalences in the sense of Rickard. We prove that any derived equivalence starting from a hereditary algebra is canonical. The key tool is a general factorization theorem: any derived equivalence is uniquely factorized as a pseudo-identity followed by a canonical derived equivalence.


title: Adversarial Preference Optimization: Enhancing Your Alignment via RM-LLM Game

abstract: Human preference alignment is essential to improve the interaction quality of large language models (LLMs). Existing alignment methods depend on manually annotated preference data to guide the LLM optimization directions. However, continuously updating LLMs for alignment raises a distribution gap between model-generated samples and human-annotated responses, hindering training effectiveness. To mitigate this issue, previous methods require additional preference annotation on newly generated samples to adapt to the shifted distribution, which consumes a large amount of annotation resources. Targeting more efficient human preference optimization, we propose an Adversarial Preference Optimization (APO) framework, in which the LLM and the reward model update alternatively via a min-max game. Through adversarial training, the reward model can adapt to the shifted generation distribution of the LLM without any additional annotation. With comprehensive experiments, we find the proposed adversarial training framework further enhances existing alignment baselines in terms of LLM helpfulness and harmlessness. The code is at https://github.com/Linear95/APO.


title: Chat-UniVi: Unified Visual Representation Empowers Large Language Models with Image and Video Understanding

abstract: Large language models have demonstrated impressive universal capabilities across a wide range of open-ended tasks and have extended their utility to encompass multimodal conversations. However, existing methods encounter challenges in effectively handling both image and video understanding, particularly with limited visual tokens. In this work, we introduce Chat-UniVi, a Unified Vision-language model capable of comprehending and engaging in conversations involving images and videos through a unified visual representation. Specifically, we employ a set of dynamic visual tokens to uniformly represent images and videos. This representation framework empowers the model to efficiently utilize a limited number of visual tokens to simultaneously capture the spatial details necessary for images and the comprehensive temporal relationship required for videos. Moreover, we leverage a multi-scale representation, enabling the model to perceive both high-level semantic concepts and low-level visual details. Notably, Chat-UniVi is trained on a mixed dataset containing both images and videos, allowing direct application to tasks involving both mediums without requiring any modifications. Extensive experimental results demonstrate that Chat-UniVi consistently outperforms even existing methods exclusively designed for either images or videos. Code is available at https://github.com/PKU-YuanGroup/Chat-UniVi.


title: Constraining Baryonic Physics with DES Y1 and Planck data -- Combining Galaxy Clustering, Weak Lensing, and CMB Lensing

abstract: We constrain cosmology and baryonic feedback scenarios with a joint analysis of weak lensing, galaxy clustering, cosmic microwave background (CMB) lensing, and their cross-correlations (so-called 6$\times$2) using data from the Dark Energy Survey (DES) Y1 and the Planck satellite mission. Noteworthy features of our 6$\times$2 pipeline are: We extend CMB lensing cross-correlation measurements to a band surrounding the DES Y1 footprint (a $\sim 25\%$ gain in pairs), and we develop analytic covariance capabilities that account for different footprints and all cross-terms in the 6$\times$2 analysis. We also measure the DES Y1 cosmic shear two-point correlation function (2PCF) down to $0.^\prime 25$, but find that going below $2.^\prime 5$ does not increase cosmological information due to shape noise. We model baryonic physics uncertainties via the amplitude of Principal Components (PCs) derived from a set of hydro-simulations. Given our statistical uncertainties, varying the first PC amplitude $Q_1$ is sufficient to model small-scale cosmic shear 2PCF. For DES Y1+Planck 6$\times$2 we find $S_8=0.799\pm0.016$, comparable to the 5$\times$2 result of DES Y3+SPT/Planck $S_8=0.773\pm0.016$. Combined with our most informative cosmology priors -- baryon acoustic oscillation (BAO), big bang nucleosynthesis (BBN), type Ia supernovae (SNe Ia), and Planck 2018 EE+lowE, we measure $S_8=0.817\pm 0.011$. Regarding baryonic physics constraints, our 6$\times$2 analysis finds $Q_1=2.8\pm1.8$. Combined with the aforementioned priors, it improves the constraint to $Q_1=3.5\pm1.3$. For comparison, the strongest feedback scenario considered in this paper, the cosmo-OWLS AGN ($\Delta T_\mathrm{heat}=10^{8.7}$ K), corresponds to $Q_1=5.84$.


title: Analyze business context data in developing economies using quantum computing

abstract: Quantum computing is an advancing area of computing sciences and provides a new base of development for many futuristic technologies discussions on how it can help developing economies will further help developed economies in technology transfer and economic development initiatives related to Research and development within developing countries thus providing a new means of foreign direct investment(FDI) and business innovation for the majority of the globe that lacks infrastructure economic resources required for growth in the technology landscape and cyberinfrastructure for growth in computing applications. Discussion of which areas of support quantum computing can help will further assist developing economies in implementing it for growth opportunities for local systems and businesses.


title: Towards Reliable AI: Adequacy Metrics for Ensuring the Quality of System-level Testing of Autonomous Vehicles

abstract: AI-powered systems have gained widespread popularity in various domains, including Autonomous Vehicles (AVs). However, ensuring their reliability and safety is challenging due to their complex nature. Conventional test adequacy metrics, designed to evaluate the effectiveness of traditional software testing, are often insufficient or impractical for these systems. White-box metrics, which are specifically designed for these systems, leverage neuron coverage information. These coverage metrics necessitate access to the underlying AI model and training data, which may not always be available. Furthermore, the existing adequacy metrics exhibit weak correlations with the ability to detect faults in the generated test suite, creating a gap that we aim to bridge in this study. In this paper, we introduce a set of black-box test adequacy metrics called "Test suite Instance Space Adequacy" (TISA) metrics, which can be used to gauge the effectiveness of a test suite. The TISA metrics offer a way to assess both the diversity and coverage of the test suite and the range of bugs detected during testing. Additionally, we introduce a framework that permits testers to visualise the diversity and coverage of the test suite in a two-dimensional space, facilitating the identification of areas that require improvement. We evaluate the efficacy of the TISA metrics by examining their correlation with the number of bugs detected in system-level simulation testing of AVs. A strong correlation, coupled with the short computation time, indicates their effectiveness and efficiency in estimating the adequacy of testing AVs.


title: INLA+ -- Approximate Bayesian inference for non-sparse models using HPC

abstract: The integrated nested Laplace approximations (INLA) method has become a widely utilized tool for researchers and practitioners seeking to perform approximate Bayesian inference across various fields of application. To address the growing demand for incorporating more complex models and enhancing the method's capabilities, this paper introduces a novel framework that leverages dense matrices for performing approximate Bayesian inference based on INLA across multiple computing nodes using HPC. When dealing with non-sparse precision or covariance matrices, this new approach scales better compared to the current INLA method, capitalizing on the computational power offered by multiprocessors in shared and distributed memory architectures available in contemporary computing resources and specialized dense matrix algebra. To validate the efficacy of this approach, we conduct a simulation study then apply it to analyze cancer mortality data in Spain, employing a three-way spatio-temporal interaction model.


title: Proper morphisms of $\infty$-topoi

abstract: We characterise proper morphisms of $\infty$-topoi in terms of a relativised notion of compactness: we show that a geometric morphism of $\infty$-topoi is proper if and only if it commutes with colimits indexed by filtered internal $\infty$-categories in the target. In particular, our result implies that for any $\infty$-topos, the global sections functor is proper if and only if it preserves filtered colimits. As an application, we show that every proper and separated map of topological spaces gives rise to a proper morphism between the associated sheaf $\infty$-topoi, generalising a result of Lurie. Along the way, we develop some aspects of the theory of localic higher topoi internal to an $\infty$-topos, which might be of independent interest.


title: Deformations with cohomology constraints: a review

abstract: Deformation problems with cohomology constraints over a field of characteristic zero are controlled by L-infinity pairs. In this largely expository article we review this theory and focus on recent applications.


title: Batch Selection and Communication for Active Learning with Edge Labeling

abstract: Conventional retransmission (ARQ) protocols are designed with the goal of ensuring the correct reception of all the individual transmitter's packets at the receiver. When the transmitter is a learner communicating with a teacher, this goal is at odds with the actual aim of the learner, which is that of eliciting the most relevant label information from the teacher. Taking an active learning perspective, this paper addresses the following key protocol design questions: (i) Active batch selection: Which batch of inputs should be sent to the teacher to acquire the most useful information and thus reduce the number of required communication rounds? (ii) Batch encoding: Can batches of data points be combined to reduce the communication resources required at each communication round? Specifically, this work introduces Communication-Constrained Bayesian Active Knowledge Distillation (CC-BAKD), a novel protocol that integrates Bayesian active learning with compression via a linear mix-up mechanism. Comparisons with existing active learning protocols demonstrate the advantages of the proposed approach.


title: 15NH3 in the atmosphere of a cool brown dwarf

abstract: Brown dwarfs serve as ideal laboratories for studying the atmospheres of giant exoplanets on wide orbits as the governing physical and chemical processes in them are nearly identical. Understanding the formation of gas giant planets is challenging, often involving the endeavour to link atmospheric abundance ratios, such as the carbon-to-oxygen (C/O) ratio, to formation scenarios. However, the complexity of planet formation requires additional tracers, as the unambiguous interpretation of the measured C/O ratio is fraught with complexity. Isotope ratios, such as deuterium-to-hydrogen and 14N/15N, offer a promising avenue to gain further insight into this formation process, mirroring their utility within the solar system. For exoplanets only a handful of constraints on 12C/13C exist, pointing to the accretion of 13C-rich ice from beyond the disks' CO iceline. Here we report on the mid-infrared detection of the 14NH3 and 15NH3 isotopologues in the atmosphere of a cool brown dwarf with an effective temperature of 380 K in a spectrum taken with the Mid-InfraRed Instrument of the James Webb Space Telescope. As expected, our results reveal a 14N/15N value consistent with star-like formation by gravitational collapse, demonstrating that this ratio can be accurately constrained. Since young stars and their planets should be more strongly enriched in the 15N isotope, we expect that 15NH3 will be detectable in a number of cold, wide-separation exoplanets.


title: Revisit of magnetic orders in 1/1 approximant crystals of Tsai-type quasicrystal from theoretical points of view

abstract: The various magnetic orders observed in approximant crystals of Tsai-type quasicrystal are important for deepening our understanding of mysterious magnetism in quasicrystals. Using an icosahedral cluster model with inter-cluster interactions, we give an intuitive explanation of the mechanism of magnetic orders previously reported by classical Monte-Carlo simulations for an approximant-crystal model describing a Gd-based Tsai-type 1/1 approximant crystal.


title: Emerging topological characterization in non-equilibrium states of quenched Kitaev chains

abstract: Topological characteristics in quantum systems typically determine the ground state, while the corresponding quantum phase transition (QPT) can be identified through quenching dynamics. Based on the exact results of extended Kitaev chains, we demonstrate that the system dynamics can be comprehended through the precession of an ensemble of free-pseudo spins under a magnetic field. The topology of the driven Hamiltonian is determined by the average winding number of the non-equilibrium state. Furthermore, we establish that the singularity of the dynamical quantum phase transition (DQPT) arises from two perpendicular pseudo-spin vectors associated with the preand post-quenched Hamiltonians. Moreover, we investigate the distinct behaviors of the dynamic pairing order parameter in both topological and non-topological regions. These findings offer valuable insights into the non-equilibrium behavior of topological superconductors, contributing to the understanding of the resilience of topological properties in driven quantum systems.


title: Data and models for stance and premise detection in COVID-19 tweets: insights from the Social Media Mining for Health (SMM4H) 2022 shared task

abstract: The COVID-19 pandemic has sparked numerous discussions on social media platforms, with users sharing their views on topics such as mask-wearing and vaccination. To facilitate the evaluation of neural models for stance detection and premise classification, we organized the Social Media Mining for Health (SMM4H) 2022 Shared Task 2. This competition utilized manually annotated posts on three COVID-19-related topics: school closures, stay-at-home orders, and wearing masks. In this paper, we extend the previous work and present newly collected data on vaccination from Twitter to assess the performance of models on a different topic. To enhance the accuracy and effectiveness of our evaluation, we employed various strategies to aggregate tweet texts with claims, including models with feature-level (early) fusion and dual-view architectures from SMM4H 2022 leaderboard. Our primary objective was to create a valuable dataset and perform an extensive experimental evaluation to support future research in argument mining in the health domain.


title: On the closability of differential operators

abstract: We discuss the closability of directional derivative operators with respect to a general Radon measure $\mu$ on $\mathbb{R}^d$; our main theorem completely characterizes the vectorfields for which the corresponding operator is closable from the space of Lipschitz functions ${\mathrm{Lip}}(\mathbb{R^d})$ to $L^p(\mu)$, for $1\leq p\leq\infty$. We also consider certain classes of multilinear differential operators. We then discuss the closability of the same operators from $L^q(\mu)$ to $L^p(\mu)$; we give necessary conditions and sufficient conditions for closability, but we do not have an exact characterization. As a corollary we obtain that classical differential operators such as gradient, divergence and jacobian determinant are closable from $L^q(\mu)$ to $L^p(\mu)$ only if $\mu$ is absolutely continuous with respect to the Lebesgue measure. Lastly, we rephrase our results on multilinear operators in terms of metric currents.


title: FS-Net: Full Scale Network and Adaptive Threshold for Improving Extraction of Micro-Retinal Vessel Structures

abstract: Retinal vascular segmentation, is a widely researched subject in biomedical image processing, aims to relieve ophthalmologists' workload when treating and detecting retinal disorders. However, segmenting retinal vessels has its own set of challenges, with prior techniques failing to generate adequate results when segmenting branches and microvascular structures. The neural network approaches used recently are characterized by the inability to keep local and global properties together and the failure to capture tiny end vessels make it challenging to attain the desired result. To reduce this retinal vessel segmentation problem, we propose a full-scale micro-vessel extraction mechanism based on an encoder-decoder neural network architecture, sigmoid smoothing, and an adaptive threshold method. The network consists of of residual, encoder booster, bottleneck enhancement, squeeze, and excitation building blocks. All of these blocks together help to improve the feature extraction and prediction of the segmentation map. The proposed solution has been evaluated using the DRIVE, CHASE-DB1, and STARE datasets, and competitive results are obtained when compared with previous studies. The AUC and accuracy on the DRIVE dataset are 0.9884 and 0.9702, respectively. On the CHASE-DB1 dataset, the scores are 0.9903 and 0.9755, respectively. On the STARE dataset, the scores are 0.9916 and 0.9750, respectively. The performance achieved is one step ahead of what has been done in previous studies, and this results in a higher chance of having this solution in real-life diagnostic centers that seek ophthalmologists attention.


title: All Byzantine Agreement Problems are Expensive

abstract: Byzantine agreement, arguably the most fundamental problem in distributed computing, operates among n processes, out of which t < n can exhibit arbitrary failures. The problem states that all correct (non-faulty) processes must eventually decide (termination) the same value (agreement) from a set of admissible values defined by the proposals of the processes (validity). Depending on the exact version of the validity property, Byzantine agreement comes in different forms, from Byzantine broadcast to strong and weak consensus, to modern variants of the problem introduced in today's blockchain systems. Regardless of the specific flavor of the agreement problem, its communication cost is a fundamental metric whose improvement has been the focus of decades of research. The Dolev-Reischuk bound, one of the most celebrated results in distributed computing, proved 40 years ago that, at least for Byzantine broadcast, no deterministic solution can do better than Omega(t^2) exchanged messages in the worst case. Since then, it remained unknown whether the quadratic lower bound extends to seemingly weaker variants of Byzantine agreement. This paper answers the question in the affirmative, closing this long-standing open problem. Namely, we prove that any non-trivial agreement problem requires Omega(t^2) messages to be exchanged in the worst case. To prove the general lower bound, we determine the weakest Byzantine agreement problem and show, via a novel indistinguishability argument, that it incurs Omega(t^2) exchanged messages.


title: Copula-based extropy measures, properties and dependence in bivariate distributions

abstract: In this work, we propose extropy measures based on density copula, distributional copula, and survival copula, and explore their properties. We study the effect of monotone transformations for the proposed measures and obtain bounds. We establish connections between cumulative copula extropy and three dependence measures: Spearman's rho, Kendall's tau, and Blest's measure of rank correlation. Finally, we propose estimators for the cumulative copula extropy and survival copula extropy with an illustration using real life datasets.


title: Stochastic dynamics of a non-Markovian random walk in the presence of resetting

abstract: The discrete stochastic dynamics of a random walker in the presence of resetting and memory is analyzed. Resetting and memory effects may compete for certain parameter regime and lead to significant changes in the long time dynamics of the walker. Analytic exact results are obtained for a model memory where the walker remembers all the past events equally. In most cases, resetting effects dominate at long times and dictate the asymptotic dynamics. We discuss the full phase diagram of the asymptotic dynamics and the resulting changes due to the resetting and the memory effects.


title: Enhanced mechanical squeezing in an optomechanical system via backward stimulated Brillouin scattering

abstract: We investigate theoretically the enhancement of mechanical squeezing in a multimode optomechanical system by introducing a coherent phonon-photon interaction via the backward stimulated Brillouin scattering (BSBS) process. The coherent photon-phonon interaction where two optical modes couple to a Brillouin acoustic mode with a large decay rate provides an extra channel for the cooling of a Duffing mechanical oscillator. The squeezing degree and the robustness to the thermal noises of the Duffing mechanical mode can be enhanced greatly. When the Duffing nonlinearity is weak, the squeezing degree of the mechanical mode in the presence of BSBS can be improved more than one order of magnitude compared with the absence of BSBS. Our scheme may be extended to other quantum systems to study novel quantum effects.


title: Charged vacancy in graphene: interplay between Landau levels and atomic collapse resonances

abstract: The interplay between a magnetic field and the Coulomb potential from a charged vacancy on the electron states in graphene is investigated within the tight-binding model. The Coulomb potential removes locally Landau level degeneracy, while the vacancy introduces a satellite level next to the normal Landau level. These satellite levels are found throughout the positive energy region, but in the negative energy region they turn into atomic collapse resonances. Crossings between Landau levels with different angular quantum number $m$ are found. Unlike the point impurity system in which an anticrossing occurs between Landau levels of the same $m$, in this work anticrossing is found between the normal Landau level and the vacancy induced level. The atomic collapse resonance hybridize with the Landau levels. The charge at which the lowest Landau level $m = -1, N = 1$ crosses increases $E = 0$ with enhancing magnetic field. Landau level scaling anomaly occurs when the charge is larger than the critical charge $\beta\approx0.6$ and this critical charge is independent of the magnetic field.


title: Cosmic Evolution Early Release Science (CEERS) survey: The colour evolution of galaxies in the distant Universe

abstract: The wavelength-coverage and sensitivity of JWST now enables us to probe the rest-frame UV - optical spectral energy distributions (SEDs) of galaxies at high-redshift ($z>4$). From these SEDs it is, in principle, through SED fitting possible to infer key physical properties, including stellar masses, star formation rates, and dust attenuation. These in turn can be compared with the predictions of galaxy formation simulations allowing us to validate and refine the incorporated physics. However, the inference of physical properties, particularly from photometry alone, can lead to large uncertainties and potential biases. Instead, it is now possible, and common, for simulations to be \emph{forward-modelled} to yield synthetic observations that can be compared directly to real observations. In this work, we measure the JWST broadband fluxes and colours of a robust sample of $5<z<10$ galaxies using the Cosmic Evolution Early Release Science (CEERS) Survey. We then analyse predictions from a variety of models using the same methodology and compare the NIRCam/F277W magnitude distribution and NIRCam colours with observations. We find that the predicted and observed magnitude distributions are similar, at least at $5<z<8$. At $z>8$ the distributions differ somewhat, though our observed sample size is small and thus susceptible to statistical fluctuations. Likewise, the predicted and observed colour evolution show broad agreement, at least at $5<z<8$. There is however some disagreement between the observed and modelled strength of the strong line contribution. In particular all the models fails to reproduce the F410M-F444W colour at $z>8$, though, again, the sample size is small here.


title: How to get better embeddings with code pre-trained models? An empirical study

abstract: Pre-trained language models have demonstrated powerful capabilities in the field of natural language processing (NLP). Recently, code pre-trained model (PTM), which draw from the experiences of the NLP field, have also achieved state-of-the-art results in many software engineering (SE) downstream tasks. These code PTMs take into account the differences between programming languages and natural languages during pre-training and make adjustments to pre-training tasks and input data. However, researchers in the SE community still inherit habits from the NLP field when using these code PTMs to generate embeddings for SE downstream classification tasks, such as generating semantic embeddings for code snippets through special tokens and inputting code and text information in the same way as pre-training the PTMs. In this paper, we empirically study five different PTMs (i.e. CodeBERT, CodeT5, PLBART, CodeGPT and CodeGen) with three different architectures (i.e. encoder-only, decoder-only and encoder-decoder) on four SE downstream classification tasks (i.e. code vulnerability detection, code clone detection, just-in-time defect prediction and function docstring mismatch detection) with respect to the two aforementioned aspects. Our experimental results indicate that (1) regardless of the architecture of the code PTMs used, embeddings obtained through special tokens do not sufficiently aggregate the semantic information of the entire code snippet; (2) the quality of code embeddings obtained by combing code data and text data in the same way as pre-training the PTMs is poor and cannot guarantee richer semantic information; (3) using the method that aggregates the vector representations of all code tokens, the decoder-only PTMs can obtain code embeddings with semantics as rich as or even better quality than those obtained from the encoder-only and encoder-decoder PTMs.


title: Generation of electric current and electromotive force by an antiferromagnetic domain wall

abstract: Dynamic magnetic textures may transfer the angular moment from the varying in time antiferromagnetic order to spins of conduction electrons. Due to the spin orbit coupling (SOC) these spin excitations can induce the electric current of conduction electrons. We calculated the electric current and the electromotive force (EMF) which are produced by a domain wall (DW) moving parallel to the magnetically compensated interface between an antiferromagnetic insulator (AFMI) and a two-dimensional spin orbit coupled metal. Spins of conduction electrons interact with localized spins of a collinear AFMI through the interface exchange interaction. The Keldysh formalism of nonequilibrium Green functions was applied for the analysis of this system. It is shown that a Bloch DW generates the current perpendicular to the DW motion direction. At the same time a N\'{e}el DW creates the electric potential which builds up across the wall. The total charge which is pumped by a Bloch DW can be expressed in terms of a topologically invariant charge quantum. The latter does not depend on variations of DW's velocity and shape. These effects increase dramatically when the Fermi energy approaches the van Hove singularity of the Fermi surface. The obtained results are important for the electrical detection and control of dynamic magnetic textures in antiferromagnets.


title: Fast Silicon Carbide MOSFET based high-voltage push-pull switch for charge state separation of highly charged ions with a Bradbury-Nielsen Gate

abstract: In this paper we report on the development of a fast high-voltage switch, which is based on two enhancement mode N-channel Silicon Carbide Metal Oxide Semiconductor Field-Effect Transistors in push-pull configuration. The switch is capable of switching high voltages up to 600 V on capacitive loads with rise and fall times on the order of 10 ns and pulse widths $\leq$ 20 ns. Using this switch it was demonstrated that from the charge state distribution of bunches of highly charged ions ejected from an electron beam ion trap with a specific kinetic energy, single charge states can be separated by fast switching of the high voltage applied to a Bradbury-Nielsen Gate with a resolving power of about 100.


title: On Bivariate Pseudo-Logistic Distribution: Its Properties, Estimation and Applications

abstract: The literature has covered the features and uses of the traditional univariate and bivariate logistic distributions in great detail. It is reasonable to wonder, though, if logistic marginals and conditionals could exhibit a similar behavior. A phenomenon that is comparable to both bivariate exponential and bivariate normal distributions. In this study, we will concentrate on bivariate distributions where one family of conditionals is marginal and the other family is of logistic type. Pseudo-logistic distributions are the name for such distributions. Research on conditionally specified models has revealed, however, that only in cases where the variables are independent will logistic marginals and both conditionals be of the logistic form occur. We talk about the features of distributional aspects and how they are built using the original. Both the original and the new conditioning regimes are used in two different ways. Possible generalizations are also considered. We also provide an example of a Pseudo-logistic model application.


title: First Principles Prediction Unveils High-T$_c$ Superconductivity in YSc$_2$H$_{24}$ Cage Structures

abstract: The quest for room-temperature superconductivity has been a long-standing aspiration in the field of materials science, driving extensive research efforts. In this work, we present a novel hydride, YSc$_2$H$_{24}$, which is stable at high pressure using a crystal structure prediction approach with a fixed composition based on known structures. The discovered material is crystalline in a hexagonal unit cell with space group P6/mmm and has a fastinating structure consisting of two distinct cages: Sc@H$_{24}$ and Y@H$_{30}$. By conducting an extensive numerical investigation of lattice dynamics, electron-phonon coupling, and solving the isotropic Eliashberg equation, we have revealed a significant value of $\lambda$ = 2.96 as the underlying factor responsible for the remarkably high critical temperature (T$_c$) of 306-332 K in YSc$_2$H$_{24}$. As pressure increases, the T$_c$ remains above the ambient temperature. Our work has the potential to enhance the existing understanding of high-temperature superconductors, with implications for practical applications. The unique network of these cage-like structures holds great promise for advancing our understanding of high-temperature superconductors, potentially leading to innovative applications.


title: PASDA: A Partition-based Semantic Differencing Approach with Best Effort Classification of Undecided Cases

abstract: Equivalence checking is used to verify whether two programs produce equivalent outputs when given equivalent inputs. Research in this field mainly focused on improving equivalence checking accuracy and runtime performance. However, for program pairs that cannot be proven to be either equivalent or non-equivalent, existing approaches only report a classification result of "unknown", which provides no information regarding the programs' non-/equivalence. In this paper, we introduce PASDA, our partition-based semantic differencing approach with best effort classification of undecided cases. While PASDA aims to formally prove non-/equivalence of analyzed program pairs using a variant of differential symbolic execution, its main novelty lies in its handling of cases for which no formal non-/equivalence proof can be found. For such cases, PASDA provides a best effort equivalence classification based on a set of classification heuristics. We evaluated PASDA with an existing benchmark consisting of 141 non-/equivalent program pairs. PASDA correctly classified 61-74% of these cases at timeouts from 10 seconds to 3600 seconds. Thus, PASDA achieved equivalence checking accuracies that are 3-7% higher than the best results achieved by three existing tools. Furthermore, PASDA's best effort classifications were correct for 70-75% of equivalent and 55-85% of non-equivalent cases across the different timeouts.


title: A General Theory for Exact Sparse Representation Recovery in Convex Optimization

abstract: In this paper, we investigate the recovery of the sparse representation of data in general infinite-dimensional optimization problems regularized by convex functionals. We show that it is possible to define a suitable non-degeneracy condition on the minimal-norm dual certificate, extending the well-established non-degeneracy source condition (NDSC) associated with total variation regularized problems in the space of measures, as introduced in (Duval and Peyr\'e, FoCM, 15:1315-1355, 2015). In our general setting, we need to study how the dual certificate is acting, through the duality product, on the set of extreme points of the ball of the regularizer, seen as a metric space. This justifies the name Metric Non-Degenerate Source Condition (MNDSC). More precisely, we impose a second-order condition on the dual certificate, evaluated on curves with values in small neighbourhoods of a given collection of n extreme points. By assuming the validity of the MNDSC, together with the linear independence of the measurements on these extreme points, we establish that, for a suitable choice of regularization parameters and noise levels, the minimizer of the minimization problem is unique and is uniquely represented as a linear combination of n extreme points. The paper concludes by obtaining explicit formulations of the MNDSC for three problems of interest. First, we examine total variation regularized deconvolution problems, showing that the classical NDSC implies our MNDSC, and recovering a result similar to (Duval and Peyr\'e, FoCM, 15:1315-1355, 2015). Then, we consider 1-dimensional BV functions regularized with their BV-seminorm and pairs of measures regularized with their mutual 1-Wasserstein distance. In each case, we provide explicit versions of the MNDSC and formulate specific sparse representation recovery results.


title: $\delta N$ formalism on the past light-cone

abstract: We apply the gradient expansion approximation to the light-cone gauge, obtaining a separate universe picture at non-linear order in perturbation theory within this framework. Thereafter, we use it to generalize the $\delta N$ formalism in terms of light-cone perturbations. As a consistency check, we demonstrate the conservation of the gauge invariant curvature perturbation on uniform density hypersurface $\zeta$ at the completely non-linear level. The approach studied provides a self-consistent framework to connect at non-linear level quantities from the primordial universe, such as $\zeta$, written in terms of the light-cone parameters, to late time observables.


title: Content-Adaptive Variable Framerate Encoding Scheme for Green Live Streaming

abstract: Adaptive live video streaming applications use a fixed predefined configuration for the bitrate ladder with constant framerate and encoding presets in a session. However, selecting optimized framerates and presets for every bitrate ladder representation can enhance perceptual quality, improve computational resource allocation, and thus, the streaming energy efficiency. In particular, low framerates for low-bitrate representations reduce compression artifacts and decrease encoding energy consumption. In addition, an optimized preset may lead to improved compression efficiency. To this light, this paper proposes a Content-adaptive Variable Framerate (CVFR) encoding scheme, which offers two modes of operation: ecological (ECO) and high-quality (HQ). CVFR-ECO optimizes for the highest encoding energy savings by predicting the optimized framerate for each representation in the bitrate ladder. CVFR-HQ takes it further by predicting each representation's optimized framerate-encoding preset pair using low-complexity discrete cosine transform energy-based spatial and temporal features for compression efficiency and sustainable storage. We demonstrate the advantage of CVFR using the x264 open-source video encoder. The results show that CVFR-ECO yields an average PSNR and VMAF increase of 0.02 dB and 2.50 points, respectively, for the same bitrate, compared to the fastest preset highest framerate encoding. CVFR-ECO also yields an average encoding and storage energy consumption reduction of 34.54% and 76.24%, considering a just noticeable difference (JND) of six VMAF points. In comparison, CVFR-HQ yields an average increase in PSNR and VMAF of 2.43 dB and 10.14 points, respectively, for the same bitrate. Finally, CVFR-HQ resulted in an average reduction in storage energy consumption of 83.18%, considering a JND of six VMAF points.


title: GlanceSeg: Real-time microaneurysm lesion segmentation with gaze-map-guided foundation model for early detection of diabetic retinopathy

abstract: Early-stage diabetic retinopathy (DR) presents challenges in clinical diagnosis due to inconspicuous and minute microangioma lesions, resulting in limited research in this area. Additionally, the potential of emerging foundation models, such as the segment anything model (SAM), in medical scenarios remains rarely explored. In this work, we propose a human-in-the-loop, label-free early DR diagnosis framework called GlanceSeg, based on SAM. GlanceSeg enables real-time segmentation of microangioma lesions as ophthalmologists review fundus images. Our human-in-the-loop framework integrates the ophthalmologist's gaze map, allowing for rough localization of minute lesions in fundus images. Subsequently, a saliency map is generated based on the located region of interest, which provides prompt points to assist the foundation model in efficiently segmenting microangioma lesions. Finally, a domain knowledge filter refines the segmentation of minute lesions. We conducted experiments on two newly-built public datasets, i.e., IDRiD and Retinal-Lesions, and validated the feasibility and superiority of GlanceSeg through visualized illustrations and quantitative measures. Additionally, we demonstrated that GlanceSeg improves annotation efficiency for clinicians and enhances segmentation performance through fine-tuning using annotations. This study highlights the potential of GlanceSeg-based annotations for self-model optimization, leading to enduring performance advancements through continual learning.


title: The optimal resolution level of a protein is an emergent property of its structure and dynamics

abstract: Molecular dynamics simulations provide a wealth of data whose in-depth analysis can be computationally demanding and, sometimes, even unnecessary. Dimensionality reduction techniques are thus routinely employed to simplify and improve the interpretation of trajectories focusing on specific subsets of the system's atoms; a still open problem, in this context, is to determine the optimal resolution level of the molecule, i.e. the smallest number of atoms needed to preserve the largest information content from the full atomistic trajectory. Here, we introduce the protein optimal resolution identification method (PROPRE), an unsupervised approach built on information theory principles that determines the smallest number of atoms that need to be retained in order to attain a synthetic yet informative description of a protein. By applying the method to a protein dataset and two particular case studies, we show that this number is typically between 1.5 and 2 times the amount of residues in a protein; furthermore, the degree of structural variability of the system influences the optimal resolution level importantly, in that a broader range of large-scale conformations correlates with fewer retained sites. The PROPRE method is implemented in efficient and user-friendly python scripts, which are made available for download on a github repository.


title: Zero-Shot Segmentation of Eye Features Using the Segment Anything Model (SAM)

abstract: The advent of foundation models signals a new era in artificial intelligence. The Segment Anything Model (SAM) is the first foundation model for image segmentation. In this study, we evaluate SAM's ability to segment features from eye images recorded in virtual reality setups. The increasing requirement for annotated eye-image datasets presents a significant opportunity for SAM to redefine the landscape of data annotation in gaze estimation. Our investigation centers on SAM's zero-shot learning abilities and the effectiveness of prompts like bounding boxes or point clicks. Our results are consistent with studies in other domains, demonstrating that SAM's segmentation effectiveness can be on-par with specialized models depending on the feature, with prompts improving its performance, evidenced by an IoU of 93.34% for pupil segmentation in one dataset. Foundation models like SAM could revolutionize gaze estimation by enabling quick and easy image segmentation, reducing reliance on specialized models and extensive manual annotation.


title: Wave-front sets for $p$-adic Lie algebras

abstract: We study the wave-front set of an element in a $p$-adic reductive Lie algebra (for $p\gg\operatorname{rank}$), namely the set of maximal nilpotent orbits appearing in its Shalika germ expansion. By adapting an algorithm of Waldspurger that computes orbital integrals, we obtain an inductive algorithm to compute an invariant that determines the wave-front set. This gives an algorithm to compute the wave-front sets for regular supercuspidal representations and reveals examples whose wave-front sets are not contained in a single geometric orbit, for arbitrarily large $p$ within a fixed rank.


title: Creating equilibrium glassy states via random particle bonding

abstract: Creating amorphous solid states by randomly bonding an ensemble of dense liquid monomers is a common procedure which is applied to create a variety of materials such as epoxy resins, colloidal gels, and vitrimers. The properties of the resulting solid do, however, {\it a priori} strongly depend on the preparation history. This can lead to substantial aging of the material, i.e., properties such as mechanical moduli and transport coefficients depend on the time elapsed since solidification, which can lead to a slow degradation of the material in technological applications. It is therefore important to understand under which conditions random monomer bonding can lead to stable solid states, i.e., long-lived metastable states whose properties do not change over time. In this work, we present a theoretical and computational analysis of this problem, and introduce a random bonding procedure that guarantees the proper equilibration of the resulting amorphous states. Our procedure also provides a new route to investigate the fundamental properties of glassy energy landscapes by producing translationally-invariant ultrastable glassy states of simple particle models.


title: Identifying Light-curve Signals with a Deep Learning Based Object Detection Algorithm. II. A General Light Curve Classification Framework

abstract: Vast amounts of astronomical photometric data are generated from various projects, requiring significant efforts to identify variable stars and other object classes. In light of this, a general, widely applicable classification framework would simplify the task of designing custom classifiers. We present a novel deep learning framework for classifying light curves using a weakly supervised object detection model. Our framework identifies the optimal windows for both light curves and power spectra automatically, and zooms in on their corresponding data. This allows for automatic feature extraction from both time and frequency domains, enabling our model to handle data across different scales and sampling intervals. We train our model on datasets obtained from both space-based and ground-based multi-band observations of variable stars and transients. We achieve an accuracy of 87% for combined variables and transient events, which is comparable to the performance of previous feature-based models. Our trained model can be utilized directly to other missions, such as ASAS-SN, without requiring any retraining or fine-tuning. To address known issues with miscalibrated predictive probabilities, we apply conformal prediction to generate robust predictive sets that guarantee true label coverage with a given probability. Additionally, we incorporate various anomaly detection algorithms to empower our model with the ability to identify out-of-distribution objects. Our framework is implemented in the Deep-LC toolkit, which is an open-source Python package hosted on Github and PyPI.

categories: astro-ph.IM astro-ph.HE astro-ph.SR cs.CV


title: Evolutionary-enhanced quantum supervised learning model

abstract: Quantum supervised learning, utilizing variational circuits, stands out as a promising technology for NISQ devices due to its efficiency in hardware resource utilization during the creation of quantum feature maps and the implementation of hardware-efficient ansatz with trainable parameters. Despite these advantages, the training of quantum models encounters challenges, notably the barren plateau phenomenon, leading to stagnation in learning during optimization iterations. This study proposes an innovative approach: an evolutionary-enhanced ansatz-free supervised learning model. In contrast to parametrized circuits, our model employs circuits with variable topology that evolves through an elitist method, mitigating the barren plateau issue. Additionally, we introduce a novel concept, the superposition of multi-hot encodings, facilitating the treatment of multi-classification problems. Our framework successfully avoids barren plateaus, resulting in enhanced model accuracy. Comparative analysis with variational quantum classifiers from the technology's state-of-the-art reveal a substantial improvement in training efficiency and precision. Furthermore, we conduct tests on a challenging dataset class, traditionally problematic for conventional kernel machines, demonstrating a potential alternative path for achieving quantum advantage in supervised learning for NISQ era.


title: New grating compressor designs for XCELS and SEL-100 PW projects

abstract: The problem of optimizing the parameters of a laser pulse compressor consisting of four identical diffraction gratings is solved analytically. The goal of optimization is to obtain maximum pulse power, completely excluding both beam clipping on gratings and the appearance of spurious diffraction orders. The analysis is carried out in a general form for an out-of-plane compressor. Two particular plane cases attractive from a practical point of view are analyzed in more detail: a standard Treacy compressor (TC) and a compressor with an angle of incidence equal to the Littrow angle (LC). It is shown that in both cases the LC is superior to the TC. Specifically, for 160-cm diffraction gratings, optimal LC design enables 109 PW for XCELS and 115 PW for SEL-100 PW, while optimal TC design enables 86 PW for both projects.


title: Solving ARC visual analogies with neural embeddings and vector arithmetic: A generalized method

abstract: Analogical reasoning derives information from known relations and generalizes this information to similar yet unfamiliar situations. One of the first generalized ways in which deep learning models were able to solve verbal analogies was through vector arithmetic of word embeddings, essentially relating words that were mapped to a vector space (e.g., king - man + woman = __?). In comparison, most attempts to solve visual analogies are still predominantly task-specific and less generalizable. This project focuses on visual analogical reasoning and applies the initial generalized mechanism used to solve verbal analogies to the visual realm. Taking the Abstraction and Reasoning Corpus (ARC) as an example to investigate visual analogy solving, we use a variational autoencoder (VAE) to transform ARC items into low-dimensional latent vectors, analogous to the word embeddings used in the verbal approaches. Through simple vector arithmetic, underlying rules of ARC items are discovered and used to solve them. Results indicate that the approach works well on simple items with fewer dimensions (i.e., few colors used, uniform shapes), similar input-to-output examples, and high reconstruction accuracy on the VAE. Predictions on more complex items showed stronger deviations from expected outputs, although, predictions still often approximated parts of the item's rule set. Error patterns indicated that the model works as intended. On the official ARC paradigm, the model achieved a score of 2% (cf. current world record is 21%) and on ConceptARC it scored 8.8%. Although the methodology proposed involves basic dimensionality reduction techniques and standard vector arithmetic, this approach demonstrates promising outcomes on ARC and can easily be generalized to other abstract visual reasoning tasks.


title: Boundary null controllability of degenerate wave equation as the limit of internal controllability

abstract: This work is concerned with the possibility of proving the boundary null controllability for the degenerate wave equation, developing the asymptotic analysis of a suitable family of state-control pairs $((u_\varepsilon , v_\varepsilon))_{\varepsilon >0}$, solving related internal null controllability problems. The passage to the limit argument will be rigorously performed through the obtainment of a refined observalitity type inequality, with a constant explicitly given in terms of $\varepsilon >0$. This represents an essential point, since will allow us to achieve our required weak convergence results.