title: Error estimates of Kaczmarz and randomized Kaczmarz methods

abstract: The Kaczmarz method is an iterative projection scheme for solving con-sistent system $Ax = b$. It is later extended to the inconsistent and ill-posed linear problems. But the classical Kaczmarz method is sensitive to the correlation of the adjacent equations. In order to reduce the impact of correlation on the convergence rate, the randomized Kaczmarz method and randomized block Kaczmarz method are proposed, respectively. In the current literature, the error estimate results of these methods are established based on the error $\|x_k-x_*\|_2$, where $x_*$ is the solution of linear system $Ax=b$. In this paper, we extend the present error estimates of the Kaczmarz and randomized Kaczmarz methods on the basis of the convergence theorem of Kunio Tanabe, and obtain some general results about the error $\|x_k-P_{N(A)}x_0-x^\dagger\|_2$.


title: Real-time exposure control and instrument operation with the NEID spectrograph GUI

abstract: The NEID spectrograph on the WIYN 3.5-m telescope at Kitt Peak has completed its first full year of science operations and is reliably delivering sub-m/s precision radial velocity measurements. The NEID instrument control system uses the TIMS package (Bender et al. 2016), which is a client-server software system built around the twisted python software stack. During science observations, interaction with the NEID spectrograph is handled through a pair of graphical user interfaces (GUIs), written in PyQT, which wrap the underlying instrument control software and provide straightforward and reliable access to the instrument. Here, we detail the design of these interfaces and present an overview of their use for NEID operations. Observers can use the NEID GUIs to set the exposure time, signal-to-noise ratio (SNR) threshold, and other relevant parameters for observations, configure the calibration bench and observing mode, track or edit observation metadata, and monitor the current state of the instrument. These GUIs facilitate automatic spectrograph configuration and target ingestion from the nightly observing queue, which improves operational efficiency and consistency across epochs. By interfacing with the NEID exposure meter, the GUIs also allow observers to monitor the progress of individual exposures and trigger the shutter on user-defined SNR thresholds. In addition, inset plots of the instantaneous and cumulative exposure meter counts as each observation progresses allow for rapid diagnosis of changing observing conditions as well as guiding failure and other emergent issues.


title: Gradient-tracking based Distributed Optimization with Guaranteed Optimality under Noisy Information Sharing

abstract: Distributed optimization enables networked agents to cooperatively solve a global optimization problem even with each participating agent only having access to a local partial view of the objective function. Despite making significant inroads, most existing results on distributed optimization rely on noise-free information sharing among the agents, which is problematic when communication channels are noisy, messages are coarsely quantized, or shared information are obscured by additive noise for the purpose of achieving differential privacy. The problem of information-sharing noise is particularly pronounced in the state-of-the-art gradient-tracking based distributed optimization algorithms, in that information-sharing noise will accumulate with iterations on the gradient-tracking estimate of these algorithms, and the ensuing variance will even grow unbounded when the noise is persistent. This paper proposes a new gradient-tracking based distributed optimization approach that can avoid information-sharing noise from accumulating in the gradient estimation. The approach is applicable even when the {inter-agent interaction is} time-varying, which is key to enable the incorporation of a decaying factor in inter-agent interaction to gradually eliminate the influence of information-sharing noise. In fact, we rigorously prove that the proposed approach can ensure the almost sure convergence of all agents to the same optimal solution even in the presence of persistent information-sharing noise. The approach is applicable to general directed graphs. It is also capable of ensuring the almost sure convergence of all agents to an optimal solution when the gradients are noisy, which is common in machine learning applications. Numerical simulations confirm the effectiveness of the proposed approach.


title: Occlusion-Aware Crowd Navigation Using People as Sensors

abstract: Autonomous navigation in crowded spaces poses a challenge for mobile robots due to the highly dynamic, partially observable environment. Occlusions are highly prevalent in such settings due to a limited sensor field of view and obstructing human agents. Previous work has shown that observed interactive behaviors of human agents can be used to estimate potential obstacles despite occlusions. We propose integrating such social inference techniques into the planning pipeline. We use a variational autoencoder with a specially designed loss function to learn representations that are meaningful for occlusion inference. This work adopts a deep reinforcement learning approach to incorporate the learned representation for occlusion-aware planning. In simulation, our occlusion-aware policy achieves comparable collision avoidance performance to fully observable navigation by estimating agents in occluded spaces. We demonstrate successful policy transfer from simulation to the real-world Turtlebot 2i. To the best of our knowledge, this work is the first to use social occlusion inference for crowd navigation.


title: ALT: A software for readability analysis of Portuguese-language texts

abstract: In the initial stage of human life, communication, seen as a process of social interaction, was always the best way to reach consensus between the parties. Understanding and credibility in this process are essential for the mutual agreement to be validated. But, how to do it so that this communication reaches the great mass? This is the main challenge when what is sought is the dissemination of information and its approval. In this context, this study presents the ALT software, developed from original readability metrics adapted to the Portuguese language, available on the web, to reduce communication difficulties. The development of the software was motivated by the theory of communicative action of Habermas, which uses a multidisciplinary style to measure the credibility of the discourse in the communication channels used to build and maintain a safe and healthy relationship with the public.


title: Reconciling $\pi$ phase shift in Josephson junction experiments with even-parity superconductivity in Sr$_2$RuO$_4$

abstract: The superconducting state of Sr$_2$RuO$_4$ was once thought to be a leading candidate for $p$-wave superconductivity. A constant Knight shift below the transition temperature provided evidence for spin-triplet pairing, and a $\pi$ phase shift observed in Josephson junction tunneling experiments suggested odd-parity pairing, both of which are described by $p$-wave states. However, with recent experiments observing a significant decrease in the Knight shift below the transition temperature, signifying a spin-singlet state, the odd-parity results are left to be reconciled. In this work, we show that an even-parity pseudospin-singlet state originating from interorbital pairing via spin-orbit coupling can explain what has been assumed to be evidence for an odd-parity state. In the presence of small mirror symmetry breaking, interorbital pairing is uniquely capable of displaying odd-parity characteristics required to explain these experimental results. Further, we discuss how these experiments may be used to differentiate the proposed pairing states of Sr$_2$RuO$_4$.


title: P\'eclet-number dependence of optimal mixing strategies identified using multiscale norms

abstract: The optimization of the mixing of a passive scalar at finite P\'eclet number $Pe=Uh/\kappa$ (where $U,h$ are characteristic velocity and length scales and $\kappa$ is the scalar diffusivity) is relevant to many significant flow challenges across science and engineering. While much work has focused on identifying flow structures conducive to mixing for flows with various values of $Pe$, there has been relatively little attention paid to how the underlying structure of initial scalar distribution affects the mixing achieved. In this study we focus on two problems of interest investigating this issue. Our methods employ a nonlinear direct-adjoint looping (DAL) method to compute fluid velocity fields which optimize a multiscale norm (representing the `mixedness' of our scalar) at a finite target time. First, we investigate how the structure of optimal initial velocity perturbations and the subsequent mixing changes between initially rectilinear `stripes' of scalar and disc-like `drops'. We find that the ensuing stirring of the initial velocity perturbations varies considerably depending on the geometry of the initial scalar distribution. Secondly, we examine the case of lattices of multiple initial `drops' of scalar and investigate how the structure of optimal perturbations varies with appropriately scaled P\'eclet number defined in terms of the drop scale rather than the domain scale. We find that the characteristic structure of the optimal initial velocity perturbation we observe for a single drop is upheld as the number of drops and $Pe$ increase. However, the characteristic vortex structure {\color{red} and associated mixing exhibits some nonlocal variability,} suggesting that rescaling to a local $Pe$ {\color{red} will} not capture all the significant flow dynamics.


title: SWENet: a physics-informed deep neural network (PINN) for shear wave elastography

abstract: Shear wave elastography (SWE) enables the measurement of elastic properties of soft materials, including soft tissues, in a non-invasive manner and finds broad applications in a variety of disciplines. The state-of-the-art SWE methods commercialized in various instruments rely on the measurement of shear wave velocities to infer material parameters and have relatively low resolution and accuracy for inhomogeneous soft materials due to the complexity of wave fields. In the present study, we overcome this challenge by proposing a physics-informed neural network (PINN)-based SWE (SWENet) method considering the merits of PINN in solving an inverse problem. The spatial variation of elastic properties of inhomogeneous materials has been defined in governing equations, which are encoded in PINN as loss functions. Snapshots of wave motion inside a local region have been used to train the neural networks, and during this course, the spatial distribution of elastic properties is inferred simultaneously. Both finite element simulations and tissue-mimicking phantom experiments have been performed to validate the method. Our results show that the shear moduli of soft composites consisting of matrix and inclusions of several millimeters in cross-section dimensions with either regular or irregular geometries can be identified with good accuracy. The advantages of the SWENet over conventional SWE methods consist of using more features of the wave motion in inhomogeneous soft materials and enabling seamless integration of multi-source data in the inverse analysis. Given the advantages of the reported method, it may find applications including but not limited to mechanical characterization of artificial soft biomaterials, imaging elastic properties of nerves in vivo, and differentiating small malignant tumors from benign ones by quantitatively measuring their distinct stiffnesses.


title: Adaptive Smoothness-weighted Adversarial Training for Multiple Perturbations with Its Stability Analysis

