title: Marginally Stable Current Sheets in Collisionless Magnetic Reconnection

abstract: Non-collisional current sheets that form during the nonlinear development of magnetic reconnection are characterized by a small thickness, of the order of the electron skin depth. They can become unstable to the formation of plasmoids, which allows the magnetic reconnection process to reach high reconnection rates. In this work, we investigate the marginal stability conditions for the development of plasmoids when the forming current sheet is purely collisionless and in the presence of a strong guide field. We analyze the geometry that characterizes the reconnecting current sheet, and what promotes its elongation. Once the reconnecting current sheet is formed, we identify the regimes for which it is plasmoid unstable. Our study shows that plasmoids can be obtained, in this context, from current sheets with an aspect ratio much smaller than in the collisional regime, and that the plasma flow channel of the marginally stable current layers maintains an inverse aspect ratio of $0.1$.


title: Dispersive Shock Waves in Lattices: A Dimension Reduction Approach

abstract: Dispersive shock waves (DSWs), which connect states of different amplitude via a modulated wave train, form generically in nonlinear dispersive media subjected to abrupt changes in state. The primary tool for the analytical study of DSWs is Whitham's modulation theory. While this framework has been successfully employed in many space-continuous settings to describe DSWs, the Whitham modulation equations are virtually intractable in most spatially discrete systems. In this article, we illustrate the relevance of the reduction of the DSW dynamics to a planar ODE in a broad class of lattice examples. Solutions of this low-dimensional ODE accurately describe the orbits of the DSW in self-similar coordinates and the local averages in a manner consistent with the modulation equations. We use data-driven and quasi-continuum approaches within the context of a discrete system of conservation laws to demonstrate how the underlying low dimensional structure of DSWs can be identified and analyzed. The connection of these results to Whitham modulation theory is also discussed.


title: Proposed energy-metabolisms cannot explain the atmospheric chemistry of Venus

abstract: Life in the clouds of Venus, if present in sufficiently high abundance, must be affecting the atmospheric chemistry. It has been proposed that abundant Venusian life could obtain energy from its environment using three possible sulfur energy-metabolisms. These metabolisms raise the possibility of Venus's enigmatic cloud-layer SO$_2$-depletion being caused by life. We here couple each proposed energy-metabolism to a photochemical-kinetics code and self-consistently predict the composition of Venus's atmosphere under the scenario that life produces the observed SO$_2$-depletion. Using this photo-bio-chemical kinetics code, we show that all three metabolisms can produce SO$_2$-depletions, but do so by violating other observational constraints on Venus's atmospheric chemistry. We calculate the maximum possible biomass density of sulfur-metabolising life in the clouds, before violating observational constraints, to be $\sim10^{-5}\,-\,10^{-3}\,{\rm mg\,m^{-3}}$. The methods employed are equally applicable to aerial biospheres on Venus-like exoplanets, planets that are optimally poised for atmospheric characterisation in the near future.


title: Dynamics and steady state of squirmer motion in liquid crystal

abstract: We analyze a nonlinear PDE system describing the motion of a microswimmer in a nematic liquid crystal environment. For the microswimmer's motility, the squirmer model is used in which self-propulsion enters the model through the slip velocity on the microswimmer's surface. The liquid crystal is described using the well-established Beris-Edwards formulation. In previous computational studies, it was shown that the squirmer, regardless of its initial configuration, eventually orients itself either parallel or perpendicular to the preferred orientation dictated by the liquid crystal. Furthermore, the corresponding solution of the coupled nonlinear system converges to a steady state. In this work, we rigorously establish the existence of steady state and also the finite-time existence for the time-dependent problem. Finally, using a two-scale asymptotic expansion we derive a reduced model for the collective swimming of squirmers as they reach their steady state orientation and speed.


title: Gaia Data Release 3. Summary of the variability processing and analysis

abstract: Context. Gaia has been in operations since 2014. The third Gaia data release expands from the early data release (EDR3) in 2020 by providing 34 months of multi-epoch observations that allowed us to probe, characterise and classify systematically celestial variable phenomena. Aims. We present a summary of the variability processing and analysis of the photometric and spectroscopic time series of 1.8 billion sources done for Gaia DR3. Methods. We used statistical and Machine Learning methods to characterise and classify the variable sources. Training sets were built from a global revision of major published variable star catalogues. For a subset of classes, specific detailed studies were conducted to confirm their class membership and to derive parameters that are adapted to the peculiarity of the considered class. Results. In total, 10.5 million objects are identified as variable in Gaia DR3 and have associated time series in G, GBP, and GRP and, in some cases, radial velocity time series. The DR3 variable sources subdivide into 9.5 million variable stars and 1 million Active Galactic Nuclei/Quasars. In addition, supervised classification identified 2.5 million galaxies thanks to spurious variability induced by the extent of these objects. The variability analysis output in the DR3 archive amounts to 17 tables containing a total of 365 parameters. We publish 35 types and sub-types of variable objects. For 11 variable types, additional specific object parameters are published. An overview of the estimated completeness and contamination of most variability classes is provided. Conclusions. Thanks to Gaia we present the largest whole-sky variability analysis based on coherent photometric, astrometric, and spectroscopic data. Later Gaia data releases will more than double the span of time series and the number of observations, thus allowing for an even richer catalogue in the future.

categories: astro-ph.SR astro-ph.CO astro-ph.EP astro-ph.GA astro-ph.HE astro-ph.IM


title: Image-based Treatment Effect Heterogeneity

abstract: Randomized controlled trials (RCTs) are considered the gold standard for estimating the average treatment effect (ATE) of interventions. One use of RCTs is to study the causes of global poverty -- a subject explicitly cited in the 2019 Nobel Memorial Prize awarded to Duflo, Banerjee, and Kremer "for their experimental approach to alleviating global poverty." Because the ATE is a population summary, anti-poverty experiments often seek to unpack the effect variation around the ATE by conditioning (CATE) on tabular variables such as age and ethnicity that were measured during the RCT data collection. Although such variables are key to unpacking CATE, using only such variables may fail to capture historical, geographical, or neighborhood-specific contributors to effect variation, as tabular RCT data are often only observed near the time of the experiment. In global poverty research, when the location of the experiment units is approximately known, satellite imagery can provide a window into such factors important for understanding heterogeneity. However, there is no method that specifically enables applied researchers to analyze CATE from images. In this paper, using a deep probabilistic modeling framework, we develop such a method that estimates latent clusters of images by identifying images with similar treatment effects distributions. Our interpretable image CATE model also includes a sensitivity factor that quantifies the importance of image segments contributing to the effect cluster prediction. We compare the proposed methods against alternatives in simulation; also, we show how the model works in an actual RCT, estimating the effects of an anti-poverty intervention in northern Uganda and obtaining a posterior predictive distribution over effects for the rest of the country where no experimental data was collected. We make all models available in open-source software.


title: The Cauchy problem for a class of linear degenerate evolution equation on the torus

abstract: We study, in the periodic setting, the well-posedness of the Cauchy problem associated to the operator $P(t, D_{x}, D_{t}) = D_{t} - a_{2}(t) \Delta_{x} + \sum_{j = 1}^{N} a_{1, j}(t) D_{x_{j}} + a_{0}(t)$, with $T> 0$, $t \in [0, T]$ and $a_{2}, a_{1,1}, \ldots, a_{1, N}, a_{0} \in C \left([0, T]; \mathbb{C} \right)$. Using Fourier analysis techniques, we obtain a complete characterization for the well-posedness of a class of degenerate initial-value problems in the Sobolev, Smooth, Gevrey and Real-analytic frameworks.


title: A Relative Church-Turing-Deutsch Thesis from Special Relativity and Undecidability

abstract: Beginning with Turing's seminal work in 1950, artificial intelligence proposes that consciousness can be simulated by a Turing machine. This implies a potential theory of everything where the universe is a simulation on a computer, which begs the question of whether we can prove we exist in a simulation. In this work, we construct a relative model of computation where a computable \textit{local} machine is simulated by a \textit{global}, classical Turing machine. We show that the problem of the local machine computing \textbf{simulation properties} of its global simulator is undecidable in the same sense as the Halting problem. Then, we show that computing the time, space, or error accumulated by the global simulator are simulation properties and therefore are undecidable. These simulation properties give rise to special relativistic effects in the relative model which we use to construct a relative Church-Turing-Deutsch thesis where a global, classical Turing machine computes quantum mechanics for a local machine with the same constant-time local computational complexity as experienced in our universe.


title: GraphMLP: A Graph MLP-Like Architecture for 3D Human Pose Estimation

abstract: Modern multi-layer perceptron (MLP) models have shown competitive results in learning visual representations without self-attention. However, existing MLP models are not good at capturing local details and lack prior knowledge of human body configurations, which limits their modeling power for skeletal representation learning. To address these issues, we propose a simple yet effective graph-reinforced MLP-Like architecture, named GraphMLP, that combines MLPs and graph convolutional networks (GCNs) in a global-local-graphical unified architecture for 3D human pose estimation. GraphMLP incorporates the graph structure of human bodies into an MLP model to meet the domain-specific demand of the 3D human pose, while allowing for both local and global spatial interactions. Furthermore, we propose to flexibly and efficiently extend the GraphMLP to the video domain and show that complex temporal dynamics can be effectively modeled in a simple way with negligible computational cost gains in the sequence length. To the best of our knowledge, this is the first MLP-Like architecture for 3D human pose estimation in a single frame and a video sequence. Extensive experiments show that the proposed GraphMLP achieves state-of-the-art performance on two datasets, i.e., Human3.6M and MPI-INF-3DHP. Code and models are available at https://github.com/Vegetebird/GraphMLP.


title: Repro Samples Method for Finite- and Large-Sample Inferences

