title: Densely sampled phylogenies frequently deviate from maximum parsimony in simple and local ways

abstract: Why do phylogenetic algorithms fail when they return incorrect answers? This simple question has not been answered in detail, even for maximum parsimony (MP), the simplest phylogenetic criterion. Understanding MP has recently gained relevance in the regime of extremely dense sampling, where each virus sample commonly differs by zero or one mutation from another previously sampled virus. Although recent research shows that evolutionary histories in this regime are close to being maximally parsimonious, the structure of their deviations from MP is not yet understood. In this paper, we develop algorithms to understand how the correct tree deviates from being MP in the densely sampled case. By applying these algorithms to simulations that realistically mimic the evolution of SARS-CoV-2, we find that simulated trees frequently only deviate from maximally parsimonious trees locally, through simple structures consisting of the same mutation appearing independently on sister branches.


title: Multi-valent Ion Mediated Polyelectrolyte Association and Structure

abstract: Polyelectrolytes are commonly used to chelate multi-valent ions in aqueous solutions, playing a critical role in water softening and the prevention of mineralization. At sufficient ionic strength, ion-mediated polyelectrolyte--polyelectrolyte interactions can precipitate polyelectrolyte--ion complexes, a phenomenon known as "like-charge attraction". While the significant influence of small ions on polyelectrolyte solution phase behavior is recognized, the precise molecular mechanisms driving the counterintuitive phenomenon remain largely elusive. In this study, we employ all-atom molecular dynamics simulations to investigate the molecular mechanism of like-charge attraction between two poly(acrylic acid) (PAA) chains in solution. We find that moderate quantities of Ca$^{2+}$ ions induce attraction between PAA chains, facilitated by the formation of PAA--Ca$^{2+}$--PAA bridges and a significant increase in the coordination of Ca$^{2+}$ ions by the PAA chains. At high Ca$^{2+}$ number densities, ion bridges are disfavored due to electrostatic screening, yet the chains are still attracted to each other due to solvent-mediated interactions between the chains and their chelated ions. The insights gleaned from this study not only enrich our understanding of the intricate mechanism of like-charge attraction between polyanions in solution but also illuminate the influence of multi-valent ions on polyelectrolyte interactions.


title: Path Planning in 3D with Motion Primitives for Wind Energy-Harvesting Fixed-Wing Aircraft

abstract: In this work, a set of motion primitives is defined for use in an energy-aware motion planning problem. The motion primitives are defined as sequences of control inputs to a simplified four-DOF dynamics model and are used to replace the traditional continuous control space used in many sampling-based motion planners. The primitives are implemented in a Stable Sparse Rapidly Exploring Random Tree (SST) motion planner and compared to an identical planner using a continuous control space. The planner using primitives was found to run 11.0\% faster but yielded solution paths that were on average worse with higher variance. Also, the solution path travel time is improved by about 50\%. Using motion primitives for sampling spaces in SST can effectively reduce the run time of the algorithm, although at the cost of solution quality.


title: Torsion pairs in repetitive cluster categories of type $A_n$

abstract: We give a complete classification of torsion pairs in repetitive cluster categories of type $A_n$, which were defined by Zhu as the orbit categories, via certain configurations of diagonals, called Ptolemy diagrams. As applications, we classify rigid subcategories, which gives Lamberti's classification of cluster tilting subcategories. When $p = 1$, this generalizes the work of Holm, Jorgensen and Rubey for the classification of torsion pairs in cluster categories of type $A_n$.


title: Modeling trading games in a stochastic non-life insurance market

abstract: We studied the behavior and variation of utility between the two conflicting players in a closed Nash-equilibrium loop. Our modeling approach also captured the nexus between optimal premium strategizing and firm performance using the Lotka-Volterra completion model. Our model robustly modeled the two main cases, insurer-insurer and insurer-policyholder, which we accompanied by numerical examples of premium movements and their relationship to the market equilibrium point. We found that insurers with high claim exposures tend to set high premiums. The other competitors either set a competitive premium or adopt the fixed premium charge to remain in the game; otherwise, they will operate below the optimal point. We also noted an inverse link between trading premiums and claims in general insurance games due to self-interest and utility indifferences. We concluded that while an insurer aims to charge high premiums to enjoy more, policyholders are willing to avoid these charges by paying less.


title: Jenga Stacking Based on 6D Pose Estimation for Architectural Form Finding Process

abstract: This paper includes a review of current state of the art 6d pose estimation methods, as well as a discussion of which pose estimation method should be used in two types of architectural design scenarios. Taking the latest pose estimation research Gen6d as an example, we make a qualitative assessment of the current openset methods in terms of application level, prediction speed, resistance to occlusion, accuracy, resistance to environmental interference, etc. In addition, we try to combine 6D pose estimation and building wind environment assessment to create tangible architectural design approach, we discuss the limitations of the method and point out the direction in which 6d pose estimation is eager to progress in this scenario.


title: PACOL: Poisoning Attacks Against Continual Learners

abstract: Continual learning algorithms are typically exposed to untrusted sources that contain training data inserted by adversaries and bad actors. An adversary can insert a small number of poisoned samples, such as mislabeled samples from previously learned tasks, or intentional adversarial perturbed samples, into the training datasets, which can drastically reduce the model's performance. In this work, we demonstrate that continual learning systems can be manipulated by malicious misinformation and present a new category of data poisoning attacks specific for continual learners, which we refer to as {\em Poisoning Attacks Against Continual Learners} (PACOL). The effectiveness of labeling flipping attacks inspires PACOL; however, PACOL produces attack samples that do not change the sample's label and produce an attack that causes catastrophic forgetting. A comprehensive set of experiments shows the vulnerability of commonly used generative replay and regularization-based continual learning approaches against attack methods. We evaluate the ability of label-flipping and a new adversarial poison attack, namely PACOL proposed in this work, to force the continual learning system to forget the knowledge of a learned task(s). More specifically, we compared the performance degradation of continual learning systems trained on benchmark data streams with and without poisoning attacks. Moreover, we discuss the stealthiness of the attacks in which we test the success rate of data sanitization defense and other outlier detection-based defenses for filtering out adversarial samples.


title: Understanding and Mitigating Classification Errors Through Interpretable Token Patterns

abstract: State-of-the-art NLP methods achieve human-like performance on many tasks, but make errors nevertheless. Characterizing these errors in easily interpretable terms gives insight into whether a classifier is prone to making systematic errors, but also gives a way to act and improve the classifier. We propose to discover those patterns of tokens that distinguish correct and erroneous predictions as to obtain global and interpretable descriptions for arbitrary NLP classifiers. We formulate the problem of finding a succinct and non-redundant set of such patterns in terms of the Minimum Description Length principle. Through an extensive set of experiments, we show that our method, Premise, performs well in practice. Unlike existing solutions, it recovers ground truth, even on highly imbalanced data over large vocabularies. In VQA and NER case studies, we confirm that it gives clear and actionable insight into the systematic errors made by NLP classifiers.


title: Compact and Intuitive Airfoil Parameterization Method through Physics-aware Variational Autoencoder

abstract: Airfoil shape optimization plays a critical role in the design of high-performance aircraft. However, the high-dimensional nature of airfoil representation causes the challenging problem known as the "curse of dimensionality". To overcome this problem, numerous airfoil parameterization methods have been developed, which can be broadly classified as polynomial-based and data-driven approaches. Each of these methods has desirable characteristics such as flexibility, parsimony, feasibility, and intuitiveness, but a single approach that encompasses all of these attributes has yet to be found. For example, polynomial-based methods struggle to balance parsimony and flexibility, while data-driven methods lack in feasibility and intuitiveness. In recent years, generative models, such as generative adversarial networks and variational autoencoders, have shown promising potential in airfoil parameterization. However, these models still face challenges related to intuitiveness due to their black-box nature. To address this issue, we developed a novel airfoil parameterization method using physics-aware variational autoencoder. The proposed method not only explicitly separates the generation of thickness and camber distributions to produce smooth and non-intersecting airfoils, thereby improving feasibility, but it also directly aligns its latent dimensions with geometric features of the airfoil, significantly enhancing intuitiveness. Finally, extensive comparative studies were performed to demonstrate the effectiveness of our approach.


title: Explainable Product Classification for Customs

abstract: The task of assigning internationally accepted commodity codes (aka HS codes) to traded goods is a critical function of customs offices. Like court decisions made by judges, this task follows the doctrine of precedent and can be nontrivial even for experienced officers. Together with the Korea Customs Service (KCS), we propose a first-ever explainable decision supporting model that suggests the most likely subheadings (i.e., the first six digits) of the HS code. The model also provides reasoning for its suggestion in the form of a document that is interpretable by customs officers. We evaluated the model using 5,000 cases that recently received a classification request. The results showed that the top-3 suggestions made by our model had an accuracy of 93.9\% when classifying 925 challenging subheadings. A user study with 32 customs experts further confirmed that our algorithmic suggestions accompanied by explainable reasonings, can substantially reduce the time and effort taken by customs officers for classification reviews.


title: Contributions of $2\pi$-exchange, $1\pi$-exchange, and contact three-body forces in NNLO ChEFT to $_\Lambda^3$H

abstract: Faddeev calculations of hypertriton ($_\Lambda^3$H) separation energy are performed, incorporating all next-to-next-to-leading-order $\Lambda$NN three-body forces (3BFs) in chiral effective field theory: $2\pi$-exchange, $1\pi$-exchange, and contact interactions. The $1\pi$-exchange and contact interactions are rewritten in a form suitable for evaluating partial-wave matrix elements. The $\Lambda$-deuteron folding potentials constructed from these 3BFs are evaluated to demonstrate their contributions to \h3t. The $1\pi$-exchange interaction provides an attractive effect in which the d-state component of the deuteron wave function plays an important role. The attractive contribution tends to cancel the repulsive ones from the $2\pi$-exchange and contact 3BFs. Faddeev calculations show that the net effect of the 3BFs to the \h3t separation energy is small in a range between $-5$ to $+20$ keV, depending on the NN interaction used. Although these results are based on speculative low-energy constants, they can serve as a reference for further investigations.


