title: Contextual bandits with concave rewards, and an application to fair ranking

abstract: We consider Contextual Bandits with Concave Rewards (CBCR), a multi-objective bandit problem where the desired trade-off between the rewards is defined by a known concave objective function, and the reward vector depends on an observed stochastic context. We present the first algorithm with provably vanishing regret for CBCR without restrictions on the policy space, whereas prior works were restricted to finite policy spaces or tabular representations. Our solution is based on a geometric interpretation of CBCR algorithms as optimization algorithms over the convex set of expected rewards spanned by all stochastic policies. Building on Frank-Wolfe analyses in constrained convex optimization, we derive a novel reduction from the CBCR regret to the regret of a scalar-reward bandit problem. We illustrate how to apply the reduction off-the-shelf to obtain algorithms for CBCR with both linear and general reward functions, in the case of non-combinatorial actions. Motivated by fairness in recommendation, we describe a special case of CBCR with rankings and fairness-aware objectives, leading to the first algorithm with regret guarantees for contextual combinatorial bandits with fairness of exposure.


title: Layer-wise Relevance Propagation for Echo State Networks applied to Earth System Variability

abstract: Artificial neural networks (ANNs) are known to be powerful methods for many hard problems (e.g. image classification, speech recognition or time series prediction). However, these models tend to produce black-box results and are often difficult to interpret. Layer-wise relevance propagation (LRP) is a widely used technique to understand how ANN models come to their conclusion and to understand what a model has learned. Here, we focus on Echo State Networks (ESNs) as a certain type of recurrent neural networks, also known as reservoir computing. ESNs are easy to train and only require a small number of trainable parameters, but are still black-box models. We show how LRP can be applied to ESNs in order to open the black-box. We also show how ESNs can be used not only for time series prediction but also for image classification: Our ESN model serves as a detector for El Nino Southern Oscillation (ENSO) from sea surface temperature anomalies. ENSO is actually a well-known problem and has been extensively discussed before. But here we use this simple problem to demonstrate how LRP can significantly enhance the explainablility of ESNs.


title: Out of Distribution Reasoning by Weakly-Supervised Disentangled Logic Variational Autoencoder

abstract: Out-of-distribution (OOD) detection, i.e., finding test samples derived from a different distribution than the training set, as well as reasoning about such samples (OOD reasoning), are necessary to ensure the safety of results generated by machine learning models. Recently there have been promising results for OOD detection in the latent space of variational autoencoders (VAEs). However, without disentanglement, VAEs cannot perform OOD reasoning. Disentanglement ensures a one- to-many mapping between generative factors of OOD (e.g., rain in image data) and the latent variables to which they are encoded. Although previous literature has focused on weakly-supervised disentanglement on simple datasets with known and independent generative factors. In practice, achieving full disentanglement through weak supervision is impossible for complex datasets, such as Carla, with unknown and abstract generative factors. As a result, we propose an OOD reasoning framework that learns a partially disentangled VAE to reason about complex datasets. Our framework consists of three steps: partitioning data based on observed generative factors, training a VAE as a logic tensor network that satisfies disentanglement rules, and run-time OOD reasoning. We evaluate our approach on the Carla dataset and compare the results against three state-of-the-art methods. We found that our framework outperformed these methods in terms of disentanglement and end-to-end OOD reasoning.


title: Rethinking Value Function Learning for Generalization in Reinforcement Learning

abstract: Our work focuses on training RL agents on multiple visually diverse environments to improve observational generalization performance. In prior methods, policy and value networks are separately optimized using a disjoint network architecture to avoid interference and obtain a more accurate value function. We identify that a value network in the multi-environment setting is more challenging to optimize and prone to memorizing the training data than in the conventional single-environment setting. In addition, we find that appropriate regularization on the value network is necessary to improve both training and test performance. To this end, we propose Delayed-Critic Policy Gradient (DCPG), a policy gradient algorithm that implicitly penalizes value estimates by optimizing the value network less frequently with more training data than the policy network. This can be implemented using a single unified network architecture. Furthermore, we introduce a simple self-supervised task that learns the forward and inverse dynamics of environments using a single discriminator, which can be jointly optimized with the value network. Our proposed algorithms significantly improve observational generalization performance and sample efficiency on the Procgen Benchmark.


title: Polymeric diffusive instability leading to elastic turbulence in plane Couette flow

abstract: Elastic turbulence is a chaotic flow state observed in dilute polymer solutions in the absence of inertia. It was discovered experimentally in circular geometries and has long been thought to require a finite amplitude perturbation in parallel flows. Here we demonstrate, within the commonly-used Oldroyd-B and FENE-P models, that a self-sustaining chaotic state can be initiated via a linear instability in a simple inertialess shear flow caused by the presence of small but non-zero diffusivity of the polymer stress. Numerical simulations show that the instability leads to a three-dimensional selfsustaining chaotic state, which we believe is the first reported in a wall-bounded, parallel, inertialess viscoelastic flow.


title: Nighttime Dehaze-Enhancement

abstract: In this paper, we introduce a new computer vision task called nighttime dehaze-enhancement. This task aims to jointly perform dehazing and lightness enhancement. Our task fundamentally differs from nighttime dehazing -- our goal is to jointly dehaze and enhance scenes, while nighttime dehazing aims to dehaze scenes under a nighttime setting. In order to facilitate further research on this task, we release a new benchmark dataset called Reside-$\beta$ Night dataset, consisting of 4122 nighttime hazed images from 2061 scenes and 2061 ground truth images. Moreover, we also propose a new network called NDENet (Nighttime Dehaze-Enhancement Network), which jointly performs dehazing and low-light enhancement in an end-to-end manner. We evaluate our method on the proposed benchmark and achieve SSIM of 0.8962 and PSNR of 26.25. We also compare our network with other baseline networks on our benchmark to demonstrate the effectiveness of our approach. We believe that nighttime dehaze-enhancement is an essential task particularly for autonomous navigation applications, and hope that our work will open up new frontiers in research. Our dataset and code will be made publicly available upon acceptance of our paper.


title: Methods To Ensure Privacy Regarding Medical Data -- Including an examination of the differential privacy algorithm RAPPOR and its implementation in "Cryptool 2"

abstract: This document examines several applicable methods to ensure privacy of data gathered in the health care sector. To ensure a common understanding of the topic, the introduction explains the need for anonymization methods based on an example. Next, reasons for data collection are introduced in connection to the purpose to protect mentioned data, as well as currently applicable privacy laws to enforce this privacy. The question "What kind of privacy we are talking about and what conditions have to be fulfilled?" is dealt with in the subsequent chapter "Differential Privacy". Thus being established, common anonymization methods are explained and reviewed for their use in the healthcare sector. The RAPPOR algorithm and its differential privacy is dealt with in more detail before coming to a conclusion.


title: Efficient Evaluation of Arbitrary Relational Calculus Queries

abstract: The relational calculus (RC) is a concise, declarative query language. However, existing RC query evaluation approaches are inefficient and often deviate from established algorithms based on finite tables used in database management systems. We devise a new translation of an arbitrary RC query into two safe-range queries, for which the finiteness of the query's evaluation result is guaranteed. Assuming an infinite domain, the two queries have the following meaning: The first is closed and characterizes the original query's relative safety, i.e., whether given a fixed database, the original query evaluates to a finite relation. The second safe-range query is equivalent to the original query, if the latter is relatively safe. We compose our translation with other, more standard ones to ultimately obtain two SQL queries. This allows us to use standard database management systems to evaluate arbitrary RC queries. We show that our translation improves the time complexity over existing approaches, which we also empirically confirm in both realistic and synthetic experiments.


title: pynucastro: A Python Library for Nuclear Astrophysics

abstract: We describe pynucastro 2.0, an open source library for interactively creating and exploring astrophysical nuclear reaction networks. We demonstrate new methods for approximating rates and using detailed balance to create reverse rates, show how to build networks and determine whether they are appropriate for a particular science application, and discuss the changes made to the library over the past few years. Finally, we demonstrate the validity of the networks produced and share how we use pynucastro networks in simulation codes.


title: Two-photon imaging of soliton dynamics

abstract: Optical solitary waves (solitons) that interact in a nonlinear system can bind and form a structure similar to a molecule. The rich dynamics of this process have created a demand for rapid spectral characterization to deepen the understanding of soliton physics with many practical implications. Here, we demonstrate stroboscopic, two-photon imaging of soliton molecules (SM) with completely unsynchronized lasers, where the wavelength and bandwidth constraints are considerably eased compared to conventional imaging techniques. Two-photon detection enables the probe and tested oscillator to operate at completely different wavelengths, which permits mature near-infrared laser technology to be leveraged for rapid SM studies of emerging long-wavelength laser sources. As a demonstration, using a 1550 nm probe laser we image the behavior of soliton singlets across the 1800-2100 nm range, and capture the rich dynamics of evolving multiatomic SM. This technique may prove to be an essential, easy-to-implement diagnostic tool for detecting the presence of loosely-bound SM, which often remain unnoticed due to instrumental resolution or bandwidth limitations.


title: Stable envelopes for slices of the affine Grassmannian

abstract: The affine Grassmannian associated to a reductive group $\mathbf{G}$ is an affine analogue of the usual flag varieties. It is a rich source of Poisson varieties and their symplectic resolutions. These spaces are examples of conical symplectic resolutions dual to the Nakajima quiver varieties. We study the cohomological stable envelopes of D. Maulik and A. Okounkov [arXiv:1211.1287] in this family. We construct an explicit recursive relation for the stable envelopes in the $\mathbf{G} = \mathbf{PSL}_2$ case and compute the first-order correction in the general case. This allows us to write an exact formula for multiplication by a divisor.


title: On the distribution of heat in fibered magnetic fields