abstract: This article presents a novel, general, and effective simulation-inspired approach, called {\it repro samples method}, to conduct statistical inference. The approach studies the performance of artificial samples, referred to as {\it repro samples}, obtained by mimicking the true observed sample to achieve uncertainty quantification and construct confidence sets for parameters of interest with guaranteed coverage rates. Both exact and asymptotic inferences are developed. An attractive feature of the general framework developed is that it does not rely on the large sample central limit theorem and is likelihood-free. As such, it is thus effective for complicated inference problems which we can not solve using the large sample central limit theorem. The proposed method is applicable to a wide range of problems, including many open questions where solutions were previously unavailable, for example, those involving discrete or non-numerical parameters. To reduce the large computational cost of such inference problems, we develop a unique matching scheme to obtain a data-driven candidate set. Moreover, we show the advantages of the proposed framework over the classical Neyman-Pearson framework. We demonstrate the effectiveness of the proposed approach on various models throughout the paper and provide a case study that addresses an open inference question on how to quantify the uncertainty for the unknown number of components in a normal mixture model. To evaluate the empirical performance of our repro samples method, we conduct simulations and study real data examples with comparisons to existing approaches. Although the development pertains to the settings where the large sample central limit theorem does not apply, it also has direct extensions to the cases where the central limit theorem does hold.


title: Symbolic Regression in Materials Science: Discovering Interatomic Potentials from Data

abstract: Particle-based modeling of materials at atomic scale plays an important role in the development of new materials and understanding of their properties. The accuracy of particle simulations is determined by interatomic potentials, which allow to calculate the potential energy of an atomic system as a function of atomic coordinates and potentially other properties. First-principles-based ab initio potentials can reach arbitrary levels of accuracy, however their aplicability is limited by their high computational cost. Machine learning (ML) has recently emerged as an effective way to offset the high computational costs of ab initio atomic potentials by replacing expensive models with highly efficient surrogates trained on electronic structure data. Among a plethora of current methods, symbolic regression (SR) is gaining traction as a powerful "white-box" approach for discovering functional forms of interatomic potentials. This contribution discusses the role of symbolic regression in Materials Science (MS) and offers a comprehensive overview of current methodological challenges and state-of-the-art results. A genetic programming-based approach for modeling atomic potentials from raw data (consisting of snapshots of atomic positions and associated potential energy) is presented and empirically validated on ab initio electronic structure data.


title: Hate Speech and Counter Speech Detection: Conversational Context Does Matter

abstract: Hate speech is plaguing the cyberspace along with user-generated content. This paper investigates the role of conversational context in the annotation and detection of online hate and counter speech, where context is defined as the preceding comment in a conversation thread. We created a context-aware dataset for a 3-way classification task on Reddit comments: hate speech, counter speech, or neutral. Our analyses indicate that context is critical to identify hate and counter speech: human judgments change for most comments depending on whether we show annotators the context. A linguistic analysis draws insights into the language people use to express hate and counter speech. Experimental results show that neural networks obtain significantly better results if context is taken into account. We also present qualitative error analyses shedding light into (a) when and why context is beneficial and (b) the remaining errors made by our best model when context is taken into account.


title: Look, Radiate, and Learn: Self-Supervised Localisation via Radio-Visual Correspondence

abstract: Next generation cellular networks will implement radio sensing functions alongside customary communications, thereby enabling unprecedented worldwide sensing coverage outdoors. Deep learning has revolutionised computer vision but has had limited application to radio perception tasks, in part due to lack of systematic datasets and benchmarks dedicated to the study of the performance and promise of radio sensing. To address this gap, we present MaxRay: a synthetic radio-visual dataset and benchmark that facilitate precise target localisation in radio. We further propose to learn to localise targets in radio without supervision by extracting self-coordinates from radio-visual correspondence. We use such self-supervised coordinates to train a radio localiser network. We characterise our performance against a number of state-of-the-art baselines. Our results indicate that accurate radio target localisation can be automatically learned from paired radio-visual data without labels, which is important for empirical data. This opens the door for vast data scalability and may prove key to realising the promise of robust radio sensing atop a unified communication-perception cellular infrastructure. Dataset will be hosted on IEEE DataPort.


title: Model metrics for quantum black hole evolution: Gravitational collapse, singularity resolution, and transient horizons

abstract: It is widely accepted that curvature singularity resolution should be a feature of quantum gravity. We present a class of time-dependent asymptotically flat spherically symmetric metrics that model gravitational collapse in quantum gravity. The metrics capture intuitions associated with the dynamics of singularity resolution, and horizon formation and evaporation following a matter bounce. A parameter in the metric associated with the speed of the bounce determines black hole lifetime as a power of its mass; this includes the Hawking evaporation time $M^{3}$.


title: Provably Efficient Offline Reinforcement Learning with Trajectory-Wise Reward

abstract: The remarkable success of reinforcement learning (RL) heavily relies on observing the reward of every visited state-action pair. In many real world applications, however, an agent can observe only a score that represents the quality of the whole trajectory, which is referred to as the {\em trajectory-wise reward}. In such a situation, it is difficult for standard RL methods to well utilize trajectory-wise reward, and large bias and variance errors can be incurred in policy evaluation. In this work, we propose a novel offline RL algorithm, called Pessimistic vAlue iteRaTion with rEward Decomposition (PARTED), which decomposes the trajectory return into per-step proxy rewards via least-squares-based reward redistribution, and then performs pessimistic value iteration based on the learned proxy reward. To ensure the value functions constructed by PARTED are always pessimistic with respect to the optimal ones, we design a new penalty term to offset the uncertainty of the proxy reward. For general episodic MDPs with large state space, we show that PARTED with overparameterized neural network function approximation achieves an $\tilde{\mathcal{O}}(D_{\text{eff}}H^2/\sqrt{N})$ suboptimality, where $H$ is the length of episode, $N$ is the total number of samples, and $D_{\text{eff}}$ is the effective dimension of the neural tangent kernel matrix. To further illustrate the result, we show that PARTED achieves an $\tilde{\mathcal{O}}(dH^3/\sqrt{N})$ suboptimality with linear MDPs, where $d$ is the feature dimension, which matches with that with neural network function approximation, when $D_{\text{eff}}=dH$. To the best of our knowledge, PARTED is the first offline RL algorithm that is provably efficient in general MDP with trajectory-wise reward.


title: A Multi-purpose Realistic Haze Benchmark with Quantifiable Haze Levels and Ground Truth

abstract: Imagery collected from outdoor visual environments is often degraded due to the presence of dense smoke or haze. A key challenge for research in scene understanding in these degraded visual environments (DVE) is the lack of representative benchmark datasets. These datasets are required to evaluate state-of-the-art vision algorithms (e.g., detection and tracking) in degraded settings. In this paper, we address some of these limitations by introducing the first realistic hazy image benchmark, from both aerial and ground view, with paired haze-free images, and in-situ haze density measurements. This dataset was produced in a controlled environment with professional smoke generating machines that covered the entire scene, and consists of images captured from the perspective of both an unmanned aerial vehicle (UAV) and an unmanned ground vehicle (UGV). We also evaluate a set of representative state-of-the-art dehazing approaches as well as object detectors on the dataset. The full dataset presented in this paper, including the ground truth object classification bounding boxes and haze density measurements, is provided for the community to evaluate their algorithms at: https://a2i2-archangel.vision. A subset of this dataset has been used for the ``Object Detection in Haze'' Track of CVPR UG2 2022 challenge at http://cvpr2022.ug2challenge.org/track1.html.


title: VSC-WebGPU: A Selenium-based VS Code Extension For Local Edit And Cloud Compilation on WebGPU

abstract: With the rapid development of information transmission, Software as a Service (SaaS) is developing at a rapid speed that everything originally local tends to be transplanted onto servers and executed on the cloud. WebGPU is such a SaaS system that it holds the GPU-equipped server to execute students' CUDA code and releases the RESTful front-end website for students to write their code on. However, programming on an HTML-based interface is not satisfactory due to a lack of syntax highlighting and automatic keyword complement. On the other side, Visual Studio Code is now becoming the most popular programming interface due to its strong community and eclectic functionalities. Thus, we propose such a system that, students write code locally using VS Code with its coding-auxiliary extensions, and push the code to WebGPU with only one button pressed using our VSC-WebGPU extension. The extension is divided into 4 parts: the login process for automatically logging the student into WebGPU, the pull process that pulls the code down to the local workspace, the push process that copies the code to the browser for compiling and running, and the exit process to exit the browser and close the connection. This 4-step architecture is also applicable for any other automated tools to push local code to authorization-required SaaS systems using Web automata.


title: Skylight: a new code for general-relativistic ray-tracing and radiative transfer in arbitrary spacetimes

abstract: To reproduce the observed spectra and light curves originated in the neighborhood of compact objects requires accurate relativistic ray-tracing codes. In this work, we present Skylight, a new numerical code for general-relativistic ray tracing and radiative transfer in arbitrary space-time geometries and coordinate systems. The code is capable of producing images, spectra, and light curves from astrophysical models of compact objects as seen by distant observers. We incorporate two different schemes, namely Monte Carlo radiative transfer, integrating geodesics from the astrophysical region to distant observers, and camera techniques with backwards integration from the observer to the emission region. The code is validated by successfully passing several test cases, among them: thin accretion disks and neutron star hot spot emission.


title: A Training Method For VideoPose3D With Ideology of Action Recognition

abstract: Action recognition and pose estimation from videos are closely related to understand human motions, but more literature focuses on how to solve pose estimation tasks alone from action recognition. This research shows a faster and more flexible training method for VideoPose3D which is based on action recognition. This model is fed with the same type of action as the type that will be estimated, and different types of actions can be trained separately. Evidence has shown that, for common pose-estimation tasks, this model requires a relatively small amount of data to carry out similar results with the original research, and for action-oriented tasks, it outperforms the original research by 4.5% with a limited receptive field size and training epoch on Velocity Error of MPJPE. This model can handle both action-oriented and common pose-estimation problems.