abstract: Adversarial Training (AT) has been demonstrated as one of the most effective methods against adversarial examples. While most existing works focus on AT with a single type of perturbation e.g., the $\ell_\infty$ attacks), DNNs are facing threats from different types of adversarial examples. Therefore, adversarial training for multiple perturbations (ATMP) is proposed to generalize the adversarial robustness over different perturbation types (in $\ell_1$, $\ell_2$, and $\ell_\infty$ norm-bounded perturbations). However, the resulting model exhibits trade-off between different attacks. Meanwhile, there is no theoretical analysis of ATMP, limiting its further development. In this paper, we first provide the smoothness analysis of ATMP and show that $\ell_1$, $\ell_2$, and $\ell_\infty$ adversaries give different contributions to the smoothness of the loss function of ATMP. Based on this, we develop the stability-based excess risk bounds and propose adaptive smoothness-weighted adversarial training for multiple perturbations. Theoretically, our algorithm yields better bounds. Empirically, our experiments on CIFAR10 and CIFAR100 achieve the state-of-the-art performance against the mixture of multiple perturbations attacks.


title: Stochastic Resetting for Enhanced Sampling

abstract: We present a method for enhanced sampling of molecular dynamics simulations using stochastic resetting. Various phenomena, ranging from crystal nucleation to protein folding, occur on timescales that are unreachable in standard simulations. This is often caused by broad transition time distributions in which extremely slow events have a non-negligible probability. Stochastic resetting, i.e., restarting simulations at random times, was recently shown to significantly expedite processes that follow such distributions. Here, we employ resetting for enhanced sampling of molecular simulations for the first time. We show that it accelerates long-timescale processes by up to an order of magnitude in examples ranging from simple models to molecular systems. Most importantly, we recover the mean transition time without resetting - typically too long to be sampled directly - from accelerated simulations at a single restart rate. Stochastic resetting can be used as a standalone method or combined with other sampling algorithms to further accelerate simulations.


title: Randomized simplicial sets

abstract: We construct new geometric realizations of simplicial and pre-simplicial sets where the standard $n$-simplex, viewed as the space of probability measures on $n+1$ elements, is replaced by the space of $(n+1)$-valued random variables, with the topology of probability convergence. We prove that the map which associates to a random variable its probability law is an homotopy equivalence from these new geometric realizations to the classical ones. Finally, we prove that this realization provides a new Quillen equivalence between simplicial sets and topological spaces.


title: A global view on star formation: The GLOSTAR Galactic plane survey. VI. Radio Source Catalog II: $28^\circ < \ell < 36^\circ$ and $|b| < 1^\circ$, VLA B-configuration

abstract: As part of the GLOSTAR survey we have used the VLA in its B-configuration to observe the part of the Galactic plane between longitudes of 28d and 36d and latitudes from -1d to +1d at the C-band (4--8 GHz). To reduce the contamination of extended sources that are not well recovered by our coverage of the (u, v)-plane we discarded short baselines that are sensitive to emission on angular scales $<4"$. The resulting radio continuum images have an angular resolution of 1.0", and sensitivity of $\sim60 \mu$Jy~beam$^{-1}$; making it the most sensitive radio survey covering a large area of the Galactic plane with this angular resolution. An automatic source extraction algorithm was used in combination with visual inspection to identify a total of 3325 radio sources. A total of 1457 radio sources are $\geq7\sigma$ and comprise our highly reliable catalog; 72 of these are grouped as 22 fragmented sources, e.g., multiple components of an extended and resolved source. To explore the nature of the catalogued radio sources we searched for counterparts at millimeter and infrared wavelengths. Our classification attempts resulted in 93 HII region candidates, 104 radio stars, 64 planetary nebulae, while most of the remaining radio sources are suggested to be extragalactic sources. We investigated the spectral indices ($\alpha$, $S_\nu\propto\nu^\alpha$) of radio sources classified as HII region candidates and found that many have negative values. This may imply that these radio sources represent young stellar objects that are members of the star clusters around the high mass stars that excite the HII regions, but not these HII regions themselves. By comparing the peak flux densities from the GLOSTAR and CORNISH surveys we have identified 49 variable radio sources, most of them with an unknown nature. Additionally, we provide the list of 1866 radio sources detected within 5 to 7$\sigma$ levels.


title: Lehmer sequence approach to the divisibility of class numbers of imaginary quadratic fields

abstract: Let $k\geq 3$ and $n\geq 3$ be odd integers, and let $m\geq 0$ be any integer. For a prime number $\ell$, we prove that the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{\ell^{2m}-2k^n})$ is either divisible by $n$ or by a specific divisor of $n$. Applying this result, we construct an infinite family of certain tuples of imaginary quadratic fields of the form $$\left(\mathbb{Q}(\sqrt{d}), \mathbb{Q}(\sqrt{d+1}), \mathbb{Q}(\sqrt{4d+1}), \mathbb{Q}(\sqrt{2d+4}), \mathbb{Q}(\sqrt{2d+16}), \cdots, \mathbb{Q}(\sqrt{2d+4^t}) \right)$$ with $d\in \mathbb{Z}$ and $1\leq 4^t\leq 2|d|$ whose class numbers are all divisible by $n$. Our proofs use some deep results about primitive divisors of Lehmer sequences.


title: RISC-V Toolchain and Agile Development based Open-source Neuromorphic Processor

abstract: In recent decades, neuromorphic computing aiming to imitate brains' behaviors has been developed in various fields of computer science. The Artificial Neural Network (ANN) is an important concept in Artificial Intelligence (AI). It is utilized in recognition and classification. To explore a better way to simulate obtained brain behaviors, which is fast and energy-efficient, on hardware, researchers need an advanced method such as neuromorphic computing. In this case, Spiking Neural Network (SNN) becomes an optimal choice in hardware implementation. Recent works are focusing on accelerating SNN computing. However, most accelerator solutions are based on CPU-accelerator architecture which is energy-inefficient due to the complex control flows in this structure. This paper proposes Wenquxing 22A, a low-power neuromorphic processor that combines general-purpose CPU functions and SNN to efficiently compute it with RISC-V SNN extension instructions. The main idea of Wenquxing 22A is to integrate the SNN calculation unit into the pipeline of a general-purpose CPU to achieve low-power computing with customized RISC-V SNN instructions version 1.0 (RV-SNN V1.0), Streamlined Leaky Integrate-and-Fire (LIF) model, and the binary stochastic Spike-timing-dependent-plasticity (STDP). The source code of Wenquxing 22A is released online on Gitee and GitHub. We apply Wenquxing 22A to the recognition of the MNIST dataset to make a comparison with other SNN systems. Our experiment results show that Wenquxing 22A improves the energy expenses by 5.13 times over the accelerator solution, ODIN, with approximately classification accuracy, 85.00% for 3-bit ODIN online learning, and 91.91% for 1-bit Wenquxing 22A.


title: AI-Assisted Discovery of Quantitative and Formal Models in Social Science

abstract: In social science, formal and quantitative models, such as ones describing economic growth and collective action, are used to formulate mechanistic explanations, provide predictions, and uncover questions about observed phenomena. Here, we demonstrate the use of a machine learning system to aid the discovery of symbolic models that capture nonlinear and dynamical relationships in social science datasets. By extending neuro-symbolic methods to find compact functions and differential equations in noisy and longitudinal data, we show that our system can be used to discover interpretable models from real-world data in economics and sociology. Augmenting existing workflows with symbolic regression can help uncover novel relationships and explore counterfactual models during the scientific process. We propose that this AI-assisted framework can bridge parametric and non-parametric models commonly employed in social science research by systematically exploring the space of nonlinear models and enabling fine-grained control over expressivity and interpretability.


title: Noise Reinforced L\'evy Processes: L\'evy-It\^o Decomposition and Applications

abstract: A step reinforced random walk is a discrete time process with memory such that at each time step, with fixed probability $p \in (0,1)$, it repeats a previously performed step chosen uniformly at random while with complementary probability $1-p$, it performs an independent step with fixed law. In the continuum, the main result of Bertoin in [7] states that the random walk constructed from the discrete-time skeleton of a L\'evy process for a time partition of mesh-size $1/n$ converges, as $n \uparrow \infty$ in the sense of finite dimensional distributions, to a process $\hat{\xi}$ referred to as a noise reinforced L\'evy process. Our first main result states that a noise reinforced L\'evy processes has rcll paths and satisfies a $\textit{noise reinforced}$ L\'evy It\^o decomposition in terms of the $\textit{noise reinforced}$ Poisson point process of its jumps. We introduce the joint distribution of a L\'evy process and its reinforced version $(\xi, \hat{\xi})$ and show that the pair, conformed by the skeleton of the L\'evy process and its step reinforced version, converge towards $(\xi, \hat{\xi})$ as the mesh size tend to $0$. As an application, we analyse the rate of growth of $\hat{\xi}$ at the origin and identify its main features as an infinitely divisible process.


title: H\"older estimates of weak solutions to degenerate chemotaxis systems with a source term

abstract: In this note we consider degenerate chemotaxis systems with porous media type diffusion and a source term satisfying the Hadamard growth condition. We prove the H\"older regularity for bounded solutions to parabolic-parabolic as well as for elliptic-parabolic chemotaxis systems.


title: The F-signature Function on the Ample Cone

abstract: For any fixed globally F-regular projective variety X over an algebraically closed field of positive characteristic, we study the F-signature of section rings of X with respect to the ample Cartier divisors on X. In particular, we define an F-signature function on the ample cone of X and show that it is locally Lipschitz continuous. We further prove that the F-signature function extends to the boundary of the ample cone. We also establish an effective comparison between the F-signature function and the volume function on the ample cone. As a consequence, we show that for divisors that are nef but not big, the extension of the F-signature is zero.


title: Two teams of oblivious asynchronous robots performing different tasks on an infinite grid without the knowledge of its team members

