title: Atomic Ramsey interferometry with S- and D-band in a triangular optical lattice

abstract: Ramsey interferometers have wide applications in science and engineering. Compared with the traditional interferometer based on internal states, the interferometer with external quantum states has advantages in some applications for quantum simulation and precision measurement. Here, we develop a Ramsey interferometry with Bloch states in S- and D-band of a triangular optical lattice for the first time. The key to realizing this interferometer in two-dimensionally coupled lattice is that we use the shortcut method to construct $\pi/2$ pulse. We observe clear Ramsey fringes and analyze the decoherence mechanism of fringes. Further, we design an echo $\pi$ pulse between S- and D-band, which significantly improves the coherence time. This Ramsey interferometer in the dimensionally coupled lattice has potential applications in the quantum simulations of topological physics, frustrated effects, and motional qubits manipulation.


title: Fine-grained Population Mapping from Coarse Census Counts and Open Geodata

abstract: Fine-grained population maps are needed in several domains, like urban planning, environmental monitoring, public health, and humanitarian operations. Unfortunately, in many countries only aggregate census counts over large spatial units are collected, moreover, these are not always up-to-date. We present POMELO, a deep learning model that employs coarse census counts and open geodata to estimate fine-grained population maps with 100m ground sampling distance. Moreover, the model can also estimate population numbers when no census counts at all are available, by generalizing across countries. In a series of experiments for several countries in sub-Saharan Africa, the maps produced with POMELOare in good agreement with the most detailed available reference counts: disaggregation of coarse census counts reaches R2 values of 85-89%; unconstrained prediction in the absence of any counts reaches 48-69%.


title: Pseudo-Laplacian on a cuspidal end with a flat unitary line bundle: Alvarez--Wentworth boundary conditions

abstract: A cuspidal end is a type of metric singularity, described as a product $S^1 \times \left] a, +\infty \right[$ with the Poincar\'e metric. The underlying set can also be seen as $\mathbb{R} \times \left] a, +\infty \right[$ subject to the action of the translation $T : \left( x,y \right) \longrightarrow \left( x+1, y \right)$. On it, one may consider a holomorphic line bundle $L$, coming from a unitary character of the group generated by $T$. The complex modulus induces a flat metric on $L$, and a pseudo-Laplacian $\Delta_{L,0}$ acting on functions can be associated to the Chern connection. One needs to specify boundary conditions, and they are here chosen to be the Alvarez--Wentworth boundary conditions, which are a combination of Dirichlet and Neumann boundary conditions. The aim of this paper is to find the asymptotic behavior of the zeta-regularized determinant $\det \left( \Delta_{L,0} + \mu \right)$, as $\mu > 0$ goes to infinity for any $a$, and also as $a$ goes to infinity for $\mu = 0$.


title: ParticleNeRF: A Particle-Based Encoding for Online Neural Radiance Fields

abstract: While existing Neural Radiance Fields (NeRFs) for dynamic scenes are offline methods with an emphasis on visual fidelity, our paper addresses the online use case that prioritises real-time adaptability. We present ParticleNeRF, a new approach that dynamically adapts to changes in the scene geometry by learning an up-to-date representation online, every 200ms. ParticleNeRF achieves this using a novel particle-based parametric encoding. We couple features to particles in space and backpropagate the photometric reconstruction loss into the particles' position gradients, which are then interpreted as velocity vectors. Governed by a lightweight physics system to handle collisions, this lets the features move freely with the changing scene geometry. We demonstrate ParticleNeRF on various dynamic scenes containing translating, rotating, articulated, and deformable objects. ParticleNeRF is the first online dynamic NeRF and achieves fast adaptability with better visual fidelity than brute-force online InstantNGP and other baseline approaches on dynamic scenes with online constraints. Videos of our system can be found at our project website https://sites.google.com/view/particlenerf.


title: Shortcut to Multipartite Entanglement Generation: A Graph Approach to Boson Subtractions

abstract: We propose a graph method for systematically searching for schemes that can generate multipartite entanglement in linear bosonic systems with heralding. While heralded entanglement generation offers more tolerable schemes for quantum tasks than postselected ones, it is generally more challenging to find appropriate circuits for multipartite systems. We show that our graph mapping from boson subtractions provides handy tactics to overcome the limitations in circuit designs. We present a practical strategy to mitigate the limitation through the implementation of our graph technique. Our physical setup is based on the sculpting protocol, which utilizes an $ N$ spatially overlapped subtractions of single bosons to convert Fock states of evenly distributed bosons into entanglement. We have identified general schemes for qubit N-partite GHZ and W states, which are significantly more efficient than previous schemes. In addition, our scheme for generating the superposition of $N=3$ GHZ and W entangled states illustrates that our approach can be extended to derive more generalized forms of entangled states. Furthermore, we have found an N-partite GHZ state generation scheme for qudits, which requires substantially fewer particles than previous proposals. These results demonstrate the power of our approach in discovering optimized solutions for the generation of intricate heralded entangled states. As a proof of concept, we propose a linear optical scheme for the generation of the Bell state by heralding detections. We expect our method to serve as a promising tool in generating diverse entanglement.


title: Central star formation in an early-type galaxy I~Zw~81 in the Bootes void

abstract: The origin of star-formation in customarily passively evolving early-type massive galaxies is poorly understood. We present a case study of a massive galaxy, I~Zw~81, inside the Bootes void. The void galaxy is known to host an active galactic nuclei (AGN). Our detailed 2D decomposition of the surface brightness distribution in the $Canada$ $France$ $Hawaii$ $Telescope$ ($CFHT$) g- and r-bands revealed multiple structural components such as a nuclear point source, a bar, a ring, and an inner exponential disk followed by an outer low surface brightness (LSB) disk. I~Zw~81 turns out to be a disk-dominated galaxy with lenticular morphology. The modelling of the multi-wavelength spectral energy distribution (SED) shows that the galaxy is star-forming (SF), and belongs to the blue cloud. We find that the optical (g$-$r) color of the bar is bluer than the disks, and the far- and near-ultraviolet emission inside the galaxy observed with Ultraviolet Imaging Telescope (UVIT) onboard {\em AstroSat} is concentrated in the central few kpc region enclosing the bar. The strong bar might be playing a pivotal role in driving the gas inflow and causing SF activity in tandem with the minor merger-like interactions as evident from the deep $CFHT$ data. The low-luminosity AGN is insufficient to quench the central SF. The results are peculiar from the standpoint of a massive barred lenticular galaxy.


title: Normalizers of Sylow subgroups in finite reflection groups

abstract: Let $W$ be a finite reflection group, either real or complex, and $S_\ell$ a Sylow $\ell$-subgroup of $W$. We prove the existence of a semidirect product decomposition of $N_W(S_\ell)$ in terms of the unique parabolic subgroup of $W$ minimally containing $S_\ell$ and known decompositions of normalizers of parabolic subgroups. In the real setting, the description follows from the existence of Sylow $\ell$-subgroups stable under the Coxeter diagram automorphisms of finite reflection groups with no proper parabolic subgroup containing a Sylow $\ell$-subgroup.


title: Fast GPU-Based Two-Way Continuous Collision Handling

abstract: Step-and-project is a popular way to simulate non-penetrated deformable bodies in physically-based animation. First integrating the system in time regardless of contacts and post resolving potential intersections practically strike a good balance between plausibility and efficiency. However, existing methods could be defective and unsafe when the time step is large, taking risks of failures or demands of repetitive collision testing and resolving that severely degrade performance. In this paper, we propose a novel two-way method for fast and reliable continuous collision handling. Our method launches the optimization at both ends of the intermediate time-integrated state and the previous intersection-free state, progressively generating a piecewise-linear path and finally reaching a feasible solution for the next time step. Technically, our method interleaves between a forward step and a backward step at a low cost, until the result is conditionally converged. Due to a set of unified volume-based contact constraints, our method can flexibly and reliably handle a variety of codimensional deformable bodies, including volumetric bodies, cloth, hair and sand. The experiments show that our method is safe, robust, physically faithful and numerically efficient, especially suitable for large deformations or large time steps.


title: Many Destinations, Many Pathways: A Quantitative Analysis of Legitimate Peripheral Participation in Scratch

abstract: Although informal online learning communities have proliferated over the last two decades, a fundamental question remains: What are the users of these communities expected to learn? Guided by the work of Etienne Wenger on communities of practice, we identify three distinct types of learning goals common to online informal learning communities: the development of domain skills, the development of identity as a community member, and the development of community-specific values and practices. Given these goals, what is the best way to support learning? Drawing from previous research in social computing, we ask how different types of legitimate peripheral participation by newcomers-contribution to core tasks, engagement with practice proxies, social bonding, and feedback exchange-may be associated with these three learning goals. Using data from the Scratch online community, we conduct a quantitative analysis to explore these questions. Our study contributes both theoretical insights and empirical evidence on how different types of learning occur in informal online environments.


title: DNN Filter for Bias Reduction in Distribution-to-Distribution Scan Matching

abstract: Distribution-to-distribution (D2D) point cloud registration techniques such as the Normal Distributions Transform (NDT) can align point clouds sampled from unstructured scenes and provide accurate bounds of their own solution error covariance -- an important feature for safety-of-life navigation tasks. D2D methods rely on the assumption of a static scene and are therefore susceptible to bias from range-shadowing, self-occlusion, moving objects, and distortion artifacts as the recording device moves between frames. Deep Learning-based approaches can achieve higher accuracy in dynamic scenes by relaxing these constraints, however, DNNs produce uninterpretable solutions which can be problematic from a safety perspective. In this paper, we propose a method of down-sampling LIDAR point clouds to exclude voxels that violate the assumption of a static scene and introduce error to the D2D scan matching process. Our approach uses a solution consistency filter -- identifying and suppressing voxels where D2D contributions disagree with local estimates from a PointNet-based registration network. Our results show that this technique provides significant benefits in registration accuracy, and is particularly useful in scenes containing dense foliage.


title: CAMEMBERT: A Mini-Neptunes GCM Intercomparison, Protocol Version 1.0. A CUISINES Model Intercomparison Project

abstract: With an increased focus on the observing and modelling of mini-Neptunes, there comes a need to better understand the tools we use to model their atmospheres. In this paper, we present the protocol for the CAMEMBERT (Comparing Atmospheric Models of Extrasolar Mini-neptunes Building and Envisioning Retrievals and Transits) project, an intercomparison of general circulation models (GCMs) used by the exoplanetary science community to simulate the atmospheres of mini-Neptunes. We focus on two targets well studied both observationally and theoretically with planned JWST Cycle 1 observations: the warm GJ~1214b and the cooler K2-18b. For each target, we consider a temperature-forced case, a clear sky dual-grey radiative transfer case, and a clear sky multi band radiative transfer case, covering a range of complexities and configurations where we know differences exist between GCMs in the literature. This paper presents all the details necessary to participate in the intercomparison, with the intention of presenting the results in future papers. Currently, there are eight GCMs participating (ExoCAM, Exo-FMS, FMS PCM, Generic PCM, MITgcm, RM-GCM, THOR, and the UM), and membership in the project remains open. Those interested in participating are invited to contact the authors.


title: Caching and Reproducibility: Making Data Science experiments faster and FAIRer

abstract: Small to medium-scale data science experiments often rely on research software developed ad-hoc by individual scientists or small teams. Often there is no time to make the research software fast, reusable, and open access. The consequence is twofold. First, subsequent researchers must spend significant work hours building upon the proposed hypotheses or experimental framework. In the worst case, others cannot reproduce the experiment and reuse the findings for subsequent research. Second, suppose the ad-hoc research software fails during often long-running computationally expensive experiments. In that case, the overall effort to iteratively improve the software and rerun the experiments creates significant time pressure on the researchers. We suggest making caching an integral part of the research software development process, even before the first line of code is written. This article outlines caching recommendations for developing research software in data science projects. Our recommendations provide a perspective to circumvent common problems such as propriety dependence, speed, etc. At the same time, caching contributes to the reproducibility of experiments in the open science workflow. Concerning the four guiding principles, i.e., Findability, Accessibility, Interoperability, and Reusability (FAIR), we foresee that including the proposed recommendation in a research software development will make the data related to that software FAIRer for both machines and humans. We exhibit the usefulness of some of the proposed recommendations on our recently completed research software project in mathematical information retrieval.


title: Hyperbolic Graph Representation Learning: A Tutorial

abstract: Graph-structured data are widespread in real-world applications, such as social networks, recommender systems, knowledge graphs, chemical molecules etc. Despite the success of Euclidean space for graph-related learning tasks, its ability to model complex patterns is essentially constrained by its polynomially growing capacity. Recently, hyperbolic spaces have emerged as a promising alternative for processing graph data with tree-like structure or power-law distribution, owing to the exponential growth property. Different from Euclidean space, which expands polynomially, the hyperbolic space grows exponentially which makes it gains natural advantages in abstracting tree-like or scale-free graphs with hierarchical organizations. In this tutorial, we aim to give an introduction to this emerging field of graph representation learning with the express purpose of being accessible to all audiences. We first give a brief introduction to graph representation learning as well as some preliminary Riemannian and hyperbolic geometry. We then comprehensively revisit the hyperbolic embedding techniques, including hyperbolic shallow models and hyperbolic neural networks. In addition, we introduce the technical details of the current hyperbolic graph neural networks by unifying them into a general framework and summarizing the variants of each component. Moreover, we further introduce a series of related applications in a variety of fields. In the last part, we discuss several advanced topics about hyperbolic geometry for graph representation learning, which potentially serve as guidelines for further flourishing the non-Euclidean graph learning community.


title: Globally Convergent Policy Gradient Methods for Linear Quadratic Control of Partially Observed Systems

abstract: While the optimization landscape of policy gradient methods has been recently investigated for partially observed linear systems in terms of both static output feedback and dynamical controllers, they only provide convergence guarantees to stationary points. In this paper, we propose a new policy parameterization for partially observed linear systems, using a past input-output trajectory of finite length as feedback. We show that the solution set to the parameterized optimization problem is a matrix space, which is invariant to similarity transformation. By proving a gradient dominance property, we show the global convergence of policy gradient methods. Moreover, we observe that the gradient is orthogonal to the solution set, revealing an explicit relation between the resulting solution and the initial policy. Finally, we perform simulations to validate our theoretical results.


title: What Knowledge Is Needed? Towards Explainable Memory for kNN-MT Domain Adaptation

abstract: kNN-MT presents a new paradigm for domain adaptation by building an external datastore, which usually saves all target language token occurrences in the parallel corpus. As a result, the constructed datastore is usually large and possibly redundant. In this paper, we investigate the interpretability issue of this approach: what knowledge does the NMT model need? We propose the notion of local correctness (LAC) as a new angle, which describes the potential translation correctness for a single entry and for a given neighborhood. Empirical study shows that our investigation successfully finds the conditions where the NMT model could easily fail and need related knowledge. Experiments on six diverse target domains and two language-pairs show that pruning according to local correctness brings a light and more explainable memory for kNN-MT domain adaptation.


title: A study and comparison of COordinate Rotation DIgital Computer (CORDIC) architectures

abstract: Most of the digital signal processing applications performs operations like multiplication, addition, square-root calculation, solving linear equations etc. The physical implementation of these operations consumes a lot of hardware and, software implementation consumes large memory. Even if they are implemented in hardware, they do not provide high speed, and due to this reason, even today the software implementation dominates hardware. For realizing operations from basic to very complex ones with less hardware, a Co-ordinate Rotation Digital Computer (CORDIC) proves beneficial. It is capable of performing mathematical operations right from addition to highly complex functions with the help of arithmetic unit and shifters only. This paper gives a brief overview of various existing CORDIC architectures, their working principle, application domain and a comparison of these architectures. Different designs are available as per the target, i.e. high accuracy and precision, low area, low latency, hardware efficient, low power, reconfigurability, etc. that can be used as per the application in which the architecture needs to be employed.


title: ATCO2 corpus: A Large-Scale Dataset for Research on Automatic Speech Recognition and Natural Language Understanding of Air Traffic Control Communications

abstract: Personal assistants, automatic speech recognizers and dialogue understanding systems are becoming more critical in our interconnected digital world. A clear example is air traffic control (ATC) communications. ATC aims at guiding aircraft and controlling the airspace in a safe and optimal manner. These voice-based dialogues are carried between an air traffic controller (ATCO) and pilots via very-high frequency radio channels. In order to incorporate these novel technologies into ATC (low-resource domain), large-scale annotated datasets are required to develop the data-driven AI systems. Two examples are automatic speech recognition (ASR) and natural language understanding (NLU). In this paper, we introduce the ATCO2 corpus, a dataset that aims at fostering research on the challenging ATC field, which has lagged behind due to lack of annotated data. The ATCO2 corpus covers 1) data collection and pre-processing, 2) pseudo-annotations of speech data, and 3) extraction of ATC-related named entities. The ATCO2 corpus is split into three subsets. 1) ATCO2-test-set corpus contains 4 hours of ATC speech with manual transcripts and a subset with gold annotations for named-entity recognition (callsign, command, value). 2) The ATCO2-PL-set corpus consists of 5281 hours of unlabeled ATC data enriched with automatic transcripts from an in-domain speech recognizer, contextual information, speaker turn information, signal-to-noise ratio estimate and English language detection score per sample. Both available for purchase through ELDA at http://catalog.elra.info/en-us/repository/browse/ELRA-S0484. 3) The ATCO2-test-set-1h corpus is a one-hour subset from the original test set corpus, that we are offering for free at https://www.atco2.org/data. We expect the ATCO2 corpus will foster research on robust ASR and NLU not only in the field of ATC communications but also in the general research community.


