title: A Double Machine Learning Trend Model for Citizen Science Data

abstract: 1. Citizen and community-science (CS) datasets have great potential for estimating interannual patterns of population change given the large volumes of data collected globally every year. Yet, the flexible protocols that enable many CS projects to collect large volumes of data typically lack the structure necessary to keep consistent sampling across years. This leads to interannual confounding, as changes to the observation process over time are confounded with changes in species population sizes. 2. Here we describe a novel modeling approach designed to estimate species population trends while controlling for the interannual confounding common in citizen science data. The approach is based on Double Machine Learning, a statistical framework that uses machine learning methods to estimate population change and the propensity scores used to adjust for confounding discovered in the data. Additionally, we develop a simulation method to identify and adjust for residual confounding missed by the propensity scores. Using this new method, we can produce spatially detailed trend estimates from citizen science data. 3. To illustrate the approach, we estimated species trends using data from the CS project eBird. We used a simulation study to assess the ability of the method to estimate spatially varying trends in the face of real-world confounding. Results showed that the trend estimates distinguished between spatially constant and spatially varying trends at a 27km resolution. There were low error rates on the estimated direction of population change (increasing/decreasing) and high correlations on the estimated magnitude. 4. The ability to estimate spatially explicit trends while accounting for confounding in citizen science data has the potential to fill important information gaps, helping to estimate population trends for species, regions, or seasons without rigorous monitoring data.


title: The Gaia-ESO survey: mapping the shape and evolution of the radial abundance gradients with open clusters

