title: Improving Generalization of Deep Networks for Estimating Physical Properties of Containers and Fillings

abstract: We present methods to estimate the physical properties of household containers and their fillings manipulated by humans. We use a lightweight, pre-trained convolutional neural network with coordinate attention as a backbone model of the pipelines to accurately locate the object of interest and estimate the physical properties in the CORSMAL Containers Manipulation (CCM) dataset. We address the filling type classification with audio data and then combine this information from audio with video modalities to address the filling level classification. For the container capacity, dimension, and mass estimation, we present a data augmentation and consistency measurement to alleviate the over-fitting issue in the CCM dataset caused by the limited number of containers. We augment the training data using an object-of-interest-based re-scaling that increases the variety of physical values of the containers. We then perform the consistency measurement to choose a model with low prediction variance in the same containers under different scenes, which ensures the generalization ability of the model. Our method improves the generalization ability of the models to estimate the property of the containers that were not previously seen in the training.


title: VAE-iForest: Auto-encoding Reconstruction and Isolation-based Anomalies Detecting Fallen Objects on Road Surface

abstract: In road monitoring, it is an important issue to detect changes in the road surface at an early stage to prevent damage to third parties. The target of the falling object may be a fallen tree due to the external force of a flood or an earthquake, and falling rocks from a slope. Generative deep learning is possible to flexibly detect anomalies of the falling objects on the road surface. We prototype a method that combines auto-encoding reconstruction and isolation-based anomaly detector in application for road surface monitoring. Actually, we apply our method to a set of test images that fallen objects is located on the raw inputs added with fallen stone and plywood, and that snow is covered on the winter road. Finally we mention the future works for practical purpose application.


title: Theoretical Foundation of Colored Petri Net through an Analysis of their Markings as Multi-classification

abstract: Barwise and Seligman stated the first principle of information flow: "Information flow results from regularities in the distributed system." They represent a distributed system in terms of a classification consisting of a set of objects or tokens to be classified, a set of types used to classify tokens, and a binary relation between tokens and types that tells one which tokens are classified as being of which types. We aim to further this investigation and proceed with a dynamic or evolving system instead of a static system. We claim that a classification is a snapshot of a distributed system at a given moment or context. We then aim to answer the question posed by an evolving context. As the context or configuration changes, how to regularities evolve. This paper is a continuation of an investigation we started in \cite{esterlin}, where we initiated how to capture a dynamism of information flow with a Kripke structure. Here we develop the same procedure with colored Petri net(CPN). We first extend the classification concept to multiclassification by replacing its binary relation between tokens and types with a multi relation: a function from tok(A) x typ(A) to N, the set of natural numbers. The multiclassification will unfold into binary classification in order to compute its theory. It turns out that markings of a CPN are multiclassification; Amalgamating the theories of those classifications obtained as markings of CPN results in a CPN's knowledge base.


title: Properties of the linearised functional renormalization group

abstract: Interactions growing slower than a certain exponential of the square of a scalar field, are well behaved when evolved under the functional renormalization group linearised around the Gaussian fixed point. They satisfy properties usually taken for granted, and reproduce standard perturbative quantisation. However, ever more challenging effects appear the more interactions grow faster than this. We show explicitly that firstly the flow no longer splits uniquely into operators of definite scaling dimension; then (linearised) flows to the infrared can end prematurely in a singularity; and finally new interactions can spontaneously appear at any scale.

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


title: Quantum oscillations of the nonlinear planar effects signifying chiral anomaly in Weyl Semimetals

abstract: In view of searching the signature of the celebrated chiral anomaly (CA) in Weyl semimetals (WSMs) in ongoing experiments, quantum oscillation in linear response regime has been considered as an important signature in the magneto transports in WSMs, due to its unique relation to CA. Investigating the nonlinear planar effects (NPEs) starting from the semiclassical regime to the ultra-quantum limit within the framework of Boltzmann transport theory incorporating Landau quantization, we here propose the quantum oscillations in NPEs can serve as a robust signature of CA in WSMs. By obtaining analytical expressions, we show that the quantum oscillations of the nonlinear effects exhibit two different period scales in 1/B (B is the magnetic field) compared to the linear responses where only one period scale exists. We find that these quantum oscillations in NPEs are attributed to the deviation of chiral chemical potential (CCP), which is proportional to the finite band tilt as well as transverse electric field and therefore, directly linked to CA in WSMs. In addition, we also show that the CA-induced nonlinear magneto conductivity is linear and independent in the magnetic field in the semiclassical and ultraquantum regimes, respectively. We conclude that the proposed behaviors of NPEs in different regimes uniquely signify the existence of CA and therefore, can serve as a probe of identifying CA in WSMs in experiments.


title: DextAIRity: Deformable Manipulation Can be a Breeze

abstract: This paper introduces DextAIRity, an approach to manipulate deformable objects using active airflow. In contrast to conventional contact-based quasi-static manipulations, DextAIRity allows the system to apply dense forces on out-of-contact surfaces, expands the system's reach range, and provides safe high-speed interactions. These properties are particularly advantageous when manipulating under-actuated deformable objects with large surface areas or volumes. We demonstrate the effectiveness of DextAIRity through two challenging deformable object manipulation tasks: cloth unfolding and bag opening. We present a self-supervised learning framework that learns to effectively perform a target task through a sequence of grasping or air-based blowing actions. By using a closed-loop formulation for blowing, the system continuously adjusts its blowing direction based on visual feedback in a way that is robust to the highly stochastic dynamics. We deploy our algorithm on a real-world three-arm system and present evidence suggesting that DextAIRity can improve system efficiency for challenging deformable manipulation tasks, such as cloth unfolding, and enable new applications that are impractical to solve with quasi-static contact-based manipulations (e.g., bag opening). Video is available at https://youtu.be/_B0TpAa5tVo


title: Linear Stochastic Bandits over a Bit-Constrained Channel

abstract: One of the primary challenges in large-scale distributed learning stems from stringent communication constraints. While several recent works address this challenge for static optimization problems, sequential decision-making under uncertainty has remained much less explored in this regard. Motivated by this gap, we introduce a new linear stochastic bandit formulation over a bit-constrained channel. Specifically, in our setup, an agent interacting with an environment transmits encoded estimates of an unknown model parameter to a server over a communication channel of finite capacity. The goal of the server is to take actions based on these estimates to minimize cumulative regret. To this end, we develop a novel and general algorithmic framework that hinges on two main components: (i) an adaptive encoding mechanism that exploits statistical concentration bounds, and (ii) a decision-making principle based on confidence sets that account for encoding errors. As our main result, we prove that when the unknown model is $d$-dimensional, a channel capacity of $O(d)$ bits suffices to achieve order-optimal regret. To demonstrate the generality of our approach, we then show that the same result continues to hold for non-linear observation models satisfying standard regularity conditions. Finally, we establish that for the simpler unstructured multi-armed bandit problem, $1$ bit channel-capacity is sufficient for achieving optimal regret bounds. Overall, our work takes a significant first step towards paving the way for statistical decision-making over finite-capacity channels.

categories: cs.LG cs.IT cs.SY eess.SY math.IT math.OC


title: Global solution of the 3D Relativistic Vlasov-Maxwell system for large data with cylindrical symmetry

abstract: We show that the $3D$ relativistic Vlasov-Maxwell system admits global solution for a class of arbitrarily large cylindrically symmetric initial data.


title: Observation of microcavity fine structure

abstract: We observe fine structure in the resonance spectra of optical microcavities. We identify the polarization-resolved modes in the spectrum and find that resonance frequencies split in accordance with the theoretical prediction. The observed fine structure is dominantly caused by an optical spin-orbit coupling and non-paraxial propagation and reflection. Both effects are intrinsic, i.e. present in an ideal rotation-symmetric system, and scale inversely proportional to the mirror radius of curvature. For cavities with a small radius of curvature, the influence of fine structure on the resonance spectrum is important and unavoidable and should thus be taken into account.


title: Analytical Solutions for the Inverse Problem within Gradual Semantics

abstract: Gradual semantics within abstract argumentation associate a numeric score with every argument in a system, which represents the level of acceptability of this argument, and from which a preference ordering over arguments can be derived. While some semantics operate over standard argumentation frameworks, many utilise a weighted framework, where a numeric initial weight is associated with each argument. Recent work has examined the inverse problem within gradual semantics. Rather than determining a preference ordering given an argumentation framework and a semantics, the inverse problem takes an argumentation framework, a gradual semantics, and a preference ordering as inputs, and identifies what weights are needed to over arguments in the framework to obtain the desired preference ordering. Existing work has attacked the inverse problem numerically, using a root finding algorithm (the bisection method) to identify appropriate initial weights. In this paper we demonstrate that for a class of gradual semantics, an analytical approach can be used to solve the inverse problem. Unlike the current state-of-the-art, such an analytic approach can rapidly find a solution, and is guaranteed to do so. In obtaining this result, we are able to prove several important properties which previous work had posed as conjectures.


title: Remarks on the Large data global solutions of $3D$ RVP system and $3D$ RVM system

abstract: We show that the simplified $3D$ relativistic Vlasov-Maxwell (sRVM) system, in which there is no magnetic field, poses a global solution for a class of arbitrarily large cylindrically symmetric initial data. In particular, a vanishing order condition imposed on the initial data for the relativistic Vlasov-Poisson system (RVP) in Wang(2022) is not imposed for the sRVM system.


title: Manipulation of unknown objects via contact configuration regulation

abstract: We present an approach to robotic manipulation of unknown objects through regulation of the object's contact configuration: the location, geometry, and mode of all contacts between the object, robot, and environment. A contact configuration constrains the forces and motions that can be applied to the object; however, synthesizing these constraints generally requires knowledge of the object's pose and geometry. We develop an object-agnostic approach for estimation and control that circumvents this need. Our framework directly estimates a set of wrench and motion constraints which it uses to regulate the contact configuration. We use this to reactively manipulate unknown planar objects in the gravity plane. A video describing our work can be found on our project page: http://mcube.mit.edu/research/contactConfig.html.