title: Transparent electrodes based on mixtures of nanowires and nanorings: A mean-field approach along with computer simulation

abstract: We have studied the electrical conductance of two-dimensional (2D) random percolating networks of zero-width metallic nanowires (a mixture of rings and sticks). We toke into account the nanowire resistance per unit length and the junction (nanowire/nanowire contact) resistance. Using a mean-field approximation (MFA) approach, we derived the total electrical conductance of these nanowire-based networks as a function of their geometrical and physical parameters. The MFA predictions have been confirmed by our Monte Carlo (MC) numerical simulations. The MC simulations were focused on the case when the circumferences of the rings and the lengths of the wires were equal. In this case, the electrical conductance of the network was found to be almost insensitive to the relative proportions of the rings and sticks provided that the wire resistance and the junction resistance were equal. When the junction resistance dominated over the wire resistance, a linear dependency of the electrical conductance of the network on the proportions of the rings and sticks was observed.


title: Stress Propagation in Human-Robot Teams Based on Computational Logic Model

abstract: Mission teams are exposed to the emotional toll of life and death decisions. These are small groups of specially trained people supported by intelligent machines for dealing with stressful environments and scenarios. We developed a composite model for stress monitoring in such teams of human and autonomous machines. This modelling aims to identify the conditions that may contribute to mission failure. The proposed model is composed of three parts: 1) a computational logic part that statically describes the stress states of teammates; 2) a decision part that manifests the mission status at any time; 3) a stress propagation part based on standard Susceptible-Infected-Susceptible (SIS) paradigm. In contrast to the approaches such as agent-based, random-walk and game models, the proposed model combines various mechanisms to satisfy the conditions of stress propagation in small groups. Our core approach involves data structures such as decision tables and decision diagrams. These tools are adaptable to human-machine teaming as well.


title: Deciphering the ~18 TeV photons from GRB 221009A

