title: SEEMS: A Single Event Effects and Muon Spectroscopy facility at the Spallation Neutron Source

abstract: This manuscript outlines a concept that would leverage the existing proton accelerator at the Spallation Neutron Source of Oak Ridge National Laboratory to enable transformative science via one world-class facility serving two missions: Single Event Effects (SEE) and Muon Spectroscopy ($\mu$SR). The $\mu$SR portion would deliver the world's highest flux and highest resolution pulsed muon beams for materials characterization purposes, with precision and capabilities well beyond comparable facilities. The SEE capabilities deliver neutron, proton and muon beams for aerospace industries that are facing an impending challenge to certify equipment for safe and reliable behavior under bombardment from atmospheric radiation originating from cosmic and solar rays. With negligible impact on the primary neutron scattering mission of the SNS, the proposed facility will have enormous benefit for science and industry alike. We have designated this facility 'SEEMS'.


title: Two-loop matching of the chromo-magnetic dipole operator with the gradient flow

abstract: The chromo-magnetic dipole operator is expressed in terms of operators at finite flow time in the gradient-flow formalism. The matching coefficients are evaluated through next-to-next-to-leading order QCD.


title: What to Read in a Contract? Party-Specific Summarization of Legal Obligations, Entitlements, and Prohibitions

abstract: Reviewing and comprehending key obligations, entitlements, and prohibitions in legal contracts can be a tedious task due to their length and domain-specificity. Furthermore, the key rights and duties requiring review vary for each contracting party. In this work, we propose a new task of party-specific extractive summarization for legal contracts to facilitate faster reviewing and improved comprehension of rights and duties. To facilitate this, we curate a dataset comprising of party-specific pairwise importance comparisons annotated by legal experts, covering ~293K sentence pairs that include obligations, entitlements, and prohibitions extracted from lease agreements. Using this dataset, we train a pairwise importance ranker and propose a pipeline-based extractive summarization system that generates a party-specific contract summary. We establish the need for incorporating domain-specific notion of importance during summarization by comparing our system against various baselines using both automatic and human evaluation methods


title: Fixed and adaptive landmark sets for finite pseudometric spaces

abstract: Topological data analysis (TDA) is an expanding field that leverages principles and tools from algebraic topology to quantify structural features of data sets or transform them into more manageable forms. As its theoretical foundations have been developed, TDA has shown promise in extracting useful information from high-dimensional, noisy, and complex data such as those used in biomedicine. To improve efficiency, these techniques may employ landmark samplers. The heuristic maxmin procedure obtains a roughly even distribution of sample points by implicitly constructing a cover comprising sets of uniform radius. However, issues arise with data that vary in density or include points with multiplicities, as are common in biomedicine. We propose an analogous procedure, "lastfirst" based on ranked distances, which implies a cover comprising sets of uniform cardinality. We first rigorously define the procedure and prove that it obtains landmarks with desired properties. We then perform benchmark tests and compare its performance to that of maxmin, on feature detection and class prediction tasks involving simulated and real-world biomedical data. Lastfirst is more general than maxmin in that it can be applied to any data on which arbitrary (and not necessarily symmetric) pairwise distances can be computed. Lastfirst is more computationally costly, but our implementation scales at the same rate as maxmin. We find that lastfirst achieves comparable performance on prediction tasks and outperforms maxmin on homology detection tasks. Where the numerical values of similarity measures are not meaningful, as in many biomedical contexts, lastfirst sampling may also improve interpretability.


title: Current induction and macroscopic forces for superconducting strings

abstract: Vortons are extended superconducting rings, which hypothetically may play a role in cosmology and even may have significance in connection with cosmic rays of high energy. Some of these objects are able to confine fermions which consequently become massless in the core of the object \cite{witten}, \cite{vorton3}. These fermions travel at light speed in the core and may generate a large current without dissipation. This raises interest about the generation mechanisms for these currents inside the defect. This question is analyzed here by studying the inverse photoelectric effect for these objects namely, the absorption of a fermion with the consequent emission of a photon or a massive boson by the extended defect. Another motivation for the present work is that there exists a discussion in condensed matter about the role of the bound spectrum in the macroscopic Magnus force that the vortex experiences in certain type of superfluids or superconductors. The discussion is about wether the main force comes from scattering of these fermions by the object or by the effect of the environment on the bound states in the object, which may induce a spectral flow leading to an effective macroscopic force \cite{pelea1}, \cite{pelea2}, \cite{pelea3}. Without claiming that the results described here are conclusive in the context of condensed matter, this work presents a comparison between these two effects for vortons interacting with a plasma of fermions.


title: Two first-order phase transitions in hybrid compact stars: higher-order multiplet stars, reaction modes and intermediate conversion speeds

abstract: We study compact stars with hybrid equations of state consisting of a nuclear outer region and two nested quark phases, each separated from the lower density phase by a strong first-order phase transition. The stability of these models is determined by calculating their radial oscillation modes with different conversion rates between adjacent phases and hence junction conditions for the modes at the phase separation interface between them. In the case when the timescale of transition is faster than the period of oscillations, we recover the traditional stability criterion implying that $\partial M/\partial\rho_c>0$ on the stable branch(es), where $M$ is the mass and $\rho_c$ is the central density. In the opposite limit of slow conversion, we find stable stellar multiplets beyond triplets consisting of stars that are stable by the usual criterion plus slow-conversion (denoted by $s$) hybrid stars with $\partial M/\partial\rho_c<0$ that are stabilized due to an alternative junction condition on the fluid displacement field at the interface reflecting the slow rate of conversion. We also study the properties of the reaction mode, the radial mode that only exists for stars with rapid (abbreviated by $r$) phase transitions, in stars with either two rapid phase transitions or alternating rapid and slow phase transitions for the first time. The implications of alternative junction conditions are also examined, with these conditions generally being found to provide stability properties similar to those for a slow conversion rate.


title: A scenario for AdS${}_2$ and dS${}_2$ emergence from quantum fluctuations

abstract: Spacetime emergence from entanglement has long been presumed to be holographic, with emergence from quantum interactions in a boundary theory. Since that setup is difficult to extend to general spacetimes, it is imperative to understand the key aspects of the map from entanglement to spacetime. We consider a scenario for spacetime emergence from quantum interactions directly in the spacetime, where the effective spacetime theory emerges from interactions similar to how fluid dynamics arises from molecule interactions. We show that this ansatz constitutes a working scenario for spacetime emergence in 2D, with explicit examples for AdS and dS spacetimes. Importantly, by basing the emergence on interactions between quantum fluctuations that are present in the spacetime, key aspects of the dynamics observed in gauge/gravity duality analyses can be retained, at the same time as the quantisation can be applied to general spacetimes.


title: Scaling behavior of observables as a model characteristic in multifield inflation

abstract: One of the fundamental questions in inflation is how to characterize the structure of different types of models in the field theoretic landscape. Proposals in this direction include attempts to directly characterize the formal structure of the theory by considering complexity measures of the potentials. An alternative intrinsic approach is to focus on the behavior of the observables that result from different models and to ask whether their behavior differs among models. This type of analysis can be applied even to nontrivial multifield theories where a natural measure of the complexity of the model is not obvious and the analytical evaluation of the observables is often impossible. In such cases one may still compute these observables numerically and investigate their behavior. One interesting case is when observables show a scaling behavior, in which case theories can be characterized in terms of their scaling amplitudes and exponents. Generically, models have nontrivial parameter spaces, leading to exponents that are functions of these parameters. In such cases we consider an iterative procedure to determine whether the exponent functions in turn lead to a scaling behavior. We show that modular inflation models can be characterized by families of simple scaling laws and that the scaling exponents that arise in this way in turn show a scaling law in dependence of these varying energy scales.


title: Detecting causal covariates for extreme dependence structures

abstract: Determining the causes of extreme events is a fundamental question in many scientific fields. An important aspect when modelling multivariate extremes is the tail dependence. In application, the extreme dependence structure may significantly depend on covariates. As for the general case of modelling including covariates, only some of the covariates are causal. In this paper, we propose a methodology to discover the causal covariates explaining the tail dependence structure between two variables. The proposed methodology for discovering causal variables is based on comparing observations from different environments or perturbations. It is a desired methodology for predicting extremal behaviour in a new, unobserved environment. The methodology is applied to a dataset of $\text{NO}_2$ concentration in the UK. Extreme $\text{NO}_2$ levels can cause severe health problems, and understanding the behaviour of concurrent severe levels is an important question. We focus on revealing causal predictors for the dependence between extreme $\text{NO}_2$ observations at different sites.


title: Denoising instrumented mouthguard measurements of head impact kinematics with a convolutional neural network

abstract: Wearable sensors for measuring head kinematics can be noisy due to imperfect interfaces with the body. Mouthguards are used to measure head kinematics during impacts in traumatic brain injury (TBI) studies, but deviations from reference kinematics can still occur due to potential looseness. In this study, deep learning is used to compensate for the imperfect interface and improve measurement accuracy. A set of one-dimensional convolutional neural network (1D-CNN) models was developed to denoise mouthguard kinematics measurements along three spatial axes of linear acceleration and angular velocity. The denoised kinematics had significantly reduced errors compared to reference kinematics, and reduced errors in brain injury criteria and tissue strain and strain rate calculated via finite element modeling. The 1D-CNN models were also tested on an on-field dataset of college football impacts and a post-mortem human subject dataset, with similar denoising effects observed. The models can be used to improve detection of head impacts and TBI risk evaluation, and potentially extended to other sensors measuring kinematics.


title: Direct covariance matrix estimation with compositional data

abstract: Compositional data arise in many areas of research in the natural and biomedical sciences. One prominent example is in the study of the human gut microbiome, where one can measure the relative abundance of many distinct microorganisms in a subject's gut. Often, practitioners are interested in learning how the dependencies between microbes vary across distinct populations or experimental conditions. In statistical terms, the goal is to estimate a covariance matrix for the (latent) log-abundances of the microbes in each of the populations. However, the compositional nature of the data prevents the use of standard estimators for these covariance matrices. In this article, we propose an estimator of multiple covariance matrices which allows for information sharing across distinct populations of samples. Compared to some existing estimators, which estimate the covariance matrices of interest indirectly, our estimator is direct, ensures positive definiteness, and is the solution to a convex optimization problem. We compute our estimator using a proximal-proximal gradient descent algorithm. Asymptotic properties of our estimator reveal that it can perform well in high-dimensional settings. Through simulation studies, we demonstrate that our estimator can outperform existing estimators. We show that our method provides more reliable estimates than competitors in an analysis of microbiome data from subjects with chronic fatigue syndrome.


