title: On the Cauchy problem for a weakly dissipative Camassa-Holm equation in critical Besov spaces

abstract: In this paper, we mainly consider the Cauchy problem of a weakly dissipative Camassa-Holm equation. We first establish the local well-posedness of equation in Besov spaces $B^{s}_{p,r}$ with $s>1+\frac 1 p$ and $s=1+\frac 1 p , r=1,p\in [1,\infty).$ Then, we prove the global existence for small data, and present two blow-up criteria. Finally, we get two blow-up results, which can be used in the proof of the ill-posedness in critical Besov spaces.


title: Building an Icelandic Entity Linking Corpus

abstract: In this paper, we present the first Entity Linking corpus for Icelandic. We describe our approach of using a multilingual entity linking model (mGENRE) in combination with Wikipedia API Search (WAPIS) to label our data and compare it to an approach using WAPIS only. We find that our combined method reaches 53.9% coverage on our corpus, compared to 30.9% using only WAPIS. We analyze our results and explain the value of using a multilingual system when working with Icelandic. Additionally, we analyze the data that remain unlabeled, identify patterns and discuss why they may be more difficult to annotate.


title: A Simple Yet Efficient Method for Adversarial Word-Substitute Attack

abstract: NLP researchers propose different word-substitute black-box attacks that can fool text classification models. In such attack, an adversary keeps sending crafted adversarial queries to the target model until it can successfully achieve the intended outcome. State-of-the-art attack methods usually require hundreds or thousands of queries to find one adversarial example. In this paper, we study whether a sophisticated adversary can attack the system with much less queries. We propose a simple yet efficient method that can reduce the average number of adversarial queries by 3-30 times and maintain the attack effectiveness. This research highlights that an adversary can fool a deep NLP model with much less cost.


title: Frictional Authors

abstract: I present a method for text analysis based on an analogy with the dynamic friction of sliding surfaces. One surface is an array of points with a 'friction coefficient' derived from the distribution frequency of a text's alphabetic characters. The other surface is a test patch having points with this friction coefficient equal to a median value. Examples are presented from an analysis of a broad range of public domain texts, and comparison is made to the Flesch Reading Ease. Source code for the analysis program is provided.


title: Empathetic Conversational Systems: A Review of Current Advances, Gaps, and Opportunities

abstract: Empathy is a vital factor that contributes to mutual understanding, and joint problem-solving. In recent years, a growing number of studies have recognized the benefits of empathy and started to incorporate empathy in conversational systems. We refer to this topic as empathetic conversational systems. To identify the critical gaps and future opportunities in this topic, this paper examines this rapidly growing field using five review dimensions: (i) conceptual empathy models and frameworks, (ii) adopted empathy-related concepts, (iii) datasets and algorithmic techniques developed, (iv) evaluation strategies, and (v) state-of-the-art approaches. The findings show that most studies have centered on the use of the EMPATHETICDIALOGUES dataset, and the text-based modality dominates research in this field. Studies mainly focused on extracting features from the messages of the users and the conversational systems, with minimal emphasis on user modeling and profiling. Notably, studies that have incorporated emotion causes, external knowledge, and affect matching in the response generation models, have obtained significantly better results. For implementation in diverse real-world settings, we recommend that future studies should address key gaps in areas of detecting and authenticating emotions at the entity level, handling multimodal inputs, displaying more nuanced empathetic behaviors, and encompassing additional dialogue system features.


title: Going Beyond the Cookie Theft Picture Test: Detecting Cognitive Impairments using Acoustic Features

abstract: Standardized tests play a crucial role in the detection of cognitive impairment. Previous work demonstrated that automatic detection of cognitive impairment is possible using audio data from a standardized picture description task. The presented study goes beyond that, evaluating our methods on data taken from two standardized neuropsychological tests, namely the German SKT and a German version of the CERAD-NB, and a semi-structured clinical interview between a patient and a psychologist. For the tests, we focus on speech recordings of three sub-tests: reading numbers (SKT 3), interference (SKT 7), and verbal fluency (CERAD-NB 1). We show that acoustic features from standardized tests can be used to reliably discriminate cognitively impaired individuals from non-impaired ones. Furthermore, we provide evidence that even features extracted from random speech samples of the interview can be a discriminator of cognitive impairment. In our baseline experiments, we use OpenSMILE features and Support Vector Machine classifiers. In an improved setup, we show that using wav2vec 2.0 features instead, we can achieve an accuracy of up to 85%.


title: Physical origin of the dark spot at the image of supermassive black hole SgrA* revealed by the EHT collaboration

abstract: We elucidate the physical origin of the dark spot in the image of supermassive black hole SgrA* presented very recently by the EHT collaboration. It is argued that this dark spot, which is noticeably smaller than the classical black hole shadow, is the northern hemisphere of the event horizon globe. The classical black hole shadow is unseen in the image of SgrA*. The dark spot in the image of SgrA* is projected within the position of the classical black hole shadow on the celestial sphere. The outer boundary of this dark spot is an equator on the event horizon globe.


title: Feature-aware Diversified Re-ranking with Disentangled Representations for Relevant Recommendation

abstract: Relevant recommendation is a special recommendation scenario which provides relevant items when users express interests on one target item (e.g., click, like and purchase). Besides considering the relevance between recommendations and trigger item, the recommendations should also be diversified to avoid information cocoons. However, existing diversified recommendation methods mainly focus on item-level diversity which is insufficient when the recommended items are all relevant to the target item. Moreover, redundant or noisy item features might affect the performance of simple feature-aware recommendation approaches. Faced with these issues, we propose a Feature Disentanglement Self-Balancing Re-ranking framework (FDSB) to capture feature-aware diversity. The framework consists of two major modules, namely disentangled attention encoder (DAE) and self-balanced multi-aspect ranker. In DAE, we use multi-head attention to learn disentangled aspects from rich item features. In the ranker, we develop an aspect-specific ranking mechanism that is able to adaptively balance the relevance and diversity for each aspect. In experiments, we conduct offline evaluation on the collected dataset and deploy FDSB on KuaiShou app for online A/B test on the function of relevant recommendation. The significant improvements on both recommendation quality and user experience verify the effectiveness of our approach.


title: Generalization and Another Proof of Two Conjectural Identities Posed by Sun

abstract: We study two conjectural identities involving roots of unity and determinants of Hermitian matrices which have been recently proved by using the famous eigenvector-eigenvalue identity for normal matrices. In this note, we extend these identities to a general form by considering the class of circulant matrices suggested by Petrov. Furthermore, we give another proof to Sun's identities independent of the eigenvector-eigenvalue identity, where our strategy is built upon the similarity of an unnecessarily normal matrix to a particular one with integer eigenvalues, derived from the Fourier transform vectors suggested by Petrov.


title: A Fast Third-Step Second-Order Explicit Numerical Approach To Investigating and Forecasting The Dynamic of Corruption And Poverty In Cameroon

abstract: This paper constructs a third-step second-order numerical approach for solving a mathematical model on the dynamic of corruption and poverty. The stability and error estimates of the proposed technique are analyzed using the $L^{2}$-norm. The developed algorithm is at less zero-stable and second-order accurate. Furthermore, the new method is explicit, fast and more efficient than a large class of numerical schemes applied to nonlinear systems of ordinary differential equations and can serve as a robust tool for integrating general systems of initial-value problems. Some numerical examples confirm the theory and also consider the corruption and poverty in Cameroon.


title: Asymptotic Result of A Generalization of A GCD-Sum

abstract: In a paper in the American Mathematical Monthly, the corresponding author asks for an asymptotic of a gcd-sum function \begin{align}\sum_{ab\leq N}\tau(\gcd(a,b))\label{eqn:taugcdsum}\end{align} We extensively study generalizations of the sum in the aforementioned paper and establish asymptotic results using elementary methods only.


title: Vacuum stability of the scalar potential in the compact 341 model

abstract: By applying the concepts of copositivity and using the gauge orbit spaces on the scalar potential, we derive analytic necessary and sufficient conditions which guarantee the boundedness of the scalar potential in all the directions in the field space at the tree level in the context of the compact 341 model.


title: Comparative study in fair division algorithms

abstract: A comparison of four fair division algorithms performed on real data from the spliddit website. The comparison was made on the sum of agent's utilities, and the minimum utility for an agent in an allocation.


title: On a problem involving the squares of odd harmonic numbers

abstract: We introduce a full solution to a problem considered by Wang and Chu concerning series involving the squares of finite sums of the form $1 + \frac{1}{3}+ \cdots + \frac{1}{2n-1}$. Our proof involves techniques from the theory of colored multiple zeta values.


title: Hot-carrier transfer across a nanoparticle-molecule junction: The importance of orbital hybridization and level alignment

abstract: While direct hot-carrier transfer can increase photo-catalytic activity, it is difficult to discern experimentally and competes with several other mechanisms. To shed light on these aspects, here, we model from first principles hot-carrier generation across the interface between plasmonic nanoparticles and a CO molecule. The hot-electron transfer probability depends non-monotonically on the nanoparticle-molecule distance and can be effective at long distances, well outside the region of chemisorption; hot-hole transfer on the other hand is limited to shorter distances. These observations can be explained by the energetic alignment between molecular and nanoparticle states as well as the excitation frequency. The hybridization of the molecular orbitals is the key predictor for hot-carrier transfer in these systems, emphasizing the need to include the effects of ground state hybridization for accurate predictions. Finally, we show a non-trivial dependence of the hot-carrier distribution on the excitation energy, which could be exploited when optimizing photo-catalytic systems.


title: Spatial Cross-Attention Improves Self-Supervised Visual Representation Learning