abstract: We study the equilibrium temperature distribution in a model for strongly magnetized plasmas in dimension two and higher. Provided the magnetic field is sufficiently structured (integrable in the sense that it is fibered by co-dimension one invariant tori, on most of which the field lines ergodically wander) and the effective thermal diffusivity transverse to the tori is small, it is proved that the temperature distribution is well approximated by a function that only varies across the invariant surfaces. The same result holds for "nearly integrable" magnetic fields up to a "critical" size. In this case, a volume of non-integrability is defined in terms of the temperature defect distribution and related the non-integrable structure of the magnetic field, confirming a physical conjecture of Paul-Hudson-Helander. Our proof crucially uses a certain quantitative ergodicity condition for the magnetic field lines on full measure set of invariant tori, which is automatic in two dimensions for magnetic fields without null points and, in higher dimensions, is guaranteed by a Diophantine condition on the rotational transform of the magnetic field.

categories: math.AP math-ph math.MP physics.plasm-ph


title: Transfer-learning for video classification: Video Swin Transformer on multiple domains

abstract: The computer vision community has seen a shift from convolutional-based to pure transformer architectures for both image and video tasks. Training a transformer from zero for these tasks usually requires a lot of data and computational resources. Video Swin Transformer (VST) is a pure-transformer model developed for video classification which achieves state-of-the-art results in accuracy and efficiency on several datasets. In this paper, we aim to understand if VST generalizes well enough to be used in an out-of-domain setting. We study the performance of VST on two large-scale datasets, namely FCVID and Something-Something using a transfer learning approach from Kinetics-400, which requires around 4x less memory than training from scratch. We then break down the results to understand where VST fails the most and in which scenarios the transfer-learning approach is viable. Our experiments show an 85\% top-1 accuracy on FCVID without retraining the whole model which is equal to the state-of-the-art for the dataset and a 21\% accuracy on Something-Something. The experiments also suggest that the performance of the VST decreases on average when the video duration increases which seems to be a consequence of a design choice of the model. From the results, we conclude that VST generalizes well enough to classify out-of-domain videos without retraining when the target classes are from the same type as the classes used to train the model. We observed this effect when we performed transfer-learning from Kinetics-400 to FCVID, where most datasets target mostly objects. On the other hand, if the classes are not from the same type, then the accuracy after the transfer-learning approach is expected to be poor. We observed this effect when we performed transfer-learning from Kinetics-400, where the classes represent mostly objects, to Something-Something, where the classes represent mostly actions.


title: Accurate neural-network-based fitting of full-dimensional two-body potential energy surfaces

abstract: We describe the development of machine-learned potentials of atmospheric gases with flexible monomers for molecular simulations. A recently suggested permutationally invariant polynomial neural network (PIP-NN) approach is utilized to represent the full-dimensional two-body component of the dimer energy. To ensure the asymptotic zero-interaction limit, a tailored subset of the full invariant polynomial basis set is utilized and their variables are modified to achieve a better fit of the correct asymptotic behavior at a long range. The new technique is used to build full-dimensional potentials for the two-body N$_2-$Ar and N$_2-$CH$_4$ interactions by fitting databases of ab initio energies calculated at the coupled-cluster level of theory. The second virial coefficients with full account of molecular flexibility effects are then calculated within the classical framework using the PIP-NN potential surfaces. To showcase the advantages of the PIP-NN method, we compare its accuracy and computational efficiency to several kernel-based and neural-network-based approaches using the MD17 database of energies and forces for ethanol. For large training set sizes, the PIP-NN models attain the best accuracy among examined models, and the computation time is shown to be comparable to that of the PIP regression model and several orders of magnitude faster than the quickest alternatives.


title: Gromov-Hausdorff distance between vertex sets of regular polygons inscribed in a given circle

abstract: We calculate the Gromov-Hausdorff distance between vertex sets of regular polygons endowed with the round metric. We give a full answer for the case of n- and m-gons with m divisible by n. Also, we calculate all distances to 2-gons and 3-gons


title: On the Information Content of Predictions in Word Analogy Tests

abstract: An approach is proposed to quantify, in bits of information, the actual relevance of analogies in analogy tests. The main component of this approach is a softaccuracy estimator that also yields entropy estimates with compensated biases. Experimental results obtained with pre-trained GloVe 300-D vectors and two public analogy test sets show that proximity hints are much more relevant than analogies in analogy tests, from an information content perspective. Accordingly, a simple word embedding model is used to predict that analogies carry about one bit of information, which is experimentally corroborated.


title: Deciding if a hyperbolic group splits over a given quasiconvex subgroup

abstract: We present an algorithm which decides whether a given quasiconvex residually finite subgroup $H$ of a hyperbolic group $G$ is associated with a splitting. The methods developed also provide algorithms for computing the number of filtered ends $\tilde e(G,H)$ of $H$ in $G$ under certain hypotheses, and give a new straightforward algorithm for computing the number of ends $e(G,H)$ of the Schreier graph of $H$. Our techniques extend those of Barrett via the use of labelled digraphs, the languages of which encode information on the connectivity of $\partial G - \Lambda H$.


title: Theoretical Guarantees for Permutation-Equivariant Quantum Neural Networks

abstract: Despite the great promise of quantum machine learning models, there are several challenges one must overcome before unlocking their full potential. For instance, models based on quantum neural networks (QNNs) can suffer from excessive local minima and barren plateaus in their training landscapes. Recently, the nascent field of geometric quantum machine learning (GQML) has emerged as a potential solution to some of those issues. The key insight of GQML is that one should design architectures, such as equivariant QNNs, encoding the symmetries of the problem at hand. Here, we focus on problems with permutation symmetry (i.e., the group of symmetry $S_n$), and show how to build $S_n$-equivariant QNNs. We provide an analytical study of their performance, proving that they do not suffer from barren plateaus, quickly reach overparametrization, and generalize well from small amounts of data. To verify our results, we perform numerical simulations for a graph state classification task. Our work provides the first theoretical guarantees for equivariant QNNs, thus indicating the extreme power and potential of GQML.


title: Risk of re-identification for shared clinical speech recordings

abstract: Large, curated datasets are required to leverage speech-based tools in healthcare. These are costly to produce, resulting in increased interest in data sharing. As speech can potentially identify speakers (i.e., voiceprints), sharing recordings raises privacy concerns. We examine the re-identification risk for speech recordings, without reference to demographic or metadata, using a state-of-the-art speaker recognition system. We demonstrate that the risk is inversely related to the number of comparisons an adversary must consider, i.e., the search space. Risk is high for a small search space but drops as the search space grows ($precision >0.85$ for $<1*10^{6}$ comparisons, $precision <0.5$ for $>3*10^{6}$ comparisons). Next, we show that the nature of a speech recording influences re-identification risk, with non-connected speech (e.g., vowel prolongation) being harder to identify. Our findings suggest that speaker recognition systems can be used to re-identify participants in specific circumstances, but in practice, the re-identification risk appears low.


title: Phenomenological Model of Superconducting Optoelectronic Loop Neurons

abstract: Superconducting optoelectronic loop neurons are a class of circuits potentially conducive to networks for large-scale artificial cognition. These circuits employ superconducting components including single-photon detectors, Josephson junctions, and transformers to achieve neuromorphic functions. To date, all simulations of loop neurons have used first-principles circuit analysis to model the behavior of synapses, dendrites, and neurons. These circuit models are computationally inefficient and leave opaque the relationship between loop neurons and other complex systems. Here we introduce a modeling framework that captures the behavior of the relevant synaptic, dendritic, and neuronal circuits at a phenomenological level without resorting to full circuit equations. Within this compact model, each dendrite is discovered to obey a single nonlinear leaky-integrator ordinary differential equation, while a neuron is modeled as a dendrite with a thresholding element and an additional feedback mechanism for establishing a refractory period. A synapse is modeled as a single-photon detector coupled to a dendrite, where the response of the single-photon detector follows a closed-form expression. We quantify the accuracy of the phenomenological model relative to circuit simulations and find that the approach reduces computational time by a factor of ten thousand while maintaining accuracy of one part in ten thousand. We demonstrate the use of the model with several basic examples. The net increase in computational efficiency enables future simulation of large networks, while the formulation provides a connection to a large body of work in applied mathematics, computational neuroscience, and physical systems such as spin glasses.


title: Rational Wavefunctions in de Sitter Spacetime

abstract: The Bootstrap approach to calculating cosmological correlators relies on a well motivated ansatz. It is typical in the literature to assume that correlators are rational functions as this greatly increases our constraining power. However, this has only previously been demonstrated for some specific theories. In this paper we find a set of assumptions which we prove are sufficient to ensure that the wavefunction coefficients are rational. As a corollary of this we generalise the manifestly local test to higher dimensions. This result greatly reduces the allowed space of functions that wavefunction coefficients can take in both the Effective Field Theory of Inflation and Pure Gravity models and is thus a key ingredient in the Cosmological Bootstrap program.


title: EAGLE-like simulation models do not solve the entropy core problem in groups and clusters of galaxies

abstract: Recent high-resolution cosmological hydrodynamic simulations run with a variety of codes systematically predict large amounts of entropy in the intra-cluster medium at low redshift, leading to flat entropy profiles and a suppressed cool-core population. This prediction is at odds with X-ray observations of groups and clusters. We use a new implementation of the EAGLE galaxy formation model to investigate the sensitivity of the central entropy and the shape of the profiles to changes in the sub-grid model applied to a suite of zoom-in cosmological simulations of a group of mass $M_{500} = 8.8 \times 10^{12}~{\rm M}_\odot$ and a cluster of mass $2.9 \times 10^{14}~{\rm M}_\odot$. Using our reference model, calibrated to match the stellar mass function of field galaxies, we confirm that our simulated groups and clusters contain hot gas with too high entropy in their cores. Additional simulations run without artificial conduction, metal cooling or AGN feedback produce lower entropy levels but still fail to reproduce observed profiles. Conversely, the two objects run without supernova feedback show a significant entropy increase which can be attributed to excessive cooling and star formation. Varying the AGN heating temperature does not greatly affect the profile shape, but only the overall normalisation. Finally, we compared runs with four AGN heating schemes and obtained similar profiles, with the exception of bipolar AGN heating, which produces a higher and more uniform entropy distribution. Our study leaves open the question of whether the entropy core problem in simulations, and particularly the lack of power-law cool-core profiles, arise from incorrect physical assumptions, missing physical processes, or insufficient numerical resolution.