abstract: Two fundamental problems of distributed computing are Gathering and Arbitrary pattern formation (\textsc{Apf}). These two tasks are different in nature as in gathering robots meet at a point but in \textsc{Apf} robots form a fixed pattern in distinct positions. In most of the current literature on swarm robot algorithms, it is assumed that all robots in the system perform one single task together. Two teams of oblivious robots deployed in the same system and different teams of robots performing two different works simultaneously where no robot knows the team of another robot is a new concept in the literature introduced by Bhagat et al. [ICDCN'2020]. In this work, a swarm of silent and oblivious robots are deployed on an infinite grid under an asynchronous scheduler. The robots do not have access to any global coordinates. Some of the robots are given input of an arbitrary but unique pattern. The set of robots with the given pattern is assigned with the task of forming the given pattern on the grid. The remaining robots are assigned with the task of gathering to a vertex of the grid (not fixed from earlier and not any point where a robot that is forming a pattern terminates). Each robot knows to which team it belongs, but can not recognize the team of another robot. Considering weak multiplicity detection, a distributed algorithm is presented in this paper which leads the robots with the input pattern into forming it and other robots into gathering on a vertex of the grid on which no other robot forming the pattern, terminates.


title: An extended equivalent circuit model for analysis of arrays of sub-wavelength holes perforated in a metallic film

abstract: Periodic arrays of sub-wavelength holes, due to a variety of applications (sensors, polarizers, filters) and unique abilities in manipulating different characteristics of impinging light, have been the subject of many studies in recent years. This paper presents a new high-precision circuit model to investigate these structures' electromagnetic response, which provides higher accuracy than available literature. To develop the model, a multi-mode approach is taken for inside the apertures, and the proposed model is presented in three general forms which are explained in detail. Along with the proposed circuit model, accurate spatial profiles for square and circular apertures are presented in which the transverse components of the electric field are approximated. In this paper, it is shown that structures such as an array of PEC pillars can be analyzed similar to other arrays of apertures, and the circuit model accurately predicts the behavior of these structures. In some practical applications, such as sensors and TCEs (transparent conducting electrodes), the array is embedded in a layered medium, and the circuit model with minor changes and few modifications can analyze these structures with high accuracy.


title: Joule spectroscopy of hybrid superconductor-semiconductor nanodevices

abstract: Hybrid superconductor-semiconductor devices offer highly tunable platforms, potentially suitable for quantum technology applications, that have been intensively studied in the past decade. Here we establish that measurements of the superconductor-to-normal transition originating from Joule heating provide a powerful spectroscopical tool to characterize such hybrid devices. Concretely, we apply this technique to junctions in full-shell Al-InAs nanowires in the Little-Parks regime and obtain detailed information of each lead independently and in a single measurement, including differences in the superconducting coherence lengths of the leads, inhomogeneous covering of the epitaxial shell, and the inverse superconducting proximity effect; all-in-all constituting a unique fingerprint of each device and highlighting the large variability present in these systems. Besides the practical uses, our work also underscores the importance of heating in hybrid devices, an effect that is often overlooked.


title: Robust Optimization of RIS in Terahertz under Extreme Molecular Re-radiation Manifestations

abstract: Terahertz (THz) communication signals are susceptible to severe degradation because of the molecular interaction with the atmosphere in the form of subsequent absorption and re-radiation. Recently, reconfigurable intelligent surface (RIS) has emerged as a potential technology to assist in THz communications by boosting signal power or providing virtual line-of-sight paths. However, the re-radiated energy has either been modeled as a non-line-of-sight scattering component or as additive Gaussian noise in the literature. Since the precise characterization is still a work in progress, this paper presents the first comparative investigation of the performance of an RIS-aided THz system under these two extreme re-radiation models. In particular, we first develop a novel parametric channel model that encompasses both models of the re-radiation through a simple parameter change, and then utilize that to design a robust block-coordinate descent (BCD) algorithmic framework which maximizes a lower bound on channel capacity considering imperfect channel state information. In this framework, the original problem is split into two sub-problems: a) receive beamformer optimization, and b) RIS phase-shift optimization. We also analytically demonstrate the limited interference suppression capability of a passive RIS. Our numerical results also demonstrate that slightly better throughput is achieved when the re-radiation manifests as scattering.


title: Beyond the Existential Theory of the Reals

abstract: We show that completeness at higher levels of the theory of the reals is a robust notion (under changing the signature and bounding the domain of the quantifiers). This mends recognized gaps in the hierarchy, and leads to stronger completeness results for various computational problems. We exhibit several families of complete problems which can be used for future completeness results in the real hierarchy. As an application we sharpen some results by B\"{u}rgisser and Cucker on the complexity of properties of semialgebraic sets, including the Hausdorff distance problem also studied by Jungeblut, Kleist, and Miltzow.


title: Risk-graded Safety for Handling Medical Queries in Conversational AI

abstract: Conversational AI systems can engage in unsafe behaviour when handling users' medical queries that can have severe consequences and could even lead to deaths. Systems therefore need to be capable of both recognising the seriousness of medical inputs and producing responses with appropriate levels of risk. We create a corpus of human written English language medical queries and the responses of different types of systems. We label these with both crowdsourced and expert annotations. While individual crowdworkers may be unreliable at grading the seriousness of the prompts, their aggregated labels tend to agree with professional opinion to a greater extent on identifying the medical queries and recognising the risk types posed by the responses. Results of classification experiments suggest that, while these tasks can be automated, caution should be exercised, as errors can potentially be very serious.


title: Natural Gradient Ascent in Evolutionary Games

abstract: We study evolutionary games with a continuous trait space in which replicator dynamics are restricted to the manifold of multidimensional Gaussian distributions. We demonstrate that the replicator equations are natural gradient flow for maximization of the mean fitness. Our findings extend previous results on information-geometric aspects of evolutionary games with a finite strategy set. Throughout the paper we exploit the information-geometric approach and the relation between evolutionary dynamics and Natural Evolution Strategies, the concept that has been developed within the framework of black-box optimization. This relation sheds a new light on the replicator dynamics as a compromise between maximization of the mean fitness and preservation of diversity in the population.


title: Bourgain, Brezis and Mironescu theorem for fractional Sobolev spaces with variable exponents

abstract: A Bourgain--Brezis--Mironescu-type theorem for fractional Sobolev spaces with variable exponents is established for sufficiently regular functions. We prove, however, that a limiting embedding theorem for these spaces fails to hold in general.


title: Tetrahedral frame fields via constrained third order symmetric tensors

abstract: Tetrahedral frame fields have applications to certain classes of nematic liquid crystals and frustrated media. We consider the problem of constructing a tetrahedral frame field in three dimensional domains in which the boundary normal vector is included in the frame on the boundary. To do this we identify an isomorphism between a given tetrahedral frame and a symmetric, traceless third order tensor under a particular nonlinear constraint. We then define a Ginzburg-Landau-type functional which penalizes the associated nonlinear constraint. Using gradient descent, one retrieves a globally defined limiting tensor outside of a singular set. The tetrahedral frame can then be recovered from this tensor by a determinant maximization method, developed in this work. The resulting numerically generated frame fields are smooth outside of one dimensional filaments that join together at triple junctions.


title: Robust phase-controlled gates for scalable atomic quantum processors using optical standing waves

abstract: A simple scheme is presented for realizing robust optically controlled quantum gates for scalable atomic quantum processors by driving the qubits with optical standing waves. Atoms localized close to the antinodes of the standing wave can realize phase-controlled quantum operations that are potentially more than an order of magnitude less sensitive to the local optical phase and atomic motion than corresponding travelling wave configurations. The scheme is compatible with robust optimal control techniques and spatial qubit addressing in atomic arrays to realize phase controlled operations without the need for tight focusing and precise positioning of the control lasers. This will be particularly beneficial for quantum gates involving Doppler sensitive optical frequency transitions and provides an all optical route to scaling up atomic quantum processors.


title: Deep Invertible Approximation of Topologically Rich Maps between Manifolds

abstract: How can we design neural networks that allow for stable universal approximation of maps between topologically interesting manifolds? The answer is with a coordinate projection. Neural networks based on topological data analysis (TDA) use tools such as persistent homology to learn topological signatures of data and stabilize training but may not be universal approximators or have stable inverses. Other architectures universally approximate data distributions on submanifolds but only when the latter are given by a single chart, making them unable to learn maps that change topology. By exploiting the topological parallels between locally bilipschitz maps, covering spaces, and local homeomorphisms, and by using universal approximation arguments from machine learning, we find that a novel network of the form $\mathcal{T} \circ p \circ \mathcal{E}$, where $\mathcal{E}$ is an injective network, $p$ a fixed coordinate projection, and $\mathcal{T}$ a bijective network, is a universal approximator of local diffeomorphisms between compact smooth submanifolds embedded in $\mathbb{R}^n$. We emphasize the case when the target map changes topology. Further, we find that by constraining the projection $p$, multivalued inversions of our networks can be computed without sacrificing universality. As an application, we show that learning a group invariant function with unknown group action naturally reduces to the question of learning local diffeomorphisms for finite groups. Our theory permits us to recover orbits of the group action. We also outline possible extensions of our architecture to address molecular imaging of molecules with symmetries. Finally, our analysis informs the choice of topologically expressive starting spaces in generative problems.


title: An optimal open-loop strategy for handling a flexible beam with a robot manipulator

abstract: Fast and safe manipulation of flexible objects with a robot manipulator necessitates measures to cope with vibrations. Existing approaches either increase the task execution time or require complex models and/or additional instrumentation to measure vibrations. This paper develops a model-based method that overcomes these limitations. It relies on a simple pendulum-like model for modeling the beam, open-loop optimal control for suppressing vibrations, and does not require any exteroceptive sensors. We experimentally show that the proposed method drastically reduces residual vibrations -- at least 90% -- and outperforms the commonly used input shaping (IS) for the same execution time. Besides, our method can also execute the task faster than IS with a minor reduction in vibration suppression performance. The proposed method facilitates the development of new solutions to a wide range of tasks that involve dynamic manipulation of flexible objects.


title: Large-scale machine-learning-assisted exploration of the whole materials space