title: Electronic structures near unmovable nodal points and lines in two-dimensional materials

abstract: Unmovable nodal points (UNP) and lines (UNL) are band crossings which positions in the Brillouin zone are unaltered by symmetry preserving perturbations. Not only positions but also the band structure in the vicinity is determined by the little group of a wave vector and it's irreducible (co)representations. In this paper we give the full set of electronic dispersions near all UNPs and UNLs in non-magnetic, quasi two-dimensional (2D) materials both with and without spin-orbit coupling (SOC). Analysis of all layer gray single and double groups gives nineteen different quasiparticles, great majority of which are unavoidable for a 2D material which belongs to certain layer groups. These include Weyl and Dirac nodal lines, dispersions with quadratic or cubic splitting, anisotropic Weyl and Dirac cones which orientation can be varied by e.g. strain etc. We indicated qusiparticles that are robust to SOC. For convenience, our results are concisely presented graphically - as a map, not in a tabular, encyclopedia form. They may be of use as checkpoints or for fitting of experimentally (via e.g. ARPES) and numerically obtained electronic band structures as well as for deeper theoretical investigations.


title: A non-constructive proof of the Four Colour Theorem

abstract: The approach is through a singularity analysis of generating functions for 3- and 4-connected triangulations, asymptotic analysis, properties of the ${{}_3F_2}$ hypergeometric series, and Tutte's enumerative work on planar maps and chromatic polynomials.


title: Intermittent relaxation and avalanches in extremely persistent active matter

abstract: We use numerical simulations to study the dynamics of dense assemblies of self-propelled particles in the limit of extremely large, but finite, persistence times. In this limit, the system evolves intermittently between mechanical equilibria where active forces balance interparticle interactions. We develop an efficient numerical strategy allowing us to resolve the statistical properties of elastic and plastic relaxation events caused by activity-driven fluctuations. The system relaxes via a succession of scale-free elastic events and broadly distributed plastic events that both depend on the system size. Correlations between plastic events lead to emergent dynamic facilitation and heterogeneous relaxation dynamics. Our results show that dynamical behaviour in extremely persistent active systems is qualitatively similar to that of sheared amorphous solids, yet with some important differences.


title: Lower bounds for self-adjoint Sturm-Liouville operators

abstract: In this note we provide estimates for the lower bound of the self-adjoint operator associated with the three-coefficient Sturm-Liouville differential expression $$ \frac{1}{r} \left(-\frac{\mathrm d}{\mathrm dx} p \frac{\mathrm d}{\mathrm dx} + q\right) $$ in the weighted $L^2$-Hilbert space $L^2(\mathbb R; rdx)$.


title: Two-species chemotaxis-competition system with singular sensitivity: Global existence, boundedness, and persistence

abstract: This paper is concerned with the following parabolic-parabolic-elliptic chemotaxis system with singular sensitivity and Lotka-Volterra competitive kinetics, \begin{equation} \begin{cases} u_t=\Delta u-\chi_1 \nabla\cdot (\frac{u}{w} \nabla w)+u(a_1-b_1u-c_1v) ,\quad &x\in \Omega\cr v_t=\Delta v-\chi_2 \nabla\cdot (\frac{v}{w} \nabla w)+v(a_2-b_2v-c_2u),\quad &x\in \Omega\cr 0=\Delta w-\mu w +\nu u+ \lambda v,\quad &x\in \Omega \cr \frac{\partial u}{\partial n}=\frac{\partial v}{\partial n}=\frac{\partial w}{\partial n}=0,\quad &x\in\partial\Omega, \end{cases} \end{equation} where $\Omega \subset \mathbb{R}^N$ is a bounded smooth domain, and $\chi_i$, $a_i$, $b_i$, $ c_i$ ($i=1,2$) and $\mu,\, \nu, \, \lambda$ are positive constants. This is the first work on two-species chemotaxis-competition system with singular sensitivity and Lotka-Volterra competitive kinetics. Among others, we prove that for any given nonnegative initial data $u_0,v_0\in C^0(\bar\Omega)$ with $u_0+v_0\not \equiv 0$, (0.1) has a unique globally defined classical solution $(u(t,x;u_0,v_0),v(t,x;u_0,v_0),w(t,x;u_0,v_0))$ with $u(0,x;u_0,v_0)=u_0(x)$ and $v(0,x;u_0,v_0)=v_0(x)$ provided that $\min\{a_1,a_2\}$ is large relative to $\chi_1,\chi_2$ and $u_0+v_0$ is not small. Moreover, under the same condition, we prove that \begin{equation*} \limsup_{t\to\infty} \|u(t,\cdot;u_0,v_0)+v(t,\cdot;u_0,v_0)\|_\infty\le M^*, \end{equation*} and \begin{equation*} \liminf_{t\to\infty} \inf_{x\in\Omega}(u(t,x,u_0,v_0)+v(t,x;u_0,v_0))\ge m^*, \end{equation*} for some positive constants $M^*,m^*$ independent of $u_0,v_0$, the latter is referred to as combined pointwise persistence.


title: Exploring Hybrid and Ensemble Models for Multiclass Prediction of Mental Health Status on Social Media

abstract: In recent years, there has been a surge of interest in research on automatic mental health detection (MHD) from social media data leveraging advances in natural language processing and machine learning techniques. While significant progress has been achieved in this interdisciplinary research area, the vast majority of work has treated MHD as a binary classification task. The multiclass classification setup is, however, essential if we are to uncover the subtle differences among the statistical patterns of language use associated with particular mental health conditions. Here, we report on experiments aimed at predicting six conditions (anxiety, attention deficit hyperactivity disorder, bipolar disorder, post-traumatic stress disorder, depression, and psychological stress) from Reddit social media posts. We explore and compare the performance of hybrid and ensemble models leveraging transformer-based architectures (BERT and RoBERTa) and BiLSTM neural networks trained on within-text distributions of a diverse set of linguistic features. This set encompasses measures of syntactic complexity, lexical sophistication and diversity, readability, and register-specific ngram frequencies, as well as sentiment and emotion lexicons. In addition, we conduct feature ablation experiments to investigate which types of features are most indicative of particular mental health conditions.


title: Dynamic Sparse Network for Time Series Classification: Learning What to "see''

abstract: The receptive field (RF), which determines the region of time series to be ``seen'' and used, is critical to improve the performance for time series classification (TSC). However, the variation of signal scales across and within time series data, makes it challenging to decide on proper RF sizes for TSC. In this paper, we propose a dynamic sparse network (DSN) with sparse connections for TSC, which can learn to cover various RF without cumbersome hyper-parameters tuning. The kernels in each sparse layer are sparse and can be explored under the constraint regions by dynamic sparse training, which makes it possible to reduce the resource cost. The experimental results show that the proposed DSN model can achieve state-of-art performance on both univariate and multivariate TSC datasets with less than 50\% computational cost compared with recent baseline methods, opening the path towards more accurate resource-aware methods for time series analyses. Our code is publicly available at: https://github.com/QiaoXiao7282/DSN.


title: Structured matrix recovery from matrix-vector products

abstract: Can one recover a matrix efficiently from only matrix-vector products? If so, how many are needed? This paper describes algorithms to recover matrices with known structures, such as tridiagonal, Toeplitz, Toeplitz-like, and hierarchical low-rank, from matrix-vector products. In particular, we derive a randomized algorithm for recovering an $N \times N$ unknown hierarchical low-rank matrix from only $\mathcal{O}((k+p)\log(N))$ matrix-vector products with high probability, where $k$ is the rank of the off-diagonal blocks, and $p$ is a small oversampling parameter. We do this by carefully constructing randomized input vectors for our matrix-vector products that exploit the hierarchical structure of the matrix. While existing algorithms for hierarchical matrix recovery use a recursive "peeling" procedure based on elimination, our approach uses a recursive projection procedure.


title: H\"older continuous maps on the interval with positive metric mean dimension

abstract: Fix a compact metric space $X$ with finite topological dimension. Let $C^{0}(X)$ be the space of continuous maps on $X$ and $ H^{\alpha}(X)$ the space of $\alpha$-H\"older continuous maps on $X$, for $\alpha\in (0,1].$ $H^{1}(X)$ is the space of Lipschitz continuous maps on $X$. We have $$H^{1}(X)\subset H^{\beta}(X) \subset H^{\alpha}(X) \subset C^{0}(X),\quad\text{ where }0<\alpha<\beta<1.$$ It is well-known that if $\phi\in H^{1}(X)$, then $\phi$ has metric mean dimension equal to zero. On the other hand, if $X$ is a finite dimensional compact manifold, then $C^{0}(X)$ contains a residual subset whose elements have positive metric mean dimension. In this work we will prove that, for any $\alpha\in (0,1)$, there exists $\phi\in H^{\alpha}([0,1]) $ with positive metric mean dimension.


title: Methodology and first-order algorithms for solving nonsmooth and non-strongly convex bilevel optimization problems

abstract: Simple bilevel problems are optimization problems in which we want to find an optimal solution to an inner problem that minimizes an outer objective function. Such problems appear in many machine learning and signal processing applications as a way to eliminate undesirable solutions. %However, since these problems do not satisfy regularity conditions, they are often hard to solve exactly and are usually solved via iterative regularization. In the past few years, several algorithms were proposed to solve these bilevel problems directly and provide a rate for obtaining feasibility, assuming that the outer function is strongly convex. In our work, we suggest a new approach that is designed for bilevel problems with simple outer functions, such as the $l_1$ norm, which are not required to be either smooth or strongly convex. In our new ITerative Approximation and Level-set EXpansion (ITALEX) approach, we alternate between expanding the level-set of the outer function and approximately optimizing the inner problem over this level-set. We show that optimizing the inner function through first-order methods such as proximal gradient and generalized conditional gradient results in a feasibility convergence rate of $O(1/k)$, which up to now was a rate only achieved by bilevel algorithms for smooth and strongly convex outer functions. Moreover, we prove an $O(1/\sqrt{k})$ rate of convergence for the outer function, contrary to existing methods, which only provide asymptotic guarantees. We demonstrate this performance through numerical experiments.


