title: Measuring Lateral Capillary Forces on Floating Particles using the Moses Effect

abstract: This study presents a novel and user-friendly technique for detecting the lateral capillary force on a floating spherical particle. The technique leverages the interplay between the capillary attracting forces, hydrostatic pressure forces, and magnetic repulsion forces. A magnetic field is applied to induce a surface curvature in the liquid, resulting in a non-uniform distribution of capillary and hydrostatic pressure forces across the particle's surface. This leads to a stable equilibrium position of the particle at a specific distance from the magnet. The study analyzes the equilibrium position and other relevant parameters in comparison with the developed theory. Classical mechanics and intermolecular forces are applied to establish the theoretical basis for the method, modeling the behavior of the particle in response to the magnetic field, surface curvature, and hydrostatic pressure. The equilibrium position of the particle is determined by numerically solving the balance of forces equation.


title: Publicly verifiable quantum money from random lattices

abstract: Publicly verifiable quantum money is a protocol for the preparation of quantum states that can be efficiently verified by any party for authenticity but is computationally infeasible to counterfeit. We develop a cryptographic scheme for publicly verifiable quantum money based on Gaussian superpositions over random lattices. We introduce a verification-of-authenticity procedure based on the lattice discrete Fourier transform, and subsequently prove the unforgeability of our quantum money under the hardness of the short vector problem from lattice-based cryptography.


title: Signature-based models: theory and calibration

abstract: We consider asset price models whose dynamics are described by linear functions of the (time extended) signature of a primary underlying process, which can range from a (market-inferred) Brownian motion to a general multidimensional continuous semimartingale. The framework is universal in the sense that classical models can be approximated arbitrarily well and that the model's parameters can be learned from all sources of available data by simple methods. We provide conditions guaranteeing absence of arbitrage as well as tractable option pricing formulas for so-called sig-payoffs, exploiting the polynomial nature of generic primary processes. One of our main focus lies on calibration, where we consider both time-series and implied volatility surface data, generated from classical stochastic volatility models and also from S&P500 index market data. For both tasks the linearity of the model turns out to be the crucial tractability feature which allows to get fast and accurate calibrations results.


title: Bayesian Evidential Learning for Few-Shot Classification

abstract: Few-Shot Classification(FSC) aims to generalize from base classes to novel classes given very limited labeled samples, which is an important step on the path toward human-like machine learning. State-of-the-art solutions involve learning to find a good metric and representation space to compute the distance between samples. Despite the promising accuracy performance, how to model uncertainty for metric-based FSC methods effectively is still a challenge. To model uncertainty, We place a distribution over class probability based on the theory of evidence. As a result, uncertainty modeling and metric learning can be decoupled. To reduce the uncertainty of classification, we propose a Bayesian evidence fusion theorem. Given observed samples, the network learns to get posterior distribution parameters given the prior parameters produced by the pre-trained network. Detailed gradient analysis shows that our method provides a smooth optimization target and can capture the uncertainty. The proposed method is agnostic to metric learning strategies and can be implemented as a plug-and-play module. We integrate our method into several newest FSC methods and demonstrate the improved accuracy and uncertainty quantification on standard FSC benchmarks.


title: Multi-partite subspaces containing no locally inaccessible information

abstract: One notion of non-locality in quantum theory is the fact that information may be encoded in a composite system in such a way that it is not accessible through local measurements, even with the assistance of classical communication. Thus, contrary to the classical case, there exists information in quantum many body systems which cannot be accessed locally. We show however that, remarkably, two-dimensional subspaces do not have this property: any physically allowed measurement on information encoded in any two-dimensional subspace, regardless of entanglement or multi-partite structure, may be performed locally. Further, this requires only local measurement and feed-forward of classical information, readily achievable in many experimental platforms. As an application to quantum secret sharing we suggest a twist on a well known quantum information splitting protocol, which ensures that no receiving party ever has access to the full state sent, but parties must work together to perform measurements on the state. These results may have practical applications to the measurement of encoded qubits in e.g. quantum secret sharing, quantum error correction, and reveal a fundamental property unique to two-dimensional subspaces.


title: Asymptotic Betti numbers for hard squares in the homological liquid regime

abstract: We study configuration spaces $C(n; p, q)$ of $n$ ordered unit squares in a $p$ by $q$ rectangle. Our goal is to estimate the Betti numbers for large $n$, $j$, $p$, and $q$. We consider sequences of area-normalized coordinates, where $(\frac{n}{pq}, \frac{j}{pq})$ converges as $n$, $j$, $p$, and $q$ approach infinity. For every sequence that converges to a point in the "feasible region" in the $(x,y)$-plane, we show that the factorial growth rate of the Betti numbers is the same as the factorial growth rate of $n!$. This implies that (1) the Betti numbers are vastly larger than for the configuration space of $n$ ordered points in the plane, which have the factorial growth rate of $j!$, and (2) every point in the feasible region is eventually in the homological liquid regime.


title: $\mathcal H$-Harmonic Bergman Projection on the Hyperbolic Ball

abstract: We determine precisely when the Bergman projection $P_\beta$ is bound\-ed from Lebesgue spaces $L^p_\alpha$ to weighted Bergman spaces $\mathcal B^p_\alpha$ of $\mathcal H$-harmonic functions on the hyperbolic ball, and verify a recent conjecture of M. Stoll. We obtain upper estimates for the reproducing kernel of the $\mathcal H$-harmonic Bergman space $\mathcal B^2_\alpha$ and its partial derivatives. We also consider the projection from $L^\infty$ to the Bloch space $\mathcal B$ of $\mathcal H$-harmonic functions.


title: Simulation of snakes using vertical body bending to traverse terrain with large height variation

abstract: Snake moves across various terrains by bending its elongated body. Recent studies discovered that snakes can use vertical bending to traverse terrain of large height variation, such as horizontally oriented cylinders, a wedge (Jurestovsky, Usher, Astley, 2021, J. Exp. Biol.), and uneven terrain (Fu & Li, 2020, Roy. Soc. Open Sci.; Fu, Astley, Li, 2022 Bioinspiration & Biomimetics). Here, to understand how vertical bending generates propulsion, we developed a dynamic simulation of a snake traversing a wedge (height = 0.05 body length, slope = 27 degrees) and a half cylindrical obstacle (height = 0.1 body length). By propagating down the body an internal torque profile with a maximum around the obstacle, the simulated snake moved forward as observed in the animal. Remarkably, even when frictional drag is low (snake-terrain kinetic friction coefficient of 0.20), the body must push against the wedge with a pressure 5 times that from body weight to generate sufficient forward propulsion to move forward. This indicated that snakes are highly capable of bending vertically to push against the environment to generate propulsion. Testing different controllers revealed that contact force feedback further helps generate and maintain propulsion effectively under unknown terrain perturbations.


title: On the role of laminar/turbulent interface on energy transfer between scales in bypass transition

abstract: We investigate the role of laminar/turbulent interface in the interscale energy transfer in a boundary layer undergoing bypass transition, with the aid of the Karman-Howarth-Monin-Hill (KHMH) equation. A local binary indicator function is used to detect the interface and employed subsequently to define two-point intermittencies. These are used to decompose the standard-averaged interscale and interspace energy fluxes into conditionally-averaged components. We find that the inverse cascade in the streamwise direction reported in an earlier work arises due to events across the downstream or upstream interfaces (head or tail respectively) of a turbulent spot. However, the three-dimensional energy flux maps reveal significant differences between these two regions: in the downstream interface, inverse cascade is stronger and dominant over a larger range of streamwise and spanwise separations. We explain this finding by considering a propagating spot of simplified shape as it crosses a fixed streamwise location. We derive also the conditionally-averaged KHMH equation, thus generalising similar equations for single-point statistics to two-point statistics. We compare the three-dimensional maps of the conditionally-averaged production and total energy flux within turbulent spots against the maps of standard-averaged quantities within the fully turbulent region. The results indicate remarkable dynamical similarities between turbulent spots and the fully turbulent region for two-point statistics. This has been known only for single-point quantities, and we show here that the similarity extends to two-point quantities as well.


title: Random Test Generation of Application Programming Interfaces

abstract: Cloud high quality API (Application Programming Interface) testing is essential for supporting the API economy. Autotest is a random test generator that addresses this need. It reads the API specification and deduces a model used in the test generation. This paper describes Autotest. It also address the topic of API specification pitfalls which Autotest may reveal when reading the specification. A best practice is to add an appropriate test to the regression once a problem is revealed and solved. How to do that in the context of Autotest's random test generation is covered.


title: Efficient Quantum Analytic Nuclear Gradients with Double Factorization

abstract: Efficient representations of the Hamiltonian such as double factorization drastically reduce circuit depth or number of repetitions in error corrected and noisy intermediate scale quantum (NISQ) algorithms for chemistry. We report a Lagrangian-based approach for evaluating relaxed one- and two-particle reduced density matrices from double factorized Hamiltonians, unlocking efficiency improvements in computing the nuclear gradient and related derivative properties. We demonstrate the accuracy and feasibility of our Lagrangian-based approach to recover all off-diagonal density matrix elements in classically-simulated examples with up to 327 quantum and 18470 total atoms in QM/MM simulations, with modest-sized quantum active spaces. We show this in the context of the variational quantum eigensolver (VQE) in case studies such as transition state optimization, ab initio molecular dynamics simulation and energy minimization of large molecular systems.


title: Noise correlations behind superdiffusive quantum walks

abstract: We study how discrete-time quantum walks behave under short-range correlated noise. By considering noise as a source of inhomogeneity of quantum gates, we introduce a primitive relaxation in the uncorrelated stochastic noise assumption: binary pair correlations manifesting in the random distribution. Considering different quantum gates, we examined the transport properties for both spatial and temporal noise regimes. For spatial inhomogeneities, we show noise correlations driving quantum walks from the well-known exponentially localized condition to superdiffusive spreading. This scenario displays an exciting performance in which the superdiffusive exponent is almost invariant to the inhomogeneity degree. The time-asymptotic regime and the finite-size scaling also unveil an emergent superdiffusive behavior for quantum walks undergoing temporal noise correlation, replacing the diffusive regime exhibited when noise is random and uncorrelated. However, results report some quantum gates insensitive to correlations, contrasting with the spatial noise scenario. Results and following discussions help us understand the underlying mechanism of superdiffusive quantum walks, including those with deterministic aperiodic inhomogeneities.