title: Multivariate Super-Resolution without Separation

abstract: In this paper we study the high-dimensional super-resolution imaging problem. Here we are given an image of a number of point sources of light whose locations and intensities are unknown. The image is pixelized and is blurred by a known point-spread function arising from the imaging device. We encode the unknown point sources and their intensities via a nonnegative measure and we propose a convex optimization program to find it. Assuming the device's point-spread function is component-wise decomposable, we show that the optimal solution is the true measure in the noiseless case, and it approximates the true measure well in the noisy case with respect to the generalized Wasserstein distance. Our main assumption is that the components of the point-spread function form a Tchebychev system ($T$-system) in the noiseless case and a $T^*$-system in the noisy case, mild conditions that are satisfied by Gaussian point-spread functions. Our work is a generalization to all dimensions of the work (Eftekhari, Bendory, & Tang, 2021) where the same analysis is carried out in 2 dimensions. We resolve an open problem posed in (Schiebinger, Robeva, & Recht, 2018) in the case when the point-spread function decomposes.


title: Digital Discovery of 100 diverse Quantum Experiments with PyTheus

abstract: Photons are the physical system of choice for performing experimental tests of the foundations of quantum mechanics. Furthermore, photonic quantum technology is a main player in the second quantum revolution, promising the development of better sensors, secure communications, and quantum-enhanced computation. These endeavors require generating specific quantum states or efficiently performing quantum tasks. The design of the corresponding optical experiments was historically powered by human creativity but is recently being automated with advanced computer algorithms and artificial intelligence. While several computer-designed experiments have been experimentally realized, this approach has not yet been widely adopted by the broader photonic quantum optics community. The main roadblocks consist of most systems being closed-source, inefficient, or targeted to very specific use-cases that are difficult to generalize. Here, we overcome these problems with a highly-efficient, open-source digital discovery framework PyTheus, which can employ a wide range of experimental devices from modern quantum labs to solve various tasks. This includes the discovery of highly entangled quantum states, quantum measurement schemes, quantum communication protocols, multi-particle quantum gates, as well as the optimization of continuous and discrete properties of quantum experiments or quantum states. PyTheus produces interpretable designs for complex experimental problems which human researchers can often readily conceptualize. PyTheus is an example of a powerful framework that can lead to scientific discoveries -- one of the core goals of artificial intelligence in science. We hope it will help accelerate the development of quantum optics and provide new ideas in quantum hardware and technology.


title: Digital Discovery of a Scientific Concept at the Core of Experimental Quantum Optics

abstract: Entanglement is a crucial resource for quantum technologies ranging from quantum communication to quantum-enhanced measurements and computation. Finding experimental setups for these tasks is a conceptual challenge for human scientists due to the counterintuitive behavior of multiparticle interference and the enormously large combinatorial search space. Recently, new possibilities have been opened by artificial discovery where artificial intelligence proposes experimental setups for the creation and manipulation of high-dimensional multi-particle entanglement. While digitally discovered experiments go beyond what has been conceived by human experts, a crucial goal is to understand the underlying concepts which enable these new useful experimental blueprints. Here, we present Halo (Hyperedge Assembly by Linear Optics), a new form of multiphoton quantum interference with surprising properties. Halos were used by our digital discovery framework to solve previously open questions. We -- the human part of this collaboration -- were then able to conceptualize the idea behind the computer discovery and describe them in terms of effective probabilistic multi-photon emitters. We then demonstrate its usefulness as a core of new experiments for highly entangled states, communication in quantum networks, and photonic quantum gates. Our manuscript has two conclusions. First, we introduce and explain the physics of a new practically useful multi-photon interference phenomenon that can readily be realized in advanced setups such as integrated photonic circuits. Second, our manuscript demonstrates how artificial intelligence can act as a source of inspiration for the scientific discoveries of new actionable concepts in physics.


title: Extended superscaling with two-particle emission in electron and neutrino scattering

abstract: An extended superscaling analysis of quasielastic electron scattering data is proposed by parametrizing the scaling function as the sum of a symmetric function corresponding to the emission of a single particle plus a contribution from the phase space of two-particle emission. The phase space of two-particle emission (2p2h) is multiplied by a q-dependent parameter that has been fitted to describe the tail behavior of the scaling function. This approach allows for an alternative description of the quasielastic electron scattering data, incorporating the contributions from both single-particle and two-particle emission processes induced by the one-body current and explaining the asymmetry of the scaling function. In a factorized schematic model based on the independent-pair approximation, the 2p2h parameter is related to the high-momentum distribution of the pair averaged over 2p-2h excitations. However, in the phenomenological fitting approach undertaken here, this coefficient includes other contributions such as interference with two-body currents and effects of the final-state interactions. We present predictions for the inclusive two-nucleon emission cross section induced by electrons and neutrinos.


title: Martingales for physicists: A treatise on stochastic thermodynamics and beyond

abstract: We review the theory of martingales as applied to stochastic thermodynamics and stochastic processes in physics more generally.

categories: cond-mat.stat-mech math-ph math.MP math.PR physics.bio-ph


title: Making a MIRACL: Multilingual Information Retrieval Across a Continuum of Languages

abstract: MIRACL (Multilingual Information Retrieval Across a Continuum of Languages) is a multilingual dataset we have built for the WSDM 2023 Cup challenge that focuses on ad hoc retrieval across 18 different languages, which collectively encompass over three billion native speakers around the world. These languages have diverse typologies, originate from many different language families, and are associated with varying amounts of available resources -- including what researchers typically characterize as high-resource as well as low-resource languages. Our dataset is designed to support the creation and evaluation of models for monolingual retrieval, where the queries and the corpora are in the same language. In total, we have gathered over 700k high-quality relevance judgments for around 77k queries over Wikipedia in these 18 languages, where all assessments have been performed by native speakers hired by our team. Our goal is to spur research that will improve retrieval across a continuum of languages, thus enhancing information access capabilities for diverse populations around the world, particularly those that have been traditionally underserved. This overview paper describes the dataset and baselines that we share with the community. The MIRACL website is live at http://miracl.ai/.


title: Gluon Parton Distribution of the Nucleon from 2+1+1-Flavor Lattice QCD in the Physical-Continuum Limit

abstract: We present the first physical-continuum limit $x$-dependent nucleon gluon distribution from lattice QCD using the pseudo-PDF approach, on lattice ensembles with $2+1+1$ flavors of highly improved staggered quarks (HISQ), generated by MILC Collaboration. We use clover fermions for the valence action on three lattice spacings $a \approx 0.9$, 0.12 and 0.15~fm and three pion masses $M_\pi \approx 220$, 310 and 690~MeV, with nucleon two-point measurements numbering up to $O(10^6)$ and nucleon boost momenta up to 3~GeV. We study the lattice-spacing and pion-mass dependence of the reduced pseudo-ITD matrix elements obtained from the lattice calculation, then extrapolate them to the continuum-physical limit before extracting $xg(x)/\langle x \rangle_g$. We use the gluon momentum fraction $\langle x \rangle_g$ calculated from the same ensembles to determine the nucleon gluon unpolarized PDF $xg(x)$ for the first time entirely through lattice-QCD simulation. We compare our results with previous single-ensemble lattice calculations, as well as selected global fits.


title: Phase transition in the computational complexity of the shortest common superstring and genome assembly

abstract: Genome assembly, the process of reconstructing a long genetic sequence by aligning and merging short fragments, or reads, is known to be NP-hard, either as a version of the shortest common superstring problem or in a Hamiltonian-cycle formulation. That is, the computing time is believed to grow exponentially with the the problem size in the worst case. Despite this fact, high-throughput technologies and modern algorithms currently allow bioinformaticians to handle datasets of billions of reads. Using methods from statistical mechanics, we address this conundrum by demonstrating the existence of a phase transition in the computational complexity of the problem and showing that practical instances always fall in the 'easy' phase (solvable by polynomial-time algorithms). In addition, we propose a Markov-chain Monte Carlo method that outperforms common deterministic algorithms in the hard regime.

categories: cond-mat.stat-mech cs.CC physics.bio-ph q-bio.GN


title: Discovery of one neutron star candidate from radial velocity monitoring

abstract: We report the discovery of one possible neutron star binary ($P_{\rm orb} =$ 0.8666 day) by using the LAMOST low-resolution spectroscopic data. The visible companion is a late A-type dwarf ($T_{\rm eff} = 7900 \pm 200$ K; log$g$ $=$ 4.3$\pm$0.2; $M =$ 1.7$\pm$0.1 M$_{\odot}$; $R\ =\ 1.7\pm0.2$ R$_{\odot}$), at a distance of 1.11$\pm0.03$ kpc. No double-lined feature can be seen from the GTC/HORuS high-resolution spectra, thus the radial velocity variation indicates an invisible object hiding in the binary. The system's optical light curves show clear ellipsoidal variability, suggesting that the visible companion is tidal distorted. By fitting the multi-band light curves with the ELC and WD codes, we constrain the mass of the invisible star to be 1.1--1.3 M$_{\odot}$. Spectral disentangling shows no additional component with optical absorption spectra, supporting the system contains one compact object. No X-ray or UV emission are detected in the ROSAT archive observations. Therefore, we suspect the invisible object is more likely a neutron star rather than a white dwarf. Our finding suggests the ability of LAMOST spectroscopic survey to discover X-ray quiescent compact objects.


title: Angular distribution of $\Lambda_b^0\to pK^-\ell^+\ell^-$ decays comprising $\Lambda$ resonances with spin up to $\leq5/2$

