title: Entropy for incremental stability of nonlinear systems under disturbances

abstract: Entropy notions for $\varepsilon$-incremental practical stability and incremental stability of deterministic nonlinear systems under disturbances are introduced. The entropy notions are constructed via a set of points in state space which induces the desired stability properties, called an approximating set. We provide conditions on the system which ensures that the approximating set is finite. Lower and upper bounds for the two estimation entropies are computed. The construction of the finite approximating sets induces a robust state estimation algorithm for systems under disturbances using quantized and time-samples measurements.


title: Radically finite rings and space curves

abstract: We define radically finite rings and show that finite dimensional radically finite rings are Noetherian, and that if either R is a finite character Hilbert domain that contains a field of characteristic zero or a finite dimensional Prufer domain, then the polynomial ring R[X] over R is radically finite if and only if R is a Dedekind domain with torsion ideal class group. We then consider the radically finite condition on UFD and show that there does not exist a finite character UFD R of Krull dimension 2 over which the polynomial ring R[X] is radically finite. From this it follows that not all space curves are set theoretic complete intersection.


title: "Sign in with ... Privacy'': Timely Disclosure of Privacy Differences among Web SSO Login Options

abstract: The number of login options on web sites has increased since the introduction of web single sign-on (SSO) protocols. Web SSO services allow users to grant web sites or relying parties (RPs) access to their personal profile information from identity provider (IdP) accounts. Many RP sites do not provide sufficient privacy information that could help users make informed login decisions. Moreover, privacy differences in permission requests across login options are largely hidden from users and are time-consuming to manually extract and compare. In this paper, we present an empirical analysis of popular RP implementations supporting three major IdP login options (Facebook, Google, and Apple) and categorize RPs in the top 500 sites into four client-side code patterns. Informed by these RP patterns, we design and implement SSOPrivateEye (SPEye), a browser extension prototype that extracts and displays to users permission request information from SSO login options in RPs covering the three IdPs.


title: Atomic Resolution Imaging and Measurement of the Local Density of States of Graphite, Gold and Silicon using Scanning Tunnelling Microscopy

abstract: A series of experiments were conducted using the STM instrument, which involves a conducting tip probe to analyse sample surfaces by measurements of a tunnelling current. In this experiment, STM was used to (1) determine the lattice constant of Highly Oriented Pyrolytic Graphite (HOPG) by acquiring atomic resolution images of its surface, (2) measure the work functions of gold (Au) and HOPG samples using the STS mode and, (3) compare the variation of the Local Density of States (LDOS) of gold, graphite and Silicon (Si) samples with respect to bias voltage V. Experimental values of the lattice constant of HOPG and work functions for gold and graphite were determined as 0.27 +/- 0.2 nm, 0.7 +/- 0.1 eV and 0.5 +/- 0.1 eV respectively. The lattice constant deviated slightly from the literature value of 0.246 nm, whereas the work functions deviated significantly from the literature values of 5.40 eV for gold and 4.62 eV for graphite. The LDOS for gold was found to be the highest, followed by graphite, then silicon. These findings will be discussed.


title: Evolution, structure and topology of self-generated turbulent reconnection layers

abstract: We present a 3D MHD simulation of two merging flux ropes exhibiting self-generated and self-sustaining turbulent reconnection (SGTR) that is fully 3D and fast. The exploration of SGTR is crucial for understanding the relationship between MHD turbulence and magnetic reconnection in astrophysical contexts including the solar corona. We investigate the pathway towards SGTR and apply novel tools to analyse the structure and topology of the reconnection layer. The simulation proceeds from 2.5D Sweet-Parker reconnection to 2.5D nonlinear tearing, followed by a dynamic transition to a final SGTR phase that is globally quasi-stationary. The transition phase is dominated by a kink instability of a large "cat-eye" flux rope and the proliferation of a broad stochastic layer. The reconnection layer has two general characteristic thickness scales which correlate with the reconnection rate and differ by a factor of approximately six: an inner scale corresponding with current and vorticity densities, turbulent fluctuations, and outflow jets, and an outer scale associated with field line stochasticity. The effective thickness of the reconnection layer is the inner scale of the effective reconnection electric field produced by turbulent fluctuations, not the stochastic thickness. The dynamics within the reconnection layer are closely linked with flux rope structures that are highly topologically complicated. Explorations of the flux rope structures and distinctive intermediate regions between the inner core and stochastic separatrices ("SGTR wings") are potentially key to understanding SGTR. The study concludes with a discussion on the apparent dualism between plasmoid-mediated and stochastic perspectives on SGTR.


title: Fine-grain Inference on Out-of-Distribution Data with Hierarchical Classification

abstract: Machine learning methods must be trusted to make appropriate decisions in real-world environments, even when faced with out-of-distribution (OOD) samples. Many current approaches simply aim to detect OOD examples and alert the user when an unrecognized input is given. However, when the OOD sample significantly overlaps with the training data, a binary anomaly detection is not interpretable or explainable, and provides little information to the user. We propose a new model for OOD detection that makes predictions at varying levels of granularity as the inputs become more ambiguous, the model predictions become coarser and more conservative. Consider an animal classifier that encounters an unknown bird species and a car. Both cases are OOD, but the user gains more information if the classifier recognizes that its uncertainty over the particular species is too large and predicts bird instead of detecting it as OOD. Furthermore, we diagnose the classifiers performance at each level of the hierarchy improving the explainability and interpretability of the models predictions. We demonstrate the effectiveness of hierarchical classifiers for both fine- and coarse-grained OOD tasks.


title: Cal-Bridge: Creating pathways to the PhD for underrepresented students in physics and astronomy

abstract: The Cal-Bridge program connects promising juniors and seniors from underrepresented groups with STEM faculty mentors to help smooth the transition from undergraduate to graduate programs.


title: Multiscale solver for multi-component reaction-diffusion systems in heterogeneous media

abstract: Coupled nonlinear system of reaction-diffusion equations describing multi-component (species) interactions with heterogeneous coefficients is considered. Finite volume method based approximation for the space is used to construct semi-discrete form for the computation of numerical solutions. Two techniques for time approximations, namely, a fully implicit (FI) and a semi-implicit (SI) schemes are examined. The fully implicit scheme is constructed using Newton's method and leads to the coupled system of equations on each nonlinear and time iterations which is computationally rather expensive. In order to minimize the latter hurdle, an efficient and fast multiscale solver is proposed for reaction-diffusion systems in heterogeneous media. To construct fast solver, we apply a semi-implicit scheme that leads to an uncoupled system for each individual component. To reduce the size of the discrete system, we present a multiscale model reduction technique. Multiscale solver is based on the uncoupled operator of the problem and constructed by the use of Generalized Multiscale Finite Element Method (GMsFEM). In GMsFEM we use a diffusion part of the operator and construct multiscale basis functions. We collect multiscale basis functions to construct a projection/prolongation matrix and generate reduced order model on the coarse grid for fast solution. Moreover, the prolongation operator is used to reconstruct a fine-scale solution and accurate approximation of the reaction part of the problem which then leads to a very accurate and computationally effective multiscale solver. We provide numerical results for two species competition test problems in two-dimensional domain with heterogeneous inclusions. We investigate the influence of number of the multiscale basis functions to the method accuracy and ability to work with different values of the diffusion coefficients.


title: Proactive and Resilient UAV Orchestration for QoS Driven Connectivity and Coverage of Ground Users

abstract: Unmanned aerial vehicles (UAVs) are being successfully used to deliver communication services in applications such as extending the coverage of 5G cellular networks in remote areas, emergency situations, and enhancing the service quality in regions of dense user populations. While optimized placement solutions have been proposed in literature for ensuring quality of service (QoS) of users, they may not be ideal in highly mobile, autonomous, and diverse network scenarios. This paper proposes a proactive and resilient framework for distributed and dynamic orchestration of UAV small cells to provide QoS differentiation in the network. The UAV locations are tailored to end-user locations and service needs while ensuring that UAVs maintain localized backhaul connectivity. Simulation experiments show that under scenarios where physical placement can achieve service differentiation, the developed framework leads to a stable configurations of UAVs satisfying above 90% of user QoS requirements.


title: General Place Recognition Survey: Towards the Real-world Autonomy Age

abstract: Place recognition is the fundamental module that can assist Simultaneous Localization and Mapping (SLAM) in loop-closure detection and re-localization for long-term navigation. The place recognition community has made astonishing progress over the last $20$ years, and this has attracted widespread research interest and application in multiple fields such as computer vision and robotics. However, few methods have shown promising place recognition performance in complex real-world scenarios, where long-term and large-scale appearance changes usually result in failures. Additionally, there is a lack of an integrated framework amongst the state-of-the-art methods that can handle all of the challenges in place recognition, which include appearance changes, viewpoint differences, robustness to unknown areas, and efficiency in real-world applications. In this work, we survey the state-of-the-art methods that target long-term localization and discuss future directions and opportunities. We start by investigating the formulation of place recognition in long-term autonomy and the major challenges in real-world environments. We then review the recent works in place recognition for different sensor modalities and current strategies for dealing with various place recognition challenges. Finally, we review the existing datasets for long-term localization and introduce our datasets and evaluation API for different approaches. This paper can be a tutorial for researchers new to the place recognition community and those who care about long-term robotics autonomy. We also provide our opinion on the frequently asked question in robotics: Do robots need accurate localization for long-term autonomy? A summary of this work and our datasets and evaluation API is publicly available to the robotics community at: https://github.com/MetaSLAM/GPRS.


title: Magnetic impurities in a charge-ordered background