title: Generalised symmetries and bases for Dunkl monogenics

abstract: We introduce a family of commuting generalised symmetries of the Dunkl--Dirac operator inspired by the Maxwell construction in harmonic analysis. We use these generalised symmetries to construct bases of the polynomial null-solutions of the Dunkl--Dirac operator. These polynomial spaces form representation spaces of the Dunkl--Dirac symmetry algebra. For the $\mathbb{Z}_2^d$ case, the results are compared with previous investigations.


title: Audio Self-supervised Learning: A Survey

abstract: Inspired by the humans' cognitive ability to generalise knowledge and skills, Self-Supervised Learning (SSL) targets at discovering general representations from large-scale data without requiring human annotations, which is an expensive and time consuming task. Its success in the fields of computer vision and natural language processing have prompted its recent adoption into the field of audio and speech processing. Comprehensive reviews summarising the knowledge in audio SSL are currently missing. To fill this gap, in the present work, we provide an overview of the SSL methods used for audio and speech processing applications. Herein, we also summarise the empirical works that exploit the audio modality in multi-modal SSL frameworks, and the existing suitable benchmarks to evaluate the power of SSL in the computer audition domain. Finally, we discuss some open problems and point out the future directions on the development of audio SSL.


title: The Green function for p-Laplace operators

abstract: On a bounded domain $\Omega \subset \mathbb{R}^N$, $N\geq 2$, we consider existence, uniqueness and "regularity" issues for the Green function $G_\lambda$ of the quasi-linear operator $u \to -\Delta_p u-\lambda |u|^{p-2}u$ with $1<p \leq N$, homogeneous Dirichlet boundary condition and $\lambda<\lambda_1$, where $\lambda_1>0$ is the first eigenvalue of $-\Delta_p$.


title: Container Localisation and Mass Estimation with an RGB-D Camera

abstract: In the research area of human-robot interactions, the automatic estimation of the mass of a container manipulated by a person leveraging only visual information is a challenging task. The main challenges consist of occlusions, different filling materials and lighting conditions. The mass of an object constitutes key information for the robot to correctly regulate the force required to grasp the container. We propose a single RGB-D camera-based method to locate a manipulated container and estimate its empty mass i.e., independently of the presence of the content. The method first automatically selects a number of candidate containers based on the distance with the fixed frontal view, then averages the mass predictions of a lightweight model to provide the final estimation. Results on the CORSMAL Containers Manipulation dataset show that the proposed method estimates empty container mass obtaining a score of 71.08% under different lighting or filling conditions.


title: Improvements in $L^2$ Restriction bounds for Neumann Data along Hypersurfaces

abstract: We seek to improve the restriction bounds of Neumann data of semiclassical Schr\"{o}dinger eigenfunctions $u_h$ considered by Christianson-Hassell-Toth \cite{CHT} and Tacy \cite{Tacy2} by studying the $L^2$ restriction bounds of eigenfunctions and their $L^2$ concentration as measured by defect measures. Let $\Gamma$ be a smooth hypersurface with unit exterior normal $\nu$. Our main result says that $\| h \partial_\nu u_{h} \|_{L^2(\Gamma)}=o(1)$ when $\{u_h\}$ is admissible.


title: End-to-End Simulation of 5G Networks Assisted by IRS and AF Relays

abstract: The high propagation and penetration loss experienced at millimeter wave (mmWave) frequencies requires ultra-dense deployments of 5th generation (5G) base stations, which may be infeasible and costly for network operators. Integrated Access and Backhaul (IAB) has been proposed to partially address this issue, even though raising concerns in terms of power consumption and scalability. Recently, the research community has been investigating Intelligent Reflective Surfaces (IRSs) and Amplify-and-Forward (AF) relays as more energy-efficient alternatives to solve coverage issues in 5G scenarios. Along these lines, this paper relies on a new simulation framework, based on ns-3, to simulate IRS/AF systems with a full-stack, end-to-end perspective, with considerations on to the impact of the channel model and the protocol stack of 5G NR networks. Our goal is to demonstrate whether these technologies can be used to relay 5G traffic requests and, if so, how to dimension IRS/AF nodes as a function of the number of end users.


title: Commensurability of lattices in right-angled buildings

abstract: Let $\Gamma$ be a graph product of finite groups, with finite underlying graph, and let $\Delta$ be the associated right-angled building. We prove that a uniform lattice $\Lambda$ in the cubical automorphism group Aut$(\Delta)$ is weakly commensurable to $\Gamma$ if and only if all convex subgroups of $\Lambda$ are separable. As a corollary, any two finite special cube complexes with universal cover $\Delta$ have a common finite cover. An important special case of our theorem is where $\Gamma$ is a right-angled Coxeter group and $\Delta$ is the associated Davis complex. We also obtain an analogous result for right-angled Artin groups. In addition, we deduce quasi-isometric rigidity for the group $\Gamma$ when $\Delta$ has the structure of a Fuchsian building.


title: Multi-Quantum Dark Solitons in One-Dimensional Bose Gas

abstract: Quantum and classical integrable systems share common mathematical structures, and the phenomena appearing in them are interrelated. Solitons, which universally appear in classical integrable systems, also appear in quantum integrable systems. Here, we consider quantum-classical correspondence in a one-dimensional Bose gas with repulsive delta-function interaction and present quantum states corresponding to multi-dark solitons. Using an exact method, we compute the time evolution of the density profile in the multi-quantum dark soliton states. Localized solitary waves that behave like classical dark solitons are observed in the density profile. We observe collisions of quantum dark solitons and show that they exhibit the properties of classical solitons: stability against scatterings and position shifts due to interactions.

categories: cond-mat.quant-gas cond-mat.stat-mech math-ph math.MP


title: A Quantitative Geometric Approach to Neural-Network Smoothness

abstract: Fast and precise Lipschitz constant estimation of neural networks is an important task for deep learning. Researchers have recently found an intrinsic trade-off between the accuracy and smoothness of neural networks, so training a network with a loose Lipschitz constant estimation imposes a strong regularization and can hurt the model accuracy significantly. In this work, we provide a unified theoretical framework, a quantitative geometric approach, to address the Lipschitz constant estimation. By adopting this framework, we can immediately obtain several theoretical results, including the computational hardness of Lipschitz constant estimation and its approximability. Furthermore, the quantitative geometric perspective can also provide some insights into recent empirical observations that techniques for one norm do not usually transfer to another one. We also implement the algorithms induced from this quantitative geometric approach in a tool GeoLIP. These algorithms are based on semidefinite programming (SDP). Our empirical evaluation demonstrates that GeoLIP is more scalable and precise than existing tools on Lipschitz constant estimation for $\ell_\infty$-perturbations. Furthermore, we also show its intricate relations with other recent SDP-based techniques, both theoretically and empirically. We believe that this unified quantitative geometric perspective can bring new insights and theoretical tools to the investigation of neural-network smoothness and robustness.


title: Truthful Online Scheduling of Cloud Workloads under Uncertainty

abstract: Cloud computing customers often submit repeating jobs and computation pipelines on \emph{approximately} regular schedules, with arrival and running times that exhibit variance. This pattern, typical of training tasks in machine learning, allows customers to partially predict future job requirements. We develop a model of cloud computing platforms that receive statements of work (SoWs) in an online fashion. The SoWs describe future jobs whose arrival times and durations are probabilistic, and whose utility to the submitting agents declines with completion time. The arrival and duration distributions, as well as the utility functions, are considered private customer information and are reported by strategic agents to a scheduler that is optimizing for social welfare. We design pricing, scheduling, and eviction mechanisms that incentivize truthful reporting of SoWs. An important challenge is maintaining incentives despite the possibility of the platform becoming saturated. We introduce a framework to reduce scheduling under uncertainty to a relaxed scheduling problem without uncertainty. Using this framework, we tackle both adversarial and stochastic submissions of statements of work, and obtain logarithmic and constant competitive mechanisms, respectively.


title: Towards Efficient and Stable K-Asynchronous Federated Learning with Unbounded Stale Gradients on Non-IID Data

abstract: Federated learning (FL) is an emerging privacy-preserving paradigm that enables multiple participants collaboratively to train a global model without uploading raw data. Considering heterogeneous computing and communication capabilities of different participants, asynchronous FL can avoid the stragglers effect in synchronous FL and adapts to scenarios with vast participants. Both staleness and non-IID data in asynchronous FL would reduce the model utility. However, there exists an inherent contradiction between the solutions to the two problems. That is, mitigating the staleness requires to select less but consistent gradients while coping with non-IID data demands more comprehensive gradients. To address the dilemma, this paper proposes a two-stage weighted $K$ asynchronous FL with adaptive learning rate (WKAFL). By selecting consistent gradients and adjusting learning rate adaptively, WKAFL utilizes stale gradients and mitigates the impact of non-IID data, which can achieve multifaceted enhancement in training speed, prediction accuracy and training stability. We also present the convergence analysis for WKAFL under the assumption of unbounded staleness to understand the impact of staleness and non-IID data. Experiments implemented on both benchmark and synthetic FL datasets show that WKAFL has better overall performance compared to existing algorithms.


title: Mukayese: Turkish NLP Strikes Back

abstract: Having sufficient resources for language X lifts it from the under-resourced languages class, but not necessarily from the under-researched class. In this paper, we address the problem of the absence of organized benchmarks in the Turkish language. We demonstrate that languages such as Turkish are left behind the state-of-the-art in NLP applications. As a solution, we present Mukayese, a set of NLP benchmarks for the Turkish language that contains several NLP tasks. We work on one or more datasets for each benchmark and present two or more baselines. Moreover, we present four new benchmarking datasets in Turkish for language modeling, sentence segmentation, and spell checking. All datasets and baselines are available under: https://github.com/alisafaya/mukayese


title: A Simple and Universal Rotation Equivariant Point-cloud Network