abstract: This paper describes the angular distribution of $\Lambda_b^0\to \Lambda(\to pK^-)\ell^+\ell^-$ decays. A full expression is given for the case of multiple interfering spin-states with spin $\leq \tfrac{5}{2}$. This distribution is relevant for future measurements of $\Lambda_b^0\to pK^-\ell^+\ell^-$ decays, where different states cannot easily be separated based on their mass alone. New observables arise when considering spin-$\tfrac{5}{2}$ states as well as interference between states. An exploration of their behaviour for a variety of beyond the Standard Model scenarios shows that some of these observables exhibit interesting sensitivity to the Wilson coefficients involved in $b\to s\ell^+\ell^-$ transitions. Others are insensitive to the Wilson coefficients and can be used to verify the description of $\Lambda_b^0\to \Lambda$ form-factors. A basis of weighting functions that can be used to determine all of the angular observables described in this paper in a moment analysis of the experimental data is also provided.


title: First-principles Study of Phonon Lifetime and Low Lattice Thermal Conductivity of Monolayer {\gamma}-GeSe: A Comparative Study

abstract: Germanium selenide (GeSe) is a unique two-dimensional (2D) material showing various polymorphs stable at ambient condition. Recently, a new phase with a layered hexagonal lattice ({\gamma}-GeSe) was synthesized with ambient stability and extraordinary electronic conductivity even higher than graphite while its monolayer is semiconducting. In this work, via using first-principles derived force constants and Boltzmann transport theory we explore the lattice thermal conductivity ({\kappa}_l) of the monolayer {\gamma}-GeSe, together with a comparison with monolayer {\alpha}-GeSe and {\beta}-GeSe. The {\kappa}_l of {\gamma}-phase is relatively low (5.50 W/mK), comparable with those of {\alpha}- and {\beta}- phases. The acoustic branches in {\alpha}-GeSe are well separated from the optical branches, limiting scattering channels in the phase space, while for \b{eta}-GeSe and {\gamma}-GeSe the acoustic branches are resonant with the low-frequency optical branches facilitating more phonon-phonon scattering. For {\gamma}-GeSe, the cumulative {\kappa}_l is isotropic and phononic representative mean free path (rMFP) is the shortest (17.07 nm) amongst the three polymorphs, indicating that the {\kappa}_l of the {\gamma} phase is less likely to be affected by the size of the sample, while for {\alpha}-GeSe the cumulative {\kappa}_l grows slowly with mean free path and the rMFP is longer (up to 20.56 and 35.94 nm along zigzag and armchair direction, respectively), showing a stronger size-dependence of {\kappa}_l. Our work suggests that GeSe polymorphs with overall low thermal conductivity are promising contenders for thermoelectric and thermal management applications.


title: Post-hoc analysis of Arabic transformer models

abstract: Arabic is a Semitic language which is widely spoken with many dialects. Given the success of pre-trained language models, many transformer models trained on Arabic and its dialects have surfaced. While there have been an extrinsic evaluation of these models with respect to downstream NLP tasks, no work has been carried out to analyze and compare their internal representations. We probe how linguistic information is encoded in the transformer models, trained on different Arabic dialects. We perform a layer and neuron analysis on the models using morphological tagging tasks for different dialects of Arabic and a dialectal identification task. Our analysis enlightens interesting findings such as: i) word morphology is learned at the lower and middle layers, ii) while syntactic dependencies are predominantly captured at the higher layers, iii) despite a large overlap in their vocabulary, the MSA-based models fail to capture the nuances of Arabic dialects, iv) we found that neurons in embedding layers are polysemous in nature, while the neurons in middle layers are exclusive to specific properties


title: Versatile van der Waals Heterostructures of Gamma-GeSe with h-BN/Graphene/MoS2

abstract: Recent discovery of a novel hexagonal phase of GeSe (Gamma-GeSe) has triggered great interests in nanoelectronics applications owing to its electrical conductivity of bulk phase even higher than graphite while its monolayer is a semiconductor. For potential applications, construction of functional two-dimensional (2D) contacts is indispensable. Herein, via first-principles calculations, we propose the design of van der Waals heterostructures (vdWHs) of Gamma-GeSe contacting respectively with graphene, 2D h-BN and MoS2, as representatives of metallic, insulator, and semiconductor partners. Our work shows that the h-BN or graphene layer donates electrons to the Gamma-GeSe layer, resulting in n doping in Gamma-GeSe, while the MoS2 layer accepts electrons from the Gamma-GeSe layer leading to p doping of the latter. The Gamma-GeSe/BN heterostructure has a type-I band alignment with large band offsets, indicating that BN can be used as an effective passivating layer to protect Gamma-GeSe from its environmental disturbance while maintaining its major electronic and optical characteristics. For Gamma-GeSe/graphene heterostructure, it is prone to have a very low-Schottky barrier down to tens of meV, easily overcome by thermal excitation, which can be tunable by strain and external electric field. The Gamma-GeSe/MoS2 vdWH forms a Z-scheme interface, which is beneficial for carriers splitting and photon utilization. Our work indicates that Gamma-GeSe can be well passivated by BN, and form intimate contact with graphene for high charge injection efficiency and with MoS2 for efficient carriers splitting for redox reactions.


title: Optimal Event Monitoring through Internet Mashup over Multivariate Time Series

abstract: We propose a Web-Mashup Application Service Framework for Multivariate Time Series Analytics (MTSA) that supports the services of model definitions, querying, parameter learning, model evaluations, data monitoring, decision recommendations, and web portals. This framework maintains the advantage of combining the strengths of both the domain-knowledge-based and the formal-learning-based approaches and is designed for a more general class of problems over multivariate time series. More specifically, we identify a general-hybrid-based model, MTSA-Parameter Estimation, to solve this class of problems in which the objective function is maximized or minimized from the optimal decision parameters regardless of particular time points. This model also allows domain experts to include multiple types of constraints, e.g., global constraints and monitoring constraints. We further extend the MTSA data model and query language to support this class of problems for the services of learning, monitoring, and recommendation. At the end, we conduct an experimental case study for a university campus microgrid as a practical example to demonstrate our proposed framework, models, and language.


title: Spectral curves and $W$-representations of matrix models

abstract: We explain how the spectral curve can be extracted from the ${\cal W}$-representation of a matrix model. It emerges from the part of the ${\cal W}$-operator, which is linear in time-variables. A possibility of extracting the spectral curve in this way is important because there are models where matrix integrals are not yet available, and still they possess all their important features. We apply this reasoning to the family of WLZZ models and discuss additional peculiarities which appear for the non-negative value of the family parameter $n$, when the model depends on additional couplings (dual times). In this case, the relation between topological and $1/N$ expansions is broken. On the other hand, all the WLZZ partition functions are $\tau$-functions of the Toda lattice hierarchy, and these models also celebrate the superintegrability properties.


title: Application of topological edge states in magnetic resonance imaging

abstract: Topological edge states in electromagnetic systems feature a set of attracting fundamental properties and unveil prospective applications based on disorder robustness and tailored localization. Despite active efforts in implementing topologically-protected waveguides in 2D photonic systems, applications of 1D topological systems remain almost uncharted. This letter demonstrates that topological edge modes can be realized in metamaterial-inspired volumetric resonators with a practical application in clinical magnetic resonance imaging (MRI). Performing numerical simulations and experiments with a 1.5 T MR scanner, we reconstruct the associated topological edge mode profiles and demonstrate their feasibility for sensitivity enhancement of conventional radiofrequency coils.


title: Mean opacities of a strongly magnetized high temperature plasma

abstract: Geometry and dynamical structure of emission regions in accreting pulsars are shaped by the interplay between gravity, radiation, and strong magnetic field, which significantly affects the opacities of a plasma and radiative pressure under such extreme conditions. Quantitative consideration of magnetic plasma opacities is, therefore, an essential ingredient of any self-consistent modeling of emission region structure of X-ray pulsars. We present results of computations of the Rosseland and Planck mean opacities of a strongly magnetized plasma with a simple chemical composition,namely the solar hydrogen/helium mix. We consider all relevant specific opacities of the magnetized plasma including vacuum polarization effect and contribution of electron-positron pairs where the pair number density is computed in the thermodynamic equilibrium approximation. The magnetic Planck mean opacity determines the radiative cooling of an optically thin strongly magnetized plasma. It is by factor of three smaller than non-magnetic Planck opacity at $k_{\rm B}T < 0.1\,E_{\rm cyc}$ and increases by a factor of $10^2 - 10^4$ at $k_{\rm B}T > 0.3\,E_{\rm cyc}$ due to cyclotron thermal processes. We propose a simple approximate expression which has sufficient accuracy for the magnetic Planck opacity description. We provide the Rosseland opacity in a tabular form computed in the temperature range 1 - 300 keV, magnetic field range $3 \times 10^{10} - 10^{15}$ G, and a broad range of plasma densities. We demonstrate that the scattering on the electron-positron pairs increases the Rosseland opacity drastically at temperatures >50 keV in the case of mass densities typical for accretion channel in X-ray pulsars.


title: Perceptual Grouping in Contrastive Vision-Language Models

abstract: Recent advances in zero-shot image recognition suggest that vision-language models learn generic visual representations with a high degree of semantic information that may be arbitrarily probed with natural language phrases. Understanding an image, however, is not just about understanding what content resides within an image, but importantly, where that content resides. In this work we examine how well vision-language models are able to understand where objects reside within an image and group together visually related parts of the imagery. We demonstrate how contemporary vision and language representation learning models based on contrastive losses and large web-based data capture limited object localization information. We propose a minimal set of modifications that results in models that uniquely learn both semantic and spatial information. We measure this performance in terms of zero-shot image recognition, unsupervised bottom-up and top-down semantic segmentations, as well as robustness analyses. We find that the resulting model achieves state-of-the-art results in terms of unsupervised segmentation, and demonstrate that the learned representations are uniquely robust to spurious correlations in datasets designed to probe the causal behavior of vision models.


title: Bag All You Need: Learning a Generalizable Bagging Strategy for Heterogeneous Objects