abstract: Unsupervised representation learning methods like SwAV are proved to be effective in learning visual semantics of a target dataset. The main idea behind these methods is that different views of a same image represent the same semantics. In this paper, we further introduce an add-on module to facilitate the injection of the knowledge accounting for spatial cross correlations among the samples. This in turn results in distilling intra-class information including feature level locations and cross similarities between same-class instances. The proposed add-on can be added to existing methods such as the SwAV. We can later remove the add-on module for inference without any modification of the learned weights. Through an extensive set of empirical evaluations, we verify that our method yields an improved performance in detecting the class activation maps, top-1 classification accuracy, and down-stream tasks such as object detection, with different configuration settings.


title: Propagation reversal for bistable differential equations on trees

abstract: We study traveling wave solutions to bistable differential equations on infinite $k$-ary trees. These graphs generalize the notion of classical square infinite lattices and our results complement those for bistable lattice equations on $\mathbb{Z}$. Using comparison principles and explicit lower and upper solutions, we show that wave-solutions are pinned for small diffusion parameters. Upon increasing the diffusion, the wave starts to travel with non-zero speed, in a direction that depends on the detuning parameter. However, once the diffusion is sufficiently strong, the wave propagates in a single direction up the tree irrespective of the detuning parameter. In particular, our results imply that changes to the diffusion parameter can lead to a reversal of the propagation direction.


title: Explanation as Question Answering based on a Task Model of the Agent's Design

abstract: We describe a stance towards the generation of explanations in AI agents that is both human-centered and design-based. We collect questions about the working of an AI agent through participatory design by focus groups. We capture an agent's design through a Task-Method-Knowledge model that explicitly specifies the agent's tasks and goals, as well as the mechanisms, knowledge and vocabulary it uses for accomplishing the tasks. We illustrate our approach through the generation of explanations in Skillsync, an AI agent that links companies and colleges for worker upskilling and reskilling. In particular, we embed a question-answering agent called AskJill in Skillsync, where AskJill contains a TMK model of Skillsync's design. AskJill presently answers human-generated questions about Skillsync's tasks and vocabulary, and thereby helps explain how it produces its recommendations.


title: A finite compensation procedure for a certain class of two-dimensional random walks

abstract: Motivated by queueing applications, we consider a certain class of two-dimensional random walks for which their invariant measure is written as a linear combination of a finite number of product-form terms. In this work, we investigate under which conditions such an elegant solution can be derived by applying a finite compensation procedure. The conditions are formulated in terms of relations among the transition probabilities in the inner area, the boundaries as well as the origin. A thorough discussion on the importance of these conditions is also given.


title: Scalable Deep Gaussian Markov Random Fields for General Graphs

abstract: Machine learning methods on graphs have proven useful in many applications due to their ability to handle generally structured data. The framework of Gaussian Markov Random Fields (GMRFs) provides a principled way to define Gaussian models on graphs by utilizing their sparsity structure. We propose a flexible GMRF model for general graphs built on the multi-layer structure of Deep GMRFs, originally proposed for lattice graphs only. By designing a new type of layer we enable the model to scale to large graphs. The layer is constructed to allow for efficient training using variational inference and existing software frameworks for Graph Neural Networks. For a Gaussian likelihood, close to exact Bayesian inference is available for the latent field. This allows for making predictions with accompanying uncertainty estimates. The usefulness of the proposed model is verified by experiments on a number of synthetic and real world datasets, where it compares favorably to other both Bayesian and deep learning methods.


title: Solution of DeBERTaV3 on CommonsenseQA

abstract: We report the performance of DeBERTaV3 on CommonsenseQA in this report. We simply formalize the answer selection as a text classification for DeBERTaV3. The strong natural language inference ability of DeBERTaV3 helps its single and ensemble model set the new (w/o external knowledge) state-of-the-art on CommonsenseQA.


title: The Construction and Evaluation of the LEAFTOP Dataset of Automatically Extracted Nouns in 1480 Languages

abstract: The LEAFTOP (language extracted automatically from thousands of passages) dataset consists of nouns that appear in multiple places in the four gospels of the New Testament. We use a naive approach -- probabilistic inference -- to identify likely translations in 1480 other languages. We evaluate this process and find that it provides lexiconaries with accuracy from 42% (Korafe) to 99% (Runyankole), averaging 72% correct across evaluated languages. The process translates up to 161 distinct lemmas from Koine Greek (average 159). We identify nouns which appear to be easy and hard to translate, language families where this technique works, and future possible improvements and extensions. The claims to novelty are: the use of a Koine Greek New Testament as the source language; using a fully-annotated manually-created grammatically parse of the source text; a custom scraper for texts in the target languages; a new metric for language similarity; a novel strategy for evaluation on low-resource languages.


title: Divide (CPU Load) and Conquer: Semi-Flexible Cloud Resource Allocation

abstract: Cloud resource management is often modeled by two-dimensional bin packing with a set of items that correspond to tasks having fixed CPU and memory requirements. However, applications running in clouds are much more flexible: modern frameworks allow to (horizontally) scale a single application to dozens, even hundreds of instances; and then the load balancer can precisely divide the workload between them. We analyze a model that captures this (semi)-flexibility of cloud resource management. Each cloud application is characterized by its memory footprint and its momentary CPU load. Combining the scheduler and the load balancer, the resource manager decides how many instances of each application will be created and how the CPU load will be balanced between them. In contrast to the divisible load model, each instance of the application requires a certain amount of memory, independent of the number of instances. Thus, the resource manager effectively trades additional memory for more evenly balanced load. We study two objectives: the bin-packing-like minimization of the number of machines used; and the makespan-like minimization of the maximum load among all the machines. We prove NP-hardness of the general problems, but also propose polynomial-time exact algorithms for boundary special cases. Notably, we show that (semi)-flexibility may result in reducing the required number of machines by a tight factor of $2-\varepsilon$. For the general case, we propose heuristics that we validate by simulation on instances derived from the Azure trace.


title: Non-unital tracially approximated ${\rm C^*}$-algebras

abstract: In this paper, we introduce a class of non-unital tracial approximation ${\rm C^*}$-algebras. Consider the class of ${\rm C^*}$-algebras which are tracially $\mathcal{Z}$-absorbing (in the sense of Amint, Golestani, Jamali, Phillips's simple tracially $\mathcal{Z}$-absorbing or Castillejos, Li, Szabvo's tracial $\mathcal{Z}$-stability). Then $A$ is tracially $\mathcal{Z}$-absorbing for any simple ${\rm C^*}$-algebra $A$ in the corresponding class of non-unital tracial approximation ${\rm C^*}$-algebras.


title: Strong approximation of nonlinear filtering for multiscale McKean-Vlasov stochastic systems

abstract: This work concerns the nonlinear filtering problem of multiscale McKean-Vlasov stochastic systems where the whole systems depend on distributions of fast components. First of all, we prove that the slow component of the original system converges to an average system in the $L^{2p}$ ($p\geqslant 1$) sense. Moreover, we obtain the strong convergence order for the $L^2$ case. Then, given an observation process which depends on the slow component and its distribution, we show that the nonlinear filtering of the slow component and its distribution also converges to that of the average system in the $L^{q}$ ($p\geq 8, 1\leq q\leq \frac{p}{8}$) sense.


title: Constraints on Light Leptophilic Dark Matter Mediators from Decay Experiments

abstract: We study the influence of leptophilic dark matter interactions on decays of muons and ground state mesons in existing experiments. We consider a secluded dark sector exclusively interacting with leptons via either a (leptophilic) scalar or vector mediator. These interactions will therefore influence leptonic decays and deform the energy spectra. We first study the Michel decay of muons, $\mu^+\rightarrow e^+\nu_e \bar{\nu}_\mu$, which allow us to constrain the parameter space reasonably well. Secondly, the rare $\pi^\pm$, $K^\pm$, $D^\pm$ and $D_s^\pm$ decays to $e\nu$ will be considered. Scalar mediators would remove the Standard Model helicity suppression, so that strong constraints can be derived. The resulting bounds on the couplings of the light mediators to electrons and muons still turn out to be somewhat weaker than those from searches at low--energy $e^+e^-$ colliders and the magnetic moment of the muon, respectively. Finally, we show that kaon and pion decays basically exclude a ''Co--SIMP'' scenario where a scalar dark matter particle has a dimension--5 coupling to electrons.


title: Image Generation with Multimodal Priors using Denoising Diffusion Probabilistic Models

abstract: Image synthesis under multi-modal priors is a useful and challenging task that has received increasing attention in recent years. A major challenge in using generative models to accomplish this task is the lack of paired data containing all modalities (i.e. priors) and corresponding outputs. In recent work, a variational auto-encoder (VAE) model was trained in a weakly supervised manner to address this challenge. Since the generative power of VAEs is usually limited, it is difficult for this method to synthesize images belonging to complex distributions. To this end, we propose a solution based on a denoising diffusion probabilistic models to synthesise images under multi-model priors. Based on the fact that the distribution over each time step in the diffusion model is Gaussian, in this work we show that there exists a closed-form expression to the generate the image corresponds to the given modalities. The proposed solution does not require explicit retraining for all modalities and can leverage the outputs of individual modalities to generate realistic images according to different constraints. We conduct studies on two real-world datasets to demonstrate the effectiveness of our approach


title: Stability and electronic structure of NV centers at dislocation cores in diamond

abstract: We present a density functional theory analysis of the negatively charged nitrogen-vacancy (NV) defect complex located at or close to the core of 30$^\circ$ and 90$^\circ$ partial glide dislocations in diamond. Formation energies, electronic densities of states, structural deformations, hyperfine structure and zero-field splitting parameters of NV centers in such structurally distorted environments are analyzed. The formation energies of the NV centers are up to 3 eV lower at the dislocation cores compared to the bulk values of crystalline diamond. We found that the lowest energy configuration of the NV center at the core of a 30$^\circ$ partial glide dislocation is realized when the axis of the NV center is oriented parallel to the dislocation line. This special configuration has a stable triplet ground state. Its hyperfine constants and zero field splitting parameters deviate by only 3% from values of the bulk NV center. Hence, this is an interesting candidate for a self-assembly of a linear array of NV centers along the dislocation line.


