title: Instability of degenerate solitons for nonlinear Schr\"odinger equations with derivative

abstract: We consider the following nonlinear Schr\"{o}dinger equation with derivative: \begin{equation} iu_t =-u_{xx} -i |u|^{2}u_x -b|u|^4u , \quad (t,x) \in \mathbb{R}\times\mathbb{R}, \ b \in\mathbb{R}. \end{equation} If $b=0$, this equation is a gauge equivalent form of the well-known derivative nonlinear Schr\"{o}dinger (DNLS) equation. The soliton profile of DNLS satisfies a certain double power elliptic equation with cubic-quintic nonlinearities. The quintic nonlinearity in our equation only affects the coefficient in front of the quintic term in the elliptic equation, so in this sense the additional nonlinearity is natural as a perturbation preserving soliton profiles of DNLS. When $b\ge 0$, the equation has degenerate solitons whose momentum and energy are zero, and if $b=0$, they are algebraic solitons. Inspired from the works on instability theory of the $L^2$-critical generalized KdV equation, we study the instability of degenerate solitons in a qualitative way, and when $b>0$, we obtain a large set of initial data yielding the instability. The arguments except one step in our proof work for the case $b=0$ in exactly the same way, which is a small step towards understanding the dynamics around algebraic solitons of the DNLS equation.


title: Fermi's golden rule for spontaneous emission in absorptive and amplifying media

abstract: We demonstrate a fundamental breakdown of the photonic spontaneous emission (SE) formula derived from Fermi's golden rule, in absorptive and amplifying media, where one assumes the SE rate scales with the local photon density of states, an approach often used in more complex, semiclassical nanophotonics simulations. Using a rigorous quantization of the macroscopic Maxwell equations in the presence of arbitrary linear media, we derive a corrected Fermi's golden rule and master equation for a quantum two-level system (TLS) that yields a quantum pumping term and a modified decay rate that is net positive. We show rigorous numerical results of the temporal dynamics of the TLS for an example of two coupled microdisk resonators, forming a gain-loss medium, and demonstrate the clear failure of the commonly adopted formulas based solely on the local density of states.


title: Population Density and Spreading of COVID-19 in England and Wales

abstract: We investigated daily COVID-19 cases and deaths in the 337 lower tier local authority regions in England and Wales to better understand how the disease propagated over a 15-month period. Population density scaling models revealed residual variance and skewness to be sensitive indicators of the dynamics of propagation. Lockdowns and schools reopening triggered increased variance indicative of outbreaks with local impact and country scale heterogeneity. University reopening and December holidays triggered reduced variance indicative of country scale homogenisation which reached a minimum in mid-January 2021. Homogeneous propagation was associated with better correspondence with normally distributed residuals while heterogeneous propagation was more consistent with skewed models. Skewness varied from strongly negative to strongly positive revealing an unappreciated feature of community propagation. Hot spots and super-spreading events are well understood descriptors of regional disease dynamics that would be expected to be associated with positively skewed distributions. Positively skewed behaviour was observed; however, negative skewness indicative of cold-spots and super-isolation dominated for approximately 8 months during the period of study. In contrast, death metrics showed near constant behaviour in scaling, variance, and skewness metrics over the full period with rural regions preferentially affected, an observation consistent with regional age demographics in England and Wales. Regional positions relative to density scaling laws were remarkably persistent after the first 5-9 days of the available data set. The determinants of this persistent behaviour probably precede the pandemic and remain unchanged.


title: Time-series and Phasecurve Photometry of Episodically-Active Asteroid (6478) Gault in a Quiescent State Using APO, GROWTH, P200 and ZTF

abstract: We observed Episodically Active Asteroid (6478) Gault in 2020 with multiple telescopes in Asia and North America and have found that it is no longer active after its recent outbursts at the end of 2018 and start of 2019. The inactivity during this apparation allowed us to measure the absolute magnitude of Gault of H_r = 14.63 +/- 0.02, G_r = 0.21 +/- 0.02 from our secular phasecurve observations. In addition, we were able to constrain Gault's rotation period using time-series photometric lightcurves taken over 17 hours on multiple days in 2020 August, September and October. The photometric lightcurves have a repeating $\lesssim$0.05 magnitude feature suggesting that (6478) Gault has a rotation period of ~2.5 hours and may have a semi-spherical or top-like shape, much like Near-Earth Asteroids Ryugu and Bennu. The rotation period of ~2.5 hours is near to the expected critical rotation period for an asteroid with the physical properties of (6478) Gault suggesting that its activity observed over multiple epochs is due to surface mass shedding from its fast rotation spun up by the Yarkovsky-O'Keefe-Radzievskii-Paddack effect.


title: The PetscSF Scalable Communication Layer

abstract: PetscSF, the communication component of the Portable, Extensible Toolkit for Scientific Computation (PETSc), is designed to provide PETSc's communication infrastructure suitable for exascale computers that utilize GPUs and other accelerators. PetscSF provides a simple application programming interface (API) for managing common communication patterns in scientific computations by using a star-forest graph representation. PetscSF supports several implementations based on MPI and NVSHMEM, whose selection is based on the characteristics of the application or the target architecture. An efficient and portable model for network and intra-node communication is essential for implementing large-scale applications. The Message Passing Interface, which has been the de facto standard for distributed memory systems, has developed into a large complex API that does not yet provide high performance on the emerging heterogeneous CPU-GPU-based exascale systems. In this paper, we discuss the design of PetscSF, how it can overcome some difficulties of working directly with MPI on GPUs, and we demonstrate its performance, scalability, and novel features.


title: Investigating the Limitations of Transformers with Simple Arithmetic Tasks

abstract: The ability to perform arithmetic tasks is a remarkable trait of human intelligence and might form a critical component of more complex reasoning tasks. In this work, we investigate if the surface form of a number has any influence on how sequence-to-sequence language models learn simple arithmetic tasks such as addition and subtraction across a wide range of values. We find that how a number is represented in its surface form has a strong influence on the model's accuracy. In particular, the model fails to learn addition of five-digit numbers when using subwords (e.g., "32"), and it struggles to learn with character-level representations (e.g., "3 2"). By introducing position tokens (e.g., "3 10e1 2"), the model learns to accurately add and subtract numbers up to 60 digits. We conclude that modern pretrained language models can easily learn arithmetic from very few examples, as long as we use the proper surface representation. This result bolsters evidence that subword tokenizers and positional encodings are components in current transformer designs that might need improvement. Moreover, we show that regardless of the number of parameters and training examples, models cannot learn addition rules that are independent of the length of the numbers seen during training. Code to reproduce our experiments is available at https://github.com/castorini/transformers-arithmetic


title: Hybrid integrated mode-locked laser diodes with a silicon nitride extended cavity

abstract: Integrated semiconductor mode-locked lasers have shown promise in many applications and are readily fabricated using generic InP photonic integration platforms. However, the passive waveguides offered in such platforms have relatively high linear and nonlinear losses that limit the performance of these lasers. By extending such lasers with, for example, an external cavity the performance can be increased considerably. In this paper, we demonstrate for the first time that a high-performance mode-locked laser can be achieved with a butt-coupling integration technique using chip scale silicon nitride waveguides. A platform-independent SiN/SU8 coupler design is used to couple between the silicon nitride external cavity and the III/V active chip. Mode-locked lasers at 2.18 GHz and 15.5 GHz repetition rates are demonstrated with Lorentzian RF linewidths several orders of magnitude smaller than what has been demonstrated on monolithic InP platforms. The RF linewidth was 31 Hz for the 2.18 GHz laser.


title: Semi-implicit Hybrid Discrete $\left(\text{H}^T_N\right)$ Approximation of Thermal Radiative Transfer

abstract: The thermal radiative transfer (TRT) equations form an integro-differential system that describes the propagation and collisional interactions of photons. Computing accurate and efficient numerical solutions TRT are challenging for several reasons, the first of which is that TRT is defined on a high-dimensional phase. In order to reduce the dimensionality of the phase space, classical approaches such as the P$_N$ (spherical harmonics) or the S$_N$ (discrete ordinates) ansatz are often used in the literature. In this work, we introduce a novel approach: the hybrid discrete (H$^T_N$) approximation to the radiative thermal transfer equations. This approach acquires desirable properties of both P$_N$ and S$_N$, and indeed reduces to each of these approximations in various limits: H$^1_N$ $\equiv$ P$_N$ and H$^T_0$ $\equiv$ S$_T$. We prove that H$^T_N$ results in a system of hyperbolic equations for all $T\ge 1$ and $N\ge 0$. Another challenge in solving the TRT system is the inherent stiffness due to the large timescale separation between propagation and collisions, especially in the diffusive (i.e., highly collisional) regime. This stiffness challenge can be partially overcome via implicit time integration, although fully implicit methods may become computationally expensive due to the strong nonlinearity and system size. On the other hand, explicit time-stepping schemes that are not also asymptotic-preserving in the highly collisional limit require resolving the mean-free path between collisions, making such schemes prohibitively expensive. In this work we develop a numerical method that is based on a nodal discontinuous Galerkin discretization in space, coupled with a semi-implicit discretization in time. We conduct several numerical experiments to verify the accuracy, efficiency, and robustness of the H$^T_N$ ansatz and the numerical discretizations.


title: Transverse charge density and the radius of the proton

abstract: A puzzling discrepancy exists between the values of the proton charge radius obtained using different experimental techniques: elastic electron-proton scattering and spectroscopy of electronic and muonic hydrogen. The proton radius is defined through the slope of the electric form factor, $G_E(Q^2)$, at zero four-momentum transfer, which is inaccessible in scattering experiments. We propose a novel method for extracting the proton radius from scattering data over a broad $Q^2$ range rather than attempting to directly determine the slope of $G_E$ at $Q^2 = 0$. This method relates the radius of the proton to its transverse charge density, which is the two-dimensional Fourier transform of the Dirac form factor, $F_1(Q^2)$. We apply our method to reanalyze the extensive data obtained by the A1 Collaboration [J. C. Bernauer et al., Phys. Rev. Lett. 105, 242001 (2010)] and extract a radius value, $r_E = 0.889(5)_{\text{stat}}(5)_{\text{syst}}(4)_{\text{model}}~\text{fm}$, that is consistent with the original result. We also provide new parametrizations for the Dirac and Pauli form factors and the transverse charge and magnetization densities of the proton. Our reanalysis shows that the proton radius discrepancy cannot be explained by issues with fitting and extrapolating the A1 data to $Q^2 = 0$.