title: Faster Streaming and Scalable Algorithms for Finding Directed Dense Subgraphs in Large Graphs

abstract: Finding dense subgraphs is a fundamental algorithmic tool in data mining, community detection, and clustering. In this problem, one aims to find an induced subgraph whose edge-to-vertex ratio is maximized. We study the directed case of this question in the context of semi-streaming and massively parallel algorithms. In particular, we show that it is possible to find a $(2+\epsilon)$ approximation on randomized streams even in a single pass by using $O(n \cdot {\rm poly} \log n)$ memory on $n$-vertex graphs. Our result improves over prior works, which were designed for arbitrary-ordered streams: the algorithm by Bahmani et al. (VLDB 2012) which uses $O(\log n)$ passes, and the work by Esfandiari et al. (2015) which makes one pass but uses $O(n^{3/2})$ memory. Moreover, our techniques extend to the Massively Parallel Computation model yielding $O(1)$ rounds in the super-linear and $O(\sqrt{\log n})$ rounds in the nearly-linear memory regime. This constitutes a quadratic improvement over state-of-the-art bounds by Bahmani et al. (VLDB 2012 and WAW 2014), which require $O(\log n)$ rounds even in the super-linear memory regime. Finally, we empirically evaluate our single-pass semi-streaming algorithm on $6$ benchmarks and show that, even on non-randomly ordered streams, the quality of its output is essentially the same as that of Bahmani et al. (VLDB 2012) while it is $2$ times faster on large graphs.


title: High-Fidelity Digital Twins: Detecting and Localizing Weaknesses in Structures

abstract: An adjoint-based procedure to determine weaknesses, or, more generally, the material properties of structures is developed and tested. Given a series of load cases and corresponding displacement/strain measurements, the material properties are obtained by minimizing the weighted differences between the measured and computed values. In a subsequent step, techniques to minimize the number of load cases and sensors are proposed and tested. Several examples show the viability, accuracy and efficiency of the proposed methodology and its potential use for high fidelity digital twins.


title: Finding the Needle in a Haystack: Detecting Bug Occurrences in Gameplay Videos

abstract: The presence of bugs in video games can bring significant consequences for developers. To avoid these consequences, developers can leverage gameplay videos to identify and fix these bugs. Video hosting websites such as YouTube provide access to millions of game videos, including videos that depict bug occurrences, but the large amount of content can make finding bug instances challenging. We present an automated approach that uses machine learning to predict whether a segment of a gameplay video contains the depiction of a bug. We analyzed 4,412 segments of 198 gameplay videos to predict whether a segment contains an instance of a bug. Additionally, we investigated how our approach performs when applied across different specific genres of video games and on videos from the same game. We also analyzed the videos in the dataset to investigate what characteristics of the visual features might explain the classifier's prediction. Finally, we conducted a user study to examine the benefits of our automated approach against a manual analysis. Our findings indicate that our approach is effective at detecting segments of a video that contain bugs, achieving a high F1 score of 0.88, outperforming the current state-of-the-art technique for bug classification of gameplay video segments.


title: Learning Payment-Free Resource Allocation Mechanisms

abstract: We consider the design of mechanisms that allocate limited resources among self-interested agents using neural networks. Unlike the recent works that leverage machine learning for revenue maximization in auctions, we consider welfare maximization as the key objective in the payment-free setting. Without payment exchange, it is unclear how we can align agents' incentives to achieve the desired objectives of truthfulness and social welfare simultaneously, without resorting to approximations. Our work makes novel contributions by designing an approximate mechanism that desirably trade-off social welfare with truthfulness. Specifically, (i) we contribute a new end-to-end neural network architecture, ExS-Net, that accommodates the idea of "money-burning" for mechanism design without payments; (ii)~we provide a generalization bound that guarantees the mechanism performance when trained under finite samples; and (iii) we provide an experimental demonstration of the merits of the proposed mechanism.


title: CAMRA: Copilot for AMR Annotation

abstract: In this paper, we introduce CAMRA (Copilot for AMR Annotatations), a cutting-edge web-based tool designed for constructing Abstract Meaning Representation (AMR) from natural language text. CAMRA offers a novel approach to deep lexical semantics annotation such as AMR, treating AMR annotation akin to coding in programming languages. Leveraging the familiarity of programming paradigms, CAMRA encompasses all essential features of existing AMR editors, including example lookup, while going a step further by integrating Propbank roleset lookup as an autocomplete feature within the tool. Notably, CAMRA incorporates AMR parser models as coding co-pilots, greatly enhancing the efficiency and accuracy of AMR annotators. To demonstrate the tool's capabilities, we provide a live demo accessible at: https://camra.colorado.edu


title: Extreme quantum states and processes, and extreme points of general spectrahedra in finite dimensional algebras

abstract: Convex sets of quantum states and processes play a central role in quantum theory and quantum information. Many important examples of convex sets in quantum theory are spectrahedra, that is, sets of positive operators subject to affine constraints. These examples include sets of quantum states with given expectation values of some observables of interest, sets of multipartite quantum states with given marginals, sets of quantum measurements, channels, and multitime quantum processes, as well as sets of higher-order quantum maps and quantum causal structures. This contribution provides a characterisation of the extreme points of general spectrahedra, and bounds on the ranks of the corresponding operators. The general results are applied to several special cases, and are used to retrieve classic results such as Choi's characterisation of the extreme quantum channels, Parhasarathy's characterisation of the extreme quantum states with given marginals, and the quantum version of Birkhoff's theorem for qubit unital channels. Finally, we propose a notion of positive operator valued measures (POVMs) with general affine constraints for their normalisation, and we characterise the extremal POVMs.


title: The shadows of accelerating Kerr-Newman black hole and constraints from M87*

abstract: In this paper, we study the influence of the parameters for the accelerating Kerr-Newman black hole on the shadows and the constraints, extensively. We find that the rotating parameter $a$, the charge parameter $e$, and the inclination angle $\theta_0$ affect the shadow qualitatively similar to that of Kerr-Newman black holes. The result shows that the size of the shadow will scale down with the accelerating factor $A$. Besides, the factor $A$ also can affect the best viewing angles, which make the observations maximum deviate from $\theta_0=\frac{\pi}{2}$, and the degree of the deviations are less than $1\%$. Then, we assume the M87* as an accelerating Kerr-Newman black hole with the mass $M=6.5\times10^9M_\odot$ and the distance $r_0=16.8Mpc$. Combining the EHT observations, we find that neither the observations, circularity deviation $\Delta C$ or axial ratio $D_x$ can distinguish the accelerating black hole or not. However, the characteristic areal-radius of the shadow curve $R_a$ can give corresponding constraints on the parameters of the accelerating Kerr-Newman black hole. The results shows that the bigger accelerating factor $A$ is, the stronger constraints on the rotating parameter $a$ and charged parameter $e$. {The maximum range of the accelerating factor is $Ar_0\leq0.558$ for a accelerating Schwarzschild case with $(a/M=e/M=0)$, and for an extremely slow accelerating case $(Ar_0\leq0.01)$, the ranges of rotating parameter $a$ and charged parameter $e$ are $a/M\in(0,1)$ and $e/M\in(0,0.9)$.


title: FLORIDA: Fake-looking Real Images Dataset

abstract: Although extensive research has been carried out to evaluate the effectiveness of AI tools and models in detecting deep fakes, the question remains unanswered regarding whether these models can accurately identify genuine images that appear artificial. In this study, as an initial step towards addressing this issue, we have curated a dataset of 510 genuine images that exhibit a fake appearance and conducted an assessment using two AI models. We show that two models exhibited subpar performance when applied to our dataset. Additionally, our dataset can serve as a valuable tool for assessing the ability of deep learning models to comprehend complex visual stimuli. We anticipate that this research will stimulate further discussions and investigations in this area. Our dataset is accessible at https://github.com/aliborji/FLORIDA.


title: Cognitive bias in large language models: Cautious optimism meets anti-Panglossian meliorism

abstract: Traditional discussions of bias in large language models focus on a conception of bias closely tied to unfairness, especially as affecting marginalized groups. Recent work raises the novel possibility of assessing the outputs of large language models for a range of cognitive biases familiar from research in judgment and decisionmaking. My aim in this paper is to draw two lessons from recent discussions of cognitive bias in large language models: cautious optimism about the prevalence of bias in current models coupled with an anti-Panglossian willingness to concede the existence of some genuine biases and work to reduce them. I draw out philosophical implications of this discussion for the rationality of human cognitive biases as well as the role of unrepresentative data in driving model biases.


title: Representing visual classification as a linear combination of words

abstract: Explainability is a longstanding challenge in deep learning, especially in high-stakes domains like healthcare. Common explainability methods highlight image regions that drive an AI model's decision. Humans, however, heavily rely on language to convey explanations of not only "where" but "what". Additionally, most explainability approaches focus on explaining individual AI predictions, rather than describing the features used by an AI model in general. The latter would be especially useful for model and dataset auditing, and potentially even knowledge generation as AI is increasingly being used in novel tasks. Here, we present an explainability strategy that uses a vision-language model to identify language-based descriptors of a visual classification task. By leveraging a pre-trained joint embedding space between images and text, our approach estimates a new classification task as a linear combination of words, resulting in a weight for each word that indicates its alignment with the vision-based classifier. We assess our approach using two medical imaging classification tasks, where we find that the resulting descriptors largely align with clinical knowledge despite a lack of domain-specific language training. However, our approach also identifies the potential for 'shortcut connections' in the public datasets used. Towards a functional measure of explainability, we perform a pilot reader study where we find that the AI-identified words can enable non-expert humans to perform a specialized medical task at a non-trivial level. Altogether, our results emphasize the potential of using multimodal foundational models to deliver intuitive, language-based explanations of visual tasks.


title: Case Repositories: Towards Case-Based Reasoning for AI Alignment

abstract: Case studies commonly form the pedagogical backbone in law, ethics, and many other domains that face complex and ambiguous societal questions informed by human values. Similar complexities and ambiguities arise when we consider how AI should be aligned in practice: when faced with vast quantities of diverse (and sometimes conflicting) values from different individuals and communities, with whose values is AI to align, and how should AI do so? We propose a complementary approach to constitutional AI alignment, grounded in ideas from case-based reasoning (CBR), that focuses on the construction of policies through judgments on a set of cases. We present a process to assemble such a case repository by: 1) gathering a set of ``seed'' cases -- questions one may ask an AI system -- in a particular domain, 2) eliciting domain-specific key dimensions for cases through workshops with domain experts, 3) using LLMs to generate variations of cases not seen in the wild, and 4) engaging with the public to judge and improve cases. We then discuss how such a case repository could assist in AI alignment, both through directly acting as precedents to ground acceptable behaviors, and as a medium for individuals and communities to engage in moral reasoning around AI.


