title: You Are What You Talk About: Inducing Evaluative Topics for Personality Analysis

abstract: Expressing attitude or stance toward entities and concepts is an integral part of human behavior and personality. Recently, evaluative language data has become more accessible with social media's rapid growth, enabling large-scale opinion analysis. However, surprisingly little research examines the relationship between personality and evaluative language. To bridge this gap, we introduce the notion of evaluative topics, obtained by applying topic models to pre-filtered evaluative text from social media. We then link evaluative topics to individual text authors to build their evaluative profiles. We apply evaluative profiling to Reddit comments labeled with personality scores and conduct an exploratory study on the relationship between evaluative topics and Big Five personality facets, aiming for a more interpretable, facet-level analysis. Finally, we validate our approach by observing correlations consistent with prior research in personality psychology.


title: Neutrino phenomenology, W mass anomaly & muon $(g-2)$ in minimal type-III seesaw using $T^\prime$ modular symmetry

abstract: In this study, we attempt to introduce a model to illustrate neutrino phenomenology by incorporating two right-handed fermion triplet superfields, i.e., $\Sigma_{R_j}$, in the presence of the modular symmetry $\Gamma_3^\prime \simeq A_4^\prime$, a double cover of the $A_4$ modular symmetry. The motivation in utilizing double cover is, so far only even modular forms were considered for constructing modular invariant models, but, in this case, it is possible to extend the modular invariance approach to general integral weight modular forms, i.e., the odd weight modular forms. Hence, this type of amalgamation between $T^\prime$ modular symmetry and minimally extending the seesaw can correctly explain the neutrino phenomenology. Additionally, we have made an attempt to accommodate the most recent measurement of the $W$ boson mass, published by the CDF-II collaboration and shed some light on the recent results of muon $(g-2)$. Finally, we have discussed lepton flavor violation in order to establish a constraint on the mass of right-handed fermion.


title: Upper-limb Geometric MyoPassivity Map for Physical Human-Robot Interaction

abstract: The intrinsic biomechanical characteristic of the human upper limb plays a central role in absorbing the interactive energy during physical human-robot interaction (pHRI). We have recently shown that based on the concept of ``Excess of Passivity (EoP)," from nonlinear control theory, it is possible to decode such energetic behavior for both upper and lower limbs. The extracted knowledge can be used in the design of controllers for optimizing the transparency and fidelity of force fields in human-robot interaction and in haptic systems. In this paper, for the first time, we investigate the frequency behavior of the passivity map for the upper limb when the muscle co-activation was controlled in real-time through visual electromyographic feedback. Five healthy subjects (age: 27 +/- 5) were included in this study. The energetic behavior was evaluated at two stimulation frequencies at eight interaction directions over two controlled muscle co-activation levels. Electromyography (EMG) was captured using the Delsys Wireless Trigno system. Results showed a correlation between EMG and EoP, which was further altered by increasing the frequency. The proposed energetic behavior is named the Geometric MyoPassivity (GMP) map. The findings indicate that the GMP map has the potential to be used in real-time to quantify the absorbable energy, thus passivity margin of stability for upper limb interaction during pHRI.


title: Hybrid Probabilistic Logic Programming: Inference and Learning

abstract: This thesis focuses on advancing probabilistic logic programming (PLP), which combines probability theory for uncertainty and logic programming for relations. The thesis aims to extend PLP to support both discrete and continuous random variables, which is necessary for applications with numeric data. The first contribution is the introduction of context-specific likelihood weighting (CS-LW), a new sampling algorithm that exploits context-specific independencies for computational gains. Next, a new hybrid PLP, DC#, is introduced, which integrates the syntax of Distributional Clauses with Bayesian logic programs and represents three types of independencies: i) conditional independencies (CIs) modeled in Bayesian networks; ii) context-specific independencies (CSIs) represented by logical rules, and iii) independencies amongst attributes of related objects in relational models expressed by combining rules. The scalable inference algorithm FO-CS-LW is introduced for DC#. Finally, the thesis addresses the lack of approaches for learning hybrid PLP from relational data with missing values and (probabilistic) background knowledge with the introduction of DiceML, which learns the structure and parameters of hybrid PLP and tackles the relational autocompletion problem. The conclusion discusses future directions and open challenges for hybrid PLP.


title: The data center for the Spectrometer and Telescope for Imaging X-rays (STIX) onboard Solar Orbiter

abstract: The Spectrometer and Telescope for Imaging X-rays (STIX) on board Solar Orbiter observes solar X-ray emission in the range of 4 – 150 keV and produces spectra and images of solar flares over a wide range of flare magnitudes. During nominal operation, STIX continuously generates data. A constant data flow requires fully automated data-processing pipelines to process and analyze the data, and a data platform to manage, visualize, and distribute the data products to the scientific community. The STIX Data Center has been built to fulfill these needs. In this paper, we outline its main components to help the community better understand the tools and data it provides. The STIX Data Center is operated at the University of Applied Sciences and Arts Northwestern Switzerland (FHNW) and consists of automated processing pipelines and a data platform. The pipelines process STIX telemetry data, perform common analysis tasks, and generate data products at different processing levels. They have been designed to operate fully automatically with minimal human intervention. The data platform provides web-based user interfaces and application programmable interfaces for searching and downloading STIX data products. The STIX Data Center has been operating successfully for more than two years. The platform facilitates instrument operations and provides vital support to STIX data users.


title: Classical Spin Gravitational Compton Scattering

abstract: We introduce a novel bootstrap method for classical Compton scattering amplitudes involving two massless gluon/graviton particles and two arbitrary-spin infinite-mass particles in a heavy-mass effective field theory context. Using a suitable ansatz, we deduce new and explicit classical spin results for gluon four and five-point infinite mass processes that exhibit exponentiated three-point factorizations to all orders in spin and feature no spurious poles. We discuss the generalization of our bootstrap to higher multiplicities and summarize future potential applications.


title: Navigating in the Dark -- Designing Autonomous Driving Features to Assist Old Adults with Visual Impairments

abstract: Age-related macular degeneration is a leading cause of blindness worldwide and is one of many limitations to independent driving among old adults. Highly autonomous vehicles present a prospective solution for those who are no longer capable of driving due to low vision. However, accessibility issues must be addressed to create a safe and pleasant experience for this group of users so that it allows them to maintain an appropriate level of situational awareness and a sense of control during driving. In this study, we made use of a human-centered design process consisting of five stages - empathize, define, ideate, prototype, and test. We designed a prototype to aid old adults with age-related macular degeneration to travel with a necessary level of situational awareness and remain in control while riding in a highly or fully autonomous vehicle. The final design prototype includes a voice-activated navigation system with three levels of details to bolster situational awareness, a 360 degree in-vehicle camera to detect both the passenger and objects around the vehicle, a retractable microphone for the passenger to be easily registered in the vehicle while speaking, and a physical button on the console-side of the right and left front seats to manually activate the navigation system.


title: Serious Games and AI: Challenges and Opportunities for Computational Social Science

abstract: The video game industry plays an essential role in the entertainment sphere of our society. However, from Monopoly to Flight Simulators, serious games have also been appealing tools for learning a new language, conveying values, or training skills. Furthermore, the resurgence of Artificial Intelligence (AI) and data science in the last decade has created a unique opportunity since the amount of data collected through a game is immense, as is the amount of data needed to feed such AI algorithms. This paper aims to identify relevant research lines using Serious Games as a novel research tool, especially in Computational Social Sciences. To contextualize, we also conduct a (non-systematic) literature review of this field. We conclude that the synergy between games and data can foster the use of AI for good and open up new strategies to empower humanity and support social research with novel computational tools. We also discuss the challenges and new opportunities that arise from aspiring to such lofty goals.


title: Products of two involutions in orthogonal and symplectic groups

abstract: An element of a group is called bireflectional when it is the product of two involutions of the group (i.e. elements of order 1 or 2). If an element is bireflectional then it is conjugated to its inverse. It is known that all elements of orthogonal groups of quadratic forms are bireflectional. F. B\"unger has characterized the elements of unitary groups (over fields of characteristic not $2$) that are bireflectional. Yet in symplectic groups over fields with characteristic different from 2, in general there are elements that are conjugated to their inverse but are not bireflectional (however, over fields of characteristic 2, every element of a symplectic group is bireflectional). In this article, we characterize the bireflectional elements of symplectic groups in terms of Wall invariants, over fields of characteristic not 2: the result is cited without proof in B\"unger's PhD thesis, and attributed to Klaus Nielsen. We also take advantage of our approach to give a simplified proof of Wonenburger's corresponding result for orthogonal groups and general linear groups.


title: A support theorem for parabolic stochastic PDEs with nondegenerate H\"older diffusion coefficients

abstract: In this paper we work with parabolic SPDEs of the form $$ \partial_t u(t,x)=\partial_x^2 u(t,x)+g(t,x,u)+\sigma(t,x,u)\dot{W}(t,x) $$ with Neumann boundary conditions, where $x\in[0,1]$, $\dot{W}(t,x)$ is the space-time white noise on $(t,x)\in[0,\infty)\times [0,1]$, $g$ is uniformly bounded, and the solution $u\in\mathbb{R}$ is real valued. The diffusion coefficient $\sigma$ is assumed to be uniformly elliptic but only H\"older continuous in $u$. Previously, support theorems for SPDEs have only been established assuming that $\sigma$ is Lipschitz continuous in $u$. We obtain new support theorems and small ball probabilities in this $\sigma$ H\"older continuous case via the recently established sharp two sided estimates of stochastic integrals.


title: Tracking People in Highly Dynamic Industrial Environments