abstract: Equivariance to permutations and rigid motions is an important inductive bias for various 3D learning problems. Recently it has been shown that the equivariant Tensor Field Network architecture is universal -- it can approximate any equivariant function. In this paper we suggest a much simpler architecture, prove that it enjoys the same universality guarantees and evaluate its performance on Modelnet40. The code to reproduce our experiments is available at \url{https://github.com/simpleinvariance/UniversalNetwork}


title: Hybrid Tracker with Pixel and Instance for Video Panoptic Segmentation

abstract: Video Panoptic Segmentation (VPS) aims to generate coherent panoptic segmentation and track the identities of all pixels across video frames. Existing methods predominantly utilize the trained instance embedding to keep the consistency of panoptic segmentation. However, they inevitably struggle to cope with the challenges of small objects, similar appearance but inconsistent identities, occlusion, and strong instance contour deformations. To address these problems, we present HybridTracker, a lightweight and joint tracking model attempting to eliminate the limitations of the single tracker. HybridTracker performs pixel tracker and instance tracker in parallel to obtain the association matrices, which are fused into a matching matrix. In the instance tracker, we design a differentiable matching layer, ensuring the stability of inter-frame matching. In the pixel tracker, we compute the dice coefficient of the same instance of different frames given the estimated optical flow, forming the Intersection Over Union (IoU) matrix. We additionally propose mutual check and temporal consistency constraints during inference to settle the occlusion and contour deformation challenges. Comprehensive experiments show that HybridTracker achieves superior performance than state-of-the-art methods on Cityscapes-VPS and VIPER datasets.


title: Learning Conditional Variational Autoencoders with Missing Covariates

abstract: Conditional variational autoencoders (CVAEs) are versatile deep generative models that extend the standard VAE framework by conditioning the generative model with auxiliary covariates. The original CVAE model assumes that the data samples are independent, whereas more recent conditional VAE models, such as the Gaussian process (GP) prior VAEs, can account for complex correlation structures across all data samples. While several methods have been proposed to learn standard VAEs from partially observed datasets, these methods fall short for conditional VAEs. In this work, we propose a method to learn conditional VAEs from datasets in which auxiliary covariates can contain missing values as well. The proposed method augments the conditional VAEs with a prior distribution for the missing covariates and estimates their posterior using amortised variational inference. At training time, our method marginalises the uncertainty associated with the missing covariates while simultaneously maximising the evidence lower bound. We develop computationally efficient methods to learn CVAEs and GP prior VAEs that are compatible with mini-batching. Our experiments on simulated datasets as well as on a clinical trial study show that the proposed method outperforms previous methods in learning conditional VAEs from non-temporal, temporal, and longitudinal datasets.


title: Are Latent Factor Regression and Sparse Regression Adequate?

abstract: We propose the Factor Augmented sparse linear Regression Model (FARM) that not only encompasses both the latent factor regression and sparse linear regression as special cases but also bridges dimension reduction and sparse regression together. We provide theoretical guarantees for the estimation of our model under the existence of sub-Gaussian and heavy-tailed noises (with bounded (1+x)-th moment, for all x>0), respectively. In addition, the existing works on supervised learning often assume the latent factor regression or the sparse linear regression is the true underlying model without justifying its adequacy. To fill in such an important gap, we also leverage our model as the alternative model to test the sufficiency of the latent factor regression and the sparse linear regression models. To accomplish these goals, we propose the Factor-Adjusted de-Biased Test (FabTest) and a two-stage ANOVA type test respectively. We also conduct large-scale numerical experiments including both synthetic and FRED macroeconomics data to corroborate the theoretical properties of our methods. Numerical results illustrate the robustness and effectiveness of our model against latent factor regression and sparse linear regression models.


title: Time-frequency as quantum continuous variables

abstract: We present a second quantization description of frequency-based continuous variables quantum computation in the subspace of single photons. For this, we define frequency and time operators using the free field Hamiltonian and its Fourier transform, and show that these observables, when restricted to the one photon per mode subspace, reproduce the canonical position-momentum commutation relations. As a consequence, frequency and time operators can be used to define a universal set of gates in this particular subspace. We discuss the physical implementation of these gates as well as their effect on single photon states, and show that frequency and time variables can also be used to implement continuous variables quantum information protocols, in the same way than polarization is currently used as a two-dimensional quantum variable.


title: The importance of horizontal Poynting flux in the solar photosphere

abstract: The electromagnetic energy flux in the lower atmosphere of the Sun is a key tool to describe the energy balance of the solar atmosphere. Current investigations on energy flux in the solar atmosphere focus primarily on the vertical electromagnetic flux through the photosphere, ignoring the Poynting flux in other directions and its possible contributions to local heating. Based on a realistic Bifrost simulation of a quiet-Sun (coronal hole) atmosphere, we find that the total electromagnetic energy flux in the photosphere occurs mainly parallel to the photosphere, concentrating in small regions along intergranular lanes. Thereby, it was possible to define a proxy for this energy flux based on only variables that can be promptly retrieved from observations, namely, horizontal velocities of the small-scale magnetic elements and their longitudinal magnetic flux. Our proxy accurately describes the actual Poynting flux distribution in the simulations, with the electromagnetic energy flux reaching $10^{10}$ erg\,cm$^{-2}$\,s$^{-1}$. To validate our findings, we extended the analysis to SUNRISE/IMaX data. First, we show that Bifrost realistically describes photospheric quiet-Sun regions, as the simulation presents similar distributions for line-of-sight magnetic flux and horizontal velocity field. Second, we found very similar horizontal Poynting flux proxy distributions for the simulated photosphere and observational data. Our results also indicate that the horizontal Poynting flux in the observations is considerably larger than the vertical electromagnetic flux from previous observational estimates. Therefore, our analysis confirms that the electromagnetic energy flux in the photosphere is mainly horizontal and is most intense in localized regions along intergranular lanes.


title: Chance-Constrained Iterative Linear-Quadratic Stochastic Games

abstract: Dynamic game arises as a powerful paradigm for multi-robot planning, for which safety constraint satisfaction is crucial. Constrained stochastic games are of particular interest, as real-world robots need to operate and satisfy constraints under uncertainty. Existing methods for solving stochastic games handle chance constraints using exponential penalties with hand-tuned weights. However, finding a suitable penalty weight is nontrivial and requires trial and error. In this paper, we propose the chance-constrained iterative linear-quadratic stochastic games (CCILQGames) algorithm. CCILQGames solves chance-constrained stochastic games using the augmented Lagrangian method. We evaluate our algorithm in three autonomous driving scenarios, including merge, intersection, and roundabout. Experimental results and Monte Carlo tests show that CCILQGames can generate safe and interactive strategies in stochastic environments.


title: Metric limits of manifolds with positive scalar curvature

abstract: We show that any Riemannian metric conformal to the round metric on $S^n$, for $n\geq 4$, arises as a limit of a sequence of Riemannian metrics of positive scalar curvature on $S^n$ in the sense of uniform convergence of Riemannian distance. In particular, non-negativity of scalar curvature is not preserved under such limits.


title: Hydrogen-bonded aggregates in the mixtures of piperidine with water: thermodynamic, SANS and theoretical studies

abstract: Structures resembling semiclathrates probably arise in liquid aqueous solutions of piperidine at the amine mole fraction below 0.03. With the increasing concentration, the structures gradually decay, but the 1:1 complexes of piperidine with water remain linked one to another through the O-H...O bonds between the hydration water molecules. A periodic order of the bicontinuous microemulsion type occurs in the range of the mole fractions from 0.08 to 0.5. In the piperidine-rich mixtures, the 1:1 complexes are dispersed uniformly in the amine. Relatively low stabilization energy of these complexes probably causes that piperidine is totally miscible with water.


title: Video Question Answering: Datasets, Algorithms and Challenges

abstract: Video Question Answering (VideoQA) aims to answer natural language questions according to the given videos. It has earned increasing attention with recent research trends in joint vision and language understanding. Yet, compared with ImageQA, VideoQA is largely underexplored and progresses slowly. Although different algorithms have continually been proposed and shown success on different VideoQA datasets, we find that there lacks a meaningful survey to categorize them, which seriously impedes its advancements. This paper thus provides a clear taxonomy and comprehensive analyses to VideoQA, focusing on the datasets, algorithms, and unique challenges. We then point out the research trend of studying beyond factoid QA to inference QA towards the cognition of video contents, Finally, we conclude some promising directions for future exploration.


title: Competing instabilities of the extended Hubbard model on the triangular lattice: Truncated-unity functional renormalization group and application to moir\'e materials

abstract: A simple yet paradigmatic model for the interplay of strong electronic correlations and geometric frustration is the triangular lattice Hubbard model. Recently it was proposed that moir\'e structures of transition metal dichalcogenides can be used to simulate extended versions that include non-local density-density interactions. We study competing instabilities of interacting electrons in such an extended Hubbard model on the triangular lattice near a filling where the density of states has a Van Hove singularity. We employ a truncated-unity functional renormalization group approach to investigate two cases: a paradigmatic minimally extended Hubbard model and a specific model with parameters that are applicable to hetero-bilayers of transition metal dichalcogenides. We unravel rich phase diagrams, including tendencies to spin-density-wave order and unconventional pairing, which can give rise to topological superconductivity. We classify the symmetry of the superconducting instabilities according to their irreducible representations and show that higher lattice harmonics are dominant when the nearest-neighbor interaction is sizable indicating pair formation between second-nearest neighbors. The phenomenological consequences can be enhanced spin and thermal quantum Hall responses in a topological superconductor.


title: Understanding the Sources of Error in MBAR through Asymptotic Analysis

abstract: Multiple sampling strategies commonly used in molecular dynamics, such as umbrella sampling and alchemical free energy methods, involve sampling from multiple thermodynamic states. Commonly, the data are then recombined to construct estimates of free energies and ensemble averages using the Multistate Bennett Acceptance Ratio (MBAR) formalism. However, the error of the MBAR estimator is not well-understood: previous error analysis of MBAR assumed independent samples and did not permit attributing contributions to the total error to individual thermodynamic states. In this work, we derive a novel central limit theorem for MBAR estimates. This central limit theorem yields an error estimator which can be decomposed into contributions from the individual Markov chains used to sample the states. We demonstrate the error estimator for an umbrella sampling calculation of the alanine dipeptide in two dimensions and an alchemical calculation of the hydration free energy of methane. In both cases, the states' individual contributions to the error provide insight into the sources of error of the simulations. Our numerical results demonstrate that the time required for the Markov chain to decorrelate in individual thermodynamic states contributes considerably to the total MBAR error. Moreover, they indicate that it may be possible to use the contributions to tune the sampling and improve the accuracy of MBAR calculations.


title: Estimating average causal effects from patient trajectories

abstract: In medical practice, treatments are selected based on the expected causal effects on patient outcomes. Here, the gold standard for estimating causal effects are randomized controlled trials; however, such trials are costly and sometimes even unethical. Instead, medical practice is increasingly interested in estimating causal effects among patient (sub)groups from electronic health records, that is, observational data. In this paper, we aim at estimating the average causal effect (ACE) from observational data (patient trajectories) that are collected over time. For this, we propose DeepACE: an end-to-end deep learning model. DeepACE leverages the iterative G-computation formula to adjust for the bias induced by time-varying confounders. Moreover, we develop a novel sequential targeting procedure which ensures that DeepACE has favorable theoretical properties, i.e., is doubly robust and asymptotically efficient. To the best of our knowledge, this is the first work that proposes an end-to-end deep learning model tailored for estimating time-varying ACEs. We compare DeepACE in an extensive number of experiments, confirming that it achieves state-of-the-art performance. We further provide a case study for patients suffering from low back pain to demonstrate that DeepACE generates important and meaningful findings for clinical practice. Our work enables practitioners to develop effective treatment recommendations based on population effects.


title: On the application of generative adversarial networks for nonlinear modal analysis

abstract: Linear modal analysis is a useful and effective tool for the design and analysis of structures. However, a comprehensive basis for nonlinear modal analysis remains to be developed. In the current work, a machine learning scheme is proposed with a view to performing nonlinear modal analysis. The scheme is focussed on defining a one-to-one mapping from a latent `modal' space to the natural coordinate space, whilst also imposing orthogonality of the mode shapes. The mapping is achieved via the use of the recently-developed cycle-consistent generative adversarial network (cycle-GAN) and an assembly of neural networks targeted on maintaining the desired orthogonality. The method is tested on simulated data from structures with cubic nonlinearities and different numbers of degrees of freedom, and also on data from an experimental three-degree-of-freedom set-up with a column-bumper nonlinearity. The results reveal the method's efficiency in separating the `modes'. The method also provides a nonlinear superposition function, which in most cases has very good accuracy.


title: Pattern-Selective Feedback Stabilization of Ginzburg--Landau Spiral Waves

abstract: The complex Ginzburg--Landau equation serves as a paradigm of pattern formation and the existence and stability properties of Ginzburg--Landau $m$-armed spiral waves have been investigated extensively. However, many multi-armed spiral waves are unstable and thereby rarely visible in experiments and numerical simulations. In this article we selectively stabilize certain significant classes of unstable spiral waves within circular and spherical geometries. As a result, stable spiral waves with an arbitrary number of arms are obtained for the first time. Our tool for stabilization is the symmetry-breaking control triple method, which is an equivariant generalization of the widely applied Pyragas control to the setting of PDEs.


title: Differentiable Iterated Function Systems

abstract: This preliminary paper presents initial explorations in rendering Iterated Function System (IFS) fractals using a differentiable rendering pipeline. Differentiable rendering is a recent innovation at the intersection of computer graphics and machine learning. A fractal rendering pipeline composed of differentiable operations opens up many possibilities for generating fractals that meet particular criteria. In this paper I demonstrate this pipeline by generating IFS fractals with fixed points that resemble a given target image - a famous problem known as the \emph{inverse IFS problem}. The main contributions of this work are as follows: 1) I demonstrate (and make code available) this rendering pipeline; 2) I discuss some of the nuances and pitfalls in gradient-descent-based optimization over fractal structures; 3) I discuss best practices to address some of these pitfalls; and finally 4) I discuss directions for further experiments to validate the technique.