title: Robust Design and Evaluation of Predictive Algorithms under Unobserved Confounding

abstract: Predictive algorithms inform consequential decisions in settings where the outcome is selectively observed given choices made by human decision makers. We propose a unified framework for the robust design and evaluation of predictive algorithms in selectively observed data. We impose general assumptions on how much the outcome may vary on average between unselected and selected units conditional on observed covariates and identified nuisance parameters, formalizing popular empirical strategies for imputing missing data such as proxy outcomes and instrumental variables. We develop debiased machine learning estimators for the bounds on a large class of predictive performance estimands, such as the conditional likelihood of the outcome, a predictive algorithm's mean square error, true/false positive rate, and many others, under these assumptions. In an administrative dataset from a large Australian financial institution, we illustrate how varying assumptions on unobserved confounding leads to meaningful changes in default risk predictions and evaluations of credit scores across sensitive groups.


title: Foliations on $\mathbb{CP}^3$ of degree $2$ that have a line as singular set

abstract: In this work we classify foliations on $\mathbb{CP}^3$ of codimension 1 and degree $2$ that have a line as singular set. To achieve this, we do a complete description of the components. We prove that the boundary of the exceptional component has only 3 foliations up to change of coordinates, and this boundary is contained in a logarithmic component. Finally we construct examples of foliations on $\mathbb{CP}^3$ of codimension 1 and degree $s \geq 3$ that have a line as singular set and such that they form a family with a rational first integral of degree $s+1$ or they are logarithmic foliations where some of them have a minimal rational first integral of degree not bounded.


title: PullupStructs: Digital Fabrication for Folding Structures via Pull-up Nets

abstract: In this paper, we introduce a method to rapidly create 3D geometries by folding 2D sheets via pull-up nets. Given a 3D structure, we unfold its mesh into a planar 2D sheet using heuristic algorithms and populate these with cutlines and throughholes. We develop a web-based simulation tool that translates users' 3D meshes into manufacturable 2D sheets. After laser-cutting the sheet and feeding thread through these throughholes to form a pull-up net, pulling the thread will fold the sheet into the 3D structure using a single degree of freedom. We introduce the fabrication process and build a variety of prototypes demonstrating the method's ability to rapidly create a breadth of geometries suitable for low-fidelity prototyping that are both load-bearing and aesthetic across a range of scales. Future work will expand the breadth of geometries available and evaluate the ability of our prototypes to sustain structural loads.


title: Rigidity in Mechanism Design and its Applications

abstract: We introduce the notion of rigidity in auction design and use it to analyze some fundamental aspects of mechanism design. We focus on single-item auctions where the values of the bidders are drawn from some (possibly correlated) distribution $\mathcal F$. Let $f$ be the allocation function of an optimal mechanism for $\mathcal F$. Informally, $S$ is (linearly) rigid in $\mathcal F$ if for every mechanism $M'$ with an allocation function $f'$ where $f$ and $f'$ agree on the allocation of at most $x$-fraction of the instances of $S$, the expected revenue of $M'$ is at most an $x$ fraction of the optimal revenue. We use rigidity to explain the singular success of Cremer and McLean's auction. Recall that the revenue of Cremer and McLean's auction is the optimal welfare if the distribution obeys a certain ``full rank'' condition, but no analogous constructions are known if this condition does not hold. Note that the Kolmogorov complexity of the allocation function of Cremer and McLean's auction is logarithmic, whereas we use rigidity to show that for some distributions that do not obey the full rank condition, the Kolmogorov complexity of the allocation function of every mechanism that provides a constant approximation is almost linear. We further investigate rigidity assuming different notions of individual rationality. Assuming ex-post individual rationality, if there is a rigid set, the structure of the optimal mechanism is simple: the player with the highest value ``usually'' wins the item and contributes most of the revenue. In contrast, assuming interim individual rationality, there are distributions with a rigid set $S$ where the optimal mechanism has no obvious allocation pattern (i.e., its Kolmogorov complexity is high). Our results help explain why we have little hope of developing good, simple and generic approximation mechanisms in the interim individual rationality world.


title: (Psycho-)Linguistic Features Meet Transformer Models for Improved Explainable and Controllable Text Simplification

abstract: State-of-the-art text simplification (TS) systems adopt end-to-end neural network models to directly generate the simplified version of the input text, and usually function as a blackbox. Moreover, TS is usually treated as an all-purpose generic task under the assumption of homogeneity, where the same simplification is suitable for all. In recent years, however, there has been increasing recognition of the need to adapt the simplification techniques to the specific needs of different target groups. In this work, we aim to advance current research on explainable and controllable TS in two ways: First, building on recently proposed work to increase the transparency of TS systems, we use a large set of (psycho-)linguistic features in combination with pre-trained language models to improve explainable complexity prediction. Second, based on the results of this preliminary task, we extend a state-of-the-art Seq2Seq TS model, ACCESS, to enable explicit control of ten attributes. The results of experiments show (1) that our approach improves the performance of state-of-the-art models for predicting explainable complexity and (2) that explicitly conditioning the Seq2Seq model on ten attributes leads to a significant improvement in performance in both within-domain and out-of-domain settings.


title: Dataless Knowledge Fusion by Merging Weights of Language Models

abstract: Fine-tuning pre-trained language models has become the prevalent paradigm for building downstream NLP models. Oftentimes fine-tuned models are readily available but their training data is not, due to data privacy or intellectual property concerns. This creates a barrier to fusing knowledge across individual models to yield a better single model. In this paper, we study the problem of merging individual models built on different training data sets to obtain a single model that performs well both across all data set domains and can generalize on out-of-domain data. We propose a dataless knowledge fusion method that merges models in their parameter space, guided by weights that minimize prediction differences between the merged model and the individual models. Over a battery of evaluation settings, we show that the proposed method significantly outperforms baselines such as Fisher-weighted averaging or model ensembling. Further, we find that our method is a promising alternative to multi-task learning that can preserve or sometimes improve over the individual models without access to the training data. Finally, model merging is more efficient than training a multi-task model, thus making it applicable to a wider set of scenarios.


title: New $z > 7$ Lyman-alpha Emitters in EGS: Evidence of an Extended Ionized Structure at $z \sim 7.7$

abstract: We perform a ground-based near-infrared spectroscopic survey using the Keck/MOSFIRE spectrograph to target Ly$\alpha$ emission at $7.0<z<8.2$ from 61 galaxies to trace the ionization state of the intergalactic medium (IGM). We cover a total effective sky area of $\sim10^\prime\times10^\prime$ in the Extended Groth Strip field of the Cosmic Assembly Near-infrared Deep Extragalactic Legacy Survey. From our observations, we detect Ly$\alpha$ emission at a $>$4$\sigma$ level in eight $z>7$ galaxies, which include additional members of the known $z\sim7.7$ Ly$\alpha$-emitter (LAE) cluster (Tilvi et al. 2020). With the addition of these newly-discovered $z\sim7.7$ LAEs, this is currently the largest measured LAE cluster at $z>7$. The unusually-high Ly$\alpha$ detection rate at $z\sim7.7$ in this field suggests significantly stronger Ly$\alpha$ emission from the clustered LAEs than from the rest of our targets. We estimate the ionized bubble sizes around these LAEs and conclude that the LAEs are clustered within an extended ionized structure created by overlapping ionized bubbles which allow the easier escape of Ly$\alpha$ from galaxies. It is remarkable that the brightest object in the cluster has the lowest measured redshift of the Ly$\alpha$ line, being placed in front of the other LAEs in the line-of-sight direction. This suggests that we are witnessing the enhanced IGM transmission of Ly$\alpha$ from galaxies on the rear side of an ionized area. This could be a consequence of Ly$\alpha$ radiative transfer: Ly$\alpha$ close to the central velocity is substantially scattered by the IGM while Ly$\alpha$ from the rear-side galaxies is significantly redshifted to where it has a clear path.


title: PathCAS: An Efficient Middle Ground for Concurrent Search Data Structures

abstract: To maximize the performance of concurrent data structures, researchers have often turned to highly complex fine-grained techniques, resulting in efficient and elegant algorithms, which can however be often difficult to understand and prove correct. While simpler techniques exist, such as transactional memory, they can have limited performance or portability relative to their fine-grained counterparts. Approaches at both ends of this complexity-performance spectrum have been extensively explored, but relatively less is known about the middle ground: approaches that are willing to sacrifice some performance for simplicity, while remaining competitive with state-of-the-art handcrafted designs. In this paper, we explore this middle ground, and present PathCAS, a primitive that combines ideas from multi-word CAS (KCAS) and transactional memory approaches, while carefully avoiding overhead. We show how PathCAS can be used to implement efficient search data structures relatively simply, using an internal binary search tree as an example, then extending this to an AVL tree. Our best implementations outperform many handcrafted search trees: in search-heavy workloads, it rivals the BCCO tree [5], the fastest known concurrent binary tree in terms of search performance [3]. Our results suggest that PathCAS can yield concurrent data structures that are relatively easy to build and prove correct, while offering surprisingly high performance.


title: A $q$-analog of the Markoff injectivity conjecture holds

abstract: The elements of Markoff triples are given by coefficients in certain matrix products defined by Christoffel words, and the Markoff injectivity conjecture, a long-standing open problem (also known as the uniqueness conjecture), is then equivalent to injectivity on Christoffel words. A $q$-analog of these matrix products has been proposed recently, and we prove that injectivity on Christoffel words holds for this $q$-analog. The proof is based on the evaluation at $q = \exp(i\pi/3)$. Other roots of unity provide some information on the original problem, which corresponds to the case $q=1$. We also extend the problem to arbitrary words and provide a large family of pairs of words where injectivity does not hold.


title: Reference Governor for Constrained Spacecraft Orbital Transfers