abstract: On 9 October, 2022, an extremely powerful gamma-ray burst, GRB 221009A, was detected by several instruments. Despite being obstructed by the Milky Way galaxy, its afterglow outburst outshone all other GRBs seen before. LHAASO detected several thousands very high energy photons extending up to 18 TeV. Detection of such energetic photons are unexpected due to the large opacity of the Universe. It is possible that in the afterglow epoch the intrinsic very high energy photon flux from the source might have increased manifolds, which could compensate the attenuation by pair-production with the extragalactic background light. We propose such a scenario and show that very high energy photons can be observed on the Earth from the interaction of very high energy protons with the seed synchrotron photons in the external forward shock region of the GRB jet.


title: Finding the missing baryons in the intergalactic medium with localized fast radio bursts

abstract: The missing baryon problem is one of the major unsolved problems in astronomy. Fast radio bursts (FRBs) are bright millisecond pulses with unknown origins. The dispersion measure of FRBs is defined as the electron column density along the line of sight, and accounts for every ionized baryon. Here we measure the baryon content of the Universe using 22 localized FRBs. Unlike previous works that fixed the value of dispersion measure of FRB host galaxies and ignored the inhomogeneities of the intergalactic medium (IGM), we use the probability distributions of dispersion measures contributed by host galaxies and IGM from the state-of-the-art IllustrisTNG simulations. We derive the cosmic baryon density of $\Omega_b=0.0490^{+0.0036}_{-0.0033}$ (1$\sigma$), with a precision of 7.0%. This value is dramatically consistent with other measurements, such as the cosmic microwave background and Big Bang nucleosynthesis. Our work supports that the baryons are not missing, but residing in the IGM.


title: Recollapsing spacetimes with $\Lambda<0$

abstract: We show that any homogeneous initial data set with $\Lambda<0$ on a product 3-manifold of the orthogonal form $(F\times \mathbb S^1,a_0^2dz^2+b_0^2\sigma^2,c_0dz^2+d_0\sigma)$, where $(F,\sigma)$ is a closed 2-surface of constant curvature and $a_0,..., d_0$ are suitable constants, recollapses under the Einstein-flow with a negative cosmological constant and forms crushing singularities at the big bang and the big crunch, respectively. Towards certain singularities among those the Kretschmann scalar remains bounded, hence these are not curvature singularities. We then show that the presence of a massless scalar field causes the Kretschmann scalar to blow-up towards both ends of spacetime for all solutions in the corresponding class. By standard arguments this recollapsing behaviour extends to an open neighborhood in the set of initial data sets and is in this sense generic close to the homogeneous regime.


title: High-resolution embedding extractor for speaker diarisation

abstract: Speaker embedding extractors significantly influence the performance of clustering-based speaker diarisation systems. Conventionally, only one embedding is extracted from each speech segment. However, because of the sliding window approach, a segment easily includes two or more speakers owing to speaker change points. This study proposes a novel embedding extractor architecture, referred to as a high-resolution embedding extractor (HEE), which extracts multiple high-resolution embeddings from each speech segment. Hee consists of a feature-map extractor and an enhancer, where the enhancer with the self-attention mechanism is the key to success. The enhancer of HEE replaces the aggregation process; instead of a global pooling layer, the enhancer combines relative information to each frame via attention leveraging the global context. Extracted dense frame-level embeddings can each represent a speaker. Thus, multiple speakers can be represented by different frame-level features in each segment. We also propose an artificially generating mixture data training framework to train the proposed HEE. Through experiments on five evaluation sets, including four public datasets, the proposed HEE demonstrates at least 10% improvement on each evaluation set, except for one dataset, which we analyse that rapid speaker changes less exist.


title: On the integral Hodge conjecture for real abelian threefolds

abstract: We prove the real integral Hodge conjecture for several classes of real abelian threefolds. For instance, we prove the property for real abelian threefolds $A$ whose real locus $A(\mathbb R)$ is connected, and for real abelian threefolds $A$ which are a product $A = B \times E$ of an abelian surface $B$ and an elliptic curve $E$ with connected real locus $E(\mathbb R)$. Moreover, we show that every real abelian threefold satisfies the real integral Hodge conjecture modulo torsion, and reduce the general case to the Jacobian case.


title: Concurrent Downlink and Uplink Joint Communication and Sensing for 6G Networks

abstract: Joint communication and sensing (JCAS) is a promising technology for 6th Generation (6G) mobile networks, such as intelligent vehicular networks, intelligent manufacturing, and so on. Equipped with two spatially separated antenna arrays, the base station (BS) can perform downlink active JCAS in a mono-static setup. This paper proposes a Concurrent Downlink and Uplink (CDU) JCAS system where the BS can use the echo of transmitted dedicated signals for sensing in the uplink timeslot, while performing reliable uplink communication. A novel successive interference cancellation-based CDU JCAS processing method is proposed to enable the estimation of uplink communication symbols and downlink sensing parameters. Extensive simulation results verify the feasibility of the CDU JCAS system, showing a performance improvement of more than 10 dB compared to traditional JCAS methods while maintaining reliable uplink communication.


title: Sensing-aided Uplink Channel Estimation for Joint Communication and Sensing

abstract: The joint communication and sensing (JCAS) technique has drawn great attention due to its high spectrum efficiency by using the same transmit signal for both communication and sensing. Exploiting the correlation between the uplink (UL) channel and the sensing results, we propose a sensing-aided Kalman filter (SAKF)-based channel state information (CSI) estimation method for UL JCAS, which exploits the angle-of-arrival (AoA) estimation to improve the CSI estimation accuracy. A Kalman filter (KF)-based CSI enhancement method is proposed to refine the least-square CSI estimation by exploiting the estimated AoA as the prior information. Simulation results show that the bit error rates (BER) of UL communication using the proposed SAKF-based CSI estimation method approach those using the minimum mean square error (MMSE) method, while at significantly reduced complexity.


title: Multiple Signal Classification Based Joint Communication and Sensing System

abstract: Joint communication and sensing (JCS) has become a promising technology for mobile networks because of its higher spectrum and energy efficiency. Up to now, the prevalent fast Fourier transform (FFT)-based sensing method for mobile JCS networks is on-grid based, and the grid interval determines the resolution. Because the mobile network usually has limited consecutive OFDM symbols in a downlink (DL) time slot, the sensing accuracy is restricted by the limited resolution, especially for velocity estimation. In this paper, we propose a multiple signal classification (MUSIC)-based JCS system that can achieve higher sensing accuracy for the angle of arrival, range, and velocity estimation, compared with the traditional FFT-based JCS method. We further propose a JCS channel state information (CSI) enhancement method by leveraging the JCS sensing results. Finally, we derive a theoretical lower bound for sensing mean square error (MSE) by using perturbation analysis. Simulation results show that in terms of the sensing MSE performance, the proposed MUSIC-based JCS outperforms the FFT-based one by more than 20 dB. Moreover, the bit error rate (BER) of communication demodulation using the proposed JCS CSI enhancement method is significantly reduced compared with communication using the originally estimated CSI.


title: Downlink and Uplink Cooperative Joint Communication and Sensing

abstract: Downlink (DL) and uplink (UL) joint communication and sensing (JCAS) technologies have been individually studied for realizing sensing using DL and UL communication signals, respectively. Since the spatial environment and JCAS channels in the consecutive DL and UL JCAS time slots are generally unchanged, DL and UL JCAS may be jointly designed to achieve better sensing performance. In this paper, we propose a novel DL and UL cooperative (DUC) JCAS scheme, including a unified multiple signal classification (MUSIC)-based JCAS sensing scheme for both DL and UL JCAS and a DUC JCAS fusion method. The unified MUSIC JCAS sensing scheme can accurately estimate AoA, range, and Doppler based on a unified MUSIC-based sensing module. The DUC JCAS fusion method can distinguish between the sensing results of the communication user and other dumb targets. Moreover, by exploiting the channel reciprocity, it can also improve the sensing and channel state information (CSI) estimation accuracy. Extensive simulation results validate the proposed DUC JCAS scheme. It is shown that the minimum location and velocity estimation mean square errors of the proposed DUC JCAS scheme are about 20 dB lower than those of the state-of-the-art separated DL and UL JCAS schemes.


title: Observation of room-temperature ferroelectricity in elemental Te nanowires

abstract: Ferroelectrics are essential in low-dimensional memory devices for multi-bit storage and high-density integration. A polar structure is a necessary premise for ferroelectricity, mainly existing in compounds. However, it is usually rare in elemental materials, causing a lack of spontaneous electric polarization. Here, we report an unexpected room-temperature ferroelectricity in few-chain Te nanowires. Out-of-plane ferroelectric loops and domain reversal are observed by piezoresponse force microscopy. Through density functional theory, we attribute the ferroelectricity to the ion-displacement created by the interlayer interaction between lone pair electrons. Ferroelectric polarization can induce a strong field effect on the transport along the Te chain, supporting a self-gated field-effect transistor. It enables a nonvolatile memory with high in-plane mobility, zero supply voltage, multilevel resistive states, and a high on/off ratio. Our work provides new opportunities for elemental ferroelectrics with polar structures and paves a way towards applications such as low-power dissipation electronics and computing-in-memory devices.


title: Efficient Global Occupancy Mapping for Mobile Robots using OpenVDB

abstract: In this work we present a fast occupancy map building approach based on the VDB datastructure. Existing log-odds based occupancy mapping systems are often not able to keep up with the high point densities and framerates of modern sensors. Therefore, we suggest a highly optimized approach based on a modern datastructure coming from a computer graphic background. A multithreaded insertion scheme allows occupancy map building at unprecedented speed. Multiple optimizations allow for a customizable tradeoff between runtime and map quality. We first demonstrate the effectiveness of the approach quantitatively on a set of ablation studies and typical benchmark sets, before we practically demonstrate the system using a legged robot and a UAV.