title: Real structures on complex algebraic varieties with a reductive group action

abstract: This is a survey article devoted to the study of real structures on complex algebraic varieties endowed with a reductive group action.


title: Optimal Defaults, Limited Enforcement and the Regulation of Contracts

abstract: We study how governments promote social welfare through the design of contracting environments. We model the regulation of contracting as default delegation: the government chooses a delegation set of contract terms it is willing to enforce, and influences the default terms that serve as outside options in parties' negotiations. Our analysis shows that limiting the delegation set principally mitigates externalities, while default terms primarily achieve distributional objectives. Applying our model to the regulation of labor contracts, we derive comparative statics on the optimal default delegation policy. As equity concerns or externalities increase, in-kind support for workers increases (e.g. through benefits requirements and public health insurance). Meanwhile, when worker bargaining power decreases away from parity, support for workers increases in cash (e.g. through cash transfers and minimum wage laws).


title: Dynamical analysis of logarithmic energy-momentum squared gravity

abstract: We perform the dynamical system analysis of a cosmological model in the energy-momentum squared gravity (EMSG) of the form $f(T_{\mu\nu}T^{\mu\nu})=\alpha\ln({\lambda}T_{\mu\nu} T^{\mu\nu})$, which is known as energy-momentum log gravity (EMLG). In particular, we show that the analytical cosmological solution of EMLG presented by Akarsu {\it et al.} (Eur. Phys. J. C 79:846, 2019) is a future attractor. It includes new terms in the right-hand side of the Einstein field equations, which yield constant inertial mass density and provide a dynamical dark energy with a density passing below zero at large redshifts, accommodating a mechanism for screening $\Lambda$ in the past, suggested for alleviating some cosmological tensions. We show that the model gives rise to an entire class of new stable late-time solutions with $H\rightarrow\sqrt{(\Lambda+2\alpha)/3}$ as $a\rightarrow\infty$, where the new term is due to the constant effective inertial mass density that arises from EMLG contribution of dust, whereas $H\rightarrow\sqrt{\Lambda/3}$ as $a\rightarrow\infty$ in the $\Lambda$CDM model. We also show existence of new interesting features and trajectories that are absent in the $\Lambda$CDM model.


title: Is Our Research Productivity In Decline? A New Approach in Resolving the Controversy

abstract: This contribution examines the current controversy over research productivity. There are two sides in this controversy. Using extensive data from several industries and areas of research, one side argues that research productivity is currently in decline. The other side disputes this conclusion. It contends that the data used in making this argument are selective and limited; they do not reflect the overall state of research. The conclusion that follows from this critique is that the indicators of research productivity we currently use are not reliable and do not warrant a definitive answer to the problem. The article agrees that we need a new set of indicators in assessing research productivity. It proposes that we should look at global indicators related to knowledge production in general, rather than look at selective data that are inevitably limited in their scope. The article argues that the process of creation plays the essential role in knowledge production. Therefore, the perspective that uses the process of creation as its central organizing principle offers a unique and global view on the production of knowledge and makes a definitive resolution of the controversy possible. The article also outlines some steps for improving research productivity and realizing the full potential of the human capacity to produce knowledge. Key words: Research productivity, knowledge growth, the process of creation, levels of organization, equilibration and the production of disequilibrium.


title: Convolutional neural networks as an alternative to Bayesian retrievals

abstract: Exoplanet observations are currently analysed with Bayesian retrieval techniques. Due to the computational load of the models used, a compromise is needed between model complexity and computing time. Analysis of data from future facilities, will need more complex models which will increase the computational load of retrievals, prompting the search for a faster approach for interpreting exoplanet observations. Our goal is to compare machine learning retrievals of exoplanet transmission spectra with nested sampling, and understand if machine learning can be as reliable as Bayesian retrievals for a statistically significant sample of spectra while being orders of magnitude faster. We generate grids of synthetic transmission spectra and their corresponding planetary and atmospheric parameters, one using free chemistry models, and the other using equilibrium chemistry models. Each grid is subsequently rebinned to simulate both HST/WFC3 and JWST/NIRSpec observations, yielding four datasets in total. Convolutional neural networks (CNNs) are trained with each of the datasets. We perform retrievals on a 1,000 simulated observations for each combination of model type and instrument with nested sampling and machine learning. We also use both methods to perform retrievals on real WFC3 transmission spectra. Finally, we test how robust machine learning and nested sampling are against incorrect assumptions in our models. CNNs reach a lower coefficient of determination between predicted and true values of the parameters. Nested sampling underestimates the uncertainty in ~8% of retrievals, whereas CNNs estimate them correctly. For real WFC3 observations, nested sampling and machine learning agree within $2\sigma$ for ~86% of spectra. When doing retrievals with incorrect assumptions, nested sampling underestimates the uncertainty in ~12% to ~41% of cases, whereas this is always below ~10% for the CNN.


title: Paraconsistent G\"{o}del modal logic

abstract: We introduce a~paraconsistent modal logic $\mathbf{K}\mathsf{G}^2$, based on G\"{o}del logic with coimplication (bi-G\"{o}del logic) expanded with a De Morgan negation $\neg$. We use the logic to formalise reasoning with graded, incomplete and inconsistent information. Semantics of $\mathbf{K}\mathsf{G}^2$ is two-dimensional: we interpret $\mathbf{K}\mathsf{G}^2$ on crisp frames with two valuations $v_1$ and $v_2$, connected via $\neg$, that assign to each formula two values from the real-valued interval $[0,1]$. The first (resp., second) valuation encodes the positive (resp., negative) information the state gives to a~statement. We obtain that $\mathbf{K}\mathsf{G}^2$ is strictly more expressive than the classical modal logic $\mathbf{K}$ by proving that finitely branching frames are definable and by establishing a faithful embedding of $\mathbf{K}$ into $\mathbf{K}\mathsf{G}^2$. We also construct a~constraint tableau calculus for $\mathbf{K}\mathsf{G}^2$ over finitely branching frames, establish its decidability and provide a~complexity evaluation.