abstract: We introduce a practical robotics solution for the task of heterogeneous bagging, requiring the placement of multiple rigid and deformable objects into a deformable bag. This is a difficult task as it features complex interactions between multiple highly deformable objects under limited observability. To tackle these challenges, we propose a robotic system consisting of two learned policies: a rearrangement policy that learns to place multiple rigid objects and fold deformable objects in order to achieve desirable pre-bagging conditions, and a lifting policy to infer suitable grasp points for bi-manual bag lifting. We evaluate these learned policies on a real-world three-arm robot platform that achieves a 70% heterogeneous bagging success rate with novel objects. To facilitate future research and comparison, we also develop a novel heterogeneous bagging simulation benchmark that will be made publicly available.


title: Locally Smoothed Gaussian Process Regression

abstract: We develop a novel framework to accelerate Gaussian process regression (GPR). In particular, we consider localization kernels at each data point to down-weigh the contributions from other data points that are far away, and we derive the GPR model stemming from the application of such localization operation. Through a set of experiments, we demonstrate the competitive performance of the proposed approach compared to full GPR, other localized models, and deep Gaussian processes. Crucially, these performances are obtained with considerable speedups compared to standard global GPR due to the sparsification effect of the Gram matrix induced by the localization operation.


title: Magnetic flux penetration in nanoscale wedge-shaped superconducting thin films

abstract: Thickness uniformity is regarded as an important parameter in designing thin film devices. However, some applications based on films with non-uniform thickness have recently emerged, such as gas sensors and optimized materials based on the gradual change of film composition. This work deals with superconducting Pb thin films with a thickness gradient prepared with the aid of a diffuse stencil mask. Atomic Force Microscopy and Energy-Dispersive X-ray Spectroscopy show variations ranging from 90~nm to 154~nm. Quantitative magneto-optical images reveal interesting features during both the abrupt and the smooth penetration regimes of magnetic flux, as well as the thickness-dependent critical current density ($J_c$). In addition, we observe a gradual superconducting transition as the upper critical field is progressively reached for certain thicknesses. Furthermore, the hysteresis observed for triggering flux avalanches when increasing and decreasing magnetic fields is also accounted for by the $J_c$ profile evolution along the thickness gradient. Numerical simulations based on the Thermomagnetic Model are in fair agreement with the experimental data. These findings demonstrate that wedge-shaped films are a viable approach to investigate, in a continuous fashion, thickness-dependent properties of a superconducting materials.


title: A Lemma of Lazarsfeld and the Jacobian blow up

abstract: For a complex analytic function $f$, the exceptional divisor of the jacobian blow-up is of great importance. In this paper, we show what a lemma from the thesis of Lazarsfeld tells one about the structure of this exceptional divisor.


title: Algebraic and context-free subsets of subgroups

abstract: We study the relation between the structure of algebraic and context-free subsets of a group G and that of a finite index subgroup H. Using these results, we prove that a kind of Fatou property, previously studied by Berstel and Sakarovitch in the context of rational subsets and by Herbst in the context of algebraic subsets, holds for context-free subsets if and only if the group is virtually free. We also exhibit a counterexample to a question of Herbst concerning this property for algebraic subsets.


title: Singular limits of certain Hilbert-Schmidt integral operators

abstract: In this paper we study the small-$\lambda$ spectral asymptotics of an integral operator $\mathscr{K}$ defined on two multi-intervals $J$ and $E$, when the multi-intervals touch each other (but their interiors are disjoint). The operator $\mathscr{K}$ is closely related to the multi-interval Finite Hilbert Transform (FHT). This case can be viewed as a singular limit of self-adjoint Hilbert-Schmidt integral operators with so-called integrable kernels, where the limiting operator is still bounded, but has a continuous spectral component. The regular case when $\text{dist}(J,E)>0$, and $\mathscr{K}$ is of the Hilbert-Schmidt class, was studied in an earlier paper by the authors. The main assumption in this paper is that $U=J\cup E$ is a single interval. We show that the eigenvalues of $\mathscr{K}$, if they exist, do not accumulate at $\lambda=0$. Combined with the results in an earlier paper by the authors, this implies that $H_p$, the subspace of discontinuity (the span of all eigenfunctions) of $\mathscr{K}$, is finite dimensional and consists of functions that are smooth in the interiors of $J$ and $E$. We also obtain an approximation to the kernel of the unitary transformation that diagonalizes $\mathscr{K}$, and obtain a precise estimate of the exponential instability of inverting $\mathscr{K}$. Our work is based on the method of Riemann-Hilbert problem and the nonlinear steepest-descent method of Deift and Zhou.


title: $k$-Means Clustering for Persistent Homology

abstract: Persistent homology is a methodology central to topological data analysis that extracts and summarizes the topological features within a dataset as a persistence diagram; it has recently gained much popularity from its myriad successful applications to many domains. However, its algebraic construction induces a metric space of persistence diagrams with a highly complex geometry. In this paper, we prove convergence of the $k$-means clustering algorithm on persistence diagram space and establish theoretical properties of the solution to the optimization problem in the Karush--Kuhn--Tucker framework. Additionally, we perform numerical experiments on various representations of persistent homology, including embeddings of persistence diagrams as well as diagrams themselves and their generalizations as persistence measures; we find that $k$-means clustering performance directly on persistence diagrams and measures outperform their vectorized representations.


title: A Radiative-Convective Model for Terrestrial Planets with Self-Consistent Patchy Clouds

abstract: Clouds are ubiquitous\, -- \,they arise for every solar system planet that possesses an atmosphere and have also been suggested as a leading mechanism for obscuring spectral features in exoplanet observations. As exoplanet observations continue to improve, there is a need for efficient and general planetary climate models that appropriately handle the possible cloudy atmospheric environments that arise on these worlds. We generate a new 1D radiative-convective terrestrial planet climate model that self-consistently handles patchy clouds through a parameterized microphysical treatment of condensation and sedimentation processes. Our model is general enough to recreate Earth's atmospheric radiative environment without over-parameterization, while also maintaining a simple implementation that is applicable to a wide range of atmospheric compositions and physical planetary properties. We first validate this new 1D patchy cloud radiative-convective climate model by comparing it to Earth thermal structure data and to existing climate and radiative transfer tools. We produce partially-clouded Earth-like climates with cloud structures that are representative of deep tropospheric convection and are adequate 1D representations of clouds within rocky planet atmospheres. After validation against Earth, we then use our partially clouded climate model and explore the potential climates of super-Earth exoplanets with secondary nitrogen-dominated atmospheres which we assume are abiotic. We also couple the partially clouded climate model to a full-physics, line-by-line radiative transfer model and generate high-resolution spectra of simulated climates. These self-consistent climate-to-spectral models bridge the gap between climate modeling efforts and observational studies of rocky worlds.


title: Otsu based Differential Evolution Method for Image Segmentation

abstract: This paper proposes an OTSU based differential evolution method for satellite image segmentation and compares it with four other methods such as Modified Artificial Bee Colony Optimizer (MABC), Artificial Bee Colony (ABC), Genetic Algorithm (GA), and Particle Swarm Optimization (PSO) using the objective function proposed by Otsu for optimal multilevel thresholding. The experiments conducted and their results illustrate that our proposed DE and OTSU algorithm segmentation can effectively and precisely segment the input image, close to results obtained by the other methods. In the proposed DE and OTSU algorithm, instead of passing the fitness function variables, the entire image is passed as an input to the DE algorithm after obtaining the threshold values for the input number of levels in the OTSU algorithm. The image segmentation results are obtained after learning about the image instead of learning about the fitness variables. In comparison to other segmentation methods examined, the proposed DE and OTSU algorithm yields promising results with minimized computational time compared to some algorithms.


title: Local regularity for nonlinear elliptic and parabolic equations with anisotropic weights

abstract: The main purpose of this paper is to capture the asymptotic behavior for solutions to a class of nonlinear elliptic and parabolic equations with the anisotropic weights consisting of two power-type weights of different dimensions near the degenerate or singular point, especially covering the weighted $p$-Laplace equations and weighted fast diffusion equations. As a consequence, we also establish the local H\"{o}lder estimates for their solutions in the presence of single power-type weights.


title: Local and global notions of visibility with respect to Kobayashi distance, a comparison

abstract: In this note, we introduce the notion of visible boundary points with respect to Kobayashi distance for domains in complex euclidean space. Following the work of Sarkar, we obtain additive and multiplicative localization results about Kobayashi distance near visible boundary points. Then using the additive localization result, we show that visibility property with respect to Kobayashi distance is a local property of the boundary points and it does not depend on the domain.


title: A transmission spectrum of the sub-Earth planet L98-59~b in 1.1-1.7 $\mu$m

abstract: With the increasing number of planets discovered by TESS, the atmospheric characterization of small exoplanets is accelerating. L98-59 is a M-dwarf hosting a multi-planet system, and so far, four small planets have been confirmed. The innermost planet b is $\sim15\%$ smaller and $\sim60\%$ lighter than Earth, and should thus have a predominantly rocky composition. The Hubble Space Telescope observed five primary transits of L98-59b in $1.1-1.7\ \mu$m, and here we report the data analysis and the resulting transmission spectrum of the planet. We measure the transit depths for each of the five transits and, by combination, we obtain a transmission spectrum with an overall precision of $\sim20$ ppm in for each of the 18 spectrophotometric channels. With this level of precision, the transmission spectrum does not show significant modulation, and is thus consistent with a planet without any atmosphere or a planet having an atmosphere and high-altitude clouds or haze. The scenarios involving an aerosol-free, H$_2$-dominated atmosphere with H$_2$O or CH$_4$ are inconsistent with the data. The transmission spectrum also disfavors, but does not rules out, an H$_2$O-dominated atmosphere without clouds. A spectral retrieval process suggests that an H$_2$-dominated atmosphere with HCN and clouds or haze may be the preferred solution, but this indication is non-conclusive. Future James Webb Space Telescope observations may find out the nature of the planet among the remaining viable scenarios.


