title: Using Processing Fluency as a Metric of Trust in Scatterplot Visualizations

abstract: Establishing trust with readers is an important first step in visual data communication. But what makes a visualization trustworthy? Psychology and behavioral economics research has found processing fluency (i.e., speed and accuracy of perceiving and processing a stimulus) is central to perceived trust. We examine the association between processing fluency and trust in visualizations through two empirical studies. In Experiment 1, we tested the effect of camouflaging a visualization on processing fluency. Participants estimated the proportion of data values within a specified range for six camouflaged visualizations and one non-camouflaged control; they also reported their perceived difficulty for each of the visualizations. Camouflaged visualizations produced less accurate estimations compared to the control. In Experiment 2, we created a decision task based on trust games adapted from behavioral economics. We asked participants to invest money in two hypothetical companies and report how much they trust each company. One company communicates its strategy with a camouflaged visualization, the other with a controlled visualization. Participants tended to invest less money in the company presenting a camouflaged visualization. Hence, we found support for the hypothesis that processing fluency is key to the perception of trust in visual data communication.


title: The Change You Want to See

abstract: We live in a dynamic world where things change all the time. Given two images of the same scene, being able to automatically detect the changes in them has practical applications in a variety of domains. In this paper, we tackle the change detection problem with the goal of detecting "object-level" changes in an image pair despite differences in their viewpoint and illumination. To this end, we make the following four contributions: (i) we propose a scalable methodology for obtaining a large-scale change detection training dataset by leveraging existing object segmentation benchmarks; (ii) we introduce a co-attention based novel architecture that is able to implicitly determine correspondences between an image pair and find changes in the form of bounding box predictions; (iii) we contribute four evaluation datasets that cover a variety of domains and transformations, including synthetic image changes, real surveillance images of a 3D scene, and synthetic 3D scenes with camera motion; (iv) we evaluate our model on these four datasets and demonstrate zero-shot and beyond training transformation generalization.


title: Holographic RG flows on Squashed $S^3$

abstract: Holographic RG flows dual to QFTs on a squashed $S^3$ are considered in the framework of Einstein dilaton gravity in four dimensions. A general dilaton potential is used and flows are driven by a scalar relevant operator. The general properties of such flows are analysed and the UV and IR asymptotics are computed. Exotic asymptotics are found, that are different from the standard Fefferman-Graham asymptotics.


title: Sommerfeld enhancement of resonant dark matter annihilation

abstract: The dark matter annihilation cross section can be amplified by orders of magnitude if the annihilation occurs into a narrow resonance, or if the dark-matter particles experience a long-range force before annihilation (Sommerfeld effect). We show that when both enhancements are present they factorize completely, that is, all long-distance non-factorizable effects cancel at leading order in the small-velocity and narrow-width expansion. We then investigate the viability of ``super-resonant'' annihilation from the coaction of both mechanisms in Standard Model Higgs portal and simplified MSSM-inspired dark-matter scenarios.


title: Pareto Actor-Critic for Equilibrium Selection in Multi-Agent Reinforcement Learning

abstract: This work focuses on equilibrium selection in no-conflict multi-agent games, where we specifically study the problem of selecting a Pareto-optimal Nash equilibrium among several existing equilibria. It has been shown that many state-of-the-art multi-agent reinforcement learning (MARL) algorithms are prone to converging to Pareto-dominated equilibria due to the uncertainty each agent has about the policy of the other agents during training. To address sub-optimal equilibrium selection, we propose Pareto Actor-Critic (Pareto-AC), which is an actor-critic algorithm that utilises a simple property of no-conflict games (a superset of cooperative games): the Pareto-optimal equilibrium in a no-conflict game maximises the returns of all agents and, therefore, is the preferred outcome for all agents. We evaluate Pareto-AC in a diverse set of multi-agent games and show that it converges to higher episodic returns compared to seven state-of-the-art MARL algorithms and that it successfully converges to a Pareto-optimal equilibrium in a range of matrix games. Finally, we propose PACDCG, a graph neural network extension of Pareto-AC, which is shown to efficiently scale in games with a large number of agents.


title: Audio Barlow Twins: Self-Supervised Audio Representation Learning

abstract: The Barlow Twins self-supervised learning objective requires neither negative samples or asymmetric learning updates, achieving results on a par with the current state-of-the-art within Computer Vision. As such, we present Audio Barlow Twins, a novel self-supervised audio representation learning approach, adapting Barlow Twins to the audio domain. We pre-train on the large-scale audio dataset AudioSet, and evaluate the quality of the learnt representations on 18 tasks from the HEAR 2021 Challenge, achieving results which outperform, or otherwise are on a par with, the current state-of-the-art for instance discrimination self-supervised learning approaches to audio representation learning. Code at https://github.com/jonahanton/SSL_audio.


title: The two-phase problem for harmonic measure in VMO and the chord-arc condition

abstract: Let $\Omega^+\subset\mathbb R^{n+1}$ be a bounded $\delta$-Reifenberg flat domain, with $\delta>0$ small enough, possibly with locally infinite surface measure. Assume also that $\Omega^-= \mathbb R^{n+1}\setminus \overline{\Omega^+}$ is an NTA domain as well and denote by $\omega^+$ and $\omega^-$ the respective harmonic measures of $\Omega^+$ and $\Omega^-$ with poles $p^\pm\in\Omega^\pm$. In this paper we show that the condition that $\log\dfrac{d\omega^-}{d\omega^+} \in VMO(\omega^+)$ is equivalent to $\Omega^+$ being a chord-arc domain with inner normal belonging to $VMO(H^n|_{\partial\Omega^+})$.


title: Current Density of Majorana Bound States

abstract: It is known that a non-local complex fermion can be written in terms of two Majorana fermions. We exploit this fact to explain the system of two Majorana zero modes bound to a vortex and an anti-vortex, on the surface of a topological insulator in contact with an s-wave superconductor, as a non-local complex fermion. Although the current density of a single zero mode vanishes, by starting with a wave packet consisted of the positive and negative energy complex fermions, we specify that a time-dependent oscillatory motion emerges in the system. We also show that the amplitude and frequency of the oscillations depend on the relative distance of those two zero modes. Therefore, the observation of this oscillatory motion can be considered as a signature of the Majorana zero modes. Also, as the frequency of such an oscillatory motion depends on the distance between the two zero modes, it can be adjusted to bring this frequency within the resolution of observations. Furthermore, we indicate that the predicted oscillatory current is the reminiscent of the zitterbewegung effect.

categories: hep-th cond-mat.mtrl-sci cond-mat.other cond-mat.supr-con


title: Deforming Active Droplets in Viscoelastic Media

abstract: To mimic the motion of biological swimmers in bodily fluids, a novel experimental system of micellar solubilization driven active droplets in a visco-elastic polymeric solution is presented. The visco-elastic nature of the medium, characterized by the Deborah number (De), is tuned by varying the surfactant (fuel) and polymer concentration in the ambient medium. At moderate De, the droplet exhibits a steady deformed shape, markedly different from the spherical shape observed in Newtonian media. A theoretical analysis based on the normal stress balance at the interface is shown to accurately predict the droplet shape. With a further increase in De, time-periodic deformations accompanied by oscillatory transitions in swimming modes are observed. The study unveils the rich complexity in the motion of active droplets in viscoelastic fluids, which has been hitherto unexplored.


title: Model Specification in Mixed-Effects Models: A Focus on Random Effects

abstract: Mixed-effect models are flexible tools for researchers in a myriad of fields, but that flexibility comes at the cost of complexity and if users are not careful in how their model is specified, they could be making faulty inferences from their data. We argue that there is significant confusion around appropriate random effects to be included in a model given the study design, with researchers generally being better at specifying the fixed effects of a model, which map onto to their research hypotheses. To that end, we present an instructive framework for evaluating the random effects of a model in three different situations: (1) longitudinal designs; (2) factorial repeated measures; and (3) when dealing with multiple sources of variance. We provide worked examples with open-access code and data in an online repository. We think this framework will be helpful for students and researchers who are new to mixed effect models, and to reviewers who may have to evaluate a novel model as part of their review.


title: Callipepla: Stream Centric Instruction Set and Mixed Precision for Accelerating Conjugate Gradient Solver

abstract: The continued growth in the processing power of FPGAs coupled with high bandwidth memories (HBM), makes systems like the Xilinx U280 credible platforms for linear solvers which often dominate the run time of scientific and engineering applications. In this paper, we present Callipepla, an accelerator for a preconditioned conjugate gradient linear solver (CG). FPGA acceleration of CG faces three challenges: (1) how to support an arbitrary problem and terminate acceleration processing on the fly, (2) how to coordinate long-vector data flow among processing modules, and (3) how to save off-chip memory bandwidth and maintain double (FP64) precision accuracy. To tackle the three challenges, we present (1) a stream-centric instruction set for efficient streaming processing and control, (2) vector streaming reuse (VSR) and decentralized vector flow scheduling to coordinate vector data flow among modules and further reduce off-chip memory accesses with a double memory channel design, and (3) a mixed precision scheme to save bandwidth yet still achieve effective double precision quality solutions. To the best of our knowledge, this is the first work to introduce the concept of VSR for data reusing between on-chip modules to reduce unnecessary off-chip accesses for FPGA accelerators. We prototype the accelerator on a Xilinx U280 HBM FPGA. Our evaluation shows that compared to the Xilinx HPC product, the XcgSolver, Callipepla achieves a speedup of 3.94x, 3.36x higher throughput, and 2.94x better energy efficiency. Compared to an NVIDIA A100 GPU which has 4x the memory bandwidth of Callipepla, we still achieve 77% of its throughput with 3.34x higher energy efficiency. The code is available at https://github.com/UCLA-VAST/Callipepla.


title: Discrete Carleman estimates and application to controllability for a fully-discrete parabolic operator with dynamic boundary conditions