abstract: To date, the majority of positioning systems have been designed to operate within environments that have long-term stable macro-structure with potential small-scale dynamics. These assumptions allow the existing positioning systems to produce and utilize stable maps. However, in highly dynamic industrial settings these assumptions are no longer valid and the task of tracking people is more challenging due to the rapid large-scale changes in structure. In this paper we propose a novel positioning system for tracking people in highly dynamic industrial environments, such as construction sites. The proposed system leverages the existing CCTV camera infrastructure found in many industrial settings along with radio and inertial sensors within each worker's mobile phone to accurately track multiple people. This multi-target multi-sensor tracking framework also allows our system to use cross-modality training in order to deal with the environment dynamics. In particular, we show how our system uses cross-modality training in order to automatically keep track environmental changes (i.e. new walls) by utilizing occlusion maps. In addition, we show how these maps can be used in conjunction with social forces to accurately predict human motion and increase the tracking accuracy. We have conducted extensive real-world experiments in a construction site showing significant accuracy improvement via cross-modality training and the use of social forces.


title: Anomaly, reciprocity, and community detection in networks

abstract: Anomaly detection algorithms are a valuable tool in network science for identifying unusual patterns in a network. These algorithms have numerous practical applications, including detecting fraud, identifying network security threats, and uncovering significant interactions within a dataset. In this project, we propose a probabilistic generative approach that incorporates community membership and reciprocity as key factors driving regular behavior in a network, which can be used to identify potential anomalies that deviate from expected patterns. We model pairs of edges in a network with exact two-edge joint distributions. As a result, our approach captures the exact relationship between pairs of edges and provides a more comprehensive view of social networks. Additionally, our study highlights the role of reciprocity in network analysis and can inform the design of future models and algorithms. We also develop an efficient algorithmic implementation that takes advantage of the sparsity of the network.


title: On Pisot Units and the Fundamental Domain of Galois Extensions of $\mathbb{Q}$

abstract: In this paper, we present two main results. Let $K$ be a number field that is Galois over $\mathbb{Q}$ with degree $r+2s$, where $r$ is the number of real embeddings and $s$ is the number of pairs of complex embeddings. The first result states that the number of facets of the reduction domain (and therefore the fundamental domain) of $K$ is no greater than $O\left(\left(\frac{1}{2}(r+s-1)^\delta(r+s)^{1+\frac{1}{2(r+s-1)}}\right)^{r+s-1}\right) \cdot\left(e^{1+\frac1{2e}}\right)^{r+s}(r+s)!$, where $\delta=1/2$ if $r+s \leq 11$ or $\delta=1$ otherwise. The second result states that there exists a linear time algorithm to reduce a totally positive unary form $axx^*$, such that the new totally positive element $a^\prime$ that is equivalent to $a$ has trace no greater than a constant multiplied by the integer minimum of the trace-form $\trace(axx^*)$, where the constant is determined by the shortest Pisot unit in the number field. This may have applications in ring-based cryptography. Finally, we show that the Weil height of the shortest Pisot unit in the number field can be no greater than $\frac{1}{[K:\mathbb{Q}]}\left(\frac{\gamma}{2}(r+s-1)^{\delta-\frac{1}{2(r+s-1)}}R_K^{\frac{1}{r+s-1}}+(r+s-1)\epsilon\right)$, where $R_K$ denotes the regulator of $K$, $\gamma=1$ if $K$ is totally real or $2$ otherwise, and $\epsilon>0$ is some arbitrarily small constant.


title: Decentralized Stream Runtime Verification for Timed Asynchronous Networks

abstract: We study the problem of monitoring distributed systems where computers communicate using message passing and share an almost synchronized clock. This is a realistic scenario for networks where the speed of the monitoring is sufficiently slow (at the human scale) to permit efficient clock synchronization, where the clock deviations is small compared to the monitoring cycles. This is the case when monitoring human systems in wide area networks, the Internet or including large deployments. More concretely, we study how to monitor decentralized systems where monitors are expressed as stream runtime verification specifications, under a timed asynchronous network. Our monitors communicate using the network, where messages can take arbitrarily long but cannot be duplicated or lost. This communication setting is common in many cyber-physical systems like smart buildings and ambient living. Previous approaches to decentralized monitoring were limited to synchronous networks, which are not easily implemented in practice because of network failures. Even when networks failures are unusual, they can require several monitoring cycles to be repaired. In this work we propose a solution to the timed asynchronous monitoring problem and show that this problem generalizes the synchronous case. We study the specifications and conditions on the network behavior that allow the monitoring to take place with bounded resources, independently of the trace length. Finally, we report the results of an empirical evaluation of an implementation and verify the theoretical results in terms of effectiveness and efficiency.


title: Entropy determination for mixtures in the adiabatic grand-isobaric ensemble

abstract: The entropy change that occurs upon mixing two fluids has remained an intriguing topic since the dawn of statistical mechanics. In this work, we generalize the grand-isobaric ensemble to mixtures, and develop a Monte Carlo algorithm for the rapid determination of entropy in these systems. A key advantage of adiabatic ensembles is the direct connection they provide with entropy. Here, we show how the entropy of a binary mixture A-B can be readily obtained in the adiabatic grand-isobaric $(\mu_{\text{A}}$, $\mu_{\text{B}}, P, R)$ ensemble, in which $\mu_{\text{A}}$ and $\mu_{\text{B}}$ denote the chemical potential of components A and B, respectively, $P$ is the pressure, and $R$ is the heat (Ray) function, that corresponds to the total energy of the system. This, in turn, allows for the evaluation of the entropy of mixing, as well as of the Gibbs free energy of mixing. We also demonstrate that our approach performs very well both on systems modeled with simple potentials and with complex many-body force fields. Finally, this approach provides a direct route to the determination of the thermodynamic properties of mixing, and allows for the efficient detection of departures from ideal behavior in mixtures.


title: Energy hierarchies governing quarkonium dynamics in Heavy Ion Collisions

abstract: In this paper, we critically examine hierarchies between energy scales that determine quarkonium dynamics in the quark gluon plasma. A particularly important role is played by the ratio of the binding energy of species ($E_b$) and the medium scales; temperature ($T$) and Debye mass ($m_D$). It is well known that if these ratios are much larger than one then the dominant process governing quarkonium evolution is dissociation by thermal gluons (gluo-dissociation). On the other hand, if this ratio is much smaller than one then quarkonium dynamics is dominated by screening and Landau damping of the exchanged gluons. Here we show that over most of the evolution, the scale hierarchies do not fall in either limit and one needs to use the full structure of the gluonic spectral function to follow the dynamics of the $Q\bar{Q}$ pair. This has a significant bearing when we follow the quantum dynamics of quarkonia in the medium. The inverse medium relaxation time is also $\sim T$ and if $E_b$ is comparable (or larger) in magnitude to $T$, the quantum evolution of $Q\bar{Q}$ is non-local in time within the Brownian approximation.


title: Exploring Semantic Perturbations on Grover

abstract: With news and information being as easy to access as they currently are, it is more important than ever to ensure that people are not mislead by what they read. Recently, the rise of neural fake news (AI-generated fake news) and its demonstrated effectiveness at fooling humans has prompted the development of models to detect it. One such model is the Grover model, which can both detect neural fake news to prevent it, and generate it to demonstrate how a model could be misused to fool human readers. In this work we explore the Grover model's fake news detection capabilities by performing targeted attacks through perturbations on input news articles. Through this we test Grover's resilience to these adversarial attacks and expose some potential vulnerabilities which should be addressed in further iterations to ensure it can detect all types of fake news accurately.


title: Inclusive-photon production and its dependence on photon isolation in $pp$ collisions at $\sqrt s=13$ TeV using 139 fb$^{-1}$ of ATLAS data

abstract: Measurements of differential cross sections are presented for inclusive isolated-photon production in $pp$ collisions at a centre-of-mass energy of 13 TeV provided by the LHC and using 139 fb$^{-1}$ of data recorded by the ATLAS experiment. The cross sections are measured as functions of the photon transverse energy in different regions of photon pseudorapidity. The photons are required to be isolated by means of a fixed-cone method with two different cone radii. The dependence of the inclusive-photon production on the photon isolation is investigated by measuring the fiducial cross sections as functions of the isolation-cone radius and the ratios of the differential cross sections with different radii in different regions of photon pseudorapidity. The results presented in this paper constitute an improvement with respect to those published by ATLAS earlier: the measurements are provided for different isolation radii and with a more granular segmentation in photon pseudorapidity that can be exploited in improving the determination of the proton parton distribution functions. These improvements provide a more in-depth test of the theoretical predictions. Next-to-leading-order QCD predictions from JETPHOX and SHERPA and next-to-next-to-leading-order QCD predictions from NNLOJET are compared to the measurements, using several parameterisations of the proton parton distribution functions. The measured cross sections are well described by the fixed-order QCD predictions within the experimental and theoretical uncertainties in most of the investigated phase-space region.


title: Iterative Deepening Hyperband

abstract: Hyperparameter optimization (HPO) is concerned with the automated search for the most appropriate hyperparameter configuration (HPC) of a parameterized machine learning algorithm. A state-of-the-art HPO method is Hyperband, which, however, has its own parameters that influence its performance. One of these parameters, the maximal budget, is especially problematic: If chosen too small, the budget needs to be increased in hindsight and, as Hyperband is not incremental by design, the entire algorithm must be re-run. This is not only costly but also comes with a loss of valuable knowledge already accumulated. In this paper, we propose incremental variants of Hyperband that eliminate these drawbacks, and show that these variants satisfy theoretical guarantees qualitatively similar to those for the original Hyperband with the "right" budget. Moreover, we demonstrate their practical utility in experiments with benchmark data sets.


title: Decay law of magnetic turbulence with helicity balanced by chiral fermions