title: Deep Adversarial Learning on Google Home devices

abstract: Smart speakers and voice-based virtual assistants are core components for the success of the IoT paradigm. Unfortunately, they are vulnerable to various privacy threats exploiting machine learning to analyze the generated encrypted traffic. To cope with that, deep adversarial learning approaches can be used to build black-box countermeasures altering the network traffic (e.g., via packet padding) and its statistical information. This letter showcases the inadequacy of such countermeasures against machine learning attacks with a dedicated experimental campaign on a real network dataset. Results indicate the need for a major re-engineering to guarantee the suitable protection of commercially available smart speakers.


title: Precursor of the premartensite in Ni2MnGa magnetic shape memory alloy: A pair distribution function study

abstract: Precursor phenomena observed prior to the martensite phase transition plays a critical role towards the understanding of important technological properties of shape memory and magnetic shape memory alloys (MSMAs). The premartensite (PM) phase, considered as the precursor state of the martensite is proven to be a thermodynamically stable phase recently (Nature Commun. 8, 1006 (2017)), necessitates a critical investigation of precursor effects in these materials. We present here an evidence for the existence of a precursor state of the PM phase in Ni2MnGa MSMA using high energy synchrotron pair distribution function (PDF) study. The precursor state embedded within the austenite matrix in the short-range ordered (SRO) regime starting from far above the actual PM phase transition. The presence of such SRO precursor states of the PM phase produces strains which couple with the ferromagnetic (FM) order parameter around TC leading to first order character of the paramagnetic to FM phase transition.


title: Multifidelity Ensemble Kalman Filtering Using Surrogate Models Defined by Physics-Informed Autoencoders

abstract: Data assimilation is a Bayesian inference process that obtains an enhanced understanding of a physical system of interest by fusing information from an inexact physics-based model, and from noisy sparse observations of reality. The multifidelity ensemble Kalman filter (MFEnKF) recently developed by the authors combines a full-order physical model and a hierarchy of reduced order surrogate models in order to increase the computational efficiency of data assimilation. The standard MFEnKF uses linear couplings between models, and is statistically optimal in case of Gaussian probability densities. This work extends MFEnKF to work with non-linear couplings between the models. Optimal nonlinear projection and interpolation operators are obtained by appropriately trained physics-informed autoencoders, and this approach allows to construct reduced order surrogate models with less error than conventional linear methods. Numerical experiments with the canonical Lorenz '96 model illustrate that nonlinear surrogates perform better than linear projection-based ones in the context of multifidelity filtering.


title: A Lightweight Approach of Human-Like Playtesting

abstract: A playtest is the process in which human testers are recruited to play video games and to reveal software bugs. Manual testing is expensive and time-consuming, especially when there are many mobile games to test and every software version requires for extensive testing before being released. Existing testing frameworks (e.g., Android Monkey) are limited because they adopt no domain knowledge to play games. Learning-based tools (e.g., Wuji) involve a huge amount of training data and computation before testing any game. This paper presents LIT -- our lightweight approach to generalize playtesting tactics from manual testing, and to adopt the generalized tactics to automate game testing. LIT consists of two phases. In Phase I, while a human plays an Android game app G for a short period of time (e.g., eight minutes), \tool records the user's actions (e.g., swipe) and the scene before each action. Based on the collected data, LIT generalizes a set of \emph{context-aware, abstract playtesting tactics} which describe under what circumstances, what actions can be taken to play the game. In Phase II, LIT tests G based on the generalized tactics. Namely, given a randomly generated game scene, LIT searches match for the abstract context of any inferred tactic; if there is a match, LIT customizes the tactic and generates a feasible event to play the game. Our evaluation with nine games shows LIT to outperform two state-of-the-art tools. This implies that by automating playtest, LIT will significantly reduce manual testing and boost the quality of game apps.


title: A Survey of RDF Stores & SPARQL Engines for Querying Knowledge Graphs

abstract: RDF has seen increased adoption in recent years, prompting the standardization of the SPARQL query language for RDF, and the development of local and distributed engines for processing SPARQL queries. This survey paper provides a comprehensive review of techniques and systems for querying RDF knowledge graphs. While other reviews on this topic tend to focus on the distributed setting, the main focus of the work is on providing a comprehensive survey of state-of-the-art storage, indexing and query processing techniques for efficiently evaluating SPARQL queries in a local setting (on one machine). To keep the survey self-contained, we also provide a short discussion on graph partitioning techniques used in the distributed setting. We conclude by discussing contemporary research challenges for further improving SPARQL query engines. This extended version also provides a survey of over one hundred SPARQL query engines and the techniques they use, along with twelve benchmarks and their features.


title: Batched Neural Bandits

abstract: In many sequential decision-making problems, the individuals are split into several batches and the decision-maker is only allowed to change her policy at the end of batches. These batch problems have a large number of applications, ranging from clinical trials to crowdsourcing. Motivated by this, we study the stochastic contextual bandit problem for general reward distributions under the batched setting. We propose the BatchNeuralUCB algorithm which combines neural networks with optimism to address the exploration-exploitation tradeoff while keeping the total number of batches limited. We study BatchNeuralUCB under both fixed and adaptive batch size settings and prove that it achieves the same regret as the fully sequential version while reducing the number of policy updates considerably. We confirm our theoretical results via simulations on both synthetic and real-world datasets.


title: Study of the exclusive reaction $pp \to pp K^{*0} \bar{K}^{*0}$: $f_{2}(1950)$ resonance versus diffractive continuum

abstract: We present first predictions of the cross sections and differential distributions for the exclusive reaction $pp \to pp K^{*0} \bar{K}^{*0}$ contributing to the $K^{+} K^{-} \pi^{+} \pi^{-}$ channel. The amplitudes for the reaction are formulated within the nonperturbative tensor-pomeron approach. We consider separately the $f_{2}(1950)$ $s$-channel exchange mechanism and the $K^{*0}$ $t/u$-channel exchange mechanism, focusing on their specificities. First mechanism is a candidate for the central diffractive production of tensor glueball and the second one is an irreducible continuum. We adjust parameters of our model, assuming the dominance of pomeron-pomeron fusion, to the WA102 experimental data. We find that including the continuum contribution alone one can describe the WA102 data reasonably well. We present predictions for the reaction $pp \to pp (K^{*0} \bar{K}^{*0} \to K^{+} K^{-} \pi^{+} \pi^{-})$ for the ALICE, ATLAS, CMS and LHCb experiments including typical kinematical cuts. We find from our model a cross sections of $\sigma \cong 17-250$ nb for the LHC experiments, depending on the assumed cuts. Absorption effects are included in our analysis.


title: Retrieval Augmentation for Deep Neural Networks

abstract: Deep neural networks have achieved state-of-the-art results in various vision and/or language tasks. Despite the use of large training datasets, most models are trained by iterating over single input-output pairs, discarding the remaining examples for the current prediction. In this work, we actively exploit the training data, using the information from nearest training examples to aid the prediction both during training and testing. Specifically, our approach uses the target of the most similar training example to initialize the memory state of an LSTM model, or to guide attention mechanisms. We apply this approach to image captioning and sentiment analysis, respectively through image and text retrieval. Results confirm the effectiveness of the proposed approach for the two tasks, on the widely used Flickr8 and IMDB datasets. Our code is publicly available at http://github.com/RitaRamo/retrieval-augmentation-nn.


title: Remote Operation of a Single-Point LDV System to Acquire 2D Measurements

abstract: Due to the unprecedented increase in telework requirements, the motivation to further automate and remotely control experiments has become apparent. This work documents the technical development of creating a two-dimensional (2D) Laser Doppler Vibrometry (LDV)measurement using a single-point LDV system through an automated and remotely controllable process. This report aims to assist in rapid development of setups for similar use cases. The setup described is also modular, and has been used to analyze the modal response of samples actuated through air-based acoustic signals as well as those mechanically induced.


title: Effect of Leading Edge Tubercles on Compressor Cascade Performance

abstract: Tubercles are modifications to the leading edge of an airfoil in the form of blunt wave-like serrations. Several studies on the effect of tubercles on isolated airfoils have shown a beneficial effect in the post-stall regime, as reduced drag and increased lift, leading to a delay of stall. The prospect of delaying stall is particularly attractive to designers of axial compressors in gas turbines, as this leads to designs with higher loading and therefore higher pressure rise with fewer number of stages. In the present study, experiments were performed on a cascade of airfoils with NACA 65209 profile with different tubercle geometries. The measurements were made over an exit plane using a five-hole probe to compare the cascade performance parameters. Additionally, hot-wire measurements were taken near the blade surface to understand the nature of the flow in the region close to the tubercles. Oil-flow visualization on the cascade end wall reveal the flow through the passage of blades with and without tubercles. For the cascade considered, the estimated stall angle for the best performing set of blades is found to increase up to 8.6{\deg} from that of the unmodified blade of 6.0{\deg}. Application of such structures in axial compressor blades may well lead to suppression of stall in axial compressors and extend the operating range.


title: Optimized Graphene Electrodes for contacting Graphene Nanoribbons

abstract: Atomically precise graphene nanoribbons are a promising emerging class of designer quantum materials with electronic properties that are tunable by chemical design. However, many challenges remain in the device integration of these materials, especially regarding contacting strategies. We report on the device integration of uniaxially aligned and non-aligned 9-atom wide armchair graphene nanoribbons (9-AGNRs) in a field-effect transistor geometry using electron beam lithography-defined graphene electrodes. This approach yields controlled electrode geometries and enables higher fabrication throughput compared to previous approaches using an electrical breakdown technique. Thermal annealing is found to be a crucial step for successful device operation resulting in electronic transport characteristics showing a strong gate dependence. Raman spectroscopy confirms the integrity of the graphene electrodes after patterning and of the GNRs after device integration. Our results demonstrate the importance of the GNR-graphene electrode interface and pave the way for GNR device integration with structurally well-defined electrodes.