title: Magnetically Charged Euler-Heisenberg Black Holes with Scalar Hair

abstract: We study the Einstein-Euler-Heisenberg theory in the presence of a self interacting scalar field, minimally coupled to gravity. We solve analytically the field equations for the magnetically charged case and we obtain novel magnetically charged hairy black holes. The scalar field dresses the black hole with a secondary scalar hair. The hairy black hole develops three horizons when Euler-Heisenberg parameter and the magnetic charge are small and the horizon radius is getting large when the scalar charge and the gravitational mass are large. The presence of matter and the magnetic field outside the horizon of the black hole increases the temperature only for small black holes. Calculating the heat capacity we show that the asymptotically AdS Euler-Heisenberg hairy black hole undergoes a second order phase transition and then it is stabilized. Also the weak energy condition is violated for the asymptotically AdS Euler-Heisenberg hairy black hole.


title: FP4: Line-rate Greybox Fuzz Testing for P4 Switches

abstract: Compared to fixed-function switches, the flexibility of programmable switches comes at a cost, as programmer mistakes frequently result in subtle bugs in the network data plane. In this paper, we present the design and implementation of FP4, a fuzz-testing framework for P4 switches that achieves high expressiveness, coverage, and scalability. FP4 directly tests running switches by generating semi-random input packets and observing their resulting execution in the data plane. To achieve high coverage and scalability, at runtime, FP4 leverages P4 itself with another "tester" switch that generates and mutates billions of test packets per second entirely in the dataplane. Because testing some program branches requires navigating complex semantic input requirements, FP4 additionally leverages the programmability of P4 by instrumenting the tested program to pass coverage information back to the tester through the packet header. We present case studies showing that FP4 can validate both safety and stateful properties, improves efficiency over existing random packet generation baselines, and reaches 100% coverage in under a minute on a wide range of examples.


title: Unsupervised Contrastive Learning of Image Representations from Ultrasound Videos with Hard Negative Mining

abstract: Rich temporal information and variations in viewpoints make video data an attractive choice for learning image representations using unsupervised contrastive learning (UCL) techniques. State-of-the-art (SOTA) contrastive learning techniques consider frames within a video as positives in the embedding space, whereas the frames from other videos are considered negatives. We observe that unlike multiple views of an object in natural scene videos, an Ultrasound (US) video captures different 2D slices of an organ. Hence, there is almost no similarity between the temporally distant frames of even the same US video. In this paper we propose to instead utilize such frames as hard negatives. We advocate mining both intra-video and cross-video negatives in a hardness-sensitive negative mining curriculum in a UCL framework to learn rich image representations. We deploy our framework to learn the representations of Gallbladder (GB) malignancy from US videos. We also construct the first large-scale US video dataset containing 64 videos and 15,800 frames for learning GB representations. We show that the standard ResNet50 backbone trained with our framework improves the accuracy of models pretrained with SOTA UCL techniques as well as supervised pretrained models on ImageNet for the GB malignancy detection task by 2-6%. We further validate the generalizability of our method on a publicly available lung US image dataset of COVID-19 pathologies and show an improvement of 1.5% compared to SOTA. Source code, dataset, and models are available at https://gbc-iitd.github.io/usucl.


title: Computational Assessment of Biomass Dust Explosions in the 20L Sphere

abstract: Determination of the explosion severity parameters of biomass is crucial for the safety management and dust explosion risk assessment of biomass-processing industries. These are commonly determined following experimental tests in the 20L sphere according to the international standards. Recently, CFD simulations have emerged as a reliable alternative to predict the explosion behavior with good accuracy and reduced labor and capital. In this work, numerical simulations of biomass dust explosions are conducted with the open-source CFD code OpenFOAM. The multi-phase (gas-solid) flow is treated in an Eulerian-Lagrangian framework, using a two-way coupling regime and considering the reactions of biomass conversion (moisture evaporation, devolatilization, and char oxidation), the combustion of volatile gases, and convective and radiative heat transfer. The model is validated with pressure-time and concentration-dependent experimental measurements of two biomass samples. Results suggest that the characteristics of the cold-flow (\i.e. turbulence levels, actual dust concentration, spatial distribution of the dust cloud, and turbophoresis effect) govern the course of the explosion process, and depend strongly on particle size, dust concentration, and ignition delay time effects. These findings may be relevant in the design of better dust explosion testing devices and to the reexamination of the guidelines for the operation of the experiment. Finally, a thorough discussion on the explosion pressures, degree of biomass conversion, flame temperature, flame propagation patterns, and the dust agglomeration effect is presented.


title: Multimodal Imaging-based Material Mass Density Estimation for Proton Therapy Using Physics-Constrained Deep Learning

abstract: Mapping computed tomography (CT) number to material property dominates the proton range uncertainty. This work aims to develop a physics-constrained deep learning-based multimodal imaging (PDMI) framework to integrate physics, deep learning, magnetic resonance imaging (MRI), and advanced dual-energy CT (DECT) to derive accurate patient mass density maps. Seven tissue substitute MRI phantoms were used for PDMI-based material calibration. The training inputs are from MRI and twin-beam dual-energy images acquired at 120 kVp with gold and tin filters. The feasibility investigation included an empirical DECT correlation and four residual networks (ResNet) derived from different training inputs and strategies by the PDMI framework. PRN-MR-DE and RN-MR-DE denote ResNet trained with and without a physics constraint using MRI and DECT images. PRN-DE and RN-DE represent ResNet trained with and without a physics constraint using DECT-only images. For the tissue surrogate study, PRN-MR-DE, PRN-DE, and RN-MR-DE result in mean mass density errors: -0.72%, 2.62%, -3.58% for adipose; -0.03%, -0.61%, and -0.18% for muscle; -0.58%, -1.36%, and -4.86% for 45% HA bone. The retrospective patient study indicated that PRN-MR-DE predicted the densities of soft tissue and bone within expected intervals based on the literature survey, while PRN-DE generated large density deviations. The proposed PDMI framework can generate accurate mass density maps using MRI and DECT images. The physics-constrained training can further enhance model efficacy, making PRN-MR-DE outperform RN-MR-DE. The patient investigation also shows that the PDMI framework has the potential to improve proton range uncertainty with accurate patient mass density maps.


title: Production and decay of a heavy boson in association with top quarks

abstract: We briefly report on NLO QCD corrections to the $pp \to t\bar{t} B +X$ process, where $B$ stands for $H,\,W^\pm$ or $Z$. In the calculation all double-, single and non-resonant Feynman diagrams, interferences and finite-width effects are included for the top quark and $W^\pm/Z$ gauge bosons. Numerical results are shown at the differential cross section level for various factorisation and renormalisation scale settings and a few PDF sets. The main theoretical uncertainties associated with neglected higher-order terms in the perturbative expansion and with different parametrisations of the PDFs are also discussed. Furthermore, we compare our complete predictions for $pp\to t\bar{t} B+X$ in multi-lepton final states to the calculation in the narrow-width approximation.


title: Mott-moir\'e excitons

abstract: We develop a systematic theory for excitons subject to Fermi-Hubbard physics in moir\'e twisted transition metal dichalcogenides (TMDs). Specifically, we consider excitons in moir\'e systems for which the valence band is in the Mott-insulating regime. These "Mott-moir\'e excitons", which are achievable in twisted TMD heterobilayers, are bound states of a magnetic polaron in the valence band and a free electron in the conduction band. We find significantly narrower exciton bandwidths in the presence of Hubbard physics, serving as a potential experimental signature of strong correlations. We also demonstrate the high tunability of Mott-moir\'e excitons through the dependence of their binding energies, diameters, and bandwidths on the moir\'e period. Our work provides guidelines for future exploration of strongly correlated excitons in twisted TMD heterobilayers.


title: Metallicities and ages for star clusters and their surrounding fields in the Large Magellanic Cloud

abstract: We study 147 star clusters in the Large Magellanic Cloud (LMC) in order to determine their mean metallicities and ages, as well as the mean metallicities of 80 surrounding fields. We construct an age-metallicity relation (AMR) for the clusters in the LMC. For this purpose, we used Str\"omgren photometry obtained with the SOI camera on the 4.1 m SOAR telescope. We found the mean metallicity and age for 110 star clusters. For the remaining 37, we provide an age estimation only. To the best of our knowledge, for 29 clusters from our sample, we provide both the metallicity and age for the first time, whereas for 66 clusters, we provide a first determination of the metallicity, and for 43 clusters, the first estimation of the age. We also calculated the mean metallicities for stars from 80 fields around the clusters. The old, metal-poor star clusters occur both in and out of the LMC bar region, while intermediate-age clusters are located mostly outside of the bar. The majority of star clusters younger than 1 Gyr are located in the bar region. We find a good agreement between our AMR and theoretical models of the LMC chemical enrichment, as well as with AMRs for clusters from the literature. Next, we took advantage of 26 stellar clusters from our sample which host Cepheid variables and used them as an independent check of the correctness of our age determination procedure. We used period-age relations for Cepheids to calculate the mean age of a given cluster and compared it with the age obtained from isochrone fitting. We find good agreement between these ages, especially for models taking into account additional physical processes (e.g., rotation). We also compared the AMR of the LMC and Small Magellanic Cloud (SMC) derived in a uniform way and we note that they indicate possible former interaction between these two galaxies.


title: Multiscale Dynamics of Lipid Vesicles in Polymeric Microenvironment

