title: Stability Verification in Stochastic Control Systems via Neural Network Supermartingales

abstract: We consider the problem of formally verifying almost-sure (a.s.) asymptotic stability in discrete-time nonlinear stochastic control systems. While verifying stability in deterministic control systems is extensively studied in the literature, verifying stability in stochastic control systems is an open problem. The few existing works on this topic either consider only specialized forms of stochasticity or make restrictive assumptions on the system, rendering them inapplicable to learning algorithms with neural network policies. In this work, we present an approach for general nonlinear stochastic control problems with two novel aspects: (a) instead of classical stochastic extensions of Lyapunov functions, we use ranking supermartingales (RSMs) to certify a.s.~asymptotic stability, and (b) we present a method for learning neural network RSMs. We prove that our approach guarantees a.s.~asymptotic stability of the system and provides the first method to obtain bounds on the stabilization time, which stochastic Lyapunov functions do not. Finally, we validate our approach experimentally on a set of nonlinear stochastic reinforcement learning environments with neural network policies.


title: Towards Launching AI Algorithms for Cellular Pathology into Clinical & Pharmaceutical Orbits

abstract: Computational Pathology (CPath) is an emerging field concerned with the study of tissue pathology via computational algorithms for the processing and analysis of digitized high-resolution images of tissue slides. Recent deep learning based developments in CPath have successfully leveraged sheer volume of raw pixel data in histology images for predicting target parameters in the domains of diagnostics, prognostics, treatment sensitivity and patient stratification -- heralding the promise of a new data-driven AI era for both histopathology and oncology. With data serving as the fuel and AI as the engine, CPath algorithms are poised to be ready for takeoff and eventual launch into clinical and pharmaceutical orbits. In this paper, we discuss CPath limitations and associated challenges to enable the readers distinguish hope from hype and provide directions for future research to overcome some of the major challenges faced by this budding field to enable its launch into the two orbits.


title: Online Generalized Additive Model

abstract: Additive models and generalized additive models are effective semiparametric tools for multidimensional data. In this article we propose an online smoothing backfitting method for generalized additive models with local polynomial smoothers. The main idea is to use a second order expansion to approximate the nonlinear integral equations to maximize the local quasilikelihood and store the coefficients as the sufficient statistics which can be updated in an online manner by a dynamic candidate bandwidth method. The updating procedure only depends on the stored sufficient statistics and the current data block. We derive the asymptotic normality as well as the relative efficiency lower bounds of the online estimates, which provides insight into the relationship between estimation accuracy and computational cost driven by the length of candidate bandwidth sequence. Simulations and real data examples are provided to validate our findings.


title: Spectroscopic characterization of the a$^3\Pi$ state of aluminum monofluoride

abstract: Spectroscopic studies of aluminum monofluoride (AlF) have revealed its highly favorable properties for direct laser cooling. All $Q$ lines of the strong A$^1\Pi$ $\leftarrow$ X$^1\Sigma^+$ transition around 227~nm are rotationally closed and thereby suitable for the main cooling cycle. The same holds for the narrow, spin-forbidden a$^3\Pi$ $\leftarrow$ X$^1\Sigma^+$ transition around 367 nm which has a recoil limit in the micro Kelvin range. We here report on the spectroscopic characterization of the lowest rotational levels in the a$^3\Pi$ state of AlF for $v=0-8$ using a jet-cooled, pulsed molecular beam. An accidental AC Stark shift is observed on the a$^3\Pi_0, v=4$ $\leftarrow$ X$^1\Sigma^+, v=4$ band. By using time-delayed ionization for state-selective detection of the molecules in the metastable a$^3\Pi$ state at different points along the molecular beam, the radiative lifetime of the a$^3\Pi_1, v=0, J=1$ level is experimentally determined as $\tau=1.89 \pm 0.15$~ms. A laser/radio-frequency multiple resonance ionization scheme is employed to determine the hyperfine splittings in the a$^3\Pi_1, v=5$ level. The experimentally derived hyperfine parameters are compared to the outcome of quantum chemistry calculations. A spectral line with a width of 1.27 kHz is recorded between hyperfine levels in the a$^3\Pi, v=0$ state. These measurements benchmark the electronic potential of the a$^3\Pi$ state and yield accurate values for the photon scattering rate and for the elements of the Franck-Condon matrix of the a$^3\Pi$ $-$ X$^1\Sigma^+$ system.


title: Non-Markovian Quantum Dynamics in Strongly Coupled Multimode Cavities Conditioned on Continuous Measurement

abstract: An important challenge in non-Markovian open quantum systems is to understand what information we gain from continuous measurement of an output field. For example, atoms in multimode cavity QED systems provide an exciting platform to study many-body phenomena in regimes where the atoms are strongly coupled amongst themselves and with the cavity, but the strong coupling makes it complicated to infer the conditioned state of the atoms from the output light. In this work we address this problem, describing the reduced atomic state via a conditioned hierarchy of equations of motion, which provides an exact conditioned reduced description under monitoring (and continuous feedback). We utilise this formalism to study how different monitoring for modes of a multimode cavity affects our information gain for an atomic state, and to improve spin squeezing via measurement and feedback in a strong coupling regime. This work opens opportunities to understand continuous monitoring of non-Markovian open quantum systems, both on a practical and fundamental level.


title: $L^p(I,C^\alpha(\Omega))$ Regularity for Reaction-Diffusion Equations with Non-smooth Data

abstract: We prove an $L^p(I,C^\alpha(\Omega))$ regularity result for a reaction-diffusion equation with mixed boundary conditions, symmetric $L^\infty$ coefficients and an $L^\infty$ initial condition. We provide explicit control of the $L^p(I,C^\alpha(\Omega))$ norm with respect to the data. To prove our result, we first establish $C^\alpha(\Omega)$ control of the stationary equation, extending a result by Haller-Dintelmann et al. (2009).


title: On generalized minimal log discrepancy

abstract: We discuss the ACC conjecture and the LSC conjecture for minimal log discrepancies of generalized pairs. We prove that some known results on these two conjectures for usual pairs are still valid for generalized pairs. We also discuss the theory of complements for generalized pairs.


title: Inversion of adjunction for quotient singularities II: Non-linear actions

abstract: We prove the precise inversion of adjunction formula for quotient singularities. As an application, we prove the semi-continuity of minimal log discrepancies for hyperquotient singularities. This paper is a continuation of arXiv:2011.07300, and we generalize the previous results to non-linear group actions.


title: Connections between reflected entropies and hyperbolic string vertices

abstract: In this paper, we establish connections between reflected entropies of multipartite mixed states in CFT$_{2}$ and hyperbolic string vertices of closed string field theory (CSFT). We show that the reflected surfaces, which are bulk duals of the reflected entropies, share the same Riemann surfaces with the hyperbolic string vertices. This observation enables us to build quantitative relations between the reflected entropies and hyperbolic string vertices. We illustrate the connections with several examples. Consequently, we propose that spacetime structure could be directly generated from the hyperbolic string vertices. The advantage of the hyperbolic string vertices approach is that we have a dynamical equation, the Batalin-Vilkoviski master equation, to control the generating process.


title: Energetic bounds on gyrokinetic instabilities. Part I: Fundamentals

abstract: Upper bounds on the growth of free energy in gyrokinetics are derived. These bounds apply to all local gyrokinetic instabilities in the geometry of a flux tube, i.e. a slender volume of plasma aligned with the magnetic field, regardless of the geometry of field, the number of particle species, or collisions. The results apply both to linear instabilities and to the nonlinear growth of finite-amplitude fluctuations.


title: The post-common-envelope binary central star of the planetary nebula Ou 5: a doubly-eclipsing post-red-giant-branch system

abstract: We present a detailed study of the stellar and orbital parameters of the post-common envelope binary central star of the planetary nebula Ou~5. Low-resolution spectra obtained during the primary eclipse -- to our knowledge the first isolated spectra of the companion to a post-common-envelope planetary nebula central star -- were compared to catalogue spectra, indicating that the companion star is a late K- or early M-type dwarf. Simultaneous modelling of multi-band photometry and time-resolved radial velocity measurements was then used to independently determine the parameters of both stars as well as the orbital period and inclination. The modelling indicates that the companion star is low mass ($\sim$0.25~M$_\odot$) and has a radius significantly larger than would be expected for its mass. Furthermore, the effective temperature and surface gravity of nebular progenitor, as derived by the modelling, do not lie on single-star post-AGB evolutionary tracks, instead being more consistent with a post-RGB evolution. However, an accurate determination of the component masses is challenging. This is principally due to the uncertainty on the locus of the spectral lines generated by the irradiation of the companion's atmosphere by the hot primary (used to derive companion star's radial velocities), as well as the lack of radial velocities of the primary.


title: $K^{*}(892)^0$ meson production in inelastic $p+p$ interactions at 40 and 80 GeV/$c$ beam momenta measured by NA61/SHINE at the CERN SPS

abstract: Measurements of $K^{*}(892)^0$ resonance production via its $K^{+}\pi^{-}$ decay mode in inelastic $p+p$ collisions at beam momenta 40 and 80 GeV/$c$ ($\sqrt{s_{NN}}=8.8$ and 12.3 GeV) are presented. The data were recorded by the NA61/SHINE hadron spectrometer at the CERN Super Proton Synchrotron. The \textit{template} method was used to extract the $K^{*}(892)^0$ signal. Transverse momentum and rapidity spectra were obtained. The mean multiplicities of $K^{*}(892)^0$ mesons were found to be $(35.1 \pm 1.3 \mathrm{(stat)} \pm 3.6 \mathrm{(sys)) \cdot 10^{-3}}$ at 40 GeV/$c$ and $(58.3 \pm 1.9 \mathrm{(stat)} \pm 4.9 \mathrm{(sys)) \cdot 10^{-3}}$ at 80 GeV/$c$. The NA61/SHINE results are compared with the EPOS1.99 and Hadron Resonance Gas models as well as with world data. The transverse mass spectra of $K^{*}(892)^0$ mesons and other particles previously reported by NA61/SHINE were fitted within the Blast-Wave model. The transverse flow velocities are close to 0.1--0.2 of the speed of light and are significantly smaller than the ones determined in heavy nucleus-nucleus interactions at the same beam momenta.