abstract: The spatial distribution of elemental abundances and their time evolution are among the major constraints to disentangle the scenarios of formation and evolution of the Galaxy. We used the sample of open clusters available in the final release of the Gaia-ESO survey to trace the Galactic radial abundance and abundance to iron ratio gradients, and their time evolution. We selected member stars in 62 open clusters, with ages from 0.1 to about 7~Gyr, located in the Galactic thin disc at Galactocentric radii from about 6 to 21~kpc. We analysed the shape of the resulting [Fe/H] gradient, the average gradients [El/H] and [El/Fe] combining elements belonging to four different nucleosynthesis channels, and their individual abundance and abundance ratio gradients. We also investigated the time evolution of the gradients dividing open clusters in three age bins. The[Fe/H] gradient has a slope of -0.054 dex~kpc-1. We saw different behaviours for elements belonging to different channels. We found that the youngest clusters in the inner disc have lower metallicity than their older counterpart and they outline a flatter gradient. We considered some possible explanations, including the effects of gas inflow and migration. We suggested that it might be a bias introduced by the standard spectroscopic analysis producing lower metallicities in low gravity stars. To delineate the shape of the `true' gradient, we should limit our analysis to stars with low surface gravity logg>2.5 and xi<1.8 km~s-1. Based on this reduced sample, we can conclude that the gradient has minimally evolved over the time-frame outlined by the open clusters, indicating a slow and stationary formation of the thin disc in the latest Gyr. We found a secondary role of clusters' migration in shaping the gradient, with a more prominent role of migration for the oldest clusters.


title: Thermodynamic Phase Diagram of Two-Dimensional Bosons in a Quasicrystal Potential

abstract: Quantum simulation of quasicrystals in synthetic bosonic matter now paves the way to the exploration of these intriguing systems in wide parameter ranges. Yet thermal fluctuations in such systems compete with quantum coherence, and significantly affect the zero-temperature quantum phases. Here we determine the thermodynamic phase diagram of interacting bosons in a two-dimensional, homogeneous quasicrystal potential. Our results are found using quantum Monte Carlo simulations. Finite-size scaling is carefully considered and the quantum phases are systematically distinguished from thermal phases. In particular, we demonstrate stabilization of a genuine Bose glass phase against the normal fluid in sizable parameter ranges. Our results for strong interactions are interpreted using a fermionization picture and experimental relevance is discussed.


title: Exploiting Features and Logits in Heterogeneous Federated Learning

abstract: Due to the rapid growth of IoT and artificial intelligence, deploying neural networks on IoT devices is becoming increasingly crucial for edge intelligence. Federated learning (FL) facilitates the management of edge devices to collaboratively train a shared model while maintaining training data local and private. However, a general assumption in FL is that all edge devices are trained on the same machine learning model, which may be impractical considering diverse device capabilities. For instance, less capable devices may slow down the updating process because they struggle to handle large models appropriate for ordinary devices. In this paper, we propose a novel data-free FL method that supports heterogeneous client models by managing features and logits, called Felo; and its extension with a conditional VAE deployed in the server, called Velo. Felo averages the mid-level features and logits from the clients at the server based on their class labels to provide the average features and logits, which are utilized for further training the client models. Unlike Felo, the server has a conditional VAE in Velo, which is used for training mid-level features and generating synthetic features according to the labels. The clients optimize their models based on the synthetic features and the average logits. We conduct experiments on two datasets and show satisfactory performances of our methods compared with the state-of-the-art methods.


title: Data-Driven Analytic Differentiation via High Gain Observers and Gaussian Process Priors

abstract: The presented paper tackles the problem of modeling an unknown function, and its first $r-1$ derivatives, out of scattered and poor-quality data. The considered setting embraces a large number of use cases addressed in the literature and fits especially well in the context of control barrier functions, where high-order derivatives of the safe set are required to preserve the safety of the controlled system. The approach builds on a cascade of high-gain observers and a set of Gaussian process regressors trained on the observers' data. The proposed structure allows for high robustness against measurement noise and flexibility with respect to the employed sampling law. Unlike previous approaches in the field, where a large number of samples are required to fit correctly the unknown function derivatives, here we suppose to have access only to a small window of samples, sliding in time. The paper presents performance bounds on the attained regression error and numerical simulations showing how the proposed method outperforms previous approaches.


title: Learning Location from Shared Elevation Profiles in Fitness Apps: A Privacy Perspective

abstract: The extensive use of smartphones and wearable devices has facilitated many useful applications. For example, with Global Positioning System (GPS)-equipped smart and wearable devices, many applications can gather, process, and share rich metadata, such as geolocation, trajectories, elevation, and time. For example, fitness applications, such as Runkeeper and Strava, utilize the information for activity tracking and have recently witnessed a boom in popularity. Those fitness tracker applications have their own web platforms and allow users to share activities on such platforms or even with other social network platforms. To preserve the privacy of users while allowing sharing, several of those platforms may allow users to disclose partial information, such as the elevation profile for an activity, which supposedly would not leak the location of the users. In this work, and as a cautionary tale, we create a proof of concept where we examine the extent to which elevation profiles can be used to predict the location of users. To tackle this problem, we devise three plausible threat settings under which the city or borough of the targets can be predicted. Those threat settings define the amount of information available to the adversary to launch the prediction attacks. Establishing that simple features of elevation profiles, e.g., spectral features, are insufficient, we devise both natural language processing (NLP)-inspired text-like representation and computer vision-inspired image-like representation of elevation profiles, and we convert the problem at hand into text and image classification problem. We use both traditional machine learning- and deep learning-based techniques and achieve a prediction success rate ranging from 59.59\% to 99.80\%. The findings are alarming, highlighting that sharing elevation information may have significant location privacy risks.


title: Topological magnons in one-dimensional ferromagnetic Su-Schrieffer-Heeger model with anisotropic interaction

abstract: Topological magnons in a one-dimensional (1D) ferromagnetic (FM) Su-Schrieffer-Heeger (SSH) model with anisotropic exchange interactions are investigated. Apart from the inter-cellular isotropic Heisenberg interaction, the intercellular anisotropic exchange interactions, i.e. Dzyaloshinskii-Moriya interaction (DMI) and pseudo-dipolar interaction (PDI), also can induce the emergence of the non-trivial phase with two degenerate in-gap edge states separately localized at the two ends of the 1D chain, while the intracellular interactions instead unfavors the topological phase. The interplay among them has synergistic effects on the topological phase transition, very different from that in the two-dimensional (2D) ferromagnet. These results demonstrate that the 1D magnons possess rich topological phase diagrams distinctly different from the electronic version of the SSH model and even the 2D magnons. Due to the lower dimensional structural characteristics of this 1D topological magnonic system, the magnonic crystals can be constructed from bottom to top, which has important potential applications in the design of novel magnonic devices.


title: Anisotropic Proximal Gradient

abstract: This paper studies a novel algorithm for nonconvex composite minimization which can be interpreted in terms of dual space nonlinear preconditioning for the classical proximal gradient method. The proposed scheme can be applied to additive composite minimization problems whose smooth part exhibits an anisotropic descent inequality relative to a reference function. It is proved that the anisotropic descent property is closed under pointwise average if the dual Bregman distance is jointly convex and, more specifically, closed under pointwise conic combinations for the KL-divergence. We analyze the method's asymptotic convergence and prove its linear convergence under an anisotropic proximal gradient dominance condition. Applications are discussed including exponentially regularized LPs and logistic regression with nonsmooth regularization. In numerical experiments we show significant improvements of the proposed method over its Euclidean counterparts.


title: NaNu: Proposal for a Neutrino Experiment at the SPS Collider located at the North Area of CERN

abstract: Several experiments have been proposed in the recent years to study the nature of tau neutrinos, in particular aiming for a first observation of tau anti-neutrinos, more stringent upper limit on its anomalous magnetic moment as well as new constrains on the strange-quark content of the nucleon. We propose here a new low-cost neutrino experiment at the CERN North area, named NaNu (North Area NeUtrino), compatible with the realization of the future SHADOWS and HIKE experiments at the same experimental area.


title: Source-Filter HiFi-GAN: Fast and Pitch Controllable High-Fidelity Neural Vocoder

abstract: Our previous work, the unified source-filter GAN (uSFGAN) vocoder, introduced a novel architecture based on the source-filter theory into the parallel waveform generative adversarial network to achieve high voice quality and pitch controllability. However, the high temporal resolution inputs result in high computation costs. Although the HiFi-GAN vocoder achieves fast high-fidelity voice generation thanks to the efficient upsampling-based generator architecture, the pitch controllability is severely limited. To realize a fast and pitch-controllable high-fidelity neural vocoder, we introduce the source-filter theory into HiFi-GAN by hierarchically conditioning the resonance filtering network on a well-estimated source excitation information. According to the experimental results, our proposed method outperforms HiFi-GAN and uSFGAN on a singing voice generation in voice quality and synthesis speed on a single CPU. Furthermore, unlike the uSFGAN vocoder, the proposed method can be easily adopted/integrated in real-time applications and end-to-end systems.


title: Analysis of V2X Sidelink Positioning in sub-6 GHz

abstract: Radio positioning is an important part of joint communication and sensing in beyond 5G communication systems. Existing works mainly focus on the mmWave bands and under-utilize the sub-6 GHz bands, even though it is promising for accurate positioning, especially when the multipath is uncomplicated, and meaningful in several important use cases. In this paper, we analyze V2X sidelink positioning and propose a new performance bound that can predict the positioning performance in the presence of severe multipath. Simulation results using ray-tracing data demonstrate the possibility of sidelink positioning, and the efficacy of the new performance bound and its relation with the complexity of the multipath.


title: Measurement of T-odd asymmetry in radiative K+ -> pi0 e+ nu gamma decay using OKA detector

abstract: The paper presents a measurement of the T-odd correlation in radiation decay \boldmath $K^+ \rightarrow \pi^{0} e^{+} \nu_{e} \gamma $ performed on the installation of the 101200 candidate events of the investigated decay were identified. Measured correlation $\xi_{\pi e \gamma}$ -is a mixed product of moments $e^{+}$, $\pi^{0}$, $\gamma$ in the kaon rest system, normalized by $M^{3}_{K}$. To assess the asymmetry of the distribution by $\xi_{\pi e \gamma}$ the value used is $A_{\xi}= \frac {N_{+}-N_{-}} {N_{+}+N_{-}}$, where $N_{+(-)}$ is the number of events with $\xi$ greater than (less than) zero. For the $A_{\xi}$ asymmetry, the value is obtained $A_{\xi} = (+0.1 \pm 3.9($stat.$) \pm1.7($syst.$))\times10^{-3}$ or $|A_{\xi}| < 5.4\times10^{-3} (90\%~ CL)$


title: Recovery of a potential on a quantum star graph from Weyl's matrix

abstract: The problem of recovery of a potential on a quantum star graph from Weyl's matrix given at a finite number of points is considered. A method for its approximate solution is proposed. It consists in reducing the problem to a two-spectra inverse Sturm-Liouville problem on each edge with its posterior solution. The overall approach is based on Neumann series of Bessel functions (NSBF) representations for solutions of Sturm-Liouville equations, and, in fact, the solution of the inverse problem on the quantum graph reduces to dealing with the NSBF coefficients. The NSBF representations admit estimates for the series remainders which are independent of the real part of the square root of the spectral parameter. This feature makes them especially useful for solving direct and inverse problems requiring calculation of solutions on large intervals in the spectral parameter. Moreover, the first coefficient of the NSBF representation alone is sufficient for the recovery of the potential. The knowledge of the Weyl matrix at a set of points allows one to calculate a number of the NSBF coefficients at the end point of each edge, which leads to approximation of characteristic functions of two Sturm-Liouville problems and allows one to compute the Dirichlet-Dirichlet and Neumann-Dirichlet spectra on each edge. In turn, for solving this two-spectra inverse Sturm-Liouville problem a system of linear algebraic equations is derived for computing the first NSBF coefficient and hence for recovering the potential. The proposed method leads to an efficient numerical algorithm that is illustrated by a number of numerical tests.


title: Anharmonic phonon behavior via irreducible derivatives: self-consistent perturbation theory and molecular dynamics

abstract: Cubic phonon interactions are now regularly computed from first principles, and the quartic interactions have begun to receive more attention. Given this realistic anharmonic vibrational Hamiltonian, the classical phonon Green's function can be precisely measured using molecular dynamics, which can then be used to rigorously assess the range of validity for self-consistent diagrammatic approaches in the classical limit. Here we use the bundled irreducible derivative approach to efficiently and precisely compute the cubic and quartic phonon interactions of CaF$_2$, systematically obtaining the vibrational Hamiltonian purely in terms of irreducible derivatives. non frequency shifts and linewidths, We demonstrate that the 4-phonon sunset diagram has an important contribution to the optical phonon linewidths beyond $T=500$ K. Reasonable results are obtained even at $T=900$ K when performing self-consistency using the 4-phonon loop diagram and evaluating the 3-phonon bubble and 4-phonon sunset diagrams post self-consistency. Further improvements are obtained by performing quasiparticle perturbation theory, where both the 4-phonon loop and the real part of the 3-phonon bubble are employed during self-consistency. Our irreducible derivative approach to self-consistent perturbation theory is a robust tool for studying anharmonic phonons in both the quantum and classical regimes.


title: First-order logic of uniform attachment random graphs with a given degree

abstract: In this paper, we prove the first-order convergence law for the uniform attachment random graph with almost all vertices having the same degree. In the considered model, vertices and edges are introduced recursively: at time $m+1$ we start with a complete graph on $m+1$ vertices. At step $n+1$ the vertex $n+1$ is introduced together with $m$ edges joining the new vertex with $m$ vertices chosen uniformly from those vertices of $1,\ldots,n$, whom degree is less then $d=2m$. To prove the law, we describe the dynamics of the logical equivalence class of the random graph using Markov chains. The convergence law follows from the existence of a limit distribution of the considered Markov chain.


title: Multi-Target Tracking with Transferable Convolutional Neural Networks

abstract: Multi-target tracking (MTT) is a classical signal processing task, where the goal is to estimate the states of an unknown number of moving targets from noisy sensor measurements. In this paper, we revisit MTT from a deep learning perspective and propose a convolutional neural network (CNN) architecture to tackle it. We represent the target states and sensor measurements as images and recast the problem as an image-to-image prediction task. Then we train a fully convolutional model at small tracking areas and transfer it to much larger areas with numerous targets and sensors. This transfer learning approach enables MTT at a large scale and is also theoretically supported by our novel analysis that bounds the generalization error. In practice, the proposed transferable CNN architecture outperforms random finite set filters on the MTT task with 10 targets and transfers without re-training to a larger MTT task with 250 targets with a 29% performance improvement.


title: Masked Transformer for image Anomaly Localization

abstract: Image anomaly detection consists in detecting images or image portions that are visually different from the majority of the samples in a dataset. The task is of practical importance for various real-life applications like biomedical image analysis, visual inspection in industrial production, banking, traffic management, etc. Most of the current deep learning approaches rely on image reconstruction: the input image is projected in some latent space and then reconstructed, assuming that the network (mostly trained on normal data) will not be able to reconstruct the anomalous portions. However, this assumption does not always hold. We thus propose a new model based on the Vision Transformer architecture with patch masking: the input image is split in several patches, and each patch is reconstructed only from the surrounding data, thus ignoring the potentially anomalous information contained in the patch itself. We then show that multi-resolution patches and their collective embeddings provide a large improvement in the model's performance compared to the exclusive use of the traditional square patches. The proposed model has been tested on popular anomaly detection datasets such as MVTec and head CT and achieved good results when compared to other state-of-the-art approaches.


title: Transformers meet Stochastic Block Models: Attention with Data-Adaptive Sparsity and Cost

abstract: To overcome the quadratic cost of self-attention, recent works have proposed various sparse attention modules, most of which fall under one of two groups: 1) sparse attention under a hand-crafted patterns and 2) full attention followed by a sparse variant of softmax such as $\alpha$-entmax. Unfortunately, the first group lacks adaptability to data while the second still requires quadratic cost in training. In this work, we propose SBM-Transformer, a model that resolves both problems by endowing each attention head with a mixed-membership Stochastic Block Model (SBM). Then, each attention head data-adaptively samples a bipartite graph, the adjacency of which is used as an attention mask for each input. During backpropagation, a straight-through estimator is used to flow gradients beyond the discrete sampling step and adjust the probabilities of sampled edges based on the predictive loss. The forward and backward cost are thus linear to the number of edges, which each attention head can also choose flexibly based on the input. By assessing the distribution of graphs, we theoretically show that SBM-Transformer is a universal approximator for arbitrary sequence-to-sequence functions in expectation. Empirical evaluations under the LRA and GLUE benchmarks demonstrate that our model outperforms previous efficient variants as well as the original Transformer with full attention. Our implementation can be found in https://github.com/sc782/SBM-Transformer .


title: MHD decomposition explains diffuse $\gamma$-ray emission in Cygnus X

abstract: Cosmic-ray (CR) diffusion is the result of the interaction of such charged particles against magnetic fluctuations. These fluctuations originate from large-scale turbulence cascading towards smaller spatial scales, decomposed into three different modes, as described by $magneto-hydro-dynamics$ (MHD) theory. As a consequence, the description of particle diffusion strongly depends on the model describing the injected turbulence. Moreover, the amount of energy assigned to each of the three modes is in general not equally divided, which implies that diffusion properties might be different from one region to another. Here, motivated by the detection of different MHD modes inside the Cygnus-X star-forming region, we study the 3D transport of CRs injected by two prominent sources within a two-zone model that represents the distribution of the modes. Then, by convolving the propagated CR-distribution with the neutral gas, we are able to explain the $\gamma$-ray diffuse emission in the region, observed by the Fermi-LAT and HAWC Collaborations. Such a result represents an important step in the long-standing problem of connecting the CR observables with the micro-physics of particle transport.


title: Beyond the Return: Off-policy Function Estimation under User-specified Error-measuring Distributions

abstract: Off-policy evaluation often refers to two related tasks: estimating the expected return of a policy and estimating its value function (or other functions of interest, such as density ratios). While recent works on marginalized importance sampling (MIS) show that the former can enjoy provable guarantees under realizable function approximation, the latter is only known to be feasible under much stronger assumptions such as prohibitively expressive discriminators. In this work, we provide guarantees for off-policy function estimation under only realizability, by imposing proper regularization on the MIS objectives. Compared to commonly used regularization in MIS, our regularizer is much more flexible and can account for an arbitrary user-specified distribution, under which the learned function will be close to the groundtruth. We provide exact characterization of the optimal dual solution that needs to be realized by the discriminator class, which determines the data-coverage assumption in the case of value-function learning. As another surprising observation, the regularizer can be altered to relax the data-coverage requirement, and completely eliminate it in the ideal case with strong side information.


title: Characterizations of Sobolev spaces on sublevel sets in abstract Wiener spaces

abstract: In this paper we consider an abstract Wiener space $(X,\gamma,H)$ and an open subset $O\subseteq X$ which satisfies suitable assumptions. For every $p\in(1,+\infty)$ we define the Sobolev space $W_{0}^{1,p}(O,\gamma)$ as the closure of Lipschitz continuous functions which support with positive distance from $\partial O$ with respect to the natural Sobolev norm, and we show that under the assumptions on $O$ the space $W_{0}^{1,p}(O,\gamma)$ can be characterized as the space of functions in $W^{1,p}(O,\gamma)$ which have null trace at the boundary $\partial O$, or, equivalently, as the space of functions defined on $O$ whose trivial extension belongs to $W^{1,p}(X,\gamma)$.


title: A Topological Characterisation of Haar Null Convex Sets

abstract: In $\mathbb{R}^d$, a closed, convex set has zero Lebesgue measure if and only its interior is empty. More generally, in separable, reflexive Banach spaces, closed and convex sets are Haar null if and only if their interior is empty. We extend this facts by showing that a closed, convex set in a separable Banach space is Haar null if and only if its weak$^*$ closure in the second dual has empty interior with respect to the norm topology. It then follows that, in the metric space of all nonempty, closed, convex and bounded subsets of a separable Banach space, converging sequences of Haar null sets have Haar null limits.


title: Hyperspectral Images Classification and Dimensionality Reduction using spectral interaction and SVM classifier

abstract: Over the past decades, the hyperspectral remote sensing technology development has attracted growing interest among scientists in various domains. The rich and detailed spectral information provided by the hyperspectral sensors has improved the monitoring and detection capabilities of the earth surface substances. However, the high dimensionality of the hyperspectral images (HSI) is one of the main challenges for the analysis of the collected data. The existence of noisy, redundant and irrelevant bands increases the computational complexity, induce the Hughes phenomenon and decrease the target's classification accuracy. Hence, the dimensionality reduction is an essential step to face the dimensionality challenges. In this paper, we propose a novel filter approach based on the maximization of the spectral interaction measure and the support vector machines for dimensionality reduction and classification of the HSI. The proposed Max Relevance Max Synergy (MRMS) algorithm evaluates the relevance of every band through the combination of spectral synergy, redundancy and relevance measures. Our objective is to select the optimal subset of synergistic bands providing accurate classification of the supervised scene materials. Experimental results have been performed using three different hyperspectral datasets: "Indiana Pine", "Pavia University" and "Salinas" provided by the "NASA-AVIRIS" and the "ROSIS" spectrometers. Furthermore, a comparison with the state of the art band selection methods has been carried out in order to demonstrate the robustness and efficiency of the proposed approach. Keywords: Hyperspectral images, remote sensing, dimensionality reduction, classification, synergic, correlation, spectral interaction information, mutual inform


title: Defining Canonical Momenta for Discretised SU(2) Gauge Fields

abstract: In this proceeding contribution we discuss how to define canonical momenta for SU(N) lattice gauge theories in the Hamiltonian formalism in a basis where the gauge field operators are diagonal. For an explicit discretisation of SU(2) we construct the momenta and check the violation of the fundamental commutation relations.


title: Strategic Geosteeering Workflow with Uncertainty Quantification and Deep Learning: A Case Study on the Goliat Field

abstract: The real-time interpretation of the logging-while-drilling data allows us to estimate the positions and properties of the geological layers in an anisotropic subsurface environment. Robust real-time estimations capturing uncertainty can be very useful for efficient geosteering operations. However, the model errors in the prior conceptual geological models and forward simulation of the measurements can be significant factors in the unreliable estimations of the profiles of the geological layers. The model errors are specifically pronounced when using a deep-neural-network (DNN) approximation which we use to accelerate and parallelize the simulation of the measurements. This paper presents a practical workflow consisting of offline and online phases. The offline phase includes DNN training and building of an uncertain prior near-well geo-model. The online phase uses the flexible iterative ensemble smoother (FlexIES) to perform real-time assimilation of extra-deep electromagnetic data accounting for the model errors in the approximate DNN model. We demonstrate the proposed workflow on a case study for a historic well in the Goliat Field (Barents Sea). The median of our probabilistic estimation is on-par with proprietary inversion despite the approximate DNN model and regardless of the number of layers in the chosen prior. By estimating the model errors, FlexIES automatically quantifies the uncertainty in the layers' boundaries and resistivities, which is not standard for proprietary inversion.


title: Closed-form modeling of neuronal spike train statistics using multivariate Hawkes cumulants

abstract: We derive exact analytical expressions for the cumulants of any orders of neuronal membrane potentials driven by spike trains in a multivariate Hawkes process model with excitation and inhibition. Such expressions can be used for the prediction and sensitivity analysis of the statistical behavior of the model over time, and to estimate the probability densities of neuronal membrane potentials using Gram-Charlier expansions. Our results are shown to provide a better alternative to Monte Carlo estimates via stochastic simulations, and computer codes based on combinatorial recursions are included.


title: Gumbel laws in the symmetric exclusion process

abstract: We consider the symmetric exclusion particle system on $\mathbb{Z}$ starting from an infinite particle step configuration in which there are no particles to the right of a maximal one. We show that the scaled position $X_t/(\sigma b_t) - a_t$ of the right-most particle at time $t$ converges to a Gumbel limit law, where $b_t = \sqrt{t/\log t}$, $a_t = \log(t/(\sqrt{2\pi}\log t))$, and $\sigma$ is the standard deviation of the random walk jump probabilities. This work solves a problem left open in Arratia (1983). Moreover, to investigate the influence of the mass of particles behind the leading one, we consider initial profiles consisting of a block of $L$ particles, where $L \to \infty$ as $t \to \infty$. Gumbel limit laws, under appropriate scaling, are obtained for $X_t$ when $L$ diverges in $t$. In particular, there is a transition when $L$ is of order $b_t$, above which the displacement of $X_t$ is similar to that under a infinite particle step profile, and below which it is of order $\sqrt{t\log L}$. Proofs are based on recently developed negative dependence properties of the symmetric exclusion system. Remarks are also made on the behavior of the right-most particle starting from a step profile in asymmetric nearest-neighbor exclusion, which complement known results.


title: Terminology-aware Medical Dialogue Generation

abstract: Medical dialogue generation aims to generate responses according to a history of dialogue turns between doctors and patients. Unlike open-domain dialogue generation, this requires background knowledge specific to the medical domain. Existing generative frameworks for medical dialogue generation fall short of incorporating domain-specific knowledge, especially with regard to medical terminology. In this paper, we propose a novel framework to improve medical dialogue generation by considering features centered on domain-specific terminology. We leverage an attention mechanism to incorporate terminologically centred features, and fill in the semantic gap between medical background knowledge and common utterances by enforcing language models to learn terminology representations with an auxiliary terminology recognition task. Experimental results demonstrate the effectiveness of our approach, in which our proposed framework outperforms SOTA language models. Additionally, we provide a new dataset with medical terminology annotations to support the research on medical dialogue generation. Our dataset and code are available at https://github.com/tangg555/meddialog.


title: Nonlinear Schr\"odinger equations with amplitude-dependent Wadati potentials

abstract: Complex Wadati-type potentials of the form $V(x)=-w^2(x) + iw_x(x)$, where $w(x)$ is a real-valued function, are known to possess a number of intriguing features, unusual for generic non-Hermitian potentials. In the present work, we introduce a class of nonlinear Schr\"odinger-type problems which generalize the Wadati potentials by assuming that the base function $w(x)$ depends not only on the transverse spatial coordinate but also on the amplitude of the field. Several examples of prospective physical relevance are discussed, including models with the nonlinear dispersion or with the derivative nonlinearity. The numerical study indicates that the generalized model inherits the remarkable features of standard Wadati potentials, such as the existence of continuous soliton families, the possibility of symmetry-breaking bifurcations when the model obeys the parity-time symmetry, the existence of constant-amplitude waves, and the eigenvalue quartets in the linear-instability spectra. Our results deepen the current understanding of the interplay between nonlinearity and non-Hermiticity and expand the class of systems which enjoy the exceptional combination of properties unusual for generic dissipative nonlinear models.


title: Improving abstractive summarization with energy-based re-ranking

abstract: Current abstractive summarization systems present important weaknesses which prevent their deployment in real-world applications, such as the omission of relevant information and the generation of factual inconsistencies (also known as hallucinations). At the same time, automatic evaluation metrics such as CTC scores have been recently proposed that exhibit a higher correlation with human judgments than traditional lexical-overlap metrics such as ROUGE. In this work, we intend to close the loop by leveraging the recent advances in summarization metrics to create quality-aware abstractive summarizers. Namely, we propose an energy-based model that learns to re-rank summaries according to one or a combination of these metrics. We experiment using several metrics to train our energy-based re-ranker and show that it consistently improves the scores achieved by the predicted summaries. Nonetheless, human evaluation results show that the re-ranking approach should be used with care for highly abstractive summaries, as the available metrics are not yet sufficiently reliable for this purpose.


title: Denseness of biadapted Monge mappings

abstract: Adapted or causal transport theory aims to extend classical optimal transport from probability measures to stochastic processes. On a technical level, the novelty is to restrict to couplings which are bicausal, i.e. satisfy a property which reflects the temporal evolution of information in stochastic processes. We show that in the case of absolutely continuous marginals, the set of bicausal couplings is obtained precisely as the closure of the set of (bi-) adapted processes. That is, we obtain an analogue of the classical result on denseness of Monge couplings in the set of Kantorovich transport plans: bicausal transport plans represent the relaxation of adapted mappings in the same manner as Kantorovich transport plans are the appropriate relaxation of Monge-maps.


title: A note on the UEFA Champions League Round of 16 draw

abstract: A paper published in a leading journal of management science has recently analysed the mechanism used for the UEFA Champions League Round of 16 draw. Since the authors have not been familiar with the related sports analytics literature, this note attempts to summarise what has already been done, and what can still be done on the issue of group draw in sports tournaments.


title: The Weihrauch lattice at the level of $\boldsymbol{\Pi}_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem

abstract: This paper continues the program connecting reverse mathematics and computable analysis via the framework of Weihrauch reducibility. In particular, we consider problems related to perfect subsets of Polish spaces, studying the perfect set theorem, the Cantor-Bendixson theorem and various problems arising from them. In the framework of reverse mathematics these theorems are equivalent respectively to $\mathsf{ATR}_0$ and $\boldsymbol{\Pi}_1^1\mathsf{-CA}_0$, the two strongest subsystems of second order arithmetic among the so-called big five. As far as we know, this is the first systematic study of problems at the level of $\boldsymbol{\Pi}_1^1\mathsf{-CA}_0$ in the Weihrauch lattice. We show that the strength of some of the problems we study depends on the topological properties of the Polish space under consideration, while others have the same strength once the space is rich enough.


title: Early in vivo Radiation Damage Quantification for Pediatric Craniospinal Irradiation Using Longitudinal MRI for Intensity Modulated Proton Therapy

abstract: Purpose: Proton vertebral body sparing craniospinal irradiation (VBS CSI) treats the thecal sac while avoiding the anterior vertebral bodies in effort to reduce myelosuppression and growth inhibition. However, robust treatment planning needs to compensate proton range uncertainty, contributing unwanted doses within the vertebral bodies. This work aims to develop an early in vivo radiation damage quantification method using longitudinal magnetic resonance (MR) scans to quantify dose effect during fractionated CSI. Materials and methods: Ten pediatric patients were enrolled in a prospective clinical trial of proton VBS CSI receiving 23.4-36 Gy. Monte Carlo robust planning was used with spinal clinical target volumes defined as the thecal sac and neural foramina. T1/T2-weighted MR scans were acquired before, during, and after treatments to detect transition from hematopoietic to less metabolically active fatty marrow. MR signal intensity histograms at each time point were analyzed and fitted by multi-Gaussian models to quantify radiation damages. Results: Fatty marrow filtration was observed on MR images as early as the fifth fraction of treatment. Maximum radiation-induced marrow damage occurred 40-50 days from the treatment start, followed by marrow regeneration. The mean damage ratios were 0.23, 0.41, 0.59, and 0.54 corresponding to 10, 20, 40, and 60 days from the treatment start. Conclusions: We demonstrated a non-invasive method to identify early vertebral marrow damage based on radiation-induced fatty marrow replacement. The proposed method can be potentially used to quantify the quality of CSI vertebral sparing to preserve metabolically active hematopoietic bone marrow.


title: The spinor and Weierstrass representations of surfaces in space

abstract: In this paper, following Sullivan, Kusner, and Schmitt, we study conformal immersions of Riemann surfaces into the three-dimensional Euclidean space. Regarding such immersions as special bundle maps from the tangent bundle of the surface to the cotangent bundle of the 2-dimensional sphere, we generalize the classical Weierstrass representation of minimal surfaces to the case of arbitrary conformal immersions. We study how such an immersion gives rise to a spin structure on the surface together with a pair of spinors and how the immersion itself can be studied by means of these spinors.


title: Robust Monocular Localization of Drones by Adapting Domain Maps to Depth Prediction Inaccuracies

abstract: We present a novel monocular localization framework by jointly training deep learning-based depth prediction and Bayesian filtering-based pose reasoning. The proposed cross-modal framework significantly outperforms deep learning-only predictions with respect to model scalability and tolerance to environmental variations. Specifically, we show little-to-no degradation of pose accuracy even with extremely poor depth estimates from a lightweight depth predictor. Our framework also maintains high pose accuracy in extreme lighting variations compared to standard deep learning, even without explicit domain adaptation. By openly representing the map and intermediate feature maps (such as depth estimates), our framework also allows for faster updates and reusing intermediate predictions for other tasks, such as obstacle avoidance, resulting in much higher resource efficiency.


title: The linear sampling method for random sources

abstract: We present an extension of the linear sampling method for solving the sound-soft inverse acoustic scattering problem with randomly distributed point sources. The theoretical justification of our sampling method is based on the Helmholtz--Kirchhoff identity, the cross-correlation between measurements, and the volume and imaginary near-field operators, which we introduce and analyze. Implementations in MATLAB using boundary elements, the SVD, Tikhonov regularization, and Morozov's discrepancy principle are also discussed. We demonstrate the robustness and accuracy of our algorithms with several numerical experiments in two dimensions.


title: Error estimates of a finite volume method for the compressible Navier--Stokes--Fourier system

abstract: In this paper we study the convergence rate of a finite volume approximation of the compressible Navier--Stokes--Fourier system. To this end we first show the local existence of a highly regular unique strong solution and analyse its global extension in time as far as the density and temperature remain bounded. We make a physically reasonable assumption that the numerical density and temperature are uniformly bounded from above and below. The relative energy provides us an elegant way to derive a priori error estimates between finite volume solutions and the strong solution.


title: Green's Functions For Random Resistor Networks

abstract: We analyze random resistor networks through a study of lattice Green's functions in arbitrary dimensions. We develop a systematic disorder perturbation expansion to describe the weak disorder regime of such a system. We use this formulation to compute ensemble averaged nodal voltages and bond currents in a hierarchical fashion. We verify the validity of this expansion with direct numerical simulations of a square lattice with resistances at each bond exponentially distributed. Additionally, we construct a formalism to recursively obtain the exact Green's functions for finitely many disordered bonds. We provide explicit expressions for lattices with up to four disordered bonds, which can be used to predict nodal voltage distributions for arbitrarily large disorder strengths. Finally, we introduce a novel order parameter that measures the overlap between the bond current and the optimal path (the path of least resistance), for a given resistance configuration, which helps to characterize the weak and strong disorder regimes of the system.


title: Multimodal Transformer Distillation for Audio-Visual Synchronization

abstract: Audio-visual synchronization aims to determine whether the mouth movements and speech in the video are synchronized. VocaLiST reaches state-of-the-art performance by incorporating multimodal Transformers to model audio-visual interact information. However, it requires high computing resources, making it impractical for real-world applications. This paper proposed an MTDVocaLiST model, which is trained by our proposed multimodal Transformer distillation (MTD) loss. MTD loss enables MTDVocaLiST model to deeply mimic the cross-attention distribution and value-relation in the Transformer of VocaLiST. Additionally, we harness uncertainty weighting to fully exploit the interaction information across all layers. Our proposed method is effective in two aspects: From the distillation method perspective, MTD loss outperforms other strong distillation baselines. From the distilled model's performance perspective: 1) MTDVocaLiST outperforms similar-size SOTA models, SyncNet, and Perfect Match models by 15.65% and 3.35%; 2) MTDVocaLiST reduces the model size of VocaLiST by 83.52%, yet still maintaining similar performance.


title: Gravitational and electromagnetic radiation from binary black holes with electric and magnetic charges: Hyperbolic orbits on a cone

abstract: We derive the hyperbolic orbit of binary black holes with electric and magnetic charges. In the low-velocity and weak-field regime, by using the Newtonian method, we calculate the total emission rate of energy due to gravitational and electromagnetic radiation from binary black holes with electric and magnetic charges in hyperbolic orbits. Moreover, we develop a formalism to derive the merger rate of binary black holes with electric and magnetic charges from the two-body dynamical capture. We apply the formalism to investigate the effects of the charges on the merger rate for the near-extremal case and find that the effects cannot be ignored.


title: Bridging the visual gap in VLN via semantically richer instructions

abstract: The Visual-and-Language Navigation (VLN) task requires understanding a textual instruction to navigate a natural indoor environment using only visual information. While this is a trivial task for most humans, it is still an open problem for AI models. In this work, we hypothesize that poor use of the visual information available is at the core of the low performance of current models. To support this hypothesis, we provide experimental evidence showing that state-of-the-art models are not severely affected when they receive just limited or even no visual data, indicating a strong overfitting to the textual instructions. To encourage a more suitable use of the visual information, we propose a new data augmentation method that fosters the inclusion of more explicit visual information in the generation of textual navigational instructions. Our main intuition is that current VLN datasets include textual instructions that are intended to inform an expert navigator, such as a human, but not a beginner visual navigational agent, such as a randomly initialized DL model. Specifically, to bridge the visual semantic gap of current VLN datasets, we take advantage of metadata available for the Matterport3D dataset that, among others, includes information about object labels that are present in the scenes. Training a state-of-the-art model with the new set of instructions increase its performance by 8% in terms of success rate on unseen environments, demonstrating the advantages of the proposed data augmentation method.


title: UNet-2022: Exploring Dynamics in Non-isomorphic Architecture

abstract: Recent medical image segmentation models are mostly hybrid, which integrate self-attention and convolution layers into the non-isomorphic architecture. However, one potential drawback of these approaches is that they failed to provide an intuitive explanation of why this hybrid combination manner is beneficial, making it difficult for subsequent work to make improvements on top of them. To address this issue, we first analyze the differences between the weight allocation mechanisms of the self-attention and convolution. Based on this analysis, we propose to construct a parallel non-isomorphic block that takes the advantages of self-attention and convolution with simple parallelization. We name the resulting U-shape segmentation model as UNet-2022. In experiments, UNet-2022 obviously outperforms its counterparts in a range segmentation tasks, including abdominal multi-organ segmentation, automatic cardiac diagnosis, neural structures segmentation, and skin lesion segmentation, sometimes surpassing the best performing baseline by 4%. Specifically, UNet-2022 surpasses nnUNet, the most recognized segmentation model at present, by large margins. These phenomena indicate the potential of UNet-2022 to become the model of choice for medical image segmentation.


title: Training Graph Neural Networks on Growing Stochastic Graphs

abstract: Graph Neural Networks (GNNs) rely on graph convolutions to exploit meaningful patterns in networked data. Based on matrix multiplications, convolutions incur in high computational costs leading to scalability limitations in practice. To overcome these limitations, proposed methods rely on training GNNs in smaller number of nodes, and then transferring the GNN to larger graphs. Even though these methods are able to bound the difference between the output of the GNN with different number of nodes, they do not provide guarantees against the optimal GNN on the very large graph. In this paper, we propose to learn GNNs on very large graphs by leveraging the limit object of a sequence of growing graphs, the graphon. We propose to grow the size of the graph as we train, and we show that our proposed methodology -- learning by transference -- converges to a neighborhood of a first order stationary point on the graphon data. A numerical experiment validates our proposed approach.


title: Logarithmic vertex algebras and non-local Poisson vertex algebras

abstract: Logarithmic vertex algebras were introduced in our previous paper, motivated by logarithmic conformal field theory. Non-local Poisson vertex algebras were introduced by De Sole and Kac, motivated by the theory of integrable systems. We prove that the associated graded vector space of any filtered logarithmic vertex algebra has an induced structure of a non-local Poisson vertex algebra. We use this relation to obtain new examples of both logarithmic vertex algebras and non-local Poisson vertex algebras. Dedicated to Victor G. Kac on his 80th birthday.


title: Deciphering the Archeological Record: Further Evidence for Ultra-High-Energy Cosmic Ray Acceleration in Starburst-Driven Superwinds

abstract: Very recently, the Pierre Auger and Telescope Array collaborations reported strong evidence for a correlation between the highest energy cosmic rays and nearby starburst galaxies, with a global significance post-trial of $4.6\sigma$. It is well known that the collective effect of supernovae and winds from massive stars in the central region of these galaxies drives a galactic-scale superwind that can shock heat and accelerate ambient interstellar or circumgalactic gas. In previous work we showed that, for reasonable source parameters, starburst-driven superwinds can be the carriers of ultra-high-energy cosmic ray acceleration. In this paper we assess the extent to which one can approach the archaeological ``inverse'' problem of deciphering properties of superwind evolution from present-day IR emission of their host galaxies. We show that the Outer Limits galaxy NGC 891 could provide ``smoking gun evidence'' for the starburst-driven superwind model of ultra-high-energy cosmic rays.


title: Efficient few-shot learning for pixel-precise handwritten document layout analysis

abstract: Layout analysis is a task of uttermost importance in ancient handwritten document analysis and represents a fundamental step toward the simplification of subsequent tasks such as optical character recognition and automatic transcription. However, many of the approaches adopted to solve this problem rely on a fully supervised learning paradigm. While these systems achieve very good performance on this task, the drawback is that pixel-precise text labeling of the entire training set is a very time-consuming process, which makes this type of information rarely available in a real-world scenario. In the present paper, we address this problem by proposing an efficient few-shot learning framework that achieves performances comparable to current state-of-the-art fully supervised methods on the publicly available DIVA-HisDB dataset.


title: Full-scale Deeply Supervised Attention Network for Segmenting COVID-19 Lesions

abstract: Automated delineation of COVID-19 lesions from lung CT scans aids the diagnosis and prognosis for patients. The asymmetric shapes and positioning of the infected regions make the task extremely difficult. Capturing information at multiple scales will assist in deciphering features, at global and local levels, to encompass lesions of variable size and texture. We introduce the Full-scale Deeply Supervised Attention Network (FuDSA-Net), for efficient segmentation of corona-infected lung areas in CT images. The model considers activation responses from all levels of the encoding path, encompassing multi-scalar features acquired at different levels of the network. This helps segment target regions (lesions) of varying shape, size and contrast. Incorporation of the entire gamut of multi-scalar characteristics into the novel attention mechanism helps prioritize the selection of activation responses and locations containing useful information. Determining robust and discriminatory features along the decoder path is facilitated with deep supervision. Connections in the decoder arm are remodeled to handle the issue of vanishing gradient. As observed from the experimental results, FuDSA-Net surpasses other state-of-the-art architectures; especially, when it comes to characterizing complicated geometries of the lesions.


title: Quasi-Monte Carlo finite element approximation of the Navier-Stokes equations with initial data modeled by log-normal random fields

abstract: In this paper, we analyze the numerical approximation of the Navier-Stokes problem over a bounded polygonal domain in $\mathbb{R}^2$, where the initial condition is modeled by a log-normal random field. This problem usually arises in the area of uncertainty quantification. We aim to compute the expectation value of linear functionals of the solution to the Navier-Stokes equations and perform a rigorous error analysis for the problem. In particular, our method includes the finite element, fully-discrete discretizations, truncated Karhunen-Lo\'eve expansion for the realizations of the initial condition, and lattice-based quasi-Monte Carlo (QMC) method to estimate the expected values over the parameter space. Our QMC analysis is based on randomly-shifted lattice rules for the integration over the domain in high-dimensional space, which guarantees the error decays with $\mathcal{O}(N^{-1+\delta})$, where $N$ is the number of sampling points, $\delta>0$ is an arbitrary small number, and the constant in the decay estimate is independent of the dimension of integration.


title: Multi-task Bias-Variance Trade-off Through Functional Constraints

abstract: Multi-task learning aims to acquire a set of functions, either regressors or classifiers, that perform well for diverse tasks. At its core, the idea behind multi-task learning is to exploit the intrinsic similarity across data sources to aid in the learning process for each individual domain. In this paper we draw intuition from the two extreme learning scenarios -- a single function for all tasks, and a task-specific function that ignores the other tasks dependencies -- to propose a bias-variance trade-off. To control the relationship between the variance (given by the number of i.i.d. samples), and the bias (coming from data from other task), we introduce a constrained learning formulation that enforces domain specific solutions to be close to a central function. This problem is solved in the dual domain, for which we propose a stochastic primal-dual algorithm. Experimental results for a multi-domain classification problem with real data show that the proposed procedure outperforms both the task specific, as well as the single classifiers.


title: Bounds on cohomological support varieties

abstract: Over a local ring $R$, the theory of cohomological support varieties attaches to any bounded complex $M$ of finitely generated $R$-modules an algebraic variety $V_R(M)$ that encodes homological properties of $M$. We give lower bounds for the dimension of $V_R(M)$ in terms of classical invariants of $R$. In particular, when $R$ is Cohen-Macaulay and not complete intersection we find that there are always varieties that cannot be realized as the cohomological support of any complex. When $M$ has finite projective dimension, we also give an upper bound for $ \dim V_R(M)$ in terms of the dimension of the radical of the homotopy Lie algebra of $R$. This leads to an improvement of a bound due to Avramov, Buchweitz, Iyengar, and Miller on the Loewy lengths of finite free complexes. Finally, we completely classify the varieties that can occur as the cohomological support of a complex over a Golod ring.


title: A Graph Is More Than Its Nodes: Towards Structured Uncertainty-Aware Learning on Graphs

abstract: Current graph neural networks (GNNs) that tackle node classification on graphs tend to only focus on nodewise scores and are solely evaluated by nodewise metrics. This limits uncertainty estimation on graphs since nodewise marginals do not fully characterize the joint distribution given the graph structure. In this work, we propose novel edgewise metrics, namely the edgewise expected calibration error (ECE) and the agree/disagree ECEs, which provide criteria for uncertainty estimation on graphs beyond the nodewise setting. Our experiments demonstrate that the proposed edgewise metrics can complement the nodewise results and yield additional insights. Moreover, we show that GNN models which consider the structured prediction problem on graphs tend to have better uncertainty estimations, which illustrates the benefit of going beyond the nodewise setting.


title: Regret Bounds and Experimental Design for Estimate-then-Optimize

abstract: In practical applications, data is used to make decisions in two steps: estimation and optimization. First, a machine learning model estimates parameters for a structural model relating decisions to outcomes. Second, a decision is chosen to optimize the structural model's predicted outcome as if its parameters were correctly estimated. Due to its flexibility and simple implementation, this ``estimate-then-optimize'' approach is often used for data-driven decision-making. Errors in the estimation step can lead estimate-then-optimize to sub-optimal decisions that result in regret, i.e., a difference in value between the decision made and the best decision available with knowledge of the structural model's parameters. We provide a novel bound on this regret for smooth and unconstrained optimization problems. Using this bound, in settings where estimated parameters are linear transformations of sub-Gaussian random vectors, we provide a general procedure for experimental design to minimize the regret resulting from estimate-then-optimize. We demonstrate our approach on simple examples and a pandemic control application.


title: Fully nonlinear Hamilton-Jacobi equations of degenerate type

abstract: We examine Hamilton-Jacobi equations driven by fully nonlinear degenerate elliptic operators in the presence of superlinear Hamiltonians. By exploring the Ishii-Jensen inequality, we prove that viscosity solutions are locally Lipschitz-continuous, with estimates depending on the structural conditions of the problem. We close the paper with an application of our findings to a two-phase free boundary problem.


title: GammaE: Gamma Embeddings for Logical Queries on Knowledge Graphs

abstract: Embedding knowledge graphs (KGs) for multi-hop logical reasoning is a challenging problem due to massive and complicated structures in many KGs. Recently, many promising works projected entities and queries into a geometric space to efficiently find answers. However, it remains challenging to model the negation and union operator. The negation operator has no strict boundaries, which generates overlapped embeddings and leads to obtaining ambiguous answers. An additional limitation is that the union operator is non-closure, which undermines the model to handle a series of union operators. To address these problems, we propose a novel probabilistic embedding model, namely Gamma Embeddings (GammaE), for encoding entities and queries to answer different types of FOL queries on KGs. We utilize the linear property and strong boundary support of the Gamma distribution to capture more features of entities and queries, which dramatically reduces model uncertainty. Furthermore, GammaE implements the Gamma mixture method to design the closed union operator. The performance of GammaE is validated on three large logical query datasets. Experimental results show that GammaE significantly outperforms state-of-the-art models on public benchmarks.


title: A Microscopic Model of Black Hole Evaporation in Two Dimensions

abstract: We present a microscopic model of black hole (BH) `evaporation' in asymptotically $AdS_2$ spacetimes dual to the low energy sector of the SYK model. To describe evaporation, the SYK model is coupled to a bath comprising of $N_f$ free scalar fields $\Phi_i$. We consider a linear combination of couplings of the form $O_{SYK}(t)\sum_i\Phi_i(0,t)$, where $O_{SYK}$ involves products of the Kourkoulou-Maldacena operator $i J/N\sum_{k=1}^{N/2}s'_k\psi_{2k-1}(t)\psi_{2k}(t)$ specified by a spin vector $s'$. We discuss the time evolution of a product of (i) a pure state of the SYK system, namely a BH microstate characterized by a spin vector $s$ and an effective BH temperature $T_{BH}$, and (ii) a Calabrese-Cardy state of the bath characterized by an effective temperature $T_{bath}$. We take $T_{bath}\ll T_{BH}$, and $T_{BH}$ much lower than the characteristic UV scale $J$ of the SYK model, allowing a description in terms of the time reparameterization mode. Tracing over the bath degrees of freedom leads to a Feynman-Vernon type effective action for the SYK model, which we study in the low energy limit. The leading large $N$ behaviour of the time reparameterization mode is found, as well as the $O(1/\sqrt N)$ fluctuations. The latter are characterized by a non-Markovian non-linear stochastic differential equation with non-local Gaussian noise. In a restricted range of couplings, we find two classes of solutions which asymptotically approach (a) a BH at a lower temperature, and (b) a horizonless geometry. We identify these with partial and complete BH evaporation, respectively. Importantly, the asymptotic solution in both cases involves the scalar product of the spin vectors $s.s'$, which carries some information about the initial state. By repeating the dynamical process $O(N^2)$ times with different choices of the spin vector $s'$, one can in principle reconstruct the initial BH microstate.