title: On the Optimization Landscape of Neural Collapse under MSE Loss: Global Optimality with Unconstrained Features

abstract: When training deep neural networks for classification tasks, an intriguing empirical phenomenon has been widely observed in the last-layer classifiers and features, where (i) the class means and the last-layer classifiers all collapse to the vertices of a Simplex Equiangular Tight Frame (ETF) up to scaling, and (ii) cross-example within-class variability of last-layer activations collapses to zero. This phenomenon is called Neural Collapse (NC), which seems to take place regardless of the choice of loss functions. In this work, we justify NC under the mean squared error (MSE) loss, where recent empirical evidence shows that it performs comparably or even better than the de-facto cross-entropy loss. Under a simplified unconstrained feature model, we provide the first global landscape analysis for vanilla nonconvex MSE loss and show that the (only!) global minimizers are neural collapse solutions, while all other critical points are strict saddles whose Hessian exhibit negative curvature directions. Furthermore, we justify the usage of rescaled MSE loss by probing the optimization landscape around the NC solutions, showing that the landscape can be improved by tuning the rescaling hyperparameters. Finally, our theoretical findings are experimentally verified on practical network architectures.

categories: cs.LG cs.AI cs.IT math.IT math.OC stat.ML


title: Electron driven reactive processes involving H$^+_2$ and HD$^+$ molecular cations in the Early Universe

abstract: We describe the major low-energy electron-impact processes involving H$^+_2$ and HD$^+$, relevant for the astrochemistry of the early Universe: Dissociative recombination, elastic, inelastic and superelastic scattering. We report cross sections and Maxwellian rate coefficients of both rotational and vibrational transitions, and outline several important features, like isotopic, rotational and resonant effects.


title: Suppression of bacterial rheotaxis in wavy channels

abstract: Controlling the swimming behavior of bacteria is crucial, for example, to prevent contamination of ducts and catheters. We show the bacteria modeled by deformable microswimmers can accumulate in flows through straight microchannels either in their center or on previously unknown attractors near the channel walls. We predict a novel resonance effect for semiflexible microswimmers in flows through wavy microchannels. As a result, microswimmers can be deflected in a controlled manner so that they swim in modulated channels distributed over the channel cross-section rather than localized near the wall or the channel center. Thus, depending on the flow amplitude, both upstream orientation of swimmers and their accumulation at the boundaries which can lead to surface rheotaxis are suppressed. Our results suggest new strategies for controlling the behavior of live and synthetic swimmers in microchannels.


title: Coresets remembered and items forgotten: submodular maximization with deletions

abstract: In recent years we have witnessed an increase on the development of methods for submodular optimization, which have been motivated by the wide applicability of submodular functions in real-world data-science problems. In this paper, we contribute to this line of work by considering the problem of robust submodular maximization against unexpected deletions, which may occur due to privacy issues or user preferences. Specifically, we consider the minimum number of items an algorithm has to remember, in order to achieve a non-trivial approximation guarantee against adversarial deletion of up to $d$ items. We refer to the set of items that an algorithm has to keep before adversarial deletions as a deletion-robust coreset. Our theoretical contributions are two-fold. First, we propose a single-pass streaming algorithm that yields a $(1-2\epsilon)/(4p)$-approximation for maximizing a non-decreasing submodular function under a general p-matroid constraint and requires a coreset of size $k + d/\epsilon$, where $k$ is the maximum size of a feasible solution. To the best of our knowledge, this is the first work to achieve an (asymptotically) optimal coreset, as no constant-factor approximation is possible with a coreset of size sublinear in $d$. Second, we devise an effective offline algorithm that guarantees stronger approximation ratios with a coreset of size $O(d \log(k)/\epsilon)$. We also demonstrate the superior empirical performance of the proposed algorithms in real-life applications.


title: Quench-drive spectroscopy of cuprates

abstract: Cuprates are d-wave superconductors which exhibit a rich phase diagram: they are characterized by superconducting fluctuations even above the critical temperature, and thermal disorder can reduce or suppress the phase coherence. However, photoexcitation can have the opposite effect: recent experiments have shown an increasing phase coherence in optimally doped BSCCO with mid-infrared driving. Time-resolved terahertz spectroscopies are powerful techniques to excite and probe non-equilibrium states of superconductors, directly addressing collective modes, such as amplitude (Higgs) oscillations. In this work, we calculate the full time evolution of the current generated by a cuprate with a quench-drive spectroscopy setup. Analyzing the response in Fourier space with respect to both the real time and the quench-drive delay time, we look for the signature of a transient modulation of higher harmonics as well as the Higgs mode, in order to characterize the ground state phase. In particular, this approach can provide a smoking gun for induced or increased phase coherence when applied to the pseudogap phase. These results can pave the way for future experimental schemes to characterize and study superconductors alongside incoherent phases and phase transitions, including induced and transient superconductivity.


title: Flow-based density of states for complex actions

abstract: Emerging sampling algorithms based on normalizing flows have the potential to solve ergodicity problems in lattice calculations. Furthermore, it has been noted that flows can be used to compute thermodynamic quantities which are difficult to access with traditional methods. This suggests that they are also applicable to the density-of-states approach to complex action problems. In particular, flow-based sampling may be used to compute the density directly, in contradistinction to the conventional strategy of reconstructing it via measuring and integrating the derivative of its logarithm. By circumventing this procedure, the accumulation of errors from the numerical integration is avoided completely and the overall normalization factor can be determined explicitly. In this proof-of-principle study, we demonstrate our method in the context of two-component scalar field theory where the $O(2)$ symmetry is explicitly broken by an imaginary external field. First, we concentrate on the zero-dimensional case which can be solved exactly. We show that with our method, the Lee-Yang zeroes of the associated partition function can be successfully located. Subsequently, we confirm that the flow-based approach correctly reproduces the density computed with conventional methods in one- and two-dimensional models.


title: The Physical Significance of Imaginary Phonon Modes in Crystals

abstract: The lattice vibrations (phonon modes) of crystals underpin a large number of material properties. The harmonic phonon spectrum of a solid is the simplest description of its structural dynamics and can be straightforwardly derived from the Hellman-Feynman forces obtained in a ground-state electronic structure calculation. The presence of imaginary harmonic modes in the spectrum indicates that a structure is a local maximum on the athermal structural potential-energy surface and can yield important insight into the fundamental nature and physical properties of a material. In this review article, we discuss the physical significance of imaginary harmonic modes and distinguish between cases where imaginary modes are indicative of such phenomena, and those where they reflect technical problems in the calculations. We outline basic approaches for exploring and renormalising imaginary modes, and demonstrate their utility through a set of three case studies in the materials sciences.


title: QED and Lasers: A Tutorial

abstract: This is a write-up of a short tutorial talk on high-intensity QED, video-presented at the 2021 annual Christmas meeting of the Central Laser Facility at Rutherford-Appleton Lab, UK. The first half consists of a largely historical introduction to (quantum) electrodynamics focussing on a few key concepts. This well-established theory is then compared to its strong-field generalisation when a high-intensity laser is present. Some supplementary material and a fair amount of references have been added.


title: Estimating Elliptic Flow Coefficient in Heavy Ion Collisions using Deep Learning

abstract: Machine Learning (ML) techniques have been employed for the high energy physics (HEP) community since the early 80s to deal with a broad spectrum of problems. This work explores the prospects of using Deep Learning techniques to estimate elliptic flow ($v_2$) in heavy-ion collisions at the RHIC and LHC energies. A novel method is developed to process the input observables from particle kinematic information. The proposed DNN model is trained with Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 5.02$ TeV minimum bias events simulated with AMPT model. The predictions from the ML technique are compared to both simulation and experiment. The Deep Learning model seems to preserve the centrality and energy dependence of $v_2$ for the LHC and RHIC energies. The DNN model is also quite successful in predicting the $p_{\rm T}$ dependence of $v_2$. When subjected to event simulation with additional noise, the proposed DNN model still keeps the robustness and prediction accuracy intact up to a reasonable extent.


title: H4D: Human 4D Modeling by Learning Neural Compositional Representation

abstract: Despite the impressive results achieved by deep learning based 3D reconstruction, the techniques of directly learning to model 4D human captures with detailed geometry have been less studied. This work presents a novel framework that can effectively learn a compact and compositional representation for dynamic human by exploiting the human body prior from the widely used SMPL parametric model. Particularly, our representation, named H4D, represents a dynamic 3D human over a temporal span with the SMPL parameters of shape and initial pose, and latent codes encoding motion and auxiliary information. A simple yet effective linear motion model is proposed to provide a rough and regularized motion estimation, followed by per-frame compensation for pose and geometry details with the residual encoded in the auxiliary code. Technically, we introduce novel GRU-based architectures to facilitate learning and improve the representation capability. Extensive experiments demonstrate our method is not only efficacy in recovering dynamic human with accurate motion and detailed geometry, but also amenable to various 4D human related tasks, including motion retargeting, motion completion and future prediction. Please check out the project page for video and code: https://boyanjiang.github.io/H4D/.


title: WaveY-Net: Physics-augmented deep learning for high-speed electromagnetic simulation and optimization

abstract: The calculation of electromagnetic field distributions within structured media is central to the optimization and validation of photonic devices. We introduce WaveY-Net, a hybrid data- and physics-augmented convolutional neural network that can predict electromagnetic field distributions with ultra fast speeds and high accuracy for entire classes of dielectric photonic structures. This accuracy is achieved by training the neural network to learn only the magnetic near-field distributions of a system and to use a discrete formalism of Maxwell's equations in two ways: as physical constraints in the loss function and as a means to calculate the electric fields from the magnetic fields. As a model system, we construct a surrogate simulator for periodic silicon nanostructure arrays and show that the high speed simulator can be directly and effectively used in the local and global freeform optimization of metagratings. We anticipate that physics-augmented networks will serve as a viable Maxwell simulator replacement for many classes of photonic systems, transforming the way they are designed.


title: Periodic striped states in Ising models with dipolar interactions