abstract: The paper considers the application of feedback control to orbital transfer maneuvers subject to constraints on the spacecraft thrust and on avoiding the collision with the primary body. Incremental reference governor (IRG) strategies are developed to complement the nominal Lyapunov controller, derived based on Gauss Variational Equations, and enforce the constraints. Simulation results are reported that demonstrate the successful constrained orbital transfer maneuvers with the proposed approach. A Lyapunov function based IRG and a prediction-based IRG are compared. While both implementations successfully enforce the constraints, a prediction-based IRG is shown to result in faster maneuvers.


title: Approximation of deterministic mean field games with control-affine dynamics

abstract: We consider deterministic mean field games where the dynamics of a typical agent is non-linear with respect to the state variable and affine with respect to the control variable. Particular instances of the problem considered here are mean field games with control on the acceleration. We focus our attention on the approximation of such mean field games by analogous problems in discrete time and finite state space. For these approximations, we show the existence and, under an additional monotonicity assumption, uniqueness of solutions. In our main result, we establish the convergence of equilibria of the discrete mean field games problems towards equilibria of the continuous one. Finally, we provide some numerical results for two MFG problems. In the first one, the dynamics of a typical player is nonlinear with respect to the state and, in the second one, a typical player controls its acceleration.


title: MANTIS at TSAR-2022 Shared Task: Improved Unsupervised Lexical Simplification with Pretrained Encoders

abstract: In this paper we present our contribution to the TSAR-2022 Shared Task on Lexical Simplification of the EMNLP 2022 Workshop on Text Simplification, Accessibility, and Readability. Our approach builds on and extends the unsupervised lexical simplification system with pretrained encoders (LSBert) system in the following ways: For the subtask of simplification candidate selection, it utilizes a RoBERTa transformer language model and expands the size of the generated candidate list. For subsequent substitution ranking, it introduces a new feature weighting scheme and adopts a candidate filtering method based on textual entailment to maximize semantic similarity between the target word and its simplification. Our best-performing system improves LSBert by 5.9% accuracy and achieves second place out of 33 ranked solutions.


title: Measuring topological entanglement entropy using Maxwell relations

abstract: Topological entanglement entropy (TEE) is a key diagnostic of topological order, allowing to detect the presence of Abelian or non-Abelian anyons. However, there are currently no protocols to measure TEE in condensed matter systems. Here, we propose a scheme to measure the TEE, based on a nontrivial connection with the thermodynamic entropy change occurring in a quantum point contact (QPC) as it pinches off the topological liquid into two. We show how this entropy change can be extracted using Maxwell relations from charge detection of a nearby quantum dot. We demonstrate this explicitly for the Abelian Laughlin states, using an exact solution of the sine-Gordon model describing the universal crossover in the QPC. Our approach might open a new thermodynamic detection scheme of topological states also with non-Abelian statistics.


title: Computing $\pi(N)$: An elementary approach in $\tilde{O}(\sqrt{N})$ time

abstract: We present an efficient and elementary algorithm for computing the number of primes up to $N$ in $\tilde{O}(\sqrt N)$ time, improving upon the existing combinatorial methods that require $\tilde{O}(N ^ {2/3})$ time. Our method has a similar time complexity to the analytical approach to prime counting, while avoiding complex analysis and the use of arbitrary precision complex numbers. While the most time-efficient version of our algorithm requires $\tilde{O}(\sqrt N)$ space, we present a continuous space-time trade-off, showing, e.g., how to reduce the space complexity to $\tilde{O}(\sqrt[3]{N})$ while slightly increasing the time complexity to $\tilde{O}(N^{8/15})$. We apply our techniques to improve the state-of-the-art complexity of elementary algorithms for computing other number-theoretic functions, such as the the Mertens function (in $\tilde{O}(\sqrt N)$ time compared to the known $\tilde{O}(N^{0.6})$), summing Euler's totient function, counting square-free numbers and summing primes. Implementation code is provided.


title: Continuous Semi-Supervised Nonnegative Matrix Factorization

abstract: Nonnegative matrix factorization can be used to automatically detect topics within a corpus in an unsupervised fashion. The technique amounts to an approximation of a nonnegative matrix as the product of two nonnegative matrices of lower rank. In this paper, we show this factorization can be combined with regression on a continuous response variable. In practice, the method performs better than regression done after topics are identified and retrains interpretability.


title: CompuMat: A Computational Composite Material for Tangible Interaction

abstract: This paper introduces a computational composite material comprising layers for actuation, computation and energy storage. Key to its design is inexpensive materials assembled from traditionally available fabrication machines to support the rapid exploration of applications from computational composites. The actuation layer is a soft magnetic sheet that is programmed to either bond, repel, or remain agnostic to other areas of the sheet. The computation layer is a flexible PCB made from copper-clad kapton engraved by a fiber laser, powered by a third energy-storage layer comprised of 0.4mm-thin lithium polymer batteries. We present the material layup and an accompanying digital fabrication process enabling users to rapidly prototype their own untethered, interactive and tangible prototypes. The material is low-profile, inexpensive, and fully untethered, capable of being used for a variety of applications in HCI and robotics including structural origami and proprioception.


title: Predicting Ejection Fraction from Chest X-rays Using Computer Vision for Diagnosing Heart Failure

abstract: Heart failure remains a major public health challenge with growing costs. Ejection fraction (EF) is a key metric for the diagnosis and management of heart failure however estimation of EF using echocardiography remains expensive for the healthcare system and subject to intra/inter operator variability. While chest x-rays (CXR) are quick, inexpensive, and require less expertise, they do not provide sufficient information to the human eye to estimate EF. This work explores the efficacy of computer vision techniques to predict reduced EF solely from CXRs. We studied a dataset of 3488 CXRs from the MIMIC CXR-jpg (MCR) dataset. Our work establishes benchmarks using multiple state-of-the-art convolutional neural network architectures. The subsequent analysis shows increasing model sizes from 8M to 23M parameters improved classification performance without overfitting the dataset. We further show how data augmentation techniques such as CXR rotation and random cropping further improves model performance another ~5%. Finally, we conduct an error analysis using saliency maps and Grad-CAMs to better understand the failure modes of convolutional models on this task.


title: Extending Grundy domination to $k$-Grundy domination

abstract: The Grundy domination number of a graph $G = (V,E)$ is the length of the longest sequence of unique vertices $S = (v_1, \ldots, v_k)$ satisfying $N[v_i] \setminus \cup_{j=1}^{i-1}N[v_j] \neq \emptyset$ for each $i \in [k]$. Recently, a generalization of this concept called $k$-Grundy domination was introduced. In $k$-Grundy domination, a vertex $v$ can be included in $S$ if it has a neighbor $u$ such that $u$ appears in the closed neighborhood of fewer than $k$ vertices of $S$. In this paper, we determine the $k$-Grundy domination number for some families of graphs, find degree-based bounds for the $k$-$L$-Grundy domination number, and define a relationship between the $k$-$Z$-Grundy domination number and the $k$-forcing number of a graph.


title: Joint Relay Selection and Beam Management Based on Deep Reinforcement Learning for Millimeter Wave Vehicular Communication

abstract: Cooperative relays improve reliability and coverage in wireless networks by providing multiple paths for data transmission. Relaying will play an essential role in vehicular networks at higher frequency bands, where mobility and frequent signal blockages cause link outages. To ensure connectivity in a relay-aided vehicular network, the relay selection policy should be designed to efficiently find unblocked relays. Inspired by recent advances in beam management in mobile millimeter wave (mmWave) networks, this paper address the question: how can the best relay be selected with minimal overhead from beam management? In this regard, we formulate a sequential decision problem to jointly optimize relay selection and beam management. We propose a joint relay selection and beam management policy based on deep reinforcement learning (DRL) using the Markov property of beam indices and beam measurements. The proposed DRL-based algorithm learns time-varying thresholds that adapt to the dynamic channel conditions and traffic patterns. Numerical experiments demonstrate that the proposed algorithm outperforms baselines without prior channel knowledge. Moreover, the DRL-based algorithm can maintain high spectral efficiency under fast-varying channels.


title: Spectral performance of the Microchannel X-ray Telescope on board the SVOM mission

abstract: The Microchannel X-ray Telescope (MXT) is an innovative compact X-ray instrument on board the SVOM astronomical mission dedicated to the study of transient phenomena such as gamma-ray bursts. During 3 weeks, we have tested the MXT flight model at the Panter X-ray test facility under the nominal temperature and vacuum conditions that MXT will undergo in-flight. We collected data at series of characteristic energies probing the entire MXT energy range, from 0.28 keV up to 9 keV, for multiple source positions with the center of the point spread function (PSF) inside and outside the detector field of view (FOV). We stacked the data of the positions with the PSF outside the FOV to obtain a uniformly illuminated matrix and reduced all data sets using a dedicated pipeline. We determined the best spectral performance of MXT using an optimized data processing, especially for the energy calibration and the charge sharing effect induced by the pixel low energy thresholding. Our results demonstrate that MXT is compliant with the instrument requirement regarding the energy resolution (<80 eV at 1.5 keV), the low and high energy threshold, and the accuracy of the energy calibration ($\pm$20 eV). We also determined the charge transfer inefficiency (~$10^{-5}$) of the detector and modeled its evolution with energy prior to the irradiation that MXT will undergo during its in-orbit lifetime. Finally, we measured the relation of the energy resolution as function of the photon energy. We determined an equivalent noise charge of 4.9 $\pm$ 0.2 e- rms for the MXT detection chain and a Fano factor of 0.131 $\pm$ 0.003 in silicon at 208 K, in agreement with previous works. This campaign confirmed the promising scientific performance that MXT will be able to deliver during the mission lifetime.


title: Synthetic Pre-Training Tasks for Neural Machine Translation

