title: A splitting scheme for the quantum Liouville-BGK equation

abstract: We introduce in this work an efficient numerical method for the simulation of the quantum Liouville-BGK equation, which models the diffusive transport of quantum particles. The corner stone to the model is the BGK collision operator, obtained by minimizing the quantum free energy under the constraint that the local density of particles is conserved during collisions. This leads to a large system of coupled nonlinear nonlocal PDEs whose resolution is challenging. We then define a splitting scheme that separates the transport and the collision parts, which, exploiting the local conservation of particles, leads to a fully linear collision step. The latter involves the resolution of a constrained optimization problem that is is handled with the nonlinear conjugate gradient algorithm. We prove that the time semi-discrete scheme is convergent, and as an application of our numerical scheme, we validate the quantum drift-diffusion model that is obtained as the diffusive limit of the quantum Liouville-BGK equation.


title: Expansion, divisibility and parity

abstract: Let $\mathbf{P} \subset [H_0,H]$ be a set of primes, where $\log H_0 \geq (\log H)^{2/3 + \epsilon}$. Let $\mathscr{L} = \sum_{p \in \mathbf{P}} 1/p$. Let $N$ be such that $\log H \leq (\log N)^{1/2-\epsilon}$. We show there exists a subset $\mathscr{X} \subset (N, 2N]$ of density close to $1$ such that all the eigenvalues of the linear operator $$(A_{|\mathscr{X}} f)(n) = \sum_{\substack{p \in \mathbf{P} : p | n \\ n, n \pm p \in \mathscr{X}}} f(n \pm p) \; - \sum_{\substack{p \in\mathbf{P} \\ n, n \pm p \in \mathscr{X}}} \frac{f(n \pm p)}{p}$$ are $O(\sqrt{\mathscr{L}})$. This bound is optimal up to a constant factor. In other words, we prove that a graph describing divisibility by primes is a strong local expander almost everywhere, and indeed within a constant factor of being "locally Ramanujan" (a.e.). Specializing to $f(n) = \lambda(n)$ with $\lambda(n)$ the Liouville function, and using an estimate by Matom\"aki, Radziwi{\l}{\l} and Tao on the average of $\lambda(n)$ in short intervals, we derive that \[\frac{1}{\log x} \sum_{n\leq x} \frac{\lambda(n) \lambda(n+1)}{n} = O\Big(\frac{1}{\sqrt{\log \log x}}\Big),\] improving on a result of Tao's. We also prove that $\sum_{N<n\leq 2 N} \lambda(n) \lambda(n+1)=o(N)$ at almost all scales with a similar error term, improving on a result by Tao and Ter\"av\"ainen. (Tao and Tao-Ter\"av\"ainen followed a different approach, based on entropy, not expansion; significantly, we can take a much larger value of $H$, and thus consider many more primes.) We can also prove sharper results with ease. For instance: let $S_{N,k}$ the set of all $N<n\leq 2N$ such that $\Omega(n) = k$. Then, for any fixed value of $k$ with $k = \log \log N + O(\sqrt{\log \log N})$ (that is, any "popular" value of $k$) the average of $\lambda(n+1)$ over $S_{N,k}$ is $o(1)$ at almost all scales.


title: A conditional, a fuzzy and a probabilistic interpretation of self-organising maps

abstract: In this paper we establish a link between fuzzy and preferential semantics for description logics and Self-Organising Maps, which have been proposed as possible candidates to explain the psychological mechanisms underlying category generalisation. In particular, we show that the input/output behavior of a Self-Organising Map after training can be described by a fuzzy description logic interpretation as well as by a preferential interpretation, based on a concept-wise multipreference semantics, which takes into account preferences with respect to different concepts and has been recently proposed for ranked and for weighted defeasible description logics. Properties of the network can be proven by model checking on the fuzzy or on the preferential interpretation. Starting from the fuzzy interpretation, we also provide a probabilistic account for this neural network model.


title: Positivity Bounds on Dark Energy: When Matter Matters

abstract: Positivity bounds - constraints on any low-energy effective field theory imposed by the fundamental axioms of unitarity, causality and locality in the UV - have recently been used to constrain scalar-tensor theories of dark energy. However, the coupling to matter fields has so far played a limited role. We show that demanding positivity when including interactions with standard matter fields leads to further constraints on the dark energy parameter space. We demonstrate how implementing these bounds as theoretical priors affects cosmological parameter constraints and explicitly illustrate the impact on a specific Effective Field Theory for dark energy. We also show in this model that the existence of a standard UV completion requires that gravitational waves must travel superluminally on cosmological backgrounds.


title: Easy asteroid phase curve fitting for the Python ecosystem: Pyedra

abstract: A trending astronomical phenomenon to study is the variation in brightness of asteroids, caused by its rotation on its own axis, non-spherical shapes, changes of albedo along its surface and its position relative to the sun. The latter behaviour can be visualized on a "Phase Curve" (phase angle vs. reduced magnitude). To enable the comparison between several models proposed for this curve we present a Python package called Pyedra. Pyedra implements three phase-curve-models, and also providing capabilities for visualization as well as integration with external datasets. The package is fully documented and tested following a strict quality-assurance workflow, with a user-friendly programmatic interface. In future versions, we will include more models, and additional estimation of quantities derived from parameters like diameter, and types of albedo; as well as enabling correlation of information of physical and orbital parameters.


title: Should Graph Neural Networks Use Features, Edges, Or Both?

abstract: Graph Neural Networks (GNNs) are the first choice for learning algorithms on graph data. GNNs promise to integrate (i) node features as well as (ii) edge information in an end-to-end learning algorithm. How does this promise work out practically? In this paper, we study to what extend GNNs are necessary to solve prominent graph classification problems. We find that for graph classification, a GNN is not more than the sum of its parts. We also find that, unlike features, predictions with an edge-only model do not always transfer to GNNs.


title: Meta-analysis of dichotomous and ordinal tests without a gold standard

abstract: Standard methods for the meta-analysis of medical tests without a gold standard are limited to dichotomous data. Multivariate probit models are used to analyze correlated binary data, and can be extended to multivariate ordered probit models to model ordinal data. Within the context of an imperfect gold standard, they have previously been used for the analysis of dichotomous and ordinal tests in a single study, and for the meta-analysis of dichotomous tests. In this paper, we developed a hierarchical, latent class multivariate probit model for the simultaneous meta-analysis of ordinal and dichotomous tests without assuming a gold standard. The model can accommodate a hierarchical partial pooling model on the conditional within-study correlations, enabling one to obtain summary estimates of joint test accuracy. Dichotomous tests use probit regression likelihoods and ordinal tests use ordered probit regression likelihoods. We fitted the models using Stan, which uses a state-of-the-art Hamiltonian Monte Carlo algorithm. We applied the models to a dataset in which studies evaluated the accuracy of tests, and test combinations, for deep vein thrombosis. We first demonstrated the issues with dichotomising test accuracy data a priori without a gold standard by fitting models which dichotomised the ordinal test data, and then we applied models which do not dichotomise the data. Furthermore, we fitted and compared a variety of other models, including those which assumed conditional independence and dependence between tests, and those assuming perfect and an imperfect gold standard.


title: Understanding the Origin of Information-Seeking Exploration in Probabilistic Objectives for Control

abstract: The exploration-exploitation trade-off is central to the description of adaptive behaviour in fields ranging from machine learning, to biology, to economics. While many approaches have been taken, one approach to solving this trade-off has been to equip or propose that agents possess an intrinsic 'exploratory drive' which is often implemented in terms of maximizing the agents information gain about the world -- an approach which has been widely studied in machine learning and cognitive science. In this paper we mathematically investigate the nature and meaning of such approaches and demonstrate that this combination of utility maximizing and information-seeking behaviour arises from the minimization of an entirely difference class of objectives we call divergence objectives. We propose a dichotomy in the objective functions underlying adaptive behaviour between \emph{evidence} objectives, which correspond to well-known reward or utility maximizing objectives in the literature, and \emph{divergence} objectives which instead seek to minimize the divergence between the agent's expected and desired futures, and argue that this new class of divergence objectives could form the mathematical foundation for a much richer understanding of the exploratory components of adaptive and intelligent action, beyond simply greedy utility maximization.


title: Revealing three-dimensional quantum criticality by Sr-substitution in Han Purple

abstract: Classical and quantum phase transitions (QPTs), with their accompanying concepts of criticality and universality, are a cornerstone of statistical thermodynamics. An exemplary controlled QPT is the field-induced magnetic ordering of a gapped quantum magnet. Although numerous "quasi-one-dimensional" coupled spin-chain and -ladder materials are known whose ordering transition is three-dimensional (3D), quasi-2D systems are special for several physical reasons. Motivated by the ancient pigment Han Purple (BaCuSi$_{2}$O$_{6}$), a quasi-2D material displaying anomalous critical properties, we present a complete analysis of Ba$_{0.9}$Sr$_{0.1}$CuSi$_{2}$O$_{6}$. We measure the zero-field magnetic excitations by neutron spectroscopy and deduce the magnetic Hamiltonian. We probe the field-induced transition by combining magnetization, specific-heat, torque and magnetocalorimetric measurements with low-temperature nuclear magnetic resonance studies near the QPT. By a Bayesian statistical analysis and large-scale Quantum Monte Carlo simulations, we demonstrate unambiguously that observable 3D quantum critical scaling is restored by the structural simplification arising from light Sr-substitution in Han Purple.


title: Probing the Symmetry Energy with the Spectral Pion Ratio

abstract: Many neutron star (NS) properties, such as the proton fraction within a NS, reflect the symmetry energy contributions to the Equation of State that dominate when neutron and proton densities differ strongly. To constrain these contributions at supra-saturation densities, we measure the spectra of charged pions produced by colliding rare isotope tin (Sn) beams with isotopically enriched Sn targets. Using ratios of the charged pion spectra measured at high transverse momenta, we deduce the slope of the symmetry energy to be $42 < L < 117$ MeV. This value is slightly lower but consistent with the $L$ values deduced from a recent measurement of the neutron skin thickness of $^{208}$Pb.


