title: New asymptotic results for generalized Oppenheim expansions

abstract: In this work, we study convergence in probability and almost sure convergence for weighted partial sums of random variables that are related to the class of generalized Oppenheim expansions. It is worth noting that the random variables under study have infinite mean and the results are obtained without any dependence assumptions.


title: On the Versatile Uses of Partial Distance Correlation in Deep Learning

abstract: Comparing the functional behavior of neural network models, whether it is a single network over time or two (or more networks) during or post-training, is an essential step in understanding what they are learning (and what they are not), and for identifying strategies for regularization or efficiency improvements. Despite recent progress, e.g., comparing vision transformers to CNNs, systematic comparison of function, especially across different networks, remains difficult and is often carried out layer by layer. Approaches such as canonical correlation analysis (CCA) are applicable in principle, but have been sparingly used so far. In this paper, we revisit a (less widely known) from statistics, called distance correlation (and its partial variant), designed to evaluate correlation between feature spaces of different dimensions. We describe the steps necessary to carry out its deployment for large scale models -- this opens the door to a surprising array of applications ranging from conditioning one deep model w.r.t. another, learning disentangled representations as well as optimizing diverse models that would directly be more robust to adversarial attacks. Our experiments suggest a versatile regularizer (or constraint) with many advantages, which avoids some of the common difficulties one faces in such analyses. Code is at https://github.com/zhenxingjian/Partial_Distance_Correlation.


title: BigColor: Colorization using a Generative Color Prior for Natural Images

abstract: For realistic and vivid colorization, generative priors have recently been exploited. However, such generative priors often fail for in-the-wild complex images due to their limited representation space. In this paper, we propose BigColor, a novel colorization approach that provides vivid colorization for diverse in-the-wild images with complex structures. While previous generative priors are trained to synthesize both image structures and colors, we learn a generative color prior to focus on color synthesis given the spatial structure of an image. In this way, we reduce the burden of synthesizing image structures from the generative prior and expand its representation space to cover diverse images. To this end, we propose a BigGAN-inspired encoder-generator network that uses a spatial feature map instead of a spatially-flattened BigGAN latent code, resulting in an enlarged representation space. Our method enables robust colorization for diverse inputs in a single forward pass, supports arbitrary input resolutions, and provides multi-modal colorization results. We demonstrate that BigColor significantly outperforms existing methods especially on in-the-wild images with complex structures.


title: Object-Compositional Neural Implicit Surfaces

abstract: The neural implicit representation has shown its effectiveness in novel view synthesis and high-quality 3D reconstruction from multi-view images. However, most approaches focus on holistic scene representation yet ignore individual objects inside it, thus limiting potential downstream applications. In order to learn object-compositional representation, a few works incorporate the 2D semantic map as a cue in training to grasp the difference between objects. But they neglect the strong connections between object geometry and instance semantic information, which leads to inaccurate modeling of individual instance. This paper proposes a novel framework, ObjectSDF, to build an object-compositional neural implicit representation with high fidelity in 3D reconstruction and object representation. Observing the ambiguity of conventional volume rendering pipelines, we model the scene by combining the Signed Distance Functions (SDF) of individual object to exert explicit surface constraint. The key in distinguishing different instances is to revisit the strong association between an individual object's SDF and semantic label. Particularly, we convert the semantic information to a function of object SDF and develop a unified and compact representation for scene and objects. Experimental results show the superiority of ObjectSDF framework in representing both the holistic object-compositional scene and the individual instances. Code can be found at https://qianyiwu.github.io/objectsdf/


title: Derived categories of Quot schemes of zero-dimensional quotients on curves

abstract: We prove the existence of semiorthogonal decompositions of derived categories of Quot schemes of zero-dimensional quotients on curves in terms of derived categories of symmetric products of curves. The above result is a categorical analogue of a similar formula for the class of Quot schemes in the Grothendieck ring of varieties by Bagnarol-Fantechi-Perroni. It is a special case of a more general Quot formula of relative dimension one, which is regarded as a Bosonic counterpart of the Quot formula conjectured by Jiang and proved by the author. The proof involves categorical wall-crossing formula for framed one loop quiver, which itself is motivated and has applications to categorical wall-crossing formula of Donaldson-Thomas invariants.


title: Intrinsic dimension estimation for discrete metrics

abstract: Real world-datasets characterized by discrete features are ubiquitous: from categorical surveys to clinical questionnaires, from unweighted networks to DNA sequences. Nevertheless, the most common unsupervised dimensional reduction methods are designed for continuous spaces, and their use for discrete spaces can lead to errors and biases. In this letter we introduce an algorithm to infer the intrinsic dimension (ID) of datasets embedded in discrete spaces. We demonstrate its accuracy on benchmark datasets, and we apply it to analyze a metagenomic dataset for species fingerprinting, finding a surprisingly small ID, of order 2. This suggests that evolutive pressure acts on a low-dimensional manifold despite the high-dimensionality of sequences' space.


title: Uncertainty Inspired Underwater Image Enhancement

abstract: A main challenge faced in the deep learning-based Underwater Image Enhancement (UIE) is that the ground truth high-quality image is unavailable. Most of the existing methods first generate approximate reference maps and then train an enhancement network with certainty. This kind of method fails to handle the ambiguity of the reference map. In this paper, we resolve UIE into distribution estimation and consensus process. We present a novel probabilistic network to learn the enhancement distribution of degraded underwater images. Specifically, we combine conditional variational autoencoder with adaptive instance normalization to construct the enhancement distribution. After that, we adopt a consensus process to predict a deterministic result based on a set of samples from the distribution. By learning the enhancement distribution, our method can cope with the bias introduced in the reference map labeling to some extent. Additionally, the consensus process is useful to capture a robust and stable result. We examined the proposed method on two widely used real-world underwater image enhancement datasets. Experimental results demonstrate that our approach enables sampling possible enhancement predictions. Meanwhile, the consensus estimate yields competitive performance compared with state-of-the-art UIE methods. Code available at https://github.com/zhenqifu/PUIE-Net.


title: Design of Coded Caching Schemes with Linear Subpacketizations Based on Injective Arc Coloring of Regular Digraphs

abstract: Coded caching is an effective technique to decongest the amount of traffic in the backhaul link. In such a scheme, each file hosted in the server is divided into a number of packets to pursue a low transmission rate based on the delicate design of contents cached into users and broadcast messages. However, the implementation complexity of this scheme increases with the number of packets. It is desirable to design a scheme with a small subpacketization level and a relatively low transmission rate. Recently, placement delivery array (PDA) was proposed to address the subpacketization bottleneck of coded caching. This paper investigates the design PDA from a new perspective, i.e., the injective arc coloring of regular digraphs. It is shown that the injective arc coloring of a regular digraph can yield a PDA with the same number of rows and columns. Based on this, a new class of regular digraphs are defined and the upper bounds on the injective chromatic index of such digraphs are derived. Consequently, some new coded caching schemes with a linear subpacketization level and a small transmission rate are proposed, one of which generalizes the existing scheme for the scenario with a more flexible number of users.


title: Efficient Meta-Tuning for Content-aware Neural Video Delivery

abstract: Recently, Deep Neural Networks (DNNs) are utilized to reduce the bandwidth and improve the quality of Internet video delivery. Existing methods train corresponding content-aware super-resolution (SR) model for each video chunk on the server, and stream low-resolution (LR) video chunks along with SR models to the client. Although they achieve promising results, the huge computational cost of network training limits their practical applications. In this paper, we present a method named Efficient Meta-Tuning (EMT) to reduce the computational cost. Instead of training from scratch, EMT adapts a meta-learned model to the first chunk of the input video. As for the following chunks, it fine-tunes the partial parameters selected by gradient masking of previous adapted model. In order to achieve further speedup for EMT, we propose a novel sampling strategy to extract the most challenging patches from video frames. The proposed strategy is highly efficient and brings negligible additional cost. Our method significantly reduces the computational cost and achieves even better performance, paving the way for applying neural video delivery techniques to practical applications. We conduct extensive experiments based on various efficient SR architectures, including ESPCN, SRCNN, FSRCNN and EDSR-1, demonstrating the generalization ability of our work. The code is released at \url{https://github.com/Neural-video-delivery/EMT-Pytorch-ECCV2022}.


title: Lesion detection in contrast enhanced spectral mammography

abstract: Background \& purpose: The recent emergence of neural networks models for the analysis of breast images has been a breakthrough in computer aided diagnostic. This approach was not yet developed in Contrast Enhanced Spectral Mammography (CESM) where access to large databases is complex. This work proposes a deep-learning-based Computer Aided Diagnostic development for CESM recombined images able to detect lesions and classify cases. Material \& methods: A large CESM diagnostic dataset with biopsy-proven lesions was collected from various hospitals and different acquisition systems. The annotated data were split on a patient level for the training (55%), validation (15%) and test (30%) of a deep neural network with a state-of-the-art detection architecture. Free Receiver Operating Characteristic (FROC) was used to evaluate the model for the detection of 1) all lesions, 2) biopsied lesions and 3) malignant lesions. ROC curve was used to evaluate breast cancer classification. The metrics were finally compared to clinical results. Results: For the evaluation of the malignant lesion detection, at high sensitivity (Se>0.95), the false positive rate was at 0.61 per image. For the classification of malignant cases, the model reached an Area Under the Curve (AUC) in the range of clinical CESM diagnostic results. Conclusion: This CAD is the first development of a lesion detection and classification model for CESM images. Trained on a large dataset, it has the potential to be used for helping the management of biopsy decision and for helping the radiologist detecting complex lesions that could modify the clinical treatment.


title: Correntropy-Based Logistic Regression with Automatic Relevance Determination for Robust Sparse Brain Activity Decoding