title: Short-term Volatility Estimation for High Frequency Trades using Gaussian processes (GPs)

abstract: The fundamental theorem behind financial markets is that stock prices are intrinsically complex and stochastic. One of the complexities is the volatility associated with stock prices. Volatility is a tendency for prices to change unexpectedly [1]. Price volatility is often detrimental to the return economics, and thus, investors should factor it in whenever making investment decisions, choices, and temporal or permanent moves. It is, therefore, crucial to make necessary and regular short and long-term stock price volatility forecasts for the safety and economics of investors returns. These forecasts should be accurate and not misleading. Different models and methods, such as ARCH GARCH models, have been intuitively implemented to make such forecasts. However, such traditional means fail to capture the short-term volatility forecasts effectively. This paper, therefore, investigates and implements a combination of numeric and probabilistic models for short-term volatility and return forecasting for high-frequency trades. The essence is that one-day-ahead volatility forecasts were made with Gaussian Processes (GPs) applied to the outputs of a Numerical market prediction (NMP) model. Firstly, the stock price data from NMP was corrected by a GP. Since it is not easy to set price limits in a market due to its free nature and randomness, a Censored GP was used to model the relationship between the corrected stock prices and returns. Forecasting errors were evaluated using the implied and estimated data.


title: Examining Interplay of Compression and Encryption and Applicability to 5G Teleoperations

abstract: Modern IoT and networked systems rely on fast and secure delivery of time-critical information. Use cases such as teleoperations require fast data delivery over mobile networks, which despite improvements in 5G are still quite constrained. Algorithms for encryption and compression provide security and data size efficiency, but come with time and data size trade-offs. The impact of these trade-offs is related to the order in which these operations are applied, and as such necessitates a robust exploration from a performance perspective. In this paper, we assess several compression and encryption algorithms, combinations of their execution order, timings and size changes from such order, and the implications of such changes on 5G teleoperations. From our assessments we have three major takeaways: (1) Compression-First is faster and more compressed, except for certain circumstances. (2) In these specific circumstances, the compression against a raw file leads to a lengthier time than if applied to an encrypted file first. (3) Applying both encryption and compression on data samples larger than 10MB is impractical for real time transmission due to the incurred delay.


title: Bridging Data-Driven and Knowledge-Driven Approaches for Safety-Critical Scenario Generation in Automated Vehicle Validation

abstract: Automated driving vehicles~(ADV) promise to enhance driving efficiency and safety, yet they face intricate challenges in safety-critical scenarios. As a result, validating ADV within generated safety-critical scenarios is essential for both development and performance evaluations. This paper investigates the complexities of employing two major scenario-generation solutions: data-driven and knowledge-driven methods. Data-driven methods derive scenarios from recorded datasets, efficiently generating scenarios by altering the existing behavior or trajectories of traffic participants but often falling short in considering ADV perception; knowledge-driven methods provide effective coverage through expert-designed rules, but they may lead to inefficiency in generating safety-critical scenarios within that coverage. To overcome these challenges, we introduce BridgeGen, a safety-critical scenario generation framework, designed to bridge the benefits of both methodologies. Specifically, by utilizing ontology-based techniques, BridgeGen models the five scenario layers in the operational design domain (ODD) from knowledge-driven methods, ensuring broad coverage, and incorporating data-driven strategies to efficiently generate safety-critical scenarios. An optimized scenario generation toolkit is developed within BridgeGen. This expedites the crafting of safety-critical scenarios through a combination of traditional optimization and reinforcement learning schemes. Extensive experiments conducted using Carla simulator demonstrate the effectiveness of BridgeGen in generating diverse safety-critical scenarios.


title: Localization of q-form fields on a de Sitter brane in chameleon gravity

abstract: Recently, it was found that the vector field can be naturally localized on the thick brane in chameleon gravity. In this work, we extend this study to encompass de Sitter brane scenario. We focus on the localization of q-form fields. The scalar and vector fields can be localized on the de Sitter brane, while the KR field cannot be localized. The condition for localization of the scalar and vector fields is obtained. Furthermore, we investigate the localization characteristics in two examples with given conformal factor $b(\phi)$. In the first case, the effective potentials and KK modes of the matter fields are obtained asymmetric even though the de Sitter brane has $Z_2$ symmetry. In the second case, volcano-like effective potentials are generated in the de Sitter brane model.


title: Canonical Group Quantization of Noncommutative Graphene with Symmetric and Landau Dual Magnetic Fields

abstract: The canonical group quantization approach has been used to study noncommutative graphene in the presence of dual magnetic fields. The canonical group for the phase space $\mathbb{R}^2\times \mathbb{R}^2$ with both symmetric and Landau dual gauges is shown to be equivalent to $\mathtt{H}^2\rtimes \mathbb{R}$. The representations of both symmetric and Landau dual gauges lead to similar canonical commutation relations, and we observe that the energy spectrum is corrected by both dual magnetic fields, yielding the same result.


title: Unsupervised Estimation of Ensemble Accuracy

abstract: Ensemble learning combines several individual models to obtain a better generalization performance. In this work we present a practical method for estimating the joint power of several classifiers. It differs from existing approaches which focus on "diversity" measures by not relying on labels. This makes it both accurate and practical in the modern setting of unsupervised learning with huge datasets. The heart of the method is a combinatorial bound on the number of mistakes the ensemble is likely to make. The bound can be efficiently approximated in time linear in the number of samples. We relate the bound to actual misclassifications, hence its usefulness as a predictor of performance. We demonstrate the method on popular large-scale face recognition datasets which provide a useful playground for fine-grain classification tasks using noisy data over many classes.


title: Comparison among Classical, Probabilistic and Quantum Algorithms for Hamiltonian Cycle problem

abstract: The Hamiltonian cycle problem (HCP), which is an NP-complete problem, consists of having a graph G with n nodes and m edges and finding the path that connects each node exactly once. In this paper we compare some algorithms to solve a Hamiltonian cycle problem, using different models of computations and especially the probabilistic and quantum ones. Starting from the classical probabilistic approach of random walks, we take a step to the quantum direction by involving an ad hoc designed Quantum Turing Machine (QTM), which can be a useful conceptual project tool for quantum algorithms. Introducing several constraints to the graphs, our analysis leads to not-exponential speedup improvements to the best-known algorithms. In particular, the results are based on bounded degree graphs (graphs with nodes having a maximum number of edges) and graphs with the right limited number of nodes and edges to allow them to outperform the other algorithms.


title: Hydrogen Doping Induced $p_x\pm ip_y$ Triplet Superconductivity in Quasi-One-Dimensional K$_2$Cr$_3$As$_3$

abstract: Quasi-one-dimensional (Q1D) Cr-based pnictide K$_2$Cr$_3$As$_3$ has aroused great research interest due to its possible triplet superconducting pairing symmetry. Recent experiments have shown that incorporating hydrogen atoms into K$_2$Cr$_3$As$_3$ would significantly change its electronic and magnetic properties. Hence, it's necessary to investigate the impact of hydrogen doping in superconducting pairing symmetry of this material. Employing the hydrogen as an non-trivial electron-doping, our calculates show that, different from the $p_z$-wave obtained without hydrogen, the system exhibits $p_x\pm ip_y$ pairing superconductivity under specific hydrogen doping. Specifically, we adopt the random-phase-approximation approach based on a six-band tight-binding model equipped with multi-orbital Hubbard interactions to study the hydrogen-doping dependence of the pairing symmetry and superconducting $T_c$. Under the rigid-band approximation, our pairing phase diagram shows the spin-triplet pairing states is dominated through out the hydrogen-doping regime $x\in (0,0.7)$. Particularly, the $T_c\sim x$ curve shows a peak at the 3D-quasi-1D Lifshitz transition point, and the pairing symmetry around this doping level is $p_x\pm ip_y$. The physical origin of this pairing symmetry is that the density of states is mainly concentrated at $k_x(k_y)$ with large momentum. Due to the three-dimensional character of the real material, this $p_x\pm ip_y$-wave superconducting state possesses point gap nodes. We further provide experiment prediction to identify this triplet $p_x\pm ip_y$-wave superconductivity.


title: Partially Randomizing Transformer Weights for Dialogue Response Diversity

abstract: Despite recent progress in generative open-domain dialogue, the issue of low response diversity persists. Prior works have addressed this issue via either novel objective functions, alternative learning approaches such as variational frameworks, or architectural extensions such as the Randomized Link (RL) Transformer. However, these approaches typically entail either additional difficulties during training/inference, or a significant increase in model size and complexity. Hence, we propose the \underline{Pa}rtially \underline{Ra}ndomized trans\underline{Former} (PaRaFormer), a simple extension of the transformer which involves freezing the weights of selected layers after random initialization. Experimental results reveal that the performance of the PaRaformer is comparable to that of the aforementioned approaches, despite not entailing any additional training difficulty or increase in model complexity.