title: AutoPreview: A Framework for Autopilot Behavior Understanding

abstract: The behavior of self driving cars may differ from people expectations, (e.g. an autopilot may unexpectedly relinquish control). This expectation mismatch can cause potential and existing users to distrust self driving technology and can increase the likelihood of accidents. We propose a simple but effective framework, AutoPreview, to enable consumers to preview a target autopilot potential actions in the real world driving context before deployment. For a given target autopilot, we design a delegate policy that replicates the target autopilot behavior with explainable action representations, which can then be queried online for comparison and to build an accurate mental model. To demonstrate its practicality, we present a prototype of AutoPreview integrated with the CARLA simulator along with two potential use cases of the framework. We conduct a pilot study to investigate whether or not AutoPreview provides deeper understanding about autopilot behavior when experiencing a new autopilot policy for the first time. Our results suggest that the AutoPreview method helps users understand autopilot behavior in terms of driving style comprehension, deployment preference, and exact action timing prediction.


title: Many-body perturbation theory for the superconducting quantum dot: Fundamental role of the magnetic field

abstract: We develop the general many-body perturbation theory for a superconducting quantum dot represented by a single-impurity Anderson model attached to superconducting leads. We build our approach on a thermodynamically consistent mean-field approximation with a two-particle self-consistency of the parquet type. The two-particle self-consistency leading to a screening of the bare interaction proves substantial for suppressing the spurious transitions of the Hartree-Fock solution. We demonstrate that the magnetic field plays a fundamental role in the extension of the perturbation theory beyond the weakly correlated $0$-phase. It controls the critical behavior of the $0-\pi$ quantum transition, lifts the degeneracy in the $\pi$-phase, where the limits to zero temperature and zero magnetic field do not commute. The response to the magnetic field is quite different in $0$- and $\pi$-phases. While the magnetic susceptibility vanishes in the $0$-phase it becomes of the Curie type and diverges in the $\pi$-phase at zero temperature.


title: Kochen-Specker Contextuality

abstract: A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics is in conflict with classical models in which the result of a measurement does not depend on which other compatible measurements are jointly performed. Here compatible measurements are those that can be implemented simultaneously or, more generally, those that are jointly measurable. This conflict is generically called quantum contextuality. In this review, an introduction to this subject and its current status is presented. Several proofs of the Kochen-Specker theorem and different notions of contextuality are reviewed. How to experimentally test some of these notions is explained and connections between contextuality and nonlocality or graph theory are discussed. Finally, some applications of contextuality in quantum information processing are reviewed.

categories: quant-ph math-ph math.MP physics.hist-ph


title: SPINN: Sparse, Physics-based, and partially Interpretable Neural Networks for PDEs

abstract: We introduce a class of Sparse, Physics-based, and partially Interpretable Neural Networks (SPINN) for solving ordinary and partial differential equations (PDEs). By reinterpreting a traditional meshless representation of solutions of PDEs we develop a class of sparse neural network architectures that are partially interpretable. The SPINN model we propose here serves as a seamless bridge between two extreme modeling tools for PDEs, namely dense neural network based methods like Physics Informed Neural Networks (PINNs) and traditional mesh-free numerical methods, thereby providing a novel means to develop a new class of hybrid algorithms that build on the best of both these viewpoints. A unique feature of the SPINN model that distinguishes it from other neural network based approximations proposed earlier is that it is (i) interpretable, in a particular sense made precise in the work, and (ii) sparse in the sense that it has much fewer connections than typical dense neural networks used for PDEs. Further, the SPINN algorithm implicitly encodes mesh adaptivity and is able to handle discontinuities in the solutions. In addition, we demonstrate that Fourier series representations can also be expressed as a special class of SPINN and propose generalized neural network analogues of Fourier representations. We illustrate the utility of the proposed method with a variety of examples involving ordinary differential equations, elliptic, parabolic, hyperbolic and nonlinear partial differential equations, and an example in fluid dynamics.


title: A Universal Urbach Rule for Disordered Organic Semiconductors

abstract: In crystalline semiconductors, absorption onset sharpness is characterized by temperature dependent Urbach energies. These energies quantify the static, structural disorder causing localized exponential-tail states, and dynamic disorder from electron-phonon scattering. Applicability of this exponential-tail model to disordered solids has been long debated. Nonetheless, exponential fittings are routinely applied to sub-gap absorption analysis of organic semiconductors. Herein, we elucidate the sub-gap spectral line-shapes of organic semiconductors and their blends by temperature-dependent quantum efficiency measurements. We find that sub-gap absorption due to singlet excitons is universally dominated by thermal broadening at low photon energies and the associated Urbach energy equals the thermal energy, regardless of static disorder. This is consistent with absorptions obtained from a convolution of Gaussian density of excitonic states weighted by Boltzmann-like thermally activated optical transitions. A simple model is presented that explains absorption line-shapes of disordered systems, and we also provide a strategy to determine the excitonic disorder energy. Our findings elaborate the meaning of the Urbach energy in molecular solids and relate the photo-physics to static disorder, crucial for optimizing organic solar cells for which we present a new radiative open-circuit voltage limit.


title: Hydraulically Amplified Self-Healing ELectrostatic (HASEL) Inspired Actuators

abstract: This report presents research conducted on amplified self-healing electrostatic (HASEL) actuators. HASEL actuators are comprised of a dielectric fluid sealed between two inextensible layers with bonded, flexible electrodes on its outer surface. When charge is applied to the electrodes, Coulomb force compresses the fluid and causes the actuator to contract. In this work a faster, more customizable and convenient way of creating a HASEL actuator is presented, using a laser engraver to heat-seal and cut polypropylene sheets. Using this technique, a hydraulically actuated soft lens is fabricated and demonstrated.


title: Large deviations for Markov jump processes with uniformly diminishing rates

abstract: We prove a large-deviation principle (LDP) for the sample paths of jump Markov processes in the small noise limit when, possibly, all the jump rates vanish uniformly, but slowly enough, in a region of the state space. We further discuss the optimality of our assumptions on the decay of the jump rates. As a direct application of this work we relax the assumptions needed for the application of LDPs to, e.g., Chemical Reaction Network dynamics, where vanishing reaction rates arise naturally particularly the context of mass action kinetics.


title: Convergence of supercritical fractional flows to the mean curvature flow

abstract: We consider a core-radius approach to nonlocal perimeters governed by isotropic kernels having critical and supercritical exponents, extending the nowadays classical notion of $s$-fractional perimeter, defined for $0<s<1$, to the case $s\ge 1$\,. We show that, as the core-radius vanishes, such core-radius regularized $s$-fractional perimeters, suitably scaled, $\Gamma$-converge to the standard Euclidean perimeter. Under the same scaling, the first variation of such nonlocal perimeters gives back regularized $s$-fractional curvatures which, as the core radius vanishes, converge to the standard mean curvature; as a consequence, we show that the level set solutions to the corresponding nonlocal geometric flows, suitably reparametrized in time, converge to the standard mean curvature flow. Finally, we prove analogous results in the case of anisotropic kernels with applications to dislocation dynamics. Keywords: Fractional perimeters; $\Gamma$-convergence; Local and nonlocal geometric evolutions; Viscosity solutions; Level set formulation; Fractional mean curvature flow; Dislocation dynamics


title: Loss Surface Simplexes for Mode Connecting Volumes and Fast Ensembling

abstract: With a better understanding of the loss surfaces for multilayer networks, we can build more robust and accurate training procedures. Recently it was discovered that independently trained SGD solutions can be connected along one-dimensional paths of near-constant training loss. In this paper, we show that there are mode-connecting simplicial complexes that form multi-dimensional manifolds of low loss, connecting many independently trained models. Inspired by this discovery, we show how to efficiently build simplicial complexes for fast ensembling, outperforming independently trained deep ensembles in accuracy, calibration, and robustness to dataset shift. Notably, our approach only requires a few training epochs to discover a low-loss simplex, starting from a pre-trained solution. Code is available at https://github.com/g-benton/loss-surface-simplexes.


title: Observation of the $\alpha$ Carinid meteor shower 2020 unexpected outburst

abstract: We present observations of the sudden outburst of the $\alpha$ Carinid meteor shower recorded with the Southern Argentina Agile MEteor Radar-Orbital System (SAAMER-OS) near the South Toroidal sporadic region. The outburst peaked between 21 UT and 22 UT on October 14, 2020 and lasted 7 days $(199^{\circ}\leq\lambda_{\odot}\leq 205^{\circ})$ with a mean Sun-centered geocentric ecliptic radiant of $\lambda_{g}-\lambda_{\odot}=271^{\circ}.04$, $\beta_{g}=-76^{\circ}.4$, and a geocentric speed of 33.3 km s$^{-1}$. Assuming a mass index value of $s=2.0$, we compute a peak 24 hour-average flux of 0.029 met. km$^{-2}$ hr$^{-1}$ to a limit of 9th magnitude, which is equivalent to a zenithal hourly rate (ZHR) of 5.7, and comparable to other established showers with similar mass indices. By further estimating the peak fluxes for other typical mass index values, we find that the outburst likely never exceeded a maximum ZHR of $\sim44$, well below the activity of other strong showers. The mean orbital elements resemble those of a short-period object: $a=3.5\pm0.1$ au, $q\simeq 1$ au, $e=0.72\pm0.02$, $i=55^{\circ}.8\pm0^{\circ}.3$, $\omega=1^{\circ}\pm 173^{\circ}$, $\Omega=21^{\circ}.7$, and are similar to those derived for two previous shower outbursts observed with SAAMER-OS at high southern ecliptic latitudes. Using the $D^{\prime}$ criterion did not reveal a parent object associated with this shower in the known object catalogues.


title: Randomized Benchmarking with Stabilizer Verification and Gate Synthesis