title: Emergence of hydrodynamic spatial long-range correlations in nonequilibrium many-body systems

abstract: At large scales of space and time, the nonequilibrium dynamics of local observables in extensive many-body systems is well described by hydrodynamics. At the Euler scale, one assumes that each mesoscopic region independently reaches a state of maximal entropy under the constraints given by the available conservation laws. Away from phase transitions, maximal entropy states show exponential correlation decay, and independence of fluid cells might be assumed to subsist during the course of time evolution. We show that this picture is incorrect: under ballistic scaling, regions separated by macroscopic distances develop long-range correlations as time passes. These correlations take a universal form that only depends on the Euler hydrodynamics of the model. They are rooted in the large-scale motion of interacting fluid modes, and are the dominant long-range correlations developing in time from long-wavelength, entropy-maximised states. They require the presence of interaction and at least two different fluid modes, and are of a fundamentally different nature from well-known long-range correlations occurring from diffusive spreading or from quasi-particle excitations produced in far-from-equilibrium quenches. We provide a universal theoretical framework to exactly evaluate them, an adaptation of the macroscopic fluctuation theory to the Euler scale. We verify our exact predictions in the hard-rod gas, by comparing with numerical simulations and finding excellent agreement.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: Vision Paper: Causal Inference for Interpretable and Robust Machine Learning in Mobility Analysis

abstract: Artificial intelligence (AI) is revolutionizing many areas of our lives, leading a new era of technological advancement. Particularly, the transportation sector would benefit from the progress in AI and advance the development of intelligent transportation systems. Building intelligent transportation systems requires an intricate combination of artificial intelligence and mobility analysis. The past few years have seen rapid development in transportation applications using advanced deep neural networks. However, such deep neural networks are difficult to interpret and lack robustness, which slows the deployment of these AI-powered algorithms in practice. To improve their usability, increasing research efforts have been devoted to developing interpretable and robust machine learning methods, among which the causal inference approach recently gained traction as it provides interpretable and actionable information. Moreover, most of these methods are developed for image or sequential data which do not satisfy specific requirements of mobility data analysis. This vision paper emphasizes research challenges in deep learning-based mobility analysis that require interpretability and robustness, summarizes recent developments in using causal inference for improving the interpretability and robustness of machine learning methods, and highlights opportunities in developing causally-enabled machine learning models tailored for mobility analysis. This research direction will make AI in the transportation sector more interpretable and reliable, thus contributing to safer, more efficient, and more sustainable future transportation systems.


title: Flare Duty Cycle of Gamma-Ray Blazars and Implications for High-Energy Neutrino Emission

abstract: Gamma-ray flares of blazars may be accompanied by high-energy neutrinos due to interactions of high-energy cosmic rays in the jet with photons, as suggested by the detection of the high-energy neutrino IceCube-170922A during a major gamma-ray flare from blazar TXS 0506+056 at the $\sim3\sigma$ significance level. In this work, we present a statistical study of gamma-ray emission from blazars to constrain the contribution of gamma-ray flares to their neutrino output. We construct weekly binned light curves for 145 gamma-ray bright blazars in the {\it Fermi} Large Area Telescope (LAT) Monitored Source List adding TXS 0506+056. We derive the fraction of time spent in the flaring state (flare duty cycle) and the fraction of energy released during each flare from the light curves with a Bayesian blocks algorithm. We find that blazars with lower flare duty cycles and energy fractions are more numerous among our sample. We identify a significant difference in flare duty cycles between blazar sub-classes at a significance level of 5~\%. Then using a general scaling relation for the neutrino and gamma-ray luminosities, $L_{\nu} \propto (L_{\gamma})^{\gamma}$ with a weighting exponent of ${\gamma} = 1.0 - 2.0$, normalized to the quiescent gamma-ray or X-ray flux of each blazar, we evaluate the neutrino energy flux of each gamma-ray flare. The gamma-ray flare distribution indicates that blazar neutrino emission may be dominated by flares for $\gamma\gtrsim1.5$. The neutrino energy fluxes for one-week and 10-year bins are compared with the declination-dependent IceCube sensitivity to constrain the standard neutrino emission models for gamma-ray flares. Finally, we present the upper-limit contribution of blazar gamma-ray flares to the isotropic diffuse neutrino flux.


title: Log-linear Guardedness and its Implications

abstract: Methods for erasing human-interpretable concepts from neural representations that assume linearity have been found to be tractable and useful. However, the impact of this removal on the behavior of downstream classifiers trained on the modified representations is not fully understood. In this work, we formally define the notion of log-linear guardedness as the inability of an adversary to predict the concept directly from the representation, and study its implications. We show that, in the binary case, under certain assumptions, a downstream log-linear model cannot recover the erased concept. However, we demonstrate that a multiclass log-linear model \emph{can} be constructed that indirectly recovers the concept in some cases, pointing to the inherent limitations of log-linear guardedness as a downstream bias mitigation technique. These findings shed light on the theoretical limitations of linear erasure methods and highlight the need for further research on the connections between intrinsic and extrinsic bias in neural models.


title: Aerodynamic Optimization of the Angle of Attack of the Wing Design of a MQ-9 Reaper UAV

abstract: In this paper I present the aerodynamic optimization of the angle of attack of MQ-9 Reaper wings under turbulent airflow conditions. The background discusses the evolution of UAVs such as the Hunter and their usages for different tasks, specifically within the last decade. The main procedural stage consists of creating a criterion for choosing the most aerodynamic wing design by considering certain aerodynamic properties and analyzing the lift and drag coefficients using computer software. At the end of the paper, the final optimized MQ-9 wing design, along with its respective design parameters, are presented and discussed.


title: On Classification Thresholds for Graph Attention with Edge Features

abstract: The recent years we have seen the rise of graph neural networks for prediction tasks on graphs. One of the dominant architectures is graph attention due to its ability to make predictions using weighted edge features and not only node features. In this paper we analyze, theoretically and empirically, graph attention networks and their ability of correctly labelling nodes in a classic classification task. More specifically, we study the performance of graph attention on the classic contextual stochastic block model (CSBM). In CSBM the nodes and edge features are obtained from a mixture of Gaussians and the edges from a stochastic block model. We consider a general graph attention mechanism that takes random edge features as input to determine the attention coefficients. We study two cases, in the first one, when the edge features are noisy, we prove that the majority of the attention coefficients are up to a constant uniform. This allows us to prove that graph attention with edge features is not better than simple graph convolution for achieving perfect node classification. Second, we prove that when the edge features are clean graph attention can distinguish intra- from inter-edges and this makes graph attention better than classic graph convolution.


title: Towards Task-Specific Modular Gripper Fingers: Automatic Production of Fingertip Mechanics

abstract: The number of sequential tasks a single gripper can perform is significantly limited by its design. In many cases, changing the gripper fingers is required to successfully conduct multiple consecutive tasks. For this reason, several robotic tool change systems have been introduced that allow an automatic changing of the entire end-effector. However, many situations require only the modification or the change of the fingertip, making the exchange of the entire gripper uneconomic. In this paper, we introduce a paradigm for automatic task-specific fingertip production. The setup used in the proposed framework consists of a production and task execution unit, containing a robotic manipulator, and two 3D printers - autonomously producing the gripper fingers. It also consists of a second manipulator that uses a quick-exchange mechanism to pick up the printed fingertips and evaluates gripping performance. The setup is experimentally validated by conducting automatic production of three different fingertips and executing graspstability tests as well as multiple pick- and insertion tasks, with and without position offsets - using these fingertips. The proposed paradigm, indeed, goes beyond fingertip production and serves as a foundation for a fully automatic fingertip design, production and application pipeline - potentially improving manufacturing flexibility and representing a new production paradigm: tactile 3D manufacturing.


title: Contribution to the initialization of linear non-commensurate fractional-order systems for the joint estimation of parameters and fractional differentiation orders

abstract: It has been recognized that using time-varying initialization functions to solve the initial value problem of fractional-order systems (FOS) is both complex and essential in defining the dynamical behavior of the states of FOSs. In this paper, we investigate the use of the initialization functions for the purpose of estimating unknown parameters of linear non-commensurate FOSs. In particular, we propose a novel "pre-initial" process that describes the dynamic characteristic of FOSs before the initial state and consists of designing an appropriate time-varying initialization function that ensures accurate convergence of the estimates of the unknown parameters. To do so, we propose an estimation technique that consists of two steps: (i) to design of practical initialization function that is output-dependent and which is employed; (ii) to solve the joint estimation problem of both parameters and fractional differentiation orders (FDOs). A convergence proof has been presented. The performance of the proposed method is illustrated through different numerical examples. Potential applications of the algorithm to joint estimation of parameters and FDOs of the fractional arterial Windkessel and neurovascular models are also presented using both synthetic and real data. The added value of the proposed "pre-initial" process to solve the studied estimation problem is shown through different simulation tests that investigate the sensitivity of estimation results using different time-varying initialization functions.


title: W-exchange contribution in hadronic decays of bottom baryon

abstract: The nonleptonic decays of \Lambda_{b} that are dominated by W exchange are studied. In particular, the decay modes \varLambda_{b}\to\varDelta^{0}D^{0},\varDelta^{-}D^{+},\Sigma^{*-}D_{s}^{+}, \Lambda_{b}\to\Sigma_{c}^{*+}\pi^{-},\Sigma_{c}^{*0}\pi^{0},\Xi_{c}^{*0}K^{0} and \varLambda_{b}\to\Sigma_{c}^{+}\pi^{-} are analyzed. In an another aspect, the decay \Lambda_{b}\to\Lambda_{c}^{+}\pi^{-} in the factorization anstaz is studied. It is shown that factorization contributes to parity-violating (s-wave) amplitude A only. Hence factorization gives asymmetry parameter \alpha=0. However, the dominant contribution to parity conserving (p-wave) amplitude B comes from W exchange, i.e., from the baryon pole, giving asymmetry parameter \alpha=-0.77.


title: Time Evolution of Typical Pure States from a Macroscopic Hilbert Subspace