title: Deception Detection from Linguistic and Physiological Data Streams Using Bimodal Convolutional Neural Networks

abstract: Deception detection is gaining increasing interest due to ethical and security concerns. This paper explores the application of convolutional neural networks for the purpose of multimodal deception detection. We use a dataset built by interviewing 104 subjects about two topics, with one truthful and one falsified response from each subject about each topic. In particular, we make three main contributions. First, we extract linguistic and physiological features from this data to train and construct the neural network models. Second, we propose a fused convolutional neural network model using both modalities in order to achieve an improved overall performance. Third, we compare our new approach with earlier methods designed for multimodal deception detection. We find that our system outperforms regular classification methods; our results indicate the feasibility of using neural networks for deception detection even in the presence of limited amounts of data.


title: An Empirical Bayes Framework for Open-Domain Dialogue Generation

abstract: To engage human users in meaningful conversation, open-domain dialogue agents are required to generate diverse and contextually coherent dialogue. Despite recent advancements, which can be attributed to the usage of pretrained language models, the generation of diverse and coherent dialogue remains an open research problem. A popular approach to address this issue involves the adaptation of variational frameworks. However, while these approaches successfully improve diversity, they tend to compromise on contextual coherence. Hence, we propose the Bayesian Open-domain Dialogue with Empirical Bayes (BODEB) framework, an empirical bayes framework for constructing an Bayesian open-domain dialogue agent by leveraging pretrained parameters to inform the prior and posterior parameter distributions. Empirical results show that BODEB achieves better results in terms of both diversity and coherence compared to variational frameworks.


title: The effect of scalar hair on the charged black hole with the images from accretions disk

abstract: In this paper, we investigate the optical properties of a charged black hole with scalar hair (CSH) within the context of four-dimensional Einstein-Maxwell-Dilaton gravity. To achieve this, we consider three distinct toy models of thin accretion disks. The presence of dilaton coupling allows us to express both the solutions of CSH and the Reissner-Nordstr\"om (RN) black hole in terms of their mass ($M$) and charge ($Q$). Our findings reveal differences in the effective potentials $V_{eff}$, photon sphere radii $r_{ph}$, and innermost stable circular orbit $r_{isco}$ between the CSH and RN black hole cases, which become increasingly pronounced as the charge parameter $Q$ increases. However, no noticeable distinctions are observed concerning the critical impact parameter $b_{ph}$. When the ratio of the photon ring band and the lensed ring band exceeds 0.1, it may suggest the presence of a charged black hole with scalar hair. Furthermore, our results underscore the significant influence of the charge parameter $Q$ on the brightness distributions of the direct, lensed ring, and photon ring for three standard emission functions. These findings emphasize the potential for distinguishing between CSH and RN black holes through an analysis of direct intensity and peak brightness in specific accretion disk models.


title: RecExplainer: Aligning Large Language Models for Explaining Recommendation Models

abstract: Recommender systems are widely used in online services, with embedding-based models being particularly popular due to their expressiveness in representing complex signals. However, these models often function as a black box, making them less transparent and reliable for both users and developers. Recently, large language models (LLMs) have demonstrated remarkable intelligence in understanding, reasoning, and instruction following. This paper presents the initial exploration of using LLMs as surrogate models to explaining black-box recommender models. The primary concept involves training LLMs to comprehend and emulate the behavior of target recommender models. By leveraging LLMs' own extensive world knowledge and multi-step reasoning abilities, these aligned LLMs can serve as advanced surrogates, capable of reasoning about observations. Moreover, employing natural language as an interface allows for the creation of customizable explanations that can be adapted to individual user preferences. To facilitate an effective alignment, we introduce three methods: behavior alignment, intention alignment, and hybrid alignment. Behavior alignment operates in the language space, representing user preferences and item information as text to mimic the target model's behavior; intention alignment works in the latent space of the recommendation model, using user and item representations to understand the model's behavior; hybrid alignment combines both language and latent spaces. Comprehensive experiments conducted on three public datasets show that our approach yields promising results in understanding and mimicking target models, producing high-quality, high-fidelity, and distinct explanations. Our code is available at https://github.com/microsoft/RecAI.


title: An infinite dimensional balanced embedding problem II: uniqueness

abstract: This is the sequel to our first paper concerning the balanced embedding of a non-compact complex manifold into an infinite-dimensional projective space. We prove the uniqueness of such an embedding. The proof relies on fine estimates of the asymptotics of a balanced embedding.


title: Mass ratio estimates for overcontact binaries using the derivatives of light curves

abstract: The photometric mass ratios of eclipsing binaries are usually estimated by light-curve modeling with an iterative method. We propose a new method for estimating the photometric mass ratio of an overcontact binary using the derivatives of a light curve, which provides a reasonable uncertainty value. The method mainly requires only the time interval value between two local extrema found in the third derivative of a light curve, with no need of an iterative procedure. We applied the method to a sample of real overcontact binary data and compared the estimated mass ratios with their spectroscopically determined values. The comparison showed that our estimated mass ratios for $\sim $67% of the samples agreed with their spectroscopic mass ratios within the estimated uncertainties, and the errors for 95% of them are within $\pm 0.1$. Our method should be useful for estimating mass ratios for numerous overcontact eclipsing binaries found with existing and future surveys, as well as for the light-curve analysis of each system.


title: Single-shot Phase Retrieval from a Fractional Fourier Transform Perspective

abstract: The realm of classical phase retrieval concerns itself with the arduous task of recovering a signal from its Fourier magnitude measurements, which are fraught with inherent ambiguities. A single-exposure intensity measurement is commonly deemed insufficient for the reconstruction of the primal signal, given that the absent phase component is imperative for the inverse transformation. In this work, we present a novel single-shot phase retrieval paradigm from a fractional Fourier transform (FrFT) perspective, which involves integrating the FrFT-based physical measurement model within a self-supervised reconstruction scheme. Specifically, the proposed FrFT-based measurement model addresses the aliasing artifacts problem in the numerical calculation of Fresnel diffraction, featuring adaptability to both short-distance and long-distance propagation scenarios. Moreover, the intensity measurement in the FrFT domain proves highly effective in alleviating the ambiguities of phase retrieval and relaxing the previous conditions on oversampled or multiple measurements in the Fourier domain. Furthermore, the proposed self-supervised reconstruction approach harnesses the fast discrete algorithm of FrFT alongside untrained neural network priors, thereby attaining preeminent results. Through numerical simulations, we demonstrate that both amplitude and phase objects can be effectively retrieved from a single-shot intensity measurement using the proposed approach and provide a promising technique for support-free coherent diffraction imaging.


title: Detecting Cosmic 21 cm Global Signal Using an Improved Polynomial Fitting Algorithm

abstract: Detecting the cosmic 21 cm signal from Epoch of Reionization (EoR) has always been a difficult task. Although the Galactic foreground can be regarded as a smooth power-law spectrum, due to the chromaticity of the antenna, additional structure will be introduced into the global spectrum, making the polynomial fitting algorithm perform poorly. In this paper, we introduce an improved polynomial fitting algorithm - the Vari-Zeroth-Order Polynomial (VZOP) fitting and use it to fit the simulation data. This algorithm is developed for the upcoming Low-frequency Anechoic Chamber Experiment (LACE), yet it is a general method suitable for application in any single antenna-based global 21 cm signal experiment. VZOP defines a 24-hour averaged beam model that brings information about the antenna beam into the polynomial model. Assuming that the beam can be measured, VZOP can successfully recover the 21 cm absorption feature, even if the beam is extremely frequency-dependent. In real observations, due to various systematics, the corrected measured beam contains residual errors that are not completely random. Assuming the errors are frequency-dependent, VZOP is capable of recovering the 21 cm absorption feature even when the error reaches 10%. Even in the most extreme scenario where the errors are completely random, VZOP can at least give a fitting result that is not worse than the common polynomial fitting. In conclusion, the fitting effect of VZOP depends on the structure of the error and the accuracy of the beam measurement.


title: NAS-ASDet: An Adaptive Design Method for Surface Defect Detection Network using Neural Architecture Search

abstract: Deep convolutional neural networks (CNNs) have been widely used in surface defect detection. However, no CNN architecture is suitable for all detection tasks and designing effective task-specific requires considerable effort. The neural architecture search (NAS) technology makes it possible to automatically generate adaptive data-driven networks. Here, we propose a new method called NAS-ASDet to adaptively design network for surface defect detection. First, a refined and industry-appropriate search space that can adaptively adjust the feature distribution is designed, which consists of repeatedly stacked basic novel cells with searchable attention operations. Then, a progressive search strategy with a deep supervision mechanism is used to explore the search space faster and better. This method can design high-performance and lightweight defect detection networks with data scarcity in industrial scenarios. The experimental results on four datasets demonstrate that the proposed method achieves superior performance and a relatively lighter model size compared to other competitive methods, including both manual and NAS-based approaches.


title: HungerGist: An Interpretable Predictive Model for Food Insecurity

abstract: The escalating food insecurity in Africa, caused by factors such as war, climate change, and poverty, demonstrates the critical need for advanced early warning systems. Traditional methodologies, relying on expert-curated data encompassing climate, geography, and social disturbances, often fall short due to data limitations, hindering comprehensive analysis and potential discovery of new predictive factors. To address this, this paper introduces "HungerGist", a multi-task deep learning model utilizing news texts and NLP techniques. Using a corpus of over 53,000 news articles from nine African countries over four years, we demonstrate that our model, trained solely on news data, outperforms the baseline method trained on both traditional risk factors and human-curated keywords. In addition, our method has the ability to detect critical texts that contain interpretable signals known as "gists." Moreover, our examination of these gists indicates that this approach has the potential to reveal latent factors that would otherwise remain concealed in unstructured texts.