title: Short-distance constraints on the hadronic light-by-light

abstract: The muon anomalous magnetic moment continues to attract interest due to the potential tension between experimental measurement [1,2] and the Standard Model prediction [3]. The hadronic light-by-light contribution to the magnetic moment is one of the two diagrammatic topologies currently saturating the theoretical uncertainty. With the aim of improving precision on the hadronic light-by-light in a data-driven approach founded on dispersion theory [4,5], we derive various short-distance constraints of the underlying correlation function of four electromagnetic currents. Here, we present our previous progress in the purely short-distance regime and current efforts in the so-called Melnikov-Vainshtein limit.


title: Similarity signature curves for forming periodic orbits in the Lorenz system

abstract: In this paper, we systematically investigate the short periodic orbits of the Lorenz system by the aid of the similarity signature curve, and a novel method to find the short-period orbits of the Lorenz system is proposed. The similarity invariants are derived by the equivariant moving frame theory and then the similarity signature curve occurs along with them. The similarity signature curve of the Lorenz system presents a more regular behavior than the original one. By combining the sliding window method, the quasi-periodic orbits can be detected numerically, all periodic orbits with period $p \leqslant 8$ in the Lorenz system are found, and their period lengths and symbol sequences are calculated.


title: On Negative Sampling for Contrastive Audio-Text Retrieval

abstract: This paper investigates negative sampling for contrastive learning in the context of audio-text retrieval. The strategy for negative sampling refers to selecting negatives (either audio clips or textual descriptions) from a pool of candidates for a positive audio-text pair. We explore sampling strategies via model-estimated within-modality and cross-modality relevance scores for audio and text samples. With a constant training setting on the retrieval system from [1], we study eight sampling strategies, including hard and semi-hard negative sampling. Experimental results show that retrieval performance varies dramatically among different strategies. Particularly, by selecting semi-hard negatives with cross-modality scores, the retrieval system gains improved performance in both text-to-audio and audio-to-text retrieval. Besides, we show that feature collapse occurs while sampling hard negatives with cross-modality scores.


title: Improving performance of real-time full-band blind packet-loss concealment with predictive network

abstract: Packet loss concealment (PLC) is a tool for enhancing speech degradation caused by poor network conditions or underflow/overflow in audio processing pipelines. We propose a real-time recurrent method that leverages previous outputs to mitigate artefact of lost packets without the prior knowledge of loss mask. The proposed full-band recurrent network (FRN) model operates at 48 kHz, which is suitable for high-quality telecommunication applications. Experiment results highlight the superiority of FRN over an offline non-causal baseline and a top performer in a recent PLC challenge.


title: Sedimentation and Levitation of Catalytic Active Colloids

abstract: Gravitational effects in colloidal suspensions can be easily turned off by matching the density of the solid microparticles with the one of the surrounding fluid. By studying the motion of catalytic microswimmers with tunable buoyant weight, we show that this strategy cannot be adopted for active colloidal suspensions. If the average buoyant weight decreases, pronounced accumulation at the top wall of a sample cell is observed due to a counter-alignment of the swimming velocity with the gravitational field. Even when the particles reach a flat wall, gravitational torques still determine the properties of the quasi two-dimensional active motion. Our results highlight the subtle role of gravity in active systems.


title: The structure of regular genus-one curves over imperfect fields

abstract: Working over imperfect fields, we give a comprehensive classification of genus-one curves that are regular but not geometrically regular, extending the known case of geometrically reduced curves. The description is given intrinsically, in terms of twisted forms of standard models with respect to infinitesimal group scheme actions, and not via extrinsic equations. The main new idea is to analyze and exploit moduli for fields of representatives in Cohen's Structure Theorem. The results serve for the understanding of genus-one fibrations over higher-dimensional bases.


title: Stability of long-sustained oscillations induced by electron tunneling

abstract: Self-oscillations are the result of an efficient mechanism generating periodic motion from a constant power source. In quantum devices, these oscillations may arise due to the interaction between single electron dynamics and mechanical motion. We show that, due to the complexity of this mechanism, these self-oscillations may irrupt, vanish, or exhibit a bistable behaviour causing hysteresis cycles. We observe these hysteresis cycles and characterize the stability of different regimes in both single and double quantum dot configurations. In particular cases, we find these oscillations stable for over 20 seconds, many orders of magnitude above electronic and mechanical characteristic timescales, revealing the robustness of the mechanism at play.


title: Short-range and long-range order: a transition in block-gluing behavior in Hom shifts

abstract: Hom shifts form a class of multidimensional shifts of finite type (SFT) and consist of colorings of the grid Z2 where adjacent colours must be neighbors in a fixed finite undirected simple graph G. This class includes several important statistical physics models such as the hard square model. The gluing gap measures how far any two square patterns of size n can be glued, which can be seen as a measure of the range of order, and affects the possibility to compute the entropy (or free energy per site) of a shift. This motivates a study of the possible behaviors of the gluing gap. The class of Hom shifts has the interest that mixing type properties can be formulated in terms of algebraic graph theory, which has received a lot of attention recently. Improving some former work of N. Chandgotia and B. Marcus, we prove that the gluing gap either depends linearly on n or is dominated by log(n). We also find a Hom shift with gap {\Theta}(log(n)), infirming a conjecture formulated by R. Pavlov and M. Schraudner. The physical interest of these results is to better understand the transition from short-range to long-range order (respectively sublogarithmic and linear gluing gap), which is reflected in whether some parameter, the square cover, is finite or infinite.


title: Linear Self-Attention Approximation via Trainable Feedforward Kernel

abstract: In pursuit of faster computation, Efficient Transformers demonstrate an impressive variety of approaches -- models attaining sub-quadratic attention complexity can utilize a notion of sparsity or a low-rank approximation of inputs to reduce the number of attended keys; other ways to reduce complexity include locality-sensitive hashing, key pooling, additional memory to store information in compacted or hybridization with other architectures, such as CNN. Often based on a strong mathematical basis, kernelized approaches allow for the approximation of attention with linear complexity while retaining high accuracy. Therefore, in the present paper, we aim to expand the idea of trainable kernel methods to approximate the self-attention mechanism of the Transformer architecture.


title: Ultra-compact Silicon Multimode Waveguide Bends Based on Special Curves for Dual Polarizations

abstract: The multimode waveguide bends (MWBs) with very compact sizes are the key building blocks in the applications of different mode-division multiplexing (MDM) systems. To further increase the transmission capacity, the silicon multimode waveguide bends for dual polarizations are of particular interest considering the very distinct mode behaviors under different polarizations in the silicon waveguides. Seldom silicon MWBs suitable for both polarizations have been studied. In this paper we analyze several dual-polarization-MWBs based on different bending curve functions. These special curve-based silicon MWBs have the advantages of easy fabrication and low loss compared with other structures based on the subwavelength structures such as gratings. A comparison is made between the free-form curve, Bezier curve, and Euler curve, which are used in the bending region instead of a conventional arc. The transmission spectra of the first three TE and TM modes in the silicon multimode waveguide with a core thickness of 340 nm are investigated. The simulation results indicate that in the premise of the same effective radius which is only 10 in this paper, the 6-mode MWB based on the free-form curve has the optimal performances, including an extremely low loss below 0.052dB and low crosstalk below -25.97dB for all six modes in the wide band of 1500-1600 nm. The MWBs based on the Bezier and Euler curve have degraded performances in terms of the loss and crosstalk. The results of this paper provide an efficient design method of the polarization insensitive silicon MWBs, which may leverage the researches for establishing complicated optical transmission systems incorporating both the MDM and polarization-division multiplexing (PDM) technology.


title: Multi-Dimensional Super-Linear Backward Stochastic Volterra Integral Equations

abstract: In this paper, a systematic investigation is carried out for the general solvability of multi-dimensional backward stochastic Volterra integral equations (BSVIEs) with the generators being super-linear in the adjustment variable $Z$. Two major situations are discussed: (i) When the free term is bounded with the dependence of the generator on $Z$ being of ``diagonally strictly'' quadratic growth and being sub-quadratically coupled with off-diagonal components; (ii) When the free term is unbounded having exponential moments of arbitrary order with the dependence of the generator on $Z$ being diagonally no more than quadratic and being independent of off-diagonal components. Besides, for the case that the generator is super-quadratic in $Z$, some negative results are presented.


title: COPEN: Probing Conceptual Knowledge in Pre-trained Language Models

abstract: Conceptual knowledge is fundamental to human cognition and knowledge bases. However, existing knowledge probing works only focus on evaluating factual knowledge of pre-trained language models (PLMs) and ignore conceptual knowledge. Since conceptual knowledge often appears as implicit commonsense behind texts, designing probes for conceptual knowledge is hard. Inspired by knowledge representation schemata, we comprehensively evaluate conceptual knowledge of PLMs by designing three tasks to probe whether PLMs organize entities by conceptual similarities, learn conceptual properties, and conceptualize entities in contexts, respectively. For the tasks, we collect and annotate 24k data instances covering 393 concepts, which is COPEN, a COnceptual knowledge Probing bENchmark. Extensive experiments on different sizes and types of PLMs show that existing PLMs systematically lack conceptual knowledge and suffer from various spurious correlations. We believe this is a critical bottleneck for realizing human-like cognition in PLMs. COPEN and our codes are publicly released at https://github.com/THU-KEG/COPEN.


title: Quasi-Banach algebras and Wiener properties for pseudodifferential and generalized metaplectic operators

abstract: We generalize the results for Banach algebras of pseudodifferential operators obtained by Gr\"ochenig and Rzeszotnik in [24] to quasi-algebras of Fourier integral operators. Namely, we introduce quasi-Banach algebras of symbol classes for Fourier integral operators that we call generalized metaplectic operators, including pseudodifferential operators. This terminology stems from the pioneering work on Wiener algebras of Fourier integral operators [11], which we generalize to our framework. This theory finds applications in the study of evolution equations such as the Cauchy problem for the Schr\"odinger equation with bounded perturbations, cf. [7].