abstract: We consider a macroscopic quantum system with unitarily evolving pure state $\psi_t\in \mathcal{H}$ and take it for granted that different macro states correspond to mutually orthogonal, high-dimensional subspaces $\mathcal{H}_\nu$ (macro spaces) of $\mathcal{H}$. Let $P_\nu$ denote the projection to $\mathcal{H}_\nu$. We prove two facts about the evolution of the superposition weights $\|P_\nu\psi_t\|^2$: First, given any $T>0$, for most initial states $\psi_0$ from any particular macro space $\mathcal{H}_\mu$ (possibly far from thermal equilibrium), the curve $t\mapsto \|P_\nu \psi_t\|^2$ is approximately the same (i.e., nearly independent of $\psi_0$) on the time interval $[0,T]$. And second, for most $\psi_0$ from $\mathcal{H}_\mu$ and most $t\in[0,\infty)$, $\|P_\nu \psi_t\|^2$ is close to a value $M_{\mu\nu}$ that is independent of both $t$ and $\psi_0$. The first is an instance of the phenomenon of dynamical typicality observed by Bartsch, Gemmer, and Reimann, and the second modifies, extends, and in a way simplifies the concept, introduced by von Neumann, now known as normal typicality.


title: Towards Understanding GD with Hard and Conjugate Pseudo-labels for Test-Time Adaptation

abstract: We consider a setting that a model needs to adapt to a new domain under distribution shifts, given that only unlabeled test samples from the new domain are accessible at test time. A common idea in most of the related works is constructing pseudo-labels for the unlabeled test samples and applying gradient descent (GD) to a loss function with the pseudo-labels. Recently, \cite{GSRK22} propose conjugate labels, which is a new kind of pseudo-labels for self-training at test time. They empirically show that the conjugate label outperforms other ways of pseudo-labeling on many domain adaptation benchmarks. However, provably showing that GD with conjugate labels learns a good classifier for test-time adaptation remains open. In this work, we aim at theoretically understanding GD with hard and conjugate labels for a binary classification problem. We show that for square loss, GD with conjugate labels converges to an $\epsilon$-optimal predictor under a Gaussian model for any arbitrarily small $\epsilon$, while GD with hard pseudo-labels fails in this task. We also analyze them under different loss functions for the update. Our results shed lights on understanding when and why GD with hard labels or conjugate labels works in test-time adaptation.


title: ULN: Towards Underspecified Vision-and-Language Navigation

abstract: Vision-and-Language Navigation (VLN) is a task to guide an embodied agent moving to a target position using language instructions. Despite the significant performance improvement, the wide use of fine-grained instructions fails to characterize more practical linguistic variations in reality. To fill in this gap, we introduce a new setting, namely Underspecified vision-and-Language Navigation (ULN), and associated evaluation datasets. ULN evaluates agents using multi-level underspecified instructions instead of purely fine-grained or coarse-grained, which is a more realistic and general setting. As a primary step toward ULN, we propose a VLN framework that consists of a classification module, a navigation agent, and an Exploitation-to-Exploration (E2E) module. Specifically, we propose to learn Granularity Specific Sub-networks (GSS) for the agent to ground multi-level instructions with minimal additional parameters. Then, our E2E module estimates grounding uncertainty and conducts multi-step lookahead exploration to improve the success rate further. Experimental results show that existing VLN models are still brittle to multi-level language underspecification. Our framework is more robust and outperforms the baselines on ULN by ~10% relative success rate across all levels.


title: Reaction-diffusion pathways for a programmable nanoscale texture of diamond-SiC composite

abstract: The diamond-SiC composite has a low density and the highest possible speed of sound among existing materials except for the diamond. The composite is synthesized by a complex exothermic chemical reaction between diamond powder and liquid Si. This makes it an ideal material for protection against impact loading. Experiments show that a system of patterns is formed at the diamond-SiC interface. Modeling of reaction-diffusion processes of composite synthesis proves a formation of ceramic materials with a regular (periodic) interconnected microstructure in a given system. Composite material with interconnected structures at the interface has very high mechanical properties and resistance to impact since its fractioning is intercrystallite.


title: Axion dark matter from first-order phase transition, and very high energy photons from GRB 221009A

abstract: We study an axion-like particle (ALP) that experiences the first-order phase transition with respect to its mass or potential minimum. This can be realized if the ALP obtains a potential from non-perturbative effects of SU($N$) gauge theory that is confined via the first-order phase transition, or if the ALP is trapped in a false vacuum at high temperatures until it starts to oscillate about the true minimum. The resulting ALP abundance is significantly enhanced compared to the standard misalignment mechanism, explaining dark matter in a broader parameter space that is accessible to experiments e.g. IAXO, ALPS-II, and DM-radio. Furthermore, the viable parameter space includes a region of the mass $m_a \simeq 10^{-7} - 10^{-8}$ eV and the ALP-photon coupling $g_{a \gamma \gamma} \simeq 10^{-11} {\rm GeV}^{-1}$ that can explain the recent observation of very high energy photons from GRB221009A via axion-photon oscillations. The parameter region suggests that the FOPT can generate the gravitational wave that explains the NANOGrav hint. If the ALP in this region explains dark matter, then the ALP has likely experienced a first-order phase transition.


title: An extended [CII] halo around a massive star-forming galaxy at z = 5.3

abstract: High-redshift observations are often biased towards massive and bright galaxies that are not necessarily representative of the full population. In order to accurately study galaxy evolution and mass assembly at these redshifts, observations of ``normal'' main sequence galaxies are required. Here we present Atacama Large Millimeter/Submillimeter Array (ALMA) 0.3" resolution observations of the [CII] emission line at 158$\mu$m of HZ7, a main sequence galaxy at $z=5.25$. Comparing to archival rest-frame UV observations taken by the Hubble Space Telescope (HST), we find strong evidence of the existence of extended [CII] emission, which we estimate to be twice the size of the rest-frame UV emission, yielding one of the first high-redshift objects where a clear signature of a [CII] ``Halo'' has been detected to date. For a matched S\'ersic profile with n = 1, we measured a [CII] effective radius of $0.50\pm 0.04$" (3.07$\pm 0.25$ kpc) and an average rest-frame UV effective radius of $0.2\pm0.04$" ($1.48\pm0.16$ kpc). The [CII] morphology and kinematics of the system suggest a merging event resulting in a non rotating disk system. This event could be responsible for the extended [CII] emission. Alternatively, some potential obscured emission could also explain the [CII] to UV size ratio. These results contribute to the growing consensus with respect to the existence of extended [CII] emission around galaxies.


title: Linear Regression with Centrality Measures

abstract: This paper studies the properties of linear regression on centrality measures when network data is sparse -- that is, when there are many more agents than links per agent -- and when they are measured with error. We make three contributions in this setting: (1) We show that OLS estimators can become inconsistent under sparsity and characterize the threshold at which this occurs, with and without measurement error. This threshold depends on the centrality measure used. Specifically, regression on eigenvector is less robust to sparsity than on degree and diffusion. (2) We develop distributional theory for OLS estimators under measurement error and sparsity, finding that OLS estimators are subject to asymptotic bias even when they are consistent. Moreover, bias can be large relative to their variances, so that bias correction is necessary for inference. (3) We propose novel bias correction and inference methods for OLS with sparse noisy networks. Simulation evidence suggests that our theory and methods perform well, particularly in settings where the usual OLS estimators and heteroskedasticity-consistent/robust t-tests are deficient. Finally, we demonstrate the utility of our results in an application inspired by De Weerdt and Deacon (2006), in which we consider consumption smoothing and social insurance in Nyakatoke, Tanzania.


title: RKKY interaction in one-dimensional flat-band lattices

abstract: We study the Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction between two classical magnetic impurities in one-dimensional lattice models with flat bands. As two representative examples, we pick the stub lattice and the diamond lattice at half filling. We first calculate the exact RKKY interaction numerically and then compare our data to results obtained via different analytical techniques. In both our examples, we find that the RKKY interaction exhibits peculiar features that can directly be traced back to the presence of a flat band in the energy spectrum. Importantly, these features are not captured by the conventional RKKY approximation based on non-degenerate perturbation theory. Instead, we find that degenerate perturbation theory correctly reproduces our exact results if there is an energy gap between the flat and the dispersive bands, while a non-perturbative approach becomes necessary in the absence of a gap.


title: Diverse Misinformation: Impacts of Human Biases on Detection of Deepfakes on Networks

abstract: Social media platforms often assume that users can self-correct against misinformation. However, social media users are not equally susceptible to all misinformation as their biases influence what types of misinformation might thrive and who might be at risk. We call "diverse misinformation" the complex relationships between human biases and demographics represented in misinformation. To investigate how users' biases impact their susceptibility and their ability to correct each other, we analyze classification of deepfakes as a type of diverse misinformation. We chose deepfakes as a case study for three reasons: 1) their classification as misinformation is more objective; 2) we can control the demographics of the personas presented; 3) deepfakes are a real-world concern with associated harms that must be better understood. Our paper presents an observational survey (N=2,016) where participants are exposed to videos and asked questions about their attributes, not knowing some might be deepfakes. Our analysis investigates the extent to which different users are duped and which perceived demographics of deepfake personas tend to mislead. We find that accuracy varies by demographics, and participants are generally better at classifying videos that match them. We extrapolate from these results to understand the potential population-level impacts of these biases using a mathematical model of the interplay between diverse misinformation and crowd correction. Our model suggests that diverse contacts might provide "herd correction" where friends can protect each other. Altogether, human biases and the attributes of misinformation matter greatly, but having a diverse social group may help reduce susceptibility to misinformation.


title: Maestro-U: Leveraging joint speech-text representation learning for zero supervised speech ASR