title: Quantum heat engine based on a spin-orbit and Zeeman-coupled Bose-Einstein condensate

abstract: We explore the potential of a spin-orbit coupled Bose-Einstein condensate for thermodynamic cycles. For this purpose we propose a quantum heat engine based on a condensate with spin-orbit and Zeeman coupling as a working medium. The cooling and heating are simulated by contacts of the condensate with an external magnetized media and demagnetized media. We examine the condensate ground state energy and its dependence on the strength of the synthetic spin-orbit and Zeeman couplings and interatomic interaction. Then we study the efficiency of the proposed engine. The cycle has a critical value of spin-orbit coupling related to the engine maximum efficiency.


title: Sentiment analysis on electricity twitter posts

abstract: In today's world, everyone is expressive in some way, and the focus of this project is on people's opinions about rising electricity prices in United Kingdom and India using data from Twitter, a micro-blogging platform on which people post messages, known as tweets. Because many people's incomes are not good and they have to pay so many taxes and bills, maintaining a home has become a disputed issue these days. Despite the fact that Government offered subsidy schemes to compensate people electricity bills but it is not welcomed by people. In this project, the aim is to perform sentiment analysis on people's expressions and opinions expressed on Twitter. In order to grasp the electricity prices opinion, it is necessary to carry out sentiment analysis for the government and consumers in energy market. Furthermore, text present on these medias are unstructured in nature, so to process them we firstly need to pre-process the data. There are so many feature extraction techniques such as Bag of Words, TF-IDF (Term Frequency-Inverse Document Frequency), word embedding, NLP based features like word count. In this project, we analysed the impact of feature TF-IDF word level on electricity bills dataset of sentiment analysis. We found that by using TF-IDF word level performance of sentiment analysis is 3-4 higher than using N-gram features. Analysis is done using four classification algorithms including Naive Bayes, Decision Tree, Random Forest, and Logistic Regression and considering F-Score, Accuracy, Precision, and Recall performance parameters.


title: Fast synchronization of inhomogenous random automata

abstract: We examine the reset threshold of randomly generated deterministic automata. We present a simple proof that an automaton with a random mapping and two random permutation letters has a reset threshold of $\mathcal{O}\big( \sqrt{n \log^3 n} \big)$ with high probability, assuming only certain partial independence of the letters. Our observation is motivated by Nicaud (2014) providing a near-linear bound in the case of two random mapping letters, among multiple other results. The upper bound for the latter case has been recently improved by the breakthrough work of Chapuy and Perarnau (2023) to $\mathcal{O}(\sqrt{n} \log n)$.


title: Extemporaneous Mechanochemistry: Shockwave Induced Ultrafast Chemical Reactions Due to Intramolecular Strain Energy

abstract: Regions of energy localization referred to as hotspots are known to govern shock initiation and the run-to-detonation in energetic materials. Mounting computational evidence points to accelerated chemistry in hotspots from large intramolecular strains induced via the interactions between the shockwave and microstructure. However, definite evidence mapping intramolecular strain to accelerated or altered chemical reactions has so far been elusive. From a large-scale reactive molecular dynamics simulation of the energetic material TATB, we map molecular temperature and intramolecular strain energy prior to reaction to decomposition kinetics. Both temperature and intramolecular strain are shown to accelerate chemical kinetics. A detailed analysis of the atomistic trajectory shows that intramolecular strain can induce a mechanochemical alteration of decomposition mechanisms. The results in this paper can inform continuum-level chemistry models to account for a wide range of mechanochemical effects.


title: On boundary value problems for inhomogeneous Beltrami equations

abstract: We give here results on the existence of nonclassical solutions of the Hilbert boundary value problem in terms of the so-called angular limits (along nontangent curves to the boundary) for Beltrami equations with sources in Jordan domains satisfying the quasihyperbolic boundary condition by Gehring-Martio, generally speaking, without $(A)-$condition by Ladyzhenskaya-Ural'tseva and, in particular, without the known outer cone condition that were standard for boundary value problems in the PDE theory. Assuming that the coefficients of the problem are functions of countable bounded variation and the boundary data are measurable with respect to the logarithmic capacity, we prove the existence of locally H\"older continuous solutions of the problem. Moreover, we prove similar results on the Hilbert boundary value problem with its arbitrary measurable boundary data as well as coefficients in finitely connected Jordan domains along the so-called general Bagemihl-Seidel systems of Jordan arcs to their boundaries. In the same terms, we formulate theorems on the existence of regular solutions of the known Riemann boundary value problems, including nonlinear, with arbitrary measurable coefficients for the nonhomogeneous Beltrami equations. We give also the representation of obtained solutions through the so-called generalized analytic functions with sources. Finally, we formulate similar results on Poincare and Neumann problems for the Poisson type equations that are main in hydromechanics (mechanics of incompressible fluids) in anisotropic and inhomogeneous media. We give here the representation of their solutions through the so-called generalized harmonic functions with sources that describe the corresponding physical processes in iso\-tro\-pic and homogeneous media.


title: Tensorization of $p$-weak differentiable structures

abstract: We consider $p$-weak differentiable structures that were recently introduced by the first and last named authors, and prove that the product of $p$-weak charts is a $p$-weak chart. This implies that the product of two spaces with a $p$-weak differentiable structure also admits a $p$-weak differentiable structure. We make partial progress on the tensorization problem of Sobolev spaces by showing an isometric embedding result. Further, we establish tensorization when one of the factors is PI.


title: A GPU-Accelerated Light-field Super-resolution Framework Based on Mixed Noise Model and Weighted Regularization

abstract: This paper presents a GPU-accelerated computational framework for reconstructing high resolution (HR) LF images under a mixed Gaussian-Impulse noise condition. The main focus is on developing a high-performance approach considering processing speed and reconstruction quality. From a statistical perspective, we derive a joint $\ell^1$-$\ell^2$ data fidelity term for penalizing the HR reconstruction error taking into account the mixed noise situation. For regularization, we employ the weighted non-local total variation approach, which allows us to effectively realize LF image prior through a proper weighting scheme. We show that the alternating direction method of multipliers algorithm (ADMM) can be used to simplify the computation complexity and results in a high-performance parallel computation on the GPU Platform. An extensive experiment is conducted on both synthetic 4D LF dataset and natural image dataset to validate the proposed SR model's robustness and evaluate the accelerated optimizer's performance. The experimental results show that our approach achieves better reconstruction quality under severe mixed-noise conditions as compared to the state-of-the-art approaches. In addition, the proposed approach overcomes the limitation of the previous work in handling large-scale SR tasks. While fitting within a single off-the-shelf GPU, the proposed accelerator provides an average speedup of 2.46$\times$ and 1.57$\times$ for $\times 2$ and $\times 3$ SR tasks, respectively. In addition, a speedup of $77\times$ is achieved as compared to CPU execution.


title: Equilibrium and stiffness study of clustered tensegrity structures with the consideration of pulley sizes

abstract: This paper presents the equilibrium and stiffness study of clustered tensegrity structures (CTS) considering pulley sizes. We first derive the geometric relationship between clustered strings and pulleys, where the nodal vector is chosen as the generalized coordinate. Then, the equilibrium equations of the clustered tensegrity structure with pulleys based on the Lagrangian method are given. Since the stiffness of a structure is usually weakened when using clustering strings, we formulate the tangent stiffness matrix equations for analysis. It is also shown that as pulley sizes go to zero, the governing equations of the clustered tensegrity system with pulleys yield to the classical clustered tensegrity structure without pulleys, which is consistent with the existing literature. Three examples are demonstrated to validate the given theory. The proposed method allows one to conduct equilibrium, stiffness, and robustness studies of cluster tensegrity structures with pulleys. Nevertheless, the approach developed in this paper is not limited to the tensegrity structures. It can also be applied to a wide range of applications with pulley-rope systems, such as drilling rigs, ocean platform anchors, and cargo cranes.


title: Denoising Generalized Expectation-Consistent Approximation for MR Image Recovery

abstract: To solve inverse problems, plug-and-play (PnP) methods replace the proximal step in a convex optimization algorithm with a call to an application-specific denoiser, often implemented using a deep neural network (DNN). Although such methods yield accurate solutions, they can be improved. For example, denoisers are usually designed/trained to remove white Gaussian noise, but the denoiser input error in PnP algorithms is usually far from white or Gaussian. Approximate message passing (AMP) methods provide white and Gaussian denoiser input error, but only when the forward operator is sufficiently random. In this work, for Fourier-based forward operators, we propose a PnP algorithm based on generalized expectation-consistent (GEC) approximation -- a close cousin of AMP -- that offers predictable error statistics at each iteration, as well as a new DNN denoiser that leverages those statistics. We apply our approach to magnetic resonance (MR) image recovery and demonstrate its advantages over existing PnP and AMP methods.


title: Improved Approximation for Fair Correlation Clustering

abstract: Correlation clustering is a ubiquitous paradigm in unsupervised machine learning where addressing unfairness is a major challenge. Motivated by this, we study Fair Correlation Clustering where the data points may belong to different protected groups and the goal is to ensure fair representation of all groups across clusters. Our paper significantly generalizes and improves on the quality guarantees of previous work of Ahmadi et al. and Ahmadian et al. as follows. - We allow the user to specify an arbitrary upper bound on the representation of each group in a cluster. - Our algorithm allows individuals to have multiple protected features and ensure fairness simultaneously across them all. - We prove guarantees for clustering quality and fairness in this general setting. Furthermore, this improves on the results for the special cases studied in previous work. Our experiments on real-world data demonstrate that our clustering quality compared to the optimal solution is much better than what our theoretical result suggests.


title: Temporal Inductive Logic Reasoning over Hypergraphs