abstract: Understanding dynamic and complex interaction of biological membranes with extracellular matrices plays a crucial role in controlling a variety of cell behavior and functions, from cell adhesion and growth to signaling and differentiation. Tremendous interest in tissue engineering has made it possible to design polymeric scaffolds mimicking the topology and mechanical properties of the native extracellular microenvironment; however, a fundamental question remains unanswered: that is, how the viscoelastic extracellular environment modifies the hierarchical dynamics of lipid membranes. In this work, we used aqueous solutions of poly(ethylene glycol) (PEG) with different molecular weights to mimic the viscous medium of cells and nearly monodisperse unilamellar DMPC DMPG liposomes as a membrane model. Using small angle Xray scattering (SAXS), dynamic light scattering, temperature modulated differential scanning calorimetry, bulk rheology, and fluorescence lifetime spectroscopy, we investigated the structural phase map and multiscale dynamics of the liposome polymer mixtures. The results suggest an unprecedented dynamic coupling between polymer chains and phospholipid bilayers at different length and time scales. The microviscosity of the lipid bilayers is directly influenced by the relaxation of the whole chain, resulting in accelerated dynamics of lipids within the bilayers in the case of short chains compared to the polymer free liposome case. At the macroscopic level, the gel to fluid transition of the bilayers results in a remarkable thermal stiffening behavior of polymer liposome solutions that can be modified by the concentration of the liposomes and the polymer chain length.


title: Dimension drop for diagonalizable flows on homogeneous spaces

abstract: Let $X = G/\Gamma$, where $G$ is a Lie group and $\Gamma$ is a lattice in $G$, let $O$ be an open subset of $X$, and let $F = \{g_t: t\ge 0\}$ be a one-parameter subsemigroup of $G$. Consider the set of points in $X$ whose $F$-orbit misses $O$; it has measure zero if the flow is ergodic. It has been conjectured that this set has Hausdorff dimension strictly smaller than the dimension of $X$. This conjecture is proved when $X$ is compact or when $G$ is a simple Lie group of real rank $1$, or, most recently, for certain special flows on the space of lattices. In this paper we prove this conjecture for arbitrary $\operatorname{Ad}$-diagonalizable flows on irreducible quotients of semisimple Lie groups. The proof uses exponential mixing of the flow together with the method of integral inequalities for height functions on $G/\Gamma$. We also derive an application to jointly Dirichlet-Improvable systems of linear forms.


title: Deformations of Yang-Baxter operators via $n$-Lie algebra cohomology

abstract: We introduce a cohomology theory of $n$-ary self-distributive objects in the tensor category of vector spaces that classifies their infinitesimal deformations. For $n$-ary self-distributive objects obtained from $n$-Lie algebras we show that ($n$-ary) Lie cohomology naturally injects in the self-distributive cohomology and we prove, under mild additional assumptions, that the map is an isomorphism of second cohomology groups. This shows that the self-distribuitve deformations are completely classified by the deformations of the Lie bracket. This theory has important applications in the study of Yang-Baxter operators as the self-distributive deformations determine nontrivial deformations of the Yang-Baxter operators derived from $n$-ary self-distributive structures. In particular, we show that there is a homomorphism from the second self-distributive cohomology to the second cohomology of the associated Yang-Baxter operator. Moreover, we prove that when the self-distributive structure is induced by a Lie algebra with trivial center, we get a monomorphism. We construct a deformation theory based on simultaneous deformations, where both the coalgebra and self-distributive structures are deformed simultaneously. We show that when the Lie algebra has nontrivial cohomology (e.g. for semi-simple Lie algebras) the simultaneous deformations might still be nontrivial, producing corresponding Yang-Baxter operator deformations. We provide examples and computations in low dimensions, and we completely characterize $2$-cocycles for the self-distributive objects obtained from all the nontrivial real Lie algebras of dimension $3$, i.e. the Bianchi I-IX, and all the nontrivial complex Lie algebras of dimension $3$.


title: Entangled Quantum States of Causal Fermion Systems and Unitary Group Integrals

abstract: This paper is dedicated to a detailed analysis and computation of quantum states of causal fermion systems. The mathematical core is to compute integrals over the unitary group asymptotically for a large dimension of the group, for various integrands with a specific scaling behavior in this dimension. It is shown that, in a well-defined limiting case, the localized refined pre-state is positive and allows for the description of general entangled states.


title: Chemical evolution in planet-forming regions with growing grains

abstract: [Abridged] Planets and their atmospheres are built from gas and solid material in protoplanetary disks. This solid material grows from smaller, micron-sized grains to larger sizes in the disks, during the process of planet formation. Our goal is to model the compositional evolution of volatile ices on grains of different sizes, assuming both time-dependent grain growth and several constant grain sizes. The state-of-the-art Walsh chemical kinetics code is utilised for modeling chemical evolution. This code has been upgraded to account for the time-evolving sizes of solids. Chemical evolution is modelled locally at four different radii in a protoplanetary disk midplane for up to 10Myr. The evolution is modelled for five different constant grain sizes, and one model where the grain size changes with time according to a grain growth model appropriate for the disk midplane. Local grain growth, with conservation of total grain mass and the assumption of spherical grains, acts to reduced the total grain-surface area that is available for ice-phase reactions. This reduces these reactions efficiency compared to a chemical scenario with a conventional grain-size choice of 0.1$\mu$m. The modelled chemical evolution with grain growth leads to increased abundances of H$_{2}$O ice. For carbon in the inner disk, grain growth leads CO gas to overtake CO$_{2}$ ice as dominant carrier, and in the outer disk, CH$_{4}$ ice to become the dominant carrier. Overall, a constant grain size adopted from a grain evolution model leads to almost identical chemical evolution, when compared with chemical evolution with evolving grain sizes. A constant grain size choice, albeit larger than 0.1$\mu$m, may therefore be an appropriate simplification when approximating the impact of grain growth on chemical evolution.


title: TINYCD: A (Not So) Deep Learning Model For Change Detection

abstract: In this paper, we present a lightweight and effective change detection model, called TinyCD. This model has been designed to be faster and smaller than current state-of-the-art change detection models due to industrial needs. Despite being from 13 to 140 times smaller than the compared change detection models, and exposing at least a third of the computational complexity, our model outperforms the current state-of-the-art models by at least $1\%$ on both F1 score and IoU on the LEVIR-CD dataset, and more than $8\%$ on the WHU-CD dataset. To reach these results, TinyCD uses a Siamese U-Net architecture exploiting low-level features in a globally temporal and locally spatial way. In addition, it adopts a new strategy to mix features in the space-time domain both to merge the embeddings obtained from the Siamese backbones, and, coupled with an MLP block, it forms a novel space-semantic attention mechanism, the Mix and Attention Mask Block (MAMB). Source code, models and results are available here: https://github.com/AndreaCodegoni/Tiny_model_4_CD


title: Real algebraic geometry of real algebraic Jordan curves in the plane and the Bergman kernel

abstract: We characterize the space of restrictions of real rational functions to certain algebraic Jordan curves in the plane via the Dirichlet-to-Neumann map associated to the domain in the complex plane bounded by the curve and its Bergman kernel. The characterization leads to a partial fractions-like decomposition for such rational functions and new ways to describe such Jordan curves. The multiply connected case is also explored.


title: Projector formalism for kept and discarded spaces of matrix product states

abstract: Any matrix product state $|\Psi\rangle$ has a set of associated kept and discarded spaces, needed for the description of $|\Psi\rangle$, and changes thereof, respectively. These induce a partition of the full Hilbert space of the system into mutually orthogonal spaces of irreducible $n$-site variations of $|\Psi\rangle$. Here, we introduce a convenient projector formalism and diagrammatic notation to characterize these $n$-site spaces explicitly. This greatly facilitates the formulation of MPS algorithms that explicitly or implicitly employ discarded spaces. As an illustration, we derive an explicit expression for the $n$-site energy variance and evaluate it numerically for a model with long-range hopping. We also describe an efficient algorithm for computing low-lying $n$-site excitations above a finite MPS ground state.


title: Retrieval-Augmented Transformer for Image Captioning

abstract: Image captioning models aim at connecting Vision and Language by providing natural language descriptions of input images. In the past few years, the task has been tackled by learning parametric models and proposing visual feature extraction advancements or by modeling better multi-modal connections. In this paper, we investigate the development of an image captioning approach with a kNN memory, with which knowledge can be retrieved from an external corpus to aid the generation process. Our architecture combines a knowledge retriever based on visual similarities, a differentiable encoder, and a kNN-augmented attention layer to predict tokens based on the past context and on text retrieved from the external memory. Experimental results, conducted on the COCO dataset, demonstrate that employing an explicit external memory can aid the generation process and increase caption quality. Our work opens up new avenues for improving image captioning models at larger scale.


title: On the image of the mean transform

abstract: Let $B(H)$ be the algebra of all bounded operators on a Hilbert space $H$. Let $T=V|T|$ be the polar decomposition of an operator $T\in B(H)$. The mean transform of $T$ is defined by $M(T)=\frac{T+|T|V}{2}$. In this paper, we discuss several properties related to the spectrum, the kernel, the image, the polar decomposition of mean transform. Moreover, we investigate the image and preimage by the mean transform of some class of operators as positive, normal, unitary, hyponormal and co-hyponormal operators.


title: Regularity results for classes of Hilbert C*-modules with respect to special bounded modular functionals

abstract: Considering the deeper reasons of the appearance of a remarkable counterexample by J.~Kaad and M.~Skeide [17] we consider situations in which two Hilbert C*-modules $M \subset N$ with $M^\bot = \{ 0 \}$ over a fixed C*-algebra $A$ of coefficients cannot be separated by a non-trivial bounded $A$-linear functional $r_0: N \to A$ vanishing on $M$. In other words, the uniqueness of extensions of the zero functional from $M$ to $N$ is focussed. We show this uniqueness of extension for any such pairs of Hilbert C*-modules over W*-algebras, over monotone complete C*-algebras and over compact C*-algebras. Moreover, uniqueness of extension takes place also for any one-sided maximal modular ideal of any C*-algebra. Such a non-zero separating bounded $A$-linear functional $r_0$ exist for a given pair of full Hilbert C*-modules $M \subseteq N$ over a given C*-algebra $A$ iff there exists a bounded $A$-linear non-adjointable operator $T_0: N \to N$ such that the kernel of $T_0$ is not biorthogonally closed w.r.t. $N$ and contains $M$. This is a new perspective on properties of bounded modular operators that might appear in Hilbert C*-module theory. By the way, we find a correct proof of [13, Lemma 2.4] in the case of monotone complete and compact C*-algebras, but not in the general C*-case.