abstract: We investigate how magnetic impurities may affect a system exhibiting charge-density wave (CDW) in its ground state. We consider a disordered Hubbard-Holstein model with a homogeneous electron-phonon interaction, but with a (randomly chosen) fraction of sites displaying a non-zero Coulomb repulsion, $U$, and perform state-of-the-art finite-temperature quantum Monte Carlo simulations. For a single magnetic impurity, charge-charge correlations hamper the spin-spin ones around the repulsive site, thus requiring a strong enough value of $U$ to create non-negligible antiferromagnetic (AFM) correlations. As the number of magnetic impurities increases, these AFM correlations become deleterious to CDW order and its features. First, the critical temperature is drastically reduced, and seems to vanish around 40$\%$ of impurities (for fixed $U/\lambda=2$), which we correlate with the classical percolation threshold. We also notice that just a small amount of disorder suffices to create a \textit{bad insulating} state, with the suppression of both Peierls and spin gaps, even within the charge-ordered phase. Finally, we have also found that pairing correlations are enhanced at large doping, driven by the competition between CDW and AFM tendencies.


title: Structure Formation and the Global 21-cm Signal in the Presence of Coulomb-like Dark Matter-Baryon Interactions

abstract: Many compelling dark matter (DM) scenarios feature Coulomb-like interactions between DM particles and baryons, in which the cross section for elastic scattering scales with relative particle velocity as $v^{-4}$. Previous studies have invoked such interactions to produce heat exchange between cold DM and baryons and alter the temperature evolution of hydrogen. In this study, we present a comprehensive study of the effects of Coulomb-like scattering on structure formation, in addition to the known effects on the thermal history of hydrogen. We find that interactions which significantly alter the temperature of hydrogen at Cosmic Dawn also dramatically suppress the formation of galaxies that source the Lyman-$\alpha$ background, further affecting the global 21-cm signal. In particular, an interaction cross section at the current observational upper limit leads to a decrease in the abundance of star-forming halos by a factor of $\sim 2$ at $z\sim 20$, relative to cold, collisionless DM. We also find that DM that is 100% millicharged cannot reproduce the depth and the timing of the reported EDGES anomaly in any part of the parameter space. These results critically inform modeling of the global 21-cm signal and structure formation in cosmologies with DM-baryon scattering, with repercussions for future and upcoming cosmological data analysis.


title: On Redundant Locating-Dominating Sets

abstract: A locating-dominating set in a graph G is a subset of vertices representing "detectors" which can locate an "intruder" given that each detector covers its closed neighborhood and can distinguish its own location from its neighbors. We explore a fault-tolerant variant of locating-dominating sets called redundant locating-dominating sets, which can tolerate one detector malfunctioning (going offline or being removed). In particular, we characterize redundant locating-dominating sets and prove that the problem of determining the minimum cardinality of a redundant locating-dominating set is NP-complete. We also determine tight bounds for the minimum density of redundant locating-dominating sets in several classes of graphs including paths, cycles, ladders, k-ary trees, and the infinite hexagonal and triangular grids. We find tight lower and upper bounds on the size of minimum redundant locating-dominating sets for all trees of order $n$, and characterize the family of trees which achieve these two extremal values, along with polynomial time algorithms to classify a tree as minimum extremal or not.


title: Microrollers Flow Uphill as Granular Media

abstract: Pour sand into a container and only the grains near the top surface move. The collective motion associated with the translational and rotational energy of the grains in a thin flowing layer is quickly dissipated as friction through multibody interactions. Alternatively, consider what will happen to a bed of particles if one applies a torque to each individual particle. In this paper, we demonstrate an experimental system where torque is applied at the constituent level through a rotating magnetic field in a dense bed of microrollers. The net result is the grains roll uphill, forming a heap with a negative angle of repose. Two different regimes have been identified related to the degree of mobility or fluidization of the particles in the bulk. Velocimetry of the near surface flowing layer reveals the collective motion of these responsive particles scales in a similar way to flowing bulk granular flows. A simple granular model that includes cohesion accurately predicts the apparent negative coefficient of friction. In contrast to the response of active or responsive particles that mimic thermodynamic principles, this system results in macroscopic collective behavior that has the kinematics of a purely dissipative granular system.


title: A Close Look at a Systematic Method for Analyzing Sets of Security Advice

abstract: We carry out a detailed analysis of the security advice coding method (SAcoding) of Barrera et al. (2021), which is designed to analyze security advice in the sense of measuring actionability and categorizing advice items as practices, policies, principles, or outcomes. The main part of our analysis explores the extent to which a second coder's assignment of codes to advice items agrees with that of a first, for a dataset of 1013 security advice items nominally addressing Internet of Things devices. More broadly, we seek a deeper understanding of the soundness and utility of the SAcoding method, and the degree to which it meets the design goal of reducing subjectivity in assigning codes to security advice items. Our analysis results in suggestions for modifications to the coding tree methodology, and some recommendations. We believe the coding tree approach may be of interest for analysis of qualitative data beyond security advice datasets alone.


title: Ionization efficiency for nuclear recoils in silicon from $\sim 50$ eV to $3$ MeV

abstract: We present a model for the nuclear recoil ionization efficiency in silicon based on an extension of Lindhard's theory where atomic bond disruption is modeled as a function of the initial ion energy, the interatomic potential, and the average ion-vacancy production energy. A better description of the electronic stopping than the one assumed by Lindhard, the effect of electronic straggling, as well as charge screening and Coulomb repulsion effects of ions are also considered. The model describes the available data over nearly four orders of magnitude in nuclear recoil energy.


title: DeepSTI: Towards Tensor Reconstruction using Fewer Orientations in Susceptibility Tensor Imaging

abstract: Susceptibility tensor imaging (STI) is an emerging magnetic resonance imaging technique that characterizes the anisotropic tissue magnetic susceptibility with a second-order tensor model. STI has the potential to provide information for both the reconstruction of white matter fiber pathways and detection of myelin changes in the brain at mm resolution or less, which would be of great value for understanding brain structure and function in healthy and diseased brain. However, the application of STI in vivo has been hindered by its cumbersome and time-consuming acquisition requirement of measuring susceptibility induced MR phase changes at multiple (usually more than six) head orientations. This complexity is enhanced by the limitation in head rotation angles due to physical constraints of the head coil. As a result, STI has not yet been widely applied in human studies in vivo. In this work, we tackle these issues by proposing an image reconstruction algorithm for STI that leverages data-driven priors. Our method, called DeepSTI, learns the data prior implicitly via a deep neural network that approximates the proximal operator of a regularizer function for STI. The dipole inversion problem is then solved iteratively using the learned proximal network. Experimental results using both simulation and in vivo human data demonstrate great improvement over state-of-the-art algorithms in terms of the reconstructed tensor image, principal eigenvector maps and tractography results, while allowing for tensor reconstruction with MR phase measured at much less than six different orientations. Notably, promising reconstruction results are achieved by our method from only one orientation in human in vivo, and we demonstrate a potential application of this technique for estimating lesion susceptibility anisotropy in patients with multiple sclerosis.


title: Phase Space Reconstruction from Accelerator Beam Measurements Using Neural Networks and Differentiable Simulations

abstract: Characterizing the phase space distribution of particle beams in accelerators is a central part of accelerator understanding and performance optimization. However, conventional reconstruction-based techniques either use simplifying assumptions or require specialized diagnostics to infer high-dimensional ($>$ 2D) beam properties. In this Letter, we introduce a general-purpose algorithm that combines neural networks with differentiable particle tracking to efficiently reconstruct high-dimensional phase space distributions without using specialized beam diagnostics or beam manipulations. We demonstrate that our algorithm accurately reconstructs detailed 4D phase space distributions with corresponding confidence intervals in both simulation and experiment using a single focusing quadrupole and diagnostic screen. This technique allows for the measurement of multiple correlated phase spaces simultaneously, which will enable simplified 6D phase space distribution reconstructions in the future.


title: Squigglebot: a battery powered spherical rolling robot as a model active matter system to measure its energetics

abstract: Active matter systems use their internal or ambient source of energy and dissipate them at the scale of individual constituent particles to generate motion. Direct measurement of the energy influx for individual particles has not been achieved in the experiments. Here we present "Squigglebot" - a battery powered spherical rolling robot based on open source hardware as an artificial active matter system whose energy consumption as well as the energy dissipation into different modes of motion both can be measured experimentally. This can serve as a prototype system to study a number of interesting problems in non-equilibrium statistical physics, where details of the energetics are required.


title: Multi-Period Max Flow Network Interdiction with Restructuring for Disrupting Domestic Sex Trafficking Networks

abstract: We consider a new class of multi-period network interdiction problems, where interdiction and restructuring decisions are decided upon before the network is operated and implemented throughout the time horizon. We discuss how we apply this new problem to disrupting domestic sex trafficking networks, and introduce a variant where a second cooperating attacker has the ability to interdict victims and prevent the recruitment of prospective victims. This problem is modeled as a bilevel mixed integer linear program (BMILP), and is solved using column-and-constraint generation with partial information. We also simplify the BMILP when all interdictions are implemented before the network is operated. Modeling-based augmentations are proposed to significantly improve the solution time in a majority of instances tested. We apply our method to synthetic domestic sex trafficking networks, and discuss policy implications from our model. In particular, we show how preventing the recruitment of prospective victims may be as essential to disrupting sex trafficking as interdicting existing participants.


title: Parameterized Linear Power Flow for High Fidelity Voltage Solutions in Distribution Systems

abstract: This paper introduces a new model for highly accurate distribution voltage solutions, coined as a parameterized linear power flow model. The proffered model is grounded on a physical model of linear power flow equations, and uses learning-aided parameterization to increase the fidelity of voltage solutions over a wide range of operating points. To this end, the closed-form analytic solution of the parameterization approach is obtained via a Gaussian Process using a deliberately small input sample and without the need for recomputation. The resulting "self-adjusting" parameter is system-specific and controls how accurate the proposed power flow equations are according to loading conditions. Under a certain value of the resulting parameter, the proposed model can fully recover the linearized formulation of a specialized branch flow model for radial distribution systems, the so-called simplified DistFlow model. Numerical examples are provided to illustrate the effectiveness of the proposed model as well as the improvement in solution accuracy for voltage magnitudes over the simplified DistFlow model and several other linear power flow models, at multiple loading levels. Simulations were carried out on six small- and medium-sized test systems.