title: A model for calculating volumes of trains as flows given demand and capacity restriction

abstract: This report presents a novel approach to calculate volumes of trains from a set of requirements describing the transportation demands. The model presented is based on a multi commodity network flow model. The model comprises three different layers: the demand level in which the requirements on the transports are presented, the route layer which describes the routes possible to implement the demands and the flow layer in which the resulting flows of train volumes are calculated and distributed over discrete time periods. This structure corresponds well to other industrial planning processes where different products or services that are to be accomplished are first decomposed by methods into different layers of tasks, by e.g. a work breakdown structure (WBS). Resources are then allocated to the tasks as well as scheduled in time. The most important feature of the proposed model is that it is volume based, i.e. volume of trains are handled instead of scheduling individual trains. Scheduling a timetable is a very complex task, and by concentrating on the volumes of trains over time rather than the detailed scheduling of them, the complexity is greatly reduced which is a large computational advantage. The disadvantage is that the representation of capacity in terms of volumes of trains with different properties becomes crucial. The report discusses these advantages and disadvantages as well as gives two examples of the use of the model.


title: Electronic Excitations Through the Prism of Mean-Field Decomposition Techniques

abstract: The potential of mean-field decomposition techniques in interpreting electronic transitions in molecules is explored, particularly, the usefulness of these for offering computational signatures of different classes of such excitations. When viewed as a conceptual lens for this purpose, decomposed results are presented for ground- and excited-state energies and dipole moments of selected prototypical organic dyes, and the discrete nature of these properties as well as how they change upon transitioning from one state to another is analyzed without recourse to a discussion based on the involved molecular orbitals. On the basis of results obtained both with and without an account of continuum solvation, our work is further intended to shed new light on practical and pathological differences in between various functional approximations in orbital-optimized Kohn-Sham density functional theory for excited states, equipping practitioners and developers in the field with new probes and possible validation tools.


title: Mitigating inefficient task mappings with an Adaptive Resource-Moldable Scheduler (ARMS)

abstract: Efficient runtime task scheduling on complex memory hierarchy becomes increasingly important as modern and future High-Performance Computing (HPC) systems are progressively composed of multisocket and multi-chiplet nodes with nonuniform memory access latencies. Existing locality-aware scheduling schemes either require control of the data placement policy for memory-bound tasks or maximize locality for all classes of computations, resulting in a loss of potential performance. While such approaches are viable, an adaptive scheduling strategy is preferred to enhance locality and resource sharing efficiency using a portable programming scheme. In this paper, we propose the Adaptive Resource-Moldable Scheduler (ARMS) that dynamically maps a task at runtime to a partition spanning one or more threads, based on the task and DAG requirements. The scheduler builds an online platform-independent model for the local and non-local scheduling costs for each tuple consisting of task type (function) and task topology (task location within DAG). We evaluate ARMS using task-parallel versions of SparseLU, 2D Stencil, FMM, and MatMul as examples. Compared to previous approaches, ARMS achieves up to 3.5x performance gain over state-of-the-art locality-aware scheduling schemes.


title: Temperature Discrepancy with Photoionization Models of the Narrow Line Region

abstract: Using published work on the Narrow Line Region of Active Nuclei, we make a comparison of the observed [O III] $4363\AA/5007\AA$ ratio observed among quasars, Seyfert 2's and spatially resolved NLR plasma. It is broadly accepted that the span of this ratio among quasars, from 0.015 to 0.2, is the result of collisional deexcitation as corroborated by Baskin and Laor (2005). However, the coincidence of the AGN at towards the lowest [O III] ratios, however, suggests that it represents plasma in the low density regime, where this ratio can be interpreted as the actual NLR temperature. Using the density indicator [Ar IV] $4711\AA/4740\AA$ doublet ratio which was observed by Koski (1978) in Seyfert 2's, we found evidence of relatively low densities ($< 10000/cc$). Even after considering a powerlaw distribution for the densities as well as a nonuniform foreground dust extinction, we find no evidence of collisional deexcitation. The mean NLR OIII temperature we infer for our Seyfert 2 sample is 13,500 K. This is a problem for photoionization models with a standard ionizing spectral energy distribution since they predict significantly lower temperatures.


title: How do CPT-like symmetries shape the stability of geophysical flows?

abstract: We examine the role discrete symmetries, time-reversal and mirror symmetries, play in the context of geophysical waves and instabilities. By looking at three special cases from the two-layer quasi-geostrophic model as well as developing a general framework for translating real-space transformations to Fourier-space we are able to: 1) show that baroclinic instability is an example of spontaneous parity-time symmetry breaking; 2) show that pure parity symmetry for a fluid system is exactly analogous to charge-conjugation-parity symmetry in a condensed matter system; and 3) show that when a pure parity symmetry is broken, this is associated with the suppression of wave propagation. Further, in the latter case, instability can arise without a corresponding symmetry breaking. This study highlights the role of symmetry breaking behind the dynamics of geophysical waves and instabilities.


title: The gravitational braking of captured moons around ringed planets

abstract: Irregular moons are a class of satellite found orbiting all of the Solar System's giant planets: as their orbits don't match those of their planets, they are theorised to have formed elsewhere in the Solar System and were subsequently captured into their observed orbits. Missions such as Cassini have contributed significant empirical data on irregular moons in the present day but this paper aims to develop our currently limited theoretical understanding of their origins and capture as it presents one of the first projects to connect moon capture with another feature common to all giant planets: ring systems. As a captured body gravitationally brakes around a ringed planet, it transfers orbital energy to the planetary system, a process which has been seen to leave distinctive signatures on the rings which may be used to constrain key parameters of this interaction, including the trajectory and timing. This paper presents a project which applies this technique to constrain scenarios for moon capture through conducting a series of computational simulations using the Python version of the astrophysical code REBOUND modelling the capture of the large irregular moon Phoebe by the planet Saturn and Phoebe's effect on Saturn's ring system. By helping to constrain scenarios for moon capture, this research will further our understanding of the moon systems of the giant planets while simulating the effects of a moon's interaction with a ring system will offer insight into the formation and evolution of planetary rings, whether within our own Solar System or orbiting exoplanets.


title: Positive and negative charge trapping GaN HEMTs: interplay between thermal emission and transport-limited processes

abstract: This paper investigates the kinetics of buffer trapping in GaN-based normally-off high-voltage transistors. The analysis was carried out on transfer-length method (TLM) structures. By means of a custom setup, (i) we investigated the trapping and de-trapping processes induced by a large vertical bias and identified different mechanisms, responsible for the storage of negative and positive charge in the buffer. (ii) temperature-dependent analysis was carried out to evaluate the time constants associated to negative and positive charge build-up. Remarkably, the results indicate that the activation energy for negative charge trapping is ~0.3 eV, which is much lower than the ionization energy of carbon acceptors (0.8-0.9 eV). This result is explained by considering that trapping and de-trapping are not dominated by thermal processes (thermal emission from acceptors), but by transport mechanisms, that limit the transfer of charge to trap states. (iii) in the recovery experiments, after low stress bias negative charge trapping dominates. After high stress bias, also the effect of positive charge generation is detected, and the related activation energy is evaluated. The results presented within this paper clearly indicate that the trapping and de-trapping kinetics of normally-off GaN HEMTs are the results of the interplay of transport-limited conduction processes, that result in a low thermal activation (Ea~0.3 eV), compared to that of CN acceptors.


title: Call for establishing benchmark science and engineering

abstract: Currently, there is no consistent benchmarking across multi-disciplines. Even no previous work tries to relate different categories of benchmarks in multi-disciplines. This article investigates the origin and evolution of the benchmark term. Five categories of benchmarks are summarized, including measurement standards, standardized data sets with defined properties, representative workloads, representative data sets, and best practices, which widely exist in multi-disciplines. I believe there are two pressing challenges in growing this discipline: establishing consistent benchmarking across multi-disciplines and developing meta-benchmark to measure the benchmarks themselves. I propose establishing benchmark science and engineering; one of the primary goals is to set up a standard benchmark hierarchy across multi-disciplines. It is the right time to launch a multi-disciplinary benchmark, standard, and evaluation journal, TBench, to communicate the state-of-the-art and state-of-the-practice of benchmark science and engineering.


title: Symmetry-aware Neural Architecture for Embodied Visual Navigation

abstract: Visual exploration is a task that seeks to visit all the navigable areas of an environment as quickly as possible. The existing methods employ deep reinforcement learning (RL) as the standard tool for the task. However, they tend to be vulnerable to statistical shifts between the training and test data, resulting in poor generalization over novel environments that are out-of-distribution (OOD) from the training data. In this paper, we attempt to improve the generalization ability by utilizing the inductive biases available for the task. Employing the active neural SLAM (ANS) that learns exploration policies with the advantage actor-critic (A2C) method as the base framework, we first point out that the mappings represented by the actor and the critic should satisfy specific symmetries. We then propose a network design for the actor and the critic to inherently attain these symmetries. Specifically, we use $G$-convolution instead of the standard convolution and insert the semi-global polar pooling (SGPP) layer, which we newly design in this study, in the last section of the critic network. Experimental results show that our method increases area coverage by $8.1 m^2$ when trained on the Gibson dataset and tested on the MP3D dataset, establishing the new state-of-the-art.


title: Laser stimulation of muscle activity with simultaneous detection using a diamond colour centre biosensor