title: Hyperbolic actions of higher-rank lattices come from rank-one factors

abstract: We study actions of higher rank lattices $\Gamma<G$ on hyperbolic spaces, and we show that all such actions satisfying mild properties come from the rank-one factors of $G$. In particular, all non-elementary actions on an unbounded hyperbolic space are of this type. Our results also apply to lattices in products of trees, so that for example Burger--Mozes groups have exactly two non-elementary actions on a hyperbolic space, up to a natural equivalence.


title: Spectral Energy Distributions in Three Deep-Drilling Fields of the Vera C. Rubin Observatory Legacy Survey of Space and Time: Source Classification and Galaxy Properties

abstract: W-CDF-S, ELAIS-S1, and XMM-LSS will be three Deep-Drilling Fields (DDFs) of the Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST), but their extensive multi-wavelength data have not been fully utilized as done in the COSMOS field, another LSST DDF. To prepare for future science, we fit source spectral energy distributions (SEDs) from X-ray to far-infrared in these three fields mainly to derive galaxy stellar masses and star-formation rates. We use CIGALE v2022.0, a code that has been regularly developed and evaluated, for the SED fitting. Our catalog includes 0.8 million sources covering $4.9~\mathrm{deg^2}$ in W-CDF-S, 0.8 million sources covering $3.4~\mathrm{deg^2}$ in ELAIS-S1, and 1.2 million sources covering $4.9~\mathrm{deg^2}$ in XMM-LSS. Besides fitting normal galaxies, we also select candidates that may host active galactic nuclei (AGNs) or are experiencing recent star-formation variations and use models specifically designed for these sources to fit their SEDs; this increases the utility of our catalog for various projects in the future. We calibrate our measurements by comparison with those in well-studied smaller regions and briefly discuss the implications of our results. We also perform detailed tests of the completeness and purity of SED-selected AGNs. Our data can be retrieved from a public website.


title: Hawking radiation in multi-horizon spacetimes using Hamilton Jacobi method

abstract: It has been recently shown that the contribution between the horizons determines the Hawking temperature for a multi-horizon spacetime. In this article, we apply the Hamiltonian Jacobi method to compute the Hawking temperature for some multi-horizon spacetimes like Schwarzschild-de Sitter spacetime (SdS), Reissner-Nordstrom-de Sitter spacetime (RNdS), and rotating BTZ black hole spacetime (RBTZ) and also arrive at the same conclusion. There are two contributions to the tunneling process of radiation. The combination of these two contributions gives the radiation with the Hawking temperature with an effective surface gravity.


title: SmartGD: A GAN-Based Graph Drawing Framework for Diverse Aesthetic Goals

abstract: While a multitude of studies have been conducted on graph drawing, many existing methods only focus on optimizing a single aesthetic aspect of graph layouts, which can lead to sub-optimal results. There are a few existing methods that have attempted to develop a flexible solution for optimizing different aesthetic aspects measured by different aesthetic criteria. Furthermore, thanks to the significant advance in deep learning techniques, several deep learning-based layout methods were proposed recently. These methods have demonstrated the advantages of deep learning approaches for graph drawing. However, none of these existing methods can be directly applied to optimizing non-differentiable criteria without special accommodation. In this work, we propose a novel Generative Adversarial Network (GAN) based deep learning framework for graph drawing, called SmartGD, which can optimize different quantitative aesthetic goals, regardless of their differentiability. To demonstrate the effectiveness and efficiency of SmartGD, we conducted experiments on minimizing stress, minimizing edge crossing, maximizing crossing angle, maximizing shape-based metrics, and a combination of multiple aesthetics. Compared with several popular graph drawing algorithms, the experimental results show that SmartGD achieves good performance both quantitatively and qualitatively.


title: ICP Algorithm: Theory, Practice And Its SLAM-oriented Taxonomy

abstract: The Iterative Closest Point (ICP) algorithm is one of the most important algorithms for geometric alignment of three-dimensional surface registration, which is frequently used in computer vision tasks, including the Simultaneous Localization And Mapping (SLAM) tasks. In this paper, we illustrate the theoretical principles of the ICP algorithm, how it can be used in surface registration tasks, and the traditional taxonomy of the variants of the ICP algorithm. As SLAM is becoming a popular topic, we also introduce a SLAM-oriented taxonomy of the ICP algorithm, based on the characteristics of each type of SLAM task, including whether the SLAM task is online or not and whether the landmarks are present as features in the SLAM task. We make a synthesis of each type of SLAM task by comparing several up-to-date research papers and analyzing their implementation details.


title: Proton and neutron exchange as a prelude to fusion at near-barrier energies

abstract: Systematic examination of fusion for $^{39,41,45,47}$K + $^{28}$Si and $^{36,44}$Ar + $^{28}$Si provides insight into the impact of neutron and proton exchange on fusion for nuclei at and near the N=20 and N=28 shells. Comparison of the reduced excitation functions reveals a marked difference between the behavior of open-shell and closed-shell systems. While coupled channels calculations provide a good description for the closed-shell nuclei they significantly under-predict the fusion cross-section for open-shell nuclei. The observed trends are examined in the context of a potential energy surface, including shell effects, and multi-nucleon exchange with consideration of Pauli-blocking.


title: Distribution of Quantum Circuits Over General Quantum Networks

abstract: Near-term quantum computers can hold only a small number of qubits. One way to facilitate large-scale quantum computations is through a distributed network of quantum computers. In this work, we consider the problem of distributing quantum programs represented as quantum circuits across a quantum network of heterogeneous quantum computers, in a way that minimizes the overall communication cost required to execute the distributed circuit. We consider two ways of communicating: cat-entanglement that creates linked copies of qubits across pairs of computers, and teleportation. The heterogeneous computers impose constraints on cat-entanglement and teleportation operations that can be chosen by an algorithm. We first focus on a special case that only allows cat-entanglements and not teleportations for communication. We provide a two-step heuristic for solving this specialized setting: (i) finding an assignment of qubits to computers using Tabu search, and (ii) using an iterative greedy algorithm designed for a constrained version of the set cover problem to determine cat-entanglement operations required to execute gates locally. For the general case, which allows both forms of communication, we propose two algorithms that subdivide the quantum circuit into several portions and apply the heuristic for the specialized setting on each portion. Teleportations are then used to stitch together the solutions for each portion. Finally, we simulate our algorithms on a wide range of randomly generated quantum networks and circuits, and study the properties of their results with respect to several varying parameters.


title: Anisotropic optical conductivities of Model Topological nodal-line Semimetals

abstract: With the use of simple models, we investigated the optical conductivity of a nodal-line semimetal (NLSM) whose crossing of the conduction and valence bands near the origin ($O$ point) in the ($k_x,k_y$) plane of a small cubic region can be adjusted by a parameter $\alpha$. The Hamiltonian of the NLSM is based on the ${\bf k}\cdot {\bf p}$ model for the low-lying energy bands. When $\alpha=0$, these bands touch each other along a continuous closed loop but the opening of a band gap corresponding to finite values of $\alpha$ and the varying of the carrier concentration can be adjusted. This provides a tunable semiconductor gap, around the $O$ point and the valence and conduction bands can meet at a pair of points within the small cubic region in ${\bf k }$ space. The optical conductivity of such a NLSM is calculated using the Kubo formula with emphasis on the optical spectral weight redistribution, deduced from appropriate Green's functions, brought about by changes in gap and chemical potential due to modifying $\alpha$. We derived closed-form semi-analytic expressions for the longitudinal components of the optical conductivity for these model systems of NLSM and compare results for chosen $\alpha$ and chemical potential. We also present results for the heat capacity when the system is in thermal equilibrium for various chosen $\alpha$ and chemical potential.


title: Random band matrix localization by scalar fluctuations

abstract: We show the eigenvectors of a Gaussian random band matrix are localized when the band width is less than the 1/4 power of the matrix size. Our argument is essentially an optimized version of Schenker's proof of the 1/8 exponent.


title: An Abstract View on Optimizations in Propositional Frameworks

abstract: Search-optimization problems are plentiful in scientific and engineering domains. Artificial intelligence has long contributed to the development of search algorithms and declarative programming languages geared toward solving and modeling search-optimization problems. Automated reasoning and knowledge representation are the subfields of AI that are particularly vested in these developments. Many popular automated reasoning paradigms provide users with languages supporting optimization statements: answer set programming or MaxSAT on minone, to name a few. These paradigms vary significantly in their languages and in the ways they express quality conditions on computed solutions. Here we propose a unifying framework of so-called weight systems that eliminates syntactic distinctions between paradigms and allows us to see essential similarities and differences between optimization statements provided by paradigms. This unifying outlook has significant simplifying and explanatory potential in the studies of optimization and modularity in automated reasoning and knowledge representation. It also supplies researchers with a convenient tool for proving the formal properties of distinct frameworks; bridging these frameworks; and facilitating the development of translational solvers.


title: Reconstruction of smooth shape defects in waveguides using locally resonant frequencies

abstract: This article aims to present a new method to reconstruct slowly varying width defects in 2D waveguides using locally resonant frequencies. At these frequencies, locally resonant modes propagate in the waveguide under the form of Airy functions depending on a parameter called the locally resonant point. In this particular point, the local width of the waveguide is known and its location can be recovered from boundary measurements of the wavefield. Using the same process for different frequencies, we produce a good approximation of the width in all the waveguide. Given multi-frequency measurements taken at the surface of the waveguide, we provide a L \infty-stable explicit method to reconstruct the width of the waveguide. We finally validate our method on numerical data, and we discuss its applications and limits.


title: Extremal weights and a tameness criterion for mod $p$ Galois representations