abstract: Crystal-graph attention networks have emerged recently as remarkable tools for the prediction of thermodynamic stability and materials properties from unrelaxed crystal structures. Previous networks trained on two million materials exhibited, however, strong biases originating from underrepresented chemical elements and structural prototypes in the available data. We tackled this issue computing additional data to provide better balance across both chemical and crystal-symmetry space. Crystal-graph networks trained with this new data show unprecedented generalization accuracy, and allow for reliable, accelerated exploration of the whole space of inorganic compounds. We applied this universal network to perform machine-learning assisted high-throughput materials searches including 2500 binary and ternary structure prototypes and spanning about 1 billion compounds. After validation using density-functional theory, we uncover in total 19512 additional materials on the convex hull of thermodynamic stability and ~150000 compounds with a distance of less than 50 meV/atom from the hull. Combining again machine learning and ab-initio methods, we finally evaluate the discovered materials for applications as superconductors, superhard materials, and we look for candidates with large gap deformation potentials, finding several compounds with extreme values of these properties.


title: GFlowNets and variational inference

abstract: This paper builds bridges between two families of probabilistic algorithms: (hierarchical) variational inference (VI), which is typically used to model distributions over continuous spaces, and generative flow networks (GFlowNets), which have been used for distributions over discrete structures such as graphs. We demonstrate that, in certain cases, VI algorithms are equivalent to special cases of GFlowNets in the sense of equality of expected gradients of their learning objectives. We then point out the differences between the two families and show how these differences emerge experimentally. Notably, GFlowNets, which borrow ideas from reinforcement learning, are more amenable than VI to off-policy training without the cost of high gradient variance induced by importance sampling. We argue that this property of GFlowNets can provide advantages for capturing diversity in multimodal target distributions.


title: PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov Model