title: Taxonomic analysis of asteroids with artificial neural networks

abstract: We study the surface composition of asteroids with visible and/or infrared spectroscopy. For example, asteroid taxonomy is based on the spectral features or multiple color indices in visible and near-infrared wavelengths. The composition of asteroids gives key information to understand their origin and evolution. However, we lack compositional information for faint asteroids due to limits of ground-based observational instruments. In the near future, the Chinese Space Survey telescope (CSST) will provide multiple colors and spectroscopic data for asteroids of apparent magnitude brighter than 25 mag and 23 mag, respectively. For the aim of analysis of the CSST spectroscopic data, we applied an algorithm using artificial neural networks (ANNs) to establish a preliminary classification model for asteroid taxonomy according to the design of the survey module of CSST. Using the SMASS II spectra and the Bus-Binzel taxonomy system, our ANN classification tool composed of 5 individual ANNs is constructed, and the accuracy of this classification system is higher than 92 %. As the first application of our ANN tool, 64 spectra of 42 asteroids obtained in 2006 and 2007 by us with the 2.16-m telescope in the Xinglong station (Observatory Code 327) of National Astronomical Observatory of China are analyzed. The predicted labels of these spectra using our ANN tool are found to be reasonable when compared to their known taxonomic labels. Considering the accuracy and stability, our ANN tool can be applied to analyse the CSST asteroid spectra in the future.


title: Demonstration of Maxwell Demon-assistant Einstein-Podolsky-Rosen Steering via Superconducting Quantum Processor

abstract: The concept of Maxwell demon plays an essential role in connecting thermodynamics and information theory, while entanglement and non-locality are fundamental features of quantum theory. Given the rapid advancements in the field of quantum information science, there is a growing interest and significance in investigating the connection between Maxwell demon and quantum correlation. The majority of research endeavors thus far have been directed towards the extraction of work from quantum correlation through the utilization of Maxwell demon. Recently, a novel concept called Maxwell demon-assistant Einstein-Podolsky-Rosen (EPR) steering has been proposed, which suggests that it is possible to simulate quantum correlation by doing work. This seemingly counterintuitive conclusion is attributed to the fact that Alice and Bob need classical communication during EPR steering task, a requirement that does not apply in the Bell test. In this study, we demonstrate Maxwell demon-assistant EPR steering with superconducting quantum circuits. By compiling and optimizing a quantum circuit to be implemented on a 2D superconducting chip, we were able to achieve a steering parameter of $S_{2} = 0.770 \pm 0.005$ in the case of two measurement settings, which surpasses the classical bound of $1/\sqrt{2}$ by 12.6 standard deviations. In addition, experimental observations have revealed a linear correlation between the non-locality demonstrated in EPR steering and the work done by the demon. Considering the errors in practical operation, the experimental results are highly consistent with theoretical predictions. Our findings not only suggest the presence of a Maxwell demon loophole in the EPR steering, but also contribute to a deeper comprehension of the interplay between quantum correlation, information theory, and thermodynamics.


title: On the degree of polynomials computing square roots mod p

abstract: For an odd prime $p$, we say $f(X) \in {\mathbb F}_p[X]$ computes square roots in $\mathbb F_p$ if, for all nonzero perfect squares $a \in \mathbb F_p$, we have $f(a)^2 = a$. When $p \equiv 3 \mod 4$, it is well known that $f(X) = X^{(p+1)/4}$ computes square roots. This degree is surprisingly low (and in fact lowest possible), since we have specified $(p-1)/2$ evaluations (up to sign) of the polynomial $f(X)$. On the other hand, for $p \equiv 1 \mod 4$ there was previously no nontrivial bound known on the lowest degree of a polynomial computing square roots in $\mathbb F_p$; it could have been anywhere between $\frac{p}{4}$ and $\frac{p}{2}$. We show that for all $p \equiv 1 \mod 4$, the degree of a polynomial computing square roots has degree at least $p/3$. Our main new ingredient is a general lemma which may be of independent interest: powers of a low degree polynomial cannot have too many consecutive zero coefficients. The proof method also yields a robust version: any polynomial that computes square roots for 99\% of the squares also has degree almost $p/3$. In the other direction, a result of Agou, Deligl\'ese, and Nicolas (Designs, Codes, and Cryptography, 2003) shows that for infinitely many $p \equiv 1 \mod 4$, the degree of a polynomial computing square roots can be as small as $3p/8$.


title: A local-global principle for nonequilibrium steady states

abstract: The global steady state of a system in thermal equilibrium exponentially favors configurations with lesser energy. This principle is a powerful explanation of self-organization because energy is a local property of a configuration. For nonequilibrium systems, there is no such property for which an analogous principle holds, hence no common explanation of the diverse forms of self-organization they exhibit. However, a flurry of recent work demonstrates that a local property of configurations called "rattling" predicts the global steady states of a broad class of nonequilibrium systems. We interpret this emerging physical theory in terms of Markov processes to generalize and prove its main claims. Surprisingly, we find that the idea at the core of rattling theory is so general as to apply to equilibrium and nonequilibrium systems alike. Its predictions hold to an extent determined by the relative variance of, and correlation between, the local and global "parts" of an arbitrary steady state. We show how these key quantities characterize the local-global relationships of random walks on random graphs, various spin-glass dynamics, and models of animal collective behavior.


title: Strong law of large numbers for the generalized Fr\'{e}chet means with random minimizing domains

abstract: This paper introduces a novel extension of Fr\'{e}chet means, called \textit{generalized Fr\'{e}chet means} as a comprehensive framework for characterizing features in probability distributions in general topological spaces. The generalized Fr\'{e}chet means are defined as minimizers of a suitably defined cost function. The framework encompasses various extensions of Fr\'{e}chet means in the literature. The most distinctive difference of the new framework from the previous works is that we allow the domain of minimization of the empirical means be random and different from that of the population means. This expands the applicability of the Fr\'{e}chet mean framework to diverse statistical scenarios, including dimension reduction for manifold-valued data.


title: Structure-Aware Sparse-View X-ray 3D Reconstruction

abstract: X-ray, known for its ability to reveal internal structures of objects, is expected to provide richer information for 3D reconstruction than visible light. Yet, existing neural radiance fields (NeRF) algorithms overlook this important nature of X-ray, leading to their limitations in capturing structural contents of imaged objects. In this paper, we propose a framework, Structure-Aware X-ray Neural Radiodensity Fields (SAX-NeRF), for sparse-view X-ray 3D reconstruction. Firstly, we design a Line Segment-based Transformer (Lineformer) as the backbone of SAX-NeRF. Linefomer captures internal structures of objects in 3D space by modeling the dependencies within each line segment of an X-ray. Secondly, we present a Masked Local-Global (MLG) ray sampling strategy to extract contextual and geometric information in 2D projection. Plus, we collect a larger-scale dataset X3D covering wider X-ray applications. Experiments on X3D show that SAX-NeRF surpasses previous NeRF-based methods by 12.56 and 2.49 dB on novel view synthesis and CT reconstruction. Code, models, and data are released at https://github.com/caiyuanhao1998/SAX-NeRF


title: Reveal the Mathematical Structures of Honeyword Security Metrics

abstract: Honeyword is a representative ``honey" technique to detect intruders by luring them with decoy data. This kind of honey technique blends a primary object (from distribution $P$) with decoy samples (from distribution $Q$). In this research, we focus on two key Honeyword security metrics: the flatness function and the success-number function. Previous researchers are engaged in designing experimental methods to estimate their values. We've derived theoretical formulas on both metrics of the strongest $\mathcal{A}$ using the optimal guessing strategy, marking a first in the field. The mathematical structures of these metrics are intriguing: the flatness function has an expression as $\epsilon(i)=\sum_{j=1}^{i}\int_{0}^{+\infty}\tbinom{k-1}{j-1} f(x)G^{k-j}(x)(1-G(x))^{j-1}dx$. In particular, the most important one, $\epsilon(1)$ is $\frac{1}{k}(M-\int_{0}^{M}G^k(x)dx)+b$, where $M=\max_{x: Q(x)\neq 0}\frac{P(x)}{Q(x)}$, $b=\sum_{x: Q(x)=0}P(x)$, and $G$ is a cumulative distribution function derived from $P$ and $Q$. This formula provides a criterion to compare different honey distributions: the one with smaller $M$ and $b$ is more satisfactory. The mathematical structure of the success-number function is a series of convolutions with beta distribution kernels: $\lambda_U(i)=U\sum_{j=1}^{i}\int_{\frac{1}{k}}^{1} \frac{\phi(x)}{1-\phi(x)} \tbinom{U-1}{j-1} x^{U-j}(1-x)^{j-1}dx$, where $U$ is the number of users in the system and $\phi(x)$ is a monotonically increasing function. For further elaboration, we made some representative calculations. Our findings offer insights into security assessments for Honeyword and similar honey techniques, contributing to enhanced security measures in these systems.


title: Journey of Hallucination-minimized Generative AI Solutions for Financial Decision Makers

abstract: Generative AI has significantly reduced the entry barrier to the domain of AI owing to the ease of use and core capabilities of automation, translation, and intelligent actions in our day to day lives. Currently, Large language models (LLMs) that power such chatbots are being utilized primarily for their automation capabilities for software monitoring, report generation etc. and for specific personalized question answering capabilities, on a limited scope and scale. One major limitation of the currently evolving family of LLMs is 'hallucinations', wherein inaccurate responses are reported as factual. Hallucinations are primarily caused by biased training data, ambiguous prompts and inaccurate LLM parameters, and they majorly occur while combining mathematical facts with language-based context. Thus, monitoring and controlling for hallucinations becomes necessary when designing solutions that are meant for decision makers. In this work we present the three major stages in the journey of designing hallucination-minimized LLM-based solutions that are specialized for the decision makers of the financial domain, namely: prototyping, scaling and LLM evolution using human feedback. These three stages and the novel data to answer generation modules presented in this work are necessary to ensure that the Generative AI chatbots, autonomous reports and alerts are reliable and high-quality to aid key decision-making processes.