abstract: We study the weight part of Serre's conjecture for generic $n$-dimensional mod $p$ Galois representations. We first generalize Herzig's conjecture to the case where the field is ramified at $p$ and prove the weight elimination direction of our conjecture. We then introduce a new class of weights associated to $n$-dimensional local mod $p$ representations which we call \emph{extremal weights}. Using a ``Levi reduction" property of certain potentially crystalline Galois deformation spaces, we prove the modularity of these weights. As a consequence, we deduce the weight part of Serre's conjecture for unit groups of some division algebras in generic situations.


title: The impact of NFT profile pictures within social network communities

abstract: This paper presents an analysis of the role of social media, specifically Twitter, in the context of non-fungible tokens, better known as NFTs. Such emerging technology framing the creation and exchange of digital object, started years ago with early projects such as "CryptoPunks" and since early 2021, has received an increasing interest by a community of people creating, buying, selling NFT's and by the media reporting to the general public. In this work it is shown how the landscape of one class of projects, specifically those used as social media profile pictures, has become mainstream with leading projects such as "Bored Ape Yacht Club", "Cool Cats" and "Doodles". This work illustrates how heterogeneous data was collected from the Ethereum blockchain and Twitter and then analysed using algorithms and state-of-art metrics related to graphs. The initial results show that from a social network perspective, the collections of most popular NFTs can be considered as a single community around NFTs. Thus, while each project has its own value and volume of exchange, on a social level all of them are primarily influenced by the evolution of values and trades of "Bored Ape Yacht Club" collection.


title: A method for comparing multiple imputation techniques: a case study on the U.S. National COVID Cohort Collaborative

abstract: Healthcare datasets obtained from Electronic Health Records have proven to be extremely useful to assess associations between patients' predictors and outcomes of interest. However, these datasets often suffer from missing values in a high proportion of cases and the simple removal of these cases may introduce severe bias. For these reasons, several multiple imputation algorithms have been proposed to attempt to recover the missing information. Each algorithm presents strengths and weaknesses, and there is currently no consensus on which multiple imputation algorithms works best in a given scenario. Furthermore, the selection of each algorithm parameters and data-related modelling choices are also both crucial and challenging. In this paper, we propose a novel framework to numerically evaluate strategies for handling missing data in the context of statistical analysis, with a particular focus on multiple imputation techniques. We demonstrate the feasibility of our approach on a large cohort of type-2 diabetes patients provided by the National COVID Cohort Collaborative (N3C) Enclave, where we explored the influence of various patient characteristics on outcomes related to COVID-19. Our analysis included classic multiple imputation techniques as well as simple complete-case Inverse Probability Weighted models. The experiments presented here show that our approach could effectively highlight the most valid and performant missing-data handling strategy for our case study. Moreover, our methodology allowed us to gain an understanding of the behavior of the different models and of how it changed as we modified their parameters. Our method is general and can be applied to different research fields and on datasets containing heterogeneous types.


title: Fitting Segmentation Networks on Varying Image Resolutions using Splatting

abstract: Data used in image segmentation are not always defined on the same grid. This is particularly true for medical images, where the resolution, field-of-view and orientation can differ across channels and subjects. Images and labels are therefore commonly resampled onto the same grid, as a pre-processing step. However, the resampling operation introduces partial volume effects and blurring, thereby changing the effective resolution and reducing the contrast between structures. In this paper we propose a splat layer, which automatically handles resolution mismatches in the input data. This layer pushes each image onto a mean space where the forward pass is performed. As the splat operator is the adjoint to the resampling operator, the mean-space prediction can be pulled back to the native label space, where the loss function is computed. Thus, the need for explicit resolution adjustment using interpolation is removed. We show on two publicly available datasets, with simulated and real multi-modal magnetic resonance images, that this model improves segmentation results compared to resampling as a pre-processing step.


title: Multiband Massive IoT: A Learning Approach to Infrastructure Deployment

abstract: We consider a novel ultra-narrowband (UNB) low-power wide-area network (LPWAN) architecture design for uplink transmission of a massive number of Internet of Things (IoT) devices over multiple multiplexing bands. An IoT device can randomly choose any of the multiplexing bands to transmit its packet. Due to hardware constraints, a base station (BS) is able to listen to only one multiplexing band. Our main objective is to maximize the packet decoding probability (PDP) by optimizing the placement of the BSs and frequency assignment of BSs to multiplexing bands. We develop two online approaches that adapt to the environment based on the statistics of (un)successful packets at the BSs. The first approach is based on a predefined model of the environment, while the second approach is measurement-based model-free approach, which is applicable to any environment. The benefit of the model-based approach is a lower training complexity, at the risk of a poor fit in a model-incompatible environment. The simulation results show that our proposed approaches to band assignment and BS placement offer significant improvement in PDP over baseline random approaches and perform closely to the theoretical upper bound.


title: Searches for Continuous-Wave Gravitational Radiation

abstract: Now that detection of gravitational wave signals from the coalescence of extra-galactic compact binary star mergers has become nearly routine, it is intriguing to consider other potential gravitational wave signatures. Here we examine the prospects for discovery of continuous gravitational waves from fast-spinning neutron stars in our own galaxy and from more exotic sources. Potential continuous-wave sources are reviewed, search methodologies and results presented and prospects for imminent discovery discussed.


title: Assessing Privacy Leakage in Synthetic 3-D PET Imaging using Transversal GAN

abstract: Training computer-vision related algorithms on medical images for disease diagnosis or image segmentation is difficult in large part due to privacy concerns. For this reason, generative image models are highly sought after to facilitate data sharing. However, 3-D generative models are understudied, and investigation of their privacy leakage is needed. We introduce our 3-D generative model, Transversal GAN (TrGAN), using head & neck PET images which are conditioned on tumour masks as a case study. We define quantitative measures of image fidelity, utility and privacy for our model. These metrics are evaluated in the course of training to identify ideal fidelity, utility and privacy trade-offs and establish the relationships between these parameters. We show that the discriminator of the TrGAN is vulnerable to attack, and that an attacker can identify which samples were used in training with almost perfect accuracy (AUC = 0.99). We also show that an attacker with access to only the generator cannot reliably classify whether a sample had been used for training (AUC = 0.51). This suggests that TrGAN generators, but not discriminators, may be used for sharing synthetic 3-D PET data with minimal privacy risk while maintaining good utility and fidelity.


title: Smooth rigidity for higher dimensional contact Anosov flows

abstract: We apply the matching functions technique in the setting of contact Anosov flows which satisfy a bunching assumption. This allows us to generalize the 3-dimensional rigidity result of Feldman-Ornstein~\cite{FO}. Namely, we show that if two such Anosov flows are $C^0$ conjugate then they are $C^{r}$, conjugate for some $r\in[1,2)$ or even $C^\infty$ conjugate under some additional assumptions. This, for example, applies to $1/4$-pinched geodesic flows on compact Riemannian manifolds of negative sectional curvature. We can also use our result to recover Hamendst\"adt's marked length spectrum rigidity result for real hyperbolic manifolds.


title: On several properties of uniformly optimal search plans

abstract: The uniformly optimal search plan is a cornerstone of the optimal search theory. It is well-known that when the target distribution is circular normal and the detection function is exponential, the uniformly search plan has several desirable properties. This article establishes that these properties hold for any continuous target distribution. The results provide useful information to the search team when they need to choose a non-circular normal target distribution in a real-world search mission.


title: The Kolmogorov Infinite Dimensional Equation in a Hilbert space Via Deep Learning Methods

abstract: We consider the nonlinear Kolmogorov equation posed in a Hilbert space $H$, not necessarily of finite dimension. This model was recently studied by Cox et al. [24] in the framework of weak convergence rates of stochastic wave models. Here, we propose a complementary approach by providing an infinite-dimensional Deep Learning method to approximate suitable solutions of this model. Based in the work by Hure, Pham and Warin [45] concerning the finite dimensional case, and our previous work [20] dealing with L\'evy based processes, we generalize an Euler scheme and consistency results for the Forward Backward Stochastic Differential Equations to the infinite dimensional Hilbert valued case. Since our framework is general, we require the recently developed DeepOnets neural networks [21, 51] to describe in detail the approximation procedure. Also, the framework developed by Fuhrman and Tessitore [35] to fully describe the stochastic approximations will be adapted to our setting


title: Asymptotics of smoothed Wasserstein distances in the small noise regime

abstract: We study the behavior of the Wasserstein-$2$ distance between discrete measures $\mu$ and $\nu$ in $\mathbb{R}^d$ when both measures are smoothed by small amounts of Gaussian noise. This procedure, known as Gaussian-smoothed optimal transport, has recently attracted attention as a statistically attractive alternative to the unregularized Wasserstein distance. We give precise bounds on the approximation properties of this proposal in the small noise regime, and establish the existence of a phase transition: we show that, if the optimal transport plan from $\mu$ to $\nu$ is unique and a perfect matching, there exists a critical threshold such that the difference between $W_2(\mu, \nu)$ and the Gaussian-smoothed OT distance $W_2(\mu \ast \mathcal{N}_\sigma, \nu\ast \mathcal{N}_\sigma)$ scales like $\exp(-c /\sigma^2)$ for $\sigma$ below the threshold, and scales like $\sigma$ above it. These results establish that for $\sigma$ sufficiently small, the smoothed Wasserstein distance approximates the unregularized distance exponentially well.


title: Several Characterizations of Left K\"othe Rings