abstract: Inductive logic reasoning is a fundamental task in graph analysis, which aims to generalize patterns from data. This task has been extensively studied for traditional graph representations, such as knowledge graphs (KGs), using techniques like inductive logic programming (ILP). Existing ILP methods assume learning from KGs with static facts and binary relations. Beyond KGs, graph structures are widely present in other applications such as procedural instructions, scene graphs, and program executions. While ILP is beneficial for these applications, applying it to those graphs is nontrivial: they are more complex than KGs, which usually involve timestamps and n-ary relations, effectively a type of hypergraph with temporal events. In this work, we propose temporal inductive logic reasoning (TILR), an ILP method that reasons on temporal hypergraphs. To enable hypergraph reasoning, we introduce the multi-start random B-walk, a novel graph traversal method for hypergraphs. By combining it with a path-consistency algorithm, TILR learns logic rules by generalizing from both temporal and relational data. To address the lack of hypergraph benchmarks, we create and release two temporal hypergraph datasets: YouCook2-HG and nuScenes-HG. Experiments on these benchmarks demonstrate that TILR achieves superior reasoning capability over various strong baselines.


title: Meta-data Study in Autism Spectrum Disorder Classification Based on Structural MRI

abstract: Accurate diagnosis of autism spectrum disorder (ASD) based on neuroimaging data has significant implications, as extracting useful information from neuroimaging data for ASD detection is challenging. Even though machine learning techniques have been leveraged to improve the information extraction from neuroimaging data, the varying data quality caused by different meta-data conditions (i.e., data collection strategies) limits the effective information that can be extracted, thus leading to data-dependent predictive accuracies in ASD detection, which can be worse than random guess in some cases. In this work, we systematically investigate the impact of three kinds of meta-data on the predictive accuracy of classifying ASD based on structural MRI collected from 20 different sites, where meta-data conditions vary.


title: Coswara: A website application enabling COVID-19 screening by analysing respiratory sound samples and health symptoms

abstract: The COVID-19 pandemic has accelerated research on design of alternative, quick and effective COVID-19 diagnosis approaches. In this paper, we describe the Coswara tool, a website application designed to enable COVID-19 detection by analysing respiratory sound samples and health symptoms. A user using this service can log into a website using any device connected to the internet, provide there current health symptom information and record few sound sampled corresponding to breathing, cough, and speech. Within a minute of analysis of this information on a cloud server the website tool will output a COVID-19 probability score to the user. As the COVID-19 pandemic continues to demand massive and scalable population level testing, we hypothesize that the proposed tool provides a potential solution towards this.


title: A No-reference Quality Assessment Metric for Point Cloud Based on Captured Video Sequences

abstract: Point cloud is one of the most widely used digital formats of 3D models, the visual quality of which is quite sensitive to distortions such as downsampling, noise, and compression. To tackle the challenge of point cloud quality assessment (PCQA) in scenarios where reference is not available, we propose a no-reference quality assessment metric for colored point cloud based on captured video sequences. Specifically, three video sequences are obtained by rotating the camera around the point cloud through three specific orbits. The video sequences not only contain the static views but also include the multi-frame temporal information, which greatly helps understand the human perception of the point clouds. Then we modify the ResNet3D as the feature extraction model to learn the correlation between the capture videos and corresponding subjective quality scores. The experimental results show that our method outperforms most of the state-of-the-art full-reference and no-reference PCQA metrics, which validates the effectiveness of the proposed method.


title: A Fresh Look at AGN Spectral Energy Distribution Fitting with the XMM-SERVS AGN Sample

abstract: We perform spectral energy distribution (SED) fitting to 711 luminous X-ray AGN at 0.7 < z < 4.5 using 10-bands of optical and infra-red photometric data for objects within XMM-SERVS. This fitting provided 510 reliable (reduced $\chi ^2 < 3$) inferences on AGN and host galaxy properties. The AGN optical (3000\r{A}) luminosity inferred from SED-fitting is found to correlate with the measured X-ray (2-10 keV) luminosity, in good agreement with previous work. Using X-ray hardness as a proxy for AGN obscuration, we also study the differences in the host galaxy properties of obscured and unobscured AGN. Both populations have consistent stellar masses (log$_{10}(M_*/M_{\odot})$ = 10.88 $\pm0.09M_\odot$ and log$_{10}(M_*/M_{\odot})$ = 10.8 $\pm0.1M_\odot$ for unobscured and obscured AGN respectively). We also find evidence for varying AGN emission line properties from a standard AGN template in 18.8% of the sample with a reduced $\chi^2 < 3$ where the inclusion of an additional emission line strength free parameter was found to improve the quality of the fit. Comparison of these fits to SDSS spectra showed that emission line properties inferred from broadband photometry were consistent with the results from spectroscopy for 91% of objects. We find that the presence of weaker, more blueshifted emission lines as inferred from the SED fits are associated with more negative values of $\alpha_{ox}$. While the correlation between the hardness of the ionising SED and the emission line properties has been known for some time, we are able to derive this correlation purely from broadband photometry.


title: On Neural Architecture Inductive Biases for Relational Tasks

abstract: Current deep learning approaches have shown good in-distribution generalization performance, but struggle with out-of-distribution generalization. This is especially true in the case of tasks involving abstract relations like recognizing rules in sequences, as we find in many intelligence tests. Recent work has explored how forcing relational representations to remain distinct from sensory representations, as it seems to be the case in the brain, can help artificial systems. Building on this work, we further explore and formalize the advantages afforded by 'partitioned' representations of relations and sensory details, and how this inductive bias can help recompose learned relational structure in newly encountered settings. We introduce a simple architecture based on similarity scores which we name Compositional Relational Network (CoRelNet). Using this model, we investigate a series of inductive biases that ensure abstract relations are learned and represented distinctly from sensory data, and explore their effects on out-of-distribution generalization for a series of relational psychophysics tasks. We find that simple architectural choices can outperform existing models in out-of-distribution generalization. Together, these results show that partitioning relational representations from other information streams may be a simple way to augment existing network architectures' robustness when performing out-of-distribution relational computations.


title: Rotating Lee-Wick Black Hole and Thermodynamics

abstract: We derive a singular solution for the rotating counterpart of Lee-Wick gravity having a point source in a higher-derivative theory. We critically analyze the thermodynamics of such a thermal system by evaluating mass parameters, angular velocity, and Hawking temperature. The system follows the first law of thermodynamics and leads to the expression of entropy. We further discuss the stability and phase transition of the theory by evaluating heat capacity and free energy. The phase transition occurs at the point of divergence and the temperature is maximum. Remarkably, the black hole is unstable for a small horizon radius and stable for a large horizon radius.


title: A time-symmetric generalization of quantum mechanics

abstract: I propose a time-symmetric generalization of quantum mechanics that is inspired by scattering theory. The model postulates two interacting quantum states, one traveling forward in time and one backward in time. The interaction is modeled by a unitary scattering operator. I show that this model is equivalent to pseudo-unitary quantum mechanics.


title: Simulation, Modeling and Prediction of a Pharmacodynamic Animal Tissue Culture Compartment Model by Physical Informed Neural Network

abstract: Compartment models of cell culture are widely used in cytology, pharmacology, toxicology and other fields. Numerical simulation, data modeling and prediction of compartment models can be realized by traditional differential equation modeling methods. At the same time, with the development of software and hardware, Physical Informed Neural Network (PINN) is widely used to solve differential equation models. This work models, simulates and predicts the cell culture compartment model based on the machine learning framework PyTorch with an 16 hidden layers neural network, including 8 linear layers and 8 feedback active layers. The results showed a loss value of 0.0004853 for three-component four-parameter quantitative pharmacodynamic model predictions in this way, which is evaluated by Mean Square Error (MSE). In summary, Physical Informed Neural Network can serve as an effective tool to deal with cell culture compartment models and may perform better in dealing with big datasets.


title: Social Network Structure Shapes Innovation: Experience-sharing in RL with SAPIENS

abstract: Human culture relies on innovation: our ability to continuously explore how existing elements can be combined to create new ones. Innovation is not solitary, it relies on collective search and accumulation. Reinforcement learning (RL) approaches commonly assume that fully-connected groups are best suited for innovation. However, human laboratory and field studies have shown that hierarchical innovation is more robustly achieved by dynamic social network structures. In dynamic settings, humans oscillate between innovating individually or in small clusters, and then sharing outcomes with others. To our knowledge, the role of social network structure on innovation has not been systematically studied in RL. Here, we use a multi-level problem setting (WordCraft), with three different innovation tasks to test the hypothesis that the social network structure affects the performance of distributed RL algorithms. We systematically design networks of DQNs sharing experiences from their replay buffers in varying structures (fully-connected, small world, dynamic, ring) and introduce a set of behavioral and mnemonic metrics that extend the classical reward-focused evaluation framework of RL. Comparing the level of innovation achieved by different social network structures across different tasks shows that, first, consistent with human findings, experience sharing within a dynamic structure achieves the highest level of innovation in tasks with a deceptive nature and large search spaces. Second, experience sharing is not as helpful when there is a single clear path to innovation. Third, the metrics we propose, can help understand the success of different social network structures on different tasks, with the diversity of experiences on an individual and group level lending crucial insights.


title: Glyph from Icon -- Automated Generation of Metaphoric Glyphs

abstract: Metaphoric glyphs enhance the readability and learnability of abstract glyphs used for the visualization of quantitative multidimensional data by building upon graphical entities that are intuitively related to the underlying problem domain. Their construction is, however, a predominantly manual process. In this paper, we introduce the Glyph-from-Icon (GfI) approach that allows the automated generation of metaphoric glyphs from user specified icons. Our approach modifies the icon's visual appearance using up to seven quantifiable visual variables, three of which manipulate its geometry while four affect its color. Depending on the visualization goal, specific combinations of these visual variables define the glyphs's variables used for data encoding. Technically, we propose a diffusion-curve based parametric icon representation, which comprises the degrees-of-freedom related to the geometric and color-based visual variables. Moreover, we extend our GfI approach to achieve scalability of the generated glyphs. Based on a user study we evaluate the perception of the glyph's main variables, i.e., amplitude and frequency of geometric and color modulation, as function of the stimuli and deduce functional relations as well as quantization levels to achieve perceptual monotonicity and readability. Finally, we propose a robustly perceivable combination of visual variables, which we apply to the visualization of COVID-19 data.