abstract: Recently, there has been an emergence of useful applications for noisy intermediate-scale quantum (NISQ) devices notably, though not exclusively, in the fields of quantum machine learning and variational quantum algorithms. In such applications, circuits of various depths and composed of different sets of gates are run on NISQ devices. Therefore, it is crucial to find practical ways to capture the general performance of circuits on these devices. Motivated by this pressing need, we modified the standard Clifford randomized benchmarking (RB) and interleaved RB schemes targeting them to hardware limitations. Firstly we remove the requirement for, and assumptions on, the inverse operator, in Clifford RB by incorporating a tehchnique from quantum verification. This introduces another figure of merit by which to assess the quality of the NISQ hardware, namely the acceptance probability of quantum verification. Many quantum algorithms, that provide an advantage over classical algorithms, demand the use of Clifford as well as non-Clifford gates. Therefore, as our second contribution we develop a technique for characterising a variety of non-Clifford gates, by combining tools from gate synthesis with interleaved RB. Both of our techniques are most relevant when used in conjunction with RB schemes that benchmark generators (or native gates) of the Clifford group, and in low error regimes.


title: Iterative Bounding MDPs: Learning Interpretable Policies via Non-Interpretable Methods

abstract: Current work in explainable reinforcement learning generally produces policies in the form of a decision tree over the state space. Such policies can be used for formal safety verification, agent behavior prediction, and manual inspection of important features. However, existing approaches fit a decision tree after training or use a custom learning procedure which is not compatible with new learning techniques, such as those which use neural networks. To address this limitation, we propose a novel Markov Decision Process (MDP) type for learning decision tree policies: Iterative Bounding MDPs (IBMDPs). An IBMDP is constructed around a base MDP so each IBMDP policy is guaranteed to correspond to a decision tree policy for the base MDP when using a method-agnostic masking procedure. Because of this decision tree equivalence, any function approximator can be used during training, including a neural network, while yielding a decision tree policy for the base MDP. We present the required masking procedure as well as a modified value update step which allows IBMDPs to be solved using existing algorithms. We apply this procedure to produce IBMDP variants of recent reinforcement learning methods. We empirically show the benefits of our approach by solving IBMDPs to produce decision tree policies for the base MDPs.


title: Divergence of separated nets with respect to displacement equivalence

abstract: We introduce a hierachy of equivalence relations on the set of separated nets of a given Euclidean space, indexed by concave increasing functions $\phi\colon (0,\infty)\to(0,\infty)$. Two separated nets are called $\phi$-displacement equivalent if, roughly speaking, there is a bijection between them which, for large radii $R$, displaces points of norm at most $R$ by something of order at most $\phi(R)$. We show that the spectrum of $\phi$-displacement equivalence spans from the established notion of bounded displacement equivalence, which corresponds to bounded $\phi$, to the indiscrete equivalence relation, coresponding to $\phi(R)\in \Omega(R)$, in which all separated nets are equivalent. In between the two ends of this spectrum, the notions of $\phi$-displacement equivalence are shown to be pairwise distinct with respect to the asymptotic classes of $\phi(R)$ for $R\to\infty$. We further undertake a comparison of our notion of $\phi$-displacement equivalence with previously studied relations on separated nets. Particular attention is given to the interaction of the notions of $\phi$-displacement equivalence with that of bilipschitz equivalence.


title: Maximizing Social Welfare and Agreement via Information Design in Linear-Quadratic-Gaussian Games

abstract: We consider linear-quadratic Gaussian (LQG) games in which players have quadratic payoffs that depend on the players' actions and an unknown payoff-relevant state, and signals on the state that follow a Gaussian distribution conditional on the state realization. An information designer decides the fidelity of information revealed to the players in order to maximize the social welfare of the players or reduce the disagreement among players' actions. Leveraging the semi-definiteness of the information design problem, we derive analytical solutions for these objectives under specific LQG games. We show that full information disclosure maximizes social welfare when there is a common payoff-relevant state, when there is strategic substitutability in the actions of players, or when the signals are public. Numerical results show that as strategic substitution increases, the value of the information disclosure increases. When the objective is to induce conformity among players' actions, hiding information is optimal. Lastly, we consider the information design objective that is a weighted combination of social welfare and cohesiveness of players' actions. We obtain an interval for the weights where full information disclosure is optimal under public signals for games with strategic substitutability. Numerical solutions show that the actual interval where full information disclosure is optimal gets close to the analytical interval obtained as substitution increases.

categories: math.OC cs.MA cs.SY econ.GN eess.SY q-fin.EC


title: Evidence for X(3872) in PbPb collisions and studies of its prompt production at $\sqrt{s_\mathrm{NN}} =$ 5.02 TeV

abstract: The first evidence for X(3872) production in relativistic heavy ion collisions is reported. The X(3872) production is studied in lead-lead (PbPb) collisions at a center-of-mass energy of $\sqrt{s_\mathrm{NN}} =$ 5.02 TeV per nucleon pair, using the decay chain X(3872) $\to$ J$/\psi\, \pi^+\pi^- \to$ $\mu^+\mu^-\pi^+\pi^-$. The data were recorded with the CMS detector in 2018 and correspond to an integrated luminosity of 1.7 nb$^{-1}$. The measurement is performed in the rapidity and transverse momentum ranges $|y|$ $\lt$ 1.6 and 15 $\lt$ $p_\mathrm{T}$ $\lt$ 50 GeV$/c$. The significance of the inclusive X(3872) signal is 4.2 standard deviations. The prompt X(3872) to $\psi$(2S) yield ratio is found to be $\rho^\mathrm{PbPb} = $ 1.08 $\pm$ 0.49 (stat) $\pm$ 0.52 (syst), to be compared with typical values of 0.1 for pp collisions. This result provides a unique experimental input to theoretical models of the X(3872) production mechanism, and of the nature of this exotic state.


title: Stability and measurability of the modified lower dimension

abstract: The lower dimension $\dim_L$ is the dual concept of the Assouad dimension. As it fails to be monotonic, Fraser and Yu introduced the modified lower dimension $\dim_{ML}$ by making the lower dimension monotonic with the simple formula $\dim_{ML} X=\sup\{\dim_L E: E\subset X\}$. As our first result we prove that the modified lower dimension is finitely stable in any metric space, answering a question of Fraser and Yu. We prove a new, simple characterization for the modified lower dimension. For a metric space $X$ let $\mathcal{K}(X)$ denote the metric space of the non-empty compact subsets of $X$ endowed with the Hausdorff metric. As an application of our characterization, we show that the map $\dim_{ML} \colon \mathcal{K}(X)\to [0,\infty]$ is Borel measurable. More precisely, it is of Baire class $2$, but in general not of Baire class $1$. This answers another question of Fraser and Yu. Finally, we prove that the modified lower dimension is not Borel measurable defined on the closed sets of $\ell^1$ endowed with the Effros Borel structure.


title: The Fractal Dimension of Product Sets

abstract: Using ultraproduct techniques we define a nonstandard Minkowski dimension which exists for all bounded sets and which has the property that $\dim(A\times B)=\dim(A)+\dim(B).$ That is, our new dimension is product-summable. To illustrate our theorem we generalize an example of Falconer's to show that the standard upper Minkowski dimension, as well as the Hausdorff dimension, are not product-summable.


title: Quantifying uncertainty about global and regional economic impacts of climate change

abstract: The economic impacts of climate change are highly uncertain. Two of the most important uncertainties are the sensitivity of the climate system and the so-called damage functions, which relate climate change to economic damages and benefits. Despite broad awareness of these uncertainties, it is unclear which of them is most important, both on the global as well as the regional level. Here we apply different damage functions to data from climate models with vastly different climate sensitivities, and find that uncertainty in both climate sensitivity and economic damage per degree of warming are of similar importance for the global economic impact. Increasing the climate sensitivity or the sensitivity of the damage function both increases the economic damages globally. Yet, at the country-level the effect varies depending on the initial temperature as well as how much the country warms. Our findings emphasise the importance of including these uncertainties in estimates of future economic impacts, as they both are vital for the resulting impacts and thus policy implications.


title: Demonstration of quantum advantage by a joint detection receiver for optical communications using quantum belief propagation on a trapped-ion device

abstract: Demonstrations of quantum advantage have largely focused on computational speedups and on quantum simulation of many-body physics, limited by fidelity and capability of current devices. Discriminating laser-pulse-modulated classical-communication codewords at the minimum allowable probability of error using universal-quantum processing presents a promising parallel direction, one that is of both fundamental importance in quantum state discrimination, as well as of technological relevance in deep-space laser communications. Here we present an experimental realization of a quantum joint detection receiver for binary phase shift keying modulated codewords of a 3-bit linear tree code using a recently-proposed quantum algorithm: belief propagation with quantum messages. The receiver, translated to a quantum circuit, was experimentally implemented on a trapped-ion device -- the recently released Honeywell LT-1.0 system using ${}^{171}Yb+ $ ions, which possesses all-to-all connectivity and mid-circuit measurement capabilities that are essential to this demonstration. We conclusively realize a previously postulated but hitherto not-demonstrated joint quantum detection scheme, and provide an experimental framework that surpasses the quantum limit on the minimum average decoding error probability associated with pulse-by-pulse detection in the low mean photon number limit. The full joint-detection scheme bridges across photonic and trapped-ion based quantum information science, mapping the photonic coherent states of the modulation alphabet onto inner product-preserving states of single-ion qubits. Looking ahead, our work opens new avenues in hybrid realizations of quantum-enhanced receivers with applications in astronomy and emerging space-based platforms.


title: Fully coupled functional equations for the quark sector of QCD

abstract: We present a comprehensive study of the quark sector of $2+1$ flavour QCD, based on a self-consistent treatment of the coupled system of Schwinger-Dyson equations for the quark propagator and the full quark-gluon vertex. The individual form factors of the quark-gluon vertex are expressed in a special tensor basis obtained from a set of gauge-invariant operators. The sole external ingredient used as input to our equations is the Landau gauge gluon propagator with $2+1$ dynamical quark flavours, obtained from studies with Schwinger-Dyson equations, the functional renormalisation group approach, and large volume lattice simulations. The appropriate renormalisation procedure required in order to self-consistently accommodate external inputs stemming from other functional approaches or the lattice is discussed in detail, and the value of the gauge coupling is accurately determined at two vastly separated renormalisation group scales. Our analysis establishes a clear hierarchy among the vertex form factors. We identify only three dominant ones, in agreement with previous results. The components of the quark propagator obtained from our approach are in excellent agreement with the results from Schwinger-Dyson equations, the functional renormalisation group, and lattice QCD simulation, a simple benchmark observable being the chiral condensate in the chiral limit, which is computed as $(245\,\textrm{MeV})^3$. The present approach has a wide range of applications, including the self-consistent computation of bound-state properties and finite temperature and density physics, which are briefly discussed.