abstract: In plasmas composed of massless electrically charged fermions, chirality can be interchanged with magnetic helicity while preserving the total chirality through the quantum chiral anomaly. The decay of turbulent energy in plasmas such as those in the early Universe and compact stars is usually controlled by certain conservation laws. In the case of zero total chirality, when the magnetic helicity density balances with the appropriately scaled chiral chemical potential to zero, the total chirality no longer determines the decay. We propose that in such a case, an adaptation to the Hosking integral, which is conserved in nonhelical magnetically dominated turbulence, controls the decay in turbulence with helicity balanced by chiral fermions. We show, using a high resolution numerical simulation, that this is indeed the case. The magnetic energy density decays and the correlation length increases with time just like in nonhelical turbulence with vanishing chiral chemical potential. But here, the magnetic helicity density is nearly maximum and shows a scaling with time $t$ proportional to $t^{-2/3}$. This is unrelated to the $t^{-2/3}$ decay of magnetic {\it energy} in fully helical magnetic turbulence. The modulus of the chiral chemical potential decays in the same fashion. This is much slower than the exponential decay previously expected in theories of asymmetric baryon production from the hypermagnetic helicity decay after axion inflation.


title: Exact Probabilistic Inference Using Generating Functions

abstract: Probabilistic programs are typically normal-looking programs describing posterior probability distributions. They intrinsically code up randomized algorithms and have long been at the heart of modern machine learning and approximate computing. We explore the theory of generating functions [19] and investigate its usage in the exact quantitative reasoning of probabilistic programs. Important topics include the exact representation of program semantics [13], proving exact program equivalence [5], and -- as our main focus in this extended abstract -- exact probabilistic inference. In probabilistic programming, inference aims to derive a program's posterior distribution. In contrast to approximate inference, inferring exact distributions comes with several benefits [8], e.g., no loss of precision, natural support for symbolic parameters, and efficiency on models with certain structures. Exact probabilistic inference, however, is a notoriously hard task [6,12,17,18]. The challenges mainly arise from three program constructs: (1) unbounded while-loops and/or recursion, (2) infinite-support distributions, and (3) conditioning (via posterior observations). We present our ongoing research in addressing these challenges (with a focus on conditioning) leveraging generating functions and show their potential in facilitating exact probabilistic inference for discrete probabilistic programs.


title: Towards Implementing Energy-aware Data-driven Intelligence for Smart Health Applications on Mobile Platforms

abstract: Recent breakthrough technological progressions of powerful mobile computing resources such as low-cost mobile GPUs along with cutting-edge, open-source software architectures have enabled high-performance deep learning on mobile platforms. These advancements have revolutionized the capabilities of today's mobile applications in different dimensions to perform data-driven intelligence locally, particularly for smart health applications. Unlike traditional machine learning (ML) architectures, modern on-device deep learning frameworks are proficient in utilizing computing resources in mobile platforms seamlessly, in terms of producing highly accurate results in less inference time. However, on the flip side, energy resources in a mobile device are typically limited. Hence, whenever a complex Deep Neural Network (DNN) architecture is fed into the on-device deep learning framework, while it achieves high prediction accuracy (and performance), it also urges huge energy demands during the runtime. Therefore, managing these resources efficiently within the spectrum of performance and energy efficiency is the newest challenge for any mobile application featuring data-driven intelligence beyond experimental evaluations. In this paper, first, we provide a timely review of recent advancements in on-device deep learning while empirically evaluating the performance metrics of current state-of-the-art ML architectures and conventional ML approaches with the emphasis given on energy characteristics by deploying them on a smart health application. With that, we are introducing a new framework through an energy-aware, adaptive model comprehension and realization (EAMCR) approach that can be utilized to make more robust and efficient inference decisions based on the available computing/energy resources in the mobile device during the runtime.


title: Decentralized Search and Track with Multiple Autonomous Agents

abstract: In this paper we study the problem of cooperative searching and tracking (SAT) of multiple moving targets with a group of autonomous mobile agents that exhibit limited sensing capabilities. We assume that the actual number of targets is not known a priori and that target births/deaths can occur anywhere inside the surveillance region. For this reason efficient search strategies are required to detect and track as many targets as possible. To address the aforementioned challenges we augment the classical Probability Hypothesis Density (PHD) filter with the ability to propagate in time the search density in addition to the target density. Based on this, we develop decentralized cooperative look-ahead strategies for efficient searching and tracking of an unknown number of targets inside a bounded surveillance area. The performance of the proposed approach is demonstrated through simulation experiments.


title: Quantifying the HIV reservoir with dilution assays and deep viral sequencing

abstract: People living with HIV on antiretroviral therapy often have undetectable virus levels by standard assays, but "latent" HIV still persists in viral reservoirs. Eliminating these reservoirs is the goal of HIV cure research. The quantitative viral outgrowth assay (QVOA) is commonly used to estimate the reservoir size, i.e., the infectious units per million (IUPM) of HIV-persistent resting CD4+ T cells. A new variation of the QVOA, the Ultra Deep Sequencing Assay of the outgrowth virus (UDSA), was recently developed that further quantifies the number of viral lineages within a subset of infected wells. Performing the UDSA on a subset of wells provides additional information that can improve IUPM estimation. This paper considers statistical inference about the IUPM from combined dilution assay (QVOA) and deep viral sequencing (UDSA) data, even when some deep sequencing data are missing. Methods are proposed to accommodate assays with wells sequenced at multiple dilution levels and with imperfect sensitivity and specificity, and a novel bias-corrected estimator is included for small samples. The proposed methods are evaluated in a simulation study, applied to data from the University of North Carolina HIV Cure Center, and implemented in the open-source R package SLDeepAssay.


title: Synthesis-based Imaging-Differentiation Representation Learning for Multi-Sequence 3D/4D MRI

abstract: Multi-sequence MRIs can be necessary for reliable diagnosis in clinical practice due to the complimentary information within sequences. However, redundant information exists across sequences, which interferes with mining efficient representations by modern machine learning or deep learning models. To handle various clinical scenarios, we propose a sequence-to-sequence generation framework (Seq2Seq) for imaging-differentiation representation learning. In this study, not only do we propose arbitrary 3D/4D sequence generation within one model to generate any specified target sequence, but also we are able to rank the importance of each sequence based on a new metric estimating the difficulty of a sequence being generated. Furthermore, we also exploit the generation inability of the model to extract regions that contain unique information for each sequence. We conduct extensive experiments using three datasets including a toy dataset of 20,000 simulated subjects, a brain MRI dataset of 1,251 subjects, and a breast MRI dataset of 2,101 subjects, to demonstrate that (1) our proposed Seq2Seq is efficient and lightweight for complex clinical datasets and can achieve excellent image quality; (2) top-ranking sequences can be used to replace complete sequences with non-inferior performance; (3) combining MRI with our imaging-differentiation map leads to better performance in clinical tasks such as glioblastoma MGMT promoter methylation status prediction and breast cancer pathological complete response status prediction. Our code is available at https://github.com/fiy2W/mri_seq2seq.


title: Probabilistic Search and Track with Multiple Mobile Agents

abstract: In this paper we are interested in the task of searching and tracking multiple moving targets in a bounded surveillance area with a group of autonomous mobile agents. More specifically, we assume that targets can appear and disappear at random times inside the surveillance region and their positions are random and unknown. The agents have a limited sensing range, and due to sensor imperfections they receive noisy measurements from the targets. In this work we utilize the theory of random finite sets (RFS) to capture the uncertainty in the time-varying number of targets and their states and we propose a decision and control framework, in which the mode of operation (i.e. search or track) as well as the mobility control action for each agent, at each time instance, are determined so that the collective goal of searching and tracking is achieved. Extensive simulation results demonstrate the effectiveness and performance of the proposed solution.


title: Time series models on the simplex, with an application to dynamic modeling of relative abundance data in Ecology

abstract: Motivated by the dynamic modeling of relative abundance data in ecology, we introduce a general approach to model time series on the simplex. Our approach is based on a general construction of infinite memory models, called chains with complete connections. Simple conditions ensuring the existence of stationary paths are given for the transition kernel that defines the dynamic. We then study in details two specific examples with a Dirichlet and a multivariate logistic-normal conditional distribution. Inference methods can be based on either likelihood maximization or on some convex criteria that can be used to initialize likelihood optimization. We also give an interpretation of our models in term of additive perturbations on the simplex and relative risk ratios which are useful to analyze abundance data in ecosystems. An illustration concerning the evolution of the distribution of three species of Scandinavian birds is provided.


title: Radiative heat exchange driven by acoustic vibration modes between two solids at the atomic scale

abstract: When two solids are separated by a vacuum gap of thickness smaller than the wavelength of acoustic phonons, the latter can tunnel across the gap thanks to van der Waals forces or electrostatic interactions. Here we show that these mechanical vibration modes can also contribute significantly, at the atomic scale, to the nonlocal radiative response of polar materials. By combining molecular-dynamics simulations with fluctuational-electrodynamics theory, we investigate the near-field radiative heat transfer between two slabs due to this optomechanical coupling and highlight its dominant role at cryogenic temperatures. These results pave the way to exciting avenues for the control of heat flux and the development of cooling strategies at the atomic scale.


title: Off-the-Grid MARL: Datasets with Baselines for Offline Multi-Agent Reinforcement Learning

abstract: Being able to harness the power of large datasets for developing cooperative multi-agent controllers promises to unlock enormous value for real-world applications. Many important industrial systems are multi-agent in nature and are difficult to model using bespoke simulators. However, in industry, distributed processes can often be recorded during operation, and large quantities of demonstrative data stored. Offline multi-agent reinforcement learning (MARL) provides a promising paradigm for building effective decentralised controllers from such datasets. However, offline MARL is still in its infancy and therefore lacks standardised benchmark datasets and baselines typically found in more mature subfields of reinforcement learning (RL). These deficiencies make it difficult for the community to sensibly measure progress. In this work, we aim to fill this gap by releasing off-the-grid MARL (OG-MARL): a growing repository of high-quality datasets with baselines for cooperative offline MARL research. Our datasets provide settings that are characteristic of real-world systems, including complex environment dynamics, heterogeneous agents, non-stationarity, many agents, partial observability, suboptimality, sparse rewards and demonstrated coordination. For each setting, we provide a range of different dataset types (e.g. Good, Medium, Poor, and Replay) and profile the composition of experiences for each dataset. We hope that OG-MARL will serve the community as a reliable source of datasets and help drive progress, while also providing an accessible entry point for researchers new to the field.