abstract: Publishing trajectory data (individual's movement information) is very useful, but it also raises privacy concerns. To handle the privacy concern, in this paper, we apply differential privacy, the standard technique for data privacy, together with Markov chain model, to generate synthetic trajectories. We notice that existing studies all use Markov chain model and thus propose a framework to analyze the usage of the Markov chain model in this problem. Based on the analysis, we come up with an effective algorithm PrivTrace that uses the first-order and second-order Markov model adaptively. We evaluate PrivTrace and existing methods on synthetic and real-world datasets to demonstrate the superiority of our method.


title: Classification of tangent and transverse knots in bracket-generating distributions

abstract: Consider a manifold, of dimension greater than 3, equipped with a bracket-generating distribution. In this article we prove complete h-principles for embedded regular horizontal curves and for embedded transverse curves. These results contrast with the 3-dimensional contact case, where the full h-principle for transverse/legendrian knots is known not to hold. We also prove analogous statements for immersions, with no assumptions on the ambient dimension.


title: The Dynamic of Consensus in Deep Networks and the Identification of Noisy Labels

abstract: Deep neural networks have incredible capacity and expressibility, and can seemingly memorize any training set. This introduces a problem when training in the presence of noisy labels, as the noisy examples cannot be distinguished from clean examples by the end of training. Recent research has dealt with this challenge by utilizing the fact that deep networks seem to memorize clean examples much earlier than noisy examples. Here we report a new empirical result: for each example, when looking at the time it has been memorized by each model in an ensemble of networks, the diversity seen in noisy examples is much larger than the clean examples. We use this observation to develop a new method for noisy labels filtration. The method is based on a statistics of the data, which captures the differences in ensemble learning dynamics between clean and noisy data. We test our method on three tasks: (i) noise amount estimation; (ii) noise filtration; (iii) supervised classification. We show that our method improves over existing baselines in all three tasks using a variety of datasets, noise models, and noise levels. Aside from its improved performance, our method has two other advantages. (i) Simplicity, which implies that no additional hyperparameters are introduced. (ii) Our method is modular: it does not work in an end-to-end fashion, and can therefore be used to clean a dataset for any other future usage.


title: FLCert: Provably Secure Federated Learning against Poisoning Attacks

abstract: Due to its distributed nature, federated learning is vulnerable to poisoning attacks, in which malicious clients poison the training process via manipulating their local training data and/or local model updates sent to the cloud server, such that the poisoned global model misclassifies many indiscriminate test inputs or attacker-chosen ones. Existing defenses mainly leverage Byzantine-robust federated learning methods or detect malicious clients. However, these defenses do not have provable security guarantees against poisoning attacks and may be vulnerable to more advanced attacks. In this work, we aim to bridge the gap by proposing FLCert, an ensemble federated learning framework, that is provably secure against poisoning attacks with a bounded number of malicious clients. Our key idea is to divide the clients into groups, learn a global model for each group of clients using any existing federated learning method, and take a majority vote among the global models to classify a test input. Specifically, we consider two methods to group the clients and propose two variants of FLCert correspondingly, i.e., FLCert-P that randomly samples clients in each group, and FLCert-D that divides clients to disjoint groups deterministically. Our extensive experiments on multiple datasets show that the label predicted by our FLCert for a test input is provably unaffected by a bounded number of malicious clients, no matter what poisoning attacks they use.


title: Generation and motion of interfaces in a mass-conserving reaction-diffusion system

abstract: Reaction-diffusion models with nonlocal constraints naturally arise as limiting cases of coupled bulk-surface models of intracellular signalling. In this paper, a minimal, mass-conserving model of cell-polarization on a curved membrane is analyzed in the limit of slow surface diffusion. Using the tools of formal asymptotics and calculus of variations, we study the characteristic wave-pinning behavior of this system on three dynamical timescales. On the short timescale, generation of an interface separating high- and low-concentration domains is established under suitable conditions. Intermediate timescale dynamics is shown to lead to a uniform growth or shrinking of these domains to sizes which are fixed by global parameters. Finally, the long time dynamics reduces to area-preserving geodesic curvature flow that may lead to multi-interface steady state solutions. These results provide a foundation for studying cell polarization and related phenomena in biologically relevant geometries.


title: Generated Faces in the Wild: Quantitative Comparison of Stable Diffusion, Midjourney and DALL-E 2

abstract: The field of image synthesis has made great strides in the last couple of years. Recent models are capable of generating images with astonishing quality. Fine-grained evaluation of these models on some interesting categories such as faces is still missing. Here, we conduct a quantitative comparison of three popular systems including Stable Diffusion, Midjourney, and DALL-E 2 in their ability to generate photorealistic faces in the wild. We find that Stable Diffusion generates better faces than the other systems, according to the FID score. We also introduce a dataset of generated faces in the wild dubbed GFW, including a total of 15,076 faces. Furthermore, we hope that our study spurs follow-up research in assessing the generative models and improving them. Data and code are available at data and code, respectively.


title: The low-energy spectrum in DAMIC at SNOLAB

abstract: The DAMIC experiment employs large-area, thick charge-coupled devices (CCDs) to search for the interactions of low-mass dark matter particles in the galactic halo with silicon atoms in the CCD target. From 2017 to 2019, DAMIC collected data with a seven-CCD array (40-gram target) installed in the SNOLAB underground laboratory. We report dark-matter search results, including a conspicuous excess of events above the background model below 200 eV$_{\rm ee}$, whose origin remains unknown. We present details of the published spectral analysis, and update on the deployment of skipper CCDs to perform a more precise measurement by early 2023.


title: DFA: Dynamic Feature Aggregation for Efficient Video Object Detection

abstract: Video object detection is a fundamental yet challenging task in computer vision. One practical solution is to take advantage of temporal information from the video and apply feature aggregation to enhance the object features in each frame. Though effective, those existing methods always suffer from low inference speeds because they use a fixed number of frames for feature aggregation regardless of the input frame. Therefore, this paper aims to improve the inference speed of the current feature aggregation-based video object detectors while maintaining their performance. To achieve this goal, we propose a vanilla dynamic aggregation module that adaptively selects the frames for feature enhancement. Then, we extend the vanilla dynamic aggregation module to a more effective and reconfigurable deformable version. Finally, we introduce inplace distillation loss to improve the representations of objects aggregated with fewer frames. Extensive experimental results validate the effectiveness and efficiency of our proposed methods: On the ImageNet VID benchmark, integrated with our proposed methods, FGFA and SELSA can improve the inference speed by 31% and 76% respectively while getting comparable performance on accuracy.


title: Uncertainty estimations methods for a deep learning model to aid in clinical decision-making -- a clinician's perspective

abstract: Prediction uncertainty estimation has clinical significance as it can potentially quantify prediction reliability. Clinicians may trust 'blackbox' models more if robust reliability information is available, which may lead to more models being adopted into clinical practice. There are several deep learning-inspired uncertainty estimation techniques, but few are implemented on medical datasets -- fewer on single institutional datasets/models. We sought to compare dropout variational inference (DO), test-time augmentation (TTA), conformal predictions, and single deterministic methods for estimating uncertainty using our model trained to predict feeding tube placement for 271 head and neck cancer patients treated with radiation. We compared the area under the curve (AUC), sensitivity, specificity, positive predictive value (PPV), and negative predictive value (NPV) trends for each method at various cutoffs that sought to stratify patients into 'certain' and 'uncertain' cohorts. These cutoffs were obtained by calculating the percentile "uncertainty" within the validation cohort and applied to the testing cohort. Broadly, the AUC, sensitivity, and NPV increased as the predictions were more 'certain' -- i.e., lower uncertainty estimates. However, when a majority vote (implementing 2/3 criteria: DO, TTA, conformal predictions) or a stricter approach (3/3 criteria) were used, AUC, sensitivity, and NPV improved without a notable loss in specificity or PPV. Especially for smaller, single institutional datasets, it may be important to evaluate multiple estimations techniques before incorporating a model into clinical practice.


title: Community Learning: Understanding A Community Through NLP for Positive Impact

abstract: A post-pandemic world resulted in economic upheaval, particularly for the cities' communities. While significant work in NLP4PI focuses on national and international events, there is a gap in bringing such state-of-the-art methods into the community development field. In order to help with community development, we must learn about the communities we develop. To that end, we propose the task of community learning as a computational task of extracting natural language data about the community, transforming and loading it into a suitable knowledge graph structure for further downstream applications. We study two particular cases of homelessness and education in showing the visualization capabilities of a knowledge graph, and also discuss other usefulness such a model can provide.


title: Twisted conjugacy in residually finite groups of finite Pr\"ufer rank

abstract: Suppose, $G$ is a residually finite group of finite upper rank admitting an automorphism $\varphi$ with finite Reidemeister number $R(\varphi)$ (the number of $\varphi$-twisted conjugacy classes). We prove that such $G$ is soluble-by-finite (in other words, any residually finite group of finite upper rank, which is not soluble-by-finite, has the $R_\infty$ property). This reduction is the first step in the proof of the second main theorem of the paper: suppose, $G$ is a residually finite group of finite Pr\"ufer rank and $\varphi$ is its automorphism with $R(\varphi)<\infty$; then $R(\varphi)$ is equal to the number of equivalence classes of finite-dimensional irreducible unitary representations of $G$, which are fixed points of the dual map $\widehat{\varphi}:[\rho]\mapsto [\rho\circ \varphi]$ (i.e., we prove the TBFT$_f$, the finite version of the conjecture about the twisted Burnside-Frobenius theorem, for such groups).


title: Fully discrete finite element methods for nonlinear stochastic elastic wave equations with multiplicative noise

abstract: This paper is concerned with fully discrete finite element methods for approximating variational solutions of nonlinear stochastic elastic wave equations with multiplicative noise. A detailed analysis of the properties of the weak solution is carried out and a fully discrete finite element method is proposed. Strong convergence in the energy norm with rate $\cal{O}(k+h^r)$ is proved, where $k$ and $h$ denote respectively the temporal and spatial mesh sizes, and $r(\geq 1)$ is the order of the finite element. Numerical experiments are provided to test the efficiency of proposed numerical methods and to validate the theoretical error estimate results.


title: Maximal inequalities and convergence results on multidimensionally indexed demimartingales

abstract: We obtain some maximal probability and moment inequalities for multidimensionally indexed demimartingales. Although the class of single-indexed demimartingales has been studied extensively, no significant amount of work has been done for the corresponding multiindexed class of random variables. This work aims to fill in this gap in the literature by extending well-known inequalities and asymptotic results to this more general class of random variables.


title: A database of high precision trivial choreographies for the planar three-body problem

abstract: Trivial choreographies are special periodic solutions of the planar three-body problem. In this work we use a modified Newton's method based on the continuous analog of Newton's method and a high precision arithmetic for a specialized numerical search for new trivial choreographies. As a result of the search we computed a high precision database of 462 such orbits, including 397 new ones. The initial conditions and the periods of all found solutions are given with 180 correct decimal digits. 108 of the choreographies are linearly stable, including 99 new ones. The linear stability is tested by a high precision computing of the eigenvalues of the monodromy matrices.

categories: math.NA astro-ph.EP cs.NA nlin.CD physics.comp-ph


title: Twisted Hurwitz numbers: Tropical and polynomial structures

abstract: Hurwitz numbers count covers of curves satisfying fixed ramification data. Via monodromy representation, this counting problem can be transformed to a problem of counting factorizations in the symmetric group. This and other beautiful connections make Hurwitz numbers a longstanding active research topic. In recent work Chapuy and Dol\k{e}ga, a new enumerative invariant called b-Hurwitz number was introduced, which enumerates non-orientable branched coverings. For b=1, we obtain twisted Hurwitz numbers which were linked to surgery theory in work of Burman and Fesler and admit a representation as factorisations in the symmetric group. In this paper, we derive a tropical interperetation of twisted Hurwitz numbers in terms of tropical covers and study their polynomial structure.


title: Policy Gradients for Probabilistic Constrained Reinforcement Learning

abstract: This paper considers the problem of learning safe policies in the context of reinforcement learning (RL). In particular, we consider the notion of probabilistic safety. This is, we aim to design policies that maintain the state of the system in a safe set with high probability. This notion differs from cumulative constraints often considered in the literature. The challenge of working with probabilistic safety is the lack of expressions for their gradients. Indeed, policy optimization algorithms rely on gradients of the objective function and the constraints. To the best of our knowledge, this work is the first one providing such explicit gradient expressions for probabilistic constraints. It is worth noting that the gradient of this family of constraints can be applied to various policy-based algorithms. We demonstrate empirically that it is possible to handle probabilistic constraints in a continuous navigation problem.


title: Composition of Differential Privacy & Privacy Amplification by Subsampling

abstract: This chapter is meant to be part of the book "Differential Privacy for Artificial Intelligence Applications." We give an introduction to the most important property of differential privacy -- composition: running multiple independent analyses on the data of a set of people will still be differentially private as long as each of the analyses is private on its own -- as well as the related topic of privacy amplification by subsampling. This chapter introduces the basic concepts and gives proofs of the key results needed to apply these tools in practice.


title: Two-dimensional miscible-immiscible supersolid and droplet crystal state in a homonuclear dipolar bosonic mixture

abstract: The recent realization of binary dipolar BEC [Phys. Rev. Lett. 121, 213601 (2018)] opens new exciting aspects for studying quantum droplets and supersolids in a binary mixture. Motivated by this experiment, we study groundstate phases and dynamics of a Dy-Dy mixture. Dipolar bosonic mixture exhibits qualitatively novel and rich physics. Relying on the three-dimensional numerical simulations in the extended Gross-Pitaevskii framework, we unravel the groundstate phase diagrams and characterize different groundstate phases. The emergent phases include both miscible and immiscible single droplet (SD), multiple droplets (MD), supersolid (SS), and superfluid (SF) states. More intriguing mixed groundstates may occur for an imbalanced binary mixture, including a combination of SS-SF, SS-MD, and SS-SS phases. We observed the dynamical transition from a miscible MD state to an immiscible MD state with multiple domains formed along the axial direction by tuning the inter-species scattering length. Also by linear quenches of intra-species scattering lengths across the aforementioned phases, we monitor the dynamical formation of supersolid clusters and droplet lattices. Although we have demonstrated the results for a Dy-Dy mixture and for a specific parameter range of intra-species and inter-species scattering lengths, our results are generally valid for other dipolar mixtures and may become an important benchmark for future experimental scenarios.


title: Deep learning for track recognition in pixel and strip-based particle detectors

abstract: The reconstruction of charged particle trajectories in tracking detectors is a key problem in the analysis of experimental data for high-energy and nuclear physics. The amount of data in modern experiments is so large that classical tracking methods, such as the Kalman filter, cannot process them fast enough. To solve this problem, we developed two neural network algorithms based on deep learning architectures for track recognition in pixel and strip-based particle detectors. These are TrackNETv3 for local (track by track) and RDGraphNet for global (all tracks in an event) tracking. These algorithms were tested using the GEM tracker of the BM@N experiment at JINR (Dubna) and the cylindrical GEM inner tracker of the BESIII experiment at IHEP CAS (Beijing). The RDGraphNet model, based on a reverse directed graph, showed encouraging results: 95% recall and 74% precision for track finding. The TrackNETv3 model demonstrated a recall value of 95% and 76% precision. This result can be improved after further model optimization.


title: Spin-orbit coupling and Kondo resonance in Co adatom on Cu(100) surface: DFT+ED study

abstract: We report density functional theory plus exact diagonalization of the multi-orbital Anderson impurity model calculations for the Co adatom on the top of Cu(001) surface. For the Co atom $d$-shell occupation $n_d \approx$ 8, a singlet many-body ground state and Kondo resonance are found, when the spin-orbit coupling is included in the calculations. The differential conductance is evaluated in a good agreement with the scanning tuneling microscopy measurements. The results illustrate the essential role which the spin-orbit coupling is playing in a formation of Kondo singlet for the multi-orbital impurity in low dimensions.


title: Optimizing for the Rupert property

abstract: A polyhedron is Rupert if it is possible to cut a hole in it and thread an identical polyhedron through the hole. It is known that all 5 Platonic solids, 10 of the 13 Archimedean solids, 9 of the 13 Catalan solids, and 82 of the 92 Johnson solids are Rupert. Here, a nonlinear optimization method is devised that is able to validate the previously known results in seconds. It is also used to show that 2 additional Catalan solids -- the triakis tetrahedron and the pentagonal icositetrahedron -- and 5 additional Johnson solids are Rupert.


title: Explicit reconstruction of the entanglement wedge via the Petz map

abstract: We revisit entanglement wedge reconstruction in AdS/CFT using the Petz recovery channel. In the case of a spherical region on the boundary, we show that the Petz map reproduces the AdS-Rindler HKLL reconstruction. Moreover, for a generic subregion of the boundary, we could obtain the same boundary representation of a local bulk field lies in the entanglement wedge as the one proposed earlier in [1, 2] using properties of the modular flow.


title: Deconjugation of canonical variables and the Koopman-von Neumann theory

abstract: The Koopman-von Neumann (KvN) theory is one where the dynamical momentum is not canonically conjugate to position, i.e., position and momentum are deconjugated. From this point of view, we show that the KvN theory arises from quantum mechanics, extracting classical equations of motion from quantum ones. However, preserving the canonical structure of the theory requires introducing ``auxiliary'' canonical conjugates to position and momentum. We show that using the KvN formulation to study the interaction between quantum and classical systems forces the auxiliary variables to take on a physical role. While giving rise to classical behaviour, the KvN theory might be more than classical.


title: Ensembling improves stability and power of feature selection for deep learning models

abstract: With the growing adoption of deep learning models in different real-world domains, including computational biology, it is often necessary to understand which data features are essential for the model's decision. Despite extensive recent efforts to define different feature importance metrics for deep learning models, we identified that inherent stochasticity in the design and training of deep learning models makes commonly used feature importance scores unstable. This results in varied explanations or selections of different features across different runs of the model. We demonstrate how the signal strength of features and correlation among features directly contribute to this instability. To address this instability, we explore the ensembling of feature importance scores of models across different epochs and find that this simple approach can substantially address this issue. For example, we consider knockoff inference as they allow feature selection with statistical guarantees. We discover considerable variability in selected features in different epochs of deep learning training, and the best selection of features doesn't necessarily occur at the lowest validation loss, the conventional approach to determine the best model. As such, we present a framework to combine the feature importance of trained models across different hyperparameter settings and epochs, and instead of selecting features from one best model, we perform an ensemble of feature importance scores from numerous good models. Across the range of experiments in simulated and various real-world datasets, we demonstrate that the proposed framework consistently improves the power of feature selection.


title: Short-range forces due to Lorentz-symmetry violation

abstract: Complementing previous theoretical and experimental work, we explore new types of short-range modifications to Newtonian gravity arising from spacetime-symmetry breaking. The first non-perturbative, i.e., to all orders in coefficients for Lorentz-symmetry breaking, are constructed in the Newtonian limit. We make use of the generic symmetry-breaking terms modifying the gravity sector and examine the isotropic coefficient limit. The results show new kinds of force law corrections, going beyond the standard Yukawa parameterization. Further, there are ranges of the values of the coefficients that could make the resulting forces large compared to the Newtonian prediction at short distances. Experimental signals are discussed for typical test mass arrangements.


title: Soft Particles and Infinite-Dimensional Geometry

abstract: In the sigma model, soft insertions of moduli scalars enact parallel transport of $S$-matrix elements about the finite-dimensional moduli space of vacua, and the antisymmetric double-soft theorem calculates the curvature of the vacuum manifold. We explore the analogs of these statements in gauge theory and gravity in asymptotically flat spacetimes, where the relevant moduli spaces are infinite-dimensional. These models have spaces of vacua parameterized by (trivial) flat connections at spatial infinity, and soft insertions of photons, gluons, and gravitons parallel transport $S$-matrix elements about these infinite-dimensional manifolds. We argue that the antisymmetric double-soft gluon theorem in $d+2$ bulk dimensions computes the curvature of a connection on the infinite-dimensional space Map$(S^d,G)/G$. The analogous metrics in abelian gauge theory and gravity are flat, as indicated by the vanishing of the antisymmetric double-soft theorems in those models. In other words, Feynman diagram calculations not only know about the vacuum manifold of Yang-Mills theory, they can also be used to compute its curvature. The results have interesting implications for flat holography.


title: Verifying the Hilali conjecture up to formal dimension twenty

abstract: We prove that in formal dimension $\leq 20$ the Hilali conjecture holds, i.e. that the total dimension of the rational homology bounds from above the total dimension of the rational homotopy for a simply connected rationally elliptic space.


title: Establishing Meta-Decision-Making for AI: An Ontology of Relevance, Representation and Reasoning

abstract: We propose an ontology of building decision-making systems, with the aim of establishing Meta-Decision-Making for Artificial Intelligence (AI), improving autonomy, and creating a framework to build metrics and benchmarks upon. To this end, we propose the three parts of Relevance, Representation, and Reasoning, and discuss their value in ensuring safety and mitigating risk in the context of third wave cognitive systems. Our nomenclature reflects the literature on decision-making, and our ontology allows researchers that adopt it to frame their work in relation to one or more of these parts.


title: Throwing Objects into A Moving Basket While Avoiding Obstacles

abstract: The capabilities of a robot will be increased significantly by exploiting throwing behavior. In particular, throwing will enable robots to rapidly place the object into the target basket, located outside its feasible kinematic space, without traveling to the desired location. In previous approaches, the robot often learned a parameterized throwing kernel through analytical approaches, imitation learning, or hand-coding. There are many situations in which such approaches do not work/generalize well due to various object shapes, heterogeneous mass distribution, and also obstacles that might be presented in the environment. It is obvious that a method is needed to modulate the throwing kernel through its meta parameters. In this paper, we tackle object throwing problem through a deep reinforcement learning approach that enables robots to precisely throw objects into moving baskets while there are obstacles obstructing the path. To the best of our knowledge, we are the first group that addresses throwing objects with obstacle avoidance. Such a throwing skill not only increases the physical reachability of a robot arm but also improves the execution time. In particular, the robot detects the pose of the target object, basket, and obstacle at each time step, predicts the proper grasp configuration for the target object, and then infers appropriate parameters to throw the object into the basket. Due to safety constraints, we develop a simulation environment in Gazebo to train the robot and then use the learned policy in real-robot directly. To assess the performers of the proposed approach, we perform extensive sets of experiments in both simulation and real robots in three scenarios. Experimental results showed that the robot could precisely throw a target object into the basket outside its kinematic range and generalize well to new locations and objects without colliding with obstacles.


title: Belief propagation generalizes backpropagation

abstract: The two most important algorithms in artificial intelligence are backpropagation and belief propagation. In spite of their importance, the connection between them is poorly characterized. We show that when an input to backpropagation is converted into an input to belief propagation so that (loopy) belief propagation can be run on it, then the result of belief propagation encodes the result of backpropagation; thus backpropagation is recovered as a special case of belief propagation. In other words, we prove for apparently the first time that belief propagation generalizes backpropagation. Our analysis is a theoretical contribution, which we motivate with the expectation that it might reconcile our understandings of each of these algorithms, and serve as a guide to engineering researchers seeking to improve the behavior of systems that use one or the other.


title: SAGDA: Achieving $\mathcal{O}(\epsilon^{-2})$ Communication Complexity in Federated Min-Max Learning

abstract: To lower the communication complexity of federated min-max learning, a natural approach is to utilize the idea of infrequent communications (through multiple local updates) same as in conventional federated learning. However, due to the more complicated inter-outer problem structure in federated min-max learning, theoretical understandings of communication complexity for federated min-max learning with infrequent communications remain very limited in the literature. This is particularly true for settings with non-i.i.d. datasets and partial client participation. To address this challenge, in this paper, we propose a new algorithmic framework called stochastic sampling averaging gradient descent ascent (SAGDA), which i) assembles stochastic gradient estimators from randomly sampled clients as control variates and ii) leverages two learning rates on both server and client sides. We show that SAGDA achieves a linear speedup in terms of both the number of clients and local update steps, which yields an $\mathcal{O}(\epsilon^{-2})$ communication complexity that is orders of magnitude lower than the state of the art. Interestingly, by noting that the standard federated stochastic gradient descent ascent (FSGDA) is in fact a control-variate-free special version of SAGDA, we immediately arrive at an $\mathcal{O}(\epsilon^{-2})$ communication complexity result for FSGDA. Therefore, through the lens of SAGDA, we also advance the current understanding on communication complexity of the standard FSGDA method for federated min-max learning.