abstract: Recent studies have utilized sparse classifications to predict categorical variables from high-dimensional brain activity signals to expose human's intentions and mental states, selecting the relevant features automatically in the model training process. However, existing sparse classification models will likely be prone to the performance degradation which is caused by noise inherent in the brain recordings. To address this issue, we aim to propose a new robust and sparse classification algorithm in this study. To this end, we introduce the correntropy learning framework into the automatic relevance determination based sparse classification model, proposing a new correntropy-based robust sparse logistic regression algorithm. To demonstrate the superior brain activity decoding performance of the proposed algorithm, we evaluate it on a synthetic dataset, an electroencephalogram (EEG) dataset, and a functional magnetic resonance imaging (fMRI) dataset. The extensive experimental results confirm that not only the proposed method can achieve higher classification accuracy in a noisy and high-dimensional classification task, but also it would select those more informative features for the decoding scenarios. Integrating the correntropy learning approach with the automatic relevance determination technique will significantly improve the robustness with respect to the noise, leading to more adequate robust sparse brain decoding algorithm. It provides a more powerful approach in the real-world brain activity decoding and the brain-computer interfaces.


title: Properties of complex-valued power means of random variables and their applications

abstract: We consider power means of independent and identically distributed (i.i.d.) non-integrable random variables. The power mean is an example of a homogeneous quasi-arithmetic mean. Under certain conditions, several limit theorems hold for the power mean, similar to the case of the arithmetic mean of i.i.d. integrable random variables. Our feature is that the generators of the power means are allowed to be complex-valued, which enables us to consider the power mean of random variables supported on the whole set of real numbers. We establish integrabilities of the power mean of i.i.d. non-integrable random variables and a limit theorem for the variances of the power mean. We also consider the behavior of the power mean as the parameter of the power varies. The complex-valued power means are unbiased, strongly-consistent, robust estimators for the joint of the location and scale parameters of the Cauchy distribution.


title: Convergence of the fully discrete incremental projection scheme for incompressible flows

abstract: The present paper addresses the convergence of a first order in time incremental projection scheme for the time-dependent incompressible Navier-Stokes equations to a weak solution, without any assumption of existence or regularity assumptions on the exact solution. We prove the convergence of the approximate solutions obtained by the semi-discrete scheme and a fully discrete scheme using a staggered finite volume scheme on non uniform rectangular meshes. Some first a priori estimates on the approximate solutions yield the existence. Compactness arguments, relying on these estimates, together with some estimates on the translates of the discrete time derivatives, are then developed to obtain convergence (up to the extraction of a subsequence), when the time step tends to zero in the semi-discrete scheme and when the space and time steps tend to zero in the fully discrete scheme; the approximate solutions are thus shown to converge to a limit function which is then shown to be a weak solution to the continuous problem by passing to the limit in these schemes.


title: Do Pulsar and Fast Radio Burst dispersion measures obey Benford's law?

abstract: We check if the first significant digit of the dispersion measure of pulsars and Fast Radio Bursts (using the CHIME catalog) is consistent with the Benford distribution. We find a large disagreement with Benford's law with $\chi^2$ close to 80 for 8 degrees of freedom for both these aforementioned datasets. This corresponds to a discrepancy of about 7$\sigma$. Therefore, we conclude that the dispersion measures of pulsars and FRBs do not obey Benford's law.


title: Robust Object Detection With Inaccurate Bounding Boxes

abstract: Learning accurate object detectors often requires large-scale training data with precise object bounding boxes. However, labeling such data is expensive and time-consuming. As the crowd-sourcing labeling process and the ambiguities of the objects may raise noisy bounding box annotations, the object detectors will suffer from the degenerated training data. In this work, we aim to address the challenge of learning robust object detectors with inaccurate bounding boxes. Inspired by the fact that localization precision suffers significantly from inaccurate bounding boxes while classification accuracy is less affected, we propose leveraging classification as a guidance signal for refining localization results. Specifically, by treating an object as a bag of instances, we introduce an Object-Aware Multiple Instance Learning approach (OA-MIL), featured with object-aware instance selection and object-aware instance extension. The former aims to select accurate instances for training, instead of directly using inaccurate box annotations. The latter focuses on generating high-quality instances for selection. Extensive experiments on synthetic noisy datasets (i.e., noisy PASCAL VOC and MS-COCO) and a real noisy wheat head dataset demonstrate the effectiveness of our OA-MIL. Code is available at https://github.com/cxliu0/OA-MIL.


title: Quantum phase transition between hyperuniform density distributions

abstract: We study an electron distribution under a quasiperiodic potential in light of hyperuniformity, aiming to establish a classification and analysis method for aperiodic but orderly density distributions realized in, e.g., quasicrystals. Using the Aubry-Andre-Harper model, we first reveal that the electron-charge distribution changes its character as the increased quasiperiodic potential alters the eigenstates from extended to localized ones. While these changes of the charge distribution are characterized by neither multifractality nor translational-symmetry breaking, they are characterized by hyperuniformity class and its order metric. We find a nontrivial relationship between the density of states at the Fermi level, a charge-distribution histogram, and the hyperuniformity class. The change to a different hyperuniformity class occurs as a first-order phase transition except for an electron-hole symmetric point, where the transition is of the third order. Moreover, we generalize the hyperuniformity order metric to a function, to capture more detailed features of the density distribution, in some analogy with a generalization of the fractal dimension to a multifractal one.

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


title: Mapping Depth to Bedrock, Shear Stiffness, and Fundamental Site Period at CentrePort, Wellington using Surface Wave Methods: Implications for Local Seismic Site Amplification

abstract: Wellington's port (CentrePort) experienced significant damage from the $M_w$ 7.8 Kaik\=oura earthquake as a result of soil liquefaction, lateral spreading, and shaking-induced damage to structures. To investigate these ill effects, and propose mitigation measures to prevent similar damage in future earthquakes, there was a need to quantify the variations in the depth to bedrock, shear stiffness, and fundamental site period ($T_0$) across the port. In order to characterize $T_0$ and develop shear wave velocity (Vs) profiles for use in seismic site response analyses, horizontal-to-vertical (H/V) spectral ratio measurements and active-source and passive-wavefield surface wave testing (i.e., MASW and MAM, respectively) were performed across the port. A site period map developed from 114 H/V spectral ratio measurements indicates several areas of rapidly changing, complex subsurface structure. Deep (200-plus meters) Vs profiles developed at six reference locations across the port were used to estimate the depth to soft (Vs $>$ 760 m/s) and hard (Vs $>$ 1500 m/s) rock. $T_0$ estimates from H/V spectral ratio measurements ($T_{0,H/V}$) at the six reference locations are shown to be related to the depth of hard rock based on linear viscoelastic transfer functions calculated from Vs profiles truncated at several depths. $T_{0,H/V}$ measurements at two ground motion stations near the port are also shown to be in reasonably good agreement with predominant periods of maximum spectral amplification recorded during both the 2016 Kaik\=oura and 2013 Cook Strait earthquakes, despite these sites also being effected by soil nonlinearity and potential 3D basin edge effects.


title: A new reference catalogue for the very metal-poor Universe: +150 OB stars in Sextans A

abstract: Local Group (LG) very metal-poor massive stars are the best proxy for the First Stars of the Universe and fundamental to modelling the evolution of early galaxies. These stars may follow new evolutionary pathways restricted to very low metallicities, such as chemically homogeneous evolution (CHE). However, given the great distance leap needed to reach very metal-poor galaxies of the LG and vicinity, no comprehensive spectroscopic studies have been carried out at metallicities lower than the Small Magellanic Cloud (SMC, Z = 1/5 Z$_{\odot}$) until now. After five observing campaigns at the 10.4-m Gran Telescopio Canarias, we have assembled a low-resolution (R $\sim$ 1000) spectroscopic collection of more than 150 OB stars in the 1/10 Z$_{\odot}$ galaxy Sextans A, increasing by an order of magnitude the number of massive stars known in this galaxy. The catalogue includes 38 BA-type supergiants, 4 red supergiants, and the first candidate 1/10 Z$_{\odot}$ binary systems, CHE sources and systems hosting stripped stars. The sample massive stars mainly overlap the higher concentrations of neutral gas of Sextans A. However, we find some sources in low HI column-density regions. The colour-magnitude diagram of the galaxy presents large dispersion, which suggests uneven, internal extinction in Sextans A. This is the largest catalogue of OB-type stars ever produced at sub-SMC metallicities. This sample constitutes a fundamental first step to unveiling the evolutionary pathways and fates of very metal-poor massive stars, analyzing the dependence of radiation-driven winds with metallicity, and studying binary systems in an environment analogue to the early Universe.


title: CO line observations of OH/IR stars in the inner Galactic Bulge: Characteristics of stars at the tip of the AGB

abstract: 12CO and 13CO lines, as well as a mm-wave continuum, have been observed for a sample of 22 OH/IR stars in directions within 2 degrees of the Galactic Centre. Photometry data have been gathered from the literature to construct SEDs and to determine pulsational variability. Radiative transfer models have been used to interpret the data. All stars in the sample were detected in at least one CO line, and 8 objects were detected in 324 GHz continuum. Based on luminosity criteria, the sample is divided into 17 objects that most likely lie within the inner Galactic Bulge, and 5 objects that are most likely foreground objects. The median luminosity of the inner-Galactic-Bulge objects, 5600 Lsun, corresponds to an initial mass in the range 1.2-1.6 Msun, indicating that these OH/IR stars descend from solar-type stars. The objects in this sub-sample are further divided into two classes based on their SED characteristics: 11 objects have SEDs that are well matched by models invoking dust envelopes extending from a few stellar radii and outwards, while 6 objects are better modelled as having detached dust envelopes with inner radii in the range 200-600 au and warmer central stars. The former objects have periodic variability, while the latter objects are predominantly non-periodic. The median gas-mass-loss rate, gas terminal expansion velocity, gas-to-dust mass ratio, and circumstellar 12CO/13CO abundance ratio have been estimated to be 2x10{-5} Msun/yr, 18 km/s, 200 (excluding the sources with detached dust envelopes, which show markedly lower gas-to-dust ratios), and 5, respectively, for the inner-Galactic-Bulge objects. The inner-Galactic-Bulge OH/IR stars studied here constitute an excellent sample of equidistant objects for the purpose of understanding the evolution of the mass-loss-rate characteristics at the tip of the AGB.