title: Multilevel Monte Carlo FEM for Elliptic PDEs with Besov Random Tree Priors

abstract: We develop a multilevel Monte Carlo (MLMC)-FEM algorithm for linear, elliptic diffusion problems in polytopal domain $\mathcal D\subset \mathbb R^d$, with Besov-tree random coefficients. This is to say that the logarithms of the diffusion coefficients are sampled from so-called Besov-tree priors, which have recently been proposed to model data for fractal phenomena in science and engineering. Numerical analysis of the fully discrete FEM for the elliptic PDE includes quadrature approximation and must account for a) nonuniform pathwise upper and lower coefficient bounds, and for b) low path-regularity of the Besov-tree coefficients. Admissible non-parametric random coefficients correspond to random functions exhibiting singularities on random fractals with tunable fractal dimension, but involve no a-priori specification of the fractal geometry of singular supports of sample paths. Optimal complexity and convergence rate estimates for quantities of interest and for their second moments are proved. A convergence analysis for MLMC-FEM is performed which yields choices of the algorithmic steering parameters for efficient implementation. A complexity (``error vs work'') analysis of the MLMC-FEM approximations is provided.


title: Uncertainty-Driven Dense Two-View Structure from Motion

abstract: This work introduces an effective and practical solution to the dense two-view structure from motion (SfM) problem. One vital question addressed is how to mindfully use per-pixel optical flow correspondence between two frames for accurate pose estimation -- as perfect per-pixel correspondence between two images is difficult, if not impossible, to establish. With the carefully estimated camera pose and predicted per-pixel optical flow correspondences, a dense depth of the scene is computed. Later, an iterative refinement procedure is introduced to further improve optical flow matching confidence, camera pose, and depth, exploiting their inherent dependency in rigid SfM. The fundamental idea presented is to benefit from per-pixel uncertainty in the optical flow estimation and provide robustness to the dense SfM system via an online refinement. Concretely, we introduce our uncertainty-driven Dense Two-View SfM pipeline (DTV-SfM), consisting of an uncertainty-aware dense optical flow estimation approach that provides per-pixel correspondence with their confidence score of matching; a weighted dense bundle adjustment formulation that depends on optical flow uncertainty and bidirectional optical flow consistency to refine both pose and depth; a depth estimation network that considers its consistency with the estimated poses and optical flow respecting epipolar constraint. Extensive experiments show that the proposed approach achieves remarkable depth accuracy and state-of-the-art camera pose results superseding SuperPoint and SuperGlue accuracy when tested on benchmark datasets such as DeMoN, YFCC100M, and ScanNet. Code and more materials are available at http://vis.xyz/pub/dtv-sfm.


title: Normal forms for the sub-Riemannian exponential map of $\mathbb{G}_\alpha$, $\mathrm{SU}(2)$, and $\mathrm{SL}(2)$

abstract: The goal of this paper is to use singularity theory to find normal forms near the critical points of the sub-Riemannian exponential map. Three cases are studied: the $\alpha$-Grushin plane with fold singularities, and the special unitary group $\mathrm{SU}(2)$ and special linear group $\mathrm{SL}(2)$ with fold and saddle-like singularities. They serve as examples of different sub-Riemannian structures and the techniques presented can be applied to other contexts. The paper also includes a discussion of the implications of this approach, as well as open problems.


title: ABCD of qq-characters

abstract: The qq-characters are powerful tools to reveal symmetries and integrabilities of Seiberg-Witten theories. The goal of this paper is to provide analytic expressions of qq-characters based on Young diagrams in 5d $\mathcal{N} = 1$ pure Yang-Mills theories with BCD-type gauge groups, by focusing on the unrefined limit. Using these expressions, we investigate the relationships among qq-characters of classical gauge groups. For SO(n) gauge groups, we construct a quantum-toroidal-like algebra via the Ward-identity approach, which allows us to derive the qq-characters.


title: Topologies of $^{76}$Ge double-beta decay events and calibration procedure biases

abstract: The analysis of the time profile of electrical signals produced by energy depositions in germanium detectors allows discrimination of events with different topologies. This is especially relevant for experiments searching for the neutrinoless double beta decay of $^{76}$Ge to distinguish the sought-after signal from other background sources. The standard calibration procedures used to tune the selection criteria for double-beta decay events use a $^{228}$Th source, because it provides samples of signal-like events. These samples exhibit energy spatial distributions with subtle different topologies compared to neutrinoless double-beta decay events. In this work, we will characterize these topological differences and, with the support of a $^{56}$Co source, evaluate biases and precision of calibration techniques which use such event samples. Our results will be particularly relevant for future experiments in which a solid estimation of the efficiency is required.


title: A free boundary model for transport induced neurite growth

abstract: We introduce a free boundary model to example the effect of vesicle transport onto neurite growth. It consists of systems of drift-diffusion equations describing the evolution of the density of antero- and retrograde vesicles in each neurite coupled to reservoirs located at the soma and the growth cones of the neurites, respectively. The model allows for a change of neurite length depending on the vesicle concentration in the growth cones. After establishing existence and uniqueness for the time-dependent problem, we briefly comment on possible types of stationary solutions. Finally, we provide numerical studies on biologically relevant scales using a finite volume scheme. We illustrate the capability of the model to reproduce cycles of extension and retraction.


title: A latent space for unsupervised MR image quality control via artifact assessment

abstract: Image quality control (IQC) can be used in automated magnetic resonance (MR) image analysis to exclude erroneous results caused by poorly acquired or artifact-laden images. Existing IQC methods for MR imaging generally require human effort to craft meaningful features or label large datasets for supervised training. The involvement of human labor can be burdensome and biased, as labeling MR images based on their quality is a subjective task. In this paper, we propose an automatic IQC method that evaluates the extent of artifacts in MR images without supervision. In particular, we design an artifact encoding network that learns representations of artifacts based on contrastive learning. We then use a normalizing flow to estimate the density of learned representations for unsupervised classification. Our experiments on large-scale multi-cohort MR datasets show that the proposed method accurately detects images with high levels of artifacts, which can inform downstream analysis tasks about potentially flawed data.


title: On the quasinormal modes in generalized Nariai spacetimes

abstract: Quasinormal modes are eigenmodes of dissipative systems. For instance, if a spacetime with an event or cosmological horizon is perturbed from its equilibrium state, quasinormal modes arise as damped oscillations with a spectrum of complex frequencies, called quasinormal frequencies, that depends just on the charges which define the geometry of the spacetime in which the perturbation is propagating, such as the mass, electric charge, and angular momentum. Mathematically, this discrete spectrum of quasinormal modes stems from the fact that certain boundary conditions must be imposed to the physical fields propagating in such a spacetime. In this thesis, we shall consider a higher-dimensional generalization of the charged Nariai spacetime that is comprised of the direct product of the two-dimensional de Sitter space, $dS_2$, with an arbitrary number of two-spheres, $S^2$, and investigate the dynamics of spin-$s$ field perturbations for $s = 0, 1/2, 1$ and $2$. The boundary conditions leading to quasinormal modes are analyzed and the quasinormal frequencies are analytically obtained.


title: Comparing the host galaxy ages of X-ray selected AGN in COSMOS: Obscured AGN are associated with older galaxies

abstract: We explore the properties of the host galaxies of X-ray selected AGN in the COSMOS field using the Chandra Legacy sample and the LEGA-C survey VLT optical spectra. Our main goal is to compare the relative ages of the host galaxies of the obscured and unobscured AGN by means of the calcium break Dn(4000) and the Hdelta Balmer line. The host galaxy ages are examined in conjunction with other properties such as the galaxy stellar mass, and star-formation rate as well as the AGN Eddington ratio. Our sample consists of 50 unobscured or mildly obscured (logN_H (cm-2) < 23) and 23 heavily obscured AGN (log N_H (cm-2) >23) in the redshift range z=0.6-1. We take specific caution to create control samples in order to match the exact luminosity and redshift distributions for the obscured and unobscured AGN. The majority of unobscured AGN appear to live in young galaxies in contrast to the obscured AGN which appear to live in galaxies located between the young and old galaxy populations. This finding may be in contrast to those evolutionary AGN unification models which postulate that the AGN begin their life in a heavy obscuration phase. The host galaxies of the obscured AGN have significantly lower levels of specific star-formation. At the same time the obscured AGN have lower Eddington ratios indicating a link between the star-formation and the black hole accretion. We find that the distribution of the stellar masses of the host galaxies of obscured AGN is skewed towards higher stellar masses in agreement with previous findings. Our results on the relative age of obscured AGN are valid when we match our obscured and unobscured AGN samples according to the stellar mass of their host galaxies. All the above results become less conspicuous when a lower column density (log N_H(cm-2)= 21.5 or 22) is used to separate the obscured and unobscured AGN populations.


title: Quantifying errors in 3D CME parameters derived from synthetic data using white-light reconstruction techniques

abstract: (Shortened version) Current efforts in space weather forecasting of CMEs have been focused on predicting their arrival time and magnetic structure. To make predictions, methods have been developed to derive the true CME speed, size and position, among others. Difficulties in determining input parameters for CME forecasting arise from the lack of direct measurements of the coronal magnetic fields and uncertainties in estimating the CME 3D geometric and kinematic parameters. White-light coronagraph images are usually employed by a variety of CME reconstruction techniques. We explore how subjectivity affects the 3D CME parameters that are obtained from the GCS reconstruction technique. We have designed two different synthetic scenarios where the ``true'' geometric parameters are known in order to quantify such uncertainties for the first time. We explore this as follows: 1) Using the ray-tracing option from the GCS model software, and 2) Using 3D MHD simulation data from the MAS code. Our experiment includes different viewing configurations using single and multiple viewpoints. CME reconstructions using a single viewpoint had the largest errors and error ranges for both synthetic GCS and simulated MHD white-light data. Increasing the number of viewpoints to two, the errors decreased by about 4$^\circ$ in latitude, 22$^\circ$ in longitude, 14$^\circ$ in tilt, and 10$^\circ$ in half-angle, pointing towards a need for at least two viewpoints. We found the following CME parameter error bars as a starting point for quantifying the minimum error in CME parameters from white-light reconstructions: $\Delta\theta$ (latitude)=${6^\circ}$, $\Delta\phi$ (longitude)=${11^\circ}$, $\Delta\gamma$ (tilt)=${25^\circ}$, $\Delta\alpha$ (half-angle)=${10^\circ}$, $\Delta h$ (height)=$0.6 R_{\odot}$, and $\Delta\kappa$ (ratio)=$0.1$.