title: Comment on "Szekeres universes with homogeneous scalar fields"

abstract: Two recently published papers (J.D. Barrow and A. Paliathanasis, Eur. Phys. J. C. (2018, 2019)) claim to have found exact solutions of Einstein's field equations belonging to the class of non-trivial Szekeres models, whose source is a mixture of dust and a homogeneous time-dependent scalar field, where the energy-momentum tensors of both mixture components are independently conserved. We prove that the independent conservation of these two mixture components necessarily leads to solutions belonging to the set of spatially homogeneous subcases of the Szekeres family: Friedmann-Lema\^itre-Robertson-Walker for class I, and Kantowski-Sachs, Bianchi-Behr I or Bianchi-Behr $\mbox{VI}_{\tiny{\mbox{-1}}}$ for class II.


title: Towards a quantitative reduction of the SIR epidemiological model

abstract: Motivated by our intention to use SIR-type epidemiological models in the context of dynamic networks as provided by large-scale highly interacting inhomogeneous human crowds, we investigate in this framework possibilities to reduce the classical SIR model to a representative evolution model for a suitably chosen observable. For selected scenarios, we provide practical {\em a priori} error bounds between the approximate and the original observables. Finally, we illustrate numerically the behavior of the reduced models compared to the original ones.


title: On generalized Iwasawa main conjectures and $p$-adic Stark conjectures for Artin motives

abstract: Given an odd prime number $p$ and a $p$-stabilized Artin representation $\rho$ over $\mathbb{Q}$, we introduce a family of $p$-adic Stark regulators and we formulate an Iwasawa-Greenberg main conjecture and a $p$-adic Stark conjecture which can be seen as an explicit strengthening of conjectures by Perrin-Riou and Benois in the context of Artin motives. We show that these conjectures imply the $p$-part of the Tamagawa number conjecture for Artin motives at $s=0$ and we obtain unconditional results on the torsionness of Selmer groups. We also relate our new conjectures with various main conjectures and variants of $p$-adic Stark conjectures that appear in the literature. In the case of monomial representations, we prove that our conjectures are essentially equivalent to some newly introduced Iwasawa-theoretic conjectures for Rubin-Stark elements. We derive from this a $p$-adic Beilinson-Stark formula for finite-order characters of an imaginary quadratic field in which $p$ is inert. Along the way, we prove that the Gross-Kuz'min conjecture unconditionally holds for abelian extensions of imaginary quadratic fields.


title: Symmetry Indicators for Inversion-Symmetric Non-Hermitian Topological Band Structures

abstract: We characterize non-Hermitian band structures by symmetry indicator topological invariants. Enabled by crystalline inversion symmetry, these indicators allow us to short-cut the calculation of conventional non-Hermitian topological invariants. In particular, we express the three-dimensional winding number of point-gapped non-Hermitian systems, which is defined as an integral over the whole Brillouin zone, in terms of symmetry eigenvalues at high-symmetry momenta. Furthermore, for time-reversal symmetric non-Hermitian topological insulators, we find that symmetry indicators characterize the associated Chern-Simons form, whose evaluation usually requires a computationally expensive choice of smooth gauge. In each case, we discuss the non-Hermitian surface states associated with nontrivial symmetry indicators.


title: FRI-Miner: Fuzzy Rare Itemset Mining

abstract: Data mining is a widely used technology for various real-life applications of data analytics and is important to discover valuable association rules in transaction databases. Interesting itemset mining plays an important role in many real-life applications, such as market, e-commerce, finance, and medical treatment. To date, various data mining algorithms based on frequent patterns have been widely studied, but there are a few algorithms that focus on mining infrequent or rare patterns. In some cases, infrequent or rare itemsets and rare association rules also play an important role in real-life applications. In this paper, we introduce a novel fuzzy-based rare itemset mining algorithm called FRI-Miner, which discovers valuable and interesting fuzzy rare itemsets in a quantitative database by applying fuzzy theory with linguistic meaning. Additionally, FRI-Miner utilizes the fuzzy-list structure to store important information and applies several pruning strategies to reduce the search space. The experimental results show that the proposed FRI-Miner algorithm can discover fewer and more interesting itemsets by considering the quantitative value in reality. Moreover, it significantly outperforms state-of-the-art algorithms in terms of effectiveness (w.r.t. different types of derived patterns) and efficiency (w.r.t. running time and memory usage).


title: Scaffold Embeddings: Learning the Structure Spanned by Chemical Fragments, Scaffolds and Compounds

abstract: Molecules have seemed like a natural fit to deep learning's tendency to handle a complex structure through representation learning, given enough data. However, this often continuous representation is not natural for understanding chemical space as a domain and is particular to samples and their differences. We focus on exploring a natural structure for representing chemical space as a structured domain: embedding drug-like chemical space into an enumerable hypergraph based on scaffold classes linked through an inclusion operator. This paper shows how molecules form classes of scaffolds, how scaffolds relate to each in a hypergraph, and how this structure of scaffolds is natural for drug discovery workflows such as predicting properties and optimizing molecular structures. We compare the assumptions and utility of various embeddings of molecules, such as their respective induced distance metrics, their extendibility to represent chemical space as a structured domain, and the consequences of utilizing the structure for learning tasks.


title: Topological proofs of results on large fields

abstract: We use the recently introduced \'etale open topology to prove several facts about large fields. We show that these facts lift to a very general topological setting.


title: Learning with partially separable data

abstract: There are partially separable data types that make classification tasks very hard. In other words, only parts of the data are informative meaning that looking at the rest of the data would not give any distinguishable hint for classification. In this situation, the typical assumption of having the whole labeled data as an informative unit set for classification does not work. Consequently, typical classification methods with the mentioned assumption fail in such a situation. In this study, we propose a framework for the classification of partially separable data types that are not classifiable using typical methods. An algorithm based on the framework is proposed that tries to detect separable subgroups of the data using an iterative clustering approach. Then the detected subgroups are used in the classification process. The proposed approach was tested on a real dataset for autism screening and showed its capability by distinguishing children with autism from normal ones, while the other methods failed to do so.


title: Spin Nernst Effect of Antiferromagnetic Magnons in the Presence of Spin Diffusion

abstract: Magnon spin Nernst effect was recently proposed as an intrinsic effect in antiferromagnets, where spin diffusion and boundary spin transmission have been ignored. However, diffusion processes are essential to convert a bulk spin current into boundary spin accumulation, which determines the spin injection rate into detectors through imperfect transmission. We formulate a diffusive theory to describe the detection of magnon spin Nernst effect with boundary conditions reflecting real device geometry. Thanks to the spin diffusion effect, the output signals in both electronic and optical detection grow rapidly with an increasing system size in the transverse dimension, which eventually saturate. Counterintuitively, the measurable signals are even functions of magnetic field, yielding optical detection more favorable than electronic detection.


title: SMPLicit: Topology-aware Generative Model for Clothed People

abstract: In this paper we introduce SMPLicit, a novel generative model to jointly represent body pose, shape and clothing geometry. In contrast to existing learning-based approaches that require training specific models for each type of garment, SMPLicit can represent in a unified manner different garment topologies (e.g. from sleeveless tops to hoodies and to open jackets), while controlling other properties like the garment size or tightness/looseness. We show our model to be applicable to a large variety of garments including T-shirts, hoodies, jackets, shorts, pants, skirts, shoes and even hair. The representation flexibility of SMPLicit builds upon an implicit model conditioned with the SMPL human body parameters and a learnable latent space which is semantically interpretable and aligned with the clothing attributes. The proposed model is fully differentiable, allowing for its use into larger end-to-end trainable systems. In the experimental section, we demonstrate SMPLicit can be readily used for fitting 3D scans and for 3D reconstruction in images of dressed people. In both cases we are able to go beyond state of the art, by retrieving complex garment geometries, handling situations with multiple clothing layers and providing a tool for easy outfit editing. To stimulate further research in this direction, we will make our code and model publicly available at http://www.iri.upc.edu/people/ecorona/smplicit/.


title: Tensor networks and efficient descriptions of classical data

abstract: We investigate the potential of tensor network based machine learning methods to scale to large image and text data sets. For that, we study how the mutual information between a subregion and its complement scales with the subsystem size $L$, similarly to how it is done in quantum many-body physics. We find that for text, the mutual information scales as a power law $L^\nu$ with a close to volume law exponent, indicating that text cannot be efficiently described by 1D tensor networks. For images, the scaling is close to an area law, hinting at 2D tensor networks such as PEPS could have an adequate expressibility. For the numerical analysis, we introduce a mutual information estimator based on autoregressive networks, and we also use convolutional neural networks in a neural estimator method.


title: Fractal, logarithmic and volume-law entangled non-thermal steady states via spacetime duality

abstract: The extension of many-body quantum dynamics to the non-unitary domain has led to a series of exciting developments, including new out-of-equilibrium entanglement phases and phase transitions. We show how a duality transformation between space and time on one hand, and unitarity and non-unitarity on the other, can be used to realize steady state phases of non-unitary dynamics that exhibit a rich variety of behavior in their entanglement scaling with subsystem size -- from logarithmic to extensive to \emph{fractal}. We show how these outcomes in non-unitary circuits (that are "spacetime-dual" to unitary circuits) relate to the growth of entanglement in time in the corresponding unitary circuits, and how they differ, through an exact mapping to a problem of unitary evolution with boundary decoherence, in which information gets "radiated away" from one edge of the system. In spacetime-duals of chaotic unitary circuits, this mapping allows us to uncover a non-thermal volume-law entangled phase with a logarithmic correction to the entropy distinct from other known examples. Most notably, we also find novel steady state phases with \emph{fractal} entanglement scaling, $S(\ell) \sim \ell^{\alpha}$ with tunable $0 < \alpha < 1$ for subsystems of size $\ell$ in one dimension. These fractally entangled states add a qualitatively new entry to the families of many-body quantum states that have been studied as energy eigenstates or dynamical steady states, whose entropy almost always displays either area-law, volume-law or logarithmic scaling. We also present an experimental protocol for preparing these novel steady states with only a very limited amount of postselection via a type of "teleportation" between spacelike and timelike slices of quantum circuits.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el hep-th