abstract: Pre-training models with large crawled corpora can lead to issues such as toxicity and bias, as well as copyright and privacy concerns. A promising way of alleviating such concerns is to conduct pre-training with synthetic tasks and data, since no real-world information is ingested by the model. Our goal in this paper is to understand the factors that contribute to the effectiveness of pre-training models when using synthetic resources, particularly in the context of neural machine translation. We propose several novel approaches to pre-training translation models that involve different levels of lexical and structural knowledge, including: 1) generating obfuscated data from a large parallel corpus 2) concatenating phrase pairs extracted from a small word-aligned corpus, and 3) generating synthetic parallel data without real human language corpora. Our experiments on multiple language pairs reveal that pre-training benefits can be realized even with high levels of obfuscation or purely synthetic parallel data. We hope the findings from our comprehensive empirical analysis will shed light on understanding what matters for NMT pre-training, as well as pave the way for the development of more efficient and less toxic models.


title: Z-ICL: Zero-Shot In-Context Learning with Pseudo-Demonstrations

abstract: Although large language models can be prompted for both zero- and few-shot learning, performance drops significantly when no demonstrations are available. In this paper, we introduce Z-ICL, a new zero-shot method that closes the gap by constructing pseudo-demonstrations for a given test input using a raw text corpus. Concretely, pseudo-demonstrations are constructed by (1) finding the nearest neighbors to the test input from the corpus and pairing them with random task labels, and (2) applying a set of techniques to reduce the amount of direct copying the model does from the resulting demonstrations. Evaluation on nine classification datasets shows that Z-ICL outperforms previous zero-shot methods by a significant margin, and is on par with in-context learning with labeled training data in the few-shot setting. Overall, Z-ICL provides a significantly higher estimate of the zero-shot performance levels of a model, and supports future efforts to develop better pseudo-demonstrations that further improve zero-shot results.


title: Covariance-on-Covariance Regression

abstract: A Covariance-on-Covariance regression model is introduced in this manuscript. It is assumed that there exists (at least) a pair of linear projections on outcome covariance matrices and predictor covariance matrices such that a log-linear model links the variances in the projection spaces, as well as additional covariates of interest. An ordinary least square type of estimator is proposed to simultaneously identify the projections and estimate model coefficients. Under regularity conditions, the proposed estimator is asymptotically consistent. The superior performance of the proposed approach over existing methods are demonstrated via simulation studies. Applying to data collected in the Human Connectome Project Aging study, the proposed approach identifies three pairs of brain networks, where functional connectivity within the resting-state network predicts functional connectivity within the corresponding task-state network. The three networks correspond to a global signal network, a task-related network, and a task-unrelated network. The findings are consistent with existing knowledge about brain function.


title: Detecting Contradictory COVID-19 Drug Efficacy Claims from Biomedical Literature

abstract: The COVID-19 pandemic created a deluge of questionable and contradictory scientific claims about drug efficacy -- an "infodemic" with lasting consequences for science and society. In this work, we argue that NLP models can help domain experts distill and understand the literature in this complex, high-stakes area. Our task is to automatically identify contradictory claims about COVID-19 drug efficacy. We frame this as a natural language inference problem and offer a new NLI dataset created by domain experts. The NLI framing allows us to create curricula combining existing datasets and our own. The resulting models are useful investigative tools. We provide a case study of how these models help a domain expert summarize and assess evidence concerning remdisivir and hydroxychloroquine.


title: Quantifying fairness and discrimination in predictive models

abstract: The analysis of discrimination has long interested economists and lawyers. In recent years, the literature in computer science and machine learning has become interested in the subject, offering an interesting re-reading of the topic. These questions are the consequences of numerous criticisms of algorithms used to translate texts or to identify people in images. With the arrival of massive data, and the use of increasingly opaque algorithms, it is not surprising to have discriminatory algorithms, because it has become easy to have a proxy of a sensitive variable, by enriching the data indefinitely. According to Kranzberg (1986), "technology is neither good nor bad, nor is it neutral", and therefore, "machine learning won't give you anything like gender neutrality `for free' that you didn't explicitely ask for", as claimed by Kearns et a. (2019). In this article, we will come back to the general context, for predictive models in classification. We will present the main concepts of fairness, called group fairness, based on independence between the sensitive variable and the prediction, possibly conditioned on this or that information. We will finish by going further, by presenting the concepts of individual fairness. Finally, we will see how to correct a potential discrimination, in order to guarantee that a model is more ethical


title: Cubulating a free-product-by-cyclic group

abstract: Let $G = H_1 * ... * H_k * F_r$ be a torsion-free group and $\phi$ an automorphism of $G$ that preserves this free factor system. We show that when $\phi$ is fully irreducible and atoroidal relative to this free factor system, the mapping torus $\Gamma = G \rtimes_{\phi} \mathbb{Z}$ acts relatively geometrically on a hyperbolic CAT(0) cube complex. This is a generalisation of a result of Hagen and Wise for hyperbolic free-by-cyclic groups.


title: Metabolomics of Aging and Alzheimer's Disease: From Single-Omics to Multi-Omics

abstract: Aging is a multifactorial process and a key factor of morbidity and mortality. Alzheimer's disease (AD) is an age-related disorder and a main cause of worldwide disability. Both aging and AD can be characterized by metabolic dysfunction. Metabolomics can quantify the complete set of metabolites in a studied sample and is helpful for studying metabolic alterations in aging and AD. In this review, we summarize the metabolomic changes regarding aging and AD, discuss their biological functions, and highlight their potential application as diagnostic biomarkers or therapeutic targets. Recent advances in multi-omics approaches for understanding the metabolic mechanism of aging and AD are also reviewed.


title: Rotated chirped volume Bragg gratings for compact spectral analysis

abstract: We introduce a new optical component - a rotated chirped volume Bragg grating (r-CBG) - that spatially resolves the spectrum of a normally incident light beam in a compact footprint and without the need for subsequent free-space propagation or collimation. Unlike conventional chirped Bragg volume gratings in which both the length and width of the device must be increased to increase the bandwidth, by rotating the Bragg structure we sever the link between the length and width of an r-CBG, leading to a significantly reduced device footprint for the same bandwidth. We fabricate and characterize such a device in multiple spectral windows, we study its spectral resolution, and confirm that a pair of cascaded r-CBGs can resolve and then recombine the spectrum. Such a device can lead to ultra-compact spectrometers and pulse modulators.


title: On-surface synthesis and evolution of self-assembled poly($p$-phenylene) chains on Ag(111): a joint experimental and theoretical study

abstract: The growth of controlled 1D carbon-based nanostructures on metal surfaces is a multistep process whose path, activation energies and intermediate metastable states strongly depend on the employed substrate. Whereas this process has been extensively studied on gold, less work has been dedicated to silver surfaces, which have a rather different catalytic activity. In this work, we present an experimental and theoretical investigation of the growth of poly-$p$-phenylene (PPP) chains and subsequent narrow graphene ribbons starting from 4,4''-dibromo-$p$-terphenyl molecular precursors deposited at the silver surface. By combing scanning tunneling microscopy (STM) imaging and density functional theory (DFT) simulations, we describe the molecular morphology and organization at different steps of the growth process and we discuss the stability and conversion of the encountered species on the basis of calculated thermodynamic quantities. Unlike the case of gold, at the debromination step we observe the appearance of organometallic molecules and chains, which can be explained by their negative formation energy in the presence of a silver adatom reservoir. At the dehydrogenation temperature the persistence of intercalated Br atoms hinders the formation of well-structured graphene ribbons, which are instead observed on gold, leading only to a partial lateral coupling of the PPP chains. We numerically derive very different activation energies for Br desorption from the Ag and Au surfaces, thereby confirming the importance of this process in defining the kinetics of the formation of molecular chains and graphene ribbons on different metal surfaces.


title: A Comparative Study on Textual Saliency of Styles from Eye Tracking, Annotations, and Language Models

abstract: There is growing interest in incorporating eye-tracking data and other implicit measures of human language processing into natural language processing (NLP) pipelines. The data from human language processing contain unique insight into human linguistic understanding that could be exploited by language models. However, many unanswered questions remain about the nature of this data and how it can best be utilized in downstream NLP tasks. In this paper, we present eyeStyliency, an eye-tracking dataset for human processing of stylistic text (e.g., politeness). We develop a variety of methods to derive style saliency scores over text using the collected eye dataset. We further investigate how this saliency data compares to both human annotation methods and model-based interpretability metrics. We find that while eye-tracking data is unique, it also intersects with both human annotations and model-based importance scores, providing a possible bridge between human- and machine-based perspectives. We propose utilizing this type of data to evaluate the cognitive plausibility of models that interpret style. Our eye-tracking data and processing code are publicly available.


title: Oscillation and jump inequalities for the polynomial ergodic averages along multi-dimensional subsets of primes

abstract: We prove the uniform oscillation and jump inequalities for the polynomial ergodic averages modeled over multi-dimensional subset of primes. These inequalities provide endpoints for the $r$-variational estimates obtained by Trojan arXiv:1803.05406.


title: g-mode Oscillations in Neutron Stars with Hyperons

abstract: A common alternative to the standard assumption of nucleonic composition of matter in the interior of a neutron star is to include strange baryons, particularly hyperons. Any change in composition of the neutron star core has an effect on g-mode oscillations of neutron stars, through the compositional dependence of the equilibrium and adiabatic sound speeds. We study the core g-modes of a neutron star contaning hyperons, using a variety of relativistic mean field models of dense matter that satisfy observational constraints on global properties of neutron stars. Our selected models predict a sharp rise in the g-mode frequencies upon the onset of strange baryons. Should g-modes be observed in the near future, their frequency could be used to test the presence of hyperonic matter in the core of neutron stars.


title: Antipaths in oriented graphs

abstract: We show that for any natural number $k \ge 1$, any oriented graph $D$ of minimum semidegree at least $(3k- 2)/4$ contains an antidirected path of length $k$. In fact, a slightly weaker condition on the semidegree sequence of $D$ suffices, and as a consequence, we confirm a weakened antidirected path version of a conjecture of Addario-Berry, Havet, Linhares Sales, Thomass\'e and Reed.


title: LayoutDETR: Detection Transformer Is a Good Multimodal Layout Designer