title: Online Beam Learning with Interference Nulling for Millimeter Wave MIMO Systems

abstract: Employing large antenna arrays is a key characteristic of millimeter wave (mmWave) and terahertz communication systems. Due to the hardware constraints and the lack of channel knowledge, codebook based beamforming/combining is normally adopted to achieve the desired array gain. However, most of the existing codebooks focus only on improving the gain of their target user, without taking interference into account. This can incur critical performance degradation in dense networks. In this paper, we propose a sample-efficient online reinforcement learning based beam pattern design algorithm that learns how to shape the beam pattern to null the interfering directions. The proposed approach does not require any explicit channel knowledge or any coordination with the interferers. Simulation results show that the developed solution is capable of learning well-shaped beam patterns that significantly suppress the interference while sacrificing tolerable beamforming/combing gain from the desired user. Furthermore, a hardware proof-of-concept prototype based on mmWave phased arrays is built and used to implement and evaluate the developed online beam learning solutions in realistic scenarios. The learned beam patterns, measured in an anechoic chamber, show the performance gains of the developed framework and highlight a promising machine learning based beam/codebook optimization direction for mmWave and terahertz systems.


title: A Laplace Mixture Representation of the Horseshoe and Some Implications

abstract: The horseshoe prior, defined as a half Cauchy scale mixture of normal, provides a state of the art approach to Bayesian sparse signal recovery. We provide a new representation of the horseshoe density as a scale mixture of the Laplace density, explicitly identifying the mixing measure. Using the celebrated Bernstein--Widder theorem and a result due to Bochner, our representation immediately establishes the complete monotonicity of the horseshoe density and strong concavity of the corresponding penalty. Consequently, the equivalence between local linear approximation and expectation--maximization algorithms for finding the posterior mode under the horseshoe penalized regression is established. Further, the resultant estimate is shown to be sparse.


title: Pitfalls and Guidelines for Using Time-Based Git Data

abstract: Many software engineering research papers rely on time-based data (e.g., commit timestamps, issue report creation/update/close dates, release dates). Like most real-world data however, time-based data is often dirty. To date, there are no studies that quantify how frequently such data is used by the software engineering research community, or investigate sources of and quantify how often such data is dirty. Depending on the research task and method used, including such dirty data could affect the research results. This paper presents an extended survey of papers that utilize time-based data, published in the Mining Software Repositories (MSR) conference series. Out of the 754 technical track and data papers published in MSR 2004--2021, we saw at least 290 (38%) papers utilized time-based data. We also observed that most time-based data used in research papers comes in the form of Git commits, often from GitHub. Based on those results, we then used the Boa and Software Heritage infrastructures to help identify and quantify several sources of dirty Git timestamp data. Finally we provide guidelines/best practices for researchers utilizing time-based data from Git repositories.


title: Deep Learning Based Residuals in Non-linear Factor Models: Precision Matrix Estimation of Returns with Low Signal-to-Noise Ratio

abstract: This paper introduces a consistent estimator and rate of convergence for the precision matrix of asset returns in large portfolios using a non-linear factor model within the deep learning framework. Our estimator remains valid even in low signal-to-noise ratio environments typical for financial markets and is compatible with weak factors. Our theoretical analysis establishes uniform bounds on expected estimation risk based on deep neural networks for an expanding number of assets. Additionally, we provide a new consistent data-dependent estimator of error covariance in deep neural networks. Our models demonstrate superior accuracy in extensive simulations and the empirics.


title: Mutual information for the sparse stochastic block model

abstract: We consider the problem of recovering the community structure in the stochastic block model with two communities. We aim to describe the mutual information between the observed network and the actual community structure in the sparse regime, where the total number of nodes diverges while the average degree of a given node remains bounded. Our main contributions are a conjecture for the limit of this quantity, which we express in terms of a Hamilton-Jacobi equation posed over a space of probability measures, and a proof that this conjectured limit provides a lower bound for the asymptotic mutual information. The well-posedness of the Hamilton-Jacobi equation is obtained in our companion paper. In the case when links across communities are more likely than links within communities, the asymptotic mutual information is known to be given by a variational formula. We also show that our conjectured limit coincides with this formula in this case.


title: Compiler Testing using Template Java Programs

abstract: We present JAttack, a framework that enables template-based testing for compilers. Using JAttack, a developer writes a template program that describes a set of programs to be generated and given as test inputs to a compiler. Such a framework enables developers to incorporate their domain knowledge on testing compilers, giving a basic program structure that allows for exploring complex programs that can trigger sophisticated compiler optimizations. A developer writes a template program in the host language (Java) that contains holes to be filled by JAttack. Each hole, written using a domain-specific language, constructs a node within an extended abstract syntax tree (eAST). An eAST node defines the search space for the hole, i.e., a set of expressions and values. JAttack generates programs by executing templates and filling each hole by randomly choosing expressions and values (available within the search space defined by the hole). Additionally, we introduce several optimizations to reduce JAttack's generation cost. While JAttack could be used to test various compiler features, we demonstrate its capabilities in helping test just-in-time (JIT) Java compilers, whose optimizations occur at runtime after a sufficient number of executions. Using JAttack, we have found six critical bugs that were confirmed by Oracle developers. Four of them were previously unknown, including two unknown CVEs (Common Vulnerabilities and Exposures). JAttack shows the power of combining developers' domain knowledge (via templates) with random testing to detect bugs in JIT compilers.


title: On hypercyclicity and linear chaos in a nonclassical sequence space and beyond

abstract: We analyze the hypercyclicity, chaoticity, and spectral structure of (bounded and unbounded) weighted backward shifts in a nonclassical sequence space, which the space $l_1$ of summable sequences is both isometrically isomorphic to and continuously and densely embedded into. Based on the weighted backward shifts, we further construct new bounded and unbounded linear hypercyclic and chaotic operators both in the nonclassical sequence space and the classical space $l_1$, including those that are hypercyclic but not chaotic.


title: Infinite-dimensional Hamilton-Jacobi equations for statistical inference on sparse graphs

abstract: We study the well-posedness of an infinite-dimensional Hamilton-Jacobi equation posed on the set of non-negative measures and with a monotonic non-linearity. Our results will be used in a companion work to propose a conjecture and prove partial results concerning the asymptotic mutual information in the assortative stochastic block model in the sparse regime. The equation we consider is naturally stated in terms of the Gateaux derivative of the solution, unlike previous works in which the derivative is usually of transport type. We introduce an approximating family of finite-dimensional Hamilton-Jacobi equations, and use the monotonicity of the non-linearity to show that no boundary condition needs to be prescribed to establish well-posedness. The solution to the infinite-dimensional Hamilton-Jacobi equation is then defined as the limit of these approximating solutions. In the special setting of a convex non-linearity, we also provide a Hopf-Lax variational representation of the solution.


title: Affinity-VAE for disentanglement, clustering and classification of objects in multidimensional image data

abstract: In this work we present affinity-VAE: a framework for automatic clustering and classification of objects in multidimensional image data based on their similarity. The method expands on the concept of $\beta$-VAEs with an informed similarity-based loss component driven by an affinity matrix. The affinity-VAE is able to create rotationally-invariant, morphologically homogeneous clusters in the latent representation, with improved cluster separation compared with a standard $\beta$-VAE. We explore the extent of latent disentanglement and continuity of the latent spaces on both 2D and 3D image data, including simulated biological electron cryo-tomography (cryo-ET) volumes as an example of a scientific application.


title: Dragging A Defect in a Droplet Bose-Einstein Condensate

abstract: In the present work we consider models of quantum droplets in the presence of a defect in the form of a laser beam moving through the respective condensates including the Lee-Huang-Yang correction. Our analysis features separately an exploration of the existence, stability, bifurcations and dynamics in 1D, 2D and 3D settings. In the absence of an analytical solution of the problem, we provide an analysis of the speed of sound and observe how the states traveling with the defect may feature a saddle-center bifurcation as the speed or the strength of the defect is modified. Relevant bifurcation diagrams are constructed systematically, and the unstable states, as well as the dynamics past the existence of stable states is monitored. The connection of the resulting states with dark solitonic patterns in 1D, vortical states in 2D and vortex rings in 3D is accordingly elucidated.


title: When Does A Three-Dimensional Chern-Simons-Witten Theory Have A Time Reversal Symmetry?

abstract: In this paper, we completely characterize time-reversal invariant three-dimensional Chern-Simons gauge theories with torus gauge group. At the level of the Lagrangian, toral Chern-Simons theory is defined by an integral lattice, while at the quantum level, it is entirely determined by a quadratic function on a finite Abelian group and an integer mod 24. We find that quantum time-reversally symmetric theories can be defined by classical Lagrangians defined by integral lattices which have self-perpendicular embeddings into a unimodular lattice. We find that the quantum toral Chern-Simons theory admits a time-reversal symmetry iff the higher Gauss sums of the associated modular tensor category are real. We conjecture that the reality of the higher Gauss sums is necessary and sufficient for a general non-Abelian Chern-Simons to admit quantum T-symmetry.


title: A New Framework for Quantum Oblivious Transfer