abstract: We consider a fully-discrete approximations of 1-D heat equation with dynamic boundary conditions for which we provide a controllability result. The proof of this result is based on a relaxed observability inequality for the corresponding adjoint system. This is done by using a suitable Carleman estimate for such models where the discrete parameters $h$ and $\Delta t$ are connected to the one of the large Carleman parameters.


title: Limits of Vertex Algebras and Large N Factorization

abstract: We investigate the limit of sequences of vertex algebras. We discuss under what condition the vector space direct limit of such a sequence is again a vertex algebra. We then apply this framework to permutation orbifolds of vertex operator algebras and their large N limit. We establish that for any nested oligomorphic permutation orbifold such a large N limit exists, and we give a necessary and sufficient condition for that limit to factorize. This helps clarify the question of what VOAs are candidates for holographic conformal field theories in physics.


title: Interpretable Quantum Advantage in Neural Sequence Learning

abstract: Quantum neural networks have been widely studied in recent years, given their potential practical utility and recent results regarding their ability to efficiently express certain classical data. However, analytic results to date rely on assumptions and arguments from complexity theory. Due to this, there is little intuition as to the source of the expressive power of quantum neural networks or for which classes of classical data any advantage can be reasonably expected to hold. Here, we study the relative expressive power between a broad class of neural network sequence models and a class of recurrent models based on Gaussian operations with non-Gaussian measurements. We explicitly show that quantum contextuality is the source of an unconditional memory separation in the expressivity of the two model classes. Additionally, as we are able to pinpoint quantum contextuality as the source of this separation, we use this intuition to study the relative performance of our introduced model on a standard translation data set exhibiting linguistic contextuality. In doing so, we demonstrate that our introduced quantum models are able to outperform state of the art classical models even in practice.


title: Discrete Optimal Designs for Distributed Energy Systems with Nonconvex Multiphase Optimal Power Flow

abstract: The optimal selection, sizing, and location of small-scale technologies within a grid-connected distributed energy system (DES) can contribute to reducing carbon emissions, consumer costs, and network imbalances. This is the first study to present an optimisation framework for obtaining discrete technology sizing and selection for grid-connected DES design, while simultaneously considering multiphase optimal power flow (MOPF) constraints to accurately represent unbalanced low-voltage distribution networks. An algorithm is developed to solve the resulting Mixed-Integer Nonlinear Programming (MINLP) formulation. It employs a decomposition based on Mixed-Integer Linear Programming (MILP) and Nonlinear Programming (NLP), and utilises integer cuts and complementarity reformulations to obtain discrete designs that are also feasible with respect to the network constraints. A heuristic modification to the original algorithm is also proposed to improve computational speed. Improved formulations for selecting feasible combinations of air source heat pumps (ASHPs) and hot water storage tanks are also presented. The algorithms outperform the existing state-of-the-art commercial MINLP solver, which fails to find any solutions in two instances. While feasible solutions were obtained for all cases, convergence was not achieved for all, especially for those involving the larger network. Where converged, the algorithm with the heuristic modification has achieved results up to 70% faster than the original algorithm. Results for case studies suggest that including ASHPs can support up to 16% higher renewable generation capacity compared to gas boilers, albeit with higher ASHP investment costs. The optimisation framework and results can be used to inform stakeholders such as policy-makers and network operators, to increase renewable energy capacity and aid the decarbonisation of domestic heating systems.


title: Generalized Kernel Regularized Least Squares

abstract: Kernel Regularized Least Squares (KRLS) is a popular method for flexibly estimating models that may have complex relationships between variables. However, its usefulness to many researchers is limited for two reasons. First, existing approaches are inflexible and do not allow KRLS to be combined with theoretically-motivated extensions such as random effects, unregularized fixed effects, or non-Gaussian outcomes. Second, estimation is extremely computationally intensive for even modestly sized datasets. Our paper addresses both concerns by introducing generalized KRLS (gKRLS). We note that KRLS can be re-formulated as a hierarchical model thereby allowing easy inference and modular model construction where KRLS can be used alongside random effects, splines, and unregularized fixed effects. Computationally, we also implement random sketching to dramatically accelerate estimation while incurring a limited penalty in estimation quality. We demonstrate that gKRLS can be fit on datasets with tens of thousands of observations in under one minute. Further, state-of-the-art techniques that require fitting the model over a dozen times (e.g. meta-learners) can be estimated quickly.


title: Transpiling Quantum Circuits using the Pentagon Equation

abstract: We consider the application of the pentagon equation in the context of quantum circuit compression. We show that if solutions to the pentagon equation are found, one can transpile a circuit involving non-Heisenberg-type interactions to a circuit involving only Heisenberg-type interactions while, in parallel, reducing the depth of a circuit. In this context, we consider a model of non-local two-qubit operations of Zhang \emph{et. al.} (the $A$ gate), and show that for certain parameters it is a solution of the pentagon equation.


title: Covers of reductive groups and functoriality

abstract: For a quasi-split connected reductive group $G$ over a local field $F$ we define a compact abelian group $\tilde\pi_1(G)$ and an extension $1 \to \tilde\pi_1(G) \to G(F)_\infty \to G(F) \to 1$ of topological groups equipped with a splitting over $G_\textrm{sc}(F)$. Any character $x : \tilde\pi_1(G) \to \mu_n(\mathbb{C})$ leads to an $n$-fold cover $G(F)_x$ of $G(F)$ via pushout. We define an $L$-group $^LG_x$ for this cover that is generally a non-split extension of $\textrm{Gal}(F^s/F)$ by $\hat G$. We prove a refined local Langlands correspondence for $G(F)_x$, assuming it is known for connected reductive groups with the same adjoint group as $G$. Motivation for this construction comes from considerations of Langlands' functoriality conjecture, where subgroups $\mathcal{H} \subset {^LG}$ of the $L$-group of $G$ arise that need not be $L$-groups of other reductive groups. If such a subgroup is full and intersects $\hat G$ in a connected reductive subgroup of maximal rank, we construct a natural triple $(H,x,\xi)$ consisting of a quasi-split connected reductive group $H$, a double cover $H(F)_x$, and an $L$-embedding $\xi : {^LH}_x \to {^LG}$ that is an isomorphism onto $\mathcal{H}$. We expect that genuine representations of $H(F)_x$ transfer functorially to representations of $G(F)$. In the special case of endoscopy, we show that the construction of transfer factors simplifies when the natural double cover $H(F)_x$ of the endoscopic group is used. The transfer factor becomes the product of two natural invariants that do not depend on auxiliary choices. One of them is closely related to Kottwitz's work on transfer factors for Lie algebras. The other one is not specific to the case of endoscopy, and will likely play a role in general functoriality questions. Our work is motivated by work of Adams and Vogan over the real numbers.


title: The minimal canonical form of a tensor network

abstract: Tensor networks have a gauge degree of freedom on the virtual degrees of freedom that are contracted. A canonical form is a choice of fixing this degree of freedom. For matrix product states, choosing a canonical form is a powerful tool, both for theoretical and numerical purposes. On the other hand, for tensor networks in dimension two or greater there is only limited understanding of the gauge symmetry. Here we introduce a new canonical form, the minimal canonical form, which applies to projected entangled pair states (PEPS) in any dimension, and prove a corresponding fundamental theorem. Already for matrix product states this gives a new canonical form, while in higher dimensions it is the first rigorous definition of a canonical form valid for any choice of tensor. We show that two tensors have the same minimal canonical forms if and only if they are gauge equivalent up to taking limits; moreover, this is the case if and only if they give the same quantum state for any geometry. In particular, this implies that the latter problem is decidable - in contrast to the well-known undecidability for PEPS on grids. We also provide rigorous algorithms for computing minimal canonical forms. To achieve this we draw on geometric invariant theory and recent progress in theoretical computer science in non-commutative group optimization.

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


title: Robust Incremental Smoothing and Mapping (riSAM)

abstract: This paper presents a method for robust optimization for online incremental Simultaneous Localization and Mapping (SLAM). Due to the NP-Hardness of data association in the presence of perceptual aliasing, tractable (approximate) approaches to data association will produce erroneous measurements. We require SLAM back-ends that can converge to accurate solutions in the presence of outlier measurements while meeting online efficiency constraints. Existing robust SLAM methods either remain sensitive to outliers, become increasingly sensitive to initialization, or fail to provide online efficiency. We present the robust incremental Smoothing and Mapping (riSAM) algorithm, a robust back-end optimizer for incremental SLAM based on Graduated Non-Convexity. We demonstrate on benchmarking datasets that our algorithm achieves online efficiency, outperforms existing online approaches, and matches or improves the performance of existing offline methods.


title: Robust Lattice-based Motion Planning

abstract: This paper proposes a robust lattice-based motion-planning algorithm for nonlinear systems affected by a bounded disturbance. The proposed motion planner utilizes the nominal disturbance-free system model to generate motion primitives, which are associated with fixed-size tubes. These tubes are characterized through designing a feedback controller, that guarantees boundedness of the errors occurring due to mismatch between the disturbed nonlinear system and the nominal system. The motion planner then sequentially implements the tube-based motion primitives while solving an online graph-search problem. The objective of the graph-search problem is to connect the initial state to the final state, through sampled states in a suitably discretized state space, such that the tubes do not pass through any unsafe states (representing obstacles) appearing during runtime. The proposed strategy is implemented on an Euler-Lagrange based ship model which is affected by significant wind disturbance. It is shown that the uncertain system trajectories always stay within a suitably constructed tube around the nominal trajectory and terminate within a region around the final state, whose size is dictated by the size of the tube.


title: Metric spaces in which many triangles are degenerate

abstract: Richmond and Richmond (Amer. Math. Monthly 104 (1997), 713--719) proved the following theorem: If, in a metric space with at least five points, all triangles are degenerate, then the space is isometric to a subset of the real line. We prove that the hypothesis is unnecessarily strong: In fact, $\Theta(n^2)$ suitably placed degenerate triangles suffice.


title: On the adiabatic subtraction of cosmological perturbations