title: Non-existence of fiberwise localization for crossed modules

abstract: We prove that localization functors of crossed modules of groups do not always admit fiberwise (or relative) versions. To do so we characterize the existence of a fiberwise localization by a certain normality condition and compute explicit examples and counter-examples. In fact, some nullification functors do not behave well and we also prove that the fiber of certain nullification functors, known as acyclization functors in other settings such as groups or spaces, is not acyclic.


title: Non-commutative crepant resolutions, an overview

abstract: Non-commutative crepant resolutions (NCCRs) are non-commutative analogues of the usual crepant resolutions that appear in algebraic geometry. In this paper we survey some results around NCCRs.


title: Tunable phase transitions in half-Heusler TbPtBi compound

abstract: We report various phase transitions in half-Heusler TbPtBi compound using Density Functional Theory (DFT). Specifically, inclusion of spin-orbit coupling (SOC) leads to band inversion resulting in transition from the metallic to the topological semimetallic phase. However, in presence of SOC, there is a phase transition from the topological semimetal to the trivial semimetal when the material is subjected to compressive strain ($\lt -7\%$). Subsequently, under further increase of compressive strain ($\ge -7\%$), we find an opening of a direct band gap at the $\Gamma$ point, driving the system from the trivial semimetallic to the semiconducting state with changes in the sequence of bands. In the absence of SOC, only transition from the metallic to the semiconducting phase is noticed. Under tensile strain, the TbPtBi compound maintains its phase as in the unstrained condition but with an increase in the hole pocket at the Fermi level, both in the absence and presence of SOC. These tunable phase transitions (especially as a fraction of strain) make this compound very promising for application in various quantum devices such as highly sensitive strain gauges.


title: Resolving Copycat Problems in Visual Imitation Learning via Residual Action Prediction

abstract: Imitation learning is a widely used policy learning method that enables intelligent agents to acquire complex skills from expert demonstrations. The input to the imitation learning algorithm is usually composed of both the current observation and historical observations since the most recent observation might not contain enough information. This is especially the case with image observations, where a single image only includes one view of the scene, and it suffers from a lack of motion information and object occlusions. In theory, providing multiple observations to the imitation learning agent will lead to better performance. However, surprisingly people find that sometimes imitation from observation histories performs worse than imitation from the most recent observation. In this paper, we explain this phenomenon from the information flow within the neural network perspective. We also propose a novel imitation learning neural network architecture that does not suffer from this issue by design. Furthermore, our method scales to high-dimensional image observations. Finally, we benchmark our approach on two widely used simulators, CARLA and MuJoCo, and it successfully alleviates the copycat problem and surpasses the existing solutions.


title: Modelling the Turtle Python library in CSP

abstract: Software verification is an important tool in establishing the reliability of critical systems. One potential area of application is in the field of robotics, as robots take on more tasks in both day-to-day areas and highly specialised domains. Robots are usually given a plan to follow, if there are errors in this plan the robot will not perform reliably. The capability to check plans for errors in advance could prevent this. Python is a popular programming language in the robotics domain, through the use of the Robot Operating System (ROS) and various other libraries. Python's Turtle package provides a mobile agent, which we formally model here using Communicating Sequential Processes (CSP). Our interactive toolchain CSP2Turtle with CSP model and Python components, enables Turtle plans to be verified in CSP before being executed in Python. This means that certain classes of errors can be avoided, and provides a starting point for more detailed verification of Turtle programs and more complex robotic systems. We illustrate our approach with examples of robot navigation and obstacle avoidance in a 2D grid-world.


title: Careful Autonomous Agents in Environments With Multiple Common Resources

abstract: Careful rational synthesis was defined in (Condurache et al. 2021) as a quantitative extension of Fisman et al.'s rational synthesis (Fisman et al. 2010), as a model of multi-agent systems in which agents are interacting in a graph arena in a turn-based fashion. There is one common resource, and each action may decrease or increase the resource. Each agent has a temporal qualitative objective and wants to maintain the value of the resource positive. One must find a Nash equilibrium. This problem is decidable. In more practical settings, the verification of the critical properties of multi-agent systems calls for models with many resources. Indeed, agents and robots consume and produce more than one type of resource: electric energy, fuel, raw material, manufactured goods, etc. We thus explore the problem of careful rational synthesis with several resources. We show that the problem is undecidable. We then propose a variant with bounded resources, motivated by the observation that in practical settings, the storage of resources is limited. We show that the problem becomes decidable, and is no harder than controller synthesis with Linear-time Temporal Logic objectives.


title: RV4JaCa -- Runtime Verification for Multi-Agent Systems

abstract: This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This layer is capable of controlling events during the execution of the system without needing a specific implementation in the behaviour of each agent to recognise the events. MAS have been used in the context of hybrid intelligence. This use requires communication between software agents and human beings. In some cases, communication takes place via natural language dialogues. However, this kind of communication brings us to a concern related to controlling the flow of dialogue so that agents can prevent any change in the topic of discussion that could impair their reasoning. We demonstrate the implementation of a monitor that aims to control this dialogue flow in a MAS that communicates with the user through natural language to aid decision-making in hospital bed allocation.


title: Temporal Planning with Incomplete Knowledge and Perceptual Information

abstract: In real-world applications, the ability to reason about incomplete knowledge, sensing, temporal notions, and numeric constraints is vital. While several AI planners are capable of dealing with some of these requirements, they are mostly limited to problems with specific types of constraints. This paper presents a new planning approach that combines contingent plan construction within a temporal planning framework, offering solutions that consider numeric constraints and incomplete knowledge. We propose a small extension to the Planning Domain Definition Language (PDDL) to model (i) incomplete, (ii) knowledge sensing actions that operate over unknown propositions, and (iii) possible outcomes from non-deterministic sensing effects. We also introduce a new set of planning domains to evaluate our solver, which has shown good performance on a variety of problems.


title: Learning Sequence Representations by Non-local Recurrent Neural Memory

abstract: The key challenge of sequence representation learning is to capture the long-range temporal dependencies. Typical methods for supervised sequence representation learning are built upon recurrent neural networks to capture temporal dependencies. One potential limitation of these methods is that they only model one-order information interactions explicitly between adjacent time steps in a sequence, hence the high-order interactions between nonadjacent time steps are not fully exploited. It greatly limits the capability of modeling the long-range temporal dependencies since the temporal features learned by one-order interactions cannot be maintained for a long term due to temporal information dilution and gradient vanishing. To tackle this limitation, we propose the Non-local Recurrent Neural Memory (NRNM) for supervised sequence representation learning, which performs non-local operations \MR{by means of self-attention mechanism} to learn full-order interactions within a sliding temporal memory block and models global interactions between memory blocks in a gated recurrent manner. Consequently, our model is able to capture long-range dependencies. Besides, the latent high-level features contained in high-order interactions can be distilled by our model. We validate the effectiveness and generalization of our NRNM on three types of sequence applications across different modalities, including sequence classification, step-wise sequential prediction and sequence similarity learning. Our model compares favorably against other state-of-the-art methods specifically designed for each of these sequence applications.


title: Towards VEsNA, a Framework for Managing Virtual Environments via Natural Language Agents

abstract: Automating a factory where robots are involved is neither trivial nor cheap. Engineering the factory automation process in such a way that return of interest is maximized and risk for workers and equipment is minimized, is hence of paramount importance. Simulation can be a game changer in this scenario but requires advanced programming skills that domain experts and industrial designers might not have. In this paper we present the preliminary design and implementation of a general-purpose framework for creating and exploiting Virtual Environments via Natural language Agents (VEsNA). VEsNA takes advantage of agent-based technologies and natural language processing to enhance the design of virtual environments. The natural language input provided to VEsNA is understood by a chatbot and passed to a cognitive intelligent agent that implements the logic behind displacing objects in the virtual environment. In the VEsNA vision, the intelligent agent will be able to reason on this displacement and on its compliance to legal and normative constraints. It will also be able to implement what-if analysis and case-based reasoning. Objects populating the virtual environment will include active objects and will populate a dynamic simulation whose outcomes will be interpreted by the cognitive agent; explanations and suggestions will be passed back to the user by the chatbot.


title: The Need for a Meta-Architecture for Robot Autonomy

abstract: Long-term autonomy of robotic systems implicitly requires dependable platforms that are able to naturally handle hardware and software faults, problems in behaviors, or lack of knowledge. Model-based dependable platforms additionally require the application of rigorous methodologies during the system development, including the use of correct-by-construction techniques to implement robot behaviors. As the level of autonomy in robots increases, so do the cost of offering guarantees about the dependability of the system. Certifiable dependability of autonomous robots, we argue, can benefit from formal models of the integration of several cognitive functions, knowledge processing, reasoning, and meta-reasoning. Here we put forward the case for a generative model of cognitive architectures for autonomous robotic agents that subscribes to the principles of model-based engineering and certifiable dependability, autonomic computing, and knowledge-enabled robotics.


title: Towards Plug'n Play Task-Level Autonomy for Robotics Using POMDPs and Generative Models