title: CANINE: Pre-training an Efficient Tokenization-Free Encoder for Language Representation

abstract: Pipelined NLP systems have largely been superseded by end-to-end neural modeling, yet nearly all commonly-used models still require an explicit tokenization step. While recent tokenization approaches based on data-derived subword lexicons are less brittle than manually engineered tokenizers, these techniques are not equally suited to all languages, and the use of any fixed vocabulary may limit a model's ability to adapt. In this paper, we present CANINE, a neural encoder that operates directly on character sequences, without explicit tokenization or vocabulary, and a pre-training strategy that operates either directly on characters or optionally uses subwords as a soft inductive bias. To use its finer-grained input effectively and efficiently, CANINE combines downsampling, which reduces the input sequence length, with a deep transformer stack, which encodes context. CANINE outperforms a comparable mBERT model by 2.8 F1 on TyDi QA, a challenging multilingual benchmark, despite having 28% fewer model parameters.


title: For Manifold Learning, Deep Neural Networks can be Locality Sensitive Hash Functions

abstract: It is well established that training deep neural networks gives useful representations that capture essential features of the inputs. However, these representations are poorly understood in theory and practice. In the context of supervised learning an important question is whether these representations capture features informative for classification, while filtering out non-informative noisy ones. We explore a formalization of this question by considering a generative process where each class is associated with a high-dimensional manifold and different classes define different manifolds. Under this model, each input is produced using two latent vectors: (i) a "manifold identifier" $\gamma$ and; (ii)~a "transformation parameter" $\theta$ that shifts examples along the surface of a manifold. E.g., $\gamma$ might represent a canonical image of a dog, and $\theta$ might stand for variations in pose, background or lighting. We provide theoretical and empirical evidence that neural representations can be viewed as LSH-like functions that map each input to an embedding that is a function of solely the informative $\gamma$ and invariant to $\theta$, effectively recovering the manifold identifier $\gamma$. An important consequence of this behavior is one-shot learning to unseen classes.


title: Resolving Correlated States of Benzyne on a Quantum Computer with an Error-Mitigated Quantum Contracted Eigenvalue Solver

abstract: The simulation of strongly correlated many-electron systems is one of the most promising applications for near-term quantum devices. Here we use a class of eigenvalue solvers (presented in Phys. Rev. Lett. 126, 070504 (2021)) in which a contraction of the Schr\"odinger equation is solved for the two-electron reduced density matrix (2-RDM) to resolve the energy splittings of ortho-, meta-, and para-isomers of benzyne ${\textrm C_6} {\textrm H_4}$. In contrast to the traditional variational quantum eigensolver, the contracted quantum eigensolver solves an integration (or contraction) of the many-electron Schr\"odinger equation onto the two-electron space. The quantum solution of the anti-Hermitian part of the contracted Schr\"odinger equation (qACSE) provides a scalable approach with variational parameters that has its foundations in 2-RDM theory. Experimentally, a variety of error mitigation strategies enable the calculation, including a linear shift in the 2-RDM targeting the iterative nature of the algorithm as well as a projection of the 2-RDM onto the convex set of approximately $N$-representable 2-RDMs defined by the 2-positive (DQG) $N$-representability conditions. The relative energies exhibit single-digit millihartree errors, capturing a large part of the electron correlation energy, and the computed natural orbital occupations reflect the significant differences in the electron correlation of the isomers.


title: Fast and Accurate Model Scaling

abstract: In this work we analyze strategies for convolutional neural network scaling; that is, the process of scaling a base convolutional network to endow it with greater computational complexity and consequently representational power. Example scaling strategies may include increasing model width, depth, resolution, etc. While various scaling strategies exist, their tradeoffs are not fully understood. Existing analysis typically focuses on the interplay of accuracy and flops (floating point operations). Yet, as we demonstrate, various scaling strategies affect model parameters, activations, and consequently actual runtime quite differently. In our experiments we show the surprising result that numerous scaling strategies yield networks with similar accuracy but with widely varying properties. This leads us to propose a simple fast compound scaling strategy that encourages primarily scaling model width, while scaling depth and resolution to a lesser extent. Unlike currently popular scaling strategies, which result in about $O(s)$ increase in model activation w.r.t. scaling flops by a factor of $s$, the proposed fast compound scaling results in close to $O(\sqrt{s})$ increase in activations, while achieving excellent accuracy. This leads to comparable speedups on modern memory-limited hardware (e.g., GPU, TPU). More generally, we hope this work provides a framework for analyzing and selecting scaling strategies under various computational constraints.


title: Diverse Semantic Image Synthesis via Probability Distribution Modeling