title: A pulse oximeter based on Time-of-Flight histograms

abstract: A pulse oximeter is an optical device that monitors tissue oxygenation levels. Traditionally, these devices estimate the oxygenation level by measuring the intensity of the transmitted light through the tissue and are embedded into everyday devices such as smartphones and smartwatches. However, these sensors require prior information and are susceptible to unwanted changes in the intensity, including ambient light, skin tone, and motion artefacts. Previous experiments have shown the potential of Time-of-Flight (ToF) techniques in measurements of tissue hemodynamics. Our proposed technology uses histograms of photon flight paths within the tissue to obtain tissue oxygenation, regardless of the changes in the intensity of the source. Our device is based on a 45ps time-to-digital converter (TDC) which is implemented in a Xilinx Zynq UltraScale+ field programmable gate array (FPGA), a CMOS Single Photon Avalanche Diode (SPAD) detector, and a low-cost compact laser source. All these components including the SPAD detector are manufactured using the latest commercially available technology, which leads to increased linearity, accuracy, and stability for ToF measurements. This proof-of-concept system is approximately 10cmx8cmx5cm in size, with a high potential for shrinkage through further system development and component integration. We demonstrate preliminary results of ToF pulse measurements and report the engineering details, trade-offs, and challenges of this design. We discuss the potential for mass adoption of ToF based pulse oximeters in everyday devices such as smartphones and wearables.


title: Indistinguishable photons on demand from an organic dye molecule

abstract: Single molecules in solid-state matrices have been proposed as sources of single-photon Fock states back 20 years ago. Their success in quantum optics and in many other research fields stems from the simple recipes used in the preparation of samples, with hundreds of nominally identical and isolated molecules. Main challenges as of today for their application in photonic quantum technologies are the optimization of light extraction and the on-demand emission of indistinguishable photons. We here present Hong-Ou-Mandel experiments with photons emitted by a single molecule of dibenzoterrylene in an anthracene nanocrystal at 3 K, under continuous wave and also pulsed excitation. A detailed theoretical model is applied, which relies on independent measurements for most experimental parameters, hence allowing for an analysis of the different contributions to the two-photon interference visibility, from residual dephasing to spectral filtering.


title: On First and Second Cohomology Groups for BBW Parabolics for Classical Lie Superalgebras

abstract: Let ${\mathfrak g}$ be a classical simple Lie superalgebra. In this paper, the author studies the cohomology groups for the subalgebra $\mathfrak{n}^{+}$ relative to the BBW parabolic subalgebras constructed by D. Grantcharov, N. Grantcharov, Nakano and Wu. These classical Lie superalgebras have a triangular decomposition ${\mathfrak g}={\mathfrak n}^{-}\oplus {\mathfrak f} \oplus {\mathfrak n}^{+}$ where $\mathfrak f$ is a detecting subalgebra as introduced by Boe, Kujawa and Nakano. It is shown that there exists a Hochschild-Serre spectral sequence that collapses for all infinite families of classical simple Lie superalgebras. This enables the author to explicitly compute the first and second cohomologies for ${\mathfrak n}^{+}$. The paper concludes with tables listing the weight space decompositions and dimension formulas for these cohomology groups.


title: A Commuting Projector Model with a Non-zero Quantized Hall conductance

abstract: By ungauging a recently discovered lattice rotor model for Chern-Simons theory, we create an exactly soluble path integral on spacetime lattice for $U^\kappa(1)$ Symmetry Protected Topological (SPT) phases in $2+1$ dimensions with a non-zero Hall conductance. We then convert the path integral on a $2+1$d spacetime lattice into a $2$d Hamiltonian lattice model, and show that the Hamiltonian consists of mutually commuting local projectors. We confirm the non-zero Hall conductance by calculating the Chern number of the exact ground state. It has recently been suggested that no commuting projector model can host a nonzero Hall conductance. We evade this no-go theorem by considering a rotor model, with a countably infinite number of states per site.


title: Axial meson exchange and the $Z_c(3900)$ and $Z_{cs}(3985)$ resonances as heavy hadron molecules

abstract: Early speculations about the existence of heavy hadron molecules were grounded on the idea that light-meson exchanges forces could lead to binding. In analogy to the deuteron, the light-mesons usually considered include the pion, sigma, rho and omega, but not the axial meson $a_1(1260)$. Though it has been argued in the past that the coupling of the axial meson to the nucleons is indeed strong, its mass is considerably heavier than that of the vector mesons and thus its exchange ends up being suppressed. Yet, this is not necessarily the case in heavy hadrons molecules: we find that even though the contribution to binding from the axial meson is modest, it cannot be neglected in the isovector sector where vector meson exchange cancels out. This might provide a natural binding mechanism for molecular candidates such as the $Z_c(3900)$, $Z_c(4020)$ or the more recently observed $Z_{cs}(3985)$. However the $Z_{cs}(3985)$ is more dependent on a mixture of different factors, which (besides axial meson exchange) include $\eta$ exchange and the nature of scalar meson exchange. Together they point towards the existence of two $Z_{cs}(3985)$-like resonances instead of one, while the observations about the role of scalar meson exchange in the $Z_{cs}(3985)$ might be relevant for the $P_{cs}(4459)$. Finally, the combination of axial meson exchange and flavor symmetry breaking effects indicates that the isovector $J^{PC} = 0^{++}$ $D^*\bar{D}^*$ and the strange $J^P = 2^{+}$ $D^*\bar{D}_s^*$ molecules are the most attractive configurations and thus the most likely molecular partners of the $Z_c(3900)$, $Z_c(4020)$ and $Z_{cs}(3985)$.


title: The range of dimensions of microsets

abstract: We say that $E$ is a microset of the compact set $K\subset \mathbb{R}^d$ if there exist sequences $\lambda_n\geq 1$ and $u_n\in \mathbb{R}^d$ such that $(\lambda_n K + u_n ) \cap [0,1]^d$ converges to $E$ in the Hausdorff metric, and moreover, $E \cap (0, 1)^d \neq \emptyset$. The main result of the paper is that for a non-empty set $A\subset [0,d]$ there is a compact set $K\subset \mathbb{R}^d$ such that the set of Hausdorff dimensions attained by the microsets of $K$ equals $A$ if and only if $A$ is analytic and contains its infimum and supremum. This answers a question of Fraser, Howroyd, K\"aenm\"aki, and Yu. We show that for every compact set $K\subset \mathbb{R}^d$ and non-empty analytic set $A\subset [0,\dim_H K]$ there is a set $\mathcal{C}$ of compact subsets of $K$ which is compact in the Hausdorff metric and $\{\dim_H C: C\in \mathcal{C} \}=A$. The proof relies on the technique of stochastic co-dimension applied for a suitable coupling of fractal percolations with generation dependent retention probabilities. We also examine the analogous problems for packing and box dimensions.


title: Charmed and bottomed hadronic cross sections from a statistical model

abstract: In this work, we extended our statistical model with charmed and bottomed hadrons, and fit the quark creational probabilities for the heavy quarks, using low energy inclusive charmonium and bottomonium data. With the finalized fit for all the relevant types of quarks (up, down, strange, charm, bottom) at the energy range from a few GeV up to a few tens of GeV's, the model is now considered complete. Some examples are also given for proton-proton, pion-proton, and proton-antiproton collisions with charmonium, bottomonium, and open charm hadrons in the final state.


title: Investigating the parton shower model in PYTHIA8 with pp collision data at $\surd{s}=13\, TeV$

abstract: Understanding the production of quarks and gluons in high energy collisions and their evolution is a very active area of investigation. Monte carlo event generator PYTHIA8 uses the parton shower model to simulate such collisions and is optimized using experimental observations. Recent measurements of event shape variables and differential jet cross-sections in pp collisions at $\surd{s} = 13\, TeV$ at the Large Hadron Collider have been used to investigate further the parton shower model as used in PYTHIA8.


title: Graph Exploration by Energy-Sharing Mobile Agents

abstract: We consider the problem of collective exploration of a known $n$-node edge-weighted graph by $k$ mobile agents that have limited energy but are capable of energy transfers. The agents are initially placed at an arbitrary subset of nodes in the graph, and each agent has an initial, possibly different, amount of energy. The goal of the exploration problem is for every edge in the graph to be traversed by at least one agent. The amount of energy used by an agent to travel distance $x$ is proportional to $x$. In our model, the agents can {\em share} energy when co-located: when two agents meet, one can transfer part of its energy to the other. For an $n$-node path, we give an $O(n+k)$ time algorithm that either finds an exploration strategy, or reports that one does not exist. For an $n$-node tree with $\ell $ leaves, we give an $O(n+ \ell k^2)$ algorithm that finds an exploration strategy if one exists. Finally, for the general graph case, we show that the problem of deciding if exploration is possible by energy-sharing agents is NP-hard, even for 3-regular graphs. In addition, we show that it is always possible to find an exploration strategy if the total energy of the agents is at least twice the total weight of the edges; moreover, this is asymptotically optimal.


title: On the dimension of the Fock type spaces

abstract: We study the weighted Fock spaces in one and several complex variables. We evaluate the dimension of these spaces in terms of the weight function extending and completing earlier results by Rozenblum-Shirokov and Shigekawa.


title: LES: Locally Exploitative Sampling for Robot Path Planning

abstract: Sampling-based algorithms solve the path planning problem by generating random samples in the search-space and incrementally growing a connectivity graph or a tree. Conventionally, the sampling strategy used in these algorithms is biased towards exploration to acquire information about the search-space. In contrast, this work proposes an optimization-based procedure that generates new samples to improve the cost-to-come value of vertices in a neighborhood. The application of proposed algorithm adds an exploitative-bias to sampling and results in a faster convergence to the optimal solution compared to other state-of-the-art sampling techniques. This is demonstrated using benchmarking experiments performed fora variety of higher dimensional robotic planning tasks.