title: Continuous-time weakly self-avoiding walk on $\mathbb{Z}$ has strictly monotone escape speed

abstract: Weakly self-avoiding walk (WSAW) is a model of simple random walk paths that penalizes self-intersections. On $\mathbb{Z}$, Greven and den Hollander proved in 1993 that the discrete-time weakly self-avoiding walk has an asymptotically deterministic escape speed, and they conjectured that this speed should be strictly increasing in the repelling strength parameter. We study a continuous-time version of the model, give a different existence proof for the speed, and prove the speed to be strictly increasing. The proof uses a supersymmetric version of BFS--Dynkin isomorphism theorem, spectral theory, Tauberian theory, and stochastic dominance.


title: An arbitrary-order discrete rot-rot complex on polygonal meshes with application to a quad-rot problem

abstract: In this work, following the discrete de Rham (DDR) approach, we develop a discrete counterpart of a two-dimensional de Rham complex with enhanced regularity. The proposed construction supports general polygonal meshes and arbitrary approximation orders. We establish exactness on a contractible domain for both the versions of the complex with and without boundary conditions and, for the former, prove a complete set of Poincar\'e-type inequalities. The discrete complex is then used to derive a novel discretisation method for a quad-rot problem which, unlike other schemes in the literature, does not require the forcing term to be prepared. We carry out complete stability and convergence analyses for the proposed scheme and provide numerical validation of the results.