title: A note on distinct differences in $t$-intersecting families

abstract: For a family $\mathcal{F}$ of subsets of $\{1,2,\ldots,n\}$, let $\mathcal{D}(\mathcal{F}) = \{F\setminus G: F, G \in \mathcal{F}\}$ be the collection of all (setwise) differences of $\mathcal{F}$. The family $\mathcal{F}$ is called a $t$-intersecting family, if for some positive integer $t$ and any two members $F, G \in \mathcal{F}$ we have $|F\cap G| \geq t$. The family $\mathcal{F}$ is simply called intersecting if $t=1$. Recently, Frankl proved an upper bound on the size of $\mathcal{D}(\mathcal{F})$ for the intersecting families $\mathcal{F}$. In this note we extend the result of Frankl to $t$-intersecting families.


title: Electron Density and Temperature in NIO1 RF Source Operated in Oxygen and Argon

abstract: The NIO1 experiment, built and operated at Consorzio RFX, hosts an RF negative ion source, from which it is possible to produce a beam of maximum 130 mA in H- ions, accelerated up to 60 kV. For the preliminary tests of the extraction system the source has been operated in oxygen, whose high electronegativity allows to reach useful levels of extracted beam current. The efficiency of negative ions extraction is strongly influenced by the electron density and temperature close to the Plasma Grid, i.e. the grid of the acceleration system which faces the source. To support the tests, these parameters have been measured by means of the Optical Emission Spectroscopy diagnostic. This technique has involved the use of an oxygen-argon mixture to produce the plasma in the source. The intensities of specific Ar I and Ar II lines have been measured along lines of sight close to the Plasma Grid, and have been interpreted with the ADAS package to get the desired information. This work will describe the diagnostic hardware, the analysis method and the measured values of electron density and temperature, as function of the main source parameters (RF power, pressure, bias voltage and magnetic filter field). The main results show that not only electron density but also electron temperature increase with RF power; both decrease with increasing magnetic filter field. Variations of source pressure and plasma grid bias voltage appear to affect only electron temperature and electron density, respectively.


title: First Beam Characterization by Means of Emission Spectroscopy in the NIO1 Experiment

abstract: The NIO1 experiment hosts a flexible RF H- ion source, developed by INFN-LNL and Consorzio RFX to improve the present concepts for the production and acceleration of negative ions. The source is also used to benchmark the instrumentation dedicated to the ITER neutral beam test facility. Many diagnostics are installed in NIO1 to characterize the source and the extracted negative ion beam. Among them, Beam Emission Spectroscopy (BES) has been used in NIO1 to measure the divergence and the uniformity of the beam, together with the fraction of beam ions which was neutralized inside the acceleration system. The diagnostic method is based on the analysis of the Doppler shifted $H_\alpha$ photons emitted by the fast beam particles and collected along a line of sight. The article presents the experimental setup and the analysis algorithms of the BES diagnostic, together with a discussion of the first measurements and of their correlation with the operational parameters.


title: On Leavitt path algebras of Hopf graphs

abstract: In this paper, we provide the structure of Hopf graphs associated to pairs $(G, \mathfrak{r})$ consisting of groups $G$ together with ramification datas $\mathfrak{r}$ and their Leavitt path algebras. Consequently, we characterize the Gelfand-Kirillov dimension, the stable rank, the purely infinite simplicity and the existence of a nonzero finite dimensional representation of the Leavitt path algebra of a Hopf graph via properties of ramification data $\mathfrak{r}$ and $G$.


title: Detection and depth estimation for domestic waste in outdoor environments by sensors fusion

abstract: In this work, we estimate the depth in which domestic waste are located in space from a mobile robot in outdoor scenarios. As we are doing this calculus on a broad range of space (0.3 - 6.0 m), we use RGB-D camera and LiDAR fusion. With this aim and range, we compare several methods such as average, nearest, median and center point, applied to those which are inside a reduced or non-reduced Bounding Box (BB). These BB are obtained from segmentation and detection methods which are representative of these techniques like Yolact, SOLO, You Only Look Once (YOLO)v5, YOLOv6 and YOLOv7. Results shown that, applying a detection method with the average technique and a reduction of BB of 40%, returns the same output as segmenting the object and applying the average method. Indeed, the detection method is faster and lighter in comparison with the segmentation one. The committed median error in the conducted experiments was 0.0298 ${\pm}$ 0.0544 m.


title: Does an ensemble of GANs lead to better performance when training segmentation networks with synthetic images?

abstract: Large annotated datasets are required to train segmentation networks. In medical imaging, it is often difficult, time consuming and expensive to create such datasets, and it may also be difficult to share these datasets with other researchers. Different AI models can today generate very realistic synthetic images, which can potentially be openly shared as they do not belong to specific persons. However, recent work has shown that using synthetic images for training deep networks often leads to worse performance compared to using real images. Here we demonstrate that using synthetic images and annotations from an ensemble of 20 GANs, instead of from a single GAN, increases the Dice score on real test images with 4.7 % to 14.0 % on specific classes.


title: Big bang nucleosynthesis and early dark energy in light of the EMPRESS $Y_p$ results and the $H_0$ tension

abstract: Recent measurement of the primordial $^4$He abundance $Y_p$ from EMPRESS suggests a cosmological scenario with the effective number of neutrino species deviated from the standard value and non-zero lepton asymmetry. We argue that the extension of the standard cosmological model would be more demanded when the Hubble tension is taken into account, in which derived baryon density could be somewhat higher than the standard $\Lambda$CDM framework. We also discuss the issue by assuming early dark energy whose energy density can have a sizable fraction at the epoch of big bang nucleosynthesis. We show that the existence of early dark energy can reduce some tension implied by the EMPRESS $Y_p$ results.


title: A Penalty-Based Method for Communication-Efficient Decentralized Bilevel Programming

abstract: Bilevel programming has recently received attention in the literature, due to its wide range of applications, including reinforcement learning and hyper-parameter optimization. However, it is widely assumed that the underlying bilevel optimization problem is solved either by a single machine or in the case of multiple machines connected in a star-shaped network, i.e., federated learning setting. The latter approach suffers from a high communication cost on the central node (e.g., parameter server) and exhibits privacy vulnerabilities. Hence, it is of interest to develop methods that solve bilevel optimization problems in a communication-efficient decentralized manner. To that end, this paper introduces a penalty function based decentralized algorithm with theoretical guarantees for this class of optimization problems. Specifically, a distributed alternating gradient-type algorithm for solving consensus bilevel programming over a decentralized network is developed. A key feature of the proposed algorithm is to estimate the hyper-gradient of the penalty function via decentralized computation of matrix-vector products and few vector communications, which is then integrated within an alternating algorithm to obtain finite-time convergence analysis under different convexity assumptions. Our theoretical result highlights improvements in the iteration complexity of decentralized bilevel optimization, all while making efficient use of vector communication. Empirical results on both synthetic and real datasets demonstrate that the proposed method performs well in real-world settings.


title: Efficient low temperature simulations for fermionic reservoirs with the hierarchical equations of motion method: Application to the Anderson impurity model

abstract: The hierarchical equations of motion (HEOM) approach is an accurate method to simulate open system quantum dynamics, which allows for systematic convergence to numerically exact results. To represent the effects of the bath, the reservoir correlation functions are usually decomposed into the summation of multiple exponential terms in the HEOM method. Since the reservoir correlation functions become highly non-Markovian at low temperatures or when the bath has complex band structures, a present challenge is to obtain accurate exponential decompositions that allow efficient simulation with the HEOM. In this work, we employ the barycentric representation to approximate the Fermi function and hybridization functions in the frequency domain. The new method, by approximating these functions with optimized rational decomposition, greatly reduces the number of basis functions in decomposing the reservoir correlation functions, which further allows the HEOM method to be applied to ultra-low temperature and general bath structures. We demonstrate the efficiency, accuracy, and long-time stability of the new decomposition scheme by applying it to the Anderson impurity model (AIM) in the low-temperature regime with the Lorentzian and tight-binding hybridization functions.

categories: cond-mat.str-el cond-mat.stat-mech physics.chem-ph physics.comp-ph quant-ph


title: Integrated Sensing and Communication Beamforming Design Based on Mutual Information

abstract: Integrated sensing and communication (ISAC) unifies radar sensing and communication, and improves the efficiency of the spectrum, energy and hardware. In this paper, we investigate the ISAC beamforming design in a downlink system with a communication user and a point radar target to be perceived. The design criterion for radar sensing is the mutual information between the target response matrix and the echo signals, while the single user transmission rate is used as the performance metric of the communication. Two scenarios without and with interference from the communication user are investigated. A closed-form solution with low complexity and a solution based on the semidefinite relaxation (SDR) method are provided to solve these two problems, respectively. Numerical results demonstrate that, compared to the results obtained by SDR based on the CVX toolbox, the closed-form solution is tight in the feasible region. In addition, we show that the SDR method obtains an optimal solution.


title: Peak sections and Bergman kernels on K\"ahler manifolds with complex hyperbolic cusps

abstract: By revisiting Tian's peak section method, we obtain a localization principle of the Bergman kernels on K\"ahler manifolds with complex hyperbolic cusps, which is a generalization of Auvray-Ma-Marinescu's localization result Bergman kernels on punctured Riemann surfaces [Auvray-Ma-Marinescu, Math. Ann., 2021]. Then we give some further estimates when the metric on the complex hyperbolic cusp is a K\"ahler-Einstein metric or when the manifold is a quotient of the complex ball. By applying our method directly to Poincar\'e type cusps, we also get a partial localization result.


title: Optimal Permutation Estimation in Crowd-Sourcing problems

