title: Droplet-mediated long-range interfacial correlations. Exact field theory for entropic repulsion effects

abstract: We consider near-critical two-dimensional statistical systems at phase coexistence on the half plane with boundary conditions leading to the formation of a droplet separating coexisting phases. General low-energy properties of two-dimensional field theories are used in order to find exact analytic results for one- and two-point correlation functions of both the energy density and order parameter fields. The subleading finite-size corrections are also computed and interpreted within an exact probabilistic picture in which interfacial fluctuations are characterized by the probability density of a Brownian excursion. The explicit analysis of the closed-form expression for order parameter correlations reveals the long-ranged character of interfacial correlations and their confinement within the interfacial region. The analysis of correlations is then carried out in momentum space through the notion of interface structure factor, which we extend to the case of systems bounded by a flat wall. The presence of the wall and its associated entropic repulsion leads to a specific term in the interface structure factor which we identify.


title: Convex optimization

abstract: This textbook is based on lectures given by the authors at MIPT (Moscow), HSE (Moscow), FEFU (Vladivostok), V.I. Vernadsky KFU (Simferopol), ASU (Republic of Adygea), and the University of Grenoble-Alpes (Grenoble, France). First of all, the authors focused on the program of a two-semester course of lectures on convex optimization, which is given to students of MIPT. The first chapter of this book contains the materials of the first semester ("Fundamentals of convex analysis and optimization"), the second and third chapters contain the materials of the second semester ("Numerical methods of convex optimization"). The textbook has a number of features. First, in contrast to the classic manuals, this book does not provide proofs of all the theorems mentioned. This allowed, on one side, to describe more themes, but on the other side, made the presentation less self-sufficient. The second important point is that part of the material is advanced and is published in the Russian educational literature, apparently for the first time. Third, the accents that are given do not always coincide with the generally accepted accents in the textbooks that are now popular. First of all, we talk about a sufficiently advanced presentation of conic optimization, including robust optimization, as a vivid demonstration of the capabilities of modern convex analysis.


title: The Smoothed Satisfaction of Voting Axioms

abstract: We initiate the work towards a comprehensive picture of the smoothed satisfaction of voting axioms, to provide a finer and more realistic foundation for comparing voting rules. We adopt the smoothed social choice framework, where an adversary chooses arbitrarily correlated "ground truth" preferences for the agents, on top of which random noises are added. We focus on characterizing the smoothed satisfaction of two well-studied voting axioms: Condorcet criterion and participation. We prove that for any fixed number of alternatives, when the number of voters $n$ is sufficiently large, the smoothed satisfaction of the Condorcet criterion under a wide range of voting rules is $1$, $1-\exp(-\Theta(n))$, $\Theta(n^{-0.5})$, $ \exp(-\Theta(n))$, or being $\Theta(1)$ and $1-\Theta(1)$ at the same time; and the smoothed satisfaction of participation is $1-\Theta(n^{-0.5})$. Our results address open questions by Berg and Lepelley in 1994 for these rules, and also confirm the following high-level message: the Condorcet criterion is a bigger concern than participation under realistic models.


title: Charge-4 Weyl point: Minimum lattice model and chirality-dependent properties

abstract: Topological Weyl semimetals have been attracting broad interest. Recently, a new type of Weyl point with topological charge of $4$, termed as charge-4 Weyl point (C-4 WP), was proposed in spinless systems. Here, we show the minimum symmetry requirement for C-4 WP is point group $T$ together with ${\cal T}$ symmetry or point group $O$. We establish a minimum tight-binding model for C-4 WP on a cubic lattice with time-reversal symmetry and without spin-orbit coupling effect. This lattice model is a two-band one, ontaining only one pair of C-4 WPs with opposite chirality around Fermi level. Based on both the low-energy effective Hamiltonian and the minimum lattice model, we investigate the electronic, optical and magnetic properties of C-4 WP. Several chirality-dependent properties are revealed, such as chiral Landau bands, quantized circular photogalvanic effect and quadruple-helicoid surface arc states. Furthermore, we predict that under symmetry breaking, various exotic topological phases can evolve out of C-4 WPs. Our work not only reveals several interesting phenomena associate to C-4 WPs, but also provides a simple and ideal lattice model of C-4 WP, which will be helpful for the subsequent study on C-4 WPs.


title: Active learning of reactive Bayesian force fields: Application to heterogeneous hydrogen-platinum catalysis dynamics

abstract: Accurate modeling of chemically reactive systems has traditionally relied on either expensive ab initio approaches or flexible bond-order force fields such as ReaxFF that require considerable time, effort, and expertise to parameterize. Here, we introduce FLARE++, a Bayesian active learning method for training reactive many-body force fields on the fly during molecular dynamics (MD) simulations. During the automated training loop, the predictive uncertainties of a sparse Gaussian process (SGP) force field are evaluated at each timestep of an MD simulation to determine whether additional ab initio data are needed. Once trained, the SGP is mapped onto an equivalent and much faster model that is polynomial in the local environment descriptors and whose prediction cost is independent of the training set size. We apply our method to a canonical reactive system in the field of heterogeneous catalysis, hydrogen splitting and recombination on a platinum (111) surface, obtaining a trained model within three days of wall time that is twice as fast as a recent Pt/H ReaxFF force field and considerably more accurate. Our method is fully open source and is expected to reduce the time and effort required to train fast and accurate reactive force fields for complex systems.


title: The Case for Translation-Invariant Self-Attention in Transformer-Based Language Models

abstract: Mechanisms for encoding positional information are central for transformer-based language models. In this paper, we analyze the position embeddings of existing language models, finding strong evidence of translation invariance, both for the embeddings themselves and for their effect on self-attention. The degree of translation invariance increases during training and correlates positively with model performance. Our findings lead us to propose translation-invariant self-attention (TISA), which accounts for the relative position between tokens in an interpretable fashion without needing conventional position embeddings. Our proposal has several theoretical advantages over existing position-representation approaches. Experiments show that it improves on regular ALBERT on GLUE tasks, while only adding orders of magnitude less positional parameters.


title: Accurate computational evolution of proteins and its dependence on deep learning

abstract: Enzyme is the major workhorse to carry out the diverse cellular functions. It catalyzes the biological reactions with a high specificity, with its topology playing a crucial role. For ecologically safe production of numerous bioproducts including drugs and chemicals, we have been striving to design the industrially useful enzyme molecules with highly improved catalytic capability. As the sequence space is enormous for an enzyme, its quick and effective exploration is quite improbable for the mutagenesis studies whose accuracy is greatly reliant on the prior information of the mutated sites and the extent of rigorous screening of the mutant libraries. Although directed evolution methods significantly aid the construction of a functionally improved molecule, their credibility depends on the successful excavation of the functionally similar sequence space in the available databases, encompassing billions of proteins. As deep learning methods aid us to extensively uncover the underlying network of all the key catalytic positions without any experimental data, their implementation has reliably increased the accuracy of directed evolution. The chapter comprehensively explains data mining and deep learning methods to further showcase their importance in enzyme engineering methods. The key biological and algorithmic limitations of these deep learning methodologies are lastly highlighted.


title: Personalized Communication Strategies: Towards A New Debtor Typology Framework

abstract: Based on debt collection agency (PAIR Finance) data, we developed a novel debtor typology framework by expanding previous approaches to 4 behavioral dimensions. The 4 dimensions we identified were willingness to pay, ability to pay, financial organization, and rational behavior. Using these dimensions, debtors could be classified into 16 different typologies. We identified 5 main typologies, which account for 63% of the debtors in our data set. Further, we observed that each debtor typology reacted differently to the content and timing of reminder messages, allowing us to define an optimal debt collection strategy for each typology. For example, sending a reciprocity message at 8 p.m. in the evening is the most successful strategy to get a reaction from a debtor who is willing to pay their debt, able to pay their debt, chaotic in terms of their financial organization, and emotional when communicating and handling their finances. In sum, our findings suggest that each debtor type should be approached in a personalized way using different tonalities and timing schedules.


title: The Impact of the CMB on the Evolution of high-z Blazars

abstract: Different works have recently found an increase of the average X-ray-to-radio luminosity ratio with redshift in the blazar population. We evaluate here whether the inverse Compton interaction between the relativistic electrons within the jet and the photons of the Cosmic Microwave Background (IC/CMB) can explain this trend. Moreover, we test whether the IC/CMB model can also be at the origin of the different space density evolutions found in X-ray and radio selected blazar samples. By considering the best statistically complete samples of blazars selected in the radio or in the X-ray band and covering a large range of redshift (0.5$\lesssim$ z$\lesssim$ 5.5), we evaluate the expected impact of the CMB on the observed X-ray emission on each sample and then we compare these predictions with the observations. We find that this model can satisfactorily explain both the observed trend of the X-ray-to-radio luminosity ratios with redshift and the different cosmological evolutions derived from the radio and X-ray band. Finally, we discuss how currently on-going X-ray missions, like eROSITA, could help to further constrain the observed evolution at even higher redshifts (up to z$\sim$6-7).


title: Do Neural Optimal Transport Solvers Work? A Continuous Wasserstein-2 Benchmark

abstract: Despite the recent popularity of neural network-based solvers for optimal transport (OT), there is no standard quantitative way to evaluate their performance. In this paper, we address this issue for quadratic-cost transport -- specifically, computation of the Wasserstein-2 distance, a commonly-used formulation of optimal transport in machine learning. To overcome the challenge of computing ground truth transport maps between continuous measures needed to assess these solvers, we use input-convex neural networks (ICNN) to construct pairs of measures whose ground truth OT maps can be obtained analytically. This strategy yields pairs of continuous benchmark measures in high-dimensional spaces such as spaces of images. We thoroughly evaluate existing optimal transport solvers using these benchmark measures. Even though these solvers perform well in downstream tasks, many do not faithfully recover optimal transport maps. To investigate the cause of this discrepancy, we further test the solvers in a setting of image generation. Our study reveals crucial limitations of existing solvers and shows that increased OT accuracy does not necessarily correlate to better results downstream.


title: Multi-wavelength VLTI study of the puffed-up inner rim of a circumbinary disc