title: Classification Methods Based on Machine Learning for the Analysis of Fetal Health Data

abstract: The persistent battle to decrease childhood mortality serves as a commonly employed benchmark for gauging advancements in the field of medicine. Globally, the under-5 mortality rate stands at approximately 5 million, with a significant portion of these deaths being avoidable. Given the significance of this problem, Machine learning-based techniques have emerged as a prominent tool for assessing fetal health. In this work, we have analyzed the classification performance of various machine learning models for fetal health analysis. Classification performance of various machine learning models, such as support vector machine (SVM), random forest(RF), and attentive interpretable tabular learning (TabNet) have been assessed on fetal health. Moreover, dimensionality reduction techniques, such as Principal component analysis (PCA) and Linear discriminant analysis (LDA) have been implemented to obtain better classification performance with less number of features. A TabNet model on a fetal health dataset provides a classification accuracy of 94.36%. In general, this technology empowers doctors and healthcare experts to achieve precise fetal health classification and identify the most influential features in the process.


title: Learning Deterministic Finite Automata from Confidence Oracles

abstract: We discuss the problem of learning a deterministic finite automaton (DFA) from a confidence oracle. That is, we are given access to an oracle $Q$ with incomplete knowledge of some target language $L$ over an alphabet $\Sigma$; the oracle maps a string $x\in\Sigma^*$ to a score in the interval $[-1,1]$ indicating its confidence that the string is in the language. The interpretation is that the sign of the score signifies whether $x\in L$, while the magnitude $|Q(x)|$ represents the oracle's confidence. Our goal is to learn a DFA representation of the oracle that preserves the information that it is confident in. The learned DFA should closely match the oracle wherever it is highly confident, but it need not do this when the oracle is less sure of itself.


title: A Novel Method for Curating Quanti-Qualitative Content

abstract: This paper proposes a Researcher-in-the-Loop (RITL) guided content curation approach for quanti-qualitative research methods that uses a version control system based on consensus. The paper introduces a workflow for quanti-qualitative research processes that produces and consumes content versions through collaborative phases validated through consensus protocols performed by research teams. We argue that content versioning is a critical component that supports the research process's reproducibility, traceability, and rationale. We propose a curation framework that provides methods, protocols, and tools for supporting the RITL approach to managing the content produced by quanti-qualitative methods. The paper reports a validation experiment using a use case about the study on disseminating political statements in graffiti.


