title: Location-aware green energy availability forecasting for multiple time frames in smart buildings: The case of Estonia

abstract: Renewable Energies (RE) have gained more attention in recent years since they offer clean and sustainable energy. One of the major sustainable development goals (SDG-7) set by the United Nations (UN) is to achieve affordable and clean energy for everyone. Among the world's all renewable resources, solar energy is considered as the most abundant and can certainly fulfill the target of SDGs. Solar energy is converted into electrical energy through Photovoltaic (PV) panels with no greenhouse gas emissions. However, power generated by PV panels is highly dependent on solar radiation received at a particular location over a given time period. Therefore, it is challenging to forecast the amount of PV output power. Predicting the output power of PV systems is essential since several public or private institutes generate such green energy, and need to maintain the balance between demand and supply. This research aims to forecast PV system output power based on weather and derived features using different machine learning models. The objective is to obtain the best-fitting model to precisely predict output power by inspecting the data. Moreover, different performance metrics are used to compare and evaluate the accuracy under different machine learning models such as random forest, XGBoost, KNN, etc.


title: SAM as an Optimal Relaxation of Bayes

abstract: Sharpness-aware minimization (SAM) and related adversarial deep-learning methods can drastically improve generalization, but their underlying mechanisms are not yet fully understood. Here, we establish SAM as a relaxation of the Bayes objective where the expected negative-loss is replaced by the optimal convex lower bound, obtained by using the so-called Fenchel biconjugate. The connection enables a new Adam-like extension of SAM to automatically obtain reasonable uncertainty estimates, while sometimes also improving its accuracy. By connecting adversarial and Bayesian methods, our work opens a new path to robustness.


title: Modeling and simulation in supersonic three-temperature carbon dioxide turbulent channel flow

abstract: This paper pioneers the direct numerical simulation (DNS) and physical analysis in supersonic three-temperature carbon dioxide (CO2) turbulent channel flow. CO2 is a linear and symmetric triatomic molecular, with the thermal non-equilibrium three-temperature effects arising from the interactions among translational, rotational and vibrational modes under room temperature. Thus, the rotational and vibrational modes of CO2 are addressed. Thermal non-equilibrium effect of CO2 has been modeled in an extended three-temperature BGK-type model, with the calibrated translational, rotational and vibrational relaxation time. To solve the extended BGK-type equation accurately and robustly, non-equilibrium high-accuracy gas-kinetic scheme is proposed within the well-established two-stage fourth-order framework. Compared with the one-temperature supersonic turbulent channel flow, supersonic three-temperature CO2 turbulence enlarges the ensemble heat transfer of the wall by approximate 20%, and slightly decreases the ensemble frictional force. The ensemble density and temperature fields are greatly affected, and there is little change in Van Driest transformation of streamwise velocity. The thermal non-equilibrium three-temperature effects of CO2 also suppress the peak of normalized root-mean-square of density and temperature, normalized turbulent intensities and Reynolds stress. The vibrational modes of CO2 behave quite differently with rotational and translational modes. Compared with the vibrational temperature fields, the rotational temperature fields have the higher similarity with translational temperature fields, especially in temperature amplitude. Current thermal non-equilibrium models, high-accuracy DNS and physical analysis in supersonic CO2 turbulent flow can act as the benchmark for the long-term applicability of compressible CO2 turbulence.


title: Electromagnetic Probes: Theory and Experiment

abstract: We review the current state of research on electromagnetic probes in the context of heavy-ion collisions. The focus is on thermal photons and dileptons which provide unique insights into the properties of the created hot and dense matter. This review is intended to provide an introductory overview of the topic as well as a discussion of recent theoretical and experimental results. In particular, we discuss the role of vector-meson spectral functions in the calculation of photon and dilepton rates and present recent results obtained from different frameworks. Furthermore, we will highlight the special role of photons and dileptons to provide information on observables such as the temperature, the lifetime, the polarization and the electrical conductivity of the produced medium as well as their use to learn about chiral symmetry restoration and phase transitions.


title: Infinitesimal deformations of Killing spinors on nearly parallel $\mathrm{G}_2$-manifolds

abstract: Manifolds admitting Killing spinors are Einstein manifolds. Thus, a deformation of a Killing spinor entails a deformation of Einstein metrics. In this paper, we study infinitesimal deformations of Killing spinors on nearly parallel $\mathrm{G}_2$-manifolds. Since there is a one-to-one correspondence between nearly parallel $\mathrm{G}_2$-structures and Killing spinors on 7-dimensional spin manifolds, our results imply that infinitesimal deformations of nearly parallel $\mathrm{G}_2$-structures are examined in terms of Killing spinors. Applying the same technique, we identify that the space of the Rarita-Schwinger fields coincides with a subspace of the eigenspace of the Laplacian.


title: 2nd Place Solution to Google Landmark Retrieval 2020

abstract: This paper presents the 2nd place solution to the Google Landmark Retrieval Competition 2020. We propose a training method of global feature model for landmark retrieval without post-processing, such as local feature and spatial verification. There are two parts in our retrieval method in this competition. This training scheme mainly includes training by increasing margin value of arcmargin loss and increasing image resolution step by step. Models are trained by PaddlePaddle framework and Pytorch framework, and then converted to tensorflow 2.2. Using this method, we got a public score of 0.40176 and a private score of 0.36278 and achieved 2nd place in the Google Landmark Retrieval Competition 2020.


title: Energy Consumption of Neural Networks on NVIDIA Edge Boards: an Empirical Model

abstract: Recently, there has been a trend of shifting the execution of deep learning inference tasks toward the edge of the network, closer to the user, to reduce latency and preserve data privacy. At the same time, growing interest is being devoted to the energetic sustainability of machine learning. At the intersection of these trends, we hence find the energetic characterization of machine learning at the edge, which is attracting increasing attention. Unfortunately, calculating the energy consumption of a given neural network during inference is complicated by the heterogeneity of the possible underlying hardware implementation. In this work, we hence aim at profiling the energetic consumption of inference tasks for some modern edge nodes and deriving simple but realistic models. To this end, we performed a large number of experiments to collect the energy consumption of convolutional and fully connected layers on two well-known edge boards by NVIDIA, namely Jetson TX2 and Xavier. From the measurements, we have then distilled a simple, practical model that can provide an estimate of the energy consumption of a certain inference task on the considered boards. We believe that this model can be used in many contexts as, for instance, to guide the search for efficient architectures in Neural Architecture Search, as a heuristic in Neural Network pruning, or to find energy-efficient offloading strategies in a Split computing context, or simply to evaluate the energetic performance of Deep Neural Network architectures.


title: Image Recovery for Blind Polychromatic Ptychography

abstract: Ptychography is a lensless imaging technique, which considers reconstruction from a set of far-field diffraction patterns obtained by illuminating small overlapping regions of the specimen. In many cases, a distribution of light inside the illuminated region is unknown and has to be estimated along with the object of interest. This problem is referred to as blind ptychography. While in ptychography the illumination is commonly assumed to have a point spectrum, in this paper we consider an alternative scenario with non-trivial light spectrum known as blind polychromatic ptychography. Firstly, we show that non-blind polychromatic ptychography can be seen as a recovery from quadratic measurements. Then, a reconstruction from such measurements can be performed by a variant of Amplitude Flow algorithm, which has guaranteed sublinear convergence to a critical point. Secondly, we address recovery from blind polychromatic ptychographic measurements by devising an alternating minimization version of Amplitude Flow and showing that it converges to a critical point at a sublinear rate. Keywords: ptychography, phase retrieval, blind, alternating minimization, gradient descent.


title: ROMR: A ROS-based Open-source Mobile Robot

abstract: Currently, commercially available intelligent transport robots that are capable of carrying up to 90kg of load can cost \$5,000 or even more. This makes real-world experimentation prohibitively expensive and limits the applicability of such systems to everyday home or industrial tasks. Aside from their high cost, the majority of commercially available platforms are either closed-source, platform-specific or use difficult-to-customize hardware and firmware. In this work, we present a low-cost, open-source and modular alternative, referred to herein as "ROS-based Open-source Mobile Robot ($ROMR$)". $ROMR$ utilizes off-the-shelf (OTS) components, additive manufacturing technologies, aluminium profiles, and a consumer hoverboard with high-torque brushless direct current (BLDC) motors. $ROMR$ is fully compatible with the robot operating system (ROS), has a maximum payload of 90kg, and costs less than \$1500. Furthermore, ROMR offers a simple yet robust framework for contextualizing simultaneous localization and mapping (SLAM) algorithms, an essential prerequisite for autonomous robot navigation. The robustness and performance of the $ROMR$ were validated through real-world and simulation experiments. All the design, construction and software files are freely available online under the GNU GPL v3 licence at https://doi.org/10.17605/OSF.IO/K83X7. A descriptive video of $ROMR$ can be found at https://osf.io/ku8ag.


title: Monte Carlo Tree Search based Variable Selection for High Dimensional Bayesian Optimization

abstract: Bayesian optimization (BO) is a class of popular methods for expensive black-box optimization, and has been widely applied to many scenarios. However, BO suffers from the curse of dimensionality, and scaling it to high-dimensional problems is still a challenge. In this paper, we propose a variable selection method MCTS-VS based on Monte Carlo tree search (MCTS), to iteratively select and optimize a subset of variables. That is, MCTS-VS constructs a low-dimensional subspace via MCTS and optimizes in the subspace with any BO algorithm. We give a theoretical analysis of the general variable selection method to reveal how it can work. Experiments on high-dimensional synthetic functions and real-world problems (i.e., NAS-bench problems and MuJoCo locomotion tasks) show that MCTS-VS equipped with a proper BO optimizer can achieve state-of-the-art performance.


title: Semantic Communication with Conceptual Spaces