title: Some estimates for Mittag-Leffler function in quantum calculus and applications

abstract: The study of the Mittag-Leffler function and its various generalizations has become a very popular topic in mathematics and its applications. In the present paper we prove the following estimate for the $q$-Mittag-Leffler function: \begin{eqnarray*} \frac{1}{1+\Gamma_q\left(1-\alpha\right)z}\leq e_{\alpha,1}\left(-z;q\right)\leq\frac{1}{1+\Gamma_q\left(\alpha+1\right)^{-1}z}. \end{eqnarray*} for all $0 < \alpha < 1$ and $z>0$. Moreover, we apply it to investigate the solvability results for direct and inverse problems for time-fractional pseudo-parabolic equations in quantum calculus for a large class of positive operators with discrete spectrum.


title: Distillation Policy Optimization

abstract: While on-policy algorithms are known for their stability, they often demand a substantial number of samples. In contrast, off-policy algorithms, which leverage past experiences, are considered sample-efficient but tend to exhibit instability. Can we develop an algorithm that harnesses the benefits of off-policy data while maintaining stable learning? In this paper, we introduce an actor-critic learning framework that harmonizes two data sources for both evaluation and control, facilitating rapid learning and adaptable integration with on-policy algorithms. This framework incorporates variance reduction mechanisms, including a unified advantage estimator (UAE) and a residual baseline, improving the efficacy of both on- and off-policy learning. Our empirical results showcase substantial enhancements in sample efficiency for on-policy algorithms, effectively bridging the gap to the off-policy approaches. It demonstrates the promise of our approach as a novel learning paradigm.


title: Strong mechanical squeezing in a microcavity with double quantum wells

abstract: In a hybrid quantum system composed of two quantum wells placed inside a cavity with a moving end mirror pumped by bichromatic coherent light, we address the formation of squeezed states of a mechanical resonator. The exciton mode and mechanical resonator interact indirectly via microcavity fields. Under the conditions of the generated coupling, we predict squeezing of the mechanical-mode beyond the resolved side-band regime with existing experimental parameters. Finally, we show that the robustness of this squeezing against thermal fluctuations is important for practical applications of such systems.


title: Input-to-state stability of distributed parameter systems

abstract: Input-to-state stability (ISS) allows estimating the impact of inputs and initial conditions on both the intermediate values and the asymptotic bound on the solutions. ISS has unified the input-output and Lyapunov stability theories and is a crucial property in the stability theory of control systems as well as for many applications whose dynamics depend on parameters, unknown perturbations, or other inputs. In this habilitation thesis, we provide a broad picture of infinite-dimensional input-to-state stability theory.


title: Quantum-inspired classical algorithm for graph problems by Gaussian boson sampling

abstract: We present a quantum-inspired classical algorithm that can be used for graph-theoretical problems, such as finding the densest $k$-subgraph and finding the maximum weight clique, which are proposed as applications of a Gaussian boson sampler. The main observation from Gaussian boson samplers is that a given graph's adjacency matrix to be encoded in a Gaussian boson sampler is nonnegative, which does not necessitate quantum interference. We first provide how to program a given graph problem into our efficient classical algorithm. We then numerically compare the performance of ideal and lossy Gaussian boson samplers, our quantum-inspired classical sampler, and the uniform sampler for finding the densest $k$-subgraph and finding the maximum weight clique and show that the advantage from Gaussian boson samplers is not significant in general. We finally discuss the potential advantage of a Gaussian boson sampler over the proposed sampler.


title: Effectiveness of Moving Target Defenses for Adversarial Attacks in ML-based Malware Detection

abstract: Several moving target defenses (MTDs) to counter adversarial ML attacks have been proposed in recent years. MTDs claim to increase the difficulty for the attacker in conducting attacks by regularly changing certain elements of the defense, such as cycling through configurations. To examine these claims, we study for the first time the effectiveness of several recent MTDs for adversarial ML attacks applied to the malware detection domain. Under different threat models, we show that transferability and query attack strategies can achieve high levels of evasion against these defenses through existing and novel attack strategies across Android and Windows. We also show that fingerprinting and reconnaissance are possible and demonstrate how attackers may obtain critical defense hyperparameters as well as information about how predictions are produced. Based on our findings, we present key recommendations for future work on the development of effective MTDs for adversarial attacks in ML-based malware detection.


title: Experimental observation on a low-rank tensor model for eigenvalue problems

abstract: Here we utilize a low-rank tensor model (LTM) as a function approximator, combined with the gradient descent method, to solve eigenvalue problems including the Laplacian operator and the harmonic oscillator. Experimental results show the superiority of the polynomial-based low-rank tensor model (PLTM) compared to the tensor neural network (TNN). We also test such low-rank architectures for the classification problem on the MNIST dataset.


title: Analyzing Leakage of Personally Identifiable Information in Language Models

abstract: Language Models (LMs) have been shown to leak information about training data through sentence-level membership inference and reconstruction attacks. Understanding the risk of LMs leaking Personally Identifiable Information (PII) has received less attention, which can be attributed to the false assumption that dataset curation techniques such as scrubbing are sufficient to prevent PII leakage. Scrubbing techniques reduce but do not prevent the risk of PII leakage: in practice scrubbing is imperfect and must balance the trade-off between minimizing disclosure and preserving the utility of the dataset. On the other hand, it is unclear to which extent algorithmic defenses such as differential privacy, designed to guarantee sentence- or user-level privacy, prevent PII disclosure. In this work, we introduce rigorous game-based definitions for three types of PII leakage via black-box extraction, inference, and reconstruction attacks with only API access to an LM. We empirically evaluate the attacks against GPT-2 models fine-tuned with and without defenses in three domains: case law, health care, and e-mails. Our main contributions are (i) novel attacks that can extract up to 10$\times$ more PII sequences than existing attacks, (ii) showing that sentence-level differential privacy reduces the risk of PII disclosure but still leaks about 3% of PII sequences, and (iii) a subtle connection between record-level membership inference and PII reconstruction. Code to reproduce all experiments in the paper is available at https://github.com/microsoft/analysing_pii_leakage.


title: Sweet spot in the RuCl$_3$ magnetic system: nearly ideal $j_{\mathrm{eff}}\!=\!1/2$ moments and maximized $K/J$ ratio under pressure

abstract: Maximizing the ratio between Kitaev and residual Heisenberg interactions is a major goal in nowadays research on Kitaev-Heisenberg quantum magnets. Here we investigate Kitaev-Heisenberg exchange in a recently discovered crystalline phase of RuCl$_3$ under presure -- it displays unusually high symmetry, with only one type of Ru-Ru links, and uniform Ru-Cl-Ru bond angles of $\approx$93$^{\circ}$. By quantum chemical calculations in this particular honeycomb-lattice setting we find a very small $J$, which yields a $K/J$ ratio as large as $\sim$100. Interestingly, we also find that this is associated with vanishingly small $d$-shell trigonal splittings, i.\,e., minimal departure from ideal $j_{\mathrm{eff}}\!=\!1/2$ moments. This reconfirms RuCl$_3$ as a most promising platform for materializing the much sought-after Kitaev spin-liquid phase and stimulates further experiments under strain and pressure.


title: Parameterized Complexity of Weighted Team Definability

abstract: In this article, we study the complexity of weighted team definability for logics with team semantics. This problem is a natural analogue of one of the most studied problems in parameterized complexity, the notion of weighted Fagin-definability, which is formulated in terms of satisfaction of first-order formulas with free relation variables. We focus on the parameterized complexity of weighted team definability for a fixed formula phi of central team-based logics. Given a first-order structure A and the parameter value k as input, the question is to determine whether A,T models phi for some team T of size k. We show several results on the complexity of this problem for dependence, independence, and inclusion logic formulas. Moreover, we also relate the complexity of weighted team definability to the complexity classes in the well-known W-hierarchy as well as paraNP.


title: $h^1$ boundedness of Localized Operators and Commutators with bmo and lmo

abstract: We first consider two types of localizations of singular integral operators of convolution type, and show, under mild decay and smoothness conditions on the auxiliary functions, that their boundedness on the local Hardy space $h^1(\mathbb{R}^n)$ is equivalent. We then study the boundedness on $h^1(\mathbb{R}^n)$ of the commutator $[b,T]$ of an inhomogeneous singular integral operator with $b$ in $bmo(\mathbb{R}^n)$, the nonhomogeneous space of functions of bounded mean oscillation. We define local analogues of the atomic space $H^1_b(\mathbb{R}^n)$ introduced by P\'erez in the case of the homogeneous Hardy space and $BMO$, including a variation involving atoms with approximate cancellation conditions. For such an atom $a$, we prove integrability of the associated commutator maximal function and of $[b,T](a)$. For $b$ in $lmo(\mathbb{R}^n)$, this gives $h^1$ to $L^1$ boundedness of $[b,T]$. Finally, under additional approximate cancellation conditions on $T$, we show boundedness to $h^1$.


title: DoCoFL: Downlink Compression for Cross-Device Federated Learning

abstract: Many compression techniques have been proposed to reduce the communication overhead of Federated Learning training procedures. However, these are typically designed for compressing model updates, which are expected to decay throughout training. As a result, such methods are inapplicable to downlink (i.e., from the parameter server to clients) compression in the cross-device setting, where heterogeneous clients $\textit{may appear only once}$ during training and thus must download the model parameters. Accordingly, we propose $\textsf{DoCoFL}$ -- a new framework for downlink compression in the cross-device setting. Importantly, $\textsf{DoCoFL}$ can be seamlessly combined with many uplink compression schemes, rendering it suitable for bi-directional compression. Through extensive evaluation, we show that $\textsf{DoCoFL}$ offers significant bi-directional bandwidth reduction while achieving competitive accuracy to that of a baseline without any compression.