title: MultiScale MeshGraphNets

abstract: In recent years, there has been a growing interest in using machine learning to overcome the high cost of numerical simulation, with some learned models achieving impressive speed-ups over classical solvers whilst maintaining accuracy. However, these methods are usually tested at low-resolution settings, and it remains to be seen whether they can scale to the costly high-resolution simulations that we ultimately want to tackle. In this work, we propose two complementary approaches to improve the framework from MeshGraphNets, which demonstrated accurate predictions in a broad range of physical systems. MeshGraphNets relies on a message passing graph neural network to propagate information, and this structure becomes a limiting factor for high-resolution simulations, as equally distant points in space become further apart in graph space. First, we demonstrate that it is possible to learn accurate surrogate dynamics of a high-resolution system on a much coarser mesh, both removing the message passing bottleneck and improving performance; and second, we introduce a hierarchical approach (MultiScale MeshGraphNets) which passes messages on two different resolutions (fine and coarse), significantly improving the accuracy of MeshGraphNets while requiring less computational resources.


title: The boundaries of meaning: a case study in neural machine translation

abstract: The success of deep learning in natural language processing raises intriguing questions about the nature of linguistic meaning and ways in which it can be processed by natural and artificial systems. One such question has to do with subword segmentation algorithms widely employed in language modeling, machine translation, and other tasks since 2016. These algorithms often cut words into semantically opaque pieces, such as 'period', 'on', 't', and 'ist' in 'period|on|t|ist'. The system then represents the resulting segments in a dense vector space, which is expected to model grammatical relations among them. This representation may in turn be used to map 'period|on|t|ist' (English) to 'par|od|ont|iste' (French). Thus, instead of being modeled at the lexical level, translation is reformulated more generally as the task of learning the best bilingual mapping between the sequences of subword segments of two languages; and sometimes even between pure character sequences: 'p|e|r|i|o|d|o|n|t|i|s|t' $\rightarrow$ 'p|a|r|o|d|o|n|t|i|s|t|e'. Such subword segmentations and alignments are at work in highly efficient end-to-end machine translation systems, despite their allegedly opaque nature. The computational value of such processes is unquestionable. But do they have any linguistic or philosophical plausibility? I attempt to cast light on this question by reviewing the relevant details of the subword segmentation algorithms and by relating them to important philosophical and linguistic debates, in the spirit of making artificial intelligence more transparent and explainable.


title: Free Banach lattices