title: YOLO and Mask R-CNN for Vehicle Number Plate Identification

abstract: License plate scanners have grown in popularity in parking lots during the past few years. In order to quickly identify license plates, traditional plate recognition devices used in parking lots employ a fixed source of light and shooting angles. For skewed angles, such as license plate images taken with ultra-wide angle or fisheye lenses, deformation of the license plate recognition plate can also be quite severe, impairing the ability of standard license plate recognition systems to identify the plate. Mask RCNN gadget that may be utilised for oblique pictures and various shooting angles. The results of the experiments show that the suggested design will be capable of classifying license plates with bevel angles larger than 0/60. Character recognition using the suggested Mask R-CNN approach has advanced significantly as well. The proposed Mask R-CNN method has also achieved significant progress in character recognition, which is tilted more than 45 degrees as compared to the strategy of employing the YOLOv2 model. Experiment results also suggest that the methodology presented in the open data plate collecting is better than other techniques (known as the AOLP dataset).


title: Tangential contacts of three-dimensional power-law graded elastic solids: A general theory and application to partial slip

abstract: A rigorous theory for solving tangential contacts between three-dimensional power-law graded elastic solids of arbitrary geometry is presented. For multiple contacts such as those occurring between two nominally flat but rough half-spaces, the well-known Ciavarella-J\"ager theorem is established accompanied by a discussion of tangential coupling. Nevertheless, the focus of the work is on axisymmetric single contacts under arbitrary unidirectional tangential loading, for which closed-form analytical solutions are derived based on the Mossakovskii-J\"ager procedure. In comparison to the results of common approximate methods, the solutions include the non-axisymmetric components of tangential displacements, which are indispensable for the accurate determination of the relative slip components and thus the surface density of frictional energy dissipation in the partial slip regime. Although a simplified approach is used for the calculation of the dissipated energy density, the results in the limiting case of homogeneous material are in excellent agreement with those from a full numerical computation. As an application example, the complete solutions for the tangential contact of parabolically shaped power-law graded elastic solids in the partial slip regime are derived and the influence of the material gradient as well as Poisson's ratio on the surface density of dissipated energy is investigated.


title: One Simple Trick to Fix Your Bayesian Neural Network

abstract: One of the most popular estimation methods in Bayesian neural networks (BNN) is mean-field variational inference (MFVI). In this work, we show that neural networks with ReLU activation function induce posteriors, that are hard to fit with MFVI. We provide a theoretical justification for this phenomenon, study it empirically, and report the results of a series of experiments to investigate the effect of activation function on the calibration of BNNs. We find that using Leaky ReLU activations leads to more Gaussian-like weight posteriors and achieves a lower expected calibration error (ECE) than its ReLU-based counterpart.


title: Call Scheduling to Reduce Response Time of a FaaS System

abstract: In an overloaded FaaS cluster, individual worker nodes strain under lengthening queues of requests. Although the cluster might be eventually horizontally-scaled, adding a new node takes dozens of seconds. As serving applications are tuned for tail serving latencies, and these greatly increase under heavier loads, the current workaround is resource over-provisioning. In fact, even though a service can withstand a steady load of, e.g., 70% CPU utilization, the autoscaler is triggered at, e.g., 30-40% (thus the service uses twice as many nodes as it would be needed). We propose an alternative: a worker-level method handling heavy load without increasing the number of nodes. FaaS executions are not interactive, compared to, e.g., text editors: end-users do not benefit from the CPU allocated to processes often, yet for short periods. Inspired by scheduling methods for High Performance Computing, we take a radical step of replacing the classic OS preemption by (1) queuing requests based on their historical characteristics; (2) once a request is being processed, setting its CPU limit to exactly one core (with no CPU oversubscription). We extend OpenWhisk and measure the efficiency of the proposed solutions using the SeBS benchmark. In a loaded system, our method decreases the average response time by a factor of 4. The improvement is even higher for shorter requests, as the average stretch is decreased by a factor of 18. This leads us to show that we can provide better response-time statistics with 3 machines compared to a 4-machine baseline.


title: Estimation of sub-Gaussian random vectors using the method of moments

abstract: The sub-Gaussian stable distribution is a heavy-tailed elliptically contoured law which has interesting applications in signal processing and financial mathematics. This work addresses the problem of feasible estimation of distributions. We present a method based on application of the method of moments to the empirical characteristic function. Further, we show almost sure convergence of our estimators, discover their limiting distribution and demonstrate their finite-sample performance.


title: Academic Co-authorship is a Risky Game

abstract: Conducting a research project with multiple participants is a complex task that involves not only scientific but also multiple social, political, and psychological interactions. This complexity becomes particularly evident when it comes to navigating the selection process for the number and order of co-authors on the resulting manuscript for publication due to the current form of collaboration dynamics common in academia. There is currently no computational model to generate a data-driven suggestion that could be used as a baseline for understating these dynamics. To address this limitation, we have developed a first game-theory-based model to generate such a baseline for co-authorship. In our model, co-authors can issued an ultimatum to pause the publication of the manuscript until the underlying issue has been resolved. We modeled the effect of issuing one or more ultimatums and showed that they have a major impact on the ultimate number and position of co-authors and the length of the publication process. In addition, we explored the effect of two common relationships (student-advisor and colleague-colleague) on co-authorship scenarios. The results of our model are alarming and suggest that the current academic practices are not fit for purpose. Where they work, they work because of the integrity of researchers and not by a systematic design.


title: Understanding the Mechanism of the Performance Improvement in Nitrogen-doped Niobium Superconducting Radio Frequency Cavity

abstract: Niobium superconducting radiofrequency cavities enable applications in modern accelerators and quantum computers. However, the surface resistance significantly deteriorates the cavities performance. Nitrogen doping surface treatment can consistently increase cavity performance by reducing surface resistance, but the improvement mechanism is not fully understood. Herein, we employed transmission electron microscopy and spectroscopy to uncover the structural and chemical differences of the Nb-air interface between the non-doped and nitrogen-doped cavities. The results indicate that nitrogen doping passivates the Nb surface by introducing a compressive strain close to the Nb/air interface, which impedes the oxygen diffusion and hydrogen atoms and reduces surface oxide thickness.


title: Reliable Web Services Approaches of Mobile CloudComputing: A Comparative study

abstract: The Mobile intermittent wireless connectivity limits the evolution of the mobile landscape, such that this progress coupled with the ubiquitous nature of the Internet and the web services. The web service Reliability achieves the low overhead communication and retrieves the appropriate state response from the web service consumption. This paper discusses and analyzes the most recent approaches that achieve the reliability of web services consumed by mobile devices. Achieving the reliable web service consumption istended to two approaches: Middleware approach and Mobile Agent(MA) approach. Both of them focus on ensuring the request execution under the communication limitations and services temporary unavailability.


title: Monotonicity properties for Bernoulli percolation on layered graphs -- a Markov chain approach

abstract: A layered graph $G^\times$ is the Cartesian product of a graph $G = (V,E)$ with the linear graph $Z$, e.g. $Z^\times$ is the 2D square lattice $Z^2$. For Bernoulli percolation with parameter $p \in [0,1]$ on $G^\times$ one intuitively would expect that $P_p((o,0) \leftrightarrow (v,n)) \ge P_p((o,0) \leftrightarrow (v,n+1))$ for all $o,v \in V$ and $n \ge 0$. This is reminiscent of the better known bunkbed conjecture. Here we introduce an approach to the above monotonicity conjecture that makes use of a Markov chain building the percolation pattern layer by layer. In case of finite $G$ we thus can show that for some $N \ge 0$ the above holds for all $n \ge N$ $o,v \in V$ and $p \in [0,1]$. One might hope that this Markov chain approach could be useful for other problems concerning Bernoulli percolation on layered graphs.


title: Evaluation of key impression of resilient supply chain based on artificial intelligence of things (AIoT)

abstract: In recent years, the high complexity of the business environment, dynamism and environmental change, uncertainty and concepts such as globalization and increasing competition of organizations in the national and international arena have caused many changes in the equations governing the supply chain. In this case, supply chain organizations must always be prepared for a variety of challenges and dynamic environmental changes. One of the effective solutions to face these challenges is to create a resilient supply chain. Resilient supply chain is able to overcome uncertainties and disruptions in the business environment. The competitive advantage of this supply chain does not depend only on low costs, high quality, reduced latency and high level of service. Rather, it has the ability of the chain to avoid catastrophes and overcome critical situations, and this is the resilience of the supply chain. AI and IoT technologies and their combination, called AIoT, have played a key role in improving supply chain performance in recent years and can therefore increase supply chain resilience. For this reason, in this study, an attempt was made to better understand the impact of these technologies on equity by examining the dimensions and components of the Artificial Intelligence of Things (AIoT)-based supply chain. Finally, using nonlinear fuzzy decision making method, the most important components of the impact on the resilient smart supply chain are determined. Understanding this assessment can help empower the smart supply chain.


title: Initial Orbit Determination for the CR3BP using Particle Swarm Optimization

abstract: This work utilizes a particle swarm optimizer (PSO) for initial orbit determination for a chief and deputy scenario in the circular restricted three-body problem (CR3BP). The PSO is used to minimize the difference between actual and estimated observations and knowledge of the chief's position with known CR3BP dynamics to determine the deputy's initial state. Convergence is achieved through limiting particle starting positions to feasible positions based on the known chief position, and sensor constraints. Parallel and GPU processing methods are used to improve computation time and provide an accurate initial state estimate for a variety of cislunar orbit geometries.