title: Distinct Partitions and Some q-Binomial Summation Identities

abstract: The partition functions $P(n,m,p)$, the number of integer partitions of $n$ into exactly $m$ parts with each part at most $p$, and $Q(n,m,p)$, the number of integer partitons of $n$ into exactly $m$ distinct parts with each part at most $p$, are related by double summation identities which follow from their generating functions. From these identities and some identities from an earlier paper, some other identities involving distinct partitions and some q-binomial summation identities are proved, and from these follow some combinatorial identities.


title: The tempered space-fractional Cattaneo equation

abstract: We consider the time-fractional Cattaneo equation involving the tempered Caputo space-fractional derivative. We find the characteristic function of the related process and we explain the main differences with previous stochastic treatments of the time-fractional Cattaneo equation.


title: The minimal length is physical

abstract: In this paper, we clarify a foundational loose end affecting the phenomenological approach to quantum gravity centered around the generalization of Heisenberg uncertainty principle. This misconception stems from a series of recently published works in which perturbative and non-perturbative methods are confused, thereby resulting in a blurring of the distinction between changes in the deformed algebra and changes in the representation of operators. Accordingly, this reasoning would render the existence of a minimal length representation-dependent, and thus unphysical.


title: Galaxy and Mass Assembly (GAMA): Probing galaxy-group correlations in redshift space with the halo streaming model

abstract: We have studied the galaxy-group cross-correlations in redshift space for the Galaxy And Mass Assembly (GAMA) Survey. We use a set of mock GAMA galaxy and group catalogues to develop and test a novel 'halo streaming' model for redshift-space distortions. This treats 2-halo correlations via the streaming model, plus an empirical 1-halo term derived from the mocks, allowing accurate modelling into the nonlinear regime. In order to probe the robustness of the growth rate inferred from redshift-space distortions, we divide galaxies by colour, and divide groups according to their total stellar mass, calibrated to total mass via gravitational lensing. We fit our model to correlation data, to obtain estimates of the perturbation growth rate, $f\sigma_8$, validating parameter errors via the dispersion between different mock realizations. In both mocks and real data, we demonstrate that the results are closely consistent between different subsets of the group and galaxy populations, considering the use of correlation data down to some minimum projected radius, $r_{\rm min}$. For the mock data, we can use the halo streaming model to below $r_{\rm min} = 5h^{-1}$ Mpc, finding that all subsets yield growth rates within about 3% of each other, and consistent with the true value. For the actual GAMA data, the results are limited by cosmic variance: $f\sigma_8=0.29\pm 0.10$ at an effective redshift of 0.20; but there is every reason to expect that this method will yield precise constraints from larger datasets of the same type, such as the DESI bright galaxy survey.


title: Experimental Evaluation of Visual-Inertial Odometry Systems for Arable Farming

abstract: The farming industry constantly seeks the automation of different processes involved in agricultural production, such as sowing, harvesting and weed control. The use of mobile autonomous robots to perform those tasks is of great interest. Arable lands present hard challenges for Simultaneous Localization and Mapping (SLAM) systems, key for mobile robotics, given the visual difficulty due to the highly repetitive scene and the crop leaves movement caused by the wind. In recent years, several Visual-Inertial Odometry (VIO) and SLAM systems have been developed. They have proved to be robust and capable of achieving high accuracy in indoor and outdoor urban environments. However, they were not properly assessed in agricultural fields. In this work we assess the most relevant state-of-the-art VIO systems in terms of accuracy and processing time on arable lands in order to better understand how they behave on these environments. In particular, the evaluation is carried out on a collection of sensor data recorded by our wheeled robot in a soybean field, which was publicly released as the Rosario Dataset. The evaluation shows that the highly repetitive appearance of the environment, the strong vibration produced by the rough terrain and the movement of the leaves caused by the wind, expose the limitations of the current state-of-the-art VIO and SLAM systems. We analyze the systems failures and highlight the observed drawbacks, including initialization failures, tracking loss and sensitivity to IMU saturation. Finally, we conclude that even though certain systems like ORB-SLAM3 and S-MSCKF show good results with respect to others, more improvements should be done to make them reliable in agricultural fields for certain applications such as soil tillage of crop rows and pesticide spraying.


title: Model-based machine learning of critical brain dynamics

abstract: Criticality can be exactly demonstrated in certain models of brain activity, yet it remains challenging to identify in empirical data. We trained a fully connected deep neural network to learn the phases of an excitable model unfolding on the anatomical connectome of human brain. This network was then applied to brain-wide fMRI data acquired during the descent from wakefulness to deep sleep. We report high correlation between the predicted proximity to the critical point and the exponents of cluster size distributions, indicative of subcritical dynamics. This result demonstrates that conceptual models can be leveraged to identify the dynamical regime of real neural systems.


title: Boosting current-induced molecular dynamics with machine-learning potential

abstract: In a current-carrying single-molecular junction (SMJ), a hierarchy of hybrid energy transport processes takes place under a highly nonequilibrium situation, including energy transfer from electrons to molecular vibrations via electron-vibration interaction, energy redistribution within different vibrational modes via anharmonic coupling, and eventual energy transport to surrounding electrodes. A comprehensive understanding of such processes is a prerequisite for their potential applications as single-molecular devices. $Ab$ $initio$ current-induced molecular dynamics (MD) is an ideal approach to address this complicated problem. But the computational cost hinders its usage in systematic study of realistic SMJs. Here, we achieve orders of magnitude improvement in the speed of MD simulation by employing machine-learning potential with accuracy comparable to density functional theory. Using this approach, we show that SMJs with graphene electrodes generate order of magnitude less heating than those with gold electrodes. Our work illustrates the superior heat transport property of graphene as electrodes for SMJs, thanks to its better phonon spectral overlap with molecular vibrations.


title: Feedback cooling Bose gases to quantum degeneracy

abstract: Degenerate quantum gases are instrumental in advancing many-body quantum physics and underpin emerging precision sensing technologies. All state-of-the-art experiments use evaporative cooling to achieve the ultracold temperatures needed for quantum degeneracy, yet evaporative cooling is extremely lossy: more than 99.9% of the gas is discarded. Such final particle number limitations constrain imaging resolution, gas lifetime, and applications leveraging macroscopic quantum coherence. Here we show that atomic Bose gases can be cooled to quantum degeneracy using real-time feedback, an entirely new method that does not suffer the same limitations as evaporative cooling. Through novel quantum-field simulations and scaling arguments, we demonstrate that an initial low-condensate-fraction thermal Bose gas can be cooled to a high-purity Bose-Einstein condensate (BEC) by feedback control, with substantially lower atomic loss than evaporative cooling. Advantages of feedback cooling are found to be robust to imperfect detection, finite resolution of the control and measurement, time delay in the control loop, and spontaneous emission. Using feedback cooling to create degenerate sources with high coherence and low entropy enables new capabilities in precision measurement, atomtronics, and few- and many-body quantum physics.


title: Fundamental Limits in Formal Verification of Message-Passing Neural Networks

abstract: Output reachability and adversarial robustness are among the most relevant safety properties of neural networks. We show that in the context of Message Passing Neural Networks (MPNN), a common Graph Neural Network (GNN) model, formal verification is impossible. In particular, we show that output reachability of graph-classifier MPNN, working over graphs of unbounded size, non-trivial degree and sufficiently expressive node labels, cannot be verified formally: there is no algorithm that answers correctly (with yes or no), given an MPNN, whether there exists some valid input to the MPNN such that the corresponding output satisfies a given specification. However, we also show that output reachability and adversarial robustness of node-classifier MPNN can be verified formally when a limit on the degree of input graphs is given a priori. We discuss the implications of these results, for the purpose of obtaining a complete picture of the principle possibility to formally verify GNN, depending on the expressiveness of the involved GNN models and input-output specifications.


title: Non-unital Ore extensions

abstract: In this article, we study Ore extensions of non-unital associative rings. We provide a characterization of simple non-unital differential polynomial rings $R[x;\delta]$, under the hypothesis that $R$ is $s$-unital and $\ker(\delta)$ contains a nonzero idempotent. This result generalizes a result by \"Oinert, Richter and Silvestrov from the unital setting. We also present a family of examples of simple non-unital differential polynomial rings.


title: Reduced-scaling double hybrid DFT with rapid basis set convergence through localized pair natural orbital F12