abstract: Despite the fact that Shannon and Weaver's Mathematical Theory of Communication was published over 70 years ago, all communication systems continue to operate at the first of three levels defined in this theory: the technical level. In this letter, we argue that a transition to the semantic level embodies a natural, important step in the evolution of communication technologies. Furthermore, we propose a novel approach to engineering semantic communication using conceptual spaces and functional compression. We introduce a model of semantic communication utilizing this approach, and simulate communication of image semantics demonstrating a 99.79% reduction in rate.


title: Predicting the traffic flux in the city of Valencia with Deep Learning

abstract: Traffic congestion is a major urban issue due to its adverse effects on health and the environment, so much so that reducing it has become a priority for urban decision-makers. In this work, we investigate whether a high amount of data on traffic flow throughout a city and the knowledge of the road city network allows an Artificial Intelligence to predict the traffic flux far enough in advance in order to enable emission reduction measures such as those linked to the Low Emission Zone policies. To build a predictive model, we use the city of Valencia traffic sensor system, one of the densest in the world, with nearly 3500 sensors distributed throughout the city. In this work we train and characterize an LSTM (Long Short-Term Memory) Neural Network to predict temporal patterns of traffic in the city using historical data from the years 2016 and 2017. We show that the LSTM is capable of predicting future evolution of the traffic flux in real-time, by extracting patterns out of the measured data.


title: Metrizability of CHART groups

abstract: For compact Hausdorff admissible right topological (CHART) group $G$, we prove $w(G)=\pi\chi(G)$. This equality is well known for compact topological groups. This implies the criteria for the metrizability of CHART groups: if $G$ is first-countable (2013, Moors, Namioka) or $G$ is Fr\'echet (2013, Glasner, Megrelishvili), or $G$ has countable $\pi$-character (2022, Reznichenko) then $G$ is metrizable. Under the continuum hypothesis (CH) assumption, a sequentially compact CHART group is metrizable. Namioka's theorem that metrizable CHART groups are topological groups extends to CHART groups with small weight.


title: Backdoor Attacks in the Supply Chain of Masked Image Modeling

abstract: Masked image modeling (MIM) revolutionizes self-supervised learning (SSL) for image pre-training. In contrast to previous dominating self-supervised methods, i.e., contrastive learning, MIM attains state-of-the-art performance by masking and reconstructing random patches of the input image. However, the associated security and privacy risks of this novel generative method are unexplored. In this paper, we perform the first security risk quantification of MIM through the lens of backdoor attacks. Different from previous work, we are the first to systematically threat modeling on SSL in every phase of the model supply chain, i.e., pre-training, release, and downstream phases. Our evaluation shows that models built with MIM are vulnerable to existing backdoor attacks in release and downstream phases and are compromised by our proposed method in pre-training phase. For instance, on CIFAR10, the attack success rate can reach 99.62%, 96.48%, and 98.89% in the downstream phase, release phase, and pre-training phase, respectively. We also take the first step to investigate the success factors of backdoor attacks in the pre-training phase and find the trigger number and trigger pattern play key roles in the success of backdoor attacks while trigger location has only tiny effects. In the end, our empirical study of the defense mechanisms across three detection-level on model supply chain phases indicates that different defenses are suitable for backdoor attacks in different phases. However, backdoor attacks in the release phase cannot be detected by all three detection-level methods, calling for more effective defenses in future research.


title: Log-Linear-Time Gaussian Processes Using Binary Tree Kernels

abstract: Gaussian processes (GPs) produce good probabilistic models of functions, but most GP kernels require $O((n+m)n^2)$ time, where $n$ is the number of data points and $m$ the number of predictive locations. We present a new kernel that allows for Gaussian process regression in $O((n+m)\log(n+m))$ time. Our "binary tree" kernel places all data points on the leaves of a binary tree, with the kernel depending only on the depth of the deepest common ancestor. We can store the resulting kernel matrix in $O(n)$ space in $O(n \log n)$ time, as a sum of sparse rank-one matrices, and approximately invert the kernel matrix in $O(n)$ time. Sparse GP methods also offer linear run time, but they predict less well than higher dimensional kernels. On a classic suite of regression tasks, we compare our kernel against Mat\'ern, sparse, and sparse variational kernels. The binary tree GP assigns the highest likelihood to the test data on a plurality of datasets, usually achieves lower mean squared error than the sparse methods, and often ties or beats the Mat\'ern GP. On large datasets, the binary tree GP is fastest, and much faster than a Mat\'ern GP.


title: Type theory in human-like learning and inference

abstract: Humans can generate reasonable answers to novel queries (Schulz, 2012): if I asked you what kind of food you want to eat for lunch, you would respond with a food, not a time. The thought that one would respond "After 4pm" to "What would you like to eat" is either a joke or a mistake, and seriously entertaining it as a lunch option would likely never happen in the first place. While understanding how people come up with new ideas, thoughts, explanations, and hypotheses that obey the basic constraints of a novel search space is of central importance to cognitive science, there is no agreed-on formal model for this kind of reasoning. We propose that a core component of any such reasoning system is a type theory: a formal imposition of structure on the kinds of computations an agent can perform, and how they're performed. We motivate this proposal with three empirical observations: adaptive constraints on learning and inference (i.e. generating reasonable hypotheses), how people draw distinctions between improbability and impossibility, and people's ability to reason about things at varying levels of abstraction.


title: On Rational Recursive Sequences

abstract: We study the class of rational recursive sequences (ratrec) over the rational numbers. A ratrec sequence is defined via a system of sequences using mutually recursive equations of depth 1, where the next values are computed as rational functions of the previous values. An alternative class is that of simple ratrec sequences, where one uses a single recursive equation, however of depth k: the next value is defined as a rational function of k previous values. We conjecture that the classes ratrec and simple ratrec coincide. The main contribution of this paper is a proof of a variant of this conjecture where the initial conditions are treated symbolically, using a formal variable per sequence, while the sequences themselves consist of rational functions over those variables. While the initial conjecture does not follow from this variant, we hope that the introduced algebraic techniques may eventually be helpful in resolving the problem. The class ratrec strictly generalises a well-known class of polynomial recursive sequences (polyrec). These are defined like ratrec, but using polynomial functions instead of rational ones. One can observe that if our conjecture is true and effective, then we can improve the complexities of the zeroness and the equivalence problems for polyrec sequences. Currently, the only known upper bound is Ackermanian, which follows from results on polynomial automata. We complement this observation by proving a PSPACE lower bound for both problems for polyrec. Our lower bound construction also implies that the Skolem problem is PSPACE-hard for the polyrec class.


title: Long-Range QKD without Trusted Nodes is Not Possible with Current Technology