title: Exploring the Privacy Risks of Adversarial VR Game Design

abstract: Fifty study participants playtested an innocent-looking "escape room" game in virtual reality (VR). Within just a few minutes, an adversarial program had accurately inferred over 25 of their personal data attributes, from anthropometrics like height and wingspan to demographics like age and gender. As notoriously data-hungry companies become increasingly involved in VR development, this experimental scenario may soon represent a typical VR user experience. Since the Cambridge Analytica scandal of 2018, adversarially designed gamified elements have been known to constitute a significant privacy threat in conventional social platforms. In this work, we present a case study of how metaverse environments can similarly be adversarially constructed to covertly infer dozens of personal data attributes from seemingly anonymous users. While existing VR privacy research largely focuses on passive observation, we argue that because individuals subconsciously reveal personal information via their motion in response to specific stimuli, active attacks pose an outsized risk in VR environments.


title: Sliced Wasserstein Variational Inference

abstract: Variational Inference approximates an unnormalized distribution via the minimization of Kullback-Leibler (KL) divergence. Although this divergence is efficient for computation and has been widely used in applications, it suffers from some unreasonable properties. For example, it is not a proper metric, i.e., it is non-symmetric and does not preserve the triangle inequality. On the other hand, optimal transport distances recently have shown some advantages over KL divergence. With the help of these advantages, we propose a new variational inference method by minimizing sliced Wasserstein distance, a valid metric arising from optimal transport. This sliced Wasserstein distance can be approximated simply by running MCMC but without solving any optimization problem. Our approximation also does not require a tractable density function of variational distributions so that approximating families can be amortized by generators like neural networks. Furthermore, we provide an analysis of the theoretical properties of our method. Experiments on synthetic and real data are illustrated to show the performance of the proposed method.


title: When Do Outcome Driven Treatments Break Parallel Trends?

abstract: Under what circumstances is it a threat to the parallel trends assumption required for Difference in Differences (DiD) studies if treatment decisions are based on past values of the outcome? We explore via simulation studies whether parallel trends holds across a grid of data generating processes generally conducive to parallel trends (random walk, Hidden Markov Model, and constant direct additive confounding), study designs (never treated, not yet treated, or later treated control groups), and outcome responsiveness of treatment (yes or no). We interpret the upshot of our simulation results to be that parallel trends is typically not a credible assumption when treatments are influenced by past outcomes. This is due to a combination of regression to the mean and selection on future treatment values, depending on the control group. Since timing of treatment initiation is frequently influenced by past outcomes when the treatment is targeted at the outcome, perhaps DiD is generally better suited for studying unintended consequences of interventions?


title: Unsupervised Learning under Latent Label Shift

abstract: What sorts of structure might enable a learner to discover classes from unlabeled data? Traditional approaches rely on feature-space similarity and heroic assumptions on the data. In this paper, we introduce unsupervised learning under Latent Label Shift (LLS), where we have access to unlabeled data from multiple domains such that the label marginals $p_d(y)$ can shift across domains but the class conditionals $p(\mathbf{x}|y)$ do not. This work instantiates a new principle for identifying classes: elements that shift together group together. For finite input spaces, we establish an isomorphism between LLS and topic modeling: inputs correspond to words, domains to documents, and labels to topics. Addressing continuous data, we prove that when each label's support contains a separable region, analogous to an anchor word, oracle access to $p(d|\mathbf{x})$ suffices to identify $p_d(y)$ and $p_d(y|\mathbf{x})$ up to permutation. Thus motivated, we introduce a practical algorithm that leverages domain-discriminative models as follows: (i) push examples through domain discriminator $p(d|\mathbf{x})$; (ii) discretize the data by clustering examples in $p(d|\mathbf{x})$ space; (iii) perform non-negative matrix factorization on the discrete data; (iv) combine the recovered $p(y|d)$ with the discriminator outputs $p(d|\mathbf{x})$ to compute $p_d(y|x) \; \forall d$. With semi-synthetic experiments, we show that our algorithm can leverage domain information to improve upon competitive unsupervised classification methods. We reveal a failure mode of standard unsupervised classification methods when feature-space similarity does not indicate true groupings, and show empirically that our method better handles this case. Our results establish a deep connection between distribution shift and topic modeling, opening promising lines for future work.


title: Hermite trace polynomials and chaos decompositions for the Hermitian Brownian motion

abstract: For a non-zero parameter $q$, we define Hermite trace polynomials, which are multivariate polynomials indexed by permutations. We prove several combinatorial properties for them, such as expansions and product formulas. The linear functional determined by these trace polynomials is a state for $q = \frac{1}{N}$ for $N$ a non-zero integer. For such $q$, Hermite trace polynomials of different degrees are orthogonal. The product formulas extend to the closure with respect to the state. The state can be identified with the expectation induced by the $N \times N$ Hermitian Brownian motion. Hermite trace polynomials are martingales for this Brownian motion, while the elements in the closure can be interpreted as stochastic integrals with respect to it. Using the grading on the algebra, we prove several chaos decompositions for such integrals, as well as analyze corresponding creation and annihilation operators. In the univariate, pure trace polynomial case, trace Hermite polynomials can be identified with the Hermite polynomials of matrix argument.


title: Planning and Learning: Path-Planning for Autonomous Vehicles, a Review of the Literature

abstract: This short review aims to make the reader familiar with state-of-the-art works relating to planning, scheduling and learning. First, we study state-of-the-art planning algorithms. We give a brief introduction of neural networks. Then we explore in more detail graph neural networks, a recent variant of neural networks suited for processing graph-structured inputs. We describe briefly the concept of reinforcement learning algorithms and some approaches designed to date. Next, we study some successful approaches combining neural networks for path-planning. Lastly, we focus on temporal planning problems with uncertainty.


title: Trajectory of a massive localised wave function in a curved spacetime geometry

abstract: Propagation of a localised wave function of a massive scalar field is investigated in its rest frame. The complete orthogonal Hermite-Gauss basis is presented, and the Gouy phase and Rayleigh scale notions are adapted. The leading and sub-leading gravitational corrections to a localised quantum wave function propagating in a general curved spacetime geometry are calculated within the Fermi coordinates around the time-like geodesic of its rest frame, and cross-talk coefficients among the modes are derived. It is observed that spherically symmetric modes propagate along the geodesic. However, non-spherical modes are found to experience a mode-dependent residual quantum force at the sub-leading order. It is shown that the residual force does not generate an escape velocity for in-falling wave functions but leads to a mode-dependent deflection angle for the scattered ones.


title: Entropic and trace distance based measures of non-Markovianity

abstract: We analyze and compare different measures for the degree of non-Markovianity in the dynamics of open quantum systems. These measures are based on the distinguishability of quantum states which is quantified, on the one hand, by the trace distance or, more generally, by the trace norm of the Helstrom matrix, and, on the other hand, by entropic quantifiers: the Jensen-Shannon divergence, the Holevo or the quantum skew divergence. We explicitly construct a qubit dynamics for which the trace norm based non-Markovianity measure is nonzero, while all the entropic measures turn out to be zero. This leads to the surprising conclusion that the non-Markovianity measure which employs the trace norm of the Helstrom matrix is strictly stronger than all entropic non-Markovianity measures.


title: SAR-to-EO Image Translation with Multi-Conditional Adversarial Networks

abstract: This paper explores the use of multi-conditional adversarial networks for SAR-to-EO image translation. Previous methods condition adversarial networks only on the input SAR. We show that incorporating multiple complementary modalities such as Google maps and IR can further improve SAR-to-EO image translation especially on preserving sharp edges of manmade objects. We demonstrate effectiveness of our approach on a diverse set of datasets including SEN12MS, DFC2020, and SpaceNet6. Our experimental results suggest that additional information provided by complementary modalities improves the performance of SAR-to-EO image translation compared to the models trained on paired SAR and EO data only. To best of our knowledge, our approach is the first to leverage multiple modalities for improving SAR-to-EO image translation performance.


title: Learning-Based Keypoint Registration for Fetoscopic Mosaicking

abstract: In Twin-to-Twin Transfusion Syndrome (TTTS), abnormal vascular anastomoses in the monochorionic placenta can produce uneven blood flow between the two fetuses. In the current practice, TTTS is treated surgically by closing abnormal anastomoses using laser ablation. This surgery is minimally invasive and relies on fetoscopy. Limited field of view makes anastomosis identification a challenging task for the surgeon. To tackle this challenge, we propose a learning-based framework for in-vivo fetoscopy frame registration for field-of-view expansion. The novelties of this framework relies on a learning-based keypoint proposal network and an encoding strategy to filter (i) irrelevant keypoints based on fetoscopic image segmentation and (ii) inconsistent homographies. We validate of our framework on a dataset of 6 intraoperative sequences from 6 TTTS surgeries from 6 different women against the most recent state of the art algorithm, which relies on the segmentation of placenta vessels. The proposed framework achieves higher performance compared to the state of the art, paving the way for robust mosaicking to provide surgeons with context awareness during TTTS surgery.


title: On Missing Labels, Long-tails and Propensities in Extreme Multi-label Classification

abstract: The propensity model introduced by Jain et al. 2016 has become a standard approach for dealing with missing and long-tail labels in extreme multi-label classification (XMLC). In this paper, we critically revise this approach showing that despite its theoretical soundness, its application in contemporary XMLC works is debatable. We exhaustively discuss the flaws of the propensity-based approach, and present several recipes, some of them related to solutions used in search engines and recommender systems, that we believe constitute promising alternatives to be followed in XMLC.


title: Superiorization as a novel strategy for linearly constrained inverse radiotherapy treatment planning