abstract: Graphic layout designs play an essential role in visual communication. Yet handcrafting layout designs is skill-demanding, time-consuming, and non-scalable to batch production. Generative models emerge to make design automation scalable but it remains non-trivial to produce designs that comply with designers' multimodal desires, i.e., constrained by background images and driven by foreground content. We propose LayoutDETR that inherits the high quality and realism from generative modeling, while reformulating content-aware requirements as a detection problem: we learn to detect in a background image the reasonable locations, scales, and spatial relations for multimodal foreground elements in a layout. Our solution sets a new state-of-the-art performance for layout generation on public benchmarks and on our newly-curated ad banner dataset. We integrate our solution into a graphical system that facilitates user studies, and show that users prefer our designs over baselines by significant margins. Our code, models, dataset, graphical system, and demos are available at https://github.com/salesforce/LayoutDETR.


title: Band structures of (NbSe$_4$)$_3$I and (TaSe$_4$)$_3$I: Reconciling transport, optics and ARPES

abstract: Among the quasi one-dimensional transition metal tetrachalcogenides (MSe$_4$)$_n$I (M=Nb,Ta), the $n=3$ compounds are the only ones not displaying charge density waves. Instead, they show structural transitions with puzzling transport behavior. They are semiconductors at the lowest temperatures, but their transport gaps are significantly smaller than those inferred from ARPES and optical conductivity. Recently, a metallic polytype of (TaSe$_4$)$_3$I has been found with ferromagnetism and superconductivity coexisting at low temperature, in contrast to previous reports. In this work we present detailed ab-initio and tight binding band structure calculations for the different (MSe$_4$)$_n$I reported structures. We obtain good agreement with the observed transport gaps, and explain how ARPES and optics experiments effectively probe a gap between different bands due to an approximate translation symmetry, solving the controversy. Finally, we show how small extrinsic hole doping can tune the Fermi level through a Van Hove singularity in (TaSe$_4$)$_3$I and discuss the implications for magnetism and superconductivity.


title: Unsigned Play by Milan Kundera? An Authorship Attribution Study