abstract: We study the classical K\"othe's problem, concerning the structure of non-commutative rings with the property that: ``every left module is a direct sum of cyclic modules". In 1934, K\"othe showed that left modules over Artinian principal ideal rings are direct sums of cyclic modules. A ring $R$ is called a ${\it left~K\"othe~ring}$ if every left $R$-module is a direct sum of cyclic $R$-modules. In 1951, Cohen and Kaplansky proved that all commutative K{\"o}the rings are Artinian principal ideal rings. During the years 1962 to 1965, Kawada solved the K\"othe's problem for basic fnite-dimensional algebras: Kawada's theorem characterizes completely those finite-dimensional algebras for which any indecomposable module has square-free socle and square-free top, and describes the possible indecomposable modules. But, so far, the K\"othe's problem is open in the non-commutative setting. In this paper, we break the class of left K{\"o}the rings into three categories of nested: ${\it left~K\"othe~rings}$, ${\it strongly~left~K{\"o}the~rings}$ and ${\it very~strongly~left~K{\"o}the~rings}$, and then, we solve the K\"othe's problem by giving several characterizations of these rings in terms of describing the indecomposable modules. Finally, we give a new generalization of K\"othe-Cohen-Kaplansky theorem.


title: on graded weakly primal submodules over graded modules

abstract: Let $M$ be G-graded R-module. The idea of a graded weakly primal submodule of $M$, which is a generalization of a graded primal submodule, is introduced and discussed in this paper. Some characteristics and characterizations are assigned to these submodules and their homogeneous components.


title: Robust space-time finite element error estimates for parabolic distributed optimal control problems with energy regularization

abstract: We consider space-time tracking optimal control problems for linear para\-bo\-lic initial boundary value problems that are given in the space-time cylinder $Q = \Omega \times (0,T)$, and that are controlled by the right-hand side $z_\varrho$ from the Bochner space $L^2(0,T;H^{-1}(\Omega))$. So it is natural to replace the usual $L^2(Q)$ norm regularization by the energy regularization in the $L^2(0,T;H^{-1}(\Omega))$ norm. We derive a priori estimates for the error $\|\widetilde{u}_{\varrho h} - \bar{u}\|_{L^2(Q)}$ between the computed state $\widetilde{u}_{\varrho h}$ and the desired state $\bar{u}$ in terms of the regularization parameter $\varrho$ and the space-time finite element mesh-size $h$, and depending on the regularity of the desired state $\bar{u}$. These estimates lead to the optimal choice $\varrho = h^2$. The approximate state $\widetilde{u}_{\varrho h}$ is computed by means of a space-time finite element method using piecewise linear and continuous basis functions on completely unstructured simplicial meshes for $Q$. The theoretical results are quantitatively illustrated by a series of numerical examples in two and three space dimensions.


title: A comparison of partial information decompositions using data from real and simulated layer 5b pyramidal cells

abstract: Partial information decomposition allows the joint mutual information between an output and a set of inputs to be divided into components that are synergistic or shared or unique to each input. We consider five different decompositions and compare their results on data from layer 5b pyramidal cells in two different studies. The first study was of the amplification of somatic action potential output by apical dendritic input and its regulation by dendritic inhibition. We find that two of the decompositions produce much larger estimates of synergy and shared information than the others, as well as large levels of unique misinformation. When within-neuron differences in the components are examined, the five methods produce more similar results for all but the shared information component, for which two methods produce a different statistical conclusion from the others. There are some differences in the expression of unique information asymmetry among the methods. It is significantly larger, on average, under dendritic inhibition. Three of the methods support a previous conclusion that apical amplification is reduced by dendritic inhibition. The second study used a detailed compartmental model to produce action potentials for many combinations of the numbers of basal and apical synaptic inputs. Two analyses of decompositions are conducted on subsets of the data. In the first, the decompositions reveal a bifurcation in unique information asymmetry. For three of the methods this suggests that apical drive switches to basal drive as the strength of the basal input increases, while the other two show changing mixtures of information and misinformation. Decompositions produced using the second set of subsets show that all five decompositions provide support for properties of cooperative context-sensitivity - to varying extents.


title: A Privacy Glossary for Cloud Computing

abstract: Cloud computing is an evolving paradigm that is frequently changing the way humans share, store, and access their information in digital format. While cloud computing offers tremendous benefits (e.g., efficiency, flexibility, and reduced costs), it also brings both security and privacy challenges. Although cloud security has been extensively defined and developed, privacy protections in cloud environments are often described in abstract or vague language, which makes it difficult to interpret and implement. In this study, we propose an initial approach of developing a privacy glossary for cloud computing that provides a consistent and comprehensive set of terminologies for cloud privacy. We believe that this systematic and structured privacy glossary could serve as a first step towards implementing requirements for privacy protections in cloud computing, as well as providing more effective and consistent language in cloud privacy to researchers and professionals in the future.


title: The functor $K_0^{\operatorname{gr}}$ is full and only weakly faithful

abstract: The Graded Classification Conjecture states that the pointed $K_0^{\operatorname{gr}}$-group is a complete invariant of the Leavitt path algebras of finite graphs when these algebras are considered with their natural grading by $\mathbb Z.$ The strong version of this conjecture states that the functor $K_0^{\operatorname{gr}}$ is full and faithful when considered on the category of Leavitt path algebras of finite graphs and their graded homomorphisms modulo conjugations by invertible elements of the zero components. We show that the functor $K_0^{\operatorname{gr}}$ is full for the unital Leavitt path algebras of countable graphs and that it is faithful (modulo specified conjugations) only in a certain weaker sense.


title: Effective cycles on universal hypersurfaces

abstract: We study the effective cones of cycles on universal hypersurfaces on a projective variety $X$, particularly focusing on the case of universal hypersurfaces in $\mathbb{P}^n$. We determine the effective cones of cycles on the universal conic over $\mathbb{P}^2$. We also determine every effective cone of cycles of dimension at most 6 or equal to 10 on any universal plane curve.


title: MetaTPTrans: A Meta Learning Approach for Multilingual Code Representation Learning

abstract: Representation learning of source code is essential for applying machine learning to software engineering tasks. Learning code representation from a multilingual source code dataset has been shown to be more effective than learning from single-language datasets separately, since more training data from multilingual dataset improves the model's ability to extract language-agnostic information from source code. However, existing multilingual training overlooks the language-specific information which is crucial for modeling source code across different programming languages, while only focusing on learning a unified model with shared parameters among different languages for language-agnostic information modeling. To address this problem, we propose MetaTPTrans, a meta learning approach for multilingual code representation learning. MetaTPTrans generates different parameters for the feature extractor according to the specific programming language type of the input code snippet, enabling the model to learn both language-agnostic and language-specific information with dynamic parameters in the feature extractor. We conduct experiments on the code summarization and code completion tasks to verify the effectiveness of our approach. The results demonstrate the superiority of our approach with significant improvements on state-of-the-art baselines.


title: Self-Supervised Representation Learning With MUlti-Segmental Informational Coding (MUSIC)

abstract: Self-supervised representation learning maps high-dimensional data into a meaningful embedding space, where samples of similar semantic contents are close to each other. Most of the recent representation learning methods maximize cosine similarity or minimize the distance between the embedding features of different views from the same sample usually on the $l2$ normalized unit hypersphere. To prevent the trivial solutions that all samples have the same embedding feature, various techniques have been developed, such as contrastive learning, stop gradient, variance and covariance regularization, etc. In this study, we propose MUlti-Segmental Informational Coding (MUSIC) for self-supervised representation learning. MUSIC divides the embedding feature into multiple segments that discriminatively partition samples into different semantic clusters and different segments focus on different partition principles. Information theory measurements are directly used to optimize MUSIC and theoretically guarantee trivial solutions are avoided. MUSIC does not depend on commonly used techniques, such as memory bank or large batches, asymmetry networks, gradient stopping, momentum weight updating, etc, making the training framework flexible. Our experiments demonstrate that MUSIC achieves better results than most related Barlow Twins and VICReg methods on ImageNet classification with linear probing, and requires neither deep projectors nor large feature dimensions. Code will be made available.


title: Quasi-Bayesian Nonparametric Density Estimation via Autoregressive Predictive Updates

abstract: Bayesian methods are a popular choice for statistical inference in small-data regimes due to the regularization effect induced by the prior. In the context of density estimation, the standard nonparametric Bayesian approach is to target the posterior predictive of the Dirichlet process mixture model. In general, direct estimation of the posterior predictive is intractable and so methods typically resort to approximating the posterior distribution as an intermediate step. The recent development of quasi-Bayesian predictive copula updates, however, has made it possible to perform tractable predictive density estimation without the need for posterior approximation. Although these estimators are computationally appealing, they tend to struggle on non-smooth data distributions. This is due to the comparatively restrictive form of the likelihood models from which the proposed copula updates were derived. To address this shortcoming, we consider a Bayesian nonparametric model with an autoregressive likelihood decomposition and a Gaussian process prior. While the predictive update of such a model is typically intractable, we derive a quasi-Bayesian predictive update that achieves state-of-the-art results in small-data regimes.


title: A statistical reconstruction algorithm for positronium lifetime imaging using time-of-flight positron emission tomography

abstract: Positron emission tomography (PET) is an important modality for diagnosing diseases such as cancer and Alzheimer's disease, capable of revealing the uptake of radiolabeled molecules that target specific pathological markers of the diseases. Recently, positronium lifetime imaging (PLI) that adds to traditional PET the ability to explore properties of the tissue microenvironment beyond tracer uptake has been demonstrated with time-of-flight (TOF) PET and the use of non-pure positron emitters. However, achieving accurate reconstruction of lifetime images from data acquired by systems having a finite TOF resolution still presents a challenge. This paper focuses on the two-dimensional PLI, introducing a maximum likelihood estimation (MLE) method that employs an exponentially modified Gaussian (EMG) probability distribution that describes the positronium lifetime data produced by TOF PET. We evaluate the performance of our EMG-based MLE method against \st{traditional} approaches using exponential likelihood functions and penalized surrogate methods. Results from computer-simulated data reveal that the proposed EMG-MLE method can yield quantitatively accurate lifetime images. We also demonstrate that the proposed MLE formulation can be extended to handle PLI data containing multiple positron populations.