abstract: We apply the superiorization methodology to the intensity-modulated radiation therapy (IMRT) treatment planning problem. In superiorization, linear voxel dose inequality constraints are the fundamental modeling tool within which a feasibility-seeking projection algorithm will seek a feasible point. This algorithm is then perturbed with gradient descent steps to reduce a nonlinear objective function. Within the open-source inverse planning toolkit matRad, we implement a prototypical algorithmic framework for superiorization using the well-established Agmon, Motzkin, and Schoenberg (AMS) feasibility-seeking projection algorithm and common nonlinear dose optimization objective functions. Based on this prototype, we apply superiorization to intensity-modulated radiation therapy treatment planning and compare its performance with feasibility-seeking and nonlinear constrained optimization. For these comparisons, we use the TG119 water phantom and a head-and-neck patient of the CORT dataset. Bare feasibility-seeking with AMS confirms previous studies, showing it can find solutions that are nearly equivalent to those found by the established piece-wise least-squares optimization approach. The superiorization prototype solved the linearly constrained planning problem with similar performance to that of a general-purpose nonlinear constrained optimizer while showing smooth convergence in both constraint proximity and objective function reduction. Superiorization is a useful alternative to constrained optimization in radiotherapy inverse treatment planning. Future extensions with other approaches to feasibility-seeking, e.g., with dose-volume constraints and more sophisticated perturbations, may unlock its full potential for high-performant inverse treatment planning.


title: Ambient temperature pressure driven alkane dehydrogenation by palladium metal

abstract: Dehydrogenation of alkanes is of increasing importance in fulfilling global demand for olefins and offers a potential source of carbon-neutral hydrogen as a co-product. Currently commercial dehydrogenation processes occur at high-temperatures (500-900$^\circ$C) which is energy intensive and results in side reactions and rapid coking of the catalysts. In addition the hydrogen produced is often burned to maintain temperature and to inhibit the back reaction. Here we demonstrate pressure as a parameter to enable novel chemical catalytic processes and demonstrate ambient-temperature dehydrogenation of alkanes by palladium at 50-100 MPa pressures, with both hydrogen gas and olefins recovered on decompression. This reaction follows a fundamentally different path to current commercial high-temperature low-pressure dehydrogenation processes with the palladium catalyst reversibly forming a hydride intermediate.


title: Inverse-designed Metastructures Together with Reconfigurable Couplers to Compute Forward Scattering

abstract: Wave-based analog computing in the forms of inverse-designed metastructures and the meshes of Mach-Zehnder interferometers (MZI) have recently received considerable attention due to their capability in emulating linear operators, performing vector-matrix multiplication, inverting matrices, and solving integral and differential equations, via electromagnetic wave interaction and manipulation in such structures. Here, we combine these two platforms to propose a wave-based metadevice that can compute scattered fields in electromagnetic forward scattering problems. The proposed device consists of two sub-systems: a set of reconfigurable couplers with a proper feedback system and an inverse-designed inhomogeneous material block. The first sub-system computes the magnitude and phase of the dipole polarization induced in the scatterers when illuminated with a given incident wave (matrix inversion). The second sub-system computes the magnitude and phase of the scattered fields at given detection points (vector-matrix multiplication). We discuss the functionality of this metadevice, and through several examples, we theoretically evaluate its performance by comparing the simulation results of this device with full-wave numerical simulations and numerically evaluated matrix inversion. We also highlight that since the first section is reconfigurable, the proposed device can be used for different permittivity distributions of the scatterer and different incident excitations without changing the inverse-designed section. Our proposed device may provide a versatile platform for rapid computation in various scattering scenarios.

categories: physics.optics eess.IV math-ph math.MP physics.app-ph


title: How does artificial intelligence contribute to iEEG research?

abstract: Artificial intelligence (AI) is a fast-growing field focused on modeling and machine implementation of various cognitive functions with an increasing number of applications in computer vision, text processing, robotics, neurotechnology, bio-inspired computing and others. In this chapter, we describe how AI methods can be applied in the context of intracranial electroencephalography (iEEG) research. IEEG data is unique as it provides extremely high-quality signals recorded directly from brain tissue. Applying advanced AI models to these data carries the potential to further our understanding of many fundamental questions in neuroscience. At the same time, as an invasive technique, iEEG lends itself well to long-term, mobile brain-computer interface applications, particularly for communication in severely paralyzed individuals. We provide a detailed overview of these two research directions in the application of AI techniques to iEEG. That is, (1) the development of computational models that target fundamental questions about the neurobiological nature of cognition (AI-iEEG for neuroscience) and (2) applied research on monitoring and identification of event-driven brain states for the development of clinical brain-computer interface systems (AI-iEEG for neurotechnology). We explain key machine learning concepts, specifics of processing and modeling iEEG data and details of state-of-the-art iEEG-based neurotechnology and brain-computer interfaces.


title: GCN-WP -- Semi-Supervised Graph Convolutional Networks for Win Prediction in Esports

abstract: Win prediction is crucial to understanding skill modeling, teamwork and matchmaking in esports. In this paper we propose GCN-WP, a semi-supervised win prediction model for esports based on graph convolutional networks. This model learns the structure of an esports league over the course of a season (1 year) and makes predictions on another similar league. This model integrates over 30 features about the match and players and employs graph convolution to classify games based on their neighborhood. Our model achieves state-of-the-art prediction accuracy when compared to machine learning or skill rating models for LoL. The framework is generalizable so it can easily be extended to other multiplayer online games.


title: Perception-Aware Attack: Creating Adversarial Music via Reverse-Engineering Human Perception

abstract: Recently, adversarial machine learning attacks have posed serious security threats against practical audio signal classification systems, including speech recognition, speaker recognition, and music copyright detection. Previous studies have mainly focused on ensuring the effectiveness of attacking an audio signal classifier via creating a small noise-like perturbation on the original signal. It is still unclear if an attacker is able to create audio signal perturbations that can be well perceived by human beings in addition to its attack effectiveness. This is particularly important for music signals as they are carefully crafted with human-enjoyable audio characteristics. In this work, we formulate the adversarial attack against music signals as a new perception-aware attack framework, which integrates human study into adversarial attack design. Specifically, we conduct a human study to quantify the human perception with respect to a change of a music signal. We invite human participants to rate their perceived deviation based on pairs of original and perturbed music signals, and reverse-engineer the human perception process by regression analysis to predict the human-perceived deviation given a perturbed signal. The perception-aware attack is then formulated as an optimization problem that finds an optimal perturbation signal to minimize the prediction of perceived deviation from the regressed human perception model. We use the perception-aware framework to design a realistic adversarial music attack against YouTube's copyright detector. Experiments show that the perception-aware attack produces adversarial music with significantly better perceptual quality than prior work.


title: Compatibility of the Fargues--Scholze correspondence for unitary groups

abstract: We study unramified unitary and unitary similitude groups in an odd number of variables. Using work of the first and third named authors on the Kottwitz Conjecture for the similitude groups, we show that the Fargues--Scholze local Langlands correspondence agrees with the semi-simplification of the local Langlands correspondences constructed by Mok for the groups we consider. This compatibility result is then combined with the spectral action constructed by Fargues--Scholze, to verify their categorical form of the local Langlands conjecture for supercuspidal $\ell$-parameters. We deduce Fargues' eigensheaf conjecture and prove the strongest form of Kottwitz's conjecture for the groups we consider, even in the case of non minuscule $\mu$.


title: In-situ uniaxial pressure cell for X-ray and neutron scattering experiments

abstract: We present an in-situ uniaxial pressure device optimized for small angle X-ray and neutron scattering experiments at low-temperatures and high magnetic fields. A stepper motor generates force, which is transmitted to the sample via a rod with integrated transducer that continuously monitors the force. The device has been designed to generate forces up to 200 N in both compressive and tensile configurations and a feedback control allows operating the system in a continuous-pressure mode as the temperature is changed. The uniaxial pressure device can be used for various instruments and multiple cryostats through simple and exchangeable adapters. It is compatible with multiple sample holders, which can be easily changed depending on the sample properties and the desired experiment and allow rapid sample changes.

categories: physics.ins-det cond-mat.mtrl-sci cond-mat.str-el cond-mat.supr-con


title: Brans-Dicke unimodular gravity

abstract: We propose a unimodular version of the Brans-Dicke theory designed with a constrained Lagrangian formulation. The resulting field equations are traceless. The vacuum solutions in the cosmological background reproduce the corresponding solutions of the usual Brans-Dicke theory but with a cosmological constant term. A perturbative analysis of the scalar modes is performed and stable and unstable configurations appear in contrast with the Brans-Dicke case for which only stable configurations occur. On the other hand, tensorial modes in this theory remains the same as in the traditional Brans-Dicke theory.


title: Dust grain size evolution in local galaxies: a comparison between observations and simulations

abstract: The evolution of the dust grain size distribution has been studied in recent years with great detail in cosmological hydrodynamical simulations taking into account all the channels under which dust evolves in the interstellar medium. We present a systematic analysis of the observed spectral energy distribution of a large sample of galaxies in the local universe in order to derive not only the total dust masses but also the relative mass fraction between small and large dust grains (DS/DL). Simulations reproduce fairly well the observations except for the high stellar mass regime where dust masses tend to be overestimated. We find that ~45% of galaxies exhibit DS/DL consistent with the expectations of simulations, while there is a sub-sample of massive galaxies presenting high DS/DL (log(DS/DL)~-0.5), and deviating from the prediction in simulations. For these galaxies, which also have high molecular gas mass fractions and metallicities, coagulation is not an important mechanism affecting the dust evolution. Including diffusion, transporting large grains from dense regions to a more diffuse medium where they can be easily shattered, would explain the observed high DS/DL values in these galaxies. With this study we reinforce the use of the small-to-large grain mass ratio to study the relative importance of the different mechanisms in the dust life cycle. Multi-phase hydrodynamical simulations with detailed feedback prescriptions and more realistic subgrid models for the dense phase could help to reproduce the evolution of the dust grain size distribution traced by observations.


title: Scalar curvature, entropy, and generalized Ricci flow