abstract: In addition to being a widely recognised novelist, Milan Kundera has also authored three pieces for theatre: The Owners of the Keys (Majitel\'e kl\'i\v{c}\r{u}, 1961), The Blunder (Pt\'akovina, 1967), and Jacques and his Master (Jakub a jeho p\'an, 1971). In recent years, however, the hypothesis has been raised that Kundera is the true author of a fourth play: Juro J\'ano\v{s}\'ik, first performed in a 1974 production under the name of Karel Steigerwald, who was Kundera's student at the time. In this study, we make use of supervised machine learning to settle the question of authorship attribution in the case of Juro J\'ano\v{s}\'ik, with results strongly supporting the hypothesis of Kundera's authorship.


title: Experimental Low-speed Positioning System with VecTwin Rudder for Automatic Docking (Berthing)

abstract: A VecTwin rudder system comprises twin fishtail rudders with reaction fins to increase its performance. With a constant propeller revolution number, the vessel can execute special low-speed maneuvers like hover, crabbing, reverse, and rotation. Such low-speed maneuvers are termed dynamic positioning (DP), and a DP vessel should be fully/overly actuated with several thrusters. This article introduces a novel and experimental VecTwin positioning system (VTPS) without making the ship fully/overly actuated. Unlike the usual dynamic positioning system (DPS), the VTPS is developed for low-speed operations in a calm harbor area. It is designed upon an assumption that the forces due to the interaction between the rudders, the propeller, and the hull are linear with the rudder angles within a range around the hover rudder angle. The linear relationship is obtained through linear regression of the results from several CFD simulations. The VTPS implements a PID controller that regulates the actuator forces to achieve the given low-speed positioning objective. It was tested in combined automatic docking and position-keeping experiments where disturbances from the environment exist. It shows promising potential for a practical application but with further improvements.


title: Distribution of Ruelle resonances for real-analytic Anosov diffeomorphisms

abstract: We prove an upper bound for the number of Ruelle resonances for Koopman operators associated to real-analytic Anosov diffeomorphisms: in dimension $d$, the number of resonances larger than $r$ is a $\mathcal{O}(|\log r|^d)$ when $r$ goes to $0$. For each connected component of the space of real-analytic Anosov diffeomorphisms on a real-analytic manifold, we prove a dichotomy: either the exponent $d$ in our bound is never optimal, or it is optimal on a dense subset. Using examples constructed by Bandtlow, Just and Slipantschuk, we see that we are always in the latter situation for connected components of the space of real-analytic Anosov diffeomorphisms on the $2$-dimensional torus.


title: Generating rotating black hole solutions by using the Cayley-Dickson construction

abstract: This paper exploits the power of the Cayley-Dickson algebra to generate stationary rotating black hole solutions in one fell swoop. Specifically, we derive the nine-dimensional Myers-Perry solution with four independent angular momenta by using the Janis-Newman algorithm and Giampieri's simplification method, exploiting the octonion algebra. A general formula relating the dimension of the Cayley-Dickson algebra with the maximum number of angular momenta in each dimension is derived. Finally, we discuss the cut-off dimension for using the Cayley-Dickson construction along with the Janis-Newman algorithm for producing the rotating solutions.


title: n-absorbing I-primary ideals in commutative rings

abstract: We define a new generalization of n-absorbing ideals in commutative rings called n-absorbing I-primary ideals. We investigate some characterizations and properties of such new generalization. If P is an n-absorbing I-primary ideal of R and $\sqrt{IP} =I \sqrt{P} $, then $\sqrt{P}$ is a n-absorbing I-primary ideal of R. Also, if $\sqrt{P}$ is an (n-1)-absorbing ideal of R such that $\sqrt{I \sqrt{P}} \subseteq IP$, then P is an n-absorbing I-primary ideal of R.


title: Multi-Analyst Differential Privacy for Online Query Answering

abstract: Most differentially private mechanisms are designed for the use of a single analyst. In reality, however, there are often multiple stakeholders with different and possibly conflicting priorities that must share the same privacy loss budget. This motivates the problem of equitable budget-sharing for multi-analyst differential privacy. Our previous work defined desiderata that any mechanism in this space should satisfy and introduced methods for budget-sharing in the offline case where queries are known in advance. We extend our previous work on multi-analyst differentially private query answering to the case of online query answering, where queries come in one at a time and must be answered without knowledge of the following queries. We demonstrate that the unknown ordering of queries in the online case results in a fundamental limit in the number of queries that can be answered while satisfying the desiderata. In response, we develop two mechanisms, one which satisfies the desiderata in all cases but is subject to the fundamental limitations, and another that randomizes the input order ensuring that existing online query answering mechanisms can satisfy the desiderata.


title: Python Code Generation by Asking Clarification Questions

abstract: Code generation from text requires understanding the user's intent from a natural language description and generating an executable code snippet that satisfies this intent. While recent pretrained language models demonstrate remarkable performance for this task, these models fail when the given natural language description is under-specified. In this work, we introduce a novel and more realistic setup for this task. We hypothesize that the under-specification of a natural language description can be resolved by asking clarification questions. Therefore, we collect and introduce a new dataset named CodeClarQA containing pairs of natural language descriptions and code with created synthetic clarification questions and answers. The empirical results of our evaluation of pretrained language model performance on code generation show that clarifications result in more precisely generated code, as shown by the substantial improvement of model performance in all evaluation metrics. Alongside this, our task and dataset introduce new challenges to the community, including when and what clarification questions should be asked. Our code and dataset are available on GitHub.


title: Roles of laser ellipticity in attoclock

abstract: We study ionization of atoms in strong elliptically-polarized laser fields numerically and analytically. We focus on effects of laser ellipticity on the offset angle in photoelectron momentum distribution. This angle is considered to encode time information of tunneling ionization in attoclock experiments. The calculated offset angle increases with the decrease of ellipticity but the momentum along the major axis of laser polarization related to this angle changes slowly, in agreement with experiments. With a Coulomb-included strong-field model, the scaling laws for ellipticity dependence of this angle and relevant momentum components are obtained, and the ellipticity dependence of Coulomb-induced ionization time lag encoded in this angle is also addressed.


title: Model Predictive Control for Neuromimetic Quantized Systems

abstract: Based on our recent research on neural heuristic quantization systems, we propose an emulation problem consistent with the neuromimetic paradigm. This optimal quantization problem can be solved with model predictive control (MPC) by deriving the conditions under which the quantized system can guarantee (asymptotic) stability during emulation by optimizing a Lyapunov-like objective function. The neuromimetic model features large numbers of discrete inputs, and the optimization involves integer variables. The approach in the paper begins by solving an optimization using model predictive control (MPC) and then using a neural network to train the data generated in this process and applying Fincke and Pohst's sphere decoding algorithm to narrow down the search for the optimal solution.


title: On the $p$-rank of class groups of $p$-extensions

abstract: We prove a local-global principle for the embedding problems of global fields with restricted ramification. By this local-global principle, for a global field $k$, we use only the local information to give a presentation of the maximal pro-$p$ Galois group of $k$ with restricted ramification, when some Galois cohomological conditions are satisfied. For a Galois $p$-extension $K/k$, we use our presentation result for $k$ to study the structure of pro-$p$ Galois groups of $K$. Then for $k=\mathbb{Q}$ and $k=\mathbb{F}_q(t)$ with $p\nmid q$, we give upper and lower bounds for the rank of $p$-torsion group of the class group of $K$, and these bounds depend only on the structure of the Galois group and the inertia subgroups of $K/k$. Finally, we study the $p$-rank of class groups of cyclic $p$-extensions of $\mathbb{Q}$ and the $2$-rank of class groups of multiquadratic extensions of $\mathbb{Q}$, for a fixed ramification type.


title: Strategic Observational Learning

abstract: We study learning by privately informed forward-looking agents in a simple repeated-action setting of social learning. Under a symmetric signal structure, forward-looking agents behave myopically for any degrees of patience. Myopic equilibrium is unique in the class of symmetric threshold strategies, and the simplest symmetric non-monotonic strategies. If the signal structure is asymmetric and the game is infinite, there is no equilibrium in myopic strategies, for any positive degree of patience.


title: On the Weak Lefschetz Property for height four equigenerated complete intersections

abstract: We consider the conjecture that all artinian height 4 complete intersections of forms of the same degree $d$ have the Weak Lefschetz Property (WLP). We translate this problem to one of studying the general hyperplane section of a certain smooth curve in $\mathbb P^3$, and our main tools are the Socle Lemma of Huneke and Ulrich together with a careful liaison argument. Our main results are (i) a proof that the property holds for $d=3,4$ and 5; (ii) a partial result showing maximal rank in a non-trivial but incomplete range, cutting in half the previous unknown range; and (iii) a proof that maximal rank holds in a different range, even without assuming that all the generators have the same degree. We furthermore conjecture that if there were to exist any height 4 complete intersection generated by forms of the same degree and failing WLP then there must exist one (not necessarily the same one) failing by exactly one (in a sense that we make precise). Based on this conjecture we outline an approach to proving WLP for all equigenerated complete intersections in four variables. Finally, we apply our results to the Jacobian ideal of a smooth surface in~$\mathbb P^3$.


title: On Translation Lengths of Pseudo-Anosov Maps on the Curve Graph

abstract: We show that a pseudo-Anosov map constructed as a product of the large power of Dehn twists of two filling curves always has a geodesic axis on the curve graph of the surface. We also obtain estimates of the stable translation length of a pseudo-Anosov map, when two filling curves are replaced by multicurves. Three main applications of our theorem are the following: (a) determining which word realizes the minimal translation length on the curve graph within a specific class of words, (b) giving a new class of pseudo-Anosov maps optimizing the ratio of stable translation lengths on the curve graph to that on Teichm\"uller space, (c) giving a partial answer of how much powers will be needed for Dehn twists to generate right-angled Artin subgroup of the mapping class group.


title: Influence of local symmetry on lattice dynamics coupled to topological surface states

abstract: We investigate coupled electron-lattice dynamics in the topological insulator Bi2Te3 with time-resolved photoemission and time-resolved x-ray diffraction. It is well established that coherent phonons can be launched by optical excitation, but selection rules generally restrict these modes to zone-center wavevectors and Raman-active branches. We find that the topological surface state couples to additional modes, including a continuum of surface-projected bulk modes from both Raman- and infrared-branches, with possible contributions from surface-localized modes when they exist. Our calculations show that this surface vibrational spectrum occurs naturally as a consequence of the translational and inversion symmetries broken at the surface, without requiring the splitting-off of surface-localized phonon modes. The generality of this result suggests that coherent phonon spectra are useful by providing unique fingerprints for identifying surface states in more controversial materials. These effects may also expand the phase space for tailoring surface state wavefunctions via ultrafast optical excitation.


title: Diagonals separating the square of a continuum

abstract: A metric continuum $X$ is indecomposable if it cannot be put as the union of two of its proper subcontinua. A subset $R$ of $X$ is said to be continuumwise connected provided that for each pair of points $p,q\in R$, there exists a subcontinuum $M$ of $X$ such that $\{p,q\}\subset M\subset R$. Let $X^{2}$ denote the Cartesian square of $X$ and $\Delta$ the diagonal of $X^{2}$. In \cite{ka} it was asked if for a continuum $X$, distinct from the arc, $X^{2}\setminus \Delta$ is continuumwise connected if and only if $X$ is decomposable. In this paper we show that no implication in this question holds. For the proof of the non-necessity, we use the dynamic properties of a suitable homeomorphism of the Cantor set onto itself to construct an appropriate indecomposable continuum $X$.


title: Full scale, microscopically resolved tomographies of sandstone and carbonate rocks augmented by experimental porosity and permeability values

abstract: We report a dataset containing full-scale, 3D images of rock plugs augmented by petrophysical lab characterization data for application in digital rock and capillary network analysis. Specifically, we have acquired microscopically resolved tomography datasets of 18 cylindrical sandstone and carbonate rock samples having lengths of 25.4 mm and diameters of 9.5 mm, respectively. Based on the micro-tomography data, we have computed porosity-values for each imaged rock sample. For validating the computed porosity values with a complementary lab method, we have measured porosity for each rock sample by using standard petrophysical characterization techniques. Overall, the tomography-based porosity values agree with the measurement results obtained from the lab, with values ranging from 8% to 30%. In addition, we provide for each rock sample the experimental permeabilities, with values ranging from 0.4 mD to above 5D. This dataset will be essential for establishing, benchmarking, and referencing the relation between porosity and permeability of reservoir rock at pore scale.


title: Improved Long-Form Spoken Language Translation with Large Language Models

abstract: A challenge in spoken language translation is that plenty of spoken content is long-form, but short units are necessary for obtaining high-quality translations. To address this mismatch, we fine-tune a general-purpose, large language model to split long ASR transcripts into segments that can be independently translated so as to maximize the overall translation quality. We compare to several segmentation strategies and find that our approach improves BLEU score on three languages by an average of 2.7 BLEU overall compared to an automatic punctuation baseline. Further, we demonstrate the effectiveness of two constrained decoding strategies to improve well-formedness of the model output from above 99% to 100%.


title: Inflation in Metric-Affine Quadratic Gravity

abstract: In the general framework of Metric-Affine theories of gravity, where the metric and the connection are independent variables, we consider actions quadratic in the Ricci scalar curvature and the Holst invariant (the contraction of the Riemann curvature with the Levi-Civita antisymmetric tensor) coupled non-minimally to a scalar field. We study the profile of the equivalent effective metric theory, featuring an extra dynamical pseudoscalar degree of freedom, and show that it reduces to an effective single-field inflationary model. We analyze in detail the inflationary predictions and find that they fall within the latest observational bounds for a wide range of parameters, allowing for an increase in the tensor-to-scalar ratio. The spectral index can either decrease or increase depending on the position in parameter space.


title: Inducing Character-level Structure in Subword-based Language Models with Type-level Interchange Intervention Training

abstract: Language tasks involving character-level manipulations (e.g., spelling corrections, arithmetic operations, word games) are challenging for models operating on subword units. To address this, we develop a causal intervention framework to learn robust and interpretable character representations inside subword-based language models. Our method treats each character as a typed variable in a causal model and learns such causal structures by adapting the interchange intervention training method of Geiger et al. (2021). We additionally introduce a suite of character-level tasks that systematically vary in their dependence on meaning and sequence-level context. While character-level models still perform best on purely form-based tasks like string reversal, our method outperforms character-level models on more complex tasks that blend form, meaning, and context, such as spelling correction in context and word search games. Compared with standard subword-based models, our approach also significantly improves robustness on unseen token sequences and leads to human-interpretable internal representations of characters.


title: MetaCLUE: Towards Comprehensive Visual Metaphors Research

abstract: Creativity is an indispensable part of human cognition and also an inherent part of how we make sense of the world. Metaphorical abstraction is fundamental in communicating creative ideas through nuanced relationships between abstract concepts such as feelings. While computer vision benchmarks and approaches predominantly focus on understanding and generating literal interpretations of images, metaphorical comprehension of images remains relatively unexplored. Towards this goal, we introduce MetaCLUE, a set of vision tasks on visual metaphor. We also collect high-quality and rich metaphor annotations (abstract objects, concepts, relationships along with their corresponding object boxes) as there do not exist any datasets that facilitate the evaluation of these tasks. We perform a comprehensive analysis of state-of-the-art models in vision and language based on our annotations, highlighting strengths and weaknesses of current approaches in visual metaphor Classification, Localization, Understanding (retrieval, question answering, captioning) and gEneration (text-to-image synthesis) tasks. We hope this work provides a concrete step towards developing AI systems with human-like creative capabilities.


title: Derivation and Extensions of the Tolles-Lawson Model for Aeromagnetic Compensation

abstract: This note is intended to serve as a straightforward reference that summarizes and expands on the linear aeromagnetic compensation model first introduced by Tolles and Lawson in 1950. The Tolles-Lawson model provides a simple, physical representation of an aircraft's magnetic field, composed of permanent, induced, and eddy current terms, and applies an approximation (a Taylor expansion) to enable fitting coefficients with a general linear model. Here, the Tolles-Lawson model is derived, paying stricter attention to where assumptions are made, the model calibration procedure is described, and some additional comments on a second-order correction and a means of constructing the vector aircraft field are provided.


title: Policy learning "without'' overlap: Pessimism and generalized empirical Bernstein's inequality

abstract: This paper studies offline policy learning, which aims at utilizing observations collected a priori (from either fixed or adaptively evolving behavior policies) to learn the optimal individualized decision rule in a given class. Existing policy learning methods rely on a uniform overlap assumption, i.e., the propensities of exploring all actions for all individual characteristics are lower bounded in the offline dataset. In other words, the performance of these methods depends on the worst-case propensity in the offline dataset. As one has no control over the data collection process, this assumption can be unrealistic in many situations, especially when the behavior policies are allowed to evolve over time with diminishing propensities. In this paper, we propose a new algorithm that optimizes lower confidence bounds (LCBs) -- instead of point estimates -- of the policy values. The LCBs are constructed by quantifying the estimation uncertainty of the augmented inverse propensity weighted (AIPW)-type estimators using knowledge of the behavior policies for collecting the offline data. Without assuming any uniform overlap condition, we establish a data-dependent upper bound for the suboptimality of our algorithm, which depends only on (i) the overlap for the optimal policy, and (ii) the complexity of the policy class. As an implication, for adaptively collected data, we ensure efficient policy learning as long as the propensities for optimal actions are lower bounded over time, while those for suboptimal ones are allowed to diminish arbitrarily fast. In our theoretical analysis, we develop a new self-normalized concentration inequality for IPW estimators, generalizing the well-known empirical Bernstein's inequality to unbounded and non-i.i.d. data.


title: Sustainable Hydropower Planning in Gabon

abstract: Hydropower is a renewable, controllable, and flexible source of electricity. These are instrumental features to support decarbonization efforts, as an enabler of non-controllable and variable sources of renewable electricity. Sometimes hydropower is accompanied by other services provided by multipurpose reservoirs, such as water supply, irrigation, navigation, flood control and recreation. Despite all these benefits, hydropower can be a polarizing issue. A large sample of projects with poor planning and execution provides numerous arguments for its opponents. Large and complex projects frequently suffer overcost and delays. The direct impacts are related to the disruption of river ecosystems and surrounding habitats due to the flooding of large areas, and the fragmentation of rivers caused by the construction of dams and the reduction of sediment transport that impoverishes aquatic life. People displacement and compensation are always a complex issue. Hydropower projects can also cause indirect impacts, such as additional deforestation related to the construction of workers' villages, access roads and transmission lines. Finally, reservoirs may also become a significant source of methane emission, especially in tropical areas. This paper offers an analytical approach for sustainable hydropower planning at the river basin scale called HERA: Hydropower and Environmental Resource Assessment. Built on three main components, namely geoprocessing, engineering, and optimization, HERA screens and compares hydropower development alternatives to guarantee social and environmental objectives while maximizing mentioned economic benefits. It was designed to encourage a transparent and participatory hydropower planning process from the early stages. Experience has shown this approach increases the chances of better and balanced outcomes. A case study is presented in the Ogooue river basin in Gabon.


title: Dexterous Manipulation from Images: Autonomous Real-World RL via Substep Guidance

abstract: Complex and contact-rich robotic manipulation tasks, particularly those that involve multi-fingered hands and underactuated object manipulation, present a significant challenge to any control method. Methods based on reinforcement learning offer an appealing choice for such settings, as they can enable robots to learn to delicately balance contact forces and dexterously reposition objects without strong modeling assumptions. However, running reinforcement learning on real-world dexterous manipulation systems often requires significant manual engineering. This negates the benefits of autonomous data collection and ease of use that reinforcement learning should in principle provide. In this paper, we describe a system for vision-based dexterous manipulation that provides a "programming-free" approach for users to define new tasks and enable robots with complex multi-fingered hands to learn to perform them through interaction. The core principle underlying our system is that, in a vision-based setting, users should be able to provide high-level intermediate supervision that circumvents challenges in teleoperation or kinesthetic teaching which allow a robot to not only learn a task efficiently but also to autonomously practice. Our system includes a framework for users to define a final task and intermediate sub-tasks with image examples, a reinforcement learning procedure that learns the task autonomously without interventions, and experimental results with a four-finger robotic hand learning multi-stage object manipulation tasks directly in the real world, without simulation, manual modeling, or reward engineering.


title: Prognostic Covariate Adjustment for Binary Outcomes Using Stratification

abstract: Covariate adjustment and methods of incorporating historical data in randomized clinical trials (RCTs) each provide opportunities to increase trial power. We unite these approaches for the analysis of RCTs with binary outcomes based on the Cochran-Mantel-Haenszel (CMH) test for marginal risk ratio (RR). In PROCOVA-CMH, subjects are stratified on a single prognostic covariate reflective of their predicted outcome on the control treatment (e.g. placebo). This prognostic score is generated based on baseline covariates through a model trained on historical data. We propose two closed-form prospective estimators for the asymptotic sampling variance of the log RR that rely only on values obtainable from observed historical outcomes and the prognostic model. Importantly, these estimators can be used to inform sample size during trial planning. PROCOVA-CMH demonstrates type I error control and appropriate asymptotic coverage for valid inference. Like other covariate adjustment methods, PROCOVA-CMH can reduce the variance of the treatment effect estimate when compared to an unadjusted (unstratified) CMH analysis. In addition to statistical methods, simulations and a case study in Alzheimer's Disease are given to demonstrate performance. Results show that PROCOVA-CMH can provide a gain in power, which can be used to conduct smaller trials.


title: Sanctions and Imports of Essential Goods: A Closer Look at the Equipo Anova (2021) Results

abstract: We revisit the results of a recent paper by Equipo Anova, who claim to find evidence of an improvement in Venezuelan imports of food and medicines associated with the adoption of U.S. financial sanctions towards Venezuela in 2017. We show that their results are consequence of data coding errors and questionable methodological choices, including the use an unreasonable functional form that implies a counterfactual of negative imports in the absence of sanctions, the omission of data accounting for four-fifths of the country's food imports at the time of sanctions and incorrect application of regression discontinuity methods. Once these errors are corrected, the evidence of a significant improvement in the level and rate of change in imports of essentials disappears.


title: Strong law of large numbers for the stochastic six vertex model

abstract: We consider the inhomogeneous stochastic six vertex model with periodicity starting from step initial data. We prove that it converges almost surely to a deterministic limit shape. For the proof, we map the stochastic six vertex model to a deformed version of the discrete Hammersley process. Then we construct a colored version of the model and apply Liggett's superadditive ergodic theorem. The construction of the colored model includes a new idea using a Boolean-type product, which generalizes and simplifies the method used in arXiv:2204.11158.


title: Evolutionary Dynamics in a Varying Environment: Continuous versus Discrete Noise

abstract: Environmental variations can significantly influence how populations compete for resources, and hence shape their evolution. Here, we study population dynamics subject to a fluctuating environment modeled by a varying carrying capacity changing continuously in time according to either binary random switches, or by being driven by a noise of continuous range. We consider a prototypical example of two competing strains, one growing slightly slower than the other, and consider also the scenario where the slow strain is a public goods producer. By systematically comparing the effect of binary- versus continuously-varying environment, we study how different noise statistics (mean, variance) influence the population size and fixation properties. We show that the slow strain fixation probability can be greatly enhanced for a continuously-varying environment compared to binary switches, even when the first two moments of the carrying capacity coincide.

categories: q-bio.PE cond-mat.stat-mech nlin.AO physics.bio-ph


title: Stable Translation Lengths on Free Splitting Complexes I: The Two Over All Theorem and its Applications

abstract: The outer automorphism group $\text{Out}(\Gamma;\mathscr A)$ of a group $\Gamma$ relative to a free factor system $\mathscr A$ of $\Gamma$ acts by isometries on the relative free splitting complex $\mathcal{FS}(\Gamma;\mathscr A)$, which is Gromov hyperbolic. This is the first of a multipart study of stable translation lengths of elements of this action, a quantitative generalization of earlier work on $\text{Out}(F_n)$. In this first part we state and prove the Two Over All Theorem, expressing a uniform exponential growth property along Stallings fold paths in $\mathcal{FS}(\Gamma;\mathscr A)$, and we give two applications of that theorem. First, the natural map from the outer space $\mathscr O(\Gamma;\mathscr A)$ to the free splitting complex $\mathcal{FS}(\Gamma;\mathscr A)$ is coarsely Lipschitz, with respect to the log-Lipschitz semimetric on $\mathscr O(\Gamma;\mathscr A)$. Second, if $\phi \in \text{Out}(\Gamma;\mathscr A)$ has a filling attracting lamination with expansion factor $\lambda>1$ then the stable translation length of $\phi$ on $\mathcal{FS}(\Gamma;\mathscr A)$ has an upper bounded of the form $B \log(\lambda)$.


title: Semi-supervised learning towards automated segmentation of PET images with limited annotations: Application to lymphoma patients

abstract: The time-consuming task of manual segmentation challenges routine systematic quantification of disease burden. Convolutional neural networks (CNNs) hold significant promise to reliably identify locations and boundaries of tumors from PET scans. We aimed to leverage the need for annotated data via semi-supervised approaches, with application to PET images of diffuse large B-cell lymphoma (DLBCL) and primary mediastinal large B-cell lymphoma (PMBCL). We analyzed 18F-FDG PET images of 292 patients with PMBCL (n=104) and DLBCL (n=188) (n=232 for training and validation, and n=60 for external testing). We employed FCM and MS losses for training a 3D U-Net with different levels of supervision: i) fully supervised methods with labeled FCM (LFCM) as well as Unified focal and Dice loss functions, ii) unsupervised methods with Robust FCM (RFCM) and Mumford-Shah (MS) loss functions, and iii) Semi-supervised methods based on FCM (RFCM+LFCM), as well as MS loss in combination with supervised Dice loss (MS+Dice). Unified loss function yielded higher Dice score (mean +/- standard deviation (SD)) (0.73 +/- 0.03; 95% CI, 0.67-0.8) compared to Dice loss (p-value<0.01). Semi-supervised (RFCM+alpha*LFCM) with alpha=0.3 showed the best performance, with a Dice score of 0.69 +/- 0.03 (95% CI, 0.45-0.77) outperforming (MS+alpha*Dice) for any supervision level (any alpha) (p<0.01). The best performer among (MS+alpha*Dice) semi-supervised approaches with alpha=0.2 showed a Dice score of 0.60 +/- 0.08 (95% CI, 0.44-0.76) compared to another supervision level in this semi-supervised approach (p<0.01). Semi-supervised learning via FCM loss (RFCM+alpha*LFCM) showed improved performance compared to supervised approaches. Considering the time-consuming nature of expert manual delineations and intra-observer variabilities, semi-supervised approaches have significant potential for automated segmentation workflows.