abstract: Following earlier work [Mehta, N.; Martin, J. M. L.; J. Chem. Theory Comput. 2022, 18, acs.jctc.2c00426] that showed how the slow basis set convergence of double hybrid density functional theory can be obviated by the use of F12 explicit correlation in the GLPT2 step (second order G\"orling-Levy perturbation theory), we demonstrate here, for the very large and chemically diverse GMTKN55 benchmark suite, and using the B2GP-PLYP-D3BJ functional as a proof of principle, that the CPU time scaling of this step can be reduced (asymptotically linearized) using the PNO-L (pair natural orbitals, localized) approximation, at negligible cost in accuracy.


title: Construction of the Unruh State for a Real Scalar Field on the Kerr-de Sitter Spacetime

abstract: The study of physical effects of quatum fields in black hole spacetimes, which is related to questions such as the validity of the strong cosmic censorship conjecture, requires a Hadamard state describing the physical situation. Here, we consider the theory of a free scalar field on a Kerr-de Sitter spacetime, focussing on spacetimes with sufficiently small angular momentum of the black hole and sufficiently small cosmological constant. We demonstrate that an extension of the Unruh state, which describes the expected late-time behaviour in spherically symmetric gravitational collapse, can be rigorously constructed for the free scalar field on such Kerr-de Sitter spacetimes. In addition, we show that this extension of the Unruh state is a Hadamard state in the black hole exterior and in the black hole interior up to the inner horizon. This provides a physically motivated Hadamard state for the study of free scalar fields in rotating black hole spacetimes.


title: Tailored frequency conversion makes infrared light visible for streak cameras

abstract: Streak cameras are one of the most common and convenient devices to measure pulsed emission e.g. from semiconductor lightsources with picosecond time resolution. However, they are most sensitive in the visible range and possess low or negligible efficiency in the infrared and telecom regime. In this work, we present a frequency conversion based on sum-frequency generation that converts infrared to visible signals while preserving their temporal properties, making them detectable with a streak camera. We demonstrate and verify the functionality of our device by converting the emission from a quantum dot laser.


title: Diffeomorphic Counterfactuals with Generative Models

abstract: Counterfactuals can explain classification decisions of neural networks in a human interpretable way. We propose a simple but effective method to generate such counterfactuals. More specifically, we perform a suitable diffeomorphic coordinate transformation and then perform gradient ascent in these coordinates to find counterfactuals which are classified with great confidence as a specified target class. We propose two methods to leverage generative models to construct such suitable coordinate systems that are either exactly or approximately diffeomorphic. We analyze the generation process theoretically using Riemannian differential geometry and validate the quality of the generated counterfactuals using various qualitative and quantitative measures.


title: Third order corrections to the ground state energy of the polarized diluted gas of spin $1/2$ fermions

abstract: We present the results of the computation of the third order corrections to the ground state energy of the diluted polarized gas of nonrelativistic spin $1/2$ fermions interacting through a spin-independent repulsive two-body potential. The corrections are computed within the effective field theory approach which does not require specifying the interaction potential explicitly but only to characterize it by only a few parameters - the scattering lengths $a_0$, $a_1,\dots$ and effective radii $r_0,\dots$ - measurable in low energy fermion-fermion elastic scattering. The corrections are computed semi-analytically, that is are expressed in terms of two functions of the system's polarization. The functions are given by the integrals which can be easily evaluated using the Mathematica built-in routines for numerical integration.


title: Tensor Train for Global Optimization Problems in Robotics

abstract: The convergence of many numerical optimization techniques is highly dependent on the initial guess given to the solver. To address this issue, we propose a novel approach that utilizes tensor methods to initialize existing optimization solvers near global optima. Our method does not require access to a database of good solutions. We first transform the cost function, which depends on both task parameters and optimization variables, into a probability density function. Unlike existing approaches, the joint probability distribution of the task parameters and optimization variables is approximated using the Tensor Train model, which enables efficient conditioning and sampling. We treat the task parameters as random variables, and for a given task, we generate samples for decision variables from the conditional distribution to initialize the optimization solver. Our method can produce multiple solutions (when they exist) faster than existing methods. We first evaluate the approach on benchmark functions for numerical optimization that are hard to solve using gradient-based optimization solvers with a naive initialization. The results show that the proposed method can generate samples close to global optima and from multiple modes. We then demonstrate the generality and relevance of our framework to robotics by applying it to inverse kinematics with obstacles and motion planning problems with a 7-DoF manipulator.

categories: cs.RO cs.LG cs.SY eess.SP eess.SY math.OC


title: A Single Particle Model with Electrolyte and Side Reactions for degradation of lithium-ion batteries

abstract: Battery degradation, which is the reduction of performance over time, is one of the main roadblocks to the wide deployment of lithium-ion batteries. Physics-based models, such as those based on the Doyle-Fuller-Newman model, are invaluable tools to understand and predict such phenomena. However, these models are often too complex for practical applications, so reduced models are needed. In this article we introduce the Single Particle Model with electrolyte and Side Reactions, a reduced model with electrochemical degradation which has been formally derived from the Doyle-Fuller-Newman model with Side Reactions using asymptotic methods. The reduced model has been validated against the full model for three scenarios (solid-electrolyte interphase growth, lithium plating, and both effects combined) showing similar accuracy at a much lower computational cost. The implications of the results are twofold: the reduced model is simple and accurate enough to be used in most real practical applications, and the reduction framework used is robust so it can be extended to account for further degradation effects.


title: Unfolding and injectivity of the Kudla-Millson lift of genus 1

abstract: We unfold the theta integrals defining the Kudla-Millson lift of genus 1 associated to even lattices of signature (b,2), where b>2. This enables us to compute the Fourier expansion of such defining integrals and prove the injectivity of the Kudla-Millson lift. Although the latter result has been already proved by Bruinier, our new procedure has the advantage of paving the ground for a strategy to prove the injectivity of the lift also for the cases of general signature and of genus greater than 1.


title: Extremal Fitting Problems for Conjunctive Queries

abstract: The fitting problem for conjunctive queries (CQs) is the problem to construct a CQ that fits a given set of labeled data examples. When a fitting CQ exists, it is in general not unique. This leads us to proposing natural refinements of the notion of a fitting CQ, such as most-general fitting CQ, most-specific fitting CQ, and unique fitting CQ. We give structural characterizations of these notions in terms of (suitable refinements of) homomorphism dualities, frontiers, and direct products, which enable the construction of the refined fitting CQs when they exist. We also pinpoint the complexity of the associated existence and verification problems, and determine the size of fitting CQs. We study the same problems for UCQs and for the more restricted class of tree CQs.


title: The Evolution Of Centralisation on Cryptocurrency Platforms

abstract: More than ten years ago the blockchain was acclaimed as the solution to overcome centralised trusted third parties for online payments. Through the years the crypto-movement changed and evolved, although decentralisation remained the core ideology and the necessary feature every new crypto-project should provide. In this paper we study the concept of centralisation in cryptocurrencies using a wide array of methodologies from the complex systems literature, on a comparative collection of blockchains, in order to define the many different levels a blockchain system may display (de-)centralisation and to question whether the present state of cryptocurrencies is, in a technological and economical sense, actually decentralised.


title: A Fine Line: Total Least-Squares Line Fitting as QCQP Optimization

abstract: This note uses the Total Least-Squares (TLS) line-fitting problem as a canvas to explore some modern optimization tools. The contribution is meant to be tutorial in nature. The TLS problem has a lot of mathematical similarities to important problems in robotics and computer vision but is easier to visualize and understand. We demonstrate how to turn this problem into a Quadratically Constrained Quadratic Program (QCQP) so that it can be cast either as an eigenproblem or a Semi-Definite Program (SDP). We then turn to the more challenging situation where a Geman-McClure cost function and M-estimation are used to reject outlier datapoints. Using Black-Rangarajan duality, we show this can also be cast as a QCQP and solved as an SDP; however, with a lot of data the SDP can be slow and as such we show how we can construct a certificate of optimality for a faster method such as Iteratively Reweighted Least-Squares (IRLS).


title: Symmetry-resolved Page curves

abstract: Given a statistical ensemble of quantum states, the corresponding Page curve quantifies the average entanglement entropy associated with each possible spatial bipartition of the system. In this work, we study a natural extension in the presence of a conservation law and introduce the symmetry-resolved Page curves, characterizing average bipartite symmetry-resolved entanglement entropies. We derive explicit analytic formulae for two important statistical ensembles with a $U(1)$-symmetry: Haar-random pure states and random fermionic Gaussian states. In the former case, the symmetry-resolved Page curves can be obtained in an elementary way from the knowledge of the standard one. This is not true for random fermionic Gaussian states. In this case, we derive an analytic result in the thermodynamic limit based on a combination of techniques from random-matrix and large-deviation theories. We test our predictions against numerical calculations and discuss the sub-leading finite-size corrections.


title: Relative uniformly positive entropy of induced amenable group actions

abstract: Let $G$ be a countable infinite discrete amenable group.It should be noted that a $G$-system $(X,G)$ naturally induces a $G$-system $(\mathcal{M}(X),G)$, where $\mathcal{M}(X)$ denotes the space of Borel probability measures on the compact metric space $X$ endowed with the weak*-topology. A factor map $\pi\colon (X,G)\to(Y,G)$ between two $G$-systems induces a factor map $\widetilde{\pi}\colon(\mathcal{M}(X),G)\to(\mathcal{M}(Y),G)$. It turns out that $\widetilde{\pi}$ is open if and only if $\pi$ is open. When $Y$ is fully supported, it is shown that $\pi$ has relative uniformly positive entropy if and only if $\widetilde{\pi}$ has relative uniformly positive entropy.


title: Improved Direct Voxel Grid Optimization for Radiance Fields Reconstruction

abstract: In this technical report, we improve the DVGO framework (called DVGOv2), which is based on Pytorch and uses the simplest dense grid representation. First, we re-implement part of the Pytorch operations with cuda, achieving 2-3x speedup. The cuda extension is automatically compiled just in time. Second, we extend DVGO to support Forward-facing and Unbounded Inward-facing capturing. Third, we improve the space time complexity of the distortion loss proposed by mip-NeRF 360 from O(N^2) to O(N). The distortion loss improves our quality and training speed. Our efficient implementation could allow more future works to benefit from the loss.


title: Finite Model Theory and Proof Complexity revisited: Distinguishing graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus

abstract: This paper extends prior work on the connections between logics from finite model theory and propositional/algebraic proof systems. We show that if all non-isomorphic graphs in a given graph class can be distinguished in the logic Choiceless Polynomial Time with counting (CPT), then they can also be distinguished in the bounded-degree extended polynomial calculus (EPC), and the refutations have roughly the same size as the resource consumption of the CPT-sentence. This allows to transfer lower bounds for EPC to CPT and thus constitutes a new potential approach towards better understanding the limits of CPT. A super-polynomial EPC lower bound for a PTIME-instance of the graph isomorphism problem would separate CPT from PTIME and thus solve a major open question in finite model theory. Further, using our result, we provide a model theoretic proof for the separation of bounded-degree polynomial calculus and bounded-degree extended polynomial calculus.


title: Discrimination in Heterogeneous Games

abstract: In this paper, we consider coordination and anti-coordination heterogeneous games played by a finite population formed by different types of individuals who fail to recognize their own type but do observe the type of their opponent. We show that there exists symmetric Nash equilibria in which players discriminate by acting differently according to the type of opponent that they face in anti-coordination games, while no such equilibrium exists in coordination games. Moreover, discrimination has a limit: the maximum number of groups where the treatment differs is three. We then discuss the theoretical results in light of the observed behavior of people in some specific psychological contexts.


title: Lagrangian-based methods in convex optimization: prediction-correction frameworks with ergodic convergence rates

abstract: We study the convergence rates of the classical Lagrangian-based methods and their variants for solving convex optimization problems with equality constraints. We present a generalized prediction-correction framework to establish $O(1/K^2)$ ergodic convergence rates. Under the strongly convex assumption, based on the presented prediction-correction framework, some Lagrangian-based methods with $O(1/K^2)$ ergodic convergence rates are presented, such as the augmented Lagrangian method with the indefinite proximal term, the alternating direction method of multipliers (ADMM) with a larger step size up to $(1+\sqrt{5})/2$, the linearized ADMM with the indefinite proximal term, and the multi-block ADMM type method (under an alternative assumption that the gradient of one block is Lipschitz continuous).


title: Policy Gradient Reinforcement Learning for Uncertain Polytopic LPV Systems based on MHE-MPC

abstract: In this paper, we propose a learning-based Model Predictive Control (MPC) approach for the polytopic Linear Parameter-Varying (LPV) systems with inexact scheduling parameters (as exogenous signals with inexact bounds), where the Linear Time Invariant (LTI) models (vertices) captured by combinations of the scheduling parameters becomes wrong. We first propose to adopt a Moving Horizon Estimation (MHE) scheme to simultaneously estimate the convex combination vector and unmeasured states based on the observations and model matching error. To tackle the wrong LTI models used in both the MPC and MHE schemes, we then adopt a Policy Gradient (PG) Reinforcement Learning (RL) to learn both the estimator (MHE) and controller (MPC) so that the best closed-loop performance is achieved. The effectiveness of the proposed RL-based MHE/MPC design is demonstrated using an illustrative example.


title: A Mini-Introduction To Superfield Decompositions With Branching Rules

abstract: This paper provides a short introduction to scalar, bosonic, and fermionic superfield component expansion based on the branching rules of irreducible representations in one Lie algebra (in our case, $\mathfrak{su}(32)$, and also $\mathfrak{su}(16)$) into one of its Lie subalgebras ($\mathfrak{so}(11)$, $\mathfrak{so}(10)$). This systematic method paves the way for expansion of bosonic and fermionic superfields, in order to search for possible off-shell supergravity supermultiplets. Furthermore, we implement such a decomposition method in Mathematica in its simplest form, which can be used for superfield component decompositions.


title: Muffliato: Peer-to-Peer Privacy Amplification for Decentralized Optimization and Averaging

abstract: Decentralized optimization is increasingly popular in machine learning for its scalability and efficiency. Intuitively, it should also provide better privacy guarantees, as nodes only observe the messages sent by their neighbors in the network graph. But formalizing and quantifying this gain is challenging: existing results are typically limited to Local Differential Privacy (LDP) guarantees that overlook the advantages of decentralization. In this work, we introduce pairwise network differential privacy, a relaxation of LDP that captures the fact that the privacy leakage from a node $u$ to a node $v$ may depend on their relative position in the graph. We then analyze the combination of local noise injection with (simple or randomized) gossip averaging protocols on fixed and random communication graphs. We also derive a differentially private decentralized optimization algorithm that alternates between local gradient descent steps and gossip averaging. Our results show that our algorithms amplify privacy guarantees as a function of the distance between nodes in the graph, matching the privacy-utility trade-off of the trusted curator, up to factors that explicitly depend on the graph topology. Finally, we illustrate our privacy gains with experiments on synthetic and real-world datasets.


title: Learning self-calibrated optic disc and cup segmentation from multi-rater annotations

abstract: The segmentation of optic disc(OD) and optic cup(OC) from fundus images is an important fundamental task for glaucoma diagnosis. In the clinical practice, it is often necessary to collect opinions from multiple experts to obtain the final OD/OC annotation. This clinical routine helps to mitigate the individual bias. But when data is multiply annotated, standard deep learning models will be inapplicable. In this paper, we propose a novel neural network framework to learn OD/OC segmentation from multi-rater annotations. The segmentation results are self-calibrated through the iterative optimization of multi-rater expertness estimation and calibrated OD/OC segmentation. In this way, the proposed method can realize a mutual improvement of both tasks and finally obtain a refined segmentation result. Specifically, we propose Diverging Model(DivM) and Converging Model(ConM) to process the two tasks respectively. ConM segments the raw image based on the multi-rater expertness map provided by DivM. DivM generates multi-rater expertness map from the segmentation mask provided by ConM. The experiment results show that by recurrently running ConM and DivM, the results can be self-calibrated so as to outperform a range of state-of-the-art(SOTA) multi-rater segmentation methods.


title: Federated Momentum Contrastive Clustering

abstract: We present federated momentum contrastive clustering (FedMCC), a learning framework that can not only extract discriminative representations over distributed local data but also perform data clustering. In FedMCC, a transformed data pair passes through both the online and target networks, resulting in four representations over which the losses are determined. The resulting high-quality representations generated by FedMCC can outperform several existing self-supervised learning methods for linear evaluation and semi-supervised learning tasks. FedMCC can easily be adapted to ordinary centralized clustering through what we call momentum contrastive clustering (MCC). We show that MCC achieves state-of-the-art clustering accuracy results in certain datasets such as STL-10 and ImageNet-10. We also present a method to reduce the memory footprint of our clustering schemes.


title: Spectrum synthesis for radially pulsating stars with shocked atmospheres

abstract: SPEC_PULS describes a suite of computer programs to simulate the emergent spectrum from a radially-pulsating star. It combines a Christy-type non-linear pulsation code with classical stellar atmosphere codes. The principal aim is to interpret the dynamical spectrum of the radially pulsating extreme helium star V652 Her, which shows a strong shock at minimum radius. The components are general enough to treat other classes of radial pulsation. The theoretical spectrum from a shocked pulsation model shows line doubling, with the blue component emerging at standstill velocity and accelerating blueward. The doubling phase depends on line depth and parent ion. The behaviour of line cores post-shock points to a drop in the ionization temperature, although the gas temperature in the model remains high. Shock compression leads to phase-dependent strengthening of Stark-broadened line wings, with the far wings responding first. With velocity, temperature and pressure-sensitive diagnostics, detailed tomography of the pulsation-driven shock in V652 Her seems possible. Even when no shock is present, the dynamical spectrum is significantly different from a model in hydrostatic equilibrium. Using the quasi-static approximation (e.g. at maximum radius) may lead to a considerable underestimate of the star's mean effective temperature and surface gravity.


title: Temperature fluctuations in finite systems: Application to the one-dimensional Ising chain

abstract: The theory of superstatistics, originally proposed for the study of complex nonequilibrium systems, has recently been extended to studies of small systems interacting with a finite environment, because such systems display interestingly similar statistical behavior. In both situations there are several applicable definitions of inverse temperature, either intrinsic or dependent of the statistical ensemble. In this work we develop these concepts focusing our attention on a region of an isolated, one-dimensional Ising chain as an example of a subsystem that does not follow the canonical Gibbs distribution. For this example, we explicitly show that superstatistics cannot describe the behavior of the subsystem, and verify a recently reported relation between the fundamental and microcanonical inverse temperatures. Our results hint at a new framework for dealing with regions of microcanonical systems with positive heat capacity, which should be described by some new class of statistical ensembles outside superstatistics but still preserving the notion of temperature fluctuations.


title: Skill Transfer for Temporally-Extended Task Specifications

abstract: Deploying robots in real-world domains, such as households and flexible manufacturing lines, requires the robots to be taskable on demand. Linear temporal logic (LTL) is a widely-used specification language with a compositional grammar that naturally induces commonalities across tasks. However, the majority of prior research on reinforcement learning with LTL specifications treats every new formula independently. We propose LTL-Transfer, a novel algorithm that enables subpolicy reuse across tasks by segmenting policies for training tasks into portable transition-centric skills capable of satisfying a wide array of unseen LTL specifications while respecting safety-critical constraints. Experiments in a Minecraft-inspired domain show that LTL-Transfer can satisfy over 90% of 500 unseen tasks after training on only 50 task specifications and never violating a safety constraint. We also deployed LTL-Transfer on a quadruped mobile manipulator in an analog household environment to demonstrate its ability to transfer to many fetch and delivery tasks in a zero-shot fashion.


title: The Half-period Addition Formulae for Genus Two Hyperelliptic $\wp$ Functions and the Sp(4,$\mathbb{R}$) Lie Group Structure

abstract: In the previous study, by using the two-flows Kowalevski top, we have demonstrated that the genus two hyperelliptic functions provide the Sp(4,$\mathbb{R}$)/$Z_2$ $\cong$ SO(3,2) Lie algebra structure. In this study, by directly using the differential equations of the genus two hyperelliptic $\wp$ functions instead of using integrable models, we demonstrate that the half-period addition formula for the genus two hyperelliptic functions provides the order two Sp(4,$\mathbb{R}$) Lie group structure.


title: Fabrication of uniformly doped graphene quantum Hall arrays with multiple quantized resistance outputs

abstract: In this work, limiting factors for developing metrologically useful arrays from epitaxial graphene on SiC are lifted with a combination of centimeter-scale, high-quality material growth and the implementation of superconducting contacts. Standard devices for metrology have been restricted to having a single quantized value output based on the $\nu$ = 2 Landau level. With the demonstrations herein of devices having multiple outputs of quantized values available simultaneously, these versatile devices can be used to disseminate the ohm globally. Such devices are designed to give access to quantized resistance values over the range of three orders of magnitude, starting as low as the standard value of approximately 12.9 k$\Omega$ and reaching as high as 1.29 M$\Omega$. Several experimental methods are used to assess the quality and versatility of the devices, including standard lock-in techniques and Raman spectroscopy.


title: SimVP: Simpler yet Better Video Prediction

abstract: From CNN, RNN, to ViT, we have witnessed remarkable advancements in video prediction, incorporating auxiliary inputs, elaborate neural architectures, and sophisticated training strategies. We admire these progresses but are confused about the necessity: is there a simple method that can perform comparably well? This paper proposes SimVP, a simple video prediction model that is completely built upon CNN and trained by MSE loss in an end-to-end fashion. Without introducing any additional tricks and complicated strategies, we can achieve state-of-the-art performance on five benchmark datasets. Through extended experiments, we demonstrate that SimVP has strong generalization and extensibility on real-world datasets. The significant reduction of training cost makes it easier to scale to complex scenarios. We believe SimVP can serve as a solid baseline to stimulate the further development of video prediction. The code is available at \href{https://github.com/gaozhangyang/SimVP-Simpler-yet-Better-Video-Prediction}{Github}.


title: State complexity of the star of a Boolean operation

abstract: Monsters and modifiers are two concepts recently developed in the state complexity theory. A monster is an automaton in which every function from states to states is represented by at least one letter. A modifier is a set of functions allowing one to transform a set of automata into one automaton. The paper describes a general strategy that can be used to compute the state complexity of many operations. We illustrate it on the problem of the star of a Boolean operation. After applying modifiers on monsters, the states of the resulting automata are assimilated to combinatorial objects: the tableaux. We investigate the combinatorics of these tableaux in order to deduce the state complexity. Specifically, we recover the state complexity of star of intersection and star of union, and we also give the exact state complexity of star of symmetrical difference. We thus harmonize the search strategy for the state complexity of star of any Boolean operations.


title: Tree evolution processes for bucket increasing trees

abstract: We provide a fundamental result for bucket increasing trees, which gives a complete characterization of all families of bucket increasing trees that can be generated by a tree evolution process. We also provide several equivalent properties, complementing and extending earlier results for ordinary increasing trees to bucket trees. Additionally, we state second order results for the number of descendants of label $j$, again extending earlier results in the literature.


title: Saccade Mechanisms for Image Classification, Object Detection and Tracking

abstract: We examine how the saccade mechanism from biological vision can be used to make deep neural networks more efficient for classification and object detection problems. Our proposed approach is based on the ideas of attention-driven visual processing and saccades, miniature eye movements influenced by attention. We conduct experiments by analyzing: i) the robustness of different deep neural network (DNN) feature extractors to partially-sensed images for image classification and object detection, and ii) the utility of saccades in masking image patches for image classification and object tracking. Experiments with convolutional nets (ResNet-18) and transformer-based models (ViT, DETR, TransTrack) are conducted on several datasets (CIFAR-10, DAVSOD, MSCOCO, and MOT17). Our experiments show intelligent data reduction via learning to mimic human saccades when used in conjunction with state-of-the-art DNNs for classification, detection, and tracking tasks. We observed minimal drop in performance for the classification and detection tasks while only using about 30\% of the original sensor data. We discuss how the saccade mechanism can inform hardware design via ``in-pixel'' processing.