title: Higher Order Topological Superconductivity in Magnet-Superconductor Hybrid Systems

abstract: Quantum engineering of topological superconductors and of the ensuing Majorana zero modes might hold the key for realizing a new paradigm for the implementation of topological quantum computing and topology-based devices. Magnet-superconductor hybrid (MSH) systems have proven to be experimentally versatile platforms for the creation of topological superconductivity by custom-designing the complex structure of their magnetic layer. Here, we demonstrate that higher order topological superconductivity (HOTSC) can be realized in two-dimensional MSH systems by using stacked magnetic structures. We show that the sensitivity of the HOTSC to the particular magnetic stacking opens an unprecedented ability to tune the system between trivial and topological phases using atomic manipulation techniques. We propose that the realization of HOTSC in MSH systems, and in particular the existence of the characteristic Majorana corner modes, allows for the implementation of a measurement-based protocols for topological quantum computing.


title: New Forms of BRST Symmetry on a Prototypical First-Class System

abstract: We scrutinize the many known forms of BRST symmetries, as well as some new ones, realized within a prototypical first-class system. Similarities and differences among ordinary BRST, anti-BRST, dual-BRST and anti-dual-BRST symmetries are highlighted and discussed. We identify a precise $\mathbb{Z}_4\times\mathbb{Z}_2$ discrete group of symmetries of the ghost sector, responsible for connecting the various forms of BRST transformations. Considering a Hamiltonian approach, those symmetries can be interrelated by canonical transformations among ghost variables. However, the distinguished characteristic role of the dual BRST symmetries can be fully appreciated within a gauge-fixed Lagrangian viewpoint. New forms of BRST symmetries are given, a set generalizing particular ones previously reported in the literature as well as a brand new unprecedented set. The featured gauge invariant prototypical first-class system encompasses an extensive class of physical models and sheds light on previous controversies in the current quantum field theory literature.