abstract: Adiabatic subtraction is a popular method of renormalization of observables in quantum field theories on a curved spacetime. When applied to the computation of the power spectra of light ($m\ll H$) fields on de Sitter space with flat Friedmann-Lema\^{i}tre-Robertson-Walker slices, the standard prescriptions of adiabatic subtraction, traceable back to Parker's work, lead to results that are significantly different from the standard predictions of inflation not only in the ultraviolet ($k\gg aH$) but also at intermediate ($m\ll k/a\lesssim H$) wavelengths. In this paper we review those results and we contrast them with the power spectra obtained using an alternative prescription for adiabatic subtraction applied to quantum field theoretical systems by Dabrowski and Dunne. This prescription eliminates the intermediate-wavelength effects of renormalization that are found when using the standard one.


title: Happy or grumpy? A Machine Learning Approach to Analyze the Sentiment of Airline Passengers' Tweets

abstract: As one of the most extensive social networking services, Twitter has more than 300 million active users as of 2022. Among its many functions, Twitter is now one of the go-to platforms for consumers to share their opinions about products or experiences, including flight services provided by commercial airlines. This study aims to measure customer satisfaction by analyzing sentiments of Tweets that mention airlines using a machine learning approach. Relevant Tweets are retrieved from Twitter's API and processed through tokenization and vectorization. After that, these processed vectors are passed into a pre-trained machine learning classifier to predict the sentiments. In addition to sentiment analysis, we also perform lexical analysis on the collected Tweets to model keywords' frequencies, which provide meaningful contexts to facilitate the interpretation of sentiments. We then apply time series methods such as Bollinger Bands to detect abnormalities in sentiment data. Using historical records from January to July 2022, our approach is proven to be capable of capturing sudden and significant changes in passengers' sentiment. This study has the potential to be developed into an application that can help airlines, along with several other customer-facing businesses, efficiently detect abrupt changes in customers' sentiments and take adequate measures to counteract them.


title: Semantic Segmentation of Vegetation in Remote Sensing Imagery Using Deep Learning

abstract: In recent years, the geospatial industry has been developing at a steady pace. This growth implies the addition of satellite constellations that produce a copious supply of satellite imagery and other Remote Sensing data on a daily basis. Sometimes, this information, even if in some cases we are referring to publicly available data, it sits unaccounted for due to the sheer size of it. Processing such large amounts of data with the help of human labour or by using traditional automation methods is not always a viable solution from the standpoint of both time and other resources. Within the present work, we propose an approach for creating a multi-modal and spatio-temporal dataset comprised of publicly available Remote Sensing data and testing for feasibility using state of the art Machine Learning (ML) techniques. Precisely, the usage of Convolutional Neural Networks (CNN) models that are capable of separating different classes of vegetation that are present in the proposed dataset. Popularity and success of similar methods in the context of Geographical Information Systems (GIS) and Computer Vision (CV) more generally indicate that methods alike should be taken in consideration and further analysed and developed.


title: Muonic atom spectroscopy with microgram target material

abstract: Muonic atom spectroscopy -- the measurement of the x rays emitted during the formation process of a muonic atom -- has a long standing history in probing the shape and size of nuclei. In fact, almost all stable elements have been subject to muonic atom spectroscopy measurements and the absolute charge radii extracted from these measurements typically offer the highest accuracy available. However, so far only targets of at least a few hundred milligram could be used as it required to stop a muon beam directly in the target to form the muonic atom. We have developed a new method relying on repeated transfer reactions taking place inside a 100-bar hydrogen gas cell with an admixture of 0.25% deuterium that allows us to drastically reduce the amount of target material needed while still offering an adequate efficiency. Detailed simulations of the transfer reactions match the measured data, suggesting good understanding of the processes taking place inside the gas mixture. As a proof of principle we demonstrate the method with a measurement of the 2p-1s muonic x rays from a 5-{\mu}g gold target.


title: Ambipolar Diffusion in the Lower Solar Atmosphere: MHD Simulations of a Sunspot

abstract: Magnetohydrodynamic (MHD) simulations of the solar atmosphere are often performed under the assumption that the plasma is fully ionized. However, in the lower solar atmosphere a reduced temperature often results in only the partial ionization of the plasma. The interaction between the decoupled neutral and ionized components of such a partially ionized plasma produces ambipolar diffusion. To investigate the role of ambipolar diffusion in propagating wave characteristics in the photosphere and chromosphere, we employ the Mancha3D numerical code to model magnetoacoustic waves propagating through the atmosphere immediately above the umbra of a sunspot. We solve the non-ideal MHD equations for data-driven perturbations to the magnetostatic equilibrium and the effect of ambipolar diffusion is investigated by varying the simulation to include additional terms in the MHD equations that account for this process. Analyzing the energy spectral densities for simulations with/without ambipolar diffusion, we find evidence to suggest that ambipolar diffusion plays a pivotal role in wave characteristics in the weakly ionized low density regions, hence maximizing the local ambipolar diffusion coefficient. As a result, we propose that ambipolar diffusion is an important mechanism that requires careful consideration into whether it should be included in simulations, and whether it should be utilized in the analysis and interpretation of particular observations of the lower solar atmosphere.


title: Three-loop corrections to the quark and gluon decomposition of the QCD trace anomaly and their applications

abstract: In the QCD energy-momentum tensor $T^{\mu\nu}$, the terms that contribute to physical matrix elements are expressed as the sum of the gauge-invariant quark part and gluon part. Each part undergoes the renormalization due to the interactions among quarks and gluons, although the total tensor $T^{\mu\nu}$ is not renormalized thanks to conservation of energy and momentum. We show that, through the renormalization, each of the quark and gluon parts of $T^{\mu\nu}$ receives a definite amount of anomalous trace contribution, such that their sum reproduces the well-known QCD trace anomaly. We provide a procedure to derive such anomalous trace contribution for each quark/gluon part to all orders in perturbation theory, and obtain the corresponding explicit formulas up to three-loop order in the $\overline{\rm MS}$ scheme in the dimensional regularization. We apply our three-loop formulas of the quark/gluon decomposition of the trace anomaly to calculate the anomaly-induced mass structure of nucleons as well as pions. Another application of our three-loop formulas is a quantitative analysis for the constraints on the twist-four gravitational form factors of the nucleon, $\bar{C}_{q,g}$.


title: Repeated Prophet Inequality with Near-optimal Bounds

abstract: In modern sample-driven Prophet Inequality, an adversary chooses a sequence of $n$ items with values $v_1, v_2, \ldots, v_n$ to be presented to a decision maker (DM). The process follows in two phases. In the first phase (sampling phase), some items, possibly selected at random, are revealed to the DM, but she can never accept them. In the second phase, the DM is presented with the other items in a random order and online fashion. For each item, she must make an irrevocable decision to either accept the item and stop the process or reject the item forever and proceed to the next item. The goal of the DM is to maximize the expected value as compared to a Prophet (or offline algorithm) that has access to all information. In this setting, the sampling phase has no cost and is not part of the optimization process. However, in many scenarios, the samples are obtained as part of the decision-making process. We model this aspect as a two-phase Prophet Inequality where an adversary chooses a sequence of $2n$ items with values $v_1, v_2, \ldots, v_{2n}$ and the items are randomly ordered. Finally, there are two phases of the Prophet Inequality problem with the first $n$-items and the rest of the items, respectively. We show that some basic algorithms achieve a ratio of at most $0.450$. We present an algorithm that achieves a ratio of at least $0.495$. Finally, we show that for every algorithm the ratio it can achieve is at most $0.502$. Hence our algorithm is near-optimal.


title: Social Search: retrieving information in Online Social Platforms -- A Survey

abstract: Social Search research deals with studying methodologies exploiting social information to better satisfy user information needs in Online Social Media while simplifying the search effort and consequently reducing the time spent and the computational resources utilized. Starting from previous studies, in this work, we analyze the current state of the art of the Social Search area, proposing a new taxonomy and highlighting current limitations and open research directions. We divide the Social Search area into three subcategories, where the social aspect plays a pivotal role: Social Question&Answering, Social Content Search, and Social Collaborative Search. For each subcategory, we present the key concepts and selected representative approaches in the literature in greater detail. We found that, up to now, a large body of studies model users' preferences and their relations by simply combining social features made available by social platforms. It paves the way for significant research to exploit more structured information about users' social profiles and behaviors (as they can be inferred from data available on social platforms) to optimize their information needs further.


title: The Status of the Galactic Center Gamma-Ray Excess

abstract: The Galactic Center Gamma-Ray Excess has a spectrum, angular distribution, and overall intensity that agree remarkably well with that expected from annihilating dark matter particles in the form of a $m_X \sim 50 \, {\rm GeV}$ thermal relic. Previous claims that these photons are clustered on small angular scales or trace the distribution of known stellar populations once appeared to favor interpretations in which this signal originates from a large population of unresolved millisecond pulsars. More recent work, however, has overturned these conclusions, finding that the observed gamma-ray excess does {\it not} contain discernible small scale power, and is distributed with approximate spherical symmetry, not tracing any known stellar populations. In light of these results, it now appears significantly more likely that the Galactic Center Gamma-Ray Excess is produced by annihilating dark matter.


title: pyerrors: a python framework for error analysis of Monte Carlo data

abstract: We present the pyerrors python package for statistical error analysis of Monte Carlo data. Linear error propagation using automatic differentiation in an object oriented framework is combined with the $\Gamma$-method for a reliable estimation of autocorrelation times. Data from different sources can easily be combined, keeping the information on the origin of error components intact throughout the analysis. pyerrors can be smoothly integrated into the existing scientific python ecosystem which allows for efficient and compact analyses.


title: A Solvable Model of Flat Space Holography