abstract: We investigate the structure of the free $p$-convex Banach lattice $FBL^{(p)}[E]$ over a Banach space $E$. After recalling why such a free lattice exists, and giving a convenient functional representation of it, we focus our study on how properties of an operator $T:E\rightarrow F$ between Banach spaces transfer to the associated lattice homomorphism $\overline{T}:FBL^{(p)}[E]\rightarrow FBL^{(p)}[F]$. Particular consideration is devoted to the case when the operator $T$ is an isomorphic embedding, which leads us to examine extension properties of operators into $\ell_p$, and several classical Banach space properties such as being a G.T. space. A detailed investigation of basic sequences and sublattices of free Banach lattices is provided. In addition, we begin to build a dictionary between Banach space properties of $E$ and Banach lattice properties of $FBL^{(p)}[E]$. In particular, we characterize the existence of lattice copies of $\ell_1$ in $FBL^{(p)}[E]$ and show that $FBL[E]$ has an upper $p$-estimate if and only if $id_{E^*}$ is $(q,1)$-summing ($\frac{1}{p}+\frac{1}{q}=1$). We also highlight the significant differences between $FBL^{(p)}$-spaces depending on whether $p$ is finite or infinite. For example, we show that $FBL^{(\infty)}[E]$ is lattice isometric to $FBL^{(\infty)}[F]$ whenever $E$ and $F$ have monotone finite dimensional decompositions, while, on the other hand, when $p<\infty$ and $E^*$ is smooth, $FBL^{(p)}[E]$ determines $E$ isometrically.


title: iCTGAN--An Attack Mitigation Technique for Random-vector Attack on Accelerometer-based Gait Authentication Systems

abstract: A recent study showed that commonly (vanilla) studied implementations of accelerometer-based gait authentication systems ($v$ABGait) are susceptible to random-vector attack. The same study proposed a beta noise-assisted implementation ($\beta$ABGait) to mitigate the attack. In this paper, we assess the effectiveness of the random-vector attack on both $v$ABGait and $\beta$ABGait using three accelerometer-based gait datasets. In addition, we propose $i$ABGait, an alternative implementation of ABGait, which uses a Conditional Tabular Generative Adversarial Network. Then we evaluate $i$ABGait's resilience against the traditional zero-effort and random-vector attacks. The results show that $i$ABGait mitigates the impact of the random-vector attack to a reasonable extent and outperforms $\beta$ABGait in most experimental settings.


title: An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic

abstract: An efficient entailment proof system is essential to compositional verification using separation logic. Unfortunately, existing decision procedures are either inexpressive or inefficient. For example, Smallfoot is an efficient procedure but only works with hardwired lists and trees. Other procedures that can support general inductive predicates run exponentially in time as their proof search requires back-tracking to deal with a disjunction in the consequent. This paper presents a decision procedure to derive cyclic entailment proofs for general inductive predicates in polynomial time. Our procedure is efficient and does not require back-tracking; it uses normalisation rules that help avoid the introduction of disjunction in the consequent. Moreover, our decidable fragment is sufficiently expressive: It is based on compositional predicates and can capture a wide range of data structures, including sorted and nested list segments, skip lists with fast forward pointers, and binary search trees. We have implemented the proposal in a prototype tool and evaluated it over challenging problems taken from a recent separation logic competition. The experimental results confirm the efficiency of the proposed system.


title: Optimizing the Accuracy of Viscoelastic Characterization with AFM Force-Distance Experiments in the Time and Frequency Domains

abstract: We demonstrate that the method of characterizing viscoelastic materials with Atomic Force Microscopy (AFM) by fitting analytical models to force-distance (FD) curves often yields conflicting and physically unrealistic results. Because this method involves specifying a constitutive time-dependent viscoelastic model and then fitting said model to the experimental data, we show that the inconsistencies in this method are due to a lack of sensitivity of the model with respect to its parameters. Using approaches from information theory, this lack of sensitivity can be interpreted as a narrowed distribution of information which is obtained from the experiment. Furthermore, the equivalent representation of the problem in the frequency domain, achieved via modified Fourier transformation, offers an enhanced sensitivity through a widening of the information distribution. Using these distributions, we then define restrictions for the timescales which can be reliably accessed in both the time and frequency domains, which leads to the conclusion that the analysis of experiments in the time domain can frequently lead to inaccuracies. Finally, we provide an example where we use these restrictions as a guide to optimally design an experiment to characterize a polydimethylsiloxane (PDMS) polymer sample.


title: Energy-Rate-Quality Tradeoffs of State-of-the-Art Video Codecs

abstract: The adoption of video conferencing and video communication services, accelerated by COVID-19, has driven a rapid increase in video data traffic. The demand for higher resolutions and quality, the need for immersive video formats, and the newest, more complex video codecs increase the energy consumption in data centers and display devices. In this paper, we explore and compare the energy consumption across optimized state-of-the-art video codecs, SVT-AV1, VVenC/VVdeC, VP9, and x.265. Furthermore, we align the energy usage with various objective quality metrics and the compression performance for a set of video sequences across different resolutions. The results indicate that from the tested codecs and configurations, SVT-AV1 provides the best tradeoff between energy consumption and quality. The reported results aim to serve as a guide towards sustainable video streaming while not compromising the quality of experience of the end user.


title: Raman spectroscopic characterization of crater walls formed upon single-shot high energy femtosecond laser irradiation of dimethacrylate polymer doped with plasmonic gold nanorods

abstract: The bonding configuration of the crater walls formed in urethane dimethacrylate-based polymer doped with plasmonic gold nanorods upon irradiation with a single-shot high-energy femtosecond laser pulse has been studied by Raman spectroscopy. New Raman bands were detected in the 2000-2500 cm-1 region of the Raman spectrum the intensities of which showed strong dependence on the concentration of the plasmonic nanoparticles and the energy of the laser pulse. Based on model calculations of the Raman frequencies of the polymer these peaks were attributed to carbon-deuterium and nitrogen-deuterium vibrations. Their appearance might indicate the occurrence of nuclear reactions in the polymer excited by the ultra-strong laser field amplified by the plasmonic nanoparticles.


title: Does Wikidata Support Analogical Reasoning?

abstract: Analogical reasoning methods have been built over various resources, including commonsense knowledge bases, lexical resources, language models, or their combination. While the wide coverage of knowledge about entities and events make Wikidata a promising resource for analogical reasoning across situations and domains, Wikidata has not been employed for this task yet. In this paper, we investigate whether the knowledge in Wikidata supports analogical reasoning. Specifically, we study whether relational knowledge is modeled consistently in Wikidata, observing that relevant relational information is typically missing or modeled in an inconsistent way. Our further experiments show that Wikidata can be used to create data for analogy classification, but this requires much manual effort. To facilitate future work that can support analogies, we discuss key desiderata, and devise a set of metrics to guide an automatic method for extracting analogies from Wikidata.


title: Optimization for Robustness Evaluation beyond $\ell_p$ Metrics

abstract: Empirical evaluation of deep learning models against adversarial attacks entails solving nontrivial constrained optimization problems. Popular algorithms for solving these constrained problems rely on projected gradient descent (PGD) and require careful tuning of multiple hyperparameters. Moreover, PGD can only handle $\ell_1$, $\ell_2$, and $\ell_\infty$ attack models due to the use of analytical projectors. In this paper, we introduce a novel algorithmic framework that blends a general-purpose constrained-optimization solver PyGRANSO, With Constraint-Folding (PWCF), to add reliability and generality to robustness evaluation. PWCF 1) finds good-quality solutions without the need of delicate hyperparameter tuning, and 2) can handle general attack models, e.g., general $\ell_p$ ($p \geq 0$) and perceptual attacks, which are inaccessible to PGD-based algorithms.


title: Microwave probe sensing location for Venturi-based real-time multiphase flowmeter

abstract: Real-time in-line interpretation of liquid properties is important for multiphase flow measurements. Therefore, it would be desirable to have a sensor, such as a microwave sensor, which can continuously measure the salinity of a flow. In addition to salinity measurement, the microwave sensor can also measure water fraction, which is required for a multiphase flowmeter based on single-energy gamma-ray attenuation; however, choosing a suitable probe sensing location for a microwave salinity sensor in a multiphase flowmeter can be challenging, as the sensor needs to be located at near-wall liquid-rich region to accommodate a wide range of flow conditions. Currently, a microwave sensor is installed in the lower area of a horizontal blind-tee inlet spool of a multiphase flowmeter for salinity measurement. Integrating the microwave sensor into the vertically mounted multiphase flowmeter can reduce the flowmeter (carbon) footprint and manufacturing costs and can improve water-to-liquid ratio measurement due to faster local oil-water mixing. The associated challenge is that the sensor needs to be located at near-wall liquid-rich region to accommodate a wide range of flow conditions, including high gas-volume-fraction flows, where the near-wall liquid layer present in the vertical pipe is usually very thin. In this study, computational fluid dynamics modeling is used to evaluate the suitability of four different sensing locations along the vertical cross-section of a Venturi-based multiphase flowmeter based on near-wall liquid-richness. The results show that the Venturi inlet is the most suitable location for microwave sensor measurement, compared to the mid-convergence section, the mid-divergence section, and the Venturi outlet for a range of inlet liquid-volume-fractions. The findings have been validated by experimental microwave sensor measurements in a multiphase flow loop facility.


title: Inability of a graph neural network heuristic to outperform greedy algorithms in solving combinatorial optimization problems like Max-Cut

abstract: In Nature Machine Intelligence 4, 367 (2022), Schuetz et al provide a scheme to employ graph neural networks (GNN) as a heuristic to solve a variety of classical, NP-hard combinatorial optimization problems. It describes how the network is trained on sample instances and the resulting GNN heuristic is evaluated applying widely used techniques to determine its ability to succeed. Clearly, the idea of harnessing the powerful abilities of such networks to ``learn'' the intricacies of complex, multimodal energy landscapes in such a hands-off approach seems enticing. And based on the observed performance, the heuristic promises to be highly scalable, with a computational cost linear in the input size $n$, although there is likely a significant overhead in the pre-factor due to the GNN itself. However, closer inspection shows that the reported results for this GNN are only minutely better than those for gradient descent and get outperformed by a greedy algorithm, for example, for Max-Cut. The discussion also highlights what I believe are some common misconceptions in the evaluations of heuristics.