abstract: To enable robots to achieve high level objectives, engineers typically write scripts that apply existing specialized skills, such as navigation, object detection and manipulation to achieve these goals. Writing good scripts is challenging since they must intelligently balance the inherent stochasticity of a physical robot's actions and sensors, and the limited information it has. In principle, AI planning can be used to address this challenge and generate good behavior policies automatically. But this requires passing three hurdles. First, the AI must understand each skill's impact on the world. Second, we must bridge the gap between the more abstract level at which we understand what a skill does and the low-level state variables used within its code. Third, much integration effort is required to tie together all components. We describe an approach for integrating robot skills into a working autonomous robot controller that schedules its skills to achieve a specified task and carries four key advantages. 1) Our Generative Skill Documentation Language (GSDL) makes code documentation simpler, compact, and more expressive using ideas from probabilistic programming languages. 2) An expressive abstraction mapping (AM) bridges the gap between low-level robot code and the abstract AI planning model. 3) Any properly documented skill can be used by the controller without any additional programming effort, providing a Plug'n Play experience. 4) A POMDP solver schedules skill execution while properly balancing partial observability, stochastic behavior, and noisy sensing.


title: Differentiable Agent-based Epidemiology

abstract: Mechanistic simulators are an indispensable tool for epidemiology to explore the behavior of complex, dynamic infections under varying conditions and navigate uncertain environments. Agent-based models (ABMs) are an increasingly popular simulation paradigm that can represent the heterogeneity of contact interactions with granular detail and agency of individual behavior. However, conventional ABM frameworks are not differentiable and present challenges in scalability; due to which it is non-trivial to connect them to auxiliary data sources. In this paper, we introduce GradABM: a scalable, differentiable design for agent-based modeling that is amenable to gradient-based learning with automatic differentiation. GradABM can quickly simulate million-size populations in few seconds on commodity hardware, integrate with deep neural networks and ingest heterogeneous data sources. This provides an array of practical benefits for calibration, forecasting, and evaluating policy interventions. We demonstrate the efficacy of GradABM via extensive experiments with real COVID-19 and influenza datasets.


title: Estimating generation time of SARS-CoV-2 variants from the daily incidence rate

abstract: The identification of the transmission parameters of a virus is fundamental to identify the optimal public health strategy. These parameters can present significant changes over time caused by genetic mutations or viral recombination, making their continuous monitoring fundamental. Here we present a method, suitable for this task, which uses as unique information the daily number of reported cases. The method is based on a time since infection model where transmission parameters are obtained by means of an efficient maximization procedure of the likelihood. Applying the method to SARS-CoV-2 data in Italy we find an average generation time $z = 3.2 \pm 0.8$ days, during the temporal window when the majority of infections can be attributed to the Omicron variants. At the same time we find a significantly larger value $z = 6.2 \pm 1.1$ days, in the temporal window when spreading was dominated by the Delta variant. We are also able to show that the presence of the Omicron variant, characterized by a shorter $z$, was already detectable in the first weeks of December 2021, in full agreement with results provided by sequences of SARS-CoV-2 genomes reported in national databases. Our results therefore indicate that the novel approach can indicate the existence of virus variants resulting particularly useful in situations when information about genomic sequencing is not yet available.


title: Multi-Task Learning for Emotion Descriptors Estimation at the fourth ABAW Challenge

abstract: Facial valence/arousal, expression and action unit are related tasks in facial affective analysis. However, the tasks only have limited performance in the wild due to the various collected conditions. The 4th competition on affective behavior analysis in the wild (ABAW) provided images with valence/arousal, expression and action unit labels. In this paper, we introduce multi-task learning framework to enhance the performance of three related tasks in the wild. Feature sharing and label fusion are used to utilize their relations. We conduct experiments on the provided training and validating data.


title: The detection of cluster magnetic fields via radio source depolarisation

abstract: It has been well established that galaxy clusters have magnetic fields. The exact properties and origin of these magnetic fields are still uncertain even though these fields play a key role in many astrophysical processes. Various attempts have been made to derive the magnetic field strength and structure of nearby galaxy clusters using Faraday rotation of extended cluster radio sources. This approach needs to make various assumptions that could be circumvented when using background radio sources. However, because the number of polarised radio sources behind clusters is low, at the moment such a study can only be done statistically. In this paper, we investigate the depolarisation of radio sources inside and behind clusters in a sample of 124 massive clusters at $z<0.35$ observed with the Karl G. Jansky Very Large Array. We detect a clear depolarisation trend with the cluster impact parameter, with sources at smaller projected distances to the cluster centre showing more depolarisation. By combining the radio observations with ancillary X-ray data from Chandra, we compare the observed depolarisation with expectations from cluster magnetic field models using individual cluster density profiles. The best-fitting models have a central magnetic field strength of $5-10\,\mu$G with power-law indices between $n=1$ and $n=4$. We find no strong difference in the depolarisation trend between sources embedded in clusters and background sources located at similar projected radii, although the central region of clusters is still poorly probed by background sources. We also examine the depolarisation trend as a function of cluster properties such as the dynamical state, mass, and redshift. Our findings show that the statistical depolarisation of radio sources is a good probe of cluster magnetic field parameters. [abridged]


title: Berezinskii-Kosterlitz-Thouless phases in ultra-thin PbTiO$_3$/SrTiO$_3$ superlattices

abstract: We study the emergence of Berezinskii-Kosterlitz-Thouless (BKT) phases in (PbTiO$_3$)$_3$/(SrTiO$_3$)$_3$ superlattices by means of second-principles simulations. Beyond a threshold tensile epitaxial strain of $\epsilon = 0.25 \%$ the local dipole moments within the superlattices are confined to the film-plane, and thus the polarization can be effectively considered as two-dimensional. The analysis of the decay of the dipole-dipole correlation with the distance, together with the study of the density of defects and its distribution as function of temperature, supports the existence of a BKT phase in a range of temperature mediating the ordered ferroelectric (stable at low $T$), and the disordered paraelectric phase that appears beyond a critical temperature $T_{\rm BKT}$. This BKT phase is characterized by quasi-long-range order (whose signature is a power-law decay of the correlations with the distance), and the emergence of tightly bounded vortex-antivortex pairs whose density is determined by a thermal activation process. The proposed PbTiO$_{3}$/SrTiO$_{3}$ superlattice model and the imposed mechanical boundary conditions are both experimentally feasible, opening the door for the first experimental observation of these new topological phases in ferroelectric materials.


title: Weighted Topological Entropy of Random Dynamical Systems

abstract: Let $f_{i},i=1,2$ be continuous bundle random dynamical systems over an ergodic compact metric system $(\Omega,\mathcal{F},\mathbb{P},\vartheta)$. Assume that ${\bf a}=(a_{1},a_{2})\in\mathbb{R}^{2}$ with $a_{1}>0$ and $a_{2}\geq0$, $f_{2}$ is a factor of $f_{1}$ with a factor map $\Pi:\Omega\times X_{1}\rightarrow\Omega\times X_{2}$. We define the ${\bf a}$-weighted Bowen topological entropy of $h^{{\bf a}}(\omega,f_{1},X_{1})$ of $f_{1}$ with respect to $\omega\in \Omega$. It is shown that the quality $h^{{\bf a}}(\omega,f_{1},X_{1})$ is measurable in $\Omega$, and denoted that $h^{{\bf a}}(f_{1},\Omega\times X_{1})$ is the integration of $h^{{\bf a}}(\omega,f_{1},X_{1})$ against $\mathbb{P}$. We prove the following variational principle: \begin{align*} h^{{\bf a}}(f_{1},\Omega\times X_{1})=\sup\left\{a_{1}h_{\mu}^{(r)}(f_{1})+a_{2}h_{\mu\circ\Pi^{-1}}^{(r)}(f_{2})\right\}, \end{align*} where the supremum is taken over the set of all $\mu\in\mathcal{M}_{\mathbb{P}}^{1}(\Omega\times X_{1},f_{1})$. In the case of random dynamical systems with an ergodic and compact driving system, this gives an affirmative answer to the question posed by Feng and Huang [Variational principle for weighted topological pressure, J. Math. Pures Appl. 106 (2016), 411-452]. It also generalizes the relativized variational principle for fiber topological entropy, and provides a topological extension of Hausdorff dimension of invariant sets and random measures on the $2$-torus $\mathbb{T}^{2}$. In addition, the Shannon-McMillan-Breiman theorem, Brin-Katok local entropy formula and Katok entropy formula of weighted measure-theoretic entropy for random dynamical systems are also established in this paper.


title: Vortex-lattice structures in rotating Bose-Fermi superfluid mixtures

abstract: The system of Bose-Fermi superfluid mixture offers a playground to explore rich macroscopic quantum phenomena. In a recent experiment of Yao {\it et al.} [Phys. Rev. Lett. {\bf 117}, 145301 (2016)], $^{41}$K-$^{6}$Li superfluid mixture is implemented. Coupled quantized vortices are generated via rotating the superfluid mixture, and a few unconventional behaviors on the formations of vortex numbers are observed, which can be traced to boson-fermion interactions. Here we provide a theoretical insight into the unconventional behaviors observed in the experiment. To this end, the orbital-free density functional theory is hired, and its utility is validated by making comparison of the numerical results and a microscopic theory for vortex lattices in strongly interacting Fermi superfluids alone. We also predict interesting phenomena which can be readily explored experimentally, including the novel structures of bosonic-fermionic vortices, and attractive interactions between the bosonic and fermionic vortices.


title: Feature Representation Learning for Unsupervised Cross-domain Image Retrieval

abstract: Current supervised cross-domain image retrieval methods can achieve excellent performance. However, the cost of data collection and labeling imposes an intractable barrier to practical deployment in real applications. In this paper, we investigate the unsupervised cross-domain image retrieval task, where class labels and pairing annotations are no longer a prerequisite for training. This is an extremely challenging task because there is no supervision for both in-domain feature representation learning and cross-domain alignment. We address both challenges by introducing: 1) a new cluster-wise contrastive learning mechanism to help extract class semantic-aware features, and 2) a novel distance-of-distance loss to effectively measure and minimize the domain discrepancy without any external supervision. Experiments on the Office-Home and DomainNet datasets consistently show the superior image retrieval accuracies of our framework over state-of-the-art approaches. Our source code can be found at https://github.com/conghuihu/UCDIR.