abstract: The detection of physiological activity at the microscopic level is key for understanding the function of biosystems and relating this to physical structure. Current sensing methods often rely on invasive probes to stimulate and detect activity, bearing the risk of inducing damage in the target system. In recent years, a new type of biosensor based on color centers in diamond offers the possibility to passively, noninvasively sense and image living biological systems. Here, we use such a sensor for the \textit{in-vitro} recording of the local magnetic field generated by tightly focused, high intensity pulsed laser optogenetic neuromuscular stimulation of the extensor digitorum longus muscles. Recordings captured a compound action potential response and a slow signal component which we seek to explain using a detailed model of the biological system. We show that our sensor is capable of recording localized neuromuscular activity from the laser stimulation site without photovoltaic or fluorescence artifacts associated with alternative techniques. Our work represents an important step towards selective induction of localized neurobiological activity while performing passive sensing and imaging with diamond sensors, motivating further research into mapping of neural activity and intra-cellular processes.

categories: physics.bio-ph physics.app-ph physics.optics quant-ph


title: Towards a simple, comprehensive model of regular earthquakes and slow slip events, part II: two-dimensional model

abstract: Although our existing one-dimensional (1D) model provides a successful quantitative description of rupture events, a 1D description is somewhat limited. We therefore derive a two-dimensional (2D) model which allows us to investigate characteristics of earthquakes (EQs) and slow slip events (SSEs) that are only apparent in a second dimension. We find that the leading edge of an EQ rupture in the direction of the global shear stress (x-direction) is wider in the plane of the crustal fault (y-direction) than the trailing edge. The direction of the slip velocity is primarily in the x-direction. EQ ruptures expand in both the x- and y-directions. In SSEs, the rupture also expands in both directions for a short period of time, then, after pulses are formed, there is no further expandsion, i.e., the pulse shape remains practically unchanged. The 2D simulations show the seismic moment (M) versus time (T) scaling law may be expressed by the relation , where . For EQs, is approximately equal to 3, while for SSEs, tends to 1 as the pulses develop and become fully established. The 2D model quantitatively describes the parameters of a seismic pulse in episodic tremor and slip (ETS) phenomena and also explains important features of non-volcanic tremor associated with this pulse, such as reverse tremor migration. The 2D model confirms the basic findings obtained previously by the 1D model: (i) The type of a seismic event, EQ or SSE, and the type of a rupture, crack-like or pulse-like, are determined solely by the fault strength, the ratio of the shear to normal stress, and the gradient in this ratio; (ii) The shape of a rupture and position of the maximum slip is determined by the spatial distribution of the initial stress.


title: Polytope volume in Normaliz

abstract: We survey the computation of polytope volumes by the algorithms of Normaliz to which the Lawrence algorithm has recently been added. It has enabled us to master volume computations for polytopes from social choice in dimension $119$. This challenge required a sophisticated implementation of the Lawrence algorithm.


title: Correlated Product of Experts for Sparse Gaussian Process Regression

abstract: Gaussian processes (GPs) are an important tool in machine learning and statistics with applications ranging from social and natural science through engineering. They constitute a powerful kernelized non-parametric method with well-calibrated uncertainty estimates, however, off-the-shelf GP inference procedures are limited to datasets with several thousand data points because of their cubic computational complexity. For this reason, many sparse GPs techniques have been developed over the past years. In this paper, we focus on GP regression tasks and propose a new approach based on aggregating predictions from several local and correlated experts. Thereby, the degree of correlation between the experts can vary between independent up to fully correlated experts. The individual predictions of the experts are aggregated taking into account their correlation resulting in consistent uncertainty estimates. Our method recovers independent Product of Experts, sparse GP and full GP in the limiting cases. The presented framework can deal with a general kernel function and multiple variables, and has a time and space complexity which is linear in the number of experts and data samples, which makes our approach highly scalable. We demonstrate superior performance, in a time vs. accuracy sense, of our proposed method against state-of-the-art GP approximation methods for synthetic as well as several real-world datasets with deterministic and stochastic optimization.


title: The DUNE Vertical Drift Photon Detection System

abstract: The Deep Underground Neutrino Experiment (DUNE) is a long-baseline neutrino experiment designed to mainly investigate oscillation parameters, supernova physics and proton decay. Its far detector will be composed of four liquid argon time projection chamber (LArTPC) underground modules, in South Dakota-USA, which will detect a neutrino beam produced at Fermilab, 1300 km away, where a near detector will be in place. The second DUNE far detector module, Vertical Drift, will be a single phase LArTPC with electron drift along the vertical axis with two volumes of 13.5 m x 6.5 m x 60 m dimensions separated by a cathode plane. The charge collection will be performed by two anode planes placed at the top and bottom of the module, each composed by stacked layers of a perforated PCB technology with electrode strips. The photon detection system (PDS) will make use of large size X-Arapuca tiles distributed over three detection planes. One plane will consist of a horizontal arrangement of double sided tiles installed on the high voltage cathode plane and two vertical planes, each placed on the longest cryostat membrane walls. A light active coverage of 14.8% over the cathode and 7.4% over the laterals should allow improvements in the low energy physics range that can be probed in DUNE, especially regarding supernova neutrinos (~10 MeV). We present the initial characterization of the Vertical Drift PDS using a Monte Carlo simulation and preliminary studies on its reconstruction capabilities at the MeV scale. The information obtained with the PDS alone should allow determination of a neutrino interaction region with a precision of at least 65 cm for events with deposited energy above 5 MeV and the deposited energy can be reconstructed with precision better than 10%, both at the center of the volume.


title: Upper bounds of local electronic densities in molecules

abstract: The eigenfunctions of electronic Hamiltonians determine the stable structures and dynamics of molecules through the local distributions of their densities. In this paper an a priori upper bound for such local distributions of the densities is given. The bound means that concentration of electrons is prohibited due to the repulsion between the electrons. A relation between one-electron and two-electron densities resulting from the antisymmetry of the eigenfunctions plays a crucial role in the proof.


title: A Hopf lemma for the regional fractional Laplacian

abstract: We provide a Hopf boundary lemma for the regional fractional Laplacian $(-\Delta)^s_{\Omega}$, with $\Omega\subset\mathbb{R}^N$ a bounded open set. More precisely, given $u$ a pointwise or weak super-solution of the equation $(-\Delta)^s_{\Omega} u = c(x)u$ in $\Omega$, we show that the ratio $u(x)/(\mathrm{dist}(x,\partial\Omega))^{2s-1}$ is strictly positive as $x$ approaches the boundary $\partial\Omega$ of $\Omega$. We also prove a strong maximum principle for distributional super-solutions.


title: Cosmological bounce and the cosmological constant problem

abstract: We discuss how the modifications of the standard Einstein's equations needed to support the cosmological bounce can at the same time lead to vanishing of the well known cosmological constant problem, while also studying the effects of spacetime fluctuations. We first concentrate on the case of the classical FRWL spacetime and show that in a bouncing cosmology, where the modification of the Einstein-Hilbert action can be represented by the most general function needed to support the bounce, the cosmological constant problem is absent if this function at late cosmological times approaches a sufficiently large value. We show that this result is general and does not depend on the details of modifications needed to support the cosmological bounce. Therefore, the bouncing cosmologies could potentially at the same time solve the problem of singularity and cosmological constant. Motivated by the recent studies of cosmological constant problem in the context of fluctuations of the metric, we then generalize our study to incorporate the effects of spacetime fluctuations. We show that some problems of the recent earlier proposals, like singularities and negative values of the scale factor, are also naturally resolved in the approach proposed here.


title: Effective Dirac neutrino mass operator in the Standard Model with a local Abelian extension

abstract: We present 48 types of solutions to the anomaly cancellation conditions of local Abelian extensions of the Standard Model (SM) with right-handed singlet chiral fermions. At least two of them acquire effective light Dirac neutrino masses, while the others get heavy masses from the spontaneous symmetry breaking of the local Abelian symmetry, forming a dark sector with multi-component and multi-generational fermionic dark matter. The corresponding effective Dirac neutrino mass operator can be realized at tree-level or radiatively by introducing extra scalars, and in some cases after imposing extra scotogenic conditions. The Dirac Zee model with Dirac fermionic dark matter is presented as an example of model where the neutrino and dark matter phenomenology are basically independent of each other.


title: Leopoldt-type theorems for non-abelian extensions of Q

abstract: We prove new results concerning the additive Galois module structure of certain wildly ramified finite non-abelian extensions of Q. In particular, when K/Q is a Galois extension with Galois group G isomorphic to A4, S4 or A5, we give necessary and sufficient conditions for the ring of integers of K to be free over its associated order in the rational group algebra Q[G].


title: Challenge Dataset of Cognates and False Friend Pairs from Indian Languages

abstract: Cognates are present in multiple variants of the same text across different languages (e.g., "hund" in German and "hound" in English language mean "dog"). They pose a challenge to various Natural Language Processing (NLP) applications such as Machine Translation, Cross-lingual Sense Disambiguation, Computational Phylogenetics, and Information Retrieval. A possible solution to address this challenge is to identify cognates across language pairs. In this paper, we describe the creation of two cognate datasets for twelve Indian languages, namely Sanskrit, Hindi, Assamese, Oriya, Kannada, Gujarati, Tamil, Telugu, Punjabi, Bengali, Marathi, and Malayalam. We digitize the cognate data from an Indian language cognate dictionary and utilize linked Indian language Wordnets to generate cognate sets. Additionally, we use the Wordnet data to create a False Friends' dataset for eleven language pairs. We also evaluate the efficacy of our dataset using previously available baseline cognate detection approaches. We also perform a manual evaluation with the help of lexicographers and release the curated gold-standard dataset with this paper.


title: Modeling of Multimodal Scattering by Conducting Bodies in Quantum Optics: the Method of Characteristic Modes