title: Hankel low-rank approximation and completion in time series analysis and forecasting: a brief review

abstract: In this paper we offer a review and bibliography of work on Hankel low-rank approximation and completion, with particular emphasis on how this methodology can be used for time series analysis and forecasting. We begin by describing possible formulations of the problem and offer commentary on related topics and challenges in obtaining globally optimal solutions. Key theorems are provided, and the paper closes with some expository examples.


title: On Certain Genus 0 Entire Functions

abstract: In this work we prove that an entire function $f(z)$ has only negative zeros if and only if its order is strictly less $1$, its root sequence is real-part dominating and there exists an nonnegative integer $m$ the real function $\left(-\frac{1}{x}\right)^{m}\frac{d^{k}}{dx^{k}}\left(x^{k+m}\frac{d^{m}}{dx^{m}}\left(\frac{f'(x)}{f(x)}\right)\right)$ are completely monotonic on $(0,\infty)$ for all nonnegative integer $k$. As an application we state a necessary and sufficient condition for the Riemann hypothesis and generalized Riemann hypothesis for a primitive Dirichlet character.


title: Notes on harmonic analysis Part II: the Fourier Series

abstract: Fourier Series is the second of monographs we present on harmonic analysis. Harmonic analysis is one of the most fascinating areas of research in mathematics. Its centrality in the development of many areas of mathematics such as partial differential equations and integration theory and its many and diverse applications in sciences and engineering fields makes it an attractive field of study and research. The purpose of these notes is to introduce the basic ideas and theorems of the subject to students of mathematics, physics, or engineering sciences. Our goal is to illustrate the topics with utmost clarity and accuracy, readily understandable by the students or interested readers. Rather than providing just the outlines or sketches of the proofs, we have actually provided the complete proofs of all theorems. This approach will illuminate the necessary steps taken and the machinery used to complete each proof. The prerequisite for understanding the topics presented is the knowledge of Lebesgue measure and integral. This will provide ample mathematical background for an advanced undergraduate or a graduate student in mathematics.


title: Energy Landscape of Sugar Conformation Controls the Sol-to-Gel Transition in Self-assembled Bola Glycolipid Hydrogels

abstract: Self-assembled fibrillar network (SAFIN) hydrogels and organogels are commonly obtained by a crystallization process into fibers induced by external stimuli like temperature or pH. The gel-to-sol-to-gel transition is generally readily reversible and the change rate of the stimulus determines the fiber homogeneity and eventual elastic properties of the gels. However, recent work shows that in some specific cases, fibrillation occurs for a given molecular conformation and the sol-to-gel transition depends on the relative energetic stability of one conformation over the other, and not on the rate of change of the stimuli. We observe such a phenomenon on a class of bolaform glycolipids, sophorosides, similar to the well-known sophorolipid biosurfactants, but composed of two symmetric sophorose units. A combination of oscillatory rheology, small-angle X-ray scattering (SAXS) cryogenic transmission electron microscopy (cryo-TEM) and in situ rheo-SAXS using synchrotron radiation shows that below 14$^\circ$C, twisted nanofibers are the thermodynamic phase. Between 14$^\circ$C and about 33$^\circ$C, nanofibers coexist with micelles and a strong hydrogel forms, the sol-to-gel transition being readily reversible in this temperature range. However, above the annealing temperature of about 40$^\circ$C, the micelle morphology becomes kinetically-trapped over hours, even upon cooling, whichever the rate, to 4$^\circ$C. A combination of solution and solid-state nuclear magnetic resonance (NMR) suggests two different conformations of the 1'', 1' and 2' carbon stereocenters of sophorose, precisely at the $\beta(1,2)$ glycosidic bond, for which several combinations of the dihedral angles are known to provide at least three energetic minima of comparable magnitude and each corresponding to a given sophorose conformation.


title: A Reddit Dataset for the Russo-Ukrainian Conflict in 2022

abstract: Reddit consists of sub-communities that cover a focused topic. This paper provides a list of relevant subreddits for the ongoing Russo-Ukrainian crisis. We perform an exhaustive subreddit exploration using keyword search and shortlist 12 subreddits as potential candidates that contain nominal discourse related to the crisis. These subreddits contain over 300,000 posts and 8 million comments collectively. We provide an additional categorization of content into two categories, "R-U Conflict", and "Military Related", based on their primary focus. We further perform content characterization of those subreddits. The results show a surge of posts and comments soon after Russia launched the invasion. "Military Related" posts are more likely to receive more replies than "R-U Conflict" posts. Our textual analysis shows an apparent preference for the Pro-Ukraine stance in "R-U Conflict", while "Military Related" retain a neutral stance.


title: Deep Multi-Agent Reinforcement Learning with Hybrid Action Spaces based on Maximum Entropy

abstract: Multi-agent deep reinforcement learning has been applied to address a variety of complex problems with either discrete or continuous action spaces and achieved great success. However, most real-world environments cannot be described by only discrete action spaces or only continuous action spaces. And there are few works having ever utilized deep reinforcement learning (drl) to multi-agent problems with hybrid action spaces. Therefore, we propose a novel algorithm: Deep Multi-Agent Hybrid Soft Actor-Critic (MAHSAC) to fill this gap. This algorithm follows the centralized training but decentralized execution (CTDE) paradigm, and extend the Soft Actor-Critic algorithm (SAC) to handle hybrid action space problems in Multi-Agent environments based on maximum entropy. Our experiences are running on an easy multi-agent particle world with a continuous observation and discrete action space, along with some basic simulated physics. The experimental results show that MAHSAC has good performance in training speed, stability, and anti-interference ability. At the same time, it outperforms existing independent deep hybrid learning method in cooperative scenarios and competitive scenarios.


title: A Proof of the Tree of Shapes in n-D

abstract: In this paper, we prove that the self-dual morphological hierarchical structure computed on a n-D gray-level wellcomposed image u by the algorithm of G{\'e}raud et al. [1] is exactly the mathematical structure defined to be the tree of shape of u in Najman et al [2]. We recall that this algorithm is in quasi-linear time and thus considered to be optimal. The tree of shapes leads to many applications in mathematical morphology and in image processing like grain filtering, shapings, image segmentation, and so on.