title: Prime ideals of the Burnside ring of a saturated fusion system

abstract: In a 1969 article, A. Dress described the prime ideals of the Burnside ring of a finite group G and the inclusion relations between them. One may ask whether similar results exist for the Burnside ring of a saturated fusion system F on a finite p-group S. The present paper answers positively, providing a typology for the prime ideals of A(F) and for those of A(F) (p) as a consequence.


title: Waves in a random medium: Endpoint Strichartz estimates and number estimates

abstract: In this article we reconsider the problem of the propagation of waves in a random medium in a kinetic regime. The final aim of this program would be the understanding of the conditions which allow to derive a kinetic or radiative transfer equation. Although it is not reached for the moment, accurate and somehow surprising number estimates in the Fock space setting, which happen to be propagated by the dynamics on macroscopic time scales, are obtained. Keel and Tao endpoint Strichartz estimates play a crucial role after being combined with a Cauchy-Kowalevski type argument. Although the whole article is focussed on the simplest case of Schr{\"o}dinger waves in a gaussian random potential of which the translation into a QFT problem is straightforward, several intermediate results are written in a general setting in order to be applied to other similar problems.


title: Orthogonality Deficiency Compensation for Improved Frequency Selective Image Extrapolation

abstract: This paper describes a very efficient algorithm for image signal extrapolation. It can be used for various applications in image and video communication, e.g. the concealment of data corrupted by transmission errors or prediction in video coding. The extrapolation is performed on a limited number of known samples and extends the signal beyond these samples. Therefore the signal from the known samples is iteratively projected onto different basis functions in order to generate a model of the signal. As the basis functions are not orthogonal with respect to the area of the known samples we propose a new extension, the orthogonality deficiency compensation, to cope with the non-orthogonality. Using this extension, very good extrapolation results for structured as well as for smooth areas are achievable. This algorithm improves PSNR up to 2 dB and gives a better visual quality for concealment of block losses compared to extrapolation algorithms existent so far.


title: OTPose: Occlusion-Aware Transformer for Pose Estimation in Sparsely-Labeled Videos

abstract: Although many approaches for multi-human pose estimation in videos have shown profound results, they require densely annotated data which entails excessive man labor. Furthermore, there exists occlusion and motion blur that inevitably lead to poor estimation performance. To address these problems, we propose a method that leverages an attention mask for occluded joints and encodes temporal dependency between frames using transformers. First, our framework composes different combinations of sparsely annotated frames that denote the track of the overall joint movement. We propose an occlusion attention mask from these combinations that enable encoding occlusion-aware heatmaps as a semi-supervised task. Second, the proposed temporal encoder employs transformer architecture to effectively aggregate the temporal relationship and keypoint-wise attention from each time step and accurately refines the target frame's final pose estimation. We achieve state-of-the-art pose estimation results for PoseTrack2017 and PoseTrack2018 datasets and demonstrate the robustness of our approach to occlusion and motion blur in sparsely annotated video data.


title: Strong regularization by noise for kinetic SDEs

abstract: In this paper we prove strong well-posedness for a system of stochastic differential equations driven by a degenerate diffusion satisfying a weak-type H\"ormander condition, assuming H\"older regularity assumptions on the drift coefficient. This framework encompasses, as particular cases, stochastic Langevin systems of kinetic SDEs. The drift coefficient of the velocity component is allowed to be $\alpha$-H\"older continuous without any restriction on the index $\alpha$, which can be any positive number in $]0,1[$. As the deterministic counterparts of these differential systems are not well-posed, this result can be viewed as a phenomenon known as regularization by noise.


title: Spatio-temporal prediction in video coding by best approximation

abstract: Within the scope of this contribution we propose a novel efficient spatio-temporal prediction algorithm for video coding. The algorithm operates in two stages. First, motion compensation is performed on the block to be predicted in order to exploit temporal correlations. Afterwards, in order to exploit spatial correlations, this preliminary estimate is spatially refined by forming a joint model of the motion compensated block and spatially adjacent already decoded blocks. Compared to an earlier refinement algorithm, the novel one only needs very little iteration, leading to a speedup of factor 17. The implementation of this new algorithm into the H.264/AVC leads to a maximum reduction in data rate of up to nearly 13% for the considered sequences.


title: Revisiting data augmentation for subspace clustering

abstract: Subspace clustering is the classical problem of clustering a collection of data samples that approximately lie around several low-dimensional subspaces. The current state-of-the-art approaches for this problem are based on the self-expressive model which represents the samples as linear combination of other samples. However, these approaches require sufficiently well-spread samples for accurate representation which might not be necessarily accessible in many applications. In this paper, we shed light on this commonly neglected issue and argue that data distribution within each subspace plays a critical role in the success of self-expressive models. Our proposed solution to tackle this issue is motivated by the central role of data augmentation in the generalization power of deep neural networks. We propose two subspace clustering frameworks for both unsupervised and semi-supervised settings that use augmented samples as an enlarged dictionary to improve the quality of the self-expressive representation. We present an automatic augmentation strategy using a few labeled samples for the semi-supervised problem relying on the fact that the data samples lie in the union of multiple linear subspaces. Experimental results confirm the effectiveness of data augmentation, as it significantly improves the performance of general self-expressive models.


title: Spatio-temporal prediction in video coding by non-local means refined motion compensation

abstract: The prediction step is a very important part of hybrid video codecs. In this contribution, a novel spatio-temporal prediction algorithm is introduced. For this, the prediction is carried out in two steps. Firstly, a preliminary temporal prediction is conducted by motion compensation. Afterwards, spatial refinement is carried out for incorporating spatial redundancies from already decoded neighboring blocks. Thereby, the spatial refinement is achieved by applying Non-Local Means de-noising to the union of the motion compensated block and the already decoded blocks. Including the spatial refinement into H.264/AVC, a rate reduction of up to 14 % or respectively a gain of up to 0.7 dB PSNR compared to unrefined motion compensated prediction can be achieved.


title: Contractible_Spaces, Homotopy Equivalence and Homeomorphism in Digital Topology

abstract: This article provides a brief overview of the main results in the field of contractible digital spaces and contractible transformations of digital spaces and contains new results. We introduce new types of contractible digital spaces such as the cone and the double cone. Based on this, we introduce new contractible transformations that covert the digital space into a homotopy equivalent to the first one. We group together these transformations and get 6 types of contractible transformations. These transformations can be used to convert a closed digital n-dimensional manifold into another closed n-dimensional manifold homeomorphic to the first one.


title: Self-avoiding walks contained within a square

abstract: We have studied self-avoiding walks contained within an $L \times L$ square whose end-points can lie anywhere within, or on, the boundaries of the square. We prove that such walks behave, asymptotically, as walks crossing a square (WCAS), being those walks whose end-points lie at the south-east and north-west corners of the square. We provide numerical data, enumerating all such walks, and analyse the sequence of coefficients in order to estimate the asymptotic behaviour. We also studied a subset of these walks, those that must contain at least one edge on all four boundaries of the square. We provide compelling evidence that these two classes of walks grow identically. From our analysis we conjecture that the number of such walks $C_L$, for both problems, behaves as $$ C_L \sim \lambda^{L^2+bL+c}\cdot L^g,$$ where $\lambda= 1.7445498 \pm 0.0000012,$ $b=-0.04354 \pm 0.0005,$ $c=-1.35 \pm 0.45,$ and $g=3.9 \pm 0.1.$ Finally, we also studied the equivalent problem for self-avoiding polygons, also known as cycles in a square grid. The asymptotic behaviour of cycles has the same form as walks, but with different values of the parameters $c$, and $g$. Our numerical analysis shows that $\lambda$ and $b$ have the same values as for WCAS and that $c=1.776 \pm 0.002$ while $g=-0.500\pm 0.005$ and hence probably equals $-\frac12$.


title: Introducing Auxiliary Text Query-modifier to Content-based Audio Retrieval

abstract: The amount of audio data available on public websites is growing rapidly, and an efficient mechanism for accessing the desired data is necessary. We propose a content-based audio retrieval method that can retrieve a target audio that is similar to but slightly different from the query audio by introducing auxiliary textual information which describes the difference between the query and target audio. While the range of conventional content-based audio retrieval is limited to audio that is similar to the query audio, the proposed method can adjust the retrieval range by adding an embedding of the auxiliary text query-modifier to the embedding of the query sample audio in a shared latent space. To evaluate our method, we built a dataset comprising two different audio clips and the text that describes the difference. The experimental results show that the proposed method retrieves the paired audio more accurately than the baseline. We also confirmed based on visualization that the proposed method obtains the shared latent space in which the audio difference and the corresponding text are represented as similar embedding vectors.


title: Direct and Residual Subspace Decomposition of Spatial Room Impulse Responses

abstract: Psychoacoustic experiments have shown that directional properties of the direct sound, salient reflections, and the late reverberation of an acoustic room response can have a distinct influence on the auditory perception of a given room. Spatial room impulse responses (SRIRs) capture those properties and thus are used for direction-dependent room acoustic analysis and virtual acoustic rendering. This work proposes a subspace method that decomposes SRIRs into a direct part, which comprises the direct sound and the salient reflections, and a residual, to facilitate enhanced analysis and rendering methods by providing individual access to these components. The proposed method is based on the generalized singular value decomposition and interprets the residual as noise that is to be separated from the other components of the reverberation. Large generalized singular values are attributed to the direct part, which is then obtained as a low-rank approximation of the SRIR. By advancing from the end of the SRIR toward the beginning while iteratively updating the residual estimate, the method adapts to spatio-temporal variations of the residual. The method is evaluated using a spatio-spectral error measure and simulated SRIRs of different rooms, microphone arrays, and ratios of direct sound to residual energy. The proposed method creates lower errors than existing approaches in all tested scenarios, including a scenario with two simultaneous reflections. A case study with measured SRIRs shows the applicability of the method under real-world acoustic conditions. A reference implementation is provided.


title: The Free Energy Principle drives neuromorphic development

abstract: We show how any system with morphological degrees of freedom and locally limited free energy will, under the constraints of the free energy principle, evolve toward a neuromorphic morphology that supports hierarchical computations in which each level of the hierarchy enacts a coarse-graining of its inputs, and dually a fine-graining of its outputs. Such hierarchies occur throughout biology, from the architectures of intracellular signal transduction pathways to the large-scale organization of perception and action cycles in the mammalian brain. Formally, the close formal connections between cone-cocone diagrams (CCCD) as models of quantum reference frames on the one hand, and between CCCDs and topological quantum field theories on the other, allow the representation of such computations in the fully-general quantum-computational framework of topological quantum neural networks.


title: CrossHuman: Learning Cross-Guidance from Multi-Frame Images for Human Reconstruction

abstract: We propose CrossHuman, a novel method that learns cross-guidance from parametric human model and multi-frame RGB images to achieve high-quality 3D human reconstruction. To recover geometry details and texture even in invisible regions, we design a reconstruction pipeline combined with tracking-based methods and tracking-free methods. Given a monocular RGB sequence, we track the parametric human model in the whole sequence, the points (voxels) corresponding to the target frame are warped to reference frames by the parametric body motion. Guided by the geometry priors of the parametric body and spatially aligned features from RGB sequence, the robust implicit surface is fused. Moreover, a multi-frame transformer (MFT) and a self-supervised warp refinement module are integrated to the framework to relax the requirements of parametric body and help to deal with very loose cloth. Compared with previous works, our CrossHuman enables high-fidelity geometry details and texture in both visible and invisible regions and improves the accuracy of the human reconstruction even under estimated inaccurate parametric human models. The experiments demonstrate that our method achieves state-of-the-art (SOTA) performance.


title: On the rotation curve of disk galaxies in General Relativity

abstract: Recently, it has been suggested that the phenomenology of flat rotation curves observed at large radii in the equatorial plane of disk galaxies can be explained as a manifestation of General Relativity instead of the effect of Dark Matter halos. In this paper, by using the well known weak field, low velocity gravitomagnetic formulation of GR, the expected rotation curves in GR are rigorously obtained for purely baryonic disk models with realistic density profiles, and compared with the predictions of newtonian gravity for the same disks in absence of Dark Matter. As expected, the resulting rotation curves are indistinguishable, with GR corrections at all radii of the order of $v^2/c^2\approx 10^{-6}$. Next, the gravitomagnetic Jeans equations for two-integral stellar systems are derived, and then solved for the Miyamoto-Nagai disk model, showing that finite-thickness effects do not change the previous conclusions. Therefore, the observed phenomenology of galactic rotation curves at large radii requires Dark Matter in GR exactly as in newtonian gravity, unless the cases here explored are reconsidered in the full GR framework with substantially different results (with the surprising consequence that the weak field approximation of GR cannot be applied to the study of rotating systems in the weak field regime). In the paper, the mathematical framework is described in detail, so that the present study can be extended to other disk models, or to elliptical galaxies (where Dark Matter is also required in newtonian gravity, but their rotational support can be much less than in disk galaxies).


title: Optimized processing order for 3D hole filling in video sequences using frequency selective extrapolation

abstract: A problem often arising in video communication is the reconstruction of missing or distorted areas in a video sequence. Such holes of unavailable pixels may be caused for example by transmission errors of coded video data or undesired objects like logos. In order to close the holes given neighboring available content, a signal extrapolation has to be performed. The best quality can be achieved, if spatial as well as temporal information is used for the reconstruction. However, the question always is in which order to process the extrapolation to obtain the best result. In this paper, an optimized processing order is introduced for improving the extrapolation quality of Three-dimensional Frequency Selective Extrapolation. Using the proposed optimized order, holes in video sequences can be closed from the outer margin to the center, leading to a higher reconstruction quality, and visually noticeable gains of more than 0.5 dB PSNR are possible.


title: Dynamics of density patches in infinite Prandtl number convection

abstract: This work examines the dynamics of density patches in the 2D zero-diffusivity Boussinesq system modified such that momentum is in a large Prandtl number balance. We establish the global well-posedness of this system for compactly supported and bounded initial densities, and then examine the regularity of the evolving boundary of patch solutions. For $k \in \{0,1,2\}$, we prove the global in time persistence of $C^{k+\mu}$-regularity, where $\mu \in (0,1)$, for the density patch boundary via estimates of singular integrals. We conclude with a simulation of an initially circular density patch via a level-set method. The simulated patch boundary forms corner-like structures with growing curvature, and yet our analysis shows the curvature will be bounded for all finite times.


title: Mrs. Correct and Majority Colorings

abstract: A majority coloring of a directed graph is a vertex coloring in which each vertex has the same color as at most half of its out-neighbors. In this note we simplify some proof techniques and generalize previously known results on various generalizations of majority coloring. In particular, our unified and simplified approach works for paintability - an on-line analog of the list coloring.


title: Interpreting Latent Spaces of Generative Models for Medical Images using Unsupervised Methods

abstract: Generative models such as Generative Adversarial Networks (GANs) and Variational Autoencoders (VAEs) play an increasingly important role in medical image analysis. The latent spaces of these models often show semantically meaningful directions corresponding to human-interpretable image transformations. However, until now, their exploration for medical images has been limited due to the requirement of supervised data. Several methods for unsupervised discovery of interpretable directions in GAN latent spaces have shown interesting results on natural images. This work explores the potential of applying these techniques on medical images by training a GAN and a VAE on thoracic CT scans and using an unsupervised method to discover interpretable directions in the resulting latent space. We find several directions corresponding to non-trivial image transformations, such as rotation or breast size. Furthermore, the directions show that the generative models capture 3D structure despite being presented only with 2D data. The results show that unsupervised methods to discover interpretable directions in GANs generalize to VAEs and can be applied to medical images. This opens a wide array of future work using these methods in medical image analysis.


title: Detailed spectroscopy of post-AGB supergiant GSC 04050$-$02366 in IRAS Z02229+6208 IR source system

abstract: In the optical spectra of the cold post-AGB supergiant GSC 04050$-$02366, obtained with the 6-meter BTA telescope with a spectral resolution of R$\ge$60000 on arbitrary dates over 2019$\div$2021, a radial velocity variability is found. Heliocentric Vr based on the positional measurements of numerous absorptions varies from date to date with a standard deviation of $\Delta$Vr$\approx$1.4 km/s about the average value of Vr=24.75 km/s, which may stem out of the low-amplitude pulsations in the atmosphere. The spectra of the star are purely absorption type, there are no obvious emissions. Intensity variability of most of absorptions and Swan bands of the C$_2$ molecule was discovered. A slight asymmetry of the H$\alpha$ profile is observed at some observation dates. The position of H$\alpha$ absorption core varies within 27.3$\div$30.6 km/s. Splitting into two components (or asymmetry) of strong low-excitation absorptions (YII, ZrII, BaII, LaII, CeII, NdII) was found. The position of the long-wavelength component coincides with the position of other photospheric absorptions, which confirms its formation in the atmosphere of the star. The position of the shortwave component is close to the position of the rotational features of Swan bands, which indicates its formation in the circumstellar envelope expanding at a velocity of about Vexp=16 km/s.


title: Entanglement length scale separates threading from branching of unknotted and non-concatenated ring polymers in melts

abstract: Current theories on the conformation and dynamics of unknotted and non-concatenated ring polymers in melt conditions describe each ring as a tree-like double-folded object. While evidence from simulations supports this picture on a single ring level, other works show pairs of rings also thread each other - a feature overlooked in the tree theories. Here we reconcile this dichotomy using Monte-Carlo simulations of the ring melts with different bending rigidity. We find that rings are double-folded (more strongly for stiffer rings) on and above the entanglement length scale, while the threadings are localized on smaller scales. The different theories disagree on the details of the tree structure, i.e the fractal dimension of the backbone of the tree. In the stiffer melts we find an indication of a self-avoiding scaling of the backbone, while more flexible chains do not exhibit such a regime. Moreover, the theories commonly neglect threadings, and assign different importance to the impact of the progressive constraint release (tube dilation) on single ring relaxation due to the motion of other rings. Despite each threading creates only a small opening in the double-folded structure, the threading loops can be numerous and their length can exceed substantially the entanglement scale. We link the threading constraints to the divergence of the relaxation time of a ring, if the tube dilation is hindered by pinning a fraction of other rings in space. Current theories do not predict such divergence and predict faster than measured diffusion of rings, pointing at the relevance of the threading constraints in unpinned systems as well. Revision of the theories with explicit threading constraints might elucidate the validity of the conjectured existence of topological glass.


title: A possible subthreshold pole in $S_{11}$ channel from $\pi N$ Roy-Steiner equation analyses

abstract: The hyperbolic version of Roy-Steiner equation describing low energy $\pi N$ scatterings, with larger analyticity domain in the complex $s$ plane is solved. The numerical results on phase shifts of low partial waves are in agreement with that of Hoferichter et al. [Phys. Rept. 625 (2016) 1]. A subthreshold pole in $S_{11}$ channel is found located at $\sqrt{s}=(918 \pm 3)-i (163 \pm 9)$~MeV.


title: MLMSA: Multi-Label Multi-Side-Channel-Information enabled Deep Learning Attacks on APUF Variants

abstract: To improve the modeling resilience of silicon strong physical unclonable functions (PUFs), in particular, the APUFs, that yield a very large number of challenge response pairs (CRPs), a number of composited APUF variants such as XOR-APUF, interpose-PUF (iPUF), feed-forward APUF (FF-APUF),and OAX-APUF have been devised. When examining their security in terms of modeling resilience, utilizing multiple information sources such as power side channel information (SCI) or/and reliability SCI given a challenge is under-explored, which poses a challenge to their supposed modeling resilience in practice. Building upon multi-label/head deep learning model architecture,this work proposes Multi-Label Multi-Side-channel-information enabled deep learning Attacks (MLMSA) to thoroughly evaluate the modeling resilience of aforementioned APUF variants. Despite its simplicity, MLMSA can successfully break large-scaled APUF variants, which has not previously been achieved. More precisely, the MLMSA breaks 128-stage 30-XOR-APUF, (9, 9)- and (2, 18)-iPUFs, and (2, 2, 30)-OAX-APUF when CRPs, power SCI and reliability SCI are concurrently used. It breaks 128-stage 12-XOR-APUF and (2, 2, 9)-OAX-APUF even when only the easy-to-obtain reliability SCI and CRPs are exploited. The 128-stage six-loop FF-APUF and one-loop 20-XOR-FF-APUF can be broken by simultaneously using reliability SCI and CRPs. All these attacks are normally completed within an hour with a standard personalcomputer. Therefore, MLMSA is a useful technique for evaluating other existing or any emerging strong PUF designs.


title: Benchmarking tools for a priori identifiability analysis

abstract: The structural identifiability and the observability of a model determine the possibility of inferring its parameters and states by observing its outputs. These properties should be analysed before attempting to calibrate a model. Unfortunately, such \textit{a priori} analysis can be challenging, since it requires symbolic calculations that often have a high computational cost. In recent years a number of software tools have been developed for this task, mostly in the systems biology community but also in other disciplines. These tools have vastly different features and capabilities, and a critical assessment of their performance is still lacking. Here we present a comprehensive study of the computational resources available for analysing structural identifiability. We consider 12 software tools developed in 7 programming languages (Matlab, Maple, Mathematica, Julia, Python, Reduce, and Maxima), and evaluate their performance using a set of 25 case studies created from 21 models. Our results reveal their strengths and weaknesses, provide guidelines for choosing the most appropriate tool for a given problem, and highlight opportunities for future developments.


title: Can Causal (and Counterfactual) Reasoning improve Privacy Threat Modelling?

abstract: Causal questions often permeate in our day-to-day activities. With causal reasoning and counterfactual intuition, privacy threats can not only be alleviated but also prevented. In this paper, we discuss what is causal and counterfactual reasoning and how this can be applied in the field of privacy threat modelling (PTM). We believe that the future of PTM relies on how we can causally and counterfactually imagine cybersecurity threats and incidents.


title: Transfer Learning of wav2vec 2.0 for Automatic Lyric Transcription

abstract: Automatic speech recognition (ASR) has progressed significantly in recent years due to the emergence of large-scale datasets and the self-supervised learning (SSL) paradigm. However, as its counterpart problem in the singing domain, the development of automatic lyric transcription (ALT) suffers from limited data and degraded intelligibility of sung lyrics. To fill in the performance gap between ALT and ASR, we attempt to exploit the similarities between speech and singing. In this work, we propose a transfer-learning-based ALT solution that takes advantage of these similarities by adapting wav2vec 2.0, an SSL ASR model, to the singing domain. We maximize the effectiveness of transfer learning by exploring the influence of different transfer starting points. We further enhance the performance by extending the original CTC model to a hybrid CTC/attention model. Our method surpasses previous approaches by a large margin on various ALT benchmark datasets. Further experiments show that, with even a tiny proportion of training data, our method still achieves competitive performance.


title: Facial Affect Analysis: Learning from Synthetic Data & Multi-Task Learning Challenges

abstract: Facial affect analysis remains a challenging task with its setting transitioned from lab-controlled to in-the-wild situations. In this paper, we present novel frameworks to handle the two challenges in the 4th Affective Behavior Analysis In-The-Wild (ABAW) competition: i) Multi-Task-Learning (MTL) Challenge and ii) Learning from Synthetic Data (LSD) Challenge. For MTL challenge, we adopt the SMM-EmotionNet with a better ensemble strategy of feature vectors. For LSD challenge, we propose respective methods to combat the problems of single labels, imbalanced distribution, fine-tuning limitations, and choice of model architectures. Experimental results on the official validation sets from the competition demonstrated that our proposed approaches outperformed baselines by a large margin. The code is available at https://github.com/sylyoung/ABAW4-HUST-ANT.