abstract: We propose a numerical technique for modeling the quantum multimode light scattering by a perfectly conducting body. Using the novel quantization technique, we give the quantum adaptation of the characteristic mode approach widely used in the classical electrodynamics. The method is universal with respect to the body's configuration, as well as its dimensions relative to the wavelength. Using this method and calculating the first- and the second-order field correlation functions, we demonstrate how scattering affects quantum-statistical features of the field. As an example, we consider scattering of the two single-photon incident Gaussian beams on the cylinder with circular cross-section. We show that the scattering is accompanied by the two-photon interference and demonstrates the Hong-Ou-Mandel effect. It is shown, that the scattered two-photon field and its correlations are able to manifest a varying directive propagation, which is controllable by various means (angles of incidence, configuration of the body, relations between its sizes with the frequency). We expect that this method will be useful for designing quantum-optical devices.

categories: quant-ph physics.app-ph physics.comp-ph physics.optics


title: Connection problem of the first Painlev\'{e} transcendent between poles and negative infinity

abstract: We consider a connection problem of the first Painlev\'{e} equation ($\mathrm{P_I}$), trying to connect the local behavior (Laurent series) near poles and the asymptotic behavior as the variable $t$ tends to negative infinity for real $\mathrm{P_I}$ functions. We get a classification of the real $\mathrm{P_I}$ functions in terms of $(p,H)$ so that they behave differently at the negative infinity, where $p$ is the location of a pole and $H$ is the free parameter in the Laurent series. Some limiting-form connection formulas of $\mathrm{P_I}$ functions are obtained for large $H$. Specifically, for the real tritronqu\'{e}e solution, the large-$n$ asymptotic formulas of $p_n$ and $H_n$ are obtained, where $p_n$ is the $n$-th pole on the real line in the ascending order and $H_n$ is the associated free parameter. Our approach is based on the complex WKB method (also known as the method of uniform asymptotics) introduced by Bassom, Clarkson, Law and McLeod in their study on the connection problem of the second Painlev\'{e} transcendent [Arch. Rational Mech. Anal., 1998, pp. 241-271]. Several numerical simulations are carried out to verify our main results. Meanwhile, we obtain the phase diagram of \PI~solutions in the $(p,H)$ plane, which somewhat resembles the Brillouin zones in solid-state physics. The asymptotic and numerical results obtained in this paper partially answer Clarkson's open question on the connection problem of the first Painlev\'{e} transcendent.


title: End-to-End Rate-Distortion Optimized Learned Hierarchical Bi-Directional Video Compression

abstract: Conventional video compression (VC) methods are based on motion compensated transform coding, and the steps of motion estimation, mode and quantization parameter selection, and entropy coding are optimized individually due to the combinatorial nature of the end-to-end optimization problem. Learned VC allows end-to-end rate-distortion (R-D) optimized training of nonlinear transform, motion and entropy model simultaneously. Most works on learned VC consider end-to-end optimization of a sequential video codec based on R-D loss averaged over pairs of successive frames. It is well-known in conventional VC that hierarchical, bi-directional coding outperforms sequential compression because of its ability to use both past and future reference frames. This paper proposes a learned hierarchical bi-directional video codec (LHBDC) that combines the benefits of hierarchical motion-compensated prediction and end-to-end optimization. Experimental results show that we achieve the best R-D results that are reported for learned VC schemes to date in both PSNR and MS-SSIM. Compared to conventional video codecs, the R-D performance of our end-to-end optimized codec outperforms those of both x265 and SVT-HEVC encoders ("veryslow" preset) in PSNR and MS-SSIM as well as HM 16.23 reference software in MS-SSIM. We present ablation studies showing performance gains due to proposed novel tools such as learned masking, flow-field subsampling, and temporal flow vector prediction. The models and instructions to reproduce our results can be found in https://github.com/makinyilmaz/LHBDC/


title: A flexible Bayesian hierarchical modeling framework for spatially dependent peaks-over-threshold data

abstract: In this work, we develop a constructive modeling framework for extreme threshold exceedances in repeated observations of spatial fields, based on general product mixtures of random fields possessing light or heavy-tailed margins and various spatial dependence characteristics, which are suitably designed to provide high flexibility in the tail and at sub-asymptotic levels. Our proposed model is akin to a recently proposed Gamma-Gamma model using a ratio of processes with Gamma marginal distributions, but it possesses a higher degree of flexibility in its joint tail structure, capturing strong dependence more easily. We focus on constructions with the following three product factors, whose different roles ensure their statistical identifiability: a heavy-tailed spatially-dependent field, a lighter-tailed spatially-constant field, and another lighter-tailed spatially-independent field. Thanks to the model's hierarchical formulation, inference may be conveniently performed based on Markov chain Monte Carlo methods. We leverage the Metropolis adjusted Langevin algorithm (MALA) with random block proposals for latent variables, as well as the stochastic gradient Langevin dynamics (SGLD) algorithm for hyperparameters, in order to fit our proposed model very efficiently in relatively high spatio-temporal dimensions, while simultaneously censoring non-threshold exceedances and performing spatial prediction at multiple sites. The censoring mechanism is applied to the spatially independent component, such that only univariate cumulative distribution functions have to be evaluated. We explore the theoretical properties of the novel model, and illustrate the proposed methodology by simulation and application to daily precipitation data from North-Eastern Spain measured at about 100 stations over the period 2011-2020.


title: Zero-form and one-form symmetries of the ABJ and related theories

abstract: The zero-form and one-form global symmetries of the Aharony-Bergman-Jafferis (ABJ) and related theories, with at least $\mathcal{N}=6$ supersymmetry in three dimensions, are examined in detail. Starting from well-known dualities between theories with orthogonal and symplectic gauge groups and those with unitary gauge groups, we gauge their one-form symmetries or their subgroups and obtain new dualities. One side of the latter involves theories with special orthogonal and symplectic gauge groups, and the other side involves theories with unitary gauge groups; there is a discrete quotient on one or both sides of the duality. We study the refined superconformal indices of such theories and map the symmetries across the dualities, with particular attention to their discrete part. As a generalisation, we also find a new duality between a circular quiver with a discrete quotient of alternating special orthogonal and symplectic gauge groups and a three-dimensional $\mathcal{N}=4$ circular (Kronheimer-Nakajima) quiver with unitary gauge groups, whose Higgs or Coulomb branch describes an instanton on a singular orbifold.


title: Pixel Distillation: A New Knowledge Distillation Scheme for Low-Resolution Image Recognition

abstract: The great success of deep learning is mainly due to the large-scale network architecture and the high-quality training data. However, it is still challenging to deploy recent deep models on portable devices with limited memory and imaging ability. Some existing works have engaged to compress the model via knowledge distillation. Unfortunately, these methods cannot deal with images with reduced image quality, such as the low-resolution (LR) images. To this end, we make a pioneering effort to distill helpful knowledge from a heavy network model learned from high-resolution (HR) images to a compact network model that will handle LR images, thus advancing the current knowledge distillation technique with the novel pixel distillation. To achieve this goal, we propose a Teacher-Assistant-Student (TAS) framework, which disentangles knowledge distillation into the model compression stage and the high resolution representation transfer stage. By equipping a novel Feature Super Resolution (FSR) module, our approach can learn lightweight network model that can achieve similar accuracy as the heavy teacher model but with much fewer parameters, faster inference speed, and lower-resolution inputs. Comprehensive experiments on three widely-used benchmarks, \ie, CUB-200-2011, PASCAL VOC 2007, and ImageNetSub, demonstrate the effectiveness of our approach.


title: Online Classroom Evaluation System Based on Multi-Reaction Estimation

abstract: Compared with traditional face-to-face teaching, online learning is more convenient. However, during online classes, it is more difficult for teachers to observe all student reactions at the same time. Our system is designed to help teachers to adjust the speed of their lessons by detecting student reactions. In this study, we estimate student head pose, hand poses, and expressions through the camera, all these poses will be used as criteria for judging the student participation. After estimating, we proposed a method to evaluate classroom participation based on student head pose, hand poses, and facial expression recognition. The estimated result divides the class quality into positive, neutral, and negative, then, under the help of the system, teachers can rearrange the content of the class.


title: Path Integral Method for Proportional Step and Proportional Double-Barrier Step Option Pricing

abstract: Path integral method in quantum mechanics provides a new thinking for barrier option pricing. For proportional step options, the option price changing process is similar to the one dimensional trapezoid potential barrier scattering problem in quantum mechanics; for double-barrier step options, the option price changing process is analogous to a particle moving in a finite symmetric square potential well. Using path integral method, the analytical expressions of pricing kernel and option price could be derived. Numerical results of option price as a function of underlying price, potential and exercise price are shown, which are consistent with the results given by mathematical method.


title: Doubly Robust Estimation of the Hazard Difference for Competing Risks Data

abstract: We consider the conditional treatment effect for competing risks data in observational studies. While it is described as a constant difference between the hazard functions given the covariates, we do not assume specific functional forms for the covariates. We derive the efficient score for the treatment effect using modern semiparametric theory, as well as two doubly robust scores with respect to 1) the assumed propensity score for treatment and the censoring model, and 2) the outcome models for the competing risks. An important asymptotic result regarding the estimators is rate double robustness, in addition to the classical model double robustness. Rate double robustness enables the use of machine learning and nonparametric methods in order to estimate the nuisance parameters, while preserving the root-$n$ asymptotic normality of the estimators for inferential purposes. We study the performance of the estimators using simulation. The estimators are applied to the data from a cohort of Japanese men in Hawaii followed since 1960s in order to study the effect of mid-life drinking behavior on late life cognitive outcomes.


title: Ising ferromagnets and antiferromagnets in an imaginary magnetic field