abstract: Training state-of-the-art Automated Speech Recognition (ASR) models typically requires a substantial amount of transcribed speech. In this work, we demonstrate that a modality-matched joint speech and text model can be leveraged to train a massively multilingual ASR model without any supervised (manually transcribed) speech for some languages. This paper explores the use of jointly learnt speech and text representations in a massively multilingual, zero supervised speech, real-world setting to expand the set of languages covered by ASR with only unlabeled speech and text in the target languages. Using the FLEURS dataset, we define the task to cover $102$ languages, where transcribed speech is available in $52$ of these languages and can be used to improve end-to-end ASR quality on the remaining $50$. First, we show that by combining speech representations with byte-level text representations and use of language embeddings, we can dramatically reduce the Character Error Rate (CER) on languages with no supervised speech from 64.8\% to 30.8\%, a relative reduction of 53\%. Second, using a subset of South Asian languages we show that Maestro-U can promote knowledge transfer from languages with supervised speech even when there is limited to no graphemic overlap. Overall, Maestro-U closes the gap to oracle performance by 68.5\% relative and reduces the CER of 19 languages below 15\%.


title: Double algebraic genericity of universal harmonic functions on trees in the general case

abstract: It has been shown that the set of universal functions on trees contains a linear subspace except zero, dense in the space of harmonic functions. In this paper we show that the set of universal functions contains two linear subspaces except zero, dense in the space of harmonic functions that intersect only at zero. We work in the most general case that has been studied so far, letting our functions take values over a topological vector space.


title: Concentration inequalities for Paley-Wiener spaces

abstract: This article considers the question of how much of the mass of an element in a Paley-Wiener space can be concentracted on a given set. We seek bounds in terms of relative densities of the given set. We extend a result of Donoho and Logan from 1992 in one dimension and consider similar results in higher dimensions.


title: Quantitative control of solutions to the axisymmetric Navier-Stokes equations in terms of the weak $L^3$ norm

abstract: We are concerned with strong axisymmetric solutions to the $3$D incompressible Navier-Stokes equations. We show that if the weak $L^3$ norm of a strong solution $u$ on the time interval $[0,T]$ is bounded by $A \gg 1$ then for each $k\geq 0 $ there exists $C_k>1$ such that $\| D^k u (t) \|_{L^\infty (\mathbb{R}^3) } \leq t^{-(1+k)/2}\exp \exp A^{C_k}$ for all $t\in (0,T]$.


title: Understanding COVID-19 Vaccine Campaign on Facebook using Minimal Supervision

abstract: In the age of social media, where billions of internet users share information and opinions, the negative impact of pandemics is not limited to the physical world. It provokes a surge of incomplete, biased, and incorrect information, also known as an infodemic. This global infodemic jeopardizes measures to control the pandemic by creating panic, vaccine hesitancy, and fragmented social response. Platforms like Facebook allow advertisers to adapt their messaging to target different demographics and help alleviate or exacerbate the infodemic problem depending on their content. In this paper, we propose a minimally supervised multi-task learning framework for understanding messaging on Facebook related to the COVID vaccine by identifying ad themes and moral foundations. Furthermore, we perform a more nuanced thematic analysis of messaging tactics of vaccine campaigns on social media so that policymakers can make better decisions on pandemic control.


title: Circuit quantum electrodynamic model of dissipative-dispersive Josephson traveling-wave parametric amplifiers

abstract: We present a quantum mechanical model for a four-wave mixing Josephson traveling-wave parametric amplifier including substrate losses and associated thermal fluctuations. Under the assumption of a strong undepleted classical pump tone, we derive an analytic solution for the bosonic annihilation operator of the weak signal photon field using temporal equations of motion in a reference timeframe, including chromatic dispersion. From this result, we can predict the asymmetric gain spectrum of a Josephson traveling-wave parametric amplifier due to non-zero substrate losses. We also predict the equivalent added input noise including quantum fluctuations as well as thermal noise contributions. Our results are in excellent agreement with recently published experimental data.


title: Edge-based Monocular Thermal-Inertial Odometry in Visually Degraded Environments

abstract: State estimation in complex illumination environments based on conventional visual-inertial odometry is a challenging task due to the severe visual degradation of the visual camera. The thermal infrared camera is capable of all-day time and is less affected by illumination variation. However, most existing visual data association algorithms are incompatible because the thermal infrared data contains large noise and low contrast. Motivated by the phenomenon that thermal radiation varies most significantly at the edges of objects, the study proposes an ETIO, which is the first edge-based monocular thermal-inertial odometry for robust localization in visually degraded environments. Instead of the raw image, we utilize the binarized image from edge extraction for pose estimation to overcome the poor thermal infrared image quality. Then, an adaptive feature tracking strategy ADT-KLT is developed for robust data association based on limited edge information and its distance distribution. Finally, a pose graph optimization performs real-time estimation over a sliding window of recent states by combining IMU pre-integration with reprojection error of all edge feature observations. We evaluated the performance of the proposed system on public datasets and real-world experiments and compared it against state-of-the-art methods. The proposed ETIO was verified with the ability to enable accurate and robust localization all-day time.


title: A fresh view on string orbifolds

abstract: In quantum field theory, an orbifold is a way to obtain a new theory from an old one by gauging a finite global symmetry. This definition of orbifold does not make sense for quantum gravity theories, that admit (conjecturally) no global symmetries. In string theory, the orbifold procedure involves the gauging of a global symmetry on the world-sheet theory describing the fundamental string. Alternatively, it is a way to obtain a new string background from an old one by quotienting some isometry. We propose a new formulation of string orbifolds in terms of the group of gauge symmetries of a given string model. In such a formulation, the `parent' and the `child' theories correspond to different ways of breaking or gauging all potential global symmetries of their common subsector. Through a couple of simple examples, we describe how the higher group structure of the gauge group in the parent theory plays a crucial role in determining the gauge group and the twisted sector of the orbifold theory. We also discuss the dependence of this orbifold procedure on the duality frame.


title: Properties and Transformations of Weingarten Surfaces

abstract: The Weingarten relations satisfied by rotationally symmetric surfaces in Euclidean 3-space E3 are considered from three points of view: restrictions on the slope of the relation at umbilic points, the action of SL2(R) as fractional linear transformations on the space of curvatures, and variational formulations for the relations. With regard to the first, we obtain bounds on the slope of a Weingarten relation in terms of the fall off of the radii of curvature at an umbilic point. This generalizes recent work by a number of authors. For the second, we show that the action descends from curvature space to E3 and splits into three natural geometric actions. This is applied to a class of Weingarten surfaces, called semi-quadratic, on which the action is shown to be transitive. Finally, a natural Lagrangian formulation is given for certain types of Weingarten relations and stability established.


title: ARAH: Animatable Volume Rendering of Articulated Human SDFs

abstract: Combining human body models with differentiable rendering has recently enabled animatable avatars of clothed humans from sparse sets of multi-view RGB videos. While state-of-the-art approaches achieve realistic appearance with neural radiance fields (NeRF), the inferred geometry often lacks detail due to missing geometric constraints. Further, animating avatars in out-of-distribution poses is not yet possible because the mapping from observation space to canonical space does not generalize faithfully to unseen poses. In this work, we address these shortcomings and propose a model to create animatable clothed human avatars with detailed geometry that generalize well to out-of-distribution poses. To achieve detailed geometry, we combine an articulated implicit surface representation with volume rendering. For generalization, we propose a novel joint root-finding algorithm for simultaneous ray-surface intersection search and correspondence search. Our algorithm enables efficient point sampling and accurate point canonicalization while generalizing well to unseen poses. We demonstrate that our proposed pipeline can generate clothed avatars with high-quality pose-dependent geometry and appearance from a sparse set of multi-view RGB videos. Our method achieves state-of-the-art performance on geometry and appearance reconstruction while creating animatable avatars that generalize well to out-of-distribution poses beyond the small number of training poses.


title: Long time asymptotics of mixed-type Kimura diffusions

abstract: This paper concerns the long-time asymptotics of diffusions with degenerate coefficients at the domain's boundary. Degenerate diffusion operators with mixed linear and quadratic degeneracies find applications in the analysis of asymmetric transport at edges separating topological insulators. In one space dimension, we characterize all possible invariant measures for such a class of operators and in all cases show exponential convergence of the Green's kernel to such invariant measures. We generalize the results to a class of two-dimensional operators including those used in the analysis of topological insulators. Several numerical simulations illustrate our theoretical findings.


title: On the genesis of spiral galaxies -- Classical and pseudo bulges as extremities of a continuous sequence

abstract: A tantalizing enigma in extragalactic astronomy concerns the chronology and driving mechanisms of the build-up of late-type galaxies (LTGs). The standard scenario envisages two formation routes, with classical bulges (CBs) assembling first in a quick quasi-monolithic episode followed by gradual disk assembly, and pseudo-bulges (PBs) forming over the Gyr-long secular evolution of LTGs. The expectation is, therefore, the segregation of present-day LTG bulges into two distinct groups. Here we analyse the star formation histories (SFHs) of bulges and disks for 135 LTGs from the CALIFA survey covering the relevant range in LTG mass. In addition, their physical properties were contrasted with predictions from evolutionary synthesis models, adopting exponentially declining SFHs, with an e-folding time 0.1 < $\tau$ < 20 Gyr. Analysis of the SFHs of ~ half-million spaxels consistently reveals that the main properties of bulges and disks show a continuous distribution across total stellar mass. Moreover, the $\tau$ in high-mass LTGs radially increases, suggesting that these grow in an inside-out fashion, while lower-mass LTGs display roughly the same $\tau$ throughout their entire radial extent. Evolutionary synthesis predictions are consistent with observations. Finally, bulges and disks of higher mass LTGs exhibit shorter formation timescales as compared to their lower mass counterparts. Collectively, the obtained results evince a coherent and unified picture for the formation and evolution of LTGs, in which PBs and CBs denote extremities of a continuous sequence. This analysis is consistent with the framework where bulges are assembled with their parent disks by gradual inside-out growth, at a pace that is regulated by the depth of the galactic potential. In accordance is the utter absence of bimodal correlations, as expected if CBs and PBs were to emerge from two distinct formation routes.