title: Adatom and nanoparticle dynamics on single-atom catalyst substrates

abstract: Single-atom catalysts represent an essential and ever-growing family of heterogeneous catalysts. Recent studies indicate that besides the valuable catalytic properties provided by single-atom active sites, the presence of single-atom sites on the catalyst substrates may significantly influence the population of supported metal nanoparticles coexisting with metal single atoms. Treatment of ceria-based single-atom catalysts in oxidizing or reducing atmospheres was proven to provide precise experimental control of the size of the supported Pt nanoparticles, and, correspondingly, control of catalyst activity and stability. Based on dedicated surface science experiments, ab-initio calculations and kinetic Monte-Carlo simulations we demonstrate that the morphology of Pt nanoparticle population on ceria surface is a result of a competition for Pt atoms between Pt single-atom sites and Pt nanoparticles. In oxidizing atmosphere, Pt single-atom sites provide strong bonding to single Pt atoms and Pt nanoparticles shrink. In reducing atmosphere, Pt single atom sites are depopulated and Pt nanoparticles grow. We formulate a generic model of Pt redispersion and coarsening on ceria substrates. Our model provides a unified atomic-level explanation for a variety of metal nanoparticle dynamic processes observed in single-atom catalysts under stationary or alternating oxidizing/reducing atmospheres, and allows to classify the conditions when nanoparticle ensembles on single-atom catalysts substrates can be stabilized against Ostwald ripening.