abstract: We study classical Ising spin-$\frac{1}{2}$ models on the 2D square lattice with ferromagnetic or antiferromagnetic nearest-neighbor interactions, under the effect of a pure imaginary magnetic field. The complex Boltzmann weights of spin configurations cannot be interpreted as a probability distribution which prevents from application of standard statistical algorithms. In this work, the mapping of the Ising spin models under consideration onto symmetric vertex models leads to real (positive or negative) Boltzmann weights. This enables us to apply accurate numerical methods based on the renormalization of the density matrix, namely the corner transfer matrix renormalization group and the higher-order tensor renormalization group. For the 2D antiferromagnet, varying the imaginary magnetic field we calculate with a high accuracy the curve of critical points related to the symmetry breaking of magnetizations on the interwoven sublattices. The critical exponent $\beta$ and the anomaly number $c$ are shown to be constant along the critical line, equal to their values $\beta=\frac{1}{8}$ and $c=\frac{1}{2}$ for the 2D Ising in a zero magnetic field. The 2D ferromagnets behave in analogy with their 1D counterparts defined on a chain of sites, namely there exists a transient temperature which splits the temperature range into its high-temperature and low-temperature parts. The free energy and the magnetization are well defined in the high-temperature region. In the low-temperature region, the free energy exhibits singularities at the Yang-Lee zeros of the partition function and the magnetization is also ill-defined: it varies chaotically with the size of the system.


title: Observability estimate for the wave equation with variable coefficients

abstract: This paper is devoted to a study of observability estimate for the wave equation with variable coefficients $(h^{jk}(x))_{n\times n}$ ($n\in\mathbb{N})$. We consider both the observation point lies outside the domain and the observation point lies inside the domain. Based on a Carleman estimate for the ultra-hyperbolic operator and a delicate treatment of observation region, we obtain two observability estimates with explicit observability constants. The key improvements are: (1) we improve the requirement of waiting time $T$; (2) we improve the size of the observation region (see Fingure 1 and Fingure 2 for the case of $(h^{jk}(x))_{n\times n}=I_n)$ .


title: Circular hydraulic jumps: where does surface tension matter?

abstract: Recently, an unusual scaling law has been observed in circular hydraulic jumps and has been attributed to a supposed missing term in the local energy balance of the flow [\cite{bhagat_2018}]. In this paper, we show that - though the experimental observation is valuable and interesting - this interpretation is presumably not the good one. When transposed to the case of a axial sheet formed by two impinging liquid jets, the assumed principle leads in fact to a velocity distribution in contradiction with the present knowledge for this kind of flows. We show here how to correct this approach by keeping consistency with surface tension thermodynamics: for Savart-Taylor sheets, when adequately corrected, we recover the well known $1/r$ liquid thickness with a constant and uniform velocity dictated by Bernoulli's principle. In the case of circular hydraulic jumps, we propose here a simple approach based on Watson description of the flow in the central region [\cite{Watson_JFM}]], combined with appropriate boundary conditions on the formed circular front. Depending on the specific condition, we find in turn the new scaling by \cite{bhagat_2018} and the more conventional scaling law found long ago by \cite{Bohr_1993}. We clarify here a few situations in which one should hold rather than the other, hoping to reconcile Bhagat et al. observations with the present knowledge of circular hydraulic jump modeling. However, the question of a possible critical Froude number imposed at the jump exit and dictating logarithmic corrections to scaling remains an opened and unsolved question.


title: Control of waves on Lorentzian manifolds with curvature bounds

abstract: We prove boundary controllability results for wave equations (with lower-order terms) on Lorentzian manifolds with time-dependent geometry satisfying suitable curvature bounds. The main ingredient is a novel global Carleman estimate on Lorentzian manifolds that is supported in the exterior of a null (or characteristic) cone, which leads to both an observability inequality and bounds for the corresponding constant. The Carleman estimate also yields a unique continuation result on the null cone exterior, which has applications toward inverse problems for linear waves on Lorentzian backgrounds.


title: Lagrangian skeleta, collars and duality

abstract: We present a geometric realization of the duality between skeleta in $T^*\mathbb P^n$ and collars of local surfaces. Such duality is predicted by combining two auxiliary types of duality: on one side, symplectic duality between $T^*\mathbb P^n$ and a crepant resolution of the $A_n$ singularity; on the other side, toric duality between two types of isolated quotient singularities. We give a correspondence between Lagrangian submanifolds of the cotangent bundle and vector bundles on collars, and describe those birational transformations within the skeleton which are dual to deformations of vector bundles.


title: Selection bias in the treatment effect for a principal stratum

abstract: Estimation of treatment effect for principal strata has been studied for more than two decades. Existing research exclusively focuses on the estimation, but there is little research on forming and testing hypotheses for principal stratification-based estimands. In this brief report, we discuss a phenomenon in which the true treatment effect for a principal stratum may not equal zero even if the two treatments have the same effect at patient level which implies an equal average treatment effect for the principal stratum. We explain this phenomenon from the perspective of selection bias. This is an important finding and deserves attention when using and interpreting results based on principal stratification. There is a need to further study how to form the null hypothesis for estimands for a principal stratum.


title: A Formal Model for Polarization under Confirmation Bias in Social Networks

abstract: We describe a model for polarization in multi-agent systems based on Esteban and Ray's standard family of polarization measures from economics. Agents evolve by updating their beliefs (opinions) based on an underlying influence graph, as in the standard DeGroot model for social learning, but under a confirmation bias; i.e., a discounting of opinions of agents with dissimilar views. We show that even under this bias polarization eventually vanishes (converges to zero) if the influence graph is strongly-connected. If the influence graph is a regular symmetric circulation, we determine the unique belief value to which all agents converge. Our more insightful result establishes that, under some natural assumptions, if polarization does not eventually vanish then either there is a disconnected subgroup of agents, or some agent influences others more than she is influenced. We also prove that polarization does not necessarily vanish in weakly-connected graphs under confirmation bias. Furthermore, we show how our model relates to the classic DeGroot model for social learning. We illustrate our model with several simulations of a running example about polarization over vaccines and of other case studies. The theoretical results and simulations will provide insight into the phenomenon of polarization.


title: Exploring the Cs-Te phase space via high-throughput density-functional theory calculations beyond the generalized-gradient approximation

abstract: Boosted by the relentless increase of available computational resources, high-throughput calculations based on first principles methods have become a powerful tool to screen a huge range of materials. The backbone of these studies are well-structured and reproducible workflows efficiently returning the desired properties given chemical compositions and atomic arrangements as sole input. Herein, we present a new workflow designed to compute the stability and the electronic properties of crystalline materials from density-functional theory using the SCAN approximation for the exchange-correlation potential. We show the performance of the developed tool exploring the binary Cs-Te phase space which hosts cesium telluride, a semiconducting material widely used as photocathode in particle accelerators. Starting from a pool of structures retrieved from open computational material databases, we analyze formation energies as a function of relative Cs content and for a few selected crystals, we investigate the band structures and density of states unraveling interconnections among structure, stochiometry, stability, and electronic properties. Our study contributes to the ongoing research on alkali-based photocahodes and demonstrates that high-throughput calculations based on state-of-the-art first-principles methods can complement experiments in the search for optimal materials for next-generation electron sources.


title: It's Time to Do Something: Mitigating the Negative Impacts of Computing Through a Change to the Peer Review Process

abstract: The computing research community needs to work much harder to address the downsides of our innovations. Between the erosion of privacy, threats to democracy, and automation's effect on employment (among many other issues), we can no longer simply assume that our research will have a net positive impact on the world. While bending the arc of computing innovation towards societal benefit may at first seem intractable, we believe we can achieve substantial progress with a straightforward step: making a small change to the peer review process. As we explain below, we hypothesize that our recommended change will force computing researchers to more deeply consider the negative impacts of their work. We also expect that this change will incentivize research and policy that alleviates computing's negative impacts.


title: Phenomenology of jet angularities at the LHC

abstract: We compute resummed and matched predictions for jet angularities in hadronic dijet and Z+jet events with and without grooming the candidate jets using the SoftDrop technique. Our theoretical predictions also account for non-perturbative corrections from the underlying event and hadronisation through parton-to-hadron level transfer matrices extracted from dedicated Monte Carlo simulations with SHERPA. Thanks to this approach we can account for non-perturbative migration effects in both the angularities and the jet transverse momentum. We compare our predictions against recent measurements from the CMS experiment. This allows us to test the description of quark- and gluon-jet enriched phase-space regions separately. We supplement our study with SHERPA results based on the matching of NLO QCD matrix elements with the parton shower. Both theoretical predictions offer a good description of the data, within the experimental and theoretical uncertainties. The latter are however sizeable, motivating higher-accuracy calculations.


title: Complex Functional Maps : a Conformal Link Between Tangent Bundles

abstract: In this paper, we introduce complex functional maps, which extend the functional map framework to conformal maps between tangent vector fields on surfaces. A key property of these maps is their orientation awareness. More specifically, we demonstrate that unlike regular functional maps that link functional spaces of two manifolds, our complex functional maps establish a link between oriented tangent bundles, thus permitting robust and efficient transfer of tangent vector fields. By first endowing and then exploiting the tangent bundle of each shape with a complex structure, the resulting operations become naturally orientationaware, thus favoring orientation and angle preserving correspondence across shapes, without relying on descriptors or extra regularization. Finally, and perhaps more importantly, we demonstrate how these objects enable several practical applications within the functional map framework. We show that functional maps and their complex counterparts can be estimated jointly to promote orientation preservation, regularizing pipelines that previously suffered from orientation-reversing symmetry errors.


title: On the s-derivative of weak solutions of the Poisson problem for the regional fractional Laplacian

abstract: In this paper, we analyze the $s$-dependence of the solution $u_s$ to the fractional Poisson equation $(-\Delta)^s_{\Omega} = f$ in an open bounded set $\Omega \subset \mathbb{R}^N$. Precisely, we show that the solution map $(0,1)\to L^2(\Omega)$, $s\mapsto u_s$ is continuously differentiable. Moreover, when $f = \lambda_s u_s$, we also analyze the one-sided differentiability of the first nontrivial eigenvalue of $(-\Delta)^s_{\Omega}$ regarded as a function of $s \in (0,1)$.