abstract: The presence of stable, compact circumbinary discs of gas and dust around post-asymptotic giant branch (post-AGB) binary systems has been well established. We focus on one such system: IRAS 08544-4431. We present an interferometric multi-wavelength analysis of the circumstellar environment of IRAS 08544-4431. The aim is to constrain different contributions to the total flux in the H, K, L, and N-bands in the radial direction. The data from VLTI/PIONIER, VLTI/GRAVITY, and VLTI/MATISSE range from the near-infrared, where the post-AGB star dominates, to the mid-infrared, where the disc dominates. We fitted two geometric models to the visibility data to reproduce the circumbinary disc: a ring with a Gaussian width and a flat disc model with a temperature gradient. The flux contributions from the disc, the primary star (modelled as a point-source), and an over-resolved component are recovered along with the radial size of the emission, the temperature of the disc as a function of radius, and the spectral dependencies of the different components. The trends of all visibility data were well reproduced with the geometric models. The near-infrared data were best fitted with a Gaussian ring model while the mid-infrared data favoured a temperature gradient model. This implies that a vertical structure is present at the disc inner rim, which we attribute to a rounded puffed-up inner rim. The N-to-K size ratio is 2.8, referring to a continuous flat source, analogues to young stellar objects. By combining optical interferometric instruments operating at different wavelengths we can resolve the complex structure of circumstellar discs and study the wavelength-dependent opacity profile. A detailed radial, vertical, and azimuthal structural analysis awaits a radiative transfer treatment in 3D to capture all non-radial complexity.


title: Early kinetic decoupling and a pseudo-Nambu-Goldstone dark matter model

abstract: We study the early kinetic decoupling effect in a pseudo-Nambu-Goldstone (pNG) dark matter (DM) model. The pNG DM scattering processes with particles in the thermal bath in the early Universe are suppressed by the small momentum transfer. As a result, kinetic equilibrium is not maintained, and the temperature of DM is different from the temperature of the thermal bath at the freeze-out era. This temperature difference affects the thermal relic abundance of DM. We investigate the early kinetic decoupling in the Higgs resonance region, 50 GeV $\lesssim m_\chi \lesssim m_h/2$, where $m_\chi$ is the mass of the DM, and $m_h/2 \simeq$ 62.5 GeV. We find that the DM-Higgs coupling determined to obtain the measured value of the DM energy density is underestimated in the literature. The enhancement in the coupling leads larger value of the Higgs invisible decay rate. It enlarges the capability to discover the DM signals from the decay of the Higgs bosons at collider experiments.


title: Shadowing as a Structural Property of the Space of Dynamical Systems

abstract: We demonstrate that there is a large class of compact metric spaces for which the shadowing property can be characterized as a structural property of the space of dynamical systems. We also demonstrate for this class of spaces, that in order to determine whether a system has shadowing, it is sufficient to check that continuously generated pseudo-orbits can be shadowed.


title: Multiplierless MP-Kernel Machine For Energy-efficient Edge Devices

abstract: We present a novel framework for designing multiplierless kernel machines that can be used on resource-constrained platforms like intelligent edge devices. The framework uses a piecewise linear (PWL) approximation based on a margin propagation (MP) technique and uses only addition/subtraction, shift, comparison, and register underflow/overflow operations. We propose a hardware-friendly MP-based inference and online training algorithm that has been optimized for a Field Programmable Gate Array (FPGA) platform. Our FPGA implementation eliminates the need for DSP units and reduces the number of LUTs. By reusing the same hardware for inference and training, we show that the platform can overcome classification errors and local minima artifacts that result from the MP approximation. The implementation of this proposed multiplierless MP-kernel machine on FPGA results in an estimated energy consumption of 13.4 pJ and power consumption of 107 mW with ~9k LUTs and FFs each for a 256 x 32 sized kernel making it superior in terms of power, performance, and area compared to other comparable implementations.


title: From Torus Bundles to Particle-Hole Equivariantization

abstract: We continue the program of constructing (pre)modular tensor categories from 3-manifolds first initiated by Cho-Gang-Kim using $M$ theory in physics and then mathematically studied by Cui-Qiu-Wang. An important structure involved is a collection of certain $\text{SL}(2, \mathbb{C})$ characters on a given manifold which serve as the simple object types in the corresponding category. Chern-Simons invariants and adjoint Reidemeister torsions play a key role in the construction, and they are related to topological twists and quantum dimensions, respectively, of simple objects. The modular $S$-matrix is computed from local operators and follows a trial-and-error procedure. It is currently unknown how to produce data beyond the modular $S$- and $T$-matrices. There are also a number of subtleties in the construction which remain to be solved. In this paper, we consider an infinite family of 3-manifolds, that is, torus bundles over the circle. We show that the modular data produced by such manifolds are realized by the $\mathbb{Z}_2$-equivariantization of certain pointed premodular categories. Here the equivariantization is performed for the $\mathbb{Z}_2$-action sending a simple (invertible) object to its inverse, also called the particle-hole symmetry. It is our hope that this extensive class of examples will shed light on how to improve the program to recover the full data of a premodular category.

categories: math.QA math-ph math.GT math.MP quant-ph


title: LyricJam: A system for generating lyrics for live instrumental music

abstract: We describe a real-time system that receives a live audio stream from a jam session and generates lyric lines that are congruent with the live music being played. Two novel approaches are proposed to align the learned latent spaces of audio and text representations that allow the system to generate novel lyric lines matching live instrumental music. One approach is based on adversarial alignment of latent representations of audio and lyrics, while the other approach learns to transfer the topology from the music latent space to the lyric latent space. A user study with music artists using the system showed that the system was useful not only in lyric composition, but also encouraged the artists to improvise and find new musical expressions. Another user study demonstrated that users preferred the lines generated using the proposed methods to the lines generated by a baseline model.


title: A note on Bridgeland moduli spaces and moduli spaces of sheaves on $X_{14}$ and $Y_3$

abstract: We study Bridgeland moduli spaces of semistable objects of $(-1)$-classes and $(-4)$-classes in the Kuznetsov components on index one prime Fano threefold $X_{4d+2}$ of degree $4d+2$ and index two prime Fano threefold $Y_d$ of degree $d$ for $d=3,4,5$. For every Serre-invariant stability condition on the Kuznetsov components, we show that the moduli spaces of stable objects of $(-1)$-classes on $X_{4d+2}$ and $Y_d$ are isomorphic. We show that moduli spaces of stable objects of $(-1)$-classes on $X_{14}$ are realized by Fano surface $\mathcal{C}(X)$ of conics, moduli spaces of semistable sheaves $M_X(2,1,6)$ and $M_X(2,-1,6)$ and the correspondent moduli spaces on cubic threefold $Y_3$ are realized by moduli spaces of stable vector bundles $M^b_Y(2,1,2)$ and $M^b_Y(2,-1,2)$. We show that moduli spaces of semistable objects of $(-4)$-classes on $Y_{d}$ are isomorphic to the moduli spaces of instanton sheaves $M^{inst}_Y$ when $d\neq 1,2$, and show that there're open immersions of $M^{inst}_Y$ into moduli spaces of semistable objects of $(-4)$-classes when $d=1,2$. Finally, when $d=3,4,5$ we show that these moduli spaces are all isomorphic to $M^{ss}_X(2,0,4)$.


title: An infinite clique of high-filling rays in the plane minus a Cantor set

abstract: The study of the mapping class group of the plane minus a Cantor set uses a graph of loops, which is an analogous of the curve graph in the study of mapping class groups of compact surfaces. The Gromov boundary of this loop graph can be described in terms of "cliques of high-filling rays": high-filling rays are simple geodesics of the surface which are complicated enough to be infinitely far away from any loop in the graph. Moreover, these rays are arranged in cliques: any two high-filling rays which are both disjoint from a third one are necessarily mutually disjoint. Every such clique is a point of the Gromov-boundary of the loop graph. Some examples of cliques with any finite number of high-filling rays are already known. In this paper, we construct an infinite clique of high-filling rays.


title: A Survey on Optimal Transport for Machine Learning: Theory and Applications

abstract: Optimal Transport (OT) theory has seen an increasing amount of attention from the computer science community due to its potency and relevance in modeling and machine learning. It introduces means that serve as powerful ways to compare probability distributions with each other, as well as producing optimal mappings to minimize cost functions. In this survey, we present a brief introduction and history, a survey of previous work and propose directions of future study. We will begin by looking at the history of optimal transport and introducing the founders of this field. We then give a brief glance into the algorithms related to OT. Then, we will follow up with a mathematical formulation and the prerequisites to understand OT. These include Kantorovich duality, entropic regularization, KL Divergence, and Wassertein barycenters. Since OT is a computationally expensive problem, we then introduce the entropy-regularized version of computing optimal mappings, which allowed OT problems to become applicable in a wide range of machine learning problems. In fact, the methods generated from OT theory are competitive with the current state-of-the-art methods. We follow this up by breaking down research papers that focus on image processing, graph learning, neural architecture search, document representation, and domain adaptation. We close the paper with a small section on future research. Of the recommendations presented, three main problems are fundamental to allow OT to become widely applicable but rely strongly on its mathematical formulation and thus are hardest to answer. Since OT is a novel method, there is plenty of space for new research, and with more and more competitive methods (either on an accuracy level or computational speed level) being created, the future of applied optimal transport is bright as it has become pervasive in machine learning.


title: On the Diophantine equation $dx^2+p^{2a}q^{2b}=4y^p$

abstract: We investigate the solvability of the Diophantine equation in the title, where $d>1$ is a square-free integer, $p, q$ are distinct odd primes and $x,y,a,b$ are unknown positive integers with $\gcd(x,y)=1$. We describe all the integer solutions of this equation, and then use the main finding to deduce some results concerning the integers solutions of some of its variants. The methods adopted here are elementary in nature and are primarily based on the existence of the primitive divisors of certain Lehmer numbers.


title: Dynamical phases in a "multifractal" Rosenzweig-Porter model