title: Maximum principles, Liouville theorem and symmetry results for the fractional $g-$Laplacian

abstract: We study different maximum principles for non-local non-linear operators with non-standard growth that arise naturally in the context of fractional Orlicz-Sobolev spaces and whose most notable representative is the fractional $g-$Laplacian: \[ (-\Delta_g)^su(x):=\textrm{p.v.}\int_{\mathbb{R}^n}g\left(\frac{u(x)-u(y)}{|x-y|^s}\right)\frac{dy}{|x-y|^{n+s}}, \] being $g$ the derivative of a Young function. We further derive qualitative properties of solutions such as a Liouville type theorem and symmetry results and present several possible extensions and some interesting open questions. These are the first results of this type proved in this setting.


title: On Instabilities of Conventional Multi-Coil MRI Reconstruction to Small Adverserial Perturbations

abstract: Although deep learning (DL) has received much attention in accelerated MRI, recent studies suggest small perturbations may lead to instabilities in DL-based reconstructions, leading to concern for their clinical application. However, these works focus on single-coil acquisitions, which is not practical. We investigate instabilities caused by small adversarial attacks for multi-coil acquisitions. Our results suggest that, parallel imaging and multi-coil CS exhibit considerable instabilities against small adversarial perturbations.

categories: eess.IV cs.CV cs.LG eess.SP physics.med-ph


title: Principles of Low Dissipation Computing from a Stochastic Circuit Model

abstract: We introduce a thermodynamically consistent, minimal stochastic model for complementary logic gates built with field-effect transistors. We characterize the performance of such gates with tools from information theory and study the interplay between accuracy, speed, and dissipation of computations. With a few universal building blocks, such as the NOT and NAND gates, we are able to model arbitrary combinatorial and sequential logic circuits, which are modularized to implement computing tasks. We find generically that high accuracy can be achieved provided sufficient energy consumption and time to perform the computation. However, for low-energy computing, accuracy and speed are coupled in a way that depends on the device architecture and task. Our work bridges the gap between the engineering of low dissipation digital devices and theoretical developments in stochastic thermodynamics, and provides a platform to study design principles for low dissipation digital devices.


title: Truncated Log-concave Sampling with Reflective Hamiltonian Monte Carlo

abstract: We introduce Reflective Hamiltonian Monte Carlo (ReHMC), an HMC-based algorithm, to sample from a log-concave distribution restricted to a convex body. We prove that, starting from a warm start, the walk mixes to a log-concave target distribution $\pi(x) \propto e^{-f(x)}$, where $f$ is $L$-smooth and $m$-strongly-convex, within accuracy $\varepsilon$ after $\widetilde O(\kappa d^2 \ell^2 \log (1 / \varepsilon))$ steps for a well-rounded convex body where $\kappa = L / m$ is the condition number of the negative log-density, $d$ is the dimension, $\ell$ is an upper bound on the number of reflections, and $\varepsilon$ is the accuracy parameter. We also developed an efficient open source implementation of ReHMC and we performed an experimental study on various high-dimensional data-sets. The experiments suggest that ReHMC outperfroms Hit-and-Run and Coordinate-Hit-and-Run regarding the time it needs to produce an independent sample and introduces practical truncated sampling in thousands of dimensions.


title: Proof of the Contiguity Conjecture and Lognormal Limit for the Symmetric Perceptron

abstract: We consider the symmetric binary perceptron model, a simple model of neural networks that has gathered significant attention in the statistical physics, information theory and probability theory communities, with recent connections made to the performance of learning algorithms in Baldassi et al. '15. We establish that the partition function of this model, normalized by its expected value, converges to a lognormal distribution. As a consequence, this allows us to establish several conjectures for this model: (i) it proves the contiguity conjecture of Aubin et al. '19 between the planted and unplanted models in the satisfiable regime; (ii) it establishes the sharp threshold conjecture; (iii) it proves the frozen 1-RSB conjecture in the symmetric case, conjectured first by Krauth-M\'ezard '89 in the asymmetric case. In a recent work of Perkins-Xu '21, the last two conjectures were also established by proving that the partition function concentrates on an exponential scale, under an analytical assumption on a real-valued function. This left open the contiguity conjecture and the lognormal limit characterization, which are established here unconditionally, with the analytical assumption verified. In particular, our proof technique relies on a dense counter-part of the small graph conditioning method, which was developed for sparse models in the celebrated work of Robinson and Wormald.


title: Hybrid Systems, Iterative Learning Control, and Non-minimum Phase

abstract: Hybrid systems have steadily grown in popularity over the last few decades because they ease the task of modeling complicated nonlinear systems. Legged locomotion, robotic manipulation, and additive manufacturing are representative examples of systems benefiting from hybrid modeling. They are also prime examples of repetitive processes; gait cycles in walking, product assembly tasks in robotic manipulation, and material deposition in additive manufacturing. Thus, they would also benefit substantially from Iterative Learning Control (ILC), a class of feedforward controllers for repetitive systems that achieve high performance in output reference tracking by learning from the errors of past process cycles. However, the literature is bereft of ILC syntheses from hybrid models. The main thrust of this dissertation is to provide a boradly applicable theory of ILC for deterministic, discrete-time hybrid systems, i.e. piecewise defined (PWD) systems. In summary, the three main gaps addressed by this dissertation are (1) the lack of compatibility between existing hybrid modeling frameworks and ILC synthesis techniques, (2) the failure of ILC based on Newton's method (NILC) for systems with unstable inverses, and (3) the lack of inversion and stable inversion theory for piecewise affine (PWA) systems (a subset of PWD systems). These issues are addressed by (1) developing a closed-form representation for PWD systems, (2) developing a new ILC framework informed by NILC but with the new ability to incorporate stabilizing model inversion techniques, and (3) deriving conventional and stable model inversion theories for PWA systems.


title: Logical-qubit operations in an error-detecting surface code

abstract: We realize a suite of logical operations on a distance-two logical qubit stabilized using repeated error detection cycles. Logical operations include initialization into arbitrary states, measurement in the cardinal bases of the Bloch sphere, and a universal set of single-qubit gates. For each type of operation, we observe higher performance for fault-tolerant variants over non-fault-tolerant variants, and quantify the difference through detailed characterization. In particular, we demonstrate process tomography of logical gates, using the notion of a logical Pauli transfer matrix. This integration of high-fidelity logical operations with a scalable scheme for repeated stabilization is a milestone on the road to quantum error correction with higher-distance superconducting surface codes.


title: A comparison principle for vector valued minimizers of semilinear elliptic energy, with application to dead cores

abstract: We establish a comparison principle providing accurate upper bounds for the modulus of vector valued minimizers of an energy functional, associated when the potential is smooth, to elliptic gradient systems. Our assumptions are very mild: we assume that the potential is lower semicontinuous, and satisfies a monotonicity condition in a neighborhood of its minimum. As a consequence, we give a sufficient condition for the existence of dead core regions, where the minimizer is equal to one of the minima of the potential.


title: Where to go next: Learning a Subgoal Recommendation Policy for Navigation Among Pedestrians

abstract: Robotic navigation in environments shared with other robots or humans remains challenging because the intentions of the surrounding agents are not directly observable and the environment conditions are continuously changing. Local trajectory optimization methods, such as model predictive control (MPC), can deal with those changes but require global guidance, which is not trivial to obtain in crowded scenarios. This paper proposes to learn, via deep Reinforcement Learning (RL), an interaction-aware policy that provides long-term guidance to the local planner. In particular, in simulations with cooperative and non-cooperative agents, we train a deep network to recommend a subgoal for the MPC planner. The recommended subgoal is expected to help the robot in making progress towards its goal and accounts for the expected interaction with other agents. Based on the recommended subgoal, the MPC planner then optimizes the inputs for the robot satisfying its kinodynamic and collision avoidance constraints. Our approach is shown to substantially improve the navigation performance in terms of number of collisions as compared to prior MPC frameworks, and in terms of both travel time and number of collisions compared to deep RL methods in cooperative, competitive and mixed multiagent scenarios.


title: Relaxed phase-matching constraints in zero-index waveguides

abstract: The nonlinear optical response of materials is the foundation upon which applications such as frequency conversion, all-optical signal processing, molecular spectroscopy, and nonlinear microscopy are built. However, the utility of all such parametric nonlinear optical processes is hampered by phase-matching requirements. Quasi-phase-matching, birefringent phase matching, and higher-order-mode phase matching have all been developed to address this constraint, but the methods demonstrated to date suffer from the inconvenience of only being phase-matched for a single, specific arrangement of beams, typically co-propagating, resulting in cumbersome experimental configurations and large footprints for integrated devices. Here, we experimentally demonstrate that these phase-matching requirements may be satisfied in a parametric nonlinear optical process for multiple, if not all, configurations of input and output beams when using low-index media. Our measurement constitutes the first experimental observation of direction-independent phase matching for a medium sufficiently long for phase matching concerns to be relevant. We demonstrate four-wave mixing from spectrally distinct co- and counter-propagating pump and probe beams, the backward-generation of a nonlinear signal, and excitation by an out-of-plane probe beam. These results explicitly show that the unique properties of low-index media relax traditional phase-matching constraints, which can be exploited to facilitate nonlinear interactions and miniaturize nonlinear devices, thus adding to the established exceptional properties of low-index materials.


title: Global Upper Expectations for Discrete-Time Stochastic Processes: In Practice, They Are All The Same!

abstract: We consider three different types of global uncertainty models for discrete-time stochastic processes: measure-theoretic upper expectations, game-theoretic upper expectations and axiomatic upper expectations. The last two are known to be identical. We show that they coincide with measure-theoretic upper expectations on two distinct domains: monotone pointwise limits of finitary gambles, and bounded below Borel-measurable variables. We argue that these domains cover most practical inferences, and that therefore, in practice, it does not matter which model is used.


title: Benchmarking and Survey of Explanation Methods for Black Box Models