abstract: We propose an explicit realization of flat space holography in two dimensions where both sides of the duality are independently defined and the boundary theory is completely solvable. In the bulk, we define a novel $\mathcal{N}=1$ flat space supergravity theory and exactly compute the full topological expansion of its Euclidean partition function with an arbitrary number of boundaries. On the boundary, we consider a double scaled Hermitian random matrix model with Gaussian potential and use the loop equations to show it independently reproduces the bulk partition function to all orders in the topological expansion. The non-perturbative completion of the supergravity theory provided by the solvable Gaussian matrix model allows for the exact, and in many cases analytic, computation of observables in flat space quantum gravity.


title: Supersolid-like square- and triangular-lattice crystallization of dipolar droplets in a box trap

abstract: Using a beyond-mean-field model including a Lee-Huang-Yang-type interaction, we demonstrate a supersolid-like spatially-periodic square- and triangular-lattice crystallization of droplets in a polarized dipolar condensate confined by an appropriate three-dimensional (3D) box trap. In this paper we consider a rectangular box (cuboid) trap, a square box (cuboid with two equal sides) trap, a cylindrical box trap and a hexagonal box (hexagonal prism) trap. The droplet lattice is always formed in the $x$-$y$ plane perpendicular to the polarization $z$ direction of dipolar atoms. In contrast to a harmonic trap, the box traps allow the formation of a large clean supersolid-like spatially-periodic crystallization in free space without any distortion. Moreover, a droplet lattice can be formed in a 3D box trap with a significantly reduced number of atoms than in a harmonic trap, which could facilitate the experimental observation of droplet lattice in a box trap. With present know-how such a supersolid-like crystallization of dipolar droplets in a 3D box trap can be realized in a laboratory thus allowing the study of a large periodic lattice of dipolar droplets in free space bounded by rigid walls.


title: Functional thin films as cathode/electrolyte interlayers: a strategy to enhance the performance and durability of solid oxide fuel cells

abstract: Electrochemical devices such as solid oxide fuel cells (SOFC) may greatly benefit from the implementation of nanoengineered thin-film multifunctional layers providing, alongside enhanced electrochemical activity, improved mechanical, and long-term stability. In this study, an ultrathin (400 nm) bilayer of samarium-doped ceria and a self-assembled nanocomposite made of Sm0.2Ce0.8O1.9-La0.8Sr0.2MnO3-$\delta$ was fabricated by pulsed laser deposition and is employed as a functional oxygen electrode in an anode-supported solid oxide fuel cell. Introducing the functional bilayer in the cell architecture results in a simple processing technique for the fabrication of high-performance fuel cells (power density 1.0 W.cm-2 at 0.7 V and 750 $^\circ$C). Durability tests were carried out for up to 1500 h, showing a small degradation under extreme operating conditions of 1 A.cm-2, while a stable behaviour at 0.5 A.cm-2. Post-test analyses, including scanning and transmission electron microscopy and electrochemical impedance spectroscopy, demonstrate that the nanoengineered thin film layers remain mostly morphologically stable after the operation.


title: Improving alignment of dialogue agents via targeted human judgements

abstract: We present Sparrow, an information-seeking dialogue agent trained to be more helpful, correct, and harmless compared to prompted language model baselines. We use reinforcement learning from human feedback to train our models with two new additions to help human raters judge agent behaviour. First, to make our agent more helpful and harmless, we break down the requirements for good dialogue into natural language rules the agent should follow, and ask raters about each rule separately. We demonstrate that this breakdown enables us to collect more targeted human judgements of agent behaviour and allows for more efficient rule-conditional reward models. Second, our agent provides evidence from sources supporting factual claims when collecting preference judgements over model statements. For factual questions, evidence provided by Sparrow supports the sampled response 78% of the time. Sparrow is preferred more often than baselines while being more resilient to adversarial probing by humans, violating our rules only 8% of the time when probed. Finally, we conduct extensive analyses showing that though our model learns to follow our rules it can exhibit distributional biases.


title: On the Optimal Control of Network LQR with Spatially-Exponential Decaying Structure

abstract: This paper studies network LQR problems with system matrices being spatially-exponential decaying (SED) between nodes in the network. The major objective is to study whether the optimal controller also enjoys a SED structure, which is an appealing property for ensuring the optimality of decentralized control over the network. We start with studying the open-loop asymptotically stable system and show that the optimal LQR state feedback gain $K$ is `quasi'-SED in this setting, i.e. $\|[K]_{ij}\|\sim O\left(e^{-\frac{c}{\mathrm{poly}\ln(N)}}\mathrm{dist}(i,j)\right)$. The decaying rate $c$ depends on the decaying rate and norms of system matrices and the open-loop exponential stability constants. Then the result is further generalized to unstable systems under a SED stabilizability assumption. Building upon the `quasi'-SED result on $K$, we give an upper-bound on the performance of $\kappa$-truncated local controllers, suggesting that distributed controllers can achieve near-optimal performance for SED systems. We develop these results via studying the structure of another type of controller, disturbance response control, which has been studied and used in recent online control literature; thus as a side result, we also prove the `quasi'-SED property of the optimal disturbance response control, which serves as a contribution on its own merit.


abstract: Clinical language processing has received a lot of attention in recent years, resulting in new models or methods for disease phenotyping, mortality prediction, and other tasks. Unfortunately, many of these approaches are tested under different experimental settings (e.g., data sources, training and testing splits, metrics, evaluation criteria, etc.) making it difficult to compare approaches and determine state-of-the-art. To address these issues and facilitate reproducibility and comparison, we present the Clinical Language Understanding Evaluation (CLUE) benchmark with a set of four clinical language understanding tasks, standard training, development, validation and testing sets derived from MIMIC data, as well as a software toolkit. It is our hope that these data will enable direct comparison between approaches, improve reproducibility, and reduce the barrier-to-entry for developing novel models or methods for these clinical language understanding tasks.


title: UNesT: Local Spatial Representation Learning with Hierarchical Transformer for Efficient Medical Segmentation

abstract: Transformer-based models, capable of learning better global dependencies, have recently demonstrated exceptional representation learning capabilities in computer vision and medical image analysis. Transformer reformats the image into separate patches and realizes global communication via the self-attention mechanism. However, positional information between patches is hard to preserve in such 1D sequences, and loss of it can lead to sub-optimal performance when dealing with large amounts of heterogeneous tissues of various sizes in 3D medical image segmentation. Additionally, current methods are not robust and efficient for heavy-duty medical segmentation tasks such as predicting a large number of tissue classes or modeling globally inter-connected tissue structures. To address such challenges and inspired by the nested hierarchical structures in vision transformer, we proposed a novel 3D medical image segmentation method (UNesT), employing a simplified and faster-converging transformer encoder design that achieves local communication among spatially adjacent patch sequences by aggregating them hierarchically. We extensively validate our method on multiple challenging datasets, consisting of multiple modalities, anatomies, and a wide range of tissue classes, including 133 structures in the brain, 14 organs in the abdomen, 4 hierarchical components in the kidneys, inter-connected kidney tumors and brain tumors. We show that UNesT consistently achieves state-of-the-art performance and evaluate its generalizability and data efficiency. Particularly, the model achieves whole brain segmentation task complete ROI with 133 tissue classes in a single network, outperforming prior state-of-the-art method SLANT27 ensembled with 27 networks.


title: Infinite distances in multicritical CFTs and higher-spin holography

abstract: We investigate the swampland distance conjecture in higher-spin gravity. To this end, we study multicritical generalizations of large-$N$ vector models, bosonic and fermionic, and we compute the quantum information distance along selected renormalization-group trajectories toward the higher-spin limit. In striking contrast to the expected exponential decay of higher-spin masses or anomalous dimensions, we find that infinite-distance limits in these models lead to a power-like decay. This suggests that stringy exponential decays are characteristic of matrix-like gauge theories, rather than vector models. We corroborate this notion studying the information distance along coupling variations in Chern-Simons-matter CFTs, where matrix-like degrees of freedom dominate over vector-like ones.


title: Paraxial forward-scatter field analysis for a THz pulse traveling down a highly overmoded iris-line waveguide

abstract: Highly overmoded iris-line structures carry desirable features for the efficient transportation of THz radiation over long distances. Previous studies have analyzed the iris line, modeled approximately as a long open-resonator structure with thin screens, using methods such as Vainstein's impedance boundary condition or perturbative mode matching. The aim in those methods was to seek the eigensolution that represents the dominant (least lossy) propagation mode in a long iris-line structure at steady state. In this paper, a forward-traveling wave analysis is presented, wherein a short THz pulse paraxially traverses the oversized structure cell by cell, including the transient regime. The iris line's periodic discontinuities are analyzed in terms of forward-wave orthogonal mode decompositions, which are then used to build a 'forward-scatter' model (matrix) for each cell. The presented approach predicts a diffraction loss behavior that agrees with that of the eigensolution found by the previous analytical methods at the steady state for a long waveguide, but adds the ability of analyzing waveguides of finite lengths, showing transients as they evolve and settle to the dominant mode down the line, and offers numerical implementation speeds that are typically an order-of-magnitude faster than those previously reported for the mode-matching method. This approach may also be easily extended to analyze iris lines with mechanical imperfections (e.g. misalignments or aperiodic defects), allowing for investigations of performance sensitivity against manufacturing tolerances.


title: Deferred statistical order convergence in Riesz spaces

abstract: Some types of statistical convergence such as statistical order and deferred statistical convergences have been studied and investigated in Riesz spaces, recently. In this paper, we introduce the concept of deferred statistical convergence in Riesz spaces with order convergence. Moreover, we give some relations between deferred statistical order convergence and other kinds of statistical convergences.


title: Quantifying the trade-off between stiffness and permeability in hydrogels

abstract: Hydrogels have a distinct combination of mechanical and water-transport behaviors. As hydrogels stiffen, they become less permeable. Here, we combine semi-dilute polymer theory with the Kozeny-Carman equation to develop a simple scaling law describing the relationship between hydraulic permeability and mechanical stiffness. We find that these properties are dictated by the polymer strand spacing, explained via analogy of a bowl of noodle soup. We find a remarkably close agreement between our scaling law and experimental results across four different polymer families with varied crosslinkings.