title: Supernova Dust Evolution Probed by Deep-sea 60Fe Time History

abstract: There is a wealth of data on live, undecayed 60Fe ($t_{1/2} = 2.6 \ \rm Myr$) in deep-sea deposits, the lunar regolith, cosmic rays, and Antarctic snow, which is interpreted as originating from the recent explosions of at least two near-Earth supernovae. We use the 60Fe profiles in deep-sea sediments to estimate the timescale of supernova debris deposition beginning $\sim 3$ Myr ago. The available data admits a variety of different profile functions, but in all cases the best-fit 60Fe pulse durations are $>1.6$ Myr when all the data is combined. This timescale far exceeds the $\lesssim 0.1$ Myr pulse that would be expected if 60Fe was entrained in the supernova blast wave plasma. We interpret the long signal duration as evidence that 60Fe arrives in the form of supernova dust, whose dynamics are separate from but coupled to the evolution of the blast plasma. In this framework, the $>1.6$ Myr is that for dust stopping due to drag forces. This scenario is consistent with the simulations in Fry et. al (2020), where the dust is magnetically trapped in supernova remnants and thereby confined around regions of the remnant dominated by supernova ejects, where magnetic fields are low. This picture fits naturally with models of cosmic-ray injection of refractory elements as sputtered supernova dust grains and implies that the recent 60Fe detections in cosmic rays complement the fragments of grains that survived to arrive on the Earth and Moon. Finally, we present possible tests for this scenario.

categories: astro-ph.HE astro-ph.SR nucl-ex physics.geo-ph


title: Radial diffusion in corotating magnetosphere of Pulsar PSR J0737-3039B

abstract: Rich observational phenomenology associated with Pulsar B in PSR J0737$-$3039A/B system resembles in many respects phenomena observed in the Earth and Jupiter magnetospheres, originating due to the wind-magnetosphere interaction. We consider particle dynamics in the fast corotating magnetosphere of Pulsar B, when the spin period is shorter than the third adiabatic period. We demonstrate that trapped particles occasionally experience large radial variations of the L-parameter (effective radial distance) due to the parametric interaction of the gyration motion with the large scale electric fields induced by the deformations of the magnetosphere, in what could be called a betatron-induced diffusion. The dynamics of particles from the wind of Pulsar A trapped inside Pulsar B magnetosphere is governed by Mathieu's equation, so that the parametrically unstable orbits are occasionally activated; particle dynamics is not diffusive per se. The model explains the high plasma density on the closed field lines of Pulsar B, and the fact that the observed eclipsing region is several times smaller than predicted by the hydrodynamic models.


title: Revisiting the Shape-Bias of Deep Learning for Dermoscopic Skin Lesion Classification

abstract: It is generally believed that the human visual system is biased towards the recognition of shapes rather than textures. This assumption has led to a growing body of work aiming to align deep models' decision-making processes with the fundamental properties of human vision. The reliance on shape features is primarily expected to improve the robustness of these models under covariate shift. In this paper, we revisit the significance of shape-biases for the classification of skin lesion images. Our analysis shows that different skin lesion datasets exhibit varying biases towards individual image features. Interestingly, despite deep feature extractors being inclined towards learning entangled features for skin lesion classification, individual features can still be decoded from this entangled representation. This indicates that these features are still represented in the learnt embedding spaces of the models, but not used for classification. In addition, the spectral analysis of different datasets shows that in contrast to common visual recognition, dermoscopic skin lesion classification, by nature, is reliant on complex feature combinations beyond shape-bias. As a natural consequence, shifting away from the prevalent desire of shape-biasing models can even improve skin lesion classifiers in some cases.


title: Universal mechanism of luminescence enhancement in doped perovskite nanocrystals from symmetry analysis

abstract: Metal-halide perovskite nanocrystals have demonstrated excellent optoelectronic properties for light-emitting applications. Isovalent doping with various metals (M2+) can be used to tailor and enhance their light emission. Although crucial to maximize performance, an understanding of the universal working mechanism for such doping is still missing. Here, we directly compare the optical properties of nanocrystals containing the most commonly employed dopants, fabricated under identical synthesis conditions. We show for the first time unambiguously and supported by first principles calculations and molecular orbital theory that element-unspecific symmetry-breaking rather than element-specific electronic effects dominate these properties under device-relevant conditions. The impact of most dopants on the perovskite electronic structure is predominantly based on local lattice periodicity breaking and resulting charge carrier localization, leading to enhanced radiative recombination, while dopant-specific hybridization effects play a secondary role. Our results suggest specific guidelines for selecting a dopant to maximize the performance of perovskite emitters in the desired optoelectronic devices.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.app-ph physics.comp-ph


title: Stable Relationships

abstract: We study a dynamic model of the relationship between two people where the states depend on the "power" in the relationship. We perform a comprehensive analysis of stability of the system, and determine a set of conditions under which stable relationships are possible. In particular, stable relationships can occur if both people are dominant, but the sum of dominances is below a bound determined by the model's parameters. Stable relationships can also occur if one person is dominant and the other is submissive, provided the level of dominance exceeds the level of submissiveness but not beyond a threshold. We also conclude that a stable relationship is not possible if both people are submissive. While our model is motivated by a social or romantic relationship, it can also be applied to professional or business relationships as well as diplomatic relationships between nations.


title: Invariant Structure Learning for Better Generalization and Causal Explainability

abstract: Learning the causal structure behind data is invaluable for improving generalization and obtaining high-quality explanations. We propose a novel framework, Invariant Structure Learning (ISL), that is designed to improve causal structure discovery by utilizing generalization as an indication. ISL splits the data into different environments, and learns a structure that is invariant to the target across different environments by imposing a consistency constraint. An aggregation mechanism then selects the optimal classifier based on a graph structure that reflects the causal mechanisms in the data more accurately compared to the structures learnt from individual environments. Furthermore, we extend ISL to a self-supervised learning setting where accurate causal structure discovery does not rely on any labels. This self-supervised ISL utilizes invariant causality proposals by iteratively setting different nodes as targets. On synthetic and real-world datasets, we demonstrate that ISL accurately discovers the causal structure, outperforms alternative methods, and yields superior generalization for datasets with significant distribution shifts.


title: New theoretical Period-Luminosity-Metallicity relations for RR Lyrae in the Rubin-LSST filters

abstract: The revolutionary power of future Rubin-LSST observations will allow us to significantly improve the physics of pulsating stars, including RR Lyrae. In this context, an updated theoretical scenario predicting all the relevant pulsation observables in the corresponding photometric filters is mandatory. The bolometric light curves based on a recently computed extensive set of nonlinear convective pulsation models for RR Lyrae stars, covering a broad range in metal content and transformed into the Rubin-LSST photometric system. Predicted Rubin-LSST mean magnitudes and pulsation amplitudes have been adopted to built the Bailey diagrams (luminosity amplitude vs period) and the color-color diagrams in these bands. The current findings indicate that the gLSST-rLSST, rLSST-iLSST colors obey to a well defined linear relation with the metal content. Moreover, the Period Luminosity relations display in the reddest filters (rLSST,iLSST,zLSST,yLSST) a significant dependence on the assumed metal abundance. In particular, more metal-rich RR Lyrae are predicted to be fainter at fixed period. Metal-dependent Period-Wesenheit relations for different combinations of optical and NIR filters are also provided. These represent powerful tools to infer individual distances independently of reddening uncertainties, once the metal abundance is known and no relevant deviations from the adopted extinction law occur. Finally, we also derived new linear and quadratic absolute magnitude metallicity relations (gLSST vs [Fe/H]) and the metallicity coefficient is consistent with previous findings concerning the B and the V band.


title: The Dynamic Evolution of Solar Wind Streams Following Interchange Reconnection

abstract: Interchange reconnection is thought to play an important role in determining the dynamics and material composition of the slow solar wind that originates from near coronal hole boundaries. To explore the implications of this process we simulate the dynamic evolution of a solar wind stream along a newly-opened magnetic flux tube. The initial condition is composed of a piecewise continuous dynamic equilibrium in which the regions above and below the reconnection site are extracted from steady-state solutions along open and closed field lines. The initial discontinuity at the reconnection site is highly unstable and evolves as a Riemann problem, decomposing into an outward-propagating shock and inward-propagating rarefaction that eventually develop into a classic N-wave configuration. This configuration ultimately propagates into the heliosphere as a coherent structure and the entire system eventually settles to a quasi-steady wind solution. In addition to simulating the fluid evolution we also calculate the time-dependent non-equilibrium ionization of oxygen in real time in order to construct in situ diagnostics of the conditions near the reconnection site. This idealized description of the plasma dynamics along a newly-opened magnetic field line provides a baseline for predicting and interpreting the implications of interchange reconnection for the slow solar wind. Notably, the density and velocity within the expanding N-wave are generally enhanced over the ambient wind, as is the O7+/O6+ ionization ratio, which exhibits a discontinuity across the reconnection site that is transported by the flow and arrives later than the propagating N-wave.


title: Trimer covers in the triangular grid: twenty mostly open problems

abstract: In the past three decades, the study of rhombus tilings and domino tilings of various plane regions has been a thriving subfield of enumerative combinatorics. Physicists classify such work as the study of dimer covers of finite graphs. In this article we move beyond dimer covers to trimer covers, introducing plane regions called benzels that play a role analogous to hexagons for rhombus tilings and Aztec diamonds for domino tilings, inasmuch as one finds many (so far mostly conjectural) exact formulas governing the number of tilings.


title: A Dilemma for Solomonoff Prediction