abstract: We consider the static and dynamic phases in a Rosenzweig-Porter (RP) random matrix ensemble with the tailed distribution of off-diagonal matrix elements of the form of the large-deviation ansatz. We present a general theory of survival probability in such a random-matrix model and show that the {\it averaged} survival probability may decay with time as the simple exponent, as the stretch-exponent and as a power-law or slower. Correspondingly, we identify the exponential, the stretch-exponential and the frozen-dynamics phases. As an example, we consider the mapping of the Anderson model on Random Regular Graph (RRG) onto the "multifractal" RP model and find exact values of the stretch-exponent $\kappa$ depending on box-distributed disorder in the thermodynamic limit. As another example we consider the logarithmically-normal RP (LN-RP) random matrix ensemble and find analytically its phase diagram and the exponent $\kappa$. In addition, our theory allows to compute the shift of apparent phase transition lines at a finite system size and show that in the case of RP associated with RRG and LN-RP with the same symmetry of distribution function of hopping, a finite-size multifractal "phase" emerges near the tricritical point which is also the point of localization transition.

categories: cond-mat.dis-nn math-ph math.MP quant-ph


title: Quantization of Gravity in the Black Hole Background

abstract: We perform a covariant (Lagrangian) quantization of perturbative gravity in the background of a Schwarzschild black hole. The key tool is a decomposition of the field into spherical harmonics. We fix Regge-Wheeler gauge for modes with angular momentum quantum number $l \geq 2$, while for low multipole modes with $l$ $=$ $0$ or $1$ -- for which Regge-Wheeler gauge is inapplicable -- we propose a set of gauge fixing conditions which are 2D background covariant and perturbatively well-defined. We find that the corresponding Faddeev-Popov ghosts are non-propagating for the $l\geq2$ modes, but are in general nontrivial for the low multipole modes with $l = 0,1$. However, in Schwarzschild coordinates, all time derivatives acting on the ghosts drop from the action and the low multipole ghosts have instantaneous propagators. Up to possible subtleties related to quantizing gravity in a space with a horizon, Faddeev's theorem suggests the possibility of an underlying canonical (Hamiltonian) quantization with a manifestly ghost-free Hilbert space.


title: Ultrafast demagnetization of iron induced by optical vs terahertz pulses

abstract: We study ultrafast magnetization quenching of ferromagnetic iron following excitation by an optical vs a terahertz pump pulse. While the optical pump (photon energy of 3.1 eV) induces a strongly nonthermal electron distribution, terahertz excitation (~4 meV) results in a quasi-thermal perturbation of the electron population. The pump-induced spin and electron dynamics are interrogated by the magneto-optic Kerr effect (MOKE). A deconvolution procedure allows us to push the time resolution down to 130 fs, even though the driving terahertz pulse is more than 0.5 ps long. Remarkably, the MOKE signals exhibit an almost identical time evolution for both optical and terahertz pump pulses, despite the three orders of magnitude different number of excited electrons. We are able to quantitatively explain our results using a model based on quasi-elastic spin-flip scattering. It shows that in the small-perturbation limit, the rate of demagnetization of a metallic ferromagnet is proportional to the excess energy of the electrons, independent of the precise shape of their distribution. Our results reveal that the dynamics of ultrafast demagnetization and of the closely related terahertz spin transport do not depend on the pump photon energy.


title: Measurement of DC and AC electric fields inside an atomic vapor cell with wall-integrated electrodes

abstract: We present and characterize an atomic vapor cell with silicon ring electrodes directly embedded between borosilicate glass tubes. The cell is assembled with an anodic bonding method and is filled with Rb vapor. The ring electrodes can be externally connectorized for application of electric fields to the inside of the cell. An atom-based, all-optical, laser-spectroscopic field sensing method is employed to measure electric fields in the cell. Here, the Stark effect of electric-field-sensitive rubidium Rydberg atoms is exploited to measure DC electric fields in the cell of $\sim$5 V/cm, with a relative uncertainty of 10%. Measurement results are compared with DC field calculations, allowing us to quantify electric-field attenuation due to free surface charges inside the cell. We further measure the propagation of microwave fields into the cell, using Autler-Townes splitting of Rydberg levels as a field probe. Results are obtained for a range of microwave powers and polarization angles relative to the cell's ring electrodes. We compare the results with microwave-field calculations. Applications are discussed.


title: Global Convergence of Multi-Agent Policy Gradient in Markov Potential Games

abstract: Potential games are arguably one of the most important and widely studied classes of normal form games. They define the archetypal setting of multi-agent coordination as all agent utilities are perfectly aligned with each other via a common potential function. Can this intuitive framework be transplanted in the setting of Markov Games? What are the similarities and differences between multi-agent coordination with and without state dependence? We present a novel definition of Markov Potential Games (MPG) that generalizes prior attempts at capturing complex stateful multi-agent coordination. Counter-intuitively, insights from normal-form potential games do not carry over as MPGs can consist of settings where state-games can be zero-sum games. In the opposite direction, Markov games where every state-game is a potential game are not necessarily MPGs. Nevertheless, MPGs showcase standard desirable properties such as the existence of deterministic Nash policies. In our main technical result, we prove fast convergence of independent policy gradient to Nash policies by adapting recent gradient dominance property arguments developed for single agent MDPs to multi-agent learning settings.


title: NeRFactor: Neural Factorization of Shape and Reflectance Under an Unknown Illumination

abstract: We address the problem of recovering the shape and spatially-varying reflectance of an object from multi-view images (and their camera poses) of an object illuminated by one unknown lighting condition. This enables the rendering of novel views of the object under arbitrary environment lighting and editing of the object's material properties. The key to our approach, which we call Neural Radiance Factorization (NeRFactor), is to distill the volumetric geometry of a Neural Radiance Field (NeRF) [Mildenhall et al. 2020] representation of the object into a surface representation and then jointly refine the geometry while solving for the spatially-varying reflectance and environment lighting. Specifically, NeRFactor recovers 3D neural fields of surface normals, light visibility, albedo, and Bidirectional Reflectance Distribution Functions (BRDFs) without any supervision, using only a re-rendering loss, simple smoothness priors, and a data-driven BRDF prior learned from real-world BRDF measurements. By explicitly modeling light visibility, NeRFactor is able to separate shadows from albedo and synthesize realistic soft or hard shadows under arbitrary lighting conditions. NeRFactor is able to recover convincing 3D models for free-viewpoint relighting in this challenging and underconstrained capture setup for both synthetic and real scenes. Qualitative and quantitative experiments show that NeRFactor outperforms classic and deep learning-based state of the art across various tasks. Our videos, code, and data are available at people.csail.mit.edu/xiuming/projects/nerfactor/.


title: A Core-envelope Analytic Model for the Vela Pulsar

abstract: The core-envelope models presented in {Ref1}; {Ref2}, corresponding to the values of compactness parameter, $u \equiv M/a$ = 0.30 and 0.25 (mass to size ratio in geometrized units) have been studied under slow rotation. It is seen that these models are capable of explaining all the observational values of glitch healing parameter, $G_h = I_{\rm core}/I_{\rm total} < 0.55$ {Ref3} for the Vela pulsar. The models yield the maximum values of mass, $M$, surface redshift, $z_a$, and the moment of inertia, $I_{\rm Vela}$ for the Vela pulsar in the range $M = 3.079M_\odot - 2.263M_\odot$; $z_a = 0.581 - 0.414$ and $I_{\rm Vela,45} =6.9 - 3.5$ (where $I_{45}=I/10^{45}\rm g{cm}^2$) respectively for the values of $u = $ 0.30 and 0.25 and for an assigned value of the surface density, $E_a = 2\times 10^{14}\rm g{cm}^{-3}$ {Ref4}. The values of masses lower than the above mentioned values ( so called the realistic mass range, $M = 1.4\pm0.2 M_\odot$, in the literature) but significantly higher than that of the unrealistic mass range $M \leq 0.5M_\odot$ (obtained for the Vela pulsar in the literature on the basis of parametrized neutron star (NS) models based on equations of state (EOSs) of dense nuclear matter {Ref3}) and other parameters may be obtained likewise for the above mentioned range of the values of $G_h$ corresponding to the values of $u < 0.25$. The models are found to be causally consistent, gravitational bound and pulsationally stable. The upper bound on neutron star (NS) mass obtained in this study which is applicable for the Vela pulsar, in fact, corresponds to the mean value of the upper bound on NS mass obtained in the classical result {Ref5} and that obtained on the basis of modern EOSs for neutron star matter {Ref6} and is in a good agreement with the most recent theoretical estimate {Ref7}.


title: SOCCER: An Information-Sparse Discourse State Tracking Collection in the Sports Commentary Domain

abstract: In the pursuit of natural language understanding, there has been a long standing interest in tracking state changes throughout narratives. Impressive progress has been made in modeling the state of transaction-centric dialogues and procedural texts. However, this problem has been less intensively studied in the realm of general discourse where ground truth descriptions of states may be loosely defined and state changes are less densely distributed over utterances. This paper proposes to turn to simplified, fully observable systems that show some of these properties: Sports events. We curated 2,263 soccer matches including time-stamped natural language commentary accompanied by discrete events such as a team scoring goals, switching players or being penalized with cards. We propose a new task formulation where, given paragraphs of commentary of a game at different timestamps, the system is asked to recognize the occurrence of in-game events. This domain allows for rich descriptions of state while avoiding the complexities of many other real-world settings. As an initial point of performance measurement, we include two baseline methods from the perspectives of sentence classification with temporal dependence and current state-of-the-art generative model, respectively, and demonstrate that even sophisticated existing methods struggle on the state tracking task when the definition of state broadens or non-event chatter becomes prevalent.


title: The galaxy HI-(sub)halo connection and the HI spatial clustering of local galaxies