abstract: Motivated by crowd-sourcing applications, we consider a model where we have partial observations from a bivariate isotonic n x d matrix with an unknown permutation $\pi$ * acting on its rows. Focusing on the twin problems of recovering the permutation $\pi$ * and estimating the unknown matrix, we introduce a polynomial-time procedure achieving the minimax risk for these two problems, this for all possible values of n, d, and all possible sampling efforts. Along the way, we establish that, in some regimes, recovering the unknown permutation $\pi$ * is considerably simpler than estimating the matrix.


title: Geometric rigidity of quasi-isometries in horospherical products

abstract: We prove that quasi-isometries of horospherical products of hyperbolic spaces are geometrically rigid in the sense that they are uniformly close to product maps, this is a generalisation of the result obtained by Eskin, Fisher and Whyte in [7]. Our work covers the case of solvable Lie groups of the form $\mathbb{R}\ltimes (N_1\times N_2)$, where $N_1$ and $N_2$ are nilpotent Lie groups, and where the action on $\mathbb{R}$ contracts the metric on $N_1$ while extending it on $N_2$. We obtain new quasi-isometric invariants and classi cations for these spaces.


title: The French National 3D Data Repository for Humanities: Features, Feedback and Open Questions

abstract: We introduce the French National 3D Data Repository for Humanities designed for the conservation and the publication of 3D research data in the field of Humanities and Social Sciences. We present the choices made for the data organization, metadata, standards and infrastructure towards a FAIR service. With 437 references at the time of the writing, we have feedback on some challenges to develop such a service and to make it widely used. This leads to open questions and future developments.


title: Optimal exercise of American options under time-dependent Ornstein-Uhlenbeck processes

abstract: We study the barrier that gives the optimal time to exercise an American option written on a time-dependent Ornstein--Uhlenbeck process, a diffusion often adopted by practitioners to model commodity prices and interest rates. By framing the optimal exercise of the American option as a problem of optimal stopping and relying on probabilistic arguments, we provide a non-linear Volterra-type integral equation characterizing the exercise boundary, develop a novel comparison argument to derive upper and lower bounds for such a boundary, and prove its Lipschitz continuity in any closed interval that excludes the expiration date and, thus, its differentiability almost everywhere. We implement a Picard iteration algorithm to solve the Volterra integral equation and show illustrative examples that shed light on the boundary's dependence on the process's drift and volatility.


title: Absolute frequency measurement of the 87Sr optical lattice clock at NTSC using International Atomic Time

abstract: We report the absolute frequency measurement of the 5s2 1S0-5s5p 3P0 transition in 87Sr optical lattice clock (Sr1) at National Time Service Center (NTSC). Its systematic frequency shifts are evaluated carefully with a total relative uncertainty of 5.1E10-17. The measured absolute frequency is 429 228 004 229 872.91(18) Hz with a relative uncertainty of 4.13E10-16, with reference to the ensemble of primary and secondary frequency standards published in the Circular T bulletin by BIPM through a global navigation satellite system (GNSS) link.


title: Development of a 3D model of clinically relevant microcalcifications

abstract: A realistic 3D anthropomorphic software model of microcalcifications may serve as a useful tool to assess the performance of breast imaging applications through simulations. We present a method allowing to simulate visually realistic microcalcifications with large morphological variability. Principal component analysis (PCA) was used to analyze the shape of 281 biopsied microcalcifications imaged with a micro-CT. The PCA analysis requires the same number of shape components for each input microcalcification. Therefore, the voxel-based microcalcifications were converted to a surface mesh with same number of vertices using a marching cube algorithm. The vertices were registered using an iterative closest point algorithm and a simulated annealing algorithm. To evaluate the approach, input microcalcifications were reconstructed by progressively adding principal components. Input and reconstructed microcalcifications were visually and quantitatively compared. New microcalcifications were simulated using randomly sampled principal components determined from the PCA applied to the input microcalcifications, and their realism was appreciated through visual assessment. Preliminary results have shown that input microcalcifications can be reconstructed with high visual fidelity when using 62 principal components, representing 99.5% variance. For that condition, the average L2 norm and dice coefficient were respectively 10.5 $\mu$m and 0.93. Newly generated microcalcifications with 62 principal components were found to be visually similar, while not identical, to input microcalcifications. The proposed PCA model of microcalcification shapes allows to successfully reconstruct input microcalcifications and to generate new visually realistic microcalcifications with various morphologies.


title: Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems

abstract: In this paper, we consider the problem of verifying pre-opacity for discrete-time control systems. Pre-opacity is an important information-flow security property that secures the intention of a system to execute some secret behaviors in the future. Existing works on pre-opacity only consider non-metric discrete systems, where it is assumed that intruders can distinguish different output behaviors precisely. However, for continuous-space control systems whose output sets are equipped with metrics (which is the case for most real-world applications), it is too restrictive to assume precise measurements from outside observers. In this paper, we first introduce a concept of approximate pre-opacity by capturing the security level of control systems with respect to the measurement precision of the intruder. Based on this new notion of pre-opacity, we propose a verification approach for continuous-space control systems by leveraging abstraction-based techniques. In particular, a new concept of approximate pre-opacity preserving simulation relation is introduced to characterize the distance between two systems in terms of preserving pre-opacity. This new system relation allows us to verify pre-opacity of complex continuous-space control systems using their finite abstractions. We also present a method to construct pre-opacity preserving finite abstractions for a class of discrete-time control systems under certain stability assumptions.


title: $B_c$ meson spectroscopy motivated by general features of pNRQCD

abstract: In the present article the mass spectrum, decay constant, weak decay widths, life time and branching fraction ratios and electromagnetic transition widths are calculated for ground and radially excited $B_c$ meson. To calculate the above properties the Schr\"{o}dinger equation has been solved numerically for the potential. The potential employed consists of relativistic correction in the framework of pNRQCD, added to the Cornell potential. The calculated results are compared with available experimental and theoretical results.


title: GENIUS: A Novel Solution for Subteam Replacement with Clustering-based Graph Neural Network

abstract: Subteam replacement is defined as finding the optimal candidate set of people who can best function as an unavailable subset of members (i.e., subteam) for certain reasons (e.g., conflicts of interests, employee churn), given a team of people embedded in a social network working on the same task. Prior investigations on this problem incorporate graph kernel as the optimal criteria for measuring the similarity between the new optimized team and the original team. However, the increasingly abundant social networks reveal fundamental limitations of existing methods, including (1) the graph kernel-based approaches are powerless to capture the key intrinsic correlations among node features, (2) they generally search over the entire network for every member to be replaced, making it extremely inefficient as the network grows, and (3) the requirement of equal-sized replacement for the unavailable subteam can be inapplicable due to limited hiring budget. In this work, we address the limitations in the state-of-the-art for subteam replacement by (1) proposing GENIUS, a novel clustering-based graph neural network (GNN) framework that can capture team network knowledge for flexible subteam replacement, and (2) equipping the proposed GENIUS with self-supervised positive team contrasting training scheme to improve the team-level representation learning and unsupervised node clusters to prune candidates for fast computation. Through extensive empirical evaluations, we demonstrate the efficacy of the proposed method (1) effectiveness: being able to select better candidate members that significantly increase the similarity between the optimized and original teams, and (2) efficiency: achieving more than 600 times speed-up in average running time.


title: Factors that Contribute to the Success of a Software Organisation's DevOps Environment: A Systematic Review

abstract: This research assesses the aspects of software organizations' DevOps environments and identifies the factors contributing to these environments' success. DevOps is a recent concept, and many organizations are moving from old-style software development methods to agile approaches such as DevOps. However, there is no comprehensive information on what factors impact the success of the DevOps environment once organizations adopt it. This research focused on addressing this gap through a systematic literature review. The systematic review consisted of 33 articles from five selected search systems and databases from 2015 to 2021. Based on the included articles, 15 factors were identified and grouped into four categories: Collaborative Culture, Organizational Aspects, Tooling and Technology, and Continuous Practices. In addition, this research proposes a DevOps environment success factors model to potentially contribute to DevOps research and practice. Recommendations are made for additional research on the effectiveness of the proposed model and its success factors.


title: Hall Effect in Doped Mott-Hubbard Insulator

abstract: We present theoretical analysis of Hall effect in doped Mott-Hubbard insulator, considered as a prototype of cuprate superconductor. We consider the standard Hubbard model within DMFT approximation. As a typical case we consider the partially filled (hole doping) lower Hubbard band. We calculate the doping dependence of both the Hall coefficient and Hall number and determine the value of carrier concentration, where Hall effect changes its sign. We obtain a significant dependence of Hall effect parameters on temperature. Disorder effects are taken into account in a qualitative way.We also perform a comparison of our theoretical results with some known experiments on doping dependence of Hall number in the normal state of YBCO and Nd-LSCO, demonstrating rather satisfactory agreement of theory and experiment. Thus the doping dependence of Hall effect parameters obtained within Hubbard model can be considered as an alternative to a popular model of the quantum critical point.


title: Singular perturbation analysis for a coupled KdV-ODE system

abstract: Asymptotic stability is with no doubts an essential property to be studied for any system. This analysis often becomes very difficult for coupled systems and even harder when different timescales appear. The singular perturbation method allows to decouple a full system into what are called the reduced order system and the boundary layer system, to get simpler stability conditions for the original system. In the infinite-dimensional setting, we do not have a general result making sure this strategy works. This papers is devoted to this analysis for some systems coupling the Korteweg-the Vries equation and an ordinary differential equation with different timescales. More precisely, We obtain stability results and Tikhonov-type theorems.


title: Selective compression learning of latent representations for variable-rate image compression