abstract: The widespread adoption of black-box models in Artificial Intelligence has enhanced the need for explanation methods to reveal how these obscure models reach specific decisions. Retrieving explanations is fundamental to unveil possible biases and to resolve practical or ethical issues. Nowadays, the literature is full of methods with different explanations. We provide a categorization of explanation methods based on the type of explanation returned. We present the most recent and widely used explainers, and we show a visual comparison among explanations and a quantitative benchmarking.


title: Integration questions in separably good characteristics

abstract: Let G be a reductive group over an algebraically closed field k of separably good characteristic p>0 for G. Under these assumptions a Springer isomorphism from the reduced nilpotent scheme of the Lie algebra of G to the reduced unipotent scheme of G always exists. This allows to integrate any p-nilpotent element of Lie(G) into a unipotent element of G. One should wonder whether such a punctual integration can lead to a systematic integration of p-nil subalgebras of Lie(G). We provide counterexamples of the existence of such an integration in general as well as criteria to integrate some p-nil subalgebras of Lie(G) (that are maximal in a certain sense). This requires to generalise the notion of infinitesimal saturation first introduced by P. Deligne and to extend one of his theorem on infinitesimally saturated subgroups of G to the previously mentioned framework.


title: Erratum: Caroli formula in near-field heat transfer between parallel graphene sheets [PHYSICAL REVIEW B 96, 155437 (2017)]

abstract: This erratum aims to correct 1) the wrong expressions, 2) some typographical errors, 3) some erroneous points made in discussion of the disparity of heat flux ratios between our full RPA model and the local conductivity model, and 4) the lower bound of the characteristic distance scale comparable to the graphene thermal length, appearing in the original paper, which might confuse or mislead readers. Collectively, they don't change the key physics we sought to present.


title: Quantization Algorithms for Random Fourier Features

abstract: The method of random projection (RP) is the standard technique in machine learning and many other areas, for dimensionality reduction, approximate near neighbor search, compressed sensing, etc. Basically, RP provides a simple and effective scheme for approximating pairwise inner products and Euclidean distances in massive data. Closely related to RP, the method of random Fourier features (RFF) has also become popular, for approximating the Gaussian kernel. RFF applies a specific nonlinear transformation on the projected data from random projections. In practice, using the (nonlinear) Gaussian kernel often leads to better performance than the linear kernel (inner product), partly due to the tuning parameter $(\gamma)$ introduced in the Gaussian kernel. Recently, there has been a surge of interest in studying properties of RFF. After random projections, quantization is an important step for efficient data storage, computation, and transmission. Quantization for RP has also been extensive studied in the literature. In this paper, we focus on developing quantization algorithms for RFF. The task is in a sense challenging due to the tuning parameter $\gamma$ in the Gaussian kernel. For example, the quantizer and the quantized data might be tied to each specific tuning parameter $\gamma$. Our contribution begins with an interesting discovery, that the marginal distribution of RFF is actually free of the Gaussian kernel parameter $\gamma$. This small finding significantly simplifies the design of the Lloyd-Max (LM) quantization scheme for RFF in that there would be only one LM quantizer for RFF (regardless of $\gamma$). We also develop a variant named LM$^2$-RFF quantizer, which in certain cases is more accurate. Experiments confirm that the proposed quantization schemes perform well.


title: First measurement of large area jet transverse momentum spectra in heavy-ion collisions

abstract: Jet production in lead-lead (PbPb) and proton-proton (pp) collisions at a nucleon-nucleon center-of-mass energy of 5.02 TeV is studied with the CMS detector at the LHC, using PbPb and pp data samples corresponding to integrated luminosities of 404 $\mu$b$^{-1}$ and 27.4 pb$^{-1}$, respectively. Jets with different areas are reconstructed using the anti-$k_\mathrm{T}$ algorithm by varying the distance parameter $R$. The measurements are performed using jets with transverse momenta ($p_\mathrm{T}$) greater than 200 GeV and in a pseudorapidity range of $|\eta|$ $\lt$ 2. To reveal the medium modification of the jet spectra in PbPb collisions, the properly normalized ratio of spectra from PbPb and pp data is used to extract jet nuclear modification factors as functions of the PbPb collision centrality, $p_\mathrm{T}$ and, for the first time, as a function of $R$ up to 1.0. For the most central collisions, a strong suppression is observed for high-$p_\mathrm{T}$ jets reconstructed with all distance parameters, implying that a significant amount of jet energy is scattered to large angles. The dependence of jet suppression on $R$ is expected to be sensitive to both the jet energy loss mechanism and the medium response, and so the data are compared to several modern event generators and analytic calculations. The models considered do not fully reproduce the data.


title: Decompositions of high-frequency Helmholtz solutions via functional calculus, and application to the finite element method

abstract: Over the last ten years, results from [Melenk-Sauter, 2010], [Melenk-Sauter, 2011], [Esterhazy-Melenk, 2012], and [Melenk-Parsania-Sauter, 2013] decomposing high-frequency Helmholtz solutions into "low"- and "high"-frequency components have had a large impact in the numerical analysis of the Helmholtz equation. These results have been proved for the constant-coefficient Helmholtz equation in either the exterior of a Dirichlet obstacle or an interior domain with an impedance boundary condition. Using the Helffer-Sj\"ostrand functional calculus, this paper proves analogous decompositions for scattering problems fitting into the black-box scattering framework of Sj\"ostrand-Zworski, thus covering Helmholtz problems with variable coefficients, impenetrable obstacles, and penetrable obstacles all at once. These results allow us to prove new frequency-explicit convergence results for (i) the $hp$-finite-element method applied to the variable coefficient Helmholtz equation in the exterior of a Dirichlet obstacle, when the obstacle and coefficients are analytic, and (ii) the $h$-finite-element method applied to the Helmholtz penetrable-obstacle transmission problem. In particular, the result in (i) shows that the $hp$-FEM applied to this problem does not suffer from the pollution effect.


title: Continuous variable multipartite vibrational entanglement

abstract: A compact scheme for the preparation of macroscopic multipartite entanglement is proposed and analyzed. In this scheme the vibrational modes of a mechanical resonator constitute continuous variable (CV) subsystems that entangle to each other as a result of their interaction with a two-level system (TLS). By properly driving the TLS, we show that a selected set of modes can be activated and prepared in a multipartite entangled state. We first study entanglement properties of a three-mode system by evaluating the genuine multipartite entanglement. And investigate its usefulness as a quantum resource by computing the quantum Fisher information. Moreover, the robustness of the state against the qubit and thermal noises is studied, proving a long-lived entanglement. To examine the scalability and structural properties of the scheme, we derive an effective model for the multimode system through elimination of the TLS dynamics. This work provides a step towards a compact and versatile device for creating multipartite noise-resilient entangled state in vibrational modes as a resource for CV quantum metrology, quantum communication, and quantum computation.


title: On shrinkage estimation of a spherically symmetric distribution for balanced loss functions

abstract: We consider the problem of estimating the mean vector $\theta$ of a $d$-dimensional spherically symmetric distributed $X$ based on balanced loss functions of the forms: {\bf (i)} $\omega \rho(\|\de-\de_{0}\|^{2}) +(1-\omega)\rho(\|\de - \theta\|^{2})$ and {\bf (ii)} $\ell\left(\omega \|\de - \de_{0}\|^{2} +(1-\omega)\|\de - \theta\|^{2}\right)$, where $\delta_0$ is a target estimator, and where $\rho$ and $\ell$ are increasing and concave functions. For $d\geq 4$ and the target estimator $\delta_0(X)=X$, we provide Baranchik-type estimators that dominate $\delta_0(X)=X$ and are minimax. The findings represent extensions of those of Marchand \& Strawderman (\cite{ms2020}) in two directions: {\bf (a)} from scale mixture of normals to the spherical class of distributions with Lebesgue densities and {\bf (b)} from completely monotone to concave $\rho'$ and $\ell'$.


title: 3D Printed PVDF

abstract: In this paper we report on the 3D printing and testing of the piezoelectric polymer polyvinylidene difluoride (PVDF). Samples of PVDF were fabricated using a fused deposition modeling (FDM) 3D printer and then activated using a corona poling process. The d33 piezoelectric coefficient, which is related to the overall piezoelectric performance, was experimentally measured using a d33 meter to be 6 pC/N. While less than commercially available PVDF fabricated using traditional techniques (which can have a d33 between 10 and 40 pC/N), the value of 6 pC/N achieved in this work is several orders of magnitude larger than comparable previously published results for 3D printed PVDF, and as a result represents a significant step in the 3D printing of piezoelectric polymers.


title: Towards Robust Graph Contrastive Learning

abstract: We study the problem of adversarially robust self-supervised learning on graphs. In the contrastive learning framework, we introduce a new method that increases the adversarial robustness of the learned representations through i) adversarial transformations and ii) transformations that not only remove but also insert edges. We evaluate the learned representations in a preliminary set of experiments, obtaining promising results. We believe this work takes an important step towards incorporating robustness as a viable auxiliary task in graph contrastive learning.


title: Simple multi-dataset detection

abstract: How do we build a general and broad object detection system? We use all labels of all concepts ever annotated. These labels span diverse datasets with potentially inconsistent taxonomies. In this paper, we present a simple method for training a unified detector on multiple large-scale datasets. We use dataset-specific training protocols and losses, but share a common detection architecture with dataset-specific outputs. We show how to automatically integrate these dataset-specific outputs into a common semantic taxonomy. In contrast to prior work, our approach does not require manual taxonomy reconciliation. Experiments show our learned taxonomy outperforms a expert-designed taxonomy in all datasets. Our multi-dataset detector performs as well as dataset-specific models on each training domain, and can generalize to new unseen dataset without fine-tuning on them. Code is available at https://github.com/xingyizhou/UniDet.


title: Confining light in all-dielectric anisotropic metamaterial particles for nano-scale nonlinear optics