abstract: Semantic image synthesis, translating semantic layouts to photo-realistic images, is a one-to-many mapping problem. Though impressive progress has been recently made, diverse semantic synthesis that can efficiently produce semantic-level multimodal results, still remains a challenge. In this paper, we propose a novel diverse semantic image synthesis framework from the perspective of semantic class distributions, which naturally supports diverse generation at semantic or even instance level. We achieve this by modeling class-level conditional modulation parameters as continuous probability distributions instead of discrete values, and sampling per-instance modulation parameters through instance-adaptive stochastic sampling that is consistent across the network. Moreover, we propose prior noise remapping, through linear perturbation parameters encoded from paired references, to facilitate supervised training and exemplar-based instance style control at test time. Extensive experiments on multiple datasets show that our method can achieve superior diversity and comparable quality compared to state-of-the-art methods. Code will be available at \url{https://github.com/tzt101/INADE.git}


title: CoMoGAN: continuous model-guided image-to-image translation

abstract: CoMoGAN is a continuous GAN relying on the unsupervised reorganization of the target data on a functional manifold. To that matter, we introduce a new Functional Instance Normalization layer and residual mechanism, which together disentangle image content from position on target manifold. We rely on naive physics-inspired models to guide the training while allowing private model/translations features. CoMoGAN can be used with any GAN backbone and allows new types of image translation, such as cyclic image translation like timelapse generation, or detached linear translation. On all datasets, it outperforms the literature. Our code is available at http://github.com/cv-rits/CoMoGAN .


title: Charge impurity effects in hybrid Majorana nanowires

abstract: We address an outstanding problem that represents a critical roadblock in the development of the Majorana-based topological qubit using semiconductor-superconductor hybrid structures: the quantitative characterization of disorder effects generated by the unintentional presence of charge impurities within the hybrid device. Given that disorder can have far-reaching consequences for the Majorana physics, but is intrinsically difficult to probe experimentally in a hybrid structure, providing a quantitative theoretical description of disorder effects becomes essential. To accomplish this task, we develop a microscopic theory that (i) provides a quantitative characterization of the effective potential generated by a charge impurity embedded inside a semiconductor wire proximity-coupled to a superconductor layer by solving self-consistently the associated three-dimensional Schr\"odinger-Poisson problem, (ii) describes the low-energy physics of the hybrid structure in the presence of s-wave superconductivity, spin-orbit coupling, Zeeman splitting, and disorder arising from multiple charge impurities by using the results of (i) within a standard free fermion approach, and (iii) links the microscopic results to experimentally observable features by generating tunneling differential conductance maps as function of the control parameters (e.g., Zeeman field and chemical potential). We find that charge impurities lead to serious complications regarding the realization and observation of Majorana zero modes, which have direct implications for the development of Majorana-based qubits. More importantly, our work provides a clear direction regarding what needs to be done for progress in the field, including specific materials quality and semiconductor purity targets that must be achieved to create a topological qubit.


title: New constraints on radiative seesaw models from IceCube and other neutrino detectors

abstract: Dark matter (DM) scattering and its subsequent capture in the Sun can boost the local relic density, leading to an enhanced neutrino flux from DM annihilations that is in principle detectable at neutrino telescopes. We calculate the event rates expected for a radiative seesaw model containing both scalar triplet and singlet-doublet fermion DM candidates. In the case of scalar DM, the absence of a spin dependent scattering on nuclei results in a low capture rate in the Sun, which is reflected in an event rate of less than one per year in the current IceCube configuration with 86 strings. For singlet-doublet fermion DM, there is a spin dependent scattering process next to the spin independent one, which significantly boosts the event rate and thus makes indirect detection competitive with respect to the direct detection limits imposed by PICO-60. Due to a correlation between both scattering processes, the limits on the spin independent cross section set by XENON1T exclude also parts of the parameter space that can be probed at IceCube. Previously obtained limits by ANTARES, IceCube and Super-Kamiokande from the Sun and the Galactic Center are shown to be much weaker.


title: On the origin of surprisingly cold gas discs in galaxies at high redshift

abstract: We address the puzzling observational indications for very "cold" galactic discs at redshifts $z \gtrsim 3$, an epoch when discs are expected to be highly perturbed. Using a high-resolution cosmological zoom-in simulation, we identify such a cold disc at $z\sim 3.5$, with a rotation velocity to velocity dispersion ratio of $v_\phi/\sigma_r \simeq 5$ for the total gas. It forms as a result of a period of intense accretion of co-planar, co-rotating gas via cold cosmic-web streams. This thin disc survives for $\sim 5$ orbital periods, after which it is disrupted by mergers and counter-rotating streams, longer but consistent with our estimate that a galaxy of this mass ($M_\star\sim10^{10}\mathrm{M_\odot}$) typically survives merger-driven spin flips for $\sim 2-3$ orbital periods. We find that $v_\phi/\sigma_r$ is highly sensitive to the tracer used to perform the kinematic analysis. While it is $v_\phi/\sigma_r \simeq 3.5$ for atomic HI gas, it is $v_\phi/\sigma_r \simeq 8$ for molecular CO and H$_2$. This reflects the confinement of molecular gas to cold, dense clouds that reside near the disc mid-plane, while the atomic gas is spread into a turbulent and more extended thicker disc. The proposed mechanisms is a theoretical proposal that has not been validated yet with proper statistical measurements and it remains unclear whether it occurs frequently enough to explain the multiple discoveries of cold gas disks in high-z galaxies.


title: 3-Dimensional Effective Velocity Distribution of Halo Weakly Interacting Massive Particles Scattering off Nuclei in Direct Dark Matter Detectors

abstract: In this paper, as the third part of the third step of our study on developing data analysis procedures for using 3-dimensional information offered by directional direct Dark Matter detection experiments in the future, we introduce a 3-dimensional effective velocity distribution of halo Weakly Interacting Massive Particles (WIMPs), which, instead of the theoretically prediction of the entire Galactic Dark Matter particles, describes the actual velocity distribution of WIMPs scattering off (specified) target nuclei in an underground detector. Its target and WIMP-mass dependences as well as ("annual" modulations of) its "anisotropy" in the Equatorial/laboratory and even the Galactic coordinate systems will be demonstrated and discussed in detail. For readers' reference, all simulation plots presented in this paper (and more) can be found "in animation" on our online (interactive) demonstration webpage (http://www.tir.tw/phys/hep/dm/amidas-2d/).


title: Evaluation of Morphological Embeddings for English and Russian Languages

abstract: This paper evaluates morphology-based embeddings for English and Russian languages. Despite the interest and introduction of several morphology-based word embedding models in the past and acclaimed performance improvements on word similarity and language modeling tasks, in our experiments, we did not observe any stable preference over two of our baseline models - SkipGram and FastText. The performance exhibited by morphological embeddings is the average of the two baselines mentioned above.


title: Modern Dimension Reduction

abstract: Data are not only ubiquitous in society, but are increasingly complex both in size and dimensionality. Dimension reduction offers researchers and scholars the ability to make such complex, high dimensional data spaces simpler and more manageable. This Element offers readers a suite of modern unsupervised dimension reduction techniques along with hundreds of lines of R code, to efficiently represent the original high dimensional data space in a simplified, lower dimensional subspace. Launching from the earliest dimension reduction technique principal components analysis and using real social science data, I introduce and walk readers through application of the following techniques: locally linear embedding, t-distributed stochastic neighbor embedding (t-SNE), uniform manifold approximation and projection, self-organizing maps, and deep autoencoders. The result is a well-stocked toolbox of unsupervised algorithms for tackling the complexities of high dimensional data so common in modern society. All code is publicly accessible on Github.


title: A Delphes card for the EIC yellow-report detector

abstract: The Electron-Ion Collider (EIC) Yellow Report specified parameters for the general-purpose detector that can deliver the scientific goals delineated by the EIC White Paper and NAS report. These parameters dictate the tracking momentum resolution, secondary-vertex resolutions, calorimeter energy resolutions, as well as $\pi/K/p$ ID. We have incorporated these parameters into a configuration card for Delphes, which is a widely used "C++ framework, for performing a fast multipurpose detector response simulation". We include both the 1.5 T and 3.0 T scenarios. We also show the expected performance for high-level quantities such as jets, missing transverse energy, charm tagging, and others. These parametrizations can be easily updated with more refined Geant4 studies, which provides an efficient way to perform simulations to benchmark a variety of observables using state-of-the art event generators such as Pythia8.


title: Late-time cosmic evolution of dust: solving the puzzle

abstract: Dust is an essential ingredient of galaxies, determining the physical and chemical conditions in the interstellar medium. Several complementary observational evidences indicate that the cosmic dust mass density significantly drops from redshift $z=1$ to $z=0$. Clearly, and for the first time during cosmic evolution, dust must be destroyed more rapidly than it is formed. By considering the dust production/destruction processes acting in this cosmic time lapse, we find that the drop can be explained if dust is mainly destroyed by astration (49\% contribution in the fiducial case) and supernova shocks within galaxies (42\%). Our results further imply that on average each supernova destroys only $M_{d,sn} =0.45\, M_\odot$ of dust, i.e. $5-10$ times less than usually assumed, with a hard upper limit of $M_{d,sn} < {3.0} M_\odot$ set by the available metal budget and maximal grain growth. The lower efficiency might be explained by effective shielding of dust against shock processing in pre-supernova wind shells.


title: Holevo Information of Black Hole Mesostates

abstract: We define a bulk wormhole geometry interpolating between horizons of differing size and determine characteristics of the HRT surface in these geometries. This construction is dual to black hole mesostates, an intermediate coarse-graining of states between black hole microstates and the full black hole state. We analyze the distinguishability of these objects using the recently derived holographic Holevo information techniques, demonstrating novel phase transition behavior for such systems.


title: Multiscale molecular kinetics by coupling Markov state models and reaction-diffusion dynamics

abstract: A novel approach to simulate simple protein-ligand systems at large time- and length-scales is to couple Markov state models (MSMs) of molecular kinetics with particle-based reaction-diffusion (RD) simulations, MSM/RD. Currently, MSM/RD lacks a mathematical framework to derive coupling schemes; is limited to isotropic ligands in a single conformational state, and is lacking a multi-particle extensions. In this work, we address these needs by developing a general MSM/RD framework by coarse-graining molecular dynamics into hybrid switching diffusion processes. Given enough data to parametrize the model, it is capable of modeling protein-protein interactions over large time- and length-scales, and it can be extended to handle multiple molecules. We derive the MSM/RD framework, and we implement and verify it for two protein-protein benchmark systems and one multiparticle implementation to model the formation of pentameric ring molecules. To enable reproducibility, we have published our code in the MSM/RD software package.

categories: physics.chem-ph physics.bio-ph physics.comp-ph q-bio.BM


title: Signatures of Moat Regimes in Heavy-Ion Collisions

abstract: Heavy-ion collisions at small beam energies have the potential to reveal the rich phase structure of QCD at nonzero temperature and density. Among the possible phases are regimes which feature periodic modulations of the spatial structure, where the energy spectrum is shaped like a moat, with the minimum of the energy over a sphere at nonzero momentum. We argue that if the matter created in heavy-ion collisions traverses such a regime, it can produce a characteristic momentum dependence of particle number and their correlations. As an explicit example, we consider a quantum pion liquid phase to compute these quantities on the freeze-out surface. These results can serve as a first guideline for a systematic search of spatially modulated phases in heavy-ion collisions.


title: Characterizing mass, momentum, energy and metal outflow rates of multi-phase galactic winds in the FIRE-2 cosmological simulations

abstract: We characterize mass, momentum, energy and metal outflow rates of multi-phase galactic winds in a suite of FIRE-2 cosmological "zoom-in" simulations from the Feedback in Realistic Environments (FIRE) project. We analyze simulations of low-mass dwarfs, intermediate-mass dwarfs, Milky Way-mass halos, and high-redshift massive halos. Consistent with previous work, we find that dwarfs eject about 100 times more gas from their interstellar medium (ISM) than they form in stars, while this mass "loading factor" drops below one in massive galaxies. Most of the mass is carried by the hot phase ($>10^5$ K) in massive halos and the warm phase ($10^3-10^5$ K) in dwarfs; cold outflows ($<10^3$ K) are negligible except in high-redshift dwarfs. Energy, momentum and metal loading factors from the ISM are of order unity in dwarfs and significantly lower in more massive halos. Hot outflows have $2-5\times$ higher specific energy than needed to escape from the gravitational potential of dwarf halos; indeed, in dwarfs, the mass, momentum, and metal outflow rates increase with radius whereas energy is roughly conserved, indicating swept up halo gas. Burst-averaged mass loading factors tend to be larger during more powerful star formation episodes and when the inner halo is not virialized, but we see effectively no trend with the dense ISM gas fraction. We discuss how our results can guide future controlled numerical experiments that aim to elucidate the key parameters governing galactic winds and the resulting associated preventative feedback.


title: Towards a volumetric census of close white dwarf binaries I.Reference samples

abstract: Close white dwarf binaries play an important role across a range of astrophysics, including thermonuclear supernovae, the Galactic low-frequency gravitational wave signal, and the chemical evolution of the Galaxy. Progress in developing a detailed understanding of the complex, multi-threaded evolutionary pathways of these systems is limited by the lack of statistically sound observational constraints on the relative fractions of various sub-populations, and their physical properties. The available samples are small, heterogeneous, and subject to a multitude of observational biases. Our overarching goal is to establish a volume-limited sample of all types of white dwarf binaries that is representative of the underlying population as well as sufficiently large to serve as a benchmark for future binary population models. In this first paper, we provide an overview of the project, and assemble reference samples within a distance limit of 300\,pc of known white dwarf binaries spanning the most common sub-classes: post-common envelope binaries containing a white dwarf plus a main sequence star, cataclysmic variables and double-degenerate binaries. We carefully vet the members of these "Gold" Samples, which span most of the evolutionary parameter space of close white dwarf binary evolution. We also explore the differences between magnitude and volume limited close white dwarf binary samples, and discuss how these systems evolve in their observational properties across the Gaia Hertzsprung-Russell diagram.


title: Spectrum of End of the World Branes in Holographic BCFTs

abstract: We study overlaps between two regularized boundary states in conformal field theories. Regularized boundary states are dual to end of the world branes in an AdS black hole via the AdS/BCFT. Thus they can be regarded as microstates of a single sided black hole. Owing to the open-closed duality, such an overlap between two different regularized boundary states is exponentially suppressed as $\langle \psi_{a} | \psi_{b} \rangle \sim e^{-O(h^{(min)}_{ab})}$, where $h^{(min)}_{ab}$ is the lowest energy of open strings which connect two different boundaries $a$ and $b$. Our gravity dual analysis leads to $h^{(min)}_{ab} = c/24$ for a pure AdS$_3$ gravity. This shows that a holographic boundary state is a random vector among all left-right symmetric states, whose number is given by a square root of the number of all black hole microstates. We also perform a similar computation in higher dimensions, and find that $h^{( min)}_{ab}$ depends on the tensions of the branes. In our analysis of holographic boundary states, the off diagonal elements of the inner products can be computed directly from on-shell gravity actions, as opposed to earlier calculations of inner products of microstates in two dimensional gravity.


title: Entanglement characterization by single-photon counting with random noise

abstract: In this article, we investigate the problem of entanglement characterization with polarization measurements combined with maximum likelihood estimation (MLE). A realistic scenario is considered with measurement results distorted by random experimental errors. In particular, by imposing unitary rotations acting on the measurement operators, we can test the performance of the tomographic technique versus the amount of noise. Then, dark counts are introduced to explore the efficiency of the framework in a multi-dimensional noise scenario. The concurrence is used as a figure of merit to quantify how well entanglement is preserved through noisy measurements. Quantum fidelity is computed to quantify the accuracy of state reconstruction. The results of numerical simulations are depicted on graphs and discussed.


title: On the construction of asymptotically flat initial data in scalar-tensor effective field theory

abstract: We study the constraint equations for a class of scalar-tensor effective field theories of gravity, including the operators up to $4$ derivatives in the action ($4\partial$ST). We extend the conformal transverse traceless and conformal thin sandwich methods of General Relativity to rewrite the constraint equations of the scalar-tensor theory as a set of elliptic partial differential equations. It is shown that, at weak coupling, a unique solution exists to the corresponding elliptic boundary value problems on asymptotically Euclidean initial slices under similar conditions as in the case of General Relativity. Furthermore, we find a generalization of the Bowen-York solution for $4\partial$ST theories, too. These results demonstrate that standard methods for constructing initial data in General Relativity are applicable (with minimal modification) to weakly coupled $4\partial$ST theories.


title: Dark Matter and Leptogenesis from Gravitational Production

abstract: Since the gravitational interaction is universal, any particle that ever existed, if kinematically accessible, has to be produced through her. We explore the possibility that dark matter is generated purely from gravitational scatterings together with heavy Majorana right-handed neutrinos that are long-lived. Their late decay could inject significant entropy into the thermal bath, diluting both the dark matter abundance and the cosmic baryon asymmetry, thereby imposing various constraints on the reheating dynamics. Additionally to the entropy injection, long-lived right-handed neutrinos could also be responsible for generating the baryon asymmetry through leptogenesis, and hence establish some nontrivial relations between the dark matter and the right-handed properties, and the reheating dynamics


title: Optimal Entanglement Certification from Moments of the Partial Transpose

abstract: For the certification and benchmarking of medium-size quantum devices efficient methods to characterize entanglement are needed. In this context, it has been shown that locally randomized measurements on a multiparticle quantum system can be used to obtain valuable information on the so-called moments of the partially transposed quantum state. This allows one to infer some separability properties of a state, but how to use the given information in an optimal and systematic manner has yet to be determined. We propose two general entanglement detection methods based on the moments of the partially transposed density matrix. The first method is based on the Hankel matrices and provides a family of entanglement criteria, of which the lowest order reduces to the known $p_3$-PPT criterion proposed in A. Elben et al. [Phys. Rev. Lett. 125, 200501 (2020)]. The second method is optimal and gives necessary and sufficient conditions for entanglement based on some moments of the partially transposed density matrix.


title: SCExAO/MEC and CHARIS Discovery of a Low Mass, 6 AU-Separation Companion to HIP 109427 using Stochastic Speckle Discrimination and High-Contrast Spectroscopy

abstract: We report the direct imaging discovery of a low-mass companion to the nearby accelerating A star, HIP 109427, with the Subaru Coronagraphic Extreme Adaptive Optics (SCExAO) instrument coupled with the MKID Exoplanet Camera (MEC) and CHARIS integral field spectrograph. CHARIS data reduced with reference star PSF subtraction yield 1.1-2.4 $\mu$m spectra. MEC reveals the companion in $Y$ and $J$ band at a comparable signal-to-noise ratio using stochastic speckle discrimination, with no PSF subtraction techniques. Combined with complementary follow-up $L_{\rm p}$ photometry from Keck/NIRC2, the SCExAO data favors a spectral type, effective temperature, and luminosity of M4-M5.5, 3000-3200 $K$, and $\log_{10}(L/L_{\rm \odot}) = -2.28^{+0.04}_{-0.04}$, respectively. Relative astrometry of HIP 109427 B from SCExAO/CHARIS and Keck/NIRC2, and complementary Gaia-Hipparcos absolute astrometry of the primary favor a semimajor axis of $6.55^{+3.0}_{-0.48}$ au, an eccentricity of $0.54^{+0.28}_{-0.15}$, an inclination of $66.7^{+8.5}_{-14}$ degrees, and a dynamical mass of $0.280^{+0.18}_{-0.059}$ $M_{\odot}$. This work shows the potential for extreme AO systems to utilize speckle statistics in addition to widely-used post-processing methods to directly image faint companions to nearby stars near the telescope diffraction limit.


title: Hydrodynamic non-linear response of interacting integrable systems

abstract: We develop a formalism for computing the non-linear response of interacting integrable systems. Our results are asymptotically exact in the hydrodynamic limit where perturbing fields vary sufficiently slowly in space and time. We show that spatially resolved nonlinear response distinguishes interacting integrable systems from noninteracting ones, exemplifying this for the Lieb-Liniger gas. We give a prescription for computing finite-temperature Drude weights of arbitrary order, which is in excellent agreement with numerical evaluation of the third-order response of the XXZ spin chain. We identify intrinsically nonperturbative regimes of the nonlinear response of integrable systems.


title: Particle acceleration in radio galaxies with flickering jets: GeV electrons to ultrahigh energy cosmic rays

abstract: Variability is a general property of accretion discs and their associated jets. We introduce a semi-analytic model for particle acceleration and radio jet/lobe evolution and explore the effect of Myr timescale jet variability on the particles accelerated by an AGN jet. Our work is motivated by the need for local powerful ultrahigh energy cosmic ray (UHECR) sources and evidence for variability in AGN and radio galaxies. Our main results are: i) UHECR and nonthermal radiative luminosities track the jet power but with a response set by the escape and cooling times, respectively; ii) jet variability produces structure in the electron, synchrotron and UHECR spectra that deviates from that produced for a constant jet power - in particular, spectral hardening features may be signatures of variability; iii) the cutoff in the integrated CR spectrum is stretched out due to the variation in jet power (and, consequently, maximum CR energy). The resulting spectrum is the convolution of the jet power distribution and the source term. We derive an approximate form for a log-normal distribution of powers; iv) we introduce the idea of $\sim 10$ GeV 'proxy electrons' that are cooling at the same rate that UHECRs of rigidity 10 EV are escaping from the source, and determine the corresponding photon frequencies that probe escaping UHECRs. Our results demonstrate the link between the history of an astrophysical particle accelerator and its particle contents, nonthermal emission and UHECR spectrum, with consequences for observations of radio galaxies and UHECR source models.