abstract: We present a new template for building oblivious transfer from quantum information that we call the "fixed basis" framework. Our framework departs from prior work (eg., Crepeau and Kilian, FOCS '88) by fixing the correct choice of measurement basis used by each player, except for some hidden trap qubits that are intentionally measured in a conjugate basis. We instantiate this template in the quantum random oracle model (QROM) to obtain simple protocols that implement, with security against malicious adversaries: 1. Non-interactive random-input bit OT in a model where parties share EPR pairs a priori. 2. Two-round random-input bit OT without setup, obtained by showing that the protocol above remains secure even if the (potentially malicious) OT receiver sets up the EPR pairs. 3. Three-round chosen-input string OT from BB84 states without entanglement or setup. This improves upon natural variations of the CK88 template that require at least five rounds. Along the way, we develop technical tools that may be of independent interest. We prove that natural functions like XOR enable seedless randomness extraction from certain quantum sources of entropy. We also use idealized (i.e. extractable and equivocal) bit commitments, which we obtain by proving security of simple and efficient constructions in the QROM.


title: The Space of Adversarial Strategies

abstract: Adversarial examples, inputs designed to induce worst-case behavior in machine learning models, have been extensively studied over the past decade. Yet, our understanding of this phenomenon stems from a rather fragmented pool of knowledge; at present, there are a handful of attacks, each with disparate assumptions in threat models and incomparable definitions of optimality. In this paper, we propose a systematic approach to characterize worst-case (i.e., optimal) adversaries. We first introduce an extensible decomposition of attacks in adversarial machine learning by atomizing attack components into surfaces and travelers. With our decomposition, we enumerate over components to create 576 attacks (568 of which were previously unexplored). Next, we propose the Pareto Ensemble Attack (PEA): a theoretical attack that upper-bounds attack performance. With our new attacks, we measure performance relative to the PEA on: both robust and non-robust models, seven datasets, and three extended lp-based threat models incorporating compute costs, formalizing the Space of Adversarial Strategies. From our evaluation we find that attack performance to be highly contextual: the domain, model robustness, and threat model can have a profound influence on attack efficacy. Our investigation suggests that future studies measuring the security of machine learning should: (1) be contextualized to the domain & threat models, and (2) go beyond the handful of known attacks used today.


title: Experiments and a User Study for Hierarchical Drawings of Graphs

abstract: We present experimental results and a user study for hierarchical drawings of graphs. A detailed hierarchical graph drawing technique that is based on the Path Based Framework (PBF) is presented. Extensive edge bundling is applied to draw all edges of the graph and the height of the drawing is minimized using compaction. The drawings produced by this framework are compared to drawings produced by the well known Sugiyama framework in terms of area, number of bends, number of crossings, and execution time. The new algorithm runs very fast and produces drawings that are readable and efficient. Since there are advantages (and disadvantages) to both frameworks, we performed a user study and the results show that the drawings produced by the new framework are well received in terms of clarity, readability, and usability. Hence, the new technique offers an interesting alternative to drawing hierarchical graphs, and is especially useful in applications where user defined paths are important and need to be highlighted.


title: The Small-Noise Limit of the Most Likely Element is the Most Likely Element in the Small-Noise Limit

abstract: In this paper, we study the Onsager-Machlup function and its relationship to the Freidlin-Wentzell function for measures equivalent to arbitrary infinite dimensional Gaussian measures. The Onsager-Machlup function can serve as a density on infinite dimensional spaces, where a uniform measure does not exist, and has been seen as the Lagrangian for the ``most likely element". The Freidlin-Wentzell rate function is the large deviations rate function for small-noise limits and has also been identified as a Lagrangian for the ``most likely element". This leads to a conundrum - what is the relationship between these two functions? We show both pointwise and $\Gamma$-convergence (which is essentially the convergence of minimizers) of the Onsager-Machlup function under the small-noise limit to the Freidlin-Wentzell function - and give an expression for both. That is, we show that the small-noise limit of the most likely element is the most likely element in the small noise limit for infinite dimensional measures that are equivalent to a Gaussian. Examples of measures include the law of solutions to path-dependent stochastic differential equations and the law of an infinite system of random algebraic equations.


title: Degrees of categoricity and treeable degrees

abstract: We give a characterization of the strong degrees of categoricity of computable structures greater or equal to $\mathbf 0''$. They are precisely the \emph{treeable} degrees -- the least degrees of paths through computable trees -- that compute $\mathbf 0''$. As a corollary, we obtain several new examples of degrees of categoricity. Among them we show that every degree $\mathbf d$ with $\mathbf 0^{(\alpha)}\leq \mathbf d\leq \mathbf 0^{(\alpha+1)}$ for $\alpha$ a computable ordinal greater than $2$ is the strong degree of categoricity of a rigid structure. Using quite different techniques we show that every degree $\mathbf d$ with $\mathbf 0'\leq \mathbf d\leq \mathbf 0''$ is the strong degree of categoricity of a structure. Together with the above example this answers a question of Csima and Ng. To complete the picture we show that there is a degree $\mathbf d$ with $\mathbf 0'< \mathbf d< \mathbf 0''$ that is not the degree of categoricity of a rigid structure.


title: PoliTO-IIT-CINI Submission to the EPIC-KITCHENS-100 Unsupervised Domain Adaptation Challenge for Action Recognition

abstract: In this report, we describe the technical details of our submission to the EPIC-Kitchens-100 Unsupervised Domain Adaptation (UDA) Challenge in Action Recognition. To tackle the domain-shift which exists under the UDA setting, we first exploited a recent Domain Generalization (DG) technique, called Relative Norm Alignment (RNA). Secondly, we extended this approach to work on unlabelled target data, enabling a simpler adaptation of the model to the target distribution in an unsupervised fashion. To this purpose, we included in our framework UDA algorithms, such as multi-level adversarial alignment and attentive entropy. By analyzing the challenge setting, we notice the presence of a secondary concurrence shift in the data, which is usually called environmental bias. It is caused by the existence of different environments, i.e., kitchens. To deal with these two shifts (environmental and temporal), we extended our system to perform Multi-Source Multi-Target Domain Adaptation. Finally, we employed distinct models in our final proposal to leverage the potential of popular video architectures, and we introduced two more losses for the ensemble adaptation. Our submission (entry 'plnet') is visible on the leaderboard and ranked in 2nd position for 'verb', and in 3rd position for both 'noun' and 'action'.


title: Gluformer: Transformer-Based Personalized Glucose Forecasting with Uncertainty Quantification

abstract: Deep learning models achieve state-of-the art results in predicting blood glucose trajectories, with a wide range of architectures being proposed. However, the adaptation of such models in clinical practice is slow, largely due to the lack of uncertainty quantification of provided predictions. In this work, we propose to model the future glucose trajectory conditioned on the past as an infinite mixture of basis distributions (i.e., Gaussian, Laplace, etc.). This change allows us to learn the uncertainty and predict more accurately in the cases when the trajectory has a heterogeneous or multi-modal distribution. To estimate the parameters of the predictive distribution, we utilize the Transformer architecture. We empirically demonstrate the superiority of our method over existing state-of-the-art techniques both in terms of accuracy and uncertainty on the synthetic and benchmark glucose data sets.


title: Control of magnetic states and spin interactions in bilayer CrCl$_{3}$ with strain and electric fields: an ab initio study

abstract: Using ab initio density functional theory (DFT), we demonstrated the possibility of controlling the magnetic ground-state properties of bilayer CrCl$_{3}$ by means of mechanical strains and electric fields. In principle, we investigated the influence of these two fields on parameters describing the spin Hamiltonian of the system. The obtained results show that biaxial strains change the magnetic ground state between ferromagnetic (FM) and antiferromagnetic (AFM) phases. The mechanical strain also affects the direction and amplitude of the uniaxial magnetic anisotropy (MAE). Importantly, the direction and amplitude of the Dzyaloshinskii-Moriya vectors are also highly tunable under external strain and electric fields. The competition between nearest neighbor interaction, MAE, and Dzyaloshinskii-Moriya interactions can lead to the stabilization of various exotic spin textures and novel magnetic excitations. The high tunability of magnetic properties by external fields makes bilayer CrCl$_{3}$ a promising candidate for application in the emerging field of two-dimensional quantum spintronics and magnonics.


title: Improving Model Training via Self-learned Label Representations

abstract: Modern neural network architectures have shown remarkable success in several large-scale classification and prediction tasks. Part of the success of these architectures is their flexibility to transform the data from the raw input representations (e.g. pixels for vision tasks, or text for natural language processing tasks) to one-hot output encoding. While much of the work has focused on studying how the input gets transformed to the one-hot encoding, very little work has examined the effectiveness of these one-hot labels. In this work, we demonstrate that more sophisticated label representations are better for classification than the usual one-hot encoding. We propose Learning with Adaptive Labels (LwAL) algorithm, which simultaneously learns the label representation while training for the classification task. These learned labels can significantly cut down on the training time (usually by more than 50%) while often achieving better test accuracies. Our algorithm introduces negligible additional parameters and has a minimal computational overhead. Along with improved training times, our learned labels are semantically meaningful and can reveal hierarchical relationships that may be present in the data.


title: Text Simplification of College Admissions Instructions: A Professionally Simplified and Verified Corpus

abstract: Access to higher education is critical for minority populations and emergent bilingual students. However, the language used by higher education institutions to communicate with prospective students is often too complex; concretely, many institutions in the US publish admissions application instructions far above the average reading level of a typical high school graduate, often near the 13th or 14th grade level. This leads to an unnecessary barrier between students and access to higher education. This work aims to tackle this challenge via text simplification. We present PSAT (Professionally Simplified Admissions Texts), a dataset with 112 admissions instructions randomly selected from higher education institutions across the US. These texts are then professionally simplified, and verified and accepted by subject-matter experts who are full-time employees in admissions offices at various institutions. Additionally, PSAT comes with manual alignments of 1,883 original-simplified sentence pairs. The result is a first-of-its-kind corpus for the evaluation and fine-tuning of text simplification systems in a high-stakes genre distinct from existing simplification resources.


title: DeID-VC: Speaker De-identification via Zero-shot Pseudo Voice Conversion

abstract: The widespread adoption of speech-based online services raises security and privacy concerns regarding the data that they use and share. If the data were compromised, attackers could exploit user speech to bypass speaker verification systems or even impersonate users. To mitigate this, we propose DeID-VC, a speaker de-identification system that converts a real speaker to pseudo speakers, thus removing or obfuscating the speaker-dependent attributes from a spoken voice. The key components of DeID-VC include a Variational Autoencoder (VAE) based Pseudo Speaker Generator (PSG) and a voice conversion Autoencoder (AE) under zero-shot settings. With the help of PSG, DeID-VC can assign unique pseudo speakers at speaker level or even at utterance level. Also, two novel learning objectives are added to bridge the gap between training and inference of zero-shot voice conversion. We present our experimental results with word error rate (WER) and equal error rate (EER), along with three subjective metrics to evaluate the generated output of DeID-VC. The result shows that our method substantially improved intelligibility (WER 10% lower) and de-identification effectiveness (EER 5% higher) compared to our baseline. Code and listening demo: https://github.com/a43992899/DeID-VC


title: Dynamics of fixed-volume pinned film -- dealing with a non-self-adjoint thin film problem

abstract: The use of thin liquid films has expanded beyond lubrication and coatings, and into applications in actuators and adaptive optical elements. In contrast to their predecessors, whose dynamics can be typically captured by modelling infinite or periodic films, these applications are characterized by a finite amount of liquid in an impermeable domain. The global mass conservation constraint, together with common boundary conditions (e.g., pinning) create quantitatively and qualitatively different dynamics than those of infinite films. Mathematically, this manifests itself as a non-self-adjoint problem. This work presents a combined theoretical and experimental study for this problem. We provide a time-dependent closed-form analytical solution for the linearized non-self-adjoint system that arises from these boundary conditions. We highlight that, in contrast to self-adjoint problems, here special care should be given to deriving the adjoint problem to reconstruct the solution based on the eigenfunctions properly. We compare these solutions with those obtained for permeable and periodic boundary conditions, representing common models for self-adjoint thin-film problems. We show that while the initial dynamics are nearly identical, the boundary conditions eventually affect the film deformation as well as its response time. To experimentally illustrate the dynamics and to validate the theoretical model, we fabricated an experimental setup that subjects a thin liquid film to a prescribed normal force distribution through dielectrophoresis, and used high-frame-rate digital holography to measure the film deformation in real-time. The experiments agree well with the model and confirm that confined films exhibit different behaviour which could not be predicted by existing models.


title: Derivation of the 1-D Groma-Balogh equations from the Peierls-Nabarro model

abstract: We consider a semi-linear integro-differential equation in dimension one associated to the half Laplacian whose solution represents the atom dislocation in a crystal. The equation comprises the evolutive version of the classical Peierls-Nabarro model. We show that for a large number of dislocations, the solution, properly rescaled, converges to the solution of a fully nonlinear integro-differential equation which is a model for the macroscopic crystal plasticity with density of dislocations. This leads to the formal derivation of the 1-D Groma-Balogh equations \cite{groma}, a popular model describing the evolution of the density of positive and negative oriented parallel straight dislocation lines. This paper completes the work of \cite{patsan}. The main novelty here is that we allow dislocations to have different orientation and so we have to deal with collisions of them.


title: An operator-based approach to topological photonics

abstract: Recently, the study of topological structures in photonics has garnered significant interest, as these systems can realize robust, non-reciprocal chiral edge states and cavity-like confined states that have applications in both linear and non-linear devices. However, current band theoretic approaches to understanding topology in photonic systems yield fundamental limitations on the classes of structures that can be studied. Here, we develop a theoretical framework for assessing a photonic structure's topology directly from its effective Hamiltonian and position operators, as expressed in real space, and without the need to calculate the system's Bloch eigenstates or band structure. Using this framework, we show that non-trivial topology, and associated boundary-localized chiral resonances, can manifest in photonic crystals with broken time-reversal symmetry that lack a complete band gap, a result which may have implications for new topological laser designs. Finally, we use our operator-based framework to develop a novel class of invariants for topology stemming from a system's crystalline symmetries, which allows for the prediction of robust localized states for creating waveguides and cavities.

categories: physics.optics cond-mat.mes-hall math-ph math.MP


title: Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information

abstract: This paper addresses a safe planning and control problem for mobile robots operating in communication- and sensor-limited dynamic environments. In this case the robots cannot sense the objects around them and must instead rely on intermittent, external information about the environment, as e.g., in underwater applications. The challenge in this case is that the robots must plan using only this stale data, while accounting for any noise in the data or uncertainty in the environment. To address this challenge we propose a compositional technique which leverages neural networks to quickly plan and control a robot through crowded and dynamic environments using only intermittent information. Specifically, our tool uses reachability analysis and potential fields to train a neural network that is capable of generating safe control actions. We demonstrate our technique both in simulation with an underwater vehicle crossing a crowded shipping channel and with real experiments with ground vehicles in communication- and sensor-limited environments.


title: The Star Formation-Gas Density Relation in Four Galactic GMCs: Effects of Stellar Feedback

abstract: We present maps of 4 galactic giant molecular clouds (GMCs) in the J=2-1 emission of both CO and $^{13}$CO. We use an LTE analysis to derive maps of the CO excitation temperature and column density and the distribution of total molecular gas column density, $\Sigma_{gas}$. The depletion of CO by freeze-out onto cold dust grains is accounted for by an approximation to the results of Lewis et al. (2021) which were derived from far-IR observations with {\it Herschel}. The surface density of young stellar objects (YSOs) is obtained from published catalogs. The mean YSO surface density exhibits a power-law dependence on $\Sigma_{gas}$, with exponents in the range 0.9 to 1.9. Gas column density probability distribution functions (PDFs) show power-law tails extending to high column densities. The distributions of sonic Mach number, $M_S$ are sharply peaked at $M_S \sim 5 - 8$ for 3 GMCs; a fourth has a broad distribution up to $M_S =30$, possibly a result of feedback effects from multiple OB stars. An analysis following the methodology of Pokhrel et al. (2021) finds that our sample of GMCs shows power-law relations that are somewhat shallower than found by Pokhrel et al. (2021) for the star formation rate vs. $<\Sigma_{gas}>$ and vs. $<\Sigma_{gas}>/t_{ff}$ in a different sample of clouds. We discuss possible differences in the two samples of star-forming clouds and the effects of stellar feedback on the relation between gas density and star formation rate.


title: Alternating Direction Method of Multipliers for Decomposable Saddle-Point Problems

abstract: Saddle-point problems appear in various settings including machine learning, zero-sum stochastic games, and regression problems. We consider decomposable saddle-point problems and study an extension of the alternating direction method of multipliers to such saddle-point problems. Instead of solving the original saddle-point problem directly, this algorithm solves smaller saddle-point problems by exploiting the decomposable structure. We show the convergence of this algorithm for convex-concave saddle-point problems under a mild assumption. We also provide a sufficient condition for which the assumption holds. We demonstrate the convergence properties of the saddle-point alternating direction method of multipliers with numerical examples on a power allocation problem in communication channels and a network routing problem with adversarial costs.


title: On divergence-free (form-bounded type) drifts

abstract: We develop regularity theory for elliptic Kolmogorov operator with divergence-free drift in a large class (or, more generally, drift having singular divergence). A key step in our proofs is "Caccioppoli's iterations", used in addition to the classical De Giorgi's iterations and Moser's method.


title: Phase field model for multi-material shape optimization of inextensible rods

abstract: We derive a model for the optimization of the bending and torsional rigidities of non-homogeneous elastic rods. This is achieved by studying a sharp interface shape optimization problem with perimeter penalization, that treats both rigidities as objectives. We then formulate a phase field approximation of the optimization problem and show the convergence to the aforementioned sharp interface model via $\Gamma$-convergence. In the final part of this work we numerically approximate minimizers of the phase field problem by using a steepest descent approach and relate the resulting optimal shapes to the development of the morphology of plant stems.


title: Spectral hypergraph sparsification via chaining

abstract: In a hypergraph on $n$ vertices where $D$ is the maximum size of a hyperedge, there is a weighted hypergraph spectral $\varepsilon$-sparsifier with at most $O(\varepsilon^{-2} \log(D) \cdot n \log n)$ hyperedges. This improves over the bound of Kapralov, Krauthgamer, Tardos and Yoshida (2021) who achieve $O(\varepsilon^{-4} n (\log n)^3)$, as well as the bound $O(\varepsilon^{-2} D^3 n \log n)$ obtained by Bansal, Svensson, and Trevisan (2019). The same sparsification result was obtained independently by Jambulapati, Liu, and Sidford (2022).


title: Spectral sets and weak tiling

abstract: A set $\Omega \subset \mathbb{R}^d$ is said to be spectral if the space $L^2(\Omega)$ admits an orthogonal basis of exponential functions. Fuglede (1974) conjectured that $\Omega$ is spectral if and only if it can tile the space by translations. While this conjecture was disproved for general sets, it was recently proved that the Fuglede conjecture does hold for the class of convex bodies in $\mathbb{R}^d$. The proof was based on a new geometric necessary condition for spectrality, called "weak tiling". In this paper we study further properties of the weak tiling notion, and present applications to convex bodies, non-convex polytopes, product domains and Cantor sets of positive measure.


title: PGAbB: A Block-Based Graph Processing Framework for Heterogeneous Platforms

abstract: Designing flexible graph kernels that can run well on various platforms is a crucial research problem due to the frequent usage of graphs for modeling data and recent architectural advances and variety. In this work, we propose a novel graph processing framework, PGAbB (Parallel Graph Algorithms by Blocks), for modern shared-memory heterogeneous platforms. Our framework implements a block-based programming model. This allows a user to express a graph algorithm using kernels that operate on subgraphs. PGAbB support graph computations that fit in host DRAM but not in GPU device memory, and provides simple but effective scheduling techniques to schedule computations to all available resources in a heterogeneous architecture. We have demonstrated that one can easily implement a diverse set of graph algorithms in our framework by developing five algorithms. Our experimental results show that PGAbB implementations achieve better or competitive performance compared to hand-optimized implementations. Based on our experiments on five graph algorithms and forty-four graphs, in the median, PGAbB achieves 1.6, 1.6, 5.7, 3.4, 4.5, and 2.4 times better performance than GAPBS, Galois, Ligra, LAGraph Galois-GPU, and Gunrock graph processing systems, respectively.


title: The orbital architecture and stability of the $\mu$ Arae planetary system

abstract: We re-analyze the global orbital architecture and dynamical stability of the $\mu$ Arae planetary system. We have updated the best-fit elements and minimal masses of the planets based on literature radial velocity (RV) measurements, now spanning 15 years. This is twice the RVs interval used for the first characterization of the system in 2006. It consists of a Saturn- and two Jupiter-mass planets in low-eccentric orbits resembling the Earth-Mars-Jupiter configuration in the Solar system, as well as the close-in warm Neptune with a mass of ~14 Earth masses. Here, we constrain this early solution with the outermost period to be accurate to one month. The best-fit Newtonian model is characterized by moderate eccentricities of the most massive planets below 0.1 with small uncertainties ~0.02. It is close but meaningfully separated from the 2e:1b mean motion resonance of the Saturn-Jupiter-like pair, but may be close to weak three-body MMRs. The system appears rigorously stable over a wide region of parameter space covering uncertainties of several $\sigma$. The system stability is robust to a five-fold increase in the minimal masses, consistent with a wide range of inclinations, from 20 to 90 deg. This means that all planetary masses are safely below the brown dwarf mass limit. We found a weak statistical indication of the likely system inclination I~20-30 deg. Given the well constrained orbital solution, we also investigate the structure of hypothetical debris disks, which are analogs of the Main Belt and Kuiper Belt, and may naturally occur in this system.


title: Evaluating the (in)accessibility of data behind papers in astronomy

abstract: This paper presents results of a survey of authors of journal articles published over several decades in astronomy. The study focuses on determining the characteristics and accessibility of data behind papers, referring to the spectrum of raw and derived data that would be needed to validate the results of a particular published article as a capsule of scientific knowledge. Curating the data behind papers can arguably lead to new discoveries through reuse. However, as shown through related research and confirmed by the results of the present study, a fully accessible portrait of the data behind papers is often unavailable. These findings have implications for reusability efforts and are presented alongside a discussion of open science.


title: On the Reliability of Funding Acknowledgements as Research Data: Evidence from Astronomy

abstract: Online bibliographic databases have enabled new research through which bibliographic records are analyzed as data about science. Within these records, the acknowledgements sections of papers are often used to draw conclusions about funding support for published research. While acknowledgements and funding statements can be informative for research and policy development, this poster adds to a body of literature that highlights limitations of funding data for scientometric and policy research, using evidence gathered from a questionnaire of authors of astronomy journal articles. The study shows that only 71.4% of a sample of authors of papers tied to NSF grants through acknowledgements reported in the survey that NSF funded the research presented in the respective papers. A brief analysis of the questionnaire followed by recommendations and considerations for further research are presented. The discrepancy in reporting appears to indicate that funding streams can be fluid and not always apparent to authors, overall raising the question of what sorts of research should be addressed with funding statements, where conceptually tying a paper directly to a grant is not straightforward.


title: Low-temperature electron mobility in doped semiconductors with high dielectric constant

abstract: We propose and study theoretically a new mechanism of electron-impurity scattering in doped seminconductors with large dielectric constant. It is based upon the idea of \textit{vector} character of deformations caused in the crystalline lattice by any point defects siting asymmetrically in the unit cell. In result, local lattice compression due to the elastic deformations decay as $1/r^2$ with distance from impurity. Electron scattering (due to standard deformation potential) on such defects leads to low-temperature mobility $\mu(n)$ scaling with electron density $n$ of the form $\mu(n) \propto n^{-2/3}$ that is close to experimental observations on a number of relevant materials.


title: Can quantum Rabi model with A^2-term avoid no-go theorem for spontaneous SUSY breaking?

abstract: The hierarchy problem asks why the mass of the Higgs particle is so much lighter than the Planck-scale mass. Considering the interaction of the Higgs particle and an elementary particle in the Planck-scale, to cope with that big difference, the conventional calculation needs the help of an arbitrary, excessive fine-tuning, that is, the huge cancellation between the bare mass term and the quantum correction, without obeying a physical principle such as symmetry. Thus, it is often said to be unnatural. On the other hand, the theory of supersymmetry (SUSY) is a strong candidate naturally to solve the hierarchy problem. However, any sign of SUSY even for the quantum mechanics (QM) version had not been firmly, directly observed in the physical reality until Cai et al. reported the observation of N=2 SUSY and its spontaneous breaking in a trapped ion quantum simulator for the prototype model for SUSY QM. In this discussion, I derive a no-go theorem for the spontaneous SUSY breaking in the strong coupling limit for the quantum Rabi model with the A^2-term, and at the same time, I show another limit proposed in the scheme by Cai et al. can avoid the no-go theorem and take that model from the N=2 SUSY to its spontaneous breaking. I propose a theoretical method to observe how the effect of A^2-term appears in the spontaneous SUSY breaking.


title: Defend Data Poisoning Attacks on Voice Authentication

abstract: With the advances in deep learning, speaker verification has achieved very high accuracy and is gaining popularity as a type of biometric authentication option in many scenes of our daily life, especially the growing market of web services. Compared to traditional passwords, "vocal passwords" are much more convenient as they relieve people from memorizing different passwords. However, new machine learning attacks are putting these voice authentication systems at risk. Without a strong security guarantee, attackers could access legitimate users' web accounts by fooling the deep neural network (DNN) based voice recognition models. In this paper, we demonstrate an easy-to-implement data poisoning attack to the voice authentication system, which can hardly be captured by existing defense mechanisms. Thus, we propose a more robust defense method, called Guardian, which is a convolutional neural network-based discriminator. The Guardian discriminator integrates a series of novel techniques including bias reduction, input augmentation, and ensemble learning. Our approach is able to distinguish about 95% of attacked accounts from normal accounts, which is much more effective than existing approaches with only 60% accuracy.


title: Encoded information of mixed correlations: the views from one dimension higher

abstract: After reviewing the JT gravity, we discuss the four saddles in the mixed correlation measures of black holes Hawking radiation in the setup of geometric evaporation of \cite{Verheijden:2021yrb}. By looking from $1d$ higher point of view and partial dimensional reduction, we examine the phase structures and the universalities for these four saddles. We also discuss the behavior of quantum error correction codes for each of these four phases, reaching to consistent results. Then, instead of dimension reduction between Einstein gravity and JT, we try to explore the connections between partition functions and saddles of $3d$ Chern-Simons and $2d$ BF theories, $2d$ Liouville and $2d$ Wess-Zumino-Witten models, and also the dimensionally reduced $1d$ Schwarzian and $1d$ particles on group. We specifically sketch on the connections between these theories in the setup of mixed correlations and island formulation.


title: Data processing makes POVMs coarser and observational entropies larger

abstract: We find a criterion to compare POVM measurements and decide which ones can extract more information from physical systems, with coarser POVMs always extracting less information. This criteria generalizes the previous definition of coarser POVM, and is motivated by the idea that information cannot be gained by processing the measurement outcomes. The information that a measurement cannot extract is quantified by observational entropy or coarse-grained entropy. Adequately, coarser measurements have larger observational entropies. Moreover, the characterization and properties of coarser measurements that we provide allow to straightforwardly derive several previously known results about observational entropy.


title: On Marcinkiewicz-Zygmund inequalities and $A_p$-weights for $L$-shape arcs

abstract: Let $\Gamma$ be an $L$-shape arc consisting of 2 line segments that meet at an angle different from $\pi$ in the complex $z$-plane $\CC$. This paper is to investigate the behavior of the polynomial interpolants at the Fej\'er points, defined by $\{z_{n,k} = \psi(e^{i(2k\pi + \theta)/(n+1)})\}$ for any choice of $\theta$. In this regard, we recall that for the interval [-1, 1], the Fej\'er points $\{z_{n,k} = \psi^*(e^{i(2k+1)\pi/(n+1)})\}$ agree with the Chebyshev points and that the Chebyshev points are most commonly used as nodes for Lagrange polynomial interpolation. On the other hand, numerical experimentation demonstrates that for a typical open $L$-shape arc $\Gamma$, the Lebesgue constants tend to $\infty$ at the rate of $O((log(n))^2)$, as the polynomial degree $n$ increases, while the $A_{p}$-weight conditions for the Fej\'er points $\{z_{n,k}\}$ do not carry over from [-1, 1] to a truly $L$-shape arc. Further numerical experiments also demonstrate that the least upper bounds of the Marcinkiewicz-Zygmund inequalities for the canonical Lagrange interpolation polynomials at $\{z_{n,k}\}$ seem to grow at the rate of $n^{\beta}$, for some $\beta >0$ that depends on $p >1$.


title: Sparsity-guided Network Design for Frame Interpolation

abstract: DNN-based frame interpolation, which generates intermediate frames from two consecutive frames, is often dependent on model architectures with a large number of features, preventing their deployment on systems with limited resources, such as mobile devices. We present a compression-driven network design for frame interpolation that leverages model pruning through sparsity-inducing optimization to greatly reduce the model size while attaining higher performance. Concretely, we begin by compressing the recently proposed AdaCoF model and demonstrating that a 10 times compressed AdaCoF performs similarly to its original counterpart, where different strategies for using layerwise sparsity information as a guide are comprehensively investigated under a variety of hyperparameter settings. We then enhance this compressed model by introducing a multi-resolution warping module, which improves visual consistency with multi-level details. As a result, we achieve a considerable performance gain with a quarter of the size of the original AdaCoF. In addition, our model performs favorably against other state-of-the-art approaches on a wide variety of datasets. We note that the suggested compression-driven framework is generic and can be easily transferred to other DNN-based frame interpolation algorithms. The source code is available at https://github.com/tding1/CDFI.


title: Computer assisted discovery: Zero forcing vs vertex cover

abstract: In this paper, we showcase the process of using an automated conjecturing program called \emph{TxGraffiti} written and maintained by the second author. We begin by proving a conjecture formulated by \emph{TxGraffiti} that for a claw-free graph $G$, the vertex cover number $\beta(G)$ is greater than or equal to the zero forcing number $Z(G)$. Our proof of this result is constructive, and yields a polynomial time algorithm to find a zero forcing set with cardinality $\beta(G)$. We also use the output of \emph{TxGraffiti} to construct several infinite families of claw-free graphs for which $Z(G)=\beta(G)$. Additionally, inspired by the aforementioned conjecture of \emph{TxGraffiti}, we also prove a more general relation between the zero forcing number and the vertex cover number for any connected graph with maximum degree $\Delta \ge 3$, namely that $Z(G)\leq (\Delta-2)\beta(G)$+1.


title: Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic

abstract: This paper presents an extension of Defeasible Deontic Logic to deal with the Pragmatic Oddity problem. The logic applies three general principles: (1) the Pragmatic Oddity problem must be solved within a general logical treatment of CTD reasoning; (2) non-monotonic methods must be adopted to handle CTD reasoning; (3) logical models of CTD reasoning must be computationally feasible and, if possible, efficient. The proposed extension of Defeasible Deontic Logic elaborates a preliminary version of the model proposed by Governatori and Rotolo (2019). The previous solution was based on particular characteristics of the (constructive, top-down) proof theory of the logic. However, that method introduces some degree of non-determinism. To avoid the problem, we provide a bottom-up characterisation of the logic. The new characterisation offers insights for the efficient implementation of the logic and allows us to establish the computational complexity of the problem.


title: Diagnosis-guided Attack Recovery for Securing Robotic Vehicles from Sensor Deception Attacks

abstract: Sensors are crucial for perception and autonomous operation in robotic vehicles (RV). Unfortunately, RV sensors can be compromised by physical attacks such as sensor tampering or spoofing. In this paper, we present DeLorean, a unified framework for attack detection, attack diagnosis, and recovering RVs from sensor deception attacks (SDA). DeLorean can recover RVs even from strong SDAs in which the adversary targets multiple heterogeneous sensors simultaneously. We propose a novel attack diagnosis technique that inspects the attack-induced errors under SDAs, and identifies the targeted sensors using causal analysis. DeLorean then uses historic state information to selectively reconstruct physical states for compromised sensors, enabling targeted attack recovery under single or multi-sensor SDAs. We evaluate DeLorean on four real and two simulated RVs under SDAs targeting various sensors, and we find that it successfully recovers RVs from SDAs in 93% of the cases.


title: Thermodynamic-Dynamic Interrelations in Glass-Forming Polymer Fluids

abstract: We utilize the lattice cluster theory (LCT) of polymer fluids to show that the configurational entropy, enthalpy, and internal energy are all closely interrelated, as suggested by recent measurements by Caruthers and Medvedev, so that the generalized entropy theory (GET) of glass formation, a combination of the LCT and Adam-Gibbs model, can be recast in terms of any of these thermodynamic properties as a matter of convenience. Thermodynamic scaling, a form of density-temperature scaling exhibited by dynamic and some thermodynamic properties, is used to assess which thermodynamic properties are most naturally linked to dynamics, and we explore the origin of this scaling by both direct calculations based on the GET and molecular dynamics simulations of a coarse-grained polymer model. Through a combination of our comprehensive modeling of thermodynamic properties using the LCT and the highly predictive GET model for how the fluid thermodynamics relate to its dynamics, along with simulation results confirming these theoretical frameworks, we obtain insights into thermodynamic aspects of collective motion and the slow $\beta$-relaxation processes of glass-forming liquids.


title: Hyperbolic Knotoids

abstract: In 2010, Turaev introduced knotoids as a variation on knots that replaces the embedding of a circle with the embedding of a closed interval with two endpoints. A variety of knot invariants have been extended to knotoids. Here we provide definitions of hyperbolicity for both spherical and planar knotoids. We prove that the product of hyperbolic spherical knotoids is hyperbolic and the volumes add. We also determine the least volume of a rational spherical knotoid and provide various classes of hyperbolic knotoids. We also include tables of hyperbolic volumes for both spherical and planar knotoids.


title: Catalysts for the hydrogen evolution reaction in alkaline medium: Configuring a cooperative mechanism at the Ag-Ag$_2$S-MoS$_2$ interface

abstract: Designing electrocatalysts for HER in alkaline conditions to overcome the sluggish kinetics associated with the additional water dissociation step is a recognized challenge in promoting the hydrogen economy. To this end, delicately tuning the atomic-scale structure and surface composition of nanoparticles is a common strategy and, specifically, making use of hybrid structures, can produce synergistic effects that lead to highly active catalysts. Here, we present a core-shell catalyst of Ag@MoS$_2$ that shows promising results towards the hydrogen evolution reaction (HER) in both 0.5 M H2SO4 and 0.5 M KOH. In this hybrid structure, the MoS$_2$ shell is strained and defective, and charge transfer occurs between the conductive core and the shell, contributing to the electrocatalytic activity. The shelling process results in a large fraction of Ag$_2$S in the cores, and adjusting the relative fractions of Ag, Ag$_2$S, and MoS$_2$ leads to improved catalytic activity and fast charge-transfer kinetics. We suggest that the enhancement of alkaline HER is associated with a cooperative effect of the interfaces, where the Ag(I) sites in Ag$_2$S drive the water dissociation step, and the formed hydrogen subsequently recombines on the defective MoS$_2$ shell. This study demonstrates the benefits of hybrid structures as functional nanomaterials and provides a scheme to activate MoS$_2$ for HER in alkaline conditions.


title: Persistent entanglement of valley exciton qubits in transition metal dichalcogenides integrated into a bimodal optical cavity

abstract: We report dissipative dynamics of two valley excitons residing in the $K$ and $K^\prime$-valleys of bare WSe$_2$ monolayer and the one being integrated into a bimodal optical cavity. In the former, only when the exciton-field detunings in the $K$ and $K^\prime$-valleys are rigorously equal (resonant detuning), partially entangled stationary states can be created. Otherwise the concurrence of exciton qubits turns to zero. Remarkably, in the latter (the WSe$_2$ monolayer in a bimodal optical cavity), the transfers of entanglement from one subsystem (exciton/light) to the other (light/exciton) take place. Hence a finite stationary concurrence of exciton qubits is always generated, independent of whether the exciton-field detuning in two valleys is resonant or non-resonant. In addition, it can even reach as high as 1 (maximally entangled state of two valley excitons). Since there no real system which has a strictly resonant detuning, an immersion of the WSe$_2$ monolayer in a bimodal optical cavity provides an opportunity to overcome the challenge facing by the bare WSe$_2$, opening a novel realm of potential qubits.


title: On the absence of bound states for a planar massless Brown-Ravenhall-type operator

abstract: We address the question of the existence of bound states for a suitably projected two-dimensional massless Dirac operator in the presence of a Bessel-Macdonald potential (also known as $K_0$-potential potential), raised by De Lima, Del Cima and Miranda, in Eur.Phys.J. B (2020) 93, 187. Based on Relativistic Hardy Inequality, we prove that this operator has no bound states if $\gamma \leqslant \gamma_{\rm crit}$ (subcritical region), where $\gamma$ is a coupling constant.

categories: hep-th cond-mat.mtrl-sci cond-mat.str-el math-ph math.MP quant-ph


title: Thermal cycling induced alteration of the stacking order and spin-flip in the room temperature van der Waals magnet Fe$_5$GeTe$_2$

abstract: The magnetic properties of the quasi-two-dimensional van der Waals magnet Fe$_{5-\delta}$GeTe$_2$ (F5GT), which has a high ferromagnetic ordering temperature $T_{\text{C}}$ $\sim$ 315 K, remains to be better understood. It has been demonstrated that the magnetization of F5GT is sensitive to both the Fe deficiency ${\delta}$ and the thermal cycling history. Here, we investigate the structural and magnetic properties of F5GT with a minimal Fe deficiency ($|{\delta}|$ $\le$ 0.1), utilizing combined x-ray and neutron scattering techniques. Our study reveals that the quenched F5GT single crystals experience an irreversible, first-order transition at $T_{\text{S}}$ $\sim$ 110 K upon first cooling, where the stacking order partly or entirely converts from ABC-stacking to AA-stacking order. Importantly, the magnetic properties, including the magnetic moment direction and the enhanced $T_{\text{C}}$ after the thermal cycling, are intimately related to the alteration of the stacking order. Our work highlights the significant influence of the lattice symmetry to the magnetism in F5GT.


title: Deep Baseline Network for Time Series Modeling and Anomaly Detection

abstract: Deep learning has seen increasing applications in time series in recent years. For time series anomaly detection scenarios, such as in finance, Internet of Things, data center operations, etc., time series usually show very flexible baselines depending on various external factors. Anomalies unveil themselves by lying far away from the baseline. However, the detection is not always easy due to some challenges including baseline shifting, lacking of labels, noise interference, real time detection in streaming data, result interpretability, etc. In this paper, we develop a novel deep architecture to properly extract the baseline from time series, namely Deep Baseline Network (DBLN). By using this deep network, we can easily locate the baseline position and then provide reliable and interpretable anomaly detection result. Empirical evaluation on both synthetic and public real-world datasets shows that our purely unsupervised algorithm achieves superior performance compared with state-of-art methods and has good practical applications.


title: The Bayan Algorithm: Detecting Communities in Networks Through Exact and Approximate Optimization of Modularity

abstract: Community detection is a classic problem in network science with extensive applications in various fields. Among numerous approaches, the most common method is modularity maximization. Despite their design philosophy and wide adoption, heuristic modularity maximization algorithms rarely return an optimal partition or anything similar. We propose a specialized algorithm, Bayan, which returns partitions with a guarantee of either optimality or proximity to an optimal partition. At the core of the Bayan algorithm is a branch-and-cut scheme that solves an integer programming formulation of the modularity maximization problem to optimality or approximate it within a factor. We compare Bayan against 30 alternative community detection methods using structurally diverse synthetic and real networks. Our results demonstrate Bayan's distinctive accuracy and stability in retrieving ground-truth communities of standard benchmark graphs. Bayan is several times faster than open-source and commercial solvers for modularity maximization making it capable of finding optimal partitions for instances that cannot be optimized by any other existing method. Overall, our assessments point to Bayan as a suitable choice for exact maximization of modularity in real networks with up to 3000 edges (in their largest connected component) and approximating maximum modularity in larger instances on ordinary computers. A Python implementation of the Bayan algorithm (the bayanpy library) is publicly available through the package installer for Python (pip).

categories: cs.SI cond-mat.stat-mech cs.DS cs.LG math.OC


title: Strong-Weak Duality via Jordan-Wigner Transformation: Using Fermionic Methods for Strongly Correlated $su(2)$ Spin Systems

abstract: The Jordan-Wigner transformation establishes a duality between $su(2)$ and fermionic algebras. We present qualitative arguments and numerical evidence that when mapping spins to fermions, the transformation makes strong correlation weaker, as demonstrated by the Hartree-Fock approximation to the transformed Hamiltonian. This result can be rationalized in terms of rank reduction of spin shift terms when transformed to fermions. Conversely, the mapping of fermions to qubits makes strong correlation stronger, complicating its solution when one uses qubit-based correlators. The presence of string operators poses challenges to the implementation of quantum chemistry methods on classical computers, but these can be dealt with using established techniques of low computational cost. Our proof of principle results for XXZ and J$_1$-J$_2$ Heisenberg (in 1D and 2D) indicate that the JW transformed fermionic Hamiltonian has reduced complexity in key regions of their phase diagrams, and provides a better starting point for addressing challenging spin problems.


title: Weak Lensing the non-Linear Ly-alpha Forest

abstract: We evaluate the performance of the Lyman-$\alpha$ forest weak gravitational lensing estimator of Metcalf et al. on forest data from hydrodynamic simulations and ray-traced simulated lensing potentials. We compare the results to those obtained from the Gaussian random field simulated Ly$\alpha$ forest data and lensing potentials used in previous work. We find that the estimator is able to reconstruct the lensing potentials from the more realistic data, and investigate dependence on spectrum signal to noise. The non-linearity and non-Gaussianity in this forest data arising from gravitational instability and hydrodynamics causes a reduction in signal to noise by a factor of $\sim2.7$ for noise free data and a factor of $\sim 1.5$ for spectra with signal to noise of order unity (comparable to current observational data). Compared to Gaussian field lensing potentials, using ray-traced potentials from N-body simulations incurs a further signal to noise reduction of a factor of $\sim1.3$ at all noise levels. The non-linearity in the forest data is also observed to increase bias in the reconstructed potentials by $5-25\%$, and the ray-traced lensing potential further increases the bias by $20-30\%$. We demonstrate methods for mitigating these issues including Gaussianization and bias correction which could be used in real observations.


title: Image Restoration under Semantic Communications

abstract: Semantic communication has emerged as the breakthrough beyond the Shannon theorem by transmitting and receiving semantic information instead of data bits or symbols regardless of its content. This paper proposes a two-stage reconstruction process to boost the system's performance. In the first phase, the image information is first decoded from the noisy received data by exploiting the channel knowledge. The decoded image is enhanced by a post-filter and image statistics. Different metrics are exploited to evaluate the image restoration quality of our considered model. Numerical results are obtained using natural images that verify the superior improvements of the proposed two-stage reconstruction process over the traditional decoded data. Moreover, the different metrics assessing the system performance based on their criteria can be conflicted with each other.


title: Exemplar-Based Radio Map Reconstruction of Missing Areas Using Propagation Priority

abstract: Radio map describes network coverage and is a practically important tool for network planning in modern wireless systems. Generally, radio strength measurements are collected to construct fine-resolution radio maps for analysis. However, certain protected areas are not accessible for measurement due to physical constraints and security considerations, leading to blanked spaces on a radio map. Non-uniformly spaced measurement and uneven observation resolution make it more difficult for radio map estimation and spectrum planning in protected areas. This work explores the distribution of radio spectrum strengths and proposes an exemplar-based approach to reconstruct missing areas on a radio map. Instead of taking generic image processing approaches, we leverage radio propagation models to determine directions of region filling and develop two different schemes to estimate the missing radio signal power. Our test results based on high-fidelity simulation demonstrate efficacy of the proposed methods for radio map reconstruction.


title: A general class of combinatorial filters that can be minimized efficiently

abstract: State minimization of combinatorial filters is a fundamental problem that arises, for example, in building cheap, resource-efficient robots. But exact minimization is known to be NP-hard. This paper conducts a more nuanced analysis of this hardness than up till now, and uncovers two factors which contribute to this complexity. We show each factor is a distinct source of the problem's hardness and are able, thereby, to shed some light on the role played by (1) structure of the graph that encodes compatibility relationships, and (2) determinism-enforcing constraints. Just as a line of prior work has sought to introduce additional assumptions and identify sub-classes that lead to practical state reduction, we next use this new, sharper understanding to explore special cases for which exact minimization is efficient. We introduce a new algorithm for constraint repair that applies to a large sub-class of filters, subsuming three distinct special cases for which the possibility of optimal minimization in polynomial time was known earlier. While the efficiency in each of these three cases previously appeared to stem from seemingly dissimilar properties, when seen through the lens of the present work, their commonality now becomes clear. We also provide entirely new families of filters that are efficiently reducible.


title: Visible Light-Driven C-C Coupling Reaction of Terminal Alkynes at Atmospheric Temperature and Pressure Reaction Conditions using Hybrid Cu2O-Pd Nanostructures

abstract: Carbon-carbon (C-C) coupling reactions are widely used reactions in the production of fine chemicals, agrochemicals, and pharmaceuticals. In our recent contribution (Green Chemistry, 2019, 21, 5284-5290), cuprous oxide (Cu2O) nanospheres are shown to be efficient catalysts for C-C coupling reactions of terminal alkynes such as phenylacetylene. Specifically, Cu2O nanospheres are shown to successfully catalyze oxidative C-C homocoupling reaction of phenylacetylene to form a coupling product, diphenyl diacetylene (DPDA). However, these Cu2O nanocatalyst requires a relatively high temperature of ~110 0C. Herein, we report that photocatalysts built on hybrid palladium nanoclusters decorated on Cu2O (i.e., Cu2O-Pd) can utilize visible light as energy input and successfully catalyze oxidative homocoupling of phenylacetylene at atmospheric temperature and pressure reaction condition. This was displayed by the comparison of oxidative homocoupling reactions both in the presence and without the presence of visible light. Our findings indicate that photocatalysts through Cu2O-Pd nanospheres present to be a logical substitute, moving toward more efficient and sustainable industrial processes.


title: Nearly optimal capture-recapture sampling and empirical likelihood weighting estimation for M-estimation with big data

abstract: Subsampling techniques can reduce the computational costs of processing big data. Practical subsampling plans typically involve initial uniform sampling and refined sampling. With a subsample, big data inferences are generally built on the inverse probability weighting (IPW), which becomes unstable when the probability weights are close to zero and cannot incorporate auxiliary information. First, we consider capture-recapture sampling, which combines an initial uniform sampling with a second Poisson sampling. Under this sampling plan, we propose an empirical likelihood weighting (ELW) estimation approach to an M-estimation parameter. Second, based on the ELW method, we construct a nearly optimal capture-recapture sampling plan that balances estimation efficiency and computational costs. Third, we derive methods for determining the smallest sample sizes with which the proposed sampling-and-estimation method produces estimators of guaranteed precision. Our ELW method overcomes the instability of IPW by circumventing the use of inverse probabilities, and utilizes auxiliary information including the size and certain sample moments of big data. We show that the proposed ELW method produces more efficient estimators than IPW, leading to more efficient optimal sampling plans and more economical sample sizes for a prespecified estimation precision. These advantages are confirmed through simulation studies and real data analyses.


title: Distances, Radial Distribution and Total Number of Galactic Supernova Remnants

abstract: We present a table of 215 SNRs with distances. New distances are found to SNR G$51.26+0.11$ of $6.6 \pm 1.7$ kpc using HI absorption spectra, and to 5 other SNRs using maser/molecular cloud associations. We recalculate the distances and errors to all SNRs using a consistent rotation curve and provide errors where they were not previously estimated. This results in a significant distance revisions for 20 SNRs. Because of observational constraints and selection effects, there to be is an apparent deficit of observed number of Galactic supernova remnants (SNRs). To investigate this, we employ two methods. The first method applies correction factors for the selection effects to derive the radial density distribution. The second method compares functional forms for the SNR surface density and selection function against the data to find which functions are consistent with the data. The total number of SNRs in the Galaxy is $\sim3500$ (Method 1) or in the range $\sim2400$ to $\sim5600$ (Method 2). We conclude that the current observed number of SNRs is not yet complete enough to give a well-determined total SNR number or radial density function.


title: Arbitrary structured quantum emission with a multifunctional imaging metalens

abstract: Structuring light emission from single-photon emitters in multiple degrees of freedom is of a great importance for quantum information processing towards higher dimensions. However, traditional control of emission from quantum light sources relies on the use of multiple bulky optical elements or nanostructured resonators with limited functionalities, constraining the potential of multi-dimensional tailoring. Here we introduce the use of an ultrathin polarisation-beam-splitting metalens for the arbitrary structuring of quantum emission at room temperature. Owing to the complete and independent polarisation and phase control at a single meta-atom level, the designed metalens enables simultaneous imaging of quantum emission from ultra-bright defects in hexagonal boron nitride and imprinting of an arbitrary wavefront onto orthogonal polarisation states of the sources. The hybrid quantum metalens enables simultaneous manipulation of multiple degrees of freedom of a quantum light source, including directionality, polarisation, and orbital angular momentum. The demonstrated arbitrary wavefront shaping of quantum emission in multiple degrees of freedom could unleash the full potential of solid-state SPEs for their use as high-dimensional quantum sources for advanced quantum photonic applications.