title: A note on blind technique for new physics searches in particle physics

abstract: This paper attempts to classify various blinding strategies used in particle physics. It argues that the blinding technique is not used consistently throughout searches for new physics. More importantly, the blinding technique, in its traditional sense, cannot be applicable for many current and future searches when statistical precision of data significantly exceeds the current level of our understanding of Standard Model (SM) backgrounds.


title: Channel Characterization and Performance of a 3-D Molecular Communication System with Multiple Fully-Absorbing Receivers

abstract: Molecular communication (MC) can enable the transfer of information between nanomachines using molecules as the information carrier. In MC systems, multiple receiver nanomachines often co-exist in the same communication channel to serve common or different purposes. However, the analytical channel model for a system with multiple fully absorbing receivers (FARs) does not exist in the literature, which is significantly different from the single FAR system due to the mutual influence of FARs. The analytical channel model is essential in analyzing systems with multiple FARs, including MIMO, SIMO, and cognitive molecular communication systems. In this work, we derive an approximate analytical expression for the hitting probability of a molecule emitted from a point source on each FAR on a diffusion-based MC system with three or more FARs. Using these expressions, we derive the channel model for a SIMO system with a single transmitter and multiple FARs arranged in a uniform circular array (UCA). We then analyze the communication performance of this SIMO system under different cooperative receiver schemes and develop several interesting insights.


title: Observation of KPZ universal scaling in a one-dimensional polariton condensate

abstract: Revealing universal behaviors is a hallmark of statistical physics. Phenomena such as the stochastic growth of crystalline surfaces, of interfaces in bacterial colonies, and spin transport in quantum magnets all belong to the same universality class, despite the great plurality of physical mechanisms they involve at the microscopic level. This universality stems from a common underlying effective dynamics governed by the non-linear stochastic Kardar-Parisi-Zhang (KPZ) equation. Recent theoretical works suggest that this dynamics also emerges in the phase of out-of-equilibrium systems displaying macroscopic spontaneous coherence. Here, we experimentally demonstrate that the evolution of the phase in a driven-dissipative one-dimensional polariton condensate falls in the KPZ universality class. Our demonstration relies on a direct measurement of KPZ space-time scaling laws, combined with a theoretical microscopic analysis that consistently reveals the other key signatures of this universality class, together with the possible resilience of KPZ dynamics to the presence of space-time vortices. Our results highlight fundamental physical differences between out-of-equilibrium condensates and their equilibrium counterparts, and open a new paradigm for exploring universal behaviors in open systems.

categories: cond-mat.mes-hall cond-mat.quant-gas cond-mat.stat-mech physics.optics


title: Resilient Branching MPC for Multi-Vehicle Traffic Scenarios Using Adversarial Disturbance Sequences

abstract: An approach to resilient planning and control of autonomous vehicles in multi-vehicle traffic scenarios is proposed. The proposed method is based on model predictive control (MPC), where alternative predictions of the surrounding traffic are determined automatically such that they are intentionally adversarial to the ego vehicle. This provides robustness against the inherent uncertainty in traffic predictions. To reduce conservatism, an assumption that other agents are of no ill intent is formalized. Simulation results from highway driving scenarios show that the proposed method in real-time negotiates traffic situations out of scope for a nominal MPC approach and performs favorably to state-of-the-art reinforcement-learning approaches without requiring prior training. The results also show that the proposed method performs effectively, with the ability to prune disturbance sequences with a lower risk for the ego vehicle.


title: Monotonicity of positive solutions to quasilinear elliptic equations in half-spaces with a changing-sign nonlinearity

abstract: In this paper we prove the monotonicity of positive solutions to $ -\Delta_p u = f(u) $ in half-spaces under zero Dirichlet boundary conditions, for $(2N+2)/(N+2) < p < 2$ and for a general class of regular changing-sign nonlinearities $f$. The techniques used in the proof of the main result are based on a fine use of comparison and maximum principles and on an adaptation of the celebrated moving plane method to quasilinear elliptic equations in unbounded domains.


title: Rational right triangles and the Congruent Number Problem

abstract: From Euclid's fundamental formula for the Pythagorean triples we define the rational triples relating certain congruent numbers by an identity and explore their relationships. We introduce two geometric methods relating the congruent number problem to pairs of conic sections. We show a relationship between the Cassini ovals and the congruent number problem. By the tangent method we define a set of rational triangles from an initial solution for a congruent number. We define the prime footprint equations for right triangles for certain congruent numbers. By the unseen recurrence we define infinite trees of rational triangles and congruent numbers. Congruent number families are defined related to the Fibonacci/Lucas numbers and the Chebyshev polynomials. We show that the semiperimeter of the Brahmagupta triangles are congruent numbers in function of the Chebyshev polynomials of the first kind. We present a naive recursive algorithm to solve the problem posed by Fermat for triangles with $a+b=\square$ and $c=\square$


title: Picocavity-controlled Sub-nanometer Resolved Single Molecule Non-linear Fluorescence

abstract: In this article, we address fluorescence of single molecule inside a plasmonic picocavity by proposing a semi-classical theory via combining the macroscopic quantum electrodynamics theory and the open quantum system theory. To gain insights into the experimental results [Nat. Photonics, 14, 693 (2020)], we have further equipped this theory with the classical electromagnetic simulation of the pico-cavity, formed by single atom decorated silver STM tip and a silver substrate, and the time-dependent density functional theory calculation of zinc phthalocyanine molecule. Our simulations not only reproduce the fluorescence spectrum as measured in the experiment, confirming the influence of extreme field confinement afforded by the picocavity, but also reveal Rabi oscillation dynamics and Mollow triplets spectrum for moderate laser excitation. Thus, our study highlights the possibility of coherently manipulating the molecular state and exploring non-linear optical phenomena with the plasmonic picocavity.


title: Relativistic Particle Transport and Acceleration in Structured Plasma Turbulence

abstract: We discuss the phenomenon of energization of relativistic charged particles in three-dimensional (3D) incompressible MHD turbulence and the diffusive properties of the motion of the same particles. We show that the random electric field induced by turbulent plasma motion leads test particles moving in a simulated box to be accelerated in a stochastic way, a second-order Fermi process. A small fraction of these particles happen to be trapped in large-scale structures, most likely formed due to the interaction of islands in the turbulence. Such particles get accelerated exponentially, provided their pitch angle satisfies some conditions. We discuss at length the characterization of the accelerating structure and the physical processes responsible for rapid acceleration. We also comment on the applicability of the results to realistic astrophysical turbulence.


title: Optimal quantum dot size for photovoltaics with fusion

abstract: Light fusion increases the efficiency of solar cells by converting photons with lower energy than the bandgap into higher energy photons. The solar cell converts the product photons to current. We use Monte Carlo simulation to predict that lead sulfide (PbS) quantum dot sensitizers will enable fusion with a figure of merit on the mA cm$^{-2}$ scale, exceeding current records, while enabling silicon cell compatibility. Performance is highly sensitive to quantum dot size, on the order of mA cm$^{-2}$ nm$^{-1}$.


title: Strong-coupling emergence of dark states in XX central spin models

abstract: It was recently shown that the XX central spin model is integrable in the presence of a magnetic field perpendicular to the plane in which the coupling exists. A large number of its eigenstates are such that the central spin is not correlated to the environmental spins it is coupled to. In this work, we first demonstrate that the XX-central spin model remains integrable in the presence of an arbitrarily oriented magnetic field. We then show that, provided the coupling is strong enough, dark states can actually be found even in the presence of an in-plane magnetic field. We finally provide a simple explanation of this result and demonstrate its universality for a variety of distinct distributions of the coupling of the central spin to the various bath spins.


title: Canonical systems and quantum graphs

abstract: The representation of the resolvent as an integral operator, the $m$ function, and the associated spectral representation are fundamental topics in the spectral theory of self-adjoint ordinary differential operators. Versions of these are developed here for canonical systems $Ju'=-zHu$ of arbitrary order. A classical result shows that canonical systems of order two can be used to realize arbitrary spectral data, in the form of $m$ functions from the upper half plane to itself. In this paper, canonical systems on graphs, not necessarily compact but with finitely many vertices, are introduced and proved to be unitarily equivalent to certain higher order canonical systems. It is shown that any Schr\"odinger operator on a graph is unitarily equivalent to a canonical system on the same graph. Consequently, for an arbitrary canonical system or Schr\"odinger operator on a graph, a representation of the resolvent as an integral operator and a spectral representation are obtained.


title: ColO-RAN: Developing Machine Learning-based xApps for Open RAN Closed-loop Control on Programmable Experimental Platforms

abstract: In spite of the new opportunities brought about by the Open RAN, advances in ML-based network automation have been slow, mainly because of the unavailability of large-scale datasets and experimental testing infrastructure. This slows down the development and widespread adoption of Deep Reinforcement Learning (DRL) agents on real networks, delaying progress in intelligent and autonomous RAN control. In this paper, we address these challenges by proposing practical solutions and software pipelines for the design, training, testing, and experimental evaluation of DRL-based closed-loop control in the Open RAN. We introduce ColO-RAN, the first publicly-available large-scale O-RAN testing framework with software-defined radios-in-the-loop. Building on the scale and computational capabilities of the Colosseum wireless network emulator, ColO-RAN enables ML research at scale using O-RAN components, programmable base stations, and a "wireless data factory". Specifically, we design and develop three exemplary xApps for DRL-based control of RAN slicing, scheduling and online model training, and evaluate their performance on a cellular network with 7 softwarized base stations and 42 users. Finally, we showcase the portability of ColO-RAN to different platforms by deploying it on Arena, an indoor programmable testbed. Extensive results from our first-of-its-kind large-scale evaluation highlight the benefits and challenges of DRL-based adaptive control. They also provide insights on the development of wireless DRL pipelines, from data analysis to the design of DRL agents, and on the tradeoffs associated to training on a live RAN. ColO-RAN and the collected large-scale dataset will be made publicly available to the research community.