title: Viscous heating and instability of the adiabatic buoyant flows in a horizontal channel

abstract: The stability of buoyant flows occurring in the mixed convection regime for a viscous fluid in a horizontal plane-parallel channel with adiabatic walls is investigated. The basic flow features a parallel velocity field under stationary state conditions. There exists a duality of flows, for every prescribed value of the mass flow rate across the channel cross-section, caused by the combined actions of viscous dissipation and of the buoyancy force. As pointed out in a previous study, only the primary branch of the dual solutions is compatible with the Oberbeck-Boussinesq approximation. Thus, the stability analysis will be focussed on the stability of such flows. The onset of the thermal instability with small-amplitude perturbations of the basic flow is investigated by assuming a very large Prandtl number, which is equivalent to a creeping flow regime. The neutral stability curves and the critical parametric conditions for the onset of instability are determined numerically.


title: An Out-of-Domain Synapse Detection Challenge for Microwasp Brain Connectomes

abstract: The size of image stacks in connectomics studies now reaches the terabyte and often petabyte scales with a great diversity of appearance across brain regions and samples. However, manual annotation of neural structures, e.g., synapses, is time-consuming, which leads to limited training data often smaller than 0.001\% of the test data in size. Domain adaptation and generalization approaches were proposed to address similar issues for natural images, which were less evaluated on connectomics data due to a lack of out-of-domain benchmarks.


title: You are a Bot! -- Studying the Development of Bot Accusations on Twitter

abstract: The characterization and detection of bots with their presumed ability to manipulate society on social media platforms have been subject to many research endeavors over the last decade. In the absence of ground truth data (i.e., accounts that are labeled as bots by experts or self-declare their automated nature), researchers interested in the characterization and detection of bots may want to tap into the wisdom of the crowd. But how many people need to accuse another user as a bot before we can assume that the account is most likely automated? And more importantly, are bot accusations on social media at all a valid signal for the detection of bots? Our research presents the first large-scale study of bot accusations on Twitter and shows how the term bot became an instrument of dehumanization in social media conversations since it is predominantly used to deny the humanness of conversation partners. Consequently, bot accusations on social media should not be naively used as a signal to train or test bot detection models.


title: Upper bounds on the fluctuations for a class of degenerate convex $\nabla \phi$-interface models

abstract: We derive upper bounds on the fluctuations of a class of random surfaces of the $\nabla \phi$-type with convex interaction potentials. The Brascamp-Lieb concentration inequality provides an upper bound on these fluctuations for uniformly convex potentials. We extend these results to twice continuously differentiable convex potentials whose second derivative grows asymptotically like a polynomial and may vanish on an (arbitrarily large) interval. Specifically, we prove that, when the underlying graph is the $d$-dimensional torus of side length $L$, the variance of the height is smaller than $C \ln L$ in two dimensions and remains bounded in dimension $d \geq 3$. The proof makes use of the Helffer-Sj\"{o}strand representation formula (originally introduced by Helffer and Sj\"{o}strand (1994) and used by Naddaf and Spencer (1997) and Giacomin, Olla Spohn (2001) to identify the scaling limit of the model), the anchored Nash inequality (and the corresponding on-diagonal heat kernel upper bound) established by Mourrat and Otto (2016) and Efron's monotonicity theorem for log-concave measures (Efron (1965)).


title: Designing, Synthesizing and Modeling Active Fluids

abstract: We review recent advances in the design, synthesis, and modeling of active fluids. Active fluids have been at the center of many technological innovations and theoretical advances over the past two decades. Research on this new class of fluids has been inspired by the fascinating and remarkably efficient strategies that biological systems employ, leading to the development of biomimetic nano- and micro-machines and -swimmers. The review encompasses active fluids on both the nano- and micro-scale. We start with examples of biological active systems before we discuss how experimentalists leverage novel propulsion mechanisms to power nano- and micro-machines. We then examine how the study of these far-from-equilibrium systems has prompted the development of new simulation methods and theoretical models in nonquilibrium physics to account for their mechanical, thermodynamic and emergent properties. Recent advances in the field have paved the way for the design, synthesis, and modeling of autonomous systems at the nano- and micro-scale and open the door to the development of soft matter robotics.


title: On Differentiating Symmetric Functions

abstract: A symmetric function of $N$ variables can be given in terms of symmetric polynomials of these variables. We determine those symmetric polynomials in which the dual differential operators take the neatest form when expressed in terms of our original variables, producing a simple form for the associated Weyl algebra. Both our coordinates, and the form of our differential operators at total diagonal points, exhibit interesting properties, and are related to interesting objects like Bell polynomials. They can be modified to give a simple formula for the gradient of our symmetric function at any point.


title: A note on the generalized maximal numerical range of operators

abstract: The paper considers some new properties of the so-called $A$-maximal numerical range of operators, denoted by $W_{\max}^A(\cdot)$, where $A$ is a positive bounded linear operator acting on a complex Hilbert space $\mathcal{H}$. Some characterizations of $A$-normaloid operators are also given. In particular, we extend a recent recent by Spitkovsky in [Oper. Matrices, 13, 3(2019)]. Namely, it is shown that an $A$-bounded linear operator $T$ acting on $\mathcal{H}$ is $A$-normaloid if and only if $W_{\max}^A(T)\cap \partial W_A(T)\neq\varnothing$. Here $\partial W_A(T)$ stands for the boundary of $A$-numerical range of $T$. Some new $A$-numerical radius inequalities generalizing and improving earlier well-known results are also given.


title: Triggering Conditions Analysis and Use Case for Validation of ADAS/ADS Functions

abstract: Safety in the automotive domain is a well-known topic, which has been in constant development in the past years. The complexity of new systems that add more advanced components in each function has opened new trends that have to be covered from the safety perspective. In this case, not only specifications and requirements have to be covered but also scenarios, which cover all relevant information of the vehicle environment. Many of them are not yet still sufficient defined or considered. In this context, Safety of the Intended Functionality (SOTIF) appears to ensure the system when it might fail because of technological shortcomings or misuses by users. An identification of the plausibly insufficiencies of ADAS/ADS functions has to be done to discover the potential triggering conditions that can lead to these unknown scenarios, which might effect a hazardous behaviour. The main goal of this publication is the definition of an use case to identify these triggering conditions that have been applied to the collision avoidance function implemented in our self-developed mobile Hardware-in-Loop (HiL) platform.


title: Constraining Co-Varying Coupling Constants from Globular Cluster Age

abstract: Equations governing the evolution of a star involve multiple coupling constants. Thus, the time it spends as a main-sequence star can be expected to depend on whether or not such constants vary over the time scale of stellar evolution. When the star belongs to a globular cluster, the star's age cannot exceed that of the globular cluster, and the latter cannot exceed the age of the Universe. This fact can be used to constrain or verify the variation of the coupling constants, i.e., the speed of light c, the gravitational constant G, the Planck constant h, and the Boltzmann constant k. We have estimated the age of the main-sequence star analytically from the time it takes to synthesize all its hydrogen into helium under fixed and varying coupling constants scenarios. When we permitted the interrelated variation of the four constants ($G\thicksim c^{3}\thicksim h^{3}\thicksim k^{3/2}$) and differentiated between the cosmological energy and local energy conservation laws, we could show that the variation of the constants established in our earlier studies, i.e., $(\dot{G}/G)_{0}=3(\dot{c}/c)_{0}=(\dot{h}/h)_{0}=1.5 (\dot{k}/k)_{0}=5.4H_{0} =3.90(\pm 0.04)\times 10^{-10} yr^{-1}$ at the current cosmic time is consistent with the present work. Nevertheless, the challenge remains to come up with an experiment, astrometric or terrestrial, that can unequivocally prove or falsify the predicted variation.


title: Ferromagnetism of sputtered Fe3GeTe2 ultrathin films in the absence of two-dimensional crystalline order

abstract: The discovery of ferromagnetism in two-dimensional (2D) monolayers has stimulated growing research interest in both spintronics and material science. However, these 2D ferromagnetic layers are mainly prepared through an incompatible approach for large-scale fabrication and integration, and moreover, a fundamental question whether the observed ferromagnetism actually correlates with the 2D crystalline order has not been explored. Here, we choose a typical 2D ferromagnetic material, Fe3GeTe2, to address these two issues by investigating its ferromagnetism in an amorphous state. We have fabricated nanometer-thick amorphous Fe3GeTe2 films approaching the monolayer thickness limit of crystallized Fe3GeTe2 (0.8 nm) through magnetron sputtering. Compared to crystallized Fe3GeTe2, we found that the basic ferromagnetic attributes, such as the Curie temperature that directly reflects magnetic exchange interactions and local anisotropic energy, do not change significantly in the amorphous states. This is attributed to that the short-range atomic order, as confirmed by valence state analysis, is almost the same for both phases. The persistence of ferromagnetism in the ultrathin amorphous counterpart has also been confirmed through magnetoresistance measurements, where two unconventional switching dips arising from electrical transport within domain walls are clearly observed in the amorphous Fe3GeTe2 single layer. These results indicate that the long-range ferromagnetic order of crystallized Fe3GeTe2 may not correlate to the 2D crystalline order and the corresponding ferromagnetic attributes can be utilized in an amorphous state which suits large-scale fabrication in a semiconductor technology-compatible manner for spintronics applications.


title: Anomaly-Induced Quenching of ${g_A}$ in Nuclear Matter and Impact on Search for Neutrinoless $\beta\beta$ Decay