abstract: The framework of Solomonoff prediction assigns prior probability to hypotheses inversely proportional to their Kolmogorov complexity. There are two well-known problems. First, the Solomonoff prior is relative to a choice of Universal Turing machine. Second, the Solomonoff prior is not computable. However, there are responses to both problems. Different Solomonoff priors converge with more and more data. Further, there are computable approximations to the Solomonoff prior. I argue that there is a tension between these two responses. This is because computable approximations to Solomonoff prediction do not always converge.


title: Symmetry in neutrino oscillation in matter with non-unitarity

abstract: Recently we have developed a method called ``Symmetry Finder'' (SF) for hunting the reparametrization symmetry in the three-neutrino system in matter. Here, we apply SF to the Denton {\it et al.} (DMP) perturbation theory extended by including unitarity violation (UV), a possible low-energy manifestation of physics beyond the $\nu$SM. Implementation of UV into the SF framework yields the additional two very different constraints, which nonetheless allow remarkably consistent solutions, the eight DMP-UV symmetries. Treatment of one of the constraints, the genuine non-unitary part, leads to the key identity which entails the UV $\alpha$ parameter transformation only by rephasing, which innovates the invariance proof of the Hamiltonian. The quantum mechanical nature of the symmetry dictates the both $\nu$SM and UV variables to transform jointly, through which the response of the two sectors are related to reveal their interplay. Thus, the symmetry can serve for a tool for diagnostics, probing the interrelation between the $\nu$SM and a low-energy description of new physics. Problem of SF symmetry in vacuum is revisited to complete eight symmetries akin to DMP's.


title: Holomorphic vector fields with a barycentric condition

abstract: We study the $p$-tuples of holomorphic vector fields $(X_1,X_2,\ldots,X_p)$ satisfying the barycentric property $\displaystyle\sum_k\exp tX_k=p\cdot\mathrm{id}$, where $\exp tX$ denotes the flow of $X$.


title: Explainable Mixed Data Representation and Lossless Visualization Toolkit for Knowledge Discovery

abstract: Developing Machine Learning (ML) algorithms for heterogeneous/mixed data is a longstanding problem. Many ML algorithms are not applicable to mixed data, which include numeric and non-numeric data, text, graphs and so on to generate interpretable models. Another longstanding problem is developing algorithms for lossless visualization of multidimensional mixed data. The further progress in ML heavily depends on success interpretable ML algorithms for mixed data and lossless interpretable visualization of multidimensional data. The later allows developing interpretable ML models using visual knowledge discovery by end-users, who can bring valuable domain knowledge which is absent in the training data. The challenges for mixed data include: (1) generating numeric coding schemes for non-numeric attributes for numeric ML algorithms to provide accurate and interpretable ML models, (2) generating methods for lossless visualization of n-D non-numeric data and visual rule discovery in these visualizations. This paper presents a classification of mixed data types, analyzes their importance for ML and present the developed experimental toolkit to deal with mixed data. It combines the Data Types Editor, VisCanvas data visualization and rule discovery system which is available on GitHub.


title: Multivariate Information Theory Uncovers Synergistic Subsystems of the Human Cerebral Cortex

abstract: One of the most well-established tools for modeling the brain as a complex system is the functional connectivity network, which examines the correlations between pairs of interacting brain regions. While powerful, the network model is limited by the restriction that only pairwise dependencies are visible and potentially higher-order structures are missed. In this work, we explore how multivariate information theory can reveal higher-order, synergistic dependencies in the human brain. Using the O-information, a measure of whether the structure of a system is redundancy- or synergy-dominated, we show that synergistic subsystems are widespread in the human brain. We provide a mathematical analysis of the O-information to locate it within a larger taxonomy of multivariate complexity measures. We also show the O-information is related to a previously established measure, the Tononi-Sporns-Edelman complexity, and can be understood as an expected difference in integration between system scales. Highly synergistic subsystems typically sit between canonical functional networks, and may serve to integrate those networks. We then use simulated annealing to find maximally synergistic subsystems, finding that such systems typically comprise $\approx$10 brain regions, also recruited from multiple canonical brain systems. Though ubiquitous, highly synergistic subsystems are invisible when considering pairwise functional connectivity, suggesting that higher-order dependencies form a kind of ``shadow structure" that has been unrecognized by established network-based analyses. We assert that higher-order interactions in the brain represent a vast and under-explored space that, made accessible with tools of multivariate information theory, may offer novel scientific insights.


title: On b-acyclic chromatic number of a graph

abstract: Let $G$ be a graph. We introduce the acyclic b-chromatic number of $G$ as an analogue to the b-chromatic number of $G$. An acyclic coloring of a graph $G$ is a map $c:V(G)\rightarrow \{1,\dots,k\}$ such that $c(u)\neq c(v)$ for any $uv\in E(G)$ and the induced subgraph on vertices of any two colors $i,j\in \{1,\dots,k\}$ induces a forest. On the set of all acyclic colorings of $G$ we define a relation whose transitive closure is a strict partial order. The minimum cardinality of its minimal element is then the acyclic chromatic number $A(G)$ of $G$ and the maximum cardinality of its minimal element is the acyclic b-chromatic number $A_b(G)$ of $G$. We present several properties of $A_b(G)$. In particular, we derive $A_b(G)$ for several known graph families, derive some bounds for $A_b(G)$, compare $A_b(G)$ with some other parameters and generalize some influential tools from b-colorings to acyclic b-colorings.


title: Robust Distillation for Worst-class Performance

abstract: Knowledge distillation has proven to be an effective technique in improving the performance a student model using predictions from a teacher model. However, recent work has shown that gains in average efficiency are not uniform across subgroups in the data, and in particular can often come at the cost of accuracy on rare subgroups and classes. To preserve strong performance across classes that may follow a long-tailed distribution, we develop distillation techniques that are tailored to improve the student's worst-class performance. Specifically, we introduce robust optimization objectives in different combinations for the teacher and student, and further allow for training with any tradeoff between the overall accuracy and the robust worst-class objective. We show empirically that our robust distillation techniques not only achieve better worst-class performance, but also lead to Pareto improvement in the tradeoff between overall performance and worst-class performance compared to other baseline methods. Theoretically, we provide insights into what makes a good teacher when the goal is to train a robust student.


title: Chameleon Screening in Cosmic Voids

abstract: A key goal in cosmology in the upcoming decade will be to form a better understanding of the accelerated expansion of the Universe. Upcoming surveys, such as the Vera C. Rubin Observatory's 10-year Legacy Survey of Space and Time (LSST), Euclid and the Square Killometer Array (SKA) will deliver key datasets required to tackle this and other puzzles in contemporary cosmology. With this data, constraints of unprecedented power will be put on different models of dark energy and modified gravity. In this context it is crucial to understand how screening mechanisms, which hide the deviations of these theories from the predictions of general relativity in local experiments, affect structure formation. In this work we approach this problem by using a combination of analytic and numerical methods to describe chameleon screening in the context of cosmic voids. We apply a finite element method (FEM) code, SELCIE, to solve the chameleon equation of motion for a number of void profiles derived from observational data and simulations. The obtained results indicate a complex relationship between the properties of cosmic voids and the size of the chameleon acceleration of a test particle. We find that the fifth force on a test particle in a void is primarily related to the depth and the inner density gradient of the void. For realistic void profiles, the obtained chameleon-to-Newtonian acceleration ratios range between $a_{\phi}/a_{\rm Newt} \approx 10^{-6} - 10^{-5}$. However, it should be noted that in unusually deep voids with large inner density gradients, the acceleration ratios can be significantly higher. Similarly, other chameleon models, such as $f(R)$ Hu-Sawicki theory allow for significantly higher acceleration ratios. Given these results, we also discuss the optimal density profiles for detecting the fifth force in the upcoming observational surveys.


title: RigNeRF: Fully Controllable Neural 3D Portraits

abstract: Volumetric neural rendering methods, such as neural radiance fields (NeRFs), have enabled photo-realistic novel view synthesis. However, in their standard form, NeRFs do not support the editing of objects, such as a human head, within a scene. In this work, we propose RigNeRF, a system that goes beyond just novel view synthesis and enables full control of head pose and facial expressions learned from a single portrait video. We model changes in head pose and facial expressions using a deformation field that is guided by a 3D morphable face model (3DMM). The 3DMM effectively acts as a prior for RigNeRF that learns to predict only residuals to the 3DMM deformations and allows us to render novel (rigid) poses and (non-rigid) expressions that were not present in the input sequence. Using only a smartphone-captured short video of a subject for training, we demonstrate the effectiveness of our method on free view synthesis of a portrait scene with explicit head pose and expression controls. The project page can be found here: http://shahrukhathar.github.io/2022/06/06/RigNeRF.html


title: On Rational Solutions of Dressing Chains of Even Periodicity

abstract: We develop a systematic approach to deriving rational solutions and obtaining classification of their parameters for dressing chains of even N periodicity or equivalently $A^{(1)}_{N-1}$ invariant Painlev\'e equations. This construction identifies rational solutions with points on orbits of fundamental shift operators acting on first-order polynomial solutions derived for dressing chains of even periodicity. We also obtain conditions for the existence of special function solutions that occur for a special class of first-order polynomial solutions. For the special case of the N=4 dressing chain equations the method yields all the known rational solutions of Painlev\'e V equation. They are obtained through action of shift operators on the two independent first-order polynomial solutions. The formalism naturally extends to N=6 and beyond as shown in the paper.


title: $\mathcal{R}(p,q)$-deformed super Virasoro $n$-algebra

abstract: In this paper, we construct the super Witt algebra and super Virasoro algebra in the framework of the $\mathcal{R}(p,q)$-deformed quantum algebras. Moreover, we perform the super $\mathcal{R}(p,q)$-deformed Witt $n$-algebra, the $\mathcal{R}(p,q)$-deformed Virasoro $n$-algebra and discuss the super $\mathcal{R}(p,q)$-Virasoro $n$-algebra ($n$ even). Besides, we define and construct another super $\mathcal{R}(p,q)$-deformed Witt $n$-algebra and study a toy model for the super $\mathcal{R}(p,q)$-Virasoro constraints. Relevant particular cases induced from the quantum algebras known in the literature are deduced from the formalism developped.