abstract: Recently, many neural network-based image compression methods have shown promising results superior to the existing tool-based conventional codecs. However, most of them are often trained as separate models for different target bit rates, thus increasing the model complexity. Therefore, several studies have been conducted for learned compression that supports variable rates with single models, but they require additional network modules, layers, or inputs that often lead to complexity overhead, or do not provide sufficient coding efficiency. In this paper, we firstly propose a selective compression method that partially encodes the latent representations in a fully generalized manner for deep learning-based variable-rate image compression. The proposed method adaptively determines essential representation elements for compression of different target quality levels. For this, we first generate a 3D importance map as the nature of input content to represent the underlying importance of the representation elements. The 3D importance map is then adjusted for different target quality levels using importance adjustment curves. The adjusted 3D importance map is finally converted into a 3D binary mask to determine the essential representation elements for compression. The proposed method can be easily integrated with the existing compression models with a negligible amount of overhead increase. Our method can also enable continuously variable-rate compression via simple interpolation of the importance adjustment curves among different quality levels. The extensive experimental results show that the proposed method can achieve comparable compression efficiency as those of the separately trained reference compression models and can reduce decoding time owing to the selective compression. The sample codes are publicly available at https://github.com/JooyoungLeeETRI/SCR.


title: Horizontal collaboration in forestry: game theory models and algorithms for trading demands

abstract: In this paper, we introduce a new cooperative game theory model that we call production-distribution game to address a major open problem for operations research in forestry, raised by R\"onnqvist et al. in 2015, namely, that of modelling and proposing efficient sharing principles for practical collaboration in transportation in this sector. The originality of our model lies in the fact that the value/strength of a player does not only depend on the individual cost or benefit of the objects she owns but also depends on her market shares (customers demand). We show however that the production-distribution game is an interesting special case of a market game introduced by Shapley and Shubik in 1969. As such it exhibits the nice property of having a non-empty core. We then prove that we can compute both the nucleolus and the Shapley value efficiently, in a nontrivial and interesting special case. We in particular provide two different algorithms to compute the nucleolus: a simple separation algorithm and a fast primal-dual algorithm. Our results can be used to tackle more general versions of the problem and we believe that our contribution paves the way towards solving the challenging open problem herein.


title: On phase transitions near black holes

abstract: It has been shown that temperatures near the horizon of rotating black holes can be about the phase transition temperature in the Standard Model with the Higgs boson. The distance from the horizon and gravitational and electromagnetic radiation emitted in collisions between particles have been numerically estimated.


title: Do Mutable Variables Have Reference Types?

abstract: Implicit heterogeneous metaprogramming (a.k.a. offshoring) is an attractive approach for generating C with some correctness guarantees: generate OCaml code, where the correctness guarantees are easier to establish, and then map that code to C. The key idea is that simple imperative OCaml code looks like a non-standard notation for C. Regretfully, it is false, when it comes to mutable variables. In the past, the approach was salvaged by imposing strong ad hoc restrictions. The present paper for the first time investigates the problem systematically and discovers general solutions needing no restrictions. In the process we explicate the subtleties of modeling mutable variables by values of reference types and arrive at an intuitively and formally clear correspondence. We also explain C assignment without resorting to L-values.


title: Determining Accessible Sidewalk Width by Extracting Obstacle Information from Point Clouds

abstract: Obstacles on the sidewalk often block the path, limiting passage and resulting in frustration and wasted time, especially for citizens and visitors who use assistive devices (wheelchairs, walkers, strollers, canes, etc). To enable equal participation and use of the city, all citizens should be able to perform and complete their daily activities in a similar amount of time and effort. Therefore, we aim to offer accessibility information regarding sidewalks, so that citizens can better plan their routes, and to help city officials identify the location of bottlenecks and act on them. In this paper we propose a novel pipeline to estimate obstacle-free sidewalk widths based on 3D point cloud data of the city of Amsterdam, as the first step to offer a more complete set of information regarding sidewalk accessibility.


title: A sequential linear programming (SLP) approach for uncertainty analysis-based data-driven computational mechanics

abstract: In this article, an efficient sequential linear programming algorithm (SLP) for uncertainty analysis-based data-driven computational mechanics (UA-DDCM) is presented. By assuming that the uncertain constitutive relationship embedded behind the prescribed data set can be characterized through a convex combination of the local data points, the upper and lower bounds of structural responses pertaining to the given data set, which are more valuable for making decisions in engineering design, can be found by solving a sequential of linear programming problems very efficiently. Numerical examples demonstrate the effectiveness of the proposed approach on sparse data set and its robustness with respect to the existence of noise and outliers in the data set.


title: Privacy Meets Explainability: A Comprehensive Impact Benchmark

abstract: Since the mid-10s, the era of Deep Learning (DL) has continued to this day, bringing forth new superlatives and innovations each year. Nevertheless, the speed with which these innovations translate into real applications lags behind this fast pace. Safety-critical applications, in particular, underlie strict regulatory and ethical requirements which need to be taken care of and are still active areas of debate. eXplainable AI (XAI) and privacy-preserving machine learning (PPML) are both crucial research fields, aiming at mitigating some of the drawbacks of prevailing data-hungry black-box models in DL. Despite brisk research activity in the respective fields, no attention has yet been paid to their interaction. This work is the first to investigate the impact of private learning techniques on generated explanations for DL-based models. In an extensive experimental analysis covering various image and time series datasets from multiple domains, as well as varying privacy techniques, XAI methods, and model architectures, the effects of private training on generated explanations are studied. The findings suggest non-negligible changes in explanations through the introduction of privacy. Apart from reporting individual effects of PPML on XAI, the paper gives clear recommendations for the choice of techniques in real applications. By unveiling the interdependencies of these pivotal technologies, this work is a first step towards overcoming the remaining hurdles for practically applicable AI in safety-critical domains.


title: Generalised homotopy and commutativity principle

abstract: In this paper, we study the action of special $n\times n $ linear (resp. symplectic) matrices which are homotopic to identity on the right invertible $n\times m$ matrices. We also prove that the commutator subgroup of $\rm{O}_{2n}(R[X])$ is two stably elementary orthogonal for a local ring $R$ with $\frac{1}{2}\in R$ and $n\geq 3.$


title: Improved Pattern-Avoidance Bounds for Greedy BSTs via Matrix Decomposition