title: Chandra and Magellan/FIRE follow-up observations of PSO167-13: an X-ray weak QSO at $z=6.515$

abstract: The discovery of hundreds of QSOs in the first Gyr of the Universe powered by already grown SMBHs challenges our knowledge of SMBH formation. In particular, investigations of $z>6$ QSOs presenting notable properties can provide unique information on the physics of fast SMBH growth in the early universe. We present the results of follow-up observations of the $z=6.515$ radio-quiet QSO PSO167-13, which is interacting with a close companion galaxy. The PSO167-13 system has been recently proposed to host the first heavily obscured X-ray source at high redshift. We observed PSO167-13 with Chandra/ACIS-S (177 ks), and obtained new spectroscopic observations (7.2 h) with Magellan/FIRE. No significant X-ray emission is detected from the PSO167-13 system, suggesting that the obscured X-ray source previously tentatively detected was either due to a strong background fluctuation or is highly variable. The upper limit (90% confidence level) on the X-ray emission of PSO167-13 ($L_{2-10\,\mathrm{keV}}<8.3\times10^{43}\,\mathrm{erg s^{-1}}$) is the lowest available for a $z>6$ QSO. The ratio between the X-ray and UV luminosity of $\alpha_{ox}<-1.95$ makes PSO167-13 a strong outlier from the $\alpha_{ox}-L_{UV}$ and $L_X-L_{\mathrm{bol}}$ relations. In particular, its X-ray emission is $>6$ times weaker than the expectation based on its UV luminosity. The new Magellan/FIRE spectrum of PSO167-13 is strongly affected by the unfavorable sky conditions, but the tentatively detected C IV and Mg II emission lines appear strongly blueshifted. The most plausible explanations for the X-ray weakness of PSO167-13 are intrinsic weakness or small-scale absorption by Compton-thick material. The possible strong blueshift of its emission lines hints at the presence of nuclear winds, which could be related to its X-ray weakness.


title: HumanGAN: A Generative Model of Humans Images

abstract: Generative adversarial networks achieve great performance in photorealistic image synthesis in various domains, including human images. However, they usually employ latent vectors that encode the sampled outputs globally. This does not allow convenient control of semantically-relevant individual parts of the image, and is not able to draw samples that only differ in partial aspects, such as clothing style. We address these limitations and present a generative model for images of dressed humans offering control over pose, local body part appearance and garment style. This is the first method to solve various aspects of human image generation such as global appearance sampling, pose transfer, parts and garment transfer, and parts sampling jointly in a unified framework. As our model encodes part-based latent appearance vectors in a normalized pose-independent space and warps them to different poses, it preserves body and clothing appearance under varying posture. Experiments show that our flexible and general generative method outperforms task-specific baselines for pose-conditioned image generation, pose transfer and part sampling in terms of realism and output resolution.


title: Pre-canonical bases on affine Hecke algebras

abstract: For any affine Weyl group, we introduce the pre-canonical bases. They are a set of bases $\{\mathbf{N}^i\}_{1\leq i \leq m+1} $ (where $m$ is the height of the highest root) of the spherical Hecke algebra that interpolates between the standard basis $\mathbf{N}^1$ and the canonical basis $\mathbf{N}^{m+1}$. The expansion of $\mathbf{N}^{i+1}$ in terms of the $\mathbf{N}^i$ is in many cases very simple and we conjecture that in type $A$ it is positive.


title: Strong convexity for harmonic functions on compact symmetric spaces

abstract: Let $h$ be a harmonic function defined on a spherical disk. It is shown that $\Delta^k |h|^2$ is nonnegative for all $k\in \mathbb{N}$ where $\Delta$ is the Laplace-Beltrami operator. This fact is generalized to harmonic functions defined on a disk in a normal homogeneous compact Riemannian manifold, and in particular in a symmetric space of the compact type. This complements a similar property for harmonic functions on $\mathbb{R}^n$ discovered by the first two authors and is related to strong convexity of the $L^2$-growth function of harmonic functions.