title: Assessing Coarse-to-Fine Deep Learning Models for Optic Disc and Cup Segmentation in Fundus Images

abstract: Automated optic disc (OD) and optic cup (OC) segmentation in fundus images is relevant to efficiently measure the vertical cup-to-disc ratio (vCDR), a biomarker commonly used in ophthalmology to determine the degree of glaucomatous optic neuropathy. In general this is solved using coarse-to-fine deep learning algorithms in which a first stage approximates the OD and a second one uses a crop of this area to predict OD/OC masks. While this approach is widely applied in the literature, there are no studies analyzing its real contribution to the results. In this paper we present a comprehensive analysis of different coarse-to-fine designs for OD/OC segmentation using 5 public databases, both from a standard segmentation perspective and for estimating the vCDR for glaucoma assessment. Our analysis shows that these algorithms not necessarily outperfom standard multi-class single-stage models, especially when these are learned from sufficiently large and diverse training sets. Furthermore, we noticed that the coarse stage achieves better OD segmentation results than the fine one, and that providing OD supervision to the second stage is essential to ensure accurate OC masks. Moreover, both the single-stage and two-stage models trained on a multi-dataset setting showed results in pair or even better than other state-of-the-art alternatives, while ranking first in REFUGE for OD/OC segmentation. Finally, we evaluated the models for vCDR prediction in comparison with six ophthalmologists on a subset of AIROGS images, to understand them in the context of inter-observer variability. We noticed that vCDR estimates recovered both from single-stage and coarse-to-fine models can obtain good glaucoma detection results even when they are not highly correlated with manual measurements from experts.


title: Lorentzian metric spaces and their Gromov-Hausdorff convergence

abstract: We present an abstract approach to Lorentzian Gromov-Hausdorff distance and convergence, and an alternative approach to Lorentzian length spaces that does not use auxiliary ``positive signature'' metrics or other unobserved fields. We begin by defining a notion of (abstract) bounded Lorentzian-metric space which is sufficiently general to comprise compact causally convex subsets of globally hyperbolic spacetimes and causets. We define the Gromov-Hausdorff distance and show that two bounded Lorentzian-metric spaces at zero GH distance are indeed both isometric and homeomorphic. Then we show how to define from the Lorentzian distance, beside topology, the causal relation and the causal curves for these spaces, obtaining useful limit curve theorems. Next, we define Lorentzian (length) prelength spaces via suitable (maximal) chronal connectedness properties. These definitions are proved to be stable under GH limits. Furthermore, we define bounds on sectional curvature for our Lorentzian length spaces and prove that they are also stable under GH limits. We conclude with a (pre)compactness theorem.


title: Feature Decoupling in Self-supervised Representation Learning for Open Set Recognition

abstract: Assuming unknown classes could be present during classification, the open set recognition (OSR) task aims to classify an instance into a known class or reject it as unknown. In this paper, we use a two-stage training strategy for the OSR problems. In the first stage, we introduce a self-supervised feature decoupling method that finds the content features of the input samples from the known classes. Specifically, our feature decoupling approach learns a representation that can be split into content features and transformation features. In the second stage, we fine-tune the content features with the class labels. The fine-tuned content features are then used for the OSR problems. Moreover, we consider an unsupervised OSR scenario, where we cluster the content features learned from the first stage. To measure representation quality, we introduce intra-inter ratio (IIR). Our experimental results indicate that our proposed self-supervised approach outperforms others in image and malware OSR problems. Also, our analyses indicate that IIR is correlated with OSR performance.


title: Constrained simulations of the local Universe with Modified Gravity

abstract: We present a methodology for constructing modified gravity (MG) constrained simulations of the local Universe using positions and peculiar velocities from the CosmicFlows data set. Our analysis focuses on the following MG models: the normal branch of the Dvali-Gabadadze-Porrati (nDGP) model and Hu-Sawicki $f(R)$ model. We develop a model independent methodology for constructing constrained simulations with any given power spectra and numerically calculated linear growth functions. Initial conditions (ICs) for a set of constrained simulations are constructed for the standard cosmological model $\Lambda$CDM and the MG models. Differences between the model's reconstructed Wiener filtered density and the resultant simulation density are presented showing the importance for the generation of MG constrained ICs to study the subtle effects of MG in the local Universe. These are the first MG constrained simulations ever produced. The current work paves the way to improved approximate methods for models with scale-dependent growth functions, such as $f(R)$, and for high-resolution hydrodynamical MG zoom-in simulations of the local Universe.


title: Turbulence enhancement of coagulation: the role of eddy diffusion in velocity

abstract: A Smoluchowski type model of coagulation in a turbulent fluid is given, first expressed by means of a stochastic model, then in a suitable scaling limit as a deterministic model with enhanced diffusion in the velocity component. A precise link between mean intensity of the turbulent velocity field and coagulation enhancement is obtained by numerical simulations, and a formula for the mean velocity difference, in agreement with the gas-kinetic model, is proved by a new method.


title: A numerical recipe for the computation of stationary stochastic processes' autocorrelation function

abstract: Many natural phenomena exhibit a stochastic nature that one attempts at modeling by using stochastic processes of different types. In this context, often one is interested in investigating the memory properties of the natural phenomenon at hand. This is usually accomplished by computing the autocorrelation function of the numerical series describing the considered phenomenon. Often, especially when considering real world data, the autocorrelation function must be computed starting from a single numerical series: i.e. with a time-average approach. Hereafter, we will propose a novel way of evaluating the time-average autocorrelation function, based on the preliminary evaluation of the quantity N({\tau},g{\mu},g{\nu}), that, apart from normalization factors, represents a numerical estimate, based on a single realization of the process, of the 2-point joint probability density function P(x2,{\tau};x1,0). The main advantage of the proposed method is that it allows to quantitatively assess what is the error that one makes when numerically evaluating the autocorrelation function due to the fact that any simulated time series is necessarily bounded. In fact, we show that, for a wide class of stochastic processes admitting a nonlinear Langevin equation with white noise and that can be described by using a Fokker-Planck equation, the way the numerical estimate of the autocorrelation function converges to its theoretical prediction depends on the pdf tails. Moreover, the knowledge of N({\tau},g{\mu},g{\nu}) allows to easily compute the process histogram and to characterize processes with multiple timescales. We will show the effectiveness of our new methodology by considering three stochastic processes whose autocorrelation function and two-point probability density function are both known in an analytical or numerical form, thus allowing direct comparisons.


title: Downstream Datasets Make Surprisingly Good Pretraining Corpora

abstract: For most natural language processing tasks, the dominant practice is to finetune large pretrained transformer models (e.g., BERT) using smaller downstream datasets. Despite the success of this approach, it remains unclear to what extent these gains are attributable to the massive background corpora employed for pretraining versus to the pretraining objectives themselves. This paper introduces a large-scale study of self-pretraining, where the same (downstream) training data is used for both pretraining and finetuning. In experiments addressing both ELECTRA and RoBERTa models and 10 distinct downstream classification datasets, we observe that self-pretraining rivals standard pretraining on the BookWiki corpus (despite using around $10\times$--$500\times$ less data), outperforming the latter on $7$ and $5$ datasets, respectively. Surprisingly, these task-specific pretrained models often perform well on other tasks, including the GLUE benchmark. Besides classification tasks, self-pretraining also provides benefits on structured output prediction tasks such as span based question answering and commonsense inference, often providing more than $50\%$ of the performance boosts provided by pretraining on the BookWiki corpus. Our results hint that in many scenarios, performance gains attributable to pretraining are driven primarily by the pretraining objective itself and are not always attributable to the use of external pretraining data in massive amounts. These findings are especially relevant in light of concerns about intellectual property and offensive content in web-scale pretraining data.


title: Neighborhood Gradient Clustering: An Efficient Decentralized Learning Method for Non-IID Data Distributions

abstract: Decentralized learning over distributed datasets can have significantly different data distributions across the agents. The current state-of-the-art decentralized algorithms mostly assume the data distributions to be Independent and Identically Distributed. This paper focuses on improving decentralized learning over non-IID data. We propose \textit{Neighborhood Gradient Clustering (NGC)}, a novel decentralized learning algorithm that modifies the local gradients of each agent using self- and cross-gradient information. Cross-gradients for a pair of neighboring agents are the derivatives of the model parameters of an agent with respect to the dataset of the other agent. In particular, the proposed method replaces the local gradients of the model with the weighted mean of the self-gradients, model-variant cross-gradients (derivatives of the neighbors' parameters with respect to the local dataset), and data-variant cross-gradients (derivatives of the local model with respect to its neighbors' datasets). The data-variant cross-gradients are aggregated through an additional communication round without breaking the privacy constraints. Further, we present \textit{CompNGC}, a compressed version of \textit{NGC} that reduces the communication overhead by $32 \times$. We theoretically analyze the convergence rate of the proposed algorithm and demonstrate its efficiency over non-IID data sampled from {various vision and language} datasets trained. Our experiments demonstrate that \textit{NGC} and \textit{CompNGC} outperform (by $0-6\%$) the existing SoTA decentralized learning algorithm over non-IID data with significantly less compute and memory requirements. Further, our experiments show that the model-variant cross-gradient information available locally at each agent can improve the performance over non-IID data by $1-35\%$ without additional communication cost.


title: The Network Propensity Score: Spillovers, Homophily, and Selection into Treatment

abstract: I establish primitive conditions for unconfoundedness in a coherent model that features heterogeneous treatment effects, spillovers, selection-on-observables, and network formation. I identify average partial effects under minimal exchangeability conditions. If social interactions are also anonymous, I derive a three-dimensional network propensity score, characterize its support conditions, relate it to recent work on network pseudo-metrics, and study extensions. I propose a two-step semiparametric estimator for a random coefficients model which is consistent and asymptotically normal as the number and size of the networks grows. I apply my estimator to a political participation intervention Uganda and a microfinance application in India.