title: The statistical theory of the angiogenesis equations

abstract: Angiogenesis is a multiscale process by which a primary blood vessel issues secondary vessel sprouts that reach regions lacking oxygen. Angiogenesis can be a natural process of organ growth and development or a pathological induced by a cancerous tumor. A mean field approximation for a stochastic model of angiogenesis consists of partial differential equation (PDE) for the density of active tip vessels. Addition of Gaussian and jump noise terms to this equation produces a stochastic PDE that defines an infinite dimensional L\'evy process and is the basis of a statistical theory of angiogenesis. The associated functional equation has been solved and the invariant measure obtained. The results are compared to a direct numerical simulation of the stochastic model of angiogenesis and invariant measure multiplied by an exponentially decaying factor. The results of this theory are compared to direct numerical simulations of the underlying angiogenesis model. The invariant measure and the moments are functions of the Korteweg-de Vries soliton which approximates the deterministic density of active vessel tips.


title: Growing Schr\"odinger's cat states by local unitary time evolution of product states

abstract: We envisage many-body systems that can be described by quantum spin-chain Hamiltonians with a trivial separable eigenstate. For generic Hamiltonians, such a state represents a quantum scar. We show that, typically, a macroscopically-entangled state naturally grows after a single projective measurement of just one spin in the trivial eigenstate; moreover, we identify a condition under which what is growing is a "Schr\"odinger's cat state". Our analysis does not reveal any particular requirement for the entangled state to develop, provided that the trivial eigenstate does not minimise/maximise a local conservation law. We study two examples explicitly: systems described by generic Hamiltonians and a model that exhibits a $U(1)$ hidden symmetry. The latter can be reinterpreted as a 2-leg ladder in which the interactions along the legs are controlled by the local state on the other leg through transistor-like building blocks.