title: Fair Context-Aware Privacy Threat Modelling

abstract: Given the progressive nature of the world today, fairness is a very important social aspect in various areas, and it has long been studied with the advent of technology. To the best of our knowledge, methods of quantifying fairness errors and fairness in privacy threat models have been absent. To this end, in this short paper, we examine notions of fairness in privacy threat modelling due to different causes of privacy threats within a particular situation/context and that across contexts.


title: Contraction Bidimensionality of Geometric Intersection Graphs

abstract: Given a graph $G$, we define ${\bf bcg}(G)$ as the minimum $k$ for which $G$ can be contracted to the uniformly triangulated grid $\Gamma_{k}$. A graph class ${\cal G}$ has the SQG${\bf C}$ property if every graph $G\in{\cal G}$ has treewidth $\mathcal{O}({\bf bcg}(G)^{c})$ for some $1\leq c<2$. The SQG${\bf C}$ property is important for algorithm design as it defines the applicability horizon of a series of meta-algorithmic results, in the framework of bidimensionality theory, related to fast parameterized algorithms, kernelization, and approximation schemes. These results apply to a wide family of problems, namely problems that are contraction-bidimensional. Our main combinatorial result reveals a wide family of graph classes that satisfy the SQG${\bf C}$ property. This family includes, in particular, bounded-degree string graphs. This considerably extends the applicability of bidimensionality theory for contraction bidimensional problems.


title: Close encounters: How stellar flybys shape planet-forming discs

abstract: We review the role of stellar flybys and encounters in shaping planet-forming discs around young stars, based on the published literature on this topic in the last 30 years. Since most stars $\leq~2$ Myr old harbour protoplanetary discs, tidal perturbations affect planet formation. First, we examine the probability of experiencing flybys or encounters: More than 50\% of stars with planet-forming discs in a typical star forming environment should experience a close stellar encounter or flyby within 1000 au. Second, we detail the dynamical effects of flybys on planet-forming discs. Prograde, parabolic, disc-penetrating flybys are the most destructive. Grazing and penetrating flybys in particular lead to the capture of disc material by the secondary to form a highly misaligned circumsecondary disc with respect to the disc around the primary. One or both discs may undergo extreme accretion and outburst events, similar to the ones observed in FU Orionis-type stars. Warps and broken discs are distinct signatures of retrograde flybys. Third, we review some recently observed stellar systems with discs where a stellar flyby or an encounter is suspected -- including UX Tau, RW Aur, AS 205, Z CMa, and FU Ori. Finally, we discuss the implications of stellar flybys for planet formation and exoplanet demographics, including possible imprints of a flyby in the Solar System in the orbits of trans-Neptunian objects and the Sun's obliquity.


title: Investigating the muon catalyzed fusion in muonic lithium hydride

abstract: In this work, we consider the muonic LiH as a new stage of the $\mu$ catalyzed fusion. We calculate the bound states of the muonic LiH and LiH$^+$ and their wave functions based on the three and four body approximation. In order to solve the Schr$\ddot{\rm o}$dinger equation, we apply the Gaussian expansion method which gives us both the eigen energies and the wave functions. The existences of the bound states in muonic LiH and LiH$^+$ are confirmed. We find the dynamical behaviors between the $^7$Li and proton in muonic LiH and LiH$^+$ are similar as the ones in dt$\mu_2$ and dt$\mu$, respectively. The $\alpha$ sticking probability in the muonic LiH$^+$ after the nuclear fusion is studied. The calculated $\alpha$ sticking probability of being captured to the ground state of He$\mu$ is 5 times smaller than the one in dt$\mu$.


title: Homogenization of elastomers filled with liquid inclusions: The small-deformation limit