title: Design and CT imaging of Casper, an anthropomorphic breathing thorax phantom

abstract: The goal of this work was to build an anthropomorphic thorax phantom capable of breathing motion with materials mimicking human tissues in x-ray imaging applications. The thorax phantom, named Casper, was composed of resin (body), foam (lungs), glow polyactic acid (bones) and natural polyactic acid (tumours placed in the lungs). X-ray attenuation properties of all materials prior to manufacturing were evaluated by means of photon-counting computed tomography (CT) imaging on a table-top system. Breathing motion was achieved by a scotch-yoke mechanism with diaphragm motion frequencies of 10 - 20 rpm and displacements of 1 to 2 cm. Casper was manufactured by means of 3D printing of moulds and ribs and assembled in a complex process. The final phantom was then scanned using a clinical CT scanner to evaluate material CT numbers and the extent of tumour motion. Casper CT numbers were close to human CT numbers for soft tissue (46 HU), ribs (125 HU), lungs (-840 HU) and tumours (-45 HU). For a 2 cm diaphragm displacement the largest tumour displacement was 0.7 cm. The five tumour volumes were accurately assessed in the static CT images with a mean absolute error of 4.3%. Tumour sizes were either underestimated for smaller tumours or overestimated for larger tumours in dynamic CT images due to motion blurring with a mean absolute difference from true volumes of 10.3%.


title: Cofinality quantifiers in Abstract Elementary Classes and beyond

abstract: The cofinality quantifiers were introduced by Shelah as an example of a compact logic stronger than first-order logic. We show that the classes of models axiomatized by these quantifiers can be turned into an Abstract Elementary Class by restricting to positive and deliberate uses. Rather than using an ad hoc proof, we give a general framework of abstract Skolemization that can prove a wide range of examples are Abstract Elementary Classes.


title: Torsional birefringence in metric-affine Chern-Simons gravity: gravitational waves in late-time cosmology

abstract: In the context of the metric-affine Chern-Simons gravity endowed with projective invariance, we derive analytical solutions for torsion and nonmetricity in the homogeneous and isotropic cosmological case, described by a flat Friedmann-Robertson-Walker metric. We discuss in some details the general properties of the cosmological solutions in the presence of a perfect fluid, such as the dynamical stability and the emergence of big bounce points, and we examine the structure of some specific solutions reproducing de Sitter and power law behaviours for the scale factor. Then, we focus on first-order perturbations in the de Sitter scenario, and we study the propagation of gravitational waves in the adiabatic limit, looking at tensor and scalar polarizations. In particular, we find that metric tensor modes couple to torsion tensor components, leading to the appearance, as in the metric version of Chern-Simons gravity, of birefringence, characterized by different dispersion relations for the left and right circularized polarization states. As a result, the purely tensor part of torsion propagates like a wave, while nonmetricity decouples and behaves like a harmonic oscillator. Finally, we discuss scalar modes, outlining as they decay exponentially in time and do not propagate.


title: The Role of Metadata in Non-Fungible Tokens: Marketplace Analysis and Collection Organization

abstract: An explosion of interest in Non-Fungible Tokens (NFTs) has led to the emergence of vibrant online marketplaces that enable users to buy, sell and create digital assets. Largely considered contractual representations of digital artworks, NFTs allow ownership and authenticity to be proven through storing an asset and its associated metadata on a Blockchain. Yet, variation exists between chains, token protocols (such as the ERC-721 NFT standard) and marketplaces, leading to inconsistencies in the definitions and roles of token metadata. This research thus aims to define metadata in the context of NFTs, explore the boundary of metadata and asset data within tokens, and understand the variances and impacts these structures have on the curation of NFTs within online marketplaces and collections.


title: TESS spots a mini-neptune interior to a hot saturn in the TOI-2000 system

abstract: Hot jupiters (P < 10 d, M > 60 $\mathrm{M}_\oplus$) are almost always found alone around their stars, but four out of hundreds known have inner companion planets. These rare companions allow us to constrain the hot jupiter's formation history by ruling out high-eccentricity tidal migration. Less is known about inner companions to hot Saturn-mass planets. We report here the discovery of the TOI-2000 system, which features a hot Saturn-mass planet with a smaller inner companion. The mini-neptune TOI-2000 b ($2.70 \pm 0.15 \,\mathrm{R}_\oplus$, $11.0 \pm 2.4 \,\mathrm{M}_\oplus$) is in a 3.10-day orbit, and the hot saturn TOI-2000 c ($8.14^{+0.31}_{-0.30} \,\mathrm{R}_\oplus$, $81.7^{+4.7}_{-4.6} \,\mathrm{M}_\oplus$) is in a 9.13-day orbit. Both planets transit their host star TOI-2000 (TIC 371188886, V = 10.98, TESS magnitude = 10.36), a metal-rich ([Fe/H] = $0.439^{+0.041}_{-0.043}$) G dwarf 174 pc away. TESS observed the two planets in sectors 9-11 and 36-38, and we followed up with ground-based photometry, spectroscopy, and speckle imaging. Radial velocities from CHIRON, FEROS, and HARPS allowed us to confirm both planets by direct mass measurement. In addition, we demonstrate constraining planetary and stellar parameters with MIST stellar evolutionary tracks through Hamiltonian Monte Carlo under the PyMC framework, achieving higher sampling efficiency and shorter run time compared to traditional Markov chain Monte Carlo. Having the brightest host star in the V band among similar systems, TOI-2000 b and c are superb candidates for atmospheric characterization by the JWST, which can potentially distinguish whether they formed together or TOI-2000 c swept along material during migration to form TOI-2000 b.


title: Variational Bayes for robust radar single object tracking

abstract: We address object tracking by radar and the robustness of the current state-of-the-art methods to process outliers. The standard tracking algorithms extract detections from radar image space to use it in the filtering stage. Filtering is performed by a Kalman filter, which assumes Gaussian distributed noise. However, this assumption does not account for large modeling errors and results in poor tracking performance during abrupt motions. We take the Gaussian Sum Filter (single-object variant of the Multi Hypothesis Tracker) as our baseline and propose a modification by modelling process noise with a distribution that has heavier tails than a Gaussian. Variational Bayes provides a fast, computationally cheap inference algorithm. Our simulations show that - in the presence of process outliers - the robust tracker outperforms the Gaussian Sum filter when tracking single objects.


title: Testing gravitational wave propagation with multiband detections

abstract: Effective field theories (EFT) of dark energy (DE) -- built to parameterise the properties of DE in an agnostic manner -- are severely constrained by measurements of the propagation speed of gravitational waves (GW). However, GW frequencies probed by ground-based interferometers lie around the typical strong coupling scale of the EFT, and it is likely that the effective description breaks down before even reaching that scale. We discuss how this leaves the possibility that an appropriate ultraviolet completion of DE scenarios, valid at scales beyond an EFT description, can avoid present constraints on the GW speed. Instead, additional constraints in the lower frequency LISA band would be harder to escape, since the energies involved are orders of magnitude lower. By implementing a method based on GW multiband detections, we show indeed that a single joint observation of a GW150914-like event by LISA and a terrestrial interferometer would allow one to constrain the speed of light and gravitons to match to within $10^{-15}$. Multiband GW observations can therefore firmly constrain scenarios based on the EFT of DE, in a robust and unambiguous way.


title: FIRE: A Failure-Adaptive Reinforcement Learning Framework for Edge Computing Migrations

abstract: In edge computing, users' service profiles are migrated due to user mobility. Reinforcement learning (RL) frameworks have been proposed to do so, often trained on simulated data. However, existing RL frameworks overlook occasional server failures, which although rare, impact latency-sensitive applications like autonomous driving and real-time obstacle detection. Nevertheless, these failures (rare events), being not adequately represented in historical training data, pose a challenge for data-driven RL algorithms. As it is impractical to adjust failure frequency in real-world applications for training, we introduce FIRE, a framework that adapts to rare events by training a RL policy in an edge computing digital twin environment. We propose ImRE, an importance sampling-based Q-learning algorithm, which samples rare events proportionally to their impact on the value function. FIRE considers delay, migration, failure, and backup placement costs across individual and shared service profiles. We prove ImRE's boundedness and convergence to optimality. Next, we introduce novel deep Q-learning (ImDQL) and actor critic (ImACRE) versions of our algorithm to enhance scalability. We extend our framework to accommodate users with varying risk tolerances. Through trace driven experiments, we show that FIRE reduces costs compared to vanilla RL and the greedy baseline in the event of failures.