abstract: We extend the local stellar galaxy-(sub)halo connection to the atomic hydrogen (HI) component by seeding semi-empirically galaxies into a large N-body dark matter (DM) simulation. The main input to construct the mock galaxy catalogue are: our constrained stellar mass-to-(sub)halo circular velocity ($M_{\ast}$-$V_{\rm DM}$) relation, assuming a scatter independent of any galaxy property, and the empirical $M_{\rm HI}$ conditional probability distributions given $M_{\ast}$ for central and satellite galaxies. We find that the $\langle\log M_{\rm HI}\rangle-\log M_{\rm DM}$ relation is not a monotonic increasing function. It increases with mass up to $M_{\rm DM}\sim 10^{12}$ $M_{\odot}$, attaining a maximum of $\langle\log(M_{\rm HI}/M_{\odot})\rangle \sim 9.2$, and at higher (sub)halo masses, $\langle\log(M_{\rm HI})\rangle$ decreases slightly with $M_{\rm DM}$. The scatter around it is also large and mass dependent. The bivariate $M_{\rm HI}$ and $M_{\rm DM}$ distribution is broad and bimodal, specially at $M_{\rm DM}\gtrsim 10^{12}$ $M_\odot$, which is inherited from the input $M_{\rm HI}$ conditional distributions. We also report the total (central+satellites) HI gas mass within halos, $\langle M^{\rm tot}_{\rm HI}(M_{\rm DM})\rangle$, as a function of $M_{\rm DM}$. The mean $M^{\rm tot}_{\rm HI}-M_{\rm DM}$ relation is an increasing monotonic function. The galaxy spatial clustering increases weakly as the $M_{\rm HI}$ threshold increases. Our HI mock galaxies cluster more in comparison to the blind HI ALFALFA (Arecibo Fast Legacy ALFA) survey but we show that it is mainly due to the selection effects. We discuss the implications of our results in the light of predictions from semi-analytical models and hydrodynamics simulations of galaxy evolution.


title: Traversing Steep and Granular Martian Analog Slopes With a Dynamic Quadrupedal Robot

abstract: Celestial bodies such as the Moon and Mars are mainly covered by loose, granular soil, a notoriously challenging terrain to traverse with (wheeled) robotic systems. Here, we present experimental work on traversing steep, granular slopes with the dynamically walking quadrupedal robot SpaceBok. To adapt to the challenging environment, we developed passive-adaptive planar feet and optimized grouser pads to reduce sinkage and increase traction on planar and inclined granular soil. Single-foot experiments revealed that a large surface area of 110cm2 per foot reduces sinkage to an acceptable level even on highly collapsible soil (ES-1). Implementing several 12mm grouser blades increases traction by 22% to 66% on granular media compared to grouser-less designs. Together with a terrain-adapting walking controller, we validate - for the first time - static and dynamic locomotion on Mars analog slopes of up to 25{\deg}(the maximum of the testbed). We evaluated the performance between point- and planar feet and static and dynamic gaits regarding stability (safety), velocity, and energy consumption. We show that dynamic gaits are energetically more efficient than static gaits but are riskier on steep slopes. Our tests also revealed that planar feet's energy consumption drastically increases when the slope inclination approaches the soil's angle of internal friction due to shearing. Point feet are less affected by slippage due to their excessive sinkage, but in turn, are prone to instabilities and tripping. We present and discuss safe and energy-efficient global path-planning strategies for accessing steep topography on Mars based on our findings.


title: Machine Learning and Variational Algorithms for Lattice Field Theory

abstract: In lattice quantum field theory studies, parameters defining the lattice theory must be tuned toward criticality to access continuum physics. Commonly used Markov chain Monte Carlo (MCMC) methods suffer from critical slowing down in this limit, restricting the precision of continuum extrapolations. Further difficulties arise when measuring correlation functions of operators widely separated in spacetime: for most correlation functions, an exponentially severe signal-to-noise problem is encountered as the operators are taken to be widely separated. This dissertation details two new techniques to address these issues. First, we define a novel MCMC algorithm based on generative flow-based models. Such models utilize machine learning methods to describe efficient approximate samplers for distributions of interest. Independently drawn flow-based samples are then used as proposals in an asymptotically exact Metropolis-Hastings Markov chain. We address incorporating symmetries of interest, including translational and gauge symmetries. We secondly introduce an approach to "deform" Monte Carlo estimators based on contour deformations applied to the domain of the path integral. The deformed estimators associated with an observable give equivalent unbiased measurements of that observable, but generically have different variances. We define families of deformed manifolds for lattice gauge theories and introduce methods to efficiently optimize the choice of manifold (the "observifold"), minimizing the deformed observable variance. Finally, we demonstrate that flow-based MCMC can mitigate critical slowing down and observifolds can exponentially reduce variance in proof-of-principle applications to scalar $\phi^4$ theory and $\mathrm{U}(1)$ and $\mathrm{SU}(N)$ lattice gauge theories.


title: Norms on complex matrices induced by complete homogeneous symmetric polynomials

abstract: We introduce a remarkable new family of norms on the space of $n \times n$ complex matrices. These norms arise from the combinatorial properties of symmetric functions, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. Our norms enjoy many desirable analytic and algebraic properties, such as an elegant determinantal interpretation and the ability to distinguish certain graphs that other matrix norms cannot. Furthermore, they give rise to new dimension-independent tracial inequalities. Their potential merits further investigation.


title: Safe RAN control: A Symbolic Reinforcement Learning Approach

abstract: In this paper, we present a Symbolic Reinforcement Learning (SRL) based architecture for safety control of Radio Access Network (RAN) applications. In particular, we provide a purely automated procedure in which a user can specify high-level logical safety specifications for a given cellular network topology in order for the latter to execute optimal safe performance which is measured through certain Key Performance Indicators (KPIs). The network consists of a set of fixed Base Stations (BS) which are equipped with antennas, which one can control by adjusting their vertical tilt angle. The aforementioned process is called Remote Electrical Tilt (RET) optimization. Recent research has focused on performing this RET optimization by employing Reinforcement Learning (RL) strategies due to the fact that they have self-learning capabilities to adapt in uncertain environments. The term safety refers to particular constraints bounds of the network KPIs in order to guarantee that when the algorithms are deployed in a live network, the performance is maintained. In our proposed architecture the safety is ensured through model-checking techniques over combined discrete system models (automata) that are abstracted through the learning process. We introduce a user interface (UI) developed to help a user set intent specifications to the system, and inspect the difference in agent proposed actions, and those that are allowed and blocked according to the safety specification.


title: DialogueCRN: Contextual Reasoning Networks for Emotion Recognition in Conversations

abstract: Emotion Recognition in Conversations (ERC) has gained increasing attention for developing empathetic machines. Recently, many approaches have been devoted to perceiving conversational context by deep learning models. However, these approaches are insufficient in understanding the context due to lacking the ability to extract and integrate emotional clues. In this work, we propose novel Contextual Reasoning Networks (DialogueCRN) to fully understand the conversational context from a cognitive perspective. Inspired by the Cognitive Theory of Emotion, we design multi-turn reasoning modules to extract and integrate emotional clues. The reasoning module iteratively performs an intuitive retrieving process and a conscious reasoning process, which imitates human unique cognitive thinking. Extensive experiments on three public benchmark datasets demonstrate the effectiveness and superiority of the proposed model.


title: CCPM: A Chinese Classical Poetry Matching Dataset

abstract: Poetry is one of the most important art forms of human languages. Recently many studies have focused on incorporating some linguistic features of poetry, such as style and sentiment, into its understanding or generation system. However, there is no focus on understanding or evaluating the semantics of poetry. Therefore, we propose a novel task to assess a model's semantic understanding of poetry by poem matching. Specifically, this task requires the model to select one line of Chinese classical poetry among four candidates according to the modern Chinese translation of a line of poetry. To construct this dataset, we first obtain a set of parallel data of Chinese classical poetry and modern Chinese translation. Then we retrieve similar lines of poetry with the lines in a poetry corpus as negative choices. We name the dataset Chinese Classical Poetry Matching Dataset (CCPM) and release it at https://github.com/THUNLP-AIPoet/CCPM. We hope this dataset can further enhance the study on incorporating deep semantics into the understanding and generation system of Chinese classical poetry. We also preliminarily run two variants of BERT on this dataset as the baselines for this dataset.


title: Toeplitz operators, $\mathbb{T}^m$-invariance and quasi-homogeneous symbols

abstract: For a partition $\boldsymbol{k} = (k_1, \dots, k_m)$ of $n$ consider the group $\mathrm{U}(\boldsymbol{k}) = \mathrm{U}(k_1) \times \dots \times \mathrm{U}(k_m)$ block diagonally embedded in $\mathrm{U}(n)$ and the center $\mathbb{T}^m$ of $\mathrm{U}(\boldsymbol{k})$. We study the Toeplitz operators with $\mathbb{T}^m$-invariant symbols acting on the weighted Bergman spaces on the unit ball $\mathbb{B}^n$. We introduce the $(\boldsymbol{k},j)$-quasi-radial quasi-homogeneous symbols as those that are invariant under the group $\mathrm{U}(\boldsymbol{k},j,\mathbb{T})$ obtained from $\mathrm{U}(\boldsymbol{k})$ by replacing the factor $\mathrm{U}(k_j)$ with its center $\mathbb{T}$. These symbols are used to build commutative Banach non-$C^*$ algebras generated by Toeplitz operators. These algebras generalize those from the literature and show that they can be built using groups. We describe the action of such Toeplitz operators on monomials through explicit integral formulas involving the symbols. We prove that every Toeplitz operator with $\mathbb{T}^m$-invariant symbol has an associated Toeplitz operator with $\mathrm{U}(\boldsymbol{k})$-invariant symbol in terms of which we can describe some properties.


title: ProtoRes: Proto-Residual Network for Pose Authoring via Learned Inverse Kinematics

abstract: Our work focuses on the development of a learnable neural representation of human pose for advanced AI assisted animation tooling. Specifically, we tackle the problem of constructing a full static human pose based on sparse and variable user inputs (e.g. locations and/or orientations of a subset of body joints). To solve this problem, we propose a novel neural architecture that combines residual connections with prototype encoding of a partially specified pose to create a new complete pose from the learned latent space. We show that our architecture outperforms a baseline based on Transformer, both in terms of accuracy and computational efficiency. Additionally, we develop a user interface to integrate our neural model in Unity, a real-time 3D development platform. Furthermore, we introduce two new datasets representing the static human pose modeling problem, based on high-quality human motion capture data, which will be released publicly along with model code.


title: Gaussian Processes on Hypergraphs

abstract: We derive a Matern Gaussian process (GP) on the vertices of a hypergraph. This enables estimation of regression models of observed or latent values associated with the vertices, in which the correlation and uncertainty estimates are informed by the hypergraph structure. We further present a framework for embedding the vertices of a hypergraph into a latent space using the hypergraph GP. Finally, we provide a scheme for identifying a small number of representative inducing vertices that enables scalable inference through sparse GPs. We demonstrate the utility of our framework on three challenging real-world problems that concern multi-class classification for the political party affiliation of legislators on the basis of voting behaviour, probabilistic matrix factorisation of movie reviews, and embedding a hypergraph of animals into a low-dimensional latent space.