abstract: High-index dielectrics can confine light into nano-scale leading to enhanced nonlinear response. However, increased momentum in these media can deteriorate the overlap between different harmonics which hinders efficient nonlinear interaction in wavelength-scale resonators in the absence of momentum matching. Here, we propose an alternative approach for light confinement in anisotropic particles. The extra degree of freedom in anisotropic media allows us to control the evanescent waves near the center and the radial momentum away from the center, independently. This can lead to a strong light confinement as well as an excellent field overlap between different harmonics which is ideal for nonlinear wavelength conversion. Controlling the evanescent fields can also help to surpass the constrains on the radiation bandwidth of isotropic dielectric antennas. This can improve the light coupling into these particles, which is crucial for nano-scale nonlinear optics. We estimate the second-harmonic generation efficiency as well as optical parametric oscillation threshold in these particles to show the strong nonlinear response in these particles even away from the center of resonances. Our approach is promising to be realized experimentally and can be used for many applications, such as large-scale parallel sensing and computing.


title: Even your Teacher Needs Guidance: Ground-Truth Targets Dampen Regularization Imposed by Self-Distillation

abstract: Knowledge distillation is classically a procedure where a neural network is trained on the output of another network along with the original targets in order to transfer knowledge between the architectures. The special case of self-distillation, where the network architectures are identical, has been observed to improve generalization accuracy. In this paper, we consider an iterative variant of self-distillation in a kernel regression setting, in which successive steps incorporate both model outputs and the ground-truth targets. This allows us to provide the first theoretical results on the importance of using the weighted ground-truth targets in self-distillation. Our focus is on fitting nonlinear functions to training data with a weighted mean square error objective function suitable for distillation, subject to $\ell_2$ regularization of the model parameters. We show that any such function obtained with self-distillation can be calculated directly as a function of the initial fit, and that infinite distillation steps yields the same optimization problem as the original with amplified regularization. Furthermore, we provide a closed form solution for the optimal choice of weighting parameter at each step, and show how to efficiently estimate this weighting parameter for deep learning and significantly reduce the computational requirements compared to a grid search.


title: On The Effect of Auxiliary Tasks on Representation Dynamics

abstract: While auxiliary tasks play a key role in shaping the representations learnt by reinforcement learning agents, much is still unknown about the mechanisms through which this is achieved. This work develops our understanding of the relationship between auxiliary tasks, environment structure, and representations by analysing the dynamics of temporal difference algorithms. Through this approach, we establish a connection between the spectral decomposition of the transition operator and the representations induced by a variety of auxiliary tasks. We then leverage insights from these theoretical results to inform the selection of auxiliary tasks for deep reinforcement learning agents in sparse-reward environments.


title: IBRNet: Learning Multi-View Image-Based Rendering

abstract: We present a method that synthesizes novel views of complex scenes by interpolating a sparse set of nearby views. The core of our method is a network architecture that includes a multilayer perceptron and a ray transformer that estimates radiance and volume density at continuous 5D locations (3D spatial locations and 2D viewing directions), drawing appearance information on the fly from multiple source views. By drawing on source views at render time, our method hearkens back to classic work on image-based rendering (IBR), and allows us to render high-resolution imagery. Unlike neural scene representation work that optimizes per-scene functions for rendering, we learn a generic view interpolation function that generalizes to novel scenes. We render images using classic volume rendering, which is fully differentiable and allows us to train using only multi-view posed images as supervision. Experiments show that our method outperforms recent novel view synthesis methods that also seek to generalize to novel scenes. Further, if fine-tuned on each scene, our method is competitive with state-of-the-art single-scene neural rendering methods. Project page: https://ibrnet.github.io/


title: An Escape from Vardanyan's Theorem

abstract: Vardanyan's Theorems state that $\mathsf{QPL}(\mathsf{PA})$ - the quantified provability logic of Peano Arithmetic - is $\Pi^0_2$ complete, and in particular that this already holds when the language is restricted to a single unary predicate. Moreover, Visser and de Jonge generalized this result to conclude that it is impossible to computably axiomatize the quantified provability logic of a wide class of theories. However, the proof of this fact cannot be performed in a strictly positive signature. The system $\mathsf{QRC}_1$ was previously introduced by the authors as a candidate first-order provability logic. Here we generalize the previously available Kripke soundness and completeness proofs, obtaining constant domain completeness. Then we show that $\mathsf{QRC}_1$ is indeed complete with respect to arithmetical semantics. This is achieved via a Solovay-type construction applied to constant domain Kripke models. As corollaries, we see that $\mathsf{QRC}_1$ is the strictly positive fragment of $\mathsf{QGL}$ and a fragment of $\mathsf{QPL}(\mathsf{PA})$.


title: Quantitative approximation results for complex-valued neural networks

abstract: Until recently, applications of neural networks in machine learning have almost exclusively relied on real-valued networks. It was recently observed, however, that complex-valued neural networks (CVNNs) exhibit superior performance in applications in which the input is naturally complex-valued, such as MRI fingerprinting. While the mathematical theory of real-valued networks has, by now, reached some level of maturity, this is far from true for complex-valued networks. In this paper, we analyze the expressivity of complex-valued networks by providing explicit quantitative error bounds for approximating $C^n$ functions on compact subsets of $\mathbb{C}^d$ by complex-valued neural networks that employ the modReLU activation function, given by $\sigma(z) = \mathrm{ReLU}(|z| - 1) \, \mathrm{sgn} (z)$, which is one of the most popular complex activation functions used in practice. We show that the derived approximation rates are optimal (up to log factors) in the class of modReLU networks with weights of moderate growth.


title: Classical solutions to local first-order extended mean field games

abstract: We study the existence of classical solutions to a broad class of local, first order, forward-backward Extended Mean Field Games systems, that includes standard Mean Field Games, Mean Field Games with congestion, and mean field type control problems. We work with a strictly monotone cost that may be fully coupled with the Hamiltonian, which is assumed to have superlinear growth. Following previous work on the standard first order Mean Field Games system, we prove the existence of smooth solutions under a coercivity condition that ensures a positive density of players, assuming a strict form of the uniqueness condition for the system. Our work relies on transforming the problem into a partial differential equation with oblique boundary conditions, which is elliptic precisely under the uniqueness condition.


title: Download Cost of Private Updating

abstract: We consider the problem of privately updating a message out of $K$ messages from $N$ replicated and non-colluding databases. In this problem, a user has an outdated version of the message $\hat{W}_\theta$ of length $L$ bits that differ from the current version $W_\theta$ in at most $f$ bits. The user needs to retrieve $W_\theta$ correctly using a private information retrieval (PIR) scheme with the least number of downloads without leaking any information about the message index $\theta$ to any individual database. To that end, we propose a novel achievable scheme based on \emph{syndrome decoding}. Specifically, the user downloads the syndrome corresponding to $W_\theta$, according to a linear block code with carefully designed parameters, using the optimal PIR scheme for messages with a length constraint. We derive lower and upper bounds for the optimal download cost that match if the term $\log_2\left(\sum_{i=0}^f \binom{L}{i}\right)$ is an integer. Our results imply that there is a significant reduction in the download cost if $f < \frac{L}{2}$ compared with downloading $W_\theta$ directly using classical PIR approaches without taking the correlation between $W_\theta$ and $\hat{W}_\theta$ into consideration.


title: Subcubic Certificates for CFL Reachability

abstract: Many problems in interprocedural program analysis can be modeled as the context-free language (CFL) reachability problem on graphs and can be solved in cubic time. Despite years of efforts, there are no known truly sub-cubic algorithms for this problem. We study the related certification task: given an instance of CFL reachability, are there small and efficiently checkable certificates for the existence and for the non-existence of a path? We show that, in both scenarios, there exist succinct certificates ($O(n^2)$ in the size of the problem) and these certificates can be checked in subcubic (matrix multiplication) time. The certificates are based on grammar-based compression of paths (for positive instances) and on invariants represented as matrix constraints (for negative instances). Thus, CFL reachability lies in nondeterministic and co-nondeterministic subcubic time. A natural question is whether faster algorithms for CFL reachability will lead to faster algorithms for combinatorial problems such as Boolean satisfiability (SAT). As a consequence of our certification results, we show that there cannot be a fine-grained reduction from SAT to CFL reachability for a conditional lower bound stronger than $n^\omega$, unless the nondeterministic strong exponential time hypothesis (NSETH) fails. Our results extend to related subcubic equivalent problems: pushdown reachability and two-way nondeterministic pushdown automata (2NPDA) language recognition. For example, we describe succinct certificates for pushdown non-reachability (inductive invariants) and observe that they can be checked in matrix multiplication time. We also extract a new hardest 2NPDA language, capturing the "hard core" of all these problems.


title: Upper Limit on Brackett-gamma Emission from the Immediate Accretion Flow onto the Galactic Black Hole

abstract: We present the first observational constraint on the Br-gamma recombination line emission associated with the supermassive black hole at the center of our Galaxy, known as Sgr A*. By combining 13 years of data with the Adaptive Optics fed integral field spectrograph OSIRIS at the W. M. Keck Observatory obtained as part of the Galactic Center Orbits Initiative, we extract the near-infrared spectrum within ~0.2'' of the black hole and we derive an upper limit on the Br-gamma flux. The aperture was set to match the size of the disk-like structure that was recently reported based on millimeter-wave ALMA observations of the hydrogen recombination line, H30-alpha. Our stringent upper limit is at least a factor of 80 (and up to a factor of 245) below what would be expected from the ALMA measurements and strongly constrains possible interpretation of emission from this highly under-luminous supermassive black hole.


title: Exciton-Photonics: From Fundamental Science to Applications

abstract: Semiconductors in all dimensionalities ranging from 0D quantum dots and molecules to 3D bulk crystals support bound electron-hole pair quasiparticles termed as excitons. Over the past two decades, the emergence of a variety of low-dimensional semiconductors that support excitons combined with advances in nano-optics and photonics has burgeoned a new area of research that focuses on engineering, imaging, and modulating coupling between excitons and photons, resulting in the formation of hybrid-quasiparticles termed exciton-polaritons. This new area has the potential to bring about a paradigm shift in quantum optics, as well as classical optoelectronic devices. Here, we present a review on the coupling of light in excitonic semiconductors and investigation of the unique properties of these hybrid quasiparticles via both far-field and near-field imaging and spectroscopy techniques. Special emphasis is laid on recent advances with critical evaluation of the bottlenecks that plague various materials towards practical device implementations including quantum light sources. Our review highlights a growing need for excitonic materials development together with optical engineering and imaging techniques to harness the utility of excitons and their host materials for a variety of applications.

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