abstract: We review the problem of determining the ground states of 2D Ising models with nearest neighbor ferromagnetic and dipolar interactions, and prove a new result supporting the conjecture that, if the nearest neighbor coupling $J$ is sufficiently large, the ground states are periodic and `striped'. More precisely, we prove a restricted version of the conjecture, by constructing the minimizers within the variational class of states whose domain walls are arbitrary collections of horizontal and/or vertical straight lines.


title: Mass concentration in rescaled first order integral functionals

abstract: We consider first order local minimization problems of the form $\min \int_{\mathbb{R}^N}f(u,\nabla u)$ under a mass constraint $\int_{\mathbb{R}^N}u=m$. We prove that the minimal energy function $H(m)$ is always concave, and that relevant rescalings of the energy, depending on a small parameter $\varepsilon$, $\Gamma$-converge towards the $H$-mass, defined for atomic measures $\sum_i m_i\delta_{x_i}$ as $\sum_i H(m_i)$. We also consider Lagrangians depending on $\varepsilon$, as well as space-inhomogeneous Lagrangians and $H$-masses. Our result holds under mild assumptions on $f$, and covers in particular $\alpha$-masses in any dimension $N\geq 2$ for exponents $\alpha$ above a critical threshold, and all concave $H$-masses in dimension $N=1$. Our result yields in particular the concentration of Cahn-Hilliard fluids into droplets, and is related to the approximation of branched transport by elliptic energies.


title: Sharp phase transition for Cox percolation

abstract: We prove the sharpness of the percolation phase transition for a class of Cox percolation models, i.e., models of continuum percolation in a random environment. The key requirements are that the environment has a finite range of dependence and satisfies a local boundedness condition, however the FKG inequality need not hold. The proof combines the OSSS inequality with a coarse-graining construction.


title: A Unified Query-based Paradigm for Point Cloud Understanding

abstract: 3D point cloud understanding is an important component in autonomous driving and robotics. In this paper, we present a novel Embedding-Querying paradigm (EQ- Paradigm) for 3D understanding tasks including detection, segmentation, and classification. EQ-Paradigm is a unified paradigm that enables the combination of any existing 3D backbone architectures with different task heads. Under the EQ-Paradigm, the input is firstly encoded in the embedding stage with an arbitrary feature extraction architecture, which is independent of tasks and heads. Then, the querying stage enables the encoded features to be applicable for diverse task heads. This is achieved by introducing an intermediate representation, i.e., Q-representation, in the querying stage to serve as a bridge between the embedding stage and task heads. We design a novel Q- Net as the querying stage network. Extensive experimental results on various 3D tasks, including object detection, semantic segmentation and shape classification, show that EQ-Paradigm in tandem with Q-Net is a general and effective pipeline, which enables a flexible collaboration of backbones and heads, and further boosts the performance of the state-of-the-art methods. Codes and models are available at https://github.com/dvlab-research/DeepVision3D.


title: Modifying the Dyson Series for Unstable Particles and Resonances

abstract: In this work, we introduce a modification of the Dyson series based on the perturbative unitarity as a starting point. The presented approach systematically avoids singularities and double-counting related to the presence of unstable particles as intermediate states and, at the same time, it does not rely on a specific choice of the renormalization scheme.


title: Rings and arcs around evolved stars -- III. Physical conditions of the ring-like structures in the planetary nebula IC 4406 revealed by MUSE

abstract: We present the analysis of Very Large Telescope (VLT) Multi Unit Spectroscopic Explorer (MUSE) observations of the planetary nebula (PN) IC 4406. MUSE images in key emission lines are used to unveil the presence of at least 5 ring-like structures North and South of the main nebula of IC 4406. MUSE spectra are extracted from the rings to unambiguously assess for the first time in a PN their physical conditions, electron density (ne) and temperature (Te). The rings are found to have similar Te than the rim of the main nebula, but smaller ne. Ratios between different ionic species suggest that the rings of IC 4406 have a lower ionization state than the main cavity, in contrast to what was suggested for the rings in NGC6543, the Cat's Eye Nebula.


title: Low-Degree Multicalibration

abstract: Introduced as a notion of algorithmic fairness, multicalibration has proved to be a powerful and versatile concept with implications far beyond its original intent. This stringent notion -- that predictions be well-calibrated across a rich class of intersecting subpopulations -- provides its strong guarantees at a cost: the computational and sample complexity of learning multicalibrated predictors are high, and grow exponentially with the number of class labels. In contrast, the relaxed notion of multiaccuracy can be achieved more efficiently, yet many of the most desirable properties of multicalibration cannot be guaranteed assuming multiaccuracy alone. This tension raises a key question: Can we learn predictors with multicalibration-style guarantees at a cost commensurate with multiaccuracy? In this work, we define and initiate the study of Low-Degree Multicalibration. Low-Degree Multicalibration defines a hierarchy of increasingly-powerful multi-group fairness notions that spans multiaccuracy and the original formulation of multicalibration at the extremes. Our main technical contribution demonstrates that key properties of multicalibration, related to fairness and accuracy, actually manifest as low-degree properties. Importantly, we show that low-degree multicalibration can be significantly more efficient than full multicalibration. In the multi-class setting, the sample complexity to achieve low-degree multicalibration improves exponentially (in the number of classes) over full multicalibration. Our work presents compelling evidence that low-degree multicalibration represents a sweet spot, pairing computational and sample efficiency with strong fairness and accuracy guarantees.


title: Recommendations in a Multi-Domain Setting: Adapting for Customization, Scalability and Real-Time Performance

abstract: In this industry talk at ECIR'2022, we illustrate how to build a modern recommender system that can serve recommendations in real-time for a diverse set of application domains. Specifically, we present our system architecture that utilizes popular recommendation algorithms from the literature such as Collaborative Filtering, Content-based Filtering as well as various neural embedding approaches (e.g., Doc2Vec, Autoencoders, etc.). We showcase the applicability of our system architecture using two real-world use-cases, namely providing recommendations for the domains of (i) job marketplaces, and (ii) entrepreneurial start-up founding. We strongly believe that our experiences from both research- and industry-oriented settings should be of interest for practitioners in the field of real-time multi-domain recommender systems.


title: Accurate Metallicities for Very Metal-Poor Stars from the Ca~II Infrared Triplet

abstract: The Ca~II H \& K lines are among the few features available to infer the metallicity of extremely metal-poor stars from medium-resolution spectroscopy. Unfortunately, these lines can overlap with absorption produced in the intervening interstellar medium, introducing systematic errors in the derived metallicities. The strength of the Ca~II infrared triplet lines can also be measured at extremely low metallicities, and it is not affected by interstellar absorption, but suffers significant departures from Local Thermodynamical Equilibrium (LTE). We investigate the feasibility of adopting the Ca~II infrared triplet as a metallicity indicator in extremely metal-poor stars using state-of-the art Non-LTE models including the most recent atomic data. We find that the triplet lines exhibit Non-LTE abundance corrections that can exceed 0.5\,dex. When interstellar absorption affecting the Ca~II resonance lines is accounted for using high-resolution observations, the agreement between Non-LTE abundances for the triplet and those for the resonance lines, with only minor departures from LTE, is excellent. Non-LTE effects strengthen the Ca~II IR triplet lines, facilitating measurements at very low metallicities, compared with LTE estimates, down to $\rm [Fe/H]=-6.0$. This result has important implications for the discovery of primitive stars in our Galaxy and others, since instruments are most sensitive at red/near-infrared wavelengths, and tens of millions of spectra covering the Ca~II IR triplet will soon become available from the Gaia, DESI, WEAVE, and PFS missions.


title: Lefschetz properties of some codimension three Artinian Gorenstein algebras

abstract: Codimension two Artinian algebras $A$ have the strong and weak Lefschetz properties provided the characteristic is zero or greater than the socle degree. It is open to what extent such results might extend to codimension three AG algebras - the most promising results so far have concerned the weak Lefschetz property for such algebras. We here show that every standard-graded codimension three Artinian Gorenstein algebra $A$ having low maximum value of the Hilbert function - at most six - has the strong Lefschetz property, provided that the characteristic is zero. When the characteristic is greater than the socle degree of $A$, we show that $A$ is almost strong Lefschetz. This quite modest result is nevertheless arguably the most encompassing so far concerning the strong Lefschetz property for graded codimension three AG algebras.


title: Finite System Size Correction to NLO Scattering in $\phi^4$ Theory

abstract: We compute $2\rightarrow2$ scattering in massive $\phi^4$ theory on $\mathbb R^{1,m}\times T^n$ to NLO. We perform the calculations using "denominator regularization" instead of the usual dimensional regularization, which allows for asymmetric configurations of the $T^n$. We give a transparent derivation of and equation for the analytic continuation of the generalized Epstein zeta function. We show that the Optical Theorem is satisfied and generalize a conjecture by Hardy on square counting functions. We comment on the implications.


title: The Diffuse Gamma-Ray Flux from Clusters of Galaxies

abstract: The origin of the diffuse gamma-ray background (DGRB), the one that remains after subtracting all individual sources from observed gamma-ray sky, is unknown. The DGRB possibly encompasses contributions from different source populations such as star-forming galaxies, starburst galaxies, active galactic nuclei, gamma-ray bursts, or galaxy clusters. Here, we combine cosmological magnetohydrodynamical simulations of clusters of galaxies with the propagation of cosmic rays (CRs) using Monte Carlo simulations, in the redshift range $z\leq 5.0$, and show that the integrated gamma-ray flux from clusters can contribute up to $100\%$ of the DGRB flux observed by Fermi-LAT above $100$ GeV, for CRs spectral indices $\alpha = 1.5 - 2.5$ and energy cutoffs $E_{\text{max}} = 10^{16} - 10^{17}$ eV. The flux is dominated by clusters with masses $10^{13} \lesssim M/M_{\odot} \lesssim 10^{15}$ and redshift $ z \lesssim 0.3$. Our results also predict the potential observation of high-energy gamma rays from clusters by experiments like the High Altitude Water Cherenkov (HAWC), the Large High Altitude Air Shower Observatory (LHAASO), and potentially the upcoming Cherenkov Telescope Array (CTA).


title: TAE: A Semi-supervised Controllable Behavior-aware Trajectory Generator and Predictor

abstract: Trajectory generation and prediction are two interwoven tasks that play important roles in planner evaluation and decision making for intelligent vehicles. Most existing methods focus on one of the two and are optimized to directly output the final generated/predicted trajectories, which only contain limited information for critical scenario augmentation and safe planning. In this work, we propose a novel behavior-aware Trajectory Autoencoder (TAE) that explicitly models drivers' behavior such as aggressiveness and intention in the latent space, using semi-supervised adversarial autoencoder and domain knowledge in transportation. Our model addresses trajectory generation and prediction in a unified architecture and benefits both tasks: the model can generate diverse, controllable and realistic trajectories to enhance planner optimization in safety-critical and long-tailed scenarios, and it can provide prediction of critical behavior in addition to the final trajectories for decision making. Experimental results demonstrate that our method achieves promising performance on both trajectory generation and prediction.


title: Viscosity in water from first-principles and deep-neural-network simulations

abstract: We report on an extensive study of the viscosity of liquid water at near-ambient conditions, performed within the Green-Kubo theory of linear response and equilibrium ab initio molecular dynamics (AIMD), based on density-functional theory (DFT). In order to cope with the long simulation times necessary to achieve an acceptable statistical accuracy, our ab initio approach is enhanced with deep-neural-network potentials (NNP). This approach is first validated against AIMD results, obtained by using the Perdew-Burke-Ernzerhof (PBE) exchange-correlation functional and paying careful attention to crucial, yet often overlooked, aspects of the statistical data analysis. Then, we train a second NNP to a dataset generated from the Strongly Constrained and Appropriately Normed (SCAN) functional. Once the error resulting from the imperfect prediction of the melting line is offset by referring the simulated temperature to the theoretical melting one, our SCAN predictions of the shear viscosity of water are in very good agreement with experiments.


title: Interactive Visualization of Protein RINs using NetworKit in the Cloud

abstract: Network analysis has been applied in diverse application domains. In this paper, we consider an example from protein dynamics, specifically residue interaction networks (RINs). In this context, we use NetworKit -- an established package for network analysis -- to build a cloud-based environment that enables domain scientists to run their visualization and analysis workflows on large compute servers, without requiring extensive programming and/or system administration knowledge. To demonstrate the versatility of this approach, we use it to build a custom Jupyter-based widget for RIN visualization. In contrast to existing RIN visualization approaches, our widget can easily be customized through simple modifications of Python code, while both supporting a good feature set and providing near real-time speed. It is also easily integrated into analysis pipelines (e.g., that use Python to feed RIN data into downstream machine learning tasks).


title: Bound state of a He-3 atom at the interface of crystal and superfluid He-4

abstract: The bound state of a He-3 atom at the interface between coexisting crystalline and superfluid phases of He-4 is studied theoretically by means of first principle Quantum Monte Carlo simulations. We consider both the case of a solid/superfluid He-4 interface, as well as that of a few solid layers of He-4 forming on an attractive substrate. It is observed that the He-3 bound state is sharply localized in a well-defined, quasi-2D layer of He-4 in the region intermediate between the solid and the liquid. The layer in which the He-3 atom resides displays an intriguing interplay of atomic localization and quantum-mechanical exchanges; is not necessarily the first "non-solid" layer, as suggested in previous studies, and it is affected by the attractive strength of the substrate.


title: Self-supervised Transformer for Deepfake Detection

abstract: The fast evolution and widespread of deepfake techniques in real-world scenarios require stronger generalization abilities of face forgery detectors. Some works capture the features that are unrelated to method-specific artifacts, such as clues of blending boundary, accumulated up-sampling, to strengthen the generalization ability. However, the effectiveness of these methods can be easily corrupted by post-processing operations such as compression. Inspired by transfer learning, neural networks pre-trained on other large-scale face-related tasks may provide useful features for deepfake detection. For example, lip movement has been proved to be a kind of robust and good-transferring highlevel semantic feature, which can be learned from the lipreading task. However, the existing method pre-trains the lip feature extraction model in a supervised manner, which requires plenty of human resources in data annotation and increases the difficulty of obtaining training data. In this paper, we propose a self-supervised transformer based audio-visual contrastive learning method. The proposed method learns mouth motion representations by encouraging the paired video and audio representations to be close while unpaired ones to be diverse. After pre-training with our method, the model will then be partially fine-tuned for deepfake detection task. Extensive experiments show that our self-supervised method performs comparably or even better than the supervised pre-training counterpart.


title: Semilinear elliptic Schr\"odinger equations with singular potentials and absorption terms

abstract: Let $\Omega \subset \mathbb{R}^N$ ($N \geq 3$) be a $C^2$ bounded domain and $\Sigma \subset \Omega$ be a compact, $C^2$ submanifold without boundary, of dimension $k$ with $0\leq k < N-2$. Put $L_\mu = \Delta + \mu d_\Sigma^{-2}$ in $\Omega \setminus \Sigma$, where $d_\Sigma(x) = \mathrm{dist}(x,\Sigma)$ and $\mu$ is a parameter. We investigate the boundary value problem (P) $-L_\mu u + g(u) = \tau$ in $\Omega \setminus \Sigma$ with condition $u=\nu$ on $\partial \Omega \cup \Sigma$, where $g: \mathbb{R} \to \mathbb{R}$ is a nondecreasing, continuous function, and $\tau$ and $\nu$ are positive measures. The complex interplay between the competing effects of the inverse-square potential $d_\Sigma^{-2}$, the absorption term $g(u)$ and the measure data $\tau,\nu$ discloses different scenarios in which problem (P) is solvable. We provide sharp conditions on the growth of $g$ for the existence of solutions. When $g$ is a power function, namely $g(u)=|u|^{p-1}u$ with $p>1$, we show that problem (P) admits several critical exponents in the sense that singular solutions exist in the subcritical cases (i.e. $p$ is smaller than a critical exponent) and singularities are removable in the supercritical cases (i.e. $p$ is greater than a critical exponent). Finally, we establish various necessary and sufficient conditions expressed in terms of appropriate capacities for the solvability of (P).


title: Generating gravitational waveform libraries of exotic compact binaries with deep learning

abstract: Current gravitational wave (GW) detections rely on the existence of libraries of theoretical waveforms. Consequently, finding new physics with GWs requires libraries of non-standard models, which are computationally demanding. We discuss how deep learning frameworks can be used to generate new waveforms "learned" from a simulation dataset obtained, say, from numerical relativity simulations. Concretely, we use the WaveGAN architecture of a generative adversarial network (GAN). As a proof of concept we provide this neural network (NN) with a sample of ($>500$) waveforms from the collisions of exotic compact objects (Proca stars), obtained from numerical relativity simulations. Dividing the sample into a training and a validation set, we show that after a sufficiently large number of training epochs the NN can produce from 12\% to 25\% of the synthetic waveforms with an overlapping match of at least 95\% with the ones from the validation set. We also demonstrate that a NN can be used to predict the overlapping match score, with 90\% of accuracy, of new synthetic samples. These are encouraging results for using GANs for data augmentation and interpolation in the context of GWs, to cover the full parameter space of, say, exotic compact binaries, without the need of intensive numerical relativity simulations.


title: A duality theorem for the ic-resurgence of edge ideals

abstract: The aim of this work is to use linear programming and polyhedral geometry to prove a duality formula for the ic-resurgence of edge ideals. We show that the ic-resurgence of the edge ideal $I$ of a clutter $\mathcal{C}$ and the ic-resurgence of the edge ideal $I^\vee$ of the blocker $\mathcal{C}^\vee$ of $\mathcal{C}$ coincide. If $\mathcal{C}$ is the clutter of bases of certain uniform matroids, we recover a formula for the resurgence of $I$, and if $\mathcal{C}$ is a connected non-bipartite graph with a perfect matching, we show a formula for the Waldschmidt constant of $I^\vee$.


title: Truncated moment problems on positive-dimensional algebraic varieties

abstract: This manuscript transfers the main aspects of Prony's method from finitely-supported measures to the classes of signed or non-negative measures supported on algebraic varieties of any dimension. In particular, we show that the Zariski closure of the support of these measures is determined by finitely many moments and can be computed from the kernel of certain moment matrices.


title: First joint observation by the underground gravitational-wave detector, KAGRA, with GEO600

abstract: We report the results of the first joint observation of the KAGRA detector with GEO600. KAGRA is a cryogenic and underground gravitational-wave detector consisting of a laser interferometer with three-kilometer arms, and located in Kamioka, Gifu, Japan. GEO600 is a British--German laser interferometer with 600 m arms, and located near Hannover, Germany. GEO600 and KAGRA performed a joint observing run from April 7 to 20, 2020. We present the results of the joint analysis of the GEO--KAGRA data for transient gravitational-wave signals, including the coalescence of neutron-star binaries and generic unmodeled transients. We also perform dedicated searches for binary coalescence signals and generic transients associated with gamma-ray burst events observed during the joint run. No gravitational-wave events were identified. We evaluate the minimum detectable amplitude for various types of transient signals and the spacetime volume for which the network is sensitive to binary neutron-star coalescences. We also place lower limits on the distances to the gamma-ray bursts analysed based on the non-detection of an associated gravitational-wave signal for several signal models, including binary coalescences. These analyses demonstrate the feasibility and utility of KAGRA as a member of the global gravitational-wave detector network.


title: Stochastic Approximation for Estimating the Price of Stability in Stochastic Nash Games

abstract: The goal in this paper is to approximate the Price of Stability (PoS) in stochastic Nash games using stochastic approximation (SA) schemes. PoS is amongst the most popular metrics in game theory and provides an avenue for estimating the efficiency of Nash games. In particular, knowing the value of PoS can help with designing efficient networked systems, including transportation networks and power market mechanisms. Motivated by the lack of efficient methods for computing the PoS, first we consider stochastic optimization problems with a nonsmooth and merely convex objective function and a merely monotone stochastic variational inequality (SVI) constraint. This problem appears in the numerator of the PoS ratio. We develop a randomized block-coordinate stochastic extra-(sub)gradient method where we employ a novel iterative penalization scheme to account for the mapping of the SVI in each of the two gradient updates of the algorithm. We obtain an iteration complexity of the order $\epsilon^{-4}$ that appears to be best known result for this class of constrained stochastic optimization problems, where $\epsilon$ denotes an arbitrary bound on suitably defined infeasibility and suboptimality metrics. Second, we develop an SA-based scheme for approximating the PoS and derive lower and upper bounds on the approximation error. To validate the theoretical findings, we provide preliminary simulation results on a networked stochastic Nash Cournot competition.


title: Implicit Definitions with Differential Equations for KeYmaera X (System Description)

abstract: Definition packages in theorem provers provide users with means of defining and organizing concepts of interest. This system description presents a new definition package for the hybrid systems theorem prover KeYmaera X based on differential dynamic logic (dL). The package adds KeYmaera X support for user-defined smooth functions whose graphs can be implicitly characterized by dL formulas. Notably, this makes it possible to implicitly characterize functions, such as the exponential and trigonometric functions, as solutions of differential equations and then prove properties of those functions using dL's differential equation reasoning principles. Trustworthiness of the package is achieved by minimally extending KeYmaera X's soundness-critical kernel with a single axiom scheme that expands function occurrences with their implicit characterization. Users are provided with a high-level interface for defining functions and non-soundness-critical tactics that automate low-level reasoning over implicit characterizations in hybrid system proofs.


title: Nematic spectral signatures of the Hund's metal

abstract: We show, by means of dynamical mean-field theory calculations, that the experimental fingerprints of the nematic order in iron-based superconductors are intrinsically connected with the electronic correlations in the Hund's correlated metallic state and they can not be accessed via a renormalized quasiparticle picture. In particular, our results show that: (i) in a metal in which correlations are dominated by the Hund's coupling the nematic ordering does not produce a rigid energy shift in the photoemission spectra, but a much richer spectral weight redistribution which mirrors the experimental results; (ii) the nematic ordering is characterized by an orbital-selective coherence induced by the Hund's physics in agreement with the experimental picture.


title: Synthetic solar cycle for active regions violating the Hale's polarity law

abstract: Long observational series for bipolar active regions (ARs) provide significant information about the mutual transformation of the poloidal and toroidal components of the global solar magnetic field. The direction of the toroidal field determines the polarity of leading sunspots in ARs in accordance with the Hale's polarity law. The vast majority of bipolar ARs obey this regularity, whereas a few percent of ARs have the opposite sense of polarity (anti-Hale ARs). However, the study of these ARs is hampered by their poor statistics. The data for five 11-year cycles (16-18 and 23,24) were combined here to compile a synthetic cycle of unique time length and latitudinal width. The synthetic cycle comprises data for 14838 ARs and 367 of them are the anti-Hale ARs. A specific routine to compile the synthetic cycle was demonstrated. We found that, in general, anti-Hale ARs follow the solar cycle and are spread throughout the time-latitude diagram evenly, which implies their fundamental connection with the global dynamo mechanism and the toroidal flux system. The increase in their number and percentage occurs in the second part of the cycle, which is in favour of their contribution to the polar field reversal. The excess in the anti-Hale ARs percentage at the edges of the butterfly diagram and near an oncoming solar minimum (where the toroidal field weakens) might be associated with strengthening of the influence of turbulent convection and magnetic field fluctuations on the arising flux tubes. The evidence of the misalignment between the magnetic and heliographic equators is also found.


title: Anisotropic superconductivity in ZrB$_{12}$ near critical Bogomolnyi point

abstract: The superconductors with the Ginzburg-Landau (G-L) parameter ($\kappa$) $\sim1/\sqrt{2}$ exist near a critical Bogolomonyi (B) point where they show inter-type domains between type-I and type-II superconductivity. While such physics is well understood for isotropic superconductors, the experimental investigation of the physics of anisotropic superconductors near a critical B-point remains an unattained goal mainly due to the unavailability of model material systems. Theoretically, such superconductors are expected to show type-I or type-II behaviour for definite directions of an applied magnetic field. Here, from directional point-contact Andreev reflection spectroscopy and field-angle dependent ac magnetic susceptibility measurements, we show that ZrB$_{12}$ is an anisotropic superconductor, and it exhibits field-direction dependent type-I and type-II behaviour. These observations match remarkably well with the theoretical expectations for an anisotropic superconductor near a critical B-point. Therefore, our results project ZrB$_{12}$ as a model material system where the physics of inter-type anisotropic superconductivity can be explored experimentally.


title: Machine learning models predict calculation outcomes with the transferability necessary for computational catalysis

abstract: Virtual high throughput screening (VHTS) and machine learning (ML) have greatly accelerated the design of single-site transition-metal catalysts. VHTS of catalysts, however, is often accompanied with high calculation failure rate and wasted computational resources due to the difficulty of simultaneously converging all mechanistically relevant reactive intermediates to expected geometries and electronic states. We demonstrate a dynamic classifier approach, i.e., a convolutional neural network that monitors geometry optimization on the fly, and exploit its good performance and transferability for catalyst design. We show that the dynamic classifier performs well on all reactive intermediates in the representative catalytic cycle of the radical rebound mechanism for methane-to-methanol despite being trained on only one reactive intermediate. The dynamic classifier also generalizes to chemically distinct intermediates and metal centers absent from the training data without loss of accuracy or model confidence. We rationalize this superior model transferability to the use of on-the-fly electronic structure and geometric information generated from density functional theory calculations and the convolutional layer in the dynamic classifier. Combined with model uncertainty quantification, the dynamic classifier saves more than half of the computational resources that would have been wasted on unsuccessful calculations for all reactive intermediates being considered.


title: Deep Temporal Interpolation of Radar-based Precipitation

abstract: When providing the boundary conditions for hydrological flood models and estimating the associated risk, interpolating precipitation at very high temporal resolutions (e.g. 5 minutes) is essential not to miss the cause of flooding in local regions. In this paper, we study optical flow-based interpolation of globally available weather radar images from satellites. The proposed approach uses deep neural networks for the interpolation of multiple video frames, while terrain information is combined with temporarily coarse-grained precipitation radar observation as inputs for self-supervised training. An experiment with the Meteonet radar precipitation dataset for the flood risk simulation in Aude, a department in Southern France (2018), demonstrated the advantage of the proposed method over a linear interpolation baseline, with up to 20% error reduction.


title: Black hole and wormhole solutions in Einstein-Maxwell-Scalar theory

abstract: We classified and studied the charged black hole and wormhole solutions in the Einstein--Maxwell system in the presence of a massless, real scalar field. The possible existence of charged black holes in general scalar--tensor theories was studied in {Bronnikov et al, 1999;} black holes and wormholes exist for a negative kinetic term for the scalar field. Using a conformal transformation, the static, spherically symmetric possible structures in the minimal coupled system are described. Besides wormholes and naked singularities, only a restricted class of black hole exists, exhibiting a horizon with an infinite surface and a timelike central singularity. The black holes and wormholes defined in the Einstein frame have some specificities with respect to the non-minimal coupling original frame, which are discussed in the text.


title: Structure of sets with nearly maximal Favard length

abstract: Let $E \subset B(1) \subset \mathbb R^{2}$ be an $\mathcal{H}^{1}$ measurable set with $\mathcal{H}^{1}(E) < \infty$, and let $L \subset \mathbb R^{2}$ be a line segment with $\mathcal{H}^{1}(L) = \mathcal{H}^{1}(E)$. It is not hard to see that $\mathrm{Fav}(E) \leq \mathrm{Fav}(L)$. We prove that in the case of near equality, that is, $$ \mathrm{Fav}(E) \geq \mathrm{Fav}(L) - \delta, $$ the set $E$ can be covered by an $\epsilon$-Lipschitz graph, up to a set of length $\epsilon$. The dependence between $\epsilon$ and $\delta$ is polynomial: in fact, the conclusions hold with $\epsilon = C\delta^{1/70}$ for an absolute constant $C > 0$.


title: Total Stiefel Whitney classes for real representations of $\mathrm{GL}_n$ over $\mathbb{F}_q, \mathbb{R}$ and $\mathbb{C}$

abstract: We compute the total Stiefel Whitney class for a real representation $\pi$ of $\mathrm{GL}_n(\mathbb{F}_q)$, where $q$ is odd in terms of character values of $\pi$ on order $2$ diagonal elements. We also compute the total Stiefel Whitney class of real representations of $\mathrm{GL}_n(\mathbb{R})$ and $\mathrm{GL}_n(\mathbb{C})$.


title: Operational connection between predictability and entanglement in entanglement swapping from partially entangled pure states

abstract: Complementarity and entanglement are fundamental features of Quantum Mechanics that were recently related in triality equalities that involve quantum coherence, the wave aspect of a qubit, and quantum predictability and quantum entanglement, the particle aspect of a qubit. In this article, we give an operational connection between redictability and entanglement in entanglement swapping from initially partially entangled states. For this, we show that the predictability of the pre-measurement one-qubit density matrix is directly related to the probability of the partially entangled component of the post-measurement state. Going even further, we analyze the entanglement swapping for partially entangled states in the light of complementarity relations and show that, in the cases where the entanglement increases after a Bell-basis measurement, the predictability is consumed when compared to the initially prepared state.


title: py-irt: A Scalable Item Response Theory Library for Python

abstract: py-irt is a Python library for fitting Bayesian Item Response Theory (IRT) models. py-irt estimates latent traits of subjects and items, making it appropriate for use in IRT tasks as well as ideal-point models. py-irt is built on top of the Pyro and PyTorch frameworks and uses GPU-accelerated training to scale to large data sets. Code, documentation, and examples can be found at https://github.com/nd-ball/py-irt. py-irt can be installed from the GitHub page or the Python Package Index (PyPI).