title: X-ray morphology due to charge-exchange emissions used to study the global structure around Mars

abstract: Soft x-ray emissions induced by solar wind ions that collide with neutral material in the solar system have been detected around planets, and were proposed as a remote probe for the solar wind interaction with the Martian exosphere. A multi-fluid three-dimensional magneto-hydrodynamic model is adopted to derive the global distributions of solar wind particles. Spherically symmetric exospheric H, H$_2$, He, O, and CO$_2$ density profiles and a sophisticated hybrid model that includes charge-exchange and proton/neutral excitation processes are used to study the low triplet line ratio $G=\frac{i+f}{r}$ (0.77$\pm$0.58) of O VII and total x-ray luminosity around Mars. We further calculate the emission factor $\alpha$-value with different neutrals over a wide ion abundance and velocity ranges. Our results are in good agreement with those of previous reports. The evolution of the charge stage of solar wind ions shows that sequential recombination due to charge-exchange can be negligible at the interaction region. This only appears below the altitude of 400~km. The anonymous low disk $G$ ratio can be easily explained by the collisional quenching effect at neutral densities higher than 10$^{11}$cm$^{-3}$. However, the quenching contribution is small in Mars' exosphere and only appears below 400~km. Charge-exchange with H$_2$ and N$_2$ is still the most likely reason for this low $G$-ratio. X-ray emissivity maps in collisions with different neutrals differ from each other. A clear bow shock in the collision with all the neutrals is in accordance with previous reports. The resulting total x-ray luminosity of 6.55~MW shows a better agreement with the XMM-Newton observation of 12.8$\pm$1.4~MW than that of previous predictions.