title: Searching for an Enhanced Signal of the onset of Color Transparency in Baryons with D(e,e'p)n scattering

abstract: Observation of the onset of color transparency in baryons would provide a new means of studying the nuclear strong force and would be the first clear evidence of baryons transforming into a color-neutral point-like size in the nucleus as predicted by quantum chromodynamics. Recent C$(e,e'p)$ results from electron-scattering did not observe the onset of color transparency (CT) in protons up to spacelike four-momentum transfers squared, $Q^2=14.2$ GeV$^2$. The traditional methods of searching for CT in $(e,e'p)$ scattering use heavy targets favoring kinematics with already initially reduced final state interactions (FSIs) such that any CT effect that further reduces FSIs will be small. The reasoning behind this choice is the difficulty in accounting for all FSIs. D$(e,e'p)n$, on the other hand, has well-understood FSI contributions from double scattering with a known dependence on the kinematics and can show an increased sensitivity to hadrons in point-like configurations. Double scattering is the square of the re-scattering amplitude in which the knocked-out nucleon interacts with the spectator nucleon, a process that is suppressed in the presence of point-like configurations and is particularly well-studied for the deuteron. This suppression yields a quadratic sensitivity to CT effects and is strongly dependent on the choice of kinematics. Here, we describe a possible JLab electron-scattering experiment that utilizes these kinematics and explores the potential signal for the onset of CT with enhanced sensitivity as compared to recent experiments.


title: Shortest Beer Path Queries in Interval Graphs

abstract: Our interest is in paths between pairs of vertices that go through at least one of a subset of the vertices known as beer vertices. Such a path is called a beer path, and the beer distance between two vertices is the length of the shortest beer path. We show that we can represent unweighted interval graphs using $2n \log n + O(n) + O(|B|\log n)$ bits where $|B|$ is the number of beer vertices. This data structure answers beer distance queries in $O(\log^\varepsilon n)$ time for any constant $\varepsilon > 0$ and shortest beer path queries in $O(\log^\varepsilon n + d)$ time, where $d$ is the beer distance between the two nodes. We also show that proper interval graphs may be represented using $3n + o(n)$ bits to support beer distance queries in $O(f(n)\log n)$ time for any $f(n) \in \omega(1)$ and shortest beer path queries in $O(d)$ time. All of these results also have time-space trade-offs. Lastly we show that the information theoretic lower bound for beer proper interval graphs is very close to the space of our structure, namely $\log(4+2\sqrt{3})n - o(n)$ (or about $ 2.9 n$) bits.


title: L2XGNN: Learning to Explain Graph Neural Networks

abstract: Graph Neural Networks (GNNs) are a popular class of machine learning models. Inspired by the learning to explain (L2X) paradigm, we propose L2XGNN, a framework for explainable GNNs which provides faithful explanations by design. L2XGNN learns a mechanism for selecting explanatory subgraphs (motifs) which are exclusively used in the GNNs message-passing operations. L2XGNN is able to select, for each input graph, a subgraph with specific properties such as being sparse and connected. Imposing such constraints on the motifs often leads to more interpretable and effective explanations. Experiments on several datasets suggest that L2XGNN achieves the same classification accuracy as baseline methods using the entire input graph while ensuring that only the provided explanations are used to make predictions. Moreover, we show that L2XGNN is able to identify motifs responsible for the graph's properties it is intended to predict.


title: A novel Machine-Learning method for spin classification of neutron resonances

abstract: The performance of nuclear reactors and other nuclear systems depends on a precise understanding of the neutron interaction cross sections for materials used in these systems. These cross sections exhibit resonant structure whose shape is determined in part by the angular momentum quantum numbers of the resonances. The correct assignment of the quantum numbers of neutron resonances is, therefore, paramount. In this project, we apply machine learning to automate the quantum number assignments using only the resonances' energies and widths and not relying on detailed transmission or capture measurements. The classifier used for quantum number assignment is trained using stochastically generated resonance sequences whose distributions mimic those of real data. We explore the use of several physics-motivated features for training our classifier. These features amount to out-of-distribution tests of a given resonance's widths and resonance-pair spacings. We pay special attention to situations where either capture widths cannot be trusted for classification purposes or where there is insufficient information to classify resonances by the total spin $J$. We demonstrate the efficacy of our classification approach using simulated and actual $^{52}$Cr resonance data.


title: SM extension with a gauged flavor $U(1)_F$ symmetry

abstract: An extension of the Standard Model with anomaly free $U(1)_F$ flavor symmetry is studied in this paper. With this extension and the addition of the right-handed neutrino states, the solution of anomaly free charge assignments is found, which gives appealing texture zero and hierarchical Yukawa matrices. This gives us a natural understanding of the hierarchies between charged fermion masses and Cabibbo-Kobayashi-Maskawa (CKM) matrix elements. Neutrino Dirac and Majorana coupling matrices also have desirable structures leading to successful neutrino oscillations with inverted neutrino mass ordering. Other interesting implications of the presented scenario are also discussed.


title: Exploring the role of parameters in variational quantum algorithms

abstract: In this work, we introduce a quantum-control-inspired method for the characterization of variational quantum circuits using the rank of the dynamical Lie algebra associated with the hermitian generator(s) of the individual layers. Layer-based architectures in variational algorithms for the calculation of ground-state energies of physical systems are taken as the focus of this exploration. A promising connection is found between the Lie rank, the accuracy of calculated energies, and the requisite depth to attain target states via a given circuit architecture, even when using a lot of parameters which is appreciably below the number of separate terms in the generators. As the cost of calculating the dynamical Lie rank via an iterative process grows exponentially with the number of qubits in the circuit and therefore becomes prohibitive quickly, reliable approximations thereto are desirable. The rapidity of the increase of the dynamical Lie rank in the first few iterations of the calculation is found to be a viable (lower bound) proxy for the full calculation, balancing accuracy and computational expense. We, therefore, propose the dynamical Lie rank and proxies thereof as a useful design metric for layer-structured quantum circuits in variational algorithms.


title: Biological connectomes as a representation for the architecture of artificial neural networks

abstract: Grand efforts in neuroscience are working toward mapping the connectomes of many new species, including the near completion of the Drosophila melanogaster. It is important to ask whether these models could benefit artificial intelligence. In this work we ask two fundamental questions: (1) where and when biological connectomes can provide use in machine learning, (2) which design principles are necessary for extracting a good representation of the connectome. Toward this end, we translate the motor circuit of the C. Elegans nematode into artificial neural networks at varying levels of biophysical realism and evaluate the outcome of training these networks on motor and non-motor behavioral tasks. We demonstrate that biophysical realism need not be upheld to attain the advantages of using biological circuits. We also establish that, even if the exact wiring diagram is not retained, the architectural statistics provide a valuable prior. Finally, we show that while the C. Elegans locomotion circuit provides a powerful inductive bias on locomotion problems, its structure may hinder performance on tasks unrelated to locomotion such as visual classification problems.


title: Rydberg state engineering: A comparison of tuning schemes for continuous frequency sensing

abstract: On-resonance Rydberg atom-based radio-frequency (RF) electric field sensing methods remain limited by the narrow frequency signal detection bands available by resonant transitions. The use of an additional RF tuner field to dress or shift a target Rydberg state can be used to return a detuned signal field to resonance and thus dramatically extend the frequency range available for resonant sensing. Here we investigate three distinct tuning level schemes based on adjacent Rydberg transitions, which are shown to have distinct characteristics and can be controlled with mechanisms based on the tuning field frequency or field strength. We further show that a two-photon Raman feature can be used as an effective tuning mechanism separate from conventional Autler-Townes splitting. We compare our tuning schemes to AC Stark effect-based broadband RF field sensing and show that although the sensitivity is diminished as we tune away from a resonant state, it nevertheless can be used in configurations where there is a low density of Rydberg states, which would result in a weak AC Stark effect.


title: RALACs: Action Recognition in Autonomous Vehicles using Interaction Encoding and Optical Flow

abstract: When applied to autonomous vehicle (AV) settings, action recognition can enhance an environment model's situational awareness. This is especially prevalent in scenarios where traditional geometric descriptions and heuristics in AVs are insufficient. However, action recognition has traditionally been studied for humans, and its limited adaptability to noisy, un-clipped, un-pampered, raw RGB data has limited its application in other fields. To push for the advancement and adoption of action recognition into AVs, this work proposes a novel two-stage action recognition system, termed RALACs. RALACs formulates the problem of action recognition for road scenes, and bridges the gap between it and the established field of human action recognition. This work shows how attention layers can be useful for encoding the relations across agents, and stresses how such a scheme can be class-agnostic. Furthermore, to address the dynamic nature of agents on the road, RALACs constructs a novel approach to adapting Region of Interest (ROI) Alignment to agent tracks for downstream action classification. Finally, our scheme also considers the problem of active agent detection, and utilizes a novel application of fusing optical flow maps to discern relevant agents in a road scene. We show that our proposed scheme can outperform the baseline on the ICCV2021 Road Challenge dataset and by deploying it on a real vehicle platform, we provide preliminary insight to the usefulness of action recognition in decision making.


title: Applying Machine Learning for Duplicate Detection, Throttling and Prioritization of Equipment Commissioning Audits at Fulfillment Network

abstract: VQ (Vendor Qualification) and IOQ (Installation and Operation Qualification) audits are implemented in warehouses to ensure all equipment being turned over in the fulfillment network meets the quality standards. Audit checks are likely to be skipped if there are many checks to be performed in a short time. In addition, exploratory data analysis reveals several instances of similar checks being performed on the same assets and thus, duplicating the effort. In this work, Natural Language Processing and Machine Learning are applied to trim a large checklist dataset for a network of warehouses by identifying similarities and duplicates, and predict the non-critical ones with a high passing rate. The study proposes ML classifiers to identify checks which have a high passing probability of IOQ and VQ and assign priorities to checks to be prioritized when the time is not available to perform all checks. This research proposes using NLP-based BlazingText classifier to throttle the checklists with a high passing rate, which can reduce 10%-37% of the checks and achieve significant cost reduction. The applied algorithm over performs Random Forest and Neural Network classifiers and achieves an area under the curve of 90%. Because of imbalanced data, down-sampling and upweighting have shown a positive impact on the models' accuracy using F1 score, which improve from 8% to 75%. In addition, the proposed duplicate detection process identifies 17% possible redundant checks to be trimmed.


title: Towards measuring supermassive black hole masses with interferometric observations of the dust continuum

abstract: This work focuses on active galactic nuclei (AGNs), and the relation between the sizes of the hot dust continuum and the broad-line region (BLR). We find that the continuum size measured using optical/near-infrared interferometry (OI) is roughly twice that measured by reverberation mapping (RM). Both OI and RM continuum sizes show a tight relation with the H$\beta$ BLR size with only an intrinsic scatter of 0.25 dex. The masses of supermassive black holes (BHs) can hence be simply derived from a dust size in combination with a broad line width and virial factor. Since the primary uncertainty of these BH masses comes from the virial factor, the accuracy of the continuum-based BH masses is close to those based on the RM measurement of the broad emission line. Moreover, the necessary continuum measurements can be obtained on a much shorter timescale than those required monitoring for RM, and are also more time efficient than those needed to resolve the BLR with OI. The primary goal of this work is to demonstrate measuring the BH mass based on the dust continuum size with our first calibration of the $R_\mathrm{BLR}$-$R_\mathrm{d}$ relation. The current limitation and caveats are discussed in detail. Future GRAVITY observations are expected to improve the continuum-based method and have the potential to measure BH masses for a large sample of AGNs in the low-redshift Universe.


title: HJB equations and stochastic control on half-spaces of Hilbert spaces

abstract: In this paper we study a first extension of the theory of mild solutions for HJB equations in Hilbert spaces to the case when the domain is not the whole space. More precisely, we consider a half-space as domain, and a semilinear Hamilton-Jacobi-Bellman (HJB) equation. Our main goal is to establish the existence and the uniqueness of solutions to such HJB equations, that are continuously differentiable in the space variable. We also provide an application of our results to an exit time optimal control problem and we show that the corresponding value function is the unique solution to a semilinear HJB equation, possessing sufficient regularity to express the optimal control in feedback form. Finally, we give an illustrative example.


title: Persistent Enhancement of Exciton Diffusivity in CsPbBr3 Nanocrystal Solids

abstract: In semiconductors, exciton or charge carrier diffusivity is typically described as an inherent material property. Here, we show that the transport of excitons (i.e., bound electron-hole pairs) in CsPbBr3 perovskite nanocrystals (NCs) depends markedly on how recently those NCs were occupied by a previous exciton. Using fluence- and repetition-rate-dependent transient photoluminescence microscopy, we visualize the effect of excitation frequency on exciton transport in CsPbBr3 NC solids. Surprisingly, we observe a striking dependence of the apparent exciton diffusivity on excitation laser power that does not arise from nonlinear exciton-exciton interactions nor from thermal heating of the sample. We interpret our observations with a model in which excitons cause NCs to undergo a transition to a metastable configuration that admits faster exciton transport by roughly an order of magnitude. This metastable configuration persists for ~microseconds at room temperature, and does not depend on the identity of surface ligands or presence of an oxide shell, suggesting that it is an intrinsic response of the perovskite lattice to electronic excitation. The exciton diffusivity observed here (>0.15 cm2/s) is considerably higher than that observed in other NC systems on similar timescales, revealing unusually strong excitonic coupling in a NC material. The finding of a persistent enhancement in excitonic coupling between NCs may help explain other extraordinary photophysical behaviors observed in CsPbBr3 NC arrays, such as superfluorescence. Additionally, faster exciton diffusivity under higher photoexcitation intensity is likely to provide practical insights for optoelectronic device engineering.


title: Masked Multi-Step Multivariate Time Series Forecasting with Future Information

abstract: In this paper, we introduce Masked Multi-Step Multivariate Forecasting (MMMF), a novel and general self-supervised learning framework for time series forecasting with known future information. In many real-world forecasting scenarios, some future information is known, e.g., the weather information when making a short-to-mid-term electricity demand forecast, or the oil price forecasts when making an airplane departure forecast. Existing machine learning forecasting frameworks can be categorized into (1) sample-based approaches where each forecast is made independently, and (2) time series regression approaches where the future information is not fully incorporated. To overcome the limitations of existing approaches, we propose MMMF, a framework to train any neural network model capable of generating a sequence of outputs, that combines both the temporal information from the past and the known information about the future to make better predictions. Experiments are performed on two real-world datasets for (1) mid-term electricity demand forecasting, and (2) two-month ahead flight departures forecasting. They show that the proposed MMMF framework outperforms not only sample-based methods but also existing time series forecasting models with the exact same base models. Furthermore, once a neural network model is trained with MMMF, its inference speed is similar to that of the same model trained with traditional regression formulations, thus making MMMF a better alternative to existing regression-trained time series forecasting models if there is some available future information.


title: Optimistic Posterior Sampling for Reinforcement Learning with Few Samples and Tight Guarantees

abstract: We consider reinforcement learning in an environment modeled by an episodic, finite, stage-dependent Markov decision process of horizon $H$ with $S$ states, and $A$ actions. The performance of an agent is measured by the regret after interacting with the environment for $T$ episodes. We propose an optimistic posterior sampling algorithm for reinforcement learning (OPSRL), a simple variant of posterior sampling that only needs a number of posterior samples logarithmic in $H$, $S$, $A$, and $T$ per state-action pair. For OPSRL we guarantee a high-probability regret bound of order at most $\widetilde{\mathcal{O}}(\sqrt{H^3SAT})$ ignoring $\text{poly}\log(HSAT)$ terms. The key novel technical ingredient is a new sharp anti-concentration inequality for linear forms which may be of independent interest. Specifically, we extend the normal approximation-based lower bound for Beta distributions by Alfers and Dinges [1984] to Dirichlet distributions. Our bound matches the lower bound of order $\Omega(\sqrt{H^3SAT})$, thereby answering the open problems raised by Agrawal and Jia [2017b] for the episodic setting.


title: Improving Text-to-SQL Semantic Parsing with Fine-grained Query Understanding

abstract: Most recent research on Text-to-SQL semantic parsing relies on either parser itself or simple heuristic based approach to understand natural language query (NLQ). When synthesizing a SQL query, there is no explicit semantic information of NLQ available to the parser which leads to undesirable generalization performance. In addition, without lexical-level fine-grained query understanding, linking between query and database can only rely on fuzzy string match which leads to suboptimal performance in real applications. In view of this, in this paper we present a general-purpose, modular neural semantic parsing framework that is based on token-level fine-grained query understanding. Our framework consists of three modules: named entity recognizer (NER), neural entity linker (NEL) and neural semantic parser (NSP). By jointly modeling query and database, NER model analyzes user intents and identifies entities in the query. NEL model links typed entities to schema and cell values in database. Parser model leverages available semantic information and linking results and synthesizes tree-structured SQL queries based on dynamically generated grammar. Experiments on SQUALL, a newly released semantic parsing dataset, show that we can achieve 56.8% execution accuracy on WikiTableQuestions (WTQ) test set, which outperforms the state-of-the-art model by 2.7%.


title: On Bethe eigenvectors and higher transfer matrices for supersymmetric spin chains

abstract: We study the $\mathfrak{gl}_{m|n}$ XXX spin chains defined on tensor products of highest $\mathfrak{gl}_{m|n}$-modules. We show that the on-shell Bethe vectors are eigenvectors of higher transfer matrices and compute the corresponding eigenvalues, confirming Conjecture 5.15 of arXiv:2007.15573 and extending the main results of arXiv:0605015 to supersymmetric case. We then take the classical limits and obtain the corresponding results for the $\mathfrak{gl}_{m|n}$ Gaudin models.


title: Multi-Robot Coordination and Cooperation with Task Precedence Relationships

abstract: We propose a new formulation for the multi-robot task planning and allocation problem that incorporates (a) precedence relationships between tasks; (b) coordination for tasks allowing multiple robots to achieve increased efficiency; and (c) cooperation through the formation of robot coalitions for tasks that cannot be performed by individual robots alone. In our formulation, the tasks and the relationships between the tasks are specified by a task graph. We define a set of reward functions over the task graph's nodes and edges. These functions model the effect of robot coalition size on the task performance, and incorporate the influence of one task's performance on a dependent task. Solving this problem optimally is NP-hard. However, using the task graph formulation allows us to leverage min-cost network flow approaches to obtain approximate solutions efficiently. Additionally, we explore a mixed integer programming approach, which gives optimal solutions for small instances of the problem but is computationally expensive. We also develop a greedy heuristic algorithm as a baseline. Our modeling and solution approaches result in task plans that leverage task precedence relationships and robot coordination and cooperation to achieve high mission performance, even in large missions with many agents.


title: The method of the energy function and applications

abstract: In this work, we establish a new method to find critical points of differentiable functionals defined in Banach spaces which belong to a suitable class ($\mathcal{J}$) of functionals. Once given a functional $J$ in the class ($\mathcal{J}$), the central idea of the referred method consists in defining a real function $\zeta$ of a real variable, called {\it energy function}, which is naturally associated to $J$ in the sense that the existence of real critical points for $\zeta$ guarantees the existence of critical points for the functional $J$. As a consequence, we are able to solve some variational elliptic problems, whose associated energy functional belongs to ($\mathcal{J}$) and provide a version of the mountain pass theorem for functionals in the class ($\mathcal{J}$) that allows us to obtain mountain pass solutions without the so-called Ambrosetti-Rabinowitz condition.


title: Category-Level Global Camera Pose Estimation with Multi-Hypothesis Point Cloud Correspondences

abstract: Correspondence search is an essential step in rigid point cloud registration algorithms. Most methods maintain a single correspondence at each step and gradually remove wrong correspondances. However, building one-to-one correspondence with hard assignments is extremely difficult, especially when matching two point clouds with many locally similar features. This paper proposes an optimization method that retains all possible correspondences for each keypoint when matching a partial point cloud to a complete point cloud. These uncertain correspondences are then gradually updated with the estimated rigid transformation by considering the matching cost. Moreover, we propose a new point feature descriptor that measures the similarity between local point cloud regions. Extensive experiments show that our method outperforms the state-of-the-art (SoTA) methods even when matching different objects within the same category. Notably, our method outperforms the SoTA methods when registering real-world noisy depth images to a template shape by up to 20% performance.


title: Charge quenching at defect states in transition metal dichalcogenide-graphene van der Waals heterobilayers

abstract: We study the dynamical properties of point-like defects, represented by monoatomic chalcogen vacancies, in WS$_2$-graphene and MoS$_2$-graphene heterobilayers. Employing a multidisciplinary approach based on the combination of ab initio, model Hamiltonian and density matrix techniques, we propose a minimal interacting model that allows for the calculation of electronic transition times associated to population and depopulation of the vacancy by an additional electron. We obtain the "coarse-grained" semiclassical dynamics by means of a master equation approach and discuss the potential role of virtual charge fluctuations in the internal dynamics of impurity quasi-degenerate states. The interplay between the symmetry of the lattice and the spin degree of freedom through the spin-orbit interaction and its impact on charge quenching is studied in detail.