title: Mapping Gauged Q-Balls

abstract: Scalar field theories with particular U(1)-symmetric potentials contain non-topological soliton solutions called Q-balls. Promoting the U(1) to a gauge symmetry leads to the more complicated situation of gauged Q-balls. The soliton solutions to the resulting set of nonlinear differential equations have markedly different properties, such as a maximal possible size and charge. Despite these differences, we discover a relation that allows one to extract the properties of gauged Q-balls (such as the radius, charge, and energy) from the more easily obtained properties of global Q-balls. These results provide a new guide to understanding gauged Q-balls as well as providing simple and accurate analytical characterization of the Q-ball properties.


title: The Most Massive White Dwarfs in the Solar Neighborhood

abstract: We present an analysis of the most massive white dwarf candidates in the Montreal White Dwarf Database 100 pc sample. We identify 25 objects that would be more massive than $1.3~M_{\odot}$ if they had pure H atmospheres and CO cores, including two outliers with unusually high photometric mass estimates near the Chandrasekhar limit. We provide follow-up spectroscopy of these two white dwarfs and show that they are indeed significantly below this limit. We expand our model calculations for CO core white dwarfs up to $M=1.334\ M_\odot$, which corresponds to the high-density limit of our equation-of-state tables, $\rho = 10^9$ g cm$^{-3}$. We find many objects close to this maximum mass of our CO core models. A significant fraction of ultramassive white dwarfs are predicted to form through binary mergers. Merger populations can reveal themselves through their kinematics, magnetism, or rapid rotation rates. We identify four outliers in transverse velocity, four likely magnetic white dwarfs (one of which is also an outlier in transverse velocity), and one with rapid rotation, indicating that at least 8 of the 25 ultramassive white dwarfs in our sample are likely merger products.


title: Impact Invariant Control with Applications to Bipedal Locomotion

abstract: When legged robots impact their environment, they undergo large changes in their velocities in a small amount of time. Measuring and applying feedback to these velocities is challenging, and is further complicated due to uncertainty in the impact model and impact timing. This work proposes a general framework for adapting feedback control during impact by projecting the control objectives to a subspace that is invariant to the impact event. The resultant controller is robust to uncertainties in the impact event while maintaining maximum control authority over the impact invariant subspace. We demonstrate the utility of the projection on a walking controller for a planar five-link-biped and on a jumping controller for a compliant 3D bipedal robot, Cassie. The effectiveness of our method is shown to translate well on hardware.


title: Adaptation to Unknown Situations as the Holy Grail of Learning-Based Self-Adaptive Systems: Research Directions

abstract: Self-adaptive systems continuously adapt to changes in their execution environment. Capturing all possible changes to define suitable behaviour beforehand is unfeasible, or even impossible in the case of unknown changes, hence human intervention may be required. We argue that adapting to unknown situations is the ultimate challenge for self-adaptive systems. Learning-based approaches are used to learn the suitable behaviour to exhibit in the case of unknown situations, to minimize or fully remove human intervention. While such approaches can, to a certain extent, generalize existing adaptations to new situations, there is a number of breakthroughs that need to be achieved before systems can adapt to general unknown and unforeseen situations. We posit the research directions that need to be explored to achieve unanticipated adaptation from the perspective of learning-based self-adaptive systems. At minimum, systems need to define internal representations of previously unseen situations on-the-fly, extrapolate the relationship to the previously encountered situations to evolve existing adaptations, and reason about the feasibility of achieving their intrinsic goals in the new set of conditions. We close discussing whether, even when we can, we should indeed build systems that define their own behaviour and adapt their goals, without involving a human supervisor.


title: Toward the Next Generation of News Recommender Systems

abstract: This paper proposes a vision and research agenda for the next generation of news recommender systems (RS), called the table d'hote approach. A table d'hote (translates as host's table) meal is a sequence of courses that create a balanced and enjoyable dining experience for a guest. Likewise, we believe news RS should strive to create a similar experience for the users by satisfying the news-diet needs of a user. While extant news RS considers criteria such as diversity and serendipity, and RS bundles have been studied for other contexts such as tourism, table d'hote goes further by ensuring the recommended articles satisfy a diverse set of user needs in the right proportions and in a specific order. In table d'hote, available articles need to be stratified based on the different ways that news can create value for the reader, building from theories and empirical research in journalism and user engagement. Using theories and empirical research from communication on the uses and gratifications (U&G) consumers derive from media, we define two main strata in a table d'hote news RS, each with its own substrata: 1) surveillance, which consists of information the user needs to know, and 2) serendipity, which are the articles offering unexpected surprises. The diversity of the articles according to the defined strata and the order of the articles within the list of recommendations are also two important aspects of the table d'hote in order to give the users the most effective reading experience. We propose our vision, link it to the existing concepts in the RS literature, and identify challenges for future research.


title: On the Brauer groups of fibrations II

abstract: Let $K$ be a number field and $\mathcal{X}$ be a regular proper flat scheme over $\mathcal{O}_{K}$ with a generic fiber $X$ geometrically connected over $K$. We proved that there is an exact sequence up to finite groups $0\rightarrow Sha(Pic_{X/K}^0)\rightarrow Br(\mathcal{X})\rightarrow Br(X_{\bar{K}})^{G_K}\rightarrow 0$, generalizing a theorem of Artin and Grothendieck for arithmetic surfaces to arbitrary dimensions. As a result, we reduce Artin's question about the finiteness of $Br(\mathcal{X})$ for regular proper flat schemes $\mathcal{X}$ over $\mathbb{Z}$ to $3$-dimensional arithmetic schemes.


title: CORSAIR: Convolutional Object Retrieval and Symmetry-AIded Registration

abstract: This paper considers online object-level mapping using partial point-cloud observations obtained online in an unknown environment. We develop and approach for fully Convolutional Object Retrieval and Symmetry-AIded Registration (CORSAIR). Our model extends the Fully Convolutional Geometric Features model to learn a global object-shape embedding in addition to local point-wise features from the point-cloud observations. The global feature is used to retrieve a similar object from a category database, and the local features are used for robust pose registration between the observed and the retrieved object. Our formulation also leverages symmetries, present in the object shapes, to obtain promising local-feature pairs from different symmetry classes for matching. We present results from synthetic and real-world datasets with different object categories to verify the robustness of our method.


title: Doubly Stochastic Yule Cascades (Part I): The explosion problem in the time-reversible case

abstract: Motivated by the probabilistic methods for nonlinear differential equations introduced by McKean (1975) for the Kolmogorov-Petrovski-Piskunov (KPP) equation, and by Le Jan and Sznitman (1997) for the incompressible Navier-Stokes equations, we identify a new class of stochastic cascade models, referred to as Doubly Stochastic Yule cascades. We establish non-explosion criteria under the assumption that the randomization of Yule intensities from generation to generation is by an ergodic time-reversible Markov process. In addition to the cascade models that arise in the analysis of certain deterministic nonlinear differential equations, this model includes the multiplicative branching random walks, the branching Markov processes, and the stochastic generalizations of the percolation and/or cell aging models introduced by Aldous and Shields (1988) and independently by Athreya (1985).


title: Classical (Co)Recursion: Programming

abstract: Our aim here is to illustrate how the benefits of structural corecursion can be found in a broader swath of the programming landscape than previously thought. Beginning from a tutorial on structural corecursion in the total, pure functional language Agda, we show how these same ideas are mapped to familiar concepts in a variety of different languages. We show how corecursion can be done in strict functional languages like Scheme, and even escapes the functional paradigm entirely, showing up in the natural expression of common object-oriented features found in languages like Python and Java. Opening up structural corecursion to a much wider selection of languages and paradigms -- and therefore, also to a much larger audience of programmers -- lets us also ask how corecursion interacts with computational effects. Of note, we demonstrate that combining structural corecursion with effects can increase its expressive power. We show a classical version of corecursion -- using first-class control made possible by Scheme's classical call/cc -- that enables us to write some new stream-processing algorithms that aren't possible in effect-free languages.


title: Simplification Strategies for the Qutrit ZX-Calculus

abstract: The ZX-calculus is a graphical language for suitably represented tensor networks, called ZX-diagrams. Calculations are performed by transforming ZX-diagrams with rewrite rules. The ZX-calculus has found applications in reasoning about quantum circuits, condensed matter systems, quantum algorithms, quantum error correcting codes, and counting problems. A key notion is the stabiliser fragment of the ZX-calculus, a subfamily of ZX-diagrams for which rewriting can be done efficiently in terms of derived simplifying rewrites. Recently, higher dimensional qudits - in particular, qutrits - have gained prominence within quantum computing research. The main contribution of this work is the derivation of efficient rewrite strategies for the stabiliser fragment of the qutrit ZX-calculus. Notably, this constitutes a first non-trivial step towards the simplification of qutrit quantum circuits. We then give further unexpected areas in which these rewrite strategies provide complexity-theoretic insight; namely, we reinterpret known results about evaluating the Jones polynomial, an important link invariant in knot theory, and counting graph colourings.


title: On Improving Deep Learning Trace Analysis with System Call Arguments

abstract: Kernel traces are sequences of low-level events comprising a name and multiple arguments, including a timestamp, a process id, and a return value, depending on the event. Their analysis helps uncover intrusions, identify bugs, and find latency causes. However, their effectiveness is hindered by omitting the event arguments. To remedy this limitation, we introduce a general approach to learning a representation of the event names along with their arguments using both embedding and encoding. The proposed method is readily applicable to most neural networks and is task-agnostic. The benefit is quantified by conducting an ablation study on three groups of arguments: call-related, process-related, and time-related. Experiments were conducted on a novel web request dataset and validated on a second dataset collected on pre-production servers by Ciena, our partnering company. By leveraging additional information, we were able to increase the performance of two widely-used neural networks, an LSTM and a Transformer, by up to 11.3% on two unsupervised language modelling tasks. Such tasks may be used to detect anomalies, pre-train neural networks to improve their performance, and extract a contextual representation of the events.