abstract: How to disentangle the possible {\it genuine} quenching of $g_A$ caused by scale anomaly of QCD parameterized by the scale-symmetry-breaking quenching factor $q_{ssb}$ from nuclear correlation effects is described. This is done by matching the Fermi-liquid fixed point (FLFP) theory to the ``Extreme Single Particle (shell) Model" (acronym ESPM) in superallowed Gamow-Teller transitions in heavy doubly-magic shell nuclei. The recently experimentally observed indication for $(1-q_{ssb})\neq 0$ -- that one might identify as ``fundamental quenching ({\it FQ})" -- in certain experiments seems to be alarmingly significant. I present arguments how symmetries hidden in the matter-free vacuum can emerge and suppress such {\it FQ} in strong nuclear correlations. How to confirm or refute this observation is discussed in terms of the superallowed Gamow-Teller transition in the doubly-magic nucleus $^{100}$Sn and in the spectral shape in the multifold forbidden $\beta$ decay of $^{115}$In.


title: On torus quotients of Schubert varieties in orthogonal Grassmannian-II

abstract: Let $G=SO(8n+4,\mathbb{C})$ ($n\ge 1$). Let $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ Let $P (\supset B)$ denote the maximal parabolic subgroup of $G$ corresponding to the simple root $\alpha_{4n+2}$. In this article, we prove projective normality of the GIT quotients of certain Schubert varieties in the orthogonal Grassmannian $G/P$ with respect to the descent of a suitable $T$-linearized very ample line bundle.


title: Correspondence-free online human motion retargeting

abstract: We present a data-driven framework for unsupervised human motion retargeting that animates a target subject with the motion of a source subject. Our method is correspondence-free, requiring neither spatial correspondences between the source and target shapes nor temporal correspondences between different frames of the source motion. This allows to animate a target shape with arbitrary sequences of humans in motion, possibly captured using 4D acquisition platforms or consumer devices. Our method unifies the advantages of two existing lines of work, namely skeletal motion retargeting, which leverages long-term temporal context, and surface-based retargeting, which preserves surface details, by combining a geometry-aware deformation model with a skeleton-aware motion transfer approach. This allows to take into account long-term temporal context while accounting for surface details. During inference, our method runs online, i.e. input can be processed in a serial way, and retargeting is performed in a single forward pass per frame. Experiments show that including long-term temporal context during training improves the method's accuracy for skeletal motion and detail preservation. Furthermore, our method generalizes to unobserved motions and body shapes. We demonstrate that our method achieves state-of-the-art results on two test datasets and that it can be used to animate human models with the output of a multi-view acquisition platform. Code is available at \url{https://gitlab.inria.fr/rrekikdi/human-motion-retargeting2023}.


title: Graph Neural Network Based Surrogate Model of Physics Simulations for Geometry Design

abstract: Computational Intelligence (CI) techniques have shown great potential as a surrogate model of expensive physics simulation, with demonstrated ability to make fast predictions, albeit at the expense of accuracy in some cases. For many scientific and engineering problems involving geometrical design, it is desirable for the surrogate models to precisely describe the change in geometry and predict the consequences. In that context, we develop graph neural networks (GNNs) as fast surrogate models for physics simulation, which allow us to directly train the models on 2/3D geometry designs that are represented by an unstructured mesh or point cloud, without the need for any explicit or hand-crafted parameterization. We utilize an encoder-processor-decoder-type architecture which can flexibly make prediction at both node level and graph level. The performance of our proposed GNN-based surrogate model is demonstrated on 2 example applications: feature designs in the domain of additive engineering and airfoil design in the domain of aerodynamics. The models show good accuracy in their predictions on a separate set of test geometries after training, with almost instant prediction speeds, as compared to O(hour) for the high-fidelity simulations required otherwise.


title: Ideas for the future of Prolog inspired by Oz

abstract: Both Prolog and Oz are multiparadigm languages with a logic programming core. There is a significant subset of Oz that is a syntactic variant of Prolog: pure Prolog programs with green or blue cuts and bagof/3 or setof/3 can be translated directly to Oz. Because of this close relationship between Prolog and Oz, we propose that the extensions made by Oz to logic programming can be an inspiration for the future evolution of Prolog. We explain three extensions, namely deterministic logic programming, lazy concurrent functional programming, and purely functional distributed computing. We briefly present these extensions and we explain how they can help Prolog evolve in its next 50 years.


title: Structured mutation inspired by evolutionary theory enriches population performance and diversity

abstract: Grammar-Guided Genetic Programming (GGGP) employs a variety of insights from evolutionary theory to autonomously design solutions for a given task. Recent insights from evolutionary biology can lead to further improvements in GGGP algorithms. In this paper, we apply principles from the theory of Facilitated Variation and knowledge about heterogeneous mutation rates and mutation effects to improve the variation operators. We term this new method of variation Facilitated Mutation (FM). We test FM performance on the evolution of neural network optimizers for image classification, a relevant task in evolutionary computation, with important implications for the field of machine learning. We compare FM and FM combined with crossover (FMX) against a typical mutation regime to assess the benefits of the approach. We find that FMX in particular provides statistical improvements in key metrics, creating a superior optimizer overall (+0.48\% average test accuracy), improving the average quality of solutions (+50\% average population fitness), and discovering more diverse high-quality behaviors (+400 high-quality solutions discovered per run on average). Additionally, FM and FMX can reduce the number of fitness evaluations in an evolutionary run, reducing computational costs in some scenarios.


title: Co-Writing with Opinionated Language Models Affects Users' Views

abstract: If large language models like GPT-3 preferably produce a particular point of view, they may influence people's opinions on an unknown scale. This study investigates whether a language-model-powered writing assistant that generates some opinions more often than others impacts what users write - and what they think. In an online experiment, we asked participants (N=1,506) to write a post discussing whether social media is good for society. Treatment group participants used a language-model-powered writing assistant configured to argue that social media is good or bad for society. Participants then completed a social media attitude survey, and independent judges (N=500) evaluated the opinions expressed in their writing. Using the opinionated language model affected the opinions expressed in participants' writing and shifted their opinions in the subsequent attitude survey. We discuss the wider implications of our results and argue that the opinions built into AI language technologies need to be monitored and engineered more carefully.


title: Trash to Treasure: Using text-to-image models to inform the design of physical artefacts

abstract: Text-to-image generative models have recently exploded in popularity and accessibility. Yet so far, use of these models in creative tasks that bridge the 2D digital world and the creation of physical artefacts has been understudied. We conduct a pilot study to investigate if and how text-to-image models can be used to assist in upstream tasks within the creative process, such as ideation and visualization, prior to a sculpture-making activity. Thirty participants selected sculpture-making materials and generated three images using the Stable Diffusion text-to-image generator, each with text prompts of their choice, with the aim of informing and then creating a physical sculpture. The majority of participants (23/30) reported that the generated images informed their sculptures, and 28/30 reported interest in using text-to-image models to help them in a creative task in the future. We identify several prompt engineering strategies and find that a participant's prompting strategy relates to their stage in the creative process. We discuss how our findings can inform support for users at different stages of the design process and for using text-to-image models for physical artefact design.


title: Local weak limits for collapsed branching processes with random out-degrees

abstract: We obtain local weak limits in probability for Collapsed Branching Processes (CBP), which are directed random networks obtained by collapsing random-sized families of individuals in a general continuous-time branching process. The local weak limit of a given CBP, as the network grows, is shown to be a related continuous-time branching process stopped at an independent exponential time. This is done through an explicit coupling of the in-components of vertices with the limiting object. We also show that the in-components of a finite collection of uniformly chosen vertices locally weakly converge (in probability) to i.i.d. copies of the above limit, reminiscent of propagation of chaos in interacting particle systems. We obtain as special cases novel descriptions of the local weak limits of directed preferential and uniform attachment models. We also outline some applications of our results for analyzing the limiting in-degree and PageRank distributions.


title: A high-resolution pixel silicon Vertex Detector for open charm measurements with the \NASixtyOne spectrometer at the CERN SPS

abstract: The study of open charm meson production provides an efficient tool for the investigation of the properties of hot and dense matter formed in nucleus-nucleus collisions. The interpretation of the existing di-muon data from the CERN SPS suffers from a lack of knowledge on the mechanism and properties of the open charm particle production. Due to this, the heavy-ion programme of the \NASixtyOne experiment at the CERN SPS has been extended by precise measurements of charm hadrons with short lifetimes. A new Vertex Detector for measurements of the rare processes of open charm production in nucleus-nucleus collisions was designed to meet the challenges of track registration and high resolution in primary and secondary vertex reconstruction. A small-acceptance version of the vertex detector was installed in 2016 and tested with Pb+Pb collisions at 150\AGeVc. It was also operating during the physics data taking on Xe+La and Pb+Pb collisions at 150\AGeVc conducted in 2017 and 2018. This paper presents the detector design and construction, data calibration, event reconstruction, and analysis procedure.


title: Automatically Marginalized MCMC in Probabilistic Programming

abstract: Hamiltonian Monte Carlo (HMC) is a powerful algorithm to sample latent variables from Bayesian models. The advent of probabilistic programming languages (PPLs) frees users from writing inference algorithms and lets users focus on modeling. However, many models are difficult for HMC to solve directly, and often require tricks like model reparameterization. We are motivated by the fact that many of those models could be simplified by marginalization. We propose to use automatic marginalization as part of the sampling process using HMC in a graphical model extracted from a PPL, which substantially improves sampling from real-world hierarchical models.


title: Controlling two-dimensional Coulomb crystals of more than 100 ions in a monolithic radio-frequency trap

abstract: Linear strings of trapped atomic ions held in radio-frequency (rf) traps constitute one of the leading platforms for quantum simulation experiments, allowing for the investigation of interacting quantum matter. However, linear ion strings have drawbacks, such as the difficulty to scale beyond $\sim 50$ particles as well as the inability to naturally implement spin models with more than one spatial dimension. Here, we present experiments with planar Coulomb crystals of about 100 $^{40}$Ca$^+$ ions in a novel monolithic rf trap, laying the groundwork for quantum simulations of two-dimensional spin models with single-particle control. We characterize the trapping potential by analysis of crystal images and compare the observed crystal configurations with numerical simulations. We further demonstrate stable confinement of large crystals, free of structural configuration changes, and find that rf heating of the crystal is not an obstacle for future quantum simulation experiments. Finally, we prepare the out-of-plane motional modes of planar crystals consisting of up to 105 ions close to their ground state by electromagnetically-induced transparency cooling, an important prerequisite for implementing long-range entangling interactions.