title: Dynamic resource allocation for efficient parallel CFD simulations

abstract: CFD users of supercomputers usually resort to rule-of-thumb methods to select the number of subdomains (partitions) when relying on MPI-based parallelization. One common approach is to set a minimum number of elements or cells per subdomain, under which the parallel efficiency of the code is "known" to fall below a subjective level, say 80%. The situation is even worse when the user is not aware of the "good" practices for the given code and a huge amount of resources can thus be wasted. This work presents an elastic computing methodology to adapt at runtime the resources allocated to a simulation automatically. The criterion to control the required resources is based on a runtime measure of the communication efficiency of the execution. According to some analytical estimates, the resources are then expanded or reduced to fulfil this criterion and eventually execute an efficient simulation.


title: Exactly solvable model of a passive Brownian heat engine and its comparison with active engines

abstract: We perform an extensive analysis of passive as well as active micro-heat engines with different single-particle stochastic models. Using stochastic thermodynamics we calculate thermodynamic work, heat, entropy production and efficiency of passive and active Brownian heat engines analytically as well as numerically and compare them. We run the heat engines with a protocol for which the average thermodynamic quantities are calculated exactly for an arbitrary cycle time. We also discuss about the group of protocols for which exact non-quasistatic calculations can be done, completely in the passive engine case and partially in the active engines. We obtain detailed thermodynamics of non-quasistatic (i.e. powerful) single-particle micro heat engines. The quasistatic (i.e. zero power) limit of the results is obtained by taking long (infinite) cycle time. We also study the distributions of position of the confined particle in both passive and active engines. We compare their characteristics in terms of the parameter that measures the competition between the active persistence in the particle position (due to active noises) and the harmonic confinement. We also calculate excess kurtosis that measures the non-Gaussianity of these distributions. Our analysis shows that efficiency of such thermal machine can be enhanced or reduced depending on the activity present in the model.


title: The critical role of the donor polymer in the stability of high-performance non-fullerene acceptor organic solar cells

abstract: Driven by the rapid development of non-fullerene electron acceptors (NFAs), the power conversion efficiencies of organic solar cells (OSCs) have reached levels suitable for commercial applications. However, the poor operational stability of high-performance NFA OSCs is a remaining fundamental challenge that must be addressed. Whilst previous studies have primarily focused on the NFA component, we consider here the degradation pathways of both the donor and acceptor materials in the benchmark PM6:Y6 blend. Here, we show that light soaking greatly increases the energetic disorder and trap state density in PM6, with little effect on Y6. This is corroborated by electron paramagnetic resonance spectroscopy, which reveals increased recombination via trapped polarons on PM6 after light soaking. In addition, ultrafast optical spectroscopy studies on light-soaked samples show that PM6 singlet excitons are rapidly converted into interchain polaron pairs on sub-100 fs timescales; this process outcompetes electron transfer to Y6, significantly reducing the charge generation yield of the blend. We make similar observations in the parent polymer, PBDB-T, indicating that this class of donor materials, used in most high-performance OSCs to date, are intrinsically unstable to light soaking. Thus, we reveal that the donor polymer can be a further critical weak link in efficient OSC systems, whose degradation mechanism needs to be addressed collectively with NFAs.


title: Nuclear level densities away from line of $\beta$-stability

abstract: The variation of total nuclear level densities (NLDs) and level density parameters with proton number $(Z)$ are studied around the $\beta$-stable isotope, $Z_{0}$, for a given mass number. We perform our analysis for a mass range $A=40$ to 180 using the NLDs from popularly used databases obtained with the single-particle energies from two different microsopic mass-models. These NLDs which include microscopic structural effects such as collective enhancement, pairing and shell corrections, do not exhibit inverted parabolic trend with a strong peak at $Z_{0}$ as predicted earlier. We also compute the NLDs using the single-particle energies from macroscopic-microscopic mass-model. Once the collective and pairing effects are ignored, the inverted parabolic trends of NLDs and the corresponding level density parameters become somewhat visible. Nevertheless, the factor that governs the $(Z-Z_{0})$ dependence of the level density parameter, leading to the inverted parabolic trend, is found to be smaller by an order of magnitude. We further find that the $(Z-Z_{0})$ dependence of NLDs is quite sensitive to the shell effects.


title: Single-step transmission matrix retrieval for fast imaging through multi-mode fibers

abstract: Recovering the transmission matrix of a disordered medium is a challenging problem in disordered photonics. Usually, its reconstruction relies on a complex inversion that aims at connecting a fully-controlled input to the deterministic interference of the light field scrambled by the device. At the moment, iterative phase-retrieval protocols provide the fastest reconstructing frameworks, converging in a few tens of iterations. Exploiting the knowledge of speckle correlations, we construct a new phase retrieval algorithm that reduces the computational cost to a single iteration. Besides being faster, our method is effective also using less measurements than state-of-the-art protocols. Thanks to reducing computation time by one order of magnitude, our result can be groundbreaking for real-time optical operations in medical imaging.

categories: physics.comp-ph cond-mat.dis-nn physics.ins-det physics.optics


title: The Values and Limits of Altmetrics

abstract: Altmetrics are tools for measuring the impact of research beyond scientific communities. In general, they measure online mentions of scholarly outputs, such as on online social networks, blogs, and news sites. Some stakeholders in higher education have championed altmetrics as a new way to understand research impact and as an alternative or supplement to bibliometrics. Contrastingly, others have criticized altmetrics for being ill conceived and limited in their use. This chapter explores the values and limits of altmetrics, including their role in evaluating, promoting, and disseminating research.


title: Barrier Simulations and Experimental Calculations Using Cell Merging Method

abstract: We apply the cell merging method to a model shallow water problem with a permeable boundary. We use a cut cell approach which is more easily and systematically scalable with different shapes of boundaries. The novel cell merging method presented in this paper uses both wave propagation algorithm and gradient reconstruction for second order corrections, along with minmod and Barth-Jespersen limiters. We observe second order convergence in two model problems, one with a linear boundary and other with a composite, V-shaped boundary. We assess the effectiveness of these two boundaries by doing a realistic scenario including an island and observing inundation at the peak of the island.


title: LTB curves with Lipschitz turn are par-regular

abstract: Preserving the topology during a digitization process is a requirement of first importance. To this end, it is classical in Digital Geometry to assume the shape borders to be par-regular. Par-regularity was proved to be equivalent to having positive reach or to belong to the class C 1,1 of curves with Lipschitz derivative. Recently, we proposed to use a larger class that encompasses polygons with obtuse angles, the locally turn-bounded curves. The aim of this technical report is to define the class of par-regular curves inside the class of locally turn-bounded curves using only the notion of turn, that is of integral curvature. To be more precise, in a previous article, we have already proved that par-regular curves are locally turn-bounded. Incidentally this proof lead us to show that the turn of par-regular curves is a Lipschitz function of their length. We call the class of curves verifying this latter property the curves with Lipschitz turn. In this technical report, we prove the converse assertion : locally turn-bounded curves with Lipschitz turn are par-regular. The equivalence is stated in Theorem 3.1 and the converse assertion is proved in Lemma 3.2. In section 1, we recall the definition of par-regularity and equivalently of sets with positive reach. In section 2, we present the notions of curves locally turn-bounded and of curves with Lipschitz turn. Throughout this latter section, some of intermediate steps (Lemmas 2.3 and 2.11) are proved just after the introduction of their related notions. The last section (section 3) is dedicated to the proof of the equivalence of the notions.


title: Nearest neighbor search with compact codes: A decoder perspective

abstract: Modern approaches for fast retrieval of similar vectors on billion-scaled datasets rely on compressed-domain approaches such as binary sketches or product quantization. These methods minimize a certain loss, typically the mean squared error or other objective functions tailored to the retrieval problem. In this paper, we re-interpret popular methods such as binary hashing or product quantizers as auto-encoders, and point out that they implicitly make suboptimal assumptions on the form of the decoder. We design backward-compatible decoders that improve the reconstruction of the vectors from the same codes, which translates to a better performance in nearest neighbor search. Our method significantly improves over binary hashing methods or product quantization on popular benchmarks.


title: CPPE-5: Medical Personal Protective Equipment Dataset

abstract: We present a new challenging dataset, CPPE - 5 (Medical Personal Protective Equipment), with the goal to allow the study of subordinate categorization of medical personal protective equipments, which is not possible with other popular data sets that focus on broad-level categories (such as PASCAL VOC, ImageNet, Microsoft COCO, OpenImages, etc). To make it easy for models trained on this dataset to be used in practical scenarios in complex scenes, our dataset mainly contains images that show complex scenes with several objects in each scene in their natural context. The image collection for this dataset focuses on: obtaining as many non-iconic images as possible and making sure all the images are real-life images, unlike other existing datasets in this area. Our dataset includes 5 object categories (coveralls, face shields, gloves, masks, and goggles), and each image is annotated with a set of bounding boxes and positive labels. We present a detailed analysis of the dataset in comparison to other popular broad category datasets as well as datasets focusing on personal protective equipments, we also find that at present there exist no such publicly available datasets. Finally, we also analyze performance and compare model complexities on baseline and state-of-the-art models for bounding box results. Our code, data, and trained models are available at https://git.io/cppe5-dataset.


title: A Binded VAE for Inorganic Material Generation