title: Polygon-Universal Graphs

abstract: We study a fundamental question from graph drawing: given a pair $(G,C)$ of a graph $G$ and a cycle $C$ in $G$ together with a simple polygon $P$, is there a straight-line drawing of $G$ inside $P$ which maps $C$ to $P$? We say that such a drawing of $(G,C)$ respects $P$. We fully characterize those instances $(G,C)$ which are polygon-universal, that is, they have a drawing that respects $P$ for any simple (not necessarily convex) polygon $P$. Specifically, we identify two necessary conditions for an instance to be polygon-universal. Both conditions are based purely on graph and cycle distances and are easy to check. We show that these two conditions are also sufficient. Furthermore, if an instance $(G,C)$ is planar, that is, if there exists a planar drawing of $G$ with $C$ on the outer face, we show that the same conditions guarantee for every simple polygon $P$ the existence of a planar drawing of $(G,C)$ that respects $P$. If $(G,C)$ is polygon-universal, then our proofs directly imply a linear-time algorithm to construct a drawing that respects a given polygon $P$.


title: N\'eron models of Jacobians over bases of arbitrary dimension

abstract: We work with a smooth relative curve $X_U/U$ with nodal reduction over an excellent and locally factorial scheme $S$. We show that blowing up a nodal model of $X_U$ in the ideal sheaf of a section yields a new nodal model, and describe how these models relate to each other. We construct a N\'eron model for the Jacobian of $X_U$, and describe it locally on $S$ as a quotient of the Picard space of a well-chosen nodal model. We provide a combinatorial criterion for the N\'eron model to be separated.


title: Permutations avoiding sets of patterns with long monotone subsequences

abstract: We enumerate permutations that avoid all but one of the $k$ patterns of length $k$ starting with a monotone increasing subsequence of length $k-1$. We compare the size of such permutation classes to the size of the class of permutations avoiding the monotone increasing subsequence of length $k-1$.


title: \'Ez fields

abstract: Let $K$ be a field. The \'etale open topology on the $K$-points $V(K)$ of a $K$-variety $V$ was introduced in our previous work. The \'etale open topology is non-discrete if and only if $K$ is large. If $K$ is separably, real, $p$-adically closed then the \'etale open topology agrees with the Zariski, order, valuation topology, respectively. We show that existentially definable sets in perfect large fields behave well with respect to this topology: such sets are finite unions of \'etale open subsets of Zariski closed sets. This implies that existentially definable sets in arbitrary perfect large fields enjoy some of the well-known topological properties of definable sets in algebraically, real, and $p$-adically closed fields. We introduce and study the class of \'ez fields: $K$ is \'ez if $K$ is large and every definable set is a finite union of \'etale open subsets of Zariski closed sets. This should be seen as a generalized notion of model completeness for large fields. Algebraically closed, real closed, $p$-adically closed, and bounded $\mathrm{PAC}$ fields are \'ez. (In particular pseudofinite fields and infinite algebraic extensions of finite fields are \'ez.) We develop the basics of a theory of definable sets in \'ez fields. This gives a uniform approach to the theory of definable sets across all characteristic zero local fields and a new topological theory of definable sets in bounded $\mathrm{PAC}$ fields. We also show that some prominent examples of possibly non-model complete model-theoretically tame fields (characteristic zero Henselian fields and Frobenius fields) are \'ez.


title: Complexity for Conformal Field Theories in General Dimensions

abstract: We study circuit complexity for conformal field theory states in arbitrary dimensions. Our circuits start from a primary state and move along a unitary representation of the Lorentzian conformal group. Different choices of distance functions can be understood in terms of the geometry of coadjoint orbits of the conformal group. We explicitly relate our circuits to timelike geodesics in anti-de Sitter space and the complexity metric to distances between these geodesics. We extend our method to circuits in other symmetry groups using a group theoretic generalization of the notion of coherent states.


title: Pauli blocking of light scattering in degenerate fermions

abstract: Pauli blocking of spontaneous emission is responsible for the stability of atoms. Higher electronic orbitals cannot decay to lower-lying states if they are already occupied -- this is Pauli blocking due to occupation of internal states. Pauli blocking also occurs when free atoms scatter light elastically (Rayleigh scattering) and the final external momentum states are already occupied. A suppression of the total rate of light scattering requires a quantum-degenerate Fermi gas with a Fermi energy larger than the photon recoil energy. This has been predicted more than 30 years ago, but never realized. Here we report the creation of a dense Fermi gas of ultracold lithium atoms and show that at low temperatures light scattering is suppressed. We also explore the suppression of inelastic light scattering when two colliding atoms emit light shifted in frequency.


title: Towards Interpreting and Mitigating Shortcut Learning Behavior of NLU Models

abstract: Recent studies indicate that NLU models are prone to rely on shortcut features for prediction, without achieving true language understanding. As a result, these models fail to generalize to real-world out-of-distribution data. In this work, we show that the words in the NLU training set can be modeled as a long-tailed distribution. There are two findings: 1) NLU models have strong preference for features located at the head of the long-tailed distribution, and 2) Shortcut features are picked up during very early few iterations of the model training. These two observations are further employed to formulate a measurement which can quantify the shortcut degree of each training sample. Based on this shortcut measurement, we propose a shortcut mitigation framework LTGR, to suppress the model from making overconfident predictions for samples with large shortcut degree. Experimental results on three NLU benchmarks demonstrate that our long-tailed distribution explanation accurately reflects the shortcut learning behavior of NLU models. Experimental analysis further indicates that LTGR can improve the generalization accuracy on OOD data, while preserving the accuracy on in-distribution data.


title: Non-Asymptotic Performance Guarantees for Neural Estimation of $\mathsf{f}$-Divergences

abstract: Statistical distances (SDs), which quantify the dissimilarity between probability distributions, are central to machine learning and statistics. A modern method for estimating such distances from data relies on parametrizing a variational form by a neural network (NN) and optimizing it. These estimators are abundantly used in practice, but corresponding performance guarantees are partial and call for further exploration. In particular, there seems to be a fundamental tradeoff between the two sources of error involved: approximation and estimation. While the former needs the NN class to be rich and expressive, the latter relies on controlling complexity. This paper explores this tradeoff by means of non-asymptotic error bounds, focusing on three popular choices of SDs -- Kullback-Leibler divergence, chi-squared divergence, and squared Hellinger distance. Our analysis relies on non-asymptotic function approximation theorems and tools from empirical process theory. Numerical results validating the theory are also provided.


title: Anaphoric Binding: an integrated overview

abstract: The interpretation of anaphors depends on their antecedents as the semantic value that an anaphor eventually conveys is co-specified by the value of its antecedent. Interestingly, when occurring in a given syntactic position, different anaphors may have different sets of admissible antecedents. Such differences are the basis for the categorization of anaphoric expressions according to their anaphoric capacity, being important to determine what are the sets of admissible antecedents and how to represent and process this anaphoric capacity for each type of anaphor. From an empirical perspective, these constraints stem from what appears as quite cogent generalisations and exhibit a universal character, given their cross linguistic validity. From a conceptual point of view, in turn, the relations among binding constraints involve non-trivial cross symmetry, which lends them a modular nature and provides further strength to the plausibility of their universal character. This kind of anaphoric binding constraints appears thus as a most significant subset of natural language knowledge, usually referred to as binding theory. This paper provides an integrated overview of these constraints holding on the pairing of nominal anaphors with their admissible antecedents that are based on grammatical relations and structure. Along with the increasing interest on neuro-symbolic approaches to natural language, this paper seeks to contribute to revive the interest on this most intriguing research topic.


title: Thermal Noise Magnetometry of magnetic nanoparticles: simulations and experiments

abstract: Magnetic nanoparticles have proven to be valuable for biomedical applications. A prerequisite for the efficiency of these applications are precisely characterized particles. Thermal Noise Magnetrometry (TNM), unlike any other magnetic characterization method, allows to characterize the particles without the application of an external excitation. We present a theoretical framework to model the experiment in order to examine the magnetic noise power properties of particle ensembles in TNM and optimize the geometry of the nanoparticle sample. An optimized sample geometry is calculated to maximize the noise power measured by the detector. The theoretical framework and the newly designed sample holder are validated by measuring a sensitivity profile in the setup. The optimized sample holder increases the noise power with a factor of 3.5 compared to the regular sample holder, while its volume is decreased by more than half. Moreover, the experimental profiles are consistent with the simulated counterparts, confirming the relevance of the theoretical framework. These results contribute to the further establishment of TNM as magnetic nanoparticle characterization method.


title: The knowledge acquisition process from a complex system perspective: observations and models

abstract: In this work we study the knowledge acquisition process in a teaching-learning scenario that takes place within the classroom. We explore two complementary approaches, which include classroom observations and student surveys, and the formulation of theoretical models through the use of Statistical Physics tools. We develop an analytical model and a set of dynamics agent-based models that allow us to understand global behaviors, as well as to follow individual trajectories in the knowledge acquisition process. As a proxy of the final achievements of the students we use their final grade, allowing us to assess the validity of our approach. Our models, supported by observations and surveys, reproduce fairly well the process of acquiring knowledge of the students. This work sheds light on the internal dynamics of the classroom and allows us to understand some global aspects of the teaching-learning process.


title: Linnaeus: A highly reusable and adaptable ML based log classification pipeline

abstract: Logs are a common way to record detailed run-time information in software. As modern software systems evolve in scale and complexity, logs have become indispensable to understanding the internal states of the system. At the same time however, manually inspecting logs has become impractical. In recent times, there has been more emphasis on statistical and machine learning (ML) based methods for analyzing logs. While the results have shown promise, most of the literature focuses on algorithms and state-of-the-art (SOTA), while largely ignoring the practical aspects. In this paper we demonstrate our end-to-end log classification pipeline, Linnaeus. Besides showing the more traditional ML flow, we also demonstrate our solutions for adaptability and re-use, integration towards large scale software development processes, and how we cope with lack of labelled data. We hope Linnaeus can serve as a blueprint for, and inspire the integration of, various ML based solutions in other large scale industrial settings.