title: (Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in Coq

abstract: The k-d tree is a classic binary space-partitioning tree used to organize points in k-dimensional space. While used in computational geometry and graphics, the data structure has a long history of application in nearest neighbor search. The objective of the nearest neighbor search problem is to efficiently find the closest point(s) to a given query point, and is the basis, in turn, of common machine learning techniques. We present in this paper a case study in the certified implementation, using the Coq proof assistant, of k-d tree construction from a set of data and the accompanying K-nearest neighbors search algorithm. Our experience demonstrates an intuitive method for specifying properties of these algorithms using the notion of list permutations.


title: Robust Condition-Based Operations & Maintenance: Synergizing Multi-Asset Degradation Rate Interactions and Operations-Induced Degradation

abstract: Effective operations and maintenance (O&M) in modern production systems hinges on careful orchestration of economic and degradation dependencies across a multitude of assets. While the economic dependencies are well studied, degradation dependencies and their impact on system operations remain an open challenge. To address this challenge, we model condition-based production and maintenance decisions for multi-asset systems with degradation interactions. There is a rich literature on condition-based O&M policies for single-asset systems. These models fail to represent modern systems composed of multiple interacting assets. We are providing the first O&M model to optimize O&M in multi-asset systems with embedded decision-dependent degradation interactions. We formulate robust optimization models that inherently capture degradation and failure risks by embedding degradation signals via a set of constraints, and building condition-based uncertainty sets to model probable degradation scenarios. We offer multiple reformulations and a solution algorithm to ensure computational scalability. Performance of the proposed O&M model is evaluated through extensive experiments, where the degradation is either emulated or taken from vibration-based readings from a rotating machinery system. The proposed model provides significant improvements in terms of operation, maintenance, and reliability metrics. Due to a myriad of dependencies across assets and decisions, it is often difficult to translate asset-level failure predictions to system-level O&M decisions. This challenge puts a significant barrier to the return on investment in condition monitoring and smart maintenance systems. Our approach offers a seamless integration of data-driven failure modeling and mathematical programming to bridge the gap across predictive and prescriptive models.


title: Joint multifractal analysis of air temperature, relative humidity and reference evapotranspiration in the middle zone of the Guadalquivir river valley

abstract: Previous works have analysed the relationship existing between reference evapotranspiration (ET0) and other climatic variables under a one-at-a-time perturbation condition. However, due to the physical relationships between these climatic variables is advisable to study their joint influence on ET0. The box-counting joint multifractal algorithm describes the relations between variables using relevant information extracted from the data singularities. This work investigated the use of this algorithm to describe the simultaneous behaviour of ET0, calculated by means of Penman-Monteith (PM) equation, and relative humidity (RH) and air temperature (T), influencing on it in the middle zone of the Guadalquivir river valley, Andalusia, southern Spain. The studied cases were grouped according to the fractal dimension values, which were related to their probability of occurrence. The most likely cases were linked to smooth behaviour and weak dependence between variables, both circumstances were detected in the local multifractal analysis. For these cases, the rest of Penman Monteith (PM) equation variables, neither the T nor the RH, seemed to influence on ET0 determination, especially when low T values were involved. By contrast, the least frequent cases were those with variables showing high fluctuations and strong relationship between them. In these situations, when T is low, the ET0 is affected by the rest of PM equation variables. This fact confirmed T as main driver of ET0 because the higher T values the lesser influence of other climate variables on ET0. Joint multifractal analysis shows some limitations when it is applied to large number of variables, the results reported are promising and suggest the convenience of exploring the relationships between ET0 and other climatic variables not considered here with this framework such as wind speed and net radiation.


title: 2d Quantum Breakdown Model with Krylov Subspace Many-Body Localization

abstract: We propose a two-dimensional (2d) quantum breakdown model of hardcore bosons interacting with disordered spins, which resembles particles incident into supersaturated vapor. The model exhibits a strong fragmentation into Krylov subspaces in each symmetry sector. The Hamiltonian in each Krylov subspace maps to a single-particle problem in a Cayley tree-like graph, which enters a 2d many-body localization (MBL) phase beyond certain disorder strength $W_*$, as indicated by Poisson level spacing statistics and entanglement entropy growing as $\log t$ with time $t$. Our theoretical arguments suggest $W_*$ is finite or zero for boson number $N_b\lesssim L^\gamma/\log L$ ($1/2\le \gamma \le 1$) as system size $L\rightarrow\infty$. At zero disorder, the model also exhibits fully or partially solvable features, such as degenerate quantum scar states.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech


title: MATILDA: Inclusive Data Science Pipelines Design through Computational Creativity

abstract: We argue for the need for a new generation of data science solutions that can democratize recent advances in data engineering and artificial intelligence for non-technical users from various disciplines, enabling them to unlock the full potential of these solutions. To do so, we adopt an approach whereby computational creativity and conversational computing are combined to guide non-specialists intuitively to explore and extract knowledge from data collections. The paper introduces MATILDA, a creativity-based data science design platform, showing how it can support the design process of data science pipelines guided by human and computational creativity.


title: Formation-flying interferometry in geocentric orbits

abstract: Spacecraft formation flying serves as a method of astronomical instrumentation that enables the construction of large virtual structures in space. The formation-flying interferometry generally requires very-high control accuracy, and beyond-Earth orbits are typically selected. By contrast, this study proposes the use of geocentric orbits for formation-flying interferometry. A geocentric orbit is beneficial because of its economic accessibility and the availability of flight-proven technologies for formation-flying autonomy, safety, and management. Its feasibility depends on the existence of specific orbits that satisfy a small-disturbance environment with favorable observation conditions. This theory, developed based on celestial mechanics, indicates that small-perturbation regions tend to appear in higher-altitude and shorter-separation regions. Candidate orbits are identified in high Earth orbit for the triangular laser-interferometric gravitational-wave telescope, which is 100 km in size, and in medium Earth orbit for the linear astronomical interferometer, which is 0.5 km in size. A low Earth orbit with a separation of approximately 0.1 km may be suitable for experimental purposes. As shown in these examples, geocentric orbits are potentially applicable for various types of formation-flying interferometry.


title: Tetrationally Compact Entanglement Purification

abstract: This paper shows that entanglement can be purified using very little storage, assuming the only source of noise is in the quantum channel being used to share the entanglement. Entangled pairs with a target infidelity of $\epsilon$ can be created in $\tilde{O}(\log \frac{1}{\epsilon})$ time using $O(\log^{\ast} \frac{1}{\epsilon})$ storage space, where $\log^{\ast}$ is the iterated logarithm. This is achieved by using multiple stages of error detection, with boosting within each stage. For example, the paper shows that 11 qubits of noiseless storage is enough to turn entanglement with an infidelity of $1/3$ into entanglement with an infidelity of $10^{-1000000000000000000000000000}$.


title: Polynomial-Time Solutions for ReLU Network Training: A Complexity Classification via Max-Cut and Zonotopes

abstract: We investigate the complexity of training a two-layer ReLU neural network with weight decay regularization. Previous research has shown that the optimal solution of this problem can be found by solving a standard cone-constrained convex program. Using this convex formulation, we prove that the hardness of approximation of ReLU networks not only mirrors the complexity of the Max-Cut problem but also, in certain special cases, exactly corresponds to it. In particular, when $\epsilon\leq\sqrt{84/83}-1\approx 0.006$, we show that it is NP-hard to find an approximate global optimizer of the ReLU network objective with relative error $\epsilon$ with respect to the objective value. Moreover, we develop a randomized algorithm which mirrors the Goemans-Williamson rounding of semidefinite Max-Cut relaxations. To provide polynomial-time approximations, we classify training datasets into three categories: (i) For orthogonal separable datasets, a precise solution can be obtained in polynomial-time. (ii) When there is a negative correlation between samples of different classes, we give a polynomial-time approximation with relative error $\sqrt{\pi/2}-1\approx 0.253$. (iii) For general datasets, the degree to which the problem can be approximated in polynomial-time is governed by a geometric factor that controls the diameter of two zonotopes intrinsic to the dataset. To our knowledge, these results present the first polynomial-time approximation guarantees along with first hardness of approximation results for regularized ReLU networks.


title: Convex Optimization-based Model Predictive Control for Active Space Debris Removal Mission Guidance

abstract: A convex optimization-based model predictive control (MPC) algorithm for the guidance of active debris removal (ADR) missions is proposed in this work. A high-accuracy reference for the convex optimization is obtained through a split-Edelbaum approach that takes the effects of J2, drag, and eclipses into account. When the spacecraft deviates significantly from the reference trajectory, a new reference is calculated through the same method to reach the target debris. When required, phasing is integrated into the transfer. During the mission, the phase of the spacecraft is adjusted to match that of the target debris at the end of the transfer by introducing intermediate waiting times. The robustness of the guidance scheme is tested in a high-fidelity dynamical model that includes thrust errors and misthrust events. The guidance algorithm performs well without requiring successive convex iterations. Monte-Carlo simulations are conducted to analyze the impact of these thrust uncertainties on the guidance. Simulation results show that the proposed convex-MPC approach can ensure that the spacecraft can reach its target despite significant uncertainties and long-duration misthrust events.


title: Real symmetric $\Phi^4$-matrix model as Calogero-Moser model

abstract: We study a real symmetric $\Phi^4$-matrix model whose kinetic term is given by $\mathrm{Tr}( E \Phi^2)$, where $E$ is a positive diagonal matrix without degenerate eigenvalues. We show that the partition function of this matrix model corresponds to a zero-energy solution of a Sch\"odinger type equation with Calogero-Moser Hamiltonian. A family of differential equations satisfied by the partition function is also obtained from the Virasoro algebra.


title: Engage Wider Audience or Facilitate Quality Answers? a Mixed-methods Analysis of Questioning Strategies for Research Sensemaking on a Community Q&A Site

abstract: Discussing research-sensemaking questions on Community Question and Answering (CQA) platforms has been an increasingly common practice for the public to participate in science communication. Nonetheless, how users strategically craft research-sensemaking questions to engage public participation and facilitate knowledge construction is a significant yet less understood problem. To fill this gap, we collected 837 science-related questions and 157,684 answers from Zhihu, and conducted a mixed-methods study to explore user-developed strategies in proposing research-sensemaking questions, and their potential effects on public engagement and knowledge construction. Through open coding, we captured a comprehensive taxonomy of question-crafting strategies, such as eyecatching narratives with counter-intuitive claims and rigorous descriptions with data use. Regression analysis indicated that these strategies correlated with user engagement and answer construction in different ways (e.g., emotional questions attracted more views and answers), yet there existed a general divergence between wide participation and quality knowledge establishment, when most questioning strategies could not ensure both. Based on log analysis, we further found that collaborative editing afforded unique values in refining research-sensemaking questions regarding accuracy, rigor, comprehensiveness and attractiveness. We propose design implications to facilitate accessible, accurate and engaging science communication on CQA platforms.


title: First M87 Event Horizon Telescope Results. IX. Detection of Near-horizon Circular Polarization

abstract: Event Horizon Telescope (EHT) observations have revealed a bright ring of emission around the supermassive black hole at the center of the M87 galaxy. EHT images in linear polarization have further identified a coherent spiral pattern around the black hole, produced from ordered magnetic fields threading the emitting plasma. Here, we present the first analysis of circular polarization using EHT data, acquired in 2017, which can potentially provide additional insights into the magnetic fields and plasma composition near the black hole. Interferometric closure quantities provide convincing evidence for the presence of circularly polarized emission on event-horizon scales. We produce images of the circular polarization using both traditional and newly developed methods. All methods find a moderate level of resolved circular polarization across the image ($\langle|v|\rangle < 3.7\%$), consistent with the low image-integrated circular polarization fraction measured by the ALMA array ($|v_{\rm int}| < 1\%$). Despite this broad agreement, the methods show substantial variation in the morphology of the circularly polarized emission, indicating that our conclusions are strongly dependent upon the imaging assumptions because of the limited baseline coverage, uncertain telescope gain calibration, and weakly polarized signal. We include this upper limit in an updated comparison to general relativistic magnetohydrodynamic (GRMHD) simulation models. This analysis reinforces the previously reported preference for magnetically arrested accretion flow models. We find that most simulations naturally produce a low level of circular polarization consistent with our upper limit, and that Faraday conversion is likely the dominant production mechanism for circular polarization at 230 GHz in M87*.


title: Images Connect Us Together: Navigating a COVID-19 Local Outbreak in China Through Social Media Images

abstract: Social media images, curated or casual, have become a crucial component of communicating situational information and emotions during health crises. Despite its prevalence and significance in informational dissemination and emotional connection, there lacks a comprehensive understanding of visual crisis communication in the aftermath of a pandemic which is characterized by uncertain local situations and emotional fatigue. To fill this gap, this work collected 345,423 crisis-related posts and 65,376 original images during the Xi'an COVID-19 local outbreak in China, and adopted a mixed-methods approach to understanding themes, goals, and strategies of crisis imagery. Image clustering captured the diversity of visual themes during the outbreak, such as text images embedding authoritative guidelines and ``visual diaries'' recording and sharing the quarantine life. Through text classification of the post that visuals were situated in, we found that different visual themes highly correlated with the informational and emotional goals of the post text, such as adopting text images to convey the latest policies and sharing food images to express anxiety. We further unpacked nuanced strategies of crisis image use through inductive coding, such as signifying authority and triggering empathy. We discuss the opportunities and challenges of crisis imagery and provide design implications to facilitate effective visual crisis communication.


title: Total positivity and spectral theory for Toeplitz Hessenberg matrix ensembles

abstract: In this paper we define and lay the groundwork for studying a novel matrix ensemble: totally positive Hessenberg Toeplitz operators, denoted TPHT. This is the intersection of two ensembles that have been significantly explored: totally positive Hessenberg matrices (TPH) and Hessenberg Toeplitz matrices (HT). TPHT has a rich linear algebraic and spectral structure that we describe. Along the way we find some previously unnoticed connections between certain Toeplitz normal forms for matrices and Lie theoretic interpretations. We also numerically study the spectral asymptotics of TPH matrices via the TPHT ensemble and use this to open a study of TPHT with random symbols.


title: Asymptotic distributions of the average clustering coefficient and its variant

abstract: In network data analysis, summary statistics of a network can provide us with meaningful insight into the structure of the network. The average clustering coefficient is one of the most popular and widely used network statistics. In this paper, we investigate the asymptotic distributions of the average clustering coefficient and its variant of a heterogeneous Erd\"{o}s-R\'{e}nyi random graph. We show that the standardized average clustering coefficient converges in distribution to the standard normal distribution. Interestingly, the variance of the average clustering coefficient exhibits a phase transition phenomenon. The sum of weighted triangles is a variant of the average clustering coefficient. It is recently introduced to detect geometry in a network. We also derive the asymptotic distribution of the sum weighted triangles, which does not exhibit a phase transition phenomenon as the average clustering coefficient. This result signifies the difference between the two summary statistics.


title: Negativity volume of the generalized Wigner function in gravitating hybrid system

abstract: We evaluate the gravity-induced negativity volume of the generalized Wigner function in a hybrid system consisting of a particle in a two-localized superposition state and an oscillator. The generalized Wigner function can capture the nonclassicality of the system. The increase in the negativity volume of the generalized Wigner function can be an indicator of the entanglement generation, which is demonstrated in the hybrid system generating the gravity-induced entanglement in various initial states. Moreover, by comparing the behaviors of the negativity volume with the entanglement fidelity, we show that the nonclassical feature of entanglement is properly identified by the criterion based on the negativity volume of the generalized Wigner function when the oscillator is initially in a thermal state.


title: Global solvability for viscous free surface flows of infinite depth in three and higher dimensions

abstract: This paper is concerned with the global solvability for the Navier-Stokes equations describing viscous free surface flows of infinite depth in three and higher dimensions. We first prove time weighted estimates of solutions to a linearized system of the Navier-Stokes equations by time decay estimates of a $C_0$-analytic semigroup and maximal regularity estimates in an $L_p$-in-time and $L_q$-in-space setting with suitable $p$, $q$. The time weighted estimates then enable us to show the global solvability of the Navier-Stokes equations for small initial data by the contraction mapping principle.


title: Make Pixels Dance: High-Dynamic Video Generation

abstract: Creating high-dynamic videos such as motion-rich actions and sophisticated visual effects poses a significant challenge in the field of artificial intelligence. Unfortunately, current state-of-the-art video generation methods, primarily focusing on text-to-video generation, tend to produce video clips with minimal motions despite maintaining high fidelity. We argue that relying solely on text instructions is insufficient and suboptimal for video generation. In this paper, we introduce PixelDance, a novel approach based on diffusion models that incorporates image instructions for both the first and last frames in conjunction with text instructions for video generation. Comprehensive experimental results demonstrate that PixelDance trained with public data exhibits significantly better proficiency in synthesizing videos with complex scenes and intricate motions, setting a new standard for video generation.


title: Multiple View Geometry Transformers for 3D Human Pose Estimation

abstract: In this work, we aim to improve the 3D reasoning ability of Transformers in multi-view 3D human pose estimation. Recent works have focused on end-to-end learning-based transformer designs, which struggle to resolve geometric information accurately, particularly during occlusion. Instead, we propose a novel hybrid model, MVGFormer, which has a series of geometric and appearance modules organized in an iterative manner. The geometry modules are learning-free and handle all viewpoint-dependent 3D tasks geometrically which notably improves the model's generalization ability. The appearance modules are learnable and are dedicated to estimating 2D poses from image signals end-to-end which enables them to achieve accurate estimates even when occlusion occurs, leading to a model that is both accurate and generalizable to new cameras and geometries. We evaluate our approach for both in-domain and out-of-domain settings, where our model consistently outperforms state-of-the-art methods, and especially does so by a significant margin in the out-of-domain setting. We will release the code and models: https://github.com/XunshanMan/MVGFormer.


title: Black Hole Search in Dynamic Cactus Graph

abstract: We study the problem of black hole search by a set of mobile agents, where the underlying graph is a dynamic cactus. A black hole is a dangerous vertex in the graph that eliminates any visiting agent without leaving any trace behind. Key parameters that dictate the complexity of finding the black hole include: the number of agents required (termed as \textit{size}), the number of moves performed by the agents in order to determine the black hole location (termed as \textit{move}) and the \textit{time} (or round) taken to terminate. This problem has already been studied where the underlying graph is a dynamic ring \cite{di2021black}. In this paper, we extend the same problem to a dynamic cactus. We introduce two categories of dynamicity, but still the underlying graph needs to be connected: first, we examine the scenario where, at most, one dynamic edge can disappear or reappear at any round. Secondly, we consider the problem for at most $k$ dynamic edges. In both scenarios, we establish lower and upper bounds for the necessary number of agents, moves and rounds.


title: Lyman-alpha at Cosmic Noon I: Ly-alpha Spectral Type Selection of z ~ 2-3 Lyman Break Galaxies with Broadband Imaging

abstract: High-redshift Lyman break galaxies (LBGs) are efficiently selected in deep images using as few as three broadband filters, and have been shown to have multiple intrinsic and small- to large-scale environmental properties related to Lyman-alpha. In this paper we demonstrate a statistical relationship between net Lyman-alpha equivalent width (net Lya EW) and the optical broadband photometric properties of LBGs at z~2. We show that LBGs with the strongest net Lya EW in absorption (aLBGs) and strongest net Lya EW in emission (eLBGs) separate into overlapping but discrete distributions in $(U_n-R)$ colour and $R$-band magnitude space, and use this segregation behaviour to determine photometric criteria by which sub-samples with a desired Lya spectral type can be selected using data from as few as three broadband optical filters. We propose application of our result to current and future large-area and all-sky photometric surveys that will select hundreds of millions of LBGs across many hundreds to thousands of Mpc, and for which spectroscopic follow-up to obtain Lya spectral information is prohibitive. To this end, we use spectrophotometry of composite spectra derived from a sample of 798 LBGs divided into quartiles on the basis of net Lya EW to calculate criteria for the selection of Lya absorbing and Lya emitting populations of z~3 LBGs using $ugri$ broadband photometric data from the Vera Rubin Observatory Legacy Survey of Space and Time (LSST).


title: EdgeFM: Leveraging Foundation Model for Open-set Learning on the Edge

abstract: Deep Learning (DL) models have been widely deployed on IoT devices with the help of advancements in DL algorithms and chips. However, the limited resources of edge devices make these on-device DL models hard to be generalizable to diverse environments and tasks. Although the recently emerged foundation models (FMs) show impressive generalization power, how to effectively leverage the rich knowledge of FMs on resource-limited edge devices is still not explored. In this paper, we propose EdgeFM, a novel edge-cloud cooperative system with open-set recognition capability. EdgeFM selectively uploads unlabeled data to query the FM on the cloud and customizes the specific knowledge and architectures for edge models. Meanwhile, EdgeFM conducts dynamic model switching at run-time taking into account both data uncertainty and dynamic network variations, which ensures the accuracy always close to the original FM. We implement EdgeFM using two FMs on two edge platforms. We evaluate EdgeFM on three public datasets and two self-collected datasets. Results show that EdgeFM can reduce the end-to-end latency up to 3.2x and achieve 34.3% accuracy increase compared with the baseline.


title: Research on the Dynamic Evolution and Influencing Factors of Energy Resilience in China

abstract: Energy security is the guarantee for achieving the goal of carbon peaking and carbon neutrality, and exploring energy resilience is one of the important ways to promote energy security transition and adapt to changes in international and domestic energy markets. This paper applies the combined dynamic evaluation method to measure China's energy resilience level from 2004-2021, analyses the spatio-temporal dynamic evolution of China's energy resilience through the center of gravity-standard deviation ellipse and kernel density estimation, and employs geo-detectors to detect the main influencing factors and interactions of China's energy resilience. The study finds that:(1)China's energy resilience level generally shows a zigzagging forward development trend, and the spatial imbalance characteristic of China's energy resilience is more obvious.(2)The spatial dynamics of China's energy resilience level evolves in a northeast-southwest direction, and the whole moves towards the southwest, with an overall counterclockwise trend of constant offset.(3)When the energy resilience level of neighboring provinces is too low or too high, it has little effect on the improvement of the energy resilience level of the province; when the energy resilience level of neighboring provinces is 1-1.4, it has a positive spatial correlation with the energy resilience level of the province, and the synergistic development of the provinces can improve the energy resilience level together.(4)GDP, the number of employees, the number of employees enrolled in basic pension and medical insurance, and the number of patent applications in high-tech industries have a more significant impact on China's energy resilience, while China's energy resilience is affected by the interaction of multiple factors.


title: Expanding Scene Graph Boundaries: Fully Open-vocabulary Scene Graph Generation via Visual-Concept Alignment and Retention

abstract: Scene Graph Generation (SGG) offers a structured representation critical in many computer vision applications. Traditional SGG approaches, however, are limited by a closed-set assumption, restricting their ability to recognize only predefined object and relation categories. To overcome this, we categorize SGG scenarios into four distinct settings based on the node and edge: Closed-set SGG, Open Vocabulary (object) Detection-based SGG (OvD-SGG), Open Vocabulary Relation-based SGG (OvR-SGG), and Open Vocabulary Detection + Relation-based SGG (OvD+R-SGG). While object-centric open vocabulary SGG has been studied recently, the more challenging problem of relation-involved open-vocabulary SGG remains relatively unexplored. To fill this gap, we propose a unified framework named OvSGTR towards fully open vocabulary SGG from a holistic view. The proposed framework is an end-toend transformer architecture, which learns a visual-concept alignment for both nodes and edges, enabling the model to recognize unseen categories. For the more challenging settings of relation-involved open vocabulary SGG, the proposed approach integrates relation-aware pre-training utilizing image-caption data and retains visual-concept alignment through knowledge distillation. Comprehensive experimental results on the Visual Genome benchmark demonstrate the effectiveness and superiority of the proposed framework.


title: Checking complex networks indicators in search of singular episodes of the photochemical smog

abstract: A set of indicators derived from the analysis of complex networks have been introduced to identify singularities on a time series. To that end, the Visibility Graphs (VG) from three different signals related to photochemical smog (O3, NO2 concentration and temperature) have been computed. From the resulting complex network, the centrality parameters have been obtained and compared among them. Besides, they have been contrasted to two others that arise from a multifractal point of view, that have been widely used for singularity detection in many fields: the Holder and singularity exponents (specially the first one of them). The outcomes show that the complex network indicators give equivalent results to those already tested, even exhibiting some advantages such as the unambiguity and the more selective results. This suggest a favorable position as supplementary sources of information when detecting singularities in several environmental variables, such as pollutant concentration or temperature.


title: "Centralized or Decentralized?": Concerns and Value Judgments of Stakeholders in the Non-Fungible Tokens (NFTs) Market

abstract: Non-fungible tokens (NFTs) are decentralized digital tokens to represent the unique ownership of items. Recently, NFTs have been gaining popularity and at the same time bringing up issues, such as scams, racism, and sexism. Decentralization, a key attribute of NFT, contributes to some of the issues that are easier to regulate under centralized schemes, which are intentionally left out of the NFT marketplace. In this work, we delved into this centralization-decentralization dilemma in the NFT space through mixed quantitative and qualitative methods. Centralization-decentralization dilemma is the dilemma caused by the conflict between the slogan of decentralization and the interests of stakeholders. We first analyzed over 30,000 NFT-related tweets to obtain a high-level understanding of stakeholders' concerns in the NFT space. We then interviewed 15 NFT stakeholders (both creators and collectors) to obtain their in-depth insights into these concerns and potential solutions. Our findings identify concerning issues among users: financial scams, counterfeit NFTs, hacking, and unethical NFTs. We further reflected on the centralization-decentralization dilemma drawing upon the perspectives of the stakeholders in the interviews. Finally, we gave some inferences to solve the centralization-decentralization dilemma in the NFT market and thought about the future of NFT and decentralization.


title: Improving graph-based detection of singular events for photochemical smog agents

abstract: Recently, a set of graph-based tools have been introduced for the identification of singular events of O3, NO2 and temperature time series, as well as description of their dynamics. These are based on the use of the Visibility Graphs (VG). In this work, an improvement of the original approach is proposed, being called Upside-Down Visibility Graph (UDVG). It adds the possibility of investigating the singular lowest episodes, instead of the highest. Results confirm the applicability of the new method for describing the multifractal nature of the underlying O3, NO2, and temperature. Asymmetries in the NO2 degree distribution are observed, possibly due to the interaction with different chemicals. Furthermore, a comparison of VG and UDVG has been performed and the outcomes show that they describe opposite subsets of the time series (low and high values) as expected. The combination of the results from the two networks is proposed and evaluated, with the aim of obtaining all the information at once. It turns out to be a more complete tool for singularity detection in photochemical time series, which could be a valuable asset for future research.