abstract: Designing new industrial materials with desired properties can be very expensive and time consuming. The main difficulty is to generate compounds that correspond to realistic materials. Indeed, the description of compounds as vectors of components' proportions is characterized by discrete features and a severe sparsity. Furthermore, traditional generative model validation processes as visual verification, FID and Inception scores are tailored for images and cannot then be used as such in this context. To tackle these issues, we develop an original Binded-VAE model dedicated to the generation of discrete datasets with high sparsity. We validate the model with novel metrics adapted to the problem of compounds generation. We show on a real issue of rubber compound design that the proposed approach outperforms the standard generative models which opens new perspectives for material design optimization.


title: Electronic Properties of Various Graphene Quantum Dot Structures: an Ab Initio Study

abstract: Density functional theory (DFT) and thermal DFT (thDFT) calculations were used to evaluate the energy band structure, bandgap, and the total energy of various graphene quantum dots (GQDs). The DFT calculations were performed using local density approximation for the exchange-correlation functional and norm-conserving pseudopotentials. We consider the triangular and hexagonal GQDs with zigzag and armchair edges and 1-3 nm dimensions with many hundred atoms. The simulation results show that all of these GQDs are direct bandgap semiconductors with a flat band structure, and they are suitable for electronics and optoelectronics applications. Analysis of GQDs in which the A and B sublattice symmetries were broken showed degenerate zero-energy shells. Using the thDFT calculations carried out at temperatures up to 1400 K, we evaluated the temperature dependence of the GQDs bandgaps and total energies via entropy-term and electron kinetic energy. The obtained results indicate that the ground-state DFT calculations are valid for determining the electronic properties of GQDs up to room temperature. Moreover, we tune semi-empirical parameters of the tight-binding model by the DFT results in small GQDs to reduce the computational cost of electronic structure calculations for large GQDs, which contained up to thousands of atoms.


title: Topic-Aware Encoding for Extractive Summarization

abstract: Document summarization provides an instrument for faster understanding the collection of text documents and has several real-life applications. With the growth of online text data, numerous summarization models have been proposed recently. The Sequence-to-Sequence (Seq2Seq) based neural summarization model is the most widely used in the summarization field due to its high performance. This is because semantic information and structure information in the text is adequately considered when encoding. However, the existing extractive summarization models pay little attention to and use the central topic information to assist the generation of summaries, which leads to models not ensuring the generated summary under the primary topic. A lengthy document can span several topics, and a single summary cannot do justice to all the topics. Therefore, the key to generating a high-quality summary is determining the central topic and building a summary based on it, especially for a long document. We propose a topic-aware encoding for document summarization to deal with this issue. This model effectively combines syntactic-level and topic-level information to build a comprehensive sentence representation. Specifically, a neural topic model is added in the neural-based sentence-level representation learning to adequately consider the central topic information for capturing the critical content in the original document. The experimental results on three public datasets show that our model outperforms the state-of-the-art models.


title: cgSpan: Closed Graph-Based Substructure Pattern Mining

abstract: gSpan is a popular algorithm for mining frequent subgraphs. cgSpan (closed graph-based substructure pattern mining) is a gSpan extension that only mines closed subgraphs. A subgraph g is closed in the graphs database if there is no proper frequent supergraph of g that has equivalent occurrence with g. cgSpan adds the Early Termination pruning method to the gSpan pruning methods, while leaving the original gSpan steps unchanged. cgSpan also detects and handles cases in which Early Termination should not be applied. To the best of our knowledge, cgSpan is the first publicly available implementation for closed graphs mining


title: Super-resolution reconstruction of cytoskeleton image based on A-net deep learning network

abstract: To date, live-cell imaging at the nanometer scale remains challenging. Even though super-resolution microscopy methods have enabled visualization of subcellular structures below the optical resolution limit, the spatial resolution is still far from enough for the structural reconstruction of biomolecules in vivo (i.e. ~24 nm thickness of microtubule fiber). In this study, we proposed an A-net network and showed that the resolution of cytoskeleton images captured by a confocal microscope can be significantly improved by combining the A-net deep learning network with the DWDC algorithm based on degradation model. Utilizing the DWDC algorithm to construct new datasets and taking advantage of A-net neural network's features (i.e., considerably fewer layers), we successfully removed the noise and flocculent structures, which originally interfere with the cellular structure in the raw image, and improved the spatial resolution by 10 times using relatively small dataset. We, therefore, conclude that the proposed algorithm that combines A-net neural network with the DWDC method is a suitable and universal approach for exacting structural details of biomolecules, cells and organs from low-resolution images.


title: Stability and Bifurcation of Dynamic Contact Lines in Two Dimensions

abstract: The moving-contact line between a fluid, liquid and a solid is a ubiquitous phenomenon, and determining the maximum speed at which a liquid can wet/dewet a solid is a practically important problem. Using continuum models, previous studies have shown that the maximum speed of wetting/dewetting can be found by calculating steady solutions of the governing equations and locating the critical capillary number, $Ca_{\mathrm{crit}}$, above which no steady-state solution can be found. Below $Ca_{\mathrm{crit}}$, both stable and unstable steady-state solutions exist and if some appropriate measure of these solutions is plotted against $Ca$, a fold bifurcation appears where the stable and unstable branches meet. Interestingly, the significance of this bifurcation structure to the transient dynamics has yet to be explored. This article develops a computational model and uses ideas from dynamical systems theory to show the profound importance of the unstable solutions on the transient behaviour. By perturbing the stable state by the eigenmodes calculated from a linear stability analysis it is shown that the unstable branch is responsible for the eventual dynamical outcomes and that the system can become unstable when $Ca<Ca_{\mathrm{crit}}$ due to finite amplitude perturbations. Furthermore, when $Ca>Ca_{\mathrm{crit}}$, we will show that the trajectories in phase space closely follow the unstable branch.


title: Sums of powers of binomials, their Ap\'ery limits, and Franel's suspicions

abstract: We explicitly determine the Ap\'ery limits for the sums of powers of binomial coefficients. As an application, we prove a weak version of Franel's conjecture on the order of the recurrences for these sequences. Namely, we prove the conjectured minimal order under the assumption that such a recurrence can be obtained via creative telescoping.


title: Entropic Density Functional Theory: Entropic Inference and the Equilibrium State of Inhomogeneous Fluids

abstract: A unified formulation of the density functional theory is constructed on the foundations of entropic inference in both the classical and the quantum regimes. The theory is introduced as an application of entropic inference for inhomogeneous fluids in thermal equilibrium. It is shown that entropic inference reproduces the variational principle of DFT when information about expected density of particles is imposed. In the classical regime, this process introduces a family of trial density-parametrized probability distributions, and consequently a trial entropy, from which the preferred one is found using the method of Maximum Entropy (MaxEnt). In the quantum regime, similarly, the process involves introduction of a family of trial density-parametrized density matrices, and consequently a trial entropy, from which the preferred density matrix is found using the method of quantum MaxEnt. As illustrations some known approximation schemes of the theory are discussed.


title: Gamows alpha decay theory revisited

abstract: G. Gamow's alpha-decay theory (1928), although successful, has a wrong phenomenological argument that an alpha-particle inside a radioactive nucleus moves back and forth through the dense mass of nucleons (retaining its identity) a number of times before it comes out. This short paper seeks to get over this shortcoming by deriving principally the Gamow's theory through a slightly alternative approach by avoiding the problematic touching frequency in the original theory.


title: Convergence Rates of Two-Time-Scale Gradient Descent-Ascent Dynamics for Solving Nonconvex Min-Max Problems

abstract: There are much recent interests in solving noncovnex min-max optimization problems due to its broad applications in many areas including machine learning, networked resource allocations, and distributed optimization. Perhaps, the most popular first-order method in solving min-max optimization is the so-called simultaneous (or single-loop) gradient descent-ascent algorithm due to its simplicity in implementation. However, theoretical guarantees on the convergence of this algorithm is very sparse since it can diverge even in a simple bilinear problem. In this paper, our focus is to characterize the finite-time performance (or convergence rates) of the continuous-time variant of simultaneous gradient descent-ascent algorithm. In particular, we derive the rates of convergence of this method under a number of different conditions on the underlying objective function, namely, two-sided Polyak-L ojasiewicz (PL), one-sided PL, nonconvex-strongly concave, and strongly convex-nonconcave conditions. Our convergence results improve the ones in prior works under the same conditions of objective functions. The key idea in our analysis is to use the classic singular perturbation theory and coupling Lyapunov functions to address the time-scale difference and interactions between the gradient descent and ascent dynamics. Our results on the behavior of continuous-time algorithm may be used to enhance the convergence properties of its discrete-time counterpart.


title: Continuously Testing Distributed IoT Systems: An Overview of the State of the Art

abstract: The continuous testing of small changes to systems has proven to be useful and is widely adopted in the development of software systems. For this, software is tested in environments that are as close as possible to the production environments. When testing IoT systems, this approach is met with unique challenges that stem from the typically large scale of the deployments, heterogeneity of nodes, challenging network characteristics, and tight integration with the environment among others. IoT test environments present a possible solution to these challenges by emulating the nodes, networks, and possibly domain environments in which IoT applications can be executed. This paper gives an overview of the state of the art in IoT testing. We derive desirable characteristics of IoT test environments, compare 18 tools that can be used in this respect, and give a research outlook of future trends in this area.


title: Watermarking Images in Self-Supervised Latent Spaces

abstract: We revisit watermarking techniques based on pre-trained deep networks, in the light of self-supervised approaches. We present a way to embed both marks and binary messages into their latent spaces, leveraging data augmentation at marking time. Our method can operate at any resolution and creates watermarks robust to a broad range of transformations (rotations, crops, JPEG, contrast, etc). It significantly outperforms the previous zero-bit methods, and its performance on multi-bit watermarking is on par with state-of-the-art encoder-decoder architectures trained end-to-end for watermarking. The code is available at github.com/facebookresearch/ssl_watermarking