title: Conditional strategy equilibrium

abstract: In this note, we prove the existence of an equilibrium concept, dubbed conditional strategy equilibrium, for non-cooperative games in which a strategy of a player is a function from the other players' actions to her own actions. We study the properties of efficiency and coalition-proofness of the conditional strategy equilibrium in $n$-person games.


title: DefakeHop: A Light-Weight High-Performance Deepfake Detector

abstract: A light-weight high-performance Deepfake detection method, called DefakeHop, is proposed in this work. State-of-the-art Deepfake detection methods are built upon deep neural networks. DefakeHop extracts features automatically using the successive subspace learning (SSL) principle from various parts of face images. The features are extracted by c/w Saab transform and further processed by our feature distillation module using spatial dimension reduction and soft classification for each channel to get a more concise description of the face. Extensive experiments are conducted to demonstrate the effectiveness of the proposed DefakeHop method. With a small model size of 42,845 parameters, DefakeHop achieves state-of-the-art performance with the area under the ROC curve (AUC) of 100%, 94.95%, and 90.56% on UADFV, Celeb-DF v1 and Celeb-DF v2 datasets, respectively.


title: Virtual algebraic fibrations of surface-by-surface groups and orbits of the mapping class group

abstract: We show that a conjecture of Putman--Wieland, which posits the nonexistence of finite orbits for higher Prym representations of the mapping class group, is equivalent to the existence of surface-by-surface and surface-by-free groups which do not virtually algebraically fiber. While the question about the existence of such groups remains open, we will show that there exist free-by-free and free-by-surface groups which do not algebraically fiber (hence fail to be virtually RFRS).


title: After 100 Years, Can We Finally Crack Post's Problem of Tag? A Story of Computational Irreducibility, and More

abstract: Empirical, theoretical and historical aspects of Post's "problem of tag" from 1921 are explored. Evidence of strong computational irreducibility is found. Despite their deterministic origin, the lengths of successive sequences generated seem to closely approximate random walks. All 10^25 smallest initial conditions are found to eventually halt, although sometimes in > 6*10^11 steps. Implications of the Principle of Computational Equivalence are discussed, along with examples of identifiable computational capabilities of tag systems. Various minimal examples of complex behavior are found, including a less-biased analog of the 3n+1 Collatz problem. There is also discussion of the history of Emil Post and of tag systems in the context of ideas about the foundations of mathematics and computation.


title: Critical lumpy black holes in AdS${}_p\times S^q$

abstract: In this paper we study lumpy black holes with AdS${}_p \times S^q$ asymptotics, where the isometry group coming from the sphere factor is broken down to SO($q$). Depending on the values of $p$ and $q$, these are solutions to a certain Supergravity theory with a particular gauge field. We have considered the values $(p,q) = (5,5)$ and $(p,q) = (4,7)$, corresponding to type IIB supergravity in ten dimensions and eleven-dimensional supergravity respectively. These theories presumably contain an infinite spectrum of families of lumpy black holes, labeled by a harmonic number $\ell$, whose endpoints in solution space merge with another type of black holes with different horizon topology. We have numerically constructed the first four families of lumpy solutions, corresponding to $\ell = 1, 2^+, 2^-$ and $3$. We show that the geometry of the horizon near the merger is well-described by a cone over a triple product of spheres, thus extending Kol's local model to the present asymptotics. Interestingly, the presence of non-trivial fluxes in the internal sphere implies that the cone is no longer Ricci flat. This conical manifold accounts for the geometry and the behavior of the physical quantities of the solutions sufficiently close to the critical point. Additionally, we show that the vacuum expectation values of the dual scalar operators approach their critical values with a power law whose exponents are dictated by the local cone geometry in the bulk.


title: The Benefits of Diligence: How Precise are Predicted Gravitational Wave Spectra in Models with Phase Transitions?

abstract: Models of particle physics that feature phase transitions typically provide predictions for stochastic gravitational wave signals at future detectors and such predictions are used to delineate portions of the model parameter space that can be constrained. The question is: how precise are such predictions? Uncertainties enter in the calculation of the macroscopic thermal parameters and the dynamics of the phase transition itself. We calculate such uncertainties with increasing levels of sophistication in treating the phase transition dynamics. Currently, the highest level of diligence corresponds to careful treatments of the source lifetime; mean bubble separation; going beyond the bag model approximation in solving the hydrodynamics equations and explicitly calculating the fraction of energy in the fluid from these equations rather than using a fit; and including fits for the energy lost to vorticity modes and reheating effects. The lowest level of diligence incorporates none of these effects. We compute the percolation and nucleation temperatures, the mean bubble separation, the fluid velocity, and ultimately the gravitational wave spectrum corresponding to the level of highest diligence for three explicit examples: SMEFT, a dark sector Higgs model, and the real singlet-extended Standard Model (xSM). In each model, we contrast different levels of diligence in the calculation and find that the difference in the final predicted signal can be several orders of magnitude. Our results indicate that calculating the gravitational wave spectrum for particle physics models and deducing precise constraints on the parameter space of such models continues to remain very much a work in progress and warrants care.


title: Singularity analysis and analytic solutions for the Benney-Gjevik equations

abstract: We apply the Painlev\'e Test for the Benney and the Benney-Gjevik equations which describe waves in falling liquids. We prove that these two nonlinear 1+1 evolution equations pass the singularity test for the travelling-wave solutions. The algebraic solutions in terms of Laurent expansions are presented.


title: (Genetically) Improving Novelty in Procedural Story Generation

abstract: Procedural story generation (PCG) tailors a unique narrative experience for a player and can be accomplished via multiple techniques, from matching storylets to grammar-based generation. There exists a rich opportunity for evolutionary algorithms to be applied to this domain for intelligently constructing game narratives. This paper describes a conceptual procedure for applying genetic improvement to a grammar-driven procedural narrative within the context of a browser-based game.


title: Stochastic-HMDs: Adversarial Resilient Hardware Malware Detectors through Voltage Over-scaling

abstract: Machine learning-based hardware malware detectors (HMDs) offer a potential game changing advantage in defending systems against malware. However, HMDs suffer from adversarial attacks, can be effectively reverse-engineered and subsequently be evaded, allowing malware to hide from detection. We address this issue by proposing a novel HMDs (Stochastic-HMDs) through approximate computing, which makes HMDs' inference computation-stochastic, thereby making HMDs resilient against adversarial evasion attacks. Specifically, we propose to leverage voltage overscaling to induce stochastic computation in the HMDs model. We show that such a technique makes HMDs more resilient to both black-box adversarial attack scenarios, i.e., reverse-engineering and transferability. Our experimental results demonstrate that Stochastic-HMDs offer effective defense against adversarial attacks along with by-product power savings, without requiring any changes to the hardware/software nor to the HMDs' model, i.e., no retraining or fine tuning is needed. Moreover, based on recent results in probably approximately correct (PAC) learnability theory, we show that Stochastic-HMDs are provably more difficult to reverse engineer.


title: The Semi-Supervised iNaturalist-Aves Challenge at FGVC7 Workshop

abstract: This document describes the details and the motivation behind a new dataset we collected for the semi-supervised recognition challenge~\cite{semi-aves} at the FGVC7 workshop at CVPR 2020. The dataset contains 1000 species of birds sampled from the iNat-2018 dataset for a total of nearly 150k images. From this collection, we sample a subset of classes and their labels, while adding the images from the remaining classes to the unlabeled set of images. The presence of out-of-domain data (novel classes), high class-imbalance, and fine-grained similarity between classes poses significant challenges for existing semi-supervised recognition techniques in the literature. The dataset is available here: \url{https://github.com/cvl-umass/semi-inat-2020}


title: When Screen Time Is not Screen Time: Tensions and Needs Between Tweens and Their Parents During Nature-Based Exploration

abstract: We investigated the experiences of 15 parents and their tween children (ages 8-12, n=23) during nature explorations using the NatureCollections app, a mobile application that connects children with nature. Drawing on parent interviews and in-app audio recordings from a 2-week deployment study, we found that tweens experiences with the NatureCollections app were influenced by tensions surrounding how parents and tweens negotiate technology use more broadly. Despite these tensions, the app succeeded in engaging tweens in outdoor nature explorations, and parents valued the shared family experiences around nature. Parents desired the app to support family bonding and inform them about how their tween used the app. This work shows how applications intended to support enriching youth experiences are experienced in the context of screen time tensions between parents and tween during a transitional period of child development. We offer recommendations for designing digital experiences to support family needs and reduce screen time tensions.


title: A Reinforcement Learning Based Approach to Play Calling in Football

abstract: With the vast amount of data collected on football and the growth of computing abilities, many games involving decision choices can be optimized. The underlying rule is the maximization of an expected utility of outcomes and the law of large numbers. The data available allows us to compute with high accuracy the probabilities of outcomes of decisions and the well defined points system in the game allows us to have the necessary terminal utilities. With some well established theory we can then optimize choices at a single play level.


title: (Arc-)connectedness for the space of $\mathbb{Z}^d$-actions by $C^2$ diffeomorphisms on 1-dimensional manifolds

abstract: We deal with the general problem of connectedness for the space of $\mathbb{Z}^d$ actions by (orientation-preserving) diffeomorphisms of a compact 1-manifold. We prove two results. First, the space of $\mathbb{Z}^d$ actions by $C^2$ diffeomorphisms of the interval is connected. Second, any two $\mathbb{Z}^d$ actions by $C^2$ diffeomorphisms of a compact 1-manifold are connected by a continuous path of $C^{1+\mathrm{ac}}$ actions (where $C^{1+ac}$ stands for diffeomorphisms with absolutely continuous derivative). The latter is the first result of arc-connectedness in regularity larger than $C^1$ in this setting. Actually, our proof applies to all $\mathbb{Z}^d$ actions by $C^{1+\mathrm{ac}}$ diffeomorphisms without elements with hyperbolic periodic points; the only obstruction to extend it to the general $C^{1+\mathrm{ac}}$ framework comes from the failure of the Sternberg-Yoccoz linearization theorem in class $C^{1+\mathrm{ac}}$.