title: On Image Segmentation With Noisy Labels: Characterization and Volume Properties of the Optimal Solutions to Accuracy and Dice

abstract: We study two of the most popular performance metrics in medical image segmentation, Accuracy and Dice, when the target labels are noisy. For both metrics, several statements related to characterization and volume properties of the set of optimal segmentations are proved, and associated experiments are provided. Our main insights are: (i) the volume of the solutions to both metrics may deviate significantly from the expected volume of the target, (ii) the volume of a solution to Accuracy is always less than or equal to the volume of a solution to Dice and (iii) the optimal solutions to both of these metrics coincide when the set of feasible segmentations is constrained to the set of segmentations with the volume equal to the expected volume of the target.


title: What Should I Know? Using Meta-gradient Descent for Predictive Feature Discovery in a Single Stream of Experience

abstract: In computational reinforcement learning, a growing body of work seeks to construct an agent's perception of the world through predictions of future sensations; predictions about environment observations are used as additional input features to enable better goal-directed decision-making. An open challenge in this line of work is determining from the infinitely many predictions that the agent could possibly make which predictions might best support decision-making. This challenge is especially apparent in continual learning problems where a single stream of experience is available to a singular agent. As a primary contribution, we introduce a meta-gradient descent process by which an agent learns 1) what predictions to make, 2) the estimates for its chosen predictions, and 3) how to use those estimates to generate policies that maximize future reward -- all during a single ongoing process of continual learning. In this manuscript we consider predictions expressed as General Value Functions: temporally extended estimates of the accumulation of a future signal. We demonstrate that through interaction with the environment an agent can independently select predictions that resolve partial-observability, resulting in performance similar to expertly specified GVFs. By learning, rather than manually specifying these predictions, we enable the agent to identify useful predictions in a self-supervised manner, taking a step towards truly autonomous systems.


title: Mapping fNIRS to fMRI with Neural Data Augmentation and Machine Learning Models

abstract: Advances in neuroimaging techniques have provided us novel insights into understanding how the human mind works. Functional magnetic resonance imaging (fMRI) is the most popular and widely used neuroimaging technique, and there is growing interest in fMRI-based markers of individual differences. However, its utility is often limited due to its high cost and difficulty acquiring from specific populations, including children and infants. Surrogate markers, or neural correlates of fMRI markers, would have important practical implications, but we have few stand-alone predictors for the fMRI markers. Here, using machine learning (ML) models and data augmentation, we predicted well-validated fMRI markers of human cognition from multivariate patterns of functional near-infrared spectroscopy (fNIRS), a portable and relatively inexpensive optical neuroimaging technique. We recruited 50 human participants who performed two cognitive tasks (stop signal task and probabilistic reversal learning task), while neural activation was measured with either fNIRS or fMRI at each of the total two visits. Using ML models and data augmentation, we could predict the well-established fMRI markers of response inhibition or prediction error signals from 48-channel fNIRS activation in the prefrontal cortex. These results suggest that fNIRS might offer a surrogate marker of fMRI activation, which would broaden our understanding of various populations, including infants.


title: The Modality Focusing Hypothesis: Towards Understanding Crossmodal Knowledge Distillation

abstract: Crossmodal knowledge distillation (KD) extends traditional knowledge distillation to the area of multimodal learning and demonstrates great success in various applications. To achieve knowledge transfer across modalities, a pretrained network from one modality is adopted as the teacher to provide supervision signals to a student network learning from another modality. In contrast to the empirical success reported in prior works, the working mechanism of crossmodal KD remains a mystery. In this paper, we present a thorough understanding of crossmodal KD. We begin with two case studies and demonstrate that KD is not a universal cure in crossmodal knowledge transfer. We then present the modality Venn diagram to understand modality relationships and the modality focusing hypothesis revealing the decisive factor in the efficacy of crossmodal KD. Experimental results on 6 multimodal datasets help justify our hypothesis, diagnose failure cases, and point directions to improve crossmodal knowledge transfer in the future.


title: Multimodal Learning with Transformers: A Survey

abstract: Transformer is a promising neural network learner, and has achieved great success in various machine learning tasks. Thanks to the recent prevalence of multimodal applications and big data, Transformer-based multimodal learning has become a hot topic in AI research. This paper presents a comprehensive survey of Transformer techniques oriented at multimodal data. The main contents of this survey include: (1) a background of multimodal learning, Transformer ecosystem, and the multimodal big data era, (2) a theoretical review of Vanilla Transformer, Vision Transformer, and multimodal Transformers, from a geometrically topological perspective, (3) a review of multimodal Transformer applications, via two important paradigms, i.e., for multimodal pretraining and for specific multimodal tasks, (4) a summary of the common challenges and designs shared by the multimodal Transformer models and applications, and (5) a discussion of open problems and potential research directions for the community.


title: BEHAVIOR in Habitat 2.0: Simulator-Independent Logical Task Description for Benchmarking Embodied AI Agents

abstract: Robots excel in performing repetitive and precision-sensitive tasks in controlled environments such as warehouses and factories, but have not been yet extended to embodied AI agents providing assistance in household tasks. Inspired by the catalyzing effect that benchmarks have played in the AI fields such as computer vision and natural language processing, the community is looking for new benchmarks for embodied AI. Prior work in embodied AI benchmark defines tasks using a different formalism, often specific to one environment, simulator or domain, making it hard to develop general and comparable solutions. In this work, we bring a subset of BEHAVIOR activities into Habitat 2.0 to benefit from its fast simulation speed, as a first step towards demonstrating the ease of adapting activities defined in the logic space into different simulators.


title: Learning Task-Independent Game State Representations from Unlabeled Images

abstract: Self-supervised learning (SSL) techniques have been widely used to learn compact and informative representations from high-dimensional complex data. In many computer vision tasks, such as image classification, such methods achieve state-of-the-art results that surpass supervised learning approaches. In this paper, we investigate whether SSL methods can be leveraged for the task of learning accurate state representations of games, and if so, to what extent. For this purpose, we collect game footage frames and corresponding sequences of games' internal state from three different 3D games: VizDoom, the CARLA racing simulator and the Google Research Football Environment. We train an image encoder with three widely used SSL algorithms using solely the raw frames, and then attempt to recover the internal state variables from the learned representations. Our results across all three games showcase significantly higher correlation between SSL representations and the game's internal state compared to pre-trained baseline models such as ImageNet. Such findings suggest that SSL-based visual encoders can yield general -- not tailored to a specific task -- yet informative game representations solely from game pixel information. Such representations can, in turn, form the basis for boosting the performance of downstream learning tasks in games, including gameplaying, content generation and player modeling.


title: On the Computational Complexity of Metropolis-Adjusted Langevin Algorithms for Bayesian Posterior Sampling

abstract: In this paper, we examine the computational complexity of sampling from a Bayesian posterior (or pseudo-posterior) using the Metropolis-adjusted Langevin algorithm (MALA). MALA first employs a discrete-time Langevin SDE to propose a new state, and then adjusts the proposed state using Metropolis-Hastings rejection. Most existing theoretical analyses of MALA rely on the smoothness and strong log-concavity properties of the target distribution, which are often lacking in practical Bayesian problems. Our analysis hinges on statistical large sample theory, which constrains the deviation of the Bayesian posterior from being smooth and log-concave in a very specific way. In particular, we introduce a new technique for bounding the mixing time of a Markov chain with a continuous state space via the $s$-conductance profile, offering improvements over existing techniques in several aspects. By employing this new technique, we establish the optimal parameter dimension dependence of $d^{1/3}$ and condition number dependence of $\kappa$ in the non-asymptotic mixing time upper bound for MALA after the burn-in period, under a standard Bayesian setting where the target posterior distribution is close to a $d$-dimensional Gaussian distribution with a covariance matrix having a condition number $\kappa$. We also prove a matching mixing time lower bound for sampling from a multivariate Gaussian via MALA to complement the upper bound.


title: On Strategic Measures and Optimality Properties in Discrete-Time Stochastic Control with Universally Measurable Policies

abstract: This paper concerns discrete-time infinite-horizon stochastic control systems with Borel state and action spaces and universally measurable policies. We study optimization problems on strategic measures induced by the policies in these systems. The results are then applied to risk-neutral and risk-sensitive Markov decision processes, as well as their partially observable counterparts, to establish the measurability of the optimal value functions and the existence of universally measurable, randomized or nonrandomized, $\epsilon$-optimal policies, for a variety of average cost criteria and risk criteria. We also extend our analysis to a class of minimax control problems and establish similar optimality results under the axiom of analytic determinacy.


title: A novel reconstruction attack on foreign-trade official statistics, with a Brazilian case study

abstract: In this paper we describe, formalize, implement, and experimentally evaluate a novel transaction re-identification attack against official foreign-trade statistics releases in Brazil. The attack's goal is to re-identify the importers of foreign-trade transactions (by revealing the identity of the company performing that transaction), which consequently violates those importers' fiscal secrecy (by revealing sensitive information: the value and volume of traded goods). We provide a mathematical formalization of this fiscal secrecy problem using principles from the framework of quantitative information flow (QIF), then carefully identify the main sources of imprecision in the official data releases used as auxiliary information in the attack, and model transaction re-construction as a linear optimization problem solvable through integer linear programming (ILP). We show that this problem is NP-complete, and provide a methodology to identify tractable instances. We exemplify the feasibility of our attack by performing 2,003 transaction re-identifications that in total amount to more than \$137M, and affect 348 Brazilian companies. Further, since similar statistics are produced by other statistical agencies, our attack is of broader concern.