abstract: This paper presents the derivation of the homogenized equations that describe the macroscopic mechanical response of elastomers filled with liquid inclusions in the setting of small quasistatic deformations. The derivation is carried out for materials with periodic microstructure by means of a two-scale asymptotic analysis. The focus is on the non-dissipative case when the elastomer is an elastic solid, the liquid making up the inclusions is an elastic fluid, the interfaces separating the solid elastomer from the liquid inclusions are elastic interfaces featuring an initial surface tension, and the inclusions are initially $n$-spherical ($n=2,3$) in shape. Remarkably, in spite of the presence of local residual stresses within the inclusions due to an initial surface tension at the interfaces, the macroscopic response of such filled elastomers turns out to be that of a linear elastic solid that is free of residual stresses and hence one that is simply characterized by an effective modulus of elasticity $\bar{\textbf{L}}$. What is more, in spite of the fact that the local moduli of elasticity in the bulk and the interfaces do not possess minor symmetries (due to the presence of residual stresses and the initial surface tension at the interfaces), the resulting effective modulus of elasticity $\bar{\textbf{L}}$ does possess the standard minor symmetries of a conventional linear elastic solid, that is, $\bar{L}_{ijkl}=\bar{L}_{jikl}=\bar{L}_{ijlk}$. As a first application, numerical results are worked out and analyzed for the effective modulus of elasticity of isotropic suspensions of incompressible liquid $2$-spherical inclusions of monodisperse size embedded in an isotropic incompressible elastomer.


title: A temporally and spatially local spike-based backpropagation algorithm to enable training in hardware

abstract: Spiking Neural Networks (SNNs) have emerged as a hardware efficient architecture for classification tasks. The challenge of spike-based encoding has been the lack of a universal training mechanism performed entirely using spikes. There have been several attempts to adopt the powerful backpropagation (BP) technique used in non-spiking artificial neural networks (ANN): (1) SNNs can be trained by externally computed numerical gradients. (2) A major advancement towards native spike-based learning has been the use of approximate Backpropagation using spike-time dependent plasticity (STDP) with phased forward/backward passes. However, the transfer of information between such phases for gradient and weight update calculation necessitates external memory and computational access. This is a challenge for standard neuromorphic hardware implementations. In this paper, we propose a stochastic SNN based Back-Prop (SSNN-BP) algorithm that utilizes a composite neuron to simultaneously compute the forward pass activations and backward pass gradients explicitly with spikes. Although signed gradient values are a challenge for spike-based representation, we tackle this by splitting the gradient signal into positive and negative streams. We show that our method approaches BP ANN baseline with sufficiently long spike-trains. Finally, we show that the well-performing softmax cross-entropy loss function can be implemented through inhibitory lateral connections enforcing a Winner Take All (WTA) rule. Our SNN with a 2-layer network shows excellent generalization through comparable performance to ANNs with equivalent architecture and regularization parameters on static image datasets like MNIST, Fashion-MNIST, Extended MNIST, and temporally encoded image datasets like Neuromorphic MNIST datasets. Thus, SSNN-BP enables BP compatible with purely spike-based neuromorphic hardware.


title: The cubic moment of Hecke--Maass cusp forms and moments of $L$-functions

abstract: In this paper, we prove the smooth cubic moments vanish for the Hecke--Maass cusp forms, which gives a new case of the random wave conjecture. In fact, we can prove a polynomial decay for the smooth cubic moments, while for the smooth second moment (i.e. QUE) no rate of decay is known unconditionally for general Hecke--Maass cusp forms. The proof bases on various estimates of moments of central $L$-values. We prove the Lindel\"of on average bound for the first moment of $\rm GL(3)\times GL(2)$ $L$-functions in short intervals of the subconvexity strength length, and the convexity strength upper bound for the mixed moment of $\rm GL(2)$ and the triple product $L$-functions. In particular, we prove new subconvexity bounds of certain $\rm GL(3)\times GL(2)$ $L$-functions.


title: Output Feedback Control of Radially-Dependent Reaction-Diffusion PDEs on Balls of Arbitrary Dimensions

abstract: Recently, the problem of boundary stabilization and estimation for unstable linear constant-coefficient reaction-diffusion equation on n-balls (in particular, disks and spheres) has been solved by means of the backstepping method. However, the extension of this result to spatially-varying coefficients is far from trivial. Some early success has been achieved under simplifying conditions, such as radially-varying reaction coefficients under revolution symmetry, on a disk or a sphere. These particular cases notwithstanding, the problem remains open. The main issue is that the equations become singular in the radius; when applying the backstepping method, the same type of singularity appears in the kernel equations. Traditionally, well-posedness of these equations has been proved by transforming them into integral equations and then applying the method of successive approximations. In this case, with the resulting integral equation becoming singular, successive approximations do not easily apply. This paper takes a different route and directly addresses the kernel equations via a power series approach, finding in the process the required conditions for the radially-varying reaction (namely, analyticity and evenness) and showing the existence and convergence of the series solution. This approach provides a direct numerical method that can be readily applied, despite singularities, to both control and observer boundary design problems.


title: Equivariant Endomorphisms of Convex Functions

abstract: Characterizations of all continuous, additive and $\mathrm{GL}(n)$-equivariant endomorphisms of the space of convex functions on a Euclidean space $\mathbb{R}^n$, of the subspace of convex functions that are finite in a neighborhood of the origin, and of finite convex functions are established. Moreover, all continuous, additive, monotone endomorphisms of the same spaces, which are equivariant with respect to rotations and dilations, are characterized. Finally, all continuous, additive endomorphisms of the space of finite convex functions of one variable are characterized.


title: Task-adaptive Spatial-Temporal Video Sampler for Few-shot Action Recognition

abstract: A primary challenge faced in few-shot action recognition is inadequate video data for training. To address this issue, current methods in this field mainly focus on devising algorithms at the feature level while little attention is paid to processing input video data. Moreover, existing frame sampling strategies may omit critical action information in temporal and spatial dimensions, which further impacts video utilization efficiency. In this paper, we propose a novel video frame sampler for few-shot action recognition to address this issue, where task-specific spatial-temporal frame sampling is achieved via a temporal selector (TS) and a spatial amplifier (SA). Specifically, our sampler first scans the whole video at a small computational cost to obtain a global perception of video frames. The TS plays its role in selecting top-T frames that contribute most significantly and subsequently. The SA emphasizes the discriminative information of each frame by amplifying critical regions with the guidance of saliency maps. We further adopt task-adaptive learning to dynamically adjust the sampling strategy according to the episode task at hand. Both the implementations of TS and SA are differentiable for end-to-end optimization, facilitating seamless integration of our proposed sampler with most few-shot action recognition methods. Extensive experiments show a significant boost in the performances on various benchmarks including long-term videos.The code is available at https://github.com/R00Kie-Liu/Sampler


title: The GAPS Programme at TNG XXXVIII. Five molecules in the atmosphere of the warm giant planet WASP-69b detected at high spectral resolution

abstract: The field of exo-atmospheric characterisation is progressing at an extraordinary pace. Atmospheric observations are now available for tens of exoplanets, mainly hot and warm inflated gas giants, and new molecular species continue to be detected revealing a richer atmospheric composition than previously expected. Thanks to its warm equilibrium temperature (963$\pm$18~K) and low-density (0.219$\pm$0.031~g cm$^{-3}$), the close-in gas giant WASP-69b represents a golden target for atmospheric characterization. With the aim of searching for molecules in the atmosphere of WASP-69b and investigating its properties, we performed high-resolution transmission spectroscopy with the GIANO-B near-infrared spectrograph at the Telescopio Nazionale Galileo. We observed three transit events of WASP-69b. During a transit, the planetary lines are Doppler-shifted due to the large change in the planet's radial velocity, allowing us to separate the planetary signal from the quasi-stationary telluric and stellar spectrum. Considering the three nights together, we report the detection of CH$_4$, NH$_3$, CO, C$_2$H$_2$, and H$_2$O, at more than $3.3\sigma$ level. We did not identify the presence of HCN and CO$_2$ with confidence level higher than 3$\sigma$. This is the first time that five molecules are simultaneously detected in the atmosphere of a warm giant planet. These results suggest that the atmosphere of WASP-69b is possibly carbon-rich and characterised by the presence of disequilibrium chemistry.


title: The GAPS Programme at TNG XXXIX -- Multiple molecular species in the atmosphere of the warm giant planet WASP-80 b unveiled at high resolution with GIANO-B

abstract: Detections of molecules in the atmosphere of gas giant exoplanets allow us to investigate the physico-chemical properties of the atmospheres. Their inferred chemical composition is used as tracer of planet formation and evolution mechanisms. Currently, an increasing number of detections is showing a possible rich chemistry of the hotter gaseous planets, but whether this extends to cooler giants is still unknown. We observed four transits of WASP-80 b, a warm transiting giant planet orbiting a late-K dwarf star with the near-infrared GIANO-B spectrograph installed at the Telescopio Nazionale Galileo and performed high resolution transmission spectroscopy analysis. We report the detection of several molecular species in its atmosphere. Combining the four nights and comparing our transmission spectrum to planetary atmosphere models containing the signature of individual molecules within the cross-correlation framework, we find the presence of H2O, CH4, NH3 and HCN with high significance, tentative detection of CO2, and inconclusive results for C2H2 and CO. A qualitative interpretation of these results, using physically motivated models, suggests an atmosphere consistent with solar composition and the presence of disequilibrium chemistry and we therefore recommend the inclusion of the latter in future modelling of sub-1000K planets.


title: Exact results on Quantum search algorithm

abstract: We generalize Grover algorithm with two arbitrary phases in a density matrix set up. We give exact analytic expressions for the success probability after arbitrary number of iteration of the generalized Grover operator as a function of number of iterations, two phase angles ({\alpha}, \{beta}) and parameter {\xi} introduced in the off diagonal terms of the density matrix in a sense to capture the coherence present in the initial quantum register. We extend Li and Li's idea and show for the phase matching condition {\alpha} = -\{beta} = 0.35{\pi} with two iterations and {\xi} = 1, we can achieve success probability >= 0.8 only with a knowledge about the lower bound of {\lambda} = 0.166 where {\lambda} is the ratio of marked to total number states in the database. Finally we quantify success probability of the algorithm with decrease in coherence of the initial quantum state against modest noise in this simple model.