title: The gamma function and a certain sequence of differences

abstract: We study a sequence of differences related to the problem of finding the smallest factorial $n!$ greater than or equal to $a^n$, where $a > 1$, using the gamma function.


title: Aberration measurement and correction on a large field of view in fluorescence microscopy

abstract: The aberrations induced by the sample and/or by the sample holder limit the resolution of optical microscopes. Wavefront correction can be achieved using a deformable mirror with wavefront sensorless optimization algorithms but, despite the complexity of these systems, the level of correction is often limited to a small area in the field of view of the microscope. In this work, we present a plug and play module for aberration measurement and correction. The wavefront correction is performed through direct wavefront reconstruction using the spinning-pupil aberration measurement and controlling a deformable lens in closed loop. The lens corrects the aberrations in the center of the field of view, leaving residual aberrations at the margins, that are removed by anisoplanatic deconvolution. We present experimental results obtained in fluorescence microscopy, with a wide field and a light sheet fluorescence microscope. These results indicate that detection and correction over the full field of view can be achieved with a compact transmissive module placed in the detection path of the fluorescence microscope.

categories: physics.optics physics.comp-ph physics.ins-det physics.med-ph


title: Boundary regularity estimates in H\"older spaces with variable exponent

abstract: We present a general blow-up technique to obtain local regularity estimates for solutions, and their derivatives, of second order elliptic equations in divergence form in H\"older spaces with variable exponent. The procedure allows to extend the estimates up to a portion of the boundary where Dirichlet or Neumann boundary conditions are prescribed and produces a Schauder theory for partial derivatives of solutions of any order $k\in\mathbb{N}$. The strategy relies on the construction of a class of suitable regularizing problems and an approximation argument. The estimates we obtain are sharp with respect to the regularity or integrability conditions on variable coefficients, boundaries, boundary data and right hand sides respectively in H\"older and Lebesgue spaces, both with variable exponent


title: Gradient Boosted Binary Histogram Ensemble for Large-scale Regression

abstract: In this paper, we propose a gradient boosting algorithm for large-scale regression problems called \textit{Gradient Boosted Binary Histogram Ensemble} (GBBHE) based on binary histogram partition and ensemble learning. From the theoretical perspective, by assuming the H\"{o}lder continuity of the target function, we establish the statistical convergence rate of GBBHE in the space $C^{0,\alpha}$ and $C^{1,0}$, where a lower bound of the convergence rate for the base learner demonstrates the advantage of boosting. Moreover, in the space $C^{1,0}$, we prove that the number of iterations to achieve the fast convergence rate can be reduced by using ensemble regressor as the base learner, which improves the computational efficiency. In the experiments, compared with other state-of-the-art algorithms such as gradient boosted regression tree (GBRT), Breiman's forest, and kernel-based methods, our GBBHE algorithm shows promising performance with less running time on large-scale datasets.


title: PRINS: Scalable Model Inference for Component-based System Logs

abstract: Behavioral software models play a key role in many software engineering tasks; unfortunately, these models either are not available during software development or, if available, quickly become outdated as implementations evolve. Model inference techniques have been proposed as a viable solution to extract finite state models from execution logs. However, existing techniques do not scale well when processing very large logs that can be commonly found in practice. In this paper, we address the scalability problem of inferring the model of a component-based system from large system logs, without requiring any extra information. Our model inference technique, called PRINS, follows a divide-and-conquer approach. The idea is to first infer a model of each system component from the corresponding logs; then, the individual component models are merged together taking into account the flow of events across components, as reflected in the logs. We evaluated PRINS in terms of scalability and accuracy, using nine datasets composed of logs extracted from publicly available benchmarks and a personal computer running desktop business applications. The results show that PRINS can process large logs much faster than a publicly available and well-known state-of-the-art tool, without significantly compromising the accuracy of inferred models.


title: Perfect matchings in hyperfinite graphings

abstract: We characterize hyperfinite bipartite graphings that admit measurable perfect matchings. In particular, we prove that every regular hyperfinite bipartite graphing admits a measurable perfect matching if it is one-ended or the degree is odd. We give several applications of this result, answering various open questions in the field. For instance, we extend the Lyons--Nazarov theorem by characterizing bipartite Cayley graphs which admit a factor of iid perfect matching, answering the bipartite case of a well-known question of Lyons and Nazarov, popularized by Kechris and Marks. Moreover, we show how our results apply to measurable equidecompositions and, in particular, generalize the recent result of Grabowski, M\'ath\'e and Pikhurko on the measurable circle squaring. Our approach applies more generally to rounding measurable perfect fractional matchings.


title: Nonexistence of graded unital homomorphisms between Leavitt algebras and their Cuntz splices

abstract: Let $n\ge 2$, let $\mathcal{R}_n$ be the graph consisting of one vertex and $n$ loops and let $\mathcal{R}_{n^-}$ be its Cuntz splice. Let $L_n=L(\mathcal{R}_n)$ and $L_{n^-}=L(\mathcal{R}_{n^-})$ be the Leavitt path algebras over a unital ring $\ell$. Let $C_m$ be the cyclic group on $2\le m\le \infty$ elements. Equip $L_n$ and $L_{n^-}$ with their natural $C_m$-gradings. We show that under mild conditions on $\ell$, which are satisfied for example when $\ell$ is a field or a PID, there are no unital $C_m$-graded ring homomorphisms $L_n\to L_{n^-}$ nor in the opposite direction.


title: An upper bound on the degree of singular vectors for $E(1,6)$

abstract: The aim of this work is to prove a technical result, that had been stated by Boyallian, Kac and Liberati \cite{ck6}, on the degree of singular vectors of finite Verma modules over the exceptional Lie superalgebra $E(1,6)$ that is isomorphic to the annihilation superalgebra associated with the conformal superalgebra $CK_{6}$.


title: Very free rational curves in Fano varieties

abstract: Let $X$ be a projective variety and let $C$ be a rational normal curve on $X$. We compute the normal bundle of $C$ in a general complete intersection of hypersurfaces of sufficiently large degree in $X$. As a result, we establish the separable rational connectedness of a large class of varieties, including general Fano complete intersections of hypersurfaces of degree at least three in flag varieties, in arbitrary characteristic. In addition, we give a new way of computing the normal bundle of certain rational curves in products of varieties in terms of their restricted tangent bundles and normal bundles on each factor.


title: Connected essential spectrum: the case of differential forms

abstract: In this article we prove that, over complete manifolds of dimension $n$ with vanishing curvature at infinity, the essential spectrum of the Hodge Laplacian on differential $k$-forms is a connected interval for $0\leq k\leq n$. The main idea is to show that large balls of these manifolds, which capture their spectrum, are close in the Gromov-Hausdorff sense to product manifolds. We achieve this by carefully describing the collapsed limits of these balls. Then, via a new generalized version of the classical Weyl criterion, we demonstrate that very rough test forms that we get from the $\varepsilon$-approximation maps can be used to show that the essential spectrum is a connected interval. We also prove that, under a weaker condition where the Ricci curvature is asymptotically nonnegative, the essential spectrum on $k$-forms is $[0,\infty)$, but only for $0\leq k\leq q$ and $n-q \leq k\leq n$ for some integer $ q\geq 1$ which depends the structure of the manifolds at infinity.


title: Real-time Grid and DER Co-simulation Platform for Validating Large-scale DER Control Schemes

abstract: Distributed energy resources (DERs) such as responsive loads and energy storage systems are valuable resources available to grid operators for balancing supply-demand mismatches via load coordination. However, consumer acceptance of load coordination schemes depends on ensuring quality of service (QoS), which embodies device-level constraints. Since each device has its own internal energy state, the effect of QoS on the fleet can be cast as fleet-wide energy limits within which the aggregate "state of charge" (SoC) must be actively maintained. This requires coordination of DERs that is cognizant of the SoC, responsive to grid conditions, and depends on fast communication networks. To that effect, this paper presents a novel real-time grid-and-DER co-simulation platform for validating advanced DER coordination schemes and characterizing the capability of such a DER fleet. In particular, we present how the co-simulation platform is suitable for: i) testing real-time performance of a large fleet of DERs in delivering advanced grid services, including frequency regulation; ii) online state estimation to characterize the corresponding SoC of a large fleet of DERs; and iii) incorporating practical limitations of DERs and communications and analyzing the effects on fleet-wide performance. To illustrate these benefits of the presented grid-DER co-simulation platform, we employ the advanced DER coordination scheme called packetized energy management (PEM), which is a novel device-driven, asynchronous, and randomizing control paradigm for DERs. A fleet of thousands of PEM-enabled DERs are then added to a realistic and dynamical model of the Vermont transmission system to complete validation of the co-simulation platform.


title: Feedback Capacity of MIMO Gaussian Channels

abstract: Finding a computable expression for the feedback capacity of channels with colored Gaussian, additive noise is a long standing open problem. In this paper, we solve this problem in the scenario where the channel has multiple inputs and multiple outputs (MIMO) and the noise process is generated as the output of a time-invariant state-space model. Our main result is a computable expression for the feedback capacity in terms of a finite-dimensional convex optimization. The solution to the feedback capacity problem is obtained by formulating the finite-block counterpart of the capacity problem as a \emph{sequential convex optimization problem} which leads in turn to a single-letter upper bound. This converse derivation integrates tools and ideas from information theory, control, filtering and convex optimization. A tight lower bound is realized by optimizing over a family of time-invariant policies thus showing that time-invariant inputs are optimal even when the noise process may not be stationary. The optimal time-invariant policy is used to construct a capacity-achieving and simple coding scheme for scalar channels, and its analysis reveals an interesting relation between a smoothing problem and the feedback capacity expression.


title: Discrete Lagrange Problems with Constraints Valued in a Lie Group