title: Joint Multi-Person Body Detection and Orientation Estimation via One Unified Embedding

abstract: Human body orientation estimation (HBOE) is widely applied into various applications, including robotics, surveillance, pedestrian analysis and autonomous driving. Although many approaches have been addressing the HBOE problem from specific under-controlled scenes to challenging in-the-wild environments, they assume human instances are already detected and take a well cropped sub-image as the input. This setting is less efficient and prone to errors in real application, such as crowds of people. In the paper, we propose a single-stage end-to-end trainable framework for tackling the HBOE problem with multi-persons. By integrating the prediction of bounding boxes and direction angles in one embedding, our method can jointly estimate the location and orientation of all bodies in one image directly. Our key idea is to integrate the HBOE task into the multi-scale anchor channel predictions of persons for concurrently benefiting from engaged intermediate features. Therefore, our approach can naturally adapt to difficult instances involving low resolution and occlusion as in object detection. We validated the efficiency and effectiveness of our method in the recently presented benchmark MEBOW with extensive experiments. Besides, we completed ambiguous instances ignored by the MEBOW dataset, and provided corresponding weak body-orientation labels to keep the integrity and consistency of it for supporting studies toward multi-persons. Our work is available at https://github.com/hnuzhy/JointBDOE.


title: Modelling shock-like injections of solar energetic particles with 3D test particle simulations

abstract: Solar Energetic Particle (SEP) acceleration and injection into interplanetary space during gradual SEP events is thought to take place at Coronal Mass Ejection (CME)-driven shocks. Features of measured intensity profiles at 1 au have been attributed to properties of the radial and longitudinal/latitudinal injections at the shock. Focussed transport models are typically used to model acceleration at a CME-shock and subsequent propagation. Test particle simulations are an alternative approach but so far they have been carried out only with instantaneous injection near the Sun. We develop the first temporally extended shock-like injection for our 3D test particle code and investigate how the spatial features of injection affect SEP intensity and anisotropy profiles for observers at 0.3 and 1.0 au. We conduct simulations of a monoenergetic population of 5 MeV protons considering three different radial injection functions and two longitudinal/latitudinal injection functions. We consider a range of scattering conditions with scattering mean free path values ranging from 0.1-1.0 au, and determine intensity and anisotropy profiles at six observers at different longitudinal locations. We find that the radial, longitudinal and latitudinal injection functions play a relatively minor role in shaping the SEP intensity profiles. The dependence of profiles on the value of the scattering mean free path is also weak, unlike what is found from 1D focussed transport models. Spatial factors, such as the time of observer-shock-connection/disconnection and time of shock passage have a much stronger influence on SEP intensities and anisotropies. Persistent anisotropies until shock passage are seen in our simulations. Comparing instantaneous and shock-like injections, we find that the link between duration of injection and of the SEP event is very weak, unlike what is commonly assumed.


title: Anatomy of $\Lambda_c^+$ semileptonic decays