abstract: We derive a family of weighted scalar curvature monotonicity formulas for generalized Ricci flow, involving an auxiliary dilaton field evolving by a certain reaction-diffusion equation motivated by renormalization group flow. These scalar curvature monotonicities are dual to a new family of Perelman-type energy and entropy monotonicity formulas by coupling to a solution of the associated weighted conjugate heat equation. In the setting of Ricci flow, we further obtain a new family of convex Nash entropies and pseudolocality principles.


title: The Generalized Multiplicative Gradient Method and Its Convergence Rate Analysis

abstract: Multiplicative gradient method is a classical and effective method for solving the positron emission tomography (PET) problem. In this work, we propose a generalization of this method on a broad class of problems, which includes the PET problem as a special case. We show that this generalized method converges with rate $O(1/k)$.


title: Heuristics for anti-cyclotomic $\mathbb{Z}_p$-extensions

abstract: This paper studies Iwasawa invariants in anti-cyclotomic towers. We do this by proposing two heuristics supported by computations. First we propose the Intersection Heuristics: these model `how often' the $p$-Hilbert class field of an imaginary quadratic field intersects the anti-cyclotomic tower and to what extent. Second we propose the Invariants Heuristics: these predict that the Iwasawa invariants $\lambda$ and $\mu$ usually vanish for imaginary quadratic fields where $p$ is non-split.


title: Deep Model-Based Architectures for Inverse Problems under Mismatched Priors

abstract: There is a growing interest in deep model-based architectures (DMBAs) for solving imaging inverse problems by combining physical measurement models and learned image priors specified using convolutional neural nets (CNNs). For example, well-known frameworks for systematically designing DMBAs include plug-and-play priors (PnP), deep unfolding (DU), and deep equilibrium models (DEQ). While the empirical performance and theoretical properties of DMBAs have been widely investigated, the existing work in the area has primarily focused on their performance when the desired image prior is known exactly. This work addresses the gap in the prior work by providing new theoretical and numerical insights into DMBAs under mismatched CNN priors. Mismatched priors arise naturally when there is a distribution shift between training and testing data, for example, due to test images being from a different distribution than images used for training the CNN prior. They also arise when the CNN prior used for inference is an approximation of some desired statistical estimator (MAP or MMSE). Our theoretical analysis provides explicit error bounds on the solution due to the mismatched CNN priors under a set of clearly specified assumptions. Our numerical results compare the empirical performance of DMBAs under realistic distribution shifts and approximate statistical estimators.


title: Anderson-Higgs mass of magnons in superconductor/ferromagnet/superconductor systems

abstract: Anderson-Higgs mechanism of mass generation is a generic concept in high-energy and condensed matter physics. It shows up through the Meissner effect providing the expulsion of static and low-frequency magnetic fields from superconductors. However, it does not affect propagating electromagnetic waves with a spectrum gap determined by the plasma frequency, which is too large to be sensitive to the superconducting transition. Here we demonstrate the spectroscopic manifestation of the Anderson-Higgs mass, showing that it determines the spectrum gap of magnons in superconductor/ferromagnet/superconductor multilayers. Moreover, we show that this effect has been observed in recent experiments as a spontaneous ferromagnetic resonance frequency shift in such systems. Our theory explains many unusual experimental features and suggests effective controls over the magnon spectrum with tunable spectral gap and group-velocity reversal. These findings pave the way to a wide range of advanced functionalities for possible applications in magnonics.


title: Automorphic scalar fields in two-dimensional de Sitter space

abstract: We study non-interacting automorphic quantum scalar fields with positive mass in two-dimensional de Sitter space. We find that there are no Hadamard states which are de Sitter invariant except in the periodic case, extending the result of Epstein and Moschella for the anti-periodic case. We construct the two-point Wightman functions for the non-Hadamard de Sitter-invariant states by exploiting the fact that they are functions of the geodesic distance between the two points satisfying an ordinary differential equation. We then examine a certain Hadamard state, which is not de Sitter invariant, and show that it is approximately a thermal state with the Gibbons-Hawking temperature when restricted to a static region of the spacetime.


title: Modular curves and N\'eron models of generalized Jacobians

abstract: Let $X$ be a smooth geometrically connected projective curve over the field of fractions of a discrete valuation ring $R$, and $\mathfrak{m}$ a modulus on $X$, given by a closed subscheme of $X$ which is geometrically reduced. The generalized Jacobian $J_\mathfrak{m}$ of $X$ with respect to $\mathfrak{m}$ is then an extension of the Jacobian of $X$ by a torus. We describe its N\'eron model, together with the character and component groups of the special fibre, in terms of a regular model of $X$ over $R$. This generalizes Raynaud's well-known description for the usual Jacobian. We also give some computations for generalized Jacobians of modular curves $X_0(N)$ with moduli supported on the cusps.


title: Review of Radio Frequency Interference and Potential Impacts on the CMB-S4 Cosmic Microwave Background Survey

abstract: CMB-S4 will map the cosmic microwave background to unprecedented precision, while simultaneously surveying the millimeter-wave time-domain sky, in order to advance our understanding of cosmology and the universe. CMB-S4 will observe from two sites, the South Pole and the Atacama Desert of Chile. A combination of small- and large-aperture telescopes with hundreds of thousands of polarization-sensitive detectors will observe in several frequency bands from 20-300 GHz, surveying more than 50 percent of the sky to arcminute resolution with unprecedented sensitivity. CMB-S4 seeks to make a dramatic leap in sensitivity while observing across a broad range of largely unprotected spectrum which is increasingly being utilized for terrestrial and satellite transmissions. Fundamental aspects of CMB instrument technology leave them vulnerable to radio frequency interference (RFI) across a wide range of frequencies, including frequencies outside of their observing bands. Ground-based CMB instruments achieve their extraordinary sensitivities by deploying large focal planes of superconducting bolometers to extremely dry, high-altitude sites, with large fractional bandwidths, wide fields of view, and years of integration time. Suitable observing sites have historically offered significant protection from RFI, both naturally through their extremely remote locations as well as through restrictions on local emissions. Since the coupling mechanisms are complex, safe levels or frequencies of emission that would not interfere with CMB measurements cannot always be determined through straightforward calculations. We discuss models of interference for various types of RFI relevant to CMB-S4, mitigation strategies, and the potential impacts on survey sensitivity.


title: Obstructions to reversing Lagrangian surgery in Lagrangian fillings

abstract: Given an immersed, Maslov-$0$, exact Lagrangian filling of a Legendrian knot, if the filling has a vanishing index and action double point, then through Lagrangian surgery it is possible to obtain a new immersed, Maslov-$0$, exact Lagrangian filling with one less double point and with genus increased by one. We show that it is not always possible to reverse the Lagrangian surgery: not every immersed, Maslov-$0$, exact Lagrangian filling with genus $g \geq 1$ and $p$ double points can be obtained from such a Lagrangian surgery on a filling of genus $g-1$ with $p+1$ double points. To show this, we establish the connection between the existence of an immersed, Maslov-$0$, exact Lagrangian filling of a Legendrian $\Lambda$ that has $p$ double points with action $0$ and the existence of an embedded, Maslov-$0$, exact Lagrangian cobordism from $p$ copies of a Hopf link to $\Lambda$. We then prove that a count of augmentations provides an obstruction to the existence of embedded, Maslov-$0$, exact Lagrangian cobordisms between Legendrian links.


title: Irreducibility of Arf Numerical Semigroups

abstract: In this paper, we introduce the concept of Arf special gaps of an Arf numerical semigroup, and an algorithm for computing all Arf special gaps of a given Arf numerical semigroup. We introduce the concept of Arf-irreducible numerical semigroups, and draw conclusions about all these concepts. We give a system of generators for the Frobenius variety and variety of families of Arf numerical semigroups. Moreover, we obtain the minimal Arf system of generators of a given Arf numerical semigroup.


title: Regular Black Holes: Entropy Products and Central Charges

abstract: In this paper for variety types of regular black hole solutions, we investigate the entropy product of inner and outer horizons. Similar to singular black holes, for the regular ones we find that universality (mass independence) of the entropy product is true for some solutions and it fails for some others. In the case of regular black holes that respect the universality, we read central charges of the dual CFTs from the entropy product, according to the Thermodynamics method introduced in \cite{Chen:2013rb}. For these solutions we also calculate central charges, using the asymptotic symmetry group formalism. The results of these two approaches are the same, which means that universality of the entropy product provides a simple method to find central charges of the dual CFTs.


title: Implementation and Evaluation of SiPM-Based Photon Counting Receiver for IoT Applications

abstract: Silicon Photomultipliers (SiPMs) are photon-counting detectors with great potential to improve the sensitivity of optical receivers. Recent studies of SiPMs in communication focus on the speed rather than the power consumption of the receiver. The gain bandwidth product (GBP) of the amplifiers in these post-SiPM readout circuits is significantly higher than the target data rate. Additionally, the SiPM experiments for optical communication are performed using an offline method which uses instruments including oscilloscopes and personal computers to process chunks of the transmitted data. In this work, we have developed an embedded real-time field-programmable gate array (FPGA) based system to evaluate a commercially available 1 mm-sq SiPM. The implemented real-time system achieves data rates from 10 kbps to 1 Mbps with a bit error rate (BER) below 1E-3 approaching the Poisson limit. Results showed that reducing either the dark count rate or increasing the data rate leads to lower dark counts per bit time, hence less power penalty to maintain a probability of error (PE) of 1E-3. The numerically simulated results indicated that to maintain the Poisson limit, the minimum GBP of the amplifier in the post-SiPM readout circuit is 120 MHz based on the proposed setup within the tested data rates. This GBP limitation is determined by the noise floor of the read-out circuit. The analysis of the minimum GBP and electrical power consumption of the receiver in photon counting and BER enables the potential future adoption of this receiver technology when high optical sensitivity is required, such as visible light communications (VLC) for low data rate Internet of Things (IoT) applications.


title: Disjointness of a simple matrix Lie group and its Lie algebra

abstract: Let $G$ be a connected closed subgroup of $\mathrm{GL}_n(\mathbb{C})$ which is simple as a Lie group and which acts irreducibly on $\mathbb{C}^n$. Regarding both $G$ and its Lie algebra $\mathfrak{g}$ as subsets of $M_n(\mathbb{C})$, we have $G\cap \mathfrak{g}\neq\emptyset$ if and only if $G$ is a classical group and $\mathbb{C}^n$ is a minuscule representation.


title: Simple generic picture of toughness in solid polymer blends

abstract: Toughness $\mathcal{T}$ of a brittle polymeric solid can be enhanced by blending another compatible and ductile polymer. While this common wisdom is generally valid, a generic picture is lacking that connects the atomistic details to the macroscopic non-linear mechanics. Using all-atom and complementary generic simulations we show how a delicate balance between the side group contact density of the brittle polymers $\rho_{\rm c}$ and its dilution upon adding a second component controls $\mathcal{T}$. A broad range of systems follows a universal trend in $\mathcal{T}$ with ${\rm d}\rho_{\rm c}/{\rm d}\varepsilon$, where $\varepsilon$ is the tensile strain. The simulation data is consistent with a simple model based on the parallel spring analogy.


title: A Survey of Intent Classification and Slot-Filling Datasets for Task-Oriented Dialog

abstract: Interest in dialog systems has grown substantially in the past decade. By extension, so too has interest in developing and improving intent classification and slot-filling models, which are two components that are commonly used in task-oriented dialog systems. Moreover, good evaluation benchmarks are important in helping to compare and analyze systems that incorporate such models. Unfortunately, much of the literature in the field is limited to analysis of relatively few benchmark datasets. In an effort to promote more robust analyses of task-oriented dialog systems, we have conducted a survey of publicly available datasets for the tasks of intent classification and slot-filling. We catalog the important characteristics of each dataset, and offer discussion on the applicability, strengths, and weaknesses of each. Our goal is that this survey aids in increasing the accessibility of these datasets, which we hope will enable their use in future evaluations of intent classification and slot-filling models for task-oriented dialog systems.


title: The History, Current Status, Benefits, and Challenges of 3D Printed Organs

abstract: There is an increase in demand for organs as transplantation is becoming a common practice to elongate human life. To reach this demand, three-dimensional bioprinting is developing from prior knowledge of scaffolds, growth factors, etc. This review paper aims to determine the current status and future possibilities of three-dimensional bioprinting of organs and evaluate the benefits and challenges, along with the history of its development. Prior research has viewed three-dimensional bioprinting as a technology that will enable safer transplantation without graft rejection and provide demand-based production. However, it faces challenges such as the need to improve biocompatibility and biofunctionality, legal and ethical issues, and the need to improve the technology itself. While the development of three-dimensional printing organs is not yet completed, we are seeing improvements and expecting it to be clinically applied soon.


title: Tri-Bi-Maximal Mixing in Asymmetric Textures

abstract: At the occasion of his eighty fifth birthday, I wish to to recognize the crucial role that my advisor, Professor Ayalam Balachandran, played in enabling me to evolve from engineering to physics. So many years later, this student presents his latest efforts: the importance of asymmetry in the Yukawa matrices. We start with a purely phenomenological approach with Tri-Bi-Maximal mixing as input: it predicts the value of the CP-violating angle with the three mixing angles within one sigma of their pdf values. To ensure as much naturalness as possible, a model which starts from $SU_5$ and extends to $E_6$ is discussed, in the context of finite family groups which are subgroups $G_2$.


title: Slowly rotating and the accelerating $\alpha'$-corrected black holes in four and higher dimensions

abstract: We consider the low-energy effective action of string theory at order $\alpha '$, including $R^2$-corrections to the Einstein-Hilbert gravitational action and non-trivial dilaton coupling. By means of a convenient field redefinition, we manage to express the theory in a frame that enables us to solve its field equations analytically and perturbatively in $\alpha ' $ for a static spherically symmetric ansatz in an arbitrary number of dimensions. The set of solutions we obtain is compatible with asymptotically flat geometries exhibiting a regular event horizon at which the dilaton is well-behaved. For the 4-dimensional case, we also derive the stationary black hole configuration at first order in $\alpha '$ and in the slowly rotating approximation. This yields string theory modifications to the Kerr geometry, including terms of the form $a$, $a^2$, $\alpha '$ and $a\alpha '$. In addition, we obtain the first $\alpha'$ correction to the C-metrics, which accommodates accelerating black holes. We work in the string frame and discuss the connection to the Einstein frame, for which rotating black holes have already been obtained in the literature.


title: Ultrafast quantum dynamics driven by the strong space charge field of a relativistic electron beam

abstract: In this article, we illustrate how the Coulomb field of a highly relativistic electron beam can be shaped into a broadband pulse suitable for driving ultrafast and strong-field physics. In contrast to a solid-state laser, the Coulomb field creates a pulse which can be intrinsically synchronized with an x-ray free electron laser (XFEL), can have a cutoff frequency which is broadly tunable from THz to EUV, and which acts on target systems as a "half-cycle" impulse. Explicit examples are presented to emphasize how the unique features of this excitation can be a tool for novel science at XFEL facilities like the LCLS.


title: Stability of concordance embeddings

abstract: We prove a stability theorem for spaces of smooth concordance embeddings. From it we derive various applications to spaces of concordance diffeomorphisms and homeomorphisms.


title: Enhancing strontium clock atom interferometry using quantum optimal control

abstract: Strontium clock atom interferometry is a promising new technique, with multiple experiments under development to explore its potential for dark matter and gravitational wave detection. In these detectors, large momentum transfer (LMT) using sequences of many laser pulses is necessary, and thus high fidelity of each pulse is important since small infidelities become magnified. Quantum Optimal Control (QOC) is a framework for developing control pulse waveforms that achieve high fidelity and are robust against experimental imperfections. Resonant single-photon transitions using the narrow clock transition of strontium involve significantly different quantum dynamics than more established atom interferometry methods based on far-detuned two-photon Raman or Bragg transitions, which leads to new opportunities and challenges when applying QOC. Here, we study QOC pulses for strontium clock interferometry and demonstrate their advantage over basic square pulses (primitive pulses) and composite pulses in terms of robustness against multiple noise channels. This could improve the scale of large momentum transfer in Sr clock interferometers, paving the way to achieve these scientific goals.


title: Global Incremental Flight Control for Agile Maneuvering of a Tailsitter Flying Wing

abstract: This paper proposes a novel control law for accurate tracking of agile trajectories using a tailsitter flying wing unmanned aerial vehicle (UAV) that transitions between vertical take-off and landing (VTOL) and forward flight. The global control formulation enables maneuvering throughout the flight envelope, including uncoordinated flight with sideslip. Differential flatness of the nonlinear tailsitter dynamics with a simplified aerodynamics model is shown. Using the flatness transform, the proposed controller incorporates tracking of the position reference along with its derivatives velocity, acceleration and jerk, as well as the yaw reference and yaw rate. The inclusion of jerk and yaw rate references through an angular velocity feedforward term improves tracking of trajectories with fast-changing accelerations. The controller does not depend on extensive aerodynamic modeling but instead uses incremental nonlinear dynamic inversion (INDI) to compute control updates based on only a local input-output relation, resulting in robustness against discrepancies in the simplified aerodynamics equations. Exact inversion of the nonlinear input-output relation is achieved through the derived flatness transform. The resulting control algorithm is extensively evaluated in flight tests, where it demonstrates accurate trajectory tracking and challenging agile maneuvers, such as sideways flight and aggressive transitions while turning.


title: Dalorex: A Data-Local Program Execution and Architecture for Memory-bound Applications

abstract: Applications with low data reuse and frequent irregular memory accesses, such as graph or sparse linear algebra workloads, fail to scale well due to memory bottlenecks and poor core utilization. While prior work with prefetching, decoupling, or pipelining can mitigate memory latency and improve core utilization, memory bottlenecks persist due to limited off-chip bandwidth. Approaches doing processing in-memory (PIM) with Hybrid Memory Cube (HMC) overcome bandwidth limitations but fail to achieve high core utilization due to poor task scheduling and synchronization overheads. Moreover, the high memory-per-core ratio available with HMC limits strong scaling. We introduce Dalorex, a hardware-software co-design that achieves high parallelism and energy efficiency, demonstrating strong scaling with >16,000 cores when processing graph and sparse linear algebra workloads. Over the prior work in PIM, both using 256 cores, Dalorex improves performance and energy consumption by two orders of magnitude through (1) a tile-based distributed-memory architecture where each processing tile holds an equal amount of data, and all memory operations are local; (2) a task-based parallel programming model where tasks are executed by the processing unit that is co-located with the target data; (3) a network design optimized for irregular traffic, where all communication is one-way, and messages do not contain routing metadata; (4) novel traffic-aware task scheduling hardware that maintains high core utilization; and (5) a data placement strategy that improves work balance. This work proposes architectural and software innovations to provide the greatest scalability to date for running graph algorithms while still being programmable for other domains.


title: Beyond Visuals : Examining the Experiences of Geoscience Professionals With Vision Disabilities in Accessing Data Visualizations

abstract: Data visualizations are ubiquitous in all disciplines and have become the primary means of analysing data and communicating insights. However, the predominant reliance on visual encoding of data continues to create accessibility barriers for people who are blind/vision impaired resulting in their under representation in Science, Technology, Engineering and Mathematics (STEM) disciplines. This research study seeks to understand the experiences of professionals who are blind/vision impaired in one such STEM discipline (geosciences) in accessing data visualizations. In-depth, semi-structured interviews with seven professionals were conducted to examine the accessibility barriers and areas for improvement to inform accessibility research pertaining to data visualizations through a socio-technical lens. A reflexive thematic analysis revealed the negative impact of visualizations in influencing their career path, lack of data exploration tools for research, barriers in accessing works of peers and mismatched pace of visualization and accessibility research. The article also includes recommendations from the participants to address some of these accessibility barriers.