abstract: The Lagrange problem is established in the discrete field theory subject to constraints with values in a Lie group. For the admissible sections that satisfy a certain regularity condition, we prove that the critical sections of such problems are the solutions of a canonically unconstrained variational problem associated with the Lagrange problem (discrete Lagrange multiplier rule). This variational problem has a discrete Cartan 1-form, from which a Noether theory of symmetries and a multisymplectic form formula are established. The whole theory is applied to the Euler-Poincar\'e reduction in the discrete field theory, concluding as an illustration with the remarkable example of the harmonic maps of the discrete plane in the Lie group $SO(n)$.


title: A Jacobian criterion for nonsingularity in mixed characteristic

abstract: We give a version of the usual Jacobian characterization of the defining ideal of the singular locus in the equal characteristic case: the new theorem is valid for essentially affine algebras over a complete local algebra over a mixed characteristic discrete valuation ring. The result makes use of the minors of a matrix that includes a row coming from the values of a $p$-derivation. To study the analogue of modules of differentials associated with the mixed Jacobian matrices that arise in our context, we introduce and investigate the notion of a perivation, which may be thought of, roughly, as a linearization of the notion of $p$-derivation. We also develop a mixed characteristic analogue of the positive characteristic $\Gamma$-construction, and apply this to give additional nonsingularity criteria.


title: Statistical Considerations for Cross-Sectional HIV Incidence Estimation Based on Recency Test

abstract: Longitudinal cohorts to determine the incidence of HIV infection are logistically challenging, so researchers have sought alternative strategies. Recency test methods use biomarker profiles of HIV-infected subjects in a cross-sectional sample to infer whether they are "recently" infected and to estimate incidence in the population. Two main estimators have been used in practice: one that assumes a recency test is perfectly specific, and another that allows for false-recent results. To date, these commonly used estimators have not been rigorously studied with respect to their assumptions and statistical properties. In this paper, we present a theoretical framework with which to understand these estimators and interrogate their assumptions, and perform a simulation study to assess the performance of these estimators under realistic HIV epidemiological dynamics. We conclude with recommendations for the use of these estimators in practice and a discussion of future methodological developments to improve HIV incidence estimation via recency test.


title: Toward Explainable Users: Using NLP to Enable AI to Understand Users' Perceptions of Cyber Attacks

abstract: To understand how end-users conceptualize consequences of cyber security attacks, we performed a card sorting study, a well-known technique in Cognitive Sciences, where participants were free to group the given consequences of chosen cyber attacks into as many categories as they wished using rationales they see fit. The results of the open card sorting study showed a large amount of inter-participant variation making the research team wonder how the consequences of security attacks were comprehended by the participants. As an exploration of whether it is possible to explain user's mental model and behavior through Artificial Intelligence (AI) techniques, the research team compared the card sorting data with the outputs of a number of Natural Language Processing (NLP) techniques with the goal of understanding how participants perceived and interpreted the consequences of cyber attacks written in natural languages. The results of the NLP-based exploration methods revealed an interesting observation implying that participants had mostly employed checking individual keywords in each sentence to group cyber attack consequences together and less considered the semantics behind the description of consequences of cyber attacks. The results reported in this paper are seemingly useful and important for cyber attacks comprehension from user's perspectives. To the best of our knowledge, this paper is the first introducing the use of AI techniques in explaining and modeling users' behavior and their perceptions about a context. The novel idea introduced here is about explaining users using AI.


title: Filtered Frobenius algebras in monoidal categories

abstract: We develop filtered-graded techniques for algebras in monoidal categories with the main goal of establishing a categorical version of Bongale's 1967 result: A filtered deformation of a Frobenius algebra over a field is Frobenius as well. Towards the goal, we first construct a monoidal associated graded functor, building on prior works of Ardizzoni-Menini, of Galatius et al., and of Gwillian-Pavlov. Next, we produce equivalent conditions for an algebra in a rigid monoidal category to be Frobenius in terms of the existence of categorical Frobenius form; this builds on work of Fuchs-Stigner. These two results of independent interest are then used to achieve our goal. As an application of our main result, we show that any exact module category over a symmetric finite tensor category $\mathcal{C}$ is represented by a Frobenius algebra in $\mathcal{C}$. Several directions for further investigation are also proposed.


title: Unified Performance Analysis of Reconfigurable Intelligent Surface Empowered Free Space Optical Communications

abstract: Reconfigurable intelligent surface (RIS) is an excellent use case for line-of-sight (LOS) based technologies such as free-space optical (FSO) communications. In this paper, we analyze the performance of RIS-empowered FSO (RISE-FSO) systems by unifying Fisher-Snedecor (F), Gamma-Gamma (GG), and Malaga (M) distributions for atmospheric turbulence with zero-boresight pointing errors over deterministic as well as random path-loss in foggy conditions with heterodyne detection (HD) and intensity modulation/direct detection (IM/DD) methods. By deriving the probability density function (PDF) and cumulative distribution function (CDF) of the direct-link (DL) with the statistical effect of atmospheric turbulence, pointing errors, and random fog, we develop exact expressions of PDF and CDF of the resultant channel for the RISE-FSO system. Using the derived statistical results, we present exact expressions of outage probability, average bit-error-rate (BER), ergodic capacity, and moments of signal-to-noise ratio (SNR) for both DL-FSO and RISE-FSO systems. We also develop an asymptotic analysis of the outage probability and average BER and derive the diversity order of the considered systems. We validate the analytical expressions using Monte-Carlo simulations and demonstrate the performance scaling of the FSO system with the number of RIS elements for various turbulence channels, detection techniques, and weather conditions.


title: Resonant Nonlinear Hall Effect in Two-Dimensional Electron Systems

abstract: We study the Hall conductivity of a two-dimensional electron gas under an inhomogeneous magnetic field $B(x)$. First, we prove using the quantum kinetic theory that an odd magnetic field can lead to a purely nonlinear Hall response. Second, considering a real-space magnetic dipole consisting of a sign-changing magnetic field and based on numerical semiclassical dynamics, we unveil a parametric resonance involving the cyclotron ratio and a characteristic width of $B(x)$, which can greatly enhance the Hall response. Different from previous mechanisms that rely on the bulk Berry curvature dipole, here, the effect largely stems from boundary states associated with the real-space magnetic dipole. Our findings pave a new way to engineer current rectification and higher harmonic generation in two-dimensional materials having or not crystal inversion symmetry.


title: Factorials and powers, a minimality result

abstract: Let $a > 1$. Then $a^n < n!$ for some positive integer $n$. We show that the smallest such $n$ is one of a pair of possibilities, or is one possibility, which we show how to calculate. There are three interesting numerical sequences which play a central role in our arguments. This paper is based on the improvement on Sterling's approximation of factorials due to Robbins \cite{Robbins} and results of \cite{Radford}


title: Individual vs. Joint Perception: a Pragmatic Model of Pointing as Communicative Smithian Helping

abstract: The simple gesture of pointing can greatly augment ones ability to comprehend states of the world based on observations. It triggers additional inferences relevant to ones task at hand. We model an agents update to its belief of the world based on individual observations using a partially observable Markov decision process (POMDP), a mainstream artificial intelligence (AI) model of how to act rationally according to beliefs formed through observation. On top of that, we model pointing as a communicative act between agents who have a mutual understanding that the pointed observation must be relevant and interpretable. Our model measures relevance by defining a Smithian Value of Information (SVI) as the utility improvement of the POMDP agent before and after receiving the pointing. We model that agents calculate SVI by using the cognitive theory of Smithian helping as a principle of coordinating separate beliefs for action prediction and action evaluation. We then import SVI into rational speech act (RSA) as the utility function of an utterance. These lead us to a pragmatic model of pointing allowing for contextually flexible interpretations. We demonstrate the power of our Smithian pointing model by extending the Wumpus world, a classic AI task where a hunter hunts a monster with only partial observability of the world. We add another agent as a guide who can only help by marking an observation already perceived by the hunter with a pointing or not, without providing new observations or offering any instrumental help. Our results show that this severely limited and overloaded communication nevertheless significantly improves the hunters performance. The advantage of pointing is indeed due to a computation of relevance based on Smithian helping, as it disappears completely when the task is too difficult or too easy for the guide to help.


title: The Yang-Mills heat equation on three-manifolds with boundary

abstract: In this short note we provide an expository account of the work of Leonard Gross and the author on the Yang-Mills heat equation over smooth three-manifolds with boundary.


title: Limits of quantum speed-ups for computational geometry and other problems: Fine-grained complexity via quantum walks

abstract: Many computational problems are subject to a quantum speed-up: one might find that a problem having an O(n^3)-time or O(n^2)-time classic algorithm can be solved by a known O(n^1.5)-time or O(n)-time quantum algorithm. The question naturally arises: how much quantum speed-up is possible? The area of fine-grained complexity allows us to prove optimal lower-bounds on the complexity of various computational problems, based on the conjectured hardness of certain natural, well-studied problems. This theory has recently been extended to the quantum setting, in two independent papers by Buhrman, Patro, and Speelman (arXiv:1911.05686), and by Aaronson, Chia, Lin, Wang, and Zhang (arXiv:1911.01973). In this paper, we further extend the theory of fine-grained complexity to the quantum setting. A fundamental conjecture in the classical setting states that the 3SUM problem cannot be solved by (classical) algorithms in time O(n^{2-a}), for any a>0. We formulate an analogous conjecture, the Quantum-3SUM-Conjecture, which states that there exist no sublinear O(n^{1-b})-time quantum algorithms for the 3SUM problem. Based on the Quantum-3SUM-Conjecture, we show new lower-bounds on the time complexity of quantum algorithms for several computational problems. Most of our lower-bounds are optimal, in that they match known upper-bounds, and hence they imply tight limits on the quantum speedup that is possible for these problems.


title: Cloud-Enabled High-Altitude Platform Systems: Challenges and Opportunities