abstract: We present a systematic study of $\Lambda_c^+ \to {\cal B}_q \ell^+ \nu_\ell $ with ${\cal B}_q = (\Lambda, n)$ and $\ell =( e, \mu)$, examining all the possible decay observables based on the homogeneous bag model (HBM) and lattice QCD (LQCD). With the HBM, we find that the branching fractions and polarization asymmetries of the daughter baryon $\Lambda$ are ${\cal B}(\Lambda_c^+ \to \Lambda e^+ \nu_e, \Lambda \mu^+ \nu_\mu, n \ell ^+ \nu_\ell ) = (3.78 \pm 0.25, 3.67\pm 0.23, 0.40\pm 0.04 )\%$ and $\alpha_\Lambda (\Lambda_c^+ \to \Lambda e^+ \nu_e,\Lambda\mu^+ \nu_\mu ) =(-82.6,-82.3)\%$, respectively. From the LQCD, we obtain that $\alpha_{\Lambda}(\Lambda_c^+ \to \Lambda e^+ \nu_e, \mu^+ \nu_\mu ) = (-87.4\pm 1.0,-87.2\pm 1.0)\%$. We also explore the time-reversal asymmetries due to new physics beyond the standard model. All our results are consistent with the current experimental data, while some of them are accessible to the experiments at BESIII and Belle II.


title: Kinematics of the Local Group gas and galaxies in the Hestia simulations

abstract: We investigate the kinematic properties of gas and galaxies in the Local Group (LG) using high-resolution simulations performed by the {\sc Hestia} (High-resolution Environmental Simulations of The Immediate Area) collaboration. Our simulations include the correct cosmography surrounding LG-like regions consisting of two main spiral galaxies of $\sim 10^{12}$~M$_\odot$, their satellites and minor isolated galaxies, all sharing the same large-scale motion within a volume of a few Mpc. We characterise the gas and galaxy kinematics within the simulated LGs, from the perspective of the Sun, to compare with observed trends from recent HST/COS absorption-line observations and LG galaxy data. To analyse the velocity pattern of LG gas and galaxies seen in the observational data, we build sky maps from the local standard of rest, and the galactic and local group barycentre frames. Our findings show that the establishment of a radial velocity dipole at low/high latitudes, near the preferred barycentre direction, is a natural outcome of simulation kinematics for material {\it outside} the Milky Way virial radius after removing galaxy rotation when the two main LG galaxies are approaching. Our results favour a scenario where gas and galaxies stream towards the LG barycentre producing a velocity dipole resembling observations. While our study shows in a qualitative way the global matter kinematics in the LG as part of its on-going assembly, quantitative estimates of gas-flow rates and physical conditions of the LG gas have to await a more detailed modeling of the ionization conditions, which will be presented in a follow-up paper.


title: Existence and symmetry of periodic nonlocal-CMC surfaces via variational methods

abstract: This paper provides the first variational proof of the existence of periodic nonlocal-CMC surfaces. These are nonlocal analogues of the classical Delaunay cylinders. More precisely, we show the existence of a set in $\mathbb{R}^n$ which is periodic in one direction, has a prescribed (but arbitrary) volume within a slab orthogonal to that direction, has constant nonlocal mean curvature, and minimizes an appropriate periodic version of the fractional perimeter functional under the volume constraint. We show, in addition, that the set is cylindrically symmetric and, more significantly, that it is even as well as nonincreasing on half its period. This monotonicity property solves an open problem and an obstruction which arose in an earlier attempt, by other authors, to show the existence of minimizers.


title: Spin-current driven Dzyaloshinskii-Moriya interaction in the multiferroic BiFeO3 from first-principles

abstract: The electrical control of magnons opens up new ways to transport and process information for logic devices. In magnetoelectrical multiferroics, the Dzyaloshinskii-Moriya (DM) interaction directly allow for such a control and, hence, is of major importance. We determine the origin and the strength of the (converse) spin current DM interaction in the R3c bulk phase of the multiferroic BiFeO3 based on density functional theory. Our data supports only the existence of one DM interaction contribution originating from the spin current model. By exploring then magnon dispersion in the full Brillouin Zone, we show that the exchange is isotropic, but the DM interaction and anisotropy prefer any propagation and any magnetization direction within the full (111) plane. Our work emphasizes the significance of the asymmetric potential induced by the spin current over the structural asymmetry induced by the anionic octahedron in multiferroics such as BiFeO3.


title: Exhuming nonnegative garrote from oblivion using suitable initial estimates- illustration in low and high-dimensional real data

abstract: The nonnegative garrote (NNG) is among the first approaches that combine variable selection and shrinkage of regression estimates. When more than the derivation of a predictor is of interest, NNG has some conceptual advantages over the popular lasso. Nevertheless, NNG has received little attention. The original NNG relies on least-squares (OLS) estimates, which are highly variable in data with a high degree of multicollinearity (HDM) and do not exist in high-dimensional data (HDD). This might be the reason that NNG is not used in such data. Alternative initial estimates have been proposed but hardly used in practice. Analyzing three structurally different data sets, we demonstrated that NNG can also be applied in HDM and HDD and compared its performance with the lasso, adaptive lasso, relaxed lasso, and best subset selection in terms of variables selected, regression estimates, and prediction. Replacing OLS by ridge initial estimates in HDM and lasso initial estimates in HDD helped NNG select simpler models than competing approaches without much increase in prediction errors. Simpler models are easier to interpret, an important issue for descriptive modelling. Based on the limited experience from three datasets, we assume that the NNG can be a suitable alternative to the lasso and its extensions. Neutral comparison simulation studies are needed to better understand the properties of variable selection methods, compare them and derive guidance for practice.


title: An Investigation into Neuromorphic ICs using Memristor-CMOS Hybrid Circuits

abstract: The memristance of a memristor depends on the amount of charge flowing through it and when current stops flowing through it, it remembers the state. Thus, memristors are extremely suited for implementation of memory units. Memristors find great application in neuromorphic circuits as it is possible to couple memory and processing, compared to traditional Von-Neumann digital architectures where memory and processing are separate. Neural networks have a layered structure where information passes from one layer to another and each of these layers have the possibility of a high degree of parallelism. CMOS-Memristor based neural network accelerators provide a method of speeding up neural networks by making use of this parallelism and analog computation. In this project we have conducted an initial investigation into the current state of the art implementation of memristor based programming circuits. Various memristor programming circuits and basic neuromorphic circuits have been simulated. The next phase of our project revolved around designing basic building blocks which can be used to design neural networks. A memristor bridge based synaptic weighting block, a operational transconductor based summing block were initially designed. We then designed activation function blocks which are used to introduce controlled non-linearity. Blocks for a basic rectified linear unit and a novel implementation for tan-hyperbolic function have been proposed. An artificial neural network has been designed using these blocks to validate and test their performance. We have also used these fundamental blocks to design basic layers of Convolutional Neural Networks. Convolutional Neural Networks are heavily used in image processing applications. The core convolutional block has been designed and it has been used as an image processing kernel to test its performance.


title: Dual matroids of 2-complexes -- revisited

abstract: We prove that simply connected local 2-dimensional simplicial complexes embed in 3-space if and only if their dual matroids are graphic. Examples are provided that the assumptions of simply connectedness and locality are necessary. This may be regarded as a 3-dimensional analogue of Whitney's planarity criterion from 1932.


title: A deep 1.4 GHz survey of the J1030 equatorial field: a new window on radio source populations across cosmic time

abstract: We present deep L-Band observations of the equatorial field centered on the z=6.3 SDSS QSO, reaching a 1 sigma sensitivity of ~2.5 uJy at the center of the field. We extracted a catalog of 1489 radio sources down to a flux density of ~12.5 uJy (5 sigma) over a field of view of ~ 30' diameter. We derived the source counts accounting for catalog reliability and completeness, and compared them with others available in the literature. Our source counts are among the deepest available so far, and, overall, are consistent with recent counts' determinations and models. We detected for the first time in the radio band the SDSS J1030+0524 QSO (26 +/- 5 uJy). We derived its optical radio loudness R_O = 0.62 +/- 0.12, which makes it the most radio quiet AGN at z >~ 6 discovered so far and detected at radio wavelengths. We unveiled extended diffuse radio emission associated with the lobes of a bright FRII radio galaxy located close to the center of the J1030 field, which is likely to become the future BCG of a protocluster at z=1.7. The lobes' complex morphology, coupled with the presence of X-ray diffuse emission detected around the FRII galaxy lobes, may point toward an interaction between the radio jets and the external medium. We also investigated the relation between radio and X-ray luminosity for a sample of 243 X-ray-selected objects obtained from 500 ks Chandra observations of the same field, and spanning a wide redshift range (0 ~< z ~< 3). Focused on sources with a spectroscopic redshift and classification, we found that sources hosted by ETG and AGN follow Log(L_R)/Log(L_X) linear correlations with slopes of ~0.6 and ~0.8, respectively. This is interpreted as a likely signature of different efficiency in the accretion process. Finally, we found that most of these sources (>~87%) show a radio-to-X-ray radio loudness R_X < -3.5, classifying these objects as radio quiet.


title: Classification and construction of interacting fractonic higher-order topological phases

abstract: The notion of higher-order topological phases can have interesting generalizations to systems with subsystem symmetries that exhibit fractonic dynamics for charged excitations. In this work, we systematically study the higher-order topological phases protected by a combination of subsystem symmetries and ordinary global symmetries in two and three-dimensional interacting boson systems, with some interacting fermionic examples.


title: Extended Tolman III and VII solutions in $f(\mathcal{R},T)$ gravity: Models for neutron stars and supermassive stars

abstract: In the context of linear $f(\mathcal{R},T)=\mathcal{R}+\chi T$ gravity, where $\mathcal{R}$ is the Ricci scalar, $T$ is the trace of the energy-momentum tensor, and $\chi$ is a dimensionless parameter, we have obtained exact analytical and numerical solutions for isotropic perfect-fluid spheres in hydrostatic equilibrium. Our solutions correspond to two-parametric extensions of the Tolman III (T-III) and Tolman VII (T-VII) models, in terms of the compactness $\beta$ and $\chi$. By requiring configurations that exhibit monotonically decreasing radial profiles for both the energy density and pressure, compliance with the energy conditions, as well as subluminal speed of sound, we have constrained the parametric space of our solutions. We have also obtained analytically a parametric deformation of the T-VII solution that continuously interpolates between the T-III and T-VII models for any $\chi$, and in the appropriate limits, provides an analytic approximation for the uniform density configuration in linear $f(\mathcal{R},T)$ gravity. Finally, by integrating numerically the TOV equations, we have obtained a numerical solution for the uniform-density configuration and subsequently, using the mass-radius relations, we have obtained the maximum mass that can be supported by such configurations. We have found that in the appropriate parametric regime our solution is in very good agreement with the observational bounds for the masses and radii of neutron stars.