title: Measurement-Based Quantum Clustering Algorithms

abstract: In this paper, two novel measurement-based clustering algorithms are proposed based on quantum parallelism and entanglement. The Euclidean distance metric is used as a measure of similarity between the data points. The first algorithm follows a divisive approach and the bound for each cluster is determined based on the number of ancillae used to label the clusters. The second algorithm is based on unsharp measurements where we construct the set of effect operators with a gaussian probability distribution to cluster similar data points. We specifically implemented the algorithm on a concentric circle data set for which the classical clustering approach fails. It is found that the presented clustering algorithms perform better than the classical divisive one; both in terms of clustering and time complexity which is found to be $O(kN\text{log}N)$ for the first and $O(N^2)$ for the second one. Along with that we also implemented the algorithm on the Churrtiz data set of cities and the Wisconsin breast cancer dataset where we found an accuracy of approximately $97.43\%$ which For the later case is achieved by the appropriate choice of the variance of the gaussian window.


title: Optofluidic memory and self-induced nonlinear optical phase change for reservoir computing in silicon photonics

abstract: Implementing optical-based memory and utilizing it for computation on the nanoscale remains an attractive but still a challenging task. While significant progress was achieved in nanophotonics, allowing to explore nonlinear optical effects and employ light-matter interaction to realize non-conventional memory and computation capabilities, light-liquid interaction was not considered so far as a potential physical mechanism to achieve computation on nanoscale. Here, we experimentally demonstrate self-induced phase change effect which relies on the coupling between geometry changes of thin liquid film to optical properties of photonic modes, and then employ it for neuromorphic computing. In particular, we employ optofluidic Silicon Photonics system in order to demonstrate thermocapillary-based deformation of thin liquid film capable of operating both as a nonlinear actuator and memory element, both residing at the same compact spatial region, thus realizing beyond von Neumann computational architecture. Our experimental results indicate that the magnitude of the nonlinear effect is more than one order of magnitude higher compared to the more traditional heat-based thermo-optical effect, capable to support optically-driven periodic deformation of frequencies of several kHz, and furthermore allows to implement Reservoir Computing at spatial region which is approximately five orders of magnitude smaller compared to state-of-the-art experimental liquid-based systems.


title: Halving formulae for points on elliptic curves

abstract: Let $P$ be an arbitrary point on an elliptic curve over the complex numbers of the form $y^2=x^3+a_4\,x+a_6$ or of the form $y^2=x^3+a_2\,x^2+a_4\,x$. We provide explicit formulae to compute the points $P/2$, i.e., the points $Q$ such that $2*Q=P$.


title: Agnostic Visual Recommendation Systems: Open Challenges and Future Directions

abstract: Visualization Recommendation Systems (VRSs) are a novel and challenging field of study aiming to help generate insightful visualizations from data and support non-expert users in information discovery. Among the many contributions proposed in this area, some systems embrace the ambitious objective of imitating human analysts to identify relevant relationships in data and make appropriate design choices to represent these relationships with insightful charts. We denote these systems as "agnostic" VRSs since they do not rely on human-provided constraints and rules but try to learn the task autonomously. Despite the high application potential of agnostic VRSs, their progress is hindered by several obstacles, including the absence of standardized datasets to train recommendation algorithms, the difficulty of learning design rules, and defining quantitative criteria for evaluating the perceptual effectiveness of generated plots. This paper summarizes the literature on agnostic VRSs and outlines promising future research directions.


title: Occurrence of connected clusters in motility-induced phase-separated states of persistent active particles at zero temperature

abstract: To study the interplay of jamming, cluster formation, and motility-induced phase separation in the zero temperature limit in two dimensions, we consider a simple model system consisting of a bidisperse mixture of disks that are only subject to a repulsion force in case of overlaps and an active force. The orientation of the disks is chosen randomly in the beginning and does not change anytime during the simulation thus corresponding to an infinite persistence length. Simulations with our model system reveal that jammed clusters of particles occur in the dense phase of a phase-separated state in case of intermediate values of the ratio of active to repulsive force. However, for smaller activities there are only a few overlaps between the particles in the dense phase and the coexistence region ends at a packing fraction below the onset of jamming. Finally, for large activities small clusters corresponding to small patches of the dense phase are found that are unstable due to the activity. Our findings on how jamming and phase separation are related are relevant to many active particle systems whose zero temperature and long persistence limits correspond to our model system.


title: Task Placement and Resource Allocation for Edge Machine Learning: A GNN-based Multi-Agent Reinforcement Learning Paradigm

abstract: Machine learning (ML) tasks are one of the major workloads in today's edge computing networks. Existing edge-cloud schedulers allocate the requested amounts of resources to each task, falling short of best utilizing the limited edge resources for ML tasks. This paper proposes TapFinger, a distributed scheduler for edge clusters that minimizes the total completion time of ML tasks through co-optimizing task placement and fine-grained multi-resource allocation. To learn the tasks' uncertain resource sensitivity and enable distributed scheduling, we adopt multi-agent reinforcement learning (MARL) and propose several techniques to make it efficient, including a heterogeneous graph attention network as the MARL backbone, a tailored task selection phase in the actor network, and the integration of Bayes' theorem and masking schemes. We first implement a single-task scheduling version, which schedules at most one task each time. Then we generalize to the multi-task scheduling case, in which a sequence of tasks is scheduled simultaneously. Our design can mitigate the expanded decision space and yield fast convergence to optimal scheduling solutions. Extensive experiments using synthetic and test-bed ML task traces show that TapFinger can achieve up to 54.9% reduction in the average task completion time and improve resource efficiency as compared to state-of-the-art schedulers.


title: Modeling barrier-top fission dynamics in a discrete-basis formalism

abstract: A configuration-interaction model is presented for the barrier region of induced fission. The configuration space is composed of seniority-zero configurations constructed from self-consistent mean-field wave functions. The Hamiltonian matrix elements between configurations include diabatic and pairing interactions between particles. Other aspects of the Hamiltonian are treated statistically, guided by phenomenological input of compound-nucleus transmission coefficients. In this exploratory study the configuration space is restricted to neutron excitations only. A key observable calculated in the model is the fission-to-capture branching ratio. We find that both pairing and diabatic interactions are important for achieving large branching to the fission channels. In accordance with the transition-state theory of fission, the calculated branching ratio is found to be quite insensitive to the fission decay widths of the pre-scission configurations. However, the barrier-top dynamics appear to be quite different from transition-state theory in that the transport is distributed over many excited configurations at the barrier top.


title: An automated, geometry-based method for hippocampal shape and thickness analysis

abstract: The hippocampus is one of the most studied neuroanatomical structures due to its involvement in attention, learning, and memory as well as its atrophy in ageing, neurological, and psychiatric diseases. Hippocampal shape changes, however, are complex and cannot be fully characterized by a single summary metric such as hippocampal volume as determined from MR images. In this work, we propose an automated, geometry-based approach for the unfolding, point-wise correspondence, and local analysis of hippocampal shape features such as thickness and curvature. Starting from an automated segmentation of hippocampal subfields, we create a 3D tetrahedral mesh model as well as a 3D intrinsic coordinate system of the hippocampal body. From this coordinate system, we derive local curvature and thickness estimates as well as a 2D sheet for hippocampal unfolding. We evaluate the performance of our algorithm with a series of experiments to quantify neurodegenerative changes in Mild Cognitive Impairment and Alzheimer's disease dementia. We find that hippocampal thickness estimates detect known differences between clinical groups and can determine the location of these effects on the hippocampal sheet. Further, thickness estimates improve classification of clinical groups and cognitively unimpaired controls when added as an additional predictor. Comparable results are obtained with different datasets and segmentation algorithms. Taken together, we replicate canonical findings on hippocampal volume/shape changes in dementia, extend them by gaining insight into their spatial localization on the hippocampal sheet, and provide additional, complementary information beyond traditional measures. We provide a new set of sensitive processing and analysis tools for the analysis of hippocampal geometry that allows comparisons across studies without relying on image registration or requiring manual intervention.


title: Bismuth surfactant-enhanced III-As epitaxy on GaAs(111)A

abstract: Quantum dot (QD) growth on high ($c_{3v}$) symmetry GaAs{111} surfaces holds promise for efficient entangled photon sources. Unfortunately, homoepitaxy on GaAs{111} surfaces suffers from surface roughness/defects and InAs deposition does not natively support Stranski-Krastanov (SK) QD growth. Surfactants have been identified as effective tools to alter the epitaxial growth process of III-V materials, however, their use remains unexplored on GaAs{111}. Here, we investigate Bi as a surfactant in III-As molecular beam epitaxy (MBE) on GaAs(111)A substrates, demonstrating that Bi can eliminate surface defects/hillocks in GaAs and (Al,Ga)As layers, yielding atomically-smooth hillock-free surfaces with RMS roughness values as low as 0.13 nm. Increasing Bi fluxes are found to result in smoother surfaces and Bi is observed to increase adatom diffusion. The Bi surfactant is also shown to trigger a morphological transition in InAs/GaAs(111)A films, directing the 2D InAs layer to rearrange into 3D nanostructures, which are promising candidates for high-symmetry quantum dots. The desorption activation energy ($U_{Des}$) of Bi on GaAs(111)A was measured by reflection high energy electron diffraction (RHEED), yielding $U_{Des}$ = 1.7 $\pm$ 0.4 eV. These results illustrate the potential of Bi surfactants on GaAs(111)A and will help pave the way for GaAs(111)A as a platform for technological applications including quantum photonics.