abstract: Augmenting ground-level communications with flying networks, such as the high-altitude platform system (HAPS), is among the major innovative initiatives of the next generation of wireless systems (6G). Given HAPS quasi-static positioning at the stratosphere, HAPS-to-ground and HAPS-to-air connectivity frameworks are expected to be prolific in terms of data acquisition and computing, especially given the mild weather and quasi-constant wind speed characteristics of the stratospheric layer. This paper explores the opportunities stemming from the realization of cloud-enabled HAPS in the context of telecommunications applications and services. The paper first advocates for the potential physical advantages of deploying HAPS as flying data-centers, also known as super-macro base stations. The paper then describes various cloud services that can be offered from the HAPS and the merits that can be achieved by this integration, such as enhancing the quality, speed, and range of the offered services. The proposed services span a wide range of fields, including satellites, Internet of Things (IoT), ad hoc networks (such as sensor; vehicular; and aerial networks), gaming, and social networks. For each service, the paper illustrates the methods that would be used by cloud providers to offload the service data to the HAPS and enable the cloud customers to consume the service. The paper further sheds light on the challenges that need to be addressed for realizing practical cloud-enabled HAPS, mainly, those related to high energy, processing power, quality of service (QoS), and security considerations. Finally, the paper discusses some open issues on the topic, namely, HAPS mobility and message routing, HAPS security via blockchain and machine learning, artificial intelligence-based resource allocation in cloud-enabled HAPS, and integration with vertical heterogeneous networks.


title: Reply to "Comment on: Cosmological black holes are not described by the Thakurta metric"

abstract: In this reply, we address the comment [arXiv:2105.14908] to our recent paper [arXiv:2105.09328], where we argued that the Thakurta metric does not describe cosmological black holes. We clarify that the mass growth of Thakurta black holes is due to an influx of energy (i.e. accretion), which, by definition, is not a feature of geometry. The conclusions of [arXiv:2105.09328] are independent of the interpretation of this energy flux. We show that the average energy density of primordial Thakurta black holes scales as $a^{-2}$ and requires an unrealistic and fine-tuned energy transfer from a smooth dark matter component to the primordial black hole sector.


title: Dependence of phase behavior and surface tension on particle stiffness for active Brownian particles

abstract: We study quasi two-dimensional, monodisperse systems of active Brownian particles (ABPs) for a range of activities, stiffnesses, and densities. We develop a microscopic, analytical method for predicting the dense phase structure formed after motility-induced phase separation (MIPS) has occurred, including the dense cluster's area fraction, interparticle pressure, and radius. Our predictions are in good agreement with our Brownian dynamics simulations. We, then, derive a continuum model to investigate the relationship between the predicted interparticle pressure, the swim pressure, and the macroscopic pressure in the momentum equation. We find that formulating the point-wise macroscopic pressure as the interparticle pressure and modeling the particle activity through a spatially variant body force -- as opposed to a volume-averaged swim pressure -- results in consistent predictions of pressure in both the continuum model and the microscopic theory. This formulation of pressure also results in nearly zero surface tension for the phase separated domains, irrespective of activity, stiffness, and area fraction. Furthermore, using Brownian dynamics simulations and our continuum model, we showed that both the interface width and surface tension, are intrinsic characteristics of the system. On the other hand, if we were to exclude the body force induced by activity, we find that the resulting surface tension values are linearly dependent on the size of the simulation, in contrast to the statistical mechanical definition of surface tension.


title: A Case Study of Spanish Text Transformations for Twitter Sentiment Analysis

abstract: Sentiment analysis is a text mining task that determines the polarity of a given text, i.e., its positiveness or negativeness. Recently, it has received a lot of attention given the interest in opinion mining in micro-blogging platforms. These new forms of textual expressions present new challenges to analyze text given the use of slang, orthographic and grammatical errors, among others. Along with these challenges, a practical sentiment classifier should be able to handle efficiently large workloads. The aim of this research is to identify which text transformations (lemmatization, stemming, entity removal, among others), tokenizers (e.g., words $n$-grams), and tokens weighting schemes impact the most the accuracy of a classifier (Support Vector Machine) trained on two Spanish corpus. The methodology used is to exhaustively analyze all the combinations of the text transformations and their respective parameters to find out which characteristics the best performing classifiers have in common. Furthermore, among the different text transformations studied, we introduce a novel approach based on the combination of word based $n$-grams and character based $q$-grams. The results show that this novel combination of words and characters produces a classifier that outperforms the traditional word based combination by $11.17\%$ and $5.62\%$ on the INEGI and TASS'15 dataset, respectively.


title: Photometric and Spectroscopic Analysis of Five Am Stars

abstract: The photometric analysis of sample Am stars is carried out to determine the stellar characteristics and to constrain the stellar dynamics. The spectroscopic analysis of the studied Am stars confirms their general characteristics of Am stars. The available data on elemental abundances for HD 113878 and HD 118660 have shown different characteristics during different epochs of observations. The basic stellar parameters (mass, luminosity, radius, life time, distance, proper-motion, etc.) are also determined to identify the stellar habitat zones for earth like exoplanet. Such information is important to identify suitable planets for human settlement in the near future. In this connection, the tidal radius and boundaries of the habitable zone of each star have been computed to support the search of an extra-terrestrial life around them. Asteroseismic mass scale test shows greater stellar masses comparable to the solar mass.


title: Provably Secure Generative Linguistic Steganography

abstract: Generative linguistic steganography mainly utilized language models and applied steganographic sampling (stegosampling) to generate high-security steganographic text (stegotext). However, previous methods generally lead to statistical differences between the conditional probability distributions of stegotext and natural text, which brings about security risks. In this paper, to further ensure security, we present a novel provably secure generative linguistic steganographic method ADG, which recursively embeds secret information by Adaptive Dynamic Grouping of tokens according to their probability given by an off-the-shelf language model. We not only prove the security of ADG mathematically, but also conduct extensive experiments on three public corpora to further verify its imperceptibility. The experimental results reveal that the proposed method is able to generate stegotext with nearly perfect security.


title: Attack Prediction using Hidden Markov Model

abstract: It is important to predict any adversarial attacks and their types to enable effective defense systems. Often it is hard to label such activities as malicious ones without adequate analytical reasoning. We propose the use of Hidden Markov Model (HMM) to predict the family of related attacks. Our proposed model is based on the observations often agglomerated in the form of log files and from the target or the victim's perspective. We have built an HMM-based prediction model and implemented our proposed approach using Viterbi algorithm, which generates a sequence of states corresponding to stages of a particular attack. As a proof of concept and also to demonstrate the performance of the model, we have conducted a case study on predicting a family of attacks called Action Spoofing.


title: The measurable Hall theorem fails for treeings

abstract: We construct for every $d \geq 2$ a $d$-regular acyclic measurably bipartite graphing that admits no measurable perfect matching. This answers a question of Kechris and Marks.


title: Mixing and $CP$ violation in $D^0 \to K^- \pi^+$ decays

abstract: We review the experimental methods to measure mixing and time-dependent $C\!P$ violation in $D^0$ decays into two hadrons. While these phenomena are usually neglected for $D^0 \to K^- \pi^+$ decays, this approximation is not always justified. In particular, it produces a bias on the measurement of the parameter $y_{CP}$, when this is performed by relying on $D^0 \to K^- \pi^+$ decays as a normalisation channel, whose size is around 40% of the precision of the current world average. Finally, we estimate the sensitivity to the weak mixing phases achievable by studying $D^0 \to K^- \pi^+$ and untagged $D \to K^- \pi^+$ decays, where $D$ stands for either of the $D^0$ and $\bar{D}^0$ mesons. Contrary to Cabibbo-suppressed $D^0 \to h^+ h^-$ decays, these decay channels allow to measure these phases without final-state dependent nuisance contributions from the decay amplitudes, but their sensitivity is lower by a factor of six.


title: The BCS Critical Temperature at High Density

abstract: We investigate the BCS critical temperature $T_c$ in the high-density limit and derive an asymptotic formula, which strongly depends on the behavior of the interaction potential $V$ on the Fermi-surface. Our results include a rigorous confirmation for the behavior of $T_c$ at high densities proposed by Langmann, Triola, and Balatsky (Phys. Rev. Lett. 122, 2019) and identify precise conditions under which superconducting domes arise in BCS theory.


title: Semantic-WER: A Unified Metric for the Evaluation of ASR Transcript for End Usability

abstract: Recent advances in supervised, semi-supervised and self-supervised deep learning algorithms have shown significant improvement in the performance of automatic speech recognition(ASR) systems. The state-of-the-art systems have achieved a word error rate (WER) less than 5%. However, in the past, researchers have argued the non-suitability of the WER metric for the evaluation of ASR systems for downstream tasks such as spoken language understanding (SLU) and information retrieval. The reason is that the WER works at the surface level and does not include any syntactic and semantic knowledge.The current work proposes Semantic-WER (SWER), a metric to evaluate the ASR transcripts for downstream applications in general. The SWER can be easily customized for any down-stream task.


title: A Dataset and Baselines for Multilingual Reply Suggestion

abstract: Reply suggestion models help users process emails and chats faster. Previous work only studies English reply suggestion. Instead, we present MRS, a multilingual reply suggestion dataset with ten languages. MRS can be used to compare two families of models: 1) retrieval models that select the reply from a fixed set and 2) generation models that produce the reply from scratch. Therefore, MRS complements existing cross-lingual generalization benchmarks that focus on classification and sequence labeling tasks. We build a generation model and a retrieval model as baselines for MRS. The two models have different strengths in the monolingual setting, and they require different strategies to generalize across languages. MRS is publicly available at https://github.com/zhangmozhi/mrs.


title: Nonlinear Matrix Approximation with Radial Basis Function Components

abstract: We introduce and investigate matrix approximation by decomposition into a sum of radial basis function (RBF) components. An RBF component is a generalization of the outer product between a pair of vectors, where an RBF function replaces the scalar multiplication between individual vector elements. Even though the RBF functions are positive definite, the summation across components is not restricted to convex combinations and allows us to compute the decomposition for any real matrix that is not necessarily symmetric or positive definite. We formulate the problem of seeking such a decomposition as an optimization problem with a nonlinear and non-convex loss function. Several modern versions of the gradient descent method, including their scalable stochastic counterparts, are used to solve this problem. We provide extensive empirical evidence of the effectiveness of the RBF decomposition and that of the gradient-based fitting algorithm. While being conceptually motivated by singular value decomposition (SVD), our proposed nonlinear counterpart outperforms SVD by drastically reducing the memory required to approximate a data matrix with the same L2 error for a wide range of matrix types. For example, it leads to 2 to 6 times memory save for Gaussian noise, graph adjacency matrices, and kernel matrices. Moreover, this proximity-based decomposition can offer additional interpretability in applications that involve, e.g., capturing the inner low-dimensional structure of the data, retaining graph connectivity structure, and preserving the acutance of images.