title: Provable Sim-to-real Transfer in Continuous Domain with Partial Observations

abstract: Sim-to-real transfer trains RL agents in the simulated environments and then deploys them in the real world. Sim-to-real transfer has been widely used in practice because it is often cheaper, safer and much faster to collect samples in simulation than in the real world. Despite the empirical success of the sim-to-real transfer, its theoretical foundation is much less understood. In this paper, we study the sim-to-real transfer in continuous domain with partial observations, where the simulated environments and real-world environments are modeled by linear quadratic Gaussian (LQG) systems. We show that a popular robust adversarial training algorithm is capable of learning a policy from the simulated environment that is competitive to the optimal policy in the real-world environment. To achieve our results, we design a new algorithm for infinite-horizon average-cost LQGs and establish a regret bound that depends on the intrinsic complexity of the model class. Our algorithm crucially relies on a novel history clipping scheme, which might be of independent interest.


title: Controlled generation and detection of a thermal bias in Corbino devices under the quantum Hall regime

abstract: We present an experimental technique to generate and measure a temperature bias in the quantum Hall effect of GaAs/AlGaAs Corbino samples. The bias is generated by injecting an electrical current at a central resistive heater and the resulting radial temperature drop is determined by conductance measurements at internal and external concentric rings. The experimental results agree with the predictions of numerical simulations of the heat flow through the substrate. We also compare these results with previous predictions based on the thermoelectric response of these devices


title: Automatic extraction of materials and properties from superconductors scientific literature

abstract: The automatic extraction of materials and related properties from the scientific literature is gaining attention in data-driven materials science (Materials Informatics). In this paper, we discuss Grobid-superconductors, our solution for automatically extracting superconductor material names and respective properties from text. Built as a Grobid module, it combines machine learning and heuristic approaches in a multi-step architecture that supports input data as raw text or PDF documents. Using Grobid-superconductors, we built SuperCon2, a database of 40324 materials and properties records from 37700 papers. The material (or sample) information is represented by name, chemical formula, and material class, and is characterized by shape, doping, substitution variables for components, and substrate as adjoined information. The properties include the Tc superconducting critical temperature and, when available, applied pressure with the Tc measurement method.


title: Discrete Bulk Reconstruction

abstract: According to the AdS/CFT correspondence, the geometries of certain spacetimes are fully determined by quantum states that live on their boundaries -- indeed, by the von Neumann entropies of portions of those boundary states. This work investigates to what extent the geometries can be reconstructed from the entropies in polynomial time. Bouland, Fefferman, and Vazirani (2019) argued that the AdS/CFT map can be exponentially complex if one wants to reconstruct regions such as the interiors of black holes. Our main result provides a sort of converse: we show that, in the special case of a single 1D boundary, if the input data consists of a list of entropies of contiguous boundary regions, and if the entropies satisfy a single inequality called Strong Subadditivity, then we can construct a graph model for the bulk in linear time. Moreover, the bulk graph is planar, it has $O(N^2)$ vertices (the information-theoretic minimum), and it's ``universal,'' with only the edge weights depending on the specific entropies in question. From a combinatorial perspective, our problem boils down to an ``inverse'' of the famous min-cut problem: rather than being given a graph and asked to find a min-cut, here we're given the values of min-cuts separating various sets of vertices, and need to find a weighted undirected graph consistent with those values. Our solution to this problem relies on the notion of a ``bulkless'' graph, which might be of independent interest for AdS/CFT. We also make initial progress on the case of multiple 1D boundaries -- where the boundaries could be connected via wormholes -- including an upper bound of $O(N^4)$ vertices whenever a planar bulk graph exists (thus putting the problem into the complexity class $\mathsf{NP}$).


title: Complete gravitational-waveform amplitude modes for quasi-circular compact binaries to the 3.5PN order

abstract: We complete the computation of the gravitational waveform amplitude for non-spinning compact binaries to the third and a half post-Newtonian (PN) order in the quasi-circular case. This is done by performing a spin-weighted spherical harmonics decomposition of the amplitude. This computation is achieved using the post-Newtonian-Multipolar-post-Minkowskian formalism. The amplitude modes are written in a PN expanded way as well as a factorized form suitable for EOB template building. Combining this work with previous ones, we provide in the supplemental materials the expressions of the modes including all non-spinning and spinning effects to the 3.5PN order for non-precessing quasi-circular binaries.


title: Working Alliance Transformer for Psychotherapy Dialogue Classification

abstract: As a predictive measure of the treatment outcome in psychotherapy, the working alliance measures the agreement of the patient and the therapist in terms of their bond, task and goal. Long been a clinical quantity estimated by the patients' and therapists' self-evaluative reports, we believe that the working alliance can be better characterized using natural language processing technique directly in the dialogue transcribed in each therapy session. In this work, we propose the Working Alliance Transformer (WAT), a Transformer-based classification model that has a psychological state encoder which infers the working alliance scores by projecting the embedding of the dialogues turns onto the embedding space of the clinical inventory for working alliance. We evaluate our method in a real-world dataset with over 950 therapy sessions with anxiety, depression, schizophrenia and suicidal patients and demonstrate an empirical advantage of using information about the therapeutic states in this sequence classification task of psychotherapy dialogues.


title: Risk-Averse Model Predictive Control for Priced Timed Automata

abstract: In this paper, we propose a Risk-Averse Priced Timed Automata (PTA) Model Predictive Control (MPC) framework to increase flexibility of cyber-physical systems. To improve flexibility in these systems, our risk-averse framework solves a multi-objective optimization problem to minimize the cost and risk, simultaneously. While minimizing cost ensures the least effort to achieve a task, minimizing risk provides guarantees on the feasibility of the task even during uncertainty. Our framework explores the trade-off between these two qualities to obtain risk-averse control actions. The solution of risk-averse PTA MPC dynamic decision-making algorithm reacts relatively better to PTA changes compared to PTA MPC without risk-averse feature. An example from manufacturing systems is presented to show the application of the proposed control strategy.


title: Temperature in relativistic fluids

abstract: For static matter in a gravitational field, different conventions for equilibrium local temperature exist in the classic physics literature. We illustrate the difference between two popular conventions using black-body radiation in a spherically symmetric gravitational potential. Equilibrium temperatures defined by the "Landau frame" or "Eckart frame" prescriptions most commonly used in relativistic fluid dynamics do not satisfy the statistical-mechanical relation $1/T=dS/dE$.


title: A sharp bound for the resurgence of sums of ideals

abstract: We prove a sharp upper bound for the resurgence of sums of ideals involving disjoint sets of variables, strengthening work of Bisui--H\`a--Jayanthan--Thomas. Complete solutions are delivered for two conjectures proposed by these authors. For given real numbers $a$ and $b$, we consider the set Res$(a,b)$ of possible values of the resurgence of $I+J$ where $I$ and $J$ are ideals in disjoint sets of variables having resurgence $a$ and $b$, respectively. Some questions and partial results about Res$(a,b)$ are discussed.


title: Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models

abstract: Quantum kinetically constrained models have recently attracted significant attention due to their anomalous dynamics and thermalization. In this work, we introduce a hitherto unexplored family of kinetically constrained models featuring a conserved particle number and strong inversion-symmetry breaking due to facilitated hopping. We demonstrate that these models provide a generic example of so-called quantum Hilbert space fragmentation, that is manifested in disconnected sectors in the Hilbert space that are not apparent in the computational basis. Quantum Hilbert space fragmentation leads to an exponential in system size number of eigenstates with exactly zero entanglement entropy across several bipartite cuts. These eigenstates can be probed dynamically using quenches from simple initial product states. In addition, we study the particle spreading under unitary dynamics launched from the domain wall state, and find faster than diffusive dynamics at high particle densities, that crosses over into logarithmically slow relaxation at smaller densities. Using a classically simulable cellular automaton, we reproduce the logarithmic dynamics observed in the quantum case. Our work suggests that particle conserving constrained models with inversion symmetry breaking realize so far unexplored universality classes of dynamics and invite their further theoretical and experimental studies.


title: Construction and evolution of equilibrium configurations of the Schr\"odinger-Poisson system in the Madelung frame

abstract: We present the construction of ground state equilibrium configurations of the Schr\"odinger-Poisson (SP) system in the Madelung frame and evolve such configuration using finite volume methods. We compare the behavior of these configurations when evolved within the SP and Madelung frames, in terms of conservation of mass and energy. We also discuss the issues of the equations in the Madelung frame and others inherent to the numerical methods used to solve them.


title: The formal verification of the ctm approach to forcing

abstract: We discuss some highlights of our computer-verified proof of the construction, given a countable transitive set-model $M$ of $\mathit{ZFC}$, of generic extensions satisfying $\mathit{ZFC}+\neg\mathit{CH}$ and $\mathit{ZFC}+\mathit{CH}$. Moreover, let $\mathcal{R}$ be the set of instances of the Axiom of Replacement. We isolated a 21-element subset $\Omega\subseteq\mathcal{R}$ and defined $\mathcal{F}:\mathcal{R}\to\mathcal{R}$ such that for every $\Phi\subseteq\mathcal{R}$ and $M$-generic $G$, $M\models \mathit{ZC} \cup \mathcal{F}\text{``}\Phi \cup \Omega$ implies $M[G]\models \mathit{ZC} \cup \Phi \cup \{ \neg \mathit{CH} \}$, where $\mathit{ZC}$ is Zermelo set theory with Choice. To achieve this, we worked in the proof assistant Isabelle, basing our development on the Isabelle/ZF library by L. Paulson and others.