abstract: Greedy BST (or simply Greedy) is an online self-adjusting binary search tree defined in the geometric view ([Lucas, 1988; Munro, 2000; Demaine, Harmon, Iacono, Kane, Patrascu, SODA 2009). Along with Splay trees (Sleator, Tarjan 1985), Greedy is considered the most promising candidate for being dynamically optimal, i.e., starting with any initial tree, their access costs on any sequence is conjectured to be within $O(1)$ factor of the offline optimal. However, in the past four decades, the question has remained elusive even for highly restricted input. In this paper, we prove new bounds on the cost of Greedy in the ''pattern avoidance'' regime. Our new results include: The (preorder) traversal conjecture for Greedy holds up to a factor of $O(2^{\alpha(n)})$, improving upon the bound of $2^{\alpha(n)^{O(1)}}$ in (Chalermsook et al., FOCS 2015). This is the best known bound obtained by any online BSTs. We settle the postorder traversal conjecture for Greedy. The deque conjecture for Greedy holds up to a factor of $O(\alpha(n))$, improving upon the bound $2^{O(\alpha(n))}$ in (Chalermsook, et al., WADS 2015). The split conjecture holds for Greedy up to a factor of $O(2^{\alpha(n)})$. Key to all these results is to partition (based on the input structures) the execution log of Greedy into several simpler-to-analyze subsets for which classical forbidden submatrix bounds can be leveraged. Finally, we show the applicability of this technique to handle a class of increasingly complex pattern-avoiding input sequences, called $k$-increasing sequences. As a bonus, we discover a new class of permutation matrices whose extremal bounds are polynomially bounded. This gives a partial progress on an open question by Jacob Fox (2013).


title: Fourier transforms of irregular holonomic D-modules, singularities at infinity of meromorphic functions and irregular characteristic cycles

abstract: Based on the recent developments in the irregular Riemann-Hilbert correspondence for holonomic D-modules and the Fourier-Sato transforms for enhanced ind-sheaves, we study the Fourier transforms of some irregular holonomic D-modules. For this purpose, the singularities of rational and meromorphic functions on complex affine varieties will be studied precisely, with the help of some new methods and tools such as meromorphic vanishing cycle functors. As a consequence, we show that the exponential factors and the irregularities of the Fourier transform of a holonomic D-module are described geometrically by the stationary phase method, as in the classical case of dimension one. A new feature in the higher-dimensional case is that we have some extra rank jump of the Fourier transform produced by the singularities of the linear perturbations of the exponential factors at their points of indeterminacy. In the course of our study, not necessarily homogeneous Lagrangian cycles that we call irregular characteristic cycles will play a crucial role.


title: Two-photon real-time device for single-particle holographic tracking (red shot)

abstract: Three-dimension real-time tracking of single emitters is an emerging tool for assessment of biological behavior as intraneuronal transport, for which spatiotemporal resolution is crucial to understand the microscopic interactions between molecular motors. We report the use of second harmonic signal from nonlinear nanoparticles to localize them in a super-localization regime, down to 15 nm precision, and at high refreshing rates, up to 1.1 kHz, allowing us to track the particles in real-time. Holograms dynamically displayed on a digital micro-mirror device are used to steer the excitation laser focus in 3D around the particle on a specific pattern. The particle position is inferred from the collected intensities using a maximum likelihood approach. The holograms are also used to compensate for optical aberrations of the optical system. We report tracking of particles moving faster than 30 $\mu$m/s with an uncertainty on the localization around 40 nm. We have been able to track freely moving particles over tens of micrometers, and directional intracellular transport in neurites.


title: LIT01-196, a Metabolically Stable Apelin-17 Analog, Normalizes Blood Pressure in Hypertensive DOCA-Salt Rats via a NO Synthase-dependent Mechanism

abstract: Apelin is a neuro-vasoactive peptide that plays a major role in the control of cardiovascular functions and water balance, but has an in-vivo half-life in the minute range, limiting its therapeutic use. We previously developed LIT01-196, a systemically active metabolically stable apelin-17 analog, produced by chemical addition of a fluorocarbon chain to the N-terminal part of apelin-17. LIT01-196 behaves as a potent full agonist for the apelin receptor and has an in vivo half-life in the bloodstream of 28 min after intravenous (i.v.) and 156 min after subcutaneous (s.c.) administrations in conscious normotensive rats. We aimed to investigate the effects of LIT01-196 following systemic administrations on arterial blood pressure, heart rate, fluid balance and electrolytes in conscious normotensive and hypertensive deoxycorticosterone acetate (DOCA)-salt rats. Acute i.v. LIT01-196 administration, in increasing doses, dose-dependently decreases arterial blood pressure with ED 50 values of 9.8 and 3.1 nmol/kg in normotensive and hypertensive rats, respectively. This effect occurs for both via a nitric oxide-dependent mechanism. Moreover, acute s.c. LIT01-196 administration (90 nmol/kg) normalizes arterial blood pressure in conscious hypertensive DOCA-salt rats for more than 7 h. The LIT01-196-induced blood pressure decrease remains unchanged after 4 consecutive daily s.c. administrations of 90 nmol/kg, and does not induce any alteration of plasma sodium and potassium levels and kidney function as shown by the lack of change in plasma creatinine and urea nitrogen levels. Activating the apelin receptor with LIT01-196 may constitute a novel approach for the treatment of hypertension.


title: Large shift current, $\pi$ Zak phase and unconventional nature in Se and Te

abstract: Recently, unconventional materials (or obstructed atomic insulators) have attracted much attention owing to the unconventional feature of mismatch between Wannier centers and atomic positions. In this paper, we demonstrate that the trigonal selenium and tellurium host an unconventional nature in both electronic and phonon spectra. In electronic band structures, the band representation (BR) decomposition for occupied bands has to contain the essential BR of $A@3b$, and the real-space invariant is $\delta_1@3b=-1$. The $\pi$ Zak phase suggests that the one-dimensional Se/Te chain is a chiral Su-Schrieffer-Heeger chain. The effective magnetism can be induced by $p$ states at ends. More importantly, a large shift current is obtained in Se quantum well. In addtion, in phonon spectra, three sets of phonon bands are well separated and assigned to $B@3b$, $B@3a$, and $A@3b$ BRs, respectively. Thus, the obstructed phonon states are predicted on the (0001) surface. As the prototypes of unconventional materials in both electronic and phonon spectra, our findings could create much interest in the study of obstructed surface electronic and phonon states in these novel materials.


title: Computing better approximate pure Nash equilibria in cut games via semidefinite programming

abstract: Cut games are among the most fundamental strategic games in algorithmic game theory. It is well-known that computing an exact pure Nash equilibrium in these games is PLS-hard, so research has focused on computing approximate equilibria. We present a polynomial-time algorithm that computes $2.7371$-approximate pure Nash equilibria in cut games. This is the first improvement to the previously best-known bound of $3$, due to the work of Bhalgat, Chakraborty, and Khanna from EC 2010. Our algorithm is based on a general recipe proposed by Caragiannis, Fanelli, Gravin, and Skopalik from FOCS 2011 and applied on several potential games since then. The first novelty of our work is the introduction of a phase that can identify subsets of players who can simultaneously improve their utilities considerably. This is done via semidefinite programming and randomized rounding. In particular, a negative objective value to the semidefinite program guarantees that no such considerable improvement is possible for a given set of players. Otherwise, randomized rounding of the SDP solution is used to identify a set of players who can simultaneously improve their strategies considerably and allows the algorithm to make progress. The way rounding is performed is another important novelty of our work. Here, we exploit an idea that dates back to a paper by Feige and Goemans from 1995, but we take it to an extreme that has not been analyzed before.


title: ConsPrompt: Exploiting Contrastive Samples for Fewshot Prompt Learning

abstract: The prompt has become an effective linguistic tool for utilizing pre-trained language models. However, in few-shot scenarios, subtle changes in the prompt design always make the result widely different, and the prompt learning methods also make it easy to overfit the limited samples. To alleviate this, we explore utilizing suitable contrastive samples and multi-degree contrastive learning methods to improve the robustness of the prompt representation. Therefore, the proposed Consprompt combined with the prompt encoding network, contrastive sampling modules, and contrastive scoring modules, is introduced to realize differential contrastive learning. Our results exhibit state-of-the-art performance in different few-shot settings, and the ablation experiments also certify the effectiveness of utilizing multi-degree contrastive learning in the prompt-based fine-tuning process.


title: Simulation-Based Parallel Training

abstract: Numerical simulations are ubiquitous in science and engineering. Machine learning for science investigates how artificial neural architectures can learn from these simulations to speed up scientific discovery and engineering processes. Most of these architectures are trained in a supervised manner. They require tremendous amounts of data from simulations that are slow to generate and memory greedy. In this article, we present our ongoing work to design a training framework that alleviates those bottlenecks. It generates data in parallel with the training process. Such simultaneity induces a bias in the data available during the training. We present a strategy to mitigate this bias with a memory buffer. We test our framework on the multi-parametric Lorenz's attractor. We show the benefit of our framework compared to offline training and the success of our data bias mitigation strategy to capture the complex chaotic dynamics of the system.


title: Ground- and Excited-State Dipole Moments and Oscillator Strengths of Full Configuration Interaction Quality

abstract: We report ground- and excited-state dipole moments and oscillator strengths (computed in different ``gauges'' or representations) of full configuration interaction (FCI) quality using the selected configuration interaction method known as \textit{Configuration Interaction using a Perturbative Selection made Iteratively} (CIPSI). Thanks to a set encompassing 35 ground- and excited-state properties computed in 11 small molecules, the present near-FCI estimates allow us to assess the accuracy of high-order coupled-cluster (CC) calculations including up to quadruple excitations. In particular, we show that incrementing the excitation degree of the CC expansion (from CCSD to CCSDT or from CCSDT to CCSDTQ) reduces the average error with respect to the near-FCI reference values by approximately one order of magnitude.

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


title: Ferroelectric higher-order topological insulator in two dimensions

abstract: The interplay between ferroelectricity and band topology can give rise to a wide range of both fundamental and applied research. Here, we map out the emergence of nontrivial corner states in two-dimensional ferroelectrics, and remarkably demonstrate that ferroelectricity and corner states are coupled together by crystallographic symmetry to realize the electric control of higher-order topology. Implemented by density functional theory, we identify a series of experimentally synthesized two-dimensional ferroelectrics, such as In$_2$Se$_3$, BN bilayers, and SnS, as realistic material candidates for the proposed ferroelectric higher-order topological insulators. Our work not only sheds new light on traditional ferroelectric materials but also opens an avenue to bridge the higher-order topology and ferroelectricity that provides a nonvolatile handle to manipulate the topology in next-generation electronic devices.


title: Poisson cohomology of 3D Lie algebras

abstract: We compute the Poisson cohomology associated with several three dimensional Lie algebras. Together with existing results and the classification of three dimensional Lie algebras, this provides the Poisson cohomology of all linear Poisson structures in dimension 3.


title: Cost-optimal adaptive iterative linearized FEM for semilinear elliptic PDEs

abstract: We consider scalar semilinear elliptic PDEs where the nonlinearity is strongly monotone, but only locally Lipschitz continuous. We formulate an adaptive iterative linearized finite element method (AILFEM) which steers the local mesh refinement as well as the iterative linearization of the arising nonlinear discrete equations. To this end, we employ a damped Zarantonello iteration so that, in each step of the algorithm, only a linear Poisson-type equation has to be solved. We prove that the proposed AILFEM strategy guarantees convergence with optimal rates, where rates are understood with respect to the overall computational complexity (i.e., the computational time). Moreover, we formulate and test an adaptive algorithm where also the damping parameter of the Zarantonello iteration is adaptively adjusted. Numerical experiments underline the theoretical findings.


title: Unsupervised vocal dereverberation with diffusion-based generative models

abstract: Removing reverb from reverberant music is a necessary technique to clean up audio for downstream music manipulations. Reverberation of music contains two categories, natural reverb, and artificial reverb. Artificial reverb has a wider diversity than natural reverb due to its various parameter setups and reverberation types. However, recent supervised dereverberation methods may fail because they rely on sufficiently diverse and numerous pairs of reverberant observations and retrieved data for training in order to be generalizable to unseen observations during inference. To resolve these problems, we propose an unsupervised method that can remove a general kind of artificial reverb for music without requiring pairs of data for training. The proposed method is based on diffusion models, where it initializes the unknown reverberation operator with a conventional signal processing technique and simultaneously refines the estimate with the help of diffusion models. We show through objective and perceptual evaluations that our method outperforms the current leading vocal dereverberation benchmarks.


title: Efficacy of MRI data harmonization in the age of machine learning. A multicenter study across 36 datasets

abstract: Pooling publicly-available MRI data from multiple sites allows to assemble extensive groups of subjects, increase statistical power, and promote data reuse with machine learning techniques. The harmonization of multicenter data is necessary to reduce the confounding effect associated with non-biological sources of variability in the data. However, when applied to the entire dataset before machine learning, the harmonization leads to data leakage, because information outside the training set may affect model building, and potentially falsely overestimate performance. We propose a 1) measurement of the efficacy of data harmonization; 2) harmonizer transformer, i.e., an implementation of the ComBat harmonization allowing its encapsulation among the preprocessing steps of a machine learning pipeline, avoiding data leakage. We tested these tools using brain T1-weighted MRI data from 1740 healthy subjects acquired at 36 sites. After harmonization, the site effect was removed or reduced, and we showed the data leakage effect in predicting individual age from MRI data, highlighting that introducing the harmonizer transformer into a machine learning pipeline allows for avoiding data leakage.