title: Neural Actor: Neural Free-view Synthesis of Human Actors with Pose Control

abstract: We propose Neural Actor (NA), a new method for high-quality synthesis of humans from arbitrary viewpoints and under arbitrary controllable poses. Our method is built upon recent neural scene representation and rendering works which learn representations of geometry and appearance from only 2D images. While existing works demonstrated compelling rendering of static scenes and playback of dynamic scenes, photo-realistic reconstruction and rendering of humans with neural implicit methods, in particular under user-controlled novel poses, is still difficult. To address this problem, we utilize a coarse body model as the proxy to unwarp the surrounding 3D space into a canonical pose. A neural radiance field learns pose-dependent geometric deformations and pose- and view-dependent appearance effects in the canonical space from multi-view video input. To synthesize novel views of high fidelity dynamic geometry and appearance, we leverage 2D texture maps defined on the body model as latent variables for predicting residual deformations and the dynamic appearance. Experiments demonstrate that our method achieves better quality than the state-of-the-arts on playback as well as novel pose synthesis, and can even generalize well to new poses that starkly differ from the training poses. Furthermore, our method also supports body shape control of the synthesized results.


title: There are no valid points of criticism in Tyshkovskiy and Panchin's response (10.1002/bies.202000325) to our paper "The genetic structure of SARS-CoV-2 does not rule out a laboratory origin" (DOI: 10.1002/bies.202000240)

abstract: Tyshkovskiy and Panchin have recently published a commentary on our paper in which they outline several "points of disagreement with the Segreto/Deigin hypothesis". As our paper is titled "The genetic structure of SARS-CoV-2 does not rule out a laboratory origin", points of disagreement should provide evidence that rules out a laboratory origin. However, Tyshkovskiy and Panchin provide no such evidence and instead attempt to criticize our arguments that highlight aspects of SARS-CoV-2 that could be consistent with the lab leak hypothesis. Strikingly, Tyshkovskiy and Panchin's main point of criticism is based on a false premise that we have claimed RaTG13 to be a direct progenitor of SARS-CoV-2, and their other points of criticism are either incorrect or irrelevant to our hypotheses. Thus, the genetic structure of SARS-CoV-2 remains consistent with both natural or laboratory origin, which means that both the zoonotic and the lab leak hypothesis need to be investigated equally thoroughly.


title: Efficient Fizeau Drag from Dirac electrons in monolayer graphene

abstract: Fizeau demonstrated in 1850 that the speed of light can be modified when it is propagating in moving media. Can we achieve such control of the light speed efficiently with a fast-moving electron media by passing electrical current? Because the strong electromagnetic coupling between the electron and light leads to the collective excitation of plasmon polaritons, it will manifest as the plasmonic Doppler effect. Experimental observation of the plasmonic Doppler effect in electronic system has been challenge because the plasmon propagation speed is much faster than the electron drift velocity in conventional noble metals. Here, we report direct observation of Fizeau drag of plasmon polaritons in strongly biased graphene by exploiting the high electron mobility and the slow plasmon propagation of massless Dirac electrons. The large bias current in graphene creates a fast drifting Dirac electron medium hosting the plasmon polariton. It results in nonreciprocal plasmon propagation, where plasmons moving with the drifting electron media propagate at an enhanced speed. We measure the Doppler-shifted plasmon wavelength using a cryogenic near-field infrared nanoscopy, which directly images the plasmon polariton mode in the biased graphene at low temperature. We observe a plasmon wavelength difference up to 3.6% between plasmon moving along and against the drifting electron media. Our findings on the plasmonic Doppler effect open new opportunities for electrical control of non-reciprocal surface plasmon polaritons in nonequilibrium systems.


title: Single Image Depth Prediction with Wavelet Decomposition

abstract: We present a novel method for predicting accurate depths from monocular images with high efficiency. This optimal efficiency is achieved by exploiting wavelet decomposition, which is integrated in a fully differentiable encoder-decoder architecture. We demonstrate that we can reconstruct high-fidelity depth maps by predicting sparse wavelet coefficients. In contrast with previous works, we show that wavelet coefficients can be learned without direct supervision on coefficients. Instead we supervise only the final depth image that is reconstructed through the inverse wavelet transform. We additionally show that wavelet coefficients can be learned in fully self-supervised scenarios, without access to ground-truth depth. Finally, we apply our method to different state-of-the-art monocular depth estimation models, in each case giving similar or better results compared to the original model, while requiring less than half the multiply-adds in the decoder network. Code at https://github.com/nianticlabs/wavelet-monodepth


title: Slepian Scale-Discretised Wavelets on the Sphere

abstract: This work presents the construction of a novel spherical wavelet basis designed for incomplete spherical datasets, i.e. datasets which are missing in a particular region of the sphere. The eigenfunctions of the Slepian spatial-spectral concentration problem (the Slepian functions) are a set of orthogonal basis functions which are more concentrated within a defined region. Slepian functions allow one to compute a convolution on the incomplete sphere by leveraging the recently proposed sifting convolution and extending it to any set of basis functions. Through a tiling of the Slepian harmonic line, one may construct scale-discretised wavelets. An illustration is presented based on an example region on the sphere defined by the topographic map of the Earth. The Slepian wavelets and corresponding wavelet coefficients are constructed from this region and are used in a straightforward denoising example.


title: Combinatorial Algorithms for Matching Markets via Nash Bargaining: One-Sided, Two-Sided and Non-Bipartite

abstract: In the area of matching-based market design, existing models using cardinal utilities suffer from two deficiencies, which restrict applicability: First, the Hylland-Zeckhauser (HZ) mechanism, which has remained a classic in economics for one-sided matching markets, is intractable; computation of even an approximate equilibrium is PPAD-complete [Vazirani, Yannakakis 2021], [Chen et al 2022]. Second, there is an extreme paucity of such models. This led [Hosseini and Vazirani 2021] to define a rich collection of Nash-bargaining-based models for one-sided and two-sided matching markets, in both Fisher and Arrow-Debreu settings, together with implementations using available solvers and very encouraging experimental results. [Hosseini and Vazirani 2021] raised the question of finding efficient combinatorial algorithms, with proven running times, for these models. In this paper, we address this question by giving algorithms based on the techniques of multiplicative weights update (MWU) and conditional gradient descent (CGD). Additionally, we make the following conceptual contributions to the proposal of [Hosseini and Vazirani 2021] in order to set it on a more firm foundation: 1) We establish a connection between HZ and Nash-bargaining-based models via the celebrated Eisenberg-Gale convex program, thereby providing a theoretical ratification. 2) Whereas HZ satisfies envy-freeness, due to the presence of demand constraints, the Nash-bargaining-based models do not. We rectify this to the extent possible by showing that these models satisfy approximate equal-share fairness notions. 3) We define, for the first time, a model for non-bipartite matching markets under cardinal utilities. It is also Nash-bargaining-based and we solve it using CGD.


title: Relationship between A-site Cation and Magnetic Structure in 3d-5d-4f Double Perovskite Iridates Ln2NiIrO6 (Ln=La, Pr, Nd)

abstract: We report a comprehensive investigation of Ln2NiIrO6 (Ln = La, Pr, Nd) using thermodynamic and transport properties, neutron powder diffraction, resonant inelastic x-ray scattering, and density functional theory (DFT) calculations to investigate the role of A-site cations on the magnetic interactions in this family of hybrid 3d-5d-4f compositions. Magnetic structure determination using neutron diffraction reveals antiferromagnetism for La2NiIrO6, a collinear ferrimagnetic Ni/Ir state that is driven to long range antiferromagnetism upon the onset of Nd ordering in Nd2NiIrO6, and a non-collinear ferrimagnetic Ni/Ir sublattice interpenetrated by a ferromagnetic Pr lattice for Pr2NiIrO6. For Pr2NiIrO6 heat capacity results reveal the presence of two independent magnetic sublattices and transport resistivity indicates insulating behavior and a conduction pathway that is thermally mediated. First principles DFT calculation elucidates the existence of the two independent magnetic sublattices within Pr2NiIrO6 and offers insight into the behavior in La2NiIrO6 and Nd2NiIrO6. Resonant inelastic x-ray scattering is consistent with spin-orbit coupling splitting the t2g manifold of octahedral Ir4+ into a Jeff = 1/2 and Jeff = 3/2 state for all members of the series considered.


title: Breaking the Cubic Barrier for (Unweighted) Tree Edit Distance

abstract: The (unweighted) tree edit distance problem for $n$ node trees asks to compute a measure of dissimilarity between two rooted trees with node labels. The current best algorithm from more than a decade ago runs in $O(n ^ 3)$ time [Demaine, Mozes, Rossman, and Weimann, ICALP 2007]. The same paper also showed that $O(n ^ 3)$ is the best possible running time for any algorithm using the so-called decomposition strategy, which underlies almost all the known algorithms for this problem. These algorithms would also work for the weighted tree edit distance problem, which cannot be solved in truly sub-cubic time under the APSP conjecture [Bringmann, Gawrychowski, Mozes, and Weimann, SODA 2018]. In this paper, we break the cubic barrier by showing an $O(n ^ {2.9546})$ time algorithm for the unweighted tree edit distance problem. We consider an equivalent maximization problem and use a dynamic programming scheme involving matrices with many special properties. By using a decomposition scheme as well as several combinatorial techniques, we reduce tree edit distance to the max-plus product of bounded-difference matrices, which can be solved in truly sub-cubic time [Bringmann, Grandoni, Saha, and Vassilevska Williams, FOCS 2016].


title: Next-to-leading-order QCD corrections to heavy quark fragmentation into ${}^1S^{(1,8)}_0$ quarkonia

abstract: Within NRQCD factorization framework, in this work we compute, at the lowest order in velocity expansion, the next-to-leading-order (NLO) perturbative corrections to the short-distance coefficients associated with heavy quark fragmentation into the ${}^1S_0^{(1,8)}$ components of a heavy quarkonium. Starting from the Collins and Soper's operator definition of the quark fragmentation function, we apply the sector decomposition method to facilitate the numerical manipulation. It is found that the NLO QCD corrections have a significant impact.