abstract: A recently published patent (https://www.ipo.gov.uk/p-ipsum/Case/PublicationNumber/GB2590064) has claimed the development of a novel quantum key distribution protocol purporting to achieve long-range quantum security without trusted nodes and without use of quantum repeaters. Here we present a straightforward analysis of this claim, and reach the conclusion that it is largely unfounded.


title: Mining Duplicate Questions of Stack Overflow

abstract: There has a been a significant rise in the use of Community Question Answering sites (CQAs) over the last decade owing primarily to their ability to leverage the wisdom of the crowd. Duplicate questions have a crippling effect on the quality of these sites. Tackling duplicate questions is therefore an important step towards improving quality of CQAs. In this regard, we propose two neural network based architectures for duplicate question detection on Stack Overflow. We also propose explicitly modeling the code present in questions to achieve results that surpass the state of the art.


title: Explanation-by-Example Based on Item Response Theory

abstract: Intelligent systems that use Machine Learning classification algorithms are increasingly common in everyday society. However, many systems use black-box models that do not have characteristics that allow for self-explanation of their predictions. This situation leads researchers in the field and society to the following question: How can I trust the prediction of a model I cannot understand? In this sense, XAI emerges as a field of AI that aims to create techniques capable of explaining the decisions of the classifier to the end-user. As a result, several techniques have emerged, such as Explanation-by-Example, which has a few initiatives consolidated by the community currently working with XAI. This research explores the Item Response Theory (IRT) as a tool to explaining the models and measuring the level of reliability of the Explanation-by-Example approach. To this end, four datasets with different levels of complexity were used, and the Random Forest model was used as a hypothesis test. From the test set, 83.8% of the errors are from instances in which the IRT points out the model as unreliable.


title: SecureFedYJ: a safe feature Gaussianization protocol for Federated Learning

abstract: The Yeo-Johnson (YJ) transformation is a standard parametrized per-feature unidimensional transformation often used to Gaussianize features in machine learning. In this paper, we investigate the problem of applying the YJ transformation in a cross-silo Federated Learning setting under privacy constraints. For the first time, we prove that the YJ negative log-likelihood is in fact convex, which allows us to optimize it with exponential search. We numerically show that the resulting algorithm is more stable than the state-of-the-art approach based on the Brent minimization method. Building on this simple algorithm and Secure Multiparty Computation routines, we propose SecureFedYJ, a federated algorithm that performs a pooled-equivalent YJ transformation without leaking more information than the final fitted parameters do. Quantitative experiments on real data demonstrate that, in addition to being secure, our approach reliably normalizes features across silos as well as if data were pooled, making it a viable approach for safe federated feature Gaussianization.


title: Mixup for Test-Time Training

abstract: Test-time training provides a new approach solving the problem of domain shift. In its framework, a test-time training phase is inserted between training phase and test phase. During test-time training phase, usually parts of the model are updated with test sample(s). Then the updated model will be used in the test phase. However, utilizing test samples for test-time training has some limitations. Firstly, it will lead to overfitting to the test-time procedure thus hurt the performance on the main task. Besides, updating part of the model without changing other parts will induce a mismatch problem. Thus it is hard to perform better on the main task. To relieve above problems, we propose to use mixup in test-time training (MixTTT) which controls the change of model's parameters as well as completing the test-time procedure. We theoretically show its contribution in alleviating the mismatch problem of updated part and static part for the main task as a specific regularization effect for test-time training. MixTTT can be used as an add-on module in general test-time training based methods to further improve their performance. Experimental results show the effectiveness of our method.


title: A finite-volume scheme for modeling compressible magnetohydrodynamic flows at low Mach numbers in stellar interiors

abstract: Fully compressible magnetohydrodynamic (MHD) simulations are a fundamental tool for investigating the role of dynamo amplification in the generation of magnetic fields in deep convective layers of stars. The flows that arise in such environments are characterized by low (sonic) Mach numbers (M_son < 0.01 ). In these regimes, conventional MHD codes typically show excessive dissipation and tend to be inefficient as the Courant-Friedrichs-Lewy (CFL) constraint on the time step becomes too strict. In this work we present a new method for efficiently simulating MHD flows at low Mach numbers in a space-dependent gravitational potential while still retaining all effects of compressibility. The proposed scheme is implemented in the finite-volume Seven-League Hydro (SLH) code, and it makes use of a low-Mach version of the five-wave Harten-Lax-van Leer discontinuities (HLLD) solver to reduce numerical dissipation, an implicit-explicit time discretization technique based on Strang splitting to overcome the overly strict CFL constraint, and a well-balancing method that dramatically reduces the magnitude of spatial discretization errors in strongly stratified setups. The solenoidal constraint on the magnetic field is enforced by using a constrained transport method on a staggered grid. We carry out five verification tests, including the simulation of a small-scale dynamo in a star-like environment at M_son ~ 0.001 . We demonstrate that the proposed scheme can be used to accurately simulate compressible MHD flows in regimes of low Mach numbers and strongly stratified setups even with moderately coarse grids.

categories: astro-ph.SR astro-ph.IM cs.NA math.NA physics.comp-ph physics.flu-dyn


title: Proactive Opinion-Driven Robot Navigation around Human Movers

abstract: We propose, analyze, and experimentally verify a new proactive approach for robot social navigation driven by the robot's "opinion" for which way and by how much to pass human movers crossing its path. The robot forms an opinion over time according to nonlinear dynamics that depend on the robot's observations of human movers and its level of attention to these social cues. For these dynamics, it is guaranteed that when the robot's attention is greater than a critical value, deadlock in decision making is broken, and the robot rapidly forms a strong opinion, passing each human mover even if the robot has no bias nor evidence for which way to pass. We enable proactive rapid and reliable social navigation by having the robot grow its attention across the critical value when a human mover approaches. With human-robot experiments we demonstrate the flexibility of our approach and validate our analytical results on deadlock-breaking. We also show that a single design parameter can tune the trade-off between efficiency and reliability in human-robot passing. The new approach has the additional advantage that it does not rely on a predictive model of human behavior.


title: Transformation hydrodynamic metamaterials: Rigorous arguments on form invariance and structured design with spatial variance

abstract: The method of transformation optics has been a powerful tool to manipulate physical fields if governing equations are formally invariant under coordinate transformations. However, regulation of hydrodynamics is still far from satisfactory due to the lack of rigorous arguments on the validation of transformation theory for various categories of fluids. In this paper, we systematically investigate the applicability of transformation optics to fluid mechanics. We find that the Stokes equation and the Navier-Stokes equations, respectively describing the Stokes flow and general flow, will alter their forms under curvilinear transformations. On the contrary, the Hele-Shaw flow characterized with shallow geometries rigidly retain the form of its governing equation under arbitrary transformations. Based on the derived transformation rules, we propose the design of multilayered structures with spatially varying cell depth, instead of engineering the rank-2 shear viscosity tensor, to realize the required anisotropy of transformation Hele-Shaw hydrodynamic metamaterials. The theoretical certify and fabrication method revealed in this work may pave an avenue for precisely controlling flow distribution with the concept of artificial structure design.


title: Strong integrality of inversion subgroups of Kac-Moody groups

abstract: Let $A$ be a symmetrizable generalized Cartan matrix with corresponding Kac--Moody algebra $\frak{g}$ over ${\mathbb Q}$. Let $V=V^{\lambda}$ be an integrable highest weight $\frak{g}$-module and let $V_{\mathbb Z}=V^{\lambda}_{\mathbb Z}$ be a ${\mathbb Z}Z$-form of $V$. Let $G$ be an associated minimal representation-theoretic Kac--Moody group and let $G({\mathbb Z})$ be its integral subgroup. Let $\Gamma({\mathbb Z})$ be the Chevalley subgroup of $G$, that is, the subgroup that stabilizes the lattice $V_{{\mathbb Z}}$ in $V$. For a subgroup $M$ of $G$, we say that $M$ is integral if $M\cap G({\mathbb Z})=M\cap \Gamma({\mathbb Z})$ and that $M$ is strongly integral if there exists $v\in V^{\lambda}_{\mathbb Z}$ such that, for all $g\in M$, $g\cdot v\in V_{\mathbb{Z}}$ implies $g\in G({\mathbb{Z}})$. We prove strong integrality of inversion subgroups $U_{(w)}$ of $G$ where, for $w\in W$, $U_{(w)}$ is the the group generated by positive real root groups that are flipped to negative roots by $w^{-1}$. We use this to prove strong integrality of subgroups of the unipotent subgroup $U$ of $G$ generated by commuting real root groups. When $A$ has rank 2, this gives strong integrality of subgroups $U_1$ and $U_2$ where $U=U_{1}{\Large{*}}\ U_{2}$ and each $U_{i}$ is generated by `half' the positive real roots.


title: Robotic Learning the Sequence of Packing Irregular Objects from Human Demonstrations

abstract: We tackle the challenge of robotic bin packing with irregular objects, such as groceries. Given the diverse physical attributes of these objects and the complex constraints governing their placement and manipulation, employing preprogrammed strategies becomes unfeasible. Our approach is to learn directly from expert demonstrations in order to extract implicit task knowledge and strategies to ensure safe object positioning, efficient use of space, and the generation of human-like behaviors that enhance human-robot trust. We rely on human demonstrations to learn a Markov chain for predicting the object packing sequence for a given set of items and then compare it with human performance. Our experimental results show that the model outperforms human performance by generating sequence predictions that humans classify as human-like more frequently than human-generated sequences. The human demonstrations were collected using our proposed VR platform, BoxED, which is a box packaging environment for simulating real-world objects and scenarios for fast and streamlined data collection with the purpose of teaching robots. We collected data from 43 participants packing a total of 263 boxes with supermarket-like objects, yielding 4644 object manipulations. Our VR platform can be easily adapted to new scenarios and objects, and is publicly available, alongside our dataset, at https://github.com/andrejfsantos4/BoxED.


title: An emerging global picture of heavy fermion physics

abstract: Recent progresses using state-of-the-art experimental techniques have motivated a number of new insights on heavy fermion physics. This article gives a brief summary of the author's research along this direction. We discuss five major topics including: (1) Development of phase coherence and two-stage hybridization; (2) Two-fluid behavior and hidden universal scaling; (3) Quantum phase transitions and fractionalized heavy fermion liquid; (4) Quantum critical superconductivity; (5) Material-specific properties. These cover the most essential parts of heavy fermion physics and lead to an emerging global picture beyond conventional theories based on mean-field or local approximations.


title: Codeless App Development: Evaluating A Cloud-Native Domain-Specific Functions Approach

abstract: Mobile applications play an important role in the economy today and there is an increasing trend for app enablement on multiple platforms. However, creating, distributing, and maintaining an application remain expert tasks. Even for software developers, the process can be error-prone and resource-consuming, especially when targeting different platforms simultaneously. Researchers have proposed several frameworks to facilitate cross-platform app development, but little attention has been paid to non-technical users. In this paper, we described the Flow framework, which takes the advantage of domain-specific languages to enable no-code specification for app modeling. The cloud-native coordination mechanism further supports non-technical users to execute, monitor, and maintain apps for any target platforms. User evaluations were conducted to assess the usability and user experience with the system. The results indicated that users can develop apps in Flow with ease, but the prototype could be optimized to reduce learning time and workload.


title: Coherent control of topological states in an integrated waveguide lattice

abstract: Topological photonics holds the promise for enhanced robustness of light localization and propagation enabled by the global symmetries of the system. While traditional designs of topological structures rely on lattice symmetries, there is an alternative strategy based on accidentally degenerate modes of the individual meta-atoms. Using this concept, we experimentally realize topological edge state in an integrated optical nanostructure based on the array of silicon nano-waveguides, each hosting a pair of degenerate modes at telecom wavelengths. Exploiting the hybrid nature of the topological mode formed by the superposition of waveguide modes with different symmetry, we implement coherent control of the topological edge state by adjusting the phase between the degenerate modes and demonstrating selective excitation of bulk or edge states. The resulting field distribution is imaged via third harmonic generation allowing us to quantify the localization of topological modes as a function of the relative phase of the excitations. Our results highlight the impact of engineered accidental degeneracies on the formation of topological phases, extending the opportunities stemming from topological nanophotonic systems.


title: Saddle-node bifurcation of limit cycles in an epidemic model with two levels of awareness

abstract: In this paper we study the appearance of bifurcations of limit cycles in an epidemic model with two types of aware individuals. All the transition rates are constant except for the alerting decay rate of the most aware individuals and the rate of creation of the less aware individuals, which depend on the disease prevalence in a non-linear way. For the ODE model, the numerical computation of the limit cycles and the study of their stability are made by means of the Poincar\'e map. Moreover, sufficient conditions for the existence of an endemic equilibrium are also obtained. These conditions involve a rather natural relationship between the transmissibility of the disease and that of awareness. Finally, stochastic simulations of the model under a very low rate of imported cases are used to confirm the scenarios of bistability (endemic equilibrium and limit cycle) observed in the solutions of the ODE model.


title: High-energy neutrino-induced cascade from the direction of the flaring radio blazar TXS 0506+056 observed by Baikal-GVD in 2021

abstract: The existence of high-energy astrophysical neutrinos has been unambiguously demonstrated, but their sources remain elusive. IceCube reported an association of a 290-TeV neutrino with a gamma-ray flare of TXS 0506+056, an active galactic nucleus with a compact radio jet pointing to us. Later, radio-bright blazars were shown to be associated with IceCube neutrino events with high statistical significance. These associations remained unconfirmed with the data of independent experiments. Here we report on the detection of a rare neutrino event with the estimated energy of 224+-75 TeV from the direction of TXS 0506+056 by the new Baikal Gigaton Volume Detector (Baikal-GVD) in April 2021. This event is the highest-energy cascade detected so far by the Baikal-GVD neutrino telescope from a direction below horizon. The result supports previous suggestions that radio blazars in general, and TXS 0506+056 in particular, are the sources of high-energy neutrinos, and opens up the cascade channel for the neutrino astronomy.


title: SelfNeRF: Fast Training NeRF for Human from Monocular Self-rotating Video

abstract: In this paper, we propose SelfNeRF, an efficient neural radiance field based novel view synthesis method for human performance. Given monocular self-rotating videos of human performers, SelfNeRF can train from scratch and achieve high-fidelity results in about twenty minutes. Some recent works have utilized the neural radiance field for dynamic human reconstruction. However, most of these methods need multi-view inputs and require hours of training, making it still difficult for practical use. To address this challenging problem, we introduce a surface-relative representation based on multi-resolution hash encoding that can greatly improve the training speed and aggregate inter-frame information. Extensive experimental results on several different datasets demonstrate the effectiveness and efficiency of SelfNeRF to challenging monocular videos.


title: A Conditional-Probability-Distribution Model for Bandwidth Estimation with Application in Live Video Streaming

abstract: Experience of live video streaming can be improved if the video uploader has more accurate knowledge about the future available bandwidth. Because with such knowledge, one is able to know what sizes should he encode the frames to be in an ever-changing network. Researchers have developed some algorithms to predict throughputs in the literature, from where some are simple hence practical. However, limitation remains as most current bandwidth prediction methods are predicting a value, or a point estimate, of future bandwidth. Because in many practical scenarios, it is desirable to control the performance to some targets, e.g., video delivery rate over a given target percentage, which cannot be easily achieved via most current methods. In this work, we propose the use of probability distribution to model future bandwidth. Specifically, we model future bandwidth using past data transfer measurements and then derive a probability model for use in the application. This changes the selection of parameters in application into a probabilistic manner such that given target performance can be achieved in the long run. Inside our model, we use the conditional-probability method to correlate past and future bandwidth and hence further improve the estimating performance.


title: What Intraclass Covariance Structures Can Symmetric Bernoulli Random Variables Have?

abstract: The covariance matrix of random variables $X_1,\dots,X_n$ is said to have an intraclass covariance structure if the variances of all the $X_i$'s are the same and all the pairwise covariances of the $X_i$'s are the same. We provide a possibly surprising characterization of such covariance matrices in the case when the $X_i$'s are symmetric Bernoulli random variables.


title: A note on numerical radius attaining mappings

abstract: We prove that if every bounded linear operator (or $N$-homogeneous polynomials) with the compact approximation property attains its numerical radius, then $X$ is a finite dimensional space. Moreover, we present an improvement of the polynomial James' theorem for numerical radius proved by Acosta, Becerra Guerrero and Gal$\'a$n in 2003. Finally, the denseness of weakly (uniformly) continuous $2$-homogeneous polynomials on a Banach space whose Aron-Berner extensions attain their numerical radii is obtained.


title: Public Transit Arrival Prediction: a Seq2Seq RNN Approach

abstract: Arrival/Travel times for public transit exhibit variability on account of factors like seasonality, dwell times at bus stops, traffic signals, travel demand fluctuation etc. The developing world in particular is plagued by additional factors like lack of lane discipline, excess vehicles, diverse modes of transport and so on. This renders the bus arrival time prediction (BATP) to be a challenging problem especially in the developing world. A novel data-driven model based on recurrent neural networks (RNNs) is proposed for BATP (in real-time) in the current work. The model intelligently incorporates both spatial and temporal correlations in a unique (non-linear) fashion distinct from existing approaches. In particular, we propose a Gated Recurrent Unit (GRU) based Encoder-Decoder(ED) OR Seq2Seq RNN model (originally introduced for language translation) for BATP. The geometry of the dynamic real time BATP problem enables a nice fit with the Encoder-Decoder based RNN structure. We feed relevant additional synchronized inputs (from previous trips) at each step of the decoder (a feature classically unexplored in machine translation applications). Further motivated from accurately modelling congestion influences on travel time prediction, we additionally propose to use a bidirectional layer at the decoder (something unexplored in other time-series based ED application contexts). The effectiveness of the proposed algorithms is demonstrated on real field data collected from challenging traffic conditions. Our experiments indicate that the proposed method outperforms diverse existing state-of-art data-driven approaches proposed for the same problem.


title: Improving Quantum Classifier Performance in NISQ Computers by Voting Strategy from Ensemble Learning

abstract: Due to the immense potential of quantum computers and the significant computing overhead required in machine learning applications, the variational quantum classifier (VQC) has received a lot of interest recently for image classification. The performance of VQC is jeopardized by the noise in Noisy Intermediate-Scale Quantum (NISQ) computers, which is a significant hurdle. It is crucial to remember that large error rates occur in quantum algorithms due to quantum decoherence and imprecision of quantum gates. Previous studies have looked towards using ensemble learning in conventional computing to reduce quantum noise. We also point out that the simple average aggregation in classical ensemble learning may not work well for NISQ computers due to the unbalanced confidence distribution in VQC. Therefore, in this study, we suggest that ensemble quantum classifiers be optimized with plurality voting. On the MNIST dataset and IBM quantum computers, experiments are carried out. The results show that the suggested method can outperform state-of-the-art on two- and four-class classifications by up to 16.0% and 6.1% , respectively.


title: The probability of casting a pivotal vote in an Instant Runoff Voting election

abstract: I derive the probability that a vote cast in an Instant Runoff Voting election will change the election winner. I phrase that probability in terms of the candidates' expected vote totals, and then I estimate its magnitude for different distributions of voter preferences. The result is very similar to the probability of casting a pivotal vote in a Single-Member District Plurality election, which suggests that Instant Runoff Voting does not actually increase or decrease voters' incentives to vote strategically. The derivation uncovers a counter-intuitive phenomenon that I call "indirect pivotality", in which a voter can cause one candidate to win by ranking some other candidate on their ballot.


title: Boundary crossing problems and functional transformations for Ornstein-Uhlenbeck processes

abstract: We are interested in the law of the first passage time of an Ornstein-Uhlenbeck process to time-varying thresholds. We show that this problem is connected to the laws of the first passage time of the process to members of a two-parameter family of functional transformations of a time-varying boundary. For specific values of the parameters, these transformations appear in a realisation of a standard Ornstein-Uhlenbeck bridge. We provide three different proofs of this connection. The first one is based on a similar result for Brownian motion, the second uses a generalisation of the so-called Gauss-Markov processes and the third relies on the Lie group symmetry method. We investigate the properties of these transformations and study the algebraic and analytical properties of an involution operator which is used in constructing them. We also show that these transformations map the space of solutions of Sturm-Liouville equations into the space of solutions of the associated nonlinear ordinary differential equations. Lastly, we interpret our results through the method of images and give new examples of curves with explicit first passage time densities.


title: Conceptual Design of Cellular Auxetic Systems with Passive Adaptation to Loading

abstract: Auxetics refer to a class of engineered structures which exhibit an overall negative Poisson's ratio. These structures open up various potential opportunities in impact resistance, high energy absorption, and flexible robotics, among others. Interestingly, auxetic structures could also be tailored to provide passive adaptation to changes in environmental stimuli -- an adaptation of this concept is explored in this paper in the context of designing a novel load-adaptive gripper system. Defining the design in terms of repeating parametric unit cells from which the finite structure can be synthesized presents an attractive computationally-efficient approach to designing auxetic structures. This approach also decouples the optimization cost and the size of the overall structure, and avoids the pitfalls of system-scale design e.g., via topology optimization. In this paper, a surrogate-based design optimization framework is presented to implement the concept of passively load-adaptive structures (of given outer shape) synthesized from auxetic unit cells. Open-source meshing, FEA and Bayesian Optimization tools are integrated to develop this computational framework, enhancing it adopt-ability and extensibility. Demonstration of the concept and the underlying framework is performed by designing a simplified robotic gripper, with the objective to maximize the ratio of towards-load (gripping) horizontal displacement to the load-affected vertical displacement. Optimal auxetic cell-based design generated thereof is found to be four times better in terms of exhibited contact reaction force when compared to a design obtained with topology optimization that is subjected to the same specified maximum loading.


title: Synthesizing Dominant Strategies for Liveness (Full Version)

abstract: Reactive synthesis automatically derives a strategy that satisfies a given specification. However, requiring a strategy to meet the specification in every situation is, in many cases, too hard of a requirement. Particularly in compositional synthesis of distributed systems, individual winning strategies for the processes often do not exist. Remorsefree dominance, a weaker notion than winning, accounts for such situations: dominant strategies are only required to be as good as any alternative strategy, i.e., they are allowed to violate the specification if no other strategy would have satisfied it in the same situation. The composition of dominant strategies is only guaranteed to be dominant for safety properties, though; preventing the use of dominance in compositional synthesis for liveness specifications. Yet, safety properties are often not expressive enough. In this paper, we thus introduce a new winning condition for strategies, called delay-dominance, that overcomes this weakness of remorsefree~dominance: we show that it is compositional for many safety and liveness specifications, enabling a compositional synthesis algorithm based on delay-dominance for general specifications. Furthermore, we introduce an automaton construction for recognizing delay-dominant strategies and prove its soundness and completeness. The resulting automaton is of single-exponential size in the squared length of the specification and can immediately be used for safraless synthesis procedures. Thus, synthesis of delay-dominant strategies is, as synthesis of winning strategies, in 2EXPTIME.


title: Putting Them under Microscope: A Fine-Grained Approach for Detecting Redundant Test Cases in Natural Language

abstract: Natural language (NL) documentation is the bridge between software managers and testers, and NL test cases are prevalent in system-level testing and other quality assurance activities. Due to reasons such as requirements redundancy, parallel testing, and tester turnover within long evolving history, there are inevitably lots of redundant test cases, which significantly increase the cost. Previous redundancy detection approaches typically treat the textual descriptions as a whole to compare their similarity and suffer from low precision. Our observation reveals that a test case can have explicit test-oriented entities, such as tested function Components, Constraints, etc; and there are also specific relations between these entities. This inspires us with a potential opportunity for accurate redundancy detection. In this paper, we first define five test-oriented entity categories and four associated relation categories and re-formulate the NL test case redundancy detection problem as the comparison of detailed testing content guided by the test-oriented entities and relations. Following that, we propose Tscope, a fine-grained approach for redundant NL test case detection by dissecting test cases into atomic test tuple(s) with the entities restricted by associated relations. To serve as the test case dissection, Tscope designs a context-aware model for the automatic entity and relation extraction. Evaluation on 3,467 test cases from ten projects shows Tscope could achieve 91.8% precision, 74.8% recall, and 82.4% F1, significantly outperforming state-of-the-art approaches and commonly-used classifiers. This new formulation of the NL test case redundant detection problem can motivate the follow-up studies to further improve this task and other related tasks involving NL descriptions.


title: DGORL: Distributed Graph Optimization based Relative Localization of Multi-Robot Systems

abstract: An optimization problem is at the heart of many robotics estimating, planning, and optimum control problems. Several attempts have been made at model-based multi-robot localization, and few have formulated the multi-robot collaborative localization problem as a factor graph problem to solve through graph optimization. Here, the optimization objective is to minimize the errors of estimating the relative location estimates in a distributed manner. Our novel graph-theoretic approach to solving this problem consists of three major components; (connectivity) graph formation, expansion through transition model, and optimization of relative poses. First, we estimate the relative pose-connectivity graph using the received signal strength between the connected robots, indicating relative ranges between them. Then, we apply a motion model to formulate graph expansion and optimize them using g$^2$o graph optimization as a distributed solver over dynamic networks. Finally, we theoretically analyze the algorithm and numerically validate its optimality and performance through extensive simulations. The results demonstrate the practicality of the proposed solution compared to a state-of-the-art algorithm for collaborative localization in multi-robot systems.


title: The Kato square root problem for parabolic operators with an anti-symmetric part in BMO

abstract: We solve the Kato square root problem for parabolic operators whose coefficients can be written as the sum of a complex part, which is elliptic, and a real anti-symmetric part which is in BMO. In particular, we allow for unbounded coefficients.


title: The category $\Theta_2$, derived modifications, and deformation theory of monoidal categories

abstract: A complex $C^\bullet(C,D)(F,G)(\eta, \theta)$, generalising the Davydov-Yetter complex of a monoidal category, is constructed. Here $C,D$ are $\Bbbk$-linear (dg) monoidal categories, $F,G\colon C\to D$ are $\Bbbk$-linear (dg) strict monoidal functors, $\eta,\theta\colon F\Rightarrow G$ are monoidal natural transformations. Morally, it is a complex of ``derived modifications'' $\eta \Rrightarrow \theta$, likewise for the case of dg categories one has the complex of ``derived natural transformations'' $F\Rightarrow G$, given by the Hochschild cochain complex of $C$ with coefficients in $C$-bimodule $D(F-,G=)$. As well, an intrinsic homological algebra interpretation of $C^\bullet(C,D)(F,G)(\eta,\theta)$ as $RHom$ in an abelian category of 2-bimodules over $C$, is provided. The complex $C^\bullet(C,D)(F,G)(\eta,\theta)$ naturally arises from a 2-cocellular dg vector space $A(C,D)(F,G)(\eta,\theta)\colon \Theta_2\to C^\bullet(\Bbbk)$, as its $\Theta_2$-totalization (here $\Theta_2$ is the category dual to the category of Joyal 2-disks). It is shown that $H^3(C^\bullet(C,C)(\mathrm{Id},\mathrm{Id})(\mathrm{id},\mathrm{id})))$ is isomorphic to the vector space of the outer infinitesimal deformations of the $\Bbbk$-linear monoidal category which we call {\it full} deformations. It means that the following data is to be deformed: (a) the underlying dg category structure, (b) the monoidal product on morphisms (the monoidal product on objects is a set-theoretical datum and is maintained under the deformation), (c) the associator. It is shown that $C^\bullet(C,D)(F,F)(\mathrm{id},\mathrm{id})$ is a homotopy $e_2$-algebra. Conjecturally, $C^\bullet(C,C)(\mathrm{Id},\mathrm{Id})(\mathrm{id},\mathrm{id})$ is a homotopy $e_3$-algebra; however the proof requires more sophisticated methods and we hope to complete it in our next paper.


title: Determining Follower Aircraft's Optimal Trajectory in Relation to a Dynamic Formation Ring

abstract: The specific objective of this paper is to develop a tool that calculates the optimal trajectory of the follower aircraft as it completes a formation rejoin, and then maintains the formation position, defined as a ring of points, until a fixed final time. The tool is designed to produce optimal trajectories for a variety of initial conditions and leader trajectories. Triple integrator dynamics are used to model the follower aircraft in three dimensions. Control is applied directly to the rate of acceleration. Both the follower's and leader's velocities and accelerations are bounded, as dictated by the aircraft's performance envelope. Lastly, a path constraint is used to ensure the follower avoids the leader's jet wash region. This optimal control problem is solved through numerical analysis using the direct orthogonal collocation solver GPOPS-II. Two leader trajectories are investigated, including a descending spiral and continuous vertical loops. Additionally, a study of the effect of various initial guesses is performed. All trajectories displayed a direct capture of the formation position, however changes in solver initial conditions demonstrate various behaviors in how the follower maintains the formation position. The developed tool has proven adequate to support future research in crafting real-time controllers capable of determining near-optimal trajectories.


title: Neural Network Based Point Spread Function Deconvolution For Astronomical Applications

abstract: Optical astronomical images are strongly affected by the point spread function (PSF) of the optical system and the atmosphere (seeing) which blurs the observed image. The amount of blurring depends both on the observed band, and on the atmospheric conditions during observation. A typical astronomical image will likely have a unique PSF, that is non-circular and different in different bands. At the same time, observations of known stars also give us an accurate determination of this PSF. Therefore, any serious candidate for production analysis of astronomical images must take the known PSF into account during the image analysis. So far, the majority of applications of neural networks (NN) to astronomical image analysis have ignored this problem by assuming a fixed PSF in training and validation. We present a neural-network based deconvolution algorithm based on Deep Wiener Deconvolution Network (DWDN). This algorithm belongs to a class of non-blind deconvolution algorithms, since it assumes the PSF shape is known. We study the performance of different versions of this algorithm under realistic observational conditions in terms of the recovery of the most relevant astronomical quantities such as colors, ellipticities and orientations. We investigate custom loss functions that optimize the recovery of astronomical quantities with mixed results.


title: First-principles based plasma profile predictions for optimized stellarators

abstract: In the present Letter, first-of-its-kind computer simulations predicting plasma profiles for modern optimized stellarators -- while self-consistently retaining neoclassical transport, turbulent transport with 3D effects, and external physical sources -- are presented. These simulations exploit a newly developed coupling framework involving the global gyrokinetic turbulence code GENE-3D, the neoclassical transport code KNOSOS, and the 1D transport solver TANGO. This framework is used to analyze the recently observed degradation of energy confinement in electron-heated plasmas in the Wendelstein 7-X stellarator, where the central ion temperature was "clamped" to $T_i \approx 1.5$ keV regardless of the external heating power. By performing first-principles based simulations, we provide key evidence to understand this effect, namely the inefficient thermal coupling between electrons and ions in a turbulence-dominated regime, which is exacerbated by the large $T_e/T_i$ ratios, and show that a more efficient ion heat source, such as direct ion heating, will increase the on-axis ion temperature. This work paves the way towards the use of high-fidelity models for the development of the next generation of stellarators, in which neoclassical and turbulent transport are optimized simultaneously.


title: Penalty parameter selection and asymmetry corrections to Laplace approximations in Bayesian P-splines models

abstract: Laplacian-P-splines (LPS) associate the P-splines smoother and the Laplace approximation in a unifying framework for fast and flexible inference under the Bayesian paradigm. Gaussian Markov field priors imposed on penalized latent variables and the Bernstein-von Mises theorem typically ensure a razor-sharp accuracy of the Laplace approximation to the posterior distribution of these variables. This accuracy can be seriously compromised for some unpenalized parameters, especially when the information synthesized by the prior and the likelihood is sparse. We propose a refined version of the LPS methodology by splitting the latent space in two subsets. The first set involves latent variables for which the joint posterior distribution is approached from a non-Gaussian perspective with an approximation scheme that is particularly well tailored to capture asymmetric patterns, while the posterior distribution for parameters in the complementary latent set undergoes a traditional treatment with Laplace approximations. As such, the dichotomization of the latent space provides the necessary structure for a separate treatment of model parameters, yielding improved estimation accuracy as compared to a setting where posterior quantities are uniformly handled with Laplace. In addition, the proposed enriched version of LPS remains entirely sampling-free, so that it operates at a computing speed that is far from reach to any existing Markov chain Monte Carlo approach. The methodology is illustrated on the additive proportional odds model with an application on ordinal survey data.


title: Evaluating the Plausible Range of N2O Biosignatures on Exo-Earths: An Integrated Biogeochemical, Photochemical, and Spectral Modeling Approach

abstract: Nitrous oxide (N2O) -- a product of microbial nitrogen metabolism -- is a compelling exoplanet biosignature gas with distinctive spectral features in the near- and mid-infrared, and only minor abiotic sources on Earth. Previous investigations of N2O as a biosignature have examined scenarios using Earthlike N2O mixing ratios or surface fluxes, or those inferred from Earth's geologic record. However, biological fluxes of N2O could be substantially higher, due to a lack of metal catalysts or if the last step of the denitrification metabolism that yields N2 from N2O had never evolved. Here, we use a global biogeochemical model coupled with photochemical and spectral models to systematically quantify the limits of plausible N2O abundances and spectral detectability for Earth analogs orbiting main-sequence (FGKM) stars. We examine N2O buildup over a range of oxygen conditions (1%-100% present atmospheric level) and N2O fluxes (0.01-100 teramole per year; Tmol = 10^12 mole) that are compatible with Earth's history. We find that N2O fluxes of 10 [100] Tmol yr$^{-1}$ would lead to maximum N2O abundances of ~5 [50] ppm for Earth-Sun analogs, 90 [1600] ppm for Earths around late K dwarfs, and 30 [300] ppm for an Earthlike TRAPPIST-1e. We simulate emission and transmission spectra for intermediate and maximum N2O concentrations that are relevant to current and future space-based telescopes. We calculate the detectability of N2O spectral features for high-flux scenarios for TRAPPIST-1e with JWST. We review potential false positives, including chemodenitrification and abiotic production via stellar activity, and identify key spectral and contextual discriminants to confirm or refute the biogenicity of the observed N2O.


title: Thermal State Preparation via Rounding Promises

abstract: A promising avenue for the preparation of Gibbs states on a quantum computer is to simulate the physical thermalization process. The Davies generator describes the dynamics of an open quantum system that is in contact with a heat bath. Crucially, it does not require simulation of the heat bath itself, only the system we hope to thermalize. Using the state-of-the-art techniques for quantum simulation of the Lindblad equation, we devise a technique for the preparation of Gibbs states via thermalization as specified by the Davies generator. In doing so, we encounter a severe technical challenge: implementation of the Davies generator demands the ability to estimate the energy of the system unambiguously. That is, each energy of the system must be deterministically mapped to a unique estimate. Previous work showed that this is only possible if the system satisfies an unphysical 'rounding promise' assumption. We solve this problem by engineering a random ensemble of rounding promises that simultaneously solves three problems: First, each rounding promise admits preparation of a 'promised' thermal state via a Davies generator. Second, these Davies generators have a similar mixing time as the ideal Davies generator. Third, the average of these promised thermal states approximates the ideal thermal state.


title: On a weighted sum over multiplicative functions and its applications to the GPY sieve

abstract: In this paper, we investigate the asymptotics of a class of weighted sums over multiplicative functions and apply our results to deduce a stronger asymptotic form of Yitang Zhang's smoothened GPY sieve with coefficient expressions that are friendly to numerical computations.


title: Bringing motion taxonomies to continuous domains via GPLVM on hyperbolic manifolds

abstract: Human motion taxonomies serve as high-level hierarchical abstractions that classify how humans move and interact with their environment. They have proven useful to analyse grasps, manipulation skills, and whole-body support poses. Despite substantial efforts devoted to design their hierarchy and underlying categories, their use remains limited. This may be attributed to the lack of computational models that fill the gap between the discrete hierarchical structure of the taxonomy and the high-dimensional heterogeneous data associated to its categories. To overcome this problem, we propose to model taxonomy data via hyperbolic embeddings that capture the associated hierarchical structure. We achieve this by formulating a novel Gaussian process hyperbolic latent variable model that incorporates the taxonomy structure through graph-based priors on the latent space and distance-preserving back constraints. We validate our model on three different human motion taxonomies to learn hyperbolic embeddings that faithfully preserve the original graph structure. We show that our model properly encodes unseen data from existing or new taxonomy categories, and outperforms its Euclidean and VAE-based counterparts. Finally, through proof-of-concept experiments, we show that our model may be used to generate realistic trajectories between the learned embeddings.


title: The (human) respiratory rate at rest

abstract: All schoolchildren know how often they breathe, but even experts don't know exactly why. The aim of this publication is to develop a model of the resting spontaneous breathing rate using physiological, physical and mathematical methods with the aid of the principle that evolution pushes physiology in a direction that is as economical as possible. The respiratory rate then follows from an equation with the parameters CO2-production rate of the organism, resistance, static compliance and dead space of the lungs, the inspiration duration: expiration duration - ratio and the end-expiratory CO2 fraction. The derivation requires exclusively secondary school mathematics. Using the example of an adult human or a newborn child, data from the literature then result in normal values for their breathing rate at rest. The reason for the higher respiratory rate of a newborn human compared to an adult is the relatively high CO2-production rate together with the comparatively low compliance of the lungs. A side result is the fact that the common alveolar pressure throughout the lungs and the common time constant is a consequence of the economical principle as well. Since the above parameters are not human-specific, there is no reason to assume that the above equation could not also be applicable to many animals breathing through lungs within a thorax, especially mammals. Not only physiology and biology, but also medicine, could benefit: Applicability is being discussed in pulmonary function diagnostics, including pathophysiology. However, the present publication only claims to be a theoretical concept for the spontaneous quiet breathing rate. In the absence of comparable animal data, this publication is intended to encourage further scientific tests.


title: Richardson's Forecast: the Dream and the Fantasy

abstract: A remarkable book on weather forecasting was published just one hundred years ago. Written by the brilliant and prescient applied mathematician, Lewis Fry Richardson, Weather Prediction by Numerical Process was published by Cambridge University Press and went on sale in 1922 at a cost of 30 shillings. Weather Prediction by Numerical Process is a strikingly original scientific work, one of the most remarkable books on meteorology ever written. In it, Richardson described a systematic mathematical method for predicting the weather and demonstrated its application by carrying out a trial forecast. Richardson's dream was that scientific weather forecasting would one day become a practical reality. Modern weather forecasts are made by calculating solutions of the mathematical equations governing the atmosphere. The solutions are generated by complex simulation models implemented on powerful computer equipment. His dream has indeed come true.


title: Linking emergent phenomena and broken symmetries through one-dimensional objects and their dot/cross products

abstract: The symmetry of the whole experimental setups, including specific sample environments and measurables, can be compared with that of specimens for observable physical phenomena. We, first, focus on one-dimensional (1D) experimental setups, independent from any spatial rotation around one direction, and show that eight kinds of 1D objects (four; vectorlike, the other four; director-like), defined in terms of symmetry, and their dot and cross products are an effective way for the symmetry consideration. The dot products form a Z2xZ2xZ2 group with Abelian additive operation, and the cross products form a Z2xZ2 group with Abelian additive operation or Q8, a non-abelian group of order eight, depending on their signs. Those 1D objects are associated with characteristic physical phenomena. When a 3D specimen has Symmetry Operational Similarity (SOS) with (identical or lower, but not higher, symmetries than) an 1D object with a particular phenomenon, the 3D specimen can exhibit the phenomenon. This SOS approach can be a transformative and unconventional avenue for symmetry-guided materials designs and discoveries.


title: Robust Target Training for Multi-Source Domain Adaptation

abstract: Given multiple labeled source domains and a single target domain, most existing multi-source domain adaptation (MSDA) models are trained on data from all domains jointly in one step. Such an one-step approach limits their ability to adapt to the target domain. This is because the training set is dominated by the more numerous and labeled source domain data. The source-domain-bias can potentially be alleviated by introducing a second training step, where the model is fine-tuned with the unlabeled target domain data only using pseudo labels as supervision. However, the pseudo labels are inevitably noisy and when used unchecked can negatively impact the model performance. To address this problem, we propose a novel Bi-level Optimization based Robust Target Training (BORT$^2$) method for MSDA. Given any existing fully-trained one-step MSDA model, BORT$^2$ turns it to a labeling function to generate pseudo-labels for the target data and trains a target model using pseudo-labeled target data only. Crucially, the target model is a stochastic CNN which is designed to be intrinsically robust against label noise generated by the labeling function. Such a stochastic CNN models each target instance feature as a Gaussian distribution with an entropy maximization regularizer deployed to measure the label uncertainty, which is further exploited to alleviate the negative impact of noisy pseudo labels. Training the labeling function and the target model poses a nested bi-level optimization problem, for which we formulate an elegant solution based on implicit differentiation. Extensive experiments demonstrate that our proposed method achieves the state of the art performance on three MSDA benchmarks, including the large-scale DomainNet dataset. Our code will be available at \url{https://github.com/Zhongying-Deng/BORT2}


title: The DKU-DukeECE Diarization System for the VoxCeleb Speaker Recognition Challenge 2022

abstract: This paper discribes the DKU-DukeECE submission to the 4th track of the VoxCeleb Speaker Recognition Challenge 2022 (VoxSRC-22). Our system contains a fused voice activity detection model, a clustering-based diarization model, and a target-speaker voice activity detection-based overlap detection model. Overall, the submitted system is similar to our previous year's system in VoxSRC-21. The difference is that we use a much better speaker embedding and a fused voice activity detection, which significantly improves the performance. Finally, we fuse 4 different systems using DOVER-lap and achieve 4.75 of the diarization error rate, which ranks the 1st place in track 4.


title: The rank of 2-Selmer group associate to $\theta$-congruent numbers

abstract: We study the parity of rank of $2$-${\rm Selmer}$ groups associated to $\pi/3$ and $2\pi/3$-congruent numbers. Our second result gives some positive densities about $\pi/3$ and $2\pi/3$ non-congruent numbers which can support the even part of Goldfeld's conjecture. We give some necessary conditions such that $n$ is non $\pi/3$-congruent number for elliptic curves $E_n$ whose Shafarevich-Tate group is non-trivial. In the last section, we show that for $n=pq\equiv 5(resp. \ 11)\pmod{24}$, the density of non $\pi/3$($resp.$ $2\pi/3$)-congruent numbers is at least 75\%, where $p,q$ are primes.


title: Detection and Evaluation of Clusters within Sequential Data

abstract: Motivated by theoretical advancements in dimensionality reduction techniques we use a recent model, called Block Markov Chains, to conduct a practical study of clustering in real-world sequential data. Clustering algorithms for Block Markov Chains possess theoretical optimality guarantees and can be deployed in sparse data regimes. Despite these favorable theoretical properties, a thorough evaluation of these algorithms in realistic settings has been lacking. We address this issue and investigate the suitability of these clustering algorithms in exploratory data analysis of real-world sequential data. In particular, our sequential data is derived from human DNA, written text, animal movement data and financial markets. In order to evaluate the determined clusters, and the associated Block Markov Chain model, we further develop a set of evaluation tools. These tools include benchmarking, spectral noise analysis and statistical model selection tools. An efficient implementation of the clustering algorithm and the new evaluation tools is made available together with this paper. Practical challenges associated to real-world data are encountered and discussed. It is ultimately found that the Block Markov Chain model assumption, together with the tools developed here, can indeed produce meaningful insights in exploratory data analyses despite the complexity and sparsity of real-world data.


title: New Machine Learning Techniques for Simulation-Based Inference: InferoStatic Nets, Kernel Score Estimation, and Kernel Likelihood Ratio Estimation

abstract: We propose an intuitive, machine-learning approach to multiparameter inference, dubbed the InferoStatic Networks (ISN) method, to model the score and likelihood ratio estimators in cases when the probability density can be sampled but not computed directly. The ISN uses a backend neural network that models a scalar function called the inferostatic potential $\varphi$. In addition, we introduce new strategies, respectively called Kernel Score Estimation (KSE) and Kernel Likelihood Ratio Estimation (KLRE), to learn the score and the likelihood ratio functions from simulated data. We illustrate the new techniques with some toy examples and compare to existing approaches in the literature. We mention en passant some new loss functions that optimally incorporate latent information from simulations into the training procedure.


title: Adaptation in a heterogeneous environment II: To be three or not to be

abstract: We propose a model to describe the adaptation of a phenotypically structured population in a $H$-patch environment connected by migration, with each patch associated with a different phenotypic optimum, and we perform a rigorous mathematical analysis of this model. We show that the large-time behaviour of the solution (persistence or extinction) depends on the sign of a principal eigenvalue, $\lambda_H$, and we study the dependency of $\lambda_H$ with respect to $H$. This analysis sheds new light on the effect of increasing the number of patches on the persistence of a population, which has implications in agroecology and for understanding zoonoses; in such cases we consider a pathogenic population and the patches correspond to different host species. The occurrence of a springboard effect, where the addition of a patch contributes to persistence, or on the contrary the emergence of a detrimental effect by increasing the number of patches on the persistence, depends in a rather complex way on the respective positions in the phenotypic space of the optimal phenotypes associated with each patch. From a mathematical point of view, an important part of the difficulty in dealing with $H\ge 3$, compared to $H=1$ or $H=2$, comes from the lack of symmetry. Our results, which are based on a fixed point theorem, comparison principles, integral estimates, variational arguments, rearrangement techniques, and numerical simulations, provide a better understanding of these dependencies. In particular, we propose a precise characterisation of the situations where the addition of a third patch increases or decreases the chances of persistence, compared to a situation with only two patches.


title: Quantum circuits for toric code and X-cube fracton model

abstract: We propose a systematic and efficient quantum circuit composed solely of Clifford gates for simulating the ground state of the surface code model. This approach yields the ground state of the toric code in $\lceil 2L+2+log_{2}(d)+\frac{L}{2d} \rceil$ time steps, where $L$ refers to the system size and $d$ represents the maximum distance to constrain the application of the CNOT gates. Our algorithm reformulates the problem into a purely geometric one, facilitating its extension to attain the ground state of certain 3D topological phases, such as the 3D toric model in $3L+8$ steps and the X-cube fracton model in $12L+11$ steps. Furthermore, we introduce a gluing method involving measurements, enabling our technique to attain the ground state of the 2D toric code on an arbitrary planar lattice and paving the way to more intricate 3D topological phases.

categories: cond-mat.str-el math-ph math.MP quant-ph


title: Learning Depth Vision-Based Personalized Robot Navigation From Dynamic Demonstrations in Virtual Reality

abstract: For the best human-robot interaction experience, the robot's navigation policy should take into account personal preferences of the user. In this paper, we present a learning framework complemented by a perception pipeline to train a depth vision-based, personalized navigation controller from user demonstrations. Our virtual reality interface enables the demonstration of robot navigation trajectories under motion of the user for dynamic interaction scenarios. The novel perception pipeline enrolls a variational autoencoder in combination with a motion predictor. It compresses the perceived depth images to a latent state representation to enable efficient reasoning of the learning agent about the robot's dynamic environment. In a detailed analysis and ablation study, we evaluate different configurations of the perception pipeline. To further quantify the navigation controller's quality of personalization, we develop and apply a novel metric to measure preference reflection based on the Fr\'echet Distance. We discuss the robot's navigation performance in various virtual scenes and demonstrate the first personalized robot navigation controller that solely relies on depth images. A supplemental video highlighting our approach is available online.


title: Sign uncertainty principles and low-degree polynomials

abstract: We prove an asymptotically sharp version of the Bourgain-Clozel-Kahane and Cohn-Gon\c{c}alves sign uncertainty principles for polynomials of sublinear degree times a Gaussian, as the dimension tends to infinity. In particular, we show that polynomials whose degree is sublinear in the dimension cannot improve asymptotically on those of degree at most three. This question arises naturally in the study of both linear programming bounds for sphere packing and the spinless modular bootstrap bound for free bosons.


title: Deep Learning-based Facial Appearance Simulation Driven by Surgically Planned Craniomaxillofacial Bony Movement

abstract: Simulating facial appearance change following bony movement is a critical step in orthognathic surgical planning for patients with jaw deformities. Conventional biomechanics-based methods such as the finite-element method (FEM) are labor intensive and computationally inefficient. Deep learning-based approaches can be promising alternatives due to their high computational efficiency and strong modeling capability. However, the existing deep learning-based method ignores the physical correspondence between facial soft tissue and bony segments and thus is significantly less accurate compared to FEM. In this work, we propose an Attentive Correspondence assisted Movement Transformation network (ACMT-Net) to estimate the facial appearance by transforming the bony movement to facial soft tissue through a point-to-point attentive correspondence matrix. Experimental results on patients with jaw deformity show that our proposed method can achieve comparable facial change prediction accuracy compared with the state-of-the-art FEM-based approach with significantly improved computational efficiency.


title: Asymptotic behavior of Markov complexity of matrices

abstract: To any integer matrix $A$ one can associate a matroid structure consisting of a graph and another integer matrix $A_B$. The connected components of this graph are called bouquets. We prove that bouquets behave well with respect to the $r$--th Lawrence liftings of matrices and we use it to prove that the Markov and Graver complexities of $m\times n$ matrices of rank $d$ may be arbitrarily large for $n\geq 4$ and $d\leq n-2$. In contrast, we show they are bounded in terms of $n$ and the largest absolute value $a$ of any entry of $A$.


title: Free Volume Model Analysis of the O2- Ion Mobility in Dense Ar Gas

abstract: We report the results of the experiment aimed at measuring the mobility of O2- ions in dense argon gas in the temperature range 180 K < T < 300 K. We show that an adequate theoretical description of the data is obtained by using the thermodynamic Free Volume (FV) model, originally developed to describe the electron bubble mobility in superfluid helium and successfully exploited for describing the O2- mobility in near critical neon gas. The model goal is to thermodynamically predict the free space available for ion motion. By implementing the FV model with the Millikan-Cunningham (MC) slip correction factor, we can describe the ion mobility in the crossover region bridging the dilute gas kinetic regime to the high-density hydrodynamic regime of ion transport. These results confirm the validity of the model and the universality of some of its features.


title: Blockchain-Based Decentralized Knowledge Marketplace Using Active Inference

abstract: A knowledge market can be described as a type of market where there is a consistent supply of data to satisfy the demand for information and is responsible for the mapping of potential problem solvers with the entities which need these solutions. It is possible to define them as value-exchange systems in which the dynamic features of the creation and exchange of intellectual assets serve as the fundamental drivers of the frequency, nature, and outcomes of interactions among various stakeholders. Furthermore, the provision of financial backing for research is an essential component in the process of developing a knowledge market that is capable of enduring over time, and it is also an essential driver of the progression of scientific investigation. This paper underlines flaws associated with the conventional knowledge-based market, including but not limited to excessive financing concentration, ineffective information exchange, a lack of security, mapping of entities, etc. The authors present a decentralized framework for the knowledge marketplace incorporating technologies such as blockchain, active inference, zero-knowledge proof, etc. The proposed decentralized framework provides not only an efficient mapping mechanism to map entities in the marketplace but also a more secure and controlled way to share knowledge and services among various stakeholders.


title: Vision-based Warning System for Maintenance Personnel on Short-Term Roadwork Site

abstract: We propose a vision-based warning system for the maintenance personnel working on short-term construction sites. Traditional solutions use passive protection, like setting up traffic cones, safety beacons, or even nothing. However, such methods cannot function as physical safety barriers to separate working areas from used lanes. In contrast, our system provides active protection, leveraging acoustic and visual warning signals to help road workers be cautious of approaching vehicles before they pass the working area. To decrease too many warnings to relieve a disturbance of road workers, we implemented our traffic flow check algorithm, by which about 80% of the useless notices can be filtered. We conduct the evaluations in laboratory conditions and the real world, proving our system's applicability and reliability.


title: Terahertz electric-field driven dynamical multiferroicity in SrTiO$_3$

abstract: The emergence of collective order in matter is among the most fundamental and intriguing phenomena in physics. In recent years, the ultrafast dynamical control and creation of novel ordered states of matter not accessible in thermodynamic equilibrium is receiving much attention. Among those, the theoretical concept of dynamical multiferroicity has been introduced to describe the emergence of magnetization by means of a time-dependent electric polarization in non-ferromagnetic materials. In simple terms, a large amplitude coherent rotating motion of the ions in a crystal induces a magnetic moment along the axis of rotation. However, the experimental verification of this effect is still lacking. Here, we provide evidence of room temperature magnetization in the archetypal paraelectric perovskite SrTiO$_3$ due to this mechanism. To achieve it, we resonantly drive the infrared-active soft phonon mode with intense circularly polarized terahertz electric field, and detect a large magneto-optical Kerr effect. A simple model, which includes two coupled nonlinear oscillators whose forces and couplings are derived with ab-initio calculations using self-consistent phonon theory at a finite temperature, reproduces qualitatively our experimental observations on the temporal and frequency domains. A quantitatively correct magnitude of the effect is obtained when one also considers the phonon analogue of the reciprocal of the Einsten - de Haas effect, also called the Barnett effect, where the total angular momentum from the phonon order is transferred to the electronic one. Our findings show a new path for designing ultrafast magnetic switches by means of coherent control of lattice vibrations with light.


title: Adaptive Synaptic Failure Enables Sampling from Posterior Predictive Distributions in the Brain

abstract: Bayesian interpretations of neural processing require that biological mechanisms represent and operate upon probability distributions in accordance with Bayes' theorem. Many have speculated that synaptic failure constitutes a mechanism of variational, i.e., approximate, Bayesian inference in the brain. Whereas models have previously used synaptic failure to sample over uncertainty in model parameters, we demonstrate that by adapting transmission probabilities to learned network weights, synaptic failure can sample not only over model uncertainty, but complete posterior predictive distributions as well. Our results potentially explain the brain's ability to perform probabilistic searches and to approximate complex integrals. These operations are involved in numerous calculations, including likelihood evaluation and state value estimation for complex planning.


title: HandFlow: Quantifying View-Dependent 3D Ambiguity in Two-Hand Reconstruction with Normalizing Flow

abstract: Reconstructing two-hand interactions from a single image is a challenging problem due to ambiguities that stem from projective geometry and heavy occlusions. Existing methods are designed to estimate only a single pose, despite the fact that there exist other valid reconstructions that fit the image evidence equally well. In this paper we propose to address this issue by explicitly modeling the distribution of plausible reconstructions in a conditional normalizing flow framework. This allows us to directly supervise the posterior distribution through a novel determinant magnitude regularization, which is key to varied 3D hand pose samples that project well into the input image. We also demonstrate that metrics commonly used to assess reconstruction quality are insufficient to evaluate pose predictions under such severe ambiguity. To address this, we release the first dataset with multiple plausible annotations per image called MultiHands. The additional annotations enable us to evaluate the estimated distribution using the maximum mean discrepancy metric. Through this, we demonstrate the quality of our probabilistic reconstruction and show that explicit ambiguity modeling is better-suited for this challenging problem.


title: Phase-locked photon-electron interaction without a laser

abstract: Ultrafast electron-photon spectroscopy in electron microscopes commonly requires ultrafast laser setups. Photoemission from an engineered electron source is used to generate pulsed electrons, interacting with a sample that is excited by the ultrafast laser pulse at a specified time delay. Thus, developing an ultrafast electron microscope demands the exploitation of extrinsic laser excitations and complex synchronization schemes. Here, we present an inverse approach based on cathodoluminescence spectroscopy to introduce internal radiation sources in an electron microscope. Our method is based on a sequential interaction of the electron beam with an electron-driven photon source (EDPHS) and the investigated sample. An electron-driven photon source in an electron microscope generates phase-locked photons that are mutually coherent with the near-field distribution of the swift electron. Due to their different velocities, one can readily change the delay between the photons and electrons arriving at the sample by changing the distance between the EDPHS and the sample. We demonstrate the mutual coherence between the radiations from the EDPHS and the sample by performing interferometry with a combined system of an EDPHS and a WSe2 flake. We assert the mutual frequency and momentum-dependent correlation of the EDPHS and sample radiation, and determine experimentally the degree of mutual coherence of up to 27%. This level of mutual coherence allows us to perform spectral interferometry with an electron microscope. Our method has the advantage of being simple, compact and operating with continuous electron beams. It will open the door to local electron-photon correlation spectroscopy of quantum materials, single photon systems, and coherent exciton-polaritonic samples with nanometric resolution.


title: The Complexity of Online Graph Games

abstract: Online computation is a concept to model uncertainty where not all information on a problem instance is known in advance. An online algorithm receives requests which reveal the instance piecewise and has to respond with irrevocable decisions. Often, an adversary is assumed that constructs the instance knowing the deterministic behavior of the algorithm. Thus, the adversary is able to tailor the input to any online algorithm. From a game theoretical point of view, the adversary and the online algorithm are players in an asymmetric two-player game. To overcome this asymmetry, the online algorithm is equipped with an isomorphic copy of the graph, which is referred to as unlabeled map. By applying the game theoretical perspective on online graph problems, where the solution is a subset of the vertices, we analyze the complexity of these online vertex subset games. For this, we introduce a framework for reducing online vertex subset games from TQBF. This framework is based on gadget reductions from 3-SATISFIABILITY to the corresponding offline problem. We further identify a set of rules for extending the 3-SATISFIABILITY-reduction and provide schemes for additional gadgets which assure that these rules are fulfilled. By extending the gadget reduction of the vertex subset problem with these additional gadgets, we obtain a reduction for the corresponding online vertex subset game. At last, we provide example reductions for online vertex subset games based on VERTEX COVER, INDEPENDENT SET, and DOMINATING SET, proving that they are PSPACE-complete. Thus, this paper establishes that the online version with a map of NP-complete vertex subset problems form a large class of PSPACE-complete problems.


title: Keldysh Wormholes and Anomalous Relaxation in the Dissipative Sachdev-Ye-Kitaev Model

abstract: We study the out-of-equilibrium dynamics of a Sachdev-Ye-Kitaev (SYK) model, $N$ fermions with a $q$-body interaction of infinite range, coupled to a Markovian environment. Close to the infinite-temperature steady state, the real-time Lindbladian dynamics of this system is identical to the near-zero-temperature dynamics in Euclidean time of a two-site non-Hermitian SYK with intersite coupling whose gravity dual has been recently related to wormhole configurations. We show that the saddle-point equations in the real-time formulation are identical to those in Euclidean time. Indeed, an explicit calculation of Green's functions at low temperature, numerical for $q = 4$ and analytical for $q = 2$ and large $q$, illustrates this equivalence. Only for very strong coupling does the decay rate approach the linear dependence on the coupling characteristic of a dissipation-driven approach to the steady state. For $q > 2$, we identify a potential gravity dual of the real-time dissipative SYK model: a double-trumpet configuration in a near-de Sitter space in two dimensions with matter. This configuration, which we term a Keldysh wormhole, is responsible for a finite decay rate even in the absence of coupling to the environment.

categories: hep-th cond-mat.stat-mech cond-mat.str-el quant-ph


title: Clean self-supervised MRI reconstruction from noisy, sub-sampled training data with Robust SSDU

abstract: Most existing methods for Magnetic Resonance Imaging (MRI) reconstruction with deep learning use fully supervised training, which assumes that a high signal-to-noise ratio (SNR), fully sampled dataset is available for training. In many circumstances, however, such a dataset is highly impractical or even technically infeasible to acquire. Recently, a number of self-supervised methods for MR reconstruction have been proposed, which use sub-sampled data only. However, the majority of such methods, such as Self-Supervised Learning via Data Undersampling (SSDU), are susceptible to reconstruction errors arising from noise in the measured data. In response, we propose Robust SSDU, which provably recovers clean images from noisy, sub-sampled training data by simultaneously estimating missing k-space samples and denoising the available samples. Robust SSDU trains the reconstruction network to map from a further noisy and sub-sampled version of the data to the original, singly noisy and sub-sampled data, and applies an additive Noisier2Noise correction term at inference. We also present a related method, Noiser2Full, that recovers clean images when noisy, fully sampled data is available for training. Both proposed methods are applicable to any network architecture, straight-forward to implement and have similar computational cost to standard training. We evaluate our methods on the multi-coil fastMRI brain dataset with a novel denoising-specific architecture and find that it performs competitively with a benchmark trained on clean, fully sampled data.


title: Efficient implicit solvers for models of neuronal networks

abstract: We introduce economical versions of standard implicit ODE solvers that are specifically tailored for the efficient and accurate simulation of neural networks. The specific versions of the ODE solvers proposed here, allow to achieve a significant increase in the efficiency of network simulations, by reducing the size of the algebraic system being solved at each time step, a technique inspired by very successful semi-implicit approaches in computational fluid dynamics and structural mechanics. While we focus here specifically on Explicit first step, Diagonally Implicit Runge Kutta methods (ESDIRK), similar simplifications can also be applied to any implicit ODE solver. In order to demonstrate the capabilities of the proposed methods, we consider networks based on three different single cell models with slow-fast dynamics, including the classical FitzHugh-Nagumo model, a Intracellular Calcium Concentration model and the Hindmarsh-Rose model. Numerical experiments on the simulation of networks of increasing size based on these models demonstrate the increased efficiency of the proposed methods.


title: A diffuse-interface approach for solid-state dewetting with anisotropic surface energies

abstract: We present a diffuse-interface model for the solid-state dewetting problem with anisotropic surface energies in ${\mathbb R}^d$ for $d\in\{2,3\}$. The introduced model consists of the anisotropic Cahn--Hilliard equation, with either a smooth or a double-obstacle potential, together with a degenerate mobility function and appropriate boundary conditions on the wall. Upon regularizing the introduced diffuse-interface model, and with the help of suitable asymptotic expansions, we recover as the sharp-interface limit the anisotropic surface diffusion flow for the interface together with an anisotropic Young's law and a zero-flux condition at the contact line of the interface with a fixed external boundary. Furthermore, we show the existence of weak solutions for the regularized model, for both smooth and obstacle potential. Numerical results based on an appropriate finite element approximation are presented to demonstrate the excellent agreement between the proposed diffuse-interface model and its sharp-interface limit.