categories: cond-mat.dis-nn cs.AI cs.LG math.OC quant-ph


title: Conditional Distribution Model Specification Testing Using Chi-Square Goodness-of-Fit Tests

abstract: This paper introduces chi-square goodness-of-fit tests to check for conditional distribution model specification. The data is cross-classified according to the Rosenblatt transform of the dependent variable and the explanatory variables, resulting in a contingency table with expected joint frequencies equal to the product of the row and column marginals, which are independent of the model parameters. The test statistics assess whether the difference between observed and expected frequencies is due to chance. We propose three types of test statistics: the classical trinity of tests based on the likelihood of grouped data, and two statistics based on the efficient raw data estimator -- namely, a Chernoff-Lehmann and a generalized Wald statistic. The asymptotic distribution of these statistics is invariant to sample-dependent partitions. Monte Carlo experiments demonstrate the good performance of the proposed tests.


title: Optimin achieves super-Nash performance

abstract: Since the 1990s, AI systems have achieved superhuman performance in major zero-sum games where "winning" has an unambiguous definition. However, most social interactions are mixed-motive games, where measuring the performance of AI systems is a non-trivial task. In this paper, I propose a novel benchmark called super-Nash performance to assess the performance of AI systems in mixed-motive settings. I show that a solution concept called optimin achieves super-Nash performance in every n-person game, i.e., for every Nash equilibrium there exists an optimin where every player not only receives but also guarantees super-Nash payoffs even if the others deviate unilaterally and profitably from the optimin.


title: The effect of complex dispersion and characteristic impedance on the gain of superconducting traveling-wave kinetic inductance parametric amplifiers

abstract: Superconducting traveling-wave parametric amplifiers are a promising amplification technology suitable for applications in submillimeter astronomy. Their implementation relies on the use of Floquet transmission lines in order to create strong stopbands to suppress undesired harmonics. In the design process, amplitude equations are used to predict their gain, operation frequency, and bandwidth. However, usual amplitude equations do not take into account the real and imaginary parts of the dispersion and characteristic impedance that results from the use of Floquet lines, hindering reliable design. In order to overcome this limitation, we have used the multiple-scales method to include those effects. We demonstrate that complex dispersion and characteristic impedance have a stark effect on the transmission line's gain, even suppressing it completely in certain cases. The equations presented here can, thus, guide to a better design and understanding of the properties of this kind of amplifiers.


title: MonoNHR: Monocular Neural Human Renderer

abstract: Existing neural human rendering methods struggle with a single image input due to the lack of information in invisible areas and the depth ambiguity of pixels in visible areas. In this regard, we propose Monocular Neural Human Renderer (MonoNHR), a novel approach that renders robust free-viewpoint images of an arbitrary human given only a single image. MonoNHR is the first method that (i) renders human subjects never seen during training in a monocular setup, and (ii) is trained in a weakly-supervised manner without geometry supervision. First, we propose to disentangle 3D geometry and texture features and to condition the texture inference on the 3D geometry features. Second, we introduce a Mesh Inpainter module that inpaints the occluded parts exploiting human structural priors such as symmetry. Experiments on ZJU-MoCap, AIST, and HUMBI datasets show that our approach significantly outperforms the recent methods adapted to the monocular case.


title: Origin of degenerate bound states in the continuum in a grating waveguide: Parity symmetry breaking due to mode crossing

abstract: We explain the origin of bound states in the continuum (BICs) in a planar grating waveguide, in particular, a mechanism for formation of degenerate BICs, via the analytical theory of the infinite-grating eigenmodes. Conventional symmetry-protected BICs are formed at normal incidence mainly by a single infinite-grating eigenmode that has an odd spatial parity on both sides of the BIC resonance. The odd parity is the reason for a cutoff from the radiation-loss channel and appearance of such BICs. The mechanism of emergence of a degenerate BIC in a vicinity of a degenerate frequency of two infinite-grating eigenmodes is different. The degenerate BIC is formed by an anti-phased coherent superposition of two crossing infinite-grating eigenmodes both of which possess a mixed parity and experience parity symmetry breaking as the frequency scans through the degeneracy point. In this case a cutoff from the radiation-loss channel and extremely high-Q narrow resonance is achieved due to the destructive interference of the two crossing eigenmodes. Implementation of such a mechanism can be instructive for designing BICs in other photonic crystals and structures.


title: Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints

abstract: Control Lyapunov functions (CLFs) and control barrier functions (CBFs) are widely used tools for synthesizing controllers subject to stability and safety constraints. Paired with online optimization, they provide stabilizing control actions that satisfy input constraints and avoid unsafe regions of state-space. Designing CLFs and CBFs with rigorous performance guarantees is computationally challenging. To certify existence of control actions, current techniques not only design a CLF/CBF, but also a nominal controller. This can make the synthesis task more expensive, and performance estimation more conservative. In this work, we characterize polynomial CLFs/CBFs using sum-of-squares conditions, which can be directly certified using convex optimization. This yields a CLF and CBF synthesis technique that does not rely on a nominal controller. We then present algorithms for iteratively enlarging estimates of the stabilizable and safe regions. We demonstrate our algorithms on a 2D toy system, a pendulum and a quadrotor.


title: No Selection Lemma for Empty Triangles

abstract: Let $S$ be a set of $n$ points in general position in the plane. The Second Selection Lemma states that for any family of $\Theta(n^3)$ triangles spanned by $S$, there exists a point of the plane that lies in a constant fraction of them. For families of $\Theta(n^{3-\alpha})$ triangles, with $0\le \alpha \le 1$, there might not be a point in more than $\Theta(n^{3-2\alpha})$ of those triangles. An empty triangle of $S$ is a triangle spanned by $S$ not containing any point of $S$ in its interior. B\'ar\'any conjectured that there exist an edge spanned by $S$ that is incident to a super constant number of empty triangles of $S$. The number of empty triangles of $S$ might be $O(n^2)$; in such a case, on average, every edge spanned by $S$ is incident to a constant number of empty triangles. The conjecture of B\'ar\'any suggests that for the class of empty triangles the above upper bound might not hold. In this paper we show that, somewhat surprisingly, the above upper bound does in fact hold for empty triangles. Specifically, we show that for any integer $n$ and real number $0\leq \alpha \leq 1$ there exists a point set of size $n$ with $\Theta(n^{3-\alpha})$ empty triangles such that any point of the plane is only in $O(n^{3-2\alpha})$ empty triangles.


title: Lattice Transformation from 2-D to Quasi 1-D and Phonon Properties of Exfoliated ZrS2 and ZrSe2

abstract: We investigate the thermal properties of these Zirconium based materials using confocal Raman spectroscopy. We observed 2 different and distinctive Raman signatures for exfoliated ZrX2 (where X = S or Se). These Raman modes generally depend on the shape of the exfoliated nanosheets, regardless of the incident laser polarization. These 2 shapes are divided into 2D- ZrX2 and quasi 1D- ZrX2. For 2D- ZrX2, Raman modes are in alignment with those reported in literature. However, for quasi 1D-ZrX2, we show that Raman modes are identical to exfoliated ZrX3 nanosheets, indicating a major lattice transformation from 2D to quasi-1D. We also measure thermal properties of each resonant Raman mode for each ZrX2 shape. Based on our measurements, most Raman modes exhibit a linear downshift dependence with temperature. However, for ZrS2, we see an upshift (blueshift) with temperature for A1g mode, which is attributed to non-harmonic effects caused by dipolar coupling with IR-active modes. Moreover, the observed temperature dependence coefficient for some phonon modes of quasi 1D-ZrX2 differ dramatically, which can be caused by the quasi 1D lattice. Finally, we measure phonon dynamics under optical heating for each of 2D-ZrX2 and quasi 1D-ZrX2 and show phonon confinement in quasi 1D-ZrX2 nanosheets. We extract the thermal conductivity and the interfacial thermal conductance for each of 2D-ZrX2 and quasi 1D-ZrX2 nanosheets. Our calculations indicate lower interfacial thermal conductance for quasi 1D-ZrX2 compared to 2D-ZrX2, which can be attributed to the phonon confinement in 1D. Based on our model, we show low thermal conductivity for all ZrX2 nanosheets. Our results demonstrate exceptional thermal properties for ZrX2 materials, making them ideal for future thermal management strategies and thermoelectric device applications.


title: A deep learning approach for focal-plane wavefront sensing using vortex phase diversity

abstract: The performance of high-contrast imaging instruments is limited by wavefront errors, in particular by non-common path aberrations (NCPAs). Focal-plane wavefront sensing (FPWFS) is appropriate to handle NCPAs because it measures the aberration where it matters the most, that is to say at the science focal plane. Phase retrieval from focal-plane images results, nonetheless, in a sign ambiguity for even modes of the pupil-plane phase. The phase diversity methods currently used to solve the sign ambiguity tend to reduce the science duty cycle, that is, the fraction of observing time dedicated to science. In this work, we explore how we can combine the phase diversity provided by a vortex coronagraph with modern deep learning techniques to perform efficient FPWFS without losing observing time. We applied the state-of-the-art convolutional neural network EfficientNet-B4 to infer phase aberrations from simulated focal-plane images. The two cases of scalar and vector vortex coronagraphs (SVC and VVC) were considered using a single post-coronagraphic point spread function (PSF) or two PSFs obtained by splitting the circular polarization states, respectively. The sign ambiguity has been properly lifted in both cases even at low signal-to-noise ratios (S/Ns). Using either the SVC or the VVC, we have reached a very similar performance compared to using phase diversity with a defocused PSF, except for high levels of aberrations where the SVC slightly underperforms compared to the other approaches. The models finally show great robustness when trained on data with a wide range of wavefront errors and noise levels. The proposed FPWFS technique provides a 100% science duty cycle for instruments using a vortex coronagraph and